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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_140_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1474
c lw 2948
c lw 4422
c lw 5896
c lw 7370
c lw 8844
c lw 10318
c lw 11792
c lw 13266
c lw 14740
c lw 16214
c lw 17688
c lw 19162
c lw 20636
c lw 22110
c lw 23584
c lw 25058
c lw 26532
c lw 28006
c lw 29480
c lw 30954
c lw 32428
c lw 33902
c lw 35376
c lw 36850
c lw 38324
c lw 39798
c lw 41272
c lw 42746
c lw 44220
c lw 45694
c lw 47168
c lw 48642
c lw 50116
c lw 51590
c lw 52995
c lw 54400
c lw 55585
c lw 56770
c lw 57955
c lw 59140
c lw 60325
c lw 61510
c lw 62695
c lw 63880
c lw 64754
c lw 65628
c lw 66502
c lw 67376
c lw 68250
c lw 69124
c lw 69998
c lw 70872
c lw 71746
c lw 72620
c lw 73202
c lw 73784
c lw 74366
c lw 74948
c lw 75530
c lw 76112
c lw 76694
c lw 77237
c lw 77780
c lw 78323
c lw 78866
c lw 79409
c lw 79952
c lw 80495
c lw 81038
c lw 81456
c lw 81874
c lw 82292
c lw 82710
c lw 83128
c lw 83546
c lw 83964
c lw 84382
c lw 84800
c lw 85218
c lw 85636
c lw 86054
c lw 86472
c lw 86890
c lw 87308
c lw 87726
c lw 88144
c lw 88562
c lw 88980
c lw 89398
c lw 89816
c lw 90234
c lw 90652
c lw 91070
c lw 91488
c lw 91906
c lw 92324
c lw 92742
c lw 93160
c lw 93578
c lw 93996
c lw 94414
c lw 94832
c lw 95250
c lw 95668
c lw 96086
c lw 96504
c lw 96922
c lw 97340
c lw 97758
c lw 98176
c lw 98594
c lw 99012
c lw 99430
c lw 99848
c lw 100266
c lw 100684
c lw 101102
c lw 101520
c lw 101938
c lw 102356
c lw 102774
c lw 103192
c lw 103596
c lw 104000
c lw 104360
c lw 104720
c lw 105080
c lw 105440
c lw 105800
c lw 106160
c lw 106520
c lw 106880
c lw 107240
c lw 107600
c lw 107960
c lw 108320
c lw 108680
c lw 109011
c lw 109342
c lw 109673
c lw 109884
c lw 110095
c lw 110306
c lw 110517
c lw 110728
c lw 110939
c lw 111150
c lw 111361
c lw 111572
c lw 111783
c lw 111994
c lw 112205
c lw 112416
c lw 112627
c lw 112838
c lw 113049
c lw 113260
c lw 113471
c lw 113682
c lw 113893
o 114104
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_140_0000.txt.wcnf 114104
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 
3.994u 0.006s 0:04.13 96.6%	0+0k 0+0io 0pf+0w