It looks like they use GoLang on the server.
Our Platform team uses Golang extensively. We use it together with gRPC to form our microservice stack that orchestrates the SpatialOS simulations. The TL of our Platform API team did a cool talk at the Go London User Group meetup in October: https://skillsmatter.com/skillscasts/9259-a-debuggable-base-...
http://www.emergencevector.com
The servers are written in Golang. There is a "Master Control Process" that acts as a coordinator, and a farm of worker processes that can report on their population/load and host star-system instances. (Basically, a game loop on an R-Tree.) The coordinator just uses the best available information and assigns clients to hosts. Clients join hosts in an idempotent fashion, so it doesn't make any difference if an instance currently exists or not. Each process is structured somewhat like a Erlang actor.I might try to do a port of my game on your servers, just out of curiosity.