Thanks. Note that per the status post below (that I keep updated without emailing the group), DAW is currently running 159. While I think it is a good idea to run another in parallel given the unreproducible segfaults on 2 computers, I'm just letting you know.
It would also be interesting to compare the run times. DAW has seen varying run times from 35s to 46s for 3atlem4 on the same computer, and I see that your jobs 123,124,156,158 took 48s,49s,45s,36s resp. I am using those times to normalize the run times in my estimates post. I am curious, though, were these jobs on the same computer or different ones? The metamath program uses the clock() function in C to measure the run time. In metamath.exe, the lcc compiler uses elapsed time for clock(). I think gcc is supposed to use "processor time" per the C spec although it's not clear to me precisely what that means because it can vary significantly from run to run. Are you using metamath.exe on Windows or a gcc compilation? Did anyone else use metamath.exe for their job runs? As a reminder, here are the posts that I keep updated: status: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/odjUQM6nBAAJ estimates: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/WmovUJiKBAAJ Norm On Tuesday, February 18, 2020 at 1:53:13 PM UTC-5, Mario Carneiro wrote: > > 158 is done (after 62.8 hours), starting 159. 160 is still running. > > On Sun, Feb 16, 2020 at 8:13 AM Norman Megill wrote: > >> Thanks. I updated the status: >> https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/odjUQM6nBAAJ >> with 158 assigned to you. >> >> On Saturday, February 15, 2020 at 10:41:17 PM UTC-5, Mario Carneiro wrote: >>> >>> 156 is done (after 31.8 hours), starting 158. 160 is still running. >>> >> -- 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/95cc9cb4-0a34-490f-9cd2-c5490807c802%40googlegroups.com.
