It seems that max population for a colony is 5m times terraform level. So Terran planets, with terraform level 80, have a max population of 400m. A lava planet has a base terraform level of zero so...