a simple cluster scheduler in python