cpu time: 11 real time: 14 gc time: 0