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_zenotravel02bc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/zenotravel02bc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 89861
o 89861
o 2735
o 2435
o 2335
c 188 branches 11426 propagates
c total generalized unit propagation = 1103, success = 11.70%
s OPTIMUM FOUND
c Optimal Solution = 2335
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.509u 0.028s 0:07.59 99.0%	0+0k 0+0io 0pf+0w