Constraints written to constraints_output.txt