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-280-1_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-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-280-1_network-7.net.wcnf *** c c Min unsat cost LB: 696 ... c Min unsat cost LB: 1825 ... c Min unsat cost LB: 2022 ... c Min unsat cost LB: 3283 ... c Min unsat cost LB: 3793 ... c Min unsat cost LB: 4025 ... c Min unsat cost LB: 4870 ... c Min unsat cost LB: 5539 ... c Min unsat cost LB: 6981 ... c Min unsat cost LB: 7597 ... c Min unsat cost LB: 7644 ... c Min unsat cost LB: 8216 ... c Min unsat cost LB: 8629 ... c Min unsat cost LB: 9965 ... c Min unsat cost LB: 11140 ... c Min unsat cost LB: 12777 ... c Min unsat cost LB: 14323 ... c Min unsat cost LB: 14528 ... c Min unsat cost LB: 15487 ... c Min unsat cost LB: 16022 ... c Min unsat cost LB: 17038 ... c Min unsat cost LB: 18362 ... c Min unsat cost LB: 19214 ... c Min unsat cost LB: 19471 ... c Min unsat cost LB: 19733 ... c Min unsat cost LB: 20852 ... c Min unsat cost LB: 21516 ... c Min unsat cost LB: 22348 ... c Min unsat cost LB: 22940 ... c Min unsat cost LB: 22988 ... c Min unsat cost LB: 23079 ... c Min unsat cost LB: 24341 ... c Min unsat cost LB: 25080 ... c Min unsat cost LB: 25137 ... c Min unsat cost LB: 25477 ... c Min unsat cost LB: 26273 ... c Min unsat cost LB: 27124 ... c Min unsat cost LB: 27608 ... c Min unsat cost LB: 28526 ... c Min unsat cost LB: 28896 ... c Min unsat cost LB: 29592 ... c Min unsat cost LB: 30119 ... c Min unsat cost LB: 30121 ... c Min unsat cost LB: 30122 ... c Min unsat cost LB: 31925 ... c Min unsat cost LB: 32027 ... c Min unsat cost LB: 33059 ... c Min unsat cost LB: 34731 ... c Min unsat cost LB: 35746 ... c Min unsat cost LB: 36744 ... c Min unsat cost LB: 36883 ... c Min unsat cost LB: 37987 ... c Min unsat cost LB: 38022 ... c Min unsat cost LB: 38589 ... c Min unsat cost LB: 38876 ... c Min unsat cost LB: 39247 ... c Min unsat cost LB: 40842 ... c Min unsat cost LB: 41216 ... c Min unsat cost LB: 41717 ... c Min unsat cost LB: 42437 ... c Min unsat cost LB: 42740 ... c Min unsat cost LB: 42874 ... c Min unsat cost LB: 44183 ... c Min unsat cost LB: 45458 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48726 ... c Min unsat cost LB: 49627 ... c Min unsat cost LB: 49781 ... c Min unsat cost LB: 50036 ... c Min unsat cost LB: 50059 ... c Min unsat cost LB: 50135 ... c Min unsat cost LB: 50178 ... c Min unsat cost LB: 50215 ... c Min unsat cost LB: 50237 ... c Min unsat cost LB: 50261 ... c Min unsat cost LB: 50293 ... c Min unsat cost LB: 50493 ... c Min unsat cost LB: 50952 ... c Min unsat cost LB: 51289 ... c Min unsat cost LB: 51623 ... c Min unsat cost LB: 51811 ... c Min unsat cost LB: 52671 ... c Min unsat cost LB: 52723 ... c Min unsat cost LB: 53098 ... c Min unsat cost LB: 54432 ... c Min unsat cost LB: 54656 ... c Min unsat cost LB: 55040 ... c Min unsat cost LB: 55061 ... c Min unsat cost LB: 55226 ... c Min unsat cost LB: 55389 ... c Min unsat cost LB: 56195 ... c Min unsat cost LB: 56869 ... c Min unsat cost LB: 57402 ... c Min unsat cost LB: 57951 ... c Min unsat cost LB: 58869 ... c Min unsat cost LB: 59649 ... c Min unsat cost LB: 60251 ... c Min unsat cost LB: 60518 ... c Min unsat cost LB: 60669 ... c Min unsat cost LB: 60875 ... c Min unsat cost LB: 60883 ... c Min unsat cost LB: 60966 ... c Min unsat cost LB: 61539 ... c Min unsat cost LB: 61742 ... c Min unsat cost LB: 62106 ... c Min unsat cost LB: 62457 ... c Min unsat cost LB: 62853 ... c Min unsat cost LB: 63286 ... c Min unsat cost LB: 63338 ... c Min unsat cost LB: 63686 ... c Min unsat cost LB: 64254 ... c Min unsat cost LB: 65025 ... c Min unsat cost LB: 65486 ... c Min unsat cost LB: 66446 ... c Min unsat cost LB: 66998 ... c Min unsat cost LB: 67054 ... c Min unsat cost LB: 67654 ... c Min unsat cost LB: 67904 ... c Min unsat cost LB: 68052 ... c Min unsat cost LB: 68155 ... c Min unsat cost LB: 68244 ... c Min unsat cost LB: 68251 ... c Min unsat cost LB: 68888 ... c Min unsat cost LB: 69059 ... c Min unsat cost LB: 69256 ... c Min unsat cost LB: 69400 ... c Min unsat cost LB: 69659 ... c Min unsat cost LB: 70373 ... c Min unsat cost LB: 70428 ... c Min unsat cost LB: 70845 ... c Min unsat cost LB: 71789 ... c Min unsat cost LB: 72180 ... c Min unsat cost LB: 72210 ... c Min unsat cost LB: 72384 ... c Min unsat cost LB: 72663 ... c Min unsat cost LB: 72933 ... c Min unsat cost LB: 73095 ... c Min unsat cost LB: 73556 ... c Min unsat cost LB: 74393 ... c Min unsat cost LB: 74756 ... c Min unsat cost LB: 74757 ... c Min unsat cost LB: 75012 ... c Min unsat cost LB: 75074 ... c Min unsat cost LB: 75776 ... c Min unsat cost LB: 75862 ... c Min unsat cost LB: 76161 ... c Min unsat cost LB: 76241 ... c Min unsat cost LB: 76599 ... c Min unsat cost LB: 77212 ... c Min unsat cost LB: 77313 ... c Min unsat cost LB: 77334 ... c Min unsat cost LB: 77580 ... c Min unsat cost LB: 78166 ... c Min unsat cost LB: 78490 ... c Min unsat cost LB: 78686 ... c Min unsat cost LB: 78728 ... c Min unsat cost LB: 79253 ... c Min unsat cost LB: 79500 ... c Min unsat cost LB: 79545 ... c Min unsat cost LB: 79620 ... c Min unsat cost LB: 79797 ... c Min unsat cost LB: 79963 ... c Min unsat cost LB: 80365 ... c Min unsat cost LB: 80642 ... c Min unsat cost LB: 80706 ... c Min unsat cost LB: 81174 ... c Min unsat cost LB: 81254 ... c Min unsat cost LB: 81511 ... c Min unsat cost LB: 81604 ... c Min unsat cost LB: 81834 ... c Min unsat cost LB: 82018 ... c Min unsat cost LB: 82122 ... c Min unsat cost LB: 82711 ... c Min unsat cost LB: 82853 ... c Min unsat cost LB: 83142 ... c Min unsat cost LB: 83190 ... c Min unsat cost LB: 83333 ... c Min unsat cost LB: 83350 ... c Min unsat cost LB: 83788 ... c Min unsat cost LB: 84381 ... c Min unsat cost LB: 84459 ... c Min unsat cost LB: 85271 ... c Min unsat cost LB: 85662 ... c Min unsat cost LB: 85730 ... c Min unsat cost LB: 86010 ... c Min unsat cost LB: 86043 ... c Min unsat cost LB: 86070 ... c Min unsat cost LB: 86092 ... c Min unsat cost LB: 86163 ... c Min unsat cost LB: 86225 ... c Min unsat cost LB: 86714 ... c Min unsat cost LB: 86787 ... c Min unsat cost LB: 87151 ... c Min unsat cost LB: 87343 ... c Min unsat cost LB: 88153 ... c Min unsat cost LB: 88244 ... c Min unsat cost LB: 88631 ... c Min unsat cost LB: 88822 ... c Min unsat cost LB: 88823 ... c Min unsat cost LB: 89037 ... c Min unsat cost LB: 89242 ... c Min unsat cost LB: 89443 ... c Min unsat cost LB: 89776 ... c Min unsat cost LB: 90148 ... c Min unsat cost LB: 90156 ... c Min unsat cost LB: 90202 ... c Min unsat cost LB: 90961 ... c Min unsat cost LB: 91660 ... c Min unsat cost LB: 91912 ... c Min unsat cost LB: 92017 ... c Min unsat cost LB: 92072 ... c Min unsat cost LB: 92446 ... c Min unsat cost LB: 92488 ... c Min unsat cost LB: 92503 ... c Min unsat cost LB: 93130 ... c Min unsat cost LB: 93379 ... c Min unsat cost LB: 93554 ... c Min unsat cost LB: 94302 ... c Min unsat cost LB: 94408 ... c Min unsat cost LB: 94490 ... c Min unsat cost LB: 95864 ... c Min unsat cost LB: 95919 ... c Min unsat cost LB: 96115 ... c Min unsat cost LB: 96310 ... c Min unsat cost LB: 96416 ... c Min unsat cost LB: 97169 ... c Min unsat cost LB: 97618 ... c Min unsat cost LB: 98051 ... c Min unsat cost LB: 98164 ... c Min unsat cost LB: 98423 ... c Min unsat cost LB: 98669 ... c Min unsat cost LB: 98804 ... c Min unsat cost LB: 98959 ... c Min unsat cost LB: 98963 ... c Min unsat cost LB: 99250 ... c Min unsat cost LB: 99560 ... c Min unsat cost LB: 100032 ... c Min unsat cost LB: 100102 ... c Min unsat cost LB: 100160 ... c Min unsat cost LB: 100182 ... c Min unsat cost LB: 100183 ... c Min unsat cost LB: 100730 ... c Min unsat cost LB: 100841 ... c Min unsat cost LB: 100858 ... c Min unsat cost LB: 102036 ... c Min unsat cost LB: 102192 ... c Min unsat cost LB: 102366 ... c Min unsat cost LB: 102375 ... c Min unsat cost LB: 102447 ... c Min unsat cost LB: 102482 ... c Min unsat cost LB: 102573 ... c Min unsat cost LB: 102629 ... c Min unsat cost LB: 102797 ... c Min unsat cost LB: 102885 ... c Min unsat cost LB: 102898 ... c Min unsat cost LB: 102947 ... c Min unsat cost LB: 102976 ... c Min unsat cost LB: 102988 ... c Min unsat cost LB: 103666 ... c Min unsat cost LB: 103884 ... c Min unsat cost LB: 103959 ... c Min unsat cost LB: 103964 ... c Min unsat cost LB: 104014 ... c Min unsat cost LB: 104285 ... c Min unsat cost LB: 104386 ... c Min unsat cost LB: 104422 ... c Min unsat cost LB: 104444 ... c Min unsat cost LB: 104453 ... c Min unsat cost LB: 104509 ... c Min unsat cost LB: 105314 ... c Min unsat cost LB: 105332 ... c Min unsat cost LB: 105337 ... c Min unsat cost LB: 105357 ... c Min unsat cost LB: 105711 ... c Min unsat cost LB: 105847 ... c Min unsat cost LB: 105990 ... c Min unsat cost LB: 106121 ... c Min unsat cost LB: 106132 ... c Min unsat cost LB: 106596 ... c Min unsat cost LB: 107408 ... c Min unsat cost LB: 107799 ... c Min unsat cost LB: 107836 ... c Min unsat cost LB: 109225 ... c Min unsat cost LB: 109236 ... c Min unsat cost LB: 109327 ... c Min unsat cost LB: 110102 ... c Min unsat cost LB: 110354 ... c Min unsat cost LB: 111628 ... c Min unsat cost LB: 112060 ... c Min unsat cost LB: 112135 ... c Min unsat cost LB: 112285 ... c Min unsat cost LB: 112868 ... c Min unsat cost LB: 113140 ... c Min unsat cost LB: 113238 ... c Min unsat cost LB: 113903 ... c Min unsat cost LB: 113966 ... c Min unsat cost LB: 114338 ... c Min unsat cost LB: 114524 ... c Min unsat cost LB: 114694 ... c Min unsat cost LB: 115021 ... c Min unsat cost LB: 115036 ... c Min unsat cost LB: 115191 ... c Min unsat cost LB: 115489 ... c Min unsat cost LB: 115867 ... c Min unsat cost LB: 116445 ... c Min unsat cost LB: 117052 ... c Min unsat cost LB: 117869 ... c Min unsat cost LB: 117970 ... c Min unsat cost LB: 118442 ... c Min unsat cost LB: 119226 ... c Min unsat cost LB: 119443 ... c Min unsat cost LB: 119920 ... c Min unsat cost LB: 120120 ... c Min unsat cost LB: 120219 ... c Min unsat cost LB: 120250 ... c Min unsat cost LB: 120268 ... c Min unsat cost LB: 120487 ... c Min unsat cost LB: 121068 ... c Min unsat cost LB: 121108 ... c Min unsat cost LB: 121156 ... c Min unsat cost LB: 121201 ... c Min unsat cost LB: 121223 ... c Min unsat cost LB: 121355 ... c Min unsat cost LB: 121555 ... c Min unsat cost LB: 121625 ... c Min unsat cost LB: 121652 ... c Min unsat cost LB: 121669 ... c Min unsat cost LB: 122134 ... c Min unsat cost LB: 122391 ... c Min unsat cost LB: 122475 ... c Min unsat cost LB: 123341 ... c Min unsat cost LB: 123368 ... c Min unsat cost LB: 123446 ... c Min unsat cost LB: 123478 ... c Min unsat cost LB: 123484 ... c Min unsat cost LB: 123487 ... c Min unsat cost LB: 123490 ... c Min unsat cost LB: 123491 ... c Min unsat cost LB: 123502 ... c Min unsat cost LB: 123504 ... c Min unsat cost LB: 123514 ... c Min unsat cost LB: 123520 ... c Min unsat cost LB: 123547 ... c Min unsat cost LB: 123557 ... c Min unsat cost LB: 123653 ... c Min unsat cost LB: 123659 ... c Min unsat cost LB: 123662 ... c Min unsat cost LB: 123668 ... c Min unsat cost LB: 123693 ... c Min unsat cost LB: 123701 ... c Min unsat cost LB: 123708 ... c Min unsat cost LB: 124058 ... c Min unsat cost LB: 124626 ... c Min unsat cost LB: 124683 ... c Min unsat cost LB: 125434 ... c Min unsat cost LB: 125443 ... c Min unsat cost LB: 125471 ... c Min unsat cost LB: 125629 ... c Min unsat cost LB: 125649 ... c Min unsat cost LB: 125681 ... c Min unsat cost LB: 125815 ... c Min unsat cost LB: 126382 ... c Min unsat cost LB: 126423 ... c Min unsat cost LB: 126569 ... c Min unsat cost LB: 127210 ... c Min unsat cost LB: 127347 ... c Min unsat cost LB: 127408 ... c Min unsat cost LB: 127531 ... c Min unsat cost LB: 128465 ... c Min unsat cost LB: 128574 ... c Min unsat cost LB: 129022 ... c Min unsat cost LB: 129119 ... c Min unsat cost LB: 129128 ... c Min unsat cost LB: 129192 ... c Min unsat cost LB: 129360 ... c Min unsat cost LB: 129453 ... c Min unsat cost LB: 129493 ... c Min unsat cost LB: 130095 ... c Min unsat cost LB: 130130 ... c Min unsat cost LB: 130296 ... c Min unsat cost LB: 131217 ... c Min unsat cost LB: 132133 ... c Min unsat cost LB: 132136 ... c Min unsat cost LB: 132416 ... c Min unsat cost LB: 132671 ... c Min unsat cost LB: 132815 ... c Min unsat cost LB: 132991 ... c Min unsat cost LB: 133140 ... c Min unsat cost LB: 133144 ... c Min unsat cost LB: 133264 ... c Min unsat cost LB: 134255 ... c Min unsat cost LB: 134387 ... c Min unsat cost LB: 134904 ... c Min unsat cost LB: 135002 ... c Min unsat cost LB: 135559 ... c Min unsat cost LB: 136403 ... c Min unsat cost LB: 136607 ... c Min unsat cost LB: 137177 ... c Min unsat cost LB: 137415 ... c Min unsat cost LB: 137991 ... c Min unsat cost LB: 138190 ... c Min unsat cost LB: 138231 ... c Min unsat cost LB: 138340 ... c Min unsat cost LB: 138461 ... c Min unsat cost LB: 138859 ... c Min unsat cost LB: 139511 ... c Min unsat cost LB: 139512 ... c Min unsat cost LB: 139604 ... c Min unsat cost LB: 139913 ... c Min unsat cost LB: 140078 ... c Min unsat cost LB: 140164 ... c Min unsat cost LB: 140227 ... c Min unsat cost LB: 140399 ... c Min unsat cost LB: 140440 ... c Min unsat cost LB: 140543 ... c Min unsat cost LB: 141616 ... c Min unsat cost LB: 141626 ... c Min unsat cost LB: 141629 ... c Min unsat cost LB: 141668 ... c Min unsat cost LB: 141838 ... c Min unsat cost LB: 141843 ... c Min unsat cost LB: 141850 ... c Min unsat cost LB: 142350 ... c Min unsat cost LB: 142749 ... c Min unsat cost LB: 142766 ... c Min unsat cost LB: 142875 ... c Min unsat cost LB: 143876 ... c Min unsat cost LB: 144160 ... c Min unsat cost LB: 144455 ... c Min unsat cost LB: 144489 ... c Min unsat cost LB: 144547 ... c Min unsat cost LB: 144570 ... c Min unsat cost LB: 144571 ... c Min unsat cost LB: 144573 ... c Min unsat cost LB: 144579 ... c Min unsat cost LB: 144595 ... c Min unsat cost LB: 144601 ... c Min unsat cost LB: 144609 ... c Min unsat cost LB: 144614 ... c Min unsat cost LB: 144615 ... c Min unsat cost LB: 144619 ... c Min unsat cost LB: 144634 ... c Min unsat cost LB: 144635 ... c Min unsat cost LB: 144643 ... c Min unsat cost LB: 144644 ... c Min unsat cost LB: 144652 ... c Min unsat cost LB: 144656 ... c Min unsat cost LB: 144659 ... c Min unsat cost LB: 144660 ... c Min unsat cost LB: 144661 ... c Min unsat cost LB: 144665 ... c Min unsat cost LB: 144666 ... c Min unsat cost LB: 144677 ... c Min unsat cost LB: 144679 ... c Min unsat cost LB: 144683 ... c Min unsat cost LB: 144685 ... c Min unsat cost LB: 144686 ... c Min unsat cost LB: 144687 ... c Min unsat cost LB: 144706 ... c Min unsat cost LB: 144749 ... c Min unsat cost LB: 144753 ... c Min unsat cost LB: 144754 ... c Min unsat cost LB: 144755 ... c Min unsat cost LB: 144756 ... c Min unsat cost LB: 144769 ... c Min unsat cost LB: 144799 ... c Min unsat cost LB: 144802 ... c Min unsat cost LB: 144803 ... c Min unsat cost LB: 144805 ... c Min unsat cost LB: 144806 ... c Min unsat cost LB: 144817 ... c Min unsat cost LB: 144825 ... c Min unsat cost LB: 144832 ... c Min unsat cost LB: 144843 ... c Min unsat cost LB: 144851 ... c Min unsat cost LB: 144852 ... c Min unsat cost LB: 144855 ... c Min unsat cost LB: 144858 ... c Min unsat cost LB: 144862 ... c Min unsat cost LB: 144865 ... c Min unsat cost LB: 144870 ... c Min unsat cost LB: 144886 ... c Min unsat cost LB: 144917 ... c Min unsat cost LB: 145529 ... c Min unsat cost LB: 145897 ... c Min unsat cost LB: 146073 ... c Min unsat cost LB: 146127 ... c Min unsat cost LB: 146481 ... c Min unsat cost LB: 146643 ... c Min unsat cost LB: 146657 ... c Min unsat cost LB: 146704 ... c Min unsat cost LB: 146766 ... c Min unsat cost LB: 146814 ... c Min unsat cost LB: 146960 ... c Min unsat cost LB: 146996 ... c Min unsat cost LB: 147813 ... c Min unsat cost LB: 147920 ... c Min unsat cost LB: 148012 ... c Min unsat cost LB: 148106 ... c Min unsat cost LB: 148198 ... c Min unsat cost LB: 148694 ... c Min unsat cost LB: 148770 ... c Min unsat cost LB: 148953 ... c Min unsat cost LB: 148969 ... c Min unsat cost LB: 148986 ... c Min unsat cost LB: 149075 ... c Min unsat cost LB: 149158 ... c Min unsat cost LB: 149179 ... c Min unsat cost LB: 149288 ... c Min unsat cost LB: 149954 ... c Min unsat cost LB: 150014 ... c Min unsat cost LB: 150197 ... c Min unsat cost LB: 150680 ... c Min unsat cost LB: 151136 ... c Min unsat cost LB: 151780 ... c Min unsat cost LB: 151794 ... c Min unsat cost LB: 151828 ... c Min unsat cost LB: 151846 ... c Min unsat cost LB: 151874 ... c Min unsat cost LB: 151880 ... c Min unsat cost LB: 151916 ... c Min unsat cost LB: 151980 ... c Min unsat cost LB: 152637 ... c Min unsat cost LB: 152776 ... c Min unsat cost LB: 152787 ... c Min unsat cost LB: 152833 ... c Min unsat cost LB: 153288 ... c Min unsat cost LB: 153293 ... c Min unsat cost LB: 153295 ... c Min unsat cost LB: 153296 ... c Min unsat cost LB: 153327 ... c Min unsat cost LB: 153507 ... c Min unsat cost LB: 154804 ... c Min unsat cost LB: 154985 ... c Min unsat cost LB: 155100 ... c Min unsat cost LB: 155242 ... c Min unsat cost LB: 155397 ... c Min unsat cost LB: 155416 ... c Min unsat cost LB: 155925 ... c Min unsat cost LB: 156166 ... c Min unsat cost LB: 156181 ... c Min unsat cost LB: 156617 ... c Min unsat cost LB: 156768 ... c Min unsat cost LB: 157351 ... c Min unsat cost LB: 157362 ... c Min unsat cost LB: 157682 ... c Min unsat cost LB: 157693 ... c Min unsat cost LB: 157717 ... c Min unsat cost LB: 158215 ... c Min unsat cost LB: 158330 ... c Min unsat cost LB: 158417 ... c Min unsat cost LB: 158556 ... c Min unsat cost LB: 158936 ... c Min unsat cost LB: 160641 ... c Min unsat cost LB: 160776 ... c Min unsat cost LB: 160952 ... c Min unsat cost LB: 161363 ... c Min unsat cost LB: 162564 ... c Min unsat cost LB: 162684 ... c Min unsat cost LB: 163753 ... c Min unsat cost LB: 164084 ... c Min unsat cost LB: 164383 ... c Min unsat cost LB: 164465 ... c Min unsat cost LB: 164728 ... c Min unsat cost LB: 165086 ... c Min unsat cost LB: 165432 ... c Min unsat cost LB: 165476 ... c Min unsat cost LB: 165705 ... c Min unsat cost LB: 166431 ... c Min unsat cost LB: 166605 ... c Min unsat cost LB: 166803 ... c Min unsat cost LB: 166932 ... c Min unsat cost LB: 167516 ... c Min unsat cost LB: 167693 ... c Min unsat cost LB: 168012 ... c Min unsat cost LB: 168644 ... c Min unsat cost LB: 168895 ... c Min unsat cost LB: 168991 ... c Min unsat cost LB: 169381 ... c Min unsat cost LB: 169856 ... c Min unsat cost LB: 170105 ... c Min unsat cost LB: 170140 ... c Min unsat cost LB: 170364 ... c Min unsat cost LB: 170412 ... c Min unsat cost LB: 170576 ... c Min unsat cost LB: 170636 ... c Min unsat cost LB: 170671 ... c Min unsat cost LB: 170797 ... c Min unsat cost LB: 171196 ... c Min unsat cost LB: 171601 ... c Min unsat cost LB: 171644 ... c Min unsat cost LB: 173177 ... c Min unsat cost LB: 173452 ... c Min unsat cost LB: 173469 ... c Min unsat cost LB: 173742 ... c Min unsat cost LB: 173926 ... c Min unsat cost LB: 173927 ... c Min unsat cost LB: 173999 ... c Min unsat cost LB: 174043 ... c Min unsat cost LB: 174372 ... c Min unsat cost LB: 174402 ... c Min unsat cost LB: 174430 ... c Min unsat cost LB: 174444 ... c Min unsat cost LB: 174750 ... c Min unsat cost LB: 174787 ... c Min unsat cost LB: 174847 ... c Min unsat cost LB: 174876 ... c Min unsat cost LB: 174891 ... c Min unsat cost LB: 174897 ... c Min unsat cost LB: 174957 ... c Min unsat cost LB: 174963 ... c Min unsat cost LB: 175004 ... c Min unsat cost LB: 175079 ... c Min unsat cost LB: 175292 ... c Min unsat cost LB: 175324 ... c Min unsat cost LB: 175735 ... c Min unsat cost LB: 175812 ... c Min unsat cost LB: 175813 ... c Min unsat cost LB: 175816 ... c Min unsat cost LB: 175818 ... c Min unsat cost LB: 175841 ... c Min unsat cost LB: 175842 ... c Min unsat cost LB: 175850 ... c Min unsat cost LB: 175856 ... c Min unsat cost LB: 175952 ... c Min unsat cost LB: 175957 ... c Min unsat cost LB: 175959 ... c Min unsat cost LB: 175979 ... c Min unsat cost LB: 175998 ... c Min unsat cost LB: 176889 ... c Min unsat cost LB: 176901 ... c Min unsat cost LB: 177081 ... c Min unsat cost LB: 177284 ... c Min unsat cost LB: 178147 ... c Min unsat cost LB: 178232 ... c Min unsat cost LB: 178590 ... c Min unsat cost LB: 178623 ... c Min unsat cost LB: 179178 ... c Min unsat cost LB: 179179 ... c Min unsat cost LB: 179193 ... c Min unsat cost LB: 179200 ... c Min unsat cost LB: 179213 ... c Min unsat cost LB: 180015 ... c Min unsat cost LB: 180586 ... c Min unsat cost LB: 180587 ... c Min unsat cost LB: 180589 ... c Min unsat cost LB: 180590 ... c Min unsat cost LB: 180618 ... c Min unsat cost LB: 180619 ... c Min unsat cost LB: 180620 ... c Min unsat cost LB: 180621 ... c Min unsat cost LB: 180623 ... c Min unsat cost LB: 180624 ... c Min unsat cost LB: 180625 ... c Min unsat cost LB: 180626 ... c Min unsat cost LB: 180627 ... c Min unsat cost LB: 180628 ... c Min unsat cost LB: 180629 ... c Min unsat cost LB: 180640 ... c Min unsat cost LB: 180648 ... c Min unsat cost LB: 180751 ... c Min unsat cost LB: 180979 ... c Min unsat cost LB: 181386 ... c Min unsat cost LB: 181630 ... c Min unsat cost LB: 182144 ... c Min unsat cost LB: 182359 ... c Min unsat cost LB: 182472 ... c Min unsat cost LB: 182537 ... c Min unsat cost LB: 182761 ... c Min unsat cost LB: 183533 ... c Min unsat cost LB: 183536 ... c Min unsat cost LB: 183555 ... c Min unsat cost LB: 183605 ... c Min unsat cost LB: 183636 ... c Min unsat cost LB: 184005 ... c Min unsat cost LB: 184299 ... c Min unsat cost LB: 184450 ... c Min unsat cost LB: 184614 ... c Min unsat cost LB: 184703 ... c Min unsat cost LB: 185315 ... c Min unsat cost LB: 186421 ... c Min unsat cost LB: 186578 ... c Min unsat cost LB: 186837 ... c Min unsat cost LB: 187118 ... c Min unsat cost LB: 187119 ... c Min unsat cost LB: 187352 ... c Min unsat cost LB: 187888 ... c Min unsat cost LB: 188023 ... c Min unsat cost LB: 188109 ... c Min unsat cost LB: 188372 ... c Min unsat cost LB: 189123 ... c Min unsat cost LB: 189653 ... c Min unsat cost LB: 190061 ... c Min unsat cost LB: 190111 ... c Min unsat cost LB: 190142 ... c Min unsat cost LB: 190223 ... c Min unsat cost LB: 190246 ... c Min unsat cost LB: 190255 ... c Min unsat cost LB: 190351 ... c Min unsat cost LB: 190478 ... c Min unsat cost LB: 191533 ... c Min unsat cost LB: 191658 ... c Min unsat cost LB: 191957 ... c Min unsat cost LB: 192066 ... c Min unsat cost LB: 192101 ... c Min unsat cost LB: 192210 ... c Min unsat cost LB: 192325 ... c Min unsat cost LB: 192782 ... c Min unsat cost LB: 193037 ... c Min unsat cost LB: 193779 ... c Min unsat cost LB: 194090 ... c Min unsat cost LB: 194499 ... c Min unsat cost LB: 194504 ... c Min unsat cost LB: 194807 ... c Min unsat cost LB: 195163 ... c Min unsat cost LB: 195267 ... c Min unsat cost LB: 196083 ... c Min unsat cost LB: 196450 ... c Min unsat cost LB: 196615 ... c Min unsat cost LB: 196955 ... c Min unsat cost LB: 198032 ... c Min unsat cost LB: 198184 ... c Min unsat cost LB: 198599 ... c Min unsat cost LB: 198706 ... c Min unsat cost LB: 198832 ... c Min unsat cost LB: 199195 ... c Min unsat cost LB: 199297 ... c Min unsat cost LB: 199671 ... c Min unsat cost LB: 200011 ... c Min unsat cost LB: 200438 ... c Min unsat cost LB: 200858 ... c Min unsat cost LB: 200875 ... c Min unsat cost LB: 200962 ... c Min unsat cost LB: 201282 ... c Min unsat cost LB: 201979 ... c Min unsat cost LB: 202303 ... c Min unsat cost LB: 202335 ... c Min unsat cost LB: 202512 ... c Min unsat cost LB: 202560 ... c Min unsat cost LB: 203881 ... c Min unsat cost LB: 204486 ... c Min unsat cost LB: 204974 ... c Min unsat cost LB: 205025 ... c Min unsat cost LB: 205549 ... c Min unsat cost LB: 205653 ... c Min unsat cost LB: 205822 ... c Min unsat cost LB: 205869 ... c Min unsat cost LB: 206032 ... c Min unsat cost LB: 206803 ... c Min unsat cost LB: 207211 ... c Min unsat cost LB: 207499 ... c Min unsat cost LB: 207540 ... c Min unsat cost LB: 207950 ... c Min unsat cost LB: 208104 ... c Min unsat cost LB: 208495 ... c Min unsat cost LB: 209190 ... c Min unsat cost LB: 209389 ... c Min unsat cost LB: 209468 ... c Min unsat cost LB: 209528 ... c Min unsat cost LB: 209529 ... c Min unsat cost LB: 209534 ... c Min unsat cost LB: 209540 ... c Min unsat cost LB: 209542 ... c Min unsat cost LB: 209544 ... c Min unsat cost LB: 209545 ... c Min unsat cost LB: 209548 ... c Min unsat cost LB: 209549 ... c Min unsat cost LB: 209550 ... c Min unsat cost LB: 209959 ... c Min unsat cost LB: 209961 ... c Min unsat cost LB: 209973 ... c Min unsat cost LB: 210207 ... c Min unsat cost LB: 210279 ... c Min unsat cost LB: 210336 ... c Min unsat cost LB: 210816 ... c Min unsat cost LB: 211022 ... c Min unsat cost LB: 211158 ... c Min unsat cost LB: 211409 ... c Min unsat cost LB: 211650 ... c Min unsat cost LB: 212112 ... c Min unsat cost LB: 213127 ... c Min unsat cost LB: 213147 ... c Min unsat cost LB: 213211 ... c Min unsat cost LB: 213392 ... c Min unsat cost LB: 213637 ... c Min unsat cost LB: 213711 ... c Min unsat cost LB: 213810 ... c Min unsat cost LB: 213881 ... c Min unsat cost LB: 213969 ... c Min unsat cost LB: 214073 ... c Min unsat cost LB: 214074 ... c Min unsat cost LB: 214087 ... c Min unsat cost LB: 214161 ... c Min unsat cost LB: 214321 ... c Min unsat cost LB: 215160 ... c Min unsat cost LB: 215319 ... c Min unsat cost LB: 215359 ... c Min unsat cost LB: 215724 ... c Min unsat cost LB: 215828 ... c Min unsat cost LB: 215865 ... c Min unsat cost LB: 215883 ... c Min unsat cost LB: 215884 ... c Min unsat cost LB: 215885 ... c Min unsat cost LB: 215889 ... c Min unsat cost LB: 215893 ... c Min unsat cost LB: 215903 ... c Min unsat cost LB: 215906 ... c Min unsat cost LB: 215907 ... c Min unsat cost LB: 215908 ... c Min unsat cost LB: 215910 ... c Min unsat cost LB: 215939 ... c Min unsat cost LB: 216083 ... c Min unsat cost LB: 216264 ... c Min unsat cost LB: 216722 ... c Min unsat cost LB: 217178 ... c Min unsat cost LB: 217490 ... c Min unsat cost LB: 217812 ... c Min unsat cost LB: 217813 ... c Min unsat cost LB: 217840 ... c Min unsat cost LB: 217854 ... c Min unsat cost LB: 217856 ... c Min unsat cost LB: 217858 ... c Min unsat cost LB: 217924 ... c Min unsat cost LB: 218180 ... c Min unsat cost LB: 218419 ... c Min unsat cost LB: 218554 ... c Min unsat cost LB: 218773 ... c Min unsat cost LB: 218874 ... c Min unsat cost LB: 219113 ... c Min unsat cost LB: 219330 ... c Min unsat cost LB: 219439 ... c Min unsat cost LB: 219901 ... c Min unsat cost LB: 219916 ... c Min unsat cost LB: 219940 ... c Min unsat cost LB: 219947 ... c Min unsat cost LB: 219976 ... c Min unsat cost LB: 220056 ... c Min unsat cost LB: 220080 ... c Min unsat cost LB: 220088 ... c Min unsat cost LB: 220288 ... c Min unsat cost LB: 220296 ... c Min unsat cost LB: 220350 ... c Min unsat cost LB: 220430 ... c Min unsat cost LB: 220432 ... c Min unsat cost LB: 220437 ... c Min unsat cost LB: 220445 ... c Min unsat cost LB: 220454 ... c Min unsat cost LB: 220474 ... c Min unsat cost LB: 220554 ... c Min unsat cost LB: 220561 ... c Min unsat cost LB: 221682 ... c Min unsat cost LB: 221825 ... c Min unsat cost LB: 221982 ... c Min unsat cost LB: 222512 ... c Min unsat cost LB: 222559 ... c Min unsat cost LB: 222714 ... c Min unsat cost LB: 223394 ... c Min unsat cost LB: 223564 ... c Min unsat cost LB: 223651 ... c Min unsat cost LB: 223693 ... c Min unsat cost LB: 224511 ... c Min unsat cost LB: 224695 ... c Min unsat cost LB: 225334 ... c Min unsat cost LB: 225661 ... c Min unsat cost LB: 226171 ... c Min unsat cost LB: 226423 ... c Min unsat cost LB: 226752 ... c Min unsat cost LB: 226898 ... c Min unsat cost LB: 227439 ... c Min unsat cost LB: 227469 ... c Min unsat cost LB: 227534 ... c Min unsat cost LB: 227605 ... c Min unsat cost LB: 228057 ... c Min unsat cost LB: 228280 ... c Min unsat cost LB: 228479 ... c Min unsat cost LB: 228533 ... c Min unsat cost LB: 228878 ... c Min unsat cost LB: 229096 ... c Min unsat cost LB: 229143 ... c Min unsat cost LB: 229149 ... c Min unsat cost LB: 229166 ... c Min unsat cost LB: 229202 ... c Min unsat cost LB: 229257 ... c Min unsat cost LB: 229574 ... c Min unsat cost LB: 229888 ... c Min unsat cost LB: 230130 ... c Min unsat cost LB: 230157 ... c Min unsat cost LB: 230159 ... c Min unsat cost LB: 230174 ... c Min unsat cost LB: 230232 ... c Min unsat cost LB: 230977 ... c Min unsat cost LB: 231324 ... c Min unsat cost LB: 231337 ... c Min unsat cost LB: 231634 ... c Min unsat cost LB: 231637 ... c Min unsat cost LB: 231661 ... c Min unsat cost LB: 231703 ... c Min unsat cost LB: 231766 ... c Min unsat cost LB: 231896 ... c Min unsat cost LB: 231909 ... c Min unsat cost LB: 231921 ... c Min unsat cost LB: 232205 ... c Min unsat cost LB: 232272 ... c Min unsat cost LB: 233011 ... c Min unsat cost LB: 233023 ... c Min unsat cost LB: 233059 ... c Min unsat cost LB: 233090 ... c Min unsat cost LB: 233484 ... c Min unsat cost LB: 233516 ... c Min unsat cost LB: 233545 ... c Min unsat cost LB: 233552 ... c Min unsat cost LB: 233591 ... c Min unsat cost LB: 233618 ... c Min unsat cost LB: 233620 ... c Min unsat cost LB: 233744 ... c Min unsat cost LB: 233788 ... c Min unsat cost LB: 233815 ... c Min unsat cost LB: 233819 ... c Min unsat cost LB: 233843 ... c Min unsat cost LB: 233900 ... c Min unsat cost LB: 234154 ... c Min unsat cost LB: 234494 ... c Min unsat cost LB: 235050 ... c Min unsat cost LB: 235304 ... c Min unsat cost LB: 235638 ... c Min unsat cost LB: 235960 ... c Min unsat cost LB: 235977 ... c Min unsat cost LB: 236017 ... c Min unsat cost LB: 236057 ... c Min unsat cost LB: 236144 ... c Min unsat cost LB: 236592 ... c Min unsat cost LB: 236767 ... c Min unsat cost LB: 237615 ... c Min unsat cost LB: 237660 ... c Min unsat cost LB: 237692 ... c Min unsat cost LB: 238000 ... c Min unsat cost LB: 238017 ... c Min unsat cost LB: 238019 ... c Min unsat cost LB: 238031 ... c Min unsat cost LB: 238060 ... c Min unsat cost LB: 238075 ... c Min unsat cost LB: 238077 ... c Min unsat cost LB: 238111 ... c Min unsat cost LB: 238115 ... c Min unsat cost LB: 238384 ... c Min unsat cost LB: 238513 ... c Min unsat cost LB: 238985 ... c Min unsat cost LB: 239748 ... c Min unsat cost LB: 239804 ... c Min unsat cost LB: 239917 ... c Min unsat cost LB: 239919 ... c Min unsat cost LB: 239921 ... c Min unsat cost LB: 239923 ... c Min unsat cost LB: 239926 ... c Min unsat cost LB: 239929 ... c Min unsat cost LB: 239938 ... c Min unsat cost LB: 239963 ... c Min unsat cost LB: 239965 ... c Min unsat cost LB: 239967 ... c Min unsat cost LB: 239969 ... c Min unsat cost LB: 239971 ... c Min unsat cost LB: 239972 ... c Min unsat cost LB: 239984 ... c Min unsat cost LB: 240933 ... c Min unsat cost LB: 241120 ... c Min unsat cost LB: 241182 ... c Min unsat cost LB: 241280 ... c Min unsat cost LB: 241356 ... c Min unsat cost LB: 241625 ... c Min unsat cost LB: 241833 ... c Min unsat cost LB: 241989 ... c Min unsat cost LB: 242030 ... c Min unsat cost LB: 242103 ... c Min unsat cost LB: 242107 ... c Min unsat cost LB: 242150 ... c Min unsat cost LB: 242780 ... c Min unsat cost LB: 242809 ... c Min unsat cost LB: 242821 ... c Min unsat cost LB: 242939 ... c Min unsat cost LB: 243210 ... c Min unsat cost LB: 243212 ... c Min unsat cost LB: 243227 ... c Min unsat cost LB: 243242 ... c Min unsat cost LB: 243244 ... c Min unsat cost LB: 243287 ... c Min unsat cost LB: 243452 ... c Min unsat cost LB: 243487 ... c Min unsat cost LB: 243561 ... c Min unsat cost LB: 243589 ... c Min unsat cost LB: 243601 ... c Min unsat cost LB: 243698 ... c Min unsat cost LB: 243717 ... c Min unsat cost LB: 243727 ... c Min unsat cost LB: 243739 ... c Min unsat cost LB: 243740 ... c Min unsat cost LB: 243908 ... c Min unsat cost LB: 243910 ... c Min unsat cost LB: 243911 ... c Min unsat cost LB: 243936 ... c Min unsat cost LB: 243938 ... c Min unsat cost LBKilled 1810.833u 8.915s 1:00:43.92 49.9% 0+0k 0+0io 0pf+0w