real 10.34
user 20.44
sys 5.90