real 6.46
user 13.29
sys 3.23