Technically, personal items acquired before the marriage should not be considered for the divorce (unless, perhaps, the items continue to appreciate in value during the marriage, and then only the appreciated difference should be considered). I *think* the judge weighed making a long analysis of the assets, including the house, and figured splitting it this way would have saved selling the house.
Ironically, a friend of mine went through something similar last year, where he was awarded the (paid-off) house, but had to give his ex half the amount of the equity in CASH. He ended up cashing-in all his retirement, stocks, etc. in the end anyway, so it sounds a lot like your case, only the judge went ahead and "cashed-in" your retirement assets for you.