# Wall_time Sys_time User_time Cpu_time
8.266 2.676 1.794 4.469
