real 9.50
user 17.42
sys 3.64