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_johnson8-4-4.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/johnson8-4-4.clq.cnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...maxcut/dimacs-mod/johnson8-4-4.clq.cnf
c Solving...
o 1855
o 1591
o 1590
o 1575
o 1555
o 1543
o 1529
o 1520
o 1496
o 1473
o 1471
o 1470
o 1469
o 1449
o 1421
o 1420
o 1419
o 1418
o 1417
o 1406
o 1405
o 1404
o 1403
o 1402
o 1363
o 1362
o 1361
o 1328
o 1327
o 1326
o 1325
o 1320
o 1319
o 1318
o 1317
o 1316
o 1315
o 1281
o 1280
o 1279
o 1278
o 1277
o 1276
o 1242
o 1241
o 1240
o 1238
o 1237
o 1236
o 1203
o 1202
o 1201
o 1168
o 1160
o 1159
o 1158
o 1133
o 1132
o 1098
o 1080
o 1079
o 1078
o 1060
o 1059
o 1041
o 940
o 939
o 938
o 932
o 930
o 918
o 894
o 892
o 891
o 890
o 889
o 885
o 883
o 880
o 879
o 875
o 870
o 868
o 866
o 865
o 864
o 858
o 857
o 854
o 853
o 852
o 848
1979.568u 0.138s 33:10.90 99.4%	0+0k 0+0io 0pf+0w