More consistent time reporting
Removing newClauseByThread()

It's a remnant of old code
This is the same number, but cleaner
Re-using code
Revert "Not cleaning histories of Searcher"

This reverts commit af96b922fbb95a8d00725c97b0cc98fb2a0cb180.