Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_johnson32-2-4.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/johnson32-2-4.clq.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 8602
o 1967
o 1961
o 1957
o 1953
o 1949
o 1941
o 1940
o 1939
o 1938
o 1933
o 1932
o 1925
o 1923
o 1922
o 1905
o 1903
o 1898
o 1896
o 1892
o 1889
o 1880
o 1878
o 1856
o 1849
o 1846
o 1845
o 1842
o 1839
o 1838
o 1837
o 1834
o 1824
o 1818
o 1816
o 1812
o 1811
o 1806
o 1805
o 1802
o 1793
o 1792
o 1789
o 1788
s OPTIMUM FOUND
c Optimal Solution = 1788
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
c Program terminated in 398.080 seconds.
398.025u 0.011s 6:39.92 99.5%	0+0k 0+0io 0pf+0w