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