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_n13.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n13.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 0
c 36 branches 42 propagates
c total generalized unit propagation = 78, success = 0.00%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 2 -3 4 13 14 -15 -24 -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.024u 0.000s 0:00.02 100.0%	0+0k 0+0io 0pf+0w