real 12.90
user 26.69
sys 7.44