4.3GB... which seems roughly similar to my 32GB Windows PC - it's sitting at 89% memory use with 3.5GB cached.