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_110_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 75901
o 66574
o 66550
o 66284
o 66260
o 65862
o 65838
o 65572
o 65548
o 65283
o 65259
o 64993
o 64969
o 64915
o 64891
o 64857
o 64833
o 64567
o 64543
o 64489
o 64465
o 64295
o 64271
o 64217
o 64193
o 64159
o 64135
o 63869
o 63845
o 63791
o 63767
o 63763
o 63709
o 63685
o 63515
o 63437
o 63362
o 63338
o 63284
o 63260
o 63256
o 63202
o 63178
o 63090
o 63012
o 63008
o 62930
o 62908
o 62884
o 62796
o 62718
o 62714
o 62636
o 62553
o 62529
o 62475
o 62451
o 62281
o 62203
o 62135
o 62057
o 61952
o 61874
o 61807
o 61759
o 61681
o 61661
o 61613
o 61535
o 61498
o 61460
o 61420
o 61342
o 61308
o 61268
o 61230
o 61139
o 61095
o 61017
o 60850
o 60806
o 60728
o 60693
o 60615
o 60599
o 60555
o 60477
s OPTIMUM FOUND
c Optimal Solution = 60477
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
c Program terminated in 0.740 seconds.
0.739u 0.001s 0:00.74 98.6%	0+0k 0+0io 0pf+0w