It was a very impressive run. He took the lead from the gun, went through the first mile in ~5:10 and broke the entire field early. Didn't look particularly taxed after the race either. I have no doubt he could have gone significantly faster with decent conditions and some competition.