real 9.39
user 20.96
sys 3.47