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_p_hat700-1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/p_hat700-1.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/p_hat700-1.clq.wcnf
c Solving...
o 1219
o 654
o 414
o 413
o 411
o 409
o 407
o 405
o 403
o 396
o 395
o 391
o 389
o 388
o 386
o 385
o 381
o 379
o 378
o 375
o 373
o 372
o 370
o 369
o 367
o 366
o 362
o 361
o 357
o 355
o 353
o 350
o 349
o 347
o 341
o 340
o 338
o 337
o 335
o 334
o 332
1979.659u 0.044s 33:07.80 99.5%	0+0k 0+0io 0pf+0w