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