Efficient symmetry-breaking formulations for grouping customer orders in a printing shop.