real 9.88
user 20.76
sys 5.82