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