On Thu, Feb 13, 2020 at 6:47 PM David A. Wheeler <[email protected]> wrote: > David S.: what kind of computer are you using? Some laptop temperature > sensors do not work properly, and in general laptops are not designed to > sustain computation at maximum for a long time. It is possible that the > segfaults are Hardware problems, not software problems. > > You might want to simultaneously record the CPU temperature. If the problem > is Hardware, temperature and or overclocking are two of the most likely > culprits. > > Of course, if the problem is software, that won't help. > --- David A.Wheeler
It's not a laptop; it's a desktop, with a package liquid cooling system. 'sensors' is telling me the CPU (tdie temperature, on an AMD Ryzen 7 1700X) is running at 47.0°C, which seems low for running at a load of 8.00. It has unfixed issues where loading a GUI will crash it pretty quickly, even after switching out GPU, so there are known issues. -- Kie ekzistas vivo, ekzistas espero. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAMZ%3Dzj55-r%2BEezvmkb4PvNpdcN9JNX1oNpyNRXHWftqaW-Wkeg%40mail.gmail.com.
