Total dual integrality and b-matchings

Schrijver has shown that any rational polyhedron is the solution set of a unique minimal integer TDI linear system. We characterize this system for the case of b-matchings, one of the few known cases for which such a system is strictly larger than a minimal linear system sufficient to define the polyhedron.