Why the serial number increased by 10000 on every restart? (for SQL Server 2012)