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-paths_cat_paths_60_80_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1078
c lw 2156
c lw 3234
c lw 4312
c lw 5381
c lw 6450
c lw 7519
c lw 8588
c lw 9599
c lw 10610
c lw 11621
c lw 12632
c lw 13638
c lw 14636
c lw 15634
c lw 16632
c lw 17630
c lw 18628
c lw 19626
c lw 20624
c lw 21622
c lw 22609
c lw 23596
c lw 24583
c lw 25570
c lw 26530
c lw 27490
c lw 28450
c lw 29410
c lw 30314
c lw 31218
c lw 32122
c lw 33026
c lw 33844
c lw 34636
c lw 35428
c lw 36220
c lw 37012
c lw 37786
c lw 38548
c lw 39310
c lw 40069
c lw 40723
c lw 41365
c lw 41985
c lw 42469
c lw 42853
c lw 43181
c lw 43509
c lw 43837
c lw 44089
c lw 44341
c lw 44550
c lw 44744
c lw 44938
c lw 45047
c lw 45105
o 45128
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0002.txt.wcnf 45128
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 
0.358u 0.000s 0:00.36 97.2%	0+0k 0+0io 0pf+0w