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