real 12.70
user 27.00
sys 4.49