real 11.50
user 20.56
sys 5.41