real 12.58
user 26.19
sys 4.17