real 6.37
user 13.41
sys 3.12