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_n16.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n16.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 -16 -17 -18 -30 31 -43 5 -19 -32 44 55 6 20 33 45 -56 -66 -7 -21 -34 46 57 -67 76 8 22 35 47 -58 -68 77 -85 9 23 36 -48 -59 -69 -78 86 -93 10 -24 -37 -49 60 -70 79 87 -94 -100 11 -25 38 50 61 71 -80 88 95 101 -106 -12 26 39 -51 -62 72 -81 89 -96 -102 -107 111 -13 27 -40 52 63 -73 82 -90 -97 -103 108 -112 -115 14 28 -41 53 -64 -74 -83 91 98 104 109 -113 -116 -118 -15 29 42 54 65 -75 -84 92 99 -105 -110 -114 117 119 -120
0.058u 0.010s 0:00.07 85.7%	0+0k 0+0io 0pf+0w