do not log constraints, too much output