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_ramsey_ram_k3_n10.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n10.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 236
o 236
c first lower bound: 0
o 232
c 32791 branches 139682 propagates
c total generalized unit propagation = 63157, success = 46.76%
s OPTIMUM FOUND
c Optimal Solution = 232
v 1 2 10 3 -11 18 4 12 -19 -25 -5 13 20 26 -31 6 14 -21 27 32 36 -7 -15 -22 28 33 37 40 -8 -16 23 29 34 -38 -41 43 -9 17 24 -30 35 39 -42 44 45
4.841u 0.004s 0:04.94 97.9%	0+0k 0+0io 0pf+0w