real 12.45
user 12.49
sys 7.81