/Cloud Scheduler: A Resource Manager for Distributed Compute Clouds