real 12.89
user 26.37
sys 7.03