All of the jobs I have run thus far are on AWS, on a single instance. So while it may not have been on a single physical machine, it is unlikely to vary significantly. It's a linux machine, and I compiled it using DAW's script (I didn't check but I hope it compiled with optimizations!).
If 159 is already running, I can run something else. Are all the other jobs covered? On Tue, Feb 18, 2020 at 12:11 PM Norman Megill <[email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/metamath/95cc9cb4-0a34-490f-9cd2-c5490807c802%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAFXXJSsMcJK4tRCfc3vR8iCsx5R%3DDahAvjrb-njPxtaGbKuMeg%40mail.gmail.com.
