Adding timer class and code to collect stats to tabu search.