real 12.52
user 26.54
sys 4.17