real 10.71
user 17.50
sys 6.00