real 11.25
user 16.97
sys 6.38