real 9.40
user 20.85
sys 3.33