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_70_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_70_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1196
c lw 2392
c lw 3588
c lw 4784
c lw 5912
c lw 7040
c lw 8168
c lw 9296
c lw 10391
c lw 11486
c lw 12581
c lw 13676
c lw 14716
c lw 15756
c lw 16796
c lw 17836
c lw 18847
c lw 19857
c lw 20867
c lw 21877
c lw 22887
c lw 23711
c lw 24535
c lw 25359
c lw 26183
c lw 26944
c lw 27705
c lw 28462
c lw 29219
c lw 29976
c lw 30733
c lw 31472
c lw 32211
c lw 32950
c lw 33668
c lw 34386
c lw 35104
c lw 35822
c lw 36457
c lw 36993
c lw 37450
c lw 37895
c lw 38314
c lw 38717
c lw 39062
c lw 39407
c lw 39742
c lw 40069
c lw 40319
c lw 40569
c lw 40744
o 40870
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_70_0001.txt.wcnf 40870
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 
0.313u 0.000s 0:00.33 93.9%	0+0k 0+0io 0pf+0w