real 10.32
user 20.52
sys 5.87