Although they do not provide an answer, here are some links to additional info - I spent some time searching for additional info on the Top500 setup, but found little:
* http://aws.typepad.com/aws/2010/07/the-new-amazon-ec2-instan... * http://news.ycombinator.com/item?id=1904590