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_n11.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n11.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 334
o 334
c first lower bound: 0
o 318
c 119491 branches 451112 propagates
c total generalized unit propagation = 233801, success = 47.89%
s OPTIMUM FOUND
c Optimal Solution = 318
v -1 -2 11 3 12 20 -4 -13 21 28 5 -14 22 -29 35 6 -15 -23 -30 36 41 7 16 -24 31 37 -42 46 8 17 -25 -32 -38 -43 47 50 9 18 26 33 -39 44 -48 -51 53 -10 19 27 -34 40 -45 49 -52 54 -55
33.831u 0.006s 0:33.87 99.8%	0+0k 0+0io 0pf+0w