Seol mar théacs é seo: Scheduling of large-scale virtualized infrastructures :