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_120_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0001.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_120_0001.txt.wcnf *** c c Min unsat cost LB: 471 ... c Min unsat cost LB: 505 ... c Min unsat cost LB: 539 ... c Min unsat cost LB: 1010 ... c Min unsat cost LB: 1180 ... c Min unsat cost LB: 1350 ... c Min unsat cost LB: 1383 ... c Min unsat cost LB: 1553 ... c Min unsat cost LB: 1554 ... c Min unsat cost LB: 1685 ... c Min unsat cost LB: 1724 ... c Min unsat cost LB: 2195 ... c Min unsat cost LB: 2326 ... c Min unsat cost LB: 2496 ... c Min unsat cost LB: 2666 ... c Min unsat cost LB: 2836 ... c Min unsat cost LB: 3006 ... c Min unsat cost LB: 3176 ... c Min unsat cost LB: 3307 ... c Min unsat cost LB: 3438 ... c Min unsat cost LB: 3909 ... c Min unsat cost LB: 4079 ... c Min unsat cost LB: 4249 ... c Min unsat cost LB: 4380 ... c Min unsat cost LB: 4419 ... c Min unsat cost LB: 4458 ... c Min unsat cost LB: 4589 ... c Min unsat cost LB: 4629 ... c Min unsat cost LB: 4759 ... c Min unsat cost LB: 4799 ... c Min unsat cost LB: 4833 ... c Min unsat cost LB: 4867 ... c Min unsat cost LB: 4901 ... c Min unsat cost LB: 5071 ... c Min unsat cost LB: 5177 ... c Min unsat cost LB: 5317 ... c Min unsat cost LB: 5457 ... c Min unsat cost LB: 5597 ... c Min unsat cost LB: 5648 ... c Min unsat cost LB: 5818 ... c Min unsat cost LB: 6289 ... c Min unsat cost LB: 6760 ... c Min unsat cost LB: 6891 ... c Min unsat cost LB: 7031 ... c Min unsat cost LB: 8421 ... c Min unsat cost LB: 8591 ... c Min unsat cost LB: 10452 ... c Min unsat cost LB: 12313 ... c Min unsat cost LB: 12352 ... c Min unsat cost LB: 14213 ... c Min unsat cost LB: 16074 ... c Min unsat cost LB: 17935 ... c Min unsat cost LB: 19796 ... c Min unsat cost LB: 19835 ... c Min unsat cost LB: 21696 ... c Min unsat cost LB: 21736 ... c Min unsat cost LB: 23597 ... c Min unsat cost LB: 25458 ... c Min unsat cost LB: 27280 ... c Min unsat cost LB: 29141 ... c Min unsat cost LB: 30687 ... c Min unsat cost LB: 32548 ... c Min unsat cost LB: 32863 ... c Min unsat cost LB: 32897 ... c Min unsat cost LB: 34287 ... c Min unsat cost LB: 34321 ... c Min unsat cost LB: 36182 ... c Min unsat cost LB: 37728 ... c Min unsat cost LB: 39274 ... c Min unsat cost LB: 41135 ... c Min unsat cost LB: 41450 ... c Min unsat cost LB: 41765 ... c Min unsat cost LB: 41896 ... c Min unsat cost LB: 41928 ... c Min unsat cost LB: 42098 ... c Min unsat cost LB: 43658 ... c Min unsat cost LB: 43668 ... c Min unsat cost LB: 43740 ... c Min unsat cost LB: 43812 ... c Min unsat cost LB: 43884 ... c Min unsat cost LB: 43956 ... c Min unsat cost LB: 44028 ... c Min unsat cost LB: 44116 ... c Min unsat cost LB: 44188 ... c Min unsat cost LB: 45331 ... c Min unsat cost LB: 45370 ... c Min unsat cost LB: 45442 ... c Min unsat cost LB: 45573 ... c Min unsat cost LB: 45645 ... c Min unsat cost LB: 45717 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 45861 ... c Min unsat cost LB: 46001 ... c Min unsat cost LB: 46073 ... c Min unsat cost LB: 46113 ... c Min unsat cost LB: 46283 ... c Min unsat cost LB: 46322 ... c Min unsat cost LB: 46413 ... c Min unsat cost LB: 46500 ... c Min unsat cost LB: 46540 ... c Min unsat cost LB: 46580 ... c Min unsat cost LB: 46620 ... c Min unsat cost LB: 46660 ... c Min unsat cost LB: 46700 ... c Min unsat cost LB: 46772 ... c Min unsat cost LB: 46844 ... c Min unsat cost LB: 48430 ... c Min unsat cost LB: 48463 ... c Min unsat cost LB: 48497 ... c Min unsat cost LB: 48531 ... c Min unsat cost LB: 48603 ... c Min unsat cost LB: 48675 ... c Min unsat cost LB: 48747 ... c Min unsat cost LB: 48819 ... c Min unsat cost LB: 48858 ... c Min unsat cost LB: 48891 ... c Min unsat cost LB: 48897 ... c Min unsat cost LB: 49172 ... c Min unsat cost LB: 50228 ... c Min unsat cost LB: 50294 ... c Min unsat cost LB: 50300 ... c Min unsat cost LB: 50306 ... c Min unsat cost LB: 50345 ... c Min unsat cost LB: 50366 ... c Min unsat cost LB: 50378 ... c Min unsat cost LB: 50438 ... c Min unsat cost LB: 50478 ... c Min unsat cost LB: 50510 ... c Min unsat cost LB: 50518 ... c Min unsat cost LB: 50558 ... c Min unsat cost LB: 50582 ... c Min unsat cost LB: 50594 ... c Min unsat cost LB: 50598 ... c Min unsat cost LB: 50638 ... c Min unsat cost LB: 50678 ... c Min unsat cost LB: 50710 ... c Min unsat cost LB: 50782 ... c Min unsat cost LB: 50790 ... c Min unsat cost LB: 50822 ... c Min unsat cost LB: 50913 ... c Min unsat cost LB: 50921 ... c Min unsat cost LB: 50942 ... c Min unsat cost LB: 50961 ... c Min unsat cost LB: 51001 ... c Min unsat cost LB: 51073 ... c Min unsat cost LB: 51878 ... c Min unsat cost LB: 51911 ... c Min unsat cost LB: 51912 ... c Min unsat cost LB: 51944 ... c Min unsat cost LB: 52379 ... c Min unsat cost LB: 52392 ... c Min unsat cost LB: 52398 ... c Min unsat cost LB: 52404 ... c Min unsat cost LB: 52416 ... c Min unsat cost LB: 52418 ... c Min unsat cost LB: 52443 ... c Min unsat cost LB: 52464 ... c Min unsat cost LB: 52476 ... c Min unsat cost LB: 52484 ... c Min unsat cost LB: 52505 ... c Min unsat cost LB: 52524 ... c Min unsat cost LB: 52532 ... c Min unsat cost LB: 52564 ... c Min unsat cost LB: 52572 ... c Min unsat cost LB: 52593 ... c Min unsat cost LB: 52612 ... c Min unsat cost LB: 52652 ... c Min unsat cost LB: 52692 ... c Min unsat cost LB: 53771 ... c Min unsat cost LB: 54076 ... c Min unsat cost LB: 55937 ... c Min unsat cost LB: 56306 ... c Min unsat cost LB: 56311 ... c Min unsat cost LB: 56315 ... c Min unsat cost LB: 56327 ... c Min unsat cost LB: 57067 ... c Min unsat cost LB: 57101 ... c Min unsat cost LB: 57751 ... c Min unsat cost LB: 57785 ... c Min unsat cost LB: 58100 ... c Min unsat cost LB: 58613 ... c Min unsat cost LB: 58632 ... c Min unsat cost LB: 59306 ... c Min unsat cost LB: 60178 ... c Min unsat cost LB: 60199 ... c Min unsat cost LB: 61188 ... c Min unsat cost LB: 61229 ... c Min unsat cost LB: 61268 ... c Min unsat cost LB: 61399 ... c Min unsat cost LB: 61569 ... c Min unsat cost LB: 61608 ... c Min unsat cost LB: 61739 ... c Min unsat cost LB: 61778 ... c Min unsat cost LB: 61870 ... c Min unsat cost LB: 61909 ... c Min unsat cost LB: 62040 ... c Min unsat cost LB: 62050 ... c Min unsat cost LB: 62063 ... c Min unsat cost LB: 62162 ... c Min unsat cost LB: 62184 ... c Min unsat cost LB: 62218 ... c Min unsat cost LB: 62250 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62420 ... c Min unsat cost LB: 62590 ... c Min unsat cost LB: 62721 ... c Min unsat cost LB: 62861 ... c Min unsat cost LB: 63001 ... c Min unsat cost LB: 63036 ... c Min unsat cost LB: 63141 ... c Min unsat cost LB: 63175 ... c Min unsat cost LB: 63209 ... c Min unsat cost LB: 63222 ... c Min unsat cost LB: 63353 ... c Min unsat cost LB: 63392 ... c Min unsat cost LB: 63415 ... c Min unsat cost LB: 63454 ... c Min unsat cost LB: 63466 ... c Min unsat cost LB: 63898 ... c Min unsat cost LB: 64029 ... c Min unsat cost LB: 64039 ... c Min unsat cost LB: 64070 ... c Min unsat cost LB: 64099 ... c Min unsat cost LB: 64104 ... c Min unsat cost LB: 64108 ... c Min unsat cost LB: 64195 ... c Min unsat cost LB: 64207 ... c Min unsat cost LB: 64233 ... c Min unsat cost LB: 64304 ... c Min unsat cost LB: 64369 ... c Min unsat cost LB: 64729 ... c Min unsat cost LB: 64840 ... c Min unsat cost LB: 65272 ... c Min unsat cost LB: 65743 ... c Min unsat cost LB: 66175 ... c Min unsat cost LB: 66207 ... c Min unsat cost LB: 66678 ... c Min unsat cost LB: 67149 ... c Min unsat cost LB: 67189 ... c Min unsat cost LB: 67438 ... c Min unsat cost LB: 67870 ... c Min unsat cost LB: 68040 ... c Min unsat cost LB: 68187 ... c Min unsat cost LB: 68226 ... c Min unsat cost LB: 68328 ... c Min unsat cost LB: 68341 ... c Min unsat cost LB: 68380 ... c Min unsat cost LB: 68400 ... c Min unsat cost LB: 68401 ... c Min unsat cost LB: 68439 ... c Min unsat cost LB: 68458 ... c Min unsat cost LB: 68464 ... c Min unsat cost LB: 68466 ... c Min unsat cost LB: 68474 ... c Min unsat cost LB: 68495 ... c Min unsat cost LB: 68516 ... c Min unsat cost LB: 68527 ... c Min unsat cost LB: 68530 ... c Min unsat cost LB: 68556 ... c Min unsat cost LB: 68588 ... c Min unsat cost LB: 68609 ... c Min unsat cost LB: 68613 ... c Min unsat cost LB: 68621 ... c Min unsat cost LB: 68640 ... c Min unsat cost LB: 69619 ... c Min unsat cost LB: 69728 ... c Min unsat cost LB: 69740 ... c Min unsat cost LB: 69812 ... c Min unsat cost LB: 69903 ... c Min unsat cost LB: 70335 ... c Min unsat cost LB: 70822 ... c Min unsat cost LB: 70835 ... c Min unsat cost LB: 70845 ... c Min unsat cost LB: 70861 ... c Min unsat cost LB: 70960 ... c Min unsat cost LB: 71037 ... c Min unsat cost LB: 71817 ... c Min unsat cost LB: 71910 ... c Min unsat cost LB: 72363 ... c Min unsat cost LB: 72701 ... c Min unsat cost LB: 72723 ... c Min unsat cost LB: 72729 ... c Min unsat cost LB: 73436 ... c Min unsat cost LB: 74105 ... c Min unsat cost LB: 74845 ... c Min unsat cost LB: 74851 ... c Min unsat cost LB: 74885 ... c Min unsat cost LB: 74950 ... c Min unsat cost LB: 75081 ... c Min unsat cost LB: 75355 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75521 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75618 ... c Min unsat cost LB: 75621 ... c Min unsat cost LB: 75923 ... c Min unsat cost LB: 76131 ... c Min unsat cost LB: 76151 ... c Min unsat cost LB: 76185 ... c Min unsat cost LB: 76218 ... c Min unsat cost LB: 76219 ... c Min unsat cost LB: 76316 ... c Min unsat cost LB: 76644 ... c Min unsat cost LB: 76748 ... c Min unsat cost LB: 76801 ... c Min unsat cost LB: 76835 ... c Min unsat cost LB: 77116 ... c Min unsat cost LB: 77156 ... c Min unsat cost LB: 77213 ... c Min unsat cost LB: 77286 ... c Min unsat cost LB: 77298 ... c Min unsat cost LB: 77302 ... c Min unsat cost LB: 77556 ... c Min unsat cost LB: 77749 ... c Min unsat cost LB: 77899 ... c Min unsat cost LB: 78024 ... c Min unsat cost LB: 78052 ... c Min unsat cost LB: 78063 ... c Min unsat cost LB: 78069 ... c Min unsat cost LB: 78268 ... c Min unsat cost LB: 78278 ... c Min unsat cost LB: 78318 ... c Min unsat cost LB: 78349 ... c Min unsat cost LB: 78361 ... c Min unsat cost LB: 78501 ... c Min unsat cost LB: 78557 ... c Min unsat cost LB: 78606 ... c Min unsat cost LB: 78635 ... c Min unsat cost LB: 78775 ... c Min unsat cost LB: 78787 ... c Min unsat cost LB: 79178 ... c Min unsat cost LB: 79443 ... c Min unsat cost LB: 79831 ... c Min unsat cost LB: 79836 ... c Min unsat cost LB: 79865 ... c Min unsat cost LB: 79891 ... c Min unsat cost LB: 79928 ... c Min unsat cost LB: 79938 ... c Min unsat cost LB: 79961 ... c Min unsat cost LB: 79970 ... c Min unsat cost LB: 79979 ... c Min unsat cost LB: 79986 ... c Min unsat cost LB: 80010 ... c Min unsat cost LB: 80075 ... c Min unsat cost LB: 80097 ... c Min unsat cost LB: 80136 ... c Min unsat cost LB: 80189 ... c Min unsat cost LB: 80228 ... c Min unsat cost LB: 80230 ... c Min unsat cost LB: 80243 ... c Min unsat cost LB: 80253 ... c Min unsat cost LB: 80262 ... c Min unsat cost LB: 80290 ... c Min unsat cost LB: 80319 ... c Min unsat cost LB: 80628 ... c Min unsat cost LB: 80650 ... c Min unsat cost LB: 80667 ... c Min unsat cost LB: 80682 ... c Min unsat cost LB: 80715 ... c Min unsat cost LB: 80802 ... c Min unsat cost LB: 80839 ... c Min unsat cost LB: 80841 ... c Min unsat cost LB: 80933 ... c Min unsat cost LB: 80968 ... c Min unsat cost LB: 80974 ... c Min unsat cost LB: 80980 ... c Min unsat cost LB: 81012 ... c Min unsat cost LB: 81034 ... c Min unsat cost LB: 81042 ... c Min unsat cost LB: 81081 ... c Min unsat cost LB: 81084 ... c Min unsat cost LB: 81116 ... c Min unsat cost LB: 81120 ... c Min unsat cost LB: 81124 ... c Min unsat cost LB: 81128 ... c Min unsat cost LB: 81152 ... c Min unsat cost LB: 81160 ... c Min unsat cost LB: 81427 ... c Min unsat cost LB: 81429 ... c Min unsat cost LB: 81432 ... c Min unsat cost LB: 81435 ... c Min unsat cost LB: 81448 ... c Min unsat cost LB: 81449 ... c Min unsat cost LB: 81489 ... c Min unsat cost LB: 81506 ... c Min unsat cost LB: 81522 ... c Min unsat cost LB: 81523 ... c Min unsat cost LB: 81525 ... c Min unsat cost LB: 81526 ... c Min unsat cost LB: 81527 ... c Min unsat cost LB: 81528 ... c Min unsat cost LB: 81593 ... c Min unsat cost LB: 81599 ... c Min unsat cost LB: 81615 ... c Min unsat cost LB: 81632 ... c Min unsat cost LB: 81648 ... c Min unsat cost LB: 81654 ... c Min unsat cost LB: 81687 ... c Min unsat cost LB: 81719 ... c Min unsat cost LB: 81720 ... c Min unsat cost LB: 81735 ... c Min unsat cost LB: 81753 ... c Min unsat cost LB: 81757 ... c Min unsat cost LB: 81758 ... c Min unsat cost LB: 81770 ... c Min unsat cost LB: 81790 ... c Min unsat cost LB: 81862 ... c Min unsat cost LB: 81957 ... c Min unsat cost LB: 81961 ... c Min unsat cost LB: 81965 ... c Min unsat cost LB: 81977 ... c Min unsat cost LB: 81981 ... c Min unsat cost LB: 82068 ... c Min unsat cost LB: 82069 ... c Min unsat cost LB: 82070 ... c Min unsat cost LB: 82085 ... c Min unsat cost LB: 82092 ... c Min unsat cost LB: 82094 ... c Min unsat cost LB: 82102 ... c Min unsat cost LB: 82109 ... c Min unsat cost LB: 82116 ... c Min unsat cost LB: 82122 ... c Min unsat cost LB: 82148 ... c Min unsat cost LB: 82155 ... c Min unsat cost LB: 82162 ... c Min unsat cost LB: 82164 ... c Min unsat cost LB: 82169 ... c Min unsat cost LB: 82213 ... c Min unsat cost LB: 82245 ... c Min unsat cost LB: 82252 ... c Min unsat cost LB: 82278 ... c Min unsat cost LB: 82286 ... c Min unsat cost LB: 82296 ... c Min unsat cost LB: 82322 ... c Min unsat cost LB: 82324 ... c Min unsat cost LB: 82329 ... c Min unsat cost LB: 82330 ... c Min unsat cost LB: 82339 ... c Min unsat cost LB: 82348 ... c Min unsat cost LB: 82352 ... c Min unsat cost LB: 82353 ... c Min unsat cost LB: 82362 ... c Min unsat cost LB: 82366 ... c Min unsat cost LB: 82367 ... c Min unsat cost LB: 82376 ... c Min unsat cost LB: 82382 ... c Min unsat cost LB: 82387 ... c Min unsat cost LB: 82390 ... c Min unsat cost LB: 82393 ... c Min unsat cost LB: 82396 ... c Min unsat cost LB: 82400 ... c Min unsat cost LB: 82402 ... c Min unsat cost LB: 82404 ... c Min unsat cost LB: 82411 ... c Min unsat cost LB: 82412 ... c Min unsat cost LB: 82413 ... c Min unsat cost LB: 82414 ... c Min unsat cost LB: 82415 ... c Min unsat cost LB: 82416 ... c Min unsat cost LB: 82417 ... c Min unsat cost LB: 82421 ... c Min unsat cost LB: 82424 ... c Min unsat cost LB: 82426 ... c Min unsat cost LB: 82431 ... c Min unsat cost LB: 82434 ... c Min unsat cost LB: 82435 ... c Min unsat cost LB: 82436 ... c Min unsat cost LB: 82438 ... c Min unsat cost LB: 82440 ... c Min unsat cost LB: 82441 ... c Min unsat cost LB: 82447 ... c Min unsat cost LB: 82449 ... c Min unsat cost LB: 82454 ... c Min unsat cost LB: 82455 ... c Min unsat cost LB: 82456 ... c Min unsat cost LB: 82457 ... c Min unsat cost LB: 82458 ... c Min unsat cost LB: 82461 ... c Min unsat cost LB: 82463 ... c Min unsat cost LB: 82464 ... c Min unsat cost LB: 82465 ... c Min unsat cost LB: 82476 ... c Min unsat cost LB: 82477 ... c Min unsat cost LB: 82478 ... c Min unsat cost LB: 82491 ... c Min unsat cost LB: 82516 ... c Min unsat cost LB: 82517 ... c Min unsat cost LB: 82522 ... c Min unsat cost LB: 82527 ... c Min unsat cost LB: 82528 ... c Min unsat cost LB: 82533 ... c Min unsat cost LB: 82626 ... c Min unsat cost LB: 82652 ... c Min unsat cost LB: 82663 ... c Min unsat cost LB: 82698 ... c Min unsat cost LB: 82722 ... c Min unsat cost LB: 82728 ... c Min unsat cost LB: 82834 ... c Min unsat cost LB: 82835 ... c Min unsat cost LB: 82859 ... c Min unsat cost LB: 82862 ... c Min unsat cost LB: 82882 ... c Min unsat cost LB: 82884 ... c Min unsat cost LB: 82894 ... c Min unsat cost LB: 82895 ... c Min unsat cost LB: 82897 ... c Min unsat cost LB: 82906 ... c Min unsat cost LB: 82909 ... c Min unsat cost LB: 82911 ... c Min unsat cost LB: 82915 ... c Min unsat cost LB: 82918 ... c Min unsat cost LB: 82922 ... c Min unsat cost LB: 82928 ... c Min unsat cost LB: 82931 ... c Min unsat cost LB: 82932 ... c Min unsat cost LB: 82939 ... c Min unsat cost LB: 82940 ... c Min unsat cost LB: 82941 ... c Min unsat cost LB: 82942 ... c Min unsat cost LB: 82943 ... c Min unsat cost LB: 82944 ... c Min unsat cost LB: 82946 ... c Min unsat cost LB: 82947 ... c Min unsat cost LB: 82952 ... c Min unsat cost LB: 82953 ... c Min unsat cost LB: 82955 ... c Min unsat cost LB: 82956 ... c Min unsat cost LB: 82960 ... c Min unsat cost LB: 82961 ... c Min unsat cost LB: 82972 ... c Min unsat cost LB: 82973 ... c Min unsat cost LB: 83543 ... c Min unsat cost LB: 83544 ... c Min unsat cost LB: 83545 ... c Min unsat cost LB: 83546 ... c Min unsat cost LB: 83547 ... c Min unsat cost LB: 83548 ... c Min unsat cost LB: 83550 ... c Min unsat cost LB: 83551 ... c Min unsat cost LB: 83552 ... c Min unsat cost LB: 83553 ... c Min unsat cost LB: 83554 ... c Min unsat cost LB: 83555 ... c Min unsat cost LB: 83556 ... c Min unsat cost LB: 83557 ... c Min unsat cost LB: 83558 ... c Min unsat cost LB: 83559 ... c Min unsat cost LB: 83560 ... c Min unsat cost LB: 83561 ... c Min unsat cost LB: 83562 ... c Min unsat cost LB: 83563 ... c Min unsat cost LB: 83564 ... c Min unsat cost LB: 83565 ... c Min unsat cost LB: 83566 ... c Min unsat cost LB: 83567 ... c Min unsat cost LB: 83568 ... c Min unsat cost LB: 83569 ... c Min unsat cost LB: 83575 ... c Min unsat cost LB: 83576 ... c Min unsat cost LB: 83581 ... c Min unsat cost LB: 83582 ... c Min unsat cost LB: 83583 ... c Min unsat cost LB: 83584 ... c Min unsat cost LB: 83589 ... c Min unsat cost LB: 83591 ... c Min unsat cost LB: 83593 ... c Min unsat cost LB: 83601 ... c Min unsat cost LB: 83604 ... c Min unsat cost LB: 83605 ... c Min unsat cost LB: 83606 ... c Min unsat cost LB: 83607 ... c Min unsat cost LB: 83608 ... c Min unsat cost LB: 83609 ... c Min unsat cost LB: 83611 ... c Min unsat cost LB: 83617 ... c Min unsat cost LB: 83621 ... c Min unsat cost LB: 83631 ... c Min unsat cost LB: 83729 ... c Min unsat cost LB: 83801 ... c Min unsat cost LB: 83840 ... c Min unsat cost LB: 83843 ... c Min unsat cost LB: 83847 ... c Min unsat cost LB: 83886 ... c Min unsat cost LB: 83941 ... c Min unsat cost LB: 83942 ... c Min unsat cost LB: 83955 ... c Min unsat cost LB: 83958 ... c Min unsat cost LB: 83960 ... c Min unsat cost LB: 83964 ... c Min unsat cost LB: 83983 ... c Min unsat cost LB: 83986 ... c Min unsat cost LB: 83988 ... c Min unsat cost LB: 84020 ... c Min unsat cost LB: 84052 ... c Min unsat cost LB: 84054 ... c Min unsat cost LB: 84064 ... c Min unsat cost LB: 84065 ... c Min unsat cost LB: 84069 ... c Min unsat cost LB: 84113 ... c Min unsat cost LB: 84117 ... c Min unsat cost LB: 84135 ... c Min unsat cost LB: 84162 ... c Min unsat cost LB: 84182 ... c Min unsat cost LB: 84199 ... c Min unsat cost LB: 84270 ... c Min unsat cost LB: 84347 ... c Min unsat cost LB: 84510 ... c Min unsat cost LB: 84646 ... c Min unsat cost LB: 84647 ... c Min unsat cost LB: 84648 ... c Min unsat cost LB: 84649 ... c Min unsat cost LB: 84650 ... c Min unsat cost LB: 84652 ... c Min unsat cost LB: 84654 ... c Min unsat cost LB: 84658 ... c Min unsat cost LB: 84662 ... c Min unsat cost LB: 84670 ... c Min unsat cost LB: 84671 ... c Min unsat cost LB: 84672 ... c Min unsat cost LB: 84681 ... c Min unsat cost LB: 84685 ... c Min unsat cost LB: 84687 ... c Min unsat cost LB: 84692 ... c Min unsat cost LB: 84694 ... c Min unsat cost LB: 84697 ... c Min unsat cost LB: 84698 ... c Min unsat cost LB: 84699 ... c Min unsat cost LB: 84700 ... c Min unsat cost LB: 84702 ... c Min unsat cost LB: 84704 ... c Min unsat cost LB: 84707 ... c Min unsat cost LB: 84708 ... c Min unsat cost LB: 84709 ... c Min unsat cost LB: 84710 ... c Min unsat cost LB: 84711 ... c Min unsat cost LB: 84712 ... c Min unsat cost LB: 84713 ... c Min unsat cost LB: 84715 ... c Min unsat cost LB: 84717 ... c Min unsat cost LB: 84719 ... c Min unsat cost LB: 84720 ... c Min unsat cost LB: 84725 ... c Min unsat cost LB: 84726 ... c Min unsat cost LB: 84727 ... c Min unsat cost LB: 84731 ... c Min unsat cost LB: 84732 ... c Min unsat cost LB: 84736 ... c Min unsat cost LB: 84737 ... c Min unsat cost LB: 84738 ... c Min unsat cost LB: 84739 ... c Min unsat cost LB: 84743 ... c Min unsat cost LB: 84749 ... c Min unsat cost LB: 84764 ... c Min unsat cost LB: 84770 ... c Min unsat cost LB: 84772 ... c Min unsat cost LB: 84773 ... c Min unsat cost LB: 84785 ... c Min unsat cost LB: 84787 ... c Min unsat cost LB: 84789 ... c Min unsat cost LB: 84801 ... c Min unsat cost LB: 84835 ... c Min unsat cost LB: 84839 ... c Min unsat cost LB: 84840 ... c Min unsat cost LB: 84841 ... c Min unsat cost LB: 84842 ... c Min unsat cost LB: 84845 ... c Min unsat cost LB: 84846 ... c Min unsat cost LB: 84848 ... c Min unsat cost LB: 84854 ... c Min unsat cost LB: 84855 ... c Min unsat cost LB: 84856 ... c Min unsat cost LB: 84859 ... c Min unsat cost LB: 84861 ... c Min unsat cost LB: 84862 ... c Min unsat cost LB: 84863 ... c Min unsat cost LB: 84866 ... c Min unsat cost LB: 84867 ... c Min unsat cost LB: 84868 ... c Min unsat cost LB: 84869 ... c Min unsat cost LB: 84881 ... c Min unsat cost LB: 84882 ... c Min unsat cost LB: 84883 ... c Min unsat cost LB: 84884 ... c Min unsat cost LB: 84885 ... c Min unsat cost LB: 84889 ... c Min unsat cost LB: 84892 ... c Min unsat cost LB: 84895 ... c Min unsat cost LB: 84897 ... c Min unsat cost LB: 84907 ... c Min unsat cost LB: 84913 ... c Min unsat cost LB: 84915 ... c Min unsat cost LB: 84916 ... c Min unsat cost LB: 84918 ... c Min unsat cost LB: 84920 ... c Min unsat cost LB: 84921 ... c Min unsat cost LB: 84922 ... c Min unsat cost LB: 84923 ... c Min unsat cost LB: 84924 ... c Min unsat cost LB: 84925 ... c Min unsat cost LB: 84926 ... c Min unsat cost LB: 84927 ... c Min unsat cost LB: 84928 ... c Min unsat cost LB: 84929 ... c Min unsat cost LB: 84930 ... c Min unsat cost LB: 84939 ... c Min unsat cost LB: 84940 ... c Min unsat cost LB: 84941 ... c Min unsat cost LB: 84942 ... c Min unsat cost LB: 84943 ... c Min unsat cost LB: 84944 ... c Min unsat cost LB: 84945 ... c Min unsat cost LB: 84946 ... c Min unsat cost LB: 84947 ... c Min unsat cost LB: 84948 ... c Min unsat cost LB: 84949 ... c Min unsat cost LB: 84950 ... c Min unsat cost LB: 84952 ... c Min unsat cost LB: 84953 ... c Min unsat cost LB: 84956 ... c Min unsat cost LB: 84957 ... c Min unsat cost LB: 84962 ... c Min unsat cost LB: 84964 ... c Min unsat cost LB: 84965 ... c Min unsat cost LB: 84974 ... c Min unsat cost LB: 84977 ... c Min unsat cost LB: 84979 ... c Min unsat cost LB: 84984 ... c Min unsat cost LB: 84985 ... c Min unsat cost LB: 84986 ... c Min unsat cost LB: 84987 ... c Min unsat cost LB: 84988 ... c Min unsat cost LB: 84990 ... c Min unsat cost LB: 84993 ... c Min unsat cost LB: 84994 ... c Min unsat cost LB: 84995 ... c Min unsat cost LB: 84996 ... c Min unsat cost LB: 84997 ... c Min unsat cost LB: 85002 ... c Min unsat cost LB: 85004 ... c Min unsat cost LB: 85005 ... c Min unsat cost LB: 85006 ... c Min unsat cost LB: 85007 ... c Min unsat cost LB: 85008 ... c Min unsat cost LB: 85009 ... c Min unsat cost LB: 85010 ... c Min unsat cost LB: 85011 ... c Min unsat cost LB: 85012 ... c Min unsat cost LB: 85013 ... c Min unsat cost LB: 85014 ... c Min unsat cost LB: 85015 ... c Min unsat cost LB: 85016 ... c Min unsat cost LB: 85017 ... c Min unsat cost LB: 85018 ... c Min unsat cost LB: 85019 ... c Min unsat cost LB: 85020 ... c Min unsat cost LB: 85021 ... c Min unsat cost LB: 85022 ... c Min unsat cost LB: 85023 ... c Min unsat cost LB: 85024 ... c Min unsat cost LB: 85025 ... c Min unsat cost LB: 85026 ... c Min unsat cost LB: 85028 ... c Min unsat cost LB: 85036 ... c Min unsat cost LB: 85041 ... c Min unsat cost LB: 85047 ... c Min unsat cost LB: 85048 ... c Min unsat cost LB: 85049 ... c Min unsat cost LB: 85050 ... c Min unsat cost LB: 85052 ... c Min unsat cost LB: 85053 ... c Min unsat cost LB: 85054 ... c Min unsat cost LB: 85055 ... c Min unsat cost LB: 85056 ... c Min unsat cost LB: 85057 ... c Min unsat cost LB: 85058 ... c Min unsat cost LB: 85059 ... c Min unsat cost LB: 85060 ... c Min unsat cost LB: 85061 ... c Min unsat cost LB: 85062 ... c Min unsat cost LB: 85083 ... c Min unsat cost LB: 85089 ... c Min unsat cost LB: 85090 ... c Min unsat cost LB: 85135 ... c Min unsat cost LB: 85158 ... c Min unsat cost LB: 85160 ... c Min unsat cost LB: 85161 ... c Min unsat cost LB: 85162 ... c Min unsat cost LB: 85167 ... c Min unsat cost LB: 85193 ... c Min unsat cost LB: 85197 ... c Min unsat cost LB: 85199 ... c Min unsat cost LB: 85200 ... c Min unsat cost LB: 85201 ... c Min unsat cost LB: 85202 ... c Min unsat cost LB: 85203 ... c Min unsat cost LB: 85204 ... c Min unsat cost LB: 85205 ... c Min unsat cost LB: 85210 ... c Min unsat cost LB: 85211 ... c Min unsat cost LB: 85212 ... c Min unsat cost LB: 85213 ... c Min unsat cost LB: 85214 ... c Min unsat cost LB: 85215 ... c Min unsat cost LB: 85216 ... c Min unsat cost LB: 85217 ... c Min unsat cost LB: 85218 ... c Min unsat cost LB: 85220 ... c Min unsat cost LB: 85221 ... c Min unsat cost LB: 85222 ... c Min unsat cost LB: 85230 ... c Min unsat cost LB: 85234 ... c Min unsat cost LB: 85254 ... c Min unsat cost LB: 85255 ... c Min unsat cost LB: 85263 ... c Min unsat cost LB: 85267 ... c Min unsat cost LB: 85268 ... c Min unsat cost LB: 85269 ... c Min unsat cost LB: 85277 ... c Min unsat cost LB: 85278 ... c Min unsat cost LB: 85279 ... c Min unsat cost LB: 85280 ... c Min unsat cost LB: 85281 ... c Min unsat cost LB: 85282 ... c Min unsat cost LB: 85283 ... c Min unsat cost LB: 85285 ... c Min unsat cost LB: 85286 ... c Min unsat cost LB: 85289 ... c Min unsat cost LB: 85291 ... c Min unsat cost LB: 85295 ... c Min unsat cost LB: 85297 ... c Min unsat cost LB: 85311 ... c Min unsat cost LB: 85314 ... c Min unsat cost LB: 85316 ... c Min unsat cost LB: 85317 ... c Min unsat cost LB: 85318 ... c Min unsat cost LB: 85319 ... c Min unsat cost LB: 85320 ... c Min unsat cost LB: 85321 ... c Min unsat cost LB: 85322 ... c Min unsat cost LB: 85323 ... c Min unsat cost LB: 85324 ... c Min unsat cost LB: 85363 ... c Min unsat cost LB: 85364 ... c Min unsat cost LB: 85365 ... c Min unsat cost LB: 85366 ... c Min unsat cost LB: 85367 ... c Min unsat cost LB: 85369 ... c Min unsat cost LB: 85370 ... c Min unsat cost LB: 85371 ... c Min unsat cost LB: 85372 ... c Min unsat cost LB: 85385 ... c Min unsat cost LB: 85386 ... c Min unsat cost LB: 85388 ... c Min unsat cost LB: 85389 ... c Min unsat cost LB: 85390 ... c Min unsat cost LB: 85392 ... c Min unsat cost LB: 85393 ... c Min unsat cost LB: 85435 ... c Min unsat cost LB: 85436 ... c Min unsat cost LB: 85437 ... c Min unsat cost LB: 85438 ... c Min unsat cost LB: 85439 ... c Min unsat cost LB: 85440 ... c Min unsat cost LB: 85441 ... c Min unsat cost LB: 85442 ... c Min unsat cost LB: 85448 ... c Min unsat cost LB: 85449 ... c Min unsat cost LB: 85450 ... c Min unsat cost LB: 85451 ... c Min unsat cost LB: 85452 ... c Min unsat cost LB: 85453 ... c Min unsat cost LB: 85454 ... c Min unsat cost LB: 85455 ... c Min unsat cost LB: 85456 ... c Min unsat cost LB: 85457 ... c Min unsat cost LB: 85458 ... c Min unsat cost LB: 85459 ... c Min unsat cost LB: 85460 ... c Min unsat cost LB: 85461 ... c Min unsat cost LB: 85462 ... c Min unsat cost LB: 85463 ... c Min unsat cost LB: 85464 ... c Min unsat cost LB: 85465 ... c Min unsat cost LB: 85467 ... c Min unsat cost LB: 85468 ... c Min unsat cost LB: 85469 ... c Min unsat cost LB: 85470 ... c Min unsat cost LB: 85471 ... c Min unsat cost LB: 85472 ... c Min unsat cost LB: 85473 ... c Min unsat cost LB: 85474 ... c Min unsat cost LB: 85475 ... c Min unsat cost LB: 85476 ... c Min unsat cost LB: 85477 ... c Min unsat cost LB: 85478 ... c Min unsat cost LB: 85479 ... c Min unsat cost LB: 85480 ... c Min unsat cost LB: 85481 ... c Min unsat cost LB: 85482 ... c Min unsat cost LB: 85483 ... c Min unsat cost LB: 85484 ... c Min unsat cost LB: 85485 ... c Min unsat cost LB: 85486 ... c Min unsat cost LB: 85487 ... c Min unsat cost LB: 85488 ... c Min unsat cost LB: 85489 ... c Min unsat cost LB: 85490 ... c Min unsat cost LB: 85491 ... c Min unsat cost LB: 85492 ... c Min unsat cost LB: 85493 ... c Min unsat cost LB: 85494 ... c Min unsat cost LB: 85495 ... c Min unsat cost LB: 85496 ... c Min unsat cost LB: 85497 ... c Min unsat cost LB: 85500 ... c Min unsat cost LB: 85501 ... c Min unsat cost LB: 85503 ... c Min unsat cost LB: 85504 ... c Min unsat cost LB: 85505 ... c Min unsat cost LB: 85512 ... c Min unsat cost LB: 85514 ... c Min unsat cost LB: 85515 ... c Min unsat cost LB: 85516 ... c Min unsat cost LB: 85517 ... c Min unsat cost LB: 85518 ... c Min unsat cost LB: 85519 ... c Min unsat cost LB: 85520 ... c Min unsat cost LB: 85521 ... c Min unsat cost LB: 85522 ... c Min unsat cost LB: 85523 ... c Min unsat cost LB: 85524 ... c Min unsat cost LB: 85525 ... c Min unsat cost LB: 85526 ... c Min unsat cost LB: 85527 ... c Min unsat cost LB: 85528 ... c Min unsat cost LB: 85529 ... c Min unsat cost LB: 85530 ... c Min unsat cost LB: 85531 ... c Min unsat cost LB: 85532 ... c Min unsat cost LB: 85533 ... c Min unsat cost LB: 85534 ... c Min unsat cost LB: 85535 ... c Min unsat cost LB: 85536 ... c Min unsat cost LB: 85537 ... c Min unsat cost LB: 85538 ... c Min unsat cost LB: 85539 ... c Min unsat cost LB: 85540 ... c Min unsat cost LB: 85541 ... c Min unsat cost LB: 85542 ... c Min unsat cost LB: 85543 ... c Min unsat cost LB: 85544 ... c Min unsat cost LB: 85545 ... c Min unsat cost LB: 85546 ... c Min unsat cost LB: 85547 ... c Min unsat cost LB: 85548 ... c Min unsat cost LB: 85549 ... c Min unsat cost LB: 85550 ... c Min unsat cost LB: 85551 ... c Min unsat cost LB: 85552 ... c Min unsat cost LB: 85553 ... c Min unsat cost LB: 85554 ... c Min unsat cost LB: 85555 ... c Min unsat cost LB: 85556 ... c Min unsat cost LB: 85557 ... c Min unsat cost LB: 85558 ... c Min unsat cost LB: 85559 ... c Min unsat cost LB: 85560 ... c Min unsat cost LB: 85561 ... c Min unsat cost LB: 85562 ... c Min unsat cost LB: 85563 ... c Min unsat cost LB: 85567 ... c Min unsat cost LB: 85599 ... c Min unsat cost LB: 85600 ... c Min unsat cost LB: 85601 ... c Min unsat cost LB: 85602 ... c Min unsat cost LB: 85670 ... c Min unsat cost LB: 85671 ... c Min unsat cost LB: 85672 ... c Min unsat cost LB: 85673 ... c Min unsat cost LB: 85686 ... c Min unsat cost LB: 85690 ... c Min unsat cost LB: 85807 ... c Min unsat cost LB: 85814 ... c Min unsat cost LB: 85815 ... c Min unsat cost LB: 85816 ... c Min unsat cost LB: 85817 ... c Min unsat cost LB: 85818 ... c Min unsat cost LB: 85819 ... c Min unsat cost LB: 85820 ... c Min unsat cost LB: 85821 ... c Min unsat cost LB: 85822 ... c Min unsat cost LB: 85823 ... c Min unsat cost LB: 85824 ... c Min unsat cost LB: 85825 ... c Min unsat cost LB: 85826 ... c Min unsat cost LB: 85827 ... c Min unsat cost LB: 85829 ... c Min unsat cost LB: 85830 ... c Min unsat cost LB: 85831 ... c Min unsat cost LB: 85832 ... c Min unsat cost LB: 85833 ... c Min unsat cost LB: 85834 ... c Min unsat cost LB: 85838 ... c Min unsat cost LB: 85839 ... c Min unsat cost LB: 85841 ... c Min unsat cost LB: 85843 ... c Min unsat cost LB: 85845 ... c Min unsat cost LB: 85850 ... c Min unsat cost LB: 85858 ... c Min unsat cost LB: 85859 ... c Min unsat cost LB: 85867 ... c Min unsat cost LB: 85897 ... c Min unsat cost LB: 85898 ... c Min unsat cost LB: 85899 ... c Min unsat cost LB: 85900 ... c Min unsat cost LB: 85934 ... c Min unsat cost LB: 85987 ... c Min unsat cost LB: 85988 ... c Min unsat cost LB: 85989 ... c Min unsat cost LB: 85990 ... c Min unsat cost LB: 85991 ... c Min unsat cost LB: 85992 ... c Min unsat cost LB: 85993 ... c Min unsat cost LB: 85994 ... c Min unsat cost LB: 85995 ... c Min unsat cost Killed 1815.988u 3.748s 54:46.07 55.3% 0+0k 0+0io 0pf+0w