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_san400_0.9_1.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/san400_0.9_1.clq.cnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...maxcut/dimacs-mod/san400_0.9_1.clq.cnf
c Solving...
o 678
o 549
o 523
o 500
o 498
o 477
o 475
o 456
o 455
o 454
o 452
o 435
o 433
o 430
o 415
o 399
o 398
o 396
o 383
o 378
o 376
o 365
o 364
o 363
o 353
o 352
o 345
o 343
o 341
o 340
o 335
o 334
o 333
o 332
o 331
o 330
o 329
o 328
o 327
o 326
o 325
o 323
o 322
o 321
o 320
o 318
o 317
o 316
o 315
o 313
o 312
o 311
o 310
o 309
1979.645u 0.055s 33:04.84 99.7%	0+0k 0+0io 0pf+0w