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_sanr200_0.9.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/sanr200_0.9.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...maxcut/dimacs_mod/sanr200_0.9.clq.wcnf
c Solving...
o 3823
o 1845
o 1813
o 1804
o 1773
o 1770
o 1769
o 1761
o 1754
o 1751
o 1730
o 1728
o 1718
o 1716
o 1715
o 1714
o 1711
o 1706
o 1705
o 1704
o 1703
o 1701
o 1697
o 1678
o 1669
o 1666
1979.644u 0.060s 33:03.81 99.7%	0+0k 0+0io 0pf+0w