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