real 10.41
user 20.70
sys 5.97