Added benchmark numbers from EC2 machine