Okay, I will hold off on 123 and 124. Mario Carneiro <[email protected]> wrote: > I'm trying out 123 and 124 for now using AWS. I might be able to scale up > depending on the results. > > On Thu, Feb 13, 2020 at 4:51 PM David Starner <[email protected]> wrote: > > > On Thu, Feb 13, 2020 at 2:28 PM Norman Megill <[email protected]> wrote: > > > > > > Here is an update of current commitments as of Feb. 13, 17:30 EST : > > > > > > 101 Alexander > > > 102 heiphohmia > > > 103-111 David Starner > > > 112 David A. Wheeler > > > 113-124 UNASSIGNED > > > 125-132 David A. Wheeler > > > 133-134 UNASSIGNED > > > 135-143 David Starner > > > 144-151 David A. Wheeler > > > 152-160 UNASSIGNED > > > > > > Thierry has volunteered starting next week. > > > > > > David S., you mentioned "batches of 8" but your ranges have 9 each. Do > > you want to adjust them or keep them as is? > > > > I noticed that afterwards, but that wasn't a problem. I had a couple > > unexplained segmentation faults, on job105 and job135. I restarted > > job105 and it ran to completion; I haven't tried restarting 135 yet. > > I'll restart 135 and actually start 137, and take 133, 134, and > > 152-155, and send you the complete logs. > > > > -- > > 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 [email protected]. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/metamath/CAMZ%3Dzj6o-F6AwFMeZcZOYGaKf84VYK4H6uBONcOhyjrhERDXpw%40mail.gmail.com > > . > >
-- 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/3DKLW3UFCDTTW.2OLECKLEO93IW%40wilsonb.com.
