Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WPM1-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_auctions_auc-scheduling_cat_sched_60_160_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_160_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1941
c lw 3882
c lw 5823
c lw 7764
c lw 9705
c lw 11646
c lw 13587
c lw 15528
c lw 17469
c lw 19410
c lw 21351
c lw 23292
c lw 25233
c lw 27174
c lw 29115
c lw 31056
c lw 32997
c lw 34938
c lw 36879
c lw 38820
c lw 40761
c lw 42702
c lw 44643
c lw 46584
c lw 48384
c lw 50184
c lw 51984
c lw 53784
c lw 55584
c lw 57384
c lw 59184
c lw 60984
c lw 62784
c lw 64584
c lw 66384
c lw 68184
c lw 69984
c lw 71784
c lw 73584
c lw 75384
c lw 77184
c lw 78984
c lw 80784
c lw 82584
c lw 84384
c lw 86184
c lw 87984
c lw 89784
c lw 91584
c lw 93384
c lw 95184
c lw 96984
c lw 98784
c lw 100584
c lw 102384
c lw 104184
c lw 105984
c lw 107784
c lw 109584
c lw 111384
c lw 113184
c lw 114984
c lw 116784
c lw 118584
c lw 120384
c lw 122184
c lw 123948
c lw 125646
c lw 127344
c lw 128169
c lw 128994
c lw 129819
c lw 130644
c lw 131469
c lw 132234
c lw 132999
c lw 133764
c lw 134529
c lw 135294
c lw 136059
c lw 136824
c lw 137589
c lw 138354
c lw 139119
c lw 139884
c lw 140649
c lw 141414
c lw 142179
c lw 142944
c lw 143419
c lw 143894
c lw 144369
c lw 144844
c lw 145319
c lw 145794
c lw 146269
c lw 146744
c lw 147219
c lw 147694
c lw 148169
c lw 148644
c lw 149119
c lw 149594
c lw 150069
c lw 150544
c lw 151019
c lw 151354
c lw 151689
c lw 152024
c lw 152359
c lw 152694
c lw 153029
c lw 153364
c lw 153699
c lw 154034
c lw 154369
c lw 154704
c lw 155039
c lw 155374
c lw 155709
c lw 156044
c lw 156379
c lw 156714
c lw 157049
c lw 157384
c lw 157705
c lw 158026
c lw 158347
c lw 158668
c lw 158989
c lw 159310
c lw 159631
c lw 159952
c lw 160273
c lw 160594
c lw 160915
c lw 161236
c lw 161557
c lw 161878
c lw 162199
c lw 162520
c lw 162841
c lw 163162
c lw 163483
c lw 163804
c lw 164125
c lw 164446
c lw 164767
c lw 165088
c lw 165409
c lw 165730
c lw 166051
c lw 166372
c lw 166693
c lw 166980
c lw 167267
c lw 167554
c lw 167841
c lw 168128
c lw 168415
c lw 168692
c lw 168969
c lw 169246
c lw 169523
c lw 169800
c lw 170077
c lw 170354
c lw 170631
c lw 170908
c lw 171185
c lw 171462
c lw 171739
c lw 172016
c lw 172293
c lw 172570
c lw 172842
c lw 173114
o 173386
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_160_0002.txt.wcnf 173386
v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 
31.492u 0.129s 0:31.81 99.3%	0+0k 0+0io 0pf+0w