On Fri, Feb 14, 2020 at 5:16 PM David Starner <prosfil...@gmail.com> wrote: > After the ones currently running complete, I'm going to take it > offline and run a memory checker. But 155 has run for 24 hours and > hasn't hit the halfway mark (I assume backwards takes about the same > amount of time as forwards does), so I would have time to run > something that would take eight hours, but not something that might > well be slower than what I'm running now.
And whoops, 155 crashed and I didn't notice because I was just looking at the log file. I've sent the log files for 152-154 to Norm, and will give job 155 back for now. -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAMZ%3Dzj76TOwA6oHi8oZwxhhthvKhQtQoQBPuihDhE0k_Fti_EQ%40mail.gmail.com.
