Implemented time in Tabu Search.