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_MANN_a27.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/MANN_a27.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...d/wmaxcut/dimacs_mod/MANN_a27.clq.wcnf
c Solving...
o 4720
o 2437
o 2358
o 2355
o 2312
o 2308
o 2299
o 2274
o 2265
o 2239
o 2226
o 2211
o 2206
o 2205
o 2202
o 2200
o 2191
o 2183
o 2175
o 2174
o 2160
o 2157
o 2152
o 2144
o 2138
o 2132
o 2130
o 2126
o 2125
o 2115
1979.643u 0.061s 33:03.36 99.8%	0+0k 0+0io 0pf+0w