real 6.36
user 12.90
sys 3.28