A simple but complete batch scheduler