real 10.57
user 20.58
sys 5.80