A memória compartilhada está usando os 12 GB.
Em sua versão Linux /dev/shm parte do sistema de arquivos /dev (em algumas versões, ele possui um sistema de arquivos dedicado montado lá).
Como mostrado por lsof , a soma é de 12 GB:
/dev/shm/foo5.44m is 6269616128 bytes
/dev/shm/kdfoo.a4o is 6269616128 bytes
Nem find nem ls podem exibir esses arquivos porque eles estão desvinculados (= seus nomes foram excluídos).