>> 27 processes: 24 sleeping, 3 running, 0 zombie, 0 stopped
>> CPU states: 16.3% user, 3.8% system, 0.0% nice, 79.8% idle
>> Mem: 517292K av, 508400K used, 8892K free, 94444K shrd, 197224K buff
>> Swap: 65988K av, 0K used, 65988K free 160740K cached
These numbers don't add up. If there's a 384M shared-memory block
in the system, how can there be 197M of kernel disk buffers (not to
mention the kernel and user programs)?
regards, tom lane
