real 6.26
user 12.96
sys 3.30