real 9.95
user 17.37
sys 3.50