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