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_brock400_2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/brock400_2.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/brock400_2.clq.wcnf
c Solving...
o 3377
o 1688
o 1619
o 1615
o 1599
o 1598
o 1597
o 1590
o 1583
o 1570
o 1564
o 1562
o 1558
o 1553
o 1548
o 1546
o 1544
o 1539
o 1534
o 1533
o 1526
o 1520
o 1519
o 1516
o 1511
o 1508
o 1504
o 1482
o 1479
o 1475
o 1459
o 1447
o 1446
o 1444
o 1437
o 1436
o 1428
o 1427
o 1426
o 1420
o 1417
o 1409
1979.672u 0.032s 33:01.88 99.8%	0+0k 0+0io 0pf+0w