
<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"><style>body { line-height: 1.5; }body { font-size: 10.5pt; font-family: 'Microsoft YaHei UI'; color: rgb(0, 0, 0); line-height: 1.5; }</style></head><body>

<div><span></span><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;">Hi <span style="font-size: 10.5pt; background-color: window;">Matthias</span><span style="font-size: 10.5pt; background-color: window;">,</span></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><br></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;">I implemented a branch and price algorithm. After hundreds rounds, it crashed with the following information. </div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><br></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;">"coloring.linux.x86_64.gnu.gdb.cpx: src/scip/lp.c:14418: checkLazyBounds: Assertion `SCIPsetIsInfinity(set, col->lazyub) || SCIPsetIsFeasLE(set, col->primsol, col->lazyub)' failed.</div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;">Aborted (core dumped)"</div></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><br></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;">I cannot find any information about <span style="font-size: 10.5pt; background-color: window;">SCIPsetIsInfinity and </span><span style="font-size: 10.5pt; background-color: window;">SCIPsetIsFeasLE in the manual.</span></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><span style="font-size: 10.5pt; background-color: window;"><br></span></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><span style="font-size: 10.5pt; background-color: window;">Beat regards,</span></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><span style="font-size: 10.5pt; background-color: window;"><br></span></div><div style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><span style="font-size: 10.5pt; background-color: window;">Wei Kai.</span></div>

</body></html>