3 ms·

We don't know what the servers are; dual socket EPIC, i.e. 128cores, makes the number look beyond trivial.