On Mon, Nov 09, 2020 at 08:31:27PM -0800, Andres Freund wrote:
> As this is on a halfway recent linux, I suggest doing something like
>
> $ grep ^Rss /proc/$pid/status
> RssAnon: 6664 kB
> RssFile: 69512 kB
> RssShmem: 15788 kB
RssAnon: 1197064 kB
RssFile: 27420 kB
RssShmem: 4248052 kB
Kurt