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_180_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_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_180_0002.txt.wcnf *** c c Min unsat cost LB: 250 ... c Min unsat cost LB: 500 ... c Min unsat cost LB: 555 ... c Min unsat cost LB: 805 ... c Min unsat cost LB: 1055 ... c Min unsat cost LB: 1872 ... c Min unsat cost LB: 2689 ... c Min unsat cost LB: 3506 ... c Min unsat cost LB: 4323 ... c Min unsat cost LB: 4573 ... c Min unsat cost LB: 4823 ... c Min unsat cost LB: 5640 ... c Min unsat cost LB: 5890 ... c Min unsat cost LB: 6140 ... c Min unsat cost LB: 6957 ... c Min unsat cost LB: 7207 ... c Min unsat cost LB: 7457 ... c Min unsat cost LB: 7707 ... c Min unsat cost LB: 8524 ... c Min unsat cost LB: 8774 ... c Min unsat cost LB: 8829 ... c Min unsat cost LB: 9058 ... c Min unsat cost LB: 9079 ... c Min unsat cost LB: 9274 ... c Min unsat cost LB: 9329 ... c Min unsat cost LB: 9579 ... c Min unsat cost LB: 10396 ... c Min unsat cost LB: 10713 ... c Min unsat cost LB: 10908 ... c Min unsat cost LB: 11577 ... c Min unsat cost LB: 11827 ... c Min unsat cost LB: 11975 ... c Min unsat cost LB: 12644 ... c Min unsat cost LB: 12996 ... c Min unsat cost LB: 13098 ... c Min unsat cost LB: 13144 ... c Min unsat cost LB: 13394 ... c Min unsat cost LB: 13644 ... c Min unsat cost LB: 14211 ... c Min unsat cost LB: 14834 ... c Min unsat cost LB: 15503 ... c Min unsat cost LB: 16070 ... c Min unsat cost LB: 16172 ... c Min unsat cost LB: 16422 ... c Min unsat cost LB: 16672 ... c Min unsat cost LB: 17341 ... c Min unsat cost LB: 17908 ... c Min unsat cost LB: 17954 ... c Min unsat cost LB: 18577 ... c Min unsat cost LB: 18827 ... c Min unsat cost LB: 19496 ... c Min unsat cost LB: 19746 ... c Min unsat cost LB: 20313 ... c Min unsat cost LB: 20507 ... c Min unsat cost LB: 20982 ... c Min unsat cost LB: 21757 ... c Min unsat cost LB: 22007 ... c Min unsat cost LB: 22257 ... c Min unsat cost LB: 22349 ... c Min unsat cost LB: 22599 ... c Min unsat cost LB: 22701 ... c Min unsat cost LB: 23370 ... c Min unsat cost LB: 24039 ... c Min unsat cost LB: 24458 ... c Min unsat cost LB: 25035 ... c Min unsat cost LB: 25264 ... c Min unsat cost LB: 25310 ... c Min unsat cost LB: 25331 ... c Min unsat cost LB: 25979 ... c Min unsat cost LB: 26034 ... c Min unsat cost LB: 26126 ... c Min unsat cost LB: 26181 ... c Min unsat cost LB: 26236 ... c Min unsat cost LB: 26405 ... c Min unsat cost LB: 26419 ... c Min unsat cost LB: 26641 ... c Min unsat cost LB: 27218 ... c Min unsat cost LB: 27366 ... c Min unsat cost LB: 27980 ... c Min unsat cost LB: 28209 ... c Min unsat cost LB: 28878 ... c Min unsat cost LB: 29466 ... c Min unsat cost LB: 29547 ... c Min unsat cost LB: 29787 ... c Min unsat cost LB: 30364 ... c Min unsat cost LB: 30418 ... c Min unsat cost LB: 30566 ... c Min unsat cost LB: 30883 ... c Min unsat cost LB: 31506 ... c Min unsat cost LB: 31552 ... c Min unsat cost LB: 31607 ... c Min unsat cost LB: 31689 ... c Min unsat cost LB: 32108 ... c Min unsat cost LB: 32190 ... c Min unsat cost LB: 32609 ... c Min unsat cost LB: 32691 ... c Min unsat cost LB: 32711 ... c Min unsat cost LB: 33070 ... c Min unsat cost LB: 33152 ... c Min unsat cost LB: 33402 ... c Min unsat cost LB: 33652 ... c Min unsat cost LB: 33902 ... c Min unsat cost LB: 33984 ... c Min unsat cost LB: 34746 ... c Min unsat cost LB: 34759 ... c Min unsat cost LB: 34841 ... c Min unsat cost LB: 34923 ... c Min unsat cost LB: 34978 ... c Min unsat cost LB: 35228 ... c Min unsat cost LB: 35592 ... c Min unsat cost LB: 36261 ... c Min unsat cost LB: 36409 ... c Min unsat cost LB: 36638 ... c Min unsat cost LB: 37057 ... c Min unsat cost LB: 37307 ... c Min unsat cost LB: 37895 ... c Min unsat cost LB: 37977 ... c Min unsat cost LB: 38059 ... c Min unsat cost LB: 38141 ... c Min unsat cost LB: 38203 ... c Min unsat cost LB: 38462 ... c Min unsat cost LB: 38544 ... c Min unsat cost LB: 38626 ... c Min unsat cost LB: 38646 ... c Min unsat cost LB: 38728 ... c Min unsat cost LB: 38801 ... c Min unsat cost LB: 38863 ... c Min unsat cost LB: 38872 ... c Min unsat cost LB: 39118 ... c Min unsat cost LB: 39122 ... c Min unsat cost LB: 39195 ... c Min unsat cost LB: 39441 ... c Min unsat cost LB: 39445 ... c Min unsat cost LB: 39512 ... c Min unsat cost LB: 39758 ... c Min unsat cost LB: 39825 ... c Min unsat cost LB: 39907 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 40041 ... c Min unsat cost LB: 40056 ... c Min unsat cost LB: 40071 ... c Min unsat cost LB: 40086 ... c Min unsat cost LB: 40539 ... c Min unsat cost LB: 41208 ... c Min unsat cost LB: 41458 ... c Min unsat cost LB: 41540 ... c Min unsat cost LB: 41544 ... c Min unsat cost LB: 41794 ... c Min unsat cost LB: 42040 ... c Min unsat cost LB: 42044 ... c Min unsat cost LB: 42122 ... c Min unsat cost LB: 42290 ... c Min unsat cost LB: 42294 ... c Min unsat cost LB: 42310 ... c Min unsat cost LB: 42314 ... c Min unsat cost LB: 42376 ... c Min unsat cost LB: 42544 ... c Min unsat cost LB: 42548 ... c Min unsat cost LB: 42626 ... c Min unsat cost LB: 42787 ... c Min unsat cost LB: 42794 ... c Min unsat cost LB: 42876 ... c Min unsat cost LB: 43122 ... c Min unsat cost LB: 43126 ... c Min unsat cost LB: 43294 ... c Min unsat cost LB: 43368 ... c Min unsat cost LB: 43372 ... c Min unsat cost LB: 43417 ... c Min unsat cost LB: 43442 ... c Min unsat cost LB: 43544 ... c Min unsat cost LB: 43560 ... c Min unsat cost LB: 43769 ... c Min unsat cost LB: 43810 ... c Min unsat cost LB: 43835 ... c Min unsat cost LB: 43930 ... c Min unsat cost LB: 43999 ... c Min unsat cost LB: 44044 ... c Min unsat cost LB: 44229 ... c Min unsat cost LB: 44249 ... c Min unsat cost LB: 44269 ... c Min unsat cost LB: 44310 ... c Min unsat cost LB: 44438 ... c Min unsat cost LB: 44458 ... c Min unsat cost LB: 44520 ... c Min unsat cost LB: 44642 ... c Min unsat cost LB: 44662 ... c Min unsat cost LB: 44724 ... c Min unsat cost LB: 44873 ... c Min unsat cost LB: 44974 ... c Min unsat cost LB: 44994 ... c Min unsat cost LB: 45056 ... c Min unsat cost LB: 45156 ... c Min unsat cost LB: 45163 ... c Min unsat cost LB: 45184 ... c Min unsat cost LB: 45204 ... c Min unsat cost LB: 45225 ... c Min unsat cost LB: 45266 ... c Min unsat cost LB: 45388 ... c Min unsat cost LB: 45409 ... c Min unsat cost LB: 45659 ... c Min unsat cost LB: 45714 ... c Min unsat cost LB: 45976 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46165 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46354 ... c Min unsat cost LB: 46403 ... c Min unsat cost LB: 46467 ... c Min unsat cost LB: 46477 ... c Min unsat cost LB: 46532 ... c Min unsat cost LB: 46549 ... c Min unsat cost LB: 46587 ... c Min unsat cost LB: 46631 ... c Min unsat cost LB: 46646 ... c Min unsat cost LB: 46713 ... c Min unsat cost LB: 46789 ... c Min unsat cost LB: 46798 ... c Min unsat cost LB: 46807 ... c Min unsat cost LB: 46876 ... c Min unsat cost LB: 46889 ... c Min unsat cost LB: 46895 ... c Min unsat cost LB: 46971 ... c Min unsat cost LB: 46977 ... c Min unsat cost LB: 46993 ... c Min unsat cost LB: 47012 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47032 ... c Min unsat cost LB: 47087 ... c Min unsat cost LB: 47114 ... c Min unsat cost LB: 47120 ... c Min unsat cost LB: 47136 ... c Min unsat cost LB: 47168 ... c Min unsat cost LB: 47181 ... c Min unsat cost LB: 47211 ... c Min unsat cost LB: 47215 ... c Min unsat cost LB: 47230 ... c Min unsat cost LB: 47254 ... c Min unsat cost LB: 47269 ... c Min unsat cost LB: 47297 ... c Min unsat cost LB: 47369 ... c Min unsat cost LB: 47924 ... c Min unsat cost LB: 48013 ... c Min unsat cost LB: 48160 ... c Min unsat cost LB: 48189 ... c Min unsat cost LB: 48199 ... c Min unsat cost LB: 48227 ... c Min unsat cost LB: 48564 ... c Min unsat cost LB: 48793 ... c Min unsat cost LB: 48818 ... c Min unsat cost LB: 48829 ... c Min unsat cost LB: 48991 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 50427 ... c Min unsat cost LB: 50482 ... c Min unsat cost LB: 50696 ... c Min unsat cost LB: 51013 ... c Min unsat cost LB: 51030 ... c Min unsat cost LB: 51156 ... c Min unsat cost LB: 51356 ... c Min unsat cost LB: 51376 ... c Min unsat cost LB: 51737 ... c Min unsat cost LB: 51752 ... c Min unsat cost LB: 51791 ... c Min unsat cost LB: 52027 ... c Min unsat cost LB: 52330 ... c Min unsat cost LB: 52331 ... c Min unsat cost LB: 52479 ... c Min unsat cost LB: 52750 ... c Min unsat cost LB: 52804 ... c Min unsat cost LB: 52805 ... c Min unsat cost LB: 52844 ... c Min unsat cost LB: 52859 ... c Min unsat cost LB: 52860 ... c Min unsat cost LB: 53034 ... c Min unsat cost LB: 53055 ... c Min unsat cost LB: 53072 ... c Min unsat cost LB: 53284 ... c Min unsat cost LB: 53304 ... c Min unsat cost LB: 53317 ... c Min unsat cost LB: 53512 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 53661 ... c Min unsat cost LB: 53935 ... c Min unsat cost LB: 54083 ... c Min unsat cost LB: 54249 ... c Min unsat cost LB: 54328 ... c Min unsat cost LB: 54333 ... c Min unsat cost LB: 54340 ... c Min unsat cost LB: 54361 ... c Min unsat cost LB: 54379 ... c Min unsat cost LB: 54461 ... c Min unsat cost LB: 54752 ... c Min unsat cost LB: 54776 ... c Min unsat cost LB: 54782 ... c Min unsat cost LB: 54798 ... c Min unsat cost LB: 54804 ... c Min unsat cost LB: 54834 ... c Min unsat cost LB: 54847 ... c Min unsat cost LB: 54923 ... c Min unsat cost LB: 54952 ... c Min unsat cost LB: 54965 ... c Min unsat cost LB: 54984 ... c Min unsat cost LB: 55012 ... c Min unsat cost LB: 55016 ... c Min unsat cost LB: 55038 ... c Min unsat cost LB: 55088 ... c Min unsat cost LB: 55103 ... c Min unsat cost LB: 55205 ... c Min unsat cost LB: 55243 ... c Min unsat cost LB: 55371 ... c Min unsat cost LB: 55380 ... c Min unsat cost LB: 55389 ... c Min unsat cost LB: 55458 ... c Min unsat cost LB: 55502 ... c Min unsat cost LB: 55770 ... c Min unsat cost LB: 55816 ... c Min unsat cost LB: 55872 ... c Min unsat cost LB: 55921 ... c Min unsat cost LB: 55967 ... c Min unsat cost LB: 56060 ... c Min unsat cost LB: 56074 ... c Min unsat cost LB: 56100 ... c Min unsat cost LB: 56268 ... c Min unsat cost LB: 56331 ... c Min unsat cost LB: 56340 ... c Min unsat cost LB: 56488 ... c Min unsat cost LB: 56490 ... c Min unsat cost LB: 56497 ... c Min unsat cost LB: 56525 ... c Min unsat cost LB: 56550 ... c Min unsat cost LB: 56703 ... c Min unsat cost LB: 56849 ... c Min unsat cost LB: 56865 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 56987 ... c Min unsat cost LB: 57068 ... c Min unsat cost LB: 57316 ... c Min unsat cost LB: 57409 ... c Min unsat cost LB: 57466 ... c Min unsat cost LB: 57470 ... c Min unsat cost LB: 57507 ... c Min unsat cost LB: 57521 ... c Min unsat cost LB: 57548 ... c Min unsat cost LB: 57563 ... c Min unsat cost LB: 57569 ... c Min unsat cost LB: 57630 ... c Min unsat cost LB: 57650 ... c Min unsat cost LB: 57835 ... c Min unsat cost LB: 57896 ... c Min unsat cost LB: 57936 ... c Min unsat cost LB: 57964 ... c Min unsat cost LB: 57981 ... c Min unsat cost LB: 58053 ... c Min unsat cost LB: 58109 ... c Min unsat cost LB: 58213 ... c Min unsat cost LB: 58217 ... c Min unsat cost LB: 58228 ... c Min unsat cost LB: 58272 ... c Min unsat cost LB: 58310 ... c Min unsat cost LB: 58320 ... c Min unsat cost LB: 58478 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 58747 ... c Min unsat cost LB: 58811 ... c Min unsat cost LB: 58856 ... c Min unsat cost LB: 58860 ... c Min unsat cost LB: 58893 ... c Min unsat cost LB: 58955 ... c Min unsat cost LB: 59001 ... c Min unsat cost LB: 59004 ... c Min unsat cost LB: 59029 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59054 ... c Min unsat cost LB: 59079 ... c Min unsat cost LB: 59134 ... c Min unsat cost LB: 59149 ... c Min unsat cost LB: 59174 ... c Min unsat cost LB: 59223 ... c Min unsat cost LB: 59234 ... c Min unsat cost LB: 59243 ... c Min unsat cost LB: 59516 ... c Min unsat cost LB: 59658 ... c Min unsat cost LB: 59760 ... c Min unsat cost LB: 59764 ... c Min unsat cost LB: 59780 ... c Min unsat cost LB: 59792 ... c Min unsat cost LB: 59847 ... c Min unsat cost LB: 59978 ... c Min unsat cost LB: 60077 ... c Min unsat cost LB: 60114 ... c Min unsat cost LB: 60163 ... c Min unsat cost LB: 60175 ... c Min unsat cost LB: 60214 ... c Min unsat cost LB: 60229 ... c Min unsat cost LB: 60230 ... c Min unsat cost LB: 60250 ... c Min unsat cost LB: 60312 ... c Min unsat cost LB: 60352 ... c Min unsat cost LB: 60353 ... c Min unsat cost LB: 60371 ... c Min unsat cost LB: 60372 ... c Min unsat cost LB: 60388 ... c Min unsat cost LB: 60396 ... c Min unsat cost LB: 60451 ... c Min unsat cost LB: 60472 ... c Min unsat cost LB: 60522 ... c Min unsat cost LB: 60526 ... c Min unsat cost LB: 60539 ... c Min unsat cost LB: 60564 ... c Min unsat cost LB: 60640 ... c Min unsat cost LB: 60653 ... c Min unsat cost LB: 60667 ... c Min unsat cost LB: 60673 ... c Min unsat cost LB: 60681 ... c Min unsat cost LB: 60706 ... c Min unsat cost LB: 60722 ... c Min unsat cost LB: 60792 ... c Min unsat cost LB: 60796 ... c Min unsat cost LB: 60881 ... c Min unsat cost LB: 60984 ... c Min unsat cost LB: 60999 ... c Min unsat cost LB: 61057 ... c Min unsat cost LB: 61079 ... c Min unsat cost LB: 61179 ... c Min unsat cost LB: 61253 ... c Min unsat cost LB: 61321 ... c Min unsat cost LB: 61476 ... c Min unsat cost LB: 61661 ... c Min unsat cost LB: 61676 ... c Min unsat cost LB: 61678 ... c Min unsat cost LB: 61682 ... c Min unsat cost LB: 61702 ... c Min unsat cost LB: 61704 ... c Min unsat cost LB: 61723 ... c Min unsat cost LB: 61733 ... c Min unsat cost LB: 61745 ... c Min unsat cost LB: 61753 ... c Min unsat cost LB: 61755 ... c Min unsat cost LB: 61768 ... c Min unsat cost LB: 61770 ... c Min unsat cost LB: 61788 ... c Min unsat cost LB: 61791 ... c Min unsat cost LB: 61810 ... c Min unsat cost LB: 61956 ... c Min unsat cost LB: 61963 ... c Min unsat cost LB: 61967 ... c Min unsat cost LB: 61975 ... c Min unsat cost LB: 61979 ... c Min unsat cost LB: 61982 ... c Min unsat cost LB: 61991 ... c Min unsat cost LB: 61994 ... c Min unsat cost LB: 62016 ... c Min unsat cost LB: 62020 ... c Min unsat cost LB: 62036 ... c Min unsat cost LB: 62050 ... c Min unsat cost LB: 62051 ... c Min unsat cost LB: 62065 ... c Min unsat cost LB: 62076 ... c Min unsat cost LB: 62082 ... c Min unsat cost LB: 62085 ... c Min unsat cost LB: 62090 ... c Min unsat cost LB: 62097 ... c Min unsat cost LB: 62100 ... c Min unsat cost LB: 62109 ... c Min unsat cost LB: 62122 ... c Min unsat cost LB: 62125 ... c Min unsat cost LB: 62127 ... c Min unsat cost LB: 62140 ... c Min unsat cost LB: 62141 ... c Min unsat cost LB: 62146 ... c Min unsat cost LB: 62148 ... c Min unsat cost LB: 62152 ... c Min unsat cost LB: 62158 ... c Min unsat cost LB: 62160 ... c Min unsat cost LB: 62168 ... c Min unsat cost LB: 62171 ... c Min unsat cost LB: 62174 ... c Min unsat cost LB: 62175 ... c Min unsat cost LB: 62178 ... c Min unsat cost LB: 62190 ... c Min unsat cost LB: 62193 ... c Min unsat cost LB: 62195 ... c Min unsat cost LB: 62196 ... c Min unsat cost LB: 62207 ... c Min unsat cost LB: 62264 ... c Min unsat cost LB: 62282 ... c Min unsat cost LB: 62298 ... c Min unsat cost LB: 62301 ... c Min unsat cost LB: 62304 ... c Min unsat cost LB: 62438 ... c Min unsat cost LB: 62439 ... c Min unsat cost LB: 62440 ... c Min unsat cost LB: 62441 ... c Min unsat cost LB: 62442 ... c Min unsat cost LB: 62443 ... c Min unsat cost LB: 62444 ... c Min unsat cost LB: 62449 ... c Min unsat cost LB: 62450 ... c Min unsat cost LB: 62451 ... c Min unsat cost LB: 62452 ... c Min unsat cost LB: 62453 ... c Min unsat cost LB: 62454 ... c Min unsat cost LB: 62455 ... c Min unsat cost LB: 62456 ... c Min unsat cost LB: 62457 ... c Min unsat cost LB: 62458 ... c Min unsat cost LB: 62459 ... c Min unsat cost LB: 62460 ... c Min unsat cost LB: 62461 ... c Min unsat cost LB: 62462 ... c Min unsat cost LB: 62463 ... c Min unsat cost LB: 62464 ... c Min unsat cost LB: 62473 ... c Min unsat cost LB: 62478 ... c Min unsat cost LB: 62479 ... c Min unsat cost LB: 62485 ... c Min unsat cost LB: 62491 ... c Min unsat cost LB: 62495 ... c Min unsat cost LB: 62496 ... c Min unsat cost LB: 62499 ... c Min unsat cost LB: 62503 ... c Min unsat cost LB: 62505 ... c Min unsat cost LB: 62507 ... c Min unsat cost LB: 62521 ... c Min unsat cost LB: 62527 ... c Min unsat cost LB: 62534 ... c Min unsat cost LB: 62536 ... c Min unsat cost LB: 62551 ... c Min unsat cost LB: 62552 ... c Min unsat cost LB: 62561 ... c Min unsat cost LB: 62565 ... c Min unsat cost LB: 62572 ... c Min unsat cost LB: 62586 ... c Min unsat cost LB: 62587 ... c Min unsat cost LB: 62591 ... c Min unsat cost LB: 62593 ... c Min unsat cost LB: 62597 ... c Min unsat cost LB: 62607 ... c Min unsat cost LB: 62675 ... c Min unsat cost LB: 62694 ... c Min unsat cost LB: 62695 ... c Min unsat cost LB: 62696 ... c Min unsat cost LB: 62838 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62886 ... c Min unsat cost LB: 62890 ... c Min unsat cost LB: 62891 ... c Min unsat cost LB: 62894 ... c Min unsat cost LB: 62898 ... c Min unsat cost LB: 62900 ... c Min unsat cost LB: 62918 ... c Min unsat cost LB: 62920 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62926 ... c Min unsat cost LB: 62929 ... c Min unsat cost LB: 62943 ... c Min unsat cost LB: 62949 ... c Min unsat cost LB: 62955 ... c Min unsat cost LB: 62956 ... c Min unsat cost LB: 62957 ... c Min unsat cost LB: 62959 ... c Min unsat cost LB: 62969 ... c Min unsat cost LB: 62971 ... c Min unsat cost LB: 62975 ... c Min unsat cost LB: 62982 ... c Min unsat cost LB: 62988 ... c Min unsat cost LB: 62989 ... c Min unsat cost LB: 62991 ... c Min unsat cost LB: 63006 ... c Min unsat cost LB: 63007 ... c Min unsat cost LB: 63010 ... c Min unsat cost LB: 63011 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63014 ... c Min unsat cost LB: 63016 ... c Min unsat cost LB: 63028 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63055 ... c Min unsat cost LB: 63080 ... c Min unsat cost LB: 63081 ... c Min unsat cost LB: 63084 ... c Min unsat cost LB: 63085 ... c Min unsat cost LB: 63087 ... c Min unsat cost LB: 63101 ... c Min unsat cost LB: 63102 ... c Min unsat cost LB: 63105 ... c Min unsat cost LB: 63111 ... c Min unsat cost LB: 63119 ... c Min unsat cost LB: 63132 ... c Min unsat cost LB: 63134 ... c Min unsat cost LB: 63135 ... c Min unsat cost LB: 63152 ... c Min unsat cost LB: 63153 ... c Min unsat cost LB: 63154 ... c Min unsat cost LB: 63155 ... c Min unsat cost LB: 63157 ... c Min unsat cost LB: 63162 ... c Min unsat cost LB: 63172 ... c Min unsat cost LB: 63176 ... c Min unsat cost LB: 63181 ... c Min unsat cost LB: 63182 ... c Min unsat cost LB: 63184 ... c Min unsat cost LB: 63185 ... c Min unsat cost LB: 63191 ... c Min unsat cost LB: 63193 ... c Min unsat cost LB: 63195 ... c Min unsat cost LB: 63196 ... c Min unsat cost LB: 63197 ... c Min unsat cost LB: 63198 ... c Min unsat cost LB: 63199 ... c Min unsat cost LB: 63202 ... c Min unsat cost LB: 63207 ... c Min unsat cost LB: 63208 ... c Min unsat cost LB: 63236 ... c Min unsat cost LB: 63250 ... c Min unsat cost LB: 63259 ... c Min unsat cost LB: 63260 ... c Min unsat cost LB: 63261 ... c Min unsat cost LB: 63268 ... c Min unsat cost LB: 63270 ... c Min unsat cost LB: 63274 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63276 ... c Min unsat cost LB: 63279 ... c Min unsat cost LB: 63292 ... c Min unsat cost LB: 63294 ... c Min unsat cost LB: 63326 ... c Min unsat cost LB: 63327 ... c Min unsat cost LB: 63329 ... c Min unsat cost LB: 63341 ... c Min unsat cost LB: 63347 ... c Min unsat cost LB: 63374 ... c Min unsat cost LB: 63391 ... c Min unsat cost LB: 63396 ... c Min unsat cost LB: 63405 ... c Min unsat cost LB: 63407 ... c Min unsat cost LB: 63413 ... c Min unsat cost LB: 63430 ... c Min unsat cost LB: 63433 ... c Min unsat cost LB: 63435 ... c Min unsat cost LB: 63445 ... c Min unsat cost LB: 63448 ... c Min unsat cost LB: 63451 ... c Min unsat cost LB: 63458 ... c Min unsat cost LB: 63463 ... c Min unsat cost LB: 63464 ... c Min unsat cost LB: 63465 ... c Min unsat cost LB: 63475 ... c Min unsat cost LB: 63476 ... c Min unsat cost LB: 63477 ... c Min unsat cost LB: 63484 ... c Min unsat cost LB: 63524 ... c Min unsat cost LB: 63525 ... c Min unsat cost LB: 63526 ... c Min unsat cost LB: 63532 ... c Min unsat cost LB: 63533 ... c Min unsat cost LB: 63535 ... c Min unsat cost LB: 63538 ... c Min unsat cost LB: 63548 ... c Min unsat cost LB: 63554 ... c Min unsat cost LB: 63555 ... c Min unsat cost LB: 63575 ... c Min unsat cost LB: 63577 ... c Min unsat cost LB: 63578 ... c Min unsat cost LB: 63579 ... c Min unsat cost LB: 63580 ... c Min unsat cost LB: 63581 ... c Min unsat cost LB: 63583 ... c Min unsat cost LB: 63584 ... c Min unsat cost LB: 63585 ... c Min unsat cost LB: 63586 ... c Min unsat cost LB: 63634 ... c Min unsat cost LB: 63635 ... c Min unsat cost LB: 63636 ... c Min unsat cost LB: 63637 ... c Min unsat cost LB: 63639 ... c Min unsat cost LB: 63643 ... c Min unsat cost LB: 63646 ... c Min unsat cost LB: 63649 ... c Min unsat cost LB: 63650 ... c Min unsat cost LB: 63670 ... c Min unsat cost LB: 63674 ... c Min unsat cost LB: 63676 ... c Min unsat cost LB: 63677 ... c Min unsat cost LB: 63678 ... c Min unsat cost LB: 63690 ... c Min unsat cost LB: 63693 ... c Min unsat cost LB: 63694 ... c Min unsat cost LB: 63695 ... c Min unsat cost LB: 63696 ... c Min unsat cost LB: 63697 ... c Min unsat cost LB: 63698 ... c Min unsat cost LB: 63699 ... c Min unsat cost LB: 63700 ... c Min unsat cost LB: 63701 ... c Min unsat cost LB: 63702 ... c Min unsat cost LB: 63703 ... c Min unsat cost LB: 63704 ... c Min unsat cost LB: 63705 ... c Min unsat cost LB: 63706 ... c Min unsat cost LB: 63707 ... c Min unsat cost LB: 63708 ... c Min unsat cost LB: 63710 ... c Min unsat cost LB: 63711 ... c Min unsat cost LB: 63715 ... c Min unsat cost LB: 63717 ... c Min unsat cost LB: 63727 ... c Min unsat cost LB: 63728 ... c Min unsat cost LB: 63729 ... c Min unsat cost LB: 63734 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63742 ... c Min unsat cost LB: 63744 ... c Min unsat cost LB: 63751 ... c Min unsat cost LB: 63752 ... c Min unsat cost LB: 63753 ... c Min unsat cost LB: 63755 ... c Min unsat cost LB: 63756 ... c Min unsat cost LB: 63757 ... c Min unsat cost LB: 63758 ... c Min unsat cost LB: 63759 ... c Min unsat cost LB: 63760 ... c Min unsat cost LB: 63761 ... c Min unsat cost LB: 63762 ... c Min unsat cost LB: 63763 ... c Min unsat cost LB: 63764 ... c Min unsat cost LB: 63765 ... c Min unsat cost LB: 63766 ... c Min unsat cost LB: 63767 ... c Min unsat cost LB: 63768 ... c Min unsat cost LB: 63769 ... c Min unsat cost LB: 63770 ... c Min unsat cost LB: 63771 ... c Min unsat cost LB: 63772 ... c Min unsat cost LB: 63773 ... c Min unsat cost LB: 63774 ... c Min unsat cost LB: 63775 ... c Min unsat cost LB: 63776 ... c Min unsat cost LB: 63777 ... c Min unsat cost LB: 63778 ... c Min unsat cost LB: 63779 ... c Min unsat cost LB: 63780 ... c Min unsat cost LB: 63782 ... c Min unsat cost LB: 63783 ... c Min unsat cost LB: 63784 ... c Min unsat cost LB: 63787 ... c Min unsat cost LB: 63789 ... c Min unsat cost LB: 63806 ... c Min unsat cost LB: 63821 ... c Min unsat cost LB: 63859 ... c Min unsat cost LB: 63860 ... c Min unsat cost LB: 63871 ... c Min unsat cost LB: 63887 ... c Min unsat cost LB: 63899 ... c Min unsat cost LB: 63912 ... c Min unsat cost LB: 63924 ... c Min unsat cost LB: 63927 ... c Min unsat cost LB: 63933 ... c Min unsat cost LB: 63939 ... c Min unsat cost LB: 63948 ... c Min unsat cost LB: 63989 ... c Min unsat cost LB: 64009 ... c Min unsat cost LB: 64013 ... c Min unsat cost LB: 64014 ... c Min unsat cost LB: 64052 ... c Min unsat cost LB: 64055 ... c Min unsat cost LB: 64056 ... c Min unsat cost LB: 64060 ... c Min unsat cost LB: 64061 ... c Min unsat cost LB: 64062 ... c Min unsat cost LB: 64070 ... c Min unsat cost LB: 64071 ... c Min unsat cost LB: 64072 ... c Min unsat cost LB: 64073 ... c Min unsat cost LB: 64074 ... c Min unsat cost LB: 64075 ... c Min unsat cost LB: 64076 ... c Min unsat cost LB: 64080 ... c Min unsat cost LB: 64085 ... c Min unsat cost LB: 64086 ... c Min unsat cost LB: 64087 ... c Min unsat cost LB: 64088 ... c Min unsat cost LB: 64089 ... c Min unsat cost LB: 64090 ... c Min unsat cost LB: 64091 ... c Min unsat cost LB: 64092 ... c Min unsat cost LB: 64093 ... c Min unsat cost LB: 64094 ... c Min unsat cost LB: 64095 ... c Min unsat cost LB: 64096 ... c Min unsat cost LB: 64097 ... c Min unsat cost LB: 64098 ... c Min unsat cost LB: 64099 ... c Min unsat cost LB: 64100 ... c Min unsat cost LB: 64101 ... c Min unsat cost LB: 64103 ... c Min unsat cost LB: 64104 ... c Min unsat cost LB: 64105 ... c Min unsat cost LB: 64106 ... c Min unsat cost LB: 64107 ... c Min unsat cost LB: 64109 ... c Min unsat cost LB: 64119 ... c Min unsat cost LB: 64170 ... c Min unsat cost LB: 64172 ... c Min unsat cost LB: 64175 ... c Min unsat cost LB: 64177 ... c Min unsat cost LB: 64178 ... c Min unsat cost LB: 64181 ... c Min unsat cost LB: 64182 ... c Min unsat cost LB: 64183 ... c Min unsat cost LB: 64184 ... c Min unsat cost LB: 64186 ... c Min unsat cost LB: 64187 ... c Min unsat cost LB: 64188 ... c Min unsat cost LB: 64242 ... c Min unsat cost LB: 64264 ... c Min unsat cost LB: 64275 ... c Min unsat cost LB: 64276 ... c Min unsat cost LB: 64278 ... c Min unsat cost LB: 64279 ... c Min unsat cost LB: 64280 ... c Min unsat cost LB: 64282 ... c Min unsat cost LB: 64283 ... c Min unsat cost LB: 64284 ... c Min unsat cost LB: 64290 ... c Min unsat cost LB: 64303 ... c Min unsat cost LB: 64460 ... c Min unsat cost LB: 64461 ... c Min unsat cost LB: 64462 ... c Min unsat cost LB: 64463 ... c Min unsat cost LB: 64465 ... c Min unsat cost LB: 64469 ... c Min unsat cost LB: 64478 ... c Min unsat cost LB: 64479 ... c Min unsat cost LB: 64483 ... c Min unsat cost LB: 64486 ... c Min unsat cost LB: 64487 ... c Min unsat cost LB: 64489 ... c Min unsat cost LB: 64490 ... c Min unsat cost LB: 64491 ... c Min unsat cost LB: 64492 ... c Min unsat cost LB: 64493 ... c Min unsat cost LB: 64494 ... c Min unsat cost LB: 64495 ... c Min unsat cost LB: 64496 ... c Min unsat cost LB: 64497 ... c Min unsat cost LB: 64498 ... c Min unsat cost LB: 64499 ... c Min unsat cost LB: 64500 ... c Min unsat cost LB: 64501 ... c Min unsat cost LB: 64502 ... c Min unsat cost LB: 64503 ... c Min unsat cost LB: 64504 ... c Min unsat cost LB: 64505 ... c Min unsat cost LB: 64506 ... c Min unsat cost LB: 64507 ... c Min unsat cost LB: 64515 ... c Min unsat cost LB: 64518 ... c Min unsat cost LB: 64528 ... c Min unsat cost LB: 64533 ... c Min unsat cost LB: 64580 ... c Min unsat cost LB: 64581 ... c Min unsat cost LB: 64582 ... c Min unsat cost LB: 64583 ... c Min unsat cost LB: 64584 ... c Min unsat cost LB: 64585 ... c Min unsat cost LB: 64586 ... c Min unsat cost LB: 64587 ... c Min unsat cost LB: 64588 ... c Min unsat cost LB: 64589 ... c Min unsat cost LB: 64590 ... c Min unsat cost LB: 64591 ... c Min unsat cost LB: 64592 ... c Min unsat cost LB: 64603 ... c Min unsat cost LB: 64605 ... c Min unsat cost LB: 64606 ... c Min unsat cost LB: 64611 ... c Min unsat cost LB: 64612 ... c Min unsat cost LB: 64620 ... c Min unsat cost LB: 64621 ... c Min unsat cost LB: 64623 ... c Min unsat cost LB: 64624 ... c Min unsat cost LB: 64625 ... c Min unsat cost LB: 64626 ... c Min unsat cost LB: 64627 ... c Min unsat cost LB: 64628 ... c Min unsat cost LB: 64629 ... c Min unsat cost LB: 64630 ... c Min unsat cost LB: 64631 ... c Min unsat cost LB: 64648 ... c Min unsat cost LB: 64679 ... c Min unsat cost LB: 64704 ... c Min unsat cost LB: 64705 ... c Min unsat cost LB: 64706 ... c Min unsat cost LB: 64707 ... c Min unsat cost LB: 64708 ... c Min unsat cost LB: 64716 ... c Min unsat cost LB: 64719 ... c Min unsat cost LB: 64720 ... c Min unsat cost LB: 64730 ... c Min unsat cost LB: 64732 ... c Min unsat cost LB: 64739 ... c Min unsat cost LB: 64740 ... c Min unsat cost LB: 64742 ... c Min unsat cost LB: 64743 ... c Min unsat cost LB: 64748 ... c Min unsat cost LB: 64752 ... c Min unsat cost LB: 64796 ... c Min unsat cost LB: 64798 ... c Min unsat cost LB: 64800 ... c Min unsat cost LB: 64803 ... c Min unsat cost LB: 64804 ... c Min unsat cost LB: 64805 ... c Min unsat cost LB: 64806 ... c Min unsat cost LB: 64807 ... c Min unsat cost LB: 64812 ... c Min unsat cost LB: 64817 ... c Min unsat cost LB: 64828 ... c Min unsat cost LB: 64851 ... c Min unsat cost LB: 64875 ... c Min unsat cost LB: 64876 ... c Min unsat cost LB: 64877 ... c Min unsat cost LB: 64878 ... c Min unsat cost LB: 64882 ... c Min unsat cost LB: 64883 ... c Min unsat cost LB: 64892 ... c Min unsat cost LB: 64899 ... c Min unsat cost LB: 64912 ... c Min unsat cost LB: 64913 ... c Min unsat cost LB: 64916 ... c Min unsat cost LB: 64917 ... c Min unsat cost LB: 64918 ... c Min unsat cost LB: 64920 ... c Min unsat cost LB: 64921 ... c Min unsat cost LB: 64923 ... c Min unsat cost LB: 64925 ... c Min unsat cost LB: 64928 ... c Min unsat cost LB: 64930 ... c Min unsat cost LB: 64931 ... c Min unsat cost LB: 64932 ... c Min unsat cost LB: 64934 ... c Min unsat cost LB: 64935 ... c Min unsat cost LB: 64936 ... c Min unsat cost LB: 64937 ... c Min unsat cost LB: 64939 ... c Min unsat cost LB: 64954 ... c Min unsat cost LB: 64957 ... c Min unsat cost LB: 64981 ... c Min unsat cost LB: 64996 ... c Min unsat cost LB: 65001 ... c Min unsat cost LB: 65006 ... c Min unsat cost LB: 65008 ... c Min unsat cost LB: 65054 ... c Min unsat cost LB: 65069 ... c Min unsat cost LB: 65071 ... c Min unsat cost LB: 65080 ... c Min unsat cost LB: 65081 ... c Min unsat cost LB: 65085 ... c Min unsat cost LB: 65092 ... c Min unsat cost LB: 65117 ... c Min unsat cost LB: 65120 ... c Min unsat cost LB: 65126 ... c Min unsat cost LB: 65137 ... c Min unsat cost LB: 65144 ... c Min unsat cost LB: 65153 ... c Min unsat cost LB: 65154 ... c Min unsat cost LB: 65155 ... c Min unsat cost LB: 65158 ... c Min unsat cost LB: 65159 ... c Min unsat cost LB: 65160 ... c Min unsat cost LB: 65163 ... c Min unsat cost LB: 65164 ... c Min unsat cost LB: 65171 ... c Min unsat cost LB: 65172 ... c Min unsat cost LB: 65173 ... c Min unsat cost LB: 65174 ... c Min unsat cost LB: 65175 ... c Min unsat cost LB: 65176 ... c Min unsat cost LB: 65177 ... c Min unsat cost LB: 65178 ... c Min unsat cost LB: 65195 ... c Min unsat cost LB: 65196 ... c Min unsat cost LB: 65197 ... c Min unsat cost LB: 65199 ... c Min unsat cost LB: 65200 ... c Min unsat cost LB: 65264 ... c Min unsat cost LB: 65265 ... c Min unsat cost LB: 65269 ... c Min unsat cost LB: 65275 ... c Min unsat cost LB: 65329 ... c Min unsat cost LB: 65336 ... c Min unsat cost LB: 65337 ... c Min unsat cost LB: 65338 ... c Min unsat cost LB: 65342 ... c Min unsat cost LB: 65343 ... c Min unsat cost LB: 65344 ... c Min unsat cost LB: 65346 ... c Min unsat cost LB: 65347 ... c Min unsat cost LB: 65368 ... c Min unsat cost LB: 65423 ... c Min unsat cost LB: 65437 ... c Min unsat cost LB: 65438 ... c Min unsat cost LB: 65449 ... c Min unsat cost LB: 65463 ... c Min unsat cost LB: 65464 ... c Min unsat cost LB: 65466 ... c Min unsat cost LB: 65481 ... c Min unsat cost LB: 65482 ... c Min unsat cost LB: 65491 ... c Min unsat cost LB: 65503 ... c Min unsat cost LB: 65505 ... c Min unsat cost LB: 65509 ... c Min unsat cost LB: 65517 ... c Min unsat cost LB: 65521 ... c Min unsat cost LB: 65528 ... c Min unsat cost LB: 65543 ... c Min unsat cost LB: 65546 ... c Min unsat cost LB: 65548 ... c Min unsat cost LB: 65549 ... c Min unsat cost LB: 65551 ... c Min unsat cost LB: 65552 ... c Min unsat cost LB: 65554 ... c Min unsat cost LB: 65574 ...Killed 1812.784u 6.952s 30:19.78 99.9% 0+0k 0+0io 0pf+0w