fix: m.numcon -> m.numvar