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-1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/p_hat300-1.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 212
o 290
o 288
o 283
o 281
o 269
o 262
o 253
o 245
o 243
c 50 branches 135 propagates
c total generalized unit propagation = 139, success = 15.83%
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.020u 0.000s 0:00.02 100.0%	0+0k 0+0io 0pf+0w