Revision history [back]

My guess would be either:

a) IPMI login details for the four Dell boxes are somehow incorrect, or: b) They're not making the full 32GB available - ie, 32752mb isn't "valid". In the days of share video memory, for example, you'd lose the top (say) 128MB so the actual reported memory value would be less.