real 10.80
user 20.76
sys 5.94