Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_min3sat_c70v350l3_clq1-c2mv70c350l3g29.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min3sat/c70v350l3/clq1-c2mv70c350l3g29.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 60
o 60
c first lower bound: 20
o 59
o 58
o 57
o 56
o 55
c 287885 branches 5629189 propagates
c total generalized unit propagation = 578791, success = 49.72%
s OPTIMUM FOUND
c Optimal Solution = 55
v -153 195 -267 -75 349 81 -340 35 -101 185 -208 -58 231 -179 318 -15 -60 323 -41 46 -87 116 -332 -79 234 -310 -237 322 12 -249 -45 -104 -51 106 162 -326 -24 180 -188 193 -335 -286 -321 266 -311 -331 -11 -25 -148 -22 -89 163 63 -247 -250 -82 105 -131 -217 -7 142 -336 -68 145 -330 -99 -171 -38 -111 197 108 -218 -83 -187 302 -34 -260 271 -31 -59 273 88 -246 -345 -39 -341 -28 146 -30 159 -18 -164 259 -167 -261 -127 169 -245 78 -170 -264 181 -350 191 -244 -114 203 -200 -226 -253 -161 287 -95 -291 6 -292 298 -300 -21 129 263 -327 -342 -54 -85 -91 -1 -5 182 -53 -219 -130 285 -13 84 -227 -70 284 -67 94 -150 -174 -315 232 -257 -299 268 -295 -348 290 -312 -102 -136 235 316 -347 -124 140 -86 -166 -293 -135 -220 -334 -196 255 -183 198 -301 -149 201 -309 20 -56 93 -317 -138 305 156 -303 -155 282 -33 -223 -283 -14 -212 64 -74 -168 173 -236 -243 -278 -16 -47 265 -4 -112 -222 307 -248 337 -141 -144 -157 -36 -205 -319 -189 229 -42 -190 -62 -339 57 -96 176 -272 -73 -214 -221 338 -175 -254 -314 -61 -165 -2 -172 -8 262 -118 275 -92 -137 -328 -194 289 -50 80 -209 -178 -241 -242 17 -100 -333 122 -288 -107 184 9 -324 -71 -192 -230 -32 -65 215 -43 216 -202 -320 -346 143 -158 -279 -238 -296 -123 199 -204 -256 -26 110 -120 23 -134 -206 258 -274 -304 121 -152 276 -297 37 -313 -119 343 -44 -294 -3 77 -97 115 -128 -269 -48 -49 -139 308 -10 -211 -76 213 109 -132 -277 -98 160 -117 224 -52 -252 -66 -329 -29 -306 -103 -177 -210 -228 -55 -233 -90 -240 -27 -344 -40 -125 -151 -19 -186 -72 -147 -281 -239 -207 -325 -251 -270 -113 -133 -69 -154 -225 -126 -280
438.537u 0.025s 7:21.07 99.4%	0+0k 0+0io 1pf+0w