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