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_110_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1378
c lw 2756
c lw 4134
c lw 5512
c lw 6857
c lw 8202
c lw 9547
c lw 10892
c lw 11968
c lw 13044
c lw 14120
c lw 15196
c lw 16239
c lw 17282
c lw 18325
c lw 19368
c lw 20401
c lw 21434
c lw 22467
c lw 23500
c lw 24533
c lw 25566
c lw 26599
c lw 27632
c lw 28631
c lw 29630
c lw 30629
c lw 31628
c lw 32627
c lw 33610
c lw 34593
c lw 35576
c lw 36559
c lw 37502
c lw 38445
c lw 39388
c lw 40331
c lw 41253
c lw 42175
c lw 43088
c lw 44001
c lw 44871
c lw 45741
c lw 46611
c lw 47481
c lw 48351
c lw 49210
c lw 50069
c lw 50920
c lw 51771
c lw 52622
c lw 53464
c lw 54290
c lw 55072
c lw 55854
c lw 56636
c lw 57418
c lw 58166
c lw 58914
c lw 59662
c lw 60408
c lw 61154
c lw 61900
c lw 62646
c lw 63360
c lw 64015
c lw 64670
c lw 65295
c lw 65894
c lw 66493
c lw 67073
c lw 67653
c lw 68227
c lw 68772
c lw 69317
c lw 69859
c lw 70334
c lw 70673
c lw 71012
c lw 71314
c lw 71616
c lw 71906
c lw 72196
c lw 72313
c lw 72421
c lw 72518
c lw 72611
c lw 72686
c lw 72749
c lw 72793
c lw 72827
c lw 72838
c lw 72848
c lw 72851
c lw 72854
o 72855
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0003.txt.wcnf 72855
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 -91 -92 -93 -94 -95 -96 -97 98 -99 -100 -101 -102 103 -104 -105 -106 -107 108 -109 -110 
55.246u 0.090s 0:55.40 99.8%	0+0k 0+0io 0pf+0w