real 9297.42
user 7415.42
sys 315.36