I looked at my status this AM; these jobs are done: 112, 125, 126, 127, 128, 129, 130, 131, 132, 144, 146, 149
Jobs 146 & 149 are newly done as of this AM, and are available as: https://dwheeler.com/temp/job{146,149}.log I found these jobs running (6 jobs, I can run 8 at a time): 145, 147, 148, 150, 151, 155. It's not yet known if my run of job 155 will have the same problems as David S. My run of job 155 has only gotten up to this line: > Proof of "fourierdlem111" decreased from 17615 to 17592 bytes using "mp3an12". David S.'s job had problems sometime after this line: > Proof of "fourierdlem111" decreased from 16553 to 16546 bytes using "picn". I guess we'll see. Mario is running 160 and started 158. I started job 157, as assigned. That left one more of my 8 CPUs not doing anything. So I decided to also start doing job 159, since no one else had said they were doing it (as far as I know). I hope that's okay. With that, every job is assigned. If my job 159 is thrown away because it's being split up, or someone else ends up doing it, no big deal. But if we might want to use job 159, someone has to start it :-). --- 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/E1j3LJ9-0006ll-Hh%40rmmprod07.runbox.
