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_hat1000-2.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/p_hat1000-2.clq.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 109
o 151
o 150
o 149
o 148
o 147
o 146
o 145
o 144
o 143
o 142
c 795 branches 313 propagates
c total generalized unit propagation = 1706, success = 45.37%
s OPTIMUM FOUND
c Optimal Solution = 142
v 1 2 -3 -4 -5 -8 10 12 17 21 -25 -27 -31 -33 -35 -36 -37 40 -11 14 22 -24 18 19 20 23 -26 28 30 32 -34 -38 39 6 7 -15 16 -9 13 -29
0.213u 0.000s 0:00.21 100.0%	0+0k 0+0io 0pf+0w