They mention 3.4 million concurrent users online.

From what they say on clustering, it looks that this is also ejabberd.