real 10.48
user 20.60
sys 5.90