real 12.47
user 26.28
sys 6.93