As an avid power walker I complete on average - terrain dependant - 7k in 65-69 minutes roughly and 5k in 45-49 minutes, so that means usually I do about 1k in 8-9.5minutes, I don't run or jog, just have a very fast power walk pace that brings my heart rate up, makes me sweat after a time, but doesn't leave me out of breath, I'm travelling long term around Australia at the moment and frequently find myself on the local bike path or bush track of towns I visit and joggers pass me slowly, runners pass me at all different speeds, if she was jogging, which colloquially people call a run or running, the time it took her especially as the terrain isn't all flat surface (don't forget the hills in the terrain where she was thought to be running which may slow pace or result in a walking speed at times) is completely plausible.