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_a81.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/MANN_a81.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...d/wmaxcut/dimacs_mod/MANN_a81.clq.wcnf
c Solving...
o 4599
o 2340
o 2184
o 2183
o 2176
o 2158
o 2157
o 2150
o 2144
o 2133
o 2130
o 2129
o 2120
o 2114
o 2105
o 2102
o 2101
o 2097
o 2083
o 2082
o 2079
o 2056
o 2051
o 2045
1979.626u 0.077s 33:10.43 99.4%	0+0k 0+0io 0pf+0w