real 12.68
user 26.20
sys 7.18