On Sun, 16 Feb 2020 08:19:26 -0800 (PST), Norman Megill <[email protected]> wrote: > heiphohmia's job115 died in the middle of minimizing the last proof. I > finished the last proof myself, so the job is complete, but I'm concerned > about all the mysterious crashing problems. As a test, could you run 115 on > your end to see if it completes OK?
Will do. I'm currently running these jobs: 115 147 148 150 151 155 157 159 No telling when they'll be done :-). It's hard to know why a job would crash on one system & not another. Overclocked systems are especially prone to this. Windows is more crash-y (especially depending on the device drivers). Otherwise the hardware seems likely; hardware *should* just run forever, but this-busy this-long causes a lot more thermal stress than most computers normally undergo, and if a component is marginal it might temporarily fail. That's true for RAM, CPU, etc. --- 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/E1j3Nhf-0008Kw-2J%40rmmprod07.runbox.
