On Fri, 14 Feb 2020 18:01:32 -0800 (PST), Norman Megill <[email protected]> wrote: > On Friday, February 14, 2020 at 8:30:51 PM UTC-5, David A. Wheeler wrote: > > I've already restarted my assigned jobs: > > scripts/jobs 112 125-132 144-151 > > You didn't have to restart 144-151. Jobs 133 and above are not affected.
True, but it's also complicated to manage systems with different scripts. The jobs only ran for a little over a day, which is nothing. Besides, the newer scripts are much better. In particular, if you stop a job with the old scripts, any partial log files disappeared, and that's annoying for debugging. For my own sanity (& to reduce the likelihood of future mistakes) I wanted to "keep it simple" by just restarting the whole thing. If we wanted to something far more sophisticated I could use slurm-llnl or similar systems for managing parallel workloads. But I think those are more complex for "getting started". > If any of 144-151 had already finished, do you have the logs for them? > ... I'm eager to fill in my estimate chart. :) Sure! I finished 144 and 149. I posted them here: https://dwheeler.com/temp/job144.log https://dwheeler.com/temp/job149.log Here are their timings (first/last line of each file): The log file "metamathjobs/job144.log" was opened 13-Feb-2020 11:07 PM. The log file "metamathjobs/job144.log" was closed 14-Feb-2020 12:40 PM. The log file "metamathjobs/job149.log" was opened 13-Feb-2020 11:57 PM. The log file "metamathjobs/job149.log" was closed 14-Feb-2020 6:50 PM. > For everyone, I updated the schedule: > https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/odjUQM6nBAAJ > and the time estimate chart: > https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/WmovUJiKBAAJ --- 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/E1j2n5a-0005Ay-Ig%40rmmprod07.runbox.
