real 8.91
user 17.01
sys 3.50