real 10.58
user 19.88
sys 5.36