I know it was rendered with renderman
renderman is an API (application programming interface) not a renderer. It was rendered with PRMan which is the commercially available software.
just so you know if anyone ever asks you 
Alan
Technical Director - Framestore
Currently working on: Your Highness
IMDB