Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_crafted-_home_maxsat_benchmarks_ms_crafted_MAXCUT_DIMACS_MOD_p_hat700-1.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/MAXCUT/DIMACS_MOD/p_hat700-1.clq.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 70
o 69
o 67
o 66
o 64
o 63
c 49 branches 158 propagates
c total generalized unit propagation = 240, success = 13.75%
s OPTIMUM FOUND
c Optimal Solution = 63
v 1 -4 -5 -13 19 -20 -22 -27 31 -32 -34 -35 -39 2 -23 28 -3 10 -21 25 29 7 9 14 16 24 26 30 40 18 -36 -42 -6 -8 -12 41 -15 37 -11 33 38 17
0.016u 0.001s 0:00.01 100.0%	0+0k 0+0io 0pf+0w