real 9.57
user 20.25
sys 3.34