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_KnotPipatsrisawat_random-net-260-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-10.net.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/KnotPipatsrisawat/random-net-260-1_network-10.net.wcnf *** c c Min unsat cost LB: 398 ... c Min unsat cost LB: 971 ... c Min unsat cost LB: 1382 ... c Min unsat cost LB: 2644 ... c Min unsat cost LB: 3633 ... c Min unsat cost LB: 4522 ... c Min unsat cost LB: 5932 ... c Min unsat cost LB: 5936 ... c Min unsat cost LB: 7082 ... c Min unsat cost LB: 8449 ... c Min unsat cost LB: 9045 ... c Min unsat cost LB: 10688 ... c Min unsat cost LB: 12288 ... c Min unsat cost LB: 12518 ... c Min unsat cost LB: 13535 ... c Min unsat cost LB: 14386 ... c Min unsat cost LB: 15711 ... c Min unsat cost LB: 15895 ... c Min unsat cost LB: 17699 ... c Min unsat cost LB: 18948 ... c Min unsat cost LB: 20419 ... c Min unsat cost LB: 21670 ... c Min unsat cost LB: 23179 ... c Min unsat cost LB: 24351 ... c Min unsat cost LB: 24671 ... c Min unsat cost LB: 24764 ... c Min unsat cost LB: 24815 ... c Min unsat cost LB: 25603 ... c Min unsat cost LB: 26446 ... c Min unsat cost LB: 26610 ... c Min unsat cost LB: 27436 ... c Min unsat cost LB: 27455 ... c Min unsat cost LB: 27964 ... c Min unsat cost LB: 28743 ... c Min unsat cost LB: 29397 ... c Min unsat cost LB: 29798 ... c Min unsat cost LB: 30242 ... c Min unsat cost LB: 31926 ... c Min unsat cost LB: 32641 ... c Min unsat cost LB: 32936 ... c Min unsat cost LB: 33961 ... c Min unsat cost LB: 35279 ... c Min unsat cost LB: 37104 ... c Min unsat cost LB: 37154 ... c Min unsat cost LB: 37818 ... c Min unsat cost LB: 38019 ... c Min unsat cost LB: 38950 ... c Min unsat cost LB: 39570 ... c Min unsat cost LB: 40877 ... c Min unsat cost LB: 41173 ... c Min unsat cost LB: 42747 ... c Min unsat cost LB: 42978 ... c Min unsat cost LB: 43235 ... c Min unsat cost LB: 44981 ... c Min unsat cost LB: 45451 ... c Min unsat cost LB: 46308 ... c Min unsat cost LB: 47732 ... c Min unsat cost LB: 48101 ... c Min unsat cost LB: 48199 ... c Min unsat cost LB: 49766 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 51133 ... c Min unsat cost LB: 51913 ... c Min unsat cost LB: 52812 ... c Min unsat cost LB: 52956 ... c Min unsat cost LB: 53253 ... c Min unsat cost LB: 53366 ... c Min unsat cost LB: 53912 ... c Min unsat cost LB: 53967 ... c Min unsat cost LB: 54117 ... c Min unsat cost LB: 54564 ... c Min unsat cost LB: 54786 ... c Min unsat cost LB: 55163 ... c Min unsat cost LB: 55627 ... c Min unsat cost LB: 55850 ... c Min unsat cost LB: 55862 ... c Min unsat cost LB: 56172 ... c Min unsat cost LB: 56365 ... c Min unsat cost LB: 57296 ... c Min unsat cost LB: 57616 ... c Min unsat cost LB: 57928 ... c Min unsat cost LB: 58216 ... c Min unsat cost LB: 58714 ... c Min unsat cost LB: 58792 ... c Min unsat cost LB: 58967 ... c Min unsat cost LB: 58981 ... c Min unsat cost LB: 59296 ... c Min unsat cost LB: 60130 ... c Min unsat cost LB: 60603 ... c Min unsat cost LB: 61252 ... c Min unsat cost LB: 62044 ... c Min unsat cost LB: 62159 ... c Min unsat cost LB: 62259 ... c Min unsat cost LB: 62773 ... c Min unsat cost LB: 63476 ... c Min unsat cost LB: 63577 ... c Min unsat cost LB: 65093 ... c Min unsat cost LB: 65215 ... c Min unsat cost LB: 65313 ... c Min unsat cost LB: 65648 ... c Min unsat cost LB: 65652 ... c Min unsat cost LB: 65746 ... c Min unsat cost LB: 66100 ... c Min unsat cost LB: 66326 ... c Min unsat cost LB: 66379 ... c Min unsat cost LB: 66562 ... c Min unsat cost LB: 66733 ... c Min unsat cost LB: 67068 ... c Min unsat cost LB: 67085 ... c Min unsat cost LB: 67194 ... c Min unsat cost LB: 67368 ... c Min unsat cost LB: 67384 ... c Min unsat cost LB: 67466 ... c Min unsat cost LB: 68650 ... c Min unsat cost LB: 68718 ... c Min unsat cost LB: 69069 ... c Min unsat cost LB: 69395 ... c Min unsat cost LB: 69743 ... c Min unsat cost LB: 69869 ... c Min unsat cost LB: 70228 ... c Min unsat cost LB: 70528 ... c Min unsat cost LB: 70594 ... c Min unsat cost LB: 70634 ... c Min unsat cost LB: 70819 ... c Min unsat cost LB: 70844 ... c Min unsat cost LB: 71181 ... c Min unsat cost LB: 71466 ... c Min unsat cost LB: 71841 ... c Min unsat cost LB: 71869 ... c Min unsat cost LB: 72728 ... c Min unsat cost LB: 72887 ... c Min unsat cost LB: 73015 ... c Min unsat cost LB: 73100 ... c Min unsat cost LB: 73506 ... c Min unsat cost LB: 73755 ... c Min unsat cost LB: 74106 ... c Min unsat cost LB: 75517 ... c Min unsat cost LB: 75617 ... c Min unsat cost LB: 75933 ... c Min unsat cost LB: 75958 ... c Min unsat cost LB: 76118 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 77389 ... c Min unsat cost LB: 78278 ... c Min unsat cost LB: 78376 ... c Min unsat cost LB: 78495 ... c Min unsat cost LB: 78767 ... c Min unsat cost LB: 78884 ... c Min unsat cost LB: 79255 ... c Min unsat cost LB: 79838 ... c Min unsat cost LB: 79977 ... c Min unsat cost LB: 80081 ... c Min unsat cost LB: 80267 ... c Min unsat cost LB: 80297 ... c Min unsat cost LB: 80866 ... c Min unsat cost LB: 81055 ... c Min unsat cost LB: 81348 ... c Min unsat cost LB: 82034 ... c Min unsat cost LB: 82344 ... c Min unsat cost LB: 82460 ... c Min unsat cost LB: 82500 ... c Min unsat cost LB: 82525 ... c Min unsat cost LB: 82937 ... c Min unsat cost LB: 83747 ... c Min unsat cost LB: 83750 ... c Min unsat cost LB: 83771 ... c Min unsat cost LB: 83787 ... c Min unsat cost LB: 83826 ... c Min unsat cost LB: 83851 ... c Min unsat cost LB: 83995 ... c Min unsat cost LB: 84223 ... c Min unsat cost LB: 84238 ... c Min unsat cost LB: 84337 ... c Min unsat cost LB: 84398 ... c Min unsat cost LB: 84423 ... c Min unsat cost LB: 84439 ... c Min unsat cost LB: 84460 ... c Min unsat cost LB: 84463 ... c Min unsat cost LB: 84482 ... c Min unsat cost LB: 84549 ... c Min unsat cost LB: 84552 ... c Min unsat cost LB: 84577 ... c Min unsat cost LB: 84580 ... c Min unsat cost LB: 84591 ... c Min unsat cost LB: 84608 ... c Min unsat cost LB: 84643 ... c Min unsat cost LB: 84983 ... c Min unsat cost LB: 85119 ... c Min unsat cost LB: 85838 ... c Min unsat cost LB: 86774 ... c Min unsat cost LB: 86825 ... c Min unsat cost LB: 87300 ... c Min unsat cost LB: 87643 ... c Min unsat cost LB: 87725 ... c Min unsat cost LB: 87923 ... c Min unsat cost LB: 88190 ... c Min unsat cost LB: 88418 ... c Min unsat cost LB: 89020 ... c Min unsat cost LB: 89564 ... c Min unsat cost LB: 90206 ... c Min unsat cost LB: 90303 ... c Min unsat cost LB: 90437 ... c Min unsat cost LB: 90565 ... c Min unsat cost LB: 90806 ... c Min unsat cost LB: 90829 ... c Min unsat cost LB: 91401 ... c Min unsat cost LB: 92264 ... c Min unsat cost LB: 92752 ... c Min unsat cost LB: 92763 ... c Min unsat cost LB: 92845 ... c Min unsat cost LB: 93011 ... c Min unsat cost LB: 93252 ... c Min unsat cost LB: 93257 ... c Min unsat cost LB: 93320 ... c Min unsat cost LB: 93587 ... c Min unsat cost LB: 93973 ... c Min unsat cost LB: 94006 ... c Min unsat cost LB: 94162 ... c Min unsat cost LB: 95317 ... c Min unsat cost LB: 95390 ... c Min unsat cost LB: 95677 ... c Min unsat cost LB: 95860 ... c Min unsat cost LB: 96800 ... c Min unsat cost LB: 97001 ... c Min unsat cost LB: 97173 ... c Min unsat cost LB: 97927 ... c Min unsat cost LB: 98041 ... c Min unsat cost LB: 99159 ... c Min unsat cost LB: 99623 ... c Min unsat cost LB: 99656 ... c Min unsat cost LB: 99748 ... c Min unsat cost LB: 100212 ... c Min unsat cost LB: 100477 ... c Min unsat cost LB: 100512 ... c Min unsat cost LB: 100552 ... c Min unsat cost LB: 101070 ... c Min unsat cost LB: 101304 ... c Min unsat cost LB: 101767 ... c Min unsat cost LB: 102808 ... c Min unsat cost LB: 102984 ... c Min unsat cost LB: 103310 ... c Min unsat cost LB: 104096 ... c Min unsat cost LB: 104101 ... c Min unsat cost LB: 104146 ... c Min unsat cost LB: 104318 ... c Min unsat cost LB: 104654 ... c Min unsat cost LB: 104958 ... c Min unsat cost LB: 105070 ... c Min unsat cost LB: 105139 ... c Min unsat cost LB: 105166 ... c Min unsat cost LB: 105201 ... c Min unsat cost LB: 105302 ... c Min unsat cost LB: 105310 ... c Min unsat cost LB: 106058 ... c Min unsat cost LB: 106083 ... c Min unsat cost LB: 106713 ... c Min unsat cost LB: 107474 ... c Min unsat cost LB: 107792 ... c Min unsat cost LB: 108112 ... c Min unsat cost LB: 108125 ... c Min unsat cost LB: 108859 ... c Min unsat cost LB: 110281 ... c Min unsat cost LB: 110293 ... c Min unsat cost LB: 110580 ... c Min unsat cost LB: 110605 ... c Min unsat cost LB: 110803 ... c Min unsat cost LB: 111329 ... c Min unsat cost LB: 111758 ... c Min unsat cost LB: 112530 ... c Min unsat cost LB: 112716 ... c Min unsat cost LB: 112717 ... c Min unsat cost LB: 112970 ... c Min unsat cost LB: 113341 ... c Min unsat cost LB: 113357 ... c Min unsat cost LB: 113360 ... c Min unsat cost LB: 113381 ... c Min unsat cost LB: 113490 ... c Min unsat cost LB: 113733 ... c Min unsat cost LB: 114415 ... c Min unsat cost LB: 114551 ... c Min unsat cost LB: 114577 ... c Min unsat cost LB: 114801 ... c Min unsat cost LB: 115418 ... c Min unsat cost LB: 115445 ... c Min unsat cost LB: 115947 ... c Min unsat cost LB: 115957 ... c Min unsat cost LB: 115970 ... c Min unsat cost LB: 115992 ... c Min unsat cost LB: 116216 ... c Min unsat cost LB: 116659 ... c Min unsat cost LB: 116915 ... c Min unsat cost LB: 117774 ... c Min unsat cost LB: 118034 ... c Min unsat cost LB: 118816 ... c Min unsat cost LB: 118841 ... c Min unsat cost LB: 118979 ... c Min unsat cost LB: 119023 ... c Min unsat cost LB: 119036 ... c Min unsat cost LB: 119197 ... c Min unsat cost LB: 119289 ... c Min unsat cost LB: 119319 ... c Min unsat cost LB: 119346 ... c Min unsat cost LB: 119422 ... c Min unsat cost LB: 119869 ... c Min unsat cost LB: 120271 ... c Min unsat cost LB: 120408 ... c Min unsat cost LB: 120840 ... c Min unsat cost LB: 121058 ... c Min unsat cost LB: 121348 ... c Min unsat cost LB: 121368 ... c Min unsat cost LB: 121453 ... c Min unsat cost LB: 122497 ... c Min unsat cost LB: 122498 ... c Min unsat cost LB: 122831 ... c Min unsat cost LB: 122850 ... c Min unsat cost LB: 122992 ... c Min unsat cost LB: 123091 ... c Min unsat cost LB: 123111 ... c Min unsat cost LB: 123161 ... c Min unsat cost LB: 123301 ... c Min unsat cost LB: 123479 ... c Min unsat cost LB: 123603 ... c Min unsat cost LB: 123615 ... c Min unsat cost LB: 123902 ... c Min unsat cost LB: 124172 ... c Min unsat cost LB: 124537 ... c Min unsat cost LB: 124719 ... c Min unsat cost LB: 124734 ... c Min unsat cost LB: 125224 ... c Min unsat cost LB: 125292 ... c Min unsat cost LB: 125725 ... c Min unsat cost LB: 125747 ... c Min unsat cost LB: 126315 ... c Min unsat cost LB: 126506 ... c Min unsat cost LB: 128035 ... c Min unsat cost LB: 128279 ... c Min unsat cost LB: 128410 ... c Min unsat cost LB: 128701 ... c Min unsat cost LB: 129606 ... c Min unsat cost LB: 129713 ... c Min unsat cost LB: 129886 ... c Min unsat cost LB: 130010 ... c Min unsat cost LB: 130530 ... c Min unsat cost LB: 130615 ... c Min unsat cost LB: 130624 ... c Min unsat cost LB: 131579 ... c Min unsat cost LB: 131656 ... c Min unsat cost LB: 132078 ... c Min unsat cost LB: 132331 ... c Min unsat cost LB: 132686 ... c Min unsat cost LB: 132688 ... c Min unsat cost LB: 133225 ... c Min unsat cost LB: 133259 ... c Min unsat cost LB: 133282 ... c Min unsat cost LB: 133411 ... c Min unsat cost LB: 133515 ... c Min unsat cost LB: 133728 ... c Min unsat cost LB: 133761 ... c Min unsat cost LB: 134444 ... c Min unsat cost LB: 134468 ... c Min unsat cost LB: 134667 ... c Min unsat cost LB: 134790 ... c Min unsat cost LB: 134940 ... c Min unsat cost LB: 134954 ... c Min unsat cost LB: 135027 ... c Min unsat cost LB: 135388 ... c Min unsat cost LB: 135461 ... c Min unsat cost LB: 135520 ... c Min unsat cost LB: 136216 ... c Min unsat cost LB: 136257 ... c Min unsat cost LB: 136308 ... c Min unsat cost LB: 136509 ... c Min unsat cost LB: 136755 ... c Min unsat cost LB: 137207 ... c Min unsat cost LB: 137287 ... c Min unsat cost LB: 137525 ... c Min unsat cost LB: 137950 ... c Min unsat cost LB: 138009 ... c Min unsat cost LB: 138085 ... c Min unsat cost LB: 138119 ... c Min unsat cost LB: 138764 ... c Min unsat cost LB: 139656 ... c Min unsat cost LB: 140198 ... c Min unsat cost LB: 140200 ... c Min unsat cost LB: 140403 ... c Min unsat cost LB: 141979 ... c Min unsat cost LB: 142173 ... c Min unsat cost LB: 142565 ... c Min unsat cost LB: 142707 ... c Min unsat cost LB: 142717 ... c Min unsat cost LB: 142878 ... c Min unsat cost LB: 142883 ... c Min unsat cost LB: 143299 ... c Min unsat cost LB: 143439 ... c Min unsat cost LB: 143851 ... c Min unsat cost LB: 143855 ... c Min unsat cost LB: 143909 ... c Min unsat cost LB: 143912 ... c Min unsat cost LB: 143937 ... c Min unsat cost LB: 144046 ... c Min unsat cost LB: 144952 ... c Min unsat cost LB: 145014 ... c Min unsat cost LB: 145934 ... c Min unsat cost LB: 146032 ... c Min unsat cost LB: 146790 ... c Min unsat cost LB: 147037 ... c Min unsat cost LB: 147090 ... c Min unsat cost LB: 147256 ... c Min unsat cost LB: 147560 ... c Min unsat cost LB: 148470 ... c Min unsat cost LB: 148490 ... c Min unsat cost LB: 148493 ... c Min unsat cost LB: 148496 ... c Min unsat cost LB: 148509 ... c Min unsat cost LB: 148515 ... c Min unsat cost LB: 148547 ... c Min unsat cost LB: 148737 ... c Min unsat cost LB: 148760 ... c Min unsat cost LB: 148814 ... c Min unsat cost LB: 148815 ... c Min unsat cost LB: 148819 ... c Min unsat cost LB: 148877 ... c Min unsat cost LB: 149677 ... c Min unsat cost LB: 149685 ... c Min unsat cost LB: 149706 ... c Min unsat cost LB: 149731 ... c Min unsat cost LB: 149743 ... c Min unsat cost LB: 149752 ... c Min unsat cost LB: 149756 ... c Min unsat cost LB: 149759 ... c Min unsat cost LB: 149761 ... c Min unsat cost LB: 149775 ... c Min unsat cost LB: 149915 ... c Min unsat cost LB: 150351 ... c Min unsat cost LB: 150352 ... c Min unsat cost LB: 150629 ... c Min unsat cost LB: 150996 ... c Min unsat cost LB: 151339 ... c Min unsat cost LB: 151745 ... c Min unsat cost LB: 151789 ... c Min unsat cost LB: 152124 ... c Min unsat cost LB: 152188 ... c Min unsat cost LB: 152586 ... c Min unsat cost LB: 153777 ... c Min unsat cost LB: 153983 ... c Min unsat cost LB: 154203 ... c Min unsat cost LB: 154213 ... c Min unsat cost LB: 154241 ... c Min unsat cost LB: 154297 ... c Min unsat cost LB: 154308 ... c Min unsat cost LB: 154311 ... c Min unsat cost LB: 154314 ... c Min unsat cost LB: 154647 ... c Min unsat cost LB: 155230 ... c Min unsat cost LB: 155420 ... c Min unsat cost LB: 155424 ... c Min unsat cost LB: 155455 ... c Min unsat cost LB: 155460 ... c Min unsat cost LB: 155496 ... c Min unsat cost LB: 155513 ... c Min unsat cost LB: 155516 ... c Min unsat cost LB: 155525 ... c Min unsat cost LB: 155529 ... c Min unsat cost LB: 155535 ... c Min unsat cost LB: 155536 ... c Min unsat cost LB: 155538 ... c Min unsat cost LB: 155539 ... c Min unsat cost LB: 155548 ... c Min unsat cost LB: 155549 ... c Min unsat cost LB: 155550 ... c Min unsat cost LB: 155551 ... c Min unsat cost LB: 155553 ... c Min unsat cost LB: 155555 ... c Min unsat cost LB: 155557 ... c Min unsat cost LB: 155559 ... c Min unsat cost LB: 155560 ... c Min unsat cost LB: 155562 ... c Min unsat cost LB: 155563 ... c Min unsat cost LB: 155565 ... c Min unsat cost LB: 155566 ... c Min unsat cost LB: 155577 ... c Min unsat cost LB: 155597 ... c Min unsat cost LB: 155603 ... c Min unsat cost LB: 155606 ... c Min unsat cost LB: 155607 ... c Min unsat cost LB: 155608 ... c Min unsat cost LB: 155610 ... c Min unsat cost LB: 155616 ... c Min unsat cost LB: 155854 ... c Min unsat cost LB: 155931 ... c Min unsat cost LB: 155978 ... c Min unsat cost LB: 155986 ... c Min unsat cost LB: 156194 ... c Min unsat cost LB: 156435 ... c Min unsat cost LB: 156440 ... c Min unsat cost LB: 157074 ... c Min unsat cost LB: 157216 ... c Min unsat cost LB: 157359 ... c Min unsat cost LB: 157479 ... c Min unsat cost LB: 158278 ... c Min unsat cost LB: 158281 ... c Min unsat cost LB: 158282 ... c Min unsat cost LB: 158549 ... c Min unsat cost LB: 158594 ... c Min unsat cost LB: 158625 ... c Min unsat cost LB: 158681 ... c Min unsat cost LB: 158748 ... c Min unsat cost LB: 158843 ... c Min unsat cost LB: 158866 ... c Min unsat cost LB: 158911 ... c Min unsat cost LB: 158942 ... c Min unsat cost LB: 158998 ... c Min unsat cost LB: 159042 ... c Min unsat cost LB: 160422 ... c Min unsat cost LB: 160761 ... c Min unsat cost LB: 160780 ... c Min unsat cost LB: 161053 ... c Min unsat cost LB: 161315 ... c Min unsat cost LB: 161323 ... c Min unsat cost LB: 161343 ... c Min unsat cost LB: 161344 ... c Min unsat cost LB: 161492 ... c Min unsat cost LB: 161886 ... c Min unsat cost LB: 161930 ... c Min unsat cost LB: 162074 ... c Min unsat cost LB: 162218 ... c Min unsat cost LB: 162790 ... c Min unsat cost LB: 162836 ... c Min unsat cost LB: 162872 ... c Min unsat cost LB: 163027 ... c Min unsat cost LB: 163049 ... c Min unsat cost LB: 163175 ... c Min unsat cost LB: 163426 ... c Min unsat cost LB: 163618 ... c Min unsat cost LB: 163740 ... c Min unsat cost LB: 163996 ... c Min unsat cost LB: 164153 ... c Min unsat cost LB: 164255 ... c Min unsat cost LB: 164307 ... c Min unsat cost LB: 164317 ... c Min unsat cost LB: 164672 ... c Min unsat cost LB: 165151 ... c Min unsat cost LB: 165289 ... c Min unsat cost LB: 165840 ... c Min unsat cost LB: 166085 ... c Min unsat cost LB: 166341 ... c Min unsat cost LB: 167130 ... c Min unsat cost LB: 167352 ... c Min unsat cost LB: 167446 ... c Min unsat cost LB: 167618 ... c Min unsat cost LB: 167801 ... c Min unsat cost LB: 167847 ... c Min unsat cost LB: 168252 ... c Min unsat cost LB: 168387 ... c Min unsat cost LB: 168871 ... c Min unsat cost LB: 169141 ... c Min unsat cost LB: 169501 ... c Min unsat cost LB: 169555 ... c Min unsat cost LB: 169821 ... c Min unsat cost LB: 169832 ... c Min unsat cost LB: 170312 ... c Min unsat cost LB: 170406 ... c Min unsat cost LB: 170597 ... c Min unsat cost LB: 170862 ... c Min unsat cost LB: 170956 ... c Min unsat cost LB: 171156 ... c Min unsat cost LB: 171270 ... c Min unsat cost LB: 171615 ... c Min unsat cost LB: 172092 ... c Min unsat cost LB: 172123 ... c Min unsat cost LB: 172244 ... c Min unsat cost LB: 172253 ... c Min unsat cost LB: 172410 ... c Min unsat cost LB: 173019 ... c Min unsat cost LB: 173260 ... c Min unsat cost LB: 173318 ... c Min unsat cost LB: 173646 ... c Min unsat cost LB: 173824 ... c Min unsat cost LB: 174053 ... c Min unsat cost LB: 174084 ... c Min unsat cost LB: 174443 ... c Min unsat cost LB: 174817 ... c Min unsat cost LB: 174835 ... c Min unsat cost LB: 174992 ... c Min unsat cost LB: 175078 ... c Min unsat cost LB: 175103 ... c Min unsat cost LB: 175259 ... c Min unsat cost LB: 175286 ... c Min unsat cost LB: 175332 ... c Min unsat cost LB: 175370 ... c Min unsat cost LB: 175378 ... c Min unsat cost LB: 175952 ... c Min unsat cost LB: 176011 ... c Min unsat cost LB: 176288 ... c Min unsat cost LB: 176483 ... c Min unsat cost LB: 176534 ... c Min unsat cost LB: 176552 ... c Min unsat cost LB: 176566 ... c Min unsat cost LB: 176727 ... c Min unsat cost LB: 176740 ... c Min unsat cost LB: 177832 ... c Min unsat cost LB: 178164 ... c Min unsat cost LB: 178849 ... c Min unsat cost LB: 178960 ... c Min unsat cost LB: 179034 ... c Min unsat cost LB: 180409 ... c Min unsat cost LB: 180474 ... c Min unsat cost LB: 180479 ... c Min unsat cost LB: 180698 ... c Min unsat cost LB: 180804 ... c Min unsat cost LB: 182457 ... c Min unsat cost LB: 182481 ... c Min unsat cost LB: 183063 ... c Min unsat cost LB: 183081 ... c Min unsat cost LB: 183478 ... c Min unsat cost LB: 183676 ... c Min unsat cost LB: 184204 ... c Min unsat cost LB: 184337 ... c Min unsat cost LB: 185350 ... c Min unsat cost LB: 185468 ... c Min unsat cost LB: 185480 ... c Min unsat cost LB: 185769 ... c Min unsat cost LB: 185864 ... c Min unsat cost LB: 185879 ... c Min unsat cost LB: 186275 ... c Min unsat cost LB: 186287 ... c Min unsat cost LB: 186303 ... c Min unsat cost LB: 187287 ... c Min unsat cost LB: 187716 ... c Min unsat cost LB: 187771 ... c Min unsat cost LB: 188168 ... c Min unsat cost LB: 188580 ... c Min unsat cost LB: 188714 ... c Min unsat cost LB: 188753 ... c Min unsat cost LB: 188789 ... c Min unsat cost LB: 188913 ... c Min unsat cost LB: 188915 ... c Min unsat cost LB: 189925 ... c Min unsat cost LB: 190041 ... c Min unsat cost LB: 190049 ... c Min unsat cost LB: 190054 ... c Min unsat cost LB: 190056 ... c Min unsat cost LB: 190060 ... c Min unsat cost LB: 190934 ... c Min unsat cost LB: 190973 ... c Min unsat cost LB: 191005 ... c Min unsat cost LB: 191015 ... c Min unsat cost LB: 191017 ... c Min unsat cost LB: 191022 ... c Min unsat cost LB: 191030 ... c Min unsat cost LB: 191041 ... c Min unsat cost LB: 191047 ... c Min unsat cost LB: 191068 ... c Min unsat cost LB: 191083 ... c Min unsat cost LB: 191120 ... c Min unsat cost LB: 191281 ... c Min unsat cost LB: 191288 ... c Min unsat cost LB: 191459 ... c Min unsat cost LB: 191474 ... c Min unsat cost LB: 191495 ... c Min unsat cost LB: 191532 ... c Min unsat cost LB: 191546 ... c Min unsat cost LB: 191551 ... c Min unsat cost LB: 191553 ... c Min unsat cost LB: 191568 ... c Min unsat cost LB: 192406 ... c Min unsat cost LB: 192461 ... c Min unsat cost LB: 192469 ... c Min unsat cost LB: 192482 ... c Min unsat cost LB: 192497 ... c Min unsat cost LB: 192501 ... c Min unsat cost LB: 192574 ... c Min unsat cost LB: 192575 ... c Min unsat cost LB: 192582 ... c Min unsat cost LB: 192618 ... c Min unsat cost LB: 192638 ... c Min unsat cost LB: 192648 ... c Min unsat cost LB: 192754 ... c Min unsat cost LB: 192949 ... c Min unsat cost LB: 193859 ... c Min unsat cost LB: 193895 ... c Min unsat cost LB: 194250 ... c Min unsat cost LB: 194253 ... c Min unsat cost LB: 194261 ... c Min unsat cost LB: 194306 ... c Min unsat cost LB: 195025 ... c Min unsat cost LB: 195038 ... c Min unsat cost LB: 195192 ... c Min unsat cost LB: 195627 ... c Min unsat cost LB: 195751 ... c Min unsat cost LB: 195759 ... c Min unsat cost LB: 195793 ... c Min unsat cost LB: 196054 ... c Min unsat cost LB: 196909 ... c Min unsat cost LB: 197063 ... c Min unsat cost LB: 197127 ... c Min unsat cost LB: 197960 ... c Min unsat cost LB: 198259 ... c Min unsat cost LB: 198474 ... c Min unsat cost LB: 198536 ... c Min unsat cost LB: 198800 ... c Min unsat cost LB: 199233 ... c Min unsat cost LB: 199780 ... c Min unsat cost LB: 200330 ... c Min unsat cost LB: 200377 ... c Min unsat cost LB: 200380 ... c Min unsat cost LB: 200387 ... c Min unsat cost LB: 200417 ... c Min unsat cost LB: 200444 ... c Min unsat cost LB: 200473 ... c Min unsat cost LB: 200478 ... c Min unsat cost LB: 200480 ... c Min unsat cost LB: 200505 ... c Min unsat cost LB: 200507 ... c Min unsat cost LB: 200510 ... c Min unsat cost LB: 200632 ... c Min unsat cost LB: 200634 ... c Min unsat cost LB: 200890 ... c Min unsat cost LB: 200891 ... c Min unsat cost LB: 200892 ... c Min unsat cost LB: 200924 ... c Min unsat cost LB: 200926 ... c Min unsat cost LB: 201206 ... c Min unsat cost LB: 201233 ... c Min unsat cost LB: 201236 ... c Min unsat cost LB: 201239 ... c Min unsat cost LB: 201881 ... c Min unsat cost LB: 201884 ... c Min unsat cost LB: 201888 ... c Min unsat cost LB: 201890 ... c Min unsat cost LB: 201891 ... c Min unsat cost LB: 202001 ... c Min unsat cost LB: 202040 ... c Min unsat cost LB: 202210 ... c Min unsat cost LB: 202211 ... c Min unsat cost LB: 202212 ... c Min unsat cost LB: 202221 ... c Min unsat cost LB: 202222 ... c Min unsat cost LB: 202224 ... c Min unsat cost LB: 202225 ... c Min unsat cost LB: 202228 ... c Min unsat cost LB: 202229 ... c Min unsat cost LB: 202230 ... c Min unsat cost LB: 202232 ... c Min unsat cost LB: 202233 ... c Min unsat cost LB: 202234 ... c Min unsat cost LB: 202236 ... c Min unsat cost LB: 202238 ... c Min unsat cost LB: 202251 ... c Min unsat cost LB: 202252 ... c Min unsat cost LB: 202254 ... c Min unsat cost LB: 202256 ... c Min unsat cost LB: 202258 ... c Min unsat cost LB: 202259 ... c Min unsat cost LB: 202336 ... c Min unsat cost LB: 202339 ... c Min unsat cost LB: 202351 ... c Min unsat cost LB: 202357 ... c Min unsat cost LB: 202431 ... c Min unsat cost LB: 202517 ... c Min unsat cost LB: 202568 ... c Min unsat cost LB: 202573 ... c Min unsat cost LB: 202582 ... c Min unsat cost LB: 202583 ... c Min unsat cost LB: 202588 ... c Min unsat cost LB: 202590 ... c Min unsat cost LB: 202591 ... c Min unsat cost LB: 202592 ... c Min unsat cost LB: 202593 ... c Min unsat cost LB: 202594 ... c Min unsat cost LB: 202595 ... c Min unsat cost LB: 202597 ... c Min unsat cost LB: 202598 ... c Min unsat cost LB: 202599 ... c Min unsat cost LB: 202600 ... c Min unsat cost LB: 202601 ... c Min unsat cost LB: 202602 ... c Min unsat cost LB: 202605 ... c Min unsat cost LB: 202606 ... c Min unsat cost LB: 202614 ... c Min unsat cost LB: 202615 ... c Min unsat cost LB: 202631 ... c Min unsat cost LB: 202634 ... c Min unsat cost LB: 202644 ... c Min unsat cost LB: 202645 ... c Min unsat cost LB: 202646 ... c Min unsat cost LB: 202647 ... c Min unsat cost LB: 202648 ... c Min unsat cost LB: 202649 ... c Min unsat cost LB: 202650 ... c Min unsat cost LB: 202651 ... c Min unsat cost LB: 202652 ... c Min unsat cost LB: 202655 ... c Min unsat cost LB: 202656 ... c Min unsat cost LB: 202657 ... c Min unsat cost LB: 202667 ... c Min unsat cost LB: 202680 ... c Min unsat cost LB: 202683 ... c Min unsat cost LB: 202684 ... c Min unsat cost LB: 202686 ... c Min unsat cost LB: 202687 ... c Min unsat cost LB: 202688 ... c Min unsat cost LB: 202690 ... c Min unsat cost LB: 202693 ... c Min unsat cost LB: 202695 ... c Min unsat cost LB: 202696 ... c Min unsat cost LB: 202697 ... c Min unsat cost LB: 202698 ... c Min unsat cost LB: 202699 ... c Min unsat cost LB: 202700 ... c Min unsat cost LB: 202702 ... c Min unsat cost LB: 202703 ... c Min unsat cost LB: 202704 ... c Min unsat cost LB: 202705 ... c Min unsat cost LB: 202706 ... c Min unsat cost LB: 202707 ... c Min unsat cost LB: 202708 ... c Min unsat cost LB: 202709 ... c Min unsat cost LB: 202710 ... c Min unsat cost LB: 202711 ... c Min unsat cost LB: 202712 ... c Min unsat cost LB: 202713 ... c Min unsat cost LB: 202901 ... c Min unsat cost LB: 202902 ... c Min unsat cost LB: 202903 ... c Min unsat cost LB: 202905 ... c Min unsat cost LB: 202906 ... c Min unsat cost LB: 202912 ... c Min unsat cost LB: 202913 ... c Min unsat cost LB: 204007 ... c Min unsat cost LB: 204045 ... c Min unsat cost LB: 204064 ... c Min unsat cost LB: 204065 ... c Min unsat cost LB: 204066 ... c Min unsat cost LB: 204071 ... c Min unsat cost LB: 204072 ... c Min unsat cost LB: 204073 ... c Min unsat cost LB: 204074 ... c Min unsat cost LB: 204075 ... c Min unsat cost LB: 204076 ... c Min unsat cost LB: 204077 ... c Min unsat cost LB: 204079 ... c Min unsat cost LB: 204119 ... c Min unsat cost LB: 204158 ... c Min unsat cost LB: 204182 ... c Min unsat cost LB: 204284 ... c Min unsat cost LB: 204285 ... c Min unsat cost LB: 205093 ... c Min unsat cost LB: 205225 ... c Min unsat cost LB: 205390 ... c Min unsat cost LB: 205391 ... c Min unsat cost LB: 205392 ... c Min unsat cost LB: 205394 ... c Min unsat cost LB: 205395 ... c Min unsat cost LB: 205396 ... c Min unsat cost LB: 205397 ... c Min unsat cost LB: 205398 ... c Min unsat cost LB: 205399 ... c Min unsat cost LB: 205400 ... c Min unsat cost LB: 205401 ... c Min unsat cost LB: 205402 ... c Min unsat cost LB: 205476 ... c Min unsat cost LB: 205737 ... c Min unsat cost LB: 205772 ... c Min unsat cost LB: 205773 ... c Min unsat cost LB: 206903 ... c Min unsat cost LB: 207121 ... c Min unsat cost LB: 207151 ... c Min unsat cost LB: 207210 ... c Min unsat cost LB: 207234 ... c Min unsat cost LB: 207283 ... c Min unsat cost LB: 207342 ... c Min unsat cost LB: 207435 ... c Min unsat cost LB: 207446 ... c Min unsat cost LB: 208518 ... c Min unsat cost LB: 208549 ... c Min unsat cost LB: 208550 ... c Min unsat cost LB: 208556 ... c Min unsat cost LB: 208564 ... c Min unsat cost LB: 208684 ... c Min unsat cost LB: 208695 ... c Min unsat cost LB: 208725 ... c Min unsat cost LB: 208727 ... c Min unsat cost LB: 208732 ... c Min unsat cost LB: 208735 ... c Min unsat cost LB: 208830 ... c Min unsat cost LB: 208844 ... c Min unsat cost LB: 208856 ... c Min unsat cost LB: 208864 ... c Min unsat cost LB: 208873 ... c Min unsat cost LB: 208881 ... c Min unsat cost LB: 208889 ... c Min unsat cost LB: 208897 ... c Min unsat cost LB: 208902 ... c Min unsat cost LB: 208913 ... c Min unsat cost LB: 208918 ... c Min unsat cost LB: 208923 ... c Min unsat cost LB: 208931 ... c Min unsat cost LB: 208934 ... c Min unsat cost LB: 208936 ... c Min unsat cost LB: 208939 ... c Min unsat cost LB: 209204 ... c Min unsat cost LB: 209205 ... c Min unsat cost LB: 209213 ... c Min unsat cost LB: 209258 ... c Min unsat cost LB: 209299 ... c Min unsat cost LB: 209706 ... c Min unsat cost LB: 209949 ... c Min unsat cost LB: 209993 ... c Min unsat cost LB: 210711 ... c Min unsat cost LB: 211161 ... c Min unsat cost LB: 211198 ... c Min unsat cost LB: 211424 ... c Min unsat cost LB: 211603 ... c Min unsat cost LB: 212331 ... c Min unsat cost LB: 212400 ... c Min unsat cost LB: 213280 ... c Min unsat cost LB: 213302 ... c Min unsat cost LB: 213321 ... c Min unsat cost LB: 213332 ... c Min unsat cost LB: 213358 ... c Min unsat cost LB: 214338 ... c Min unsat cost LB: 214405 ... c Min unsat cost LB: 214406 ... c Min unsat cost LB: 215116 ... c Min unsat cost LB: 215126 ... c Min unsat cost LB: 215508 ... c Min unsat cost LB: 215768 ... c Min unsat cost LB: 215783 ... c Min unsat cost LB: 215794 ... c Min unsat cost LB: 215821 ... c Min unsat cost LB: 215824 ... c Min unsat cost LB: 216063 ... c Min unsat cost LB: 216064 ... c Min unsat cost LB: 216065 ... c Min unsat cost LB: 216089 ... c Min unsat cost LB: 216094 ... c Min unsat cost LB: 216095 ... c Min unsat cost LB: 216096 ... c Min unsat cost LB: 216101 ... c Min unsat cost LB: 216102 ... c Min unsat cost LB: 216112 ... c Min unsat cost LB: 216119 ... c Min unsat cost LB: 216125 ... c Min unsat cost LB: 216141 ... c Min unsat cost LB: 216142 ... c Min unsat cost LB: 216202 ... c Min unsat cost LB: 216205 ... c Min unsat cost LB: 216210 ... c Min unsat cost LB: 216212 ... c Min unsat cost LB: 216213 ... c Min unsat cost LB: 216220 ... c Min unsat cost LB: 216221 ... c Min unsat cost LB: 216223 ... c Min unsat cost LB: 216347 ... c Min unsat cost LB: 217046 ... c Min unsat cost LB: 217088 ... c Min unsat cost LB: 217089 ... c Min unsat cost LB: 217090 ... c Min unsat cost LB: 217091 ... c Min unsat cost LB: 217097 ... c Min unsat cost LB: 217098 ... c Min unsat cost LB: 217099 ... c Min unsat cost LB: 217102 ... c Min unsat cost LB: 217104 ... c Min unsat cost LB: 217109 ... c Min unsat cost LB: 217110 ... c Min unsat cost LB: 217115 ... c Min unsat cost LB: 217116 ... c Min unsat cost LB: 217127 ... c Min unsat cost LB: 217130 ... c Min unsat cost LB: 217133 ... c Min unsat cost LB: 217134 ... c Min unsat cost LB: 217135 ... c Min unsat cost LB: 217136 ... c Min unsat cost LB: 217140 ... c Min unsat cost LB: 217145 ... c Min unsat cost LB: 217147 ... c Min unsat cost LB: 217148 ... c Min unsat cost LB: 217159 ... c Min unsat cost LB: 217162 ... c Min unsat cost LB: 217170 ... c Min unsat cost LB: 217175 ... c Min unsat cost LB: 217176 ... c Min unsat cost LB: 217177 ... c Min unsat cost LB: 217492 ... c Min unsat cost LB: 217522 ... c Min unsat cost LB: 217540 ... c Min unsat cost LB: 217562 ... c Min unsat cost LB: 217673 ... c Min unsat cost LB: 217674 ... c Min unsat cost LB: 217675 ... c Min unsat cost LB: 217676 ... c Min unsat cost LB: 217677 ... c Min unsat cost LB: 217833 ... c Min unsat cost LB: 217834 ... c Min unsat cost LB: 217835 ... c Min unsat cost LB: 217836 ... c Min unsat cost LB: 217837 ... c Min unsat cost LB: 217839 ... c Min unsat Killed 1815.525u 4.224s 30:20.77 99.9% 0+0k 0+0io 0pf+0w