An ARM based server almost sounds like an oxymoron.
Amusingly #2, #3, and #4 aren't x86-64 either. Number 5 is, but mainly because the xeons are handling I/O for the real heavy lifting on the matrix-2000 accelerators. The first pure x86-64 cluster is #8.
So the performance story is changing quickly, and arm is just getting started.