Added a simple performance timer to the search