Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-ms_crafted-_home_maxsat_benchmarks_ms_crafted_maxcut_dimacs-mod_MANN_a9.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/MANN_a9.clq.cnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...fted/maxcut/dimacs-mod/MANN_a9.clq.cnf
c Solving...
o 918
o 726
o 695
o 664
o 662
o 633
o 608
o 583
o 581
o 558
o 539
o 520
o 518
o 501
o 488
o 487
o 475
o 473
o 470
o 468
o 463
o 448
o 445
o 443
o 442
o 440
o 439
o 437
o 435
o 433
o 432
o 431
o 430
o 429
1979.626u 0.077s 33:01.63 99.9%	0+0k 0+0io 0pf+0w