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_120_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_120_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1861
c lw 3722
c lw 5583
c lw 7444
c lw 9305
c lw 11166
c lw 13027
c lw 14888
c lw 16749
c lw 18610
c lw 20471
c lw 22332
c lw 24193
c lw 26054
c lw 27915
c lw 29776
c lw 31637
c lw 33498
c lw 35359
c lw 37220
c lw 39081
c lw 40942
c lw 42803
c lw 44664
c lw 46525
c lw 48386
c lw 50247
c lw 52108
c lw 53969
c lw 55830
c lw 57691
c lw 59552
c lw 61413
c lw 63274
c lw 65135
c lw 66996
c lw 68857
c lw 70718
c lw 72579
c lw 74440
c lw 75986
c lw 77532
c lw 79078
c lw 80624
c lw 82170
c lw 83716
c lw 85262
c lw 86808
c lw 88354
c lw 89900
c lw 90803
c lw 91706
c lw 92609
c lw 93512
c lw 94415
c lw 95318
c lw 96221
c lw 96692
c lw 97163
c lw 97634
c lw 98105
c lw 98576
c lw 99047
c lw 99518
c lw 99989
c lw 100460
c lw 100931
c lw 101402
c lw 101873
c lw 102344
c lw 102815
c lw 103286
c lw 103456
c lw 103626
c lw 103796
c lw 103966
c lw 104136
c lw 104306
c lw 104476
c lw 104646
c lw 104816
c lw 104986
c lw 105156
c lw 105326
c lw 105496
c lw 105666
c lw 105836
c lw 106006
c lw 106176
c lw 106346
c lw 106516
c lw 106686
c lw 106856
c lw 107026
c lw 107196
c lw 107366
c lw 107536
c lw 107706
c lw 107876
c lw 108046
c lw 108216
c lw 108386
c lw 108526
c lw 108666
c lw 108806
c lw 108946
c lw 109086
c lw 109226
c lw 109366
c lw 109506
c lw 109646
c lw 109786
c lw 109924
c lw 110060
c lw 110132
c lw 110204
c lw 110276
c lw 110348
c lw 110420
c lw 110492
c lw 110564
c lw 110636
c lw 110708
c lw 110780
c lw 110852
c lw 110924
c lw 110996
c lw 111068
c lw 111140
c lw 111212
c lw 111284
c lw 111356
c lw 111428
c lw 111500
c lw 111572
c lw 111644
c lw 111716
c lw 111788
c lw 111860
c lw 111932
c lw 112004
c lw 112044
c lw 112084
c lw 112124
c lw 112164
c lw 112204
c lw 112244
c lw 112284
c lw 112324
c lw 112364
c lw 112404
c lw 112444
c lw 112484
c lw 112524
c lw 112564
c lw 112604
c lw 112644
c lw 112684
c lw 112724
c lw 112764
c lw 112804
c lw 112844
c lw 112878
c lw 112912
c lw 112946
c lw 112980
c lw 113014
c lw 113048
c lw 113082
c lw 113116
c lw 113150
c lw 113183
o 113216
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_120_0001.txt.wcnf 113216
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 
3.341u 0.009s 0:03.47 96.2%	0+0k 0+0io 0pf+0w