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_hat500-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/p_hat500-2.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/p_hat500-2.clq.wcnf
c Solving...
o 2529
o 1273
o 1089
o 1088
o 1084
o 1073
o 1072
o 1067
o 1065
o 1055
o 1050
o 1048
o 1047
o 1046
o 1045
o 1042
o 1038
o 1035
o 1031
o 1018
o 1017
o 1006
o 1003
o 999
o 993
o 988
o 979
o 977
o 975
o 974
o 973
o 971
o 969
o 968
o 953
1979.645u 0.059s 33:07.78 99.5%	0+0k 0+0io 0pf+0w