[reitzensteinm]

I think you may have misread, my 1152 figure was per server, not socket.