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_san200_0.9_1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/san200_0.9_1.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...axcut/dimacs_mod/san200_0.9_1.clq.wcnf
c Solving...
o 3927
o 1999
o 1890
o 1887
o 1854
o 1853
o 1846
o 1845
o 1838
o 1833
o 1831
o 1827
o 1810
o 1809
o 1808
o 1807
o 1792
o 1789
o 1785
o 1783
o 1782
o 1780
o 1776
o 1773
o 1772
o 1764
o 1762
o 1761
o 1759
o 1753
o 1745
o 1732
o 1725
o 1721
o 1714
1979.654u 0.050s 33:12.19 99.3%	0+0k 0+0io 0pf+0w