real 6.75
user 12.97
sys 3.13