History cts/scheduler/bug-5025-3.dot