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