MINTO, a Mixed INTeger Optimizer -- version 3.1.0 (LINUX/CPLEX 8.1) Copyright (C) 1992-2004 -- M.W.P. Savelsbergh ILOG CPLEX 9.000, licensed to "arizona-tempe, az", options: e m b q p=4 MINTO: Solving problem SEYMOUR_1 MINTO: Problem statistics: Number of constraints: 4944 Number of variables: 1372 (0) Number of nonzero's: 33549 Number of continuous variables: 921 Number of binary variables: 451 Number of integer variables: 0 MINTO: Presolve eliminated 117 constraints and 117 variables Presolve made 0 coefficient changes MINTO: Row structure analysis (after preprocessing): Number of constraints of type MIXUB: 1353 Number of constraints of type NOBINUB: 2902 Number of constraints of type ALLBINUB: 408 Number of constraints of type BINSUM1UB: 164 MINTO control parameters: Objective sense : minimization Output level : 1 Maximum cpu time : 1000001 Maximum #nodes : 1000000 MINTO system function activity levels: Bound improvement : active Branching type : 3 Node selection type : 5 Preprocessing level : 2 Primal heuristic : active Clique cuts : active Implication cuts : active Knapsack covers : active GUB covers : active Flow covers : active Row management : active Restarts : active Force branching : 1 Advanced basis : not active Names mode level : 0 MINTO: Updating primal (MINTO heuristic) Value: -413.05 Elapsed time: 2.16 Node: 1 MINTO: Updating primal (MINTO heuristic) Value: -412.05 Elapsed time: 3.83 Node: 1 MINTO: Updating primal (Integral solution) Value: -411.06 Elapsed time: 31.31 Node: 221 MINTO: Updating primal (Integral solution) Value: -410.79 Elapsed time: 34.60 Node: 247 MINTO: ... evaluated 1000 nodes ... (best bound -404.351528, queue 105) MINTO: ... evaluated 2000 nodes ... (best bound -404.351528, queue 99) MINTO: ... evaluated 3000 nodes ... (best bound -404.351528, queue 63) MINTO: ... evaluated 4000 nodes ... (best bound -404.351528, queue 37) MINTO: ... evaluated 5000 nodes ... (best bound -404.351528, queue 9) MINTO: ... evaluated 6000 nodes ... (best bound -404.351528, queue 3) MINTO: Updating primal (Integral solution) Value: -410.76 Elapsed time: 441.18 Node: 6954 MINTO: ... evaluated 7000 nodes ... (best bound -405.398133, queue 25) MINTO: ... evaluated 8000 nodes ... (best bound -405.398133, queue 1) MINTO: Value of solution: 410.763701 MINTO: Non-zero variables in the solution: xopt[0] = 1.000000 (x0) xopt[2] = 1.000000 (x2) xopt[3] = 1.000000 (x3) xopt[5] = 1.000000 (x5) xopt[6] = 1.000000 (x6) xopt[7] = 1.000000 (x7) xopt[8] = 1.000000 (x8) xopt[10] = 1.000000 (x10) xopt[12] = 1.000000 (x12) xopt[15] = 1.000000 (x15) xopt[19] = 1.000000 (x19) xopt[22] = 1.000000 (x22) xopt[23] = 1.000000 (x23) xopt[25] = 1.000000 (x25) xopt[27] = 1.000000 (x27) xopt[31] = 1.000000 (x31) xopt[32] = 1.000000 (x32) xopt[34] = 1.000000 (x34) xopt[35] = 1.000000 (x35) xopt[36] = 1.000000 (x36) xopt[37] = 1.000000 (x37) xopt[39] = 1.000000 (x39) xopt[40] = 1.000000 (x40) xopt[41] = 1.000000 (x41) xopt[42] = 1.000000 (x42) xopt[44] = 1.000000 (x44) xopt[45] = 1.000000 (x45) xopt[46] = 1.000000 (x46) xopt[50] = 1.000000 (x50) xopt[51] = 1.000000 (x51) xopt[54] = 1.000000 (x54) xopt[55] = 1.000000 (x55) xopt[56] = 1.000000 (x56) xopt[58] = 1.000000 (x58) xopt[61] = 1.000000 (x61) xopt[63] = 1.000000 (x63) xopt[65] = 1.000000 (x65) xopt[67] = 1.000000 (x67) xopt[68] = 1.000000 (x68) xopt[69] = 1.000000 (x69) xopt[70] = 1.000000 (x70) xopt[71] = 1.000000 (x71) xopt[75] = 1.000000 (x75) xopt[79] = 1.000000 (x79) xopt[81] = 1.000000 (x81) xopt[82] = 1.000000 (x82) xopt[84] = 1.000000 (x84) xopt[85] = 1.000000 (x85) xopt[86] = 1.000000 (x86) xopt[87] = 1.000000 (x87) xopt[88] = 1.000000 (x88) xopt[89] = 1.000000 (x89) xopt[91] = 1.000000 (x91) xopt[93] = 1.000000 (x93) xopt[94] = 1.000000 (x94) xopt[95] = 1.000000 (x95) xopt[97] = 1.000000 (x97) xopt[98] = 1.000000 (x98) xopt[99] = 1.000000 (x99) xopt[100] = 1.000000 (x100) xopt[101] = 1.000000 (x101) xopt[102] = 1.000000 (x102) xopt[103] = 1.000000 (x103) xopt[105] = 1.000000 (x105) xopt[106] = 1.000000 (x106) xopt[108] = 1.000000 (x108) xopt[110] = 1.000000 (x110) xopt[111] = 1.000000 (x111) xopt[112] = 1.000000 (x112) xopt[116] = 1.000000 (x116) xopt[118] = 1.000000 (x118) xopt[119] = 1.000000 (x119) xopt[120] = 1.000000 (x120) xopt[122] = 1.000000 (x122) xopt[123] = 1.000000 (x123) xopt[125] = 1.000000 (x125) xopt[126] = 1.000000 (x126) xopt[129] = 1.000000 (x129) xopt[130] = 1.000000 (x130) xopt[131] = 1.000000 (x131) xopt[135] = 1.000000 (x135) xopt[140] = 1.000000 (x140) xopt[141] = 1.000000 (x141) xopt[142] = 1.000000 (x142) xopt[143] = 1.000000 (x143) xopt[144] = 1.000000 (x144) xopt[149] = 1.000000 (x149) xopt[151] = 1.000000 (x151) xopt[154] = 1.000000 (x154) xopt[156] = 1.000000 (x156) xopt[157] = 1.000000 (x157) xopt[158] = 1.000000 (x158) xopt[160] = 1.000000 (x160) xopt[162] = 1.000000 (x162) xopt[163] = 1.000000 (x163) xopt[164] = 1.000000 (x164) xopt[165] = 1.000000 (x165) xopt[167] = 1.000000 (x167) xopt[169] = 1.000000 (x169) xopt[170] = 1.000000 (x170) xopt[173] = 1.000000 (x173) xopt[177] = 1.000000 (x177) xopt[178] = 1.000000 (x178) xopt[179] = 1.000000 (x179) xopt[181] = 1.000000 (x181) xopt[182] = 1.000000 (x182) xopt[184] = 1.000000 (x184) xopt[188] = 1.000000 (x188) xopt[189] = 1.000000 (x189) xopt[192] = 1.000000 (x192) xopt[194] = 1.000000 (x194) xopt[200] = 1.000000 (x200) xopt[201] = 1.000000 (x201) xopt[202] = 1.000000 (x202) xopt[203] = 1.000000 (x203) xopt[204] = 1.000000 (x204) xopt[211] = 1.000000 (x211) xopt[214] = 1.000000 (x214) xopt[218] = 1.000000 (x218) xopt[226] = 1.000000 (x226) xopt[227] = 1.000000 (x227) xopt[228] = 1.000000 (x228) xopt[231] = 1.000000 (x231) xopt[233] = 1.000000 (x233) xopt[235] = 1.000000 (x235) xopt[240] = 1.000000 (x240) xopt[242] = 1.000000 (x242) xopt[244] = 1.000000 (x244) xopt[246] = 1.000000 (x246) xopt[248] = 1.000000 (x248) xopt[249] = 1.000000 (x249) xopt[251] = 1.000000 (x251) xopt[253] = 1.000000 (x253) xopt[256] = 1.000000 (x256) xopt[257] = 1.000000 (x257) xopt[259] = 1.000000 (x259) xopt[260] = 1.000000 (x260) xopt[263] = 1.000000 (x263) xopt[266] = 1.000000 (x266) xopt[268] = 1.000000 (x268) xopt[270] = 1.000000 (x270) xopt[272] = 1.000000 (x272) xopt[278] = 1.000000 (x278) xopt[279] = 1.000000 (x279) xopt[284] = 1.000000 (x284) xopt[286] = 1.000000 (x286) xopt[288] = 1.000000 (x288) xopt[289] = 1.000000 (x289) xopt[291] = 1.000000 (x291) xopt[292] = 1.000000 (x292) xopt[293] = 1.000000 (x293) xopt[299] = 1.000000 (x299) xopt[303] = 1.000000 (x303) xopt[305] = 1.000000 (x305) xopt[307] = 1.000000 (x307) xopt[308] = 1.000000 (x308) xopt[311] = 1.000000 (x311) xopt[313] = 1.000000 (x313) xopt[315] = 1.000000 (x315) xopt[316] = 1.000000 (x316) xopt[317] = 1.000000 (x317) xopt[319] = 1.000000 (x319) xopt[321] = 1.000000 (x321) xopt[325] = 1.000000 (x325) xopt[332] = 1.000000 (x332) xopt[334] = 1.000000 (x334) xopt[335] = 1.000000 (x335) xopt[337] = 1.000000 (x337) xopt[338] = 1.000000 (x338) xopt[340] = 1.000000 (x340) xopt[343] = 1.000000 (x343) xopt[346] = 1.000000 (x346) xopt[347] = 1.000000 (x347) xopt[354] = 1.000000 (x354) xopt[355] = 1.000000 (x355) xopt[357] = 1.000000 (x357) xopt[358] = 1.000000 (x358) xopt[365] = 1.000000 (x365) xopt[369] = 1.000000 (x369) xopt[372] = 1.000000 (x372) xopt[373] = 1.000000 (x373) xopt[374] = 1.000000 (x374) xopt[375] = 1.000000 (x375) xopt[376] = 1.000000 (x376) xopt[379] = 1.000000 (x379) xopt[381] = 1.000000 (x381) xopt[383] = 1.000000 (x383) xopt[386] = 1.000000 (x386) xopt[388] = 1.000000 (x388) xopt[390] = 1.000000 (x390) xopt[392] = 1.000000 (x392) xopt[396] = 1.000000 (x396) xopt[399] = 1.000000 (x399) xopt[403] = 1.000000 (x403) xopt[412] = 1.000000 (x412) xopt[416] = 1.000000 (x416) xopt[423] = 1.000000 (x423) xopt[424] = 1.000000 (x424) xopt[425] = 1.000000 (x425) xopt[427] = 1.000000 (x427) xopt[430] = 1.000000 (x430) xopt[431] = 1.000000 (x431) xopt[432] = 1.000000 (x432) xopt[436] = 1.000000 (x436) xopt[437] = 1.000000 (x437) xopt[438] = 1.000000 (x438) xopt[440] = 1.000000 (x440) xopt[441] = 1.000000 (x441) xopt[443] = 1.000000 (x443) xopt[448] = 1.000000 (x448) xopt[450] = 1.000000 (x450) xopt[451] = 1.000000 (x451) xopt[452] = 1.000000 (x452) xopt[453] = 0.719558 (x453) xopt[454] = 0.241810 (x454) xopt[456] = 0.674551 (x456) xopt[457] = 0.280442 (x457) xopt[458] = 0.045007 (x458) xopt[460] = 0.758190 (x460) xopt[461] = 0.783973 (x461) xopt[462] = 0.574992 (x462) xopt[464] = 0.545677 (x464) xopt[465] = 0.454323 (x465) xopt[466] = 0.204213 (x466) xopt[467] = 0.795787 (x467) xopt[469] = 0.782983 (x469) xopt[470] = 0.241810 (x470) xopt[471] = 0.241810 (x471) xopt[472] = 0.090684 (x472) xopt[474] = 0.265236 (x474) xopt[475] = 0.734764 (x475) xopt[476] = 0.758190 (x476) xopt[477] = 0.454323 (x477) xopt[478] = 0.545677 (x478) xopt[479] = 0.078575 (x479) xopt[480] = 0.467103 (x480) xopt[481] = 0.151126 (x481) xopt[482] = 0.459804 (x482) xopt[483] = 0.404416 (x483) xopt[485] = 0.595584 (x485) xopt[486] = 0.204963 (x486) xopt[488] = 0.241810 (x488) xopt[489] = 1.000000 (x489) xopt[491] = 0.848874 (x491) xopt[492] = 0.151126 (x492) xopt[493] = 1.000000 (x493) xopt[498] = 0.540196 (x498) xopt[500] = 0.545677 (x500) xopt[501] = 0.667489 (x501) xopt[502] = 0.181385 (x502) xopt[503] = 0.151126 (x503) xopt[505] = 0.303197 (x505) xopt[508] = 0.045677 (x508) xopt[510] = 0.500000 (x510) xopt[511] = 0.310243 (x511) xopt[512] = 0.507046 (x512) xopt[514] = 0.045677 (x514) xopt[515] = 0.420252 (x515) xopt[516] = 1.000000 (x516) xopt[517] = 0.454323 (x517) xopt[518] = 0.545677 (x518) xopt[519] = 0.545677 (x519) xopt[520] = 1.000000 (x520) xopt[522] = 0.242815 (x522) xopt[523] = 0.327724 (x523) xopt[524] = 0.456249 (x524) xopt[527] = 0.298481 (x527) xopt[528] = 0.364573 (x528) xopt[533] = 0.034071 (x533) xopt[534] = 0.182947 (x534) xopt[535] = 0.078575 (x535) xopt[539] = 0.216027 (x539) xopt[541] = 0.489372 (x541) xopt[542] = 0.113624 (x542) xopt[545] = 0.454323 (x545) xopt[546] = 0.035049 (x546) xopt[547] = 0.783973 (x547) xopt[548] = 0.574992 (x548) xopt[549] = 0.148080 (x549) xopt[550] = 0.060900 (x550) xopt[553] = 0.454323 (x553) xopt[554] = 0.301508 (x554) xopt[556] = 0.216027 (x556) xopt[559] = 1.000000 (x559) xopt[562] = 0.690036 (x562) xopt[563] = 1.000000 (x563) xopt[564] = 0.734764 (x564) xopt[565] = 0.052723 (x565) xopt[566] = 0.758190 (x566) xopt[567] = 0.719558 (x567) xopt[568] = 0.008830 (x568) xopt[569] = 0.271612 (x569) xopt[570] = 0.848874 (x570) xopt[571] = 0.151126 (x571) xopt[572] = 0.237944 (x572) xopt[573] = 0.936721 (x573) xopt[575] = 0.063279 (x575) xopt[576] = 0.509420 (x576) xopt[578] = 0.490580 (x578) xopt[579] = 0.177599 (x579) xopt[580] = 0.035117 (x580) xopt[583] = 0.783973 (x583) xopt[584] = 0.216027 (x584) xopt[586] = 0.500000 (x586) xopt[587] = 0.500000 (x587) xopt[589] = 0.758190 (x589) xopt[592] = 0.241810 (x592) xopt[594] = 0.559421 (x594) xopt[595] = 0.440579 (x595) xopt[597] = 0.151126 (x597) xopt[599] = 0.484301 (x599) xopt[600] = 0.364573 (x600) xopt[601] = 0.151126 (x601) xopt[602] = 0.266570 (x602) xopt[603] = 0.454323 (x603) xopt[605] = 0.117055 (x605) xopt[608] = 0.377141 (x608) xopt[610] = 0.622859 (x610) xopt[611] = 0.545677 (x611) xopt[612] = 0.265236 (x612) xopt[613] = 0.936721 (x613) xopt[616] = 0.063279 (x616) xopt[622] = 0.204213 (x622) xopt[623] = 0.231576 (x623) xopt[624] = 0.090684 (x624) xopt[625] = 0.080590 (x625) xopt[628] = 0.129245 (x628) xopt[629] = 0.021882 (x629) xopt[631] = 0.192945 (x631) xopt[632] = 0.075719 (x632) xopt[634] = 0.240476 (x634) xopt[636] = 0.038631 (x636) xopt[638] = 0.285484 (x638) xopt[639] = 0.454323 (x639) xopt[640] = 0.063279 (x640) xopt[643] = 0.224711 (x643) xopt[645] = 0.303867 (x645) xopt[646] = 0.500000 (x646) xopt[647] = 1.000000 (x647) xopt[649] = 1.000000 (x649) xopt[652] = 0.783973 (x652) xopt[656] = 0.064332 (x656) xopt[658] = 0.435668 (x658) xopt[660] = 0.454323 (x660) xopt[662] = 0.454323 (x662) xopt[663] = 0.454323 (x663) xopt[664] = 0.545677 (x664) xopt[666] = 0.213735 (x666) xopt[667] = 0.507046 (x667) xopt[669] = 0.559421 (x669) xopt[670] = 0.330224 (x670) xopt[671] = 0.756089 (x671) xopt[674] = 0.027884 (x674) xopt[676] = 0.848874 (x676) xopt[679] = 0.545677 (x679) xopt[680] = 0.454323 (x680) xopt[681] = 0.432054 (x681) xopt[682] = 0.067946 (x682) xopt[683] = 0.698492 (x683) xopt[685] = 0.432054 (x685) xopt[686] = 1.000000 (x686) xopt[687] = 0.500000 (x687) xopt[688] = 0.426438 (x688) xopt[689] = 0.545677 (x689) xopt[691] = 0.168537 (x691) xopt[693] = 0.117080 (x693) xopt[697] = 1.000000 (x697) xopt[702] = 0.216027 (x702) xopt[703] = 0.302986 (x703) xopt[705] = 0.388528 (x705) xopt[709] = 0.454323 (x709) xopt[710] = 0.265236 (x710) xopt[711] = 1.000000 (x711) xopt[712] = 1.000000 (x712) xopt[713] = 0.055731 (x713) xopt[714] = 0.815581 (x714) xopt[715] = 0.121141 (x715) xopt[716] = 0.545677 (x716) xopt[717] = 0.454323 (x717) xopt[719] = 0.138327 (x719) xopt[721] = 1.000000 (x721) xopt[722] = 0.425695 (x722) xopt[723] = 0.697014 (x723) xopt[724] = 0.492954 (x724) xopt[725] = 0.241810 (x725) xopt[726] = 0.909316 (x726) xopt[728] = 0.635139 (x728) xopt[729] = 0.603415 (x729) xopt[732] = 0.696133 (x732) xopt[733] = 0.500000 (x733) xopt[736] = 0.235251 (x736) xopt[738] = 0.725655 (x738) xopt[739] = 0.545677 (x739) xopt[741] = 0.063279 (x741) xopt[745] = 0.936721 (x745) xopt[746] = 1.000000 (x746) xopt[747] = 1.000000 (x747) xopt[748] = 0.289707 (x748) xopt[749] = 1.000000 (x749) xopt[751] = 0.065795 (x751) xopt[752] = 0.199331 (x752) xopt[754] = 0.278239 (x754) xopt[757] = 1.000000 (x757) xopt[759] = 0.160613 (x759) xopt[763] = 0.532897 (x763) xopt[764] = 0.100844 (x764) xopt[765] = 0.991170 (x765) xopt[766] = 0.060308 (x766) xopt[767] = 0.454323 (x767) xopt[768] = 0.228388 (x768) xopt[771] = 0.461369 (x771) xopt[773] = 0.208472 (x773) xopt[774] = 0.095395 (x774) xopt[775] = 0.538631 (x775) xopt[776] = 0.500000 (x776) xopt[777] = 0.183955 (x777) xopt[778] = 0.467103 (x778) xopt[779] = 0.564732 (x779) xopt[780] = 0.241810 (x780) xopt[781] = 0.758190 (x781) xopt[788] = 0.467103 (x788) xopt[791] = 0.388528 (x791) xopt[792] = 0.454323 (x792) xopt[795] = 0.177396 (x795) xopt[796] = 0.532897 (x796) xopt[798] = 0.822401 (x798) xopt[799] = 0.034613 (x799) xopt[801] = 0.097757 (x801) xopt[802] = 0.144080 (x802) xopt[805] = 0.396585 (x805) xopt[808] = 0.432993 (x808) xopt[809] = 0.264020 (x809) xopt[811] = 0.516387 (x811) xopt[812] = 1.000000 (x812) xopt[813] = 1.000000 (x813) xopt[815] = 0.481792 (x815) xopt[816] = 0.481792 (x816) xopt[817] = 0.302986 (x817) xopt[818] = 0.215222 (x818) xopt[823] = 0.017844 (x823) xopt[824] = 1.000000 (x824) xopt[825] = 0.096504 (x825) xopt[829] = 0.683904 (x829) xopt[833] = 0.219592 (x833) xopt[837] = 0.096504 (x837) xopt[839] = 0.430080 (x839) xopt[845] = 0.264020 (x845) xopt[848] = 0.305899 (x848) xopt[849] = 0.432993 (x849) xopt[851] = 0.213401 (x851) xopt[852] = 0.185361 (x852) xopt[853] = 0.326293 (x853) xopt[855] = 0.302986 (x855) xopt[856] = 0.235251 (x856) xopt[858] = 0.488347 (x858) xopt[860] = 0.185361 (x860) xopt[861] = 0.058267 (x861) xopt[863] = 0.185361 (x863) xopt[864] = 0.042607 (x864) xopt[865] = 0.631100 (x865) xopt[869] = 0.235251 (x869) xopt[875] = 0.567007 (x875) xopt[877] = 0.197742 (x877) xopt[878] = 0.235251 (x878) xopt[879] = 0.260379 (x879) xopt[881] = 0.096504 (x881) xopt[882] = 0.219592 (x882) xopt[885] = 0.914785 (x885) xopt[886] = 0.219592 (x886) xopt[888] = 0.195557 (x888) xopt[890] = 0.767298 (x890) xopt[891] = 0.232702 (x891) xopt[896] = 0.397305 (x896) xopt[897] = 0.764749 (x897) xopt[899] = 0.264749 (x899) xopt[900] = 0.094319 (x900) xopt[901] = 0.140932 (x901) xopt[902] = 0.500000 (x902) xopt[906] = 0.500000 (x906) xopt[907] = 0.235251 (x907) xopt[909] = 0.016387 (x909) xopt[912] = 0.504370 (x912) xopt[913] = 0.532775 (x913) xopt[914] = 0.269483 (x914) xopt[915] = 0.495630 (x915) xopt[921] = 0.219592 (x921) xopt[922] = 0.140932 (x922) xopt[923] = 0.780408 (x923) xopt[924] = 0.780408 (x924) xopt[925] = 0.185361 (x925) xopt[926] = 0.326293 (x926) xopt[927] = 0.577203 (x927) xopt[929] = 0.219592 (x929) xopt[931] = 0.672979 (x931) xopt[932] = 0.327021 (x932) xopt[933] = 0.500000 (x933) xopt[936] = 0.504370 (x936) xopt[938] = 0.859068 (x938) xopt[940] = 0.232702 (x940) xopt[941] = 0.767298 (x941) xopt[944] = 1.000000 (x944) xopt[947] = 0.067735 (x947) xopt[954] = 0.496723 (x954) xopt[958] = 0.339039 (x958) xopt[961] = 0.488347 (x961) xopt[964] = 0.339039 (x964) xopt[966] = 0.227968 (x966) xopt[967] = 0.264020 (x967) xopt[970] = 0.602695 (x970) xopt[971] = 0.786599 (x971) xopt[973] = 0.302986 (x973) xopt[974] = 0.302986 (x974) xopt[975] = 0.094319 (x975) xopt[978] = 0.814639 (x978) xopt[979] = 0.050619 (x979) xopt[981] = 0.213401 (x981) xopt[984] = 0.602695 (x984) xopt[985] = 1.000000 (x985) xopt[989] = 0.190095 (x989) xopt[993] = 0.903496 (x993) xopt[995] = 1.000000 (x995) xopt[997] = 1.000000 (x997) xopt[999] = 1.000000 (x999) xopt[1001] = 0.735980 (x1001) xopt[1004] = 0.042607 (x1004) xopt[1009] = 0.036417 (x1009) xopt[1010] = 1.000000 (x1010) xopt[1011] = 1.000000 (x1011) xopt[1012] = 1.000000 (x1012) xopt[1015] = 0.052076 (x1015) xopt[1018] = 0.161326 (x1018) xopt[1022] = 0.180626 (x1022) xopt[1025] = 0.605972 (x1025) xopt[1027] = 1.000000 (x1027) xopt[1028] = 0.032775 (x1028) xopt[1031] = 0.161326 (x1031) xopt[1035] = 0.213401 (x1035) xopt[1039] = 0.091042 (x1039) xopt[1040] = 0.235251 (x1040) xopt[1041] = 0.248361 (x1041) xopt[1043] = 0.767298 (x1043) xopt[1046] = 0.177349 (x1046) xopt[1049] = 0.014931 (x1049) xopt[1055] = 1.000000 (x1055) xopt[1056] = 1.000000 (x1056) xopt[1060] = 0.042607 (x1060) xopt[1063] = 0.232702 (x1063) xopt[1065] = 0.467953 (x1065) xopt[1068] = 0.219592 (x1068) xopt[1073] = 0.232702 (x1073) xopt[1074] = 0.027677 (x1074) xopt[1076] = 0.500000 (x1076) xopt[1077] = 0.500000 (x1077) xopt[1085] = 0.500000 (x1085) xopt[1089] = 0.500000 (x1089) xopt[1091] = 1.000000 (x1091) xopt[1096] = 1.000000 (x1096) xopt[1100] = 1.000000 (x1100) xopt[1105] = 0.500000 (x1105) xopt[1107] = 0.500000 (x1107) xopt[1112] = 0.500000 (x1112) xopt[1116] = 0.500000 (x1116) xopt[1126] = 0.500000 (x1126) xopt[1130] = 1.000000 (x1130) xopt[1131] = 0.500000 (x1131) xopt[1132] = 1.000000 (x1132) xopt[1133] = 0.280442 (x1133) xopt[1134] = 0.500000 (x1134) xopt[1136] = 0.723073 (x1136) xopt[1137] = 0.276927 (x1137) xopt[1138] = 0.258190 (x1138) xopt[1140] = 0.241810 (x1140) xopt[1144] = 0.276927 (x1144) xopt[1145] = 0.310243 (x1145) xopt[1149] = 0.574992 (x1149) xopt[1154] = 0.425008 (x1154) xopt[1162] = 0.848874 (x1162) xopt[1163] = 0.559421 (x1163) xopt[1164] = 1.000000 (x1164) xopt[1166] = 0.029243 (x1166) xopt[1167] = 0.235714 (x1167) xopt[1172] = 0.309964 (x1172) xopt[1176] = 0.045007 (x1176) xopt[1181] = 0.265236 (x1181) xopt[1183] = 0.734764 (x1183) xopt[1184] = 0.771612 (x1184) xopt[1187] = 0.310243 (x1187) xopt[1191] = 0.696133 (x1191) xopt[1192] = 0.036847 (x1192) xopt[1197] = 0.151126 (x1197) xopt[1199] = 0.364861 (x1199) xopt[1200] = 0.559421 (x1200) xopt[1201] = 0.364861 (x1201) xopt[1202] = 0.408295 (x1202) xopt[1214] = 0.075719 (x1214) xopt[1215] = 0.189087 (x1215) xopt[1216] = 0.128494 (x1216) xopt[1218] = 0.490580 (x1218) xopt[1219] = 0.008830 (x1219) xopt[1220] = 0.680927 (x1220) xopt[1222] = 0.038631 (x1222) xopt[1225] = 0.112495 (x1225) xopt[1226] = 1.000000 (x1226) xopt[1227] = 0.238867 (x1227) xopt[1228] = 0.761133 (x1228) xopt[1229] = 1.000000 (x1229) xopt[1230] = 0.216027 (x1230) xopt[1233] = 0.783973 (x1233) xopt[1236] = 0.216027 (x1236) xopt[1241] = 0.440579 (x1241) xopt[1243] = 0.545677 (x1243) xopt[1244] = 0.855920 (x1244) xopt[1246] = 0.064901 (x1246) xopt[1247] = 0.107764 (x1247) xopt[1248] = 0.222460 (x1248) xopt[1249] = 0.034071 (x1249) xopt[1250] = 0.076858 (x1250) xopt[1254] = 0.289147 (x1254) xopt[1255] = 0.139168 (x1255) xopt[1257] = 0.188389 (x1257) xopt[1258] = 1.000000 (x1258) xopt[1263] = 0.035676 (x1263) xopt[1264] = 0.075632 (x1264) xopt[1270] = 0.280442 (x1270) xopt[1271] = 0.132993 (x1271) xopt[1272] = 0.095395 (x1272) xopt[1275] = 0.168839 (x1275) xopt[1276] = 0.285617 (x1276) xopt[1277] = 0.513897 (x1277) xopt[1278] = 0.200486 (x1278) xopt[1281] = 0.216027 (x1281) xopt[1283] = 0.148556 (x1283) xopt[1284] = 0.073427 (x1284) xopt[1285] = 0.339724 (x1285) xopt[1286] = 0.125342 (x1286) xopt[1287] = 0.144080 (x1287) xopt[1288] = 0.545677 (x1288) xopt[1290] = 0.168898 (x1290) xopt[1291] = 1.000000 (x1291) xopt[1293] = 0.425008 (x1293) xopt[1296] = 0.123242 (x1296) xopt[1299] = 0.120670 (x1299) xopt[1300] = 1.000000 (x1300) xopt[1302] = 0.301508 (x1302) xopt[1303] = 1.000000 (x1303) xopt[1305] = 1.000000 (x1305) xopt[1311] = 1.000000 (x1311) xopt[1314] = 0.435268 (x1314) xopt[1320] = 0.591705 (x1320) xopt[1322] = 0.148556 (x1322) xopt[1323] = 1.000000 (x1323) xopt[1326] = 0.217017 (x1326) xopt[1327] = 0.216027 (x1327) xopt[1329] = 0.235434 (x1329) xopt[1332] = 0.293120 (x1332) xopt[1336] = 0.077262 (x1336) xopt[1337] = 0.151126 (x1337) xopt[1339] = 0.203179 (x1339) xopt[1344] = 0.486578 (x1344) xopt[1345] = 0.232980 (x1345) xopt[1346] = 0.031724 (x1346) xopt[1348] = 1.000000 (x1348) xopt[1349] = 1.000000 (x1349) xopt[1351] = 1.000000 (x1351) xopt[1352] = 0.425008 (x1352) xopt[1357] = 0.013045 (x1357) xopt[1360] = 0.255860 (x1360) xopt[1361] = 0.174969 (x1361) xopt[1362] = 0.002733 (x1362) xopt[1363] = 1.000000 (x1363) xopt[1364] = 1.000000 (x1364) xopt[1365] = 1.000000 (x1365) xopt[1366] = 1.000000 (x1366) xopt[1370] = 0.265236 (x1370) zopt = 410.763701 zroot = 404.351528 zinit = 403.846474 MINTO: Branch and bound statistics Maximum number of unevaluated nodes = 34 Number of evaluated nodes = 8167 Depth of the tree = 38 Number of linear programs solved = 8169 Maximum number of rows in active LP = 4833 (4827) MINTO: Cut generation statistics Number of generated clique inequalities = 6 Number of generated implication inequalities = 0 Number of generated lifted knapsack covers = 0 Knapsack covers = 0 Knapsack covers with GUBs = 0 Surrogate knapsack covers = 0 Number of generated generalized flow covers = 0 APPL: Timing statistics (in seconds) appl_bounds: 0.00 appl_constraints: 0.00 appl_delconstraints: 0.00 appl_divide: 0.00 appl_exit: 0.00 appl_fathom: 0.00 appl_feasible: 0.00 appl_init: 0.00 appl_initlp: 0.00 appl_mps: 0.00 appl_node: 0.00 appl_preprocessing: 0.00 appl_primal: 0.00 appl_rank: 0.00 appl_terminatelp: 0.01 appl_terminatenode: 0.00 appl_variables: 0.02 MINTO: Timing statistics (in seconds) Reading MPS file: 0.00 Restart: 0.00 Preprocessing and probing: 0.25 Primal heuristic: 4.60 Bound improvement: 495.30 Clique cut generation: 0.14 Implication cut generation: 0.00 Knapsack cover generation: 0.00 GUB cover generation: 0.00 Surrogate knapsack cover generation: 0.00 Flow cover generation: 0.01 Cut pool search: 0.00 Cut Management: 0.00 Branching: 0.92 Time LP solving: 0.00 Total elapsed time: 508.00 Command exited with non-zero status 161 507.27user 0.74system 8:28.44elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+22001minor)pagefaults 0swaps