real 6814.32
user 5537.32
sys 26.90