So, blur the hostname in the SSH command, login to machine, where the hostname is ip-172.31.48.7.. Two things are funny here: First, the failed attempt, and second, the idea that anyone cares what the IP of your raspberry pi is.. If anyone cares to know, mine has 192.168.30.12.