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_140_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_140_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1212
c lw 2424
c lw 3636
c lw 4848
c lw 6060
c lw 7272
c lw 8484
c lw 9696
c lw 10908
c lw 12120
c lw 13332
c lw 14544
c lw 15756
c lw 16968
c lw 18180
c lw 19392
c lw 20604
c lw 21816
c lw 23028
c lw 24240
c lw 25452
c lw 26664
c lw 27876
c lw 29088
c lw 30300
c lw 31512
c lw 32724
c lw 33936
c lw 35148
c lw 36360
c lw 37572
c lw 38784
c lw 39996
c lw 41208
c lw 42420
c lw 43632
c lw 44844
c lw 46056
c lw 47268
c lw 48480
c lw 49692
c lw 50904
c lw 52116
c lw 53328
c lw 54540
c lw 55752
c lw 56964
c lw 58176
c lw 59388
c lw 60600
c lw 61770
c lw 62940
c lw 64091
c lw 64496
c lw 64901
c lw 65306
c lw 65711
c lw 66116
c lw 66521
c lw 66926
c lw 67331
c lw 67736
c lw 68141
c lw 68546
c lw 68951
c lw 69356
c lw 69761
c lw 70166
c lw 70571
c lw 70976
c lw 71381
c lw 71786
c lw 72191
c lw 72596
c lw 73001
c lw 73361
c lw 73721
c lw 74081
c lw 74222
c lw 74363
c lw 74504
c lw 74645
c lw 74786
c lw 74927
c lw 75068
c lw 75209
c lw 75350
c lw 75491
c lw 75632
c lw 75773
c lw 75914
c lw 76055
c lw 76196
c lw 76337
c lw 76478
c lw 76619
c lw 76760
c lw 76901
c lw 77042
c lw 77183
c lw 77324
c lw 77465
c lw 77606
c lw 77747
c lw 77888
c lw 78029
c lw 78170
c lw 78311
c lw 78452
c lw 78593
c lw 78734
c lw 78875
c lw 79016
c lw 79157
c lw 79298
c lw 79439
c lw 79580
c lw 79721
c lw 79822
c lw 79923
c lw 80024
c lw 80125
c lw 80226
c lw 80327
c lw 80428
c lw 80529
c lw 80630
c lw 80731
c lw 80832
c lw 80933
c lw 81034
c lw 81135
c lw 81236
c lw 81337
c lw 81438
c lw 81539
c lw 81640
c lw 81741
c lw 81842
c lw 81943
c lw 82044
c lw 82145
c lw 82246
c lw 82347
c lw 82448
c lw 82549
c lw 82650
c lw 82751
c lw 82852
c lw 82953
c lw 83054
c lw 83153
c lw 83252
c lw 83351
c lw 83450
c lw 83549
c lw 83648
c lw 83747
c lw 83846
c lw 83945
c lw 84044
c lw 84143
c lw 84242
c lw 84341
c lw 84440
c lw 84539
c lw 84638
c lw 84737
c lw 84793
c lw 84849
c lw 84905
c lw 84961
c lw 85017
c lw 85073
c lw 85129
c lw 85185
c lw 85241
c lw 85297
c lw 85353
c lw 85409
c lw 85465
c lw 85521
c lw 85577
c lw 85633
c lw 85689
c lw 85745
c lw 85801
c lw 85857
c lw 85913
c lw 85969
c lw 86025
c lw 86081
c lw 86137
o 86193
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_140_0004.txt.wcnf 86193
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 
2.874u 0.009s 0:02.97 96.6%	0+0k 0+0io 0pf+0w