Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_140_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0004.txt.wcnf *** c c Min unsat cost LB: 858 ... c Min unsat cost LB: 1422 ... c Min unsat cost LB: 1467 ... c Min unsat cost LB: 1699 ... c Min unsat cost LB: 2486 ... c Min unsat cost LB: 3219 ... c Min unsat cost LB: 4239 ... c Min unsat cost LB: 5204 ... c Min unsat cost LB: 5481 ... c Min unsat cost LB: 6299 ... c Min unsat cost LB: 6344 ... c Min unsat cost LB: 6597 ... c Min unsat cost LB: 7112 ... c Min unsat cost LB: 7400 ... c Min unsat cost LB: 7688 ... c Min unsat cost LB: 7890 ... c Min unsat cost LB: 7976 ... c Min unsat cost LB: 8794 ... c Min unsat cost LB: 8953 ... c Min unsat cost LB: 9426 ... c Min unsat cost LB: 9899 ... c Min unsat cost LB: 9960 ... c Min unsat cost LB: 10433 ... c Min unsat cost LB: 11453 ... c Min unsat cost LB: 11691 ... c Min unsat cost LB: 11755 ... c Min unsat cost LB: 11800 ... c Min unsat cost LB: 12281 ... c Min unsat cost LB: 12826 ... c Min unsat cost LB: 13798 ... c Min unsat cost LB: 14509 ... c Min unsat cost LB: 15220 ... c Min unsat cost LB: 15377 ... c Min unsat cost LB: 15631 ... c Min unsat cost LB: 15922 ... c Min unsat cost LB: 16421 ... c Min unsat cost LB: 17438 ... c Min unsat cost LB: 18149 ... c Min unsat cost LB: 18387 ... c Min unsat cost LB: 18902 ... c Min unsat cost LB: 19421 ... c Min unsat cost LB: 19584 ... c Min unsat cost LB: 20438 ... c Min unsat cost LB: 20735 ... c Min unsat cost LB: 21446 ... c Min unsat cost LB: 21769 ... c Min unsat cost LB: 21813 ... c Min unsat cost LB: 21982 ... c Min unsat cost LB: 22462 ... c Min unsat cost LB: 22994 ... c Min unsat cost LB: 23711 ... c Min unsat cost LB: 24010 ... c Min unsat cost LB: 24160 ... c Min unsat cost LB: 24389 ... c Min unsat cost LB: 25221 ... c Min unsat cost LB: 25388 ... c Min unsat cost LB: 26406 ... c Min unsat cost LB: 27238 ... c Min unsat cost LB: 27435 ... c Min unsat cost LB: 27602 ... c Min unsat cost LB: 28434 ... c Min unsat cost LB: 28751 ... c Min unsat cost LB: 28767 ... c Min unsat cost LB: 29055 ... c Min unsat cost LB: 29100 ... c Min unsat cost LB: 29138 ... c Min unsat cost LB: 29984 ... c Min unsat cost LB: 30673 ... c Min unsat cost LB: 31356 ... c Min unsat cost LB: 32171 ... c Min unsat cost LB: 32258 ... c Min unsat cost LB: 33230 ... c Min unsat cost LB: 33387 ... c Min unsat cost LB: 34358 ... c Min unsat cost LB: 34811 ... c Min unsat cost LB: 35828 ... c Min unsat cost LB: 36799 ... c Min unsat cost LB: 37099 ... c Min unsat cost LB: 37552 ... c Min unsat cost LB: 37700 ... c Min unsat cost LB: 38270 ... c Min unsat cost LB: 38502 ... c Min unsat cost LB: 39242 ... c Min unsat cost LB: 39444 ... c Min unsat cost LB: 39595 ... c Min unsat cost LB: 40064 ... c Min unsat cost LB: 40231 ... c Min unsat cost LB: 40439 ... c Min unsat cost LB: 40659 ... c Min unsat cost LB: 41087 ... c Min unsat cost LB: 41758 ... c Min unsat cost LB: 42223 ... c Min unsat cost LB: 42935 ... c Min unsat cost LB: 43742 ... c Min unsat cost LB: 44332 ... c Min unsat cost LB: 44727 ... c Min unsat cost LB: 45583 ... c Min unsat cost LB: 45811 ... c Min unsat cost LB: 46486 ... c Min unsat cost LB: 46842 ... c Min unsat cost LB: 47445 ... c Min unsat cost LB: 47562 ... c Min unsat cost LB: 48394 ... c Min unsat cost LB: 48533 ... c Min unsat cost LB: 49078 ... c Min unsat cost LB: 49365 ... c Min unsat cost LB: 49666 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 50724 ... c Min unsat cost LB: 50788 ... c Min unsat cost LB: 51620 ... c Min unsat cost LB: 51864 ... c Min unsat cost LB: 51899 ... c Min unsat cost LB: 52061 ... c Min unsat cost LB: 52166 ... c Min unsat cost LB: 52570 ... c Min unsat cost LB: 52575 ... c Min unsat cost LB: 52863 ... c Min unsat cost LB: 52908 ... c Min unsat cost LB: 53207 ... c Min unsat cost LB: 53219 ... c Min unsat cost LB: 53451 ... c Min unsat cost LB: 53589 ... c Min unsat cost LB: 53598 ... c Min unsat cost LB: 53601 ... c Min unsat cost LB: 53716 ... c Min unsat cost LB: 54051 ... c Min unsat cost LB: 54095 ... c Min unsat cost LB: 54104 ... c Min unsat cost LB: 54149 ... c Min unsat cost LB: 54293 ... c Min unsat cost LB: 54461 ... c Min unsat cost LB: 54639 ... c Min unsat cost LB: 54798 ... c Min unsat cost LB: 54808 ... c Min unsat cost LB: 55711 ... c Min unsat cost LB: 55904 ... c Min unsat cost LB: 55951 ... c Min unsat cost LB: 56574 ... c Min unsat cost LB: 56605 ... c Min unsat cost LB: 56940 ... c Min unsat cost LB: 57387 ... c Min unsat cost LB: 58345 ... c Min unsat cost LB: 58552 ... c Min unsat cost LB: 58589 ... c Min unsat cost LB: 58797 ... c Min unsat cost LB: 58938 ... c Min unsat cost LB: 58950 ... c Min unsat cost LB: 59043 ... c Min unsat cost LB: 59182 ... c Min unsat cost LB: 59337 ... c Min unsat cost LB: 59483 ... c Min unsat cost LB: 59542 ... c Min unsat cost LB: 59562 ... c Min unsat cost LB: 59609 ... c Min unsat cost LB: 59659 ... c Min unsat cost LB: 59704 ... c Min unsat cost LB: 59748 ... c Min unsat cost LB: 59865 ... c Min unsat cost LB: 59881 ... c Min unsat cost LB: 59912 ... c Min unsat cost LB: 60239 ... c Min unsat cost LB: 60351 ... c Min unsat cost LB: 60380 ... c Min unsat cost LB: 60443 ... c Min unsat cost LB: 60610 ... c Min unsat cost LB: 60655 ... c Min unsat cost LB: 60665 ... c Min unsat cost LB: 60670 ... c Min unsat cost LB: 60749 ... c Min unsat cost LB: 60789 ... c Min unsat cost LB: 60865 ... c Min unsat cost LB: 60931 ... c Min unsat cost LB: 60968 ... c Min unsat cost LB: 60981 ... c Min unsat cost LB: 61037 ... c Min unsat cost LB: 61084 ... c Min unsat cost LB: 61162 ... c Min unsat cost LB: 61175 ... c Min unsat cost LB: 61236 ... c Min unsat cost LB: 61311 ... c Min unsat cost LB: 61420 ... c Min unsat cost LB: 61504 ... c Min unsat cost LB: 61588 ... c Min unsat cost LB: 61609 ... c Min unsat cost LB: 61643 ... c Min unsat cost LB: 61664 ... c Min unsat cost LB: 61682 ... c Min unsat cost LB: 61858 ... c Min unsat cost LB: 62105 ... c Min unsat cost LB: 62122 ... c Min unsat cost LB: 62160 ... c Min unsat cost LB: 62186 ... c Min unsat cost LB: 62418 ... c Min unsat cost LB: 62431 ... c Min unsat cost LB: 62595 ... c Min unsat cost LB: 62627 ... c Min unsat cost LB: 62644 ... c Min unsat cost LB: 62725 ... c Min unsat cost LB: 62730 ... c Min unsat cost LB: 62750 ... c Min unsat cost LB: 62753 ... c Min unsat cost LB: 62955 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63081 ... c Min unsat cost LB: 63298 ... c Min unsat cost LB: 63313 ... c Min unsat cost LB: 63385 ... c Min unsat cost LB: 63485 ... c Min unsat cost LB: 63545 ... c Min unsat cost LB: 63726 ... c Min unsat cost LB: 63851 ... c Min unsat cost LB: 63864 ... c Min unsat cost LB: 63949 ... c Min unsat cost LB: 63998 ... c Min unsat cost LB: 64235 ... c Min unsat cost LB: 64455 ... c Min unsat cost LB: 64488 ... c Min unsat cost LB: 64515 ... c Min unsat cost LB: 64531 ... c Min unsat cost LB: 64643 ... c Min unsat cost LB: 64652 ... c Min unsat cost LB: 64663 ... c Min unsat cost LB: 64694 ... c Min unsat cost LB: 64702 ... c Min unsat cost LB: 64734 ... c Min unsat cost LB: 64746 ... c Min unsat cost LB: 64846 ... c Min unsat cost LB: 64884 ... c Min unsat cost LB: 65005 ... c Min unsat cost LB: 65226 ... c Min unsat cost LB: 65420 ... c Min unsat cost LB: 65427 ... c Min unsat cost LB: 65487 ... c Min unsat cost LB: 65496 ... c Min unsat cost LB: 65557 ... c Min unsat cost LB: 65597 ... c Min unsat cost LB: 65754 ... c Min unsat cost LB: 65791 ... c Min unsat cost LB: 65828 ... c Min unsat cost LB: 65945 ... c Min unsat cost LB: 65983 ... c Min unsat cost LB: 66001 ... c Min unsat cost LB: 66010 ... c Min unsat cost LB: 66016 ... c Min unsat cost LB: 66055 ... c Min unsat cost LB: 66141 ... c Min unsat cost LB: 66391 ... c Min unsat cost LB: 66408 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66594 ... c Min unsat cost LB: 66658 ... c Min unsat cost LB: 66777 ... c Min unsat cost LB: 66780 ... c Min unsat cost LB: 66818 ... c Min unsat cost LB: 67016 ... c Min unsat cost LB: 67262 ... c Min unsat cost LB: 67263 ... c Min unsat cost LB: 67349 ... c Min unsat cost LB: 67403 ... c Min unsat cost LB: 67411 ... c Min unsat cost LB: 67448 ... c Min unsat cost LB: 67451 ... c Min unsat cost LB: 67597 ... c Min unsat cost LB: 67610 ... c Min unsat cost LB: 67641 ... c Min unsat cost LB: 67849 ... c Min unsat cost LB: 67884 ... c Min unsat cost LB: 67964 ... c Min unsat cost LB: 68045 ... c Min unsat cost LB: 68048 ... c Min unsat cost LB: 68065 ... c Min unsat cost LB: 68081 ... c Min unsat cost LB: 68094 ... c Min unsat cost LB: 68132 ... c Min unsat cost LB: 68143 ... c Min unsat cost LB: 68161 ... c Min unsat cost LB: 68180 ... c Min unsat cost LB: 68224 ... c Min unsat cost LB: 68261 ... c Min unsat cost LB: 68273 ... c Min unsat cost LB: 68298 ... c Min unsat cost LB: 68378 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68515 ... c Min unsat cost LB: 68540 ... c Min unsat cost LB: 68542 ... c Min unsat cost LB: 68553 ... c Min unsat cost LB: 68582 ... c Min unsat cost LB: 68584 ... c Min unsat cost LB: 68619 ... c Min unsat cost LB: 68621 ... c Min unsat cost LB: 68634 ... c Min unsat cost LB: 68670 ... c Min unsat cost LB: 68672 ... c Min unsat cost LB: 68682 ... c Min unsat cost LB: 68687 ... c Min unsat cost LB: 68693 ... c Min unsat cost LB: 68696 ... c Min unsat cost LB: 68701 ... c Min unsat cost LB: 68703 ... c Min unsat cost LB: 68713 ... c Min unsat cost LB: 68741 ... c Min unsat cost LB: 68763 ... c Min unsat cost LB: 68769 ... c Min unsat cost LB: 68793 ... c Min unsat cost LB: 68803 ... c Min unsat cost LB: 68813 ... c Min unsat cost LB: 68818 ... c Min unsat cost LB: 68821 ... c Min unsat cost LB: 68823 ... c Min unsat cost LB: 68830 ... c Min unsat cost LB: 68833 ... c Min unsat cost LB: 68838 ... c Min unsat cost LB: 68841 ... c Min unsat cost LB: 68844 ... c Min unsat cost LB: 68845 ... c Min unsat cost LB: 68850 ... c Min unsat cost LB: 68860 ... c Min unsat cost LB: 68875 ... c Min unsat cost LB: 68878 ... c Min unsat cost LB: 68880 ... c Min unsat cost LB: 68889 ... c Min unsat cost LB: 68891 ... c Min unsat cost LB: 68893 ... c Min unsat cost LB: 68895 ... c Min unsat cost LB: 68904 ... c Min unsat cost LB: 68909 ... c Min unsat cost LB: 68911 ... c Min unsat cost LB: 68917 ... c Min unsat cost LB: 68920 ... c Min unsat cost LB: 68921 ... c Min unsat cost LB: 68929 ... c Min unsat cost LB: 68930 ... c Min unsat cost LB: 68942 ... c Min unsat cost LB: 68949 ... c Min unsat cost LB: 68994 ... c Min unsat cost LB: 69028 ... c Min unsat cost LB: 69032 ... c Min unsat cost LB: 69036 ... c Min unsat cost LB: 69038 ... c Min unsat cost LB: 69052 ... c Min unsat cost LB: 69055 ... c Min unsat cost LB: 69060 ... c Min unsat cost LB: 69066 ... c Min unsat cost LB: 69069 ... c Min unsat cost LB: 69070 ... c Min unsat cost LB: 69071 ... c Min unsat cost LB: 69084 ... c Min unsat cost LB: 69086 ... c Min unsat cost LB: 69089 ... c Min unsat cost LB: 69100 ... c Min unsat cost LB: 69108 ... c Min unsat cost LB: 69111 ... c Min unsat cost LB: 69112 ... c Min unsat cost LB: 69120 ... c Min unsat cost LB: 69123 ... c Min unsat cost LB: 69124 ... c Min unsat cost LB: 69137 ... c Min unsat cost LB: 69139 ... c Min unsat cost LB: 69141 ... c Min unsat cost LB: 69143 ... c Min unsat cost LB: 69144 ... c Min unsat cost LB: 69145 ... c Min unsat cost LB: 69147 ... c Min unsat cost LB: 69148 ... c Min unsat cost LB: 69149 ... c Min unsat cost LB: 69151 ... c Min unsat cost LB: 69183 ... c Min unsat cost LB: 69194 ... c Min unsat cost LB: 69222 ... c Min unsat cost LB: 69237 ... c Min unsat cost LB: 69239 ... c Min unsat cost LB: 69248 ... c Min unsat cost LB: 69250 ... c Min unsat cost LB: 69260 ... c Min unsat cost LB: 69266 ... c Min unsat cost LB: 69277 ... c Min unsat cost LB: 69312 ... c Min unsat cost LB: 69313 ... c Min unsat cost LB: 69331 ... c Min unsat cost LB: 69339 ... c Min unsat cost LB: 69340 ... c Min unsat cost LB: 69343 ... c Min unsat cost LB: 69358 ... c Min unsat cost LB: 69377 ... c Min unsat cost LB: 69391 ... c Min unsat cost LB: 69393 ... c Min unsat cost LB: 69395 ... c Min unsat cost LB: 69396 ... c Min unsat cost LB: 69399 ... c Min unsat cost LB: 69400 ... c Min unsat cost LB: 69407 ... c Min unsat cost LB: 69408 ... c Min unsat cost LB: 69412 ... c Min unsat cost LB: 69416 ... c Min unsat cost LB: 69420 ... c Min unsat cost LB: 69425 ... c Min unsat cost LB: 69426 ... c Min unsat cost LB: 69435 ... c Min unsat cost LB: 69437 ... c Min unsat cost LB: 69439 ... c Min unsat cost LB: 69489 ... c Min unsat cost LB: 69496 ... c Min unsat cost LB: 69519 ... c Min unsat cost LB: 69533 ... c Min unsat cost LB: 69535 ... c Min unsat cost LB: 69539 ... c Min unsat cost LB: 69540 ... c Min unsat cost LB: 69542 ... c Min unsat cost LB: 69544 ... c Min unsat cost LB: 69545 ... c Min unsat cost LB: 69549 ... c Min unsat cost LB: 69557 ... c Min unsat cost LB: 69561 ... c Min unsat cost LB: 69563 ... c Min unsat cost LB: 69566 ... c Min unsat cost LB: 69568 ... c Min unsat cost LB: 69570 ... c Min unsat cost LB: 69572 ... c Min unsat cost LB: 69573 ... c Min unsat cost LB: 69574 ... c Min unsat cost LB: 69575 ... c Min unsat cost LB: 69576 ... c Min unsat cost LB: 69578 ... c Min unsat cost LB: 69579 ... c Min unsat cost LB: 69582 ... c Min unsat cost LB: 69586 ... c Min unsat cost LB: 69587 ... c Min unsat cost LB: 69589 ... c Min unsat cost LB: 69591 ... c Min unsat cost LB: 69594 ... c Min unsat cost LB: 69597 ... c Min unsat cost LB: 69601 ... c Min unsat cost LB: 69602 ... c Min unsat cost LB: 69603 ... c Min unsat cost LB: 69604 ... c Min unsat cost LB: 69606 ... c Min unsat cost LB: 69607 ... c Min unsat cost LB: 69608 ... c Min unsat cost LB: 69610 ... c Min unsat cost LB: 69613 ... c Min unsat cost LB: 69614 ... c Min unsat cost LB: 69618 ... c Min unsat cost LB: 69619 ... c Min unsat cost LB: 69622 ... c Min unsat cost LB: 69623 ... c Min unsat cost LB: 69625 ... c Min unsat cost LB: 69626 ... c Min unsat cost LB: 69627 ... c Min unsat cost LB: 69630 ... c Min unsat cost LB: 69632 ... c Min unsat cost LB: 69635 ... c Min unsat cost LB: 69636 ... c Min unsat cost LB: 69637 ... c Min unsat cost LB: 69639 ... c Min unsat cost LB: 69642 ... c Min unsat cost LB: 69643 ... c Min unsat cost LB: 69648 ... c Min unsat cost LB: 69649 ... c Min unsat cost LB: 69651 ... c Min unsat cost LB: 69652 ... c Min unsat cost LB: 69653 ... c Min unsat cost LB: 69655 ... c Min unsat cost LB: 69656 ... c Min unsat cost LB: 69657 ... c Min unsat cost LB: 69658 ... c Min unsat cost LB: 69677 ... c Min unsat cost LB: 69680 ... c Min unsat cost LB: 69681 ... c Min unsat cost LB: 69684 ... c Min unsat cost LB: 69738 ... c Min unsat cost LB: 69743 ... c Min unsat cost LB: 69744 ... c Min unsat cost LB: 69745 ... c Min unsat cost LB: 69746 ... c Min unsat cost LB: 69747 ... c Min unsat cost LB: 69748 ... c Min unsat cost LB: 69749 ... c Min unsat cost LB: 69750 ... c Min unsat cost LB: 69751 ... c Min unsat cost LB: 69753 ... c Min unsat cost LB: 69754 ... c Min unsat cost LB: 69755 ... c Min unsat cost LB: 69756 ... c Min unsat cost LB: 69757 ... c Min unsat cost LB: 69758 ... c Min unsat cost LB: 69759 ... c Min unsat cost LB: 69760 ... c Min unsat cost LB: 69761 ... c Min unsat cost LB: 69764 ... c Min unsat cost LB: 69768 ... c Min unsat cost LB: 69769 ... c Min unsat cost LB: 69783 ... c Min unsat cost LB: 69784 ... c Min unsat cost LB: 69788 ... c Min unsat cost LB: 69820 ... c Min unsat cost LB: 69822 ... c Min unsat cost LB: 69825 ... c Min unsat cost LB: 69831 ... c Min unsat cost LB: 69852 ... c Min unsat cost LB: 69856 ... c Min unsat cost LB: 69857 ... c Min unsat cost LB: 69861 ... c Min unsat cost LB: 69866 ... c Min unsat cost LB: 69870 ... c Min unsat cost LB: 69873 ... c Min unsat cost LB: 69878 ... c Min unsat cost LB: 69890 ... c Min unsat cost LB: 69894 ... c Min unsat cost LB: 69898 ... c Min unsat cost LB: 69900 ... c Min unsat cost LB: 69956 ... c Min unsat cost LB: 69957 ... c Min unsat cost LB: 70041 ... c Min unsat cost LB: 70042 ... c Min unsat cost LB: 70067 ... c Min unsat cost LB: 70080 ... c Min unsat cost LB: 70081 ... c Min unsat cost LB: 70082 ... c Min unsat cost LB: 70083 ... c Min unsat cost LB: 70084 ... c Min unsat cost LB: 70085 ... c Min unsat cost LB: 70086 ... c Min unsat cost LB: 70092 ... c Min unsat cost LB: 70094 ... c Min unsat cost LB: 70114 ... c Min unsat cost LB: 70116 ... c Min unsat cost LB: 70121 ... c Min unsat cost LB: 70148 ... c Min unsat cost LB: 70193 ... c Min unsat cost LB: 70211 ... c Min unsat cost LB: 70214 ... c Min unsat cost LB: 70215 ... c Min unsat cost LB: 70216 ... c Min unsat cost LB: 70217 ... c Min unsat cost LB: 70218 ... c Min unsat cost LB: 70219 ... c Min unsat cost LB: 70220 ... c Min unsat cost LB: 70221 ... c Min unsat cost LB: 70222 ... c Min unsat cost LB: 70224 ... c Min unsat cost LB: 70237 ... c Min unsat cost LB: 70275 ... c Min unsat cost LB: 70276 ... c Min unsat cost LB: 70277 ... c Min unsat cost LB: 70278 ... c Min unsat cost LB: 70280 ... c Min unsat cost LB: 70283 ... c Min unsat cost LB: 70285 ... c Min unsat cost LB: 70286 ... c Min unsat cost LB: 70288 ... c Min unsat cost LB: 70289 ... c Min unsat cost LB: 70299 ... c Min unsat cost LB: 70327 ... c Min unsat cost LB: 70330 ... c Min unsat cost LB: 70346 ... c Min unsat cost LB: 70347 ... c Min unsat cost LB: 70359 ... c Min unsat cost LB: 70366 ... c Min unsat cost LB: 70396 ... c Min unsat cost LB: 70398 ... c Min unsat cost LB: 70399 ... c Min unsat cost LB: 70401 ... c Min unsat cost LB: 70403 ... c Min unsat cost LB: 70405 ... c Min unsat cost LB: 70425 ... c Min unsat cost LB: 70426 ... c Min unsat cost LB: 70427 ... c Min unsat cost LB: 70429 ... c Min unsat cost LB: 70430 ... c Min unsat cost LB: 70431 ... c Min unsat cost LB: 70432 ... c Min unsat cost LB: 70433 ... c Min unsat cost LB: 70434 ... c Min unsat cost LB: 70437 ... c Min unsat cost LB: 70438 ... c Min unsat cost LB: 70439 ... c Min unsat cost LB: 70440 ... c Min unsat cost LB: 70444 ... c Min unsat cost LB: 70445 ... c Min unsat cost LB: 70447 ... c Min unsat cost LB: 70451 ... c Min unsat cost LB: 70452 ... c Min unsat cost LB: 70453 ... c Min unsat cost LB: 70455 ... c Min unsat cost LB: 70466 ... c Min unsat cost LB: 70467 ... c Min unsat cost LB: 70472 ... c Min unsat cost LB: 70477 ... c Min unsat cost LB: 70479 ... c Min unsat cost LB: 70480 ... c Min unsat cost LB: 70483 ... c Min unsat cost LB: 70492 ... c Min unsat cost LB: 70510 ... c Min unsat cost LB: 70512 ... c Min unsat cost LB: 70517 ... c Min unsat cost LB: 70518 ... c Min unsat cost LB: 70519 ... c Min unsat cost LB: 70521 ... c Min unsat cost LB: 70524 ... c Min unsat cost LB: 70526 ... c Min unsat cost LB: 70532 ... c Min unsat cost LB: 70534 ... c Min unsat cost LB: 70539 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70541 ... c Min unsat cost LB: 70543 ... c Min unsat cost LB: 70544 ... c Min unsat cost LB: 70545 ... c Min unsat cost LB: 70546 ... c Min unsat cost LB: 70547 ... c Min unsat cost LB: 70548 ... c Min unsat cost LB: 70551 ... c Min unsat cost LB: 70552 ... c Min unsat cost LB: 70553 ... c Min unsat cost LB: 70554 ... c Min unsat cost LB: 70556 ... c Min unsat cost LB: 70557 ... c Min unsat cost LB: 70558 ... c Min unsat cost LB: 70559 ... c Min unsat cost LB: 70562 ... c Min unsat cost LB: 70563 ... c Min unsat cost LB: 70565 ... c Min unsat cost LB: 70566 ... c Min unsat cost LB: 70568 ... c Min unsat cost LB: 70569 ... c Min unsat cost LB: 70570 ... c Min unsat cost LB: 70571 ... c Min unsat cost LB: 70572 ... c Min unsat cost LB: 70573 ... c Min unsat cost LB: 70574 ... c Min unsat cost LB: 70575 ... c Min unsat cost LB: 70578 ... c Min unsat cost LB: 70579 ... c Min unsat cost LB: 70580 ... c Min unsat cost LB: 70582 ... c Min unsat cost LB: 70583 ... c Min unsat cost LB: 70584 ... c Min unsat cost LB: 70585 ... c Min unsat cost LB: 70587 ... c Min unsat cost LB: 70588 ... c Min unsat cost LB: 70591 ... c Min unsat cost LB: 70593 ... c Min unsat cost LB: 70598 ... c Min unsat cost LB: 70599 ... c Min unsat cost LB: 70600 ... c Min unsat cost LB: 70601 ... c Min unsat cost LB: 70602 ... c Min unsat cost LB: 70605 ... c Min unsat cost LB: 70614 ... c Min unsat cost LB: 70615 ... c Min unsat cost LB: 70616 ... c Min unsat cost LB: 70617 ... c Min unsat cost LB: 70618 ... c Min unsat cost LB: 70626 ... c Min unsat cost LB: 70628 ... c Min unsat cost LB: 70635 ... c Min unsat cost LB: 70637 ... c Min unsat cost LB: 70638 ... c Min unsat cost LB: 70639 ... c Min unsat cost LB: 70641 ... c Min unsat cost LB: 70642 ... c Min unsat cost LB: 70647 ... c Min unsat cost LB: 70649 ... c Min unsat cost LB: 70650 ... c Min unsat cost LB: 70651 ... c Min unsat cost LB: 70653 ... c Min unsat cost LB: 70657 ... c Min unsat cost LB: 70662 ... c Min unsat cost LB: 70663 ... c Min unsat cost LB: 70664 ... c Min unsat cost LB: 70665 ... c Min unsat cost LB: 70666 ... c Min unsat cost LB: 70667 ... c Min unsat cost LB: 70668 ... c Min unsat cost LB: 70669 ... c Min unsat cost LB: 70670 ... c Min unsat cost LB: 70671 ... c Min unsat cost LB: 70673 ... c Min unsat cost LB: 70676 ... c Min unsat cost LB: 70709 ... c Min unsat cost LB: 70713 ... c Min unsat cost LB: 70714 ... c Min unsat cost LB: 70731 ... c Min unsat cost LB: 70739 ... c Min unsat cost LB: 70742 ... c Min unsat cost LB: 70743 ... c Min unsat cost LB: 70749 ... c Min unsat cost LB: 70750 ... c Min unsat cost LB: 70752 ... c Min unsat cost LB: 70755 ... c Min unsat cost LB: 70756 ... c Min unsat cost LB: 70757 ... c Min unsat cost LB: 70758 ... c Min unsat cost LB: 70759 ... c Min unsat cost LB: 70761 ... c Min unsat cost LB: 70762 ... c Min unsat cost LB: 70765 ... c Min unsat cost LB: 70766 ... c Min unsat cost LB: 70767 ... c Min unsat cost LB: 70768 ... c Min unsat cost LB: 70769 ... c Min unsat cost LB: 70770 ... c Min unsat cost LB: 70772 ... c Min unsat cost LB: 70773 ... c Min unsat cost LB: 70774 ... c Min unsat cost LB: 70775 ... c Min unsat cost LB: 70780 ... c Min unsat cost LB: 70781 ... c Min unsat cost LB: 70785 ... c Min unsat cost LB: 70813 ... c Min unsat cost LB: 70814 ... c Min unsat cost LB: 70815 ... c Min unsat cost LB: 70816 ... c Min unsat cost LB: 70817 ... c Min unsat cost LB: 70818 ... c Min unsat cost LB: 70821 ... c Min unsat cost LB: 70822 ... c Min unsat cost LB: 70823 ... c Min unsat cost LB: 70824 ... c Min unsat cost LB: 70826 ... c Min unsat cost LB: 70829 ... c Min unsat cost LB: 70830 ... c Min unsat cost LB: 70831 ... c Min unsat cost LB: 70832 ... c Min unsat cost LB: 70833 ... c Min unsat cost LB: 70834 ... c Min unsat cost LB: 70835 ... c Min unsat cost LB: 70836 ... c Min unsat cost LB: 70837 ... c Min unsat cost LB: 70838 ... c Min unsat cost LB: 70842 ... c Min unsat cost LB: 70843 ... c Min unsat cost LB: 70844 ... c Min unsat cost LB: 70845 ... c Min unsat cost LB: 70846 ... c Min unsat cost LB: 70847 ... c Min unsat cost LB: 70848 ... c Min unsat cost LB: 70849 ... c Min unsat cost LB: 70851 ... c Min unsat cost LB: 70852 ... c Min unsat cost LB: 70853 ... c Min unsat cost LB: 70854 ... c Min unsat cost LB: 70855 ... c Min unsat cost LB: 70856 ... c Min unsat cost LB: 70857 ... c Min unsat cost LB: 70858 ... c Min unsat cost LB: 70861 ... c Min unsat cost LB: 70862 ... c Min unsat cost LB: 70864 ... c Min unsat cost LB: 70865 ... c Min unsat cost LB: 70868 ... c Min unsat cost LB: 70869 ... c Min unsat cost LB: 70871 ... c Min unsat cost LB: 70872 ... c Min unsat cost LB: 70875 ... c Min unsat cost LB: 70877 ... c Min unsat cost LB: 70893 ... c Min unsat cost LB: 70895 ... c Min unsat cost LB: 70896 ... c Min unsat cost LB: 70897 ... c Min unsat cost LB: 70898 ... c Min unsat cost LB: 70899 ... c Min unsat cost LB: 70900 ... c Min unsat cost LB: 70901 ... c Min unsat cost LB: 70902 ... c Min unsat cost LB: 70903 ... c Min unsat cost LB: 70904 ... c Min unsat cost LB: 70905 ... c Min unsat cost LB: 70913 ... c Min unsat cost LB: 70915 ... c Min unsat cost LB: 70916 ... c Min unsat cost LB: 70918 ... c Min unsat cost LB: 70922 ... c Min unsat cost LB: 70925 ... c Min unsat cost LB: 70926 ... c Min unsat cost LB: 70928 ... c Min unsat cost LB: 70930 ... c Min unsat cost LB: 70931 ... c Min unsat cost LB: 70953 ... c Min unsat cost LB: 70963 ... c Min unsat cost LB: 70970 ... c Min unsat cost LB: 70974 ... c Min unsat cost LB: 70982 ... c Min unsat cost LB: 70986 ... c Min unsat cost LB: 70996 ... c Min unsat cost LB: 71000 ... c Min unsat cost LB: 71009 ... c Min unsat cost LB: 71021 ... c Min unsat cost LB: 71022 ... c Min unsat cost LB: 71031 ... c Min unsat cost LB: 71033 ... c Min unsat cost LB: 71046 ... c Min unsat cost LB: 71076 ... c Min unsat cost LB: 71077 ... c Min unsat cost LB: 71078 ... c Min unsat cost LB: 71088 ... c Min unsat cost LB: 71094 ... c Min unsat cost LB: 71095 ... c Min unsat cost LB: 71096 ... c Min unsat cost LB: 71097 ... c Min unsat cost LB: 71099 ... c Min unsat cost LB: 71101 ... c Min unsat cost LB: 71116 ... c Min unsat cost LB: 71119 ... c Min unsat cost LB: 71121 ... c Min unsat cost LB: 71127 ... c Min unsat cost LB: 71128 ... c Min unsat cost LB: 71129 ... c Min unsat cost LB: 71130 ... c Min unsat cost LB: 71139 ... c Min unsat cost LB: 71140 ... c Min unsat cost LB: 71141 ... c Min unsat cost LB: 71148 ... c Min unsat cost LB: 71155 ... c Min unsat cost LB: 71157 ... c Min unsat cost LB: 71158 ... c Min unsat cost LB: 71159 ... c Min unsat cost LB: 71160 ... c Min unsat cost LB: 71161 ... c Min unsat cost LB: 71162 ... c Min unsat cost LB: 71163 ... c Min unsat cost LB: 71164 ... c Min unsat cost LB: 71172 ... c Min unsat cost LB: 71173 ... c Min unsat cost LB: 71175 ... c Min unsat cost LB: 71176 ... c Min unsat cost LB: 71187 ... c Min unsat cost LB: 71231 ... c Min unsat cost LB: 71243 ... c Min unsat cost LB: 71245 ... c Min unsat cost LB: 71247 ... c Min unsat cost LB: 71248 ... c Min unsat cost LB: 71250 ... c Min unsat cost LB: 71254 ... c Min unsat cost LB: 71262 ... c Min unsat cost LB: 71264 ... c Min unsat cost LB: 71265 ... c Min unsat cost LB: 71266 ... c Min unsat cost LB: 71267 ... c Min unsat cost LB: 71268 ... c Min unsat cost LB: 71269 ... c Min unsat cost LB: 71295 ... c Min unsat cost LB: 71296 ... c Min unsat cost LB: 71299 ... c Min unsat cost LB: 71300 ... c Min unsat cost LB: 71301 ... c Min unsat cost LB: 71302 ... c Min unsat cost LB: 71304 ... c Min unsat cost LB: 71308 ... c Min unsat cost LB: 71309 ... c Min unsat cost LB: 71310 ... c Min unsat cost LB: 71313 ... c Min unsat cost LB: 71314 ... c Min unsat cost LB: 71315 ... c Min unsat cost LB: 71316 ... c Min unsat cost LB: 71317 ... c Min unsat cost LB: 71318 ... c Min unsat cost LB: 71323 ... c Min unsat cost LB: 71324 ... c Min unsat cost LB: 71334 ... c Min unsat cost LB: 71343 ... c Min unsat cost LB: 71345 ... c Min unsat cost LB: 71346 ... c Min unsat cost LB: 71347 ... c Min unsat cost LB: 71348 ... c Min unsat cost LB: 71361 ... c Min unsat cost LB: 71362 ... c Min unsat cost LB: 71402 ... c Min unsat cost LB: 71414 ... c Min unsat cost LB: 71415 ... c Min unsat cost LB: 71419 ... c Min unsat cost LB: 71421 ... c Min unsat cost LB: 71422 ... c Min unsat cost LB: 71423 ... c Min unsat cost LB: 71424 ... c Min unsat cost LB: 71425 ... c Min unsat cost LB: 71428 ... c Min unsat cost LB: 71432 ... c Min unsat cost LB: 71433 ... c Min unsat cost LB: 71436 ... c Min unsat cost LB: 71438 ... c Min unsat cost LB: 71444 ... c Min unsat cost LB: 71448 ... c Min unsat cost LB: 71449 ... c Min unsat cost LB: 71450 ... c Min unsat cost LB: 71458 ... c Min unsat cost LB: 71460 ... c Min unsat cost LB: 71469 ... c Min unsat cost LB: 71472 ... c Min unsat cost LB: 71474 ... c Min unsat cost LB: 71485 ... c Min unsat cost LB: 71559 ... c Min unsat cost LB: 71560 ... c Min unsat cost LB: 71561 ... c Min unsat cost LB: 71562 ... c Min unsat cost LB: 71564 ... c Min unsat cost LB: 71565 ... c Min unsat cost LB: 71566 ... c Min unsat cost LB: 71569 ... c Min unsat cost LB: 71570 ... c Min unsat cost LB: 71571 ... c Min unsat cost LB: 71572 ... c Min unsat cost LB: 71573 ... c Min unsat cost LB: 71574 ... c Min unsat cost LB: 71575 ... c Min unsat cost LB: 71577 ... c Min unsat cost LB: 71581 ... c Min unsat cost LB: 71583 ... c Min unsat cost LB: 71592 ... c Min unsat cost LB: 71593 ... c Min unsat cost LB: 71603 ... c Min unsat cost LB: 71605 ... c Min unsat cost LB: 71606 ... c Min unsat cost LB: 71607 ... c Min unsat cost LB: 71610 ... c Min unsat cost LB: 71611 ... c Min unsat cost LB: 71612 ... c Min unsat cost LB: 71614 ... c Min unsat cost LB: 71617 ... c Min unsat cost LB: 71618 ... c Min unsat cost LB: 71619 ... c Min unsat cost LB: 71620 ... c Min unsat cost LB: 71635 ... c Min unsat cost LB: 71636 ... c Min unsat cost LB: 71637 ... c Min unsat cost LB: 71638 ... c Min unsat cost LB: 71639 ... c Min unsat cost LB: 71640 ... c Min unsat cost LB: 71641 ... c Min unsat cost LB: 71649 ... c Min unsat cost LB: 71687 ... c Min unsat cost LB: 71688 ... c Min unsat cost LB: 71689 ... c Min unsat cost LB: 71690 ... c Min unsat cost LB: 71691 ... c Min unsat cost LB: 71692 ... c Min unsat cost LB: 71693 ... c Min unsat cost LB: 71695 ... c Min unsat cost LB: 71696 ... c Min unsat cost LB: 71697 ... c Min unsat cost LB: 71698 ... c Min unsat cost LB: 71699 ... c Min unsat cost LB: 71700 ... c Min unsat cost LB: 71701 ... c Min unsat cost LB: 71704 ... c Min unsat cost LB: 71706 ... c Min unsat cost LB: 71707 ... c Min unsat cost LB: 71708 ... c Min unsat cost LB: 71709 ... c Min unsat cost LB: 71710 ... c Min unsat cost LB: 71711 ... c Min unsat cost LB: 71712 ... c Min unsat cost LB: 71713 ... c Min unsat cost LB: 71714 ... c Min unsat cost LB: 71715 ... c Min unsat cost LB: 71716 ... c Min unsat cost LB: 71720 ... c Min unsat cost LB: 71723 ... c Min unsat cost LB: 71724 ... c Min unsat cost LB: 71725 ... c Min unsat cost LB: 71726 ... c Min unsat cost LB: 71727 ... c Min unsat cost LB: 71728 ... c Min unsat cost LB: 71729 ... c Min unsat cost LB: 71730 ... c Min unsat cost LB: 71731 ... c Min unsat cost LB: 71732 ... c Min unsat cost LB: 71733 ... c Min unsat cost LB: 71734 ... c Min unsat cost LB: 71735 ... c Min unsat cost LB: 71741 ... c Min unsat cost LB: 71742 ... c Min unsat cost LB: 71743 ... c Min unsat cost LB: 71744 ... c Min unsat cost LB: 71745 ... c Min unsat cost LB: 71746 ... c Min unsat cost LB: 71747 ... c Min unsat cost LB: 71748 ... c Min unsat cost LB: 71749 ... c Min unsat cost LB: 71754 ... c Min unsat cost LB: 71755 ... c Min unsat cost LB: 71770 ... c Min unsat cost LB: 71771 ... c Min unsat cost LB: 71772 ... c Min unsat cost LB: 71776 ... c Min unsat cost LB: 71811 ... c Min unsat cost LB: 71839 ... c Min unsat cost LB: 71841 ... c Min unsat cost LB: 71842 ... c Min unsat cost LB: 71843 ... c Min unsat cost LB: 71844 ... c Min unsat cost LB: 71845 ... c Min unsat cost LB: 71846 ... c Min unsat cost LB: 71847 ... c Min unsat cost LB: 71848 ... c Min unsat cost LB: 71849 ... c Min unsat cost LB: 71850 ... c Min unsat cost LB: 71854 ... c Min unsat cost LB: 71855 ... c Min unsat cost LB: 71856 ... c Min unsat cost LB: 71857 ... c Min unsat cost LB: 71858 ... c Min unsat cost LB: 71859 ... c Min unsat cost LB: 71860 ... c Min unsat cost LB: 71861 ... c Min unsat cost LB: 71862 ... c Min unsat cost LB: 71867 ... c Min unsat cost LB: 71869 ... c Min unsat cost LB: 71870 ... c Min unsat cost LB: 71871 ... c Min unsat cost LB: 71872 ... c Min unsat cost LB: 71873 ... c Min unsat cost LB: 71874 ... c Min unsat cost LB: 71876 ... c Min unsat cost LB: 71879 ... c Min unsat cost LB: 71880 ... c Min unsat cost LB: 71881 ... c Min unsat cost LB: 71882 ... c Min unsat cost LB: 71883 ... c Min unsat cost LB: 71884 ... c Min unsat cost LB: 71885 ... c Min unsat cost LB: 71886 ... c Min unsat cost LB: 71Killed 1813.953u 5.787s 1:00:40.65 49.9% 0+0k 0+0io 0pf+0w