Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[CI] Unimath fails with out of memory #10437

Open
MSoegtropIMC opened this issue Jun 27, 2019 · 4 comments

Comments

@MSoegtropIMC
Copy link
Contributor

commented Jun 27, 2019

In this CI job: https://gitlab.com/coq/coq/-/jobs/240732105 unimath failed with an out of memory:

UniMath/CategoryTheory/Bicategories/Transformations/PseudoTransformation (real: 19.08, user: 6.02, sys: 0.41, mem: 537976 ko)
COQC UniMath/CategoryTheory/Bicategories/DisplayedBicats/Examples/Algebras.v
File "./UniMath/CategoryTheory/Bicategories/DisplayedBicats/Examples/Algebras.v", line 1145, characters 0-12:
Error: Out of memory.

Command exited with non-zero status 1

For the time being the main purpose of this issue is to track statistics on this failure.

Btw.: do we have something like a "spurious failure" statistics tracker?

@ejgallego

This comment has been minimized.

Copy link
Member

commented Jun 27, 2019

@MSoegtropIMC this is due to gitlab having provisioning some workers with a bit less memory than what we assume. We cannot do a lot, as we get a huge number of workers from them very generously, but at some point we could tag some jobs "highmem" and have our own high-mem workers.

By the way, I thin gitlab used to have a 4Gb worker tag.

@ejgallego

This comment has been minimized.

Copy link
Member

commented Jul 21, 2019

Not seeing this very often.

@Zimmi48

This comment has been minimized.

Copy link
Member

commented Jul 25, 2019

According to @vbgl it continues to happen frequently in v8.10.

@vbgl

This comment has been minimized.

Copy link
Contributor

commented Jul 25, 2019

Here is a example failing job: https://gitlab.com/coq/coq/-/jobs/258893965.

COQC UniMath/CategoryTheory/Bicategories/DisplayedBicats/Examples/Algebras.v
Fatal error: out of memory.
Command exited with non-zero status 2
UniMath/CategoryTheory/Bicategories/DisplayedBicats/Examples/Algebras (real: 745.43, user: 32.84, sys: 1.47, mem: 594876 ko)
build/CoqMakefile.make:658: recipe for target 'UniMath/CategoryTheory/Bicategories/DisplayedBicats/Examples/Algebras.vo' failed
make[3]: *** [UniMath/CategoryTheory/Bicategories/DisplayedBicats/Examples/Algebras.vo] Error 2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
4 participants
You can’t perform that action at this time.