https://www.johnayliff.com/games/seedship/index.html?bmcirjr... has something to say about that.
Better atmosphere, temperature, and water in the above run could add another 1k, so it seems that the maximum is at least 13k, though I suspect it is higher.