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_SCHEDULING_cat_sched_60_90_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_90_0002.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_SCHEDULING/cat_sched_60_90_0002.txt.wcnf *** c c Min unsat cost LB: 386 ... c Min unsat cost LB: 708 ... c Min unsat cost LB: 772 ... c Min unsat cost LB: 1094 ... c Min unsat cost LB: 1978 ... c Min unsat cost LB: 2364 ... c Min unsat cost LB: 2686 ... c Min unsat cost LB: 2750 ... c Min unsat cost LB: 3634 ... c Min unsat cost LB: 4518 ... c Min unsat cost LB: 4712 ... c Min unsat cost LB: 5596 ... c Min unsat cost LB: 6480 ... c Min unsat cost LB: 7364 ... c Min unsat cost LB: 7492 ... c Min unsat cost LB: 7814 ... c Min unsat cost LB: 8698 ... c Min unsat cost LB: 8760 ... c Min unsat cost LB: 9020 ... c Min unsat cost LB: 9272 ... c Min unsat cost LB: 9784 ... c Min unsat cost LB: 10156 ... c Min unsat cost LB: 11040 ... c Min unsat cost LB: 11924 ... c Min unsat cost LB: 11994 ... c Min unsat cost LB: 12878 ... c Min unsat cost LB: 13390 ... c Min unsat cost LB: 14274 ... c Min unsat cost LB: 14414 ... c Min unsat cost LB: 14646 ... c Min unsat cost LB: 15530 ... c Min unsat cost LB: 16414 ... c Min unsat cost LB: 16926 ... c Min unsat cost LB: 17810 ... c Min unsat cost LB: 18182 ... c Min unsat cost LB: 18322 ... c Min unsat cost LB: 18834 ... c Min unsat cost LB: 19114 ... c Min unsat cost LB: 19346 ... c Min unsat cost LB: 19788 ... c Min unsat cost LB: 20672 ... c Min unsat cost LB: 21496 ... c Min unsat cost LB: 22008 ... c Min unsat cost LB: 22068 ... c Min unsat cost LB: 22832 ... c Min unsat cost LB: 23344 ... c Min unsat cost LB: 23464 ... c Min unsat cost LB: 23534 ... c Min unsat cost LB: 23906 ... c Min unsat cost LB: 24046 ... c Min unsat cost LB: 24558 ... c Min unsat cost LB: 25070 ... c Min unsat cost LB: 25582 ... c Min unsat cost LB: 25862 ... c Min unsat cost LB: 26094 ... c Min unsat cost LB: 26326 ... c Min unsat cost LB: 26480 ... c Min unsat cost LB: 26698 ... c Min unsat cost LB: 26866 ... c Min unsat cost LB: 27378 ... c Min unsat cost LB: 28094 ... c Min unsat cost LB: 28858 ... c Min unsat cost LB: 28966 ... c Min unsat cost LB: 28978 ... c Min unsat cost LB: 29026 ... c Min unsat cost LB: 29538 ... c Min unsat cost LB: 29700 ... c Min unsat cost LB: 30142 ... c Min unsat cost LB: 30212 ... c Min unsat cost LB: 30282 ... c Min unsat cost LB: 30344 ... c Min unsat cost LB: 30414 ... c Min unsat cost LB: 30492 ... c Min unsat cost LB: 30786 ... c Min unsat cost LB: 31004 ... c Min unsat cost LB: 31236 ... c Min unsat cost LB: 31516 ... c Min unsat cost LB: 32028 ... c Min unsat cost LB: 32308 ... c Min unsat cost LB: 32484 ... c Min unsat cost LB: 32540 ... c Min unsat cost LB: 32800 ... c Min unsat cost LB: 32926 ... c Min unsat cost LB: 33052 ... c Min unsat cost LB: 33312 ... c Min unsat cost LB: 33508 ... c Min unsat cost LB: 33648 ... c Min unsat cost LB: 33698 ... c Min unsat cost LB: 33880 ... c Min unsat cost LB: 34020 ... c Min unsat cost LB: 34120 ... c Min unsat cost LB: 34148 ... c Min unsat cost LB: 34210 ... c Min unsat cost LB: 34534 ... c Min unsat cost LB: 34596 ... c Min unsat cost LB: 34856 ... c Min unsat cost LB: 34968 ... c Min unsat cost LB: 34982 ... c Min unsat cost LB: 35004 ... c Min unsat cost LB: 35052 ... c Min unsat cost LB: 35164 ... c Min unsat cost LB: 35282 ... c Min unsat cost LB: 35520 ... c Min unsat cost LB: 35598 ... c Min unsat cost LB: 35660 ... c Min unsat cost LB: 35730 ... c Min unsat cost LB: 35816 ... c Min unsat cost LB: 35888 ... c Min unsat cost LB: 35926 ... c Min unsat cost LB: 36158 ... c Min unsat cost LB: 36284 ... c Min unsat cost LB: 36468 ... c Min unsat cost LB: 36564 ... c Min unsat cost LB: 36628 ... c Min unsat cost LB: 36718 ... c Min unsat cost LB: 36772 ... c Min unsat cost LB: 36966 ... c Min unsat cost LB: 37026 ... c Min unsat cost LB: 37100 ... c Min unsat cost LB: 37154 ... c Min unsat cost LB: 37218 ... c Min unsat cost LB: 37274 ... c Min unsat cost LB: 37396 ... c Min unsat cost LB: 37450 ... c Min unsat cost LB: 37476 ... c Min unsat cost LB: 37712 ... c Min unsat cost LB: 37866 ... c Min unsat cost LB: 38034 ... c Min unsat cost LB: 38252 ... c Min unsat cost LB: 38294 ... c Min unsat cost LB: 38300 ... c Min unsat cost LB: 38308 ... c Min unsat cost LB: 38316 ... c Min unsat cost LB: 38366 ... c Min unsat cost LB: 38420 ... c Min unsat cost LB: 38482 ... c Min unsat cost LB: 38494 ... c Min unsat cost LB: 38554 ... c Min unsat cost LB: 38814 ... c Min unsat cost LB: 38878 ... c Min unsat cost LB: 38906 ... c Min unsat cost LB: 38940 ... c Min unsat cost LB: 39010 ... c Min unsat cost LB: 39064 ... c Min unsat cost LB: 39120 ... c Min unsat cost LB: 39134 ... c Min unsat cost LB: 39304 ... c Min unsat cost LB: 39342 ... c Min unsat cost LB: 39372 ... c Min unsat cost LB: 39376 ... c Min unsat cost LB: 39462 ... c Min unsat cost LB: 39540 ... c Min unsat cost LB: 39594 ... c Min unsat cost LB: 39706 ... c Min unsat cost LB: 39842 ... c Min unsat cost LB: 39992 ... c Min unsat cost LB: 40114 ... c Min unsat cost LB: 40162 ... c Min unsat cost LB: 40212 ... c Min unsat cost LB: 40274 ... c Min unsat cost LB: 40296 ... c Min unsat cost LB: 40562 ... c Min unsat cost LB: 40568 ... c Min unsat cost LB: 41026 ... c Min unsat cost LB: 41080 ... c Min unsat cost LB: 41452 ... c Min unsat cost LB: 41490 ... c Min unsat cost LB: 41574 ... c Min unsat cost LB: 41806 ... c Min unsat cost LB: 42024 ... c Min unsat cost LB: 42046 ... c Min unsat cost LB: 42274 ... c Min unsat cost LB: 42416 ... c Min unsat cost LB: 42512 ... c Min unsat cost LB: 42554 ... c Min unsat cost LB: 42780 ... c Min unsat cost LB: 43086 ... c Min unsat cost LB: 43158 ... c Min unsat cost LB: 43198 ... c Min unsat cost LB: 43210 ... c Min unsat cost LB: 43224 ... c Min unsat cost LB: 43246 ... c Min unsat cost LB: 43248 ... c Min unsat cost LB: 43338 ... c Min unsat cost LB: 43350 ... c Min unsat cost LB: 43378 ... c Min unsat cost LB: 43468 ... c Min unsat cost LB: 43588 ... c Min unsat cost LB: 43668 ... c Min unsat cost LB: 43900 ... c Min unsat cost LB: 43916 ... c Min unsat cost LB: 43958 ... c Min unsat cost LB: 43986 ... c Min unsat cost LB: 44048 ... c Min unsat cost LB: 44054 ... c Min unsat cost LB: 44058 ... c Min unsat cost LB: 44096 ... c Min unsat cost LB: 44158 ... c Min unsat cost LB: 44216 ... c Min unsat cost LB: 44220 ... c Min unsat cost LB: 44224 ... c Min unsat cost LB: 44456 ... c Min unsat cost LB: 44504 ... c Min unsat cost LB: 44552 ... c Min unsat cost LB: 44732 ... c Min unsat cost LB: 44884 ... c Min unsat cost LB: 44924 ... c Min unsat cost LB: 44950 ... c Min unsat cost LB: 44954 ... c Min unsat cost LB: 44956 ... c Min unsat cost LB: 44988 ... c Min unsat cost LB: 44994 ... c Min unsat cost LB: 45008 ... c Min unsat cost LB: 45240 ... c Min unsat cost LB: 45244 ... c Min unsat cost LB: 45282 ... c Min unsat cost LB: 45286 ... c Min unsat cost LB: 45302 ... c Min unsat cost LB: 45306 ... c Min unsat cost LB: 45308 ... c Min unsat cost LB: 45310 ... c Min unsat cost LB: 45312 ... c Min unsat cost LB: 45322 ... c Min unsat cost LB: 45324 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45332 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45346 ... c Min unsat cost LB: 45348 ... c Min unsat cost LB: 45350 ... c Min unsat cost LB: 45352 ... c Min unsat cost LB: 45366 ... c Min unsat cost LB: 45378 ... c Min unsat cost LB: 45380 ... c Min unsat cost LB: 45382 ... c Min unsat cost LB: 45392 ... c Min unsat cost LB: 45396 ... c Min unsat cost LB: 45404 ... c Min unsat cost LB: 45406 ... c Min unsat cost LB: 45450 ... c Min unsat cost LB: 45460 ... c Min unsat cost LB: 45480 ... c Min unsat cost LB: 45488 ... c Min unsat cost LB: 45506 ... c Min unsat cost LB: 45530 ... c Min unsat cost LB: 45542 ... c Min unsat cost LB: 45554 ... c Min unsat cost LB: 45556 ... c Min unsat cost LB: 45560 ... c Min unsat cost LB: 45568 ... c Min unsat cost LB: 45570 ... c Min unsat cost LB: 45572 ... c Min unsat cost LB: 45582 ... c Min unsat cost LB: 45584 ... c Min unsat cost LB: 45594 ... c Min unsat cost LB: 45604 ... c Min unsat cost LB: 45606 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 45704 ... c Min unsat cost LB: 45716 ... c Min unsat cost LB: 45722 ... c Min unsat cost LB: 45732 ... c Min unsat cost LB: 45742 ... c Min unsat cost LB: 45754 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45760 ... c Min unsat cost LB: 45770 ... c Min unsat cost LB: 45778 ... c Min unsat cost LB: 45818 ... c Min unsat cost LB: 45820 ... c Min unsat cost LB: 45822 ... c Min unsat cost LB: 45830 ... c Min unsat cost LB: 45834 ... c Min unsat cost LB: 45836 ... c Min unsat cost LB: 45850 ... c Min unsat cost LB: 45852 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45856 ... c Min unsat cost LB: 45862 ... c Min unsat cost LB: 45874 ... c Min unsat cost LB: 45876 ... c Min unsat cost LB: 45878 ... c Min unsat cost LB: 45916 ... c Min unsat cost LB: 45918 ... c Min unsat cost LB: 45920 ... c Min unsat cost LB: 45922 ... c Min unsat cost LB: 45924 ... c Min unsat cost LB: 45926 ... c Min unsat cost LB: 45928 ... c Min unsat cost LB: 45930 ... c Min unsat cost LB: 45932 ... c Min unsat cost LB: 45934 ... c Min unsat cost LB: 45936 ... c Min unsat cost LB: 45938 ... c Min unsat cost LB: 45940 ... c Min unsat cost LB: 45942 ... c Min unsat cost LB: 45944 ... c Min unsat cost LB: 45946 ... c Min unsat cost LB: 45948 ... c Min unsat cost LB: 45950 ... c Min unsat cost LB: 45952 ... c Min unsat cost LB: 45954 ... c Min unsat cost LB: 45956 ... c Min unsat cost LB: 45958 ... c Min unsat cost LB: 45960 ... c Min unsat cost LB: 45962 ... c Min unsat cost LB: 45964 ... c Min unsat cost LB: 45966 ... c Min unsat cost LB: 45968 ... c Min unsat cost LB: 45970 ... c Min unsat cost LB: 45972 ... c Min unsat cost LB: 45974 ... c Min unsat cost LB: 45978 ... c Min unsat cost LB: 45980 ... c Min unsat cost LB: 45982 ... c Min unsat cost LB: 45984 ... c Min unsat cost LB: 46008 ... c Min unsat cost LB: 46012 ... c Min unsat cost LB: 46014 ... c Min unsat cost LB: 46016 ... c Min unsat cost LB: 46018 ... c Min unsat cost LB: 46046 ... c Min unsat cost LB: 46064 ... c Min unsat cost LB: 46066 ... c Min unsat cost LB: 46076 ... c Min unsat cost LB: 46086 ... c Min unsat cost LB: 46132 ... c Min unsat cost LB: 46134 ... c Min unsat cost LB: 46136 ... c Min unsat cost LB: 46146 ... c Min unsat cost LB: 46148 ... c Min unsat cost LB: 46154 ... c Min unsat cost LB: 46156 ... c Min unsat cost LB: 46158 ... c Min unsat cost LB: 46160 ... c Min unsat cost LB: 46162 ... c Min unsat cost LB: 46196 ... c Min unsat cost LB: 46218 ... c Min unsat cost LB: 46222 ... c Min unsat cost LB: 46230 ... c Min unsat cost LB: 46242 ... c Min unsat cost LB: 46352 ... c Min unsat cost LB: 46354 ... c Min unsat cost LB: 46356 ... c Min unsat cost LB: 46388 ... c Min unsat cost LB: 46502 ... c Min unsat cost LB: 46524 ... c Min unsat cost LB: 46556 ... c Min unsat cost LB: 46558 ... c Min unsat cost LB: 46636 ... c Min unsat cost LB: 46644 ... c Min unsat cost LB: 46648 ... c Min unsat cost LB: 46652 ... c Min unsat cost LB: 46656 ... c Min unsat cost LB: 46674 ... c Min unsat cost LB: 46678 ... c Min unsat cost LB: 46682 ... c Min unsat cost LB: 46702 ... c Min unsat cost LB: 46728 ... c Min unsat cost LB: 46738 ... c Min unsat cost LB: 46746 ... c Min unsat cost LB: 46810 ... c Min unsat cost LB: 46828 ... c Min unsat cost LB: 46834 ... c Min unsat cost LB: 46836 ... c Min unsat cost LB: 46852 ... c Min unsat cost LB: 46860 ... c Min unsat cost LB: 46862 ... c Min unsat cost LB: 46864 ... c Min unsat cost LB: 46866 ... c Min unsat cost LB: 46868 ... c Min unsat cost LB: 46882 ... c Min unsat cost LB: 46886 ... c Min unsat cost LB: 46890 ... c Min unsat cost LB: 46894 ... c Min unsat cost LB: 46896 ... c Min unsat cost LB: 47000 ... c Min unsat cost LB: 47028 ... c Min unsat cost LB: 47034 ... c Min unsat cost LB: 47042 ... c Min unsat cost LB: 47086 ... c Min unsat cost LB: 47114 ... c Min unsat cost LB: 47124 ... c Min unsat cost LB: 47128 ... c Min unsat cost LB: 47250 ... c Min unsat cost LB: 47268 ... c Min unsat cost LB: 47280 ... c Min unsat cost LB: 47286 ... c Min unsat cost LB: 47314 ... c Min unsat cost LB: 47326 ... c Min unsat cost LB: 47338 ... c Min unsat cost LB: 47348 ... c Min unsat cost LB: 47354 ... c Min unsat cost LB: 47458 ... c Min unsat cost LB: 47464 ... c Min unsat cost LB: 47524 ... c Min unsat cost LB: 47590 ... c Min unsat cost LB: 47656 ... c Min unsat cost LB: 47664 ... c Min unsat cost LB: 47708 ... c Min unsat cost LB: 47710 ... c Min unsat cost LB: 47712 ... c Min unsat cost LB: 47872 ... c Min unsat cost LB: 47890 ... c Min unsat cost LB: 47896 ... c Min unsat cost LB: 47902 ... c Min unsat cost LB: 47912 ... c Min unsat cost LB: 48004 ... c Min unsat cost LB: 48006 ... c Min unsat cost LB: 48010 ... c Min unsat cost LB: 48014 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48018 ... c Min unsat cost LB: 48020 ... c Min unsat cost LB: 48022 ... c Min unsat cost LB: 48024 ... c Min unsat cost LB: 48030 ... c Min unsat cost LB: 48032 ... c Min unsat cost LB: 48034 ... c Min unsat cost LB: 48052 ... c Min unsat cost LB: 48054 ... c Min unsat cost LB: 48056 ... c Min unsat cost LB: 48062 ... c Min unsat cost LB: 48068 ... c Min unsat cost LB: 48070 ... c Min unsat cost LB: 48074 ... c Min unsat cost LB: 48078 ... c Min unsat cost LB: 48080 ... c Min unsat cost LB: 48084 ... c Min unsat cost LB: 48086 ... c Min unsat cost LB: 48088 ... c Min unsat cost LB: 48090 ... c Min unsat cost LB: 48092 ... c Min unsat cost LB: 48094 ... c Min unsat cost LB: 48096 ... c Min unsat cost LB: 48098 ... c Min unsat cost LB: 48136 ... c Min unsat cost LB: 48138 ... c Min unsat cost LB: 48140 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48164 ... c Min unsat cost LB: 48166 ... c Min unsat cost LB: 48168 ... c Min unsat cost LB: 48170 ... c Min unsat cost LB: 48172 ... c Min unsat cost LB: 48174 ... c Min unsat cost LB: 48176 ... c Min unsat cost LB: 48178 ... c Min unsat cost LB: 48182 ... c Min unsat cost LB: 48186 ... c Min unsat cost LB: 48204 ... c Min unsat cost LB: 48214 ... c Min unsat cost LB: 48228 ... c Min unsat cost LB: 48238 ... c Min unsat cost LB: 48240 ... c Min unsat cost LB: 48242 ... c Min unsat cost LB: 48246 ... c Min unsat cost LB: 48248 ... c Min unsat cost LB: 48250 ... c Min unsat cost LB: 48252 ... c Min unsat cost LB: 48254 ... c Min unsat cost LB: 48256 ... c Min unsat cost LB: 48264 ... c Min unsat cost LB: 48266 ... c Min unsat cost LB: 48268 ... c Min unsat cost LB: 48270 ... c Min unsat cost LB: 48276 ... c Min unsat cost LB: 48404 ... c Min unsat cost LB: 48408 ... c Min unsat cost LB: 48410 ... c Min unsat cost LB: 48412 ... c Min unsat cost LB: 48416 ... c Min unsat cost LB: 48418 ... c Min unsat cost LB: 48420 ... c Min unsat cost LB: 48422 ... c Min unsat cost LB: 48424 ... c Min unsat cost LB: 48426 ... c Min unsat cost LB: 48428 ... c Min unsat cost LB: 48430 ... c Min unsat cost LB: 48432 ... c Min unsat cost LB: 48434 ... c Min unsat cost LB: 48436 ... c Min unsat cost LB: 48528 ... c Min unsat cost LB: 48530 ... c Min unsat cost LB: 48532 ... c Min unsat cost LB: 48534 ... c Min unsat cost LB: 48536 ... c Min unsat cost LB: 48556 ... c Min unsat cost LB: 48558 ... c Min unsat cost LB: 48618 ... c Min unsat cost LB: 48620 ... c Min unsat cost LB: 48622 ... c Min unsat cost LB: 48624 ... c Min unsat cost LB: 48626 ... c Min unsat cost LB: 48628 ... c Min unsat cost LB: 48630 ... c Min unsat cost LB: 48632 ... c Min unsat cost LB: 48634 ... c Min unsat cost LB: 48636 ... c Min unsat cost LB: 48638 ... c Min unsat cost LB: 48640 ... c Min unsat cost LB: 48642 ... c Min unsat cost LB: 48644 ... c Min unsat cost LB: 48646 ... c Min unsat cost LB: 48648 ... c Min unsat cost LB: 48652 ... c Min unsat cost LB: 48654 ... c Min unsat cost LB: 48678 ... c Min unsat cost LB: 48696 ... c Min unsat cost LB: 48718 ... c Min unsat cost LB: 48720 ... c Min unsat cost LB: 48722 ... c Min unsat cost LB: 48728 ... c Min unsat cost LB: 48730 ... c Min unsat cost LB: 48732 ... c Min unsat cost LB: 48734 ... c Min unsat cost LB: 48736 ... c Min unsat cost LB: 48738 ... c Min unsat cost LB: 48742 ... c Min unsat cost LB: 48746 ... c Min unsat cost LB: 48750 ... c Min unsat cost LB: 48752 ... c Min unsat cost LB: 48754 ... c Min unsat cost LB: 48756 ... c Min unsat cost LB: 48758 ... c Min unsat cost LB: 48764 ... c Min unsat cost LB: 48766 ... c Min unsat cost LB: 48776 ... c Min unsat cost LB: 48778 ... c Min unsat cost LB: 48780 ... c Min unsat cost LB: 48782 ... c Min unsat cost LB: 48784 ... c Min unsat cost LB: 48786 ... c Min unsat cost LB: 48788 ... c Min unsat cost LB: 48790 ... c Min unsat cost LB: 48806 ... c Min unsat cost LB: 48812 ... c Min unsat cost LB: 48816 ... c Min unsat cost LB: 48824 ... c Min unsat cost LB: 48884 ... c Min unsat cost LB: 48886 ... c Min unsat cost LB: 48888 ... c Min unsat cost LB: 48892 ... c Min unsat cost LB: 48894 ... c Min unsat cost LB: 48896 ... c Min unsat cost LB: 48898 ... c Min unsat cost LB: 48900 ... c Min unsat cost LB: 48902 ... c Min unsat cost LB: 48904 ... c Min unsat cost LB: 48906 ... c Min unsat cost LB: 48908 ... c Min unsat cost LB: 48918 ... c Min unsat cost LB: 48920 ... c Min unsat cost LB: 48934 ... c Min unsat cost LB: 48936 ... c Min unsat cost LB: 48942 ... c Min unsat cost LB: 48956 ... c Min unsat cost LB: 48958 ... c Min unsat cost LB: 48960 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 48966 ... c Min unsat cost LB: 48968 ... c Min unsat cost LB: 48970 ... c Min unsat cost LB: 48972 ... c Min unsat cost LB: 48974 ... c Min unsat cost LB: 48976 ... c Min unsat cost LB: 48978 ... c Min unsat cost LB: 48980 ... c Min unsat cost LB: 48982 ... c Min unsat cost LB: 48984 ... c Min unsat cost LB: 48986 ... c Min unsat cost LB: 48988 ... c Min unsat cost LB: 48990 ... c Min unsat cost LB: 48992 ... c Min unsat cost LB: 48996 ... c Min unsat cost LB: 49002 ... c Min unsat cost LB: 49004 ... c Min unsat cost LB: 49006 ... c Min unsat cost LB: 49008 ... c Min unsat cost LB: 49010 ... c Min unsat cost LB: 49012 ... c Min unsat cost LB: 49014 ... c Min unsat cost LB: 49016 ... c Min unsat cost LB: 49020 ... c Min unsat cost LB: 49022 ... c Min unsat cost LB: 49024 ... c Min unsat cost LB: 49026 ... c Min unsat cost LB: 49028 ... c Min unsat cost LB: 49030 ... c Min unsat cost LB: 49032 ... c Min unsat cost LB: 49050 ... c Min unsat cost LB: 49052 ... c Min unsat cost LB: 49054 ... c Min unsat cost LB: 49056 ... c Min unsat cost LB: 49058 ... c Min unsat cost LB: 49060 ... c Min unsat cost LB: 49062 ... c Min unsat cost LB: 49064 ... c Min unsat cost LB: 49066 ... c Min unsat cost LB: 49068 ... c Min unsat cost LB: 49070 ... c Min unsat cost LB: 49072 ... c Min unsat cost LB: 49074 ... c Min unsat cost LB: 49076 ... c Min unsat cost LB: 49078 ... c Min unsat cost LB: 49080 ... c Min unsat cost LB: 49084 ... c Min unsat cost LB: 49132 ... c Min unsat cost LB: 49134 ... c Min unsat cost LB: 49136 ... c Min unsat cost LB: 49138 ... c Min unsat cost LB: 49140 ... c Min unsat cost LB: 49142 ... c Min unsat cost LB: 49144 ... c Min unsat cost LB: 49148 ... c Min unsat cost LB: 49150 ... c Min unsat cost LB: 49152 ... c Min unsat cost LB: 49154 ... c Min unsat cost LB: 49156 ... c Min unsat cost LB: 49158 ... c Min unsat cost LB: 49160 ... c Min unsat cost LB: 49162 ... c Min unsat cost LB: 49164 ... c Min unsat cost LB: 49166 ... c Min unsat cost LB: 49168 ... c Min unsat cost LB: 49170 ... c Min unsat cost LB: 49172 ... c Min unsat cost LB: 49174 ... c Min unsat cost LB: 49176 ... c Min unsat cost LB: 49178 ... c Min unsat cost LB: 49180 ... c Min unsat cost LB: 49182 ... c Min unsat cost LB: 49184 ... c Min unsat cost LB: 49186 ... c Min unsat cost LB: 49188 ... c Min unsat cost LB: 49190 ... c Min unsat cost LB: 49192 ... c Min unsat cost LB: 49194 ... c Min unsat cost LB: 49196 ... c Min unsat cost LB: 49198 ... c Min unsat cost LB: 49200 ... c Min unsat cost LB: 49202 ... c Min unsat cost LB: 49204 ... c Min unsat cost LB: 49206 ... c Min unsat cost LB: 49210 ... c Min unsat cost LB: 49214 ... c Min unsat cost LB: 49216 ... c Min unsat cost LB: 49226 ... c Min unsat cost LB: 49228 ... c Min unsat cost LB: 49230 ... c Min unsat cost LB: 49232 ... c Min unsat cost LB: 49234 ... c Min unsat cost LB: 49240 ... c Min unsat cost LB: 49242 ... c Min unsat cost LB: 49244 ... c Min unsat cost LB: 49246 ... c Min unsat cost LB: 49248 ... c Min unsat cost LB: 49250 ... c Min unsat cost LB: 49252 ... c Min unsat cost LB: 49254 ... c Min unsat cost LB: 49256 ... c Min unsat cost LB: 49258 ... c Min unsat cost LB: 49260 ... c Min unsat cost LB: 49262 ... c Min unsat cost LB: 49264 ... c Min unsat cost LB: 49266 ... c Min unsat cost LB: 49270 ... c Min unsat cost LB: 49272 ... c Min unsat cost LB: 49274 ... c Min unsat cost LB: 49276 ... c Min unsat cost LB: 49278 ... c Min unsat cost LB: 49280 ... c Min unsat cost LB: 49282 ... c Min unsat cost LB: 49284 ... c Min unsat cost LB: 49286 ... c Min unsat cost LB: 49288 ... c Min unsat cost LB: 49290 ... c Min unsat cost LB: 49292 ... c Min unsat cost LB: 49294 ... c Min unsat cost LB: 49296 ... c Min unsat cost LB: 49298 ... c Min unsat cost LB: 49300 ... c Min unsat cost LB: 49302 ... c Min unsat cost LB: 49304 ... c Min unsat cost LB: 49306 ... c Min unsat cost LB: 49308 ... c Min unsat cost LB: 49310 ... c Min unsat cost LB: 49312 ... c Min unsat cost LB: 49314 ... c Min unsat cost LB: 49316 ... c Min unsat cost LB: 49318 ... c Min unsat cost LB: 49320 ... c Min unsat cost LB: 49322 ... c Min unsat cost LB: 49324 ... c Min unsat cost LB: 49326 ... c Min unsat cost LB: 49328 ... c Min unsat cost LB: 49330 ... c Min unsat cost LB: 49332 ... c Min unsat cost LB: 49334 ... c Min unsat cost LB: 49336 ... c Min unsat cost LB: 49338 ... c Min unsat cost LB: 49340 ... c Min unsat cost LB: 49342 ... c Min unsat cost LB: 49344 ... c Min unsat cost LB: 49346 ... c Min unsat cost LB: 49348 ... c Min unsat cost LB: 49350 ... c Min unsat cost LB: 49352 ... c Min unsat cost LB: 49354 ... c Min unsat cost LB: 49356 ... c Min unsat cost LB: 49358 ... c Min unsat cost LB: 49360 ... c Min unsat cost LB: 49362 ... c Min unsat cost LB: 49364 ... c Min unsat cost LB: 49366 ... c Min unsat cost LB: 49408 ... c Min unsat cost LB: 49410 ... c Min unsat cost LB: 49412 ... c Min unsat cost LB: 49456 ... c Min unsat cost LB: 49458 ... c Min unsat cost LB: 49460 ... c Min unsat cost LB: 49462 ... c Min unsat cost LB: 49464 ... c Min unsat cost LB: 49466 ... c Min unsat cost LB: 49468 ... c Min unsat cost LB: 49470 ... c Min unsat cost LB: 49472 ... c Min unsat cost LB: 49474 ... c Min unsat cost LB: 49524 ... c Min unsat cost LB: 49526 ... c Min unsat cost LB: 49528 ... c Min unsat cost LB: 49530 ... c Min unsat cost LB: 49532 ... c Min unsat cost LB: 49534 ... c Min unsat cost LB: 49538 ... c Min unsat cost LB: 49542 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49560 ... c Min unsat cost LB: 49562 ... c Min unsat cost LB: 49564 ... c Min unsat cost LB: 49566 ... c Min unsat cost LB: 49568 ... c Min unsat cost LB: 49570 ... c Min unsat cost LB: 49572 ... c Min unsat cost LB: 49574 ... c Min unsat cost LB: 49576 ... c Min unsat cost LB: 49578 ... c Min unsat cost LB: 49580 ... c Min unsat cost LB: 49582 ... c Min unsat cost LB: 49584 ... c Min unsat cost LB: 49586 ... c Min unsat cost LB: 49588 ... c Min unsat cost LB: 49590 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49594 ... c Min unsat cost LB: 49596 ... c Min unsat cost LB: 49598 ... c Min unsat cost LB: 49600 ... c Min unsat cost LB: 49602 ... c Min unsat cost LB: 49604 ... c Min unsat cost LB: 49606 ... c Min unsat cost LB: 49608 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49614 ... c Min unsat cost LB: 49616 ... c Min unsat cost LB: 49618 ... c Min unsat cost LB: 49620 ... c Min unsat cost LB: 49622 ... c Min unsat cost LB: 49628 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49632 ... c Min unsat cost LB: 49634 ... c Min unsat cost LB: 49636 ... c Min unsat cost LB: 49638 ... c Min unsat cost LB: 49640 ... c Min unsat cost LB: 49642 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49646 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49780 ... c Min unsat cost LB: 49782 ... c Min unsat cost LB: 49784 ... c Min unsat cost LB: 49786 ... c Min unsat cost LB: 49788 ... c Min unsat cost LB: 49790 ... c Min unsat cost LB: 49792 ... c Min unsat cost LB: 49794 ... c Min unsat cost LB: 49796 ... c Min unsat cost LB: 49798 ... c Min unsat cost LB: 49800 ... c Min unsat cost LB: 49804 ... c Min unsat cost LB: 49806 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49812 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 49816 ... c Min unsat cost LB: 49818 ... c Min unsat cost LB: 49820 ... c Min unsat cost LB: 49822 ... c Min unsat cost LB: 49824 ... c Min unsat cost LB: 49826 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49832 ... c Min unsat cost LB: 49834 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 49838 ... c Min unsat cost LB: 49840 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 49852 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 49856 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 49860 ... c Min unsat cost LB: 49862 ... c Min unsat cost LB: 49872 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49876 ... c Min unsat cost LB: 49894 ... c Min unsat cost LB: 49896 ... c Min unsat cost LB: 49898 ... c Min unsat cost LB: 49900 ... c Min unsat cost LB: 49902 ... c Min unsat cost LB: 49904 ... c Min unsat cost LB: 49906 ... c Min unsat cost LB: 49908 ... c Min unsat cost LB: 49910 ... c Min unsat cost LB: 49912 ... c Min unsat cost LB: 49914 ... c Min unsat cost LB: 49916 ... c Min unsat cost LB: 49918 ... c Min unsat cost LB: 49920 ... c Min unsat cost LB: 49922 ... c Min unsat cost LB: 49924 ... c Min unsat cost LB: 49926 ... c Min unsat cost LB: 49928 ... c Min unsat cost LB: 49930 ... c Min unsat cost LB: 49932 ... c Min unsat cost LB: 49934 ... c Min unsat cost LB: 49936 ... c Min unsat cost LB: 49938 ... c Min unsat cost LB: 49940 ... c Min unsat cost LB: 49942 ... c Min unsat cost LB: 49944 ... c Min unsat cost LB: 49950 ... c Min unsat cost LB: 49952 ... c Min unsat cost LB: 49954 ... c Min unsat cost LB: 49956 ... c Min unsat cost LB: 49960 ... c Min unsat cost LB: 49980 ... c Min unsat cost LB: 49982 ... c Min unsat cost LB: 49984 ... c Min unsat cost LB: 49986 ... c Min unsat cost LB: 49988 ... c Min unsat cost LB: 49990 ... c Min unsat cost LB: 49992 ... c Min unsat cost LB: 49994 ... c Min unsat cost LB: 49996 ... c Min unsat cost LB: 49998 ... c Min unsat cost LB: 50000 ... c Min unsat cost LB: 50002 ... c Min unsat cost LB: 50006 ... c Min unsat cost LB: 50008 ... c Min unsat cost LB: 50010 ... c Min unsat cost LB: 50012 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50018 ... c Min unsat cost LB: 50020 ... c Min unsat cost LB: 50022 ... c Min unsat cost LB: 50024 ... c Min unsat cost LB: 50026 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50036 ... c Min unsat cost LB: 50042 ... c Min unsat cost LB: 50044 ... c Min unsat cost LB: 50046 ... c Min unsat cost LB: 50048 ... c Min unsat cost LB: 50050 ... c Min unsat cost LB: 50052 ... c Min unsat cost LB: 50054 ... c Min unsat cost LB: 50064 ... c Min unsat cost LB: 50066 ... c Min unsat cost LB: 50078 ... c Min unsat cost LB: 50080 ... c Min unsat cost LB: 50098 ... c Min unsat cost LB: 50100 ... c Min unsat cost LB: 50102 ... c Min unsat cost LB: 50104 ... c Min unsat cost LB: 50106 ... c Min unsat cost LB: 50108 ... c Min unsat cost LB: 50110 ... c Min unsat cost LB: 50112 ... c Min unsat cost LB: 50116 ... c Min unsat cost LB: 50120 ... c Min unsat cost LB: 50122 ... c Min unsat cost LB: 50124 ... c Min unsat cost LB: 50128 ... c Min unsat cost LB: 50130 ... c Min unsat cost LB: 50138 ... c Min unsat cost LB: 50140 ... c Min unsat cost LB: 50142 ... c Min unsat cost LB: 50144 ... c Min unsat cost LB: 50146 ... c Min unsat cost LB: 50148 ... c Min unsat cost LB: 50150 ... c Min unsat cost LB: 50152 ... c Min unsat cost LB: 50154 ... c Min unsat cost LB: 50156 ... c Min unsat cost LB: 50158 ... c Min unsat cost LB: 50160 ... c Min unsat cost LB: 50162 ... c Min unsat cost LB: 50164 ... c Min unsat cost LB: 50166 ... c Min unsat cost LB: 50168 ... c Min unsat cost LB: 50170 ... c Min unsat cost LB: 50172 ... c Min unsat cost LB: 50174 ... c Min unsat cost LB: 50176 ... c Min unsat cost LB: 50178 ... c Min unsat cost LB: 50180 ... c Min unsat cost LB: 50182 ... c Min unsat cost LB: 50184 ... c Min unsat cost LB: 50186 ... c Min unsat cost LB: 50190 ... c Min unsat cost LB: 50192 ... c Min unsat cost LB: 50222 ... c Min unsat cost LB: 50226 ... c Min unsat cost LB: 50228 ... c Min unsat cost LB: 50230 ... c Min unsat cost LB: 50232 ... c Min unsat cost LB: 50234 ... c Min unsat cost LB: 50236 ... c Min unsat cost LB: 50238 ... c Min unsat cost LB: 50240 ... c Min unsat cost LB: 50242 ... c Min unsat cost LB: 50264 ... c Min unsat cost LB: 50268 ... c Min unsat cost LB: 50270 ... c Min unsat cost LB: 50284 ... c Min unsat cost LB: 50286 ... c Min unsat cost LB: 50288 ... c Min unsat cost LB: 50308 ... c Min unsat cost LB: 50310 ... c Min unsat cost LB: 50312 ... c Min unsat cost LB: 50314 ... c Min unsat cost LB: 50316 ... c Min unsat cost LB: 50318 ... c Min unsat cost LB: 50320 ... c Min unsat cost LB: 50322 ... c Min unsat cost LB: 50324 ... c Min unsat cost LB: 50326 ... c Min unsat cost LB: 50328 ... c Min unsat cost LB: 50376 ... c Min unsat cost LB: 50378 ... c Min unsat cost LB: 50380 ... c Min unsat cost LB: 50382 ... c Min unsat cost LB: 50384 ... c Min unsat cost LB: 50386 ... c Min unsat cost LB: 50388 ... c Min unsat cost LB: 50390 ... c Min unsat cost LB: 50392 ... c Min unsat cost LB: 50394 ... c Min unsat cost LB: 50396 ... c Min unsat cost LB: 50398 ... c Min unsat cost LB: 50400 ... c Min unsat cost LB: 50402 ... c Min unsat cost LB: 50404 ... c Min unsat cost LB: 50406 ... c Min unsat cost LB: 50408 ... c Min unsat cost LB: 50410 ... c Min unsat cost LB: 50412 ... c Min unsat cost LB: 50414 ... c Min unsat cost LB: 50416 ... c Min unsat cost LB: 50418 ... c Min unsat cost LB: 50420 ... c Min unsat cost LB: 50422 ... c Min unsat cost LB: 50424 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50428 ... c Min unsat cost LB: 50430 ... c Min unsat cost LB: 50432 ... c Min unsat cost LB: 50434 ... c Min unsat cost LB: 50436 ... c Min unsat cost LB: 50438 ... c Min unsat cost LB: 50440 ... c Min unsat cost LB: 50442 ... c Min unsat cost LB: 50444 ... c Min unsat cost LB: 50472 ... c Min unsat cost LB: 50474 ... c Min unsat cost LB: 50476 ... c Min unsat cost LB: 50478 ... c Min unsat cost LB: 50480 ... c Min unsat cost LB: 50482 ... c Min unsat cost LB: 50484 ... c Min unsat cost LB: 50486 ... c Min unsat cost LB: 50488 ... c Min unsat cost LB: 50490 ... c Min unsat cost LB: 50492 ... c Min unsat cost LB: 50494 ... c Min unsat cost LB: 50496 ... c Min unsat cost LB: 50498 ... c Min unsat cost LB: 50500 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 50504 ... c Min unsat cost LB: 50506 ... c Min unsat cost LB: 50508 ... c Min unsat cost LB: 50542 ... c Min unsat cost LB: 50544 ... c Min unsat cost LB: 50546 ... c Min unsat cost LB: 50548 ... c Min unsat cost LB: 50550 ... c Min unsat cost LB: 50552 ... c Min unsat cost LB: 50554 ... c Min unsat cost LB: 50556 ... c Min unsat cost LB: 50558 ... c Min unsat cost LB: 50560 ... c Min unsat cost LB: 50562 ... c Min unsat cost LB: 50564 ... c Min unsat cost LB: 505Killed 1817.373u 2.364s 30:23.24 99.8% 0+0k 0+0io 0pf+0w