A Reduction based Method for Coloring Very Large Graphs