real 6.17
user 12.88
sys 3.23