real 9.50
user 20.55
sys 3.29