real 12.71
user 26.76
sys 4.20