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 

Reply via email to