Arbitrary. 5 * 3 servers = 15 workers, which seems plenty.