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_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1271
c lw 2542
c lw 3813
c lw 5084
c lw 6341
c lw 7598
c lw 8855
c lw 10112
c lw 11352
c lw 12592
c lw 13832
c lw 15072
c lw 16225
c lw 17378
c lw 18531
c lw 19684
c lw 20809
c lw 21934
c lw 23021
c lw 24108
c lw 25169
c lw 26230
c lw 27291
c lw 28352
c lw 29408
c lw 30464
c lw 31520
c lw 32537
c lw 33554
c lw 34571
c lw 35553
c lw 36535
c lw 37517
c lw 38499
c lw 39481
c lw 40450
c lw 41419
c lw 42388
c lw 43357
c lw 44265
c lw 45173
c lw 46081
c lw 46989
c lw 47897
c lw 48763
c lw 49592
c lw 50421
c lw 51250
c lw 52079
c lw 52871
c lw 53663
c lw 54455
c lw 55247
c lw 56009
c lw 56709
c lw 57409
c lw 58109
c lw 58809
c lw 59488
c lw 60167
c lw 60846
c lw 61525
c lw 62194
c lw 62863
c lw 63532
c lw 64201
c lw 64859
c lw 65517
c lw 66175
c lw 66833
c lw 67491
c lw 68142
c lw 68793
c lw 69444
c lw 70095
c lw 70746
c lw 71387
c lw 72028
c lw 72669
c lw 73310
c lw 73951
c lw 74543
c lw 75028
c lw 75513
c lw 75987
c lw 76348
c lw 76705
c lw 77033
c lw 77342
c lw 77603
c lw 77864
c lw 78125
c lw 78334
c lw 78492
c lw 78566
c lw 78640
c lw 78704
c lw 78753
c lw 78774
c lw 78791
o 78796
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0005.txt.wcnf 78796
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 -111 -112 113 
11.460u 0.033s 0:11.52 99.7%	0+0k 0+0io 0pf+0w