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_c-fat500-10.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/c-fat500-10.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...maxcut/dimacs_mod/c-fat500-10.clq.wcnf
c Solving...
o 2356
o 1169
o 1036
o 1034
o 1033
o 1031
o 1027
o 1023
o 1018
o 1016
o 1012
o 1004
o 1002
o 1001
o 994
o 990
o 989
o 987
1979.661u 0.040s 33:09.38 99.5%	0+0k 0+0io 0pf+0w