Int32 SolverMemorySettings.Database { get; set; }