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