[Cbc] refusing feasible solutions
Pietro Belotti
pbelott at clemson.edu
Wed Jul 25 12:58:32 EDT 2012
Thanks John.
I have added the following lines before launching the BB:
OsiBabSolver solverChar;
solverChar. setSolverType (3);
dsbb. passInSolverCharacteristics (&solverChar);
(note: I also tried to replace the third line with
dsbb. solver() -> setAuxiliaryInfo (&solverChar);
as suggested in CbcModel.hpp) so that solutionAddsCuts() would return
true. I hope this is the right way to modify the solver. However, now I
get the message
Cbc0006I The LP relaxation is infeasible or too expensive
(no other lines printed with setLogLevel (10) for both LP and BB solvers).
This seems to happen between CbcModel.cpp:1990 and 2008, where
feasible = (solver_->isProvenOptimal() &&
!solver_->isDualObjectiveLimitReached()) ;
sets feasible to false because the first part, solver_->isProvenOptimal()
is false (the second, !solver_->isDualObjectiveLimitReached(), is true).
Instead, problemFeasibility_->feasible(this, 0) >= 0 so the above
condition seems to be the only reason why the solver bails out.
When saving the problem both before starting the bb and before
CbcModel.cpp:1990 (with solver_->writeLp()), I get two feasible MILPs
(attached -- none of these contains cuts, they contain the original
problem).
Note that the standalone Cbc segfaults when run on any of these -- do the
variables fixed at 0 and appearing nowhere in the LP have anything to do
with this?
Pietro
--
Pietro Belotti
Dept. of Mathematical Sciences
Clemson University
email: pbelott at clemson.edu
phone: 864-656-6765
web: http://myweb.clemson.edu/~pbelott
On Tue, 24 Jul 2012, John Forrest wrote:
> Pietro,
>
> Cbc should be calling
> CbcModel::setBestSolution (CBC_Message how,
> double & objectiveValue, const double *solutionIn,
> int fixVariables)
> - if not that is a bug.
>
> If the solverCharacteristics include solutionAddsCuts then it should go
> through your globally valid cut generators to see if any cut off solution.
>
> If we can sort out if/why not it is calling setBestSolution then it would be
> trivial to make virtual - but would have to be in trunk.
>
> John
>
> On 23/07/12 21:02, Pietro Belotti wrote:
>> Hello.
>>
>> Is there any way to block (or check) integer solutions that Cbc finds
>> (through heuristics, from the LP solver, strong branching, etc.) to prevent
>> it from use as a cutoff?
>>
>> I am using Cbc stable/2.7 to solve a problem with a small number of initial
>> constraints plus other (exponentially many) constraints to be added during
>> branch and bound. The integer solutions satisfying the initial constraints
>> may not be feasible for the original problem, therefore I would like to
>> have the last word before Cbc accepts them. This would look like the Cplex
>> callback added through the CPXsetincumbentcallbackfunc() procedure.
>>
>> There are two CbcModel::setBestSolution() methods and a
>> CbcModel::checkSolution(), but it appears that none of them are called, and
>> the branch and bound terminates quickly with a solution that, while optimal
>> for the initial problem, is infeasible for the model I'd like to use. If
>> there were a way to activate CbcModel::checkSolution() through some option,
>> it would then be nice to have that method virtual in Cbc to create my own
>> check.
>>
>> Thanks,
>> Pietro
>>
>> --
>> Pietro Belotti
>> Dept. of Mathematical Sciences
>> Clemson University
>> email: pbelott at clemson.edu
>> phone: 864-656-6765
>> web: http://myweb.clemson.edu/~pbelott
>> _______________________________________________
>> Cbc mailing list
>> Cbc at list.coin-or.org
>> http://list.coin-or.org/mailman/listinfo/cbc
>>
>>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
>
-------------- next part --------------
\Problem name:
Minimize
obj: 15.44000 x25 + 19.06000 x26 + 16.26000 x27 + 26.49000 x28 + 28.31000 x29 + 25.81000 x30 + 14.04000 x31 + 16.81000 x32 + 16.11000 x33 + 21.17000 x34
+ 21.31000 x35 + 23.11000 x36 + 18.83000 x37 + 17.39000 x38 + 19.08000 x39
Subject To
cons0: x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34
+ x35 + x36 + x37 + x38 + x39 = 5
cons1: 180.23173 x25 + 181.65993 x26 + 180.55524 x27 + 191.38882 x28 + 192.10687 x29 + 191.12054 x30 + 175.48114 x31 + 176.63351 x32 + 176.34229 x33 + 184.79884 x34
+ 184.86009 x35 + 185.64759 x36 + 187.56355 x37 + 186.96449 x38 + 187.66756 x39 <= 1052.63333
cons2: 186.11490 x25 + 187.54310 x26 + 186.43842 x27 + 196.43154 x28 + 197.14958 x29 + 196.16326 x30 + 181.36431 x31 + 182.51668 x32 + 182.22547 x33 + 190.68201 x34
+ 190.74326 x35 + 191.53076 x36 + 191.76582 x37 + 191.16676 x38 + 191.86982 x39 <= 1089.26103
cons3: 185.27445 x25 + 186.70265 x26 + 185.59796 x27 + 197.27199 x28 + 197.99004 x29 + 197.00371 x30 + 180.52386 x31 + 181.67622 x32 + 181.38501 x33 + 189.84156 x34
+ 189.90281 x35 + 190.69031 x36 + 193.44673 x37 + 192.84766 x38 + 193.55073 x39 <= 1089.69149
cons4: 185.27445 x25 + 186.70265 x26 + 185.59796 x27 + 197.27199 x28 + 197.99004 x29 + 197.00371 x30 + 179.68341 x31 + 180.83577 x32 + 180.54456 x33 + 190.68201 x34
+ 190.74326 x35 + 191.53076 x36 + 193.44673 x37 + 192.84766 x38 + 193.55073 x39 <= 1089.97883
cons5: 185.27445 x25 + 186.70265 x26 + 185.59796 x27 + 196.43154 x28 + 197.14958 x29 + 196.16326 x30 + 181.36431 x31 + 182.51668 x32 + 182.22547 x33 + 189.84156 x34
+ 189.90281 x35 + 190.69031 x36 + 193.44673 x37 + 192.84766 x38 + 193.55073 x39 <= 1089.17230
cons6: 186.11490 x25 + 187.54310 x26 + 186.43842 x27 + 196.43154 x28 + 197.14958 x29 + 196.16326 x30 + 181.36431 x31 + 182.51668 x32 + 182.22547 x33 + 189.84156 x34
+ 189.90281 x35 + 190.69031 x36 + 192.60627 x37 + 192.00721 x38 + 192.71028 x39 <= 1089.10223
cons7: 188.21603 x25 + 189.64424 x26 + 188.53955 x27 + 200.21358 x28 + 200.93162 x29 + 199.94529 x30 + 182.20477 x31 + 183.35713 x32 + 183.06592 x33 + 192.78314 x34
+ 192.84439 x35 + 193.63189 x36 + 196.38831 x37 + 195.78925 x38 + 196.49232 x39 <= 1104.65684
cons8: 188.21603 x25 + 189.64424 x26 + 188.53955 x27 + 199.37312 x28 + 200.09117 x29 + 199.10484 x30 + 183.04522 x31 + 184.19758 x32 + 183.90637 x33 + 194.04382 x34
+ 194.10507 x35 + 194.89257 x36 + 195.12763 x37 + 194.52857 x38 + 195.23164 x39 <= 1104.37964
cons9: 189.05649 x25 + 190.48469 x26 + 189.38000 x27 + 199.37312 x28 + 200.09117 x29 + 199.10484 x30 + 184.30590 x31 + 185.45826 x32 + 185.16705 x33 + 192.78314 x34
+ 192.84439 x35 + 193.63189 x36 + 194.28718 x37 + 193.68812 x38 + 194.39118 x39 <= 1103.88509
cons10: 186.95535 x25 + 188.38356 x26 + 187.27887 x27 + 200.21358 x28 + 200.93162 x29 + 199.94529 x30 + 182.62499 x31 + 183.77736 x32 + 183.48615 x33 + 192.36292 x34
+ 192.42417 x35 + 193.21167 x36 + 197.64899 x37 + 197.04993 x38 + 197.75300 x39 <= 1104.61872
cons11: 189.05649 x25 + 190.48469 x26 + 189.38000 x27 + 198.11244 x28 + 198.83049 x29 + 197.84416 x30 + 185.56658 x31 + 186.71894 x32 + 186.42773 x33 + 192.36292 x34
+ 192.42417 x35 + 193.21167 x36 + 194.70741 x37 + 194.10834 x38 + 194.81141 x39 <= 1103.03783
cons12: 189.26660 x25 + 190.69480 x26 + 189.59012 x27 + 203.57539 x28 + 204.29344 x29 + 203.30711 x30 + 184.09579 x31 + 185.24815 x32 + 184.95694 x33 + 194.25394 x34
+ 194.31519 x35 + 195.10269 x36 + 202.06137 x37 + 201.46231 x38 + 202.16537 x39 <= 1119.46385
cons13: 191.99807 x25 + 193.42628 x26 + 192.32159 x27 + 203.15516 x28 + 203.87321 x29 + 202.88688 x30 + 184.93624 x31 + 186.08860 x32 + 185.79739 x33 + 196.14496 x34
+ 196.20621 x35 + 196.99371 x36 + 197.01865 x37 + 196.41959 x38 + 197.12266 x39 <= 1119.27468
cons14: 189.26660 x25 + 190.69480 x26 + 189.59012 x27 + 203.15516 x28 + 203.87321 x29 + 202.88688 x30 + 184.51601 x31 + 185.66838 x32 + 185.37717 x33 + 196.56518 x34
+ 196.62643 x35 + 197.41393 x36 + 199.75012 x37 + 199.15106 x38 + 199.85413 x39 <= 1119.63610
cons15: 191.99807 x25 + 193.42628 x26 + 192.32159 x27 + 200.42369 x28 + 201.14174 x29 + 200.15541 x30 + 187.66771 x31 + 188.82008 x32 + 188.52887 x33 + 196.56518 x34
+ 196.62643 x35 + 197.41393 x36 + 196.59843 x37 + 195.99936 x38 + 196.70243 x39 <= 1117.70846
cons16: 192.41830 x25 + 193.84650 x26 + 192.74181 x27 + 200.42369 x28 + 201.14174 x29 + 200.15541 x30 + 189.97896 x31 + 191.13132 x32 + 190.84011 x33 + 194.25394 x34
+ 194.31519 x35 + 195.10269 x36 + 196.17820 x37 + 195.57914 x38 + 196.28220 x39 <= 1116.90355
cons17: 193.99415 x25 + 195.42235 x26 + 194.31766 x27 + 206.51697 x28 + 207.23502 x29 + 206.24869 x30 + 188.08794 x31 + 189.24030 x32 + 188.94909 x33 + 199.71688 x34
+ 199.77813 x35 + 200.56563 x36 + 198.38439 x37 + 197.78533 x38 + 198.48839 x39 <= 1134.60880
cons18: 189.26660 x25 + 190.69480 x26 + 189.59012 x27 + 206.72709 x28 + 207.44513 x29 + 206.45881 x30 + 184.30590 x31 + 185.45826 x32 + 185.16705 x33 + 198.77137 x34
+ 198.83262 x35 + 199.62012 x36 + 207.62937 x37 + 207.03031 x38 + 207.73338 x39 <= 1135.86313
cons19: 195.35988 x25 + 196.78809 x26 + 195.68340 x27 + 205.15124 x28 + 205.86929 x29 + 204.88296 x30 + 186.30198 x31 + 187.45434 x32 + 187.16313 x33 + 199.71688 x34
+ 199.77813 x35 + 200.56563 x36 + 200.17035 x37 + 199.57129 x38 + 200.27436 x39 <= 1134.15266
cons20: 194.20426 x25 + 195.63246 x26 + 194.52778 x27 + 205.36135 x28 + 206.07940 x29 + 205.09307 x30 + 190.39919 x31 + 191.55155 x32 + 191.26034 x33 + 194.25394 x34
+ 194.31519 x35 + 195.10269 x36 + 202.48160 x37 + 201.88254 x38 + 202.58560 x39 <= 1132.74421
cons21: 195.57000 x25 + 196.99820 x26 + 195.89351 x27 + 200.42369 x28 + 201.14174 x29 + 200.15541 x30 + 195.54696 x31 + 196.69932 x32 + 196.40811 x33 + 198.77137 x34
+ 198.83262 x35 + 199.62012 x36 + 196.38831 x37 + 195.78925 x38 + 196.49232 x39 <= 1130.88848
cons22: 200.77030 x25 + 202.19850 x26 + 201.09382 x27 + 211.92739 x28 + 212.64544 x29 + 211.65911 x30 + 187.19496 x31 + 188.34732 x32 + 188.05611 x33 + 199.71688 x34
+ 199.77813 x35 + 200.56563 x36 + 199.27737 x37 + 198.67831 x38 + 199.38137 x39 <= 1149.14488
cons23: 194.78207 x25 + 196.21028 x26 + 195.10559 x27 + 203.47033 x28 + 204.18838 x29 + 203.20205 x30 + 197.70062 x31 + 198.85299 x32 + 198.56177 x33 + 205.12730 x34
+ 205.18855 x35 + 205.97605 x36 + 197.38635 x37 + 196.78729 x38 + 197.49035 x39 <= 1144.38149
cons24: 200.77030 x25 + 202.19850 x26 + 201.09382 x27 + 202.89252 x28 + 203.61057 x29 + 202.62424 x30 + 198.85625 x31 + 200.00861 x32 + 199.71740 x33 + 196.51265 x34
+ 196.57390 x35 + 197.36140 x36 + 199.43496 x37 + 198.83589 x38 + 199.53896 x39 <= 1142.47470
cons25: 192.31324 x25 + 193.74145 x26 + 192.63676 x27 + 205.93916 x28 + 206.65721 x29 + 205.67088 x30 + 185.30394 x31 + 186.45630 x32 + 186.16509 x33 + 205.12730 x34
+ 205.18855 x35 + 205.97605 x36 + 209.78303 x37 + 209.18397 x38 + 209.88704 x39 <= 1147.47214
cons26: 191.73543 x25 + 193.16363 x26 + 192.05895 x27 + 211.92739 x28 + 212.64544 x29 + 211.65911 x30 + 187.35254 x31 + 188.50491 x32 + 188.21370 x33 + 196.51265 x34
+ 196.57390 x35 + 197.36140 x36 + 210.93866 x37 + 210.33959 x38 + 211.04266 x39 <= 1148.85757
cons27: 211.38102 x25 + 202.19850 x26 + 201.09382 x27 + 207.40996 x28 + 208.12800 x29 + 207.14167 x30 + 193.02560 x31 + 194.17796 x32 + 193.88675 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 199.35616 x37 + 198.75710 x38 + 199.46017 x39 <= 1148.33859
cons28: 200.77030 x25 + 212.80923 x26 + 201.09382 x27 + 207.40996 x28 + 208.12800 x29 + 207.14167 x30 + 193.02560 x31 + 194.17796 x32 + 193.88675 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 199.35616 x37 + 198.75710 x38 + 199.46017 x39 <= 1149.00737
cons29: 200.77030 x25 + 202.19850 x26 + 211.70454 x27 + 207.40996 x28 + 208.12800 x29 + 207.14167 x30 + 193.02560 x31 + 194.17796 x32 + 193.88675 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 199.35616 x37 + 198.75710 x38 + 199.46017 x39 <= 1148.49011
cons30: 196.25287 x25 + 197.68107 x26 + 196.57638 x27 + 222.53811 x28 + 212.64544 x29 + 211.65911 x30 + 187.27375 x31 + 188.42611 x32 + 188.13490 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 205.10801 x37 + 204.50895 x38 + 205.21202 x39 <= 1153.55281
cons31: 196.25287 x25 + 197.68107 x26 + 196.57638 x27 + 211.92739 x28 + 223.25616 x29 + 211.65911 x30 + 187.27375 x31 + 188.42611 x32 + 188.13490 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 205.10801 x37 + 204.50895 x38 + 205.21202 x39 <= 1153.88758
cons32: 196.25287 x25 + 197.68107 x26 + 196.57638 x27 + 211.92739 x28 + 212.64544 x29 + 222.26983 x30 + 187.27375 x31 + 188.42611 x32 + 188.13490 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 205.10801 x37 + 204.50895 x38 + 205.21202 x39 <= 1153.42771
cons33: 197.77619 x25 + 199.20439 x26 + 198.09970 x27 + 203.18143 x28 + 203.89947 x29 + 202.91315 x30 + 209.46697 x31 + 199.43080 x32 + 199.13959 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 198.41065 x37 + 197.81159 x38 + 198.51466 x39 <= 1146.77664
cons34: 197.77619 x25 + 199.20439 x26 + 198.09970 x27 + 203.18143 x28 + 203.89947 x29 + 202.91315 x30 + 198.27843 x31 + 210.61933 x32 + 199.13959 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 198.41065 x37 + 197.81159 x38 + 198.51466 x39 <= 1147.31702
cons35: 197.77619 x25 + 199.20439 x26 + 198.09970 x27 + 203.18143 x28 + 203.89947 x29 + 202.91315 x30 + 198.27843 x31 + 199.43080 x32 + 210.32812 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 198.41065 x37 + 197.81159 x38 + 198.51466 x39 <= 1147.18049
cons36: 193.54766 x25 + 194.97586 x26 + 193.87117 x27 + 204.70475 x28 + 205.42279 x29 + 204.43647 x30 + 191.50228 x31 + 192.65464 x32 + 192.36343 x33 + 216.89364 x34
+ 205.18855 x35 + 205.97605 x36 + 203.58469 x37 + 202.98563 x38 + 203.68870 x39 <= 1150.69687
cons37: 193.54766 x25 + 194.97586 x26 + 193.87117 x27 + 204.70475 x28 + 205.42279 x29 + 204.43647 x30 + 191.50228 x31 + 192.65464 x32 + 192.36343 x33 + 205.12730 x34
+ 216.95489 x35 + 205.97605 x36 + 203.58469 x37 + 202.98563 x38 + 203.68870 x39 <= 1150.72550
cons38: 193.54766 x25 + 194.97586 x26 + 193.87117 x27 + 204.70475 x28 + 205.42279 x29 + 204.43647 x30 + 191.50228 x31 + 192.65464 x32 + 192.36343 x33 + 205.12730 x34
+ 205.18855 x35 + 217.74239 x36 + 203.58469 x37 + 202.98563 x38 + 203.68870 x39 <= 1151.09355
cons39: 192.02434 x25 + 193.45254 x26 + 192.34785 x27 + 208.93328 x28 + 209.65132 x29 + 208.66500 x30 + 186.32824 x31 + 187.48060 x32 + 187.18939 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 221.54938 x37 + 209.76178 x38 + 210.46485 x39 <= 1152.42990
cons40: 192.02434 x25 + 193.45254 x26 + 192.34785 x27 + 208.93328 x28 + 209.65132 x29 + 208.66500 x30 + 186.32824 x31 + 187.48060 x32 + 187.18939 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 210.36085 x37 + 220.95032 x38 + 210.46485 x39 <= 1152.15026
cons41: 192.02434 x25 + 193.45254 x26 + 192.34785 x27 + 208.93328 x28 + 209.65132 x29 + 208.66500 x30 + 186.32824 x31 + 187.48060 x32 + 187.18939 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 210.36085 x37 + 209.76178 x38 + 221.65338 x39 <= 1152.47845
cons42: - x28 + x29 >= 0
cons43: x28 - x30 >= 0
cons44: x26 - x27 >= 0
cons45: - x25 + x27 >= 0
cons46: - x35 + x36 >= 0
cons47: - x34 + x35 >= 0
cons48: x32 - x33 >= 0
cons49: - x31 + x33 >= 0
cons50: - x37 + x39 >= 0
cons51: x37 - x38 >= 0
Bounds
0 <= x0 <= 0
0 <= x1 <= 0
0 <= x2 <= 0
0 <= x3 <= 0
0 <= x4 <= 0
0 <= x5 <= 0
0 <= x6 <= 0
0 <= x7 <= 0
0 <= x8 <= 0
0 <= x9 <= 0
0 <= x10 <= 0
0 <= x11 <= 0
0 <= x12 <= 0
0 <= x13 <= 0
0 <= x14 <= 0
0 <= x15 <= 0
0 <= x16 <= 0
0 <= x17 <= 0
0 <= x18 <= 0
0 <= x19 <= 0
0 <= x20 <= 0
0 <= x21 <= 0
0 <= x22 <= 0
0 <= x23 <= 0
0 <= x24 <= 0
0 <= x25 <= 1
0 <= x26 <= 1
0 <= x27 <= 1
0 <= x28 <= 1
0 <= x29 <= 1
0 <= x30 <= 1
0 <= x31 <= 1
0 <= x32 <= 1
0 <= x33 <= 1
0 <= x34 <= 1
0 <= x35 <= 1
0 <= x36 <= 1
0 <= x37 <= 1
0 <= x38 <= 1
0 <= x39 <= 1
Integers
x0 x1 x2 x3 x4 x5 x6 x7 x8 x9
x10 x11 x12 x13 x14 x15 x16 x17 x18 x19
x20 x21 x22 x23 x24 x25 x26 x27 x28 x29
x30 x31 x32 x33 x34 x35 x36 x37 x38 x39
End
-------------- next part --------------
\Problem name:
Minimize
obj: -15.44000 x25 -19.06000 x26 -16.26000 x27 -26.49000 x28 -28.31000 x29 -25.81000 x30 -14.04000 x31 -16.81000 x32 -16.11000 x33 -21.17000 x34
-21.31000 x35 -23.11000 x36 -18.83000 x37 -17.39000 x38 -19.08000 x39
Subject To
cons0: x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34
+ x35 + x36 + x37 + x38 + x39 = 5
cons1: 180.23173 x25 + 181.65993 x26 + 180.55524 x27 + 191.38882 x28 + 192.10687 x29 + 191.12054 x30 + 175.48114 x31 + 176.63351 x32 + 176.34229 x33 + 184.79884 x34
+ 184.86009 x35 + 185.64759 x36 + 187.56355 x37 + 186.96449 x38 + 187.66756 x39 <= 1052.63333
cons2: 186.11490 x25 + 187.54310 x26 + 186.43842 x27 + 196.43154 x28 + 197.14958 x29 + 196.16326 x30 + 181.36431 x31 + 182.51668 x32 + 182.22547 x33 + 190.68201 x34
+ 190.74326 x35 + 191.53076 x36 + 191.76582 x37 + 191.16676 x38 + 191.86982 x39 <= 1089.26103
cons3: 185.27445 x25 + 186.70265 x26 + 185.59796 x27 + 197.27199 x28 + 197.99004 x29 + 197.00371 x30 + 180.52386 x31 + 181.67622 x32 + 181.38501 x33 + 189.84156 x34
+ 189.90281 x35 + 190.69031 x36 + 193.44673 x37 + 192.84766 x38 + 193.55073 x39 <= 1089.69149
cons4: 185.27445 x25 + 186.70265 x26 + 185.59796 x27 + 197.27199 x28 + 197.99004 x29 + 197.00371 x30 + 179.68341 x31 + 180.83577 x32 + 180.54456 x33 + 190.68201 x34
+ 190.74326 x35 + 191.53076 x36 + 193.44673 x37 + 192.84766 x38 + 193.55073 x39 <= 1089.97883
cons5: 185.27445 x25 + 186.70265 x26 + 185.59796 x27 + 196.43154 x28 + 197.14958 x29 + 196.16326 x30 + 181.36431 x31 + 182.51668 x32 + 182.22547 x33 + 189.84156 x34
+ 189.90281 x35 + 190.69031 x36 + 193.44673 x37 + 192.84766 x38 + 193.55073 x39 <= 1089.17230
cons6: 186.11490 x25 + 187.54310 x26 + 186.43842 x27 + 196.43154 x28 + 197.14958 x29 + 196.16326 x30 + 181.36431 x31 + 182.51668 x32 + 182.22547 x33 + 189.84156 x34
+ 189.90281 x35 + 190.69031 x36 + 192.60627 x37 + 192.00721 x38 + 192.71028 x39 <= 1089.10223
cons7: 188.21603 x25 + 189.64424 x26 + 188.53955 x27 + 200.21358 x28 + 200.93162 x29 + 199.94529 x30 + 182.20477 x31 + 183.35713 x32 + 183.06592 x33 + 192.78314 x34
+ 192.84439 x35 + 193.63189 x36 + 196.38831 x37 + 195.78925 x38 + 196.49232 x39 <= 1104.65684
cons8: 188.21603 x25 + 189.64424 x26 + 188.53955 x27 + 199.37312 x28 + 200.09117 x29 + 199.10484 x30 + 183.04522 x31 + 184.19758 x32 + 183.90637 x33 + 194.04382 x34
+ 194.10507 x35 + 194.89257 x36 + 195.12763 x37 + 194.52857 x38 + 195.23164 x39 <= 1104.37964
cons9: 189.05649 x25 + 190.48469 x26 + 189.38000 x27 + 199.37312 x28 + 200.09117 x29 + 199.10484 x30 + 184.30590 x31 + 185.45826 x32 + 185.16705 x33 + 192.78314 x34
+ 192.84439 x35 + 193.63189 x36 + 194.28718 x37 + 193.68812 x38 + 194.39118 x39 <= 1103.88509
cons10: 186.95535 x25 + 188.38356 x26 + 187.27887 x27 + 200.21358 x28 + 200.93162 x29 + 199.94529 x30 + 182.62499 x31 + 183.77736 x32 + 183.48615 x33 + 192.36292 x34
+ 192.42417 x35 + 193.21167 x36 + 197.64899 x37 + 197.04993 x38 + 197.75300 x39 <= 1104.61872
cons11: 189.05649 x25 + 190.48469 x26 + 189.38000 x27 + 198.11244 x28 + 198.83049 x29 + 197.84416 x30 + 185.56658 x31 + 186.71894 x32 + 186.42773 x33 + 192.36292 x34
+ 192.42417 x35 + 193.21167 x36 + 194.70741 x37 + 194.10834 x38 + 194.81141 x39 <= 1103.03783
cons12: 189.26660 x25 + 190.69480 x26 + 189.59012 x27 + 203.57539 x28 + 204.29344 x29 + 203.30711 x30 + 184.09579 x31 + 185.24815 x32 + 184.95694 x33 + 194.25394 x34
+ 194.31519 x35 + 195.10269 x36 + 202.06137 x37 + 201.46231 x38 + 202.16537 x39 <= 1119.46385
cons13: 191.99807 x25 + 193.42628 x26 + 192.32159 x27 + 203.15516 x28 + 203.87321 x29 + 202.88688 x30 + 184.93624 x31 + 186.08860 x32 + 185.79739 x33 + 196.14496 x34
+ 196.20621 x35 + 196.99371 x36 + 197.01865 x37 + 196.41959 x38 + 197.12266 x39 <= 1119.27468
cons14: 189.26660 x25 + 190.69480 x26 + 189.59012 x27 + 203.15516 x28 + 203.87321 x29 + 202.88688 x30 + 184.51601 x31 + 185.66838 x32 + 185.37717 x33 + 196.56518 x34
+ 196.62643 x35 + 197.41393 x36 + 199.75012 x37 + 199.15106 x38 + 199.85413 x39 <= 1119.63610
cons15: 191.99807 x25 + 193.42628 x26 + 192.32159 x27 + 200.42369 x28 + 201.14174 x29 + 200.15541 x30 + 187.66771 x31 + 188.82008 x32 + 188.52887 x33 + 196.56518 x34
+ 196.62643 x35 + 197.41393 x36 + 196.59843 x37 + 195.99936 x38 + 196.70243 x39 <= 1117.70846
cons16: 192.41830 x25 + 193.84650 x26 + 192.74181 x27 + 200.42369 x28 + 201.14174 x29 + 200.15541 x30 + 189.97896 x31 + 191.13132 x32 + 190.84011 x33 + 194.25394 x34
+ 194.31519 x35 + 195.10269 x36 + 196.17820 x37 + 195.57914 x38 + 196.28220 x39 <= 1116.90355
cons17: 193.99415 x25 + 195.42235 x26 + 194.31766 x27 + 206.51697 x28 + 207.23502 x29 + 206.24869 x30 + 188.08794 x31 + 189.24030 x32 + 188.94909 x33 + 199.71688 x34
+ 199.77813 x35 + 200.56563 x36 + 198.38439 x37 + 197.78533 x38 + 198.48839 x39 <= 1134.60880
cons18: 189.26660 x25 + 190.69480 x26 + 189.59012 x27 + 206.72709 x28 + 207.44513 x29 + 206.45881 x30 + 184.30590 x31 + 185.45826 x32 + 185.16705 x33 + 198.77137 x34
+ 198.83262 x35 + 199.62012 x36 + 207.62937 x37 + 207.03031 x38 + 207.73338 x39 <= 1135.86313
cons19: 195.35988 x25 + 196.78809 x26 + 195.68340 x27 + 205.15124 x28 + 205.86929 x29 + 204.88296 x30 + 186.30198 x31 + 187.45434 x32 + 187.16313 x33 + 199.71688 x34
+ 199.77813 x35 + 200.56563 x36 + 200.17035 x37 + 199.57129 x38 + 200.27436 x39 <= 1134.15266
cons20: 194.20426 x25 + 195.63246 x26 + 194.52778 x27 + 205.36135 x28 + 206.07940 x29 + 205.09307 x30 + 190.39919 x31 + 191.55155 x32 + 191.26034 x33 + 194.25394 x34
+ 194.31519 x35 + 195.10269 x36 + 202.48160 x37 + 201.88254 x38 + 202.58560 x39 <= 1132.74421
cons21: 195.57000 x25 + 196.99820 x26 + 195.89351 x27 + 200.42369 x28 + 201.14174 x29 + 200.15541 x30 + 195.54696 x31 + 196.69932 x32 + 196.40811 x33 + 198.77137 x34
+ 198.83262 x35 + 199.62012 x36 + 196.38831 x37 + 195.78925 x38 + 196.49232 x39 <= 1130.88848
cons22: 200.77030 x25 + 202.19850 x26 + 201.09382 x27 + 211.92739 x28 + 212.64544 x29 + 211.65911 x30 + 187.19496 x31 + 188.34732 x32 + 188.05611 x33 + 199.71688 x34
+ 199.77813 x35 + 200.56563 x36 + 199.27737 x37 + 198.67831 x38 + 199.38137 x39 <= 1149.14488
cons23: 194.78207 x25 + 196.21028 x26 + 195.10559 x27 + 203.47033 x28 + 204.18838 x29 + 203.20205 x30 + 197.70062 x31 + 198.85299 x32 + 198.56177 x33 + 205.12730 x34
+ 205.18855 x35 + 205.97605 x36 + 197.38635 x37 + 196.78729 x38 + 197.49035 x39 <= 1144.38149
cons24: 200.77030 x25 + 202.19850 x26 + 201.09382 x27 + 202.89252 x28 + 203.61057 x29 + 202.62424 x30 + 198.85625 x31 + 200.00861 x32 + 199.71740 x33 + 196.51265 x34
+ 196.57390 x35 + 197.36140 x36 + 199.43496 x37 + 198.83589 x38 + 199.53896 x39 <= 1142.47470
cons25: 192.31324 x25 + 193.74145 x26 + 192.63676 x27 + 205.93916 x28 + 206.65721 x29 + 205.67088 x30 + 185.30394 x31 + 186.45630 x32 + 186.16509 x33 + 205.12730 x34
+ 205.18855 x35 + 205.97605 x36 + 209.78303 x37 + 209.18397 x38 + 209.88704 x39 <= 1147.47214
cons26: 191.73543 x25 + 193.16363 x26 + 192.05895 x27 + 211.92739 x28 + 212.64544 x29 + 211.65911 x30 + 187.35254 x31 + 188.50491 x32 + 188.21370 x33 + 196.51265 x34
+ 196.57390 x35 + 197.36140 x36 + 210.93866 x37 + 210.33959 x38 + 211.04266 x39 <= 1148.85757
cons27: 211.38102 x25 + 202.19850 x26 + 201.09382 x27 + 207.40996 x28 + 208.12800 x29 + 207.14167 x30 + 193.02560 x31 + 194.17796 x32 + 193.88675 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 199.35616 x37 + 198.75710 x38 + 199.46017 x39 <= 1148.33859
cons28: 200.77030 x25 + 212.80923 x26 + 201.09382 x27 + 207.40996 x28 + 208.12800 x29 + 207.14167 x30 + 193.02560 x31 + 194.17796 x32 + 193.88675 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 199.35616 x37 + 198.75710 x38 + 199.46017 x39 <= 1149.00737
cons29: 200.77030 x25 + 202.19850 x26 + 211.70454 x27 + 207.40996 x28 + 208.12800 x29 + 207.14167 x30 + 193.02560 x31 + 194.17796 x32 + 193.88675 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 199.35616 x37 + 198.75710 x38 + 199.46017 x39 <= 1148.49011
cons30: 196.25287 x25 + 197.68107 x26 + 196.57638 x27 + 222.53811 x28 + 212.64544 x29 + 211.65911 x30 + 187.27375 x31 + 188.42611 x32 + 188.13490 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 205.10801 x37 + 204.50895 x38 + 205.21202 x39 <= 1153.55281
cons31: 196.25287 x25 + 197.68107 x26 + 196.57638 x27 + 211.92739 x28 + 223.25616 x29 + 211.65911 x30 + 187.27375 x31 + 188.42611 x32 + 188.13490 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 205.10801 x37 + 204.50895 x38 + 205.21202 x39 <= 1153.88758
cons32: 196.25287 x25 + 197.68107 x26 + 196.57638 x27 + 211.92739 x28 + 212.64544 x29 + 222.26983 x30 + 187.27375 x31 + 188.42611 x32 + 188.13490 x33 + 198.11477 x34
+ 198.17602 x35 + 198.96352 x36 + 205.10801 x37 + 204.50895 x38 + 205.21202 x39 <= 1153.42771
cons33: 197.77619 x25 + 199.20439 x26 + 198.09970 x27 + 203.18143 x28 + 203.89947 x29 + 202.91315 x30 + 209.46697 x31 + 199.43080 x32 + 199.13959 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 198.41065 x37 + 197.81159 x38 + 198.51466 x39 <= 1146.77664
cons34: 197.77619 x25 + 199.20439 x26 + 198.09970 x27 + 203.18143 x28 + 203.89947 x29 + 202.91315 x30 + 198.27843 x31 + 210.61933 x32 + 199.13959 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 198.41065 x37 + 197.81159 x38 + 198.51466 x39 <= 1147.31702
cons35: 197.77619 x25 + 199.20439 x26 + 198.09970 x27 + 203.18143 x28 + 203.89947 x29 + 202.91315 x30 + 198.27843 x31 + 199.43080 x32 + 210.32812 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 198.41065 x37 + 197.81159 x38 + 198.51466 x39 <= 1147.18049
cons36: 193.54766 x25 + 194.97586 x26 + 193.87117 x27 + 204.70475 x28 + 205.42279 x29 + 204.43647 x30 + 191.50228 x31 + 192.65464 x32 + 192.36343 x33 + 216.89364 x34
+ 205.18855 x35 + 205.97605 x36 + 203.58469 x37 + 202.98563 x38 + 203.68870 x39 <= 1150.69687
cons37: 193.54766 x25 + 194.97586 x26 + 193.87117 x27 + 204.70475 x28 + 205.42279 x29 + 204.43647 x30 + 191.50228 x31 + 192.65464 x32 + 192.36343 x33 + 205.12730 x34
+ 216.95489 x35 + 205.97605 x36 + 203.58469 x37 + 202.98563 x38 + 203.68870 x39 <= 1150.72550
cons38: 193.54766 x25 + 194.97586 x26 + 193.87117 x27 + 204.70475 x28 + 205.42279 x29 + 204.43647 x30 + 191.50228 x31 + 192.65464 x32 + 192.36343 x33 + 205.12730 x34
+ 205.18855 x35 + 217.74239 x36 + 203.58469 x37 + 202.98563 x38 + 203.68870 x39 <= 1151.09355
cons39: 192.02434 x25 + 193.45254 x26 + 192.34785 x27 + 208.93328 x28 + 209.65132 x29 + 208.66500 x30 + 186.32824 x31 + 187.48060 x32 + 187.18939 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 221.54938 x37 + 209.76178 x38 + 210.46485 x39 <= 1152.42990
cons40: 192.02434 x25 + 193.45254 x26 + 192.34785 x27 + 208.93328 x28 + 209.65132 x29 + 208.66500 x30 + 186.32824 x31 + 187.48060 x32 + 187.18939 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 210.36085 x37 + 220.95032 x38 + 210.46485 x39 <= 1152.15026
cons41: 192.02434 x25 + 193.45254 x26 + 192.34785 x27 + 208.93328 x28 + 209.65132 x29 + 208.66500 x30 + 186.32824 x31 + 187.48060 x32 + 187.18939 x33 + 200.81998 x34
+ 200.88123 x35 + 201.66873 x36 + 210.36085 x37 + 209.76178 x38 + 221.65338 x39 <= 1152.47845
cons42: - x28 + x29 >= 0
cons43: x28 - x30 >= 0
cons44: x26 - x27 >= 0
cons45: - x25 + x27 >= 0
cons46: - x35 + x36 >= 0
cons47: - x34 + x35 >= 0
cons48: x32 - x33 >= 0
cons49: - x31 + x33 >= 0
cons50: - x37 + x39 >= 0
cons51: x37 - x38 >= 0
Bounds
0 <= x0 <= 0
0 <= x1 <= 0
0 <= x2 <= 0
0 <= x3 <= 0
0 <= x4 <= 0
0 <= x5 <= 0
0 <= x6 <= 0
0 <= x7 <= 0
0 <= x8 <= 0
0 <= x9 <= 0
0 <= x10 <= 0
0 <= x11 <= 0
0 <= x12 <= 0
0 <= x13 <= 0
0 <= x14 <= 0
0 <= x15 <= 0
0 <= x16 <= 0
0 <= x17 <= 0
0 <= x18 <= 0
0 <= x19 <= 0
0 <= x20 <= 0
0 <= x21 <= 0
0 <= x22 <= 0
0 <= x23 <= 0
0 <= x24 <= 0
0 <= x25 <= 1
0 <= x26 <= 1
0 <= x27 <= 1
0 <= x28 <= 1
0 <= x29 <= 1
0 <= x30 <= 1
0 <= x31 <= 1
0 <= x32 <= 1
0 <= x33 <= 1
0 <= x34 <= 1
0 <= x35 <= 1
0 <= x36 <= 1
0 <= x37 <= 1
0 <= x38 <= 1
0 <= x39 <= 1
Integers
x0 x1 x2 x3 x4 x5 x6 x7 x8 x9
x10 x11 x12 x13 x14 x15 x16 x17 x18 x19
x20 x21 x22 x23 x24 x25 x26 x27 x28 x29
x30 x31 x32 x33 x34 x35 x36 x37 x38 x39
End
More information about the Cbc
mailing list