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