As of the Census of 2010, there were 1,307,402 people living in the city of San Diego. What was San Diego's population at the time of the 2010 census?