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_110_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0000.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_110_0000.txt.wcnf *** c c Min unsat cost LB: 882 ... c Min unsat cost LB: 1523 ... c Min unsat cost LB: 2450 ... c Min unsat cost LB: 2609 ... c Min unsat cost LB: 3536 ... c Min unsat cost LB: 4302 ... c Min unsat cost LB: 4976 ... c Min unsat cost LB: 5351 ... c Min unsat cost LB: 5992 ... c Min unsat cost LB: 6095 ... c Min unsat cost LB: 6352 ... c Min unsat cost LB: 6511 ... c Min unsat cost LB: 6777 ... c Min unsat cost LB: 6845 ... c Min unsat cost LB: 7628 ... c Min unsat cost LB: 7894 ... c Min unsat cost LB: 8457 ... c Min unsat cost LB: 9177 ... c Min unsat cost LB: 9907 ... c Min unsat cost LB: 10217 ... c Min unsat cost LB: 10817 ... c Min unsat cost LB: 11406 ... c Min unsat cost LB: 11688 ... c Min unsat cost LB: 11836 ... c Min unsat cost LB: 11983 ... c Min unsat cost LB: 12572 ... c Min unsat cost LB: 13396 ... c Min unsat cost LB: 14219 ... c Min unsat cost LB: 14819 ... c Min unsat cost LB: 14996 ... c Min unsat cost LB: 15054 ... c Min unsat cost LB: 15730 ... c Min unsat cost LB: 15815 ... c Min unsat cost LB: 16567 ... c Min unsat cost LB: 16595 ... c Min unsat cost LB: 16626 ... c Min unsat cost LB: 17537 ... c Min unsat cost LB: 18318 ... c Min unsat cost LB: 18805 ... c Min unsat cost LB: 18890 ... c Min unsat cost LB: 19200 ... c Min unsat cost LB: 19508 ... c Min unsat cost LB: 20238 ... c Min unsat cost LB: 20795 ... c Min unsat cost LB: 21013 ... c Min unsat cost LB: 21120 ... c Min unsat cost LB: 21647 ... c Min unsat cost LB: 22351 ... c Min unsat cost LB: 22612 ... c Min unsat cost LB: 22924 ... c Min unsat cost LB: 23289 ... c Min unsat cost LB: 24093 ... c Min unsat cost LB: 24141 ... c Min unsat cost LB: 24172 ... c Min unsat cost LB: 24772 ... c Min unsat cost LB: 25029 ... c Min unsat cost LB: 25683 ... c Min unsat cost LB: 25716 ... c Min unsat cost LB: 25741 ... c Min unsat cost LB: 25964 ... c Min unsat cost LB: 25981 ... c Min unsat cost LB: 26414 ... c Min unsat cost LB: 26436 ... c Min unsat cost LB: 26985 ... c Min unsat cost LB: 27483 ... c Min unsat cost LB: 28213 ... c Min unsat cost LB: 28218 ... c Min unsat cost LB: 29042 ... c Min unsat cost LB: 29784 ... c Min unsat cost LB: 30531 ... c Min unsat cost LB: 31012 ... c Min unsat cost LB: 31445 ... c Min unsat cost LB: 31795 ... c Min unsat cost LB: 32571 ... c Min unsat cost LB: 32622 ... c Min unsat cost LB: 32945 ... c Min unsat cost LB: 33378 ... c Min unsat cost LB: 33454 ... c Min unsat cost LB: 33635 ... c Min unsat cost LB: 33945 ... c Min unsat cost LB: 33970 ... c Min unsat cost LB: 34280 ... c Min unsat cost LB: 35022 ... c Min unsat cost LB: 35104 ... c Min unsat cost LB: 35336 ... c Min unsat cost LB: 35358 ... c Min unsat cost LB: 36062 ... c Min unsat cost LB: 36247 ... c Min unsat cost LB: 36354 ... c Min unsat cost LB: 36669 ... c Min unsat cost LB: 36846 ... c Min unsat cost LB: 37194 ... c Min unsat cost LB: 37320 ... c Min unsat cost LB: 37371 ... c Min unsat cost LB: 38151 ... c Min unsat cost LB: 38700 ... c Min unsat cost LB: 39078 ... c Min unsat cost LB: 40103 ... c Min unsat cost LB: 40183 ... c Min unsat cost LB: 40534 ... c Min unsat cost LB: 40904 ... c Min unsat cost LB: 40960 ... c Min unsat cost LB: 41461 ... c Min unsat cost LB: 41684 ... c Min unsat cost LB: 41898 ... c Min unsat cost LB: 41923 ... c Min unsat cost LB: 42194 ... c Min unsat cost LB: 42199 ... c Min unsat cost LB: 42358 ... c Min unsat cost LB: 42560 ... c Min unsat cost LB: 42572 ... c Min unsat cost LB: 42880 ... c Min unsat cost LB: 42937 ... c Min unsat cost LB: 43035 ... c Min unsat cost LB: 43165 ... c Min unsat cost LB: 43245 ... c Min unsat cost LB: 43276 ... c Min unsat cost LB: 43324 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 43650 ... c Min unsat cost LB: 43660 ... c Min unsat cost LB: 43711 ... c Min unsat cost LB: 43721 ... c Min unsat cost LB: 43942 ... c Min unsat cost LB: 43967 ... c Min unsat cost LB: 44224 ... c Min unsat cost LB: 44275 ... c Min unsat cost LB: 44326 ... c Min unsat cost LB: 44434 ... c Min unsat cost LB: 44507 ... c Min unsat cost LB: 44516 ... c Min unsat cost LB: 44547 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 44629 ... c Min unsat cost LB: 44711 ... c Min unsat cost LB: 44921 ... c Min unsat cost LB: 45078 ... c Min unsat cost LB: 45236 ... c Min unsat cost LB: 45253 ... c Min unsat cost LB: 45255 ... c Min unsat cost LB: 45275 ... c Min unsat cost LB: 45286 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45333 ... c Min unsat cost LB: 45349 ... c Min unsat cost LB: 45356 ... c Min unsat cost LB: 45370 ... c Min unsat cost LB: 45378 ... c Min unsat cost LB: 45476 ... c Min unsat cost LB: 45569 ... c Min unsat cost LB: 45574 ... c Min unsat cost LB: 45637 ... c Min unsat cost LB: 45670 ... c Min unsat cost LB: 45720 ... c Min unsat cost LB: 45724 ... c Min unsat cost LB: 45735 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 45769 ... c Min unsat cost LB: 45861 ... c Min unsat cost LB: 45902 ... c Min unsat cost LB: 45987 ... c Min unsat cost LB: 45997 ... c Min unsat cost LB: 46465 ... c Min unsat cost LB: 46490 ... c Min unsat cost LB: 46499 ... c Min unsat cost LB: 46639 ... c Min unsat cost LB: 46710 ... c Min unsat cost LB: 46772 ... c Min unsat cost LB: 46799 ... c Min unsat cost LB: 46852 ... c Min unsat cost LB: 46859 ... c Min unsat cost LB: 46942 ... c Min unsat cost LB: 47003 ... c Min unsat cost LB: 47050 ... c Min unsat cost LB: 47130 ... c Min unsat cost LB: 47165 ... c Min unsat cost LB: 47209 ... c Min unsat cost LB: 47233 ... c Min unsat cost LB: 47269 ... c Min unsat cost LB: 47538 ... c Min unsat cost LB: 47716 ... c Min unsat cost LB: 47723 ... c Min unsat cost LB: 47767 ... c Min unsat cost LB: 47784 ... c Min unsat cost LB: 47862 ... c Min unsat cost LB: 47866 ... c Min unsat cost LB: 47947 ... c Min unsat cost LB: 48000 ... c Min unsat cost LB: 48228 ... c Min unsat cost LB: 48333 ... c Min unsat cost LB: 48435 ... c Min unsat cost LB: 48502 ... c Min unsat cost LB: 48524 ... c Min unsat cost LB: 48558 ... c Min unsat cost LB: 48612 ... c Min unsat cost LB: 48622 ... c Min unsat cost LB: 48669 ... c Min unsat cost LB: 48886 ... c Min unsat cost LB: 48909 ... c Min unsat cost LB: 48994 ... c Min unsat cost LB: 49179 ... c Min unsat cost LB: 49186 ... c Min unsat cost LB: 49226 ... c Min unsat cost LB: 49277 ... c Min unsat cost LB: 49287 ... c Min unsat cost LB: 49299 ... c Min unsat cost LB: 49335 ... c Min unsat cost LB: 49400 ... c Min unsat cost LB: 49413 ... c Min unsat cost LB: 49430 ... c Min unsat cost LB: 49440 ... c Min unsat cost LB: 49442 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 49497 ... c Min unsat cost LB: 49501 ... c Min unsat cost LB: 49528 ... c Min unsat cost LB: 49537 ... c Min unsat cost LB: 49541 ... c Min unsat cost LB: 49568 ... c Min unsat cost LB: 49572 ... c Min unsat cost LB: 49604 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49614 ... c Min unsat cost LB: 49617 ... c Min unsat cost LB: 49620 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49655 ... c Min unsat cost LB: 49656 ... c Min unsat cost LB: 49669 ... c Min unsat cost LB: 49702 ... c Min unsat cost LB: 49706 ... c Min unsat cost LB: 49708 ... c Min unsat cost LB: 49733 ... c Min unsat cost LB: 49734 ... c Min unsat cost LB: 49760 ... c Min unsat cost LB: 49779 ... c Min unsat cost LB: 49790 ... c Min unsat cost LB: 49791 ... c Min unsat cost LB: 49799 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49817 ... c Min unsat cost LB: 49891 ... c Min unsat cost LB: 49906 ... c Min unsat cost LB: 49920 ... c Min unsat cost LB: 49928 ... c Min unsat cost LB: 49932 ... c Min unsat cost LB: 49953 ... c Min unsat cost LB: 49978 ... c Min unsat cost LB: 49990 ... c Min unsat cost LB: 49991 ... c Min unsat cost LB: 49999 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50007 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50032 ... c Min unsat cost LB: 50041 ... c Min unsat cost LB: 50077 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50086 ... c Min unsat cost LB: 50099 ... c Min unsat cost LB: 50160 ... c Min unsat cost LB: 50164 ... c Min unsat cost LB: 50166 ... c Min unsat cost LB: 50190 ... c Min unsat cost LB: 50274 ... c Min unsat cost LB: 50296 ... c Min unsat cost LB: 50298 ... c Min unsat cost LB: 50299 ... c Min unsat cost LB: 50300 ... c Min unsat cost LB: 50304 ... c Min unsat cost LB: 50306 ... c Min unsat cost LB: 50308 ... c Min unsat cost LB: 50312 ... c Min unsat cost LB: 50323 ... c Min unsat cost LB: 50331 ... c Min unsat cost LB: 50347 ... c Min unsat cost LB: 50382 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50484 ... c Min unsat cost LB: 50493 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50505 ... c Min unsat cost LB: 50506 ... c Min unsat cost LB: 50509 ... c Min unsat cost LB: 50511 ... c Min unsat cost LB: 50512 ... c Min unsat cost LB: 50516 ... c Min unsat cost LB: 50520 ... c Min unsat cost LB: 50523 ... c Min unsat cost LB: 50528 ... c Min unsat cost LB: 50540 ... c Min unsat cost LB: 50570 ... c Min unsat cost LB: 50571 ... c Min unsat cost LB: 50581 ... c Min unsat cost LB: 50582 ... c Min unsat cost LB: 50585 ... c Min unsat cost LB: 50591 ... c Min unsat cost LB: 50592 ... c Min unsat cost LB: 50595 ... c Min unsat cost LB: 50596 ... c Min unsat cost LB: 50597 ... c Min unsat cost LB: 50599 ... c Min unsat cost LB: 50600 ... c Min unsat cost LB: 50606 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50610 ... c Min unsat cost LB: 50613 ... c Min unsat cost LB: 50614 ... c Min unsat cost LB: 50626 ... c Min unsat cost LB: 50638 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50656 ... c Min unsat cost LB: 50660 ... c Min unsat cost LB: 50668 ... c Min unsat cost LB: 50672 ... c Min unsat cost LB: 50674 ... c Min unsat cost LB: 50675 ... c Min unsat cost LB: 50745 ... c Min unsat cost LB: 50748 ... c Min unsat cost LB: 50753 ... c Min unsat cost LB: 50754 ... c Min unsat cost LB: 50758 ... c Min unsat cost LB: 50775 ... c Min unsat cost LB: 50781 ... c Min unsat cost LB: 50782 ... c Min unsat cost LB: 50786 ... c Min unsat cost LB: 50789 ... c Min unsat cost LB: 50791 ... c Min unsat cost LB: 50801 ... c Min unsat cost LB: 50802 ... c Min unsat cost LB: 50806 ... c Min unsat cost LB: 50807 ... c Min unsat cost LB: 50809 ... c Min unsat cost LB: 50810 ... c Min unsat cost LB: 50811 ... c Min unsat cost LB: 50812 ... c Min unsat cost LB: 50818 ... c Min unsat cost LB: 50819 ... c Min unsat cost LB: 50903 ... c Min unsat cost LB: 50908 ... c Min unsat cost LB: 50909 ... c Min unsat cost LB: 50975 ... c Min unsat cost LB: 50991 ... c Min unsat cost LB: 51040 ... c Min unsat cost LB: 51044 ... c Min unsat cost LB: 51100 ... c Min unsat cost LB: 51146 ... c Min unsat cost LB: 51149 ... c Min unsat cost LB: 51150 ... c Min unsat cost LB: 51151 ... c Min unsat cost LB: 51153 ... c Min unsat cost LB: 51154 ... c Min unsat cost LB: 51155 ... c Min unsat cost LB: 51157 ... c Min unsat cost LB: 51158 ... c Min unsat cost LB: 51159 ... c Min unsat cost LB: 51160 ... c Min unsat cost LB: 51161 ... c Min unsat cost LB: 51165 ... c Min unsat cost LB: 51166 ... c Min unsat cost LB: 51167 ... c Min unsat cost LB: 51168 ... c Min unsat cost LB: 51169 ... c Min unsat cost LB: 51172 ... c Min unsat cost LB: 51176 ... c Min unsat cost LB: 51178 ... c Min unsat cost LB: 51179 ... c Min unsat cost LB: 51181 ... c Min unsat cost LB: 51182 ... c Min unsat cost LB: 51186 ... c Min unsat cost LB: 51187 ... c Min unsat cost LB: 51188 ... c Min unsat cost LB: 51189 ... c Min unsat cost LB: 51190 ... c Min unsat cost LB: 51192 ... c Min unsat cost LB: 51193 ... c Min unsat cost LB: 51194 ... c Min unsat cost LB: 51198 ... c Min unsat cost LB: 51199 ... c Min unsat cost LB: 51203 ... c Min unsat cost LB: 51204 ... c Min unsat cost LB: 51206 ... c Min unsat cost LB: 51208 ... c Min unsat cost LB: 51211 ... c Min unsat cost LB: 51213 ... c Min unsat cost LB: 51235 ... c Min unsat cost LB: 51236 ... c Min unsat cost LB: 51249 ... c Min unsat cost LB: 51254 ... c Min unsat cost LB: 51258 ... c Min unsat cost LB: 51283 ... c Min unsat cost LB: 51285 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51342 ... c Min unsat cost LB: 51344 ... c Min unsat cost LB: 51347 ... c Min unsat cost LB: 51370 ... c Min unsat cost LB: 51371 ... c Min unsat cost LB: 51402 ... c Min unsat cost LB: 51403 ... c Min unsat cost LB: 51419 ... c Min unsat cost LB: 51420 ... c Min unsat cost LB: 51421 ... c Min unsat cost LB: 51423 ... c Min unsat cost LB: 51427 ... c Min unsat cost LB: 51428 ... c Min unsat cost LB: 51429 ... c Min unsat cost LB: 51430 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51435 ... c Min unsat cost LB: 51437 ... c Min unsat cost LB: 51439 ... c Min unsat cost LB: 51442 ... c Min unsat cost LB: 51443 ... c Min unsat cost LB: 51447 ... c Min unsat cost LB: 51449 ... c Min unsat cost LB: 51450 ... c Min unsat cost LB: 51451 ... c Min unsat cost LB: 51467 ... c Min unsat cost LB: 51468 ... c Min unsat cost LB: 51469 ... c Min unsat cost LB: 51470 ... c Min unsat cost LB: 51472 ... c Min unsat cost LB: 51474 ... c Min unsat cost LB: 51475 ... c Min unsat cost LB: 51476 ... c Min unsat cost LB: 51477 ... c Min unsat cost LB: 51478 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51484 ... c Min unsat cost LB: 51490 ... c Min unsat cost LB: 51491 ... c Min unsat cost LB: 51492 ... c Min unsat cost LB: 51493 ... c Min unsat cost LB: 51494 ... c Min unsat cost LB: 51495 ... c Min unsat cost LB: 51496 ... c Min unsat cost LB: 51497 ... c Min unsat cost LB: 51498 ... c Min unsat cost LB: 51499 ... c Min unsat cost LB: 51500 ... c Min unsat cost LB: 51501 ... c Min unsat cost LB: 51504 ... c Min unsat cost LB: 51506 ... c Min unsat cost LB: 51507 ... c Min unsat cost LB: 51508 ... c Min unsat cost LB: 51526 ... c Min unsat cost LB: 51532 ... c Min unsat cost LB: 51533 ... c Min unsat cost LB: 51535 ... c Min unsat cost LB: 51536 ... c Min unsat cost LB: 51537 ... c Min unsat cost LB: 51540 ... c Min unsat cost LB: 51541 ... c Min unsat cost LB: 51543 ... c Min unsat cost LB: 51544 ... c Min unsat cost LB: 51545 ... c Min unsat cost LB: 51546 ... c Min unsat cost LB: 51548 ... c Min unsat cost LB: 51556 ... c Min unsat cost LB: 51565 ... c Min unsat cost LB: 51567 ... c Min unsat cost LB: 51568 ... c Min unsat cost LB: 51570 ... c Min unsat cost LB: 51571 ... c Min unsat cost LB: 51573 ... c Min unsat cost LB: 51583 ... c Min unsat cost LB: 51586 ... c Min unsat cost LB: 51634 ... c Min unsat cost LB: 51635 ... c Min unsat cost LB: 51636 ... c Min unsat cost LB: 51637 ... c Min unsat cost LB: 51638 ... c Min unsat cost LB: 51639 ... c Min unsat cost LB: 51640 ... c Min unsat cost LB: 51641 ... c Min unsat cost LB: 51642 ... c Min unsat cost LB: 51643 ... c Min unsat cost LB: 51644 ... c Min unsat cost LB: 51645 ... c Min unsat cost LB: 51646 ... c Min unsat cost LB: 51647 ... c Min unsat cost LB: 51648 ... c Min unsat cost LB: 51649 ... c Min unsat cost LB: 51654 ... c Min unsat cost LB: 51655 ... c Min unsat cost LB: 51656 ... c Min unsat cost LB: 51676 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51719 ... c Min unsat cost LB: 51723 ... c Min unsat cost LB: 51724 ... c Min unsat cost LB: 51726 ... c Min unsat cost LB: 51727 ... c Min unsat cost LB: 51728 ... c Min unsat cost LB: 51729 ... c Min unsat cost LB: 51734 ... c Min unsat cost LB: 51748 ... c Min unsat cost LB: 51749 ... c Min unsat cost LB: 51750 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 51752 ... c Min unsat cost LB: 51753 ... c Min unsat cost LB: 51754 ... c Min unsat cost LB: 51755 ... c Min unsat cost LB: 51756 ... c Min unsat cost LB: 51757 ... c Min unsat cost LB: 51758 ... c Min unsat cost LB: 51761 ... c Min unsat cost LB: 51762 ... c Min unsat cost LB: 51763 ... c Min unsat cost LB: 51767 ... c Min unsat cost LB: 51777 ... c Min unsat cost LB: 51778 ... c Min unsat cost LB: 51779 ... c Min unsat cost LB: 51780 ... c Min unsat cost LB: 51781 ... c Min unsat cost LB: 51782 ... c Min unsat cost LB: 51783 ... c Min unsat cost LB: 51784 ... c Min unsat cost LB: 51785 ... c Min unsat cost LB: 51789 ... c Min unsat cost LB: 51791 ... c Min unsat cost LB: 51793 ... c Min unsat cost LB: 51797 ... c Min unsat cost LB: 51800 ... c Min unsat cost LB: 51801 ... c Min unsat cost LB: 51802 ... c Min unsat cost LB: 51803 ... c Min unsat cost LB: 51804 ... c Min unsat cost LB: 51805 ... c Min unsat cost LB: 51806 ... c Min unsat cost LB: 51807 ... c Min unsat cost LB: 51815 ... c Min unsat cost LB: 51816 ... c Min unsat cost LB: 51817 ... c Min unsat cost LB: 51818 ... c Min unsat cost LB: 51819 ... c Min unsat cost LB: 51820 ... c Min unsat cost LB: 51821 ... c Min unsat cost LB: 51823 ... c Min unsat cost LB: 51824 ... c Min unsat cost LB: 51825 ... c Min unsat cost LB: 51826 ... c Min unsat cost LB: 51827 ... c Min unsat cost LB: 51828 ... c Min unsat cost LB: 51829 ... c Min unsat cost LB: 51830 ... c Min unsat cost LB: 51831 ... c Min unsat cost LB: 51833 ... c Min unsat cost LB: 51834 ... c Min unsat cost LB: 51835 ... c Min unsat cost LB: 51836 ... c Min unsat cost LB: 51841 ... c Min unsat cost LB: 51842 ... c Min unsat cost LB: 51843 ... c Min unsat cost LB: 51844 ... c Min unsat cost LB: 51845 ... c Min unsat cost LB: 51846 ... c Min unsat cost LB: 51847 ... c Min unsat cost LB: 51848 ... c Min unsat cost LB: 51849 ... c Min unsat cost LB: 51850 ... c Min unsat cost LB: 51851 ... c Min unsat cost LB: 51852 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 51854 ... c Min unsat cost LB: 51855 ... c Min unsat cost LB: 51856 ... c Min unsat cost LB: 51857 ... c Min unsat cost LB: 51858 ... c Min unsat cost LB: 51859 ... c Min unsat cost LB: 51860 ... c Min unsat cost LB: 51878 ... c Min unsat cost LB: 51879 ... c Min unsat cost LB: 51880 ... c Min unsat cost LB: 51881 ... c Min unsat cost LB: 51882 ... c Min unsat cost LB: 51883 ... c Min unsat cost LB: 51884 ... c Min unsat cost LB: 51885 ... c Min unsat cost LB: 51887 ... c Min unsat cost LB: 51888 ... c Min unsat cost LB: 51889 ... c Min unsat cost LB: 51890 ... c Min unsat cost LB: 51891 ... c Min unsat cost LB: 51905 ... c Min unsat cost LB: 51906 ... c Min unsat cost LB: 51907 ... c Min unsat cost LB: 51908 ... c Min unsat cost LB: 51919 ... c Min unsat cost LB: 51920 ... c Min unsat cost LB: 51921 ... c Min unsat cost LB: 51922 ... c Min unsat cost LB: 51923 ... c Min unsat cost LB: 51924 ... c Min unsat cost LB: 51925 ... c Min unsat cost LB: 51926 ... c Min unsat cost LB: 51927 ... c Min unsat cost LB: 51928 ... c Min unsat cost LB: 51929 ... c Min unsat cost LB: 51930 ... c Min unsat cost LB: 51931 ... c Min unsat cost LB: 51932 ... c Min unsat cost LB: 51933 ... c Min unsat cost LB: 51934 ... c Min unsat cost LB: 51935 ... c Min unsat cost LB: 51936 ... c Min unsat cost LB: 51937 ... c Min unsat cost LB: 51938 ... c Min unsat cost LB: 51939 ... c Min unsat cost LB: 51940 ... c Min unsat cost LB: 51941 ... c Min unsat cost LB: 51942 ... c Min unsat cost LB: 51943 ... c Min unsat cost LB: 51944 ... c Min unsat cost LB: 51945 ... c Min unsat cost LB: 51946 ... c Min unsat cost LB: 51947 ... c Min unsat cost LB: 51948 ... c Min unsat cost LB: 51949 ... c Min unsat cost LB: 51951 ... c Min unsat cost LB: 51952 ... c Min unsat cost LB: 51953 ... c Min unsat cost LB: 51954 ... c Min unsat cost LB: 51955 ... c Min unsat cost LB: 51956 ... c Min unsat cost LB: 51957 ... c Min unsat cost LB: 51958 ... c Min unsat cost LB: 51961 ... c Min unsat cost LB: 51962 ... c Min unsat cost LB: 51963 ... c Min unsat cost LB: 51964 ... c Min unsat cost LB: 51965 ... c Min unsat cost LB: 51966 ... c Min unsat cost LB: 51967 ... c Min unsat cost LB: 51968 ... c Min unsat cost LB: 51969 ... c Min unsat cost LB: 51970 ... c Min unsat cost LB: 51971 ... c Min unsat cost LB: 51972 ... c Min unsat cost LB: 51973 ... c Min unsat cost LB: 51974 ... c Min unsat cost LB: 51975 ... c Min unsat cost LB: 51976 ... c Min unsat cost LB: 51977 ... c Min unsat cost LB: 51978 ... c Min unsat cost LB: 51979 ... c Min unsat cost LB: 51980 ... c Min unsat cost LB: 51981 ... c Min unsat cost LB: 51982 ... c Min unsat cost LB: 51983 ... c Min unsat cost LB: 51984 ... c Min unsat cost LB: 51985 ... c Min unsat cost LB: 51986 ... c Min unsat cost LB: 51987 ... c Min unsat cost LB: 51988 ... c Min unsat cost LB: 51989 ... c Min unsat cost LB: 51990 ... c Min unsat cost LB: 51991 ... c Min unsat cost LB: 51992 ... c Min unsat cost LB: 51993 ... c Min unsat cost LB: 51994 ... c Min unsat cost LB: 51995 ... c Min unsat cost LB: 51998 ... c Min unsat cost LB: 51999 ... c Min unsat cost LB: 52001 ... c Min unsat cost LB: 52002 ... c Min unsat cost LB: 52005 ... c Min unsat cost LB: 52011 ... c Min unsat cost LB: 52012 ... c Min unsat cost LB: 52013 ... c Min unsat cost LB: 52014 ... c Min unsat cost LB: 52015 ... c Min unsat cost LB: 52016 ... c Min unsat cost LB: 52017 ... c Min unsat cost LB: 52018 ... c Min unsat cost LB: 52019 ... c Min unsat cost LB: 52020 ... c Min unsat cost LB: 52021 ... c Min unsat cost LB: 52022 ... c Min unsat cost LB: 52023 ... c Min unsat cost LB: 52024 ... c Min unsat cost LB: 52025 ... c Min unsat cost LB: 52026 ... c Min unsat cost LB: 52043 ... c Min unsat cost LB: 52045 ... c Min unsat cost LB: 52047 ... c Min unsat cost LB: 52058 ... c Min unsat cost LB: 52073 ... c Min unsat cost LB: 52077 ... c Min unsat cost LB: 52085 ... c Min unsat cost LB: 52089 ... c Min unsat cost LB: 52094 ... c Min unsat cost LB: 52099 ... c Min unsat cost LB: 52100 ... c Min unsat cost LB: 52102 ... c Min unsat cost LB: 52103 ... c Min unsat cost LB: 52106 ... c Min unsat cost LB: 52130 ... c Min unsat cost LB: 52131 ... c Min unsat cost LB: 52132 ... c Min unsat cost LB: 52133 ... c Min unsat cost LB: 52136 ... c Min unsat cost LB: 52148 ... c Min unsat cost LB: 52150 ... c Min unsat cost LB: 52151 ... c Min unsat cost LB: 52154 ... c Min unsat cost LB: 52164 ... c Min unsat cost LB: 52165 ... c Min unsat cost LB: 52166 ... c Min unsat cost LB: 52167 ... c Min unsat cost LB: 52168 ... c Min unsat cost LB: 52169 ... c Min unsat cost LB: 52170 ... c Min unsat cost LB: 52171 ... c Min unsat cost LB: 52172 ... c Min unsat cost LB: 52173 ... c Min unsat cost LB: 52174 ... c Min unsat cost LB: 52175 ... c Min unsat cost LB: 52176 ... c Min unsat cost LB: 52177 ... c Min unsat cost LB: 52178 ... c Min unsat cost LB: 52179 ... c Min unsat cost LB: 52180 ... c Min unsat cost LB: 52181 ... c Min unsat cost LB: 52182 ... c Min unsat cost LB: 52183 ... c Min unsat cost LB: 52184 ... c Min unsat cost LB: 52185 ... c Min unsat cost LB: 52186 ... c Min unsat cost LB: 52190 ... c Min unsat cost LB: 52191 ... c Min unsat cost LB: 52192 ... c Min unsat cost LB: 52193 ... c Min unsat cost LB: 52194 ... c Min unsat cost LB: 52195 ... c Min unsat cost LB: 52196 ... c Min unsat cost LB: 52197 ... c Min unsat cost LB: 52198 ... c Min unsat cost LB: 52199 ... c Min unsat cost LB: 52200 ... c Min unsat cost LB: 52201 ... c Min unsat cost LB: 52202 ... c Min unsat cost LB: 52203 ... c Min unsat cost LB: 52204 ... c Min unsat cost LB: 52205 ... c Min unsat cost LB: 52206 ... c Min unsat cost LB: 52207 ... c Min unsat cost LB: 52208 ... c Min unsat cost LB: 52209 ... c Min unsat cost LB: 52210 ... c Min unsat cost LB: 52211 ... c Min unsat cost LB: 52212 ... c Min unsat cost LB: 52213 ... c Min unsat cost LB: 52214 ... c Min unsat cost LB: 52215 ... c Min unsat cost LB: 52216 ... c Min unsat cost LB: 52217 ... c Min unsat cost LB: 52218 ... c Min unsat cost LB: 52220 ... c Min unsat cost LB: 52221 ... c Min unsat cost LB: 52223 ... c Min unsat cost LB: 52224 ... c Min unsat cost LB: 52225 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52227 ... c Min unsat cost LB: 52228 ... c Min unsat cost LB: 52229 ... c Min unsat cost LB: 52230 ... c Min unsat cost LB: 52231 ... c Min unsat cost LB: 52232 ... c Min unsat cost LB: 52233 ... c Min unsat cost LB: 52234 ... c Min unsat cost LB: 52235 ... c Min unsat cost LB: 52236 ... c Min unsat cost LB: 52237 ... c Min unsat cost LB: 52238 ... c Min unsat cost LB: 52239 ... c Min unsat cost LB: 52240 ... c Min unsat cost LB: 52241 ... c Min unsat cost LB: 52242 ... c Min unsat cost LB: 52243 ... c Min unsat cost LB: 52244 ... c Min unsat cost LB: 52245 ... c Min unsat cost LB: 52246 ... c Min unsat cost LB: 52247 ... c Min unsat cost LB: 52248 ... c Min unsat cost LB: 52249 ... c Min unsat cost LB: 52250 ... c Min unsat cost LB: 52251 ... c Min unsat cost LB: 52252 ... c Min unsat cost LB: 52253 ... c Min unsat cost LB: 52254 ... c Min unsat cost LB: 52255 ... c Min unsat cost LB: 52256 ... c Min unsat cost LB: 52257 ... c Min unsat cost LB: 52258 ... c Min unsat cost LB: 52259 ... c Min unsat cost LB: 52260 ... c Min unsat cost LB: 52261 ... c Min unsat cost LB: 52262 ... c Min unsat cost LB: 52263 ... c Min unsat cost LB: 52264 ... c Min unsat cost LB: 52265 ... c Min unsat cost LB: 52266 ... c Min unsat cost LB: 52267 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52269 ... c Min unsat cost LB: 52270 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52272 ... c Min unsat cost LB: 52273 ... c Min unsat cost LB: 52274 ... c Min unsat cost LB: 52275 ... c Min unsat cost LB: 52276 ... c Min unsat cost LB: 52277 ... c Min unsat cost LB: 52278 ... c Min unsat cost LB: 52279 ... c Min unsat cost LB: 52280 ... c Min unsat cost LB: 52281 ... c Min unsat cost LB: 52282 ... c Min unsat cost LB: 52283 ... c Min unsat cost LB: 52284 ... c Min unsat cost LB: 52285 ... c Min unsat cost LB: 52286 ... c Min unsat cost LB: 52287 ... c Min unsat cost LB: 52288 ... c Min unsat cost LB: 52289 ... c Min unsat cost LB: 52291 ... c Min unsat cost LB: 52293 ... c Min unsat cost LB: 52294 ... c Min unsat cost LB: 52296 ... c Min unsat cost LB: 52297 ... c Min unsat cost LB: 52298 ... c Min unsat cost LB: 52299 ... c Min unsat cost LB: 52300 ... c Min unsat cost LB: 52301 ... c Min unsat cost LB: 52302 ... c Min unsat cost LB: 52303 ... c Min unsat cost LB: 52304 ... c Min unsat cost LB: 52305 ... c Min unsat cost LB: 52306 ... c Min unsat cost LB: 52307 ... c Min unsat cost LB: 52308 ... c Min unsat cost LB: 52309 ... c Min unsat cost LB: 52310 ... c Min unsat cost LB: 52311 ... c Min unsat cost LB: 52312 ... c Min unsat cost LB: 52313 ... c Min unsat cost LB: 52314 ... c Min unsat cost LB: 52315 ... c Min unsat cost LB: 52316 ... c Min unsat cost LB: 52317 ... c Min unsat cost LB: 52318 ... c Min unsat cost LB: 52319 ... c Min unsat cost LB: 52320 ... c Min unsat cost LB: 52321 ... c Min unsat cost LB: 52322 ... c Min unsat cost LB: 52323 ... c Min unsat cost LB: 52324 ... c Min unsat cost LB: 52325 ... c Min unsat cost LB: 52326 ... c Min unsat cost LB: 52327 ... c Min unsat cost LB: 52328 ... c Min unsat cost LB: 52329 ... c Min unsat cost LB: 52330 ... c Min unsat cost LB: 52331 ... c Min unsat cost LB: 52332 ... c Min unsat cost LB: 52333 ... c Min unsat cost LB: 52334 ... c Min unsat cost LB: 52335 ... c Min unsat cost LB: 52336 ... c Min unsat cost LB: 52337 ... c Min unsat cost LB: 52338 ... c Min unsat cost LB: 52339 ... c Min unsat cost LB: 52340 ... c Min unsat cost LB: 52341 ... c Min unsat cost LB: 52342 ... c Min unsat cost LB: 52343 ... c Min unsat cost LB: 52344 ... c Min unsat cost LB: 52345 ... c Min unsat cost LB: 52346 ... c Min unsat cost LB: 52347 ... c Min unsat cost LB: 52348 ... c Min unsat cost LB: 52349 ... c Min unsat cost LB: 52350 ... c Min unsat cost LB: 52351 ... c Min unsat cost LB: 52352 ... c Min unsat cost LB: 52353 ... c Min unsat cost LB: 52354 ... c Min unsat cost LB: 52355 ... c Min unsat cost LB: 52356 ... c Min unsat cost LB: 52357 ... c Min unsat cost LB: 52358 ... c Min unsat cost LB: 52359 ... c Min unsat cost LB: 52360 ... c Min unsat cost LB: 52361 ... c Min unsat cost LB: 52362 ... c Min unsat cost LB: 52363 ... c Min unsat cost LB: 52364 ... c Min unsat cost LB: 52365 ... c Min unsat cost LB: 52366 ... c Min unsat cost LB: 52367 ... c Min unsat cost LB: 52368 ... c Min unsat cost LB: 52369 ... c Min unsat cost LB: 52370 ... c Min unsat cost LB: 52371 ... c Min unsat cost LB: 52372 ... c Min unsat cost LB: 52373 ... c Min unsat cost LB: 52374 ... c Min unsat cost LB: 52375 ... c Min unsat cost LB: 52376 ... c Min unsat cost LB: 52377 ... c Min unsat cost LB: 52380 ... c Min unsat cost LB: 52381 ... c Min unsat cost LB: 52382 ... c Min unsat cost LB: 52383 ... c Min unsat cost LB: 52384 ... c Min unsat cost LB: 52385 ... c Min unsat cost LB: 52386 ... c Min unsat cost LB: 52387 ... c Min unsat cost LB: 52388 ... c Min unsat cost LB: 52389 ... c Min unsat cost LB: 52390 ... c Min unsat cost LB: 52391 ... c Min unsat cost LB: 52392 ... c Min unsat cost LB: 52393 ... c Min unsat cost LB: 52394 ... c Min unsat cost LB: 52395 ... c Min unsat cost LB: 52396 ... c Min unsat cost LB: 52397 ... c Min unsat cost LB: 52398 ... c Min unsat cost LB: 52399 ... c Min unsat cost LB: 52400 ... c Min unsat cost LB: 52401 ... c Min unsat cost LB: 52402 ... c Min unsat cost LB: 52403 ... c Min unsat cost LB: 52404 ... c Min unsat cost LB: 52405 ... c Min unsat cost LB: 52406 ... c Min unsat cost LB: 52407 ... c Min unsat cost LB: 52408 ... c Min unsat cost LB: 52409 ... c Min unsat cost LB: 52410 ... c Min unsat cost LB: 52411 ... c Min unsat cost LB: 52412 ... c Min unsat cost LB: 52413 ... c Min unsat cost LB: 52414 ... c Min unsat cost LB: 52415 ... c Min unsat cost LB: 52416 ... c Min unsat cost LB: 52417 ... c Min unsat cost LB: 52418 ... c Min unsat cost LB: 52419 ... c Min unsat cost LB: 52420 ... c Min unsat cost LB: 52421 ... c Min unsat cost LB: 52422 ... c Min unsat cost LB: 52423 ... c Min unsat cost LB: 52424 ... c Min unsat cost LB: 52425 ... c Min unsat cost LB: 52426 ... c Min unsat cost LB: 52427 ... c Min unsat cost LB: 52428 ... c Min unsat cost LB: 52429 ... c Min unsat cost LB: 52430 ... c Min unsat cost LB: 52431 ... c Min unsat cost LB: 52432 ... c Min unsat cost LB: 52433 ... c Min unsat cost LB: 52434 ... c Min unsat cost LB: 52435 ... c Min unsat cost LB: 52436 ... c Min unsat cost LB: 52437 ... c Min unsat cost LB: 52438 ... c Min unsat cost LB: 52439 ... c Min unsat cost LB: 52440 ... c Min unsat cost LB: 52441 ... c Min unsat cost LB: 52442 ... c Min unsat cost LB: 52444 ... c Min unsat cost LB: 52445 ... c Min unsat cost LB: 52446 ... c Min unsat cost LB: 52447 ... c Min unsat cost LB: 52448 ... c Min unsat cost LB: 52449 ... c Min unsat cost LB: 52450 ... c Min unsat cost LB: 52451 ... c Min unsat cost LB: 52452 ... c Min unsat cost LB: 52454 ... c Min unsat cost LB: 52456 ... c Min unsat cost LB: 52457 ... c Min unsat cost LB: 52458 ... c Min unsat cost LB: 52461 ... c Min unsat cost LB: 52472 ... c Min unsat cost LB: 52473 ... c Min unsat cost LB: 52474 ... c Min unsat cost LB: 52475 ... c Min unsat cost LB: 52476 ... c Min unsat cost LB: 52477 ... c Min unsat cost LB: 52478 ... c Min unsat cost LB: 52485 ... c Min unsat cost LB: 52486 ... c Min unsat cost LB: 52513 ... c Min unsat cost LB: 52514 ... c Min unsat cost LB: 52515 ... c Min unsat cost LB: 52516 ... c Min unsat cost LB: 52517 ... c Min unsat cost LB: 52518 ... c Min unsat cost LB: 52519 ... c Min unsat cost LB: 52520 ... c Min unsat cost LB: 52521 ... c Min unsat cost LB: 52522 ... c Min unsat cost LB: 52523 ... c Min unsat cost LB: 52524 ... c Min unsat cost LB: 52525 ... c Min unsat cost LB: 52526 ... c Min unsat cost LB: 52527 ... c Min unsat cost LB: 52528 ... c Min unsat cost LB: 52529 ... c Min unsat cost LB: 52530 ... c Min unsat cost LB: 52531 ... c Min unsat cost LB: 52532 ... c Min unsat cost LB: 52533 ... c Min unsat cost LB: 52534 ... c Min unsat cost LB:Killed 1810.754u 8.994s 30:23.35 99.8% 0+0k 0+0io 0pf+0w