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
c first lower bound: 621
o 806
o 803
o 798
o 795
o 794
o 793
o 791
o 783
o 778
o 774
o 762
o 760
o 756
o 751
o 749
o 742
o 719
o 711
c 146 branches 463 propagates
c total generalized unit propagation = 396, success = 21.46%
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.131u 0.000s 0:00.15 86.6%	0+0k 0+0io 0pf+0w