Shared_buffers is 10gb iirc. The server has 32gb of memory. Yes, 'public'is the patch case. Sorry for not mentioning it initially.
--Peter Geoghegan(Sent from my phone)