only check numDecisionVars