real 10.46
user 17.26
sys 6.44