real 10.29
user 20.72
sys 5.88