real 11.50
user 21.90
sys 6.17