Cluster Restart

At about 09:30 GMT we experienced some troubles with a couple of nodes in the cluster going into overdrive having negative impact on other nodes in the cluster. The cluster was immediately restarted. Sorry for the inconvenience.