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_a45.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/MANN_a45.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...d/wmaxcut/dimacs_mod/MANN_a45.clq.wcnf
c Solving...
o 4791
o 2369
o 2368
o 2364
o 2355
o 2350
o 2342
o 2335
o 2326
o 2325
o 2323
o 2305
o 2303
o 2295
o 2289
o 2283
o 2278
o 2270
o 2268
o 2267
o 2263
o 2260
o 2259
o 2255
o 2251
o 2245
o 2242
o 2237
o 2234
o 2221
o 2219
o 2217
o 2216
o 2205
o 2203
o 2188
o 2185
o 2182
o 2178
o 2165
o 2162
o 2157
o 2156
1979.620u 0.084s 33:13.21 99.3%	0+0k 0+0io 0pf+0w