Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-fir_normalized-fir02_area_delay.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-fir02_area_delay.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 12
o 12
c first lower bound: 6
o 11
o 10
o 9
o 8
c 28004 branches 158841 propagates
c total generalized unit propagation = 67852, success = 40.92%
s OPTIMUM FOUND
c Optimal Solution = 8
v 85 -87 -89 -91 -93 -95 -97 -99 -101 -103 -105 -107 -109 -111 -113 -115 -117 -119 -121 -123 -125 -127 -129 -131 -132 -134 -136 -138 -140 -142 -144 -146 -148 -150 -152 -153 -155 -157 -159 -161 -163 -165 -167 -169 -171 -173 -175 -177 -179 -181 -183 -185 -187 -189 -191 -193 -195 -196 -198 -200 -202 -204 -206 -208 -210 -212 -213 -215 -217 -219 -221 -223 -225 -227 -229 -231 -233 -235 -237 -239 -241 -243 -245 -247 -249 -251 -253 -255 -257 -259 -261 -263 -265 -267 -269 -271 -273 275 -277 -279 -281 -283 -285 -287 -289 -291 -293 -295 -297 -299 -301 -303 -305 -307 -309 -311 -313 -315 -317 -319 -321 -323 -325 -327 -329 -331 -333 -335 -337 -339 -341 -343 -345 -347 -349 -351 -353 -355 -357 -358 -360 -362 -364 -366 -368 -370 -372 -374 -376 -378 -380 -382 -384 -386 -388 -390 -392 -394 -396 -398 -400 -402 403 -405 -407 -409 -411 -413 414 -416 -418 -420 -422 -423 -425 -427 -429 -431 432 -434 -436 -438 -440 -442 -444 -446 448 -450 -452 -454 -456 -458 -460 -462 -463 -465 -467 468 -470 -472 -474 -476 -478 -480 -482 -484 -485 -487 -489 -491 -493 -495 -497 -499 -501 -503 -505 -507 -508 -510 -512 -514 -516 -518 -520 -522 -524 -526 -528 -530 -532 -534 -536 -538 -540 -542 -544 -546 -548 -550 -552 -553 -555 -557 -559 -561 -563 -565 -567 -569 -571 -573 -574 -576 -578 -580 -582 -583 -584 -586 -588 -590 -592 -593 -594 -595 -597 -598 -600 -602 -604 -606 -608 -610 -612 -614 -616 -618 -620 -622 -623 -625 -627 -629 -630 -632 -634 -636 -637 638 -640 -642 -644 -646 -648 -650 -652 -654 -656 -658 -660 -662 -664 -666 -668 -670 -672 -674 -676 -678 -679 -681 -683 -685 -687 -689 -690 -692 -694 -696 -698 -700 -702 -704 -705 -707 -709 -711 -713 -714 -716 84 -86 -88 -90 -92 -94 -96 -98 -100 -102 -104 -106 -108 -110 -112 -114 -116 -118 -120 -122 -124 -126 -128 -130 -133 -135 -137 -139 -141 -143 -145 -1 -147 -149 -151 -154 -156 -158 -160 -162 -164 -166 -168 -170 -172 -174 -2 -176 -178 -180 -182 -184 -186 -188 -190 -192 -194 -197 -199 -201 -3 -203 -205 -207 -209 -211 -214 -4 -216 -218 -220 -222 -224 -226 -228 -230 -232 -234 -236 -238 -240 -5 -242 -244 -246 -248 -250 -252 -254 -256 -258 -260 -262 -264 -266 -268 -270 -272 274 -276 -278 -280 -282 -284 -286 -288 -290 -292 -294 -296 -298 -300 -302 -304 -306 -308 -310 -312 -6 -314 -316 -318 -320 -322 -324 -326 -328 -330 -332 -334 -336 -338 -340 -342 -7 -344 -346 -348 -350 -352 -354 -356 -359 -361 -363 -365 -8 -367 -369 -371 -373 -375 -377 -9 -379 -381 -383 -385 -387 -389 -391 -393 -395 -397 10 -399 -401 -404 -406 11 -408 -410 -412 -415 -417 -419 -12 -421 -424 -426 -428 13 -430 -433 14 -435 -437 -439 -441 -443 -445 447 -449 -451 -15 -453 -455 -457 -459 -16 -461 -464 17 -466 -469 -471 -473 -475 -477 -479 -481 -483 -486 -488 -490 -492 -494 -496 -498 -500 -502 -504 -506 -509 -511 -513 -515 -517 -519 -521 -523 -525 -18 -527 -529 -531 -533 -535 -537 -539 -541 -543 -545 -19 -547 -549 -551 -554 -556 -558 -560 -562 -564 -566 -568 -20 -570 -572 -21 -575 -577 -579 -581 -585 -587 -589 -22 -591 23 -24 -596 -25 -599 -601 -603 -605 -607 -609 -611 -613 -615 -617 -619 -26 -621 -27 -28 -624 -626 -29 -628 -631 -633 -635 -30 -31 -32 -33 34 35 36 -37 -639 -641 -643 -645 -647 -38 -649 -651 -653 -39 -655 -657 -659 -661 -663 -665 -667 -669 40 41 42 -43 44 -671 -45 -673 -675 -46 -677 -47 -680 -682 -684 -686 -688 -48 49 -50 -51 -691 -693 -52 -53 -54 55 56 57 -58 -695 -697 -699 -701 -703 -59 60 61 62 -706 -708 -710 -712 -63 64 65 -66 67 -68 69 70 71 -72 73 -74 -715 -75 76 77 78 -79 80 81 82 83
53.259u 0.020s 0:53.35 99.8%	0+0k 0+0io 0pf+0w