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
o 158
o 157
o 154
o 153
o 152
o 146
o 145
o 144
o 142
c 634 branches 209 propagates
c total generalized unit propagation = 1441, success = 41.50%
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.230u 0.000s 0:00.23 100.0%	0+0k 0+0io 0pf+0w