I'm seeing WCPU numbers as high as 1200% in top, while CPU numbers seem appropriate. Is this the intended behavior?