A batching method for coloring planar graphs