real 11.80
user 20.45
sys 5.80