# vertexID varID creation(s) retirement(s) state PEnum lowerBound upperBound rnds stg1Start(s) stg1End(s) stg2Send(s) stg2Recv(s) etc # Key for final State UNBORN=600 ACTIVE=601 PARENT=602 PRUNED=603 INFEASIBLE=604 INCUMBENT=605 -1 0 44.35744 602 1 76599.19 76601.92 100 0.6518781 0.6523411 0.652807 0.9593701 0.967984 0.9681571 0.968385 1.229713 1.24254 1.242806 1.243039 1.581521 1.591593 1.591962 1.592191 1.944937 1.952465 1.952969 1.953201 2.3575 2.37062 2.371346 2.371613 2.737469 2.744563 2.745519 2.745754 3.139968 3.151361 3.152619 3.152849 3.637036 3.644536 3.646123 3.646358 4.052998 4.056894 4.058301 4.058557 4.448364 4.459299 4.46383 4.464082 4.963372 4.97519 4.977404 4.977663 5.46736 5.471396 5.474311 5.474564 5.971373 5.983252 5.985508 5.985772 6.474804 6.481423 6.488699 6.488951 6.963896 6.978497 6.984125 6.984453 7.425055 7.430271 7.436626 7.436954 7.940961 7.945041 7.949341 7.949622 8.439214 8.443804 8.44994 8.450224 8.932497 8.946748 8.951533 8.951793 9.36984 9.380028 9.385603 9.385869 9.854297 9.859006 9.873743 9.874012 10.29545 10.30435 10.3081 10.30837 10.72253 10.72788 10.7394 10.73967 11.17292 11.18086 11.18733 11.1876 11.61391 11.62409 11.63374 11.63403 12.07039 12.08032 12.08705 12.08731 12.47547 12.48754 12.49272 12.49298 12.94045 12.95495 12.96333 12.96359 13.44133 13.44982 13.46105 13.46133 13.95445 13.96118 13.97606 13.97662 14.36494 14.38161 14.38898 14.38925 14.75059 14.76558 14.77388 14.77415 15.15007 15.16301 15.17062 15.17091 15.57031 15.58292 15.59209 15.59235 15.9985 16.0134 16.02008 16.02034 16.41407 16.42373 16.4347 16.43496 16.82928 16.84276 16.85027 16.85053 17.22177 17.23659 17.24395 17.24421 17.64091 17.64852 17.65634 17.65663 18.04405 18.05529 18.06105 18.06131 18.49809 18.50173 18.51314 18.51341 18.96122 18.96812 18.97705 18.97733 19.43336 19.44647 19.45328 19.45357 19.86984 19.87782 19.89097 19.89125 20.32555 20.33571 20.34447 20.34474 20.79724 20.80462 20.81409 20.81435 21.24483 21.25849 21.26742 21.26771 21.70084 21.71456 21.72556 21.72582 22.15606 22.17035 22.1801 22.18038 22.62814 22.63938 22.64601 22.64628 23.06152 23.07166 23.0831 23.08338 23.5254 23.53394 23.54908 23.54936 23.98432 23.99454 24.00261 24.00289 24.4374 24.45077 24.46043 24.46073 24.8594 24.87168 24.88127 24.88153 25.2936 25.30384 25.31353 25.31382 25.7293 25.7412 25.7517 25.75198 26.15472 26.16684 26.17437 26.17464 26.59155 26.59987 26.61326 26.61355 27.04956 27.05666 27.06273 27.06299 27.50218 27.51108 27.5163 27.51658 27.95546 27.96752 27.97473 27.975 28.38503 28.39368 28.40563 28.40592 28.81647 28.8235 28.83747 28.83774 29.3319 29.33562 29.34142 29.34168 29.7831 29.79183 29.80044 29.80071 30.21704 30.23195 30.2419 30.24217 30.69051 30.69418 30.70004 30.70031 31.12161 31.13484 31.14971 31.15 31.55348 31.55718 31.56369 31.56398 31.96549 31.97872 31.98729 31.98757 32.42259 32.42741 32.43643 32.43672 32.8434 32.84735 32.8577 32.85798 33.29552 33.30495 33.31114 33.31141 33.72168 33.72863 33.73402 33.73428 34.16269 34.16653 34.17663 34.17692 34.61655 34.62743 34.63273 34.63299 35.06432 35.07235 35.08948 35.08974 35.48965 35.49326 35.49842 35.4987 35.88923 35.89961 35.905 35.90528 36.28836 36.29247 36.29783 36.29812 36.68877 36.70037 36.70701 36.70728 37.08612 37.09831 37.10556 37.10582 37.51999 37.53128 37.5371 37.53737 37.92947 37.93975 37.94624 37.94651 38.34985 38.36449 38.3742 38.37447 38.77534 38.78695 38.79565 38.79598 39.20357 39.21226 39.21822 39.21854 39.63146 39.64221 39.65421 39.65447 40.08723 40.09758 40.10834 40.10862 40.50191 40.50883 40.51606 40.51632 40.92126 40.92855 40.93447 40.93474 41.3517 41.36028 41.36603 41.36629 41.75928 41.76809 41.77385 41.77412 42.18089 42.18845 42.19997 42.20024 42.59845 42.60789 42.61337 42.61366 43.0358 43.05031 43.05608 43.0564 43.44768 43.45936 43.47286 43.47314 43.91737 43.92211 43.93127 43.93154 44.33523 44.34702 44.35728 0 0 44.35778 49.12373 602 1 76599.67 76603.61 9 44.62707 44.68415 44.68442 45.12336 45.12793 45.14913 45.14942 45.60951 45.61473 45.62301 45.62354 46.0889 46.09398 46.10562 46.10595 46.58956 46.59635 46.60555 46.60611 47.10527 47.1124 47.12759 47.12813 47.6113 47.61517 47.6234 47.62368 48.11077 48.12591 48.15307 48.15336 48.59659 48.60681 48.61404 48.61438 49.10323 49.11244 49.12357 01 1 49.12395 49.61332 602 1 76599.74 76601.6 1 49.16604 49.1815 49.18197 49.59777 49.60197 49.61315 010 2 49.61344 50.25772 602 1 76599.74 76604.93 1 49.63546 49.64696 49.64726 50.23718 50.24321 50.25748 0100 1 50.25777 50.79431 602 1 76599.82 76606.83 1 50.29009 50.3157 50.31599 50.76522 50.77044 50.79414 01001 9 50.79434 51.80023 602 1 76601.67 76608.74 2 50.83211 50.83733 50.83763 51.25717 51.27128 51.28998 51.29027 51.78527 51.79113 51.80001 010011 2 51.80027 52.32126 602 1 76601.85 76607.44 1 51.8331 51.83987 51.84041 52.29685 52.30527 52.32109 0100111 0 52.3213 52.82742 602 1 76602.2 76607.33 1 52.34395 52.34458 52.34486 52.79208 52.80647 52.82726 01001111 10 52.82744 53.39061 602 1 76602.2 76607.7 1 52.88174 52.8869 52.8872 53.37276 53.37745 53.39044 010011111 64 53.39072 53.89692 602 1 76602.2 76605.96 1 53.42775 53.43313 53.43344 53.86615 53.8725 53.89676 0100111111 63 53.89696 56.83331 602 1 76605.84 76608.86 6 53.96541 53.97012 53.97042 54.41537 54.42005 54.44449 54.44477 54.89058 54.89481 54.90073 54.90104 55.37416 55.37971 55.39221 55.3925 55.86994 55.87435 55.8805 55.88079 56.34414 56.34841 56.36138 56.36166 56.82291 56.82714 56.83312 01001111110 90 56.83339 57.37173 602 1 76604.9 76608.46 1 56.85912 56.87916 56.87948 57.34353 57.34786 57.37157 010011111101 91 57.37177 57.94261 602 1 76605.76 76609.9 1 57.42388 57.42876 57.42905 57.91581 57.92013 57.94245 0100111111010 92 57.94268 58.64279 602 1 76605.76 76609.56 1 57.96127 57.9715 57.97179 58.62379 58.6294 58.64257 01001111110100 91 58.64285 59.09464 602 1 76613.67 76615.77 1 58.68061 58.69368 58.69423 59.07895 59.08498 59.09448 010011111101000 99 59.09467 60.06959 602 1 76619.47 76625.69 2 59.11253 59.12179 59.1221 59.55378 59.5611 59.5744 59.57469 60.04745 60.05304 60.06934 0100111111010000 72 60.06963 60.57231 602 1 76619.63 76620.88 1 60.10007 60.11281 60.11337 60.55339 60.55754 60.57214 01001111110100001 100 60.57235 61.031 605 1 76619.86 76620.48 1 60.59398 60.59903 60.59931 61.01832 61.02259 61.03083 1 0 44.35778 61.0383 603 1 76617.89 76722.31 1 44.69173 44.70393 44.70423 47.68939 47.6935 47.71497 01000 9 50.79434 61.03834 603 1 76625.01 1.797693e+308 0 50.84421 50.87474 01001110 10 52.82744 61.03837 603 1 76626.11 1.797693e+308 0 52.89379 52.906 010011110 64 53.39072 61.0384 603 1 76832.29 1.797693e+308 0 53.44053 53.45898 0100111110 63 53.89696 61.03843 603 1 76824.53 76934.86 1 53.97669 53.9905 53.99079 56.91044 56.91457 56.93629 01001111110101 91 58.64285 61.03846 603 1 76622.1 1.797693e+308 0 58.70433 58.71782 010011111101001 99 59.09467 61.03849 603 1 76617.43 1.797693e+308 0 59.13073 59.14131 0100111111010001 72 60.06963 61.03852 603 1 76746.77 1.797693e+308 0 60.12363 60.13733 01001111110100000 100 60.57235 61.03856 603 1 76629.03 1.797693e+308 0 60.60642 60.62288 0100111111011 92 57.94268 61.22045 602 1 76602.96 76609.48 1 57.97909 57.98546 57.98575 61.18097 61.19487 61.22027 01001111110111 90 61.22059 62.13202 602 1 76607.27 76611.76 1 61.25869 61.26871 61.269 62.11764 62.12211 62.13186 010011111101111 99 62.13205 62.62469 603 1 76618 76631.73 1 62.15295 62.15822 62.15851 62.60372 62.60797 62.62447 010011111101110 99 62.13205 63.05247 605 1 76608.58 76614.2 1 62.1667 62.17618 62.17647 63.02971 63.03546 63.05229 0101 1 50.25777 63.05964 603 1 76607.58 1.797693e+308 0 50.32282 50.34301 01001111111 90 56.83339 63.05968 603 1 76608.09 1.797693e+308 0 56.88642 56.90109 010011111100 91 57.37177 63.05972 603 1 76607.2 1.797693e+308 0 57.43534 57.44801 01001111110110 90 61.22059 63.38748 602 1 76605.36 76608.14 2 61.24015 61.25059 61.2509 61.69884 61.70305 61.72042 61.72071 63.36132 63.36578 63.38732 0100110 0 52.3213 63.68507 603 1 76607.15 76619.72 1 52.35187 52.36617 52.36646 63.64929 63.65694 63.68492 010010 2 51.80027 64.0301 603 1 76607.15 76623.55 1 51.84995 51.8645 51.86503 64.01794 64.02272 64.0299 011 2 49.61344 64.29499 602 1 76599.19 76604.93 1 49.62795 49.62857 49.62885 64.2565 64.26365 64.29465 0110 0 64.29504 65.7829 602 1 76599.28 76606.64 3 64.32601 64.34729 64.34758 64.77277 64.77699 64.80824 64.80877 65.2707 65.27734 65.28964 65.28995 65.77107 65.77536 65.78272 01101 0 65.78294 66.27372 602 1 76599.74 76606.3 1 65.83256 65.83897 65.83926 66.25732 66.2614 66.27357 011010 1 66.27375 67.54094 602 1 76599.82 76602.27 2 66.32999 66.35467 66.35496 66.92576 66.93307 66.94017 66.94046 67.52891 67.53304 67.54078 0110101 10 67.54105 68.11067 602 1 76599.9 76602.16 1 67.58715 67.59323 67.59352 68.08355 68.09545 68.11049 01101011 9 68.1107 68.61314 602 1 76602.68 76608.4 1 68.16885 68.17393 68.17422 68.59307 68.59929 68.61275 01100 0 65.78294 68.70803 602 1 76600.1 76606.49 1 65.8463 65.85849 65.85879 68.67701 68.68157 68.70774 011010111 11 68.61321 69.11093 602 1 76602.76 76606.31 1 68.65616 68.66196 68.66254 69.08627 69.09062 69.11077 0110101111 63 69.11097 71.12677 602 1 76605.86 76613.02 4 69.16313 69.16881 69.1691 69.59424 69.59853 69.61536 69.61567 70.10028 70.1044 70.1109 70.1112 70.57827 70.59114 70.59754 70.59785 71.11098 71.11512 71.12659 01101011111 64 71.12684 71.62133 602 1 76605.86 76606.48 1 71.15953 71.16516 71.1655 71.61098 71.61516 71.62115 011010111111 90 71.62138 72.12431 602 1 76605.86 76612.71 1 71.64529 71.6514 71.65208 72.09167 72.10143 72.12415 0110101111110 90 72.12435 72.60908 602 1 76606.02 76606.42 1 72.14139 72.15935 72.15967 72.58886 72.59675 72.60887 01101011111101 91 72.60913 73.08187 602 1 76606.09 76606.35 1 72.63718 72.64479 72.64513 73.05989 73.07459 73.08169 011010111111010 92 73.08191 73.86277 602 1 76606.09 76606.94 1 73.1064 73.11592 73.11623 73.84443 73.85585 73.86258 011010111111011 92 73.08191 73.9274 602 1 76605.76 76606.32 1 73.09828 73.09891 73.09919 73.91227 73.91646 73.92721 0110101111110110 90 73.92744 74.40663 602 1 76606.02 76606.63 1 73.94135 73.9492 73.94954 74.39171 74.39672 74.40645 0110101111110111 90 73.92744 74.79983 603 1 76606.79 76608.84 1 73.96052 73.96981 73.97013 74.78124 74.78695 74.7996 011000 1 68.70806 76.02386 602 1 76606.43 76613.44 4 68.7449 68.76954 68.76984 71.68954 71.69687 71.72064 71.72093 74.9344 74.93912 74.96912 74.96941 75.4687 75.4741 75.48376 75.48432 75.99679 76.00233 76.02359 0111 0 64.29504 76.14028 603 1 76613.3 76633.72 1 64.35543 64.37004 64.3706 76.09849 76.10291 76.14014 00 1 49.12395 76.41271 602 1 76600.11 76602.21 1 49.14465 49.15937 49.15967 76.37578 76.38747 76.41254 001 9 76.41273 76.91433 602 1 76602.32 76608.13 1 76.4691 76.47393 76.47424 76.89634 76.90435 76.91418 0011 10 76.91436 77.40812 602 1 76602.85 76608.4 1 76.94576 76.95153 76.95186 77.37818 77.39313 77.40795 00111 11 77.40814 77.90299 602 1 76602.85 76605.33 1 77.45974 77.46432 77.46459 77.88337 77.89494 77.90282 001111 63 77.90303 78.3642 602 1 76605.76 76611.97 1 77.93082 77.93738 77.93772 78.34695 78.3561 78.36406 0011111 64 78.36422 78.82992 602 1 76605.86 76610.46 1 78.39574 78.3983 78.39864 78.81112 78.82321 78.82975 00111111 90 78.82995 79.75549 602 1 76605.86 76611.37 2 78.84414 78.84933 78.8496 79.26589 79.2724 79.28598 79.28653 79.74409 79.74833 79.75529 001111110 90 79.75553 80.22102 602 1 76605.86 76610.02 1 79.77388 79.78433 79.78482 80.20633 80.21048 80.22084 0011111101 91 80.22113 80.68339 602 1 76605.91 76609.72 1 80.25277 80.25371 80.25424 80.66458 80.67278 80.68323 00111111010 92 80.68342 81.14735 602 1 76606.06 76606.32 1 80.7008 80.71718 80.71752 81.12626 81.13931 81.14717 001111111 90 79.75553 81.44212 603 1 76608.21 76625.54 1 79.79703 79.80746 79.80774 81.4128 81.41691 81.44198 00111110 90 78.82995 81.69548 602 1 76606.05 76607.69 1 78.85712 78.86761 78.868 81.67377 81.68118 81.69533