push/pop ratio is correct, not computing time correctly