real 12.71
user 26.15
sys 7.16