Opened 2 years ago

Closed 2 years ago

#23879 closed defect (duplicate)

Various doctest failures if cbc is installed

Reported by: jdemeyer Owned by:
Priority: blocker Milestone: sage-duplicate/invalid/wontfix
Component: packages: optional Keywords:
Cc: mderickx, mkoeppe Merged in:
Authors: Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: u/jdemeyer/various_doctest_failures_if_cbc_is_installed (Commits) Commit: 439fa392f2b909b24c7cea32c9d3f1f517010d28
Dependencies: Stopgaps:

Description (last modified by jdemeyer)

With the optional package cbc installed (and no other optional package):

----------------------------------------------------------------------
sage -t --long src/sage/combinat/designs/orthogonal_arrays_build_recursive.py  # Killed due to segmentation fault
sage -t --long src/sage/graphs/digraph.py  # Bad exit: 127
sage -t --long src/sage/graphs/generic_graph.py  # Killed due to abort
sage -t --long src/sage/graphs/graph_coloring.py  # Killed due to abort
sage -t --long src/sage/graphs/graph.py  # Killed due to abort
sage -t --long src/sage/libs/gap/assigned_names.py  # 1 doctest failed
sage -t --long src/sage/numerical/backends/gurobi_backend.pyx  # Killed due to abort
sage -t --long src/sage/graphs/graph_decompositions/vertex_separation.pyx  # Timed out
----------------------------------------------------------------------

Since the failures refer to memory allocation errors, this is because cbc requires a very large amount of memory (more than what #23748 allows).

One simple fix is to never use the cbc solver by default.

Change History (9)

comment:1 Changed 2 years ago by jdemeyer

  • Description modified (diff)

comment:2 Changed 2 years ago by jdemeyer

  • Branch set to u/jdemeyer/various_doctest_failures_if_cbc_is_installed

comment:3 Changed 2 years ago by jdemeyer

  • Authors set to Jeroen Demeyer
  • Cc mkoeppe added
  • Commit set to 439fa392f2b909b24c7cea32c9d3f1f517010d28
  • Description modified (diff)

New commits:

439fa39Do not use CBC solver by default

comment:4 Changed 2 years ago by jdemeyer

  • Status changed from new to needs_review

comment:5 Changed 2 years ago by jdemeyer

  • Description modified (diff)

comment:6 Changed 2 years ago by jdemeyer

  • Description modified (diff)

comment:7 Changed 2 years ago by jdemeyer

The underlying problem is probably the same as #23892, namely that cbc is using too many threads. Now how to limit the number of threads that cbc uses?

comment:8 Changed 2 years ago by mderickx

We use cbc via the c++ interface, the only place where I found how to set from the c++ interface is at https://www.coin-or.org/Doxygen/Cbc/classCbcModel.html#a6174c612fd1bfdc372bfc292bf0ee383 . However I do not know enough of CBC to actually do this. The discussion here https://list.coin-or.org/pipermail/cbc/2014-November/001566.html might be related.

comment:9 Changed 2 years ago by jdemeyer

  • Authors Jeroen Demeyer deleted
  • Milestone changed from sage-8.1 to sage-duplicate/invalid/wontfix
  • Resolution set to duplicate
  • Reviewers set to Jeroen Demeyer
  • Status changed from needs_review to closed

Fixed in #23713

Note: See TracTickets for help on using tickets.