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_pbo-routing_normalized-s3-3-3-1pb.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/pbo-routing/normalized-s3-3-3-1pb.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 217
o 217
c first lower bound: 34
o 36
c 5433 branches 161122 propagates
c total generalized unit propagation = 15836, success = 34.15%
s OPTIMUM FOUND
c Optimal Solution = 36
v 10 -9 -6 -5 -3 -2 -12 4 -11 -8 1 -7 -22 -17 -20 -15 -21 -16 -24 -19 14 -23 -18 -13 -32 -31 -28 -27 30 -29 -36 -26 -34 -35 25 -33 38 42 -40 -45 -43 -47 -37 -41 -46 -39 -44 -48 -58 53 -56 -51 -57 -52 -60 -55 50 -59 -54 -49 -66 -62 -69 -64 -71 -67 -70 -65 61 -72 -68 63 -83 -79 -81 76 -78 -74 -84 -80 -75 -82 -77 73 94 -93 -90 89 -87 86 -96 88 -95 -92 -85 91 -101 -106 -99 -104 100 105 -98 -103 -108 97 -102 -107 -114 110 117 -112 -119 -115 -118 113 -109 -120 -116 -111 -125 -130 123 128 -124 -129 -122 -127 -132 -121 -126 -131 -137 -142 135 -140 -136 -141 -134 -139 -144 -133 -138 -143 -152 -151 -148 -147 -150 -149 -156 -146 -154 -155 145 -153 -167 -163 -165 -160 162 158 -168 -164 -159 -166 -161 -157 -170 -174 -172 -177 -175 -179 169 -173 -178 -171 -176 -180 -187 -191 -184 -189 -182 -186 183 -188 -192 181 -185 -190 -197 -202 -195 -200 -196 -201 -194 -199 -204 193 -198 -203 -209 -214 -207 -212 -208 -213 206 -211 -216 -205 -210 -215 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 348 407 466 525 584 643 702 761 820 879 938 -217 -305 304 303 -308 307 306 -302 -311 -310 309 -301 -314 -313 312 -300 -317 -316 315 299 -320 -319 -318 298 -323 -322 -321 297 -326 -325 -324 296 -329 -328 -327 295 -332 -331 -330 294 -335 -334 -333 293 -338 -337 -336 292 -341 -340 -339 291 -344 -343 -342 290 -347 -346 -345 364 363 362 367 -366 -365 -361 370 369 368 -360 -373 -372 371 -359 -376 -375 374 -358 -379 -378 377 -357 -382 -381 380 356 -385 -384 -383 355 -388 -387 -386 354 -391 -390 -389 353 -394 -393 -392 352 -397 -396 -395 351 -400 -399 -398 350 -403 -402 -401 349 -406 -405 -404 -423 422 -421 426 425 -424 420 429 428 -427 419 432 431 -430 418 435 434 -433 417 438 437 -436 416 441 -440 -439 -415 444 -443 -442 -414 447 446 445 413 -450 -449 -448 412 -453 -452 -451 411 -456 -455 -454 410 -459 -458 -457 409 -462 -461 -460 408 -465 -464 -463 -482 -481 -480 485 484 483 479 488 487 486 478 491 490 -489 -477 494 493 492 -476 497 496 495 -475 -500 -499 498 -474 -503 -502 501 473 -506 -505 -504 472 -509 -508 -507 471 -512 -511 -510 470 -515 -514 -513 469 -518 -517 -516 468 -521 -520 -519 467 -524 -523 -522 -541 -540 -539 544 543 542 538 -547 546 545 537 -550 549 548 536 -553 552 551 535 -556 555 554 534 -559 558 557 533 -562 -561 560 532 -565 -564 563 531 -568 -567 566 530 -571 -570 569 529 -574 -573 -572 528 -577 -576 -575 527 -580 -579 -578 526 -583 -582 -581 600 599 598 603 -602 -601 -597 606 -605 -604 -596 609 -608 -607 -595 612 -611 -610 -594 615 -614 -613 -593 618 617 616 -592 -621 -620 619 -591 -624 -623 622 -590 -627 -626 625 -589 -630 -629 628 588 -633 -632 -631 587 -636 -635 -634 586 -639 -638 -637 585 -642 -641 -640 -659 -658 -657 662 661 660 656 665 664 663 655 668 667 666 654 671 -670 669 653 674 -673 672 652 677 -676 675 651 680 -679 -678 650 683 -682 -681 649 686 -685 -684 648 689 -688 -687 647 692 -691 -690 -646 695 -694 -693 -645 698 697 696 -644 -701 -700 699 -718 -717 -716 -721 720 719 715 -724 723 722 714 -727 726 725 713 -730 729 -728 -712 -733 732 731 -711 -736 -735 734 710 -739 -738 -737 709 -742 -741 -740 708 -745 -744 -743 707 -748 -747 -746 706 -751 -750 -749 705 -754 -753 -752 704 -757 -756 -755 703 -760 -759 -758 -777 776 775 -780 779 -778 -774 -783 782 781 773 -786 -785 -784 772 -789 -788 -787 771 -792 -791 -790 770 -795 -794 -793 769 -798 -797 -796 768 -801 -800 -799 767 -804 -803 -802 766 -807 -806 -805 765 -810 -809 -808 764 -813 -812 -811 763 -816 -815 -814 762 -819 -818 -817 -836 -835 -834 839 838 837 833 842 841 840 832 845 844 843 831 848 847 846 830 851 850 849 829 854 853 852 828 857 856 855 -827 -860 859 858 -826 -863 862 861 -825 -866 865 -864 -824 -869 868 -867 -823 -872 871 -870 -822 -875 874 873 821 -878 -877 -876 -895 -894 -893 -898 -897 896 892 -901 -900 899 891 -904 -903 902 890 -907 -906 905 889 -910 -909 908 888 -913 -912 911 887 -916 -915 914 886 -919 -918 917 885 -922 -921 920 884 -925 -924 -923 883 -928 -927 -926 882 -931 -930 -929 881 -934 -933 -932 880 -937 -936 -935 954 953 952 957 -956 -955 -951 960 -959 -958 -950 963 -962 -961 -949 966 965 964 948 -969 -968 -967 947 -972 -971 -970 946 -975 -974 -973 945 -978 -977 -976 944 -981 -980 -979 943 -984 -983 -982 942 -987 -986 -985 941 -990 -989 -988 940 -993 -992 -991 939 -996 -995 -994
208.610u 0.034s 3:28.71 99.9%	0+0k 0+0io 0pf+0w