Optimization example - CLP(R)