Bounding vertex coloring by truncated multistage branch and bound