real 6.56
user 13.28
sys 3.20