number constraint model constraint count al constraint size 