The 15 trillion is the canonical figure for the total population of the Imperium. It ought to include everyone living in the Imperium, on or off a planetary surface.I don't think that Hans's estimate is the Imperium's total budget but an estimation of the mainworld minimum budget.
Incidentally, the difference between mainworld and system population is a huge can of worms and one that I ignore when calculating individual GWPs.
Hans