real 10.32
user 17.35
sys 6.12