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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1191
c lw 2382
c lw 3506
c lw 4630
c lw 5754
c lw 6878
c lw 7998
c lw 9118
c lw 10238
c lw 11358
c lw 12478
c lw 13598
c lw 14718
c lw 15838
c lw 16908
c lw 17978
c lw 19048
c lw 20118
c lw 21159
c lw 22200
c lw 23241
c lw 24282
c lw 25305
c lw 26328
c lw 27272
c lw 28216
c lw 29160
c lw 30104
c lw 31048
c lw 31992
c lw 32885
c lw 33778
c lw 34671
c lw 35564
c lw 36429
c lw 37294
c lw 38149
c lw 39004
c lw 39700
c lw 40396
c lw 41052
c lw 41708
c lw 42364
c lw 43020
c lw 43676
c lw 44307
c lw 44938
c lw 45569
c lw 46200
c lw 46788
c lw 47305
c lw 47765
c lw 48225
c lw 48685
c lw 49145
c lw 49605
c lw 50057
c lw 50509
c lw 50934
c lw 51359
c lw 51589
c lw 51771
o 51870
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0003.txt.wcnf 51870
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 
7.324u 0.051s 0:07.43 99.1%	0+0k 0+0io 0pf+0w