Symmetry-Breaking and Local Search: A Case Study