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_90_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_90_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 998
c lw 1996
c lw 2994
c lw 3992
c lw 4977
c lw 5958
c lw 6939
c lw 7920
c lw 8901
c lw 9871
c lw 10841
c lw 11811
c lw 12781
c lw 13722
c lw 14663
c lw 15604
c lw 16545
c lw 17407
c lw 18269
c lw 19110
c lw 19951
c lw 20787
c lw 21621
c lw 22455
c lw 23289
c lw 24106
c lw 24923
c lw 25740
c lw 26557
c lw 27374
c lw 28175
c lw 28976
c lw 29777
c lw 30512
c lw 31238
c lw 31964
c lw 32683
c lw 33402
c lw 34096
c lw 34790
c lw 35484
c lw 36172
c lw 36860
c lw 37532
c lw 38204
c lw 38876
c lw 39548
c lw 40195
c lw 40842
c lw 41489
c lw 42136
c lw 42783
c lw 43422
c lw 44059
c lw 44650
c lw 45241
c lw 45832
c lw 46423
c lw 47010
c lw 47597
c lw 48144
c lw 48691
c lw 49238
c lw 49785
c lw 50127
c lw 50469
c lw 50749
c lw 50964
c lw 51105
c lw 51231
c lw 51248
c lw 51255
o 51257
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_90_0000.txt.wcnf 51257
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 
128.715u 0.213s 2:09.24 99.7%	0+0k 0+0io 0pf+0w