real 9.42
user 16.90
sys 6.08