real 6.72
user 12.90
sys 3.29