Added the NONNEGATIVE option to specify non-negative variables