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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_160_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1353
c lw 2706
c lw 4059
c lw 5412
c lw 6765
c lw 8118
c lw 9471
c lw 10824
c lw 12177
c lw 13530
c lw 14883
c lw 16236
c lw 17589
c lw 18942
c lw 20295
c lw 21648
c lw 23001
c lw 24354
c lw 25707
c lw 27060
c lw 28413
c lw 29766
c lw 31119
c lw 32472
c lw 33825
c lw 35178
c lw 36531
c lw 37884
c lw 39237
c lw 40590
c lw 41943
c lw 43296
c lw 44649
c lw 46002
c lw 47355
c lw 48708
c lw 50061
c lw 51414
c lw 52767
c lw 54120
c lw 55473
c lw 56826
c lw 58179
c lw 59532
c lw 60885
c lw 62143
c lw 63401
c lw 64659
c lw 65917
c lw 67153
c lw 68368
c lw 69384
c lw 70400
c lw 71416
c lw 72432
c lw 73448
c lw 74464
c lw 75480
c lw 76496
c lw 77512
c lw 78528
c lw 79544
c lw 80560
c lw 81576
c lw 82592
c lw 83608
c lw 84624
c lw 85640
c lw 86656
c lw 87672
c lw 88688
c lw 89704
c lw 90720
c lw 91269
c lw 91818
c lw 92367
c lw 92916
c lw 93465
c lw 94014
c lw 94563
c lw 95112
c lw 95661
c lw 96210
c lw 96759
c lw 97308
c lw 97857
c lw 98406
c lw 98774
c lw 99142
c lw 99510
c lw 99878
c lw 100246
c lw 100614
c lw 100982
c lw 101350
c lw 101718
c lw 102086
c lw 102454
c lw 102822
c lw 103190
c lw 103558
c lw 103926
c lw 104294
c lw 104662
c lw 105030
c lw 105398
c lw 105766
c lw 106134
c lw 106502
c lw 106870
c lw 107238
c lw 107606
c lw 107974
c lw 108342
c lw 108710
c lw 109078
c lw 109446
c lw 109814
c lw 110182
c lw 110426
c lw 110670
c lw 110914
c lw 111158
c lw 111402
c lw 111646
c lw 111890
c lw 112134
c lw 112378
c lw 112622
c lw 112866
c lw 113110
c lw 113354
c lw 113598
c lw 113842
c lw 114086
c lw 114330
c lw 114574
c lw 114818
c lw 115062
c lw 115306
c lw 115550
c lw 115794
c lw 116038
c lw 116282
c lw 116489
c lw 116696
c lw 116903
c lw 117110
c lw 117317
c lw 117524
c lw 117731
c lw 117938
c lw 118127
c lw 118316
c lw 118505
c lw 118694
o 118883
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_160_0003.txt.wcnf 118883
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 
4.371u 0.020s 0:04.52 97.1%	0+0k 0+0io 0pf+0w