real 6.56
user 13.23
sys 3.16