The numbers were far beyond what Doc Rivers wanted: 40 minutes for Kevin Garnett, 44 for Paul Pierce, 48 for Jason Terry, and a whopping 53 for Rajon Rondo. But in a game that went to double overtime Wednesday night before the Celtics prevailed, 117-115, Rivers didn’t exactly have a choice.

Still, the coach was beating himself up a bit afterward for the playing time of his stars. Rondo, in particular.