zombie proof processes

[Peter Lammich]

On 28/11/2025 17:16, Lawrence Paulson wrote:
> As it is intermittent, I was wondering whether certain characteristics of the goal might cause this.
>
> Is your example reproducible?

Unfortunately not. I only realized that this process was running 7 
minutes after it was started ... no idea what I was sledgehammering at 
this point :(

I typically realize that only when I keep hearing my CPU fan, and my CPU 
temperature keeps being high, although no proof or sledgehammer is running.

--

   Peter



>
> Larry
>
>> On 28 Nov 2025, at 15:56, Peter Lammich <lammich at in.tum.de> wrote:
>>
>> Just happened (on Isabelle2025) ... veriT keeping one CPU busy, and using tons of memory. Manually killing the process helps.