The times presented here were gathered using the Linux time utility.

• 这里给出的时间是用Linux time实用程序获得的。