real 10.90
user 20.35
sys 5.45