With what the system takes from memory I thought 4G should be OK. Then the only thing I can say is either system reserve some memory apart from what it uses which makes it around 4GB and it gives you less than 3.5G or the host is not really giving you 11G.

---