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
o 232
c 18016 branches 14803 propagates
c total generalized unit propagation = 50832, success = 35.44%
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
9.548u 0.008s 0:09.64 98.9%	0+0k 0+0io 0pf+0w