gc: make the log more readable

One iteration of GC produces five lines of log (without -DDEBUG);
separating those chunks seems much nicer.