Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-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/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...xcut/dimacs_mod/johnson32-2-4.clq.wcnf
c Solving...
o 4301
o 2728
o 2016
o 2013
o 2000
o 1995
o 1991
o 1986
o 1973
o 1965
o 1961
o 1953
o 1952
o 1947
o 1941
o 1939
o 1904
o 1902
o 1901
o 1899
o 1895
o 1891
o 1888
o 1869
o 1863
1979.609u 0.093s 33:01.80 99.8%	0+0k 0+0io 0pf+0w