Making a state-of-the-art heuristic faster with data mining