real 6.46
user 13.22
sys 3.27