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-fat200-1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/c-fat200-1.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/c-fat200-1.clq.wcnf
c Solving...
o 30
o 28
o 27
o 20
o 19
o 18
o 16
o 14
c Answer: 8
v 1 2 -3 4 -5 6 -7 8 9 -10 11 -12 13 -14 15 -16 -17 18 -19 20 -21 22 -23
v -24 25 -26 27 -28 29 -30 31 32 -33 34 -35 36 -37 38 39 -40 0
s OPTIMUM FOUND

c Models        : 1     
c   Enumerated  : 8
c   Optimum     : yes
c Optimization  : 14
c Time          : 0.002s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time      : 0.000s
0.003u 0.001s 0:00.02 0.0%	0+0k 0+0io 0pf+0w