real 10.96
user 17.48
sys 6.50