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_200_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_200_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1740
c lw 3480
c lw 5220
c lw 6960
c lw 8700
c lw 10440
c lw 12180
c lw 13920
c lw 15660
c lw 17400
c lw 19140
c lw 20880
c lw 22620
c lw 24360
c lw 26100
c lw 27840
c lw 29580
c lw 31320
c lw 33060
c lw 34800
c lw 36540
c lw 38280
c lw 40020
c lw 41760
c lw 43500
c lw 45240
c lw 46980
c lw 48720
c lw 50460
c lw 52200
c lw 53884
c lw 55568
c lw 57252
c lw 58936
c lw 60620
c lw 62304
c lw 63988
c lw 65672
c lw 67356
c lw 69040
c lw 70724
c lw 72408
c lw 74092
c lw 75776
c lw 77460
c lw 79144
c lw 80828
c lw 82335
c lw 83842
c lw 85349
c lw 86856
c lw 88363
c lw 89870
c lw 91377
c lw 92884
c lw 94391
c lw 95898
c lw 97405
c lw 98912
c lw 100419
c lw 101926
c lw 103433
c lw 104940
c lw 106447
c lw 107954
c lw 109461
c lw 110968
c lw 112475
c lw 113982
c lw 115489
c lw 116996
c lw 118503
c lw 120010
c lw 121517
c lw 123024
c lw 124531
c lw 126038
c lw 127545
c lw 129052
c lw 130559
c lw 132066
c lw 133573
c lw 135080
c lw 136587
c lw 138094
c lw 139601
c lw 141108
c lw 142615
c lw 144122
c lw 145444
c lw 146766
c lw 148088
c lw 149410
c lw 150732
c lw 152054
c lw 153376
c lw 154664
c lw 155952
c lw 157240
c lw 158528
c lw 159816
c lw 161104
c lw 162392
c lw 163680
c lw 164968
c lw 166256
c lw 167544
c lw 168832
c lw 170120
c lw 171397
c lw 172674
c lw 173943
c lw 175212
c lw 176481
c lw 177750
c lw 179019
c lw 180288
c lw 181557
c lw 182826
c lw 184095
c lw 185364
c lw 186633
c lw 187902
c lw 189171
c lw 190440
c lw 191709
c lw 192978
c lw 194247
c lw 195516
c lw 196709
c lw 197902
c lw 199095
c lw 200288
c lw 201438
c lw 202588
c lw 203145
c lw 203702
c lw 204259
c lw 204816
c lw 205373
c lw 205930
c lw 206487
c lw 207044
c lw 207601
c lw 208158
c lw 208715
c lw 209272
c lw 209829
c lw 210386
c lw 210943
c lw 211500
c lw 212057
c lw 212614
c lw 213171
c lw 213728
c lw 214285
c lw 214842
c lw 215399
c lw 215956
c lw 216513
c lw 217070
c lw 217627
c lw 218184
c lw 218741
c lw 219298
c lw 219855
c lw 220412
c lw 220916
c lw 221420
c lw 221924
c lw 222428
c lw 222932
c lw 223436
c lw 223940
c lw 224444
c lw 224948
c lw 225452
c lw 225956
c lw 226460
c lw 226964
c lw 227468
c lw 227972
c lw 228476
c lw 228980
c lw 229484
c lw 229741
c lw 229998
c lw 230255
c lw 230512
c lw 230769
c lw 231026
c lw 231283
c lw 231540
c lw 231797
c lw 232054
c lw 232311
c lw 232568
c lw 232825
c lw 233082
c lw 233339
c lw 233596
c lw 233853
c lw 234110
c lw 234367
c lw 234624
c lw 234881
c lw 235138
c lw 235395
c lw 235652
c lw 235909
c lw 236166
c lw 236423
c lw 236680
c lw 236937
c lw 237194
c lw 237451
c lw 237708
c lw 237965
c lw 238222
c lw 238479
c lw 238736
c lw 238993
c lw 239250
c lw 239507
c lw 239764
c lw 239988
c lw 240212
c lw 240436
c lw 240660
c lw 240884
c lw 241108
c lw 241300
c lw 241492
c lw 241684
c lw 241876
c lw 242068
c lw 242260
c lw 242452
c lw 242644
o 242832
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_200_0000.txt.wcnf 242832
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 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 
9.333u 0.018s 0:09.53 98.0%	0+0k 0+0io 0pf+0w