real 12.94
user 26.54
sys 7.04