10
See
http://en.wikipedia.org/wiki/Maui_Cluster_Scheduler
for more information