real 6.59
user 13.28
sys 3.30