real 12.71
user 26.96
sys 4.46