real 12.49
user 17.56
sys 6.52