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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_170_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1623
c lw 3246
c lw 4869
c lw 6129
c lw 7389
c lw 8649
c lw 9909
c lw 11169
c lw 12429
c lw 13689
c lw 14949
c lw 16209
c lw 17469
c lw 18729
c lw 19989
c lw 21249
c lw 22509
c lw 23769
c lw 25029
c lw 26289
c lw 27549
c lw 28809
c lw 30069
c lw 31329
c lw 32589
c lw 33849
c lw 35109
c lw 36369
c lw 37629
c lw 38889
c lw 40149
c lw 41409
c lw 42669
c lw 43929
c lw 45189
c lw 46449
c lw 47709
c lw 48969
c lw 50229
c lw 51489
c lw 52749
c lw 54009
c lw 55269
c lw 56445
c lw 57621
c lw 58797
c lw 59973
c lw 61149
c lw 62325
c lw 63501
c lw 64677
c lw 65853
c lw 67029
c lw 68205
c lw 69381
c lw 70557
c lw 71733
c lw 72909
c lw 74085
c lw 75261
c lw 76437
c lw 77613
c lw 78789
c lw 79965
c lw 81141
c lw 82317
c lw 83493
c lw 84669
c lw 85845
c lw 87021
c lw 88197
c lw 89373
c lw 90549
c lw 91725
c lw 92901
c lw 94077
c lw 95253
c lw 96429
c lw 97605
c lw 98781
c lw 99798
c lw 100815
c lw 101832
c lw 102849
c lw 103866
c lw 104883
c lw 105900
c lw 106917
c lw 107934
c lw 108951
c lw 109968
c lw 110968
c lw 111478
c lw 111988
c lw 112498
c lw 113008
c lw 113518
c lw 114028
c lw 114538
c lw 115048
c lw 115558
c lw 116068
c lw 116578
c lw 117088
c lw 117598
c lw 118108
c lw 118618
c lw 119128
c lw 119638
c lw 120148
c lw 120658
c lw 121168
c lw 121678
c lw 122188
c lw 122698
c lw 123208
c lw 123353
c lw 123498
c lw 123643
c lw 123788
c lw 123933
c lw 124078
c lw 124223
c lw 124368
c lw 124513
c lw 124658
c lw 124803
c lw 124948
c lw 125093
c lw 125238
c lw 125383
c lw 125528
c lw 125673
c lw 125818
c lw 125963
c lw 126108
c lw 126234
c lw 126360
c lw 126486
c lw 126598
c lw 126710
c lw 126822
c lw 126910
c lw 126998
c lw 127086
c lw 127174
c lw 127262
c lw 127350
c lw 127438
c lw 127488
c lw 127538
c lw 127588
c lw 127638
c lw 127688
c lw 127738
c lw 127788
c lw 127838
c lw 127888
c lw 127938
c lw 127988
c lw 128038
c lw 128088
c lw 128138
c lw 128188
c lw 128238
c lw 128288
c lw 128338
c lw 128388
c lw 128438
c lw 128488
c lw 128538
c lw 128588
c lw 128638
c lw 128688
o 128737
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_170_0000.txt.wcnf 128737
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 
7.542u 0.009s 0:07.71 97.7%	0+0k 0+0io 0pf+0w