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_hamming6-4.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/hamming6-4.clq.cnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...d/maxcut/dimacs-mod/hamming6-4.clq.cnf
c Solving...
o 704
o 531
o 528
o 514
o 513
o 508
o 491
o 487
o 484
o 473
o 471
o 468
o 467
o 465
o 464
o 452
o 451
o 450
o 449
o 448
o 446
o 445
o 427
o 426
o 425
o 424
o 409
o 408
o 398
o 397
o 396
o 395
o 394
o 392
o 380
o 379
o 378
o 377
o 376
o 361
o 360
o 359
o 351
o 350
o 349
o 348
o 347
o 344
o 337
o 336
o 335
o 334
o 328
o 314
o 313
o 312
o 311
o 304
o 299
o 298
o 297
o 296
o 290
o 289
o 288
o 281
o 280
o 279
o 278
o 274
o 272
o 270
o 268
o 262
o 260
o 258
o 254
o 252
o 250
o 246
o 244
o 242
1979.655u 0.048s 33:12.13 99.3%	0+0k 0+0io 0pf+0w