Greedy graph coloring in action