real 12.49
user 26.58
sys 4.15