real 10.88
user 17.58
sys 3.70