Ugh, I later realized I'm off by a factor of 4 because statm shows values in 4K pages, not 1K units.