real 10.57
user 20.41
sys 5.42