real 10.79
user 20.90
sys 5.80