Opened 6 years ago

Closed 7 weeks ago

#131 closed defect (migrated)

Problem with Cbc and AllDifferent cut

Reported by: ycollet Owned by: tkr
Priority: major Component: Cbc
Version: 2.7.6 Keywords:
Cc:

Description

Hello,

I use the last version of Cbc (2.8.3). I meet the following problem under Windows (32 + 64) and Linux (64). I added a AllDifferent? cut via CbcModel? + addCutGenerator. Then I started a resolution using the Osi layer of CBC. Then Cbc hangs. Here is the gdb log of the problem:

#0 0x00000000010fa29a in CglAllDifferent::generateCuts (this=0x1c959f0, si=..., cs=...)

at /home/crystal/rmdev/MoteurRiskManager-cmake/build_tmp/Dependencies/Cbc/src/EP_Cbc/Cgl/src/CglAllDifferent/CglAllDifferent.cpp:99

#1 0x000000000136e685 in CbcCutGenerator::generateCuts (this=0x1c95a80, cs=..., fullScan=2, solver=0x1ba69a8, node=0x0)

at /home/crystal/rmdev/MoteurRiskManager-cmake/build_tmp/Dependencies/Cbc/src/EP_Cbc/Cbc/src/CbcCutGenerator.cpp:306

#2 0x000000000130b7a7 in CbcModel::serialCuts (this=0x1ba6220, theseCuts=..., node=0x0, slackCuts=..., lastNumberCuts=0)

at /home/crystal/rmdev/MoteurRiskManager-cmake/build_tmp/Dependencies/Cbc/src/EP_Cbc/Cbc/src/CbcModel.cpp:9306

#3 0x00000000013066c7 in CbcModel::solveWithCuts (this=0x1ba6220, cuts=..., numberTries=49, node=0x0)

at /home/crystal/rmdev/MoteurRiskManager-cmake/build_tmp/Dependencies/Cbc/src/EP_Cbc/Cbc/src/CbcModel.cpp:7947

#4 0x00000000012f148d in CbcModel::branchAndBound (this=0x1ba6220, doStatistics=0)

at /home/crystal/rmdev/MoteurRiskManager-cmake/build_tmp/Dependencies/Cbc/src/EP_Cbc/Cbc/src/CbcModel.cpp:2905

#5 0x0000000001276799 in OsiCbcSolverInterface::branchAndBound (this=0x1a9d520)

at /home/crystal/rmdev/MoteurRiskManager-cmake/build_tmp/Dependencies/Cbc/src/EP_Cbc/Cbc/src/OsiCbc/OsiCbcSolverInterface.cpp:787

Best regards,

YC

Change History (1)

comment:1 Changed 7 weeks ago by stefan

  • Resolution set to migrated
  • Status changed from new to closed

This ticket has been migrated to GitHub and will be resolved there: https://github.com/coin-or/Cbc/issues/131

Note: See TracTickets for help on using tickets.