CRS4 enters the Top500 list of the most powerful High-Performance Computing systems in the world