A batch job manager