real 6.47
user 13.05
sys 1.90