This tree shows D15112's final Branch and Bound Tree. All nodes are shown in green, since all have been fully processed. The vertical position of a node is determined by its lower bound.