CpuTime:  1002.10759
