Log the server reported timing for searches.

I know I have added a whitespace codestyle error, but mixed indenting would be worse and correcting the other lines is not for this commit.
Merge branch 'timing' into merge