real 9.88
user 20.87
sys 6.10