zombie proof processes

[Peter Lammich]

On 07/11/2025 11:50, Peter Lammich wrote:
>
> On 07/11/2025 11:13, Makarius wrote:
>> On 07/11/2025 00:02, Peter Lammich wrote:
>>> I've, very rarely, some zombie atp processes keeping my CPU nice and 
>>> warm, and my battery draining (on Linux). I typically just kill them 
>>> manually.
>>
>> So which ATPs (or SMTs) are they?
>
> I do not remember, but will log them the next time I encounter one ... 
> (happens very rarely, as I said)
>
Just happened (on Isabelle2025) ... veriT keeping one CPU busy, and 
using tons of memory. Manually killing the process helps.


     PID USER      PR  NI    VIRT    RES    SHR S  %CPU  %MEM  TIME+ 
COMMAND
   28257 peter     20   0   36.2g  31.1g   3084 R  99.7  33.1  7:03.43 
veriT

On

# System Details Report
---

## Report details
- **Date generated:**                              2025-11-28 16:55:53

## Hardware Information:
- **Hardware Model:**                              TongFang GX5MRXL
- **Memory:**                                      96.0 GiB
- **Processor:**                                   Intel® Core™ Ultra 7 
155H × 22
- **Graphics:**                                    Intel® Arc™ Graphics 
(MTL)
- **Disk Capacity:**                               2.0 TB

## Software Information:
- **Firmware Version:**                            N.1.10PCS05
- **OS Name:**                                     Ubuntu 24.04.3 LTS
- **OS Build:**                                    (null)
- **OS Type:**                                     64-bit
- **GNOME Version:**                               46
- **Windowing System:**                            Wayland
- **Kernel Version:**                              Linux 6.14.0-36-generic


>
>
>>
>>
>>     Makarius
>>