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_100_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_100_0006.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1247
c lw 2494
c lw 3741
c lw 4902
c lw 6063
c lw 7189
c lw 8251
c lw 9313
c lw 10375
c lw 11437
c lw 12463
c lw 13466
c lw 14440
c lw 15414
c lw 16364
c lw 17314
c lw 18264
c lw 19214
c lw 20147
c lw 21080
c lw 22013
c lw 22946
c lw 23879
c lw 24812
c lw 25745
c lw 26678
c lw 27611
c lw 28536
c lw 29461
c lw 30386
c lw 31311
c lw 32236
c lw 33140
c lw 34044
c lw 34948
c lw 35852
c lw 36739
c lw 37626
c lw 38513
c lw 39400
c lw 40287
c lw 41150
c lw 42013
c lw 42876
c lw 43739
c lw 44589
c lw 45403
c lw 46217
c lw 47031
c lw 47801
c lw 48571
c lw 49216
c lw 49861
c lw 50506
c lw 51151
c lw 51786
c lw 52402
c lw 53018
c lw 53622
c lw 54226
c lw 54792
c lw 55349
c lw 55906
c lw 56463
c lw 57020
c lw 57577
c lw 58006
c lw 58435
c lw 58864
c lw 59293
c lw 59655
c lw 60017
c lw 60379
c lw 60702
c lw 61021
c lw 61296
c lw 61568
c lw 61802
c lw 62036
c lw 62203
c lw 62347
c lw 62451
c lw 62530
c lw 62553
o 62561
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_100_0006.txt.wcnf 62561
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 
3.751u 0.004s 0:03.79 98.9%	0+0k 0+0io 0pf+0w