That's 2500 people a hour on average and as there were 2 sides 1250 each. Thats roughly 20 people per minute on each side shuffling past.
If you allow for the 20 min guard changes which is around 1/4 the total time and a bit more for the 4am cleaning session you are around 30 people per minute per side which seems faster than what i saw.