[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-glpk] [Fwd: Problem updating from version 4_47 to 4_60]
|
From: |
Andrew Makhorin |
|
Subject: |
[Bug-glpk] [Fwd: Problem updating from version 4_47 to 4_60] |
|
Date: |
Wed, 02 Nov 2016 16:13:00 +0300 |
-------- Forwarded Message --------
From: address@hidden
To: address@hidden
Subject: Problem updating from version 4_47 to 4_60
Date: Wed, 2 Nov 2016 10:51:02 +0100
I use GLPK from java to solve MIP problems using the Branch and Cut
method.
Having the same program just changing the GLPK library i get different
behaviors from one version to another.
Using version 4_47 i able to solve the problem. But using version 4_60 i
obtain a non optimal solution.
I think the problem could be in how GLPK build the initial graph
conflict according to the log i receive when i try to solve the
problem.
These are the log differences:
* LOG from version v4_47
GLPK Simplex Optimizer, v4.47
24 rows, 303 columns, 1248 non-zeros
0: obj = 0.000000000e+000 infeas = 1.200e+001 (0)
* 21: obj = 2.860000000e+003 infeas = 0.000e+000 (0)
* 31: obj = 2.840000000e+003 infeas = 0.000e+000 (0)
OPTIMAL SOLUTION FOUND
GLPK Integer Optimizer, v4.47
24 rows, 303 columns, 1248 non-zeros
303 integer variables, 291 of which are binary
Integer optimization begins...
Solution found by heuristic: 2883
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
Gomory's cuts enabled
MIR cuts enabled
Cover cuts enabled
Clique cuts enabled
Creating the conflict graph...
The conflict graph has 2*20 vertices and 30 edges
+ 31: mip = 2.883000000e+003 >= -inf (1; 0)
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
+ 64: >>>>> 2.842000000e+003 >= 2.841000000e+003 < 0.1% (9; 1)
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBINGO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN
12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
+ 75: mip = 2.842000000e+003 >= tree is empty 0.0% (0; 19)
INTEGER OPTIMAL SOLUTION FOUND
===============================================================================
* LOG from version v4_60
GLPK Simplex Optimizer, v4.60
24 rows, 303 columns, 1248 non-zeros
0: obj = 0.000000000e+00 inf = 1.200e+01 (12)
10: obj = 2.860000000e+03 inf = 0.000e+00 (0)
* 29: obj = 2.840000000e+03 inf = 0.000e+00 (0)
OPTIMAL LP SOLUTION FOUND
GLPK Integer Optimizer, v4.60
24 rows, 303 columns, 1248 non-zeros
303 integer variables, 291 of which are binary
Integer optimization begins...
Solution found by heuristic: 2883
12:48:10 DEBUG JCspGlpkCallback - RES = 0
12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT
Gomory's cuts enabled
MIR cuts enabled
Cover cuts enabled
Clique cuts enabled
Constructing conflict graph...
Conflict graph has 0 + 20 = 20 vertices
+ 29: mip = 2.883000000e+03 >= -inf (1; 0)
12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO
12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN
12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR
Solution found by heuristic: 2840
+ 30: mip = 2.840000000e+03 >= tree is empty 0.0% (0; 1)
I have the following problem in CPLEX format:
\* Problem: Unknown *\
Minimize
obj: + 46041 x(1) + 22206 x(2) + 23835 x(3) + 479 x(4) + 79 x(5)
+ 400 x(6) + 460 x(7) + 429 x(8) + 31 x(9) + 214 x(10) + 212 x(11)
+ 471 x(13) + 198 x(14) + 273 x(15) + 506 x(16) + 32 x(17) + 474 x(18)
+ 195 x(19) + 97 x(20) + 98 x(21) + 923 x(22) + 433 x(23) + 490 x(24)
+ 266 x(25) + 262 x(26) + 108 x(28) + 106 x(29) + 307 x(31) + 24 x(32)
+ 283 x(33) + 344 x(34) + 35 x(35) + 309 x(36) + 447 x(37) + 204 x(38)
+ 243 x(39) + 435 x(40) + 125 x(41) + 310 x(42) + 546 x(43) + 221
x(44)
+ 325 x(45) + 671 x(46) + 253 x(47) + 418 x(48) + 740 x(49) + 314
x(50)
+ 426 x(51) + 767 x(52) + 296 x(53) + 471 x(54) + 398 x(55) + 158
x(56)
+ 240 x(57) + 277 x(58) + 14 x(59) + 263 x(60) + 75 x(61) + 25 x(62)
+ 50 x(63) + 240 x(64) + 188 x(65) + 52 x(66) + 202 x(67) + 14 x(68)
+ 188 x(69) + 718 x(70) + 455 x(71) + 263 x(72) + 413 x(73) + 153
x(74)
+ 260 x(75) + 423 x(76) + 171 x(77) + 252 x(78) + 576 x(79) + 147
x(80)
+ 429 x(81) + 722 x(82) + 430 x(83) + 292 x(84) + 743 x(85) + 487
x(86)
+ 256 x(87) + 666 x(88) + 395 x(89) + 271 x(90) + 304 x(91) + 304
x(93)
+ 662 x(94) + 336 x(95) + 326 x(96) + 668 x(97) + 443 x(98) + 225
x(99)
+ 501 x(100) + 357 x(101) + 144 x(102) + 437 x(103) + 64 x(104)
+ 373 x(105) + 215 x(106) + 193 x(107) + 22 x(108) + 730 x(109)
+ 312 x(110) + 418 x(111) + 344 x(112) + 46 x(113) + 298 x(114)
+ 420 x(115) + 224 x(116) + 196 x(117) + 55 x(118) + 55 x(120)
+ 652 x(121) + 431 x(122) + 221 x(123) + 409 x(124) + 406 x(125)
+ 133 x(127) + 49 x(128) + 84 x(129) + 318 x(130) + 10 x(131)
+ 308 x(132) + 226 x(136) + 134 x(137) + 92 x(138) + 790 x(139)
+ 424 x(140) + 366 x(141) + 494 x(142) + 71 x(143) + 423 x(144)
+ 555 x(145) + 315 x(146) + 240 x(147) + 654 x(148) + 285 x(149)
+ 369 x(150) + 270 x(151) + 11 x(152) + 259 x(153) + 311 x(154)
+ 309 x(155) + 465 x(157) + 265 x(158) + 200 x(159) + 533 x(160)
+ 285 x(161) + 248 x(162) + 177 x(163) + 159 x(164) + 18 x(165)
+ 549 x(166) + 381 x(167) + 168 x(168) + 728 x(169) + 264 x(170)
+ 464 x(171) + 477 x(172) + 168 x(173) + 309 x(174) + 514 x(175)
+ 21 x(176) + 493 x(177) + 569 x(178) + 143 x(179) + 426 x(180)
+ 509 x(181) + 231 x(182) + 278 x(183) + 655 x(184) + 241 x(185)
+ 414 x(186) + 502 x(187) + 471 x(188) + 31 x(189) + 494 x(190)
+ 491 x(191) + 779 x(193) + 408 x(194) + 371 x(195) + 720 x(196)
+ 351 x(197) + 369 x(198) + 291 x(199) + 214 x(200) + 77 x(201)
+ 952 x(202) + 465 x(203) + 487 x(204) + 228 x(205) + 226 x(206)
+ 328 x(208) + 250 x(209) + 78 x(210) + 486 x(211) + 484 x(213)
+ 537 x(214) + 75 x(215) + 462 x(216) + 377 x(217) + 353 x(218)
+ 24 x(219) + 551 x(220) + 347 x(221) + 204 x(222) + 865 x(223)
+ 396 x(224) + 469 x(225) + 536 x(226) + 66 x(227) + 470 x(228)
+ 291 x(229) + 180 x(230) + 111 x(231) + 833 x(232) + 383 x(233)
+ 450 x(234) + 462 x(235) + 303 x(236) + 159 x(237) + 475 x(238)
+ 304 x(239) + 171 x(240) + 430 x(241) + 63 x(242) + 367 x(243)
+ 490 x(244) + 85 x(245) + 405 x(246) + 45 x(247) + 43 x(248)
+ 268 x(250) + 26 x(251) + 242 x(252) + 461 x(253) + 291 x(254)
+ 170 x(255) + 432 x(256) + 423 x(257) + 9 x(258) + 261 x(259)
+ 157 x(260) + 104 x(261) + 540 x(262) + 387 x(263) + 153 x(264)
+ 521 x(265) + 163 x(266) + 358 x(267) + 303 x(268) + 299 x(269)
+ 443 x(271) + 177 x(272) + 266 x(273) + 563 x(274) + 156 x(275)
+ 407 x(276) + 145 x(277) + 27 x(278) + 118 x(279) + 619 x(280)
+ 372 x(281) + 247 x(282) + 439 x(283) + 269 x(284) + 170 x(285)
+ 675 x(286) + 243 x(287) + 432 x(288) + 183 x(289) + 154 x(290)
+ 29 x(291) + 444 x(292) + 55 x(293) + 389 x(294) + 572 x(295)
+ 405 x(296) + 167 x(297) + 303 x(298) + 184 x(299) + 119 x(300)
+ 540 x(301) + 407 x(302) + 133 x(303)
Subject To
forced_secoundary_12_4: + x(12) + x(11) + x(10) - ~r_1 = 2
forced_secoundary_12_104: + x(303) + x(300) + x(297) + x(294) + x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_2 = 2
forced_secoundary_27_9: + x(27) + x(26) + x(25) - ~r_3 = 2
forced_secoundary_27_104: + x(303) + x(300) + x(297) + x(294) + x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_4 = 2
forced_secoundary_30_10: + x(30) + x(29) + x(28) - ~r_5 = 2
forced_secoundary_30_104: + x(303) + x(300) + x(297) + x(294) + x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_6 = 2
forced_secoundary_126_42: + x(126) + x(125) + x(124) - ~r_7 = 2
forced_secoundary_126_104: + x(303) + x(300) + x(297) + x(294) +
x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_8 = 2
forced_secoundary_133_45: + x(135) + x(134) + x(133) - ~r_9 = 2
forced_secoundary_133_102: + x(301) + x(298) + x(295) + x(292) +
x(289)
+ x(286) + x(283) + x(280) + x(277) + x(274) + x(271) + x(268) +
x(265)
+ x(262) + x(259) + x(256) + x(253) + x(250) + x(247) + x(244) +
x(241)
+ x(238) + x(235) + x(232) + x(229) + x(226) + x(223) + x(220) +
x(217)
+ x(214) + x(211) + x(208) + x(205) + x(202) + x(199) + x(196) +
x(193)
+ x(190) + x(187) + x(184) + x(181) + x(178) + x(175) + x(172) +
x(169)
+ x(166) + x(163) + x(160) + x(157) + x(154) + x(151) + x(148) +
x(145)
+ x(142) + x(139) + x(136) + x(133) + x(130) + x(127) + x(124) +
x(121)
+ x(118) + x(115) + x(112) + x(109) + x(106) + x(103) + x(100) + x(97)
+ x(94) + x(91) + x(88) + x(85) + x(82) + x(79) + x(76) + x(73) +
x(70)
+ x(67) + x(64) + x(61) + x(58) + x(55) + x(52) + x(49) + x(46) +
x(43)
+ x(40) + x(37) + x(34) + x(31) + x(28) + x(25) + x(22) + x(19) +
x(16)
+ x(13) + x(10) + x(7) + x(4) + x(1) - ~r_10 = 2
forced_secoundary_135_45: + x(135) + x(134) + x(133) - ~r_11 = 2
forced_secoundary_135_104: + x(303) + x(300) + x(297) + x(294) +
x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_12 = 2
forced_secoundary_156_52: + x(156) + x(155) + x(154) - ~r_13 = 2
forced_secoundary_156_104: + x(303) + x(300) + x(297) + x(294) +
x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_14 = 2
forced_secoundary_192_64: + x(192) + x(191) + x(190) - ~r_15 = 2
forced_secoundary_192_104: + x(303) + x(300) + x(297) + x(294) +
x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_16 = 2
forced_secoundary_207_69: + x(207) + x(206) + x(205) - ~r_17 = 2
forced_secoundary_207_104: + x(303) + x(300) + x(297) + x(294) +
x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_18 = 2
forced_secoundary_212_71: + x(213) + x(212) + x(211) - ~r_19 = 2
forced_secoundary_212_103: + x(302) + x(299) + x(296) + x(293) +
x(290)
+ x(287) + x(284) + x(281) + x(278) + x(275) + x(272) + x(269) +
x(266)
+ x(263) + x(260) + x(257) + x(254) + x(251) + x(248) + x(245) +
x(242)
+ x(239) + x(236) + x(233) + x(230) + x(227) + x(224) + x(221) +
x(218)
+ x(215) + x(212) + x(209) + x(206) + x(203) + x(200) + x(197) +
x(194)
+ x(191) + x(188) + x(185) + x(182) + x(179) + x(176) + x(173) +
x(170)
+ x(167) + x(164) + x(161) + x(158) + x(155) + x(152) + x(149) +
x(146)
+ x(143) + x(140) + x(137) + x(134) + x(131) + x(128) + x(125) +
x(122)
+ x(119) + x(116) + x(113) + x(110) + x(107) + x(104) + x(101) + x(98)
+ x(95) + x(92) + x(89) + x(86) + x(83) + x(80) + x(77) + x(74) +
x(71)
+ x(68) + x(65) + x(62) + x(59) + x(56) + x(53) + x(50) + x(47) +
x(44)
+ x(41) + x(38) + x(35) + x(32) + x(29) + x(26) + x(23) + x(20) +
x(17)
+ x(14) + x(11) + x(8) + x(5) + x(2) - ~r_20 = 2
forced_secoundary_249_83: + x(249) + x(248) + x(247) - ~r_21 = 2
forced_secoundary_249_104: + x(303) + x(300) + x(297) + x(294) +
x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_22 = 2
forced_secoundary_270_90: + x(270) + x(269) + x(268) - ~r_23 = 2
forced_secoundary_270_104: + x(303) + x(300) + x(297) + x(294) +
x(291)
+ x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) +
x(267)
+ x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) +
x(243)
+ x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) +
x(219)
+ x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) +
x(195)
+ x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) +
x(171)
+ x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) +
x(147)
+ x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) +
x(123)
+ x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99)
+ x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) +
x(72)
+ x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) +
x(45)
+ x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) +
x(18)
+ x(15) + x(12) + x(9) + x(6) + x(3) - ~r_24 = 2
Bounds
0 <= ~r_1 <= 1
0 <= ~r_2 <= 99
0 <= ~r_3 <= 1
0 <= ~r_4 <= 99
0 <= ~r_5 <= 1
0 <= ~r_6 <= 99
0 <= ~r_7 <= 1
0 <= ~r_8 <= 99
0 <= ~r_9 <= 1
0 <= ~r_10 <= 99
0 <= ~r_11 <= 1
0 <= ~r_12 <= 99
0 <= ~r_13 <= 1
0 <= ~r_14 <= 99
0 <= ~r_15 <= 1
0 <= ~r_16 <= 99
0 <= ~r_17 <= 1
0 <= ~r_18 <= 99
0 <= ~r_19 <= 1
0 <= ~r_20 <= 99
0 <= ~r_21 <= 1
0 <= ~r_22 <= 99
0 <= ~r_23 <= 1
0 <= ~r_24 <= 99
0 <= x(1) <= 1
0 <= x(2) <= 1
0 <= x(3) <= 1
0 <= x(4) <= 1
0 <= x(5) <= 1
0 <= x(6) <= 1
0 <= x(7) <= 1
0 <= x(8) <= 1
0 <= x(9) <= 1
0 <= x(10) <= 1
0 <= x(11) <= 1
x(12) = 1
0 <= x(13) <= 1
0 <= x(14) <= 1
0 <= x(15) <= 1
0 <= x(16) <= 1
0 <= x(17) <= 1
0 <= x(18) <= 1
0 <= x(19) <= 1
0 <= x(20) <= 1
0 <= x(21) <= 1
0 <= x(22) <= 1
0 <= x(23) <= 1
0 <= x(24) <= 1
0 <= x(25) <= 1
0 <= x(26) <= 1
x(27) = 1
0 <= x(28) <= 1
0 <= x(29) <= 1
x(30) = 1
0 <= x(31) <= 1
0 <= x(32) <= 1
0 <= x(33) <= 1
0 <= x(34) <= 1
0 <= x(35) <= 1
0 <= x(36) <= 1
0 <= x(37) <= 1
0 <= x(38) <= 1
0 <= x(39) <= 1
0 <= x(40) <= 1
0 <= x(41) <= 1
0 <= x(42) <= 1
0 <= x(43) <= 1
0 <= x(44) <= 1
0 <= x(45) <= 1
0 <= x(46) <= 1
0 <= x(47) <= 1
0 <= x(48) <= 1
0 <= x(49) <= 1
0 <= x(50) <= 1
0 <= x(51) <= 1
0 <= x(52) <= 1
0 <= x(53) <= 1
0 <= x(54) <= 1
0 <= x(55) <= 1
0 <= x(56) <= 1
0 <= x(57) <= 1
0 <= x(58) <= 1
0 <= x(59) <= 1
0 <= x(60) <= 1
0 <= x(61) <= 1
0 <= x(62) <= 1
0 <= x(63) <= 1
0 <= x(64) <= 1
0 <= x(65) <= 1
0 <= x(66) <= 1
0 <= x(67) <= 1
0 <= x(68) <= 1
0 <= x(69) <= 1
0 <= x(70) <= 1
0 <= x(71) <= 1
0 <= x(72) <= 1
0 <= x(73) <= 1
0 <= x(74) <= 1
0 <= x(75) <= 1
0 <= x(76) <= 1
0 <= x(77) <= 1
0 <= x(78) <= 1
0 <= x(79) <= 1
0 <= x(80) <= 1
0 <= x(81) <= 1
0 <= x(82) <= 1
0 <= x(83) <= 1
0 <= x(84) <= 1
0 <= x(85) <= 1
0 <= x(86) <= 1
0 <= x(87) <= 1
0 <= x(88) <= 1
0 <= x(89) <= 1
0 <= x(90) <= 1
0 <= x(91) <= 1
0 <= x(92) <= 1
0 <= x(93) <= 1
0 <= x(94) <= 1
0 <= x(95) <= 1
0 <= x(96) <= 1
0 <= x(97) <= 1
0 <= x(98) <= 1
0 <= x(99) <= 1
0 <= x(100) <= 1
0 <= x(101) <= 1
0 <= x(102) <= 1
0 <= x(103) <= 1
0 <= x(104) <= 1
0 <= x(105) <= 1
0 <= x(106) <= 1
0 <= x(107) <= 1
0 <= x(108) <= 1
0 <= x(109) <= 1
0 <= x(110) <= 1
0 <= x(111) <= 1
0 <= x(112) <= 1
0 <= x(113) <= 1
0 <= x(114) <= 1
0 <= x(115) <= 1
0 <= x(116) <= 1
0 <= x(117) <= 1
0 <= x(118) <= 1
0 <= x(119) <= 1
0 <= x(120) <= 1
0 <= x(121) <= 1
0 <= x(122) <= 1
0 <= x(123) <= 1
0 <= x(124) <= 1
0 <= x(125) <= 1
x(126) = 1
0 <= x(127) <= 1
0 <= x(128) <= 1
0 <= x(129) <= 1
0 <= x(130) <= 1
0 <= x(131) <= 1
0 <= x(132) <= 1
x(133) = 1
0 <= x(134) <= 1
x(135) = 1
0 <= x(136) <= 1
0 <= x(137) <= 1
0 <= x(138) <= 1
0 <= x(139) <= 1
0 <= x(140) <= 1
0 <= x(141) <= 1
0 <= x(142) <= 1
0 <= x(143) <= 1
0 <= x(144) <= 1
0 <= x(145) <= 1
0 <= x(146) <= 1
0 <= x(147) <= 1
0 <= x(148) <= 1
0 <= x(149) <= 1
0 <= x(150) <= 1
0 <= x(151) <= 1
0 <= x(152) <= 1
0 <= x(153) <= 1
0 <= x(154) <= 1
0 <= x(155) <= 1
x(156) = 1
0 <= x(157) <= 1
0 <= x(158) <= 1
0 <= x(159) <= 1
0 <= x(160) <= 1
0 <= x(161) <= 1
0 <= x(162) <= 1
0 <= x(163) <= 1
0 <= x(164) <= 1
0 <= x(165) <= 1
0 <= x(166) <= 1
0 <= x(167) <= 1
0 <= x(168) <= 1
0 <= x(169) <= 1
0 <= x(170) <= 1
0 <= x(171) <= 1
0 <= x(172) <= 1
0 <= x(173) <= 1
0 <= x(174) <= 1
0 <= x(175) <= 1
0 <= x(176) <= 1
0 <= x(177) <= 1
0 <= x(178) <= 1
0 <= x(179) <= 1
0 <= x(180) <= 1
0 <= x(181) <= 1
0 <= x(182) <= 1
0 <= x(183) <= 1
0 <= x(184) <= 1
0 <= x(185) <= 1
0 <= x(186) <= 1
0 <= x(187) <= 1
0 <= x(188) <= 1
0 <= x(189) <= 1
0 <= x(190) <= 1
0 <= x(191) <= 1
x(192) = 1
0 <= x(193) <= 1
0 <= x(194) <= 1
0 <= x(195) <= 1
0 <= x(196) <= 1
0 <= x(197) <= 1
0 <= x(198) <= 1
0 <= x(199) <= 1
0 <= x(200) <= 1
0 <= x(201) <= 1
0 <= x(202) <= 1
0 <= x(203) <= 1
0 <= x(204) <= 1
0 <= x(205) <= 1
0 <= x(206) <= 1
x(207) = 1
0 <= x(208) <= 1
0 <= x(209) <= 1
0 <= x(210) <= 1
0 <= x(211) <= 1
x(212) = 1
0 <= x(213) <= 1
0 <= x(214) <= 1
0 <= x(215) <= 1
0 <= x(216) <= 1
0 <= x(217) <= 1
0 <= x(218) <= 1
0 <= x(219) <= 1
0 <= x(220) <= 1
0 <= x(221) <= 1
0 <= x(222) <= 1
0 <= x(223) <= 1
0 <= x(224) <= 1
0 <= x(225) <= 1
0 <= x(226) <= 1
0 <= x(227) <= 1
0 <= x(228) <= 1
0 <= x(229) <= 1
0 <= x(230) <= 1
0 <= x(231) <= 1
0 <= x(232) <= 1
0 <= x(233) <= 1
0 <= x(234) <= 1
0 <= x(235) <= 1
0 <= x(236) <= 1
0 <= x(237) <= 1
0 <= x(238) <= 1
0 <= x(239) <= 1
0 <= x(240) <= 1
0 <= x(241) <= 1
0 <= x(242) <= 1
0 <= x(243) <= 1
0 <= x(244) <= 1
0 <= x(245) <= 1
0 <= x(246) <= 1
0 <= x(247) <= 1
0 <= x(248) <= 1
x(249) = 1
0 <= x(250) <= 1
0 <= x(251) <= 1
0 <= x(252) <= 1
0 <= x(253) <= 1
0 <= x(254) <= 1
0 <= x(255) <= 1
0 <= x(256) <= 1
0 <= x(257) <= 1
0 <= x(258) <= 1
0 <= x(259) <= 1
0 <= x(260) <= 1
0 <= x(261) <= 1
0 <= x(262) <= 1
0 <= x(263) <= 1
0 <= x(264) <= 1
0 <= x(265) <= 1
0 <= x(266) <= 1
0 <= x(267) <= 1
0 <= x(268) <= 1
0 <= x(269) <= 1
x(270) = 1
0 <= x(271) <= 1
0 <= x(272) <= 1
0 <= x(273) <= 1
0 <= x(274) <= 1
0 <= x(275) <= 1
0 <= x(276) <= 1
0 <= x(277) <= 1
0 <= x(278) <= 1
0 <= x(279) <= 1
0 <= x(280) <= 1
0 <= x(281) <= 1
0 <= x(282) <= 1
0 <= x(283) <= 1
0 <= x(284) <= 1
0 <= x(285) <= 1
0 <= x(286) <= 1
0 <= x(287) <= 1
0 <= x(288) <= 1
0 <= x(289) <= 1
0 <= x(290) <= 1
0 <= x(291) <= 1
0 <= x(292) <= 1
0 <= x(293) <= 1
0 <= x(294) <= 1
0 <= x(295) <= 1
0 <= x(296) <= 1
0 <= x(297) <= 1
0 <= x(298) <= 1
0 <= x(299) <= 1
0 <= x(300) <= 1
0 <= x(301) <= 1
0 <= x(302) <= 1
0 <= x(303) <= 1
Generals
x(1)
x(2)
x(3)
x(4)
x(5)
x(6)
x(7)
x(8)
x(9)
x(10)
x(11)
x(12)
x(13)
x(14)
x(15)
x(16)
x(17)
x(18)
x(19)
x(20)
x(21)
x(22)
x(23)
x(24)
x(25)
x(26)
x(27)
x(28)
x(29)
x(30)
x(31)
x(32)
x(33)
x(34)
x(35)
x(36)
x(37)
x(38)
x(39)
x(40)
x(41)
x(42)
x(43)
x(44)
x(45)
x(46)
x(47)
x(48)
x(49)
x(50)
x(51)
x(52)
x(53)
x(54)
x(55)
x(56)
x(57)
x(58)
x(59)
x(60)
x(61)
x(62)
x(63)
x(64)
x(65)
x(66)
x(67)
x(68)
x(69)
x(70)
x(71)
x(72)
x(73)
x(74)
x(75)
x(76)
x(77)
x(78)
x(79)
x(80)
x(81)
x(82)
x(83)
x(84)
x(85)
x(86)
x(87)
x(88)
x(89)
x(90)
x(91)
x(92)
x(93)
x(94)
x(95)
x(96)
x(97)
x(98)
x(99)
x(100)
x(101)
x(102)
x(103)
x(104)
x(105)
x(106)
x(107)
x(108)
x(109)
x(110)
x(111)
x(112)
x(113)
x(114)
x(115)
x(116)
x(117)
x(118)
x(119)
x(120)
x(121)
x(122)
x(123)
x(124)
x(125)
x(126)
x(127)
x(128)
x(129)
x(130)
x(131)
x(132)
x(133)
x(134)
x(135)
x(136)
x(137)
x(138)
x(139)
x(140)
x(141)
x(142)
x(143)
x(144)
x(145)
x(146)
x(147)
x(148)
x(149)
x(150)
x(151)
x(152)
x(153)
x(154)
x(155)
x(156)
x(157)
x(158)
x(159)
x(160)
x(161)
x(162)
x(163)
x(164)
x(165)
x(166)
x(167)
x(168)
x(169)
x(170)
x(171)
x(172)
x(173)
x(174)
x(175)
x(176)
x(177)
x(178)
x(179)
x(180)
x(181)
x(182)
x(183)
x(184)
x(185)
x(186)
x(187)
x(188)
x(189)
x(190)
x(191)
x(192)
x(193)
x(194)
x(195)
x(196)
x(197)
x(198)
x(199)
x(200)
x(201)
x(202)
x(203)
x(204)
x(205)
x(206)
x(207)
x(208)
x(209)
x(210)
x(211)
x(212)
x(213)
x(214)
x(215)
x(216)
x(217)
x(218)
x(219)
x(220)
x(221)
x(222)
x(223)
x(224)
x(225)
x(226)
x(227)
x(228)
x(229)
x(230)
x(231)
x(232)
x(233)
x(234)
x(235)
x(236)
x(237)
x(238)
x(239)
x(240)
x(241)
x(242)
x(243)
x(244)
x(245)
x(246)
x(247)
x(248)
x(249)
x(250)
x(251)
x(252)
x(253)
x(254)
x(255)
x(256)
x(257)
x(258)
x(259)
x(260)
x(261)
x(262)
x(263)
x(264)
x(265)
x(266)
x(267)
x(268)
x(269)
x(270)
x(271)
x(272)
x(273)
x(274)
x(275)
x(276)
x(277)
x(278)
x(279)
x(280)
x(281)
x(282)
x(283)
x(284)
x(285)
x(286)
x(287)
x(288)
x(289)
x(290)
x(291)
x(292)
x(293)
x(294)
x(295)
x(296)
x(297)
x(298)
x(299)
x(300)
x(301)
x(302)
x(303)
End
Thank you in advance.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Bug-glpk] [Fwd: Problem updating from version 4_47 to 4_60],
Andrew Makhorin <=