@User: The lef write step does use

-hide

. The design @User is hardening is relatively large (~1.6 million cells), so I think it's plausible that magic is running out of memory.