Late-night learning & morning exercise

Usually, I fall asleep before 11 o'clock and wake up around 4:30. I take a nap during the day for about 30 minutes to an hour, but yesterday, perhaps because I didn't nap, I think I fell asleep around 9:30, and I woke up at 11:30.

I lay down again to sleep, but I had a hard time falling asleep, so I thought about it for a while and finally went for a run after midnight. I ran about 7 km, then came back, took a shower, and fell asleep again at 2 a.m., waking up at 5:30 to exercise again before coming back. I have experienced insomnia before, and I think that exercising when I can't sleep helps me sleep much better than lying down and trying to force myself to sleep.

Did everyone wake up feeling refreshed this morning?

Good luck on this Friday night.