Is there an option to run a patchbot with more memory as in `./sage -t
--long --all -m ...'?
There seems to be a general problem with `alarm` (especially when using
`./sage -t`)
for i in range(20): # long time
try:
alarm(RDF.random_element(1e-3, 0.5))
_ = n.divisors()
cancel_alarm() # we never get here
except AlarmInterrupt:
cputime()
pass
I get an output of (running `sage -t --long src/sage/rings/integer.pyx `)
6.396
8.712
10.940000000000001
13.14
15.863999999999999
18.099999999999998
20.36
22.624
24.947999999999997
27.144
29.356
32.192
34.508
36.976
39.36
41.628
44.048
46.483999999999995
48.9
51.428
This is far from what I would expect. This seems to be a general issue. I
checked log files of a number of patchbots and they all take about a minute
for `src/sage/rings/integer.pyx` (and most of the time is used just for
this test, which should take a bit but not this long).
Inside sage this "only" takes about 20 seconds. Still long but much shorter.
If the computer is fast enough, it will actually get to the point, where it
allocates the list for all divisors of `product(primes_first_n(25))`, which
causes the test to fail. (The list has exactly 33554432 elements, hence the
failure to allocate 33554432 * 24 bytes.)
Why do I even worry about this? I cannot get my bot to work again:
https://patchbot.sagemath.org/?machine=debian&machine=9.8&machine=x86_64&machine=4.9.0-8-amd64&machine=zancara&status=needs_review
I tried `make distclean` and that didn't help. Deleting `.sage` and
`.ccache` it worked but only until I installed `pynormaliz`. Now it fails
again. (Not just once, but always).
Probably there is somehow an option to run a patchbot with more memory
allowance. Then this bot would run again. (Still wouldn't solve the
underlying problem).
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
