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_logistics01c.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/logistics01c.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 70576
o 70576
o 16265
o 10265
o 8865
c 1017472 branches 22153239 propagates
c total generalized unit propagation = 1227, success = 53.87%
s OPTIMUM FOUND
c Optimal Solution = 8865
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 424 -425 -426 -427 428 -429 430 -431 -432 433 -434 435 -436 -437 438 -439 -440 441 -442 -443 444 -445 -446 447 -448 -449 450 -451 -452 453 -454 -455 -456 457 -458 459 -460 461 -462 -463 464 -465 466 -467 468 469 -470 -471 472 -473 474 475 -476 477 -478 -479 480 481 -482 483 -484 485 -486 -487 488 -489 490 492 -493 -495 -496 -498 -499 -501 -502 504 -505 507 -508 -510 -511 -513 -514 -515 517 -518 -519 521 -522 -523 -525 -526 -527 -529 -530 -531 533 -534 -535 -537 -538 -540 -541 -543 -544 -546 -547 -548 550 551 553 554 -556 558 560 -562 -564 -565 -567 -568 -570 -571 -573 -574 576 577 579 580 -581 -583 -584 -585 -587 -588 -589 -591 -592 -593 595 -596 -597 -599 -600 -601 603 -604 -606 -607 609 -610 -612 -613 -614 -616 -617 -619 -620 -622 -623 -625 -626 -628 -630 632 634 -636 -638 -639 -641 -642 -644 -645 -647 -648 650 -651 -653 -654 -655 657 -658 -659 661 -662 -663 665 -666 -668 -669 -671 -672 -673 675 -676 -678 -679 -680 -682 -683 -684 -686 -687 -689 -690 -692 -693 -695 -696 -698 -699 -701 -702 704 -705 707 -708 710 -711 -713 -714 -715 -717 -718 -719 -721 -722 -723 725 -726 -727 729 -730 -731 733 734 -736 -737 -739 -740 -741 743 -744 -746 -747 -748 -750 -751 -752 -754 -755 -757 -758 -760 -761 -763 -764 -766 -767 -769 -770 -772 -774 776 778 780 -782 -783 -785 -786 -788 -789 791 792 794 795 -797 -798 -800 -801 -803 -804 -805 -807 -808 -809 -811 -812 -813 815 -816 -818 -819 -820 -822 -823 -824 -826 -827 -829 -830 -832 -833 -835 -836 -838 -839 841 -842 844 846 848 -850 -852 -854 -855 -857 -858 -860 -861 -863 -864 -866 -867 869 -870 872 -873 875 -876 -878 -879 -881 -882 -884 -885 -887 -888 -890 -891 -893 -894 -896 -897 899 -900 -902 -903 905 906 908 -909 911 -912 914 -915 917 918 920 -921 923 -924 -926 -927 -929 -930 -932 -933 -935 -936 -938 -939 -941 -942 -944 -945 947 -948 -950 -952 954 956 958 -960 962 964 -966 -968 970 -972 -974 -976 978 980 491 494 497 500 503 506 509 512 516 520 524 528 532 536 539 542 545 549 552 555 557 559 561 563 566 569 572 575 578 582 586 590 594 598 602 605 608 611 615 618 621 624 627 629 631 633 635 637 640 643 646 649 652 656 660 664 667 670 674 677 681 685 688 691 694 697 700 703 706 709 712 716 720 724 728 732 735 738 742 745 749 753 756 759 762 765 768 771 773 775 777 779 781 784 787 790 793 796 799 802 806 810 814 817 821 825 828 831 834 837 840 843 845 847 849 851 853 856 859 862 865 868 871 874 877 880 883 886 889 892 895 898 901 904 907 910 913 916 919 922 925 928 931 934 937 940 943 946 949 951 953 955 957 959 961 963 965 967 969 971 973 975 977 979
50.508u 0.024s 0:50.85 99.3%	0+0k 0+0io 0pf+0w