real 12.91
user 26.24
sys 6.86