Now that we can have 100+ players, we better set the map size proportional to the number of players.
Since mapsize of ~18K tiles worked fine for 30 players, I suggest giving 600 tiles per player (e.g. 60K for 100 players)
Shall we set mapsize to 600 tiles per player?
