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
c first lower bound: 50
o 74
o 70
o 69
o 65
o 64
o 63
c 75 branches 220 propagates
c total generalized unit propagation = 239, success = 21.34%
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.017u 0.000s 0:00.03 33.3%	0+0k 0+0io 0pf+0w