Interesting. BTW the run time for 3atlem4 in your log was 67 sec, compared
to 31 sec in Alexander's log. So your 15 hours would likely correspond to
about 7 hours on Alexander's computer. (I chose 3atlem4 arbitrarily as a
reference was because it was the first one I saw that was neither too fast
nor too slow and also had no minimizations.)
Norm
On Wednesday, February 12, 2020 at 7:16:00 PM UTC-5, heiphohmia wrote:
>
> Woke up this morning to a finished job102. Here is the data relevant to
> runtime:
>
> $ lscpu | grep '^Model name'
> Model name: AMD Phenom(tm) II N830 Triple-Core
> Processor
> $ grep '^MemTotal' /proc/meminfo
> MemTotal: 3774096 kB
> $ head -1 job102.log
> The log file "job102.log" was opened 12-Feb-2020 8:46 AM.
> $ echo ${tstart:=$(date +%s --date='12-Feb-2020 8:46 AM')}
> 1581464760
> $ echo ${tend:=$(stat -c %Y job102.log)}
> 1581519472
> $ dc -e "3k $tend $tstart - 3600/ p"
> 15.197
>
> So it took a tad over 15 hours to run as a single job on old laptop.
> Also, in
> case it happens to be useful, I am attaching job102.log.zip.
>
> Hope it turns to to be an easy fix!
>
>
--
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/3a81a985-24a8-4d4a-851a-2c31bf780b9d%40googlegroups.com.
