real 9.77
user 17.50
sys 6.45