real 9.27
user 21.85
sys 3.36