real 6.35
user 13.33
sys 3.15