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_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/akmaxsat
c first lower bound: 34
o 36
c 15796 branches 484385 propagates
c total generalized unit propagation = 44535, success = 35.33%
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
576.369u 0.027s 9:37.03 99.8%	0+0k 0+0io 0pf+0w