On February 13, 2020 9:37:15 PM EST, Norman Megill <[email protected]> wrote: >On Thursday, February 13, 2020 at 7:51:53 PM UTC-5, David Starner >wrote: >> >> >> I had a couple >> unexplained segmentation faults, on job105 and job135. I restarted >> job105 and it ran to completion; I haven't tried restarting 135 yet. >> I'll restart 135 and actually start 137, and take 133, 134, and >> 152-155, and send you the complete logs. >> > >The non-reproducible segfaults are pretty disturbing. If anyone else >sees >a segfault, let me know. I hope we can pin it down. > >Norm > >-- >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/d1a3c150-b51d-4946-a0b2-ec26d44b3ccd%40googlegroups.com.
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 -- 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/B755241E-5AEB-4871-BE47-16B300B8F76A%40dwheeler.com.
