real 9.90
user 20.33
sys 5.44