[Cbc] Assertion Failure (CBC 2.7)
Christoph Cullmann
cullmann at absint.de
Tue Mar 1 03:45:53 EST 2011
Hi,
other small problem, LP attached:
cullmann at imp:/local/cullmann/build/lpsolve.clpsolve.O0$ ./usr/bin/cbc
/tmp/a3-9993-wcet_analysis_0.lp
Welcome to the CBC MILP Solver
Version: 2.7
Build Date: Mar 1 2011
command line - ./usr/bin/cbc /tmp/a3-9993-wcet_analysis_0.lp (default strategy
1)
Continuous objective value is -560 - 0.00 seconds
cbc: CglProbing.cpp:3028: int CglProbing::probe(const OsiSolverInterface&,
const OsiRowCutDebugger*, OsiCuts&, double*, double*, CoinPackedMatrix*,
CoinPackedMatrix*, const CoinBigIndex*, const int*, const double*, const
double*, const char*, double*, double*, int*, CglTreeInfo*) const: Assertion
`rowStartPos[i]==kk' failed.
Aborted
Greetings
Christoph
--
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH Email: cullmann at AbsInt.com
Science Park 1 Tel: +49-681-38360-22
66123 Saarbrücken Fax: +49-681-38360-20
GERMANY WWW: http://www.AbsInt.com
--------------------------------------------------------------------
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234
-------------- next part --------------
\ This is poptimize2ilp, Build: 158123, Tag: /tags/auto/2011/02/28/2043
\ Maximization-Problem
maximize cost: 43 e_2_2_3_184_0_43 + 76 e_5_5_6_28_0_76 + 74 e_6_5_7_27_0_74 + 43 e_7_6_8_53_0_43
+ 41 e_8_6_9_52_0_41 + 38 e_9_7_10_45_0_38 + 47 e_10_8_11_72_0_47 + 45 e_11_8_12_71_0_45 + 32 e_12_9_13_64_0_32
+ 15 e_14_11_15_90_0_15 + 38 e_15_12_16_83_0_38 + 46 e_18_15_19_94_0_46 + 1 e_21_18_22_21_4_1 + 1 e_25_21_25_21_5_1
+ 1 e_28_24_27_21_6_1 + 27 e_30_26_28_195_0_27 + 76 e_33_30_31_105_0_76 + 74 e_34_30_32_104_0_74 + 43 e_35_31_33_130_0_43
+ 41 e_36_31_34_129_0_41 + 38 e_37_32_35_122_0_38 + 47 e_38_33_36_149_0_47 + 45 e_39_33_37_148_0_45 + 32 e_40_34_38_141_0_32
+ 15 e_42_36_40_167_0_15 + 38 e_43_37_41_160_0_38 + 46 e_46_40_44_171_0_46 + 1 e_49_43_47_21_1_1 + 1 e_53_46_50_21_2_1
+ 1 e_56_49_52_21_3_1 + 35 e_58_51_53_204_0_35 + 1 e_61_55_56_21_0_1
\ Constraints
subject to
\ Global Zero Variable
e_0_0_0_0_0_0 = 0
\ Start Constraints
e_1_1_2_180_0_0 = 1
\ End Constraints
e_22_22_18446744073709551615_0_0_0 + e_26_25_18446744073709551615_0_0_0 + e_29_27_18446744073709551615_0_0_0 + e_50_47_18446744073709551615_0_0_0 + e_54_50_18446744073709551615_0_0_0 + e_57_52_18446744073709551615_0_0_0 + e_62_56_18446744073709551615_0_0_0 = 1
\ Constraints given by prediction graph
e_1_1_2_180_0_0 - e_2_2_3_184_0_43 = 0
e_2_2_3_184_0_43 - e_3_3_4_185_0_0 = 0
e_3_3_4_185_0_0 - e_4_4_5_26_0_0 = 0
e_4_4_5_26_0_0 - e_5_5_6_28_0_76 - e_6_5_7_27_0_74 = 0
e_5_5_6_28_0_76 - e_7_6_8_53_0_43 - e_8_6_9_52_0_41 = 0
e_6_5_7_27_0_74 - e_9_7_10_45_0_38 = 0
e_7_6_8_53_0_43 - e_10_8_11_72_0_47 - e_11_8_12_71_0_45 = 0
e_8_6_9_52_0_41 - e_12_9_13_64_0_32 = 0
e_9_7_10_45_0_38 - e_13_10_14_46_0_0 = 0
e_10_8_11_72_0_47 - e_14_11_15_90_0_15 = 0
e_11_8_12_71_0_45 - e_15_12_16_83_0_38 = 0
e_12_9_13_64_0_32 - e_16_13_17_65_0_0 = 0
e_13_10_14_46_0_0 - e_17_14_18_19_4_0 = 0
e_14_11_15_90_0_15 - e_18_15_19_94_0_46 = 0
e_15_12_16_83_0_38 - e_19_16_20_84_0_0 = 0
e_16_13_17_65_0_0 - e_20_17_21_19_5_0 = 0
e_17_14_18_19_4_0 - e_21_18_22_21_4_1 = 0
e_18_15_19_94_0_46 - e_23_19_23_216_0_0 = 0
e_19_16_20_84_0_0 - e_24_20_24_19_6_0 = 0
e_20_17_21_19_5_0 - e_25_21_25_21_5_1 = 0
e_21_18_22_21_4_1 - e_22_22_18446744073709551615_0_0_0 = 0
e_23_19_23_216_0_0 - e_27_23_26_186_0_0 = 0
e_24_20_24_19_6_0 - e_28_24_27_21_6_1 = 0
e_25_21_25_21_5_1 - e_26_25_18446744073709551615_0_0_0 = 0
e_27_23_26_186_0_0 - e_30_26_28_195_0_27 = 0
e_28_24_27_21_6_1 - e_29_27_18446744073709551615_0_0_0 = 0
e_30_26_28_195_0_27 - e_31_28_29_196_0_0 = 0
e_31_28_29_196_0_0 - e_32_29_30_103_0_0 = 0
e_32_29_30_103_0_0 - e_33_30_31_105_0_76 - e_34_30_32_104_0_74 = 0
e_33_30_31_105_0_76 - e_35_31_33_130_0_43 - e_36_31_34_129_0_41 = 0
e_34_30_32_104_0_74 - e_37_32_35_122_0_38 = 0
e_35_31_33_130_0_43 - e_38_33_36_149_0_47 - e_39_33_37_148_0_45 = 0
e_36_31_34_129_0_41 - e_40_34_38_141_0_32 = 0
e_37_32_35_122_0_38 - e_41_35_39_123_0_0 = 0
e_38_33_36_149_0_47 - e_42_36_40_167_0_15 = 0
e_39_33_37_148_0_45 - e_43_37_41_160_0_38 = 0
e_40_34_38_141_0_32 - e_44_38_42_142_0_0 = 0
e_41_35_39_123_0_0 - e_45_39_43_19_1_0 = 0
e_42_36_40_167_0_15 - e_46_40_44_171_0_46 = 0
e_43_37_41_160_0_38 - e_47_41_45_161_0_0 = 0
e_44_38_42_142_0_0 - e_48_42_46_19_2_0 = 0
e_45_39_43_19_1_0 - e_49_43_47_21_1_1 = 0
e_46_40_44_171_0_46 - e_51_44_48_217_0_0 = 0
e_47_41_45_161_0_0 - e_52_45_49_19_3_0 = 0
e_48_42_46_19_2_0 - e_53_46_50_21_2_1 = 0
e_49_43_47_21_1_1 - e_50_47_18446744073709551615_0_0_0 = 0
e_51_44_48_217_0_0 - e_55_48_51_197_0_0 = 0
e_52_45_49_19_3_0 - e_56_49_52_21_3_1 = 0
e_53_46_50_21_2_1 - e_54_50_18446744073709551615_0_0_0 = 0
e_55_48_51_197_0_0 - e_58_51_53_204_0_35 = 0
e_56_49_52_21_3_1 - e_57_52_18446744073709551615_0_0_0 = 0
e_58_51_53_204_0_35 - e_59_53_54_205_0_0 = 0
e_59_53_54_205_0_0 - e_60_54_55_19_0_0 = 0
e_60_54_55_19_0_0 - e_61_55_56_21_0_1 = 0
e_61_55_56_21_0_1 - e_62_56_18446744073709551615_0_0_0 = 0
\ Call-Return Constraints
+1 e_23_19_23_216_0_0 -1 e_3_3_4_185_0_0 <= 0
+1 e_51_44_48_217_0_0 -1 e_31_28_29_196_0_0 <= 0
\ Loop Constraints
\ Busy Waiting Loop Constraints
\ Variables
general
e_0_0_0_0_0_0
e_1_1_2_180_0_0
e_2_2_3_184_0_43
e_3_3_4_185_0_0
e_4_4_5_26_0_0
e_5_5_6_28_0_76
e_6_5_7_27_0_74
e_7_6_8_53_0_43
e_8_6_9_52_0_41
e_9_7_10_45_0_38
e_10_8_11_72_0_47
e_11_8_12_71_0_45
e_12_9_13_64_0_32
e_13_10_14_46_0_0
e_14_11_15_90_0_15
e_15_12_16_83_0_38
e_16_13_17_65_0_0
e_17_14_18_19_4_0
e_18_15_19_94_0_46
e_19_16_20_84_0_0
e_20_17_21_19_5_0
e_21_18_22_21_4_1
e_23_19_23_216_0_0
e_24_20_24_19_6_0
e_25_21_25_21_5_1
e_22_22_18446744073709551615_0_0_0
e_27_23_26_186_0_0
e_28_24_27_21_6_1
e_26_25_18446744073709551615_0_0_0
e_30_26_28_195_0_27
e_29_27_18446744073709551615_0_0_0
e_31_28_29_196_0_0
e_32_29_30_103_0_0
e_33_30_31_105_0_76
e_34_30_32_104_0_74
e_35_31_33_130_0_43
e_36_31_34_129_0_41
e_37_32_35_122_0_38
e_38_33_36_149_0_47
e_39_33_37_148_0_45
e_40_34_38_141_0_32
e_41_35_39_123_0_0
e_42_36_40_167_0_15
e_43_37_41_160_0_38
e_44_38_42_142_0_0
e_45_39_43_19_1_0
e_46_40_44_171_0_46
e_47_41_45_161_0_0
e_48_42_46_19_2_0
e_49_43_47_21_1_1
e_51_44_48_217_0_0
e_52_45_49_19_3_0
e_53_46_50_21_2_1
e_50_47_18446744073709551615_0_0_0
e_55_48_51_197_0_0
e_56_49_52_21_3_1
e_54_50_18446744073709551615_0_0_0
e_58_51_53_204_0_35
e_57_52_18446744073709551615_0_0_0
e_59_53_54_205_0_0
e_60_54_55_19_0_0
e_61_55_56_21_0_1
e_62_56_18446744073709551615_0_0_0
end
More information about the Cbc
mailing list