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_hat500-2.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/p_hat500-2.clq.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 133
o 199
o 198
o 197
o 195
o 194
o 191
o 188
o 186
o 185
o 184
o 183
o 182
o 181
o 179
o 178
o 176
c 1230 branches 461 propagates
c total generalized unit propagation = 2636, success = 45.14%
s OPTIMUM FOUND
c Optimal Solution = 176
v 1 -2 -4 -5 6 8 -11 12 -14 15 -16 -17 -18 20 24 -25 -30 -32 -33 34 -35 -36 -37 38 -39 40 41 -22 27 -28 31 -3 9 -26 -7 10 13 21 23 -29 42 -19
0.415u 0.003s 0:00.43 95.3%	0+0k 0+0io 0pf+0w