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_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1142
c lw 2239
c lw 3336
c lw 4433
c lw 5530
c lw 6622
c lw 7714
c lw 8806
c lw 9898
c lw 10983
c lw 12068
c lw 13153
c lw 14238
c lw 15309
c lw 16380
c lw 17451
c lw 18522
c lw 19577
c lw 20632
c lw 21687
c lw 22742
c lw 23708
c lw 24667
c lw 25626
c lw 26585
c lw 27544
c lw 28501
c lw 29458
c lw 30412
c lw 31366
c lw 32296
c lw 33149
c lw 34002
c lw 34855
c lw 35708
c lw 36561
c lw 37414
c lw 38267
c lw 39120
c lw 39973
c lw 40826
c lw 41678
c lw 42530
c lw 43382
c lw 44234
c lw 45000
c lw 45762
c lw 46485
c lw 47208
c lw 47931
c lw 48654
c lw 49377
c lw 50100
c lw 50823
c lw 51546
c lw 52261
c lw 52976
c lw 53691
c lw 54406
c lw 55094
c lw 55782
c lw 56470
c lw 57158
c lw 57825
c lw 58447
c lw 59069
c lw 59691
c lw 60313
c lw 60904
c lw 61495
c lw 62072
c lw 62615
c lw 63158
c lw 63701
c lw 64244
c lw 64763
c lw 65214
c lw 65665
c lw 66104
c lw 66539
c lw 66974
c lw 67283
c lw 67582
c lw 67826
c lw 68022
c lw 68189
c lw 68295
c lw 68358
c lw 68412
c lw 68457
o 68460
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0002.txt.wcnf 68460
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 
7.640u 0.010s 0:07.67 99.7%	0+0k 0+0io 0pf+0w