real 11.79
user 19.76
sys 5.20