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_160_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_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_160_0004.txt.wcnf *** c c Min unsat cost LB: 772 ... c Min unsat cost LB: 1411 ... c Min unsat cost LB: 1437 ... c Min unsat cost LB: 2102 ... c Min unsat cost LB: 2741 ... c Min unsat cost LB: 3658 ... c Min unsat cost LB: 4297 ... c Min unsat cost LB: 4430 ... c Min unsat cost LB: 5628 ... c Min unsat cost LB: 6400 ... c Min unsat cost LB: 6446 ... c Min unsat cost LB: 7076 ... c Min unsat cost LB: 7694 ... c Min unsat cost LB: 8200 ... c Min unsat cost LB: 8926 ... c Min unsat cost LB: 9843 ... c Min unsat cost LB: 10661 ... c Min unsat cost LB: 10794 ... c Min unsat cost LB: 11566 ... c Min unsat cost LB: 11946 ... c Min unsat cost LB: 12580 ... c Min unsat cost LB: 12626 ... c Min unsat cost LB: 13190 ... c Min unsat cost LB: 13444 ... c Min unsat cost LB: 13966 ... c Min unsat cost LB: 13992 ... c Min unsat cost LB: 14038 ... c Min unsat cost LB: 14751 ... c Min unsat cost LB: 15549 ... c Min unsat cost LB: 16262 ... c Min unsat cost LB: 17034 ... c Min unsat cost LB: 17046 ... c Min unsat cost LB: 17701 ... c Min unsat cost LB: 18418 ... c Min unsat cost LB: 19190 ... c Min unsat cost LB: 19236 ... c Min unsat cost LB: 20008 ... c Min unsat cost LB: 20243 ... c Min unsat cost LB: 20362 ... c Min unsat cost LB: 20905 ... c Min unsat cost LB: 21259 ... c Min unsat cost LB: 22309 ... c Min unsat cost LB: 22952 ... c Min unsat cost LB: 23306 ... c Min unsat cost LB: 23518 ... c Min unsat cost LB: 23849 ... c Min unsat cost LB: 23902 ... c Min unsat cost LB: 24203 ... c Min unsat cost LB: 25001 ... c Min unsat cost LB: 25243 ... c Min unsat cost LB: 25694 ... c Min unsat cost LB: 26145 ... c Min unsat cost LB: 27274 ... c Min unsat cost LB: 27393 ... c Min unsat cost LB: 28071 ... c Min unsat cost LB: 28404 ... c Min unsat cost LB: 28653 ... c Min unsat cost LB: 29094 ... c Min unsat cost LB: 29152 ... c Min unsat cost LB: 30131 ... c Min unsat cost LB: 30329 ... c Min unsat cost LB: 30479 ... c Min unsat cost LB: 31034 ... c Min unsat cost LB: 31153 ... c Min unsat cost LB: 32007 ... c Min unsat cost LB: 33100 ... c Min unsat cost LB: 33136 ... c Min unsat cost LB: 33516 ... c Min unsat cost LB: 34587 ... c Min unsat cost LB: 35716 ... c Min unsat cost LB: 36259 ... c Min unsat cost LB: 36677 ... c Min unsat cost LB: 36796 ... c Min unsat cost LB: 37299 ... c Min unsat cost LB: 37811 ... c Min unsat cost LB: 38647 ... c Min unsat cost LB: 39237 ... c Min unsat cost LB: 39459 ... c Min unsat cost LB: 40240 ... c Min unsat cost LB: 40552 ... c Min unsat cost LB: 41146 ... c Min unsat cost LB: 41740 ... c Min unsat cost LB: 42311 ... c Min unsat cost LB: 42552 ... c Min unsat cost LB: 43388 ... c Min unsat cost LB: 43856 ... c Min unsat cost LB: 43878 ... c Min unsat cost LB: 44355 ... c Min unsat cost LB: 44472 ... c Min unsat cost LB: 44975 ... c Min unsat cost LB: 45308 ... c Min unsat cost LB: 45734 ... c Min unsat cost LB: 46060 ... c Min unsat cost LB: 46572 ... c Min unsat cost LB: 46583 ... c Min unsat cost LB: 46784 ... c Min unsat cost LB: 47019 ... c Min unsat cost LB: 47522 ... c Min unsat cost LB: 48217 ... c Min unsat cost LB: 48387 ... c Min unsat cost LB: 48693 ... c Min unsat cost LB: 49157 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 50011 ... c Min unsat cost LB: 50310 ... c Min unsat cost LB: 51360 ... c Min unsat cost LB: 51458 ... c Min unsat cost LB: 51633 ... c Min unsat cost LB: 52107 ... c Min unsat cost LB: 52172 ... c Min unsat cost LB: 52550 ... c Min unsat cost LB: 52586 ... c Min unsat cost LB: 52784 ... c Min unsat cost LB: 53225 ... c Min unsat cost LB: 53663 ... c Min unsat cost LB: 53768 ... c Min unsat cost LB: 53962 ... c Min unsat cost LB: 54136 ... c Min unsat cost LB: 54306 ... c Min unsat cost LB: 54311 ... c Min unsat cost LB: 54493 ... c Min unsat cost LB: 54724 ... c Min unsat cost LB: 54752 ... c Min unsat cost LB: 55431 ... c Min unsat cost LB: 55581 ... c Min unsat cost LB: 55627 ... c Min unsat cost LB: 55666 ... c Min unsat cost LB: 55677 ... c Min unsat cost LB: 55680 ... c Min unsat cost LB: 55786 ... c Min unsat cost LB: 55878 ... c Min unsat cost LB: 56119 ... c Min unsat cost LB: 56395 ... c Min unsat cost LB: 56560 ... c Min unsat cost LB: 56618 ... c Min unsat cost LB: 56630 ... c Min unsat cost LB: 56670 ... c Min unsat cost LB: 56736 ... c Min unsat cost LB: 56789 ... c Min unsat cost LB: 57196 ... c Min unsat cost LB: 57266 ... c Min unsat cost LB: 57272 ... c Min unsat cost LB: 57298 ... c Min unsat cost LB: 57337 ... c Min unsat cost LB: 57691 ... c Min unsat cost LB: 57861 ... c Min unsat cost LB: 58197 ... c Min unsat cost LB: 58245 ... c Min unsat cost LB: 58289 ... c Min unsat cost LB: 58295 ... c Min unsat cost LB: 58366 ... c Min unsat cost LB: 58667 ... c Min unsat cost LB: 58757 ... c Min unsat cost LB: 58760 ... c Min unsat cost LB: 58769 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59035 ... c Min unsat cost LB: 59039 ... c Min unsat cost LB: 59102 ... c Min unsat cost LB: 59208 ... c Min unsat cost LB: 59270 ... c Min unsat cost LB: 59314 ... c Min unsat cost LB: 59327 ... c Min unsat cost LB: 59560 ... c Min unsat cost LB: 59613 ... c Min unsat cost LB: 59624 ... c Min unsat cost LB: 59761 ... c Min unsat cost LB: 59823 ... c Min unsat cost LB: 59894 ... c Min unsat cost LB: 59907 ... c Min unsat cost LB: 59948 ... c Min unsat cost LB: 60005 ... c Min unsat cost LB: 60058 ... c Min unsat cost LB: 60098 ... c Min unsat cost LB: 60109 ... c Min unsat cost LB: 60177 ... c Min unsat cost LB: 60256 ... c Min unsat cost LB: 60498 ... c Min unsat cost LB: 60677 ... c Min unsat cost LB: 60690 ... c Min unsat cost LB: 60726 ... c Min unsat cost LB: 60895 ... c Min unsat cost LB: 61057 ... c Min unsat cost LB: 61115 ... c Min unsat cost LB: 61132 ... c Min unsat cost LB: 61221 ... c Min unsat cost LB: 61267 ... c Min unsat cost LB: 61329 ... c Min unsat cost LB: 61373 ... c Min unsat cost LB: 61399 ... c Min unsat cost LB: 61452 ... c Min unsat cost LB: 61454 ... c Min unsat cost LB: 61465 ... c Min unsat cost LB: 61476 ... c Min unsat cost LB: 61489 ... c Min unsat cost LB: 61701 ... c Min unsat cost LB: 61707 ... c Min unsat cost LB: 61755 ... c Min unsat cost LB: 61861 ... c Min unsat cost LB: 62083 ... c Min unsat cost LB: 62109 ... c Min unsat cost LB: 62261 ... c Min unsat cost LB: 62315 ... c Min unsat cost LB: 62385 ... c Min unsat cost LB: 62431 ... c Min unsat cost LB: 62477 ... c Min unsat cost LB: 62671 ... c Min unsat cost LB: 62776 ... c Min unsat cost LB: 62822 ... c Min unsat cost LB: 63100 ... c Min unsat cost LB: 63163 ... c Min unsat cost LB: 63202 ... c Min unsat cost LB: 63264 ... c Min unsat cost LB: 63335 ... c Min unsat cost LB: 63371 ... c Min unsat cost LB: 63384 ... c Min unsat cost LB: 63533 ... c Min unsat cost LB: 63563 ... c Min unsat cost LB: 63628 ... c Min unsat cost LB: 63632 ... c Min unsat cost LB: 63652 ... c Min unsat cost LB: 63700 ... c Min unsat cost LB: 63705 ... c Min unsat cost LB: 63708 ... c Min unsat cost LB: 63747 ... c Min unsat cost LB: 63758 ... c Min unsat cost LB: 63762 ... c Min unsat cost LB: 63855 ... c Min unsat cost LB: 63968 ... c Min unsat cost LB: 64287 ... c Min unsat cost LB: 64483 ... c Min unsat cost LB: 64569 ... c Min unsat cost LB: 64589 ... c Min unsat cost LB: 64611 ... c Min unsat cost LB: 64613 ... c Min unsat cost LB: 64668 ... c Min unsat cost LB: 64672 ... c Min unsat cost LB: 64676 ... c Min unsat cost LB: 64677 ... c Min unsat cost LB: 64726 ... c Min unsat cost LB: 64731 ... c Min unsat cost LB: 64736 ... c Min unsat cost LB: 64741 ... c Min unsat cost LB: 64750 ... c Min unsat cost LB: 64753 ... c Min unsat cost LB: 64966 ... c Min unsat cost LB: 65021 ... c Min unsat cost LB: 65108 ... c Min unsat cost LB: 65349 ... c Min unsat cost LB: 65514 ... c Min unsat cost LB: 65532 ... c Min unsat cost LB: 65608 ... c Min unsat cost LB: 65702 ... c Min unsat cost LB: 65807 ... c Min unsat cost LB: 65899 ... c Min unsat cost LB: 65902 ... c Min unsat cost LB: 66128 ... c Min unsat cost LB: 66182 ... c Min unsat cost LB: 66339 ... c Min unsat cost LB: 66343 ... c Min unsat cost LB: 66400 ... c Min unsat cost LB: 66419 ... c Min unsat cost LB: 66467 ... c Min unsat cost LB: 66513 ... c Min unsat cost LB: 66578 ... c Min unsat cost LB: 66706 ... c Min unsat cost LB: 66708 ... c Min unsat cost LB: 66710 ... c Min unsat cost LB: 66765 ... c Min unsat cost LB: 66798 ... c Min unsat cost LB: 66901 ... c Min unsat cost LB: 66965 ... c Min unsat cost LB: 66969 ... c Min unsat cost LB: 67023 ... c Min unsat cost LB: 67057 ... c Min unsat cost LB: 67208 ... c Min unsat cost LB: 67232 ... c Min unsat cost LB: 67240 ... c Min unsat cost LB: 67248 ... c Min unsat cost LB: 67294 ... c Min unsat cost LB: 67483 ... c Min unsat cost LB: 67611 ... c Min unsat cost LB: 67616 ... c Min unsat cost LB: 67883 ... c Min unsat cost LB: 68023 ... c Min unsat cost LB: 68194 ... c Min unsat cost LB: 68266 ... c Min unsat cost LB: 68279 ... c Min unsat cost LB: 68358 ... c Min unsat cost LB: 68799 ... c Min unsat cost LB: 68852 ... c Min unsat cost LB: 68856 ... c Min unsat cost LB: 68992 ... c Min unsat cost LB: 69057 ... c Min unsat cost LB: 69157 ... c Min unsat cost LB: 69172 ... c Min unsat cost LB: 69218 ... c Min unsat cost LB: 69262 ... c Min unsat cost LB: 69268 ... c Min unsat cost LB: 69284 ... c Min unsat cost LB: 69313 ... c Min unsat cost LB: 69346 ... c Min unsat cost LB: 69352 ... c Min unsat cost LB: 69392 ... c Min unsat cost LB: 69399 ... c Min unsat cost LB: 69412 ... c Min unsat cost LB: 69424 ... c Min unsat cost LB: 69426 ... c Min unsat cost LB: 69437 ... c Min unsat cost LB: 69462 ... c Min unsat cost LB: 69477 ... c Min unsat cost LB: 69481 ... c Min unsat cost LB: 69488 ... c Min unsat cost LB: 69494 ... c Min unsat cost LB: 69498 ... c Min unsat cost LB: 69542 ... c Min unsat cost LB: 69546 ... c Min unsat cost LB: 69558 ... c Min unsat cost LB: 69572 ... c Min unsat cost LB: 69574 ... c Min unsat cost LB: 69606 ... c Min unsat cost LB: 69626 ... c Min unsat cost LB: 69694 ... c Min unsat cost LB: 69704 ... c Min unsat cost LB: 69733 ... c Min unsat cost LB: 69738 ... c Min unsat cost LB: 69744 ... c Min unsat cost LB: 69750 ... c Min unsat cost LB: 69773 ... c Min unsat cost LB: 69774 ... c Min unsat cost LB: 69789 ... c Min unsat cost LB: 69817 ... c Min unsat cost LB: 69819 ... c Min unsat cost LB: 69820 ... c Min unsat cost LB: 69839 ... c Min unsat cost LB: 69929 ... c Min unsat cost LB: 69940 ... c Min unsat cost LB: 69943 ... c Min unsat cost LB: 69971 ... c Min unsat cost LB: 69983 ... c Min unsat cost LB: 69985 ... c Min unsat cost LB: 69990 ... c Min unsat cost LB: 69991 ... c Min unsat cost LB: 69996 ... c Min unsat cost LB: 69997 ... c Min unsat cost LB: 70044 ... c Min unsat cost LB: 70072 ... c Min unsat cost LB: 70090 ... c Min unsat cost LB: 70248 ... c Min unsat cost LB: 70249 ... c Min unsat cost LB: 70253 ... c Min unsat cost LB: 70258 ... c Min unsat cost LB: 70260 ... c Min unsat cost LB: 70261 ... c Min unsat cost LB: 70267 ... c Min unsat cost LB: 70268 ... c Min unsat cost LB: 70277 ... c Min unsat cost LB: 70280 ... c Min unsat cost LB: 70281 ... c Min unsat cost LB: 70282 ... c Min unsat cost LB: 70284 ... c Min unsat cost LB: 70287 ... c Min unsat cost LB: 70289 ... c Min unsat cost LB: 70293 ... c Min unsat cost LB: 70299 ... c Min unsat cost LB: 70300 ... c Min unsat cost LB: 70304 ... c Min unsat cost LB: 70309 ... c Min unsat cost LB: 70311 ... c Min unsat cost LB: 70314 ... c Min unsat cost LB: 70323 ... c Min unsat cost LB: 70324 ... c Min unsat cost LB: 70326 ... c Min unsat cost LB: 70327 ... c Min unsat cost LB: 70329 ... c Min unsat cost LB: 70330 ... c Min unsat cost LB: 70332 ... c Min unsat cost LB: 70340 ... c Min unsat cost LB: 70343 ... c Min unsat cost LB: 70345 ... c Min unsat cost LB: 70347 ... c Min unsat cost LB: 70361 ... c Min unsat cost LB: 70366 ... c Min unsat cost LB: 70378 ... c Min unsat cost LB: 70379 ... c Min unsat cost LB: 70400 ... c Min unsat cost LB: 70404 ... c Min unsat cost LB: 70405 ... c Min unsat cost LB: 70416 ... c Min unsat cost LB: 70420 ... c Min unsat cost LB: 70421 ... c Min unsat cost LB: 70438 ... c Min unsat cost LB: 70471 ... c Min unsat cost LB: 70481 ... c Min unsat cost LB: 70492 ... c Min unsat cost LB: 70497 ... c Min unsat cost LB: 70499 ... c Min unsat cost LB: 70505 ... c Min unsat cost LB: 70507 ... c Min unsat cost LB: 70508 ... c Min unsat cost LB: 70510 ... c Min unsat cost LB: 70512 ... c Min unsat cost LB: 70564 ... c Min unsat cost LB: 70571 ... c Min unsat cost LB: 70572 ... c Min unsat cost LB: 70574 ... c Min unsat cost LB: 70583 ... c Min unsat cost LB: 70584 ... c Min unsat cost LB: 70585 ... c Min unsat cost LB: 70589 ... c Min unsat cost LB: 70594 ... c Min unsat cost LB: 70595 ... c Min unsat cost LB: 70596 ... c Min unsat cost LB: 70600 ... c Min unsat cost LB: 70616 ... c Min unsat cost LB: 70632 ... c Min unsat cost LB: 70634 ... c Min unsat cost LB: 70644 ... c Min unsat cost LB: 70650 ... c Min unsat cost LB: 70657 ... c Min unsat cost LB: 70659 ... c Min unsat cost LB: 70663 ... c Min unsat cost LB: 70664 ... c Min unsat cost LB: 70665 ... c Min unsat cost LB: 70696 ... c Min unsat cost LB: 70713 ... c Min unsat cost LB: 70722 ... c Min unsat cost LB: 70725 ... c Min unsat cost LB: 70743 ... c Min unsat cost LB: 70773 ... c Min unsat cost LB: 70791 ... c Min unsat cost LB: 70793 ... c Min unsat cost LB: 70796 ... c Min unsat cost LB: 70802 ... c Min unsat cost LB: 70803 ... c Min unsat cost LB: 70811 ... c Min unsat cost LB: 70815 ... c Min unsat cost LB: 70819 ... c Min unsat cost LB: 70826 ... c Min unsat cost LB: 70860 ... c Min unsat cost LB: 70888 ... c Min unsat cost LB: 70909 ... c Min unsat cost LB: 70910 ... c Min unsat cost LB: 70916 ... c Min unsat cost LB: 70919 ... c Min unsat cost LB: 70929 ... c Min unsat cost LB: 70933 ... c Min unsat cost LB: 70935 ... c Min unsat cost LB: 70952 ... c Min unsat cost LB: 70969 ... c Min unsat cost LB: 70986 ... c Min unsat cost LB: 70988 ... c Min unsat cost LB: 70989 ... c Min unsat cost LB: 70991 ... c Min unsat cost LB: 70996 ... c Min unsat cost LB: 70998 ... c Min unsat cost LB: 71002 ... c Min unsat cost LB: 71005 ... c Min unsat cost LB: 71014 ... c Min unsat cost LB: 71038 ... c Min unsat cost LB: 71079 ... c Min unsat cost LB: 71082 ... c Min unsat cost LB: 71086 ... c Min unsat cost LB: 71088 ... c Min unsat cost LB: 71103 ... c Min unsat cost LB: 71104 ... c Min unsat cost LB: 71108 ... c Min unsat cost LB: 71111 ... c Min unsat cost LB: 71114 ... c Min unsat cost LB: 71115 ... c Min unsat cost LB: 71116 ... c Min unsat cost LB: 71130 ... c Min unsat cost LB: 71134 ... c Min unsat cost LB: 71164 ... c Min unsat cost LB: 71165 ... c Min unsat cost LB: 71204 ... c Min unsat cost LB: 71224 ... c Min unsat cost LB: 71228 ... c Min unsat cost LB: 71229 ... c Min unsat cost LB: 71231 ... c Min unsat cost LB: 71249 ... c Min unsat cost LB: 71275 ... c Min unsat cost LB: 71321 ... c Min unsat cost LB: 71324 ... c Min unsat cost LB: 71330 ... c Min unsat cost LB: 71333 ... c Min unsat cost LB: 71339 ... c Min unsat cost LB: 71354 ... c Min unsat cost LB: 71362 ... c Min unsat cost LB: 71390 ... c Min unsat cost LB: 71398 ... c Min unsat cost LB: 71399 ... c Min unsat cost LB: 71401 ... c Min unsat cost LB: 71405 ... c Min unsat cost LB: 71407 ... c Min unsat cost LB: 71409 ... c Min unsat cost LB: 71410 ... c Min unsat cost LB: 71426 ... c Min unsat cost LB: 71441 ... c Min unsat cost LB: 71442 ... c Min unsat cost LB: 71444 ... c Min unsat cost LB: 71454 ... c Min unsat cost LB: 71462 ... c Min unsat cost LB: 71468 ... c Min unsat cost LB: 71469 ... c Min unsat cost LB: 71476 ... c Min unsat cost LB: 71480 ... c Min unsat cost LB: 71481 ... c Min unsat cost LB: 71484 ... c Min unsat cost LB: 71485 ... c Min unsat cost LB: 71488 ... c Min unsat cost LB: 71500 ... c Min unsat cost LB: 71514 ... c Min unsat cost LB: 71515 ... c Min unsat cost LB: 71516 ... c Min unsat cost LB: 71518 ... c Min unsat cost LB: 71519 ... c Min unsat cost LB: 71520 ... c Min unsat cost LB: 71523 ... c Min unsat cost LB: 71533 ... c Min unsat cost LB: 71534 ... c Min unsat cost LB: 71535 ... c Min unsat cost LB: 71538 ... c Min unsat cost LB: 71539 ... c Min unsat cost LB: 71541 ... c Min unsat cost LB: 71543 ... c Min unsat cost LB: 71546 ... c Min unsat cost LB: 71548 ... c Min unsat cost LB: 71551 ... c Min unsat cost LB: 71581 ... c Min unsat cost LB: 71582 ... c Min unsat cost LB: 71584 ... c Min unsat cost LB: 71585 ... c Min unsat cost LB: 71598 ... c Min unsat cost LB: 71602 ... c Min unsat cost LB: 71603 ... c Min unsat cost LB: 71606 ... c Min unsat cost LB: 71611 ... c Min unsat cost LB: 71615 ... c Min unsat cost LB: 71616 ... c Min unsat cost LB: 71618 ... c Min unsat cost LB: 71633 ... c Min unsat cost LB: 71659 ... c Min unsat cost LB: 71662 ... c Min unsat cost LB: 71677 ... c Min unsat cost LB: 71682 ... c Min unsat cost LB: 71683 ... c Min unsat cost LB: 71684 ... c Min unsat cost LB: 71685 ... c Min unsat cost LB: 71751 ... c Min unsat cost LB: 71752 ... c Min unsat cost LB: 71757 ... c Min unsat cost LB: 71760 ... c Min unsat cost LB: 71776 ... c Min unsat cost LB: 71788 ... c Min unsat cost LB: 71792 ... c Min unsat cost LB: 71793 ... c Min unsat cost LB: 71825 ... c Min unsat cost LB: 71834 ... c Min unsat cost LB: 71838 ... c Min unsat cost LB: 71861 ... c Min unsat cost LB: 71879 ... c Min unsat cost LB: 71880 ... c Min unsat cost LB: 71913 ... c Min unsat cost LB: 71915 ... c Min unsat cost LB: 71919 ... c Min unsat cost LB: 71921 ... c Min unsat cost LB: 71924 ... c Min unsat cost LB: 71925 ... c Min unsat cost LB: 71926 ... c Min unsat cost LB: 71928 ... c Min unsat cost LB: 71929 ... c Min unsat cost LB: 71930 ... c Min unsat cost LB: 71931 ... c Min unsat cost LB: 71932 ... c Min unsat cost LB: 71933 ... c Min unsat cost LB: 71934 ... c Min unsat cost LB: 71935 ... c Min unsat cost LB: 71949 ... c Min unsat cost LB: 71956 ... c Min unsat cost LB: 71968 ... c Min unsat cost LB: 71971 ... c Min unsat cost LB: 72029 ... c Min unsat cost LB: 72031 ... c Min unsat cost LB: 72032 ... c Min unsat cost LB: 72039 ... c Min unsat cost LB: 72053 ... c Min unsat cost LB: 72054 ... c Min unsat cost LB: 72055 ... c Min unsat cost LB: 72056 ... c Min unsat cost LB: 72057 ... c Min unsat cost LB: 72059 ... c Min unsat cost LB: 72066 ... c Min unsat cost LB: 72077 ... c Min unsat cost LB: 72078 ... c Min unsat cost LB: 72079 ... c Min unsat cost LB: 72080 ... c Min unsat cost LB: 72081 ... c Min unsat cost LB: 72082 ... c Min unsat cost LB: 72085 ... c Min unsat cost LB: 72086 ... c Min unsat cost LB: 72087 ... c Min unsat cost LB: 72088 ... c Min unsat cost LB: 72094 ... c Min unsat cost LB: 72096 ... c Min unsat cost LB: 72099 ... c Min unsat cost LB: 72103 ... c Min unsat cost LB: 72107 ... c Min unsat cost LB: 72114 ... c Min unsat cost LB: 72127 ... c Min unsat cost LB: 72143 ... c Min unsat cost LB: 72149 ... c Min unsat cost LB: 72150 ... c Min unsat cost LB: 72152 ... c Min unsat cost LB: 72153 ... c Min unsat cost LB: 72154 ... c Min unsat cost LB: 72155 ... c Min unsat cost LB: 72156 ... c Min unsat cost LB: 72157 ... c Min unsat cost LB: 72161 ... c Min unsat cost LB: 72162 ... c Min unsat cost LB: 72175 ... c Min unsat cost LB: 72184 ... c Min unsat cost LB: 72187 ... c Min unsat cost LB: 72190 ... c Min unsat cost LB: 72192 ... c Min unsat cost LB: 72193 ... c Min unsat cost LB: 72194 ... c Min unsat cost LB: 72196 ... c Min unsat cost LB: 72200 ... c Min unsat cost LB: 72201 ... c Min unsat cost LB: 72206 ... c Min unsat cost LB: 72212 ... c Min unsat cost LB: 72214 ... c Min unsat cost LB: 72221 ... c Min unsat cost LB: 72228 ... c Min unsat cost LB: 72234 ... c Min unsat cost LB: 72235 ... c Min unsat cost LB: 72236 ... c Min unsat cost LB: 72237 ... c Min unsat cost LB: 72269 ... c Min unsat cost LB: 72274 ... c Min unsat cost LB: 72275 ... c Min unsat cost LB: 72276 ... c Min unsat cost LB: 72277 ... c Min unsat cost LB: 72281 ... c Min unsat cost LB: 72284 ... c Min unsat cost LB: 72288 ... c Min unsat cost LB: 72289 ... c Min unsat cost LB: 72298 ... c Min unsat cost LB: 72314 ... c Min unsat cost LB: 72324 ... c Min unsat cost LB: 72336 ... c Min unsat cost LB: 72339 ... c Min unsat cost LB: 72341 ... c Min unsat cost LB: 72342 ... c Min unsat cost LB: 72357 ... c Min unsat cost LB: 72358 ... c Min unsat cost LB: 72374 ... c Min unsat cost LB: 72456 ... c Min unsat cost LB: 72458 ... c Min unsat cost LB: 72459 ... c Min unsat cost LB: 72461 ... c Min unsat cost LB: 72463 ... c Min unsat cost LB: 72470 ... c Min unsat cost LB: 72485 ... c Min unsat cost LB: 72486 ... c Min unsat cost LB: 72488 ... c Min unsat cost LB: 72490 ... c Min unsat cost LB: 72491 ... c Min unsat cost LB: 72494 ... c Min unsat cost LB: 72495 ... c Min unsat cost LB: 72497 ... c Min unsat cost LB: 72693 ... c Min unsat cost LB: 72695 ... c Min unsat cost LB: 72696 ... c Min unsat cost LB: 72697 ... c Min unsat cost LB: 72698 ... c Min unsat cost LB: 72699 ... c Min unsat cost LB: 72703 ... c Min unsat cost LB: 72729 ... c Min unsat cost LB: 72783 ... c Min unsat cost LB: 72798 ... c Min unsat cost LB: 72799 ... c Min unsat cost LB: 72809 ... c Min unsat cost LB: 72813 ... c Min unsat cost LB: 72814 ... c Min unsat cost LB: 72837 ... c Min unsat cost LB: 72838 ... c Min unsat cost LB: 72839 ... c Min unsat cost LB: 72840 ... c Min unsat cost LB: 72841 ... c Min unsat cost LB: 72842 ... c Min unsat cost LB: 72843 ... c Min unsat cost LB: 72844 ... c Min unsat cost LB: 72845 ... c Min unsat cost LB: 72846 ... c Min unsat cost LB: 72850 ... c Min unsat cost LB: 72851 ... c Min unsat cost LB: 72852 ... c Min unsat cost LB: 72853 ... c Min unsat cost LB: 72854 ... c Min unsat cost LB: 72855 ... c Min unsat cost LB: 72856 ... c Min unsat cost LB: 72857 ... c Min unsat cost LB: 72860 ... c Min unsat cost LB: 72862 ... c Min unsat cost LB: 72865 ... c Min unsat cost LB: 72868 ... c Min unsat cost LB: 72869 ... c Min unsat cost LB: 72870 ... c Min unsat cost LB: 72871 ... c Min unsat cost LB: 72872 ... c Min unsat cost LB: 72873 ... c Min unsat cost LB: 72874 ... c Min unsat cost LB: 72884 ... c Min unsat cost LB: 72887 ... c Min unsat cost LB: 72892 ... c Min unsat cost LB: 72895 ... c Min unsat cost LB: 72897 ... c Min unsat cost LB: 72898 ... c Min unsat cost LB: 72900 ... c Min unsat cost LB: 72901 ... c Min unsat cost LB: 72914 ... c Min unsat cost LB: 72915 ... c Min unsat cost LB: 72916 ... c Min unsat cost LB: 72926 ... c Min unsat cost LB: 72932 ... c Min unsat cost LB: 72935 ... c Min unsat cost LB: 72937 ... c Min unsat cost LB: 72938 ... c Min unsat cost LB: 72941 ... c Min unsat cost LB: 72942 ... c Min unsat cost LB: 72947 ... c Min unsat cost LB: 72948 ... c Min unsat cost LB: 72949 ... c Min unsat cost LB: 72950 ... c Min unsat cost LB: 72951 ... c Min unsat cost LB: 72952 ... c Min unsat cost LB: 72954 ... c Min unsat cost LB: 72955 ... c Min unsat cost LB: 72956 ... c Min unsat cost LB: 72957 ... c Min unsat cost LB: 72964 ... c Min unsat cost LB: 72971 ... c Min unsat cost LB: 72973 ... c Min unsat cost LB: 72987 ... c Min unsat cost LB: 72989 ... c Min unsat cost LB: 72990 ... c Min unsat cost LB: 72992 ... c Min unsat cost LB: 72993 ... c Min unsat cost LB: 72994 ... c Min unsat cost LB: 72997 ... c Min unsat cost LB: 72998 ... c Min unsat cost LB: 72999 ... c Min unsat cost LB: 73001 ... c Min unsat cost LB: 73002 ... c Min unsat cost LB: 73005 ... c Min unsat cost LB: 73006 ... c Min unsat cost LB: 73007 ... c Min unsat cost LB: 73009 ... c Min unsat cost LB: 73011 ... c Min unsat cost LB: 73012 ... c Min unsat cost LB: 73013 ... c Min unsat cost LB: 73014 ... c Min unsat cost LB: 73015 ... c Min unsat cost LB: 73016 ... c Min unsat cost LB: 73017 ... c Min unsat cost LB: 73027 ... c Min unsat cost LB: 73029 ... c Min unsat cost LB: 73031 ... c Min unsat cost LB: 73034 ... c Min unsat cost LB: 73035 ... c Min unsat cost LB: 73036 ... c Min unsat cost LB: 73037 ... c Min unsat cost LB: 73038 ... c Min unsat cost LB: 73039 ... c Min unsat cost LB: 73040 ... c Min unsat cost LB: 73041 ... c Min unsat cost LB: 73042 ... c Min unsat cost LB: 73043 ... c Min unsat cost LB: 73047 ... c Min unsat cost LB: 73049 ... c Min unsat cost LB: 73050 ... c Min unsat cost LB: 73051 ... c Min unsat cost LB: 73052 ... c Min unsat cost LB: 73056 ... c Min unsat cost LB: 73057 ... c Min unsat cost LB: 73058 ... c Min unsat cost LB: 73059 ... c Min unsat cost LB: 73060 ... c Min unsat cost LB: 73061 ... c Min unsat cost LB: 73063 ... c Min unsat cost LB: 73064 ... c Min unsat cost LB: 73065 ... c Min unsat cost LB: 73067 ... c Min unsat cost LB: 73068 ... c Min unsat cost LB: 73069 ... c Min unsat cost LB: 73070 ... c Min unsat cost LB: 73071 ... c Min unsat cost LB: 73072 ... c Min unsat cost LB: 73073 ... c Min unsat cost LB: 73076 ... c Min unsat cost LB: 73077 ... c Min unsat cost LB: 73082 ... c Min unsat cost LB: 73083 ... c Min unsat cost LB: 73084 ... c Min unsat cost LB: 73086 ... c Min unsat cost LB: 73087 ... c Min unsat cost LB: 73088 ... c Min unsat cost LB: 73089 ... c Min unsat cost LB: 73090 ... c Min unsat cost LB: 73166 ... c Min unsat cost LB: 73167 ... c Min unsat cost LB: 73168 ... c Min unsat cost LB: 73169 ... c Min unsat cost LB: 73179 ... c Min unsat cost LB: 73182 ... c Min unsat cost LB: 73186 ... c Min unsat cost LB: 73187 ... c Min unsat cost LB: 73190 ... c Min unsat cost LB: 73194 ... c Min unsat cost LB: 73195 ... c Min unsat cost LB: 73196 ... c Min unsat cost LB: 73204 ... c Min unsat cost LB: 73205 ... c Min unsat cost LB: 73206 ... c Min unsat cost LB: 73207 ... c Min unsat cost LB: 73208 ... c Min unsat cost LB: 73210 ... c Min unsat cost LB: 73211 ... c Min unsat cost LB: 73216 ... c Min unsat cost LB: 73217 ... c Min unsat cost LB: 73218 ... c Min unsat cost LB: 73219 ... c Min unsat cost LB: 73220 ... c Min unsat cost LB: 73221 ... c Min unsat cost LB: 73222 ... c Min unsat cost LB: 73223 ... c Min unsat cost LB: 73224 ... c Min unsat cost LB: 73225 ... c Min unsat cost LB: 73226 ... c Min unsat cost LB: 73227 ... c Min unsat cost LB: 73228 ... c Min unsat cost LB: 73229 ... c Min unsat cost LB: 73231 ... c Min unsat cost LB: 73232 ... c Min unsat cost LB: 73234 ... c Min unsat cost LB: 73235 ... c Min unsat cost LB: 73236 ... c Min unsat cost LB: 73237 ... c Min unsat cost LB: 73238 ... c Min unsat cost LB: 73239 ... c Min unsat cost LB: 73240 ... c Min unsat cost LB: 73243 ... c Min unsat cost LB: 73244 ... c Min unsat cost LB: 73245 ... c Min unsat cost LB: 73246 ... c Min unsat cost LB: 73247 ... c Min unsat cost LB: 73248 ... c Min unsat cost LB: 73249 ... c Min unsat cost LB: 73250 ... c Min unsat cost LB: 73251 ... c Min unsat cost LB: 73253 ... c Min unsat cost LB: 73254 ... c Min unsat cost LB: 73255 ... c Min unsat cost LB: 73256 ... c Min unsat cost LB: 73257 ... c Min unsat cost LB: 73258 ... c Min unsat cost LB: 73259 ... c Min unsat cost LB: 73260 ... c Min unsat cost LB: 73265 ... c Min unsat cost LB: 73267 ... c Min unsat cost LB: 73268 ... c Min unsat cost LB: 73269 ... c Min unsat cost LB: 73271 ... c Min unsat cost LB: 73272 ... c Min unsat cost LB: 73273 ... c Min unsat cost LB: 73279 ... c Min unsat cost LB: 73282 ... c Min unsat cost LB: 73284 ... c Min unsat cost LB: 73285 ... c Min unsat cost LB: 73286 ... c Min unsat cost LB: 73288 ... c Min unsat cost LB: 73289 ... c Min unsat cost LB: 73292 ... c Min unsat cost LB: 73293 ... c Min unsat cost LB: 73294 ... c Min unsat cost LB: 73296 ... c Min unsat cost LB: 73297 ... c Min unsat cost LB: 73298 ... c Min unsat cost LB: 73299 ... c Min unsat cost LB: 73300 ... c Min unsat cost LB: 73306 ... c Min unsat cost LB: 73307 ... c Min unsat cost LB: 73308 ... c Min unsat cost LB: 73309 ... c Min unsat cost LB: 73310 ... c Min unsat cost LB: 73311 ... c Min unsat cost LB: 73312 ... c Min unsat cost LB: 73322 ... c Min unsat cost LB: 73323 ... c Min unsat cost LB: 73324 ... c Min unsat cost LB: 73327 ... c Min unsat cost LB: 73328 ... c Min unsat cost LB: 73329 ... c Min unsat cost LB: 73330 ... c Min unsat cost LB: 73331 ... c Min unsat cost LB: 73333 ... c Min unsat cost LB: 73334 ... c Min unsat cost LB: 73335 ... c Min unsat cost LB: 73336 ... c Min unsat cost LB: 73337 ... c Min unsat cost LB: 73338 ... c Min unsat cost LB: 73339 ... c Min unsat cost LB: 73340 ... c Min unsat cost LB: 73341 ... c Min unsat cost LB: 73342 ... c Min unsat cost LB: 73344 ... c Min unsat cost LB: 73346 ... c Min unsat cost LB: 73347 ... c Min unsat cost LB: 73348 ... c Min unsat cost LB: 73349 ... c Min unsat cost LB: 73350 ... c Min unsat cost LB: 73354 ... c Min unsat cost LB: 73355 ... c Min unsat cost LB: 73356 ... c Min unsat cost LB: 73357 ... c Min unsat cost LB: 73358 ... c Min unsat cost LB: 73360 ... c Min unsat cost LB: 73361 ... c Min unsat cost LB: 73363 ... c Min unsat cost LB: 73365 ... c Min unsat cost LB: 73366 ... c Min unsat cost LB: 73367 ... c Min unsat cost LB: 73380 ... c Min unsat cost LB: 73387 ... c Min unsat cost LB: 73392 ... c Min unsat cost LB: 73393 ... c Min unsat cost LB: 73394 ... c Min unsat cost LB: 73395 ... c Min unsat cost LB: 73396 ... c Min unsat cost LB: 73397 ... c Min unsat cost LB: 73398 ... c Min unsat cost LB: 73399 ... c Min unsat cost LB: 73400 ... c Min unsat cost LB: 73401 ... c Min unsat cost LB: 73402 ... c Min unsat cost LB: 73403 ... c Min unsat cost LB: 73404 ... c Min unsat cost LB: 73405 ... c Min unsat cost LB: 73408 ... c Min unsat cost LB: 73409 ... c Min unsat cost LB: 73411 ... c Min unsat cost LB: 73413 ... c Min unsat cost LB: 73416 ... c Min unsat cost LB: 73417 ... c Min unsat cost LB: 73418 ... c Min unsat cost LB: 73419 ... c Min unsat cost LB: 73420 ... c Min unsat cost LB: 73421 ... c Min unsat cost LB: 73422 ... c Min unsat cost LB: 73423 ... c Min unsat cost LB: 73424 ... c Min unsat cost LB: 73425 ... c Min unsat cost LB: 73426 ... c Min unsat cost LB: 73427 ... c Min unsat cost LB: 73428 ... c Min unsat cost LB: 73429 ... c Min unsat cost LB: 73430 ... c Min unsat cost LB: 73431 ... c Min unsat cost LB: 73432 ... c Min unsat cost LB: 73433 ... c Min unsat cost LB: 73434 ... c Min unsat cost LB: 73435 ... c Min unsat cost LB: 73436 ... c Min unsat cost LB: 73437 ... c Min unsat cost LB: 73438 ... c Min unsat cost LB: 73439 ... c Min unsat cost LB: 73440 ... c Min unsat cost LB: 73443 ... c Min unsat cost LB: 73444 ... c Min unsat cost LB: 73445 ... c Min unsat cost LB: 73446 ... c Min unsat cost LB: 73454 ... c Min unsat cost LB: 73455 ... c Min unsat cost LB: 73460 ... c Min unsat cost LB: 73461 ... c Min unsat cost LB: 73462 ... c Min unsat cost LB: 73463 ... c Min unsat cost LB: 73464 ... c Min unsat cost LB: 73466 ... c Min unsat cost LB: 73468 ... c Min unsat cost LB: 73469 ... c Min unsat cost LB: 73470 ... c Min unsat cost LB: 73471 ... c Min unsat cost LB: 73472 ... c Min unsat cost LB: 73473 ... c Min unsat cost LB: 73474 ... c Min unsat cost LB: 73475 ... c Min unsat cost LB: 73476 ... c Min unsat cost LB: 73477 ... c Min unsat cost LB: 73478 ... c Min unsat cost LB: 73479 ... c Min unsat cost LB: 73480 ... c Min unsat cost LB: 73481 ... c Min unsat cost LB: 73482 ... c Min unsat cost LB: 73483 ... c Min unsat cost LB: 73484 ... c Min unsat cost LB: 73485 ... c Min unsat cost LB: 73486 ... c Min unsat cost LB: 73487 ... c Min unsat cost LB: 73488 ... c Min unsat cost LB: 73489 ... c Min unsat cost LB: 73490 ... c Min unsat cost LB: 73491 ... c Min unsat cost LB: 73492 ... c Min unsat cost LB: 73493 ... c Min unsat cost LB: 73494 ... c Min unsat cost LB: 73495 ... c Min unsat cost LB: 73496 ... c Min unsat cost LB: 73497 ... c Min unsat cost LB: 73498 ... c Min unsat cost LB: 73499 ... c Min unsat cost Killed 1813.046u 6.692s 30:20.11 99.9% 0+0k 0+0io 0pf+0w