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_k4_n15.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n15.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 0
o 0
c 0 branches 0 propagates
c total generalized unit propagation = 0, success = nan%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 2 -3 -15 -16 -28 -4 17 29 40 -5 -18 30 -41 -51 -6 -19 31 -42 52 61 -7 -20 32 43 -53 62 -70 8 21 -33 -44 54 63 -71 -78 -9 22 -34 45 55 -64 72 79 -85 -10 23 -35 -46 -56 65 73 80 86 91 11 -24 -36 47 -57 -66 74 -81 87 -92 96 -12 -25 -37 48 58 67 -75 82 88 -93 -97 100 13 26 38 -49 -59 -68 76 -83 -89 94 -98 101 -103 14 27 39 50 60 -69 -77 84 -90 -95 99 102 -104 -105
0.022u 0.010s 0:00.05 60.0%	0+0k 0+0io 0pf+0w