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_100_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0007.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_100_0007.txt.wcnf *** c c Min unsat cost LB: 519 ... c Min unsat cost LB: 1114 ... c Min unsat cost LB: 1721 ... c Min unsat cost LB: 2324 ... c Min unsat cost LB: 2919 ... c Min unsat cost LB: 3989 ... c Min unsat cost LB: 4198 ... c Min unsat cost LB: 4661 ... c Min unsat cost LB: 5256 ... c Min unsat cost LB: 5585 ... c Min unsat cost LB: 6192 ... c Min unsat cost LB: 6787 ... c Min unsat cost LB: 7913 ... c Min unsat cost LB: 8654 ... c Min unsat cost LB: 9382 ... c Min unsat cost LB: 10348 ... c Min unsat cost LB: 10867 ... c Min unsat cost LB: 11828 ... c Min unsat cost LB: 12598 ... c Min unsat cost LB: 13065 ... c Min unsat cost LB: 13073 ... c Min unsat cost LB: 13739 ... c Min unsat cost LB: 14098 ... c Min unsat cost LB: 14207 ... c Min unsat cost LB: 14667 ... c Min unsat cost LB: 15628 ... c Min unsat cost LB: 16360 ... c Min unsat cost LB: 16535 ... c Min unsat cost LB: 17305 ... c Min unsat cost LB: 17912 ... c Min unsat cost LB: 17916 ... c Min unsat cost LB: 18310 ... c Min unsat cost LB: 19261 ... c Min unsat cost LB: 19735 ... c Min unsat cost LB: 20210 ... c Min unsat cost LB: 20263 ... c Min unsat cost LB: 20458 ... c Min unsat cost LB: 20781 ... c Min unsat cost LB: 20973 ... c Min unsat cost LB: 20988 ... c Min unsat cost LB: 21595 ... c Min unsat cost LB: 21879 ... c Min unsat cost LB: 22099 ... c Min unsat cost LB: 22770 ... c Min unsat cost LB: 22864 ... c Min unsat cost LB: 23110 ... c Min unsat cost LB: 23596 ... c Min unsat cost LB: 24164 ... c Min unsat cost LB: 24733 ... c Min unsat cost LB: 25142 ... c Min unsat cost LB: 25616 ... c Min unsat cost LB: 26507 ... c Min unsat cost LB: 26830 ... c Min unsat cost LB: 27409 ... c Min unsat cost LB: 27948 ... c Min unsat cost LB: 28676 ... c Min unsat cost LB: 29162 ... c Min unsat cost LB: 29764 ... c Min unsat cost LB: 29867 ... c Min unsat cost LB: 30099 ... c Min unsat cost LB: 30341 ... c Min unsat cost LB: 30400 ... c Min unsat cost LB: 30779 ... c Min unsat cost LB: 31108 ... c Min unsat cost LB: 31896 ... c Min unsat cost LB: 32287 ... c Min unsat cost LB: 32491 ... c Min unsat cost LB: 32492 ... c Min unsat cost LB: 32820 ... c Min unsat cost LB: 32858 ... c Min unsat cost LB: 33207 ... c Min unsat cost LB: 33682 ... c Min unsat cost LB: 33776 ... c Min unsat cost LB: 33794 ... c Min unsat cost LB: 33802 ... c Min unsat cost LB: 34076 ... c Min unsat cost LB: 34125 ... c Min unsat cost LB: 34215 ... c Min unsat cost LB: 34406 ... c Min unsat cost LB: 34448 ... c Min unsat cost LB: 34873 ... c Min unsat cost LB: 35824 ... c Min unsat cost LB: 35945 ... c Min unsat cost LB: 36318 ... c Min unsat cost LB: 36883 ... c Min unsat cost LB: 36911 ... c Min unsat cost LB: 37448 ... c Min unsat cost LB: 37654 ... c Min unsat cost LB: 37905 ... c Min unsat cost LB: 37909 ... c Min unsat cost LB: 38073 ... c Min unsat cost LB: 38151 ... c Min unsat cost LB: 38256 ... c Min unsat cost LB: 38357 ... c Min unsat cost LB: 38390 ... c Min unsat cost LB: 38519 ... c Min unsat cost LB: 38758 ... c Min unsat cost LB: 38773 ... c Min unsat cost LB: 38784 ... c Min unsat cost LB: 39098 ... c Min unsat cost LB: 39471 ... c Min unsat cost LB: 39588 ... c Min unsat cost LB: 39679 ... c Min unsat cost LB: 39769 ... c Min unsat cost LB: 40127 ... c Min unsat cost LB: 40331 ... c Min unsat cost LB: 40720 ... c Min unsat cost LB: 40728 ... c Min unsat cost LB: 40758 ... c Min unsat cost LB: 40781 ... c Min unsat cost LB: 40858 ... c Min unsat cost LB: 40917 ... c Min unsat cost LB: 41140 ... c Min unsat cost LB: 41156 ... c Min unsat cost LB: 41318 ... c Min unsat cost LB: 41319 ... c Min unsat cost LB: 41330 ... c Min unsat cost LB: 41363 ... c Min unsat cost LB: 41424 ... c Min unsat cost LB: 41443 ... c Min unsat cost LB: 41487 ... c Min unsat cost LB: 41520 ... c Min unsat cost LB: 41540 ... c Min unsat cost LB: 41560 ... c Min unsat cost LB: 41607 ... c Min unsat cost LB: 41673 ... c Min unsat cost LB: 41787 ... c Min unsat cost LB: 41876 ... c Min unsat cost LB: 41888 ... c Min unsat cost LB: 41997 ... c Min unsat cost LB: 42017 ... c Min unsat cost LB: 42028 ... c Min unsat cost LB: 42043 ... c Min unsat cost LB: 42221 ... c Min unsat cost LB: 42274 ... c Min unsat cost LB: 42323 ... c Min unsat cost LB: 42344 ... c Min unsat cost LB: 42724 ... c Min unsat cost LB: 42989 ... c Min unsat cost LB: 43011 ... c Min unsat cost LB: 43085 ... c Min unsat cost LB: 43092 ... c Min unsat cost LB: 43257 ... c Min unsat cost LB: 43328 ... c Min unsat cost LB: 43336 ... c Min unsat cost LB: 43348 ... c Min unsat cost LB: 43365 ... c Min unsat cost LB: 43424 ... c Min unsat cost LB: 43467 ... c Min unsat cost LB: 43546 ... c Min unsat cost LB: 43623 ... c Min unsat cost LB: 43640 ... c Min unsat cost LB: 43641 ... c Min unsat cost LB: 43732 ... c Min unsat cost LB: 43947 ... c Min unsat cost LB: 43994 ... c Min unsat cost LB: 44027 ... c Min unsat cost LB: 44038 ... c Min unsat cost LB: 44200 ... c Min unsat cost LB: 44297 ... c Min unsat cost LB: 44316 ... c Min unsat cost LB: 44371 ... c Min unsat cost LB: 44763 ... c Min unsat cost LB: 44923 ... c Min unsat cost LB: 44945 ... c Min unsat cost LB: 44974 ... c Min unsat cost LB: 45165 ... c Min unsat cost LB: 45272 ... c Min unsat cost LB: 45671 ... c Min unsat cost LB: 45763 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 45884 ... c Min unsat cost LB: 45975 ... c Min unsat cost LB: 45983 ... c Min unsat cost LB: 46006 ... c Min unsat cost LB: 46036 ... c Min unsat cost LB: 46111 ... c Min unsat cost LB: 46153 ... c Min unsat cost LB: 46299 ... c Min unsat cost LB: 46402 ... c Min unsat cost LB: 46406 ... c Min unsat cost LB: 46409 ... c Min unsat cost LB: 46507 ... c Min unsat cost LB: 46509 ... c Min unsat cost LB: 46549 ... c Min unsat cost LB: 46557 ... c Min unsat cost LB: 46575 ... c Min unsat cost LB: 46580 ... c Min unsat cost LB: 46841 ... c Min unsat cost LB: 46846 ... c Min unsat cost LB: 46872 ... c Min unsat cost LB: 46899 ... c Min unsat cost LB: 46970 ... c Min unsat cost LB: 46982 ... c Min unsat cost LB: 46990 ... c Min unsat cost LB: 47003 ... c Min unsat cost LB: 47011 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47061 ... c Min unsat cost LB: 47078 ... c Min unsat cost LB: 47104 ... c Min unsat cost LB: 47112 ... c Min unsat cost LB: 47142 ... c Min unsat cost LB: 47145 ... c Min unsat cost LB: 47165 ... c Min unsat cost LB: 47170 ... c Min unsat cost LB: 47190 ... c Min unsat cost LB: 47246 ... c Min unsat cost LB: 47253 ... c Min unsat cost LB: 47263 ... c Min unsat cost LB: 47268 ... c Min unsat cost LB: 47270 ... c Min unsat cost LB: 47327 ... c Min unsat cost LB: 47332 ... c Min unsat cost LB: 47340 ... c Min unsat cost LB: 47345 ... c Min unsat cost LB: 47411 ... c Min unsat cost LB: 47416 ... c Min unsat cost LB: 47418 ... c Min unsat cost LB: 47441 ... c Min unsat cost LB: 47453 ... c Min unsat cost LB: 47461 ... c Min unsat cost LB: 47467 ... c Min unsat cost LB: 47487 ... c Min unsat cost LB: 47498 ... c Min unsat cost LB: 47505 ... c Min unsat cost LB: 47516 ... c Min unsat cost LB: 47530 ... c Min unsat cost LB: 47538 ... c Min unsat cost LB: 47550 ... c Min unsat cost LB: 47563 ... c Min unsat cost LB: 47564 ... c Min unsat cost LB: 47571 ... c Min unsat cost LB: 47574 ... c Min unsat cost LB: 47576 ... c Min unsat cost LB: 47577 ... c Min unsat cost LB: 47578 ... c Min unsat cost LB: 47579 ... c Min unsat cost LB: 47587 ... c Min unsat cost LB: 47591 ... c Min unsat cost LB: 47592 ... c Min unsat cost LB: 47621 ... c Min unsat cost LB: 47623 ... c Min unsat cost LB: 47624 ... c Min unsat cost LB: 47626 ... c Min unsat cost LB: 47627 ... c Min unsat cost LB: 47628 ... c Min unsat cost LB: 47643 ... c Min unsat cost LB: 47644 ... c Min unsat cost LB: 47647 ... c Min unsat cost LB: 47651 ... c Min unsat cost LB: 47652 ... c Min unsat cost LB: 47653 ... c Min unsat cost LB: 47660 ... c Min unsat cost LB: 47664 ... c Min unsat cost LB: 47666 ... c Min unsat cost LB: 47691 ... c Min unsat cost LB: 47711 ... c Min unsat cost LB: 47722 ... c Min unsat cost LB: 47727 ... c Min unsat cost LB: 47849 ... c Min unsat cost LB: 47851 ... c Min unsat cost LB: 47852 ... c Min unsat cost LB: 47853 ... c Min unsat cost LB: 47854 ... c Min unsat cost LB: 47855 ... c Min unsat cost LB: 47856 ... c Min unsat cost LB: 47859 ... c Min unsat cost LB: 47862 ... c Min unsat cost LB: 47863 ... c Min unsat cost LB: 47864 ... c Min unsat cost LB: 47867 ... c Min unsat cost LB: 47900 ... c Min unsat cost LB: 47912 ... c Min unsat cost LB: 47916 ... c Min unsat cost LB: 47918 ... c Min unsat cost LB: 47920 ... c Min unsat cost LB: 47924 ... c Min unsat cost LB: 47929 ... c Min unsat cost LB: 47930 ... c Min unsat cost LB: 47933 ... c Min unsat cost LB: 47935 ... c Min unsat cost LB: 47940 ... c Min unsat cost LB: 47951 ... c Min unsat cost LB: 47955 ... c Min unsat cost LB: 47960 ... c Min unsat cost LB: 47964 ... c Min unsat cost LB: 47981 ... c Min unsat cost LB: 48047 ... c Min unsat cost LB: 48053 ... c Min unsat cost LB: 48065 ... c Min unsat cost LB: 48069 ... c Min unsat cost LB: 48070 ... c Min unsat cost LB: 48072 ... c Min unsat cost LB: 48073 ... c Min unsat cost LB: 48074 ... c Min unsat cost LB: 48075 ... c Min unsat cost LB: 48078 ... c Min unsat cost LB: 48079 ... c Min unsat cost LB: 48082 ... c Min unsat cost LB: 48086 ... c Min unsat cost LB: 48089 ... c Min unsat cost LB: 48090 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48092 ... c Min unsat cost LB: 48094 ... c Min unsat cost LB: 48095 ... c Min unsat cost LB: 48099 ... c Min unsat cost LB: 48101 ... c Min unsat cost LB: 48117 ... c Min unsat cost LB: 48141 ... c Min unsat cost LB: 48164 ... c Min unsat cost LB: 48165 ... c Min unsat cost LB: 48197 ... c Min unsat cost LB: 48229 ... c Min unsat cost LB: 48282 ... c Min unsat cost LB: 48286 ... c Min unsat cost LB: 48288 ... c Min unsat cost LB: 48294 ... c Min unsat cost LB: 48304 ... c Min unsat cost LB: 48305 ... c Min unsat cost LB: 48306 ... c Min unsat cost LB: 48309 ... c Min unsat cost LB: 48310 ... c Min unsat cost LB: 48316 ... c Min unsat cost LB: 48324 ... c Min unsat cost LB: 48327 ... c Min unsat cost LB: 48328 ... c Min unsat cost LB: 48329 ... c Min unsat cost LB: 48335 ... c Min unsat cost LB: 48336 ... c Min unsat cost LB: 48343 ... c Min unsat cost LB: 48390 ... c Min unsat cost LB: 48405 ... c Min unsat cost LB: 48406 ... c Min unsat cost LB: 48407 ... c Min unsat cost LB: 48410 ... c Min unsat cost LB: 48411 ... c Min unsat cost LB: 48412 ... c Min unsat cost LB: 48413 ... c Min unsat cost LB: 48414 ... c Min unsat cost LB: 48418 ... c Min unsat cost LB: 48419 ... c Min unsat cost LB: 48425 ... c Min unsat cost LB: 48435 ... c Min unsat cost LB: 48438 ... c Min unsat cost LB: 48441 ... c Min unsat cost LB: 48443 ... c Min unsat cost LB: 48444 ... c Min unsat cost LB: 48445 ... c Min unsat cost LB: 48449 ... c Min unsat cost LB: 48458 ... c Min unsat cost LB: 48460 ... c Min unsat cost LB: 48470 ... c Min unsat cost LB: 48471 ... c Min unsat cost LB: 48472 ... c Min unsat cost LB: 48475 ... c Min unsat cost LB: 48480 ... c Min unsat cost LB: 48506 ... c Min unsat cost LB: 48513 ... c Min unsat cost LB: 48514 ... c Min unsat cost LB: 48523 ... c Min unsat cost LB: 48524 ... c Min unsat cost LB: 48525 ... c Min unsat cost LB: 48530 ... c Min unsat cost LB: 48531 ... c Min unsat cost LB: 48535 ... c Min unsat cost LB: 48536 ... c Min unsat cost LB: 48537 ... c Min unsat cost LB: 48538 ... c Min unsat cost LB: 48539 ... c Min unsat cost LB: 48541 ... c Min unsat cost LB: 48549 ... c Min unsat cost LB: 48550 ... c Min unsat cost LB: 48559 ... c Min unsat cost LB: 48560 ... c Min unsat cost LB: 48561 ... c Min unsat cost LB: 48563 ... c Min unsat cost LB: 48564 ... c Min unsat cost LB: 48628 ... c Min unsat cost LB: 48630 ... c Min unsat cost LB: 48675 ... c Min unsat cost LB: 48681 ... c Min unsat cost LB: 48682 ... c Min unsat cost LB: 48687 ... c Min unsat cost LB: 48688 ... c Min unsat cost LB: 48693 ... c Min unsat cost LB: 48694 ... c Min unsat cost LB: 48695 ... c Min unsat cost LB: 48696 ... c Min unsat cost LB: 48698 ... c Min unsat cost LB: 48701 ... c Min unsat cost LB: 48702 ... c Min unsat cost LB: 48706 ... c Min unsat cost LB: 48709 ... c Min unsat cost LB: 48710 ... c Min unsat cost LB: 48711 ... c Min unsat cost LB: 48719 ... c Min unsat cost LB: 48721 ... c Min unsat cost LB: 48738 ... c Min unsat cost LB: 48739 ... c Min unsat cost LB: 48740 ... c Min unsat cost LB: 48741 ... c Min unsat cost LB: 48746 ... c Min unsat cost LB: 48751 ... c Min unsat cost LB: 48753 ... c Min unsat cost LB: 48755 ... c Min unsat cost LB: 48762 ... c Min unsat cost LB: 48763 ... c Min unsat cost LB: 48764 ... c Min unsat cost LB: 48768 ... c Min unsat cost LB: 48769 ... c Min unsat cost LB: 48771 ... c Min unsat cost LB: 48775 ... c Min unsat cost LB: 48776 ... c Min unsat cost LB: 48778 ... c Min unsat cost LB: 48779 ... c Min unsat cost LB: 48780 ... c Min unsat cost LB: 48781 ... c Min unsat cost LB: 48783 ... c Min unsat cost LB: 48788 ... c Min unsat cost LB: 48789 ... c Min unsat cost LB: 48790 ... c Min unsat cost LB: 48792 ... c Min unsat cost LB: 48794 ... c Min unsat cost LB: 48795 ... c Min unsat cost LB: 48799 ... c Min unsat cost LB: 48800 ... c Min unsat cost LB: 48803 ... c Min unsat cost LB: 48805 ... c Min unsat cost LB: 48806 ... c Min unsat cost LB: 48811 ... c Min unsat cost LB: 48812 ... c Min unsat cost LB: 48814 ... c Min unsat cost LB: 48819 ... c Min unsat cost LB: 48826 ... c Min unsat cost LB: 48827 ... c Min unsat cost LB: 48828 ... c Min unsat cost LB: 48830 ... c Min unsat cost LB: 48831 ... c Min unsat cost LB: 48833 ... c Min unsat cost LB: 48834 ... c Min unsat cost LB: 48835 ... c Min unsat cost LB: 48837 ... c Min unsat cost LB: 48839 ... c Min unsat cost LB: 48840 ... c Min unsat cost LB: 48841 ... c Min unsat cost LB: 48842 ... c Min unsat cost LB: 48845 ... c Min unsat cost LB: 48846 ... c Min unsat cost LB: 48847 ... c Min unsat cost LB: 48849 ... c Min unsat cost LB: 48850 ... c Min unsat cost LB: 48851 ... c Min unsat cost LB: 48852 ... c Min unsat cost LB: 48853 ... c Min unsat cost LB: 48854 ... c Min unsat cost LB: 48855 ... c Min unsat cost LB: 48857 ... c Min unsat cost LB: 48858 ... c Min unsat cost LB: 48859 ... c Min unsat cost LB: 48860 ... c Min unsat cost LB: 48861 ... c Min unsat cost LB: 48862 ... c Min unsat cost LB: 48863 ... c Min unsat cost LB: 48864 ... c Min unsat cost LB: 48866 ... c Min unsat cost LB: 48867 ... c Min unsat cost LB: 48868 ... c Min unsat cost LB: 48870 ... c Min unsat cost LB: 48871 ... c Min unsat cost LB: 48872 ... c Min unsat cost LB: 48873 ... c Min unsat cost LB: 48881 ... c Min unsat cost LB: 48885 ... c Min unsat cost LB: 48888 ... c Min unsat cost LB: 48889 ... c Min unsat cost LB: 48890 ... c Min unsat cost LB: 48899 ... c Min unsat cost LB: 48904 ... c Min unsat cost LB: 48917 ... c Min unsat cost LB: 48918 ... c Min unsat cost LB: 48919 ... c Min unsat cost LB: 48920 ... c Min unsat cost LB: 48921 ... c Min unsat cost LB: 48922 ... c Min unsat cost LB: 48923 ... c Min unsat cost LB: 48924 ... c Min unsat cost LB: 48925 ... c Min unsat cost LB: 48926 ... c Min unsat cost LB: 48927 ... c Min unsat cost LB: 48928 ... c Min unsat cost LB: 48929 ... c Min unsat cost LB: 48930 ... c Min unsat cost LB: 48951 ... c Min unsat cost LB: 49289 ... c Min unsat cost LB: 49290 ... c Min unsat cost LB: 49300 ... c Min unsat cost LB: 49310 ... c Min unsat cost LB: 49313 ... c Min unsat cost LB: 49314 ... c Min unsat cost LB: 49315 ... c Min unsat cost LB: 49317 ... c Min unsat cost LB: 49318 ... c Min unsat cost LB: 49319 ... c Min unsat cost LB: 49320 ... c Min unsat cost LB: 49329 ... c Min unsat cost LB: 49334 ... c Min unsat cost LB: 49335 ... c Min unsat cost LB: 49336 ... c Min unsat cost LB: 49351 ... c Min unsat cost LB: 49352 ... c Min unsat cost LB: 49353 ... c Min unsat cost LB: 49354 ... c Min unsat cost LB: 49355 ... c Min unsat cost LB: 49357 ... c Min unsat cost LB: 49358 ... c Min unsat cost LB: 49359 ... c Min unsat cost LB: 49360 ... c Min unsat cost LB: 49361 ... c Min unsat cost LB: 49362 ... c Min unsat cost LB: 49363 ... c Min unsat cost LB: 49364 ... c Min unsat cost LB: 49365 ... c Min unsat cost LB: 49366 ... c Min unsat cost LB: 49373 ... c Min unsat cost LB: 49374 ... c Min unsat cost LB: 49375 ... c Min unsat cost LB: 49376 ... c Min unsat cost LB: 49377 ... c Min unsat cost LB: 49378 ... c Min unsat cost LB: 49379 ... c Min unsat cost LB: 49380 ... c Min unsat cost LB: 49381 ... c Min unsat cost LB: 49382 ... c Min unsat cost LB: 49383 ... c Min unsat cost LB: 49384 ... c Min unsat cost LB: 49385 ... c Min unsat cost LB: 49386 ... c Min unsat cost LB: 49387 ... c Min unsat cost LB: 49388 ... c Min unsat cost LB: 49389 ... c Min unsat cost LB: 49390 ... c Min unsat cost LB: 49391 ... c Min unsat cost LB: 49393 ... c Min unsat cost LB: 49396 ... c Min unsat cost LB: 49397 ... c Min unsat cost LB: 49398 ... c Min unsat cost LB: 49399 ... c Min unsat cost LB: 49400 ... c Min unsat cost LB: 49401 ... c Min unsat cost LB: 49402 ... c Min unsat cost LB: 49403 ... c Min unsat cost LB: 49404 ... c Min unsat cost LB: 49405 ... c Min unsat cost LB: 49406 ... c Min unsat cost LB: 49407 ... c Min unsat cost LB: 49410 ... c Min unsat cost LB: 49420 ... c Min unsat cost LB: 49475 ... c Min unsat cost LB: 49486 ... c Min unsat cost LB: 49503 ... c Min unsat cost LB: 49510 ... c Min unsat cost LB: 49511 ... c Min unsat cost LB: 49512 ... c Min unsat cost LB: 49513 ... c Min unsat cost LB: 49514 ... c Min unsat cost LB: 49515 ... c Min unsat cost LB: 49516 ... c Min unsat cost LB: 49522 ... c Min unsat cost LB: 49524 ... c Min unsat cost LB: 49526 ... c Min unsat cost LB: 49529 ... c Min unsat cost LB: 49531 ... c Min unsat cost LB: 49532 ... c Min unsat cost LB: 49535 ... c Min unsat cost LB: 49537 ... c Min unsat cost LB: 49538 ... c Min unsat cost LB: 49539 ... c Min unsat cost LB: 49540 ... c Min unsat cost LB: 49541 ... c Min unsat cost LB: 49542 ... c Min unsat cost LB: 49543 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49545 ... c Min unsat cost LB: 49546 ... c Min unsat cost LB: 49547 ... c Min unsat cost LB: 49548 ... c Min unsat cost LB: 49549 ... c Min unsat cost LB: 49550 ... c Min unsat cost LB: 49551 ... c Min unsat cost LB: 49552 ... c Min unsat cost LB: 49554 ... c Min unsat cost LB: 49555 ... c Min unsat cost LB: 49556 ... c Min unsat cost LB: 49557 ... c Min unsat cost LB: 49558 ... c Min unsat cost LB: 49559 ... c Min unsat cost LB: 49560 ... c Min unsat cost LB: 49561 ... c Min unsat cost LB: 49562 ... c Min unsat cost LB: 49563 ... c Min unsat cost LB: 49565 ... c Min unsat cost LB: 49566 ... c Min unsat cost LB: 49567 ... c Min unsat cost LB: 49568 ... c Min unsat cost LB: 49569 ... c Min unsat cost LB: 49570 ... c Min unsat cost LB: 49571 ... c Min unsat cost LB: 49572 ... c Min unsat cost LB: 49573 ... c Min unsat cost LB: 49574 ... c Min unsat cost LB: 49575 ... c Min unsat cost LB: 49577 ... c Min unsat cost LB: 49578 ... c Min unsat cost LB: 49584 ... c Min unsat cost LB: 49585 ... c Min unsat cost LB: 49586 ... c Min unsat cost LB: 49587 ... c Min unsat cost LB: 49609 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49611 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49614 ... c Min unsat cost LB: 49615 ... c Min unsat cost LB: 49617 ... c Min unsat cost LB: 49619 ... c Min unsat cost LB: 49620 ... c Min unsat cost LB: 49622 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49624 ... c Min unsat cost LB: 49625 ... c Min unsat cost LB: 49626 ... c Min unsat cost LB: 49627 ... c Min unsat cost LB: 49628 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49631 ... c Min unsat cost LB: 49632 ... c Min unsat cost LB: 49633 ... c Min unsat cost LB: 49634 ... c Min unsat cost LB: 49635 ... c Min unsat cost LB: 49637 ... c Min unsat cost LB: 49638 ... c Min unsat cost LB: 49639 ... c Min unsat cost LB: 49640 ... c Min unsat cost LB: 49641 ... c Min unsat cost LB: 49642 ... c Min unsat cost LB: 49643 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49645 ... c Min unsat cost LB: 49646 ... c Min unsat cost LB: 49648 ... c Min unsat cost LB: 49649 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49651 ... c Min unsat cost LB: 49652 ... c Min unsat cost LB: 49653 ... c Min unsat cost LB: 49654 ... c Min unsat cost LB: 49656 ... c Min unsat cost LB: 49657 ... c Min unsat cost LB: 49658 ... c Min unsat cost LB: 49662 ... c Min unsat cost LB: 49663 ... c Min unsat cost LB: 49664 ... c Min unsat cost LB: 49665 ... c Min unsat cost LB: 49666 ... c Min unsat cost LB: 49667 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49669 ... c Min unsat cost LB: 49670 ... c Min unsat cost LB: 49671 ... c Min unsat cost LB: 49672 ... c Min unsat cost LB: 49673 ... c Min unsat cost LB: 49674 ... c Min unsat cost LB: 49675 ... c Min unsat cost LB: 49677 ... c Min unsat cost LB: 49678 ... c Min unsat cost LB: 49679 ... c Min unsat cost LB: 49680 ... c Min unsat cost LB: 49681 ... c Min unsat cost LB: 49682 ... c Min unsat cost LB: 49683 ... c Min unsat cost LB: 49684 ... c Min unsat cost LB: 49685 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49689 ... c Min unsat cost LB: 49690 ... c Min unsat cost LB: 49691 ... c Min unsat cost LB: 49692 ... c Min unsat cost LB: 49693 ... c Min unsat cost LB: 49694 ... c Min unsat cost LB: 49695 ... c Min unsat cost LB: 49698 ... c Min unsat cost LB: 49699 ... c Min unsat cost LB: 49700 ... c Min unsat cost LB: 49701 ... c Min unsat cost LB: 49702 ... c Min unsat cost LB: 49703 ... c Min unsat cost LB: 49704 ... c Min unsat cost LB: 49705 ... c Min unsat cost LB: 49706 ... c Min unsat cost LB: 49707 ... c Min unsat cost LB: 49712 ... c Min unsat cost LB: 49716 ... c Min unsat cost LB: 49717 ... c Min unsat cost LB: 49718 ... c Min unsat cost LB: 49719 ... c Min unsat cost LB: 49720 ... c Min unsat cost LB: 49721 ... c Min unsat cost LB: 49722 ... c Min unsat cost LB: 49723 ... c Min unsat cost LB: 49724 ... c Min unsat cost LB: 49725 ... c Min unsat cost LB: 49726 ... c Min unsat cost LB: 49727 ... c Min unsat cost LB: 49728 ... c Min unsat cost LB: 49729 ... c Min unsat cost LB: 49730 ... c Min unsat cost LB: 49731 ... c Min unsat cost LB: 49732 ... c Min unsat cost LB: 49733 ... c Min unsat cost LB: 49735 ... c Min unsat cost LB: 49736 ... c Min unsat cost LB: 49737 ... c Min unsat cost LB: 49738 ... c Min unsat cost LB: 49739 ... c Min unsat cost LB: 49740 ... c Min unsat cost LB: 49741 ... c Min unsat cost LB: 49742 ... c Min unsat cost LB: 49743 ... c Min unsat cost LB: 49744 ... c Min unsat cost LB: 49745 ... c Min unsat cost LB: 49748 ... c Min unsat cost LB: 49749 ... c Min unsat cost LB: 49750 ... c Min unsat cost LB: 49751 ... c Min unsat cost LB: 49752 ... c Min unsat cost LB: 49753 ... c Min unsat cost LB: 49754 ... c Min unsat cost LB: 49755 ... c Min unsat cost LB: 49756 ... c Min unsat cost LB: 49757 ... c Min unsat cost LB: 49758 ... c Min unsat cost LB: 49759 ... c Min unsat cost LB: 49760 ... c Min unsat cost LB: 49761 ... c Min unsat cost LB: 49762 ... c Min unsat cost LB: 49763 ... c Min unsat cost LB: 49764 ... c Min unsat cost LB: 49765 ... c Min unsat cost LB: 49766 ... c Min unsat cost LB: 49767 ... c Min unsat cost LB: 49768 ... c Min unsat cost LB: 49769 ... c Min unsat cost LB: 49770 ... c Min unsat cost LB: 49771 ... c Min unsat cost LB: 49773 ... c Min unsat cost LB: 49780 ... c Min unsat cost LB: 49781 ... c Min unsat cost LB: 49782 ... c Min unsat cost LB: 49783 ... c Min unsat cost LB: 49784 ... c Min unsat cost LB: 49785 ... c Min unsat cost LB: 49786 ... c Min unsat cost LB: 49787 ... c Min unsat cost LB: 49789 ... c Min unsat cost LB: 49790 ... c Min unsat cost LB: 49791 ... c Min unsat cost LB: 49792 ... c Min unsat cost LB: 49793 ... c Min unsat cost LB: 49794 ... c Min unsat cost LB: 49795 ... c Min unsat cost LB: 49796 ... c Min unsat cost LB: 49797 ... c Min unsat cost LB: 49798 ... c Min unsat cost LB: 49799 ... c Min unsat cost LB: 49800 ... c Min unsat cost LB: 49801 ... c Min unsat cost LB: 49802 ... c Min unsat cost LB: 49803 ... c Min unsat cost LB: 49805 ... c Min unsat cost LB: 49806 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49811 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 49818 ... c Min unsat cost LB: 49819 ... c Min unsat cost LB: 49820 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 49822 ... c Min unsat cost LB: 49823 ... c Min unsat cost LB: 49824 ... c Min unsat cost LB: 49834 ... c Min unsat cost LB: 49835 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 49838 ... c Min unsat cost LB: 49839 ... c Min unsat cost LB: 49840 ... c Min unsat cost LB: 49841 ... c Min unsat cost LB: 49842 ... c Min unsat cost LB: 49843 ... c Min unsat cost LB: 49844 ... c Min unsat cost LB: 49845 ... c Min unsat cost LB: 49846 ... c Min unsat cost LB: 49847 ... c Min unsat cost LB: 49848 ... c Min unsat cost LB: 49849 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 49851 ... c Min unsat cost LB: 49852 ... c Min unsat cost LB: 49853 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 49855 ... c Min unsat cost LB: 49856 ... c Min unsat cost LB: 49857 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 49859 ... c Min unsat cost LB: 49860 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 49862 ... c Min unsat cost LB: 49863 ... c Min unsat cost LB: 49864 ... c Min unsat cost LB: 49865 ... c Min unsat cost LB: 49866 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 49869 ... c Min unsat cost LB: 49870 ... c Min unsat cost LB: 49871 ... c Min unsat cost LB: 49872 ... c Min unsat cost LB: 49873 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49875 ... c Min unsat cost LB: 49876 ... c Min unsat cost LB: 49877 ... c Min unsat cost LB: 49878 ... c Min unsat cost LB: 49879 ... c Min unsat cost LB: 49880 ... c Min unsat cost LB: 49881 ... c Min unsat cost LB: 49882 ... c Min unsat cost LB: 49883 ... c Min unsat cost LB: 49884 ... c Min unsat cost LB: 49885 ... c Min unsat cost LB: 49886 ... c Min unsat cost LB: 49887 ... c Min unsat cost LB: 49888 ... c Min unsat cost LB: 49889 ... c Min unsat cost LB: 49890 ... c Min unsat cost LB: 49891 ... c Min unsat cost LB: 49892 ... c Min unsat cost LB: 49893 ... c Min unsat cost LB: 49894 ... c Min unsat cost LB: 49895 ... c Min unsat cost LB: 49896 ... c Min unsat cost LB: 49897 ... c Min unsat cost LB: 49898 ... c Min unsat cost LB: 49899 ... c Min unsat cost LB: 49900 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 49902 ... c Min unsat cost LB: 49903 ... c Min unsat cost LB: 49904 ... c Min unsat cost LB: 49905 ... c Min unsat cost LB: 49906 ... c Min unsat cost LB: 49907 ... c Min unsat cost LB: 49908 ... c Min unsat cost LB: 49909 ... c Min unsat cost LB: 49910 ... c Min unsat cost LB: 49911 ... c Min unsat cost LB: 49912 ... c Min unsat cost LB: 49913 ... c Min unsat cost LB: 49914 ... c Min unsat cost LB: 49915 ... c Min unsat cost LB: 49916 ... c Min unsat cost LB: 49917 ... c Min unsat cost LB: 49918 ... c Min unsat cost LB: 49919 ... c Min unsat cost LB: 49920 ... c Min unsat cost LB: 49921 ... c Min unsat cost LB: 49922 ... c Min unsat cost LB: 49923 ... c Min unsat cost LB: 49924 ... c Min unsat cost LB: 49925 ... c Min unsat cost LB: 49935 ... c Min unsat cost LB: 49936 ... c Min unsat cost LB: 49937 ... c Min unsat cost LB: 49938 ... c Min unsat cost LB: 49939 ... c Min unsat cost LB: 49940 ... c Min unsat cost LB: 49942 ... c Min unsat cost LB: 49943 ... c Min unsat cost LB: 49944 ... c Min unsat cost LB: 49945 ... c Min unsat cost LB: 49957 ... c Min unsat cost LB: 49958 ... c Min unsat cost LB: 49997 ... c Min unsat cost LB: 49998 ... c Min unsat cost LB: 49999 ... c Min unsat cost LB: 50000 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50002 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50004 ... c Min unsat cost LB: 50005 ... c Min unsat cost LB: 50006 ... c Min unsat cost LB: 50007 ... c Min unsat cost LB: 50008 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50010 ... c Min unsat cost LB: 50011 ... c Min unsat cost LB: 50012 ... c Min unsat cost LB: 50013 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50015 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50017 ... c Min unsat cost LB: 50018 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50020 ... c Min unsat cost LB: 50021 ... c Min unsat cost LB: 50022 ... c Min unsat cost LB: 50023 ... c Min unsat cost LB: 50024 ... c Min unsat cost LB: 50025 ... c Min unsat cost LB: 50026 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50031 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50048 ... c Min unsat cost LB: 50049 ... c Min unsat cost LB: 50050 ... c Min unsat cost LB: 50051 ... c Min unsat cost LB: 50052 ... c Min unsat cost LB: 50053 ... c Min unsat cost LB: 50054 ... c Min unsat cost LB: 50055 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50057 ... c Min unsat cost LB: 50058 ... c Min unsat cost LB: 50059 ... c Min unsat cost LB: 50060 ... c Min unsat cost LB: 50061 ... c Min unsat cost LB: 50062 ... c Min unsat cost LB: 50063 ... c Min unsat cost LB: 50064 ... c Min unsat cost LB: 50065 ... c Min unsat cost LB: 50066 ... c Min unsat cost LB: 50067 ... c Min unsat cost LB: 50068 ... c Min unsat cost LB: 50069 ... c Min unsat cost LB: 50070 ... c Min unsat cost LB: 50071 ... c Min unsat cost LB: 50072 ... c Min unsat cost LB: 50073 ... c Min unsat cost LB: 50074 ... c Min unsat cost LB: 50075 ... c Min unsat cost LB: 50076 ... c Min unsat cost LB: 50077 ... c Min unsat cost LB: 50078 ... c Min unsat cost LB: 50079 ... c Min unsat cost LB: 50080 ... c Min unsat cost LB: 50081 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50083 ... c Min unsat cost LB: 50084 ... c Min unsat cost LB: 50085 ... c Min unsat cost LB: 50086 ... c Min unsat cost LB: 50087 ... c Min unsat cost LB: 50088 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50090 ... c Min unsat cost LB: 50091 ... c Min unsat cost LB: 50092 ... c Min unsat cost LB: 50093 ... c Min unsat cost LB: 50094 ... c Min unsat cost LB: 50095 ... c Min unsat cost LB: 50096 ... c Min unsat cost LB: 50097 ... c Min unsat cost LB: 50098 ... c Min unsat cost LB: 50099 ... c Min unsat cost LB: 50100 ... c Min unsat cost LB: 50101 ... c Min unsat cost LB: 50102 ... c Min unsat cost LB: 50103 ... c Min unsat cost LB: 50104 ... c Min unsat cost LB: 50105 ... c Min unsat cost LB: 50106 ... c Min unsat cost LB: 50107 ... c Min unsat cost LB: 50108 ... c Min unsat cost LB: 50109 ... c Min unsat cost LB: 50110 ... c Min unsat cost LB: 50111 ... c Min unsat cost LB: 50112 ... c Min unsat cost LB: 50113 ... c Min unsat cost LB: 50115 ... c Min unsat cost LB: 50116 ... c Min unsat cost LB: 50117 ... c Min unsat cost LB: 50118 ... c Min unsat cost LB: 50119 ... c Min unsat cost LB: 50120 ... c Min unsat cost LB: 50121 ... c Min unsat cost LB: 50122 ... c Min unsat cost LB: 50123 ... c Min unsat cost LB: 50124 ... c Min unsat cost LB: 50125 ... c Min unsat cost LB: 50126 ... c Min unsat cost LB: 50127 ... c Min unsat cost LB: 50128 ... c Min unsat cost LB: 50129 ... c Min unsat cost LB: 50130 ... c Min unsat cost LB: 50131 ... c Min unsat cost LB: 50132 ... c Min unsat cost LB: 50133 ... c Min unsat cost LB: 50134 ... c Min unsat cost LB: 50135 ... c Min unsat cost LB: 50136 ... c Min unsat cost LB: 50137 ... c Min unsat cost LB: 50138 ... c Min unsat cost LB: 50139 ... c Min unsat cost LB: 50140 ... c Min unsat costKilled 1814.908u 4.832s 30:20.27 99.9% 0+0k 0+0io 0pf+0w