constraints log