[Cbc] assertion in OsiClpSolverInterface.cpp:498 failing

Stefan Vigerske stefan at math.hu-berlin.de
Thu Jun 21 15:22:12 EDT 2007


Hi,

> 	Well, you're out on the bleeding edge with the current Osi/trunk
> configuration, so it's possible that what you're seeing is a transient error due
> to code development.

Would it help to change to Osi/devel?

>  Can you try inserting a call to writeMps immediately prior
> to the failed assert?  That'd give an mps file to play with --- if it triggers
> the same error when read directly, it'll be much easier to debug.

I attached you the mps file that is written.
"Unfortunately", when I call the clp binary with this file as argument, 
it is not failing.

The funny thing, on another model, the assertion does not fail anymore 
after inserting the writeMps before.
Instead it gives some output like this:
processed model has 16 rows, 41 columns (11 integer) and 115 elements
1 bad bound pairs or bad objectives were found - first at C7
Search completed - best objective 1e+50, took 0 iterations and 0 nodes 
(0.02 seconds)
Maximum depth 0, 0 variables fixed on reduced cost

Presolve determined model infeasible. (this is from the GAMS interface)

I will see that I can get valgrind working...

Stefan

-- 
Stefan Vigerske
Humboldt University Berlin, Numerical Mathematics
http://www.math.hu-berlin.de/~stefan
-------------- next part --------------
NAME          BLANK   
ROWS
 N  OBJROW
 E  R0000000
 E  R0000001
 E  R0000002
 E  R0000003
 E  R0000004
 E  R0000005
 E  R0000006
 E  R0000007
 E  R0000008
 E  R0000009
 E  R0000010
 E  R0000011
 E  R0000012
 E  R0000013
 E  R0000014
 E  R0000015
 E  R0000016
 E  R0000017
 E  R0000018
 E  R0000019
 E  R0000020
 E  R0000021
 E  R0000022
 E  R0000023
 E  R0000024
 E  R0000025
 E  R0000026
 E  R0000027
 E  R0000028
 E  R0000029
 E  R0000030
 E  R0000031
 E  R0000032
 E  R0000033
 E  R0000034
 L  R0000035
 L  R0000036
COLUMNS
    C0000000  R0000000  1.             R0000005   -0.33333333
    C0000000  R0000006   -0.33333333   R0000007   -0.33333333
    C0000001  R0000000  1.             R0000008   -0.33333333
    C0000001  R0000009   -0.33333333   R0000010   -0.33333333
    C0000002  OBJROW    0.0018251267   R0000035  1.          
    C0000002  R0000027  0.3333333333   R0000028  0.3333333333
    C0000002  R0000029  0.3333333333
    C0000003  OBJROW    0.00449726     R0000036  1.          
    C0000003  R0000030  0.3333333333   R0000031  0.3333333333
    C0000003  R0000032  0.3333333333
    C0000004  R0000001  1.             R0000011   -0.85714286
    C0000004  R0000012   -0.14285714   R0000017   -0.85714286
    C0000005  R0000002  1.             R0000011  -0.074688797
    C0000005  R0000012   -0.42738589   R0000013   -0.49792531
    C0000005  R0000018   -0.42738589
    C0000006  R0000003  1.             R0000014   -0.5       
    C0000006  R0000015   -0.425        R0000016  -0.075      
    C0000006  R0000019   -0.425     
    C0000007  R0000004  1.             R0000015   -0.15      
    C0000007  R0000016   -0.85         R0000020   -0.85      
    C0000008  R0000003   -1.           R0000005   -0.5       
    C0000008  R0000006   -0.425        R0000007  -0.075      
    C0000009  R0000002   -1.           R0000008  -0.074688797
    C0000009  R0000009   -0.42738589   R0000010   -0.49792531
    C0000010  R0000001   -1.           R0000021  0.8571428571
    C0000010  R0000022  0.1428571429
    C0000011  R0000001   -1.           R0000024  0.8571428571
    C0000011  R0000025  0.1428571429
    C0000012  R0000002   -1.           R0000021  0.0746887967
    C0000012  R0000022  0.4273858921   R0000023  0.4979253112
    C0000013  R0000002   -1.           R0000024  0.0746887967
    C0000013  R0000025  0.4273858921   R0000026  0.4979253112
    C0000014  R0000003   -1.           R0000021  0.5         
    C0000014  R0000022  0.425          R0000023  0.075       
    C0000015  R0000003   -1.           R0000024  0.5         
    C0000015  R0000025  0.425          R0000026  0.075       
    C0000016  R0000004   -1.           R0000022  0.15        
    C0000016  R0000023  0.85        
    C0000017  R0000004   -1.           R0000025  0.15        
    C0000017  R0000026  0.85        
    C0000018  R0000000  1.             R0000021  0.3333333333
    C0000018  R0000022  0.3333333333   R0000023  0.3333333333
    C0000019  R0000000  1.             R0000024  0.3333333333
    C0000019  R0000025  0.3333333333   R0000026  0.3333333333
    C0000020  R0000005  1.             R0000011  1.          
    C0000020  R0000017  0.85           R0000027   -1.        
    C0000021  R0000006  1.             R0000012  1.          
    C0000021  R0000018  0.8583333333   R0000028   -1.        
    C0000022  R0000007  1.             R0000013  1.          
    C0000022  R0000029   -1.        
    C0000023  R0000008  1.             R0000014  1.          
    C0000023  R0000030   -1.        
    C0000024  R0000009  1.             R0000015  1.          
    C0000024  R0000019  0.85           R0000031   -1.        
    C0000025  R0000010  1.             R0000016  1.          
    C0000025  R0000020  0.85           R0000032   -1.        
    C0000026  OBJROW     -0.12110824   R0000034  1.          
    C0000026  R0000027  211.76470588
    C0000027  OBJROW    0.9033035294   R0000034  1.          
    C0000027  R0000028  211.76470588
    C0000028  R0000029  211.76470588   R0000034  1.          
    C0000029  R0000011   -70.          R0000017   -70.       
    C0000029  R0000021  70.            R0000012  70.         
    C0000029  R0000022   -70.       
    C0000030  R0000011   -141.764706   R0000024  141.76470588
    C0000030  R0000033  1.          
    C0000031  R0000012   -141.764706   R0000018   -141.764706
    C0000031  R0000025  141.76470588   R0000033  1.          
    C0000032  R0000013   -141.764706   R0000026  141.76470588
    C0000032  R0000033  1.          
    C0000033  OBJROW    1.9802964706   R0000017  70.588235294
    C0000034  OBJROW    1.6371105882   R0000018  70.588235294
    C0000035  OBJROW    0.23947        R0000035   -300.      
    C0000036  OBJROW    0.75835        R0000036   -300.      
    C0000037  OBJROW    10.335443333   R0000005   -1.        
    C0000038  R0000005  1.          
    C0000039  R0000006   -1.        
    C0000040  R0000006  1.          
    C0000041  OBJROW    1.3921266667   R0000007  1.          
    C0000042  R0000007   -1.        
    C0000043  OBJROW    8.9433166667   R0000008   -1.        
    C0000044  R0000008  1.          
    C0000045  R0000009   -1.        
    C0000046  R0000009  1.          
    C0000047  R0000010   -1.        
    C0000048  R0000010  1.          
    C0000049  R0000011   -1.        
    C0000050  R0000011  1.          
    C0000051  OBJROW    14.249083333   R0000012   -1.        
    C0000052  R0000012  1.          
    C0000053  R0000013   -1.        
    C0000054  R0000013  1.          
    C0000055  OBJROW    30.018596667   R0000014  1.          
    C0000056  R0000014   -1.        
    C0000057  OBJROW    42.803383333   R0000015  1.          
    C0000058  R0000015   -1.        
    C0000059  R0000016   -1.        
    C0000060  R0000016  1.          
    C0000061  OBJROW    13.124317647   R0000017  1.          
    C0000062  R0000017   -1.        
    C0000063  OBJROW    23.1924        R0000018  1.          
    C0000064  R0000018   -1.        
    C0000065  OBJROW    50.356921569   R0000019   -1.        
    C0000066  R0000019  1.          
    C0000067  R0000020   -1.        
    C0000068  R0000020  1.          
    C0000069  OBJROW    13.124317647   R0000021  1.          
    C0000070  R0000021   -1.        
    C0000071  OBJROW    14.249083333   R0000022   -1.        
    C0000072  R0000022  1.          
    C0000073  OBJROW    10.068082353   R0000023  1.          
    C0000074  R0000023   -1.        
    C0000075  R0000024   -1.        
    C0000076  R0000024  1.          
    C0000077  OBJROW    8.9433166667   R0000025  1.          
    C0000078  R0000025   -1.        
    C0000079  R0000026   -1.        
    C0000080  R0000026  1.          
    C0000081  OBJROW    0.8202266667   R0000027  1.          
    C0000082  R0000027   -1.        
    C0000083  OBJROW    5.6577266667   R0000028  1.          
    C0000084  R0000028   -1.        
    C0000085  OBJROW    1.3921266667   R0000029  1.          
    C0000086  R0000029   -1.        
    C0000087  OBJROW    21.07528       R0000030  1.          
    C0000088  R0000030   -1.        
    C0000089  R0000031   -1.        
    C0000090  R0000031  1.          
    C0000091  R0000032   -1.        
    C0000092  R0000032  1.          
RHS
    RHS       OBJROW    3.3491703529   R0000000  300.        
    RHS       R0000011   -70.5882353   R0000012   -0.58823529
    RHS       R0000013   -70.5882353   R0000021  140.        
    RHS       R0000022   -30.          R0000023  20.         
    RHS       R0000024  30.588235294   R0000025  130.58823529
    RHS       R0000026  150.58823529   R0000027  70.588235294
    RHS       R0000028  70.588235294   R0000029  70.588235294
    RHS       R0000033  1.             R0000034  1.          
BOUNDS
 UP BOUND     C0000000  300.        
 UP BOUND     C0000001  300.        
 UP BOUND     C0000002  300.        
 UP BOUND     C0000003  300.        
 UP BOUND     C0000004  300.        
 UP BOUND     C0000005  300.        
 UP BOUND     C0000006  300.        
 UP BOUND     C0000007  300.        
 UP BOUND     C0000008  300.        
 UP BOUND     C0000009  300.        
 UP BOUND     C0000010  300.        
 UP BOUND     C0000011  300.        
 UP BOUND     C0000012  300.        
 UP BOUND     C0000013  300.        
 UP BOUND     C0000014  300.        
 UP BOUND     C0000015  300.        
 UP BOUND     C0000016  300.        
 UP BOUND     C0000017  300.        
 UP BOUND     C0000018  300.        
 UP BOUND     C0000019  300.        
 UP BOUND     C0000020  100.        
 UP BOUND     C0000021  100.        
 UP BOUND     C0000022  100.        
 UP BOUND     C0000023  100.        
 UP BOUND     C0000024  100.        
 UP BOUND     C0000025  100.        
 UP BOUND     C0000026  1.          
 UP BOUND     C0000027  1.          
 UP BOUND     C0000028  1.          
 UP BOUND     C0000029  1.          
 UP BOUND     C0000030  1.          
 UP BOUND     C0000031  1.          
 UP BOUND     C0000032  1.          
 LO BOUND     C0000033  0.85        
 UP BOUND     C0000033  1.          
 LO BOUND     C0000034  0.85        
 UP BOUND     C0000034  1.          
 BV BOUND     C0000035  1.          
 BV BOUND     C0000036  1.          
ENDATA


More information about the Cbc mailing list