AFAIK they use MSSQL, not postgres. And they only use one (another is a replicated hot spare) for Stackoverflow.