real 6.16
user 12.90
sys 3.25