real 10.58
user 20.76
sys 5.87