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_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1230
c lw 2460
c lw 3690
c lw 4920
c lw 6086
c lw 7252
c lw 8418
c lw 9584
c lw 10719
c lw 11854
c lw 12989
c lw 14124
c lw 15161
c lw 16198
c lw 17235
c lw 18272
c lw 19306
c lw 20340
c lw 21374
c lw 22408
c lw 23441
c lw 24474
c lw 25507
c lw 26540
c lw 27573
c lw 28606
c lw 29639
c lw 30672
c lw 31705
c lw 32738
c lw 33709
c lw 34668
c lw 35627
c lw 36586
c lw 37545
c lw 38484
c lw 39423
c lw 40362
c lw 41301
c lw 42166
c lw 43031
c lw 43896
c lw 44761
c lw 45608
c lw 46455
c lw 47302
c lw 48106
c lw 48910
c lw 49707
c lw 50425
c lw 51139
c lw 51853
c lw 52515
c lw 53010
c lw 53477
c lw 53944
c lw 54389
c lw 54810
c lw 55231
c lw 55608
c lw 55946
c lw 56265
c lw 56571
c lw 56846
c lw 57071
c lw 57204
c lw 57254
c lw 57304
c lw 57335
c lw 57348
o 57352
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0005.txt.wcnf 57352
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 
4.801u 0.006s 0:04.81 99.7%	0+0k 0+0io 0pf+0w