Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_WMAXCUT_DIMACS_MOD_p_hat300-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/p_hat300-2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 761
o 754
o 753
o 748
o 739
o 731
o 729
o 727
o 714
o 711
c 110 branches 250 propagates
c total generalized unit propagation = 442, success = 18.55%
s OPTIMUM FOUND
c Optimal Solution = 711
v -1 5 7 -9 -13 22 26 28 -29 31 34 -35 -2 -6 33 40 41 3 -10 -25 -32 -36 -4 12 15 16 -19 21 27 -39 8 -11 -14 -18 24 -30 20 42 -23 -38 -43 37 -17
0.169u 0.001s 0:00.17 94.1%	0+0k 0+0io 0pf+0w