real 8.17
user 12.70
sys 3.30