cpu time: 474 real time: 478 gc time: 431