real 12.58
user 16.99
sys 3.51