The scalable High-Availability cluster resource manager