preprocessing includes adding upper bounds to constraint matrix