When did the PIXEL 1 come out?

The background of the question is related to the release date of a specific smartphone model. The user wants to know when the PIXEL 1, a smartphone model, was released. This information is typically available in the official records or announcements made by the manufacturer at the time of the product's launch.