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 bc1 MINTO: Problem statistics: Number of constraints: 1913 Number of variables: 1751 (0) Number of nonzero's: 307658 Number of continuous variables: 1499 Number of binary variables: 252 Number of integer variables: 0 MINTO: Presolve eliminated 0 constraints and 0 variables Presolve made 252 coefficient changes MINTO: Row structure analysis (after preprocessing): Number of constraints of type MIXEQ: 1 Number of constraints of type NOBINUB: 540 Number of constraints of type NOBINEQ: 784 Number of constraints of type VARUB: 252 Number of constraints of type VARLB: 252 Number of constraints of type BINSUM1UB: 84 MINTO control parameters: Objective sense : minimization Output level : 1 Maximum cpu time : 1000011 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: -8.57 Elapsed time: 22.82 Node: 300 MINTO: Updating primal (MINTO heuristic) Value: -8.49 Elapsed time: 25.82 Node: 400 MINTO: Updating primal (Integral solution) Value: -3.49 Elapsed time: 29.78 Node: 510 MINTO: ... evaluated 1000 nodes ... (best bound -2.443931, queue 951) MINTO: Updating primal (Integral solution) Value: -3.46 Elapsed time: 41.93 Node: 1073 MINTO: Updating primal (Integral solution) Value: -3.44 Elapsed time: 66.30 Node: 1999 MINTO: ... evaluated 2000 nodes ... (best bound -2.443931, queue 1702) MINTO: Updating primal (MINTO heuristic) Value: -3.43 Elapsed time: 66.61 Node: 2000 MINTO: ... evaluated 3000 nodes ... (best bound -2.443931, queue 2397) MINTO: Updating primal (Integral solution) Value: -3.43 Elapsed time: 95.92 Node: 3182 MINTO: Updating primal (Integral solution) Value: -3.42 Elapsed time: 111.55 Node: 3868 MINTO: ... evaluated 4000 nodes ... (best bound -2.500625, queue 3048) MINTO: ... evaluated 5000 nodes ... (best bound -2.500625, queue 3634) MINTO: ... evaluated 6000 nodes ... (best bound -2.500625, queue 4242) MINTO: ... evaluated 7000 nodes ... (best bound -2.500625, queue 4656) MINTO: Updating primal (Integral solution) Value: -3.39 Elapsed time: 197.76 Node: 7696 MINTO: Updating primal (Integral solution) Value: -3.38 Elapsed time: 197.84 Node: 7698 MINTO: ... evaluated 8000 nodes ... (best bound -2.500625, queue 4696) MINTO: Updating primal (Integral solution) Value: -3.37 Elapsed time: 217.15 Node: 8819 MINTO: ... evaluated 9000 nodes ... (best bound -2.500625, queue 4632) MINTO: Updating primal (Integral solution) Value: -3.37 Elapsed time: 222.05 Node: 9282 MINTO: Updating primal (Integral solution) Value: -3.37 Elapsed time: 222.48 Node: 9317 MINTO: ... evaluated 10000 nodes ... (best bound -2.500625, queue 3821) MINTO: Updating primal (Integral solution) Value: -3.36 Elapsed time: 235.01 Node: 10438 MINTO: ... evaluated 11000 nodes ... (best bound -2.500625, queue 3218) MINTO: ... evaluated 12000 nodes ... (best bound -2.500625, queue 2670) MINTO: ... evaluated 13000 nodes ... (best bound -2.500625, queue 1962) MINTO: ... evaluated 14000 nodes ... (best bound -2.500625, queue 1422) MINTO: ... evaluated 15000 nodes ... (best bound -2.500625, queue 922) MINTO: ... evaluated 16000 nodes ... (best bound -2.500625, queue 578) MINTO: ... evaluated 17000 nodes ... (best bound -2.500625, queue 402) MINTO: ... evaluated 18000 nodes ... (best bound -2.500625, queue 222) MINTO: Updating primal (Integral solution) Value: -3.36 Elapsed time: 319.34 Node: 18171 MINTO: Updating primal (MINTO heuristic) Value: -3.34 Elapsed time: 326.63 Node: 18800 MINTO: ... evaluated 19000 nodes ... (best bound -2.500625, queue 37) MINTO: Value of solution: 3.338363 MINTO: Non-zero variables in the solution: xopt[32] = 0.478558 (x33) xopt[47] = 0.854939 (x48) xopt[56] = 0.278354 (x57) xopt[59] = 0.789644 (x60) xopt[77] = 0.560508 (x78) xopt[110] = 0.421623 (x111) xopt[293] = 1.625593 (x294) xopt[320] = 1.836620 (x321) xopt[347] = 1.803425 (x348) xopt[483] = 0.105975 (x484) xopt[484] = 0.150964 (x485) xopt[485] = 0.193365 (x486) xopt[486] = 0.224144 (x487) xopt[487] = 0.235693 (x488) xopt[488] = 0.224506 (x489) xopt[489] = 0.192825 (x490) xopt[490] = 0.148267 (x491) xopt[491] = 0.101159 (x492) xopt[492] = 0.060637 (x493) xopt[493] = 0.047670 (x494) xopt[494] = 0.079920 (x495) xopt[495] = 0.116543 (x496) xopt[496] = 0.149347 (x497) xopt[497] = 0.169613 (x498) xopt[498] = 0.171606 (x499) xopt[499] = 0.154836 (x500) xopt[500] = 0.124174 (x501) xopt[501] = 0.087878 (x502) xopt[502] = 0.054331 (x503) xopt[503] = 0.129320 (x504) xopt[504] = 0.202160 (x505) xopt[505] = 0.282930 (x506) xopt[506] = 0.358637 (x507) xopt[507] = 0.414853 (x508) xopt[508] = 0.439388 (x509) xopt[509] = 0.425710 (x510) xopt[510] = 0.375417 (x511) xopt[511] = 0.298808 (x512) xopt[512] = 0.212367 (x513) xopt[513] = 0.133174 (x514) xopt[514] = 0.072887 (x515) xopt[515] = 0.060562 (x516) xopt[516] = 0.112842 (x517) xopt[517] = 0.181954 (x518) xopt[518] = 0.256553 (x519) xopt[519] = 0.320386 (x520) xopt[520] = 0.358192 (x521) xopt[521] = 0.360899 (x522) xopt[522] = 0.328111 (x523) xopt[523] = 0.267980 (x524) xopt[524] = 0.194811 (x525) xopt[525] = 0.124481 (x526) xopt[526] = 0.068932 (x527) xopt[527] = 0.125892 (x528) xopt[528] = 0.217220 (x529) xopt[529] = 0.331681 (x530) xopt[530] = 0.455495 (x531) xopt[531] = 0.569885 (x532) xopt[532] = 0.655641 (x533) xopt[533] = 0.697237 (x534) xopt[534] = 0.685540 (x535) xopt[535] = 0.619989 (x536) xopt[536] = 0.510689 (x537) xopt[537] = 0.378213 (x538) xopt[538] = 0.248278 (x539) xopt[539] = 0.142647 (x540) xopt[540] = 0.072159 (x541) xopt[541] = 0.062286 (x542) xopt[542] = 0.125648 (x543) xopt[543] = 0.224006 (x544) xopt[544] = 0.346620 (x545) xopt[545] = 0.471459 (x546) xopt[546] = 0.572675 (x547) xopt[547] = 0.629709 (x548) xopt[548] = 0.632097 (x549) xopt[549] = 0.580006 (x550) xopt[550] = 0.483617 (x551) xopt[551] = 0.362089 (x552) xopt[552] = 0.239659 (x553) xopt[553] = 0.137869 (x554) xopt[554] = 0.067804 (x555) xopt[555] = 0.189776 (x556) xopt[556] = 0.319950 (x557) xopt[557] = 0.478256 (x558) xopt[558] = 0.644633 (x559) xopt[559] = 0.794855 (x560) xopt[560] = 0.907136 (x561) xopt[561] = 0.965801 (x562) xopt[562] = 0.961204 (x563) xopt[563] = 0.889736 (x564) xopt[564] = 0.757353 (x565) xopt[565] = 0.583818 (x566) xopt[566] = 0.400799 (x567) xopt[567] = 0.241518 (x568) xopt[568] = 0.128593 (x569) xopt[569] = 0.115353 (x570) xopt[570] = 0.222099 (x571) xopt[571] = 0.378731 (x572) xopt[572] = 0.561907 (x573) xopt[573] = 0.736428 (x574) xopt[574] = 0.869233 (x575) xopt[575] = 0.939804 (x576) xopt[576] = 0.940546 (x577) xopt[577] = 0.872487 (x578) xopt[578] = 0.744219 (x579) xopt[579] = 0.574883 (x580) xopt[580] = 0.394508 (x581) xopt[581] = 0.235739 (x582) xopt[582] = 0.120385 (x583) xopt[583] = 0.254210 (x584) xopt[584] = 0.421507 (x585) xopt[585] = 0.619788 (x586) xopt[586] = 0.822252 (x587) xopt[587] = 1.000000 (x588) xopt[588] = 1.131103 (x589) xopt[589] = 1.203058 (x590) xopt[590] = 1.208373 (x591) xopt[591] = 1.140918 (x592) xopt[592] = 1.000000 (x593) xopt[593] = 0.799560 (x594) xopt[594] = 0.572145 (x595) xopt[595] = 0.360480 (x596) xopt[596] = 0.201351 (x597) xopt[597] = 0.115094 (x598) xopt[598] = 0.108690 (x599) xopt[599] = 0.184535 (x600) xopt[600] = 0.339778 (x601) xopt[601] = 0.555290 (x602) xopt[602] = 0.791119 (x603) xopt[603] = 1.000000 (x604) xopt[604] = 1.147739 (x605) xopt[605] = 1.221085 (x606) xopt[606] = 1.219663 (x607) xopt[607] = 1.145112 (x608) xopt[608] = 1.000000 (x609) xopt[609] = 0.796884 (x610) xopt[610] = 0.566237 (x611) xopt[611] = 0.350569 (x612) xopt[612] = 0.185232 (x613) xopt[613] = 0.307054 (x614) xopt[614] = 0.505370 (x615) xopt[615] = 0.736740 (x616) xopt[616] = 0.967788 (x617) xopt[617] = 1.165288 (x618) xopt[618] = 1.308034 (x619) xopt[619] = 1.388101 (x620) xopt[620] = 1.402023 (x621) xopt[621] = 1.343109 (x622) xopt[622] = 1.204735 (x623) xopt[623] = 0.992890 (x624) xopt[624] = 0.736222 (x625) xopt[625] = 0.482385 (x626) xopt[626] = 0.281097 (x627) xopt[627] = 0.167435 (x628) xopt[628] = 0.158463 (x629) xopt[629] = 0.258570 (x630) xopt[630] = 0.457400 (x631) xopt[631] = 0.720101 (x632) xopt[632] = 0.989923 (x633) xopt[633] = 1.211849 (x634) xopt[634] = 1.356863 (x635) xopt[635] = 1.423696 (x636) xopt[636] = 1.420907 (x637) xopt[637] = 1.350070 (x638) xopt[638] = 1.205125 (x639) xopt[639] = 0.987588 (x640) xopt[640] = 0.723282 (x641) xopt[641] = 0.461308 (x642) xopt[642] = 0.250574 (x643) xopt[643] = 0.337814 (x644) xopt[644] = 0.558240 (x645) xopt[645] = 0.815305 (x646) xopt[646] = 1.069805 (x647) xopt[647] = 1.283478 (x648) xopt[648] = 1.434312 (x649) xopt[649] = 1.517879 (x650) xopt[650] = 1.535400 (x651) xopt[651] = 1.482375 (x652) xopt[652] = 1.349736 (x653) xopt[653] = 1.137067 (x654) xopt[654] = 0.866794 (x655) xopt[655] = 0.586377 (x656) xopt[656] = 0.353886 (x657) xopt[657] = 0.217420 (x658) xopt[658] = 0.204425 (x659) xopt[659] = 0.321468 (x660) xopt[660] = 0.550454 (x661) xopt[661] = 0.842120 (x662) xopt[662] = 1.126909 (x663) xopt[663] = 1.346866 (x664) xopt[664] = 1.480657 (x665) xopt[665] = 1.538342 (x666) xopt[666] = 1.535663 (x667) xopt[667] = 1.473525 (x668) xopt[668] = 1.337921 (x669) xopt[669] = 1.119551 (x670) xopt[670] = 0.837903 (x671) xopt[671] = 0.545449 (x672) xopt[672] = 0.301718 (x673) xopt[673] = 0.339951 (x674) xopt[674] = 0.571155 (x675) xopt[675] = 0.845637 (x676) xopt[676] = 1.119928 (x677) xopt[677] = 1.349471 (x678) xopt[678] = 1.508190 (x679) xopt[679] = 1.592303 (x680) xopt[680] = 1.607288 (x681) xopt[681] = 1.553343 (x682) xopt[682] = 1.423368 (x683) xopt[683] = 1.214416 (x684) xopt[684] = 0.943283 (x685) xopt[685] = 0.653459 (x686) xopt[686] = 0.405158 (x687) xopt[687] = 0.254131 (x688) xopt[688] = 0.235574 (x689) xopt[689] = 0.358405 (x690) xopt[690] = 0.599923 (x691) xopt[691] = 0.902497 (x692) xopt[692] = 1.190322 (x693) xopt[693] = 1.405372 (x694) xopt[694] = 1.531390 (x695) xopt[695] = 1.584298 (x696) xopt[696] = 1.582939 (x697) xopt[697] = 1.527298 (x698) xopt[698] = 1.398803 (x699) xopt[699] = 1.182099 (x700) xopt[700] = 0.893093 (x701) xopt[701] = 0.586050 (x702) xopt[702] = 0.326215 (x703) xopt[703] = 0.312751 (x704) xopt[704] = 0.540883 (x705) xopt[705] = 0.821429 (x706) xopt[706] = 1.109620 (x707) xopt[707] = 1.354361 (x708) xopt[708] = 1.522247 (x709) xopt[709] = 1.606384 (x710) xopt[710] = 1.614822 (x711) xopt[711] = 1.553754 (x712) xopt[712] = 1.421724 (x713) xopt[713] = 1.217672 (x714) xopt[714] = 0.955289 (x715) xopt[715] = 0.672342 (x716) xopt[716] = 0.425175 (x717) xopt[717] = 0.269961 (x718) xopt[718] = 0.244930 (x719) xopt[719] = 0.361375 (x720) xopt[720] = 0.597275 (x721) xopt[721] = 0.895364 (x722) xopt[722] = 1.180906 (x723) xopt[723] = 1.396714 (x724) xopt[724] = 1.525859 (x725) xopt[725] = 1.582305 (x726) xopt[726] = 1.582923 (x727) xopt[727] = 1.526668 (x728) xopt[728] = 1.395148 (x729) xopt[729] = 1.174436 (x730) xopt[730] = 0.882605 (x731) xopt[731] = 0.575474 (x732) xopt[732] = 0.318055 (x733) xopt[733] = 0.263503 (x734) xopt[734] = 0.474244 (x735) xopt[735] = 0.746307 (x736) xopt[736] = 1.037794 (x737) xopt[737] = 1.293207 (x738) xopt[738] = 1.470356 (x739) xopt[739] = 1.555646 (x740) xopt[740] = 1.556859 (x741) xopt[741] = 1.485927 (x742) xopt[742] = 1.349366 (x743) xopt[743] = 1.151680 (x744) xopt[744] = 0.906319 (x745) xopt[745] = 0.644851 (x746) xopt[746] = 0.414946 (x747) xopt[747] = 0.266230 (x748) xopt[748] = 0.234736 (x749) xopt[749] = 0.333683 (x750) xopt[750] = 0.546922 (x751) xopt[751] = 0.826265 (x752) xopt[752] = 1.105168 (x753) xopt[753] = 1.328089 (x754) xopt[754] = 1.471782 (x755) xopt[755] = 1.540408 (x756) xopt[756] = 1.543534 (x757) xopt[757] = 1.478790 (x758) xopt[758] = 1.333014 (x759) xopt[759] = 1.101699 (x760) xopt[760] = 0.810964 (x761) xopt[761] = 0.517607 (x762) xopt[762] = 0.280165 (x763) xopt[763] = 0.208977 (x764) xopt[764] = 0.393564 (x765) xopt[765] = 0.644739 (x766) xopt[766] = 0.926857 (x767) xopt[767] = 1.183939 (x768) xopt[768] = 1.366468 (x769) xopt[769] = 1.452405 (x770) xopt[770] = 1.446553 (x771) xopt[771] = 1.365469 (x772) xopt[772] = 1.224828 (x773) xopt[773] = 1.037110 (x774) xopt[774] = 0.817371 (x775) xopt[775] = 0.590445 (x776) xopt[776] = 0.391737 (x777) xopt[777] = 0.259015 (x778) xopt[778] = 0.221770 (x779) xopt[779] = 0.294265 (x780) xopt[780] = 0.469770 (x781) xopt[781] = 0.715844 (x782) xopt[782] = 0.980370 (x783) xopt[783] = 1.211491 (x784) xopt[784] = 1.376414 (x785) xopt[785] = 1.463495 (x786) xopt[786] = 1.470235 (x787) xopt[787] = 1.392436 (x788) xopt[788] = 1.226266 (x789) xopt[789] = 0.982530 (x790) xopt[790] = 0.698623 (x791) xopt[791] = 0.430466 (x792) xopt[792] = 0.225206 (x793) xopt[793] = 0.173504 (x794) xopt[794] = 0.336233 (x795) xopt[795] = 0.565051 (x796) xopt[796] = 0.830382 (x797) xopt[797] = 1.079184 (x798) xopt[798] = 1.258724 (x799) xopt[799] = 1.340189 (x800) xopt[800] = 1.324620 (x801) xopt[801] = 1.232293 (x802) xopt[802] = 1.088553 (x803) xopt[803] = 0.915220 (x804) xopt[804] = 0.729542 (x805) xopt[805] = 0.548395 (x806) xopt[806] = 0.392047 (x807) xopt[807] = 0.282844 (x808) xopt[808] = 0.240908 (x809) xopt[809] = 0.280800 (x810) xopt[810] = 0.407111 (x811) xopt[811] = 0.607041 (x812) xopt[812] = 0.847100 (x813) xopt[813] = 1.081566 (x814) xopt[814] = 1.267677 (x815) xopt[815] = 1.375431 (x816) xopt[816] = 1.387813 (x817) xopt[817] = 1.298279 (x818) xopt[818] = 1.113498 (x819) xopt[819] = 0.860481 (x820) xopt[820] = 0.587075 (x821) xopt[821] = 0.346561 (x822) xopt[822] = 0.173843 (x823) xopt[823] = 0.181558 (x824) xopt[824] = 0.341728 (x825) xopt[825] = 0.561241 (x826) xopt[826] = 0.812177 (x827) xopt[827] = 1.046015 (x828) xopt[828] = 1.212618 (x829) xopt[829] = 1.281533 (x830) xopt[830] = 1.251653 (x831) xopt[831] = 1.146291 (x832) xopt[832] = 1.000000 (x833) xopt[833] = 0.844348 (x834) xopt[834] = 0.698864 (x835) xopt[835] = 0.571320 (x836) xopt[836] = 0.464820 (x837) xopt[837] = 0.384267 (x838) xopt[838] = 0.339143 (x839) xopt[839] = 0.344228 (x840) xopt[840] = 0.416278 (x841) xopt[841] = 0.563105 (x842) xopt[842] = 0.770568 (x843) xopt[843] = 1.000000 (x844) xopt[844] = 1.200293 (x845) xopt[845] = 1.325253 (x846) xopt[846] = 1.345087 (x847) xopt[847] = 1.250672 (x848) xopt[848] = 1.055755 (x849) xopt[849] = 0.797758 (x850) xopt[850] = 0.530442 (x851) xopt[851] = 0.304926 (x852) xopt[852] = 0.149072 (x853) xopt[853] = 0.246401 (x854) xopt[854] = 0.429772 (x855) xopt[855] = 0.659066 (x856) xopt[856] = 0.902515 (x857) xopt[857] = 1.117403 (x858) xopt[858] = 1.263036 (x859) xopt[859] = 1.314318 (x860) xopt[860] = 1.270654 (x861) xopt[861] = 1.156601 (x862) xopt[862] = 1.012736 (x863) xopt[863] = 0.878454 (x864) xopt[864] = 0.775306 (x865) xopt[865] = 0.702550 (x866) xopt[866] = 0.646893 (x867) xopt[867] = 0.596567 (x868) xopt[868] = 0.551123 (x869) xopt[869] = 0.525808 (x870) xopt[870] = 0.548429 (x871) xopt[871] = 0.644327 (x872) xopt[872] = 0.815002 (x873) xopt[873] = 1.027747 (x874) xopt[874] = 1.226956 (x875) xopt[875] = 1.357656 (x876) xopt[876] = 1.383587 (x877) xopt[877] = 1.293332 (x878) xopt[878] = 1.100322 (x879) xopt[879] = 0.841189 (x880) xopt[880] = 0.568484 (x881) xopt[881] = 0.333632 (x882) xopt[882] = 0.167126 (x883) xopt[883] = 0.361234 (x884) xopt[884] = 0.585660 (x885) xopt[885] = 0.835284 (x886) xopt[886] = 1.072287 (x887) xopt[887] = 1.262986 (x888) xopt[888] = 1.382980 (x889) xopt[889] = 1.419020 (x890) xopt[890] = 1.373245 (x891) xopt[891] = 1.267822 (x892) xopt[892] = 1.141908 (x893) xopt[893] = 1.036126 (x894) xopt[894] = 0.972284 (x895) xopt[895] = 0.944735 (x896) xopt[896] = 0.930189 (x897) xopt[897] = 0.906175 (x898) xopt[898] = 0.865701 (x899) xopt[899] = 0.823920 (x900) xopt[900] = 0.814362 (x901) xopt[901] = 0.870966 (x902) xopt[902] = 1.002897 (x903) xopt[903] = 1.182189 (x904) xopt[904] = 1.356146 (x905) xopt[905] = 1.472738 (x906) xopt[906] = 1.498027 (x907) xopt[907] = 1.418927 (x908) xopt[908] = 1.240445 (x909) xopt[909] = 0.986251 (x910) xopt[910] = 0.699407 (x911) xopt[911] = 0.432981 (x912) xopt[912] = 0.229174 (x913) xopt[913] = 0.500012 (x914) xopt[914] = 0.766895 (x915) xopt[915] = 1.032512 (x916) xopt[916] = 1.255585 (x917) xopt[917] = 1.415796 (x918) xopt[918] = 1.509384 (x919) xopt[919] = 1.538700 (x920) xopt[920] = 1.510092 (x921) xopt[921] = 1.439351 (x922) xopt[922] = 1.354112 (x923) xopt[923] = 1.285294 (x924) xopt[924] = 1.251194 (x925) xopt[925] = 1.247580 (x926) xopt[926] = 1.253182 (x927) xopt[927] = 1.245768 (x928) xopt[928] = 1.217264 (x929) xopt[929] = 1.180822 (x930) xopt[930] = 1.166144 (x931) xopt[931] = 1.201915 (x932) xopt[932] = 1.294697 (x933) xopt[933] = 1.421691 (x934) xopt[934] = 1.543562 (x935) xopt[935] = 1.623819 (x936) xopt[936] = 1.638307 (x937) xopt[937] = 1.572640 (x938) xopt[938] = 1.418331 (x939) xopt[939] = 1.178278 (x940) xopt[940] = 0.879180 (x941) xopt[941] = 0.573691 (x942) xopt[942] = 0.319451 (x943) xopt[943] = 0.628443 (x944) xopt[944] = 0.926168 (x945) xopt[945] = 1.195878 (x946) xopt[946] = 1.397318 (x947) xopt[947] = 1.525432 (x948) xopt[948] = 1.596505 (x949) xopt[949] = 1.628324 (x950) xopt[950] = 1.632291 (x951) xopt[951] = 1.615895 (x952) xopt[952] = 1.587433 (x953) xopt[953] = 1.558144 (x954) xopt[954] = 1.539058 (x955) xopt[955] = 1.533856 (x956) xopt[956] = 1.535569 (x957) xopt[957] = 1.532933 (x958) xopt[958] = 1.521756 (x959) xopt[959] = 1.511043 (x960) xopt[960] = 1.517477 (x961) xopt[961] = 1.551692 (x962) xopt[962] = 1.608935 (x963) xopt[963] = 1.672915 (x964) xopt[964] = 1.726443 (x965) xopt[965] = 1.756743 (x966) xopt[966] = 1.752489 (x967) xopt[967] = 1.697752 (x968) xopt[968] = 1.570133 (x969) xopt[969] = 1.351213 (x970) xopt[970] = 1.049059 (x971) xopt[971] = 0.712301 (x972) xopt[972] = 0.411637 (x973) xopt[973] = 0.717105 (x974) xopt[974] = 1.030850 (x975) xopt[975] = 1.296726 (x976) xopt[976] = 1.477709 (x977) xopt[977] = 1.580956 (x978) xopt[978] = 1.637324 (x979) xopt[979] = 1.676495 (x980) xopt[980] = 1.714951 (x981) xopt[981] = 1.753165 (x982) xopt[982] = 1.779444 (x983) xopt[983] = 1.782789 (x984) xopt[984] = 1.765890 (x985) xopt[985] = 1.743083 (x986) xopt[986] = 1.726746 (x987) xopt[987] = 1.720840 (x988) xopt[988] = 1.726950 (x989) xopt[989] = 1.749275 (x990) xopt[990] = 1.788389 (x991) xopt[991] = 1.832575 (x992) xopt[992] = 1.862959 (x993) xopt[993] = 1.869951 (x994) xopt[994] = 1.859821 (x995) xopt[995] = 1.843060 (x996) xopt[996] = 1.819144 (x997) xopt[997] = 1.770061 (x998) xopt[998] = 1.662743 (x999) xopt[999] = 1.463163 (x1000) xopt[1000] = 1.164656 (x1001) xopt[1001] = 0.810553 (x1002) xopt[1002] = 0.479229 (x1003) xopt[1003] = 0.748320 (x1004) xopt[1004] = 1.066293 (x1005) xopt[1005] = 1.328691 (x1006) xopt[1006] = 1.500000 (x1007) xopt[1007] = 1.592240 (x1008) xopt[1008] = 1.642612 (x1009) xopt[1009] = 1.687360 (x1010) xopt[1010] = 1.747310 (x1011) xopt[1011] = 1.820256 (x1012) xopt[1012] = 1.882303 (x1013) xopt[1013] = 1.907039 (x1014) xopt[1014] = 1.890338 (x1015) xopt[1015] = 1.853319 (x1016) xopt[1016] = 1.822155 (x1017) xopt[1017] = 1.812124 (x1018) xopt[1018] = 1.829184 (x1019) xopt[1019] = 1.873999 (x1020) xopt[1020] = 1.935576 (x1021) xopt[1021] = 1.986822 (x1022) xopt[1022] = 2.000000 (x1023) xopt[1023] = 1.971050 (x1024) xopt[1024] = 1.921896 (x1025) xopt[1025] = 1.876794 (x1026) xopt[1026] = 1.840034 (x1027) xopt[1027] = 1.791120 (x1028) xopt[1028] = 1.691339 (x1029) xopt[1029] = 1.500000 (x1030) xopt[1030] = 1.204441 (x1031) xopt[1031] = 0.845455 (x1032) xopt[1032] = 0.503807 (x1033) xopt[1033] = 0.716266 (x1034) xopt[1034] = 1.028411 (x1035) xopt[1035] = 1.290825 (x1036) xopt[1036] = 1.465853 (x1037) xopt[1037] = 1.561444 (x1038) xopt[1038] = 1.612233 (x1039) xopt[1039] = 1.655198 (x1040) xopt[1040] = 1.714639 (x1041) xopt[1041] = 1.792219 (x1042) xopt[1042] = 1.865184 (x1043) xopt[1043] = 1.904011 (x1044) xopt[1044] = 1.899426 (x1045) xopt[1045] = 1.869484 (x1046) xopt[1046] = 1.841109 (x1047) xopt[1047] = 1.832171 (x1048) xopt[1048] = 1.849991 (x1049) xopt[1049] = 1.893960 (x1050) xopt[1050] = 1.950434 (x1051) xopt[1051] = 1.991382 (x1052) xopt[1052] = 1.991846 (x1053) xopt[1053] = 1.952504 (x1054) xopt[1054] = 1.897990 (x1055) xopt[1055] = 1.851329 (x1056) xopt[1056] = 1.813338 (x1057) xopt[1057] = 1.760753 (x1058) xopt[1058] = 1.654820 (x1059) xopt[1059] = 1.457934 (x1060) xopt[1060] = 1.161784 (x1061) xopt[1061] = 0.809223 (x1062) xopt[1062] = 0.478710 (x1063) xopt[1063] = 0.625741 (x1064) xopt[1064] = 0.918713 (x1065) xopt[1065] = 1.178638 (x1066) xopt[1066] = 1.363864 (x1067) xopt[1067] = 1.471221 (x1068) xopt[1068] = 1.524878 (x1069) xopt[1069] = 1.557035 (x1070) xopt[1070] = 1.594763 (x1071) xopt[1071] = 1.650265 (x1072) xopt[1072] = 1.715019 (x1073) xopt[1073] = 1.767861 (x1074) xopt[1074] = 1.794727 (x1075) xopt[1075] = 1.799442 (x1076) xopt[1076] = 1.795807 (x1077) xopt[1077] = 1.795348 (x1078) xopt[1078] = 1.803774 (x1079) xopt[1079] = 1.821391 (x1080) xopt[1080] = 1.840750 (x1081) xopt[1081] = 1.847641 (x1082) xopt[1082] = 1.832482 (x1083) xopt[1083] = 1.801313 (x1084) xopt[1084] = 1.769817 (x1085) xopt[1085] = 1.745555 (x1086) xopt[1086] = 1.717870 (x1087) xopt[1087] = 1.660591 (x1088) xopt[1088] = 1.540417 (x1089) xopt[1089] = 1.331495 (x1090) xopt[1090] = 1.037936 (x1091) xopt[1091] = 0.706963 (x1092) xopt[1092] = 0.409471 (x1093) xopt[1093] = 0.492739 (x1094) xopt[1094] = 0.748087 (x1095) xopt[1095] = 0.991440 (x1096) xopt[1096] = 1.179583 (x1097) xopt[1097] = 1.296350 (x1098) xopt[1098] = 1.350968 (x1099) xopt[1099] = 1.366791 (x1100) xopt[1100] = 1.372450 (x1101) xopt[1101] = 1.393686 (x1102) xopt[1102] = 1.442608 (x1103) xopt[1103] = 1.512178 (x1104) xopt[1104] = 1.583858 (x1105) xopt[1105] = 1.641303 (x1106) xopt[1106] = 1.677035 (x1107) xopt[1107] = 1.690281 (x1108) xopt[1108] = 1.682938 (x1109) xopt[1109] = 1.657881 (x1110) xopt[1110] = 1.619519 (x1111) xopt[1111] = 1.575843 (x1112) xopt[1112] = 1.539343 (x1113) xopt[1113] = 1.521960 (x1114) xopt[1114] = 1.525036 (x1115) xopt[1115] = 1.533959 (x1116) xopt[1116] = 1.522951 (x1117) xopt[1117] = 1.463699 (x1118) xopt[1118] = 1.332486 (x1119) xopt[1119] = 1.120094 (x1120) xopt[1120] = 0.845189 (x1121) xopt[1121] = 0.556701 (x1122) xopt[1122] = 0.312255 (x1123) xopt[1123] = 0.343657 (x1124) xopt[1124] = 0.543243 (x1125) xopt[1125] = 0.748195 (x1126) xopt[1126] = 0.919510 (x1127) xopt[1127] = 1.032507 (x1128) xopt[1128] = 1.082703 (x1129) xopt[1129] = 1.083399 (x1130) xopt[1130] = 1.062214 (x1131) xopt[1131] = 1.054730 (x1132) xopt[1132] = 1.089922 (x1133) xopt[1133] = 1.173599 (x1134) xopt[1134] = 1.285063 (x1135) xopt[1135] = 1.391272 (x1136) xopt[1136] = 1.464780 (x1137) xopt[1137] = 1.491464 (x1138) xopt[1138] = 1.468510 (x1139) xopt[1139] = 1.402049 (x1140) xopt[1140] = 1.309078 (x1141) xopt[1141] = 1.218161 (x1142) xopt[1142] = 1.160379 (x1143) xopt[1143] = 1.151772 (x1144) xopt[1144] = 1.181406 (x1145) xopt[1145] = 1.216822 (x1146) xopt[1146] = 1.220982 (x1147) xopt[1147] = 1.165959 (x1148) xopt[1148] = 1.038754 (x1149) xopt[1149] = 0.845300 (x1150) xopt[1150] = 0.613760 (x1151) xopt[1151] = 0.388269 (x1152) xopt[1152] = 0.209365 (x1153) xopt[1153] = 0.208199 (x1154) xopt[1154] = 0.343665 (x1155) xopt[1155] = 0.492813 (x1156) xopt[1156] = 0.626226 (x1157) xopt[1157] = 0.718754 (x1158) xopt[1158] = 0.758506 (x1159) xopt[1159] = 0.750696 (x1160) xopt[1160] = 0.718485 (x1161) xopt[1161] = 0.698324 (x1162) xopt[1162] = 0.724913 (x1163) xopt[1163] = 0.810860 (x1164) xopt[1164] = 0.937454 (x1165) xopt[1165] = 1.065935 (x1166) xopt[1166] = 1.158608 (x1167) xopt[1167] = 1.192380 (x1168) xopt[1168] = 1.160620 (x1169) xopt[1169] = 1.071948 (x1170) xopt[1170] = 0.951404 (x1171) xopt[1171] = 0.837880 (x1172) xopt[1172] = 0.769517 (x1173) xopt[1173] = 0.762279 (x1174) xopt[1174] = 0.799705 (x1175) xopt[1175] = 0.843662 (x1176) xopt[1176] = 0.855610 (x1177) xopt[1177] = 0.811725 (x1178) xopt[1178] = 0.707454 (x1179) xopt[1179] = 0.556776 (x1180) xopt[1180] = 0.388277 (x1181) xopt[1181] = 0.235226 (x1182) xopt[1182] = 0.121484 (x1183) xopt[1183] = 0.107526 (x1184) xopt[1184] = 0.185314 (x1185) xopt[1185] = 0.276414 (x1186) xopt[1186] = 0.362666 (x1187) xopt[1187] = 0.424972 (x1188) xopt[1188] = 0.451234 (x1189) xopt[1189] = 0.442180 (x1190) xopt[1190] = 0.414073 (x1191) xopt[1191] = 0.395666 (x1192) xopt[1192] = 0.416285 (x1193) xopt[1193] = 0.488778 (x1194) xopt[1194] = 0.599794 (x1195) xopt[1195] = 0.716321 (x1196) xopt[1196] = 0.802674 (x1197) xopt[1197] = 0.834432 (x1198) xopt[1198] = 0.803594 (x1199) xopt[1199] = 0.719171 (x1200) xopt[1200] = 0.606690 (x1201) xopt[1201] = 0.502736 (x1202) xopt[1202] = 0.440340 (x1203) xopt[1203] = 0.431543 (x1204) xopt[1204] = 0.461120 (x1205) xopt[1205] = 0.497181 (x1206) xopt[1206] = 0.509108 (x1207) xopt[1207] = 0.479974 (x1208) xopt[1208] = 0.409714 (x1209) xopt[1209] = 0.312292 (x1210) xopt[1210] = 0.209370 (x1211) xopt[1211] = 0.121484 (x1212) xopt[1212] = 0.060040 (x1213) xopt[1213] = 0.083608 (x1214) xopt[1214] = 0.129383 (x1215) xopt[1215] = 0.174815 (x1216) xopt[1216] = 0.208741 (x1217) xopt[1217] = 0.222906 (x1218) xopt[1218] = 0.216605 (x1219) xopt[1219] = 0.199170 (x1220) xopt[1220] = 0.188323 (x1221) xopt[1221] = 0.202895 (x1222) xopt[1222] = 0.252139 (x1223) xopt[1223] = 0.328660 (x1224) xopt[1224] = 0.410865 (x1225) xopt[1225] = 0.473126 (x1226) xopt[1226] = 0.496263 (x1227) xopt[1227] = 0.473478 (x1228) xopt[1228] = 0.411999 (x1229) xopt[1229] = 0.331521 (x1230) xopt[1230] = 0.258183 (x1231) xopt[1231] = 0.213749 (x1232) xopt[1232] = 0.205117 (x1233) xopt[1233] = 0.221850 (x1234) xopt[1234] = 0.243632 (x1235) xopt[1235] = 0.251535 (x1236) xopt[1236] = 0.235769 (x1237) xopt[1237] = 0.197495 (x1238) xopt[1238] = 0.146177 (x1239) xopt[1239] = 0.094462 (x1240) xopt[1240] = 0.052601 (x1241) xopt[1241] = 0.049753 (x1242) xopt[1242] = 0.069016 (x1243) xopt[1243] = 0.083799 (x1244) xopt[1244] = 0.089950 (x1245) xopt[1245] = 0.086813 (x1246) xopt[1246] = 0.078702 (x1247) xopt[1247] = 0.074204 (x1248) xopt[1248] = 0.082742 (x1249) xopt[1249] = 0.109418 (x1250) xopt[1250] = 0.151097 (x1251) xopt[1251] = 0.196727 (x1252) xopt[1252] = 0.231948 (x1253) xopt[1253] = 0.245172 (x1254) xopt[1254] = 0.232060 (x1255) xopt[1255] = 0.197101 (x1256) xopt[1256] = 0.152081 (x1257) xopt[1257] = 0.111582 (x1258) xopt[1258] = 0.086779 (x1259) xopt[1259] = 0.080662 (x1260) xopt[1260] = 0.087656 (x1261) xopt[1261] = 0.097666 (x1262) xopt[1262] = 0.101514 (x1263) xopt[1263] = 0.094652 (x1264) xopt[1264] = 0.077971 (x1265) xopt[1265] = 0.056211 (x1266) xopt[1266] = 0.035128 (x1267) xopt[1267] = 3.338363 (x1268) xopt[1300] = 0.047856 (x1301) xopt[1315] = 0.085494 (x1316) xopt[1324] = 0.027835 (x1325) xopt[1327] = 0.078964 (x1328) xopt[1345] = 0.056051 (x1346) xopt[1378] = 0.042162 (x1379) xopt[1561] = 1.000000 (x1562) xopt[1588] = 1.000000 (x1589) xopt[1615] = 1.000000 (x1616) zopt = 3.338363 zroot = 2.392430 zinit = 1.892072 MINTO: Branch and bound statistics Maximum number of unevaluated nodes = 73 Number of evaluated nodes = 19267 Depth of the tree = 122 Number of linear programs solved = 19498 Maximum number of rows in active LP = 1971 (1913) MINTO: Cut generation statistics Number of generated clique inequalities = 0 Number of generated implication inequalities = 0 Number of generated lifted knapsack covers = 105 Knapsack covers = 0 Knapsack covers with GUBs = 0 Surrogate knapsack covers = 105 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.01 appl_feasible: 0.00 appl_init: 0.00 appl_initlp: 0.00 appl_mps: 0.00 appl_node: 0.02 appl_preprocessing: 0.01 appl_primal: 0.00 appl_rank: 0.00 appl_terminatelp: 0.02 appl_terminatenode: 0.02 appl_variables: 0.00 MINTO: Timing statistics (in seconds) Reading MPS file: 0.00 Restart: 0.00 Preprocessing and probing: 7.42 Primal heuristic: 14.51 Bound improvement: 261.15 Clique cut generation: 0.01 Implication cut generation: 0.03 Knapsack cover generation: 0.00 GUB cover generation: 0.00 Surrogate knapsack cover generation: 30.23 Flow cover generation: 2.85 Cut pool search: 0.33 Cut Management: 0.01 Branching: 2.06 Time LP solving: 0.00 Total elapsed time: 331.86 Command exited with non-zero status 161 327.42user 4.44system 5:32.03elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+1643578minor)pagefaults 0swaps