We should investigate why icinga did not report high cpu/load including gerrit.wikimedia.org loading very slow.
We should add better monitoring that would have caught this.
This can be a new check_http check and/or installing the healthcheck plugin for gerrit.