sawConstraintOptimizer