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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_160_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1801
c lw 3602
c lw 5403
c lw 7204
c lw 9005
c lw 10806
c lw 12607
c lw 14408
c lw 16209
c lw 18010
c lw 19811
c lw 21612
c lw 23413
c lw 25214
c lw 27015
c lw 28816
c lw 30617
c lw 32418
c lw 34219
c lw 36020
c lw 37821
c lw 39622
c lw 41423
c lw 43224
c lw 45025
c lw 46826
c lw 48627
c lw 50428
c lw 52229
c lw 54030
c lw 55831
c lw 57632
c lw 59433
c lw 61234
c lw 63035
c lw 64836
c lw 66637
c lw 68438
c lw 70239
c lw 72040
c lw 73841
c lw 75642
c lw 77443
c lw 79244
c lw 81045
c lw 82846
c lw 84647
c lw 86448
c lw 88249
c lw 90019
c lw 91758
c lw 93468
c lw 93810
c lw 94152
c lw 94494
c lw 94836
c lw 95178
c lw 95520
c lw 95862
c lw 96204
c lw 96546
c lw 96888
c lw 97230
c lw 97572
c lw 97914
c lw 98256
c lw 98598
c lw 98940
c lw 99282
c lw 99624
c lw 99966
c lw 100308
c lw 100650
c lw 100992
c lw 101334
c lw 101676
c lw 102018
c lw 102360
c lw 102702
c lw 103044
c lw 103386
c lw 103728
c lw 104070
c lw 104412
c lw 104754
c lw 105096
c lw 105438
c lw 105780
c lw 106122
c lw 106464
c lw 106806
c lw 107148
c lw 107490
c lw 107832
c lw 108174
c lw 108516
c lw 108858
c lw 109200
c lw 109542
c lw 109884
c lw 110226
c lw 110526
c lw 110826
c lw 111126
c lw 111426
c lw 111726
c lw 112026
c lw 112326
c lw 112621
c lw 112682
c lw 112743
c lw 112804
c lw 112865
c lw 112926
c lw 112987
c lw 113048
c lw 113109
c lw 113170
c lw 113231
c lw 113292
c lw 113353
c lw 113414
c lw 113475
c lw 113536
c lw 113597
c lw 113658
c lw 113719
c lw 113780
c lw 113841
c lw 113902
c lw 113963
c lw 114024
c lw 114085
c lw 114146
c lw 114207
c lw 114268
c lw 114329
c lw 114390
c lw 114451
c lw 114512
c lw 114573
c lw 114634
c lw 114695
c lw 114756
c lw 114817
c lw 114878
c lw 114939
c lw 115000
c lw 115061
c lw 115122
c lw 115183
c lw 115244
c lw 115305
c lw 115366
c lw 115427
c lw 115488
c lw 115549
c lw 115610
c lw 115671
c lw 115732
c lw 115793
c lw 115854
c lw 115912
c lw 115970
c lw 116028
c lw 116083
c lw 116138
o 116193
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_160_0004.txt.wcnf 116193
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 
3.575u 0.007s 0:03.71 96.2%	0+0k 0+0io 0pf+0w