Understanding the %CPU in GNU `time` Command