That's not really a fair comparison however. There's an non-negligible difference between just crunching messages, and then distributing said 6k messages/sec in

That's not really a fair comparison however. There's an non-negligible difference between just crunching messages, and then distributing said 6k messages/sec into a directed graph of users. Those 6k messages/sec is just the input, the output is far greater.