[Coin-discuss] sbb assertion failure

Jesper Hansen jesper at carmen.se
Wed Jan 28 12:16:13 EST 2004 

Thanks for the quick response to all my challenges.. :-)

I have attached the output from Clp and Sbb. I'm doing a column 
generation algorithm where I once in a while solves the IP problem. It 
seems that initially the lp bound is lower than the cut-off value, but 
after adding cuts the lp bound increases and the assertion trickers. If 
this  is not sufficient to identify the problem, I will create an example. 

'Jesper

On Wed, 28 Jan 2004, Lou Hafer wrote:

> Jesper,
> 
> 	Yan is correct as to the why. We'll need an example to pursue the how
> of it. Can you send me an example that triggers the assertion? Probably best to 
> do it off list, unless it's trivially small.
> 	
> 							Lou
> 
> _______________________________________________
> Coin-discuss mailing list
> Coin-discuss at www-124.ibm.com
> http://www-124.ibm.com/developerworks/oss/mailman/listinfo/coin-discuss
> 

-- 
Jesper Hansen, mailto:Jesper at carmenconsulting.com
Carmen Consulting, Købmagergade 53, Copenhagen K, Denmark 
Tel.: +45 33 17 91 92    Mobil: +45 61 33 29 69
http://www.carmenconsulting.com
-------------- next part --------------
Clp0005I 0  Obj 0 Primal inf 73 (73)
Clp0005I 123  Obj 3.01527e+08
Clp0000I Optimal - objective value 3.01527e+08
Clp0005I 0  Obj 3.01527e+08 Dual inf 1.22923e+06 (70)
Clp0005I 30  Obj 3.01509e+08
Clp0000I Optimal - objective value 3.01509e+08
Clp0000I Optimal - objective value 3.01509e+08
Clp0005I 0  Obj 3.01509e+08 Dual inf 21314 (16)
Clp0005I 11  Obj 3.01509e+08
Clp0000I Optimal - objective value 3.01509e+08
Clp0000I Optimal - objective value 3.01509e+08
Clp0005I 0  Obj 3.01509e+08 Dual inf 1.41191e+10 (307)
Clp0005I 107  Obj 1.7967e+06
Clp0000I Optimal - objective value 1.7967e+06
Clp0000I Optimal - objective value 1.7967e+06
Clp0000I Optimal - objective value 1.7967e+06
Clp0005I 0  Obj 1.7967e+06 Dual inf 342875 (64)
Clp0005I 65  Obj 1.70588e+06
Clp0000I Optimal - objective value 1.70588e+06
Clp0005I 0  Obj 1.70588e+06 Dual inf 66354 (17)
Clp0005I 27  Obj 1.69882e+06
Clp0000I Optimal - objective value 1.69882e+06
Clp0005I 0  Obj 1.69882e+06 Dual inf 18656 (8)
Clp0005I 15  Obj 1.69834e+06
Clp0000I Optimal - objective value 1.69834e+06
Clp0005I 0  Obj 1.69834e+06 Dual inf 9028 (4)
Clp0005I 3  Obj 1.69426e+06
Clp0000I Optimal - objective value 1.69426e+06
Clp0005I 0  Obj 1.69426e+06 Dual inf 2460 (1)
Clp0005I 6  Obj 1.69426e+06
Clp0000I Optimal - objective value 1.69426e+06
Clp0000I Optimal - objective value 1.69426e+06
Clp0005I 0  Obj 1.69426e+06 Dual inf 21500 (11)
Clp0005I 26  Obj 1.69213e+06
Clp0000I Optimal - objective value 1.69213e+06
Clp0005I 0  Obj 1.69213e+06 Dual inf 1349 (2)
Clp0005I 8  Obj 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0005I 0  Obj 1.69176e+06 Dual inf 2202.67 (2)
Clp0005I 2  Obj 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Sbb0009I Objective coefficients multiple of 0.0031746
Sbb0013I At root node, 7 cuts changed objective from 1.69176e+06 to 1.69246e+06 in 3 passes
Sbb0014I Cut generator 0 (Probing) - 0 row cuts (0 active), 0 column cuts - new frequency is -100
Sbb0014I Cut generator 1 (Gomory) - 9 row cuts (1 active), 0 column cuts - new frequency is -100
Sbb0014I Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts - new frequency is -100
Sbb0014I Cut generator 3 (OddHole) - 12 row cuts (6 active), 0 column cuts - new frequency is -100
Sbb0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible 1.69246e+06
7 non basic artificials deleted
Sbb0004I Integer solution of 1.69295e+06 found after 6 iterations and 1 nodes
5 non basic artificials deleted
5 non basic artificials deleted
Sbb0001I Search completed - best objective 1.69295e+06, took 19 iterations and 2 nodes
Sbb0004I Integer solution of 1.69295e+06 found after 19 iterations and 2 nodes
Clp0005I 0  Obj 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0005I 0  Obj 1.69176e+06 Primal inf 0.333333 (1)
Clp0005I 5  Obj 1.69204e+06
Clp0000I Optimal - objective value 1.69204e+06
Clp0005I 0  Obj 1.69204e+06 Dual inf 503 (2)
Clp0005I 3  Obj 1.692e+06
Clp0000I Optimal - objective value 1.692e+06
Clp0005I 0  Obj 1.692e+06 Dual inf 1570.8 (1)
Clp0005I 6  Obj 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0005I 0  Obj 1.69176e+06 Primal inf 1.33333 (2)
Clp0005I 5  Obj 1.6927e+06
Clp0000I Optimal - objective value 1.6927e+06
Clp0005I 0  Obj 1.6927e+06 Dual inf 1177 (2)
Clp0005I 7  Obj 1.6927e+06
Clp0000I Optimal - objective value 1.6927e+06
Clp0005I 0  Obj 1.6927e+06 Dual inf 1656 (1)
Clp0005I 6  Obj 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0005I 0  Obj 1.69176e+06 Primal inf 0.333333 (1)
Clp0005I 9  Obj 1.69204e+06
Clp0000I Optimal - objective value 1.69204e+06
Clp0005I 0  Obj 1.69204e+06 Primal inf 0.333333 (1)
Clp0005I 6  Obj 1.69298e+06
Clp0000I Optimal - objective value 1.69298e+06
Clp0005I 0  Obj 1.69298e+06 Dual inf 3512.5 (5)
Clp0005I 5  Obj 1.69279e+06
Clp0000I Optimal - objective value 1.69279e+06
Clp0000I Optimal - objective value 1.69279e+06
Clp0000I Optimal - objective value 1.69279e+06
Clp0005I 0  Obj 1.69279e+06 Dual inf 4483.8 (3)
Clp0005I 21  Obj 1.69204e+06
Clp0000I Optimal - objective value 1.69204e+06
Clp0005I 0  Obj 1.69204e+06 Primal inf 1.33333 (2)
Clp0005I 14  Obj 1.01679e+08
Clp0000I Optimal - objective value 1.01679e+08
Clp0005I 0  Obj 1.01679e+08 Dual inf 6.77773e+10 (453)
Clp0005I 52  Obj 1.69369e+06
Clp0000I Optimal - objective value 1.69369e+06
Clp0005I 0  Obj 1.69369e+06 Dual inf 134119 (37)
Clp0005I 13  Obj 1.69369e+06
Clp0000I Optimal - objective value 1.69369e+06
Clp0005I 0  Obj 1.69369e+06 Dual inf 26850 (14)
Clp0005I 6  Obj 1.69286e+06
Clp0000I Optimal - objective value 1.69286e+06
Clp0005I 0  Obj 1.69286e+06 Dual inf 1364 (1)
Clp0005I 1  Obj 1.69286e+06
Clp0000I Optimal - objective value 1.69286e+06
Clp0000I Optimal - objective value 1.69286e+06
Clp0000I Optimal - objective value 1.69286e+06
Clp0005I 0  Obj 1.69286e+06 Dual inf 2542 (2)
Clp0005I 14  Obj 1.69204e+06
Clp0000I Optimal - objective value 1.69204e+06
Clp0005I 0  Obj 1.69204e+06 Primal inf 0.333333 (1)
Clp0005I 11  Obj 1.69287e+06
Clp0000I Optimal - objective value 1.69287e+06
Clp0000I Optimal - objective value 1.69287e+06
Clp0000I Optimal - objective value 1.69287e+06
Sbb0009I Objective coefficients multiple of 0.0031746
Sbb0001I Search completed - best objective 1e+50, took 0 iterations and 0 nodes
Clp0005I 0  Obj 1.69287e+06
Clp0000I Optimal - objective value 1.69287e+06
Clp0000I Optimal - objective value 1.69287e+06
Clp0005I 0  Obj 1.69287e+06 Dual inf 5531 (2)
Clp0005I 23  Obj 1.69204e+06
Clp0000I Optimal - objective value 1.69204e+06
Clp0005I 0  Obj 1.69204e+06 Primal inf 1.33333 (2)
Clp0005I 10  Obj 1.69369e+06
Clp0000I Optimal - objective value 1.69369e+06
Clp0000I Optimal - objective value 1.69369e+06
Clp0000I Optimal - objective value 1.69369e+06
Sbb0006I The LP relaxation is infeasible or too expensive
Clp0005I 0  Obj 1.69369e+06
Clp0000I Optimal - objective value 1.69369e+06
Clp0000I Optimal - objective value 1.69369e+06
Clp0005I 0  Obj 1.69369e+06 Dual inf 4279.5 (2)
Clp0005I 12  Obj 1.69204e+06
Clp0000I Optimal - objective value 1.69204e+06
Clp0005I 0  Obj 1.69204e+06 Dual inf 2643 (1)
Clp0005I 15  Obj 1.69176e+06
Clp0000I Optimal - objective value 1.69176e+06
Clp0005I 0  Obj 1.69176e+06 Primal inf 1.33333 (2)
Clp0005I 5  Obj 1.6927e+06
Clp0000I Optimal - objective value 1.6927e+06
Clp0000I Optimal - objective value 1.6927e+06
Clp0000I Optimal - objective value 1.6927e+06
Sbb0009I Objective coefficients multiple of 0.0031746
Sbb0013I At root node, 0 cuts changed objective from 1.6927e+06 to 1.69295e+06 in 1 passes
Sbb0014I Cut generator 0 (Probing) - 2 row cuts (0 active), 2 column cuts - new frequency is -100
Sbb0014I Cut generator 1 (Gomory) - 0 row cuts (0 active), 0 column cuts - new frequency is -100
Sbb0014I Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts - new frequency is -100
Sbb0014I Cut generator 3 (OddHole) - 0 row cuts (0 active), 0 column cuts - new frequency is -100

More information about the Coin-discuss mailing list