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_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1224
c lw 2448
c lw 3672
c lw 4896
c lw 5923
c lw 6950
c lw 7977
c lw 9004
c lw 10007
c lw 11010
c lw 12013
c lw 13016
c lw 13964
c lw 14912
c lw 15860
c lw 16808
c lw 17671
c lw 18534
c lw 19397
c lw 20260
c lw 21093
c lw 21926
c lw 22759
c lw 23592
c lw 24425
c lw 25255
c lw 26085
c lw 26915
c lw 27745
c lw 28575
c lw 29398
c lw 30221
c lw 31044
c lw 31867
c lw 32638
c lw 33409
c lw 34180
c lw 34914
c lw 35583
c lw 36248
c lw 36911
c lw 37506
c lw 37952
c lw 38398
c lw 38844
c lw 39286
c lw 39728
c lw 40152
c lw 40576
c lw 40974
c lw 41368
c lw 41759
c lw 42120
c lw 42446
c lw 42708
c lw 42964
c lw 43135
c lw 43289
c lw 43408
c lw 43511
c lw 43608
c lw 43699
c lw 43771
c lw 43834
c lw 43878
c lw 43887
o 43891
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0001.txt.wcnf 43891
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 
5.284u 0.011s 0:05.30 99.8%	0+0k 0+0io 0pf+0w