real 8.32
user 17.29
sys 3.50