real 12.48
user 26.87
sys 4.25