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_n20.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n20.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 20 -21 -22 38 39 55 5 23 -40 -56 71 6 -24 -41 57 72 -86 7 -25 42 -58 -73 87 -100 -8 26 -43 -59 -74 -88 101 -113 9 27 44 -60 -75 89 -102 -114 125 -10 28 -45 61 76 -90 -103 -115 -126 136 11 -29 46 -62 77 91 104 -116 127 -137 -146 -12 -30 47 63 -78 92 -105 -117 128 -138 -147 -155 -13 31 -48 -64 79 -93 -106 -118 -129 -139 148 156 163 14 -32 -49 65 -80 -94 -107 119 -130 -140 149 157 164 170 -15 -33 50 -66 -81 95 108 -120 -131 141 150 158 165 171 -176 -16 -34 -51 -67 82 -96 109 121 132 142 -151 -159 166 -172 177 181 -17 35 52 -68 -83 -97 -110 122 133 -143 -152 160 -167 173 -178 -182 185 -18 36 53 -69 84 98 111 123 -134 -144 153 -161 -168 -174 -179 183 -186 -188 -19 -37 54 -70 85 99 -112 124 -135 145 -154 -162 169 175 -180 -184 187 -189 -190
0.209u 0.026s 0:00.24 91.6%	0+0k 0+0io 0pf+0w