[Bug-glpk] [Fwd: Re: Aw: [Fwd: Problem updating from version 4_47 to 4_60]]

[Andrew Makhorin]

-------- Forwarded Message --------
From: address@hidden
To: address@hidden
Cc: address@hidden, address@hidden
Subject: Re: Aw: [Bug-glpk] [Fwd: Problem updating from version 4_47 to
4_60]
Date: Wed, 16 Nov 2016 11:14:14 +0100

Thank you for your answer but i think is not a problem of my callback
method because is the same in both cases. 

I am using a branch-and-cut method to solve MIP problems. 

I start with a simple LP problem, it doesn´t contain all the
constraints(rows) that i need but i add them step by step when the
glp_intopt(prob,iocp)routine, calls the callback method with the reason
ROWGEN. 
In that moment i check if the current LP solution solve my needs and if
not, i add some new constraints to the initial problem (prob). and the
solver continues with the branch-and-cut algorithm. 

In version 4_47 it runs ok and the routine navigates the tree adding new
rows when i need it, and finishes with a MIP solution that solve all of
my needs. 

In version 4_60 the routine finishes before i expected it with a MIP
solution that doesn't solve all of my needs. 

In the logs that i attached, you can see all the calls that
glp_intopt(prob,iocp)does to my callback method and the reason
(GLP_ISELECT,GLP_IPREPRO,GLP_IROWGEN,......) 

Using version 4_60 just calls twice to my callback method with the
reason rowgen. It seems that it doesn't navigate the tree correctly. 

Has any change in the branch-and-cut algorithm? 

Thank you in advance and excuse me if i am wrong. 





De:        "Heinrich Schuchardt" <address@hidden> 
Para:        "Andrew Makhorin" <address@hidden>, "Bug Glpk"
<address@hidden>, address@hidden 
Fecha:        02/11/2016 15:23 
Asunto:        Aw: [Bug-glpk] [Fwd: Problem updating from version 4_47
to 4_60] 

________________________________________________________________________



Hello Diego,

the 4.60 log shows that your Java code supplied a solution with a better
value than the 4.47 solution.

Please, check your callback method.

Best regards

Heinrich
-- 
Diese Nachricht wurde von meinem Android Mobiltelefon mit GMX Mail
gesendet. 
Am 02.11.16, 14:13, Andrew Makhorin <address@hidden> schrieb: 
-------- 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&apos;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&apos;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.



_______________________________________________
Bug-glpk mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/bug-glpk