Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_WMAXCUT_DIMACS_MOD_c-fat500-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/c-fat500-2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 108
o 107
o 104
o 103
o 102
o 101
o 98
o 97
c 43 branches 76 propagates
c total generalized unit propagation = 120, success = 0.83%
s OPTIMUM FOUND
c Optimal Solution = 97
v 1 -11 21 -31 -41 -2 12 -22 32 -42 -3 -13 23 33 4 14 -24 -34 5 -15 -25 35 -6 16 -26 36 -7 -17 27 37 8 -18 -28 38 9 -19 29 -39 -10 -20 30 40
0.002u 0.000s 0:00.00 0.0%	0+0k 0+0io 0pf+0w