real 10.38
user 20.01
sys 5.30