Re: BUG #16707: Memory leak

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