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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 70924
o 60219
o 59851
o 59627
o 59616
o 59515
o 59504
o 59322
o 59311
o 59210
o 59199
o 59166
o 59155
o 59123
o 59112
o 59011
o 59000
o 58967
o 58956
o 58931
o 58920
o 58918
o 58907
o 58890
o 58778
o 58734
o 58698
o 58685
o 58618
o 58582
o 58569
o 58560
o 58510
o 58497
o 58488
o 58438
o 58427
o 58394
o 58383
o 58358
o 58347
o 58345
o 58334
o 58317
o 58205
o 58161
o 58125
o 58112
o 58045
o 58009
o 57996
o 57987
o 57937
o 57924
o 57915
o 57853
o 57817
o 57804
o 57795
o 57745
o 57732
o 57723
o 57691
o 57682
o 57607
o 57571
o 57562
o 57499
o 57490
o 57425
o 57381
o 57345
o 57337
o 57319
o 57306
o 57153
o 57117
o 57109
o 57091
o 57078
o 57069
o 57058
o 57050
o 57032
o 57019
o 57010
o 56940
o 56931
o 56923
o 56896
o 56883
o 56874
o 56849
o 56836
o 56827
o 56823
s OPTIMUM FOUND
c Optimal Solution = 56823
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
c Program terminated in 0.930 seconds.
0.934u 0.005s 0:01.22 76.2%	0+0k 0+0io 0pf+0w