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_hamming10-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/hamming10-2.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...maxcut/dimacs_mod/hamming10-2.clq.wcnf
c Solving...
o 4604
o 2261
o 2208
o 2207
o 2198
o 2196
o 2183
o 2182
o 2173
o 2172
o 2166
o 2165
o 2157
o 2154
o 2145
o 2138
o 2136
o 2133
o 2128
o 2126
o 2111
o 2102
o 2098
o 2094
o 2091
o 2086
o 2081
o 2071
o 2057
o 2055
o 2054
o 2046
o 2041
o 2039
o 2036
1979.632u 0.071s 33:09.16 99.5%	0+0k 0+0io 0pf+0w