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