real 10.38
user 20.87
sys 5.72