use lazy constraints when solving integer models