High-Performance General Solver for Extremely Large-Scale Semidefinite Programming Problems