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/CAFXXJSuoFBCFx_zKQBTx8hPtCppiNg4xFo%3D_%3DcPbcRr758psGA%40mail.gmail.com.
