optimized constraints log