Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_p_hat300-1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/p_hat300-1.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 243
o 243
c first lower bound: 212
c 22 branches 10 propagates
c total generalized unit propagation = 52, success = 44.23%
s OPTIMUM FOUND
c Optimal Solution = 243
v -1 5 28 29 34 2 -6 -33 40 -3 10 26 -35 -36 -41 -4 9 -12 15 -25 -39 7 -18 19 20 22 -24 27 31 42 -13 -30 -38 -43 -8 32 -11 37 14 16 -17 -21 -23
0.077u 0.005s 0:00.08 87.5%	0+0k 0+0io 0pf+0w