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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_190_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 841
c lw 1682
c lw 2523
c lw 3364
c lw 4205
c lw 5046
c lw 5887
c lw 6728
c lw 7569
c lw 8410
c lw 9251
c lw 10092
c lw 10933
c lw 11774
c lw 12615
c lw 13456
c lw 14297
c lw 15138
c lw 15979
c lw 16820
c lw 17661
c lw 18502
c lw 19334
c lw 20166
c lw 20998
c lw 21830
c lw 22662
c lw 23494
c lw 24326
c lw 25158
c lw 25990
c lw 26822
c lw 27654
c lw 28486
c lw 29318
c lw 30150
c lw 30982
c lw 31814
c lw 32646
c lw 33478
c lw 34310
c lw 35142
c lw 35974
c lw 36806
c lw 37638
c lw 38470
c lw 39302
c lw 40134
c lw 40966
c lw 41798
c lw 42630
c lw 43462
c lw 44294
c lw 45126
c lw 45958
c lw 46790
c lw 47622
c lw 48454
c lw 49070
c lw 49686
c lw 50302
c lw 50918
c lw 51534
c lw 52150
c lw 52766
c lw 53382
c lw 53998
c lw 54614
c lw 55230
c lw 55846
c lw 56462
c lw 57078
c lw 57391
c lw 57704
c lw 58017
c lw 58330
c lw 58643
c lw 58956
c lw 59269
c lw 59582
c lw 59895
c lw 60208
c lw 60521
c lw 60834
c lw 61147
c lw 61460
c lw 61773
c lw 62086
c lw 62399
c lw 62712
c lw 63025
c lw 63338
c lw 63651
c lw 63964
c lw 64277
c lw 64590
c lw 64903
c lw 65212
c lw 65521
c lw 65830
c lw 66139
c lw 66448
c lw 66757
c lw 67066
c lw 67375
c lw 67684
c lw 67993
c lw 68302
c lw 68611
c lw 68920
c lw 69229
c lw 69538
c lw 69847
c lw 70156
c lw 70465
c lw 70774
c lw 71083
c lw 71392
c lw 71701
c lw 72010
c lw 72319
c lw 72628
c lw 72937
c lw 73246
c lw 73555
c lw 73864
c lw 74173
c lw 74482
c lw 74791
c lw 75100
c lw 75409
c lw 75718
c lw 76027
c lw 76336
c lw 76645
c lw 76954
c lw 77263
c lw 77572
c lw 77881
c lw 78136
c lw 78391
c lw 78646
c lw 78901
c lw 79156
c lw 79411
c lw 79666
c lw 79921
c lw 80176
c lw 80430
c lw 80684
c lw 80938
c lw 81192
c lw 81446
c lw 81700
c lw 81937
c lw 82174
c lw 82411
c lw 82648
c lw 82881
c lw 83113
c lw 83345
c lw 83577
c lw 83802
c lw 84027
c lw 84196
c lw 84365
c lw 84534
c lw 84703
c lw 84872
c lw 85041
c lw 85210
c lw 85379
c lw 85548
c lw 85717
c lw 85886
c lw 86055
c lw 86224
c lw 86372
c lw 86520
c lw 86668
c lw 86816
c lw 86964
c lw 87112
c lw 87260
c lw 87398
c lw 87536
c lw 87674
o 87812
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_190_0003.txt.wcnf 87812
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 
3.518u 0.005s 0:03.61 97.2%	0+0k 0+0io 0pf+0w