Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_90_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0007.txt.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 72561
o 64856
o 64719
o 64715
o 64541
o 64404
o 64400
o 64114
o 63977
o 63973
o 63799
o 63662
o 63658
o 63594
o 63590
o 63543
o 63539
o 63253
o 63116
o 63112
o 62938
o 62801
o 62797
o 62733
o 62729
o 62722
o 62720
o 62716
o 62652
o 62648
o 62641
o 62637
o 62630
o 62560
o 62556
o 62549
o 62422
o 62418
o 62341
o 62337
o 62320
o 62316
o 62249
o 62168
o 62147
o 62126
o 62045
o 62024
o 61797
o 61786
o 61482
o 61471
o 61401
o 61390
o 61359
o 61348
o 61278
o 61267
o 61172
o 61161
o 61091
o 61080
o 61049
o 61038
o 60968
o 60957
o 60944
o 60902
o 60821
o 60808
o 60797
o 60727
o 60716
o 60498
o 60487
o 60417
o 60406
o 60375
o 60364
o 60294
o 60283
o 60099
o 60088
o 59976
o 59965
o 59964
o 59822
o 59811
o 59507
o 59496
o 59387
o 59371
o 59305
o 59294
o 59208
o 59197
o 59141
o 59090
o 59065
o 58924
o 58908
o 58842
o 58739
s OPTIMUM FOUND
c Optimal Solution = 58739
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
c Program terminated in 0.210 seconds.
0.215u 0.000s 0:00.22 95.4%	0+0k 0+0io 0pf+0w