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_190_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_190_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1362
c lw 2724
c lw 4086
c lw 5448
c lw 6810
c lw 8172
c lw 9534
c lw 10896
c lw 12258
c lw 13620
c lw 14982
c lw 16344
c lw 17706
c lw 19068
c lw 20430
c lw 21792
c lw 23154
c lw 24516
c lw 25878
c lw 27240
c lw 28602
c lw 29964
c lw 31326
c lw 32688
c lw 34050
c lw 35412
c lw 36774
c lw 38136
c lw 39498
c lw 40860
c lw 42222
c lw 43584
c lw 44946
c lw 46308
c lw 47670
c lw 49032
c lw 50394
c lw 51670
c lw 52946
c lw 54222
c lw 54965
c lw 55708
c lw 56451
c lw 57194
c lw 57937
c lw 58680
c lw 59423
c lw 60166
c lw 60909
c lw 61652
c lw 62395
c lw 63138
c lw 63881
c lw 64624
c lw 65367
c lw 66110
c lw 66853
c lw 67596
c lw 68339
c lw 69082
c lw 69825
c lw 70362
c lw 70899
c lw 71436
c lw 71973
c lw 72510
c lw 73047
c lw 73584
c lw 74121
c lw 74658
c lw 75195
c lw 75732
c lw 76269
c lw 76806
c lw 77343
c lw 77880
c lw 78417
c lw 78954
c lw 79491
c lw 80028
c lw 80565
c lw 81102
c lw 81639
c lw 82176
c lw 82713
c lw 83250
c lw 83787
c lw 84324
c lw 84861
c lw 85398
c lw 85935
c lw 86472
c lw 87009
c lw 87546
c lw 88083
c lw 88620
c lw 89157
c lw 89694
c lw 90231
c lw 90689
c lw 91147
c lw 91605
c lw 92063
c lw 92521
c lw 92979
c lw 93437
c lw 93856
c lw 94275
c lw 94694
c lw 95113
c lw 95532
c lw 95951
c lw 96370
c lw 96789
c lw 97208
c lw 97627
c lw 98046
c lw 98465
c lw 98884
c lw 99303
c lw 99722
c lw 100141
c lw 100560
c lw 100979
c lw 101398
c lw 101817
c lw 102236
c lw 102655
c lw 103074
c lw 103493
c lw 103912
c lw 104291
c lw 104670
c lw 105049
c lw 105428
c lw 105807
c lw 106186
c lw 106565
c lw 106944
c lw 107323
c lw 107702
c lw 108081
c lw 108460
c lw 108839
c lw 109218
c lw 109597
c lw 109976
c lw 110355
c lw 110734
c lw 111113
c lw 111492
c lw 111871
c lw 112250
c lw 112629
c lw 113008
c lw 113326
c lw 113644
c lw 113962
c lw 114280
c lw 114598
c lw 114916
c lw 115234
c lw 115552
c lw 115870
c lw 116188
c lw 116506
c lw 116824
c lw 117142
c lw 117460
c lw 117778
c lw 118096
c lw 118414
c lw 118732
c lw 119050
c lw 119368
c lw 119686
c lw 120004
c lw 120322
c lw 120640
c lw 120958
c lw 121276
c lw 121594
c lw 121912
c lw 122230
c lw 122548
c lw 122866
c lw 123184
c lw 123502
c lw 123820
c lw 124138
c lw 124456
c lw 124774
c lw 125092
c lw 125410
c lw 125728
c lw 126046
c lw 126364
c lw 126682
c lw 127000
c lw 127318
c lw 127636
c lw 127948
c lw 128242
c lw 128536
c lw 128830
c lw 129119
c lw 129408
c lw 129697
c lw 129986
c lw 130275
c lw 130564
c lw 130853
c lw 131142
c lw 131431
c lw 131720
c lw 132009
c lw 132298
c lw 132587
c lw 132860
c lw 133133
c lw 133406
o 133679
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_190_0004.txt.wcnf 133679
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 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 
4.721u 0.010s 0:04.87 97.1%	0+0k 0+0io 0pf+0w