real 12.91
user 26.45
sys 7.31