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_k5_n15.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_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 -4 -15 -16 -17 28 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.041u 0.011s 0:00.06 83.3%	0+0k 0+0io 0pf+0w