real 10.38
user 20.34
sys 5.54