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_170_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_170_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1105
c lw 2210
c lw 3315
c lw 4420
c lw 5525
c lw 6630
c lw 7735
c lw 8840
c lw 9945
c lw 11050
c lw 12155
c lw 13260
c lw 14365
c lw 15470
c lw 16575
c lw 17680
c lw 18785
c lw 19890
c lw 20995
c lw 22100
c lw 23205
c lw 24310
c lw 25415
c lw 26520
c lw 27625
c lw 28730
c lw 29835
c lw 30940
c lw 32045
c lw 33150
c lw 34255
c lw 35284
c lw 36313
c lw 37342
c lw 38371
c lw 39400
c lw 40429
c lw 41458
c lw 42487
c lw 43516
c lw 44545
c lw 45574
c lw 46603
c lw 47632
c lw 48661
c lw 49690
c lw 50719
c lw 51748
c lw 52777
c lw 53806
c lw 54835
c lw 55864
c lw 56893
c lw 57922
c lw 58951
c lw 59980
c lw 61009
c lw 62038
c lw 63067
c lw 64096
c lw 65125
c lw 66154
c lw 67183
c lw 68212
c lw 69241
c lw 70270
c lw 71299
c lw 72328
c lw 73331
c lw 74334
c lw 75337
c lw 76340
c lw 77343
c lw 78346
c lw 79349
c lw 80352
c lw 81355
c lw 82358
c lw 83361
c lw 84364
c lw 85367
c lw 86370
c lw 87373
c lw 88376
c lw 89293
c lw 90210
c lw 91127
c lw 92044
c lw 92961
c lw 93805
c lw 94649
c lw 95493
c lw 96337
c lw 97140
c lw 97943
c lw 98746
c lw 99549
c lw 100352
c lw 101089
c lw 101826
c lw 102563
c lw 103300
c lw 104037
c lw 104774
c lw 105511
c lw 106248
c lw 106985
c lw 107722
c lw 108459
c lw 109196
c lw 109933
c lw 110670
c lw 111407
c lw 112144
c lw 112881
c lw 113618
c lw 114355
c lw 115079
c lw 115791
c lw 116364
c lw 116937
c lw 117510
c lw 118083
c lw 118656
c lw 119229
c lw 119802
c lw 120375
c lw 120948
c lw 121521
c lw 121977
c lw 122433
c lw 122889
c lw 123345
c lw 123801
c lw 124257
c lw 124713
c lw 125169
c lw 125625
c lw 125867
c lw 126109
c lw 126351
c lw 126593
c lw 126835
c lw 127077
c lw 127319
c lw 127561
c lw 127803
c lw 128045
c lw 128287
c lw 128529
c lw 128771
c lw 129013
c lw 129255
c lw 129497
c lw 129739
c lw 129981
c lw 130223
c lw 130465
c lw 130707
c lw 130949
c lw 131191
c lw 131433
c lw 131675
c lw 131917
c lw 132159
c lw 132401
o 132643
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_170_0004.txt.wcnf 132643
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 
3.569u 0.003s 0:03.75 94.9%	0+0k 0+0io 0pf+0w