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_RAMSEY_ram_k5_n11.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n11.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 0
c 24 branches 31 propagates
c total generalized unit propagation = 55, success = 0.00%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 2 -3 4 -11 -12 -13 20 -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
0.007u 0.001s 0:00.01 0.0%	0+0k 0+0io 0pf+0w