Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_WMAXCUT_DIMACS_MOD_hamming10-2.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/hamming10-2.clq.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 41 1640 0
WARNING: Ubcsat not found.
o 9208
o 2091
o 2088
o 2087
o 2084
o 2081
o 2078
o 2077
o 2069
o 2068
o 2067
o 2066
o 2061
o 2055
o 2052
o 2047
o 2043
o 2040
o 2026
o 2023
o 2022
o 2021
o 2019
o 2017
o 2016
o 2012
o 2011
o 2009
o 2004
o 2003
o 1996
o 1994
o 1988
o 1985
o 1980
o 1975
o 1973
o 1967
o 1965
o 1958
o 1953
o 1951
o 1949
o 1948
o 1942
o 1939
o 1935
o 1929
c Learned clauses = 0
c NB_MONO= 61, NB_BRANCHE= 520776, NB_BACK= 260400 
s OPTIMUM FOUND
c Optimal Solution = 1929
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 0
595.332u 0.158s 9:56.09 99.8%	0+0k 0+0io 0pf+0w