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-50-2_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-2.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-50-2_network-2.net.wcnf *** c c Min unsat cost LB: 138 ... c Min unsat cost LB: 1455 ... c Min unsat cost LB: 2322 ... c Min unsat cost LB: 3928 ... c Min unsat cost LB: 4898 ... c Min unsat cost LB: 6393 ... c Min unsat cost LB: 7828 ... c Min unsat cost LB: 8178 ... c Min unsat cost LB: 8214 ... c Min unsat cost LB: 8491 ... c Min unsat cost LB: 9320 ... c Min unsat cost LB: 9574 ... c Min unsat cost LB: 9735 ... c Min unsat cost LB: 9925 ... c Min unsat cost LB: 10334 ... c Min unsat cost LB: 10528 ... c Min unsat cost LB: 10762 ... c Min unsat cost LB: 11457 ... c Min unsat cost LB: 11478 ... c Min unsat cost LB: 12273 ... c Min unsat cost LB: 12437 ... c Min unsat cost LB: 12470 ... c Min unsat cost LB: 12887 ... c Min unsat cost LB: 13478 ... c Min unsat cost LB: 13588 ... c Min unsat cost LB: 13838 ... c Min unsat cost LB: 13965 ... c Min unsat cost LB: 14027 ... c Min unsat cost LB: 14140 ... c Min unsat cost LB: 14162 ... c Min unsat cost LB: 14283 ... c Min unsat cost LB: 14315 ... c Min unsat cost LB: 14328 ... c Min unsat cost LB: 14471 ... c Min unsat cost LB: 15207 ... c Min unsat cost LB: 15346 ... c Min unsat cost LB: 16067 ... c Min unsat cost LB: 16185 ... c Min unsat cost LB: 16703 ... c Min unsat cost LB: 17288 ... c Min unsat cost LB: 17425 ... c Min unsat cost LB: 17811 ... c Min unsat cost LB: 17841 ... c Min unsat cost LB: 17842 ... c Min unsat cost LB: 17959 ... c Min unsat cost LB: 18405 ... c Min unsat cost LB: 18641 ... c Min unsat cost LB: 18903 ... c Min unsat cost LB: 19920 ... c Min unsat cost LB: 19980 ... c Min unsat cost LB: 20039 ... c Min unsat cost LB: 20548 ... c Min unsat cost LB: 20585 ... c Min unsat cost LB: 20694 ... c Min unsat cost LB: 20715 ... c Min unsat cost LB: 20881 ... c Min unsat cost LB: 20969 ... c Min unsat cost LB: 21021 ... c Min unsat cost LB: 21090 ... c Min unsat cost LB: 21392 ... c Min unsat cost LB: 21410 ... c Min unsat cost LB: 21638 ... c Min unsat cost LB: 21945 ... c Min unsat cost LB: 22414 ... c Min unsat cost LB: 22777 ... c Min unsat cost LB: 23620 ... c Min unsat cost LB: 23685 ... c Min unsat cost LB: 23819 ... c Min unsat cost LB: 23936 ... c Min unsat cost LB: 23966 ... c Min unsat cost LB: 24010 ... c Min unsat cost LB: 24014 ... c Min unsat cost LB: 24168 ... c Min unsat cost LB: 24203 ... c Min unsat cost LB: 24220 ... c Min unsat cost LB: 24249 ... c Min unsat cost LB: 24279 ... c Min unsat cost LB: 24289 ... c Min unsat cost LB: 24326 ... c Min unsat cost LB: 24388 ... c Min unsat cost LB: 24418 ... c Min unsat cost LB: 24440 ... c Min unsat cost LB: 24509 ... c Min unsat cost LB: 24524 ... c Min unsat cost LB: 24530 ... c Min unsat cost LB: 24577 ... c Min unsat cost LB: 24691 ... c Min unsat cost LB: 24761 ... c Min unsat cost LB: 24814 ... c Min unsat cost LB: 25826 ... c Min unsat cost LB: 25996 ... c Min unsat cost LB: 26171 ... c Min unsat cost LB: 26196 ... c Min unsat cost LB: 26395 ... c Min unsat cost LB: 26825 ... c Min unsat cost LB: 26837 ... c Min unsat cost LB: 27382 ... c Min unsat cost LB: 27418 ... c Min unsat cost LB: 27424 ... c Min unsat cost LB: 27439 ... c Min unsat cost LB: 27938 ... c Min unsat cost LB: 28175 ... c Min unsat cost LB: 28755 ... c Min unsat cost LB: 28844 ... c Min unsat cost LB: 28956 ... c Min unsat cost LB: 29045 ... c Min unsat cost LB: 29274 ... c Min unsat cost LB: 29337 ... c Min unsat cost LB: 29345 ... c Min unsat cost LB: 29367 ... c Min unsat cost LB: 29480 ... c Min unsat cost LB: 29496 ... c Min unsat cost LB: 29528 ... c Min unsat cost LB: 29656 ... c Min unsat cost LB: 29664 ... c Min unsat cost LB: 29699 ... c Min unsat cost LB: 29743 ... c Min unsat cost LB: 29768 ... c Min unsat cost LB: 29773 ... c Min unsat cost LB: 29880 ... c Min unsat cost LB: 29884 ... c Min unsat cost LB: 29890 ... c Min unsat cost LB: 29892 ... c Min unsat cost LB: 29908 ... c Min unsat cost LB: 29922 ... c Min unsat cost LB: 29957 ... c Min unsat cost LB: 29958 ... c Min unsat cost LB: 29960 ... c Min unsat cost LB: 29972 ... c Min unsat cost LB: 29987 ... c Min unsat cost LB: 30022 ... c Min unsat cost LB: 30029 ... c Min unsat cost LB: 30031 ... c Min unsat cost LB: 30043 ... c Min unsat cost LB: 30073 ... c Min unsat cost LB: 30081 ... c Min unsat cost LB: 30085 ... c Min unsat cost LB: 30087 ... c Min unsat cost LB: 30089 ... c Min unsat cost LB: 30095 ... c Min unsat cost LB: 30096 ... c Min unsat cost LB: 30100 ... c Min unsat cost LB: 30102 ... c Min unsat cost LB: 30113 ... c Min unsat cost LB: 30114 ... c Min unsat cost LB: 30118 ... c Min unsat cost LB: 30129 ... c Min unsat cost LB: 30139 ... c Min unsat cost LB: 30146 ... c Min unsat cost LB: 30148 ... c Min unsat cost LB: 30200 ... c Min unsat cost LB: 30203 ... c Min unsat cost LB: 30211 ... c Min unsat cost LB: 30212 ... c Min unsat cost LB: 30213 ... c Min unsat cost LB: 30217 ... c Min unsat cost LB: 30225 ... c Min unsat cost LB: 30236 ... c Min unsat cost LB: 30237 ... c Min unsat cost LB: 30242 ... c Min unsat cost LB: 30243 ... c Min unsat cost LB: 30245 ... c Min unsat cost LB: 30246 ... c Min unsat cost LB: 30249 ... c Min unsat cost LB: 30251 ... c Min unsat cost LB: 30359 ... c Min unsat cost LB: 30429 ... c Min unsat cost LB: 30439 ... c Min unsat cost LB: 30501 ... c Min unsat cost LB: 30538 ... c Min unsat cost LB: 30560 ... c Min unsat cost LB: 30686 ... c Min unsat cost LB: 30762 ... c Min unsat cost LB: 31029 ... c Min unsat cost LB: 31039 ... c Min unsat cost LB: 31051 ... c Min unsat cost LB: 31088 ... c Min unsat cost LB: 31113 ... c Min unsat cost LB: 31119 ... c Min unsat cost LB: 31158 ... c Min unsat cost LB: 31183 ... c Min unsat cost LB: 31211 ... c Min unsat cost LB: 31245 ... c Min unsat cost LB: 31248 ... c Min unsat cost LB: 31321 ... c Min unsat cost LB: 31336 ... c Min unsat cost LB: 31338 ... c Min unsat cost LB: 31352 ... c Min unsat cost LB: 31359 ... c Min unsat cost LB: 31425 ... c Min unsat cost LB: 31436 ... c Min unsat cost LB: 31706 ... c Min unsat cost LB: 31744 ... c Min unsat cost LB: 31872 ... c Min unsat cost LB: 31898 ... c Min unsat cost LB: 32054 ... c Min unsat cost LB: 32191 ... c Min unsat cost LB: 32209 ... c Min unsat cost LB: 32212 ... c Min unsat cost LB: 32217 ... c Min unsat cost LB: 32264 ... c Min unsat cost LB: 32282 ... c Min unsat cost LB: 32285 ... c Min unsat cost LB: 32304 ... c Min unsat cost LB: 32330 ... c Min unsat cost LB: 32347 ... c Min unsat cost LB: 32416 ... c Min unsat cost LB: 32445 ... c Min unsat cost LB: 32487 ... c Min unsat cost LB: 32489 ... c Min unsat cost LB: 32497 ... c Min unsat cost LB: 32511 ... c Min unsat cost LB: 32553 ... c Min unsat cost LB: 32558 ... c Min unsat cost LB: 32579 ... c Min unsat cost LB: 32593 ... c Min unsat cost LB: 32615 ... c Min unsat cost LB: 32653 ... c Min unsat cost LB: 32657 ... c Min unsat cost LB: 32675 ... c Min unsat cost LB: 32728 ... c Min unsat cost LB: 32734 ... c Min unsat cost LB: 32751 ... c Min unsat cost LB: 32771 ... c Min unsat cost LB: 32773 ... c Min unsat cost LB: 32774 ... c Min unsat cost LB: 32788 ... c Min unsat cost LB: 32790 ... c Min unsat cost LB: 32806 ... c Min unsat cost LB: 32812 ... c Min unsat cost LB: 32832 ... c Min unsat cost LB: 32835 ... c Min unsat cost LB: 32853 ... c Min unsat cost LB: 32867 ... c Min unsat cost LB: 32901 ... c Min unsat cost LB: 32922 ... c Min unsat cost LB: 33367 ... c Min unsat cost LB: 33405 ... c Min unsat cost LB: 33428 ... c Min unsat cost LB: 33439 ... c Min unsat cost LB: 33447 ... c Min unsat cost LB: 33456 ... c Min unsat cost LB: 33462 ... c Min unsat cost LB: 33466 ... c Min unsat cost LB: 33474 ... c Min unsat cost LB: 33476 ... c Min unsat cost LB: 33478 ... c Min unsat cost LB: 33481 ... c Min unsat cost LB: 33483 ... c Min unsat cost LB: 33492 ... c Min unsat cost LB: 33501 ... c Min unsat cost LB: 33503 ... c Min unsat cost LB: 33521 ... c Min unsat cost LB: 33523 ... c Min unsat cost LB: 33525 ... c Min unsat cost LB: 33539 ... c Min unsat cost LB: 33545 ... c Min unsat cost LB: 33547 ... c Min unsat cost LB: 33564 ... c Min unsat cost LB: 33572 ... c Min unsat cost LB: 33575 ... c Min unsat cost LB: 33589 ... c Min unsat cost LB: 33594 ... c Min unsat cost LB: 33601 ... c Min unsat cost LB: 33603 ... c Min unsat cost LB: 33619 ... c Min unsat cost LB: 33621 ... c Min unsat cost LB: 33623 ... c Min unsat cost LB: 33632 ... c Min unsat cost LB: 33636 ... c Min unsat cost LB: 33638 ... c Min unsat cost LB: 33640 ... c Min unsat cost LB: 33641 ... c Min unsat cost LB: 33643 ... c Min unsat cost LB: 33645 ... c Min unsat cost LB: 33646 ... c Min unsat cost LB: 33648 ... c Min unsat cost LB: 33650 ... c Min unsat cost LB: 33654 ... c Min unsat cost LB: 33664 ... c Min unsat cost LB: 33671 ... c Min unsat cost LB: 33685 ... c Min unsat cost LB: 33690 ... c Min unsat cost LB: 33704 ... c Min unsat cost LB: 33712 ... c Min unsat cost LB: 33714 ... c Min unsat cost LB: 33715 ... c Min unsat cost LB: 33717 ... c Min unsat cost LB: 33718 ... c Min unsat cost LB: 33723 ... c Min unsat cost LB: 33724 ... c Min unsat cost LB: 33728 ... c Min unsat cost LB: 33730 ... c Min unsat cost LB: 33732 ... c Min unsat cost LB: 33741 ... c Min unsat cost LB: 33746 ... c Min unsat cost LB: 33760 ... c Min unsat cost LB: 34058 ... c Min unsat cost LB: 34087 ... c Min unsat cost LB: 34089 ... c Min unsat cost LB: 34105 ... c Min unsat cost LB: 34107 ... c Min unsat cost LB: 34202 ... c Min unsat cost LB: 34204 ... c Min unsat cost LB: 34211 ... c Min unsat cost LB: 34225 ... c Min unsat cost LB: 34226 ... c Min unsat cost LB: 34227 ... c Min unsat cost LB: 34230 ... c Min unsat cost LB: 34243 ... c Min unsat cost LB: 34245 ... c Min unsat cost LB: 34261 ... c Min unsat cost LB: 34263 ... c Min unsat cost LB: 34268 ... c Min unsat cost LB: 34825 ... c Min unsat cost LB: 34909 ... c Min unsat cost LB: 35078 ... c Min unsat cost LB: 35163 ... c Min unsat cost LB: 35165 ... c Min unsat cost LB: 35167 ... c Min unsat cost LB: 35186 ... c Min unsat cost LB: 35190 ... c Min unsat cost LB: 35278 ... c Min unsat cost LB: 35414 ... c Min unsat cost LB: 35425 ... c Min unsat cost LB: 35435 ... c Min unsat cost LB: 35463 ... c Min unsat cost LB: 35464 ... c Min unsat cost LB: 35465 ... c Min unsat cost LB: 35468 ... c Min unsat cost LB: 35470 ... c Min unsat cost LB: 35471 ... c Min unsat cost LB: 35472 ... c Min unsat cost LB: 35474 ... c Min unsat cost LB: 35476 ... c Min unsat cost LB: 35482 ... c Min unsat cost LB: 35488 ... c Min unsat cost LB: 35490 ... c Min unsat cost LB: 35491 ... c Min unsat cost LB: 35492 ... c Min unsat cost LB: 35493 ... c Min unsat cost LB: 35495 ... c Min unsat cost LB: 35496 ... c Min unsat cost LB: 35497 ... c Min unsat cost LB: 35504 ... c Min unsat cost LB: 35506 ... c Min unsat cost LB: 35509 ... c Min unsat cost LB: 35511 ... c Min unsat cost LB: 35513 ... c Min unsat cost LB: 35515 ... c Min unsat cost LB: 35517 ... c Min unsat cost LB: 35518 ... c Min unsat cost LB: 35520 ... c Min unsat cost LB: 35524 ... c Min unsat cost LB: 35526 ... c Min unsat cost LB: 35528 ... c Min unsat cost LB: 35530 ... c Min unsat cost LB: 35532 ... c Min unsat cost LB: 35533 ... c Min unsat cost LB: 35562 ... c Min unsat cost LB: 35574 ... c Min unsat cost LB: 35588 ... c Min unsat cost LB: 35703 ... c Min unsat cost LB: 35790 ... c Min unsat cost LB: 35818 ... c Min unsat cost LB: 35858 ... c Min unsat cost LB: 36082 ... c Min unsat cost LB: 36123 ... c Min unsat cost LB: 36207 ... c Min unsat cost LB: 36215 ... c Min unsat cost LB: 36231 ... c Min unsat cost LB: 36242 ... c Min unsat cost LB: 36322 ... c Min unsat cost LB: 36329 ... c Min unsat cost LB: 36336 ... c Min unsat cost LB: 36338 ... c Min unsat cost LB: 36343 ... c Min unsat cost LB: 36345 ... c Min unsat cost LB: 36360 ... c Min unsat cost LB: 36366 ... c Min unsat cost LB: 36371 ... c Min unsat cost LB: 36376 ... c Min unsat cost LB: 36378 ... c Min unsat cost LB: 36385 ... c Min unsat cost LB: 36388 ... c Min unsat cost LB: 36390 ... c Min unsat cost LB: 36399 ... c Min unsat cost LB: 36472 ... c Min unsat cost LB: 36507 ... c Min unsat cost LB: 36511 ... c Min unsat cost LB: 36591 ... c Min unsat cost LB: 36599 ... c Min unsat cost LB: 36601 ... c Min unsat cost LB: 36612 ... c Min unsat cost LB: 36678 ... c Min unsat cost LB: 36727 ... c Min unsat cost LB: 36739 ... c Min unsat cost LB: 36753 ... c Min unsat cost LB: 36757 ... c Min unsat cost LB: 36759 ... c Min unsat cost LB: 36814 ... c Min unsat cost LB: 36816 ... c Min unsat cost LB: 36817 ... c Min unsat cost LB: 36818 ... c Min unsat cost LB: 36819 ... c Min unsat cost LB: 36821 ... c Min unsat cost LB: 36836 ... c Min unsat cost LB: 37088 ... c Min unsat cost LB: 37412 ... c Min unsat cost LB: 37431 ... c Min unsat cost LB: 37438 ... c Min unsat cost LB: 37440 ... c Min unsat cost LB: 37442 ... c Min unsat cost LB: 37484 ... c Min unsat cost LB: 37502 ... c Min unsat cost LB: 37526 ... c Min unsat cost LB: 37633 ... c Min unsat cost LB: 37655 ... c Min unsat cost LB: 37683 ... c Min unsat cost LB: 37687 ... c Min unsat cost LB: 37689 ... c Min unsat cost LB: 37690 ... c Min unsat cost LB: 37693 ... c Min unsat cost LB: 37695 ... c Min unsat cost LB: 37697 ... c Min unsat cost LB: 37699 ... c Min unsat cost LB: 37701 ... c Min unsat cost LB: 37702 ... c Min unsat cost LB: 37703 ... c Min unsat cost LB: 37705 ... c Min unsat cost LB: 37707 ... c Min unsat cost LB: 37709 ... c Min unsat cost LB: 37710 ... c Min unsat cost LB: 37711 ... c Min unsat cost LB: 37712 ... c Min unsat cost LB: 37714 ... c Min unsat cost LB: 37718 ... c Min unsat cost LB: 37719 ... c Min unsat cost LB: 37720 ... c Min unsat cost LB: 37721 ... c Min unsat cost LB: 37723 ... c Min unsat cost LB: 37725 ... c Min unsat cost LB: 37726 ... c Min unsat cost LB: 37727 ... c Min unsat cost LB: 37729 ... c Min unsat cost LB: 37730 ... c Min unsat cost LB: 37731 ... c Min unsat cost LB: 37732 ... c Min unsat cost LB: 37734 ... c Min unsat cost LB: 37736 ... c Min unsat cost LB: 37737 ... c Min unsat cost LB: 37738 ... c Min unsat cost LB: 37739 ... c Min unsat cost LB: 37740 ... c Min unsat cost LB: 37743 ... c Min unsat cost LB: 37744 ... c Min unsat cost LB: 37745 ... c Min unsat cost LB: 37749 ... c Min unsat cost LB: 37750 ... c Min unsat cost LB: 37753 ... c Min unsat cost LB: 37755 ... c Min unsat cost LB: 37756 ... c Min unsat cost LB: 37757 ... c Min unsat cost LB: 37758 ... c Min unsat cost LB: 37759 ... c Min unsat cost LB: 37760 ... c Min unsat cost LB: 37761 ... c Min unsat cost LB: 37762 ... c Min unsat cost LB: 37763 ... c Min unsat cost LB: 37764 ... c Min unsat cost LB: 37766 ... c Min unsat cost LB: 37767 ... c Min unsat cost LB: 37805 ... c Min unsat cost LB: 37806 ... c Min unsat cost LB: 37808 ... c Min unsat cost LB: 37809 ... c Min unsat cost LB: 37810 ... c Min unsat cost LB: 37811 ... c Min unsat cost LB: 37812 ... c Min unsat cost LB: 37813 ... c Min unsat cost LB: 37814 ... c Min unsat cost LB: 37816 ... c Min unsat cost LB: 37817 ... c Min unsat cost LB: 37818 ... c Min unsat cost LB: 37819 ... c Min unsat cost LB: 37820 ... c Min unsat cost LB: 37822 ... c Min unsat cost LB: 37823 ... c Min unsat cost LB: 37824 ... c Min unsat cost LB: 37825 ... c Min unsat cost LB: 37826 ... c Min unsat cost LB: 37827 ... c Min unsat cost LB: 37828 ... c Min unsat cost LB: 37829 ... c Min unsat cost LB: 37830 ... c Min unsat cost LB: 37831 ... c Min unsat cost LB: 37832 ... c Min unsat cost LB: 37833 ... c Min unsat cost LB: 37834 ... c Min unsat cost LB: 37835 ... c Min unsat cost LB: 37836 ... c Min unsat cost LB: 37837 ... c Min unsat cost LB: 37838 ... c Min unsat cost LB: 37839 ... c Min unsat cost LB: 37840 ... c Min unsat cost LB: 37841 ... c Min unsat cost LB: 37842 ... c Min unsat cost LB: 37844 ... c Min unsat cost LB: 37846 ... c Min unsat cost LB: 37847 ... c Min unsat cost LB: 37848 ... c Min unsat cost LB: 37850 ... c Min unsat cost LB: 37851 ... c Min unsat cost LB: 37852 ... c Min unsat cost LB: 37856 ... c Min unsat cost LB: 37857 ... c Min unsat cost LB: 37858 ... c Min unsat cost LB: 37859 ... c Min unsat cost LB: 37860 ... c Min unsat cost LB: 37862 ... c Min unsat cost LB: 37864 ... c Min unsat cost LB: 37870 ... c Min unsat cost LB: 37871 ... c Min unsat cost LB: 37872 ... c Min unsat cost LB: 37873 ... c Min unsat cost LB: 37874 ... c Min unsat cost LB: 37876 ... c Min unsat cost LB: 37880 ... c Min unsat cost LB: 37881 ... c Min unsat cost LB: 37882 ... c Min unsat cost LB: 37883 ... c Min unsat cost LB: 37884 ... c Min unsat cost LB: 37885 ... c Min unsat cost LB: 37887 ... c Min unsat cost LB: 37888 ... c Min unsat cost LB: 37889 ... c Min unsat cost LB: 37890 ... c Min unsat cost LB: 37892 ... c Min unsat cost LB: 37894 ... c Min unsat cost LB: 37895 ... c Min unsat cost LB: 37897 ... c Min unsat cost LB: 37898 ... c Min unsat cost LB: 37899 ... c Min unsat cost LB: 37900 ... c Min unsat cost LB: 37901 ... c Min unsat cost LB: 37902 ... c Min unsat cost LB: 37903 ... c Min unsat cost LB: 37904 ... c Min unsat cost LB: 37905 ... c Min unsat cost LB: 37906 ... c Min unsat cost LB: 37907 ... c Min unsat cost LB: 37908 ... c Min unsat cost LB: 37911 ... c Min unsat cost LB: 37912 ... c Min unsat cost LB: 37914 ... c Min unsat cost LB: 37916 ... c Min unsat cost LB: 37917 ... c Min unsat cost LB: 37919 ... c Min unsat cost LB: 37921 ... c Min unsat cost LB: 37922 ... c Min unsat cost LB: 37950 ... c Min unsat cost LB: 37951 ... c Min unsat cost LB: 37952 ... c Min unsat cost LB: 37953 ... c Min unsat cost LB: 37995 ... c Min unsat cost LB: 37997 ... c Min unsat cost LB: 37998 ... c Min unsat cost LB: 37999 ... c Min unsat cost LB: 38012 ... c Min unsat cost LB: 38013 ... c Min unsat cost LB: 38014 ... c Min unsat cost LB: 38024 ... c Min unsat cost LB: 38025 ... c Min unsat cost LB: 38027 ... c Min unsat cost LB: 38032 ... c Min unsat cost LB: 38045 ... c Min unsat cost LB: 38046 ... c Min unsat cost LB: 38047 ... c Min unsat cost LB: 38048 ... c Min unsat cost LB: 38049 ... c Min unsat cost LB: 38050 ... c Min unsat cost LB: 38051 ... c Min unsat cost LB: 38052 ... c Min unsat cost LB: 38053 ... c Min unsat cost LB: 38054 ... c Min unsat cost LB: 38056 ... c Min unsat cost LB: 38057 ... c Min unsat cost LB: 38058 ... c Min unsat cost LB: 38059 ... c Min unsat cost LB: 38060 ... c Min unsat cost LB: 38061 ... c Min unsat cost LB: 38063 ... c Min unsat cost LB: 38064 ... c Min unsat cost LB: 38065 ... c Min unsat cost LB: 38066 ... c Min unsat cost LB: 38067 ... c Min unsat cost LB: 38068 ... c Min unsat cost LB: 38069 ... c Min unsat cost LB: 38070 ... c Min unsat cost LB: 38160 ... c Min unsat cost LB: 38161 ... c Min unsat cost LB: 38162 ... c Min unsat cost LB: 38163 ... c Min unsat cost LB: 38164 ... c Min unsat cost LB: 38165 ... c Min unsat cost LB: 38166 ... c Min unsat cost LB: 38167 ... c Min unsat cost LB: 38168 ... c Min unsat cost LB: 38169 ... c Min unsat cost LB: 38170 ... c Min unsat cost LB: 38171 ... c Min unsat cost LB: 38172 ... c Min unsat cost LB: 38173 ... c Min unsat cost LB: 38174 ... c Min unsat cost LB: 38176 ... c Min unsat cost LB: 38177 ... c Min unsat cost LB: 38197 ... c Min unsat cost LB: 38198 ... c Min unsat cost LB: 38199 ... c Min unsat cost LB: 38200 ... c Min unsat cost LB: 38201 ... c Min unsat cost LB: 38203 ... c Min unsat cost LB: 38204 ... c Min unsat cost LB: 38206 ... c Min unsat cost LB: 38208 ... c Min unsat cost LB: 38210 ... c Min unsat cost LB: 38214 ... c Min unsat cost LB: 38215 ... c Min unsat cost LB: 38216 ... c Min unsat cost LB: 38217 ... c Min unsat cost LB: 38218 ... c Min unsat cost LB: 38219 ... c Min unsat cost LB: 38220 ... c Min unsat cost LB: 38221 ... c Min unsat cost LB: 38224 ... c Min unsat cost LB: 38225 ... c Min unsat cost LB: 38226 ... c Min unsat cost LB: 38227 ... c Min unsat cost LB: 38228 ... c Min unsat cost LB: 38229 ... c Min unsat cost LB: 38230 ... c Min unsat cost LB: 38231 ... c Min unsat cost LB: 38232 ... c Min unsat cost LB: 38233 ... c Min unsat cost LB: 38234 ... c Min unsat cost LB: 38235 ... c Min unsat cost LB: 38236 ... c Min unsat cost LB: 38237 ... c Min unsat cost LB: 38238 ... c Min unsat cost LB: 38239 ... c Min unsat cost LB: 38240 ... c Min unsat cost LB: 38241 ... c Min unsat cost LB: 38245 ... c Min unsat cost LB: 38247 ... c Min unsat cost LB: 38248 ... c Min unsat cost LB: 38249 ... c Min unsat cost LB: 38250 ... c Min unsat cost LB: 38251 ... c Min unsat cost LB: 38252 ... c Min unsat cost LB: 38253 ... c Min unsat cost LB: 38254 ... c Min unsat cost LB: 38268 ... c Min unsat cost LB: 38269 ... c Min unsat cost LB: 38273 ... c Min unsat cost LB: 38274 ... c Min unsat cost LB: 38279 ... c Min unsat cost LB: 38280 ... c Min unsat cost LB: 38281 ... c Min unsat cost LB: 38282 ... c Min unsat cost LB: 38283 ... c Min unsat cost LB: 38284 ... c Min unsat cost LB: 38285 ... c Min unsat cost LB: 38286 ... c Min unsat cost LB: 38287 ... c Min unsat cost LB: 38288 ... c Min unsat cost LB: 38289 ... c Min unsat cost LB: 38290 ... c Min unsat cost LB: 38291 ... c Min unsat cost LB: 38292 ... c Min unsat cost LB: 38293 ... c Min unsat cost LB: 38294 ... c Min unsat cost LB: 38295 ... c Min unsat cost LB: 38297 ... c Min unsat cost LB: 38299 ... c Min unsat cost LB: 38300 ... c Min unsat cost LB: 38301 ... c Min unsat cost LB: 38302 ... c Min unsat cost LB: 38303 ... c Min unsat cost LB: 38304 ... c Min unsat cost LB: 38305 ... c Min unsat cost LB: 38306 ... c Min unsat cost LB: 38307 ... c Min unsat cost LB: 38308 ... c Min unsat cost LB: 38309 ... c Min unsat cost LB: 38310 ... c Min unsat cost LB: 38311 ... c Min unsat cost LB: 38312 ... c Min unsat cost LB: 38313 ... c Min unsat cost LB: 38314 ... c Min unsat cost LB: 38315 ... c Min unsat cost LB: 38316 ... c Min unsat cost LB: 38317 ... c Min unsat cost LB: 38318 ... c Min unsat cost LB: 38319 ... c Min unsat cost LB: 38321 ... c Min unsat cost LB: 38323 ... c Min unsat cost LB: 38324 ... c Min unsat cost LB: 38325 ... c Min unsat cost LB: 38326 ... c Min unsat cost LB: 38327 ... c Min unsat cost LB: 38328 ... c Min unsat cost LB: 38329 ... c Min unsat cost LB: 38330 ... c Min unsat cost LB: 38340 ... c Min unsat cost LB: 38341 ... c Min unsat cost LB: 38342 ... c Min unsat cost LB: 38343 ... c Min unsat cost LB: 38344 ... c Min unsat cost LB: 38345 ... c Min unsat cost LB: 38346 ... c Min unsat cost LB: 38347 ... c Min unsat cost LB: 38348 ... c Min unsat cost LB: 38349 ... c Min unsat cost LB: 38350 ... c Min unsat cost LB: 38351 ... c Min unsat cost LB: 38352 ... c Min unsat cost LB: 38353 ... c Min unsat cost LB: 38354 ... c Min unsat cost LB: 38355 ... c Min unsat cost LB: 38356 ... c Min unsat cost LB: 38357 ... c Min unsat cost LB: 38358 ... c Min unsat cost LB: 38359 ... c Min unsat cost LB: 38360 ... c Min unsat cost LB: 38361 ... c Min unsat cost LB: 38362 ... c Min unsat cost LB: 38445 ... c Min unsat cost LB: 38446 ... c Min unsat cost LB: 38632 ... c Min unsat cost LB: 38701 ... c Min unsat cost LB: 39115 ... c Min unsat cost LB: 39133 ... c Min unsat cost LB: 39213 ... c Min unsat cost LB: 39499 ... c Min unsat cost LB: 39500 ... c Min unsat cost LB: 39501 ... c Min unsat cost LB: 39502 ... c Min unsat cost LB: 39503 ... c Min unsat cost LB: 39504 ... c Min unsat cost LB: 39505 ... c Min unsat cost LB: 39506 ... c Min unsat cost LB: 39507 ... c Min unsat cost LB: 39508 ... c Min unsat cost LB: 39509 ... c Min unsat cost LB: 39510 ... c Min unsat cost LB: 39511 ... c Min unsat cost LB: 39512 ... c Min unsat cost LB: 39513 ... c Min unsat cost LB: 39514 ... c Min unsat cost LB: 39515 ... c Min unsat cost LB: 39516 ... c Min unsat cost LB: 39517 ... c Min unsat cost LB: 39518 ... c Min unsat cost LB: 39519 ... c Min unsat cost LB: 39520 ... c Min unsat cost LB: 39521 ... c Min unsat cost LB: 39522 ... c Min unsat cost LB: 39523 ... c Min unsat cost LB: 39524 ... c Min unsat cost LB: 39525 ... c Min unsat cost LB: 39526 ... c Min unsat cost LB: 39527 ... c Min unsat cost LB: 39528 ... c Min unsat cost LB: 39529 ... c Min unsat cost LB: 39530 ... c Min unsat cost LB: 39531 ... c Min unsat cost LB: 39532 ... c Min unsat cost LB: 39533 ... c Min unsat cost LB: 39534 ... c Min unsat cost LB: 39535 ... c Min unsat cost LB: 39536 ... c Min unsat cost LB: 39537 ... c Min unsat cost LB: 39538 ... c Min unsat cost LB: 39539 ... c Min unsat cost LB: 39540 ... c Min unsat cost LB: 39541 ... c Min unsat cost LB: 39542 ... c Min unsat cost LB: 39543 ... c Min unsat cost LB: 39544 ... c Min unsat cost LB: 39545 ... c Min unsat cost LB: 39546 ... c Min unsat cost LB: 39547 ... c Min unsat cost LB: 39548 ... c Min unsat cost LB: 39549 ... c Min unsat cost LB: 39550 ... c Min unsat cost LB: 39551 ... c Min unsat cost LB: 39552 ... c Min unsat cost LB: 39553 ... c Min unsat cost LB: 39554 ... c Min unsat cost LB: 39555 ... c Min unsat cost LB: 39556 ... c Min unsat cost LB: 39557 ... c Min unsat cost LB: 39558 ... c Min unsat cost LB: 39559 ... c Min unsat cost LB: 39561 ... c Min unsat cost LB: 39562 ... c Min unsat cost LB: 39563 ... c Min unsat cost LB: 39564 ... c Min unsat cost LB: 39565 ... c Min unsat cost LB: 39566 ... c Min unsat cost LB: 39567 ... c Min unsat cost LB: 39568 ... c Min unsat cost LB: 39569 ... c Min unsat cost LB: 39570 ... c Min unsat cost LB: 39571 ... c Min unsat cost LB: 39572 ... c Min unsat cost LB: 39573 ... c Min unsat cost LB: 39574 ... c Min unsat cost LB: 39575 ... c Min unsat cost LB: 39576 ... c Min unsat cost LB: 39577 ... c Min unsat cost LB: 39578 ... c Min unsat cost LB: 39579 ... c Min unsat cost LB: 39580 ... c Min unsat cost LB: 39581 ... c Min unsat cost LB: 39582 ... c Min unsat cost LB: 39583 ... c Min unsat cost LB: 39584 ... c Min unsat cost LB: 39585 ... c Min unsat cost LB: 39586 ... c Min unsat cost LB: 39587 ... c Min unsat cost LB: 39588 ... c Min unsat cost LB: 39589 ... c Min unsat cost LB: 39590 ... c Min unsat cost LB: 39591 ... c Min unsat cost LB: 39592 ... c Min unsat cost LB: 39593 ... c Min unsat cost LB: 39594 ... c Min unsat cost LB: 39595 ... c Min unsat cost LB: 39596 ... c Min unsat cost LB: 39597 ... c Min unsat cost LB: 39598 ... c Min unsat cost LB: 39599 ... c Min unsat cost LB: 39600 ... c Min unsat cost LB: 39601 ... c Min unsat cost LB: 39602 ... c Min unsat cost LB: 39603 ... c Min unsat cost LB: 39604 ... c Min unsat cost LB: 39605 ... c Min unsat cost LB: 39606 ... c Min unsat cost LB: 39607 ... c Min unsat cost LB: 39608 ... c Min unsat cost LB: 39609 ... c Min unsat cost LB: 39610 ... c Min unsat cost LB: 39611 ... c Min unsat cost LB: 39612 ... c Min unsat cost LB: 39613 ... c Min unsat cost LB: 39614 ... c Min unsat cost LB: 39615 ... c Min unsat cost LB: 39616 ... c Min unsat cost LB: 39617 ... c Min unsat cost LB: 39618 ... c Min unsat cost LB: 39619 ... c Min unsat cost LB: 39620 ... c Min unsat cost LB: 39621 ... c Min unsat cost LB: 39622 ... c Min unsat cost LB: 39623 ... c Min unsat cost LB: 39624 ... c Min unsat cost LB: 39625 ... c Min unsat cost LB: 39626 ... c Min unsat cost LB: 39627 ... c Min unsat cost LB: 39628 ... c Min unsat cost LB: 39629 ... c Min unsat cost LB: 39630 ... c Min unsat cost LB: 39631 ... c Min unsat cost LB: 39632 ... c Min unsat cost LB: 39633 ... c Min unsat cost LB: 39634 ... c Min unsat cost LB: 39635 ... c Min unsat cost LB: 39636 ... c Min unsat cost LB: 39637 ... c Min unsat cost LB: 39638 ... c Min unsat cost LB: 39639 ... c Min unsat cost LB: 39640 ... c Min unsat cost LB: 39641 ... c Min unsat cost LB: 39642 ... c Min unsat cost LB: 39643 ... c Min unsat cost LB: 39644 ... c Min unsat cost LB: 39645 ... c Min unsat cost LB: 39646 ... c Min unsat cost LB: 39647 ... c Min unsat cost LB: 39648 ... c Min unsat cost LB: 39649 ... c Min unsat cost LB: 39650 ... c Min unsat cost LB: 39651 ... c Min unsat cost LB: 39652 ... c Min unsat cost LB: 39653 ... c Min unsat cost LB: 39654 ... c Min unsat cost LB: 39662 ... c Min unsat cost LB: 39672 ... c Min unsat cost LB: 39673 ... c Min unsat cost LB: 39674 ... c Min unsat cost LB: 39675 ... c Min unsat cost LB: 39686 ... c Min unsat cost LB: 39688 ... c Min unsat cost LB: 39692 ... c Min unsat cost LB: 39693 ... c Min unsat cost LB: 39694 ... c Min unsat cost LB: 39702 ... c Min unsat cost LB: 39705 ... c Min unsat cost LB: 39706 ... c Min unsat cost LB: 39766 ... c Min unsat cost LB: 39794 ... c Min unsat cost LB: 39822 ... c Min unsat cost LB: 39823 ... c Min unsat cost LB: 39824 ... c Min unsat cost LB: 39830 ... c Min unsat cost LB: 39833 ... c Min unsat cost LB: 39835 ... c Min unsat cost LB: 39836 ... c Min unsat cost LB: 39838 ... c Min unsat cost LB: 39840 ... c Min unsat cost LB: 39845 ... c Min unsat cost LB: 39859 ... c Min unsat cost LB: 39862 ... c Min unsat cost LB: 39864 ... c Min unsat cost LB: 39865 ... c Min unsat cost LB: 39870 ... c Min unsat cost LB: 39881 ... c Min unsat cost LB: 39882 ... c Min unsat cost LB: 39883 ... c Min unsat cost LB: 39887 ... c Min unsat cost LB: 39904 ... c Min unsat cost LB: 39913 ... c Min unsat cost LB: 39921 ... c Min unsat cost LB: 39923 ... c Min unsat cost LB: 39937 ... c Min unsat cost LB: 39946 ... c Min unsat cost LB: 39949 ... c Min unsat cost LB: 39959 ... c Min unsat cost LB: 39961 ... c Min unsat cost LB: 39962 ... c Min unsat cost LB: 39964 ... c Min unsat cost LB: 39967 ... c Min unsat cost LB: 39969 ... c Min unsat cost LB: 39972 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 39976 ... c Min unsat cost LB: 39978 ... c Min unsat cost LB: 39979 ... c Min unsat cost LB: 39980 ... c Min unsat cost LB: 39988 ... c Min unsat cost LB: 39992 ... c Min unsat cost LB: 39993 ... c Min unsat cost LB: 39994 ... c Min unsat cost LB: 39996 ... c Min unsat cost LB: 39997 ... c Min unsat cost LB: 39998 ... c Min unsat cost LB: 39999 ... c Min unsat cost LB: 40001 ... c Min unsat cost LB: 40002 ... c Min unsat cost LB: 40004 ... c Min unsat cost LB: 40013 ... c Min unsat cost LB: 40016 ... c Min unsat cost LB: 40017 ... c Min unsat cost LB: 40018 ... c Min unsat cost LB: 40019 ... c Min unsat cost LB: 40020 ... c Min unsat cost LB: 40021 ... c Min unsat cost LB: 40022 ... c Min unsat cost LB: 40023 ... c Min unsat cost LB: 40024 ... c Min unsat cost LB: 40027 ... c Min unsat cost LB: 40028 ... c Min unsat cost LB: 40029 ... c Min unsat cost LB: 40033 ... c Min unsat cost LB: 40035 ... c Min unsat cost LB: 40037 ... c Min unsat cost LB: 40038 ... c Min unsat cost LB: 40039 ... c Min unsat cost LB: 40040 ... c Min unsat cost LB: 40041 ... c Min unsat cost LB: 40042 ... c Min unsat cost LB: 40043 ... c Min unsat cost LB: 40044 ... c Min unsat cost LB: 40045 ... c Min unsat cost LB: 40046 ... c Min unsat cost LB: 40047 ... c Min unsat cost LB: 40048 ... c Min unsat cost LB: 40049 ... c Min unsat cost LB: 40050 ... c Min unsat cost LB: 40051 ... c Min unsat cost LB: 40052 ... c Min unsat cost LB: 40053 ... c Min unsat cost LB: 40054 ... c Min unsat cost LB: 40055 ... c Min unsat cost LB: 40056 ... c Min unsat cost LB: 40057 ... c Min unsat cost LB: 40059 ... c Min unsat cost LB: 40060 ... c Min unsat cost LB: 40061 ... c Min unsat cost LB: 40063 ... c Min unsat cost LB: 40064 ... c Min unsat cost LB: 40067 ... c Min unsat cost LB: 40073 ... c Min unsat cost LB: 40074 ... c Min unsat cost LB: 40075 ... c Min unsat cost LB: 40076 ... c Min unsat cost LB: 40077 ... c Min unsat cost LB: 40078 ... c Min unsat cost LB: 40079 ... c Min unsat cost LB: 40082 ... c Min unsat cost LB: 40084 ... c Min unsat cost LB: 40087 ... c Min unsat cost LB: 40088 ... c Min unsat cost LB: 40089 ... c Min unsat cost LB: 40090 ... c Min unsat cost LB: 40091 ... c Min unsat cost LB: 40092 ... c Min unsat cost LB: 40093 ... c Min unsat cost LB: 40095 ... c Min unsat cost LB: 40096 ... c Min unsat cost LB: 40097 ... c Min unsat cost LB: 40098 ... c Min unsat cosKilled 1814.732u 5.005s 30:22.43 99.8% 0+0k 0+0io 0pf+0w