Added overall timer to solver