real 9.49
user 20.47
sys 3.15