real 6.58
user 13.44
sys 3.16