3 ms·

I'm guessing 10 servers for redundancy? A server with 192GB of memory can be had for about $15k nowadays.