real 6.56
user 13.17
sys 3.24