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_130_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_130_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1292
c lw 2584
c lw 3876
c lw 5168
c lw 6460
c lw 7752
c lw 9044
c lw 10336
c lw 11628
c lw 12920
c lw 14212
c lw 15504
c lw 16796
c lw 18088
c lw 19151
c lw 20214
c lw 21277
c lw 22340
c lw 23403
c lw 24466
c lw 25529
c lw 26592
c lw 27655
c lw 28718
c lw 29781
c lw 30844
c lw 31907
c lw 32970
c lw 34033
c lw 35096
c lw 36159
c lw 37222
c lw 38285
c lw 39348
c lw 40411
c lw 41474
c lw 42537
c lw 43127
c lw 43717
c lw 44307
c lw 44897
c lw 45487
c lw 46077
c lw 46667
c lw 47257
c lw 47847
c lw 48437
c lw 49027
c lw 49617
c lw 50207
c lw 50797
c lw 51387
c lw 51977
c lw 52567
c lw 53157
c lw 53747
c lw 54337
c lw 54927
c lw 55517
c lw 56107
c lw 56697
c lw 57287
c lw 57871
c lw 58455
c lw 59039
c lw 59623
c lw 60207
c lw 60791
c lw 61375
c lw 61959
c lw 62543
c lw 63127
c lw 63711
c lw 64295
c lw 64879
c lw 65463
c lw 66047
c lw 66631
c lw 67215
c lw 67799
c lw 68383
c lw 68967
c lw 69551
c lw 70135
c lw 70719
c lw 71280
c lw 71841
c lw 72309
c lw 72777
c lw 73245
c lw 73713
c lw 74181
c lw 74649
c lw 75117
c lw 75585
c lw 76053
c lw 76521
c lw 76989
c lw 77457
c lw 77634
c lw 77811
c lw 77988
c lw 78165
c lw 78342
c lw 78407
c lw 78472
c lw 78537
c lw 78602
c lw 78667
c lw 78732
c lw 78797
c lw 78862
c lw 78927
c lw 78992
c lw 79057
c lw 79122
c lw 79187
c lw 79252
c lw 79317
c lw 79382
c lw 79447
c lw 79512
c lw 79577
c lw 79642
c lw 79707
c lw 79772
c lw 79837
c lw 79902
c lw 79967
c lw 80032
c lw 80097
c lw 80162
c lw 80227
c lw 80292
c lw 80357
c lw 80422
c lw 80487
c lw 80552
c lw 80617
c lw 80682
c lw 80747
c lw 80812
c lw 80877
c lw 80942
c lw 81007
c lw 81072
c lw 81137
c lw 81190
c lw 81243
c lw 81296
c lw 81349
c lw 81402
c lw 81455
c lw 81508
c lw 81561
c lw 81614
c lw 81667
c lw 81715
c lw 81763
c lw 81811
c lw 81859
c lw 81907
o 81955
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_130_0002.txt.wcnf 81955
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 
2.191u 0.007s 0:02.35 93.1%	0+0k 0+0io 0pf+0w