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_100_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_100_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1596
c lw 3192
c lw 4788
c lw 6384
c lw 7980
c lw 9576
c lw 11172
c lw 12768
c lw 14364
c lw 15960
c lw 17556
c lw 19152
c lw 20748
c lw 22344
c lw 23940
c lw 25536
c lw 27132
c lw 28728
c lw 30324
c lw 31920
c lw 33516
c lw 35112
c lw 36708
c lw 38304
c lw 39900
c lw 41496
c lw 43092
c lw 44688
c lw 46284
c lw 47880
c lw 49476
c lw 51072
c lw 52668
c lw 54264
c lw 55860
c lw 57201
c lw 58542
c lw 59883
c lw 61224
c lw 62565
c lw 63906
c lw 65247
c lw 66588
c lw 67724
c lw 68860
c lw 69996
c lw 71132
c lw 72268
c lw 73404
c lw 74540
c lw 75676
c lw 76812
c lw 77109
c lw 77406
c lw 77703
c lw 78000
c lw 78297
c lw 78594
c lw 78891
c lw 79188
c lw 79485
c lw 79782
c lw 80079
c lw 80376
c lw 80673
c lw 80970
c lw 81267
c lw 81564
c lw 81861
c lw 82158
c lw 82455
c lw 82752
c lw 83049
c lw 83346
c lw 83643
c lw 83940
c lw 84237
c lw 84534
c lw 84831
c lw 85128
c lw 85425
c lw 85722
c lw 86019
c lw 86316
c lw 86613
c lw 86910
c lw 87207
c lw 87504
c lw 87801
c lw 88098
c lw 88395
c lw 88692
c lw 88989
c lw 89286
c lw 89583
c lw 89880
c lw 90177
c lw 90474
c lw 90771
c lw 91068
c lw 91365
c lw 91662
c lw 91959
c lw 92256
c lw 92553
c lw 92850
c lw 93136
c lw 93422
o 93703
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_100_0001.txt.wcnf 93703
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 
1.096u 0.002s 0:01.26 86.5%	0+0k 0+0io 0pf+0w