Eternity II solver based on a Tabu Search approach