Statistics for Constraint-driven exact algorithm for the manufacturing cell formation problem