real 6.56
user 13.37
sys 3.29