real 8.56
user 12.70
sys 3.23