real 10.39
user 20.64
sys 5.87