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-3pb.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/pbo-routing/normalized-s3-3-3-3pb.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 36
o 36
c 241 branches 8886 propagates
c total generalized unit propagation = 887, success = 25.93%
s OPTIMUM FOUND
c Optimal Solution = 36
v -3 -2 -6 5 -10 -9 -8 1 -7 -12 -4 11 -15 -14 -18 17 -22 -21 -20 13 -19 -24 -16 -23 -34 -29 32 27 -33 -28 -36 -31 -26 -35 -30 -25 -41 -46 39 -44 -40 -45 -38 -43 -48 -37 42 -47 50 54 -52 -57 -55 -59 -49 -53 -58 -51 -56 -60 -70 -65 -68 -63 -69 -64 -72 -67 62 -71 -66 -61 -79 -83 -76 -81 74 -78 -75 -80 -84 -73 77 -82 -89 -94 -87 -92 88 93 -86 -91 -96 85 -90 -95 -107 -103 -105 -100 102 98 -108 -104 -99 106 -101 -97 -114 -110 -117 -112 -119 -115 -118 -113 109 -120 -116 111 -127 -131 124 -129 -122 -126 -123 -128 -132 121 -125 -130 134 138 -136 -141 -139 -143 -133 -137 -142 -135 -140 -144 -154 -153 -150 -149 -147 -146 -156 -148 -155 -152 145 -151 161 166 -159 -164 -160 -165 158 -163 -168 -157 -162 -167 -174 -170 -177 -172 -179 -175 -178 -173 169 -180 -176 -171 -191 -187 -189 -184 -186 -182 -192 -188 -183 -190 -185 181 -197 -202 -195 -200 -196 -201 194 -199 -204 -193 -198 -203 -207 -206 -210 -209 -214 -213 -212 205 -211 -216 -208 -215 -226 -225 -222 -221 -219 218 -228 -220 -227 -224 -217 -223 -230 -234 -232 -237 -235 -239 229 -233 -238 -231 -236 -240 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
8.186u 0.029s 0:08.23 99.6%	0+0k 0+0io 0pf+0w