real 9.60
user 20.76
sys 3.36