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-200-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-10.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-10.net.wcnf *** c c Min unsat cost LB: 757 ... c Min unsat cost LB: 1532 ... c Min unsat cost LB: 2520 ... c Min unsat cost LB: 2560 ... c Min unsat cost LB: 3429 ... c Min unsat cost LB: 4310 ... c Min unsat cost LB: 5390 ... c Min unsat cost LB: 6954 ... c Min unsat cost LB: 8055 ... c Min unsat cost LB: 9432 ... c Min unsat cost LB: 9648 ... c Min unsat cost LB: 9803 ... c Min unsat cost LB: 11677 ... c Min unsat cost LB: 12356 ... c Min unsat cost LB: 12890 ... c Min unsat cost LB: 13319 ... c Min unsat cost LB: 13558 ... c Min unsat cost LB: 14280 ... c Min unsat cost LB: 15286 ... c Min unsat cost LB: 15807 ... c Min unsat cost LB: 16524 ... c Min unsat cost LB: 17999 ... c Min unsat cost LB: 19505 ... c Min unsat cost LB: 19630 ... c Min unsat cost LB: 19701 ... c Min unsat cost LB: 20892 ... c Min unsat cost LB: 22163 ... c Min unsat cost LB: 24266 ... c Min unsat cost LB: 25004 ... c Min unsat cost LB: 25450 ... c Min unsat cost LB: 25568 ... c Min unsat cost LB: 25754 ... c Min unsat cost LB: 26823 ... c Min unsat cost LB: 26955 ... c Min unsat cost LB: 27999 ... c Min unsat cost LB: 29470 ... c Min unsat cost LB: 29674 ... c Min unsat cost LB: 29997 ... c Min unsat cost LB: 30066 ... c Min unsat cost LB: 30299 ... c Min unsat cost LB: 30655 ... c Min unsat cost LB: 31550 ... c Min unsat cost LB: 31652 ... c Min unsat cost LB: 31992 ... c Min unsat cost LB: 32534 ... c Min unsat cost LB: 32666 ... c Min unsat cost LB: 33041 ... c Min unsat cost LB: 33200 ... c Min unsat cost LB: 33725 ... c Min unsat cost LB: 33940 ... c Min unsat cost LB: 34436 ... c Min unsat cost LB: 34694 ... c Min unsat cost LB: 34770 ... c Min unsat cost LB: 35744 ... c Min unsat cost LB: 35956 ... c Min unsat cost LB: 36143 ... c Min unsat cost LB: 36569 ... c Min unsat cost LB: 36754 ... c Min unsat cost LB: 37049 ... c Min unsat cost LB: 37995 ... c Min unsat cost LB: 38089 ... c Min unsat cost LB: 38572 ... c Min unsat cost LB: 38600 ... c Min unsat cost LB: 39157 ... c Min unsat cost LB: 39181 ... c Min unsat cost LB: 39237 ... c Min unsat cost LB: 39425 ... c Min unsat cost LB: 39834 ... c Min unsat cost LB: 40184 ... c Min unsat cost LB: 40232 ... c Min unsat cost LB: 40382 ... c Min unsat cost LB: 41060 ... c Min unsat cost LB: 41294 ... c Min unsat cost LB: 42155 ... c Min unsat cost LB: 42781 ... c Min unsat cost LB: 42806 ... c Min unsat cost LB: 43262 ... c Min unsat cost LB: 43414 ... c Min unsat cost LB: 43576 ... c Min unsat cost LB: 44419 ... c Min unsat cost LB: 44506 ... c Min unsat cost LB: 44820 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 46251 ... c Min unsat cost LB: 46361 ... c Min unsat cost LB: 46381 ... c Min unsat cost LB: 47145 ... c Min unsat cost LB: 47900 ... c Min unsat cost LB: 48004 ... c Min unsat cost LB: 48039 ... c Min unsat cost LB: 48272 ... c Min unsat cost LB: 48620 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49927 ... c Min unsat cost LB: 49961 ... c Min unsat cost LB: 50978 ... c Min unsat cost LB: 51146 ... c Min unsat cost LB: 51982 ... c Min unsat cost LB: 52335 ... c Min unsat cost LB: 52502 ... c Min unsat cost LB: 52745 ... c Min unsat cost LB: 53138 ... c Min unsat cost LB: 53295 ... c Min unsat cost LB: 54762 ... c Min unsat cost LB: 54889 ... c Min unsat cost LB: 55179 ... c Min unsat cost LB: 55197 ... c Min unsat cost LB: 55755 ... c Min unsat cost LB: 56151 ... c Min unsat cost LB: 56704 ... c Min unsat cost LB: 56885 ... c Min unsat cost LB: 57284 ... c Min unsat cost LB: 57657 ... c Min unsat cost LB: 57873 ... c Min unsat cost LB: 57916 ... c Min unsat cost LB: 58097 ... c Min unsat cost LB: 58622 ... c Min unsat cost LB: 58718 ... c Min unsat cost LB: 59337 ... c Min unsat cost LB: 59785 ... c Min unsat cost LB: 60040 ... c Min unsat cost LB: 60640 ... c Min unsat cost LB: 60845 ... c Min unsat cost LB: 60931 ... c Min unsat cost LB: 62118 ... c Min unsat cost LB: 62686 ... c Min unsat cost LB: 63073 ... c Min unsat cost LB: 63650 ... c Min unsat cost LB: 64040 ... c Min unsat cost LB: 64579 ... c Min unsat cost LB: 64616 ... c Min unsat cost LB: 64652 ... c Min unsat cost LB: 65500 ... c Min unsat cost LB: 65547 ... c Min unsat cost LB: 65549 ... c Min unsat cost LB: 66218 ... c Min unsat cost LB: 66220 ... c Min unsat cost LB: 66278 ... c Min unsat cost LB: 66351 ... c Min unsat cost LB: 66881 ... c Min unsat cost LB: 66938 ... c Min unsat cost LB: 67031 ... c Min unsat cost LB: 67363 ... c Min unsat cost LB: 67450 ... c Min unsat cost LB: 67471 ... c Min unsat cost LB: 67516 ... c Min unsat cost LB: 67726 ... c Min unsat cost LB: 68270 ... c Min unsat cost LB: 68326 ... c Min unsat cost LB: 68601 ... c Min unsat cost LB: 69393 ... c Min unsat cost LB: 69457 ... c Min unsat cost LB: 69728 ... c Min unsat cost LB: 69730 ... c Min unsat cost LB: 70141 ... c Min unsat cost LB: 70173 ... c Min unsat cost LB: 70258 ... c Min unsat cost LB: 70778 ... c Min unsat cost LB: 71241 ... c Min unsat cost LB: 71360 ... c Min unsat cost LB: 72054 ... c Min unsat cost LB: 72123 ... c Min unsat cost LB: 72226 ... c Min unsat cost LB: 72269 ... c Min unsat cost LB: 73084 ... c Min unsat cost LB: 73177 ... c Min unsat cost LB: 73629 ... c Min unsat cost LB: 73631 ... c Min unsat cost LB: 73704 ... c Min unsat cost LB: 73743 ... c Min unsat cost LB: 73745 ... c Min unsat cost LB: 73758 ... c Min unsat cost LB: 73774 ... c Min unsat cost LB: 74025 ... c Min unsat cost LB: 74029 ... c Min unsat cost LB: 74031 ... c Min unsat cost LB: 74413 ... c Min unsat cost LB: 74664 ... c Min unsat cost LB: 74820 ... c Min unsat cost LB: 76064 ... c Min unsat cost LB: 76129 ... c Min unsat cost LB: 76269 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 77119 ... c Min unsat cost LB: 77429 ... c Min unsat cost LB: 77911 ... c Min unsat cost LB: 78273 ... c Min unsat cost LB: 78364 ... c Min unsat cost LB: 78418 ... c Min unsat cost LB: 78430 ... c Min unsat cost LB: 78464 ... c Min unsat cost LB: 78532 ... c Min unsat cost LB: 78535 ... c Min unsat cost LB: 79286 ... c Min unsat cost LB: 79968 ... c Min unsat cost LB: 80738 ... c Min unsat cost LB: 81136 ... c Min unsat cost LB: 81177 ... c Min unsat cost LB: 81243 ... c Min unsat cost LB: 81457 ... c Min unsat cost LB: 81567 ... c Min unsat cost LB: 81737 ... c Min unsat cost LB: 82232 ... c Min unsat cost LB: 82946 ... c Min unsat cost LB: 83013 ... c Min unsat cost LB: 83493 ... c Min unsat cost LB: 83870 ... c Min unsat cost LB: 84128 ... c Min unsat cost LB: 84249 ... c Min unsat cost LB: 85258 ... c Min unsat cost LB: 85385 ... c Min unsat cost LB: 85668 ... c Min unsat cost LB: 85762 ... c Min unsat cost LB: 86794 ... c Min unsat cost LB: 87207 ... c Min unsat cost LB: 87249 ... c Min unsat cost LB: 87294 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87865 ... c Min unsat cost LB: 88084 ... c Min unsat cost LB: 88420 ... c Min unsat cost LB: 88982 ... c Min unsat cost LB: 89395 ... c Min unsat cost LB: 89500 ... c Min unsat cost LB: 89539 ... c Min unsat cost LB: 89599 ... c Min unsat cost LB: 89709 ... c Min unsat cost LB: 89737 ... c Min unsat cost LB: 89805 ... c Min unsat cost LB: 90248 ... c Min unsat cost LB: 90334 ... c Min unsat cost LB: 90399 ... c Min unsat cost LB: 91090 ... c Min unsat cost LB: 91144 ... c Min unsat cost LB: 91321 ... c Min unsat cost LB: 91679 ... c Min unsat cost LB: 92351 ... c Min unsat cost LB: 92501 ... c Min unsat cost LB: 92932 ... c Min unsat cost LB: 93105 ... c Min unsat cost LB: 93239 ... c Min unsat cost LB: 93747 ... c Min unsat cost LB: 94009 ... c Min unsat cost LB: 94124 ... c Min unsat cost LB: 94150 ... c Min unsat cost LB: 95728 ... c Min unsat cost LB: 95785 ... c Min unsat cost LB: 95935 ... c Min unsat cost LB: 96173 ... c Min unsat cost LB: 96398 ... c Min unsat cost LB: 96408 ... c Min unsat cost LB: 96593 ... c Min unsat cost LB: 96657 ... c Min unsat cost LB: 96831 ... c Min unsat cost LB: 97263 ... c Min unsat cost LB: 97776 ... c Min unsat cost LB: 97838 ... c Min unsat cost LB: 98476 ... c Min unsat cost LB: 98743 ... c Min unsat cost LB: 98953 ... c Min unsat cost LB: 99487 ... c Min unsat cost LB: 99613 ... c Min unsat cost LB: 99616 ... c Min unsat cost LB: 99981 ... c Min unsat cost LB: 100056 ... c Min unsat cost LB: 100243 ... c Min unsat cost LB: 100718 ... c Min unsat cost LB: 101198 ... c Min unsat cost LB: 101441 ... c Min unsat cost LB: 101652 ... c Min unsat cost LB: 101767 ... c Min unsat cost LB: 102605 ... c Min unsat cost LB: 102825 ... c Min unsat cost LB: 103012 ... c Min unsat cost LB: 103251 ... c Min unsat cost LB: 103457 ... c Min unsat cost LB: 103493 ... c Min unsat cost LB: 103827 ... c Min unsat cost LB: 104146 ... c Min unsat cost LB: 104601 ... c Min unsat cost LB: 104658 ... c Min unsat cost LB: 105096 ... c Min unsat cost LB: 105205 ... c Min unsat cost LB: 105350 ... c Min unsat cost LB: 105447 ... c Min unsat cost LB: 105621 ... c Min unsat cost LB: 105638 ... c Min unsat cost LB: 105678 ... c Min unsat cost LB: 105771 ... c Min unsat cost LB: 106832 ... c Min unsat cost LB: 106874 ... c Min unsat cost LB: 106933 ... c Min unsat cost LB: 107078 ... c Min unsat cost LB: 107091 ... c Min unsat cost LB: 107164 ... c Min unsat cost LB: 107313 ... c Min unsat cost LB: 107511 ... c Min unsat cost LB: 107577 ... c Min unsat cost LB: 107580 ... c Min unsat cost LB: 107685 ... c Min unsat cost LB: 107745 ... c Min unsat cost LB: 108020 ... c Min unsat cost LB: 108102 ... c Min unsat cost LB: 108104 ... c Min unsat cost LB: 108215 ... c Min unsat cost LB: 108295 ... c Min unsat cost LB: 108460 ... c Min unsat cost LB: 109251 ... c Min unsat cost LB: 109981 ... c Min unsat cost LB: 110157 ... c Min unsat cost LB: 110356 ... c Min unsat cost LB: 110410 ... c Min unsat cost LB: 110510 ... c Min unsat cost LB: 110688 ... c Min unsat cost LB: 110787 ... c Min unsat cost LB: 110964 ... c Min unsat cost LB: 111437 ... c Min unsat cost LB: 111639 ... c Min unsat cost LB: 111692 ... c Min unsat cost LB: 111886 ... c Min unsat cost LB: 112308 ... c Min unsat cost LB: 112489 ... c Min unsat cost LB: 112562 ... c Min unsat cost LB: 112698 ... c Min unsat cost LB: 112820 ... c Min unsat cost LB: 113208 ... c Min unsat cost LB: 113252 ... c Min unsat cost LB: 113388 ... c Min unsat cost LB: 113638 ... c Min unsat cost LB: 113659 ... c Min unsat cost LB: 114255 ... c Min unsat cost LB: 115107 ... c Min unsat cost LB: 116085 ... c Min unsat cost LB: 116172 ... c Min unsat cost LB: 116578 ... c Min unsat cost LB: 116715 ... c Min unsat cost LB: 117102 ... c Min unsat cost LB: 117366 ... c Min unsat cost LB: 117826 ... c Min unsat cost LB: 117910 ... c Min unsat cost LB: 119090 ... c Min unsat cost LB: 119196 ... c Min unsat cost LB: 119242 ... c Min unsat cost LB: 119325 ... c Min unsat cost LB: 119371 ... c Min unsat cost LB: 119404 ... c Min unsat cost LB: 119510 ... c Min unsat cost LB: 119777 ... c Min unsat cost LB: 120673 ... c Min unsat cost LB: 120688 ... c Min unsat cost LB: 120962 ... c Min unsat cost LB: 121078 ... c Min unsat cost LB: 121145 ... c Min unsat cost LB: 121289 ... c Min unsat cost LB: 121380 ... c Min unsat cost LB: 121452 ... c Min unsat cost LB: 121724 ... c Min unsat cost LB: 121751 ... c Min unsat cost LB: 121940 ... c Min unsat cost LB: 122244 ... c Min unsat cost LB: 122419 ... c Min unsat cost LB: 122910 ... c Min unsat cost LB: 122998 ... c Min unsat cost LB: 123058 ... c Min unsat cost LB: 123163 ... c Min unsat cost LB: 123672 ... c Min unsat cost LB: 123676 ... c Min unsat cost LB: 123861 ... c Min unsat cost LB: 124547 ... c Min unsat cost LB: 125025 ... c Min unsat cost LB: 125179 ... c Min unsat cost LB: 125565 ... c Min unsat cost LB: 125585 ... c Min unsat cost LB: 125608 ... c Min unsat cost LB: 125852 ... c Min unsat cost LB: 125900 ... c Min unsat cost LB: 126257 ... c Min unsat cost LB: 126644 ... c Min unsat cost LB: 126648 ... c Min unsat cost LB: 126688 ... c Min unsat cost LB: 126701 ... c Min unsat cost LB: 127031 ... c Min unsat cost LB: 127079 ... c Min unsat cost LB: 127085 ... c Min unsat cost LB: 127368 ... c Min unsat cost LB: 127371 ... c Min unsat cost LB: 127394 ... c Min unsat cost LB: 127398 ... c Min unsat cost LB: 127419 ... c Min unsat cost LB: 127423 ... c Min unsat cost LB: 127436 ... c Min unsat cost LB: 127441 ... c Min unsat cost LB: 127446 ... c Min unsat cost LB: 127452 ... c Min unsat cost LB: 127480 ... c Min unsat cost LB: 127483 ... c Min unsat cost LB: 127485 ... c Min unsat cost LB: 127493 ... c Min unsat cost LB: 127497 ... c Min unsat cost LB: 127831 ... c Min unsat cost LB: 127833 ... c Min unsat cost LB: 127883 ... c Min unsat cost LB: 127884 ... c Min unsat cost LB: 128814 ... c Min unsat cost LB: 128890 ... c Min unsat cost LB: 129237 ... c Min unsat cost LB: 129528 ... c Min unsat cost LB: 129566 ... c Min unsat cost LB: 129622 ... c Min unsat cost LB: 129626 ... c Min unsat cost LB: 129683 ... c Min unsat cost LB: 129715 ... c Min unsat cost LB: 129719 ... c Min unsat cost LB: 130083 ... c Min unsat cost LB: 130224 ... c Min unsat cost LB: 130407 ... c Min unsat cost LB: 130451 ... c Min unsat cost LB: 130519 ... c Min unsat cost LB: 130538 ... c Min unsat cost LB: 130640 ... c Min unsat cost LB: 131211 ... c Min unsat cost LB: 131554 ... c Min unsat cost LB: 131651 ... c Min unsat cost LB: 131653 ... c Min unsat cost LB: 131654 ... c Min unsat cost LB: 131661 ... c Min unsat cost LB: 131682 ... c Min unsat cost LB: 131686 ... c Min unsat cost LB: 132025 ... c Min unsat cost LB: 132030 ... c Min unsat cost LB: 132041 ... c Min unsat cost LB: 132043 ... c Min unsat cost LB: 132056 ... c Min unsat cost LB: 132077 ... c Min unsat cost LB: 132078 ... c Min unsat cost LB: 132079 ... c Min unsat cost LB: 132188 ... c Min unsat cost LB: 132397 ... c Min unsat cost LB: 132403 ... c Min unsat cost LB: 132407 ... c Min unsat cost LB: 132408 ... c Min unsat cost LB: 132409 ... c Min unsat cost LB: 132410 ... c Min unsat cost LB: 132411 ... c Min unsat cost LB: 132412 ... c Min unsat cost LB: 132432 ... c Min unsat cost LB: 132615 ... c Min unsat cost LB: 133073 ... c Min unsat cost LB: 133197 ... c Min unsat cost LB: 133289 ... c Min unsat cost LB: 134746 ... c Min unsat cost LB: 134835 ... c Min unsat cost LB: 134867 ... c Min unsat cost LB: 134879 ... c Min unsat cost LB: 134886 ... c Min unsat cost LB: 134888 ... c Min unsat cost LB: 134891 ... c Min unsat cost LB: 134899 ... c Min unsat cost LB: 134904 ... c Min unsat cost LB: 134906 ... c Min unsat cost LB: 134910 ... c Min unsat cost LB: 134911 ... c Min unsat cost LB: 134912 ... c Min unsat cost LB: 135365 ... c Min unsat cost LB: 135368 ... c Min unsat cost LB: 135377 ... c Min unsat cost LB: 135378 ... c Min unsat cost LB: 135379 ... c Min unsat cost LB: 135381 ... c Min unsat cost LB: 135382 ... c Min unsat cost LB: 135387 ... c Min unsat cost LB: 135390 ... c Min unsat cost LB: 135391 ... c Min unsat cost LB: 135394 ... c Min unsat cost LB: 135462 ... c Min unsat cost LB: 135697 ... c Min unsat cost LB: 135707 ... c Min unsat cost LB: 135710 ... c Min unsat cost LB: 135712 ... c Min unsat cost LB: 135713 ... c Min unsat cost LB: 135724 ... c Min unsat cost LB: 135725 ... c Min unsat cost LB: 135729 ... c Min unsat cost LB: 135730 ... c Min unsat cost LB: 135731 ... c Min unsat cost LB: 135732 ... c Min unsat cost LB: 135734 ... c Min unsat cost LB: 135887 ... c Min unsat cost LB: 136355 ... c Min unsat cost LB: 136377 ... c Min unsat cost LB: 136380 ... c Min unsat cost LB: 136491 ... c Min unsat cost LB: 136493 ... c Min unsat cost LB: 136494 ... c Min unsat cost LB: 136496 ... c Min unsat cost LB: 136498 ... c Min unsat cost LB: 136499 ... c Min unsat cost LB: 136500 ... c Min unsat cost LB: 136503 ... c Min unsat cost LB: 136504 ... c Min unsat cost LB: 136505 ... c Min unsat cost LB: 136507 ... c Min unsat cost LB: 136508 ... c Min unsat cost LB: 136510 ... c Min unsat cost LB: 136511 ... c Min unsat cost LB: 136512 ... c Min unsat cost LB: 136513 ... c Min unsat cost LB: 136514 ... c Min unsat cost LB: 136515 ... c Min unsat cost LB: 136516 ... c Min unsat cost LB: 136517 ... c Min unsat cost LB: 136518 ... c Min unsat cost LB: 136519 ... c Min unsat cost LB: 136523 ... c Min unsat cost LB: 136524 ... c Min unsat cost LB: 136525 ... c Min unsat cost LB: 136526 ... c Min unsat cost LB: 136527 ... c Min unsat cost LB: 136528 ... c Min unsat cost LB: 136529 ... c Min unsat cost LB: 136530 ... c Min unsat cost LB: 136531 ... c Min unsat cost LB: 136532 ... c Min unsat cost LB: 136533 ... c Min unsat cost LB: 136534 ... c Min unsat cost LB: 136535 ... c Min unsat cost LB: 136536 ... c Min unsat cost LB: 136537 ... c Min unsat cost LB: 136538 ... c Min unsat cost LB: 137430 ... c Min unsat cost LB: 137532 ... c Min unsat cost LB: 137762 ... c Min unsat cost LB: 137848 ... c Min unsat cost LB: 137937 ... c Min unsat cost LB: 137938 ... c Min unsat cost LB: 138837 ... c Min unsat cost LB: 139188 ... c Min unsat cost LB: 139537 ... c Min unsat cost LB: 140035 ... c Min unsat cost LB: 140291 ... c Min unsat cost LB: 140344 ... c Min unsat cost LB: 140440 ... c Min unsat cost LB: 140450 ... c Min unsat cost LB: 140491 ... c Min unsat cost LB: 140509 ... c Min unsat cost LB: 140513 ... c Min unsat cost LB: 140519 ... c Min unsat cost LB: 140523 ... c Min unsat cost LB: 140625 ... c Min unsat cost LB: 140652 ... c Min unsat cost LB: 140865 ... c Min unsat cost LB: 141124 ... c Min unsat cost LB: 141281 ... c Min unsat cost LB: 141381 ... c Min unsat cost LB: 141684 ... c Min unsat cost LB: 141923 ... c Min unsat cost LB: 142004 ... c Min unsat cost LB: 142148 ... c Min unsat cost LB: 142163 ... c Min unsat cost LB: 142577 ... c Min unsat cost LB: 142977 ... c Min unsat cost LB: 143173 ... c Min unsat cost LB: 143628 ... c Min unsat cost LB: 143900 ... c Min unsat cost LB: 143929 ... c Min unsat cost LB: 144177 ... c Min unsat cost LB: 144569 ... c Min unsat cost LB: 145331 ... c Min unsat cost LB: 145552 ... c Min unsat cost LB: 145939 ... c Min unsat cost LB: 146000 ... c Min unsat cost LB: 146149 ... c Min unsat cost LB: 146629 ... c Min unsat cost LB: 146917 ... c Min unsat cost LB: 147248 ... c Min unsat cost LB: 147304 ... c Min unsat cost LB: 147332 ... c Min unsat cost LB: 147386 ... c Min unsat cost LB: 147933 ... c Min unsat cost LB: 148023 ... c Min unsat cost LB: 148052 ... c Min unsat cost LB: 148084 ... c Min unsat cost LB: 149308 ... c Min unsat cost LB: 149403 ... c Min unsat cost LB: 149462 ... c Min unsat cost LB: 149491 ... c Min unsat cost LB: 149831 ... c Min unsat cost LB: 150049 ... c Min unsat cost LB: 150432 ... c Min unsat cost LB: 150504 ... c Min unsat cost LB: 150887 ... c Min unsat cost LB: 151098 ... c Min unsat cost LB: 151935 ... c Min unsat cost LB: 152709 ... c Min unsat cost LB: 152725 ... c Min unsat cost LB: 152809 ... c Min unsat cost LB: 152811 ... c Min unsat cost LB: 152867 ... c Min unsat cost LB: 152899 ... c Min unsat cost LB: 153020 ... c Min unsat cost LB: 153025 ... c Min unsat cost LB: 153081 ... c Min unsat cost LB: 153182 ... c Min unsat cost LB: 154127 ... c Min unsat cost LB: 154194 ... c Min unsat cost LB: 154235 ... c Min unsat cost LB: 154241 ... c Min unsat cost LB: 154250 ... c Min unsat cost LB: 154274 ... c Min unsat cost LB: 154280 ... c Min unsat cost LB: 154299 ... c Min unsat cost LB: 154349 ... c Min unsat cost LB: 154445 ... c Min unsat cost LB: 154603 ... c Min unsat cost LB: 154657 ... c Min unsat cost LB: 154799 ... c Min unsat cost LB: 155091 ... c Min unsat cost LB: 155101 ... c Min unsat cost LB: 155154 ... c Min unsat cost LB: 155185 ... c Min unsat cost LB: 155218 ... c Min unsat cost LB: 155220 ... c Min unsat cost LB: 155230 ... c Min unsat cost LB: 155890 ... c Min unsat cost LB: 156179 ... c Min unsat cost LB: 156334 ... c Min unsat cost LB: 157071 ... c Min unsat cost LB: 157091 ... c Min unsat cost LB: 157112 ... c Min unsat cost LB: 157140 ... c Min unsat cost LB: 157145 ... c Min unsat cost LB: 157164 ... c Min unsat cost LB: 157254 ... c Min unsat cost LB: 157259 ... c Min unsat cost LB: 157709 ... c Min unsat cost LB: 157736 ... c Min unsat cost LB: 159069 ... c Min unsat cost LB: 159282 ... c Min unsat cost LB: 159760 ... c Min unsat cost LB: 160068 ... c Min unsat cost LB: 160199 ... c Min unsat cost LB: 160226 ... c Min unsat cost LB: 160238 ... c Min unsat cost LB: 160265 ... c Min unsat cost LB: 160454 ... c Min unsat cost LB: 160460 ... c Min unsat cost LB: 160465 ... c Min unsat cost LB: 160466 ... c Min unsat cost LB: 160472 ... c Min unsat cost LB: 160478 ... c Min unsat cost LB: 160491 ... c Min unsat cost LB: 160500 ... c Min unsat cost LB: 160501 ... c Min unsat cost LB: 160508 ... c Min unsat cost LB: 160517 ... c Min unsat cost LB: 160909 ... c Min unsat cost LB: 160965 ... c Min unsat cost LB: 160967 ... c Min unsat cost LB: 160979 ... c Min unsat cost LB: 160985 ... c Min unsat cost LB: 160988 ... c Min unsat cost LB: 160989 ... c Min unsat cost LB: 160995 ... c Min unsat cost LB: 160996 ... c Min unsat cost LB: 160999 ... c Min unsat cost LB: 161003 ... c Min unsat cost LB: 161005 ... c Min unsat cost LB: 161006 ... c Min unsat cost LB: 161029 ... c Min unsat cost LB: 161031 ... c Min unsat cost LB: 161052 ... c Min unsat cost LB: 161054 ... c Min unsat cost LB: 161058 ... c Min unsat cost LB: 161060 ... c Min unsat cost LB: 161063 ... c Min unsat cost LB: 161075 ... c Min unsat cost LB: 161076 ... c Min unsat cost LB: 161082 ... c Min unsat cost LB: 161088 ... c Min unsat cost LB: 161092 ... c Min unsat cost LB: 161095 ... c Min unsat cost LB: 161098 ... c Min unsat cost LB: 161101 ... c Min unsat cost LB: 161102 ... c Min unsat cost LB: 161121 ... c Min unsat cost LB: 161127 ... c Min unsat cost LB: 161128 ... c Min unsat cost LB: 161131 ... c Min unsat cost LB: 161133 ... c Min unsat cost LB: 161138 ... c Min unsat cost LB: 161140 ... c Min unsat cost LB: 161143 ... c Min unsat cost LB: 161146 ... c Min unsat cost LB: 161148 ... c Min unsat cost LB: 161149 ... c Min unsat cost LB: 161154 ... c Min unsat cost LB: 161662 ... c Min unsat cost LB: 161667 ... c Min unsat cost LB: 161913 ... c Min unsat cost LB: 161929 ... c Min unsat cost LB: 162054 ... c Min unsat cost LB: 162334 ... c Min unsat cost LB: 162524 ... c Min unsat cost LB: 162717 ... c Min unsat cost LB: 162950 ... c Min unsat cost LB: 163307 ... c Min unsat cost LB: 164056 ... c Min unsat cost LB: 164145 ... c Min unsat cost LB: 164371 ... c Min unsat cost LB: 164375 ... c Min unsat cost LB: 164376 ... c Min unsat cost LB: 164381 ... c Min unsat cost LB: 164386 ... c Min unsat cost LB: 164387 ... c Min unsat cost LB: 164389 ... c Min unsat cost LB: 164390 ... c Min unsat cost LB: 164393 ... c Min unsat cost LB: 164394 ... c Min unsat cost LB: 164395 ... c Min unsat cost LB: 164396 ... c Min unsat cost LB: 164399 ... c Min unsat cost LB: 164404 ... c Min unsat cost LB: 164420 ... c Min unsat cost LB: 164423 ... c Min unsat cost LB: 165310 ... c Min unsat cost LB: 165468 ... c Min unsat cost LB: 165472 ... c Min unsat cost LB: 165484 ... c Min unsat cost LB: 165493 ... c Min unsat cost LB: 165593 ... c Min unsat cost LB: 165612 ... c Min unsat cost LB: 165617 ... c Min unsat cost LB: 165624 ... c Min unsat cost LB: 165625 ... c Min unsat cost LB: 165626 ... c Min unsat cost LB: 165629 ... c Min unsat cost LB: 165630 ... c Min unsat cost LB: 165631 ... c Min unsat cost LB: 165633 ... c Min unsat cost LB: 165634 ... c Min unsat cost LB: 165636 ... c Min unsat cost LB: 165643 ... c Min unsat cost LB: 165645 ... c Min unsat cost LB: 165665 ... c Min unsat cost LB: 165670 ... c Min unsat cost LB: 165671 ... c Min unsat cost LB: 165673 ... c Min unsat cost LB: 165674 ... c Min unsat cost LB: 165676 ... c Min unsat cost LB: 165678 ... c Min unsat cost LB: 165681 ... c Min unsat cost LB: 165684 ... c Min unsat cost LB: 165686 ... c Min unsat cost LB: 165687 ... c Min unsat cost LB: 165690 ... c Min unsat cost LB: 165691 ... c Min unsat cost LB: 165692 ... c Min unsat cost LB: 165718 ... c Min unsat cost LB: 165719 ... c Min unsat cost LB: 165727 ... c Min unsat cost LB: 165729 ... c Min unsat cost LB: 165731 ... c Min unsat cost LB: 165733 ... c Min unsat cost LB: 165796 ... c Min unsat cost LB: 165798 ... c Min unsat cost LB: 165799 ... c Min unsat cost LB: 165802 ... c Min unsat cost LB: 165803 ... c Min unsat cost LB: 165804 ... c Min unsat cost LB: 165810 ... c Min unsat cost LB: 165813 ... c Min unsat cost LB: 165814 ... c Min unsat cost LB: 165824 ... c Min unsat cost LB: 165826 ... c Min unsat cost LB: 165827 ... c Min unsat cost LB: 165831 ... c Min unsat cost LB: 165835 ... c Min unsat cost LB: 165836 ... c Min unsat cost LB: 165837 ... c Min unsat cost LB: 165839 ... c Min unsat cost LB: 165873 ... c Min unsat cost LB: 165874 ... c Min unsat cost LB: 165875 ... c Min unsat cost LB: 165876 ... c Min unsat cost LB: 165877 ... c Min unsat cost LB: 165878 ... c Min unsat cost LB: 165879 ... c Min unsat cost LB: 165925 ... c Min unsat cost LB: 165926 ... c Min unsat cost LB: 166255 ... c Min unsat cost LB: 166257 ... c Min unsat cost LB: 166259 ... c Min unsat cost LB: 166260 ... c Min unsat cost LB: 166261 ... c Min unsat cost LB: 166611 ... c Min unsat cost LB: 166769 ... c Min unsat cost LB: 166773 ... c Min unsat cost LB: 166785 ... c Min unsat cost LB: 166822 ... c Min unsat cost LB: 167060 ... c Min unsat cost LB: 167081 ... c Min unsat cost LB: 167122 ... c Min unsat cost LB: 167268 ... c Min unsat cost LB: 167303 ... c Min unsat cost LB: 167304 ... c Min unsat cost LB: 167305 ... c Min unsat cost LB: 167306 ... c Min unsat cost LB: 167307 ... c Min unsat cost LB: 167308 ... c Min unsat cost LB: 167309 ... c Min unsat cost LB: 168298 ... c Min unsat cost LB: 168354 ... c Min unsat cost LB: 169221 ... c Min unsat cost LB: 169437 ... c Min unsat cost LB: 169503 ... c Min unsat cost LB: 169574 ... c Min unsat cost LB: 169601 ... c Min unsat cost LB: 170749 ... c Min unsat cost LB: 170803 ... c Min unsat cost LB: 171524 ... c Min unsat cost LB: 172031 ... c Min unsat cost LB: 172093 ... c Min unsat cost LB: 172242 ... c Min unsat cost LB: 172348 ... c Min unsat cost LB: 172438 ... c Min unsat cost LB: 172480 ... c Min unsat cost LB: 172629 ... c Min unsat cost LB: 173044 ... c Min unsat cost LB: 173419 ... c Min unsat cost LB: 174062 ... c Min unsat cost LB: 174107 ... c Min unsat cost LB: 174166 ... c Min unsat cost LB: 174499 ... c Min unsat cost LB: 174553 ... c Min unsat cost LB: 174649 ... c Min unsat cost LB: 174815 ... c Min unsat cost LB: 174899 ... c Min unsat cost LB: 174934 ... c Min unsat cost LB: 174986 ... c Min unsat cost LB: 175163 ... c Min unsat cost LB: 175217 ... c Min unsat cost LB: 175242 ... c Min unsat cost LB: 175243 ... c Min unsat cost LB: 175468 ... c Min unsat cost LB: 175606 ... c Min unsat cost LB: 175772 ... c Min unsat cost LB: 175777 ... c Min unsat cost LB: 175779 ... c Min unsat cost LB: 175781 ... c Min unsat cost LB: 175784 ... c Min unsat cost LB: 175787 ... c Min unsat cost LB: 175796 ... c Min unsat cost LB: 175801 ... c Min unsat cost LB: 175805 ... c Min unsat cost LB: 175807 ... c Min unsat cost LB: 175810 ... c Min unsat cost LB: 176514 ... c Min unsat cost LB: 176634 ... c Min unsat cost LB: 177017 ... c Min unsat cost LB: 177405 ... c Min unsat cost LB: 177408 ... c Min unsat cost LB: 177414 ... c Min unsat cost LB: 177415 ... c Min unsat cost LB: 177416 ... c Min unsat cost LB: 177417 ... c Min unsat cost LB: 177418 ... c Min unsat cost LB: 177419 ... c Min unsat cost LB: 177421 ... c Min unsat cost LB: 177422 ... c Min unsat cost LB: 177423 ... c Min unsat cost LB: 177425 ... c Min unsat cost LB: 177426 ... c Min unsat cost LB: 177427 ... c Min unsat cost LB: 177428 ... c Min unsat cost LB: 177429 ... c Min unsat cost LB: 177430 ... c Min unsat cost LB: 177584 ... c Min unsat cost LB: 177809 ... c Min unsat cost LB: 178308 ... c Min unsat cost LB: 178519 ... c Min unsat cost LB: 178661 ... c Min unsat cost LB: 178792 ... c Min unsat cost LB: 178845 ... c Min unsat cost LB: 178987 ... c Min unsat cost LB: 179012 ... c Min unsat cost LB: 179118 ... c Min unsat cost LB: 179119 ... c Min unsat cost LB: 179667 ... c Min unsat cost LB: 179787 ... c Min unsat cost LB: 179822 ... c Min unsat cost LB: 179899 ... c Min unsat cost LB: 180019 ... c Min unsat cost LB: 180379 ... c Min unsat cost LB: 181061 ... c Min unsat cost LB: 181065 ... c Min unsat cost LB: 181067 ... c Min unsat cost LB: 181616 ... c Min unsat cost LB: 181803 ... c Min unsat cost LB: 181889 ... c Min unsat cost LB: 182544 ... c Min unsat cost LB: 182751 ... c Min unsat cost LB: 183416 ... c Min unsat cost LB: 183699 ... c Min unsat cost LB: 183864 ... c Min unsat cost LB: 184250 ... c Min unsat cost LB: 184280 ... c Min unsat cost LB: 184448 ... c Min unsat cost LB: 185012 ... c Min unsat cost LB: 185033 ... c Min unsat cost LB: 185047 ... c Min unsat cost LB: 185159 ... c Min unsat cost LB: 185330 ... c Min unsat cost LB: 185388 ... c Min unsat cost LB: 185458 ... c Min unsat cost LB: 185601 ... c Min unsat cost LB: 185690 ... c Min unsat cost LB: 185760 ... c Min unsat cost LB: 185764 ... c Min unsat cost LB: 185814 ... c Min unsat cost LB: 185819 ... c Min unsat cost LB: 185848 ... c Min unsat cost LB: 185934 ... c Min unsat cost LB: 186121 ... c Min unsat cost LB: 186125 ... c Min unsat cost LB: 186129 ... c Min unsat cost LB: 186155 ... c Min unsat cost LB: 186179 ... c Min unsat cost LB: 186184 ... c Min unsat cost LB: 186210 ... c Min unsat cost LB: 186214 ... c Min unsat cost LB: 186218 ... c Min unsat cost LB: 186223 ... c Min unsat cost LB: 186357 ... c Min unsat cost LB: 186360 ... c Min unsat cost LB: 186369 ... c Min unsat cost LB: 186370 ... c Min unsat cost LB: 186387 ... c Min unsat cost LB: 186390 ... c Min unsat cost LB: 186430 ... c Min unsat cost LB: 186432 ... c Min unsat cost LB: 186452 ... c Min unsat cost LB: 186461 ... c Min unsat cost LB: 186467 ... c Min unsat cost LB: 186479 ... c Min unsat cost LB: 186484 ... c Min unsat cost LB: 186487 ... c Min unsat cost LB: 186489 ... c Min unsat cost LB: 186490 ... c Min unsat cost LB: 186492 ... c Min unsat cost LB: 186494 ... c Min unsat cost LB: 186495 ... c Min unsat cost LB: 186498 ... c Min unsat cost LB: 186500 ... c Min unsat cost LB: 186503 ... c Min unsat cost LB: 186508 ... c Min unsat cost LB: 186509 ... c Min unsat cost LB: 186510 ... c Min unsat cost LB: 186516 ... c Min unsat cost LB: 186517 ... c Min unsat cost LB: 186518 ... c Min unsat cost LB: 186519 ... c Min unsat cost LB: 186520 ... c Min unsat cost LB: 186521 ... c Min unsat cost LB: 186523 ... c Min unsat cost LB: 186524 ... c Min unsat cost LB: 186525 ... c Min unsat cost LB: 186526 ... c Min unsat cost LB: 186527 ... c Min unsat cost LB: 186528 ... c Min unsat cost LB: 186529 ... c Min unsat cost LB: 186538 ... c Min unsat cost LB: 186553 ... c Min unsat cost LB: 186554 ... c Min unsat cost LB: 186556 ... c Min unsat cost LB: 186557 ... c Min unsat cost LB: 186559 ... c Min unsat cost LB: 186560 ... c Min unsat cost LB: 186561 ... c Min unsat cost LB: 186562 ... c Min unsat cost LB: 186563 ... c Min unsat cost LB: 186564 ... c Min unsat cost LB: 186565 ... c Min unsat cost LB: 186566 ... c Min unsat cost LB: 186567 ... c Min unsat cost LB: 186568 ... c Min unsat cost LB: 186569 ... c Min unsat cost LB: 186570 ... c Min unsat cost LB: 186571 ... c Min unsat cost LB: 186573 ... c Min unsat cost LB: 186574 ... c Min unsat cost LB: 186575 ... c Min unsat cost LB: 186576 ... c Min unsat cost LB: 186577 ... c Min unsat cost LB: 186578 ... c Min unsat cost LB: 186579 ... c Min unsat cost LB: 186580 ... c Min unsat cost LB: 186581 ... c Min unsat cost LB: 186582 ... c Min unsat cost LB: 186583 ... c Min unsat cost LB: 186584 ... c Min unsat cKilled 1812.627u 7.114s 30:20.96 99.9% 0+0k 0+0io 0pf+0w