real 10.40
user 20.87
sys 5.96