real 10.38
user 20.73
sys 5.90