Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_80_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 62020
o 49992
o 49949
o 49915
o 49188
o 49145
o 49111
o 48674
o 48631
o 48597
o 48567
o 48266
o 48223
o 48189
o 48020
o 47977
o 47947
o 47851
o 47808
o 47774
o 47605
o 47562
o 47532
o 47455
o 47412
o 47393
o 47141
o 47098
o 47021
o 46978
o 46914
o 46871
o 46833
o 46790
o 46526
o 46483
o 46445
o 46402
o 46338
o 46295
o 46257
o 46214
o 46200
o 46157
o 46123
o 45992
o 45949
o 45872
o 45829
o 45825
o 45806
o 45554
o 45511
o 45434
o 45391
o 45366
o 45323
o 45246
o 45203
o 45171
o 45128
s OPTIMUM FOUND
c Optimal Solution = 45128
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
c Program terminated in 0.020 seconds.
0.019u 0.004s 0:00.02 50.0%	0+0k 0+0io 0pf+0w