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_70_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_70_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1084
c lw 2168
c lw 3252
c lw 4336
c lw 5420
c lw 6504
c lw 7588
c lw 8672
c lw 9756
c lw 10840
c lw 11924
c lw 13008
c lw 14092
c lw 15176
c lw 16260
c lw 17344
c lw 18428
c lw 19512
c lw 20596
c lw 21680
c lw 22764
c lw 23848
c lw 24932
c lw 26016
c lw 27100
c lw 28184
c lw 29268
c lw 30352
c lw 31436
c lw 32520
c lw 33604
c lw 34688
c lw 35772
c lw 36856
c lw 37940
c lw 39024
c lw 40108
c lw 41192
c lw 42276
c lw 43128
c lw 43980
c lw 44832
c lw 45684
c lw 46536
c lw 47388
c lw 48240
c lw 49092
c lw 49944
c lw 50796
c lw 51648
c lw 52500
c lw 53352
c lw 54204
c lw 55056
c lw 55908
c lw 56760
c lw 57612
c lw 58464
c lw 59316
c lw 60168
c lw 61020
c lw 61872
c lw 62724
c lw 63576
c lw 64428
c lw 65280
c lw 66132
c lw 66984
c lw 67836
c lw 68688
c lw 69540
c lw 70392
c lw 71244
c lw 72096
c lw 72781
c lw 73466
c lw 74151
c lw 74836
c lw 75521
c lw 76206
c lw 76891
c lw 77576
c lw 78261
c lw 78946
c lw 79538
c lw 80130
c lw 80722
c lw 81314
c lw 81906
c lw 82498
c lw 83090
o 83682
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_70_0001.txt.wcnf 83682
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 
0.543u 0.000s 0:00.63 85.7%	0+0k 0+0io 0pf+0w