Looking in plain memory monitor in GNOME I see only 15.5Gb of memory available. Normally it's 2x8Gb in the laptop.
$ free -m gives me this:
total used free shared buffers cached
Mem: 15853 12155 3697 0 650 9346
-/+ buffers/cache: 2158 13694
Swap: 952 0 952
$ htop shows: 15853MB
The processor in the laptop is i5-3320M
