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-2.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/hamming6-2.clq.cnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...d/maxcut/dimacs-mod/hamming6-2.clq.cnf
c Solving...
o 1824
o 1713
o 1710
o 1709
o 1655
o 1654
o 1653
o 1602
o 1601
o 1600
o 1599
o 1551
o 1550
o 1549
o 1502
o 1501
o 1500
o 1499
o 1498
o 1455
o 1454
o 1453
o 1452
o 1451
o 1450
o 1449
o 1412
o 1411
o 1410
o 1409
o 1408
o 1369
o 1368
o 1367
o 1366
o 1328
o 1327
o 1326
o 1325
o 1324
o 1323
o 1287
o 1286
o 1285
o 1284
o 1283
o 1282
o 1250
o 1215
o 1214
o 1213
o 1212
o 1211
o 1179
o 1178
o 1177
o 1176
o 1175
o 1174
o 1145
o 1144
o 1143
o 1117
o 1116
o 1115
o 1114
o 1113
o 1112
o 1086
o 1085
o 1084
o 1083
o 1059
o 1058
o 1055
o 1054
o 1053
o 1032
o 1031
o 959
o 934
o 933
o 894
o 893
o 888
o 887
o 885
o 882
o 881
o 880
o 878
o 876
o 875
o 874
o 873
o 872
o 871
o 870
o 869
o 868
o 867
1979.588u 0.118s 33:01.83 99.8%	0+0k 0+0io 0pf+0w