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_n12.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n12.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 679
o 679
o 563
o 524
c 144992 branches 80362 propagates
c total generalized unit propagation = 370317, success = 39.15%
s OPTIMUM FOUND
c Optimal Solution = 524
v 1 2 -12 -3 -13 22 -4 14 -23 31 -5 15 24 -32 39 -6 16 -25 33 -40 -46 7 17 -26 -34 -41 47 52 8 -18 27 35 -42 -48 53 57 9 19 -28 36 43 -49 54 -58 61 -10 -20 29 37 44 50 -55 59 62 -64 11 21 30 38 45 51 56 -60 -63 -65 -66
370.834u 0.006s 6:11.22 99.8%	0+0k 0+0io 0pf+0w