real 10.38
user 20.29
sys 5.50