real 10.33
user 17.42
sys 6.30