real 7.25
user 12.90
sys 3.24