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-300-1_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-7.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-300-1_network-7.net.wcnf *** c c Min unsat cost LB: 49 ... c Min unsat cost LB: 1930 ... c Min unsat cost LB: 3429 ... c Min unsat cost LB: 5119 ... c Min unsat cost LB: 6445 ... c Min unsat cost LB: 8456 ... c Min unsat cost LB: 9469 ... c Min unsat cost LB: 9828 ... c Min unsat cost LB: 11111 ... c Min unsat cost LB: 12433 ... c Min unsat cost LB: 13965 ... c Min unsat cost LB: 14931 ... c Min unsat cost LB: 16214 ... c Min unsat cost LB: 17354 ... c Min unsat cost LB: 18237 ... c Min unsat cost LB: 19373 ... c Min unsat cost LB: 21117 ... c Min unsat cost LB: 21156 ... c Min unsat cost LB: 22866 ... c Min unsat cost LB: 22938 ... c Min unsat cost LB: 23346 ... c Min unsat cost LB: 24589 ... c Min unsat cost LB: 24778 ... c Min unsat cost LB: 24921 ... c Min unsat cost LB: 25595 ... c Min unsat cost LB: 25748 ... c Min unsat cost LB: 26068 ... c Min unsat cost LB: 28683 ... c Min unsat cost LB: 30123 ... c Min unsat cost LB: 31185 ... c Min unsat cost LB: 31474 ... c Min unsat cost LB: 32407 ... c Min unsat cost LB: 34122 ... c Min unsat cost LB: 34216 ... c Min unsat cost LB: 34416 ... c Min unsat cost LB: 34869 ... c Min unsat cost LB: 35118 ... c Min unsat cost LB: 35947 ... c Min unsat cost LB: 36729 ... c Min unsat cost LB: 37840 ... c Min unsat cost LB: 38626 ... c Min unsat cost LB: 38986 ... c Min unsat cost LB: 40458 ... c Min unsat cost LB: 40489 ... c Min unsat cost LB: 41347 ... c Min unsat cost LB: 42726 ... c Min unsat cost LB: 43405 ... c Min unsat cost LB: 44799 ... c Min unsat cost LB: 45260 ... c Min unsat cost LB: 45284 ... c Min unsat cost LB: 45366 ... c Min unsat cost LB: 45593 ... c Min unsat cost LB: 45982 ... c Min unsat cost LB: 47138 ... c Min unsat cost LB: 47601 ... c Min unsat cost LB: 48197 ... c Min unsat cost LB: 49475 ... c Min unsat cost LB: 49563 ... c Min unsat cost LB: 49574 ... c Min unsat cost LB: 50149 ... c Min unsat cost LB: 50993 ... c Min unsat cost LB: 51087 ... c Min unsat cost LB: 51323 ... c Min unsat cost LB: 52385 ... c Min unsat cost LB: 52865 ... c Min unsat cost LB: 54491 ... c Min unsat cost LB: 56656 ... c Min unsat cost LB: 56748 ... c Min unsat cost LB: 56827 ... c Min unsat cost LB: 58202 ... c Min unsat cost LB: 58624 ... c Min unsat cost LB: 58656 ... c Min unsat cost LB: 59645 ... c Min unsat cost LB: 59757 ... c Min unsat cost LB: 59799 ... c Min unsat cost LB: 60307 ... c Min unsat cost LB: 61138 ... c Min unsat cost LB: 61184 ... c Min unsat cost LB: 61726 ... c Min unsat cost LB: 62264 ... c Min unsat cost LB: 62734 ... c Min unsat cost LB: 62941 ... c Min unsat cost LB: 63077 ... c Min unsat cost LB: 63350 ... c Min unsat cost LB: 63820 ... c Min unsat cost LB: 64027 ... c Min unsat cost LB: 64252 ... c Min unsat cost LB: 64317 ... c Min unsat cost LB: 64998 ... c Min unsat cost LB: 65279 ... c Min unsat cost LB: 65910 ... c Min unsat cost LB: 66366 ... c Min unsat cost LB: 66680 ... c Min unsat cost LB: 66945 ... c Min unsat cost LB: 67188 ... c Min unsat cost LB: 67272 ... c Min unsat cost LB: 67912 ... c Min unsat cost LB: 68446 ... c Min unsat cost LB: 69020 ... c Min unsat cost LB: 69271 ... c Min unsat cost LB: 69753 ... c Min unsat cost LB: 70244 ... c Min unsat cost LB: 70663 ... c Min unsat cost LB: 70760 ... c Min unsat cost LB: 70814 ... c Min unsat cost LB: 71597 ... c Min unsat cost LB: 71796 ... c Min unsat cost LB: 71929 ... c Min unsat cost LB: 72887 ... c Min unsat cost LB: 73609 ... c Min unsat cost LB: 74004 ... c Min unsat cost LB: 74082 ... c Min unsat cost LB: 74193 ... c Min unsat cost LB: 74363 ... c Min unsat cost LB: 74611 ... c Min unsat cost LB: 74707 ... c Min unsat cost LB: 74872 ... c Min unsat cost LB: 75466 ... c Min unsat cost LB: 75477 ... c Min unsat cost LB: 76226 ... c Min unsat cost LB: 76230 ... c Min unsat cost LB: 76473 ... c Min unsat cost LB: 76711 ... c Min unsat cost LB: 76898 ... c Min unsat cost LB: 77246 ... c Min unsat cost LB: 77629 ... c Min unsat cost LB: 77764 ... c Min unsat cost LB: 77791 ... c Min unsat cost LB: 78082 ... c Min unsat cost LB: 78127 ... c Min unsat cost LB: 78417 ... c Min unsat cost LB: 78856 ... c Min unsat cost LB: 78885 ... c Min unsat cost LB: 79521 ... c Min unsat cost LB: 79636 ... c Min unsat cost LB: 79644 ... c Min unsat cost LB: 79712 ... c Min unsat cost LB: 80102 ... c Min unsat cost LB: 81011 ... c Min unsat cost LB: 81960 ... c Min unsat cost LB: 82336 ... c Min unsat cost LB: 82700 ... c Min unsat cost LB: 82823 ... c Min unsat cost LB: 82916 ... c Min unsat cost LB: 82976 ... c Min unsat cost LB: 83285 ... c Min unsat cost LB: 83415 ... c Min unsat cost LB: 83425 ... c Min unsat cost LB: 83502 ... c Min unsat cost LB: 83628 ... c Min unsat cost LB: 83649 ... c Min unsat cost LB: 83793 ... c Min unsat cost LB: 84417 ... c Min unsat cost LB: 84920 ... c Min unsat cost LB: 85060 ... c Min unsat cost LB: 85383 ... c Min unsat cost LB: 85452 ... c Min unsat cost LB: 86197 ... c Min unsat cost LB: 86730 ... c Min unsat cost LB: 86756 ... c Min unsat cost LB: 87234 ... c Min unsat cost LB: 88083 ... c Min unsat cost LB: 88130 ... c Min unsat cost LB: 88887 ... c Min unsat cost LB: 89222 ... c Min unsat cost LB: 89461 ... c Min unsat cost LB: 89542 ... c Min unsat cost LB: 90517 ... c Min unsat cost LB: 91111 ... c Min unsat cost LB: 91467 ... c Min unsat cost LB: 91527 ... c Min unsat cost LB: 91746 ... c Min unsat cost LB: 91937 ... c Min unsat cost LB: 92761 ... c Min unsat cost LB: 92917 ... c Min unsat cost LB: 92924 ... c Min unsat cost LB: 93226 ... c Min unsat cost LB: 93393 ... c Min unsat cost LB: 93618 ... c Min unsat cost LB: 93759 ... c Min unsat cost LB: 94116 ... c Min unsat cost LB: 94232 ... c Min unsat cost LB: 94326 ... c Min unsat cost LB: 94374 ... c Min unsat cost LB: 94609 ... c Min unsat cost LB: 95026 ... c Min unsat cost LB: 95779 ... c Min unsat cost LB: 96006 ... c Min unsat cost LB: 96047 ... c Min unsat cost LB: 96114 ... c Min unsat cost LB: 96168 ... c Min unsat cost LB: 96207 ... c Min unsat cost LB: 96431 ... c Min unsat cost LB: 96598 ... c Min unsat cost LB: 96640 ... c Min unsat cost LB: 96641 ... c Min unsat cost LB: 97065 ... c Min unsat cost LB: 97101 ... c Min unsat cost LB: 97131 ... c Min unsat cost LB: 97422 ... c Min unsat cost LB: 97618 ... c Min unsat cost LB: 97898 ... c Min unsat cost LB: 97911 ... c Min unsat cost LB: 98665 ... c Min unsat cost LB: 98891 ... c Min unsat cost LB: 99028 ... c Min unsat cost LB: 100022 ... c Min unsat cost LB: 100095 ... c Min unsat cost LB: 100206 ... c Min unsat cost LB: 100256 ... c Min unsat cost LB: 100946 ... c Min unsat cost LB: 100992 ... c Min unsat cost LB: 101127 ... c Min unsat cost LB: 101309 ... c Min unsat cost LB: 101759 ... c Min unsat cost LB: 101968 ... c Min unsat cost LB: 102620 ... c Min unsat cost LB: 102904 ... c Min unsat cost LB: 103332 ... c Min unsat cost LB: 103366 ... c Min unsat cost LB: 104202 ... c Min unsat cost LB: 104317 ... c Min unsat cost LB: 104347 ... c Min unsat cost LB: 104360 ... c Min unsat cost LB: 104502 ... c Min unsat cost LB: 104576 ... c Min unsat cost LB: 104628 ... c Min unsat cost LB: 104640 ... c Min unsat cost LB: 105153 ... c Min unsat cost LB: 105209 ... c Min unsat cost LB: 105448 ... c Min unsat cost LB: 105552 ... c Min unsat cost LB: 105652 ... c Min unsat cost LB: 106147 ... c Min unsat cost LB: 106211 ... c Min unsat cost LB: 106289 ... c Min unsat cost LB: 106343 ... c Min unsat cost LB: 106404 ... c Min unsat cost LB: 106415 ... c Min unsat cost LB: 106428 ... c Min unsat cost LB: 106431 ... c Min unsat cost LB: 106486 ... c Min unsat cost LB: 106537 ... c Min unsat cost LB: 107283 ... c Min unsat cost LB: 107693 ... c Min unsat cost LB: 108908 ... c Min unsat cost LB: 109150 ... c Min unsat cost LB: 109248 ... c Min unsat cost LB: 109296 ... c Min unsat cost LB: 110500 ... c Min unsat cost LB: 110884 ... c Min unsat cost LB: 110922 ... c Min unsat cost LB: 111273 ... c Min unsat cost LB: 111470 ... c Min unsat cost LB: 111567 ... c Min unsat cost LB: 111706 ... c Min unsat cost LB: 111876 ... c Min unsat cost LB: 111973 ... c Min unsat cost LB: 112240 ... c Min unsat cost LB: 112752 ... c Min unsat cost LB: 113003 ... c Min unsat cost LB: 113102 ... c Min unsat cost LB: 113253 ... c Min unsat cost LB: 114258 ... c Min unsat cost LB: 114344 ... c Min unsat cost LB: 114728 ... c Min unsat cost LB: 115035 ... c Min unsat cost LB: 115733 ... c Min unsat cost LB: 116115 ... c Min unsat cost LB: 116309 ... c Min unsat cost LB: 116370 ... c Min unsat cost LB: 116604 ... c Min unsat cost LB: 116681 ... c Min unsat cost LB: 117699 ... c Min unsat cost LB: 117755 ... c Min unsat cost LB: 117933 ... c Min unsat cost LB: 118259 ... c Min unsat cost LB: 119459 ... c Min unsat cost LB: 119990 ... c Min unsat cost LB: 119991 ... c Min unsat cost LB: 120018 ... c Min unsat cost LB: 120610 ... c Min unsat cost LB: 121001 ... c Min unsat cost LB: 121135 ... c Min unsat cost LB: 121461 ... c Min unsat cost LB: 121537 ... c Min unsat cost LB: 122169 ... c Min unsat cost LB: 122248 ... c Min unsat cost LB: 122357 ... c Min unsat cost LB: 122762 ... c Min unsat cost LB: 122830 ... c Min unsat cost LB: 122855 ... c Min unsat cost LB: 123339 ... c Min unsat cost LB: 123629 ... c Min unsat cost LB: 123682 ... c Min unsat cost LB: 123852 ... c Min unsat cost LB: 124047 ... c Min unsat cost LB: 124288 ... c Min unsat cost LB: 124349 ... c Min unsat cost LB: 124960 ... c Min unsat cost LB: 125292 ... c Min unsat cost LB: 125485 ... c Min unsat cost LB: 125546 ... c Min unsat cost LB: 125577 ... c Min unsat cost LB: 125640 ... c Min unsat cost LB: 125675 ... c Min unsat cost LB: 125906 ... c Min unsat cost LB: 125989 ... c Min unsat cost LB: 126045 ... c Min unsat cost LB: 126358 ... c Min unsat cost LB: 126360 ... c Min unsat cost LB: 126732 ... c Min unsat cost LB: 127243 ... c Min unsat cost LB: 127757 ... c Min unsat cost LB: 128013 ... c Min unsat cost LB: 128917 ... c Min unsat cost LB: 129207 ... c Min unsat cost LB: 129609 ... c Min unsat cost LB: 130166 ... c Min unsat cost LB: 130384 ... c Min unsat cost LB: 131232 ... c Min unsat cost LB: 131260 ... c Min unsat cost LB: 131529 ... c Min unsat cost LB: 132709 ... c Min unsat cost LB: 132939 ... c Min unsat cost LB: 133016 ... c Min unsat cost LB: 133321 ... c Min unsat cost LB: 133779 ... c Min unsat cost LB: 134098 ... c Min unsat cost LB: 134262 ... c Min unsat cost LB: 134309 ... c Min unsat cost LB: 135338 ... c Min unsat cost LB: 135688 ... c Min unsat cost LB: 136043 ... c Min unsat cost LB: 136243 ... c Min unsat cost LB: 136701 ... c Min unsat cost LB: 137216 ... c Min unsat cost LB: 137551 ... c Min unsat cost LB: 137860 ... c Min unsat cost LB: 138005 ... c Min unsat cost LB: 138214 ... c Min unsat cost LB: 138457 ... c Min unsat cost LB: 138561 ... c Min unsat cost LB: 138884 ... c Min unsat cost LB: 139047 ... c Min unsat cost LB: 139409 ... c Min unsat cost LB: 139510 ... c Min unsat cost LB: 139640 ... c Min unsat cost LB: 139788 ... c Min unsat cost LB: 139916 ... c Min unsat cost LB: 139949 ... c Min unsat cost LB: 140711 ... c Min unsat cost LB: 141431 ... c Min unsat cost LB: 141893 ... c Min unsat cost LB: 141977 ... c Min unsat cost LB: 142413 ... c Min unsat cost LB: 142600 ... c Min unsat cost LB: 142835 ... c Min unsat cost LB: 142889 ... c Min unsat cost LB: 142929 ... c Min unsat cost LB: 142965 ... c Min unsat cost LB: 143020 ... c Min unsat cost LB: 143233 ... c Min unsat cost LB: 143361 ... c Min unsat cost LB: 143392 ... c Min unsat cost LB: 143493 ... c Min unsat cost LB: 143623 ... c Min unsat cost LB: 143639 ... c Min unsat cost LB: 143760 ... c Min unsat cost LB: 143794 ... c Min unsat cost LB: 144648 ... c Min unsat cost LB: 144713 ... c Min unsat cost LB: 144776 ... c Min unsat cost LB: 145690 ... c Min unsat cost LB: 146094 ... c Min unsat cost LB: 146832 ... c Min unsat cost LB: 147450 ... c Min unsat cost LB: 148016 ... c Min unsat cost LB: 148237 ... c Min unsat cost LB: 148332 ... c Min unsat cost LB: 148528 ... c Min unsat cost LB: 149347 ... c Min unsat cost LB: 149579 ... c Min unsat cost LB: 149694 ... c Min unsat cost LB: 149812 ... c Min unsat cost LB: 149876 ... c Min unsat cost LB: 149894 ... c Min unsat cost LB: 150990 ... c Min unsat cost LB: 151441 ... c Min unsat cost LB: 151624 ... c Min unsat cost LB: 151737 ... c Min unsat cost LB: 151939 ... c Min unsat cost LB: 151978 ... c Min unsat cost LB: 152042 ... c Min unsat cost LB: 152326 ... c Min unsat cost LB: 152579 ... c Min unsat cost LB: 152926 ... c Min unsat cost LB: 152931 ... c Min unsat cost LB: 153000 ... c Min unsat cost LB: 153979 ... c Min unsat cost LB: 154168 ... c Min unsat cost LB: 154228 ... c Min unsat cost LB: 154257 ... c Min unsat cost LB: 154293 ... c Min unsat cost LB: 154301 ... c Min unsat cost LB: 154383 ... c Min unsat cost LB: 154479 ... c Min unsat cost LB: 154635 ... c Min unsat cost LB: 154639 ... c Min unsat cost LB: 154667 ... c Min unsat cost LB: 154722 ... c Min unsat cost LB: 154848 ... c Min unsat cost LB: 154989 ... c Min unsat cost LB: 155091 ... c Min unsat cost LB: 155139 ... c Min unsat cost LB: 155265 ... c Min unsat cost LB: 155325 ... c Min unsat cost LB: 155366 ... c Min unsat cost LB: 155370 ... c Min unsat cost LB: 155371 ... c Min unsat cost LB: 155397 ... c Min unsat cost LB: 155799 ... c Min unsat cost LB: 155803 ... c Min unsat cost LB: 155838 ... c Min unsat cost LB: 156351 ... c Min unsat cost LB: 156378 ... c Min unsat cost LB: 156427 ... c Min unsat cost LB: 156438 ... c Min unsat cost LB: 156440 ... c Min unsat cost LB: 156444 ... c Min unsat cost LB: 156470 ... c Min unsat cost LB: 156474 ... c Min unsat cost LB: 156476 ... c Min unsat cost LB: 156477 ... c Min unsat cost LB: 156481 ... c Min unsat cost LB: 156506 ... c Min unsat cost LB: 156510 ... c Min unsat cost LB: 156511 ... c Min unsat cost LB: 156637 ... c Min unsat cost LB: 156800 ... c Min unsat cost LB: 156823 ... c Min unsat cost LB: 157607 ... c Min unsat cost LB: 157799 ... c Min unsat cost LB: 157855 ... c Min unsat cost LB: 158355 ... c Min unsat cost LB: 159158 ... c Min unsat cost LB: 159293 ... c Min unsat cost LB: 160008 ... c Min unsat cost LB: 160353 ... c Min unsat cost LB: 160378 ... c Min unsat cost LB: 160380 ... c Min unsat cost LB: 160382 ... c Min unsat cost LB: 160389 ... c Min unsat cost LB: 160390 ... c Min unsat cost LB: 160527 ... c Min unsat cost LB: 160684 ... c Min unsat cost LB: 160981 ... c Min unsat cost LB: 160982 ... c Min unsat cost LB: 160986 ... c Min unsat cost LB: 160989 ... c Min unsat cost LB: 160990 ... c Min unsat cost LB: 160992 ... c Min unsat cost LB: 161472 ... c Min unsat cost LB: 161489 ... c Min unsat cost LB: 161546 ... c Min unsat cost LB: 161807 ... c Min unsat cost LB: 162333 ... c Min unsat cost LB: 162421 ... c Min unsat cost LB: 162423 ... c Min unsat cost LB: 162527 ... c Min unsat cost LB: 162529 ... c Min unsat cost LB: 162531 ... c Min unsat cost LB: 162532 ... c Min unsat cost LB: 162534 ... c Min unsat cost LB: 162536 ... c Min unsat cost LB: 162544 ... c Min unsat cost LB: 162572 ... c Min unsat cost LB: 162576 ... c Min unsat cost LB: 162577 ... c Min unsat cost LB: 162625 ... c Min unsat cost LB: 162650 ... c Min unsat cost LB: 162652 ... c Min unsat cost LB: 162653 ... c Min unsat cost LB: 162660 ... c Min unsat cost LB: 162661 ... c Min unsat cost LB: 162662 ... c Min unsat cost LB: 162663 ... c Min unsat cost LB: 162664 ... c Min unsat cost LB: 162665 ... c Min unsat cost LB: 162667 ... c Min unsat cost LB: 162880 ... c Min unsat cost LB: 163291 ... c Min unsat cost LB: 163293 ... c Min unsat cost LB: 163294 ... c Min unsat cost LB: 163296 ... c Min unsat cost LB: 163298 ... c Min unsat cost LB: 163301 ... c Min unsat cost LB: 163302 ... c Min unsat cost LB: 163453 ... c Min unsat cost LB: 164069 ... c Min unsat cost LB: 164775 ... c Min unsat cost LB: 165001 ... c Min unsat cost LB: 165284 ... c Min unsat cost LB: 165285 ... c Min unsat cost LB: 165286 ... c Min unsat cost LB: 165756 ... c Min unsat cost LB: 165796 ... c Min unsat cost LB: 166455 ... c Min unsat cost LB: 166530 ... c Min unsat cost LB: 166539 ... c Min unsat cost LB: 166540 ... c Min unsat cost LB: 166541 ... c Min unsat cost LB: 166543 ... c Min unsat cost LB: 166595 ... c Min unsat cost LB: 166621 ... c Min unsat cost LB: 166639 ... c Min unsat cost LB: 166643 ... c Min unsat cost LB: 166664 ... c Min unsat cost LB: 166668 ... c Min unsat cost LB: 166675 ... c Min unsat cost LB: 166677 ... c Min unsat cost LB: 166678 ... c Min unsat cost LB: 166712 ... c Min unsat cost LB: 166716 ... c Min unsat cost LB: 166744 ... c Min unsat cost LB: 166764 ... c Min unsat cost LB: 166766 ... c Min unsat cost LB: 166770 ... c Min unsat cost LB: 166796 ... c Min unsat cost LB: 166797 ... c Min unsat cost LB: 166798 ... c Min unsat cost LB: 166822 ... c Min unsat cost LB: 166824 ... c Min unsat cost LB: 166826 ... c Min unsat cost LB: 166830 ... c Min unsat cost LB: 166831 ... c Min unsat cost LB: 166838 ... c Min unsat cost LB: 166840 ... c Min unsat cost LB: 166870 ... c Min unsat cost LB: 166872 ... c Min unsat cost LB: 166874 ... c Min unsat cost LB: 166887 ... c Min unsat cost LB: 166888 ... c Min unsat cost LB: 166889 ... c Min unsat cost LB: 166890 ... c Min unsat cost LB: 166891 ... c Min unsat cost LB: 166892 ... c Min unsat cost LB: 167626 ... c Min unsat cost LB: 167724 ... c Min unsat cost LB: 167807 ... c Min unsat cost LB: 167960 ... c Min unsat cost LB: 167968 ... c Min unsat cost LB: 167973 ... c Min unsat cost LB: 167976 ... c Min unsat cost LB: 167978 ... c Min unsat cost LB: 167981 ... c Min unsat cost LB: 167982 ... c Min unsat cost LB: 167983 ... c Min unsat cost LB: 168068 ... c Min unsat cost LB: 168696 ... c Min unsat cost LB: 168697 ... c Min unsat cost LB: 168698 ... c Min unsat cost LB: 168704 ... c Min unsat cost LB: 168710 ... c Min unsat cost LB: 168711 ... c Min unsat cost LB: 168712 ... c Min unsat cost LB: 168713 ... c Min unsat cost LB: 168714 ... c Min unsat cost LB: 168715 ... c Min unsat cost LB: 168716 ... c Min unsat cost LB: 168717 ... c Min unsat cost LB: 168718 ... c Min unsat cost LB: 168719 ... c Min unsat cost LB: 168720 ... c Min unsat cost LB: 168721 ... c Min unsat cost LB: 168722 ... c Min unsat cost LB: 168723 ... c Min unsat cost LB: 168726 ... c Min unsat cost LB: 168727 ... c Min unsat cost LB: 168729 ... c Min unsat cost LB: 168730 ... c Min unsat cost LB: 168940 ... c Min unsat cost LB: 168941 ... c Min unsat cost LB: 168942 ... c Min unsat cost LB: 168943 ... c Min unsat cost LB: 169128 ... c Min unsat cost LB: 169403 ... c Min unsat cost LB: 169586 ... c Min unsat cost LB: 169732 ... c Min unsat cost LB: 169785 ... c Min unsat cost LB: 169896 ... c Min unsat cost LB: 169959 ... c Min unsat cost LB: 169960 ... c Min unsat cost LB: 169961 ... c Min unsat cost LB: 169962 ... c Min unsat cost LB: 169963 ... c Min unsat cost LB: 169964 ... c Min unsat cost LB: 170319 ... c Min unsat cost LB: 170320 ... c Min unsat cost LB: 170321 ... c Min unsat cost LB: 170322 ... c Min unsat cost LB: 170474 ... c Min unsat cost LB: 170813 ... c Min unsat cost LB: 170857 ... c Min unsat cost LB: 170858 ... c Min unsat cost LB: 170859 ... c Min unsat cost LB: 170862 ... c Min unsat cost LB: 170863 ... c Min unsat cost LB: 170864 ... c Min unsat cost LB: 170865 ... c Min unsat cost LB: 170867 ... c Min unsat cost LB: 170869 ... c Min unsat cost LB: 170870 ... c Min unsat cost LB: 171717 ... c Min unsat cost LB: 171852 ... c Min unsat cost LB: 171854 ... c Min unsat cost LB: 171855 ... c Min unsat cost LB: 171905 ... c Min unsat cost LB: 171991 ... c Min unsat cost LB: 171993 ... c Min unsat cost LB: 171995 ... c Min unsat cost LB: 171996 ... c Min unsat cost LB: 171997 ... c Min unsat cost LB: 171999 ... c Min unsat cost LB: 172000 ... c Min unsat cost LB: 172001 ... c Min unsat cost LB: 172002 ... c Min unsat cost LB: 172010 ... c Min unsat cost LB: 172011 ... c Min unsat cost LB: 172022 ... c Min unsat cost LB: 172023 ... c Min unsat cost LB: 172025 ... c Min unsat cost LB: 172028 ... c Min unsat cost LB: 172073 ... c Min unsat cost LB: 172074 ... c Min unsat cost LB: 172078 ... c Min unsat cost LB: 172085 ... c Min unsat cost LB: 172086 ... c Min unsat cost LB: 172087 ... c Min unsat cost LB: 172100 ... c Min unsat cost LB: 172126 ... c Min unsat cost LB: 172165 ... c Min unsat cost LB: 172167 ... c Min unsat cost LB: 172206 ... c Min unsat cost LB: 172207 ... c Min unsat cost LB: 172233 ... c Min unsat cost LB: 172234 ... c Min unsat cost LB: 172247 ... c Min unsat cost LB: 172472 ... c Min unsat cost LB: 172475 ... c Min unsat cost LB: 172478 ... c Min unsat cost LB: 172488 ... c Min unsat cost LB: 172526 ... c Min unsat cost LB: 172527 ... c Min unsat cost LB: 172528 ... c Min unsat cost LB: 172529 ... c Min unsat cost LB: 172798 ... c Min unsat cost LB: 172799 ... c Min unsat cost LB: 172800 ... c Min unsat cost LB: 172802 ... c Min unsat cost LB: 172803 ... c Min unsat cost LB: 173581 ... c Min unsat cost LB: 173630 ... c Min unsat cost LB: 173902 ... c Min unsat cost LB: 173958 ... c Min unsat cost LB: 174089 ... c Min unsat cost LB: 174257 ... c Min unsat cost LB: 175813 ... c Min unsat cost LB: 175843 ... c Min unsat cost LB: 175869 ... c Min unsat cost LB: 175870 ... c Min unsat cost LB: 175871 ... c Min unsat cost LB: 175892 ... c Min unsat cost LB: 175971 ... c Min unsat cost LB: 176096 ... c Min unsat cost LB: 176375 ... c Min unsat cost LB: 176590 ... c Min unsat cost LB: 176771 ... c Min unsat cost LB: 176927 ... c Min unsat cost LB: 176940 ... c Min unsat cost LB: 177128 ... c Min unsat cost LB: 177771 ... c Min unsat cost LB: 178012 ... c Min unsat cost LB: 178246 ... c Min unsat cost LB: 178266 ... c Min unsat cost LB: 178440 ... c Min unsat cost LB: 178632 ... c Min unsat cost LB: 178870 ... c Min unsat cost LB: 179109 ... c Min unsat cost LB: 179123 ... c Min unsat cost LB: 179473 ... c Min unsat cost LB: 179827 ... c Min unsat cost LB: 179828 ... c Min unsat cost LB: 179829 ... c Min unsat cost LB: 179830 ... c Min unsat cost LB: 179831 ... c Min unsat cost LB: 179833 ... c Min unsat cost LB: 179834 ... c Min unsat cost LB: 179835 ... c Min unsat cost LB: 179836 ... c Min unsat cost LB: 179837 ... c Min unsat cost LB: 179838 ... c Min unsat cost LB: 179934 ... c Min unsat cost LB: 179947 ... c Min unsat cost LB: 180880 ... c Min unsat cost LB: 180921 ... c Min unsat cost LB: 181213 ... c Min unsat cost LB: 181266 ... c Min unsat cost LB: 181345 ... c Min unsat cost LB: 181358 ... c Min unsat cost LB: 181408 ... c Min unsat cost LB: 181545 ... c Min unsat cost LB: 182449 ... c Min unsat cost LB: 182520 ... c Min unsat cost LB: 182785 ... c Min unsat cost LB: 183075 ... c Min unsat cost LB: 183711 ... c Min unsat cost LB: 184396 ... c Min unsat cost LB: 184646 ... c Min unsat cost LB: 184732 ... c Min unsat cost LB: 184751 ... c Min unsat cost LB: 184774 ... c Min unsat cost LB: 184916 ... c Min unsat cost LB: 185762 ... c Min unsat cost LB: 186271 ... c Min unsat cost LB: 186672 ... c Min unsat cost LB: 186673 ... c Min unsat cost LB: 186684 ... c Min unsat cost LB: 186983 ... c Min unsat cost LB: 187492 ... c Min unsat cost LB: 187493 ... c Min unsat cost LB: 187494 ... c Min unsat cost LB: 187495 ... c Min unsat cost LB: 187574 ... c Min unsat cost LB: 187587 ... c Min unsat cost LB: 187817 ... c Min unsat cost LB: 188151 ... c Min unsat cost LB: 188193 ... c Min unsat cost LB: 188359 ... c Min unsat cost LB: 188360 ... c Min unsat cost LB: 188364 ... c Min unsat cost LB: 188365 ... c Min unsat cost LB: 188366 ... c Min unsat cost LB: 188367 ... c Min unsat cost LB: 188368 ... c Min unsat cost LB: 188369 ... c Min unsat cost LB: 188382 ... c Min unsat cost LB: 188470 ... c Min unsat cost LB: 188859 ... c Min unsat cost LB: 189619 ... c Min unsat cost LB: 189778 ... c Min unsat cost LB: 189907 ... c Min unsat cost LB: 190094 ... c Min unsat cost LB: 190095 ... c Min unsat cost LB: 190096 ... c Min unsat cost LB: 190097 ... c Min unsat cost LB: 190098 ... c Min unsat cost LB: 190099 ... c Min unsat cost LB: 190100 ... c Min unsat cost LB: 190101 ... c Min unsat cost LB: 190228 ... c Min unsat cost LB: 190229 ... c Min unsat cost LB: 190241 ... c Min unsat cost LB: 190246 ... c Min unsat cost LB: 190254 ... c Min unsat cost LB: 191239 ... c Min unsat cost LB: 191384 ... c Min unsat cost LB: 191589 ... c Min unsat cost LB: 192407 ... c Min unsat cost LB: 192499 ... c Min unsat cost LB: 192685 ... c Min unsat cost LB: 192708 ... c Min unsat cost LB: 192929 ... c Min unsat cost LB: 192945 ... c Min unsat cost LB: 193020 ... c Min unsat cost LB: 193032 ... c Min unsat cost LB: 193327 ... c Min unsat cost LB: 193347 ... c Min unsat cost LB: 193468 ... c Min unsat cost LB: 193570 ... c Min unsat cost LB: 193596 ... c Min unsat cost LB: 194040 ... c Min unsat cost LB: 194306 ... c Min unsat cost LB: 194505 ... c Min unsat cost LB: 194580 ... c Min unsat cost LB: 194923 ... c Min unsat cost LB: 194946 ... c Min unsat cost LB: 195080 ... c Min unsat cost LB: 195084 ... c Min unsat cost LB: 195761 ... c Min unsat cost LB: 195859 ... c Min unsat cost LB: 195879 ... c Min unsat cost LB: 196026 ... c Min unsat cost LB: 196101 ... c Min unsat cost LB: 196230 ... c Min unsat cost LB: 196434 ... c Min unsat cost LB: 196500 ... c Min unsat cost LB: 197082 ... c Min unsat cost LB: 197094 ... c Min unsat cost LB: 197621 ... c Min unsat cost LB: 197673 ... c Min unsat cost LB: 197739 ... c Min unsat cost LB: 197762 ... c Min unsat cost LB: 197818 ... c Min unsat cost LB: 197866 ... c Min unsat cost LB: 197959 ... c Min unsat cost LB: 198011 ... c Min unsat cost LB: 198016 ... c Min unsat cost LB: 198598 ... c Min unsat cost LB: 198602 ... c Min unsat cost LB: 198606 ... c Min unsat cost LB: 198609 ... c Min unsat cost LB: 198682 ... c Min unsat cost LB: 199457 ... c Min unsat cost LB: 199851 ... c Min unsat cost LB: 200481 ... c Min unsat cost LB: 200497 ... c Min unsat cost LB: 200504 ... c Min unsat cost LB: 200508 ... c Min unsat cost LB: 200512 ... c Min unsat cost LB: 200524 ... c Min unsat cost LB: 200560 ... c Min unsat cost LB: 200603 ... c Min unsat cost LB: 200608 ... c Min unsat cost LB: 200612 ... c Min unsat cost LB: 200617 ... c Min unsat cost LB: 200719 ... c Min unsat cost LB: 201292 ... c Min unsat cost LB: 201295 ... c Min unsat cost LB: 201302 ... c Min unsat cost LB: 201307 ... c Min unsat cost LB: 201313 ... c Min unsat cost LB: 201315 ... c Min unsat cost LB: 201316 ... c Min unsat cost LB: 201352 ... c Min unsat cost LB: 201354 ... c Min unsat cost LB: 201359 ... c Min unsat cost LB: 201360 ... c Min unsat cost LB: 201362 ... c Min unsat cost LB: 201363 ... c Min unsat cost LB: 201388 ... c Min unsat cost LB: 201392 ... c Min unsat cost LB: 201396 ... c Min unsat cost LB: 201408 ... c Min unsat cost LB: 201421 ... c Min unsat cost LB: 201422 ... c Min unsat cost LB: 201424 ... c Min unsat cost LB: 201425 ... c Min unsat cost LB: 201426 ... c Min unsat cost LB: 201427 ... c Min unsat cost LB: 201428 ... c Min unsat cost LB: 201429 ... c Min unsat cost LB: 201430 ... c Min unsat cost LB: 201459 ... c Min unsat cost LB: 201463 ... c Min unsat cost LB: 201471 ... c Min unsat cost LB: 201483 ... c Min unsat cost LB: 201491 ... c Min unsat cost LB: 202003 ... c Min unsat cost LB: 202445 ... c Min unsat cost LB: 202688 ... c Min unsat cost LB: 202997 ... c Min unsat cost LB: 203320 ... c Min unsat cost LB: 203418 ... c Min unsat cost LB: 203547 ... c Min unsat cost LB: 203878 ... c Min unsat cost LB: 203879 ... c Min unsat cost LB: 203880 ... c Min unsat cost LB: 203881 ... c Min unsat cost LB: 203882 ... c Min unsat cost LB: 203883 ... c Min unsat cost LB: 203886 ... c Min unsat cost LB: 203887 ... c Min unsat cost LB: 203888 ... c Min unsat cost LB: 203889 ... c Min unsat cost LB: 203890 ... c Min unsat cost LB: 203892 ... c Min unsat cost LB: 203893 ... c Min unsat cost LB: 203894 ... c Min unsat cost LB: 203895 ... c Min unsat cost LB: 203896 ... c Min unsat cost LB: 203897 ... c Min unsat cost LB: 203898 ... c Min unsat cost LB: 203899 ... c Min unsat cost LB: 203900 ... c Min unsat cost LB: 203901 ... c Min unsat cost LB: 203902 ... c Min unsat cost LB: 203904 ... c Min unsat cost LB: 203905 ... c Min unsat cost LB: 203906 ... c Min unsat cost LB: 203907 ... c Min unsat cost LB: 203909 ... c Min unsat cost LB: 203911 ... c Min unsat cost LB: 204551 ... c Min unsat cost LB: 204593 ... c Min unsat cost LB: 205027 ... c Min unsat cost LB: 205660 ... c Min unsat cost LB: 205661 ... c Min unsat cost LB: 205662 ... c Min unsat cost LB: 205782 ... c Min unsat cost LB: 205937 ... c Min unsat cost LB: 205938 ... c Min unsat cost LB: 206057 ... c Min unsat cost LB: 207185 ... c Min unsat cost LB: 207219 ... c Min unsat cost LB: 207312 ... c Min unsat cost LB: 207313 ... c Min unsat cost LB: 207314 ... c Min unsat cost LB: 207315 ... c Min unsat cost LB: 207316 ... c Min unsat cost LB: 207317 ... c Min unsat cost LB: 207318 ... c Min unsat cost LB: 207319 ... c Min unsat cost LB: 207320 ... c Min unsat cost LB: 207321 ... c Min unsat cost LB: 207322 ... c Min unsat cost LB: 207323 ... c Min unsat cost LB: 207324 ... c Min unsat cost LB: 207325 ... c Min unsat cost LB: 207326 ... c Min unsat cost LB: 207327 ... c Min unsat cost LB: 207328 ... c Min unsat cost LB: 207329 ... c Min unsat cost LB: 207330 ... c Min unsat cost LB: 207331 ... c Min unsat cost LB: 207340 ... c Min unsat cost LB: 207342 ... c Min unsat cost LB: 207343 ... c Min unsat cost LB: 207344 ... c Min unsat cost LB: 207345 ... c Min unsat cost LB: 207346 ... c Min unsat cost LB: 207347 ... c Min unsat cost LB: 207348 ... c Min unsat cost LB: 207786 ... c Min unsat cost LB: 207787 ... c Min unsat cost LB: 207812 ... c Min unsat cost LB: 207813 ... c Min unsat cost LB: 207814 ... c Min unsat cost LB: 207815 ... c Min unsat cost LB: 207816 ... c Min unsat cost LB: 207817 ... c Min unsat cost LB: 207818 ... c Min unsat cost LB: 207819 ... c Min unsat cost LB: 208332 ... c Min unsat cost LB: 208333 ... c Min unsat cost LB: 208334 ... c Min unsat cost LB: 208335 ... c Min unsat cost LB: 208349 ... c Min unsat cost LB: 208355 ... c Min unsat cost LB: 208364 ... c Min unsat cost LB: 208367 ... c Min unsat cost LB: 208372 ... c Min unsat cost LB: 208373 ... c Min unsat cost LB: 208374 ... c Min unsat cost LB: 208375 ... c Min unsat cost LB: 208376 ... c Min unsat cost LB: 208377 ... c Min unsat cost LB: 208378 ... c Min unsat cost LB: 208379 ... c Min unsat cost LB: 208380 ... c Min unsat cost LB: 208381 ... c Min unsat cost LB: 208382 ... c Min unsat cost LB: 208383 ... c Min unsat cost LB: 208384 ... c Min unsat cost LB: 208385 ... c Min unsat cost LB: 208386 ... c Min unsat cost LB: 208387 ... c Min unsat cost LB: 208388 ... c Min unsat cost LB: 208389 ... c Min unsat cost LB: 208402 ... c Min unsat cost LB: 208403 ... c Min unsat cost LB: 208404 ... c Min unsat cost LB: 208405 ... c Min unsat cost LB: 208406 ... c Min unsat cost LB: 208407 ... c Min unsat cost LB: 208408 ... c Min unsat cost LB: 208409 ... c Min unsat cost LB: 208410 ... c Min unsat cost LB: 208411 ... c Min unsat cost LB: 208418 ... c Min unsat cost LB: 208419 ... c Min unsat cost LB: 208421 ... c Min unsat cost LB: 208422 ... c Min unsat cost LB: 208424 ... c Min unsat cost LB: 208425 ... c Min unsat cost LB: 208426 ... c Min unsat cost LB: 208429 ... c Min unsat cost LB: 208435 ... c Min unsat cost LB: 208438 ... c Min unsat cost LB: 208439 ... c Min unsat cost LB: 208440 ... c Min unsat cost LB: 208462 ... c Min unsat cost LB: 208466 ... c Min unsat cost LB: 208468 ... c Min unsat cost LB: 208469 ... c Min unsat cost LB: 208474 ... c Min unsat cost LB: 208475 ... c Min unsat cost LB: 208477 ... c Min unsat cost LB: 208484 ... c Min unsat cost Killed 1811.371u 8.370s 30:23.09 99.8% 0+0k 0+0io 0pf+0w