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_180_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_180_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1058
c lw 2116
c lw 3174
c lw 4232
c lw 5290
c lw 6348
c lw 7406
c lw 8464
c lw 9522
c lw 10512
c lw 11502
c lw 12492
c lw 13482
c lw 14472
c lw 15462
c lw 16452
c lw 17442
c lw 18432
c lw 19422
c lw 20412
c lw 21402
c lw 22392
c lw 23382
c lw 24372
c lw 25362
c lw 26352
c lw 27292
c lw 28232
c lw 29172
c lw 30112
c lw 31052
c lw 31992
c lw 32932
c lw 33872
c lw 34812
c lw 35752
c lw 36692
c lw 37632
c lw 38572
c lw 39512
c lw 40452
c lw 41392
c lw 42332
c lw 43272
c lw 44212
c lw 45152
c lw 46092
c lw 47032
c lw 47972
c lw 48912
c lw 49852
c lw 50792
c lw 51732
c lw 52672
c lw 53612
c lw 54552
c lw 55492
c lw 56432
c lw 57372
c lw 58312
c lw 59252
c lw 60192
c lw 61132
c lw 62072
c lw 63012
c lw 63952
c lw 64892
c lw 65832
c lw 66686
c lw 67540
c lw 68394
c lw 69248
c lw 70102
c lw 70887
c lw 71672
c lw 72457
c lw 73242
c lw 74027
c lw 74812
c lw 75297
c lw 75782
c lw 76267
c lw 76752
c lw 77237
c lw 77722
c lw 78207
c lw 78692
c lw 79177
c lw 79662
c lw 80147
c lw 80632
c lw 81117
c lw 81602
c lw 82087
c lw 82572
c lw 83057
c lw 83542
c lw 83928
c lw 84314
c lw 84700
c lw 85086
c lw 85472
c lw 85858
c lw 86244
c lw 86630
c lw 87016
c lw 87402
c lw 87788
c lw 88174
c lw 88492
c lw 88810
c lw 89128
c lw 89446
c lw 89764
c lw 90082
c lw 90400
c lw 90718
c lw 91036
c lw 91354
c lw 91672
c lw 91990
c lw 92308
c lw 92626
c lw 92944
c lw 93262
c lw 93580
c lw 93898
c lw 94216
c lw 94534
c lw 94852
c lw 95170
c lw 95488
c lw 95806
c lw 96124
c lw 96412
c lw 96700
c lw 96988
c lw 97276
c lw 97564
c lw 97852
c lw 98140
c lw 98428
c lw 98716
c lw 99004
c lw 99292
c lw 99580
c lw 99868
c lw 100156
c lw 100444
c lw 100732
c lw 101020
c lw 101308
c lw 101596
c lw 101884
c lw 102172
c lw 102460
c lw 102748
c lw 103036
c lw 103324
c lw 103612
c lw 103900
c lw 104188
c lw 104476
c lw 104764
c lw 105052
c lw 105340
c lw 105628
c lw 105916
c lw 106204
c lw 106492
c lw 106780
c lw 107068
c lw 107356
c lw 107644
c lw 107932
c lw 108220
c lw 108508
c lw 108796
c lw 109084
c lw 109372
c lw 109660
c lw 109948
c lw 110236
c lw 110524
c lw 110812
c lw 111100
c lw 111388
c lw 111676
c lw 111964
o 112247
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_180_0000.txt.wcnf 112247
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 
3.548u 0.006s 0:03.71 95.4%	0+0k 0+0io 0pf+0w