[Bug 1004915] New: Strange discrepancy in memory usage reported by both gnome-system-monitor and mate-system-monitor, vs. the "free" command