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_hamming8-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/hamming8-2.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/hamming8-2.clq.wcnf
c Solving...
o 5052
o 2472
o 2469
o 2454
o 2446
o 2445
o 2423
o 2414
o 2404
o 2393
o 2391
o 2387
o 2386
o 2381
o 2376
o 2375
o 2364
o 2358
o 2353
o 2352
o 2336
o 2335
o 2333
o 2327
o 2324
o 2321
o 2317
o 2309
o 2300
o 2298
o 2297
o 2295
o 2292
o 2291
o 2287
1979.650u 0.054s 33:01.56 99.9%	0+0k 0+0io 0pf+0w