Use more precise cpu time measurement