real 6.49
user 13.22
sys 3.24