Ok, I refreshed myself a bit about my ignorance (plenty of demonstration in #3), and I believe the most reasonable parameter to look at is Pss, which is the amount of Rss, with shared pages pondered among all the sharing processes (so if you sum total PSS's you may get the real memory usage).
I didn't find any reasonable tool, but I wrote a tiny one for the purpose. I'm updating the bug comments.
Ok, I refreshed myself a bit about my ignorance (plenty of demonstration in #3), and I believe the most reasonable parameter to look at is Pss, which is the amount of Rss, with shared pages pondered among all the sharing processes (so if you sum total PSS's you may get the real memory usage).
I didn't find any reasonable tool, but I wrote a tiny one for the purpose. I'm updating the bug comments.
It's half bad as we calculated initially.