As the submission deadline has now passed, the TCP server is shut down, after
- 70 days of uptime
- 1,131 hours of CPU time of the server process (which ran uninterrupted for the last 50 or so days, no memory leaks

)
- 1,267,439 games played
- 805 users with unique passwords registered
- maximum of 70 parallel games earlier this week
Thanks to everyone who participated, and good luck in the finals!