>D:\glpk\gusek\glpsol.exe --cover --clique --gomory --mir -m "_lt_lotsizing.mod" GLPSOL: GLPK LP/MIP Solver, v4.65 Parameter(s) specified in the command line: --cover --clique --gomory --mir -m _lt_lotsizing.mod Reading model section from _lt_lotsizing.mod... Reading data section from _lt_lotsizing.mod... 60 lines were read Generating totalcost... Generating y_0... Generating balance... Generating u_cap1... Generating u_cap2... Generating u_cap3... Generating y_T... Model has been successfully generated GLPK Integer Optimizer, v4.65 103 rows, 176 columns, 452 non-zeros 75 integer variables, all of which are binary Preprocessing... 3 constraint coefficient(s) were reduced 100 rows, 174 columns, 273 non-zeros 75 integer variables, all of which are binary Scaling... A: min|aij| = 1.000e+00 max|aij| = 1.970e+03 ratio = 1.970e+03 GM: min|aij| = 1.000e+00 max|aij| = 1.000e+00 ratio = 1.000e+00 EQ: min|aij| = 1.000e+00 max|aij| = 1.000e+00 ratio = 1.000e+00 2N: min|aij| = 9.043e-01 max|aij| = 1.309e+00 ratio = 1.447e+00 Constructing initial basis... Size of triangular part is 100 Solving LP relaxation... GLPK Simplex Optimizer, v4.65 100 rows, 174 columns, 273 non-zeros 0: obj = 9.556380000e+03 inf = 1.232e+04 (25) 73: obj = 7.469027707e+04 inf = 0.000e+00 (0) * 108: obj = 6.364128856e+04 inf = 0.000e+00 (0) OPTIMAL LP SOLUTION FOUND Integer optimization begins... Long-step dual simplex will be used Gomory's cuts enabled MIR cuts enabled Cover cuts enabled Number of 0-1 knapsack inequalities = 1 Clique cuts enabled Constructing conflict graph... No conflicts found + 108: mip = not found yet >= -inf (1; 0) Cuts on level 0: gmi = 2; mir = 20; Cuts on level 68: gmi = 2; mir = 22; + 419: >>>>> 6.642965000e+04 >= 6.412277653e+04 3.5% (132; 1) Cuts on level 56: gmi = 4; mir = 20; + 521: >>>>> 6.640550000e+04 >= 6.412640462e+04 3.4% (179; 4) Cuts on level 36: gmi = 2; mir = 22; + 604: >>>>> 6.574786000e+04 >= 6.413073259e+04 2.5% (212; 5) Cuts on level 36: gmi = 3; mir = 30; + 2244: >>>>> 6.534796000e+04 >= 6.416463195e+04 1.8% (886; 52) Cuts on level 38: gmi = 3; mir = 28; + 3880: >>>>> 6.522246000e+04 >= 6.420730226e+04 1.6% (1394; 194) Cuts on level 38: gmi = 6; mir = 26; + 5159: >>>>> 6.516500000e+04 >= 6.421763654e+04 1.5% (1714; 387) Cuts on level 25: gmi = 4; mir = 20; + 10409: >>>>> 6.511260000e+04 >= 6.426878261e+04 1.3% (3300; 564) Cuts on level 35: gmi = 4; mir = 22; + 11646: >>>>> 6.488420000e+04 >= 6.427691597e+04 0.9% (3531; 781) + 27056: mip = 6.488420000e+04 >= 6.434520014e+04 0.8% (6532; 2505) + 40137: mip = 6.488420000e+04 >= 6.437672115e+04 0.8% (9638; 2927) Cuts on level 30: gmi = 11; mir = 22; + 42704: >>>>> 6.482378000e+04 >= 6.438226644e+04 0.7% (10252; 3019) + 53445: mip = 6.482378000e+04 >= 6.439984465e+04 0.7% (11811; 4915) + 64162: mip = 6.482378000e+04 >= 6.441301617e+04 0.6% (14212; 5314) + 74355: mip = 6.482378000e+04 >= 6.442426387e+04 0.6% (16315; 5721) + 84136: mip = 6.482378000e+04 >= 6.443362438e+04 0.6% (18362; 6098) + 93005: mip = 6.482378000e+04 >= 6.444192550e+04 0.6% (20185; 6477) +101456: mip = 6.482378000e+04 >= 6.444939302e+04 0.6% (22064; 6839) +109379: mip = 6.482378000e+04 >= 6.445588748e+04 0.6% (23463; 7205) +116909: mip = 6.482378000e+04 >= 6.446172119e+04 0.6% (24931; 7546) +124399: mip = 6.482378000e+04 >= 6.446644545e+04 0.6% (26486; 7874) Time used: 60.0 secs. Memory used: 20.7 Mb. Cuts on level 29: gmi = 9; mir = 27; +130585: >>>>> 6.482232000e+04 >= 6.447065547e+04 0.5% (27565; 8164) +137510: mip = 6.482232000e+04 >= 6.447499531e+04 0.5% (28850; 8608) +144116: mip = 6.482232000e+04 >= 6.447873072e+04 0.5% (30016; 8917) +150328: mip = 6.482232000e+04 >= 6.448210970e+04 0.5% (31219; 9219) +156749: mip = 6.482232000e+04 >= 6.448550292e+04 0.5% (32427; 9514) +162875: mip = 6.482232000e+04 >= 6.448875299e+04 0.5% (33418; 9818) +168581: mip = 6.482232000e+04 >= 6.449195299e+04 0.5% (34430; 10118) +174622: mip = 6.482232000e+04 >= 6.449464168e+04 0.5% (35561; 10400) +180251: mip = 6.482232000e+04 >= 6.449740453e+04 0.5% (36517; 10688) +185983: mip = 6.482232000e+04 >= 6.449948299e+04 0.5% (37597; 10961) +191383: mip = 6.482232000e+04 >= 6.450194898e+04 0.5% (38466; 11238) +196868: mip = 6.482232000e+04 >= 6.450411016e+04 0.5% (39441; 11503) Time used: 120.0 secs. Memory used: 31.6 Mb. +201869: mip = 6.482232000e+04 >= 6.450657438e+04 0.5% (40255; 11774) +206901: mip = 6.482232000e+04 >= 6.450853786e+04 0.5% (41013; 12037) +211825: mip = 6.482232000e+04 >= 6.451045489e+04 0.5% (41918; 12285) Cuts on level 42: gmi = 7; mir = 32; +212712: >>>>> 6.481980000e+04 >= 6.451080330e+04 0.5% (42119; 12323) +217582: mip = 6.481980000e+04 >= 6.451265873e+04 0.5% (42684; 12941) +222364: mip = 6.481980000e+04 >= 6.451439766e+04 0.5% (43478; 13193) +227089: mip = 6.481980000e+04 >= 6.451609141e+04 0.5% (44241; 13442) +231741: mip = 6.481980000e+04 >= 6.451775160e+04 0.5% (44998; 13696) +236427: mip = 6.481980000e+04 >= 6.451939328e+04 0.5% (45705; 13937) +241092: mip = 6.481980000e+04 >= 6.452121172e+04 0.5% (46447; 14179) +245588: mip = 6.481980000e+04 >= 6.452290836e+04 0.5% (47075; 14421) +249963: mip = 6.481980000e+04 >= 6.452432335e+04 0.5% (47870; 14659) +254285: mip = 6.481980000e+04 >= 6.452587100e+04 0.5% (48676; 14891) Time used: 180.0 secs. Memory used: 39.1 Mb. +258561: mip = 6.481980000e+04 >= 6.452721493e+04 0.5% (49291; 15128) +262615: mip = 6.481980000e+04 >= 6.452856811e+04 0.4% (49905; 15354) +266741: mip = 6.481980000e+04 >= 6.453004203e+04 0.4% (50487; 15583) +270891: mip = 6.481980000e+04 >= 6.453133277e+04 0.4% (51155; 15805) +274907: mip = 6.481980000e+04 >= 6.453269043e+04 0.4% (51732; 16038) +279120: mip = 6.481980000e+04 >= 6.453387183e+04 0.4% (52376; 16259) +282865: mip = 6.481980000e+04 >= 6.453527686e+04 0.4% (52956; 16483) +286787: mip = 6.481980000e+04 >= 6.453648523e+04 0.4% (53607; 16701) +290745: mip = 6.481980000e+04 >= 6.453757500e+04 0.4% (54144; 16923) +294248: mip = 6.481980000e+04 >= 6.453866882e+04 0.4% (54645; 17144) +298056: mip = 6.481980000e+04 >= 6.453996953e+04 0.4% (55220; 17356) Time used: 240.0 secs. Memory used: 45.4 Mb. +302045: mip = 6.481980000e+04 >= 6.454110391e+04 0.4% (55830; 17565) +305744: mip = 6.481980000e+04 >= 6.454226294e+04 0.4% (56359; 17776) +309161: mip = 6.481980000e+04 >= 6.454320085e+04 0.4% (56849; 17981) +313121: mip = 6.481980000e+04 >= 6.454434556e+04 0.4% (57408; 18184) +316644: mip = 6.481980000e+04 >= 6.454535940e+04 0.4% (57913; 18392) +320093: mip = 6.481980000e+04 >= 6.454646737e+04 0.4% (58395; 18600) +323653: mip = 6.481980000e+04 >= 6.454753397e+04 0.4% (58931; 18808) +327394: mip = 6.481980000e+04 >= 6.454856777e+04 0.4% (59450; 19010) +330763: mip = 6.481980000e+04 >= 6.454956264e+04 0.4% (59899; 19215) +334499: mip = 6.481980000e+04 >= 6.455040903e+04 0.4% (60479; 19408) +337466: mip = 6.481980000e+04 >= 6.455129328e+04 0.4% (60924; 19594) +338889: mip = 6.481980000e+04 >= 6.455168261e+04 0.4% (61107; 19676) Time used: 300.0 secs. Memory used: 50.2 Mb. +340828: mip = 6.481980000e+04 >= 6.455218108e+04 0.4% (61380; 19787) +344110: mip = 6.481980000e+04 >= 6.455308234e+04 0.4% (61832; 19975) +346983: mip = 6.481980000e+04 >= 6.455374898e+04 0.4% (62230; 20150) +350189: mip = 6.481980000e+04 >= 6.455447944e+04 0.4% (62689; 20335) +352791: mip = 6.481980000e+04 >= 6.455506955e+04 0.4% (63113; 20477) +355454: mip = 6.481980000e+04 >= 6.455579957e+04 0.4% (63442; 20652) +358360: mip = 6.481980000e+04 >= 6.455663203e+04 0.4% (63864; 20829) +361459: mip = 6.481980000e+04 >= 6.455739898e+04 0.4% (64313; 21008) +364636: mip = 6.481980000e+04 >= 6.455815511e+04 0.4% (64825; 21194) +367197: mip = 6.481980000e+04 >= 6.455879023e+04 0.4% (65143; 21346) +369463: mip = 6.481980000e+04 >= 6.455932610e+04 0.4% (65431; 21475) +372313: mip = 6.481980000e+04 >= 6.456001119e+04 0.4% (65831; 21645) Time used: 360.0 secs. Memory used: 54.6 Mb. +375120: mip = 6.481980000e+04 >= 6.456072734e+04 0.4% (66242; 21827) +378285: mip = 6.481980000e+04 >= 6.456147411e+04 0.4% (66695; 22002) +381075: mip = 6.481980000e+04 >= 6.456219552e+04 0.4% (67101; 22174) +384033: mip = 6.481980000e+04 >= 6.456288299e+04 0.4% (67511; 22354) +386819: mip = 6.481980000e+04 >= 6.456359141e+04 0.4% (67832; 22531) +389537: mip = 6.481980000e+04 >= 6.456423636e+04 0.4% (68201; 22694) +391871: mip = 6.481980000e+04 >= 6.456486062e+04 0.4% (68540; 22839) +393891: mip = 6.481980000e+04 >= 6.456543968e+04 0.4% (68727; 22971) +396388: mip = 6.481980000e+04 >= 6.456600950e+04 0.4% (69096; 23122) +399012: mip = 6.481980000e+04 >= 6.456663288e+04 0.4% (69455; 23286) +401823: mip = 6.481980000e+04 >= 6.456726792e+04 0.4% (69804; 23464) +404803: mip = 6.481980000e+04 >= 6.456795299e+04 0.4% (70204; 23639) Time used: 420.1 secs. Memory used: 58.5 Mb. +406798: mip = 6.481980000e+04 >= 6.456845560e+04 0.4% (70463; 23768) +409195: mip = 6.481980000e+04 >= 6.456899203e+04 0.4% (70798; 23917) +411421: mip = 6.481980000e+04 >= 6.456946478e+04 0.4% (71049; 24050) +413757: mip = 6.481980000e+04 >= 6.457002205e+04 0.4% (71443; 24196) +416819: mip = 6.481980000e+04 >= 6.457059884e+04 0.4% (71938; 24369) +419147: mip = 6.481980000e+04 >= 6.457110822e+04 0.4% (72226; 24517) +421762: mip = 6.481980000e+04 >= 6.457175074e+04 0.4% (72563; 24664) +424016: mip = 6.481980000e+04 >= 6.457224566e+04 0.4% (72844; 24803) +426139: mip = 6.481980000e+04 >= 6.457263376e+04 0.4% (73099; 24924) +428083: mip = 6.481980000e+04 >= 6.457297843e+04 0.4% (73378; 25040) +429666: mip = 6.481980000e+04 >= 6.457343209e+04 0.4% (73603; 25151) +431630: mip = 6.481980000e+04 >= 6.457378359e+04 0.4% (73875; 25262) Time used: 480.1 secs. Memory used: 63.1 Mb. +433932: mip = 6.481980000e+04 >= 6.457431132e+04 0.4% (74153; 25403) +436717: mip = 6.481980000e+04 >= 6.457493186e+04 0.4% (74436; 25574) +439325: mip = 6.481980000e+04 >= 6.457551408e+04 0.4% (74797; 25743) +441903: mip = 6.481980000e+04 >= 6.457609208e+04 0.4% (75152; 25894) +444523: mip = 6.481980000e+04 >= 6.457666053e+04 0.4% (75479; 26064) +447013: mip = 6.481980000e+04 >= 6.457720700e+04 0.4% (75748; 26236) +449625: mip = 6.481980000e+04 >= 6.457777413e+04 0.4% (76082; 26407) Cuts on level 33: gmi = 13; mir = 24; +451122: >>>>> 6.477570000e+04 >= 6.457813904e+04 0.3% (76226; 26505) +453582: mip = 6.477570000e+04 >= 6.457880200e+04 0.3% (64450; 45941) +456284: mip = 6.477570000e+04 >= 6.457945746e+04 0.3% (64683; 46139) +459034: mip = 6.477570000e+04 >= 6.457998786e+04 0.3% (64986; 46329) +461468: mip = 6.477570000e+04 >= 6.458060597e+04 0.3% (65153; 46523) +464138: mip = 6.477570000e+04 >= 6.458122783e+04 0.3% (65415; 46713) Time used: 540.1 secs. Memory used: 65.2 Mb. +466438: mip = 6.477570000e+04 >= 6.458182206e+04 0.3% (65597; 46907) +468936: mip = 6.477570000e+04 >= 6.458237734e+04 0.3% (65777; 47097) +471552: mip = 6.477570000e+04 >= 6.458295328e+04 0.3% (65960; 47284) +473887: mip = 6.477570000e+04 >= 6.458358441e+04 0.3% (66078; 47476) +476433: mip = 6.477570000e+04 >= 6.458419627e+04 0.3% (66292; 47661) +479029: mip = 6.477570000e+04 >= 6.458476475e+04 0.3% (66521; 47839) +481375: mip = 6.477570000e+04 >= 6.458532029e+04 0.3% (66722; 48025) +483939: mip = 6.477570000e+04 >= 6.458586607e+04 0.3% (66943; 48215) +486406: mip = 6.477570000e+04 >= 6.458646153e+04 0.3% (67123; 48399) +489017: mip = 6.477570000e+04 >= 6.458695634e+04 0.3% (67378; 48578) +491500: mip = 6.477570000e+04 >= 6.458749914e+04 0.3% (67606; 48758) Time used: 600.1 secs. Memory used: 65.6 Mb. +494021: mip = 6.477570000e+04 >= 6.458806016e+04 0.3% (67837; 48938) +496390: mip = 6.477570000e+04 >= 6.458862771e+04 0.3% (67990; 49115) +498742: mip = 6.477570000e+04 >= 6.458915299e+04 0.3% (68235; 49292) +501105: mip = 6.477570000e+04 >= 6.458965547e+04 0.3% (68421; 49467) +503459: mip = 6.477570000e+04 >= 6.459012614e+04 0.3% (68579; 49641) +505769: mip = 6.477570000e+04 >= 6.459068902e+04 0.3% (68756; 49814) +508185: mip = 6.477570000e+04 >= 6.459112518e+04 0.3% (68958; 49983) +510435: mip = 6.477570000e+04 >= 6.459159627e+04 0.3% (69100; 50157) +512603: mip = 6.477570000e+04 >= 6.459211091e+04 0.3% (69297; 50329) +514793: mip = 6.477570000e+04 >= 6.459253902e+04 0.3% (69488; 50500) +517050: mip = 6.477570000e+04 >= 6.459304333e+04 0.3% (69685; 50669) +519161: mip = 6.477570000e+04 >= 6.459361905e+04 0.3% (69848; 50837) Time used: 660.1 secs. Memory used: 66.6 Mb. +521172: mip = 6.477570000e+04 >= 6.459416384e+04 0.3% (69979; 51012) +523475: mip = 6.477570000e+04 >= 6.459462403e+04 0.3% (70145; 51181) +525602: mip = 6.477570000e+04 >= 6.459499478e+04 0.3% (70300; 51344) +527885: mip = 6.477570000e+04 >= 6.459549848e+04 0.3% (70461; 51507) +529986: mip = 6.477570000e+04 >= 6.459590000e+04 0.3% (70585; 51681) +532119: mip = 6.477570000e+04 >= 6.459636364e+04 0.3% (70745; 51848) +534257: mip = 6.477570000e+04 >= 6.459675373e+04 0.3% (70909; 52016) +536377: mip = 6.477570000e+04 >= 6.459713612e+04 0.3% (71063; 52183) +538425: mip = 6.477570000e+04 >= 6.459762090e+04 0.3% (71190; 52346) +540476: mip = 6.477570000e+04 >= 6.459802955e+04 0.3% (71389; 52519) +542517: mip = 6.477570000e+04 >= 6.459844978e+04 0.3% (71530; 52691) +544573: mip = 6.477570000e+04 >= 6.459893816e+04 0.3% (71653; 52855) Time used: 720.1 secs. Memory used: 68.8 Mb. +546636: mip = 6.477570000e+04 >= 6.459937741e+04 0.3% (71781; 53013) +548781: mip = 6.477570000e+04 >= 6.459982539e+04 0.3% (71988; 53181) +550786: mip = 6.477570000e+04 >= 6.460018630e+04 0.3% (72124; 53339) +552815: mip = 6.477570000e+04 >= 6.460061618e+04 0.3% (72250; 53502) +554871: mip = 6.477570000e+04 >= 6.460098263e+04 0.3% (72394; 53661) +557054: mip = 6.477570000e+04 >= 6.460139141e+04 0.3% (72559; 53824) +559142: mip = 6.477570000e+04 >= 6.460181346e+04 0.3% (72705; 53984) +561175: mip = 6.477570000e+04 >= 6.460219424e+04 0.3% (72844; 54148) +563294: mip = 6.477570000e+04 >= 6.460262513e+04 0.3% (72994; 54319) +565120: mip = 6.477570000e+04 >= 6.460311940e+04 0.3% (73055; 54488) +567385: mip = 6.477570000e+04 >= 6.460351463e+04 0.3% (73247; 54648) +569306: mip = 6.477570000e+04 >= 6.460390584e+04 0.3% (73379; 54814) Time used: 780.1 secs. Memory used: 71.3 Mb. +571560: mip = 6.477570000e+04 >= 6.460430787e+04 0.3% (73545; 54970) +573627: mip = 6.477570000e+04 >= 6.460468731e+04 0.3% (73690; 55135) +575498: mip = 6.477570000e+04 >= 6.460506567e+04 0.3% (73819; 55293) +577532: mip = 6.477570000e+04 >= 6.460544030e+04 0.3% (73983; 55454) +579352: mip = 6.477570000e+04 >= 6.460578187e+04 0.3% (74057; 55616) +581265: mip = 6.477570000e+04 >= 6.460617894e+04 0.3% (74191; 55775) +583276: mip = 6.477570000e+04 >= 6.460655962e+04 0.3% (74325; 55924) +585187: mip = 6.477570000e+04 >= 6.460688099e+04 0.3% (74425; 56082) +586949: mip = 6.477570000e+04 >= 6.460723047e+04 0.3% (74496; 56239) +588720: mip = 6.477570000e+04 >= 6.460761434e+04 0.3% (74590; 56401) +590724: mip = 6.477570000e+04 >= 6.460799061e+04 0.3% (74759; 56555) +592667: mip = 6.477570000e+04 >= 6.460834411e+04 0.3% (74895; 56714) Time used: 840.1 secs. Memory used: 73.6 Mb. +594648: mip = 6.477570000e+04 >= 6.460870765e+04 0.3% (75046; 56865) +596565: mip = 6.477570000e+04 >= 6.460910399e+04 0.3% (75115; 57031) +598357: mip = 6.477570000e+04 >= 6.460941844e+04 0.3% (75193; 57184) +600161: mip = 6.477570000e+04 >= 6.460974337e+04 0.3% (75300; 57341) +602002: mip = 6.477570000e+04 >= 6.461008807e+04 0.3% (75407; 57501) +603845: mip = 6.477570000e+04 >= 6.461041545e+04 0.3% (75498; 57672) +605746: mip = 6.477570000e+04 >= 6.461074016e+04 0.3% (75622; 57826) +607532: mip = 6.477570000e+04 >= 6.461113024e+04 0.3% (75715; 57992) +609489: mip = 6.477570000e+04 >= 6.461148435e+04 0.3% (75853; 58144) +611412: mip = 6.477570000e+04 >= 6.461183376e+04 0.3% (75979; 58302) +613140: mip = 6.477570000e+04 >= 6.461219473e+04 0.3% (76062; 58457) +615055: mip = 6.477570000e+04 >= 6.461260550e+04 0.3% (76163; 58617) Time used: 900.1 secs. Memory used: 75.6 Mb. +616764: mip = 6.477570000e+04 >= 6.461286616e+04 0.3% (76221; 58773) +618646: mip = 6.477570000e+04 >= 6.461323849e+04 0.3% (76320; 58930) +620338: mip = 6.477570000e+04 >= 6.461356387e+04 0.3% (76409; 59079) +622173: mip = 6.477570000e+04 >= 6.461393477e+04 0.2% (76552; 59242) +623880: mip = 6.477570000e+04 >= 6.461428060e+04 0.2% (76628; 59395) +625630: mip = 6.477570000e+04 >= 6.461465078e+04 0.2% (76715; 59557) +627588: mip = 6.477570000e+04 >= 6.461496002e+04 0.2% (76824; 59713) +629441: mip = 6.477570000e+04 >= 6.461534640e+04 0.2% (76940; 59874) +631374: mip = 6.477570000e+04 >= 6.461569627e+04 0.2% (77028; 60027) +633052: mip = 6.477570000e+04 >= 6.461599296e+04 0.2% (77068; 60183) +634563: mip = 6.477570000e+04 >= 6.461634607e+04 0.2% (77103; 60361) +636410: mip = 6.477570000e+04 >= 6.461664922e+04 0.2% (77218; 60518) Time used: 960.1 secs. Memory used: 77.5 Mb. +638186: mip = 6.477570000e+04 >= 6.461699796e+04 0.2% (77305; 60679) +639739: mip = 6.477570000e+04 >= 6.461734026e+04 0.2% (77391; 60832) +641508: mip = 6.477570000e+04 >= 6.461764627e+04 0.2% (77503; 60986) +643276: mip = 6.477570000e+04 >= 6.461798299e+04 0.2% (77541; 61144) +644951: mip = 6.477570000e+04 >= 6.461830786e+04 0.2% (77594; 61294) +646638: mip = 6.477570000e+04 >= 6.461863719e+04 0.2% (77671; 61451) +648385: mip = 6.477570000e+04 >= 6.461895625e+04 0.2% (77781; 61606) +650029: mip = 6.477570000e+04 >= 6.461927891e+04 0.2% (77875; 61762) +651894: mip = 6.477570000e+04 >= 6.461961641e+04 0.2% (78011; 61918) +653651: mip = 6.477570000e+04 >= 6.461990662e+04 0.2% (78134; 62069) +655421: mip = 6.477570000e+04 >= 6.462021263e+04 0.2% (78273; 62229) +656963: mip = 6.477570000e+04 >= 6.462050723e+04 0.2% (78297; 62382) Time used: 1020.1 secs. Memory used: 79.4 Mb. +658554: mip = 6.477570000e+04 >= 6.462075127e+04 0.2% (78382; 62515) +660365: mip = 6.477570000e+04 >= 6.462107563e+04 0.2% (78471; 62668) +662088: mip = 6.477570000e+04 >= 6.462137891e+04 0.2% (78545; 62816) +663777: mip = 6.477570000e+04 >= 6.462171263e+04 0.2% (78661; 62968) +665506: mip = 6.477570000e+04 >= 6.462200962e+04 0.2% (78758; 63118) +667294: mip = 6.477570000e+04 >= 6.462233731e+04 0.2% (78891; 63264) +668912: mip = 6.477570000e+04 >= 6.462265692e+04 0.2% (78982; 63417) +670515: mip = 6.477570000e+04 >= 6.462300522e+04 0.2% (79032; 63574) +672345: mip = 6.477570000e+04 >= 6.462330318e+04 0.2% (79138; 63722) +673865: mip = 6.477570000e+04 >= 6.462363720e+04 0.2% (79167; 63869) +675660: mip = 6.477570000e+04 >= 6.462390917e+04 0.2% (79296; 64012) +677432: mip = 6.477570000e+04 >= 6.462425590e+04 0.2% (79363; 64160) Time used: 1080.2 secs. Memory used: 81.2 Mb. +679132: mip = 6.477570000e+04 >= 6.462453263e+04 0.2% (79438; 64313) +680775: mip = 6.477570000e+04 >= 6.462487654e+04 0.2% (79503; 64471) +682388: mip = 6.477570000e+04 >= 6.462517358e+04 0.2% (79540; 64625) +683918: mip = 6.477570000e+04 >= 6.462549799e+04 0.2% (79591; 64782) +685540: mip = 6.477570000e+04 >= 6.462578552e+04 0.2% (79688; 64933) +687092: mip = 6.477570000e+04 >= 6.462609914e+04 0.2% (79744; 65084) +688618: mip = 6.477570000e+04 >= 6.462637286e+04 0.2% (79810; 65240) +690165: mip = 6.477570000e+04 >= 6.462667183e+04 0.2% (79876; 65392) +691789: mip = 6.477570000e+04 >= 6.462693160e+04 0.2% (79955; 65546) +693460: mip = 6.477570000e+04 >= 6.462721940e+04 0.2% (80052; 65704) +695076: mip = 6.477570000e+04 >= 6.462747812e+04 0.2% (80119; 65863) +696660: mip = 6.477570000e+04 >= 6.462779677e+04 0.2% (80196; 66015) Time used: 1140.2 secs. Memory used: 82.9 Mb. +698254: mip = 6.477570000e+04 >= 6.462813703e+04 0.2% (80266; 66165) +699797: mip = 6.477570000e+04 >= 6.462844723e+04 0.2% (80333; 66318) +701269: mip = 6.477570000e+04 >= 6.462871899e+04 0.2% (80423; 66462) +702818: mip = 6.477570000e+04 >= 6.462898130e+04 0.2% (80463; 66616) +704390: mip = 6.477570000e+04 >= 6.462923592e+04 0.2% (80539; 66764) +706001: mip = 6.477570000e+04 >= 6.462949209e+04 0.2% (80619; 66913) +707352: mip = 6.477570000e+04 >= 6.462973810e+04 0.2% (80666; 67052) +708937: mip = 6.477570000e+04 >= 6.463003360e+04 0.2% (80721; 67203) +710362: mip = 6.477570000e+04 >= 6.463034073e+04 0.2% (80767; 67355) +711861: mip = 6.477570000e+04 >= 6.463065484e+04 0.2% (80805; 67499) +713369: mip = 6.477570000e+04 >= 6.463091119e+04 0.2% (80885; 67653) +715134: mip = 6.477570000e+04 >= 6.463118455e+04 0.2% (80977; 67796) Time used: 1200.2 secs. Memory used: 84.5 Mb. +716620: mip = 6.477570000e+04 >= 6.463147075e+04 0.2% (81023; 67946) +718214: mip = 6.477570000e+04 >= 6.463176529e+04 0.2% (81113; 68090) +719638: mip = 6.477570000e+04 >= 6.463201328e+04 0.2% (81140; 68249) +721301: mip = 6.477570000e+04 >= 6.463228484e+04 0.2% (81204; 68393) +722857: mip = 6.477570000e+04 >= 6.463254695e+04 0.2% (81269; 68542) +724254: mip = 6.477570000e+04 >= 6.463281091e+04 0.2% (81306; 68689) +725998: mip = 6.477570000e+04 >= 6.463310474e+04 0.2% (81364; 68837) +727539: mip = 6.477570000e+04 >= 6.463339128e+04 0.2% (81412; 68983) +729045: mip = 6.477570000e+04 >= 6.463367662e+04 0.2% (81439; 69136) +730565: mip = 6.477570000e+04 >= 6.463400299e+04 0.2% (81496; 69291) +732189: mip = 6.477570000e+04 >= 6.463425283e+04 0.2% (81602; 69437) +733831: mip = 6.477570000e+04 >= 6.463447601e+04 0.2% (81660; 69578) Time used: 1260.2 secs. Memory used: 86.0 Mb. +735474: mip = 6.477570000e+04 >= 6.463471145e+04 0.2% (81753; 69725) +736964: mip = 6.477570000e+04 >= 6.463494513e+04 0.2% (81816; 69870) +738465: mip = 6.477570000e+04 >= 6.463517360e+04 0.2% (81865; 70018) +739992: mip = 6.477570000e+04 >= 6.463544609e+04 0.2% (81920; 70164) +741482: mip = 6.477570000e+04 >= 6.463572307e+04 0.2% (81993; 70313) +742759: mip = 6.477570000e+04 >= 6.463598069e+04 0.2% (81984; 70457) +744310: mip = 6.477570000e+04 >= 6.463620900e+04 0.2% (82040; 70605) +745739: mip = 6.477570000e+04 >= 6.463648916e+04 0.2% (82050; 70753) +747123: mip = 6.477570000e+04 >= 6.463676433e+04 0.2% (82069; 70902) +748568: mip = 6.477570000e+04 >= 6.463697638e+04 0.2% (82079; 71054) +749970: mip = 6.477570000e+04 >= 6.463721091e+04 0.2% (82103; 71198) +751402: mip = 6.477570000e+04 >= 6.463746641e+04 0.2% (82144; 71345) Time used: 1320.2 secs. Memory used: 87.5 Mb. +752792: mip = 6.477570000e+04 >= 6.463773055e+04 0.2% (82207; 71493) +754303: mip = 6.477570000e+04 >= 6.463796939e+04 0.2% (82255; 71646) +755745: mip = 6.477570000e+04 >= 6.463823765e+04 0.2% (82306; 71789) +757291: mip = 6.477570000e+04 >= 6.463850191e+04 0.2% (82349; 71936) +758667: mip = 6.477570000e+04 >= 6.463874703e+04 0.2% (82358; 72079) +760083: mip = 6.477570000e+04 >= 6.463899949e+04 0.2% (82381; 72233) +761434: mip = 6.477570000e+04 >= 6.463927075e+04 0.2% (82402; 72386) +762912: mip = 6.477570000e+04 >= 6.463950004e+04 0.2% (82424; 72542) +764329: mip = 6.477570000e+04 >= 6.463971992e+04 0.2% (82464; 72694) +765833: mip = 6.477570000e+04 >= 6.463993394e+04 0.2% (82543; 72840) +767328: mip = 6.477570000e+04 >= 6.464015334e+04 0.2% (82586; 72987) Time used: 1380.2 secs. Memory used: 88.9 Mb. +768672: mip = 6.477570000e+04 >= 6.464039982e+04 0.2% (82598; 73132) +770007: mip = 6.477570000e+04 >= 6.464063263e+04 0.2% (82618; 73280) +771423: mip = 6.477570000e+04 >= 6.464085643e+04 0.2% (82667; 73422) +773063: mip = 6.477570000e+04 >= 6.464109080e+04 0.2% (82748; 73562) +774227: mip = 6.477570000e+04 >= 6.464129569e+04 0.2% (82758; 73698) +775759: mip = 6.477570000e+04 >= 6.464155253e+04 0.2% (82780; 73843) +777140: mip = 6.477570000e+04 >= 6.464178828e+04 0.2% (82805; 73984) +778502: mip = 6.477570000e+04 >= 6.464200855e+04 0.2% (82860; 74129) +779780: mip = 6.477570000e+04 >= 6.464225208e+04 0.2% (82881; 74280) +781143: mip = 6.477570000e+04 >= 6.464247378e+04 0.2% (82896; 74429) +782506: mip = 6.477570000e+04 >= 6.464270149e+04 0.2% (82920; 74572) +783879: mip = 6.477570000e+04 >= 6.464297173e+04 0.2% (82918; 74718) Time used: 1440.2 secs. Memory used: 90.2 Mb. +785285: mip = 6.477570000e+04 >= 6.464319967e+04 0.2% (82953; 74863) +786624: mip = 6.477570000e+04 >= 6.464350970e+04 0.2% (82973; 75015) +787859: mip = 6.477570000e+04 >= 6.464371418e+04 0.2% (82977; 75155) +789076: mip = 6.477570000e+04 >= 6.464394881e+04 0.2% (83004; 75288) +790116: mip = 6.477570000e+04 >= 6.464411501e+04 0.2% (83047; 75394) +791419: mip = 6.477570000e+04 >= 6.464435354e+04 0.2% (83061; 75533) +792799: mip = 6.477570000e+04 >= 6.464459345e+04 0.2% (83080; 75679) +794244: mip = 6.477570000e+04 >= 6.464486763e+04 0.2% (83136; 75823) +795604: mip = 6.477570000e+04 >= 6.464509569e+04 0.2% (83158; 75969) +796920: mip = 6.477570000e+04 >= 6.464531888e+04 0.2% (83145; 76118) +798298: mip = 6.477570000e+04 >= 6.464554627e+04 0.2% (83190; 76258) +799584: mip = 6.477570000e+04 >= 6.464581751e+04 0.2% (83206; 76405) Time used: 1500.2 secs. Memory used: 91.3 Mb. +800900: mip = 6.477570000e+04 >= 6.464605066e+04 0.2% (83227; 76543) +802196: mip = 6.477570000e+04 >= 6.464628060e+04 0.2% (83264; 76691) +803423: mip = 6.477570000e+04 >= 6.464648610e+04 0.2% (83299; 76813) +804779: mip = 6.477570000e+04 >= 6.464669355e+04 0.2% (83343; 76946) +805969: mip = 6.477570000e+04 >= 6.464692203e+04 0.2% (83334; 77084) +807310: mip = 6.477570000e+04 >= 6.464713358e+04 0.2% (83366; 77217) +808558: mip = 6.477570000e+04 >= 6.464733398e+04 0.2% (83411; 77351) +809882: mip = 6.477570000e+04 >= 6.464753013e+04 0.2% (83468; 77496) +811287: mip = 6.477570000e+04 >= 6.464778959e+04 0.2% (83493; 77643) +812750: mip = 6.477570000e+04 >= 6.464801427e+04 0.2% (83518; 77782) +813999: mip = 6.477570000e+04 >= 6.464821194e+04 0.2% (83537; 77934) +815183: mip = 6.477570000e+04 >= 6.464841493e+04 0.2% (83559; 78081) Time used: 1560.2 secs. Memory used: 92.5 Mb. +816531: mip = 6.477570000e+04 >= 6.464864410e+04 0.2% (83572; 78229) +817754: mip = 6.477570000e+04 >= 6.464885253e+04 0.2% (83563; 78379) +818808: mip = 6.477570000e+04 >= 6.464906260e+04 0.2% (83574; 78522) +820267: mip = 6.477570000e+04 >= 6.464930448e+04 0.2% (83603; 78674) +821641: mip = 6.477570000e+04 >= 6.464951445e+04 0.2% (83626; 78816) +822912: mip = 6.477570000e+04 >= 6.464972891e+04 0.2% (83650; 78965) +824253: mip = 6.477570000e+04 >= 6.465001751e+04 0.2% (83681; 79107) +825614: mip = 6.477570000e+04 >= 6.465019071e+04 0.2% (83708; 79252) +826814: mip = 6.477570000e+04 >= 6.465040896e+04 0.2% (83734; 79389) +828319: mip = 6.477570000e+04 >= 6.465060958e+04 0.2% (83779; 79529) +829738: mip = 6.477570000e+04 >= 6.465082574e+04 0.2% (83802; 79676) +831137: mip = 6.477570000e+04 >= 6.465103376e+04 0.2% (83858; 79822) Time used: 1620.3 secs. Memory used: 93.7 Mb. +832466: mip = 6.477570000e+04 >= 6.465125149e+04 0.2% (83879; 79964) +833880: mip = 6.477570000e+04 >= 6.465146475e+04 0.2% (83940; 80121) +835211: mip = 6.477570000e+04 >= 6.465170054e+04 0.2% (83957; 80262) +836500: mip = 6.477570000e+04 >= 6.465190336e+04 0.2% (83974; 80412) +837903: mip = 6.477570000e+04 >= 6.465210153e+04 0.2% (84020; 80559) +839133: mip = 6.477570000e+04 >= 6.465229569e+04 0.2% (84023; 80703) +840353: mip = 6.477570000e+04 >= 6.465250949e+04 0.2% (84008; 80852) +841560: mip = 6.477570000e+04 >= 6.465274209e+04 0.2% (84001; 80990) +842750: mip = 6.477570000e+04 >= 6.465293272e+04 0.2% (83980; 81137) +844034: mip = 6.477570000e+04 >= 6.465311751e+04 0.2% (83973; 81285) +845250: mip = 6.477570000e+04 >= 6.465334731e+04 0.2% (83968; 81437) +846375: mip = 6.477570000e+04 >= 6.465357090e+04 0.2% (83958; 81588) Time used: 1680.3 secs. Memory used: 94.8 Mb. +847692: mip = 6.477570000e+04 >= 6.465375137e+04 0.2% (83973; 81738) +848971: mip = 6.477570000e+04 >= 6.465395487e+04 0.2% (83988; 81878) +850201: mip = 6.477570000e+04 >= 6.465416938e+04 0.2% (83998; 82013) +851537: mip = 6.477570000e+04 >= 6.465439570e+04 0.2% (84010; 82144) +852909: mip = 6.477570000e+04 >= 6.465461107e+04 0.2% (84034; 82288) +854140: mip = 6.477570000e+04 >= 6.465481695e+04 0.2% (84042; 82414) +855312: mip = 6.477570000e+04 >= 6.465499141e+04 0.2% (84064; 82551) +856650: mip = 6.477570000e+04 >= 6.465518760e+04 0.2% (84096; 82700) +857904: mip = 6.477570000e+04 >= 6.465539359e+04 0.2% (84092; 82853) +859218: mip = 6.477570000e+04 >= 6.465557178e+04 0.2% (84068; 83020) +860513: mip = 6.477570000e+04 >= 6.465575078e+04 0.2% (84065; 83162) +861856: mip = 6.477570000e+04 >= 6.465596641e+04 0.2% (84064; 83310) Time used: 1740.3 secs. Memory used: 95.8 Mb. +863020: mip = 6.477570000e+04 >= 6.465615078e+04 0.2% (84061; 83466) +864161: mip = 6.477570000e+04 >= 6.465632854e+04 0.2% (84052; 83612) +865387: mip = 6.477570000e+04 >= 6.465652538e+04 0.2% (84087; 83748) +866724: mip = 6.477570000e+04 >= 6.465671490e+04 0.2% (84101; 83899) +868019: mip = 6.477570000e+04 >= 6.465689254e+04 0.2% (84121; 84047) +869368: mip = 6.477570000e+04 >= 6.465708155e+04 0.2% (84139; 84194) +870625: mip = 6.477570000e+04 >= 6.465726642e+04 0.2% (84165; 84335) +871789: mip = 6.477570000e+04 >= 6.465743387e+04 0.2% (84167; 84481) +872983: mip = 6.477570000e+04 >= 6.465761172e+04 0.2% (84182; 84613) +874163: mip = 6.477570000e+04 >= 6.465780000e+04 0.2% (84193; 84752) +875259: mip = 6.477570000e+04 >= 6.465798358e+04 0.2% (84183; 84889) +876432: mip = 6.477570000e+04 >= 6.465815940e+04 0.2% (84177; 85045) Time used: 1800.3 secs. Memory used: 96.8 Mb. +877727: mip = 6.477570000e+04 >= 6.465834410e+04 0.2% (84193; 85180) +878919: mip = 6.477570000e+04 >= 6.465853645e+04 0.2% (84197; 85318) +879962: mip = 6.477570000e+04 >= 6.465871119e+04 0.2% (84233; 85437) +881038: mip = 6.477570000e+04 >= 6.465887655e+04 0.2% (84221; 85592) +882134: mip = 6.477570000e+04 >= 6.465904569e+04 0.2% (84236; 85717) +883298: mip = 6.477570000e+04 >= 6.465925549e+04 0.2% (84243; 85860) +884523: mip = 6.477570000e+04 >= 6.465943623e+04 0.2% (84253; 86000) +885704: mip = 6.477570000e+04 >= 6.465962500e+04 0.2% (84250; 86141) +886962: mip = 6.477570000e+04 >= 6.465977921e+04 0.2% (84275; 86289) +888126: mip = 6.477570000e+04 >= 6.465997905e+04 0.2% (84253; 86437) +889282: mip = 6.477570000e+04 >= 6.466017640e+04 0.2% (84250; 86582) +890472: mip = 6.477570000e+04 >= 6.466036548e+04 0.2% (84266; 86722) Time used: 1860.3 secs. Memory used: 97.8 Mb. +891719: mip = 6.477570000e+04 >= 6.466057325e+04 0.2% (84256; 86872) +892893: mip = 6.477570000e+04 >= 6.466076957e+04 0.2% (84255; 87011) +893999: mip = 6.477570000e+04 >= 6.466099403e+04 0.2% (84272; 87155) +895297: mip = 6.477570000e+04 >= 6.466115409e+04 0.2% (84295; 87283) +896472: mip = 6.477570000e+04 >= 6.466134098e+04 0.2% (84295; 87416) +897709: mip = 6.477570000e+04 >= 6.466151293e+04 0.2% (84279; 87567) +899042: mip = 6.477570000e+04 >= 6.466171493e+04 0.2% (84302; 87709) +900222: mip = 6.477570000e+04 >= 6.466188906e+04 0.2% (84300; 87854) +901408: mip = 6.477570000e+04 >= 6.466206875e+04 0.2% (84286; 88014) +902595: mip = 6.477570000e+04 >= 6.466223851e+04 0.2% (84291; 88163) +903865: mip = 6.477570000e+04 >= 6.466242943e+04 0.2% (84310; 88290) +904536: mip = 6.477570000e+04 >= 6.466251674e+04 0.2% (84323; 88377) Time used: 1920.4 secs. Memory used: 98.7 Mb. +905431: mip = 6.477570000e+04 >= 6.466263984e+04 0.2% (84332; 88480) +906322: mip = 6.477570000e+04 >= 6.466279594e+04 0.2% (84328; 88604) +906785: mip = 6.477570000e+04 >= 6.466287115e+04 0.2% (84311; 88661) +907367: mip = 6.477570000e+04 >= 6.466297109e+04 0.2% (84297; 88738) +908262: mip = 6.477570000e+04 >= 6.466309967e+04 0.2% (84306; 88865) +909363: mip = 6.477570000e+04 >= 6.466323235e+04 0.2% (84317; 88992) +910012: mip = 6.477570000e+04 >= 6.466334136e+04 0.2% (84297; 89076) +910565: mip = 6.477570000e+04 >= 6.466342725e+04 0.2% (84303; 89145) +910871: mip = 6.477570000e+04 >= 6.466346893e+04 0.2% (84305; 89187) +911538: mip = 6.477570000e+04 >= 6.466358865e+04 0.2% (84296; 89286) +912488: mip = 6.477570000e+04 >= 6.466375299e+04 0.2% (84284; 89411) Time used: 1980.5 secs. Memory used: 99.2 Mb. +913273: mip = 6.477570000e+04 >= 6.466388587e+04 0.2% (84273; 89521) +913857: mip = 6.477570000e+04 >= 6.466394824e+04 0.2% (84266; 89584) +914553: mip = 6.477570000e+04 >= 6.466405634e+04 0.2% (84279; 89679) +914857: mip = 6.477570000e+04 >= 6.466409634e+04 0.2% (84266; 89727) +915181: mip = 6.477570000e+04 >= 6.466415287e+04 0.2% (84264; 89772) +916041: mip = 6.477570000e+04 >= 6.466430767e+04 0.2% (84244; 89894) +917146: mip = 6.477570000e+04 >= 6.466449030e+04 0.2% (84212; 90026) +918206: mip = 6.477570000e+04 >= 6.466467197e+04 0.2% (84210; 90153) +919158: mip = 6.477570000e+04 >= 6.466480558e+04 0.2% (84183; 90268) +920182: mip = 6.477570000e+04 >= 6.466498124e+04 0.2% (84166; 90408) +921223: mip = 6.477570000e+04 >= 6.466512284e+04 0.2% (84160; 90522) +922219: mip = 6.477570000e+04 >= 6.466528231e+04 0.2% (84141; 90646) Time used: 2040.5 secs. Memory used: 99.8 Mb. +923327: mip = 6.477570000e+04 >= 6.466544775e+04 0.2% (84122; 90790) +924574: mip = 6.477570000e+04 >= 6.466561096e+04 0.2% (84133; 90927) +925518: mip = 6.477570000e+04 >= 6.466576953e+04 0.2% (84124; 91052) +926597: mip = 6.477570000e+04 >= 6.466593984e+04 0.2% (84076; 91203) +927631: mip = 6.477570000e+04 >= 6.466611085e+04 0.2% (84076; 91340) +928709: mip = 6.477570000e+04 >= 6.466629534e+04 0.2% (84037; 91481) +929927: mip = 6.477570000e+04 >= 6.466645972e+04 0.2% (84079; 91622) +931191: mip = 6.477570000e+04 >= 6.466663388e+04 0.2% (84081; 91763) +932350: mip = 6.477570000e+04 >= 6.466684385e+04 0.2% (84069; 91895) +933384: mip = 6.477570000e+04 >= 6.466702068e+04 0.2% (84068; 92032) +934587: mip = 6.477570000e+04 >= 6.466717659e+04 0.2% (84061; 92170) +935688: mip = 6.477570000e+04 >= 6.466734808e+04 0.2% (84048; 92313) Time used: 2100.5 secs. Memory used: 100.6 Mb. +936820: mip = 6.477570000e+04 >= 6.466756061e+04 0.2% (84038; 92452) +937868: mip = 6.477570000e+04 >= 6.466778046e+04 0.2% (84004; 92600) +938964: mip = 6.477570000e+04 >= 6.466793647e+04 0.2% (83996; 92748) +940127: mip = 6.477570000e+04 >= 6.466810085e+04 0.2% (83967; 92890) +941073: mip = 6.477570000e+04 >= 6.466827979e+04 0.2% (83973; 93020) +942103: mip = 6.477570000e+04 >= 6.466840993e+04 0.2% (83958; 93136) +943255: mip = 6.477570000e+04 >= 6.466860403e+04 0.2% (83961; 93272) +944295: mip = 6.477570000e+04 >= 6.466876945e+04 0.2% (83962; 93406) +945187: mip = 6.477570000e+04 >= 6.466890896e+04 0.2% (83933; 93545) +946364: mip = 6.477570000e+04 >= 6.466905002e+04 0.2% (83953; 93686) +947471: mip = 6.477570000e+04 >= 6.466922935e+04 0.2% (83944; 93824) +948478: mip = 6.477570000e+04 >= 6.466938925e+04 0.2% (83907; 93965) Time used: 2160.5 secs. Memory used: 101.4 Mb. +949527: mip = 6.477570000e+04 >= 6.466955125e+04 0.2% (83866; 94114) +950625: mip = 6.477570000e+04 >= 6.466972000e+04 0.2% (83863; 94263) +951664: mip = 6.477570000e+04 >= 6.466986320e+04 0.2% (83868; 94401) +952799: mip = 6.477570000e+04 >= 6.467003482e+04 0.2% (83861; 94559) +953900: mip = 6.477570000e+04 >= 6.467017439e+04 0.2% (83850; 94698) +955084: mip = 6.477570000e+04 >= 6.467033748e+04 0.2% (83884; 94827) +956121: mip = 6.477570000e+04 >= 6.467047463e+04 0.2% (83850; 94994) +957214: mip = 6.477570000e+04 >= 6.467064036e+04 0.2% (83843; 95124) +958245: mip = 6.477570000e+04 >= 6.467080718e+04 0.2% (83812; 95262) +959310: mip = 6.477570000e+04 >= 6.467097273e+04 0.2% (83791; 95406) +960309: mip = 6.477570000e+04 >= 6.467111172e+04 0.2% (83749; 95549) +961367: mip = 6.477570000e+04 >= 6.467128707e+04 0.2% (83736; 95695) Time used: 2220.5 secs. Memory used: 102.1 Mb. +962401: mip = 6.477570000e+04 >= 6.467144609e+04 0.2% (83705; 95838) +963506: mip = 6.477570000e+04 >= 6.467162161e+04 0.2% (83704; 95966) +964468: mip = 6.477570000e+04 >= 6.467180127e+04 0.2% (83680; 96104) +965570: mip = 6.477570000e+04 >= 6.467194125e+04 0.2% (83698; 96230) +966482: mip = 6.477570000e+04 >= 6.467211091e+04 0.2% (83670; 96377) +967528: mip = 6.477570000e+04 >= 6.467227090e+04 0.2% (83661; 96509) +968522: mip = 6.477570000e+04 >= 6.467246048e+04 0.2% (83644; 96654) +969515: mip = 6.477570000e+04 >= 6.467262748e+04 0.2% (83622; 96796) +970600: mip = 6.477570000e+04 >= 6.467278100e+04 0.2% (83593; 96940) +971704: mip = 6.477570000e+04 >= 6.467295780e+04 0.2% (83584; 97088) +972659: mip = 6.477570000e+04 >= 6.467309134e+04 0.2% (83560; 97230) +973514: mip = 6.477570000e+04 >= 6.467324019e+04 0.2% (83542; 97346) Time used: 2282.4 secs. Memory used: 102.8 Mb. +973976: mip = 6.477570000e+04 >= 6.467330636e+04 0.2% (83512; 97420) +975026: mip = 6.477570000e+04 >= 6.467348130e+04 0.2% (83495; 97567) +976089: mip = 6.477570000e+04 >= 6.467361091e+04 0.2% (83497; 97702) +977091: mip = 6.477570000e+04 >= 6.467376501e+04 0.2% (83472; 97835) +978273: mip = 6.477570000e+04 >= 6.467393638e+04 0.2% (83467; 97969) +979318: mip = 6.477570000e+04 >= 6.467410436e+04 0.2% (83454; 98121) +980401: mip = 6.477570000e+04 >= 6.467424141e+04 0.2% (83461; 98270) +981488: mip = 6.477570000e+04 >= 6.467442205e+04 0.2% (83456; 98434) +982497: mip = 6.477570000e+04 >= 6.467457099e+04 0.2% (83435; 98580) +983553: mip = 6.477570000e+04 >= 6.467473641e+04 0.2% (83414; 98731) +984484: mip = 6.477570000e+04 >= 6.467491396e+04 0.2% (83362; 98876) +984991: mip = 6.477570000e+04 >= 6.467498776e+04 0.2% (83359; 98946) Time used: 2342.4 secs. Memory used: 103.5 Mb. +985756: mip = 6.477570000e+04 >= 6.467511107e+04 0.2% (83301; 99080) +986733: mip = 6.477570000e+04 >= 6.467527910e+04 0.2% (83270; 99227) +987794: mip = 6.477570000e+04 >= 6.467543277e+04 0.2% (83258; 99359) +988740: mip = 6.477570000e+04 >= 6.467559766e+04 0.2% (83233; 99517) +989827: mip = 6.477570000e+04 >= 6.467577239e+04 0.2% (83219; 99653) +990767: mip = 6.477570000e+04 >= 6.467592500e+04 0.2% (83193; 99808) +991771: mip = 6.477570000e+04 >= 6.467608046e+04 0.2% (83163; 99958) +992878: mip = 6.477570000e+04 >= 6.467621194e+04 0.2% (83162; 100090) +993955: mip = 6.477570000e+04 >= 6.467636641e+04 0.2% (83160; 100232) +995025: mip = 6.477570000e+04 >= 6.467653483e+04 0.2% (83126; 100383) +996059: mip = 6.477570000e+04 >= 6.467666953e+04 0.2% (83099; 100534) +997293: mip = 6.477570000e+04 >= 6.467681172e+04 0.2% (83136; 100673) Time used: 2402.5 secs. Memory used: 104.2 Mb. +998401: mip = 6.477570000e+04 >= 6.467695568e+04 0.2% (83118; 100812) +999488: mip = 6.477570000e+04 >= 6.467712308e+04 0.2% (83094; 100949) +1000448: mip = 6.477570000e+04 >= 6.467729808e+04 0.2% (83062; 101090) +1001518: mip = 6.477570000e+04 >= 6.467746523e+04 0.2% (83036; 101222) +1002437: mip = 6.477570000e+04 >= 6.467761941e+04 0.2% (82982; 101364) +1003335: mip = 6.477570000e+04 >= 6.467776172e+04 0.2% (82938; 101499) +1004318: mip = 6.477570000e+04 >= 6.467790718e+04 0.2% (82888; 101650) +1005269: mip = 6.477570000e+04 >= 6.467805977e+04 0.2% (82856; 101814) +1006258: mip = 6.477570000e+04 >= 6.467820004e+04 0.2% (82844; 101953) +1007225: mip = 6.477570000e+04 >= 6.467834564e+04 0.2% (82815; 102101) +1008111: mip = 6.477570000e+04 >= 6.467849525e+04 0.2% (82778; 102266) +1009137: mip = 6.477570000e+04 >= 6.467865006e+04 0.1% (82751; 102418) Time used: 2462.5 secs. Memory used: 104.8 Mb. +1010149: mip = 6.477570000e+04 >= 6.467881028e+04 0.1% (82729; 102562) +1011163: mip = 6.477570000e+04 >= 6.467895660e+04 0.1% (82723; 102714) +1012157: mip = 6.477570000e+04 >= 6.467914701e+04 0.1% (82687; 102873) +1013167: mip = 6.477570000e+04 >= 6.467933448e+04 0.1% (82657; 103020) +1014272: mip = 6.477570000e+04 >= 6.467947366e+04 0.1% (82636; 103161) +1015354: mip = 6.477570000e+04 >= 6.467962279e+04 0.1% (82620; 103304) +1016354: mip = 6.477570000e+04 >= 6.467976493e+04 0.1% (82606; 103465) +1017351: mip = 6.477570000e+04 >= 6.467993025e+04 0.1% (82579; 103614) +1018359: mip = 6.477570000e+04 >= 6.468008385e+04 0.1% (82556; 103754) +1019344: mip = 6.477570000e+04 >= 6.468023326e+04 0.1% (82513; 103912) +1020268: mip = 6.477570000e+04 >= 6.468040225e+04 0.1% (82481; 104063) +1021348: mip = 6.477570000e+04 >= 6.468053731e+04 0.1% (82474; 104191) Time used: 2522.5 secs. Memory used: 105.4 Mb. +1022387: mip = 6.477570000e+04 >= 6.468069038e+04 0.1% (82445; 104339) +1023341: mip = 6.477570000e+04 >= 6.468083664e+04 0.1% (82408; 104477) +1024454: mip = 6.477570000e+04 >= 6.468097944e+04 0.1% (82376; 104628) +1025448: mip = 6.477570000e+04 >= 6.468112803e+04 0.1% (82343; 104772) +1026416: mip = 6.477570000e+04 >= 6.468127921e+04 0.1% (82310; 104909) +1027439: mip = 6.477570000e+04 >= 6.468141954e+04 0.1% (82278; 105058) +1028506: mip = 6.477570000e+04 >= 6.468157183e+04 0.1% (82241; 105234) +1029429: mip = 6.477570000e+04 >= 6.468171535e+04 0.1% (82207; 105376) +1030394: mip = 6.477570000e+04 >= 6.468185654e+04 0.1% (82154; 105524) +1031440: mip = 6.477570000e+04 >= 6.468198164e+04 0.1% (82138; 105673) +1032436: mip = 6.477570000e+04 >= 6.468211262e+04 0.1% (82110; 105811) +1033407: mip = 6.477570000e+04 >= 6.468223131e+04 0.1% (82095; 105947) Time used: 2582.5 secs. Memory used: 106.0 Mb. +1034380: mip = 6.477570000e+04 >= 6.468238815e+04 0.1% (82068; 106086) +1035357: mip = 6.477570000e+04 >= 6.468252090e+04 0.1% (82035; 106232) +1036279: mip = 6.477570000e+04 >= 6.468266434e+04 0.1% (82011; 106376) +1037422: mip = 6.477570000e+04 >= 6.468279776e+04 0.1% (82017; 106526) +1038438: mip = 6.477570000e+04 >= 6.468294701e+04 0.1% (82018; 106678) +1039392: mip = 6.477570000e+04 >= 6.468310299e+04 0.1% (81980; 106823) +1040262: mip = 6.477570000e+04 >= 6.468324766e+04 0.1% (81926; 106980) +1041317: mip = 6.477570000e+04 >= 6.468338284e+04 0.1% (81905; 107114) +1042179: mip = 6.477570000e+04 >= 6.468352755e+04 0.1% (81867; 107262) +1043212: mip = 6.477570000e+04 >= 6.468366353e+04 0.1% (81842; 107401) +1044140: mip = 6.477570000e+04 >= 6.468381065e+04 0.1% (81793; 107552) +1045210: mip = 6.477570000e+04 >= 6.468397985e+04 0.1% (81763; 107698) Time used: 2642.5 secs. Memory used: 106.5 Mb. +1046103: mip = 6.477570000e+04 >= 6.468413452e+04 0.1% (81707; 107847) +1047106: mip = 6.477570000e+04 >= 6.468429520e+04 0.1% (81687; 107991) +1048009: mip = 6.477570000e+04 >= 6.468442550e+04 0.1% (81641; 108138) +1048984: mip = 6.477570000e+04 >= 6.468458478e+04 0.1% (81607; 108292) +1050042: mip = 6.477570000e+04 >= 6.468472671e+04 0.1% (81590; 108436) +1051036: mip = 6.477570000e+04 >= 6.468486948e+04 0.1% (81568; 108579) +1052111: mip = 6.477570000e+04 >= 6.468499879e+04 0.1% (81553; 108723) +1052998: mip = 6.477570000e+04 >= 6.468515078e+04 0.1% (81522; 108870) +1053989: mip = 6.477570000e+04 >= 6.468530000e+04 0.1% (81500; 109014) +1055018: mip = 6.477570000e+04 >= 6.468543806e+04 0.1% (81484; 109162) +1055886: mip = 6.477570000e+04 >= 6.468555879e+04 0.1% (81449; 109310) +1056694: mip = 6.477570000e+04 >= 6.468570597e+04 0.1% (81407; 109476) Time used: 2702.6 secs. Memory used: 107.1 Mb. +1057666: mip = 6.477570000e+04 >= 6.468584434e+04 0.1% (81343; 109637) +1058666: mip = 6.477570000e+04 >= 6.468599365e+04 0.1% (81342; 109776) +1059637: mip = 6.477570000e+04 >= 6.468616953e+04 0.1% (81317; 109939) +1060578: mip = 6.477570000e+04 >= 6.468631751e+04 0.1% (81277; 110080) +1061387: mip = 6.477570000e+04 >= 6.468646642e+04 0.1% (81213; 110241) +1062284: mip = 6.477570000e+04 >= 6.468662614e+04 0.1% (81179; 110380) +1063189: mip = 6.477570000e+04 >= 6.468676328e+04 0.1% (81130; 110531) +1063982: mip = 6.477570000e+04 >= 6.468690417e+04 0.1% (81077; 110664) +1064917: mip = 6.477570000e+04 >= 6.468704462e+04 0.1% (81026; 110835) +1065891: mip = 6.477570000e+04 >= 6.468719401e+04 0.1% (80992; 110987) +1066750: mip = 6.477570000e+04 >= 6.468734681e+04 0.1% (80931; 111138) +1067783: mip = 6.477570000e+04 >= 6.468750051e+04 0.1% (80895; 111294) Time used: 2762.6 secs. Memory used: 107.4 Mb. +1068612: mip = 6.477570000e+04 >= 6.468765631e+04 0.1% (80847; 111434) +1069709: mip = 6.477570000e+04 >= 6.468779104e+04 0.1% (80828; 111574) +1070632: mip = 6.477570000e+04 >= 6.468789483e+04 0.1% (80777; 111717) +1071539: mip = 6.477570000e+04 >= 6.468802891e+04 0.1% (80726; 111889) +1072363: mip = 6.477570000e+04 >= 6.468814898e+04 0.1% (80671; 112031) +1073233: mip = 6.477570000e+04 >= 6.468828358e+04 0.1% (80628; 112161) +1074226: mip = 6.477570000e+04 >= 6.468841808e+04 0.1% (80615; 112302) +1075123: mip = 6.477570000e+04 >= 6.468858955e+04 0.1% (80567; 112460) +1076033: mip = 6.477570000e+04 >= 6.468870849e+04 0.1% (80522; 112619) +1076982: mip = 6.477570000e+04 >= 6.468883478e+04 0.1% (80493; 112770) +1077945: mip = 6.477570000e+04 >= 6.468895160e+04 0.1% (80449; 112912) Time used: 2822.6 secs. Memory used: 107.8 Mb. +1078798: mip = 6.477570000e+04 >= 6.468906843e+04 0.1% (80414; 113054) +1079631: mip = 6.477570000e+04 >= 6.468922403e+04 0.1% (80360; 113193) +1080584: mip = 6.477570000e+04 >= 6.468936328e+04 0.1% (80332; 113326) +1081347: mip = 6.477570000e+04 >= 6.468949894e+04 0.1% (80263; 113479) +1082272: mip = 6.477570000e+04 >= 6.468962872e+04 0.1% (80218; 113631) +1083102: mip = 6.477570000e+04 >= 6.468976016e+04 0.1% (80168; 113776) +1083970: mip = 6.477570000e+04 >= 6.468990715e+04 0.1% (80137; 113913) +1084940: mip = 6.477570000e+04 >= 6.469002834e+04 0.1% (80108; 114059) +1085959: mip = 6.477570000e+04 >= 6.469016154e+04 0.1% (80085; 114205) +1086754: mip = 6.477570000e+04 >= 6.469029583e+04 0.1% (80023; 114358) +1087691: mip = 6.477570000e+04 >= 6.469043688e+04 0.1% (79973; 114503) +1088585: mip = 6.477570000e+04 >= 6.469058507e+04 0.1% (79924; 114666) Time used: 2882.7 secs. Memory used: 108.2 Mb. +1089465: mip = 6.477570000e+04 >= 6.469072463e+04 0.1% (79875; 114799) +1090439: mip = 6.477570000e+04 >= 6.469084925e+04 0.1% (79828; 114938) +1091317: mip = 6.477570000e+04 >= 6.469097369e+04 0.1% (79774; 115083) +1092173: mip = 6.477570000e+04 >= 6.469110257e+04 0.1% (79737; 115231) +1093056: mip = 6.477570000e+04 >= 6.469122813e+04 0.1% (79668; 115384) +1093857: mip = 6.477570000e+04 >= 6.469136645e+04 0.1% (79611; 115546) +1094896: mip = 6.477570000e+04 >= 6.469151941e+04 0.1% (79582; 115692) +1095897: mip = 6.477570000e+04 >= 6.469166829e+04 0.1% (79537; 115844) +1096737: mip = 6.477570000e+04 >= 6.469182224e+04 0.1% (79492; 115998) +1097662: mip = 6.477570000e+04 >= 6.469197537e+04 0.1% (79468; 116134) +1098421: mip = 6.477570000e+04 >= 6.469211866e+04 0.1% (79404; 116283) +1099381: mip = 6.477570000e+04 >= 6.469223282e+04 0.1% (79372; 116429) Time used: 2942.7 secs. Memory used: 108.6 Mb. +1100270: mip = 6.477570000e+04 >= 6.469237322e+04 0.1% (79330; 116581) +1101149: mip = 6.477570000e+04 >= 6.469251119e+04 0.1% (79287; 116732) +1102024: mip = 6.477570000e+04 >= 6.469264898e+04 0.1% (79247; 116891) +1102878: mip = 6.477570000e+04 >= 6.469279552e+04 0.1% (79184; 117074) +1103721: mip = 6.477570000e+04 >= 6.469293695e+04 0.1% (79127; 117234) +1104623: mip = 6.477570000e+04 >= 6.469306448e+04 0.1% (79068; 117376) +1105580: mip = 6.477570000e+04 >= 6.469320078e+04 0.1% (79044; 117520) +1106363: mip = 6.477570000e+04 >= 6.469334681e+04 0.1% (78985; 117674) +1107053: mip = 6.477570000e+04 >= 6.469349701e+04 0.1% (78917; 117850) +1107936: mip = 6.477570000e+04 >= 6.469362559e+04 0.1% (78844; 118017) +1108768: mip = 6.477570000e+04 >= 6.469375692e+04 0.1% (78785; 118172) +1109605: mip = 6.477570000e+04 >= 6.469387944e+04 0.1% (78731; 118309) Time used: 3002.7 secs. Memory used: 108.8 Mb. +1110499: mip = 6.477570000e+04 >= 6.469400345e+04 0.1% (78689; 118464) +1111349: mip = 6.477570000e+04 >= 6.469413396e+04 0.1% (78631; 118609) +1112215: mip = 6.477570000e+04 >= 6.469425576e+04 0.1% (78601; 118747) +1113099: mip = 6.477570000e+04 >= 6.469436980e+04 0.1% (78572; 118882) +1113980: mip = 6.477570000e+04 >= 6.469450141e+04 0.1% (78525; 119046) +1114857: mip = 6.477570000e+04 >= 6.469463566e+04 0.1% (78470; 119204) +1115775: mip = 6.477570000e+04 >= 6.469475353e+04 0.1% (78426; 119351) +1116594: mip = 6.477570000e+04 >= 6.469488209e+04 0.1% (78386; 119497) +1117222: mip = 6.477570000e+04 >= 6.469499328e+04 0.1% (78336; 119621) +1118032: mip = 6.477570000e+04 >= 6.469507456e+04 0.1% (78313; 119748) +1118716: mip = 6.477570000e+04 >= 6.469515984e+04 0.1% (78294; 119863) +1119566: mip = 6.477570000e+04 >= 6.469529570e+04 0.1% (78244; 120023) Time used: 3062.8 secs. Memory used: 109.1 Mb. +1120381: mip = 6.477570000e+04 >= 6.469543940e+04 0.1% (78186; 120160) +1121292: mip = 6.477570000e+04 >= 6.469557500e+04 0.1% (78158; 120307) +1122039: mip = 6.477570000e+04 >= 6.469567985e+04 0.1% (78092; 120448) +1122771: mip = 6.477570000e+04 >= 6.469577500e+04 0.1% (78042; 120594) +1123768: mip = 6.477570000e+04 >= 6.469590224e+04 0.1% (78014; 120747) +1124522: mip = 6.477570000e+04 >= 6.469602085e+04 0.1% (77963; 120897) +1125370: mip = 6.477570000e+04 >= 6.469612193e+04 0.1% (77923; 121036) +1126167: mip = 6.477570000e+04 >= 6.469625195e+04 0.1% (77866; 121180) +1126891: mip = 6.477570000e+04 >= 6.469637183e+04 0.1% (77808; 121312) +1127650: mip = 6.477570000e+04 >= 6.469648597e+04 0.1% (77753; 121450) +1128395: mip = 6.477570000e+04 >= 6.469662408e+04 0.1% (77699; 121608) +1129109: mip = 6.477570000e+04 >= 6.469672734e+04 0.1% (77637; 121732) Time used: 3122.8 secs. Memory used: 109.3 Mb. +1129943: mip = 6.477570000e+04 >= 6.469684586e+04 0.1% (77624; 121876) +1130756: mip = 6.477570000e+04 >= 6.469695955e+04 0.1% (77591; 122035) +1131519: mip = 6.477570000e+04 >= 6.469707463e+04 0.1% (77547; 122168) +1132314: mip = 6.477570000e+04 >= 6.469720085e+04 0.1% (77492; 122310) +1133181: mip = 6.477570000e+04 >= 6.469732727e+04 0.1% (77457; 122462) +1133956: mip = 6.477570000e+04 >= 6.469744898e+04 0.1% (77396; 122619) +1134799: mip = 6.477570000e+04 >= 6.469756507e+04 0.1% (77360; 122763) +1135595: mip = 6.477570000e+04 >= 6.469768261e+04 0.1% (77314; 122897) +1136457: mip = 6.477570000e+04 >= 6.469780836e+04 0.1% (77293; 123035) +1137200: mip = 6.477570000e+04 >= 6.469792424e+04 0.1% (77241; 123173) +1138087: mip = 6.477570000e+04 >= 6.469801362e+04 0.1% (77220; 123321) +1138912: mip = 6.477570000e+04 >= 6.469813250e+04 0.1% (77195; 123453) Time used: 3182.8 secs. Memory used: 109.7 Mb. +1139636: mip = 6.477570000e+04 >= 6.469825027e+04 0.1% (77140; 123581) +1140346: mip = 6.477570000e+04 >= 6.469838599e+04 0.1% (77093; 123709) +1141040: mip = 6.477570000e+04 >= 6.469851935e+04 0.1% (77026; 123856) +1141746: mip = 6.477570000e+04 >= 6.469863599e+04 0.1% (76978; 123985) +1142521: mip = 6.477570000e+04 >= 6.469873916e+04 0.1% (76927; 124117) +1143260: mip = 6.477570000e+04 >= 6.469884428e+04 0.1% (76872; 124236) +1144048: mip = 6.477570000e+04 >= 6.469895373e+04 0.1% (76821; 124388) +1144796: mip = 6.477570000e+04 >= 6.469905153e+04 0.1% (76769; 124526) +1145580: mip = 6.477570000e+04 >= 6.469916744e+04 0.1% (76737; 124670) +1146492: mip = 6.477570000e+04 >= 6.469926005e+04 0.1% (76716; 124803) +1147232: mip = 6.477570000e+04 >= 6.469936567e+04 0.1% (76642; 124977) +1148016: mip = 6.477570000e+04 >= 6.469948786e+04 0.1% (76585; 125110) Time used: 3242.8 secs. Memory used: 109.9 Mb. +1148664: mip = 6.477570000e+04 >= 6.469958885e+04 0.1% (76530; 125253) +1149441: mip = 6.477570000e+04 >= 6.469968648e+04 0.1% (76488; 125367) +1150203: mip = 6.477570000e+04 >= 6.469980544e+04 0.1% (76441; 125499) +1150782: mip = 6.477570000e+04 >= 6.469990363e+04 0.1% (76356; 125650) +1151533: mip = 6.477570000e+04 >= 6.470001482e+04 0.1% (76289; 125804) +1152196: mip = 6.477570000e+04 >= 6.470013968e+04 0.1% (76223; 125937) +1152843: mip = 6.477570000e+04 >= 6.470024045e+04 0.1% (76172; 126069) +1153634: mip = 6.477570000e+04 >= 6.470033920e+04 0.1% (76132; 126217) +1154439: mip = 6.477570000e+04 >= 6.470042820e+04 0.1% (76101; 126336) +1155244: mip = 6.477570000e+04 >= 6.470055342e+04 0.1% (76049; 126510) +1155890: mip = 6.477570000e+04 >= 6.470066953e+04 0.1% (76004; 126637) +1156643: mip = 6.477570000e+04 >= 6.470077302e+04 0.1% (75948; 126807) Time used: 3302.9 secs. Memory used: 110.1 Mb. +1157387: mip = 6.477570000e+04 >= 6.470089453e+04 0.1% (75874; 126972) +1158141: mip = 6.477570000e+04 >= 6.470101555e+04 0.1% (75800; 127119) +1158933: mip = 6.477570000e+04 >= 6.470111961e+04 0.1% (75735; 127262) +1159747: mip = 6.477570000e+04 >= 6.470125483e+04 0.1% (75685; 127417) +1160584: mip = 6.477570000e+04 >= 6.470137239e+04 0.1% (75628; 127573) +1161450: mip = 6.477570000e+04 >= 6.470148284e+04 0.1% (75588; 127750) +1162202: mip = 6.477570000e+04 >= 6.470161107e+04 0.1% (75518; 127905) +1163006: mip = 6.477570000e+04 >= 6.470173637e+04 0.1% (75465; 128056) +1163737: mip = 6.477570000e+04 >= 6.470183744e+04 0.1% (75423; 128199) +1164069: mip = 6.477570000e+04 >= 6.470188482e+04 0.1% (75387; 128281) +1164603: mip = 6.477570000e+04 >= 6.470195381e+04 0.1% (75355; 128386) +1165106: mip = 6.477570000e+04 >= 6.470202173e+04 0.1% (75327; 128483) Time used: 3362.9 secs. Memory used: 110.2 Mb. +1165625: mip = 6.477570000e+04 >= 6.470210757e+04 0.1% (75290; 128596) +1166321: mip = 6.477570000e+04 >= 6.470219674e+04 0.1% (75253; 128726) +1166999: mip = 6.477570000e+04 >= 6.470228955e+04 0.1% (75196; 128846) +1167738: mip = 6.477570000e+04 >= 6.470242214e+04 0.1% (75149; 128989) +1168526: mip = 6.477570000e+04 >= 6.470254023e+04 0.1% (75103; 129130) +1169251: mip = 6.477570000e+04 >= 6.470267403e+04 0.1% (75061; 129271) +1169944: mip = 6.477570000e+04 >= 6.470276346e+04 0.1% (75036; 129407) +1170413: mip = 6.477570000e+04 >= 6.470283808e+04 0.1% (75018; 129497) +1171200: mip = 6.477570000e+04 >= 6.470292242e+04 0.1% (75010; 129595) +1171725: mip = 6.477570000e+04 >= 6.470301213e+04 0.1% (74949; 129704) +1172242: mip = 6.477570000e+04 >= 6.470311172e+04 0.1% (74902; 129816) Time used: 3422.9 secs. Memory used: 110.4 Mb. +1173008: mip = 6.477570000e+04 >= 6.470320358e+04 0.1% (74857; 129967) +1173743: mip = 6.477570000e+04 >= 6.470332308e+04 0.1% (74787; 130126) +1174615: mip = 6.477570000e+04 >= 6.470344651e+04 0.1% (74726; 130269) +1175374: mip = 6.477570000e+04 >= 6.470357455e+04 0.1% (74660; 130436) +1176018: mip = 6.477570000e+04 >= 6.470366891e+04 0.1% (74629; 130544) +1176628: mip = 6.477570000e+04 >= 6.470376701e+04 0.1% (74582; 130701) +1177350: mip = 6.477570000e+04 >= 6.470388534e+04 0.1% (74542; 130860) +1177845: mip = 6.477570000e+04 >= 6.470397720e+04 0.1% (74497; 130986) +1178625: mip = 6.477570000e+04 >= 6.470409569e+04 0.1% (74442; 131135) +1179284: mip = 6.477570000e+04 >= 6.470420360e+04 0.1% (74394; 131277) +1179836: mip = 6.477570000e+04 >= 6.470429503e+04 0.1% (74340; 131403) +1180627: mip = 6.477570000e+04 >= 6.470439856e+04 0.1% (74272; 131577) Time used: 3482.9 secs. Memory used: 110.6 Mb. +1181311: mip = 6.477570000e+04 >= 6.470450440e+04 0.1% (74219; 131746) +1182008: mip = 6.477570000e+04 >= 6.470461656e+04 0.1% (74160; 131900) +1182853: mip = 6.477570000e+04 >= 6.470476641e+04 0.1% (74100; 132060) +1183680: mip = 6.477570000e+04 >= 6.470489577e+04 0.1% (74056; 132218) +1184478: mip = 6.477570000e+04 >= 6.470501447e+04 0.1% (73992; 132368) +1185442: mip = 6.477570000e+04 >= 6.470515074e+04 0.1% (73945; 132515) +1186391: mip = 6.477570000e+04 >= 6.470526950e+04 0.1% (73894; 132694) +1187291: mip = 6.477570000e+04 >= 6.470539569e+04 0.1% (73858; 132858) +1188183: mip = 6.477570000e+04 >= 6.470552639e+04 0.1% (73812; 133020) +1188901: mip = 6.477570000e+04 >= 6.470563183e+04 0.1% (73751; 133166) +1189747: mip = 6.477570000e+04 >= 6.470573209e+04 0.1% (73721; 133329) +1190480: mip = 6.477570000e+04 >= 6.470582560e+04 0.1% (73659; 133482) Time used: 3542.9 secs. Memory used: 110.8 Mb. +1191267: mip = 6.477570000e+04 >= 6.470595830e+04 0.1% (73579; 133657) +1192009: mip = 6.477570000e+04 >= 6.470607313e+04 0.1% (73512; 133824) +1192777: mip = 6.477570000e+04 >= 6.470619819e+04 0.1% (73454; 133988) +1193588: mip = 6.477570000e+04 >= 6.470634081e+04 0.1% (73376; 134141) +1194309: mip = 6.477570000e+04 >= 6.470644681e+04 0.1% (73301; 134312) +1195062: mip = 6.477570000e+04 >= 6.470658007e+04 0.1% (73224; 134472) +1195935: mip = 6.477570000e+04 >= 6.470671596e+04 0.1% (73175; 134632) +1196747: mip = 6.477570000e+04 >= 6.470682990e+04 0.1% (73113; 134800) +1197494: mip = 6.477570000e+04 >= 6.470694030e+04 0.1% (73039; 134991) +1198267: mip = 6.477570000e+04 >= 6.470706123e+04 0.1% (72952; 135153) +1199053: mip = 6.477570000e+04 >= 6.470719627e+04 0.1% (72867; 135319) +1199815: mip = 6.477570000e+04 >= 6.470731388e+04 0.1% (72806; 135468) Time used: 3602.9 secs. Memory used: 110.9 Mb. +1200625: mip = 6.477570000e+04 >= 6.470742500e+04 0.1% (72732; 135654) +1201426: mip = 6.477570000e+04 >= 6.470751944e+04 0.1% (72665; 135815) +1202211: mip = 6.477570000e+04 >= 6.470764797e+04 0.1% (72575; 135987) +1203042: mip = 6.477570000e+04 >= 6.470776032e+04 0.1% (72509; 136150) +1203801: mip = 6.477570000e+04 >= 6.470789827e+04 0.1% (72442; 136328) +1204517: mip = 6.477570000e+04 >= 6.470802313e+04 0.1% (72350; 136500) +1205220: mip = 6.477570000e+04 >= 6.470813219e+04 0.1% (72267; 136680) +1206111: mip = 6.477570000e+04 >= 6.470825580e+04 0.1% (72202; 136845) +1206979: mip = 6.477570000e+04 >= 6.470836493e+04 0.1% (72152; 137043) +1207857: mip = 6.477570000e+04 >= 6.470847375e+04 0.1% (72110; 137204) +1208676: mip = 6.477570000e+04 >= 6.470861671e+04 0.1% (72042; 137384) +1209416: mip = 6.477570000e+04 >= 6.470873143e+04 0.1% (71968; 137551) Time used: 3663.0 secs. Memory used: 111.0 Mb. +1210213: mip = 6.477570000e+04 >= 6.470886380e+04 0.1% (71876; 137736) +1211038: mip = 6.477570000e+04 >= 6.470900000e+04 0.1% (71813; 137891) +1211822: mip = 6.477570000e+04 >= 6.470911639e+04 0.1% (71734; 138085) +1212548: mip = 6.477570000e+04 >= 6.470922861e+04 0.1% (71654; 138259) +1213351: mip = 6.477570000e+04 >= 6.470933900e+04 0.1% (71578; 138441) +1214158: mip = 6.477570000e+04 >= 6.470945970e+04 0.1% (71517; 138596) +1214929: mip = 6.477570000e+04 >= 6.470959141e+04 0.1% (71434; 138784) +1215652: mip = 6.477570000e+04 >= 6.470971954e+04 0.1% (71360; 138955) +1216434: mip = 6.477570000e+04 >= 6.470983117e+04 0.1% (71281; 139129) +1217204: mip = 6.477570000e+04 >= 6.470993203e+04 0.1% (71202; 139299) +1217955: mip = 6.477570000e+04 >= 6.471004609e+04 0.1% (71130; 139474) +1218748: mip = 6.477570000e+04 >= 6.471017081e+04 0.1% (71066; 139654) Time used: 3723.0 secs. Memory used: 111.1 Mb. +1219468: mip = 6.477570000e+04 >= 6.471029808e+04 0.1% (70984; 139817) +1220235: mip = 6.477570000e+04 >= 6.471041172e+04 0.1% (70895; 140016) +1221061: mip = 6.477570000e+04 >= 6.471053554e+04 0.1% (70820; 140180) +1221811: mip = 6.477570000e+04 >= 6.471065215e+04 0.1% (70750; 140346) +1222642: mip = 6.477570000e+04 >= 6.471076385e+04 0.1% (70682; 140498) +1223314: mip = 6.477570000e+04 >= 6.471088807e+04 0.1% (70603; 140674) +1224114: mip = 6.477570000e+04 >= 6.471098782e+04 < 0.1% (70544; 140841) +1224857: mip = 6.477570000e+04 >= 6.471111773e+04 < 0.1% (70475; 141002) +1225673: mip = 6.477570000e+04 >= 6.471123060e+04 < 0.1% (70385; 141197) +1226488: mip = 6.477570000e+04 >= 6.471133881e+04 < 0.1% (70302; 141378) +1227197: mip = 6.477570000e+04 >= 6.471147021e+04 < 0.1% (70232; 141552) +1227892: mip = 6.477570000e+04 >= 6.471157183e+04 < 0.1% (70170; 141717) Time used: 3783.0 secs. Memory used: 111.2 Mb. +1228668: mip = 6.477570000e+04 >= 6.471170496e+04 < 0.1% (70106; 141878) +1229403: mip = 6.477570000e+04 >= 6.471181865e+04 < 0.1% (70051; 142040) +1230255: mip = 6.477570000e+04 >= 6.471193627e+04 < 0.1% (69998; 142187) +1230997: mip = 6.477570000e+04 >= 6.471205304e+04 < 0.1% (69909; 142369) +1231787: mip = 6.477570000e+04 >= 6.471216801e+04 < 0.1% (69829; 142551) +1232653: mip = 6.477570000e+04 >= 6.471227715e+04 < 0.1% (69775; 142735) +1233455: mip = 6.477570000e+04 >= 6.471239896e+04 < 0.1% (69698; 142919) +1234156: mip = 6.477570000e+04 >= 6.471253503e+04 < 0.1% (69615; 143096) +1234988: mip = 6.477570000e+04 >= 6.471264995e+04 < 0.1% (69557; 143294) +1235753: mip = 6.477570000e+04 >= 6.471276344e+04 < 0.1% (69467; 143476) +1236556: mip = 6.477570000e+04 >= 6.471288406e+04 < 0.1% (69402; 143646) +1237365: mip = 6.477570000e+04 >= 6.471299237e+04 < 0.1% (69348; 143804) Time used: 3843.0 secs. Memory used: 111.3 Mb. +1238077: mip = 6.477570000e+04 >= 6.471311341e+04 < 0.1% (69267; 143970) +1238815: mip = 6.477570000e+04 >= 6.471322087e+04 < 0.1% (69187; 144157) +1239541: mip = 6.477570000e+04 >= 6.471331790e+04 < 0.1% (69097; 144337) +1240318: mip = 6.477570000e+04 >= 6.471344320e+04 < 0.1% (69022; 144532) +1241201: mip = 6.477570000e+04 >= 6.471357071e+04 < 0.1% (68967; 144721) +1242017: mip = 6.477570000e+04 >= 6.471368975e+04 < 0.1% (68898; 144900) +1242708: mip = 6.477570000e+04 >= 6.471381751e+04 < 0.1% (68813; 145089) +1243415: mip = 6.477570000e+04 >= 6.471392696e+04 < 0.1% (68731; 145263) +1244112: mip = 6.477570000e+04 >= 6.471405744e+04 < 0.1% (68650; 145469) +1244828: mip = 6.477570000e+04 >= 6.471416328e+04 < 0.1% (68573; 145658) +1245599: mip = 6.477570000e+04 >= 6.471430528e+04 < 0.1% (68503; 145855) +1246377: mip = 6.477570000e+04 >= 6.471442914e+04 < 0.1% (68414; 146044) Time used: 3903.0 secs. Memory used: 111.3 Mb. +1247107: mip = 6.477570000e+04 >= 6.471454731e+04 < 0.1% (68335; 146232) +1247856: mip = 6.477570000e+04 >= 6.471467137e+04 < 0.1% (68257; 146421) +1248629: mip = 6.477570000e+04 >= 6.471477596e+04 < 0.1% (68194; 146598) +1249422: mip = 6.477570000e+04 >= 6.471488705e+04 < 0.1% (68113; 146794) +1250216: mip = 6.477570000e+04 >= 6.471501495e+04 < 0.1% (68031; 147004) +1250903: mip = 6.477570000e+04 >= 6.471512238e+04 < 0.1% (67947; 147192) +1251628: mip = 6.477570000e+04 >= 6.471523358e+04 < 0.1% (67872; 147381) +1252377: mip = 6.477570000e+04 >= 6.471535381e+04 < 0.1% (67782; 147586) +1253079: mip = 6.477570000e+04 >= 6.471547812e+04 < 0.1% (67690; 147777) +1253804: mip = 6.477570000e+04 >= 6.471560294e+04 < 0.1% (67598; 147963) +1254535: mip = 6.477570000e+04 >= 6.471571765e+04 < 0.1% (67508; 148182) Time used: 3963.0 secs. Memory used: 111.4 Mb. +1255434: mip = 6.477570000e+04 >= 6.471583498e+04 < 0.1% (67432; 148379) +1256305: mip = 6.477570000e+04 >= 6.471595516e+04 < 0.1% (67359; 148571) +1257144: mip = 6.477570000e+04 >= 6.471606607e+04 < 0.1% (67278; 148744) +1257931: mip = 6.477570000e+04 >= 6.471618895e+04 < 0.1% (67215; 148925) +1258715: mip = 6.477570000e+04 >= 6.471629254e+04 < 0.1% (67153; 149115) +1259319: mip = 6.477570000e+04 >= 6.471637183e+04 < 0.1% (67082; 149281) +1260049: mip = 6.477570000e+04 >= 6.471648663e+04 < 0.1% (67025; 149441) +1260746: mip = 6.477570000e+04 >= 6.471660970e+04 < 0.1% (66948; 149620) +1261487: mip = 6.477570000e+04 >= 6.471671328e+04 < 0.1% (66866; 149816) +1262135: mip = 6.477570000e+04 >= 6.471680937e+04 < 0.1% (66791; 150008) +1262973: mip = 6.477570000e+04 >= 6.471691293e+04 < 0.1% (66734; 150173) +1263596: mip = 6.477570000e+04 >= 6.471701954e+04 < 0.1% (66650; 150344) Time used: 4023.1 secs. Memory used: 111.5 Mb. +1264402: mip = 6.477570000e+04 >= 6.471715226e+04 < 0.1% (66585; 150535) +1265210: mip = 6.477570000e+04 >= 6.471727781e+04 < 0.1% (66523; 150734) +1265995: mip = 6.477570000e+04 >= 6.471739345e+04 < 0.1% (66446; 150911) +1266651: mip = 6.477570000e+04 >= 6.471750228e+04 < 0.1% (66358; 151085) +1267241: mip = 6.477570000e+04 >= 6.471761111e+04 < 0.1% (66253; 151310) +1267882: mip = 6.477570000e+04 >= 6.471771493e+04 < 0.1% (66159; 151478) +1268640: mip = 6.477570000e+04 >= 6.471783814e+04 < 0.1% (66090; 151690) +1269321: mip = 6.477570000e+04 >= 6.471795495e+04 < 0.1% (66003; 151894) +1269955: mip = 6.477570000e+04 >= 6.471805977e+04 < 0.1% (65921; 152080) +1270710: mip = 6.477570000e+04 >= 6.471816960e+04 < 0.1% (65855; 152296) +1271391: mip = 6.477570000e+04 >= 6.471828269e+04 < 0.1% (65778; 152503) +1272048: mip = 6.477570000e+04 >= 6.471840000e+04 < 0.1% (65693; 152681) Time used: 4083.1 secs. Memory used: 111.5 Mb. +1272793: mip = 6.477570000e+04 >= 6.471852580e+04 < 0.1% (65610; 152890) +1273565: mip = 6.477570000e+04 >= 6.471864090e+04 < 0.1% (65540; 153093) +1274340: mip = 6.477570000e+04 >= 6.471874898e+04 < 0.1% (65465; 153295) +1275090: mip = 6.477570000e+04 >= 6.471887057e+04 < 0.1% (65377; 153526) +1275729: mip = 6.477570000e+04 >= 6.471897879e+04 < 0.1% (65292; 153704) +1276423: mip = 6.477570000e+04 >= 6.471908856e+04 < 0.1% (65206; 153888) +1277170: mip = 6.477570000e+04 >= 6.471921000e+04 < 0.1% (65124; 154072) +1277912: mip = 6.477570000e+04 >= 6.471932971e+04 < 0.1% (65029; 154270) +1278607: mip = 6.477570000e+04 >= 6.471946827e+04 < 0.1% (64947; 154466) +1279269: mip = 6.477570000e+04 >= 6.471957935e+04 < 0.1% (64860; 154673) +1280046: mip = 6.477570000e+04 >= 6.471969556e+04 < 0.1% (64780; 154844) +1280777: mip = 6.477570000e+04 >= 6.471980653e+04 < 0.1% (64700; 155052) Time used: 4143.1 secs. Memory used: 111.6 Mb. +1281447: mip = 6.477570000e+04 >= 6.471992297e+04 < 0.1% (64614; 155227) +1282188: mip = 6.477570000e+04 >= 6.472006940e+04 < 0.1% (64544; 155408) +1282819: mip = 6.477570000e+04 >= 6.472016766e+04 < 0.1% (64465; 155584) +1283414: mip = 6.477570000e+04 >= 6.472025660e+04 < 0.1% (64387; 155737) +1284199: mip = 6.477570000e+04 >= 6.472037718e+04 < 0.1% (64302; 155936) +1284943: mip = 6.477570000e+04 >= 6.472048916e+04 < 0.1% (64221; 156124) +1285575: mip = 6.477570000e+04 >= 6.472061045e+04 < 0.1% (64139; 156330) +1286309: mip = 6.477570000e+04 >= 6.472072584e+04 < 0.1% (64052; 156562) +1287005: mip = 6.477570000e+04 >= 6.472084427e+04 < 0.1% (63971; 156749) +1287690: mip = 6.477570000e+04 >= 6.472092931e+04 < 0.1% (63890; 156945) +1288506: mip = 6.477570000e+04 >= 6.472104690e+04 < 0.1% (63815; 157138) +1289241: mip = 6.477570000e+04 >= 6.472114898e+04 < 0.1% (63729; 157312) Time used: 4203.1 secs. Memory used: 111.6 Mb. +1289968: mip = 6.477570000e+04 >= 6.472126230e+04 < 0.1% (63645; 157504) +1290672: mip = 6.477570000e+04 >= 6.472137944e+04 < 0.1% (63551; 157713) +1291328: mip = 6.477570000e+04 >= 6.472147961e+04 < 0.1% (63461; 157923) +1292014: mip = 6.477570000e+04 >= 6.472159434e+04 < 0.1% (63365; 158144) +1292686: mip = 6.477570000e+04 >= 6.472170438e+04 < 0.1% (63271; 158357) +1293369: mip = 6.477570000e+04 >= 6.472180859e+04 < 0.1% (63181; 158564) +1294163: mip = 6.477570000e+04 >= 6.472191122e+04 < 0.1% (63102; 158771) +1294875: mip = 6.477570000e+04 >= 6.472203508e+04 < 0.1% (63007; 158985) +1295562: mip = 6.477570000e+04 >= 6.472212985e+04 < 0.1% (62925; 159202) +1296266: mip = 6.477570000e+04 >= 6.472224297e+04 < 0.1% (62843; 159392) +1296994: mip = 6.477570000e+04 >= 6.472237463e+04 < 0.1% (62753; 159605) +1297713: mip = 6.477570000e+04 >= 6.472248115e+04 < 0.1% (62674; 159858) Time used: 4263.1 secs. Memory used: 111.6 Mb. +1298390: mip = 6.477570000e+04 >= 6.472261905e+04 < 0.1% (62581; 160052) +1299091: mip = 6.477570000e+04 >= 6.472274162e+04 < 0.1% (62486; 160287) +1299739: mip = 6.477570000e+04 >= 6.472284898e+04 < 0.1% (62385; 160501) +1300404: mip = 6.477570000e+04 >= 6.472299336e+04 < 0.1% (62282; 160740) +1301096: mip = 6.477570000e+04 >= 6.472311119e+04 < 0.1% (62200; 160961) +1301751: mip = 6.477570000e+04 >= 6.472321641e+04 < 0.1% (62100; 161193) +1302478: mip = 6.477570000e+04 >= 6.472332813e+04 < 0.1% (61991; 161424) +1303120: mip = 6.477570000e+04 >= 6.472343755e+04 < 0.1% (61898; 161635) +1303823: mip = 6.477570000e+04 >= 6.472355448e+04 < 0.1% (61804; 161848) +1304546: mip = 6.477570000e+04 >= 6.472367101e+04 < 0.1% (61708; 162091) +1305322: mip = 6.477570000e+04 >= 6.472377269e+04 < 0.1% (61627; 162300) +1305965: mip = 6.477570000e+04 >= 6.472388595e+04 < 0.1% (61520; 162509) Time used: 4323.1 secs. Memory used: 111.6 Mb. +1306661: mip = 6.477570000e+04 >= 6.472401119e+04 < 0.1% (61429; 162723) +1307385: mip = 6.477570000e+04 >= 6.472413160e+04 < 0.1% (61333; 162935) +1308165: mip = 6.477570000e+04 >= 6.472424403e+04 < 0.1% (61263; 163158) +1308923: mip = 6.477570000e+04 >= 6.472435480e+04 < 0.1% (61176; 163385) +1309622: mip = 6.477570000e+04 >= 6.472446488e+04 < 0.1% (61094; 163632) +1310254: mip = 6.477570000e+04 >= 6.472458806e+04 < 0.1% (60983; 163865) +1310941: mip = 6.477570000e+04 >= 6.472471168e+04 < 0.1% (60887; 164108) +1311690: mip = 6.477570000e+04 >= 6.472482403e+04 < 0.1% (60785; 164355) +1312374: mip = 6.477570000e+04 >= 6.472493025e+04 < 0.1% (60685; 164555) +1313043: mip = 6.477570000e+04 >= 6.472504274e+04 < 0.1% (60584; 164772) +1313715: mip = 6.477570000e+04 >= 6.472513887e+04 < 0.1% (60479; 165013) +1314503: mip = 6.477570000e+04 >= 6.472526641e+04 < 0.1% (60387; 165263) Time used: 4383.1 secs. Memory used: 111.6 Mb. +1315135: mip = 6.477570000e+04 >= 6.472536716e+04 < 0.1% (60284; 165525) +1315888: mip = 6.477570000e+04 >= 6.472549516e+04 < 0.1% (60196; 165766) +1316629: mip = 6.477570000e+04 >= 6.472562543e+04 < 0.1% (60100; 165974) +1317270: mip = 6.477570000e+04 >= 6.472575149e+04 < 0.1% (59997; 166236) +1317971: mip = 6.477570000e+04 >= 6.472587449e+04 < 0.1% (59894; 166513) +1318663: mip = 6.477570000e+04 >= 6.472599198e+04 < 0.1% (59796; 166779) +1319414: mip = 6.477570000e+04 >= 6.472612272e+04 < 0.1% (59701; 166984) +1320133: mip = 6.477570000e+04 >= 6.472623731e+04 < 0.1% (59601; 167220) +1320771: mip = 6.477570000e+04 >= 6.472634556e+04 < 0.1% (59487; 167459) +1321503: mip = 6.477570000e+04 >= 6.472647103e+04 < 0.1% (59375; 167680) +1322163: mip = 6.477570000e+04 >= 6.472660703e+04 < 0.1% (59270; 167932) +1322879: mip = 6.477570000e+04 >= 6.472672218e+04 < 0.1% (59162; 168209) Time used: 4443.1 secs. Memory used: 111.6 Mb. +1323630: mip = 6.477570000e+04 >= 6.472684063e+04 < 0.1% (59071; 168453) +1324336: mip = 6.477570000e+04 >= 6.472695770e+04 < 0.1% (58976; 168696) +1325066: mip = 6.477570000e+04 >= 6.472707183e+04 < 0.1% (58876; 168940) +1325793: mip = 6.477570000e+04 >= 6.472720201e+04 < 0.1% (58768; 169162) +1326526: mip = 6.477570000e+04 >= 6.472730952e+04 < 0.1% (58659; 169401) +1327308: mip = 6.477570000e+04 >= 6.472742333e+04 < 0.1% (58562; 169655) +1327973: mip = 6.477570000e+04 >= 6.472753728e+04 < 0.1% (58438; 169899) +1328707: mip = 6.477570000e+04 >= 6.472766064e+04 < 0.1% (58327; 170134) +1329407: mip = 6.477570000e+04 >= 6.472777254e+04 < 0.1% (58220; 170354) +1330132: mip = 6.477570000e+04 >= 6.472788550e+04 < 0.1% (58129; 170615) +1330943: mip = 6.477570000e+04 >= 6.472799493e+04 < 0.1% (58026; 170852) +1331637: mip = 6.477570000e+04 >= 6.472812482e+04 < 0.1% (57916; 171095) Time used: 4503.2 secs. Memory used: 111.6 Mb. +1332348: mip = 6.477570000e+04 >= 6.472825299e+04 < 0.1% (57809; 171357) +1333020: mip = 6.477570000e+04 >= 6.472836777e+04 < 0.1% (57713; 171608) +1333764: mip = 6.477570000e+04 >= 6.472849637e+04 < 0.1% (57609; 171850) +1334497: mip = 6.477570000e+04 >= 6.472860890e+04 < 0.1% (57514; 172123) +1335156: mip = 6.477570000e+04 >= 6.472872214e+04 < 0.1% (57409; 172370) +1335890: mip = 6.477570000e+04 >= 6.472885196e+04 < 0.1% (57295; 172646) +1336575: mip = 6.477570000e+04 >= 6.472896262e+04 < 0.1% (57186; 172914) +1337267: mip = 6.477570000e+04 >= 6.472907921e+04 < 0.1% (57090; 173176) +1337942: mip = 6.477570000e+04 >= 6.472921119e+04 < 0.1% (56974; 173464) +1338608: mip = 6.477570000e+04 >= 6.472933358e+04 < 0.1% (56860; 173693) +1339297: mip = 6.477570000e+04 >= 6.472947093e+04 < 0.1% (56744; 173964) +1339978: mip = 6.477570000e+04 >= 6.472963632e+04 < 0.1% (56637; 174241) Time used: 4563.2 secs. Memory used: 111.6 Mb. +1340667: mip = 6.477570000e+04 >= 6.472976611e+04 < 0.1% (56525; 174471) +1341313: mip = 6.477570000e+04 >= 6.472988272e+04 < 0.1% (56425; 174730) +1342048: mip = 6.477570000e+04 >= 6.473003384e+04 < 0.1% (56317; 175001) +1342829: mip = 6.477570000e+04 >= 6.473015993e+04 < 0.1% (56217; 175258) +1343537: mip = 6.477570000e+04 >= 6.473026928e+04 < 0.1% (56121; 175495) +1344195: mip = 6.477570000e+04 >= 6.473037935e+04 < 0.1% (56029; 175712) +1344865: mip = 6.477570000e+04 >= 6.473049848e+04 < 0.1% (55928; 175967) +1345577: mip = 6.477570000e+04 >= 6.473064609e+04 < 0.1% (55823; 176220) +1346284: mip = 6.477570000e+04 >= 6.473075582e+04 < 0.1% (55713; 176510) +1346939: mip = 6.477570000e+04 >= 6.473087183e+04 < 0.1% (55597; 176771) +1347601: mip = 6.477570000e+04 >= 6.473097612e+04 < 0.1% (55483; 177065) +1348342: mip = 6.477570000e+04 >= 6.473110895e+04 < 0.1% (55368; 177333) Time used: 4623.2 secs. Memory used: 111.6 Mb. +1349103: mip = 6.477570000e+04 >= 6.473120508e+04 < 0.1% (55256; 177575) +1349797: mip = 6.477570000e+04 >= 6.473133290e+04 < 0.1% (55146; 177842) +1350490: mip = 6.477570000e+04 >= 6.473145800e+04 < 0.1% (55026; 178122) +1351273: mip = 6.477570000e+04 >= 6.473158971e+04 < 0.1% (54913; 178363) +1351939: mip = 6.477570000e+04 >= 6.473171787e+04 < 0.1% (54798; 178608) +1352495: mip = 6.477570000e+04 >= 6.473180268e+04 < 0.1% (54703; 178832) +1352928: mip = 6.477570000e+04 >= 6.473188668e+04 < 0.1% (54625; 179028) +1353281: mip = 6.477570000e+04 >= 6.473195224e+04 < 0.1% (54577; 179136) +1353602: mip = 6.477570000e+04 >= 6.473199914e+04 < 0.1% (54529; 179269) +1353869: mip = 6.477570000e+04 >= 6.473204812e+04 < 0.1% (54490; 179344) +1354282: mip = 6.477570000e+04 >= 6.473211307e+04 < 0.1% (54424; 179481) Time used: 4683.2 secs. Memory used: 111.6 Mb. +1354879: mip = 6.477570000e+04 >= 6.473220699e+04 < 0.1% (54327; 179715) +1355460: mip = 6.477570000e+04 >= 6.473229328e+04 < 0.1% (54232; 179937) +1356218: mip = 6.477570000e+04 >= 6.473240786e+04 < 0.1% (54134; 180176) +1356796: mip = 6.477570000e+04 >= 6.473250000e+04 < 0.1% (54040; 180382) +1357480: mip = 6.477570000e+04 >= 6.473260000e+04 < 0.1% (53942; 180647) +1358034: mip = 6.477570000e+04 >= 6.473270330e+04 < 0.1% (53852; 180850) +1358676: mip = 6.477570000e+04 >= 6.473283538e+04 < 0.1% (53738; 181085) +1359239: mip = 6.477570000e+04 >= 6.473292820e+04 < 0.1% (53638; 181310) +1359877: mip = 6.477570000e+04 >= 6.473305149e+04 < 0.1% (53517; 181593) +1360576: mip = 6.477570000e+04 >= 6.473315971e+04 < 0.1% (53405; 181837) +1361205: mip = 6.477570000e+04 >= 6.473326439e+04 < 0.1% (53295; 182121) +1361926: mip = 6.477570000e+04 >= 6.473336523e+04 < 0.1% (53182; 182353) Time used: 4743.2 secs. Memory used: 111.6 Mb. +1362595: mip = 6.477570000e+04 >= 6.473346940e+04 < 0.1% (53070; 182582) +1363210: mip = 6.477570000e+04 >= 6.473358409e+04 < 0.1% (52966; 182813) +1363832: mip = 6.477570000e+04 >= 6.473371015e+04 < 0.1% (52854; 183102) +1364541: mip = 6.477570000e+04 >= 6.473381493e+04 < 0.1% (52740; 183376) +1365279: mip = 6.477570000e+04 >= 6.473394239e+04 < 0.1% (52623; 183650) +1366000: mip = 6.477570000e+04 >= 6.473407535e+04 < 0.1% (52506; 183927) +1366649: mip = 6.477570000e+04 >= 6.473419254e+04 < 0.1% (52387; 184211) +1367347: mip = 6.477570000e+04 >= 6.473432442e+04 < 0.1% (52276; 184567) +1367988: mip = 6.477570000e+04 >= 6.473443516e+04 < 0.1% (52169; 184820) +1368685: mip = 6.477570000e+04 >= 6.473454030e+04 < 0.1% (52065; 185096) +1369322: mip = 6.477570000e+04 >= 6.473464676e+04 < 0.1% (51967; 185329) +1369941: mip = 6.477570000e+04 >= 6.473476567e+04 < 0.1% (51848; 185638) Time used: 4803.2 secs. Memory used: 111.6 Mb. +1370635: mip = 6.477570000e+04 >= 6.473488359e+04 < 0.1% (51736; 185961) +1371331: mip = 6.477570000e+04 >= 6.473502219e+04 < 0.1% (51609; 186255) +1372049: mip = 6.477570000e+04 >= 6.473513209e+04 < 0.1% (51494; 186552) +1372684: mip = 6.477570000e+04 >= 6.473526114e+04 < 0.1% (51373; 186884) +1373445: mip = 6.477570000e+04 >= 6.473537685e+04 < 0.1% (51261; 187226) +1374110: mip = 6.477570000e+04 >= 6.473548739e+04 < 0.1% (51133; 187541) +1374740: mip = 6.477570000e+04 >= 6.473559609e+04 < 0.1% (51002; 187846) +1375490: mip = 6.477570000e+04 >= 6.473572500e+04 < 0.1% (50882; 188135) +1376189: mip = 6.477570000e+04 >= 6.473584090e+04 < 0.1% (50747; 188415) +1376959: mip = 6.477570000e+04 >= 6.473596371e+04 < 0.1% (50618; 188752) +1377712: mip = 6.477570000e+04 >= 6.473608286e+04 < 0.1% (50487; 189067) +1378483: mip = 6.477570000e+04 >= 6.473619701e+04 < 0.1% (50356; 189358) Time used: 4863.2 secs. Memory used: 111.6 Mb. +1379201: mip = 6.477570000e+04 >= 6.473632513e+04 < 0.1% (50226; 189652) +1379980: mip = 6.477570000e+04 >= 6.473644914e+04 < 0.1% (50106; 189981) +1380721: mip = 6.477570000e+04 >= 6.473657051e+04 < 0.1% (49985; 190275) +1381403: mip = 6.477570000e+04 >= 6.473670135e+04 < 0.1% (49848; 190632) +1382085: mip = 6.477570000e+04 >= 6.473682910e+04 < 0.1% (49728; 190956) +1382767: mip = 6.477570000e+04 >= 6.473695308e+04 < 0.1% (49601; 191249) +1383566: mip = 6.477570000e+04 >= 6.473707580e+04 < 0.1% (49472; 191582) +1384298: mip = 6.477570000e+04 >= 6.473720525e+04 < 0.1% (49338; 191888) +1385068: mip = 6.477570000e+04 >= 6.473733113e+04 < 0.1% (49212; 192178) +1385875: mip = 6.477570000e+04 >= 6.473746101e+04 < 0.1% (49086; 192458) +1386676: mip = 6.477570000e+04 >= 6.473758881e+04 < 0.1% (48955; 192782) +1387390: mip = 6.477570000e+04 >= 6.473771493e+04 < 0.1% (48810; 193123) Time used: 4923.2 secs. Memory used: 111.6 Mb. +1388077: mip = 6.477570000e+04 >= 6.473784701e+04 < 0.1% (48675; 193455) +1388764: mip = 6.477570000e+04 >= 6.473796328e+04 < 0.1% (48539; 193750) +1389495: mip = 6.477570000e+04 >= 6.473808230e+04 < 0.1% (48408; 194099) +1390246: mip = 6.477570000e+04 >= 6.473821683e+04 < 0.1% (48276; 194440) +1390999: mip = 6.477570000e+04 >= 6.473834990e+04 < 0.1% (48141; 194765) +1391624: mip = 6.477570000e+04 >= 6.473846775e+04 < 0.1% (48009; 195042) +1392196: mip = 6.477570000e+04 >= 6.473856742e+04 < 0.1% (47886; 195350) +1392859: mip = 6.477570000e+04 >= 6.473869552e+04 < 0.1% (47762; 195697) +1393526: mip = 6.477570000e+04 >= 6.473883296e+04 < 0.1% (47624; 196031) +1394240: mip = 6.477570000e+04 >= 6.473896285e+04 < 0.1% (47486; 196364) +1394965: mip = 6.477570000e+04 >= 6.473909365e+04 < 0.1% (47348; 196678) +1395635: mip = 6.477570000e+04 >= 6.473921685e+04 < 0.1% (47202; 197024) Time used: 4983.2 secs. Memory used: 111.6 Mb. +1396329: mip = 6.477570000e+04 >= 6.473933928e+04 < 0.1% (47071; 197359) +1397061: mip = 6.477570000e+04 >= 6.473946472e+04 < 0.1% (46937; 197707) +1397683: mip = 6.477570000e+04 >= 6.473956719e+04 < 0.1% (46805; 197963) +1398370: mip = 6.477570000e+04 >= 6.473968359e+04 < 0.1% (46683; 198308) +1399020: mip = 6.477570000e+04 >= 6.473981457e+04 < 0.1% (46538; 198645) +1399780: mip = 6.477570000e+04 >= 6.473994873e+04 < 0.1% (46402; 198957) +1400534: mip = 6.477570000e+04 >= 6.474006726e+04 < 0.1% (46272; 199331) +1401261: mip = 6.477570000e+04 >= 6.474020000e+04 < 0.1% (46132; 199697) +1401952: mip = 6.477570000e+04 >= 6.474033756e+04 < 0.1% (45982; 200047) +1402699: mip = 6.477570000e+04 >= 6.474047754e+04 < 0.1% (45847; 200387) +1403373: mip = 6.477570000e+04 >= 6.474059475e+04 < 0.1% (45701; 200774) Cuts on level 35: gmi = 7; mir = 28; +1404066: >>>>> 6.474072000e+04 >= 6.474072000e+04 < 0.1% (45562; 201093) +1404066: mip = 6.474072000e+04 >= tree is empty 0.0% (0; 395415) INTEGER OPTIMAL SOLUTION FOUND Time used: 5041.3 secs Memory used: 111.6 Mb (117071625 bytes) //Input data for Online Solver at https://www.lutanho.net/plt/lotsize_mcm.html //I u_0 y_0 y_I 25; 0; 0; 0; startup x_min fix var x_max fix var x_max fix var x_max demand y_min fix var y_max 0; 0, 302300,66,670,587100,66,1280,906200,66,1970; 599; 0, 0, 5, 9999; 0; 0, 295300,51,670,597000,51,1280,916500,51,1970; 413; 0, 0, 5, 9999; 0; 0, 289400,82,670,587200,82,1280,887900,82,1970; 404; 0, 0, 5, 9999; 0; 0, 313200,92,670,587100,92,1280,908800,92,1970; 569; 0, 0, 5, 9999; 0; 0, 309200,72,670,607900,72,1280,893200,72,1970; 437; 0, 0, 5, 9999; 0; 0, 305800,94,670,599100,94,1280,906200,94,1970; 409; 0, 0, 5, 9999; 0; 0, 285900,61,670,611700,61,1280,910600,61,1970; 432; 0, 0, 5, 9999; 0; 0, 308200,82,670,591400,82,1280,891900,82,1970; 567; 0, 0, 5, 9999; 0; 0, 303800,55,670,588500,55,1280,919300,55,1970; 585; 0, 0, 5, 9999; 0; 0, 304800,96,670,608800,96,1280,907100,96,1970; 575; 0, 0, 5, 9999; 0; 0, 305300,72,670,600500,72,1280,908700,72,1970; 495; 0, 0, 5, 9999; 0; 0, 301600,74,670,619600,74,1280,885000,74,1970; 459; 0, 0, 5, 9999; 0; 0, 292100,96,670,607400,96,1280,911100,96,1970; 536; 0, 0, 5, 9999; 0; 0, 296400,70,670,590000,70,1280,891500,70,1970; 442; 0, 0, 5, 9999; 0; 0, 302400,54,670,594800,54,1280,909300,54,1970; 405; 0, 0, 5, 9999; 0; 0, 313000,64,670,585300,64,1280,906500,64,1970; 417; 0, 0, 5, 9999; 0; 0, 287600,86,670,601300,86,1280,914000,86,1970; 592; 0, 0, 5, 9999; 0; 0, 288700,97,670,604700,97,1280,900300,97,1970; 553; 0, 0, 5, 9999; 0; 0, 312900,84,670,596900,84,1280,905500,84,1970; 401; 0, 0, 5, 9999; 0; 0, 315000,89,670,586700,89,1280,916200,89,1970; 503; 0, 0, 5, 9999; 0; 0, 291600,62,670,597300,62,1280,887600,62,1970; 498; 0, 0, 5, 9999; 0; 0, 308600,94,670,602700,94,1280,914500,94,1970; 528; 0, 0, 5, 9999; 0; 0, 312400,69,670,603100,69,1280,881800,69,1970; 570; 0, 0, 5, 9999; 0; 0, 294200,81,670,615900,81,1280,911400,81,1970; 413; 0, 0, 5, 9999; 0; 0, 314700,83,670,585500,83,1280,882700,83,1970; 513; 0, 0, 5, 9999; --------------------------------------------------------- Total Cost: 64740.7 Model has been successfully processed >Exit code: 0 Time: 5042.024