I'm 99.99% sure that if you boot with "notsc", the problem disappears. Ifso, you have one of those wonderful AMD64 with unsynced clock and withoutHPET to sync with. I wrote a simple program in the past to exhibit theproblem. It would bsimply run "date +%s" in a busy loops and display eachtime it would change. Amazing. It could jump back and forth by up to 3seconds!