real 12.74
user 26.56
sys 7.37