real 10.88
user 20.73
sys 5.40