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_k4_n13.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n13.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1409
o 1270
o 776
o 494
o 377
o 0
c 91 branches 132 propagates
c total generalized unit propagation = 223, success = 0.00%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 2 3 13 14 -24 -4 15 -25 34 5 -16 -26 35 43 -6 -17 -27 -36 44 -51 7 -18 28 37 45 -52 58 -8 19 29 38 -46 53 59 64 9 -20 30 -39 -47 54 -60 -65 69 -10 21 31 -40 48 -55 -61 -66 -70 73 11 22 -32 -41 -49 56 62 -67 71 -74 76 -12 -23 -33 -42 50 57 63 -68 -72 75 77 78
0.020u 0.000s 0:00.02 100.0%	0+0k 0+0io 0pf+0w