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_san400_0.7_3.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/san400_0.7_3.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...axcut/dimacs_mod/san400_0.7_3.clq.wcnf
c Solving...
o 3098
o 1746
o 1484
o 1481
o 1455
o 1454
o 1452
o 1450
o 1448
o 1446
o 1444
o 1443
o 1435
o 1433
o 1431
o 1430
o 1428
o 1426
o 1425
o 1423
o 1422
o 1420
o 1416
o 1415
o 1414
o 1411
o 1409
o 1399
o 1393
o 1385
o 1382
o 1368
o 1366
o 1363
o 1362
o 1357
o 1354
o 1348
o 1340
o 1331
o 1327
o 1322
o 1321
o 1307
o 1284
o 1280
o 1278
o 1268
o 1264
o 1254
1979.606u 0.095s 33:02.37 99.8%	0+0k 0+0io 0pf+0w