Thanks for the advice.
Did so, result is 39sec. (system wasn't freshly booted)
It seems that the machine isn't really running at 600MHz.