>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... 39 lines were read Generating totalcost... Generating balance... Generating x_on... Generating r_0... Generating s_0... Generating r_T... Generating s_T... Model has been successfully generated GLPK Integer Optimizer, v4.65 75 rows, 142 columns, 389 non-zeros 35 integer variables, all of which are binary Preprocessing... 70 rows, 138 columns, 241 non-zeros 35 integer variables, all of which are binary Scaling... A: min|aij| = 1.000e+00 max|aij| = 9.999e+03 ratio = 9.999e+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| = 1.000e+00 max|aij| = 1.221e+00 ratio = 1.221e+00 Constructing initial basis... Size of triangular part is 70 Solving LP relaxation... GLPK Simplex Optimizer, v4.65 70 rows, 138 columns, 241 non-zeros 0: obj = 2.665000000e+03 inf = 5.460e+02 (34) 34: obj = 2.801513651e+03 inf = 0.000e+00 (0) * 40: obj = 2.557513651e+03 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 No 0-1 knapsack inequalities detected Clique cuts enabled Constructing conflict graph... No conflicts found + 40: mip = not found yet >= -inf (1; 0) + 108: >>>>> 4.645100000e+04 >= 5.056763576e+03 89.1% (35; 0) + 173: >>>>> 2.496200000e+04 >= 5.074763576e+03 79.7% (68; 1) + 406: >>>>> 2.454400000e+04 >= 5.113763376e+03 79.2% (184; 9) Cuts on level 34: mir = 1; + 1232: >>>>> 2.407900000e+04 >= 7.556013501e+03 68.6% (513; 27) + 1582: >>>>> 2.345500000e+04 >= 7.578263326e+03 67.7% (688; 41) + 2017: >>>>> 2.335300000e+04 >= 7.610763076e+03 67.4% (897; 65) + 2067: >>>>> 2.248400000e+04 >= 7.612263226e+03 66.1% (922; 68) + 2169: >>>>> 2.113400000e+04 >= 7.638763176e+03 63.9% (970; 77) + 2268: >>>>> 2.069900000e+04 >= 7.659763176e+03 63.0% (997; 125) + 7917: >>>>> 2.038900000e+04 >= 8.369512551e+03 59.0% (3346; 287) + 28944: mip = 2.038900000e+04 >= 1.056526243e+04 48.2% (11956; 892) + 39390: >>>>> 2.028200000e+04 >= 1.075476238e+04 47.0% (15988; 1184) + 54864: mip = 2.028200000e+04 >= 1.107901130e+04 45.4% (21137; 1801) + 58992: >>>>> 2.012600000e+04 >= 1.141524122e+04 43.3% (22357; 1927) Cuts on level 32: mir = 1; + 59945: >>>>> 2.009600000e+04 >= 1.159901150e+04 42.3% (22419; 2337) Cuts on level 33: mir = 1; + 61474: >>>>> 1.993800000e+04 >= 1.170276198e+04 41.3% (22836; 2455) + 73591: mip = 1.993800000e+04 >= 1.225375988e+04 38.5% (25878; 3317) + 84225: mip = 1.993800000e+04 >= 1.266426303e+04 36.5% (29483; 3696) + 94487: mip = 1.993800000e+04 >= 1.275426243e+04 36.0% (33971; 4009) +103950: mip = 1.993800000e+04 >= 1.282201210e+04 35.7% (38118; 4303) +112909: mip = 1.993800000e+04 >= 1.291526223e+04 35.2% (41587; 4594) +121164: mip = 1.993800000e+04 >= 1.297351255e+04 34.9% (44795; 4862) Cuts on level 33: mir = 1; +126596: >>>>> 1.959000000e+04 >= 1.300426193e+04 33.6% (46961; 5035) +134422: mip = 1.959000000e+04 >= 1.304101140e+04 33.4% (49071; 7218) Time used: 60.0 secs. Memory used: 32.6 Mb. +141810: mip = 1.959000000e+04 >= 1.307876038e+04 33.2% (51977; 7463) +148752: mip = 1.959000000e+04 >= 1.311001240e+04 33.1% (54638; 7703) +155507: mip = 1.959000000e+04 >= 1.314351175e+04 32.9% (57195; 7936) +161907: mip = 1.959000000e+04 >= 1.317501190e+04 32.7% (59569; 8163) +168157: mip = 1.959000000e+04 >= 1.319976238e+04 32.6% (61861; 8385) +174297: mip = 1.959000000e+04 >= 1.322251195e+04 32.5% (64056; 8600) +180286: mip = 1.959000000e+04 >= 1.324276168e+04 32.4% (66110; 8812) +185895: mip = 1.959000000e+04 >= 1.326524092e+04 32.3% (68070; 9019) +191414: mip = 1.959000000e+04 >= 1.328699130e+04 32.2% (69996; 9222) +196947: mip = 1.959000000e+04 >= 1.330826143e+04 32.1% (71874; 9421) +202337: mip = 1.959000000e+04 >= 1.333276168e+04 31.9% (73616; 9618) +207484: mip = 1.959000000e+04 >= 1.335651125e+04 31.8% (75299; 9809) +207992: >>>>> 1.937000000e+04 >= 1.335826153e+04 31.0% (75456; 9826) Time used: 120.0 secs. Memory used: 48.7 Mb. +212962: mip = 1.937000000e+04 >= 1.338226093e+04 30.9% (75686; 12579) +217858: mip = 1.937000000e+04 >= 1.340526213e+04 30.8% (77146; 12764) +222643: mip = 1.937000000e+04 >= 1.343176138e+04 30.7% (78538; 12945) +227316: mip = 1.937000000e+04 >= 1.345701140e+04 30.5% (79897; 13125) +231934: mip = 1.937000000e+04 >= 1.347751105e+04 30.4% (81201; 13302) +236532: mip = 1.937000000e+04 >= 1.349976078e+04 30.3% (82501; 13476) +241071: mip = 1.937000000e+04 >= 1.352701150e+04 30.2% (83764; 13648) +245488: mip = 1.937000000e+04 >= 1.355376058e+04 30.0% (84974; 13818) +249793: mip = 1.937000000e+04 >= 1.358376068e+04 29.9% (86107; 13985) +253750: mip = 1.937000000e+04 >= 1.361626103e+04 29.7% (87128; 14140) +257875: mip = 1.937000000e+04 >= 1.366076098e+04 29.5% (88158; 14301) +262024: mip = 1.937000000e+04 >= 1.371676028e+04 29.2% (89147; 14466) Time used: 180.0 secs. Memory used: 61.8 Mb. +265877: mip = 1.937000000e+04 >= 1.378175898e+04 28.8% (90054; 14630) +269658: mip = 1.937000000e+04 >= 1.384976038e+04 28.5% (90897; 14793) +273122: mip = 1.937000000e+04 >= 1.395226063e+04 28.0% (91596; 14955) Cuts on level 32: gmi = 1; mir = 2; +275618: >>>>> 1.873300000e+04 >= 1.401549235e+04 25.2% (92114; 15065) +279337: mip = 1.873300000e+04 >= 1.407426153e+04 24.9% (85909; 29033) +282976: mip = 1.873300000e+04 >= 1.412576168e+04 24.6% (86561; 29200) +286598: mip = 1.873300000e+04 >= 1.416801210e+04 24.4% (87211; 29366) +290157: mip = 1.873300000e+04 >= 1.420301110e+04 24.2% (87835; 29530) +293647: mip = 1.873300000e+04 >= 1.423651025e+04 24.0% (88440; 29693) +297048: mip = 1.873300000e+04 >= 1.426776078e+04 23.8% (89058; 29853) +300392: mip = 1.873300000e+04 >= 1.429401060e+04 23.7% (89637; 30009) +303694: mip = 1.873300000e+04 >= 1.432251125e+04 23.5% (90206; 30168) Time used: 240.0 secs. Memory used: 68.2 Mb. +307001: mip = 1.873300000e+04 >= 1.434851165e+04 23.4% (90765; 30325) +309959: mip = 1.873300000e+04 >= 1.437025963e+04 23.3% (91255; 30473) +313128: mip = 1.873300000e+04 >= 1.439726213e+04 23.1% (91782; 30627) +316248: mip = 1.873300000e+04 >= 1.442374017e+04 23.0% (92304; 30780) +319280: mip = 1.873300000e+04 >= 1.444600980e+04 22.9% (92842; 30933) +322255: mip = 1.873300000e+04 >= 1.446926143e+04 22.8% (93333; 31084) +325052: mip = 1.873300000e+04 >= 1.449174147e+04 22.6% (93779; 31230) +327913: mip = 1.873300000e+04 >= 1.451675958e+04 22.5% (94253; 31379) +330691: mip = 1.873300000e+04 >= 1.453800860e+04 22.4% (94696; 31530) +333426: mip = 1.873300000e+04 >= 1.456001150e+04 22.3% (95103; 31678) +336132: mip = 1.873300000e+04 >= 1.458774057e+04 22.1% (95520; 31824) +338802: mip = 1.873300000e+04 >= 1.461651005e+04 22.0% (95924; 31973) Time used: 300.1 secs. Memory used: 75.1 Mb. +341153: mip = 1.873300000e+04 >= 1.464351025e+04 21.8% (96273; 32109) +343689: mip = 1.873300000e+04 >= 1.467676118e+04 21.7% (96644; 32258) +346127: mip = 1.873300000e+04 >= 1.470576058e+04 21.5% (97030; 32408) +348569: mip = 1.873300000e+04 >= 1.473401260e+04 21.3% (97401; 32556) +351109: mip = 1.873300000e+04 >= 1.476749015e+04 21.2% (97756; 32704) +353547: mip = 1.873300000e+04 >= 1.479601150e+04 21.0% (98099; 32851) +355945: mip = 1.873300000e+04 >= 1.481951055e+04 20.9% (98426; 32995) +358351: mip = 1.873300000e+04 >= 1.485900860e+04 20.7% (98712; 33141) +360844: mip = 1.873300000e+04 >= 1.488900910e+04 20.5% (99001; 33287) +363220: mip = 1.873300000e+04 >= 1.491576138e+04 20.4% (99252; 33432) +365581: mip = 1.873300000e+04 >= 1.494401080e+04 20.2% (99499; 33576) +367955: mip = 1.873300000e+04 >= 1.497226193e+04 20.1% (99761; 33722) Time used: 360.1 secs. Memory used: 81.3 Mb. +370306: mip = 1.873300000e+04 >= 1.499375898e+04 20.0% (100015; 33867) +372767: mip = 1.873300000e+04 >= 1.501725943e+04 19.8% (100261; 34012) +375191: mip = 1.873300000e+04 >= 1.504075988e+04 19.7% (100487; 34155) +377640: mip = 1.873300000e+04 >= 1.505892729e+04 19.6% (100814; 34298) +380109: mip = 1.873300000e+04 >= 1.507750965e+04 19.5% (101175; 34440) +382509: mip = 1.873300000e+04 >= 1.509410421e+04 19.4% (101547; 34580) +385015: mip = 1.873300000e+04 >= 1.511851125e+04 19.3% (101993; 34720) +387506: mip = 1.873300000e+04 >= 1.513526253e+04 19.2% (102436; 34859) +390037: mip = 1.873300000e+04 >= 1.515001130e+04 19.1% (102979; 34996) +392585: mip = 1.873300000e+04 >= 1.516224102e+04 19.1% (103483; 35132) +395158: mip = 1.873300000e+04 >= 1.517373767e+04 19.0% (104065; 35267) +397695: mip = 1.873300000e+04 >= 1.518576248e+04 18.9% (104651; 35402) Time used: 420.1 secs. Memory used: 87.7 Mb. +400315: mip = 1.873300000e+04 >= 1.519651235e+04 18.9% (105293; 35535) +402983: mip = 1.873300000e+04 >= 1.520651255e+04 18.8% (105982; 35667) +405582: mip = 1.873300000e+04 >= 1.521624002e+04 18.8% (106622; 35799) +408286: mip = 1.873300000e+04 >= 1.522549075e+04 18.7% (107320; 35931) +410915: mip = 1.873300000e+04 >= 1.523407641e+04 18.7% (107970; 36061) +413533: mip = 1.873300000e+04 >= 1.524300980e+04 18.6% (108633; 36191) +416170: mip = 1.873300000e+04 >= 1.525176178e+04 18.6% (109313; 36320) +418792: mip = 1.873300000e+04 >= 1.526100980e+04 18.5% (109917; 36448) +421370: mip = 1.873300000e+04 >= 1.526976238e+04 18.5% (110493; 36576) +423803: mip = 1.873300000e+04 >= 1.527751025e+04 18.4% (111047; 36699) +426368: mip = 1.873300000e+04 >= 1.528651185e+04 18.4% (111625; 36824) +428808: mip = 1.873300000e+04 >= 1.529401220e+04 18.4% (112066; 36951) Time used: 480.1 secs. Memory used: 94.3 Mb. +431311: mip = 1.873300000e+04 >= 1.530298970e+04 18.3% (112553; 37077) +433770: mip = 1.873300000e+04 >= 1.531175778e+04 18.3% (113025; 37204) +436227: mip = 1.873300000e+04 >= 1.532051055e+04 18.2% (113503; 37329) +438589: mip = 1.873300000e+04 >= 1.532951165e+04 18.2% (113979; 37454) +440963: mip = 1.873300000e+04 >= 1.533876018e+04 18.1% (114407; 37579) +443365: mip = 1.873300000e+04 >= 1.534826163e+04 18.1% (114849; 37704) +445746: mip = 1.873300000e+04 >= 1.535776198e+04 18.0% (115271; 37828) +448122: mip = 1.873300000e+04 >= 1.536823832e+04 18.0% (115743; 37952) +450478: mip = 1.873300000e+04 >= 1.537576228e+04 17.9% (116169; 38075) +452794: mip = 1.873300000e+04 >= 1.538450915e+04 17.9% (116613; 38197) +455103: mip = 1.873300000e+04 >= 1.539201180e+04 17.8% (117048; 38319) +457410: mip = 1.873300000e+04 >= 1.539925883e+04 17.8% (117483; 38443) Time used: 540.1 secs. Memory used: 99.7 Mb. +459694: mip = 1.873300000e+04 >= 1.540601150e+04 17.8% (117899; 38561) +461985: mip = 1.873300000e+04 >= 1.541151055e+04 17.7% (118308; 38680) +464338: mip = 1.873300000e+04 >= 1.541825763e+04 17.7% (118762; 38800) +466743: mip = 1.873300000e+04 >= 1.542476138e+04 17.7% (119215; 38921) +469078: mip = 1.873300000e+04 >= 1.543101140e+04 17.6% (119669; 39038) +471424: mip = 1.873300000e+04 >= 1.543676058e+04 17.6% (120106; 39158) +473828: mip = 1.873300000e+04 >= 1.544301050e+04 17.6% (120562; 39277) +476128: mip = 1.873300000e+04 >= 1.544801180e+04 17.5% (120950; 39396) +478622: mip = 1.873300000e+04 >= 1.545426163e+04 17.5% (121439; 39514) +481016: mip = 1.873300000e+04 >= 1.546001090e+04 17.5% (121920; 39631) +483296: mip = 1.873300000e+04 >= 1.546576138e+04 17.4% (122375; 39742) +485677: mip = 1.873300000e+04 >= 1.547050895e+04 17.4% (122822; 39858) Time used: 600.1 secs. Memory used: 105.1 Mb. +487938: mip = 1.873300000e+04 >= 1.547501210e+04 17.4% (123246; 39973) +490287: mip = 1.873300000e+04 >= 1.548026173e+04 17.4% (123653; 40089) +492579: mip = 1.873300000e+04 >= 1.548526173e+04 17.3% (124064; 40206) +494920: mip = 1.873300000e+04 >= 1.548951065e+04 17.3% (124499; 40325) +497220: mip = 1.873300000e+04 >= 1.549426023e+04 17.3% (124903; 40443) +499582: mip = 1.873300000e+04 >= 1.549926053e+04 17.3% (125339; 40559) +502015: mip = 1.873300000e+04 >= 1.550326163e+04 17.2% (125780; 40674) +504340: mip = 1.873300000e+04 >= 1.550749005e+04 17.2% (126186; 40789) +506700: mip = 1.873300000e+04 >= 1.551199010e+04 17.2% (126635; 40904) +508946: mip = 1.873300000e+04 >= 1.551651015e+04 17.2% (127041; 41015) +511259: mip = 1.873300000e+04 >= 1.552051145e+04 17.1% (127475; 41126) +513606: mip = 1.873300000e+04 >= 1.552550975e+04 17.1% (127870; 41241) Time used: 660.2 secs. Memory used: 110.7 Mb. +515841: mip = 1.873300000e+04 >= 1.552901220e+04 17.1% (128222; 41355) +518127: mip = 1.873300000e+04 >= 1.553351095e+04 17.1% (128637; 41468) +520418: mip = 1.873300000e+04 >= 1.553751165e+04 17.1% (129035; 41580) +522533: mip = 1.873300000e+04 >= 1.554226113e+04 17.0% (129357; 41691) +524726: mip = 1.873300000e+04 >= 1.554601160e+04 17.0% (129725; 41802) +526957: mip = 1.873300000e+04 >= 1.555000720e+04 17.0% (130123; 41914) +529161: mip = 1.873300000e+04 >= 1.555426093e+04 17.0% (130465; 42025) +531395: mip = 1.873300000e+04 >= 1.555874027e+04 16.9% (130836; 42134) +533506: mip = 1.873300000e+04 >= 1.556226143e+04 16.9% (131183; 42245) +535696: mip = 1.873300000e+04 >= 1.556599030e+04 16.9% (131560; 42355) +537876: mip = 1.873300000e+04 >= 1.557026123e+04 16.9% (131915; 42466) +540090: mip = 1.873300000e+04 >= 1.557401190e+04 16.9% (132246; 42577) Time used: 720.2 secs. Memory used: 116.1 Mb. +542200: mip = 1.873300000e+04 >= 1.557801210e+04 16.8% (132553; 42688) +544368: mip = 1.873300000e+04 >= 1.558175858e+04 16.8% (132900; 42798) +546565: mip = 1.873300000e+04 >= 1.558551145e+04 16.8% (133236; 42907) +548616: mip = 1.873300000e+04 >= 1.559001090e+04 16.8% (133532; 43017) +550796: mip = 1.873300000e+04 >= 1.559373797e+04 16.8% (133841; 43127) +552912: mip = 1.873300000e+04 >= 1.559726173e+04 16.7% (134150; 43239) +555055: mip = 1.873300000e+04 >= 1.560101100e+04 16.7% (134461; 43349) +557275: mip = 1.873300000e+04 >= 1.560476148e+04 16.7% (134775; 43458) +559359: mip = 1.873300000e+04 >= 1.560826213e+04 16.7% (135056; 43568) +561343: mip = 1.873300000e+04 >= 1.561176138e+04 16.7% (135338; 43675) +563446: mip = 1.873300000e+04 >= 1.561551165e+04 16.6% (135656; 43783) +565538: mip = 1.873300000e+04 >= 1.561901140e+04 16.6% (135980; 43891) Time used: 780.2 secs. Memory used: 121.2 Mb. +567630: mip = 1.873300000e+04 >= 1.562201150e+04 16.6% (136240; 43999) +569769: mip = 1.873300000e+04 >= 1.562573927e+04 16.6% (136521; 44107) +571839: mip = 1.873300000e+04 >= 1.562901080e+04 16.6% (136810; 44215) +573948: mip = 1.873300000e+04 >= 1.563273927e+04 16.5% (137109; 44322) +575968: mip = 1.873300000e+04 >= 1.563651215e+04 16.5% (137401; 44428) +578042: mip = 1.873300000e+04 >= 1.563951195e+04 16.5% (137645; 44535) +580083: mip = 1.873300000e+04 >= 1.564376128e+04 16.5% (137913; 44643) +582157: mip = 1.873300000e+04 >= 1.564676078e+04 16.5% (138183; 44750) +584198: mip = 1.873300000e+04 >= 1.564976088e+04 16.5% (138493; 44856) +586252: mip = 1.873300000e+04 >= 1.565301060e+04 16.4% (138708; 44961) +588247: mip = 1.873300000e+04 >= 1.565601130e+04 16.4% (138949; 45067) +590346: mip = 1.873300000e+04 >= 1.565901180e+04 16.4% (139230; 45172) Time used: 840.2 secs. Memory used: 126.2 Mb. +592318: mip = 1.873300000e+04 >= 1.566276148e+04 16.4% (139478; 45277) +594333: mip = 1.873300000e+04 >= 1.566526183e+04 16.4% (139725; 45382) +596333: mip = 1.873300000e+04 >= 1.566826183e+04 16.4% (139969; 45486) +598263: mip = 1.873300000e+04 >= 1.567151145e+04 16.3% (140217; 45590) +600198: mip = 1.873300000e+04 >= 1.567451115e+04 16.3% (140450; 45689) +602204: mip = 1.873300000e+04 >= 1.567726093e+04 16.3% (140702; 45793) +604168: mip = 1.873300000e+04 >= 1.568026113e+04 16.3% (140930; 45898) +606224: mip = 1.873300000e+04 >= 1.568301110e+04 16.3% (141163; 46003) +608175: mip = 1.873300000e+04 >= 1.568576138e+04 16.3% (141407; 46106) +610145: mip = 1.873300000e+04 >= 1.568876088e+04 16.3% (141654; 46210) +612054: mip = 1.873300000e+04 >= 1.569174107e+04 16.2% (141880; 46313) +614002: mip = 1.873300000e+04 >= 1.569426073e+04 16.2% (142069; 46416) Time used: 900.3 secs. Memory used: 131.0 Mb. +615925: mip = 1.873300000e+04 >= 1.569676078e+04 16.2% (142274; 46520) +617880: mip = 1.873300000e+04 >= 1.569976178e+04 16.2% (142482; 46623) +619844: mip = 1.873300000e+04 >= 1.570201140e+04 16.2% (142687; 46725) +621711: mip = 1.873300000e+04 >= 1.570451095e+04 16.2% (142878; 46824) +623612: mip = 1.873300000e+04 >= 1.570751155e+04 16.2% (143093; 46926) +625456: mip = 1.873300000e+04 >= 1.571051105e+04 16.1% (143285; 47028) +627359: mip = 1.873300000e+04 >= 1.571276108e+04 16.1% (143453; 47130) +629226: mip = 1.873300000e+04 >= 1.571551095e+04 16.1% (143614; 47232) +631119: mip = 1.873300000e+04 >= 1.571801150e+04 16.1% (143827; 47333) +633038: mip = 1.873300000e+04 >= 1.572051065e+04 16.1% (144016; 47435) +634957: mip = 1.873300000e+04 >= 1.572301170e+04 16.1% (144199; 47537) Time used: 960.3 secs. Memory used: 135.3 Mb. +636816: mip = 1.873300000e+04 >= 1.572573957e+04 16.1% (144377; 47639) +638685: mip = 1.873300000e+04 >= 1.572826153e+04 16.0% (144548; 47740) +640494: mip = 1.873300000e+04 >= 1.573126133e+04 16.0% (144705; 47841) +642367: mip = 1.873300000e+04 >= 1.573401130e+04 16.0% (144852; 47943) +644182: mip = 1.873300000e+04 >= 1.573651125e+04 16.0% (145019; 48044) +645976: mip = 1.873300000e+04 >= 1.573901140e+04 16.0% (145205; 48145) +647799: mip = 1.873300000e+04 >= 1.574126113e+04 16.0% (145335; 48246) +649612: mip = 1.873300000e+04 >= 1.574401130e+04 16.0% (145469; 48347) +651429: mip = 1.873300000e+04 >= 1.574651125e+04 15.9% (145617; 48448) +653264: mip = 1.873300000e+04 >= 1.574901110e+04 15.9% (145749; 48549) +655154: mip = 1.873300000e+04 >= 1.575176058e+04 15.9% (145916; 48651) +656967: mip = 1.873300000e+04 >= 1.575426063e+04 15.9% (146046; 48751) Time used: 1020.3 secs. Memory used: 139.1 Mb. +658722: mip = 1.873300000e+04 >= 1.575651075e+04 15.9% (146183; 48851) +660512: mip = 1.873300000e+04 >= 1.575926103e+04 15.9% (146320; 48951) +662283: mip = 1.873300000e+04 >= 1.576251005e+04 15.9% (146470; 49051) +664039: mip = 1.873300000e+04 >= 1.576526173e+04 15.8% (146572; 49151) +665813: mip = 1.873300000e+04 >= 1.576776088e+04 15.8% (146691; 49250) +667642: mip = 1.873300000e+04 >= 1.577001140e+04 15.8% (146848; 49350) +669424: mip = 1.873300000e+04 >= 1.577276068e+04 15.8% (146972; 49450) +671216: mip = 1.873300000e+04 >= 1.577575888e+04 15.8% (147073; 49550) +672953: mip = 1.873300000e+04 >= 1.577801060e+04 15.8% (147169; 49651) +674595: mip = 1.873300000e+04 >= 1.578051135e+04 15.8% (147293; 49747) +676289: mip = 1.873300000e+04 >= 1.578349055e+04 15.7% (147371; 49846) +678043: mip = 1.873300000e+04 >= 1.578600990e+04 15.7% (147478; 49945) Time used: 1080.3 secs. Memory used: 142.6 Mb. +679861: mip = 1.873300000e+04 >= 1.578851045e+04 15.7% (147583; 50045) +681551: mip = 1.873300000e+04 >= 1.579126053e+04 15.7% (147676; 50144) +683284: mip = 1.873300000e+04 >= 1.579426053e+04 15.7% (147761; 50244) +684985: mip = 1.873300000e+04 >= 1.579676088e+04 15.7% (147840; 50344) +686680: mip = 1.873300000e+04 >= 1.579926103e+04 15.7% (147927; 50442) +688440: mip = 1.873300000e+04 >= 1.580273917e+04 15.6% (148022; 50541) +690169: mip = 1.873300000e+04 >= 1.580526113e+04 15.6% (148104; 50641) +691860: mip = 1.873300000e+04 >= 1.580776028e+04 15.6% (148178; 50743) +693487: mip = 1.873300000e+04 >= 1.581076028e+04 15.6% (148236; 50844) +695143: mip = 1.873300000e+04 >= 1.581350695e+04 15.6% (148314; 50943) +696811: mip = 1.873300000e+04 >= 1.581625823e+04 15.6% (148376; 51041) +698513: mip = 1.873300000e+04 >= 1.581926003e+04 15.6% (148433; 51146) Time used: 1140.3 secs. Memory used: 148.1 Mb. +700235: mip = 1.873300000e+04 >= 1.582226033e+04 15.5% (148489; 51246) +701877: mip = 1.873300000e+04 >= 1.582476058e+04 15.5% (148551; 51351) +703494: mip = 1.873300000e+04 >= 1.582776058e+04 15.5% (148607; 51449) +705123: mip = 1.873300000e+04 >= 1.583075988e+04 15.5% (148659; 51548) +706746: mip = 1.873300000e+04 >= 1.583326103e+04 15.5% (148740; 51644) +708341: mip = 1.873300000e+04 >= 1.583626113e+04 15.5% (148788; 51741) +709944: mip = 1.873300000e+04 >= 1.583921632e+04 15.4% (148847; 51837) +711592: mip = 1.873300000e+04 >= 1.584151175e+04 15.4% (148882; 51934) +713187: mip = 1.873300000e+04 >= 1.584451075e+04 15.4% (148929; 52035) +714812: mip = 1.873300000e+04 >= 1.584751025e+04 15.4% (148993; 52132) +716446: mip = 1.873300000e+04 >= 1.584976068e+04 15.4% (149054; 52231) +718085: mip = 1.873300000e+04 >= 1.585251025e+04 15.4% (149112; 52331) Time used: 1200.4 secs. Memory used: 150.7 Mb. +719659: mip = 1.873300000e+04 >= 1.585551145e+04 15.4% (149166; 52428) +721215: mip = 1.873300000e+04 >= 1.585875868e+04 15.3% (149213; 52526) +722850: mip = 1.873300000e+04 >= 1.586098890e+04 15.3% (149259; 52623) +724490: mip = 1.873300000e+04 >= 1.586351085e+04 15.3% (149330; 52721) +726075: mip = 1.873300000e+04 >= 1.586651055e+04 15.3% (149370; 52818) +727676: mip = 1.873300000e+04 >= 1.586876138e+04 15.3% (149442; 52915) +729253: mip = 1.873300000e+04 >= 1.587174197e+04 15.3% (149480; 53012) +730871: mip = 1.873300000e+04 >= 1.587451175e+04 15.3% (149531; 53110) +732422: mip = 1.873300000e+04 >= 1.587776028e+04 15.2% (149586; 53207) +734035: mip = 1.873300000e+04 >= 1.588000890e+04 15.2% (149621; 53303) +735591: mip = 1.873300000e+04 >= 1.588275978e+04 15.2% (149662; 53402) +737157: mip = 1.873300000e+04 >= 1.588526073e+04 15.2% (149711; 53499) Time used: 1260.4 secs. Memory used: 153.3 Mb. +738707: mip = 1.873300000e+04 >= 1.588801100e+04 15.2% (149756; 53596) +740351: mip = 1.873300000e+04 >= 1.589100800e+04 15.2% (149799; 53696) +741927: mip = 1.873300000e+04 >= 1.589376138e+04 15.2% (149816; 53794) +743497: mip = 1.873300000e+04 >= 1.589651085e+04 15.1% (149850; 53891) +745072: mip = 1.873300000e+04 >= 1.589926063e+04 15.1% (149885; 53988) +746595: mip = 1.873300000e+04 >= 1.590201150e+04 15.1% (149922; 54084) +748122: mip = 1.873300000e+04 >= 1.590476048e+04 15.1% (149957; 54180) +749607: mip = 1.873300000e+04 >= 1.590776068e+04 15.1% (149982; 54278) +751151: mip = 1.873300000e+04 >= 1.591026133e+04 15.1% (149995; 54374) +752686: mip = 1.873300000e+04 >= 1.591326063e+04 15.1% (150017; 54468) +754276: mip = 1.873300000e+04 >= 1.591626003e+04 15.0% (150059; 54565) +755797: mip = 1.873300000e+04 >= 1.591901050e+04 15.0% (150059; 54662) Time used: 1320.4 secs. Memory used: 155.6 Mb. +757334: mip = 1.873300000e+04 >= 1.592201140e+04 15.0% (150070; 54759) +758829: mip = 1.873300000e+04 >= 1.592501130e+04 15.0% (150107; 54859) +760367: mip = 1.873300000e+04 >= 1.592776088e+04 15.0% (150144; 54955) +761904: mip = 1.873300000e+04 >= 1.593101200e+04 15.0% (150169; 55051) +763434: mip = 1.873300000e+04 >= 1.593351075e+04 14.9% (150176; 55147) +764979: mip = 1.873300000e+04 >= 1.593625723e+04 14.9% (150200; 55243) +766488: mip = 1.873300000e+04 >= 1.593924112e+04 14.9% (150207; 55341) +768025: mip = 1.873300000e+04 >= 1.594176008e+04 14.9% (150223; 55437) +769507: mip = 1.873300000e+04 >= 1.594426123e+04 14.9% (150229; 55534) +771011: mip = 1.873300000e+04 >= 1.594826073e+04 14.9% (150252; 55632) +772528: mip = 1.873300000e+04 >= 1.595101000e+04 14.9% (150261; 55727) +773998: mip = 1.873300000e+04 >= 1.595376058e+04 14.8% (150259; 55825) Time used: 1380.4 secs. Memory used: 157.9 Mb. +775556: mip = 1.873300000e+04 >= 1.595649065e+04 14.8% (150268; 55925) +777090: mip = 1.873300000e+04 >= 1.595901090e+04 14.8% (150290; 56023) +778600: mip = 1.873300000e+04 >= 1.596151145e+04 14.8% (150300; 56123) +780084: mip = 1.873300000e+04 >= 1.596476028e+04 14.8% (150311; 56219) +781527: mip = 1.873300000e+04 >= 1.596776008e+04 14.8% (150310; 56315) +783020: mip = 1.873300000e+04 >= 1.597073917e+04 14.7% (150298; 56412) +784484: mip = 1.873300000e+04 >= 1.597398910e+04 14.7% (150282; 56508) +786000: mip = 1.873300000e+04 >= 1.597651185e+04 14.7% (150290; 56604) +787471: mip = 1.873300000e+04 >= 1.597951055e+04 14.7% (150288; 56699) +788917: mip = 1.873300000e+04 >= 1.598276018e+04 14.7% (150280; 56796) +790439: mip = 1.873300000e+04 >= 1.598551005e+04 14.7% (150268; 56891) Time used: 1440.4 secs. Memory used: 160.0 Mb. +791902: mip = 1.873300000e+04 >= 1.598801140e+04 14.7% (150251; 56986) +793344: mip = 1.873300000e+04 >= 1.599126023e+04 14.6% (150238; 57082) +794776: mip = 1.873300000e+04 >= 1.599426043e+04 14.6% (150226; 57177) +796225: mip = 1.873300000e+04 >= 1.599751065e+04 14.6% (150222; 57274) +797700: mip = 1.873300000e+04 >= 1.600126003e+04 14.6% (150214; 57369) +799128: mip = 1.873300000e+04 >= 1.600451005e+04 14.6% (150191; 57465) +800561: mip = 1.873300000e+04 >= 1.600751005e+04 14.5% (150183; 57561) +802041: mip = 1.873300000e+04 >= 1.601051035e+04 14.5% (150185; 57657) +803513: mip = 1.873300000e+04 >= 1.601351125e+04 14.5% (150168; 57752) +804996: mip = 1.873300000e+04 >= 1.601650995e+04 14.5% (150179; 57847) +806453: mip = 1.873300000e+04 >= 1.602026043e+04 14.5% (150169; 57943) +807836: mip = 1.873300000e+04 >= 1.602326023e+04 14.5% (150133; 58038) Time used: 1500.4 secs. Memory used: 162.0 Mb. +809264: mip = 1.873300000e+04 >= 1.602676148e+04 14.4% (150117; 58133) +810683: mip = 1.873300000e+04 >= 1.602976048e+04 14.4% (150104; 58231) +812084: mip = 1.873300000e+04 >= 1.603276038e+04 14.4% (150095; 58326) +813482: mip = 1.873300000e+04 >= 1.603576168e+04 14.4% (150086; 58424) +814876: mip = 1.873300000e+04 >= 1.603950905e+04 14.4% (150073; 58519) +816333: mip = 1.873300000e+04 >= 1.604326043e+04 14.4% (150056; 58616) +817741: mip = 1.873300000e+04 >= 1.604576068e+04 14.3% (150042; 58712) +819165: mip = 1.873300000e+04 >= 1.604917842e+04 14.3% (150025; 58807) +820472: mip = 1.873300000e+04 >= 1.605250945e+04 14.3% (150004; 58902) +821815: mip = 1.873300000e+04 >= 1.605573847e+04 14.3% (149982; 58997) +823275: mip = 1.873300000e+04 >= 1.605951025e+04 14.3% (149959; 59092) +824625: mip = 1.873300000e+04 >= 1.606301030e+04 14.3% (149933; 59189) Time used: 1560.5 secs. Memory used: 163.9 Mb. +826022: mip = 1.873300000e+04 >= 1.606700910e+04 14.2% (149907; 59286) +827461: mip = 1.873300000e+04 >= 1.607048815e+04 14.2% (149887; 59384) +828849: mip = 1.873300000e+04 >= 1.607426083e+04 14.2% (149857; 59478) +830193: mip = 1.873300000e+04 >= 1.607800970e+04 14.2% (149822; 59574) +831553: mip = 1.873300000e+04 >= 1.608226153e+04 14.2% (149782; 59670) +832891: mip = 1.873300000e+04 >= 1.608626043e+04 14.1% (149756; 59765) +834246: mip = 1.873300000e+04 >= 1.609051145e+04 14.1% (149724; 59860) +835598: mip = 1.873300000e+04 >= 1.609498850e+04 14.1% (149693; 59955) +836897: mip = 1.873300000e+04 >= 1.609925993e+04 14.1% (149658; 60058) +838219: mip = 1.873300000e+04 >= 1.610323822e+04 14.0% (149629; 60157) +839559: mip = 1.873300000e+04 >= 1.610651115e+04 14.0% (149596; 60257) +840875: mip = 1.873300000e+04 >= 1.611175948e+04 14.0% (149560; 60353) Time used: 1620.5 secs. Memory used: 165.7 Mb. +842175: mip = 1.873300000e+04 >= 1.611676038e+04 14.0% (149525; 60455) +843507: mip = 1.873300000e+04 >= 1.612126033e+04 13.9% (149487; 60550) +844826: mip = 1.873300000e+04 >= 1.612576018e+04 13.9% (149461; 60644) +846126: mip = 1.873300000e+04 >= 1.612975988e+04 13.9% (149426; 60743) +847389: mip = 1.873300000e+04 >= 1.613526093e+04 13.9% (149379; 60840) +848687: mip = 1.873300000e+04 >= 1.614048905e+04 13.8% (149338; 60935) +849925: mip = 1.873300000e+04 >= 1.614451065e+04 13.8% (149308; 61034) +851158: mip = 1.873300000e+04 >= 1.614999090e+04 13.8% (149273; 61127) +852447: mip = 1.873300000e+04 >= 1.615423872e+04 13.8% (149238; 61223) +853630: mip = 1.873300000e+04 >= 1.615800970e+04 13.7% (149199; 61318) +854934: mip = 1.873300000e+04 >= 1.616251135e+04 13.7% (149162; 61413) +856177: mip = 1.873300000e+04 >= 1.616850865e+04 13.7% (149130; 61508) Time used: 1680.5 secs. Memory used: 167.3 Mb. +857435: mip = 1.873300000e+04 >= 1.617326073e+04 13.7% (149091; 61602) +858719: mip = 1.873300000e+04 >= 1.617749085e+04 13.6% (149054; 61700) +859998: mip = 1.873300000e+04 >= 1.618226063e+04 13.6% (149017; 61794) +861293: mip = 1.873300000e+04 >= 1.618876008e+04 13.6% (148975; 61888) +862548: mip = 1.873300000e+04 >= 1.619401000e+04 13.6% (148940; 61983) +863811: mip = 1.873300000e+04 >= 1.619926103e+04 13.5% (148909; 62080) +865061: mip = 1.873300000e+04 >= 1.620501000e+04 13.5% (148868; 62181) +866286: mip = 1.873300000e+04 >= 1.621000890e+04 13.5% (148835; 62275) +867541: mip = 1.873300000e+04 >= 1.621425923e+04 13.4% (148796; 62373) +868763: mip = 1.873300000e+04 >= 1.622051025e+04 13.4% (148761; 62470) +869985: mip = 1.873300000e+04 >= 1.622575828e+04 13.4% (148724; 62563) +871263: mip = 1.873300000e+04 >= 1.623150945e+04 13.4% (148693; 62659) Time used: 1740.6 secs. Memory used: 169.1 Mb. +872475: mip = 1.873300000e+04 >= 1.623726023e+04 13.3% (148656; 62760) +873707: mip = 1.873300000e+04 >= 1.624251105e+04 13.3% (148620; 62855) +874839: mip = 1.873300000e+04 >= 1.624800970e+04 13.3% (148547; 62951) +876052: mip = 1.873300000e+04 >= 1.625400970e+04 13.2% (148459; 63045) +877218: mip = 1.873300000e+04 >= 1.626000970e+04 13.2% (148366; 63141) +878397: mip = 1.873300000e+04 >= 1.626525883e+04 13.2% (148272; 63239) +879605: mip = 1.873300000e+04 >= 1.627048925e+04 13.1% (148179; 63344) +880734: mip = 1.873300000e+04 >= 1.627649035e+04 13.1% (148085; 63443) +881934: mip = 1.873300000e+04 >= 1.628251025e+04 13.1% (147992; 63538) +883068: mip = 1.873300000e+04 >= 1.628773967e+04 13.1% (147899; 63633) +884225: mip = 1.873300000e+04 >= 1.629351045e+04 13.0% (147805; 63729) +885366: mip = 1.873300000e+04 >= 1.629948665e+04 13.0% (147711; 63827) Time used: 1800.6 secs. Memory used: 169.4 Mb. +886511: mip = 1.873300000e+04 >= 1.630501130e+04 13.0% (147617; 63926) +887666: mip = 1.873300000e+04 >= 1.631174127e+04 12.9% (147523; 64021) +888783: mip = 1.873300000e+04 >= 1.631776008e+04 12.9% (147431; 64117) +889877: mip = 1.873300000e+04 >= 1.632301050e+04 12.9% (147337; 64215) +890969: mip = 1.873300000e+04 >= 1.632974077e+04 12.8% (147243; 64313) +892130: mip = 1.873300000e+04 >= 1.633601000e+04 12.8% (147149; 64417) +893234: mip = 1.873300000e+04 >= 1.634326003e+04 12.8% (147054; 64515) +894221: mip = 1.873300000e+04 >= 1.634851105e+04 12.7% (146968; 64604) +895340: mip = 1.873300000e+04 >= 1.635598720e+04 12.7% (146874; 64706) +896452: mip = 1.873300000e+04 >= 1.636300850e+04 12.7% (146779; 64805) +897516: mip = 1.873300000e+04 >= 1.636976038e+04 12.6% (146687; 64900) +898575: mip = 1.873300000e+04 >= 1.637650955e+04 12.6% (146593; 65000) Time used: 1860.6 secs. Memory used: 169.4 Mb. +899580: mip = 1.873300000e+04 >= 1.638351045e+04 12.5% (146504; 65090) +900576: mip = 1.873300000e+04 >= 1.639023722e+04 12.5% (146419; 65184) +901625: mip = 1.873300000e+04 >= 1.639776008e+04 12.5% (146325; 65284) +902717: mip = 1.873300000e+04 >= 1.640472907e+04 12.4% (146231; 65384) +903751: mip = 1.873300000e+04 >= 1.641226083e+04 12.4% (146136; 65493) +904779: mip = 1.873300000e+04 >= 1.642048915e+04 12.3% (146043; 65590) +905838: mip = 1.873300000e+04 >= 1.642823772e+04 12.3% (145949; 65688) +906894: mip = 1.873300000e+04 >= 1.643426003e+04 12.3% (145855; 65787) +907957: mip = 1.873300000e+04 >= 1.644200900e+04 12.2% (145761; 65883) +909013: mip = 1.873300000e+04 >= 1.644950955e+04 12.2% (145667; 65980) +910184: mip = 1.873300000e+04 >= 1.645475878e+04 12.2% (145572; 66077) Time used: 1920.6 secs. Memory used: 169.4 Mb. +911248: mip = 1.873300000e+04 >= 1.646126153e+04 12.1% (145477; 66182) +912325: mip = 1.873300000e+04 >= 1.646900890e+04 12.1% (145382; 66283) +913437: mip = 1.873300000e+04 >= 1.647400800e+04 12.1% (145288; 66378) +914503: mip = 1.873300000e+04 >= 1.648026003e+04 12.0% (145193; 66476) +915623: mip = 1.873300000e+04 >= 1.648700950e+04 12.0% (145098; 66576) +916729: mip = 1.873300000e+04 >= 1.649226003e+04 12.0% (145003; 66676) +917806: mip = 1.873300000e+04 >= 1.649901060e+04 11.9% (144908; 66776) +918832: mip = 1.873300000e+04 >= 1.650426093e+04 11.9% (144813; 66872) +919902: mip = 1.873300000e+04 >= 1.651000920e+04 11.9% (144718; 66969) +920956: mip = 1.873300000e+04 >= 1.651425843e+04 11.8% (144624; 67071) +922096: mip = 1.873300000e+04 >= 1.652000970e+04 11.8% (144528; 67172) +923211: mip = 1.873300000e+04 >= 1.652476138e+04 11.8% (144432; 67279) Time used: 1980.6 secs. Memory used: 169.4 Mb. +924308: mip = 1.873300000e+04 >= 1.652951105e+04 11.8% (144337; 67375) +925438: mip = 1.873300000e+04 >= 1.653498850e+04 11.7% (144242; 67478) +926429: mip = 1.873300000e+04 >= 1.653975848e+04 11.7% (144157; 67564) +927477: mip = 1.873300000e+04 >= 1.654426133e+04 11.7% (144065; 67656) +928531: mip = 1.873300000e+04 >= 1.654975998e+04 11.7% (143969; 67755) +929648: mip = 1.873300000e+04 >= 1.655523892e+04 11.6% (143873; 67853) +930714: mip = 1.873300000e+04 >= 1.656075968e+04 11.6% (143777; 67953) +931836: mip = 1.873300000e+04 >= 1.656550965e+04 11.6% (143681; 68056) +932897: mip = 1.873300000e+04 >= 1.657100540e+04 11.5% (143585; 68162) +934015: mip = 1.873300000e+04 >= 1.657551045e+04 11.5% (143489; 68263) +935138: mip = 1.873300000e+04 >= 1.658001060e+04 11.5% (143392; 68360) +936224: mip = 1.873300000e+04 >= 1.658450985e+04 11.5% (143297; 68458) Time used: 2040.6 secs. Memory used: 169.4 Mb. +937320: mip = 1.873300000e+04 >= 1.658900970e+04 11.4% (143202; 68562) +938429: mip = 1.873300000e+04 >= 1.659375828e+04 11.4% (143105; 68663) +939533: mip = 1.873300000e+04 >= 1.659798730e+04 11.4% (143009; 68759) +940628: mip = 1.873300000e+04 >= 1.660173937e+04 11.4% (142913; 68859) +941604: mip = 1.873300000e+04 >= 1.660551175e+04 11.4% (142821; 68954) +942741: mip = 1.873300000e+04 >= 1.660975988e+04 11.3% (142725; 69058) +943827: mip = 1.873300000e+04 >= 1.661425873e+04 11.3% (142628; 69165) +944922: mip = 1.873300000e+04 >= 1.661876048e+04 11.3% (142531; 69263) +946019: mip = 1.873300000e+04 >= 1.662351035e+04 11.3% (142435; 69359) +947121: mip = 1.873300000e+04 >= 1.662701070e+04 11.2% (142339; 69459) +948188: mip = 1.873300000e+04 >= 1.663226073e+04 11.2% (142243; 69556) +949341: mip = 1.873300000e+04 >= 1.663701130e+04 11.2% (142146; 69657) Time used: 2100.6 secs. Memory used: 169.4 Mb. +950414: mip = 1.873300000e+04 >= 1.664101200e+04 11.2% (142049; 69755) +951538: mip = 1.873300000e+04 >= 1.664526123e+04 11.1% (141951; 69853) +952592: mip = 1.873300000e+04 >= 1.664917752e+04 11.1% (141854; 69965) +953699: mip = 1.873300000e+04 >= 1.665326013e+04 11.1% (141757; 70069) +954774: mip = 1.873300000e+04 >= 1.665676028e+04 11.1% (141660; 70170) +955914: mip = 1.873300000e+04 >= 1.666100900e+04 11.1% (141563; 70271) +956997: mip = 1.873300000e+04 >= 1.666474137e+04 11.0% (141466; 70368) +958044: mip = 1.873300000e+04 >= 1.666851075e+04 11.0% (141369; 70473) +959164: mip = 1.873300000e+04 >= 1.667251005e+04 11.0% (141272; 70570) +960198: mip = 1.873300000e+04 >= 1.667650885e+04 11.0% (141175; 70674) +961274: mip = 1.873300000e+04 >= 1.667926033e+04 11.0% (141078; 70774) +962364: mip = 1.873300000e+04 >= 1.668276028e+04 10.9% (140980; 70883) Time used: 2160.7 secs. Memory used: 169.4 Mb. +963452: mip = 1.873300000e+04 >= 1.668723042e+04 10.9% (140884; 70983) +964563: mip = 1.873300000e+04 >= 1.669076048e+04 10.9% (140787; 71087) +965631: mip = 1.873300000e+04 >= 1.669451065e+04 10.9% (140689; 71195) +966692: mip = 1.873300000e+04 >= 1.669776058e+04 10.9% (140591; 71295) +967754: mip = 1.873300000e+04 >= 1.670176058e+04 10.8% (140493; 71399) +968850: mip = 1.873300000e+04 >= 1.670526063e+04 10.8% (140395; 71501) +969903: mip = 1.873300000e+04 >= 1.670951035e+04 10.8% (140297; 71610) +970936: mip = 1.873300000e+04 >= 1.671276028e+04 10.8% (140200; 71710) +972032: mip = 1.873300000e+04 >= 1.671626073e+04 10.8% (140102; 71816) +973066: mip = 1.873300000e+04 >= 1.671976098e+04 10.7% (140005; 71917) +974168: mip = 1.873300000e+04 >= 1.672349015e+04 10.7% (139907; 72015) +975237: mip = 1.873300000e+04 >= 1.672651115e+04 10.7% (139808; 72122) Time used: 2220.7 secs. Memory used: 169.4 Mb. +976293: mip = 1.873300000e+04 >= 1.673050495e+04 10.7% (139709; 72227) +977363: mip = 1.873300000e+04 >= 1.673351065e+04 10.7% (139609; 72338) +978412: mip = 1.873300000e+04 >= 1.673701050e+04 10.7% (139510; 72439) +979516: mip = 1.873300000e+04 >= 1.674050985e+04 10.6% (139412; 72537) +980591: mip = 1.873300000e+04 >= 1.674351095e+04 10.6% (139314; 72635) +981641: mip = 1.873300000e+04 >= 1.674650975e+04 10.6% (139216; 72745) +982644: mip = 1.873300000e+04 >= 1.674925953e+04 10.6% (139123; 72840) +983717: mip = 1.873300000e+04 >= 1.675200940e+04 10.6% (139024; 72939) +984805: mip = 1.873300000e+04 >= 1.675546715e+04 10.6% (138928; 73038) +985858: mip = 1.873300000e+04 >= 1.675824082e+04 10.5% (138833; 73135) +986932: mip = 1.873300000e+04 >= 1.676126093e+04 10.5% (138734; 73235) +988013: mip = 1.873300000e+04 >= 1.676448785e+04 10.5% (138637; 73333) Time used: 2280.7 secs. Memory used: 169.4 Mb. +988967: mip = 1.873300000e+04 >= 1.676726083e+04 10.5% (138546; 73425) +990099: mip = 1.873300000e+04 >= 1.677048975e+04 10.5% (138447; 73524) +991169: mip = 1.873300000e+04 >= 1.677301060e+04 10.5% (138349; 73623) +992223: mip = 1.873300000e+04 >= 1.677600900e+04 10.4% (138250; 73723) +993254: mip = 1.873300000e+04 >= 1.677951005e+04 10.4% (138155; 73818) +994350: mip = 1.873300000e+04 >= 1.678299150e+04 10.4% (138056; 73917) +995405: mip = 1.873300000e+04 >= 1.678601020e+04 10.4% (137958; 74016) +996421: mip = 1.873300000e+04 >= 1.678901120e+04 10.4% (137863; 74114) +997423: mip = 1.873300000e+04 >= 1.679225973e+04 10.4% (137768; 74213) +998488: mip = 1.873300000e+04 >= 1.679526173e+04 10.3% (137668; 74327) +999579: mip = 1.873300000e+04 >= 1.679826133e+04 10.3% (137569; 74431) +1000643: mip = 1.873300000e+04 >= 1.680175828e+04 10.3% (137470; 74537) Time used: 2340.7 secs. Memory used: 169.4 Mb. +1001680: mip = 1.873300000e+04 >= 1.680475928e+04 10.3% (137370; 74646) +1002725: mip = 1.873300000e+04 >= 1.680800890e+04 10.3% (137270; 74746) +1003749: mip = 1.873300000e+04 >= 1.681126063e+04 10.3% (137171; 74848) +1004808: mip = 1.873300000e+04 >= 1.681450895e+04 10.2% (137072; 74952) +1005857: mip = 1.873300000e+04 >= 1.681746515e+04 10.2% (136972; 75053) +1006900: mip = 1.873300000e+04 >= 1.682051045e+04 10.2% (136872; 75158) +1007956: mip = 1.873300000e+04 >= 1.682325953e+04 10.2% (136772; 75265) +1009030: mip = 1.873300000e+04 >= 1.682626053e+04 10.2% (136672; 75370) +1010093: mip = 1.873300000e+04 >= 1.682925943e+04 10.2% (136572; 75473) +1011154: mip = 1.873300000e+04 >= 1.683275808e+04 10.1% (136471; 75575) +1012187: mip = 1.873300000e+04 >= 1.683548955e+04 10.1% (136371; 75677) Time used: 2400.8 secs. Memory used: 169.4 Mb. +1013217: mip = 1.873300000e+04 >= 1.683775968e+04 10.1% (136270; 75784) +1014275: mip = 1.873300000e+04 >= 1.684101140e+04 10.1% (136169; 75887) +1015336: mip = 1.873300000e+04 >= 1.684400850e+04 10.1% (136069; 75989) +1016424: mip = 1.873300000e+04 >= 1.684651145e+04 10.1% (135967; 76094) +1017467: mip = 1.873300000e+04 >= 1.684999050e+04 10.1% (135865; 76207) +1018491: mip = 1.873300000e+04 >= 1.685251015e+04 10.0% (135765; 76310) +1019558: mip = 1.873300000e+04 >= 1.685549075e+04 10.0% (135664; 76417) +1020565: mip = 1.873300000e+04 >= 1.685846515e+04 10.0% (135565; 76525) +1021595: mip = 1.873300000e+04 >= 1.686150945e+04 10.0% (135465; 76633) +1022583: mip = 1.873300000e+04 >= 1.686375988e+04 10.0% (135364; 76736) +1023653: mip = 1.873300000e+04 >= 1.686700980e+04 10.0% (135263; 76839) +1024644: mip = 1.873300000e+04 >= 1.686973957e+04 9.9% (135163; 76942) Time used: 2460.8 secs. Memory used: 169.4 Mb. +1025702: mip = 1.873300000e+04 >= 1.687251045e+04 9.9% (135062; 77043) +1026752: mip = 1.873300000e+04 >= 1.687601070e+04 9.9% (134962; 77151) +1027762: mip = 1.873300000e+04 >= 1.687901100e+04 9.9% (134861; 77260) +1028853: mip = 1.873300000e+04 >= 1.688192559e+04 9.9% (134759; 77364) +1029864: mip = 1.873300000e+04 >= 1.688500970e+04 9.9% (134657; 77471) +1030897: mip = 1.873300000e+04 >= 1.688799050e+04 9.8% (134555; 77580) +1031963: mip = 1.873300000e+04 >= 1.689173947e+04 9.8% (134453; 77687) +1032999: mip = 1.873300000e+04 >= 1.689476148e+04 9.8% (134351; 77797) +1034014: mip = 1.873300000e+04 >= 1.689757946e+04 9.8% (134249; 77899) +1035072: mip = 1.873300000e+04 >= 1.689999010e+04 9.8% (134149; 78005) +1036107: mip = 1.873300000e+04 >= 1.690325973e+04 9.8% (134047; 78117) +1037106: mip = 1.873300000e+04 >= 1.690649095e+04 9.8% (133944; 78220) Time used: 2520.8 secs. Memory used: 169.4 Mb. +1038126: mip = 1.873300000e+04 >= 1.690921782e+04 9.7% (133842; 78326) +1039113: mip = 1.873300000e+04 >= 1.691198800e+04 9.7% (133739; 78431) +1040160: mip = 1.873300000e+04 >= 1.691525713e+04 9.7% (133637; 78549) +1041200: mip = 1.873300000e+04 >= 1.691749185e+04 9.7% (133535; 78655) +1042159: mip = 1.873300000e+04 >= 1.692000880e+04 9.7% (133432; 78758) +1043200: mip = 1.873300000e+04 >= 1.692323942e+04 9.7% (133329; 78870) +1044212: mip = 1.873300000e+04 >= 1.692598980e+04 9.6% (133225; 78978) +1045220: mip = 1.873300000e+04 >= 1.692848925e+04 9.6% (133121; 79085) +1046267: mip = 1.873300000e+04 >= 1.693151045e+04 9.6% (133018; 79188) +1047305: mip = 1.873300000e+04 >= 1.693426103e+04 9.6% (132916; 79293) +1048359: mip = 1.873300000e+04 >= 1.693721742e+04 9.6% (132813; 79398) +1049388: mip = 1.873300000e+04 >= 1.694026023e+04 9.6% (132710; 79502) Time used: 2580.8 secs. Memory used: 169.4 Mb. +1050390: mip = 1.873300000e+04 >= 1.694250755e+04 9.6% (132607; 79609) +1051389: mip = 1.873300000e+04 >= 1.694525813e+04 9.5% (132504; 79712) +1052359: mip = 1.873300000e+04 >= 1.694848945e+04 9.5% (132401; 79828) +1053362: mip = 1.873300000e+04 >= 1.695126103e+04 9.5% (132298; 79931) +1054399: mip = 1.873300000e+04 >= 1.695375968e+04 9.5% (132195; 80046) +1055393: mip = 1.873300000e+04 >= 1.695701140e+04 9.5% (132091; 80150) +1056426: mip = 1.873300000e+04 >= 1.696025973e+04 9.5% (131989; 80253) +1057422: mip = 1.873300000e+04 >= 1.696349075e+04 9.4% (131885; 80361) +1058439: mip = 1.873300000e+04 >= 1.696650925e+04 9.4% (131781; 80483) +1059396: mip = 1.873300000e+04 >= 1.696949065e+04 9.4% (131682; 80584) +1060409: mip = 1.873300000e+04 >= 1.697225943e+04 9.4% (131580; 80694) +1061468: mip = 1.873300000e+04 >= 1.697526033e+04 9.4% (131476; 80798) Time used: 2640.8 secs. Memory used: 169.4 Mb. +1062453: mip = 1.873300000e+04 >= 1.697851005e+04 9.4% (131372; 80905) +1063462: mip = 1.873300000e+04 >= 1.698151065e+04 9.3% (131268; 81023) +1064482: mip = 1.873300000e+04 >= 1.698476028e+04 9.3% (131165; 81127) +1065467: mip = 1.873300000e+04 >= 1.698800820e+04 9.3% (131061; 81231) +1066469: mip = 1.873300000e+04 >= 1.699001080e+04 9.3% (130957; 81344) +1067420: mip = 1.873300000e+04 >= 1.699296710e+04 9.3% (130852; 81449) +1068410: mip = 1.873300000e+04 >= 1.699623832e+04 9.3% (130748; 81555) +1069432: mip = 1.873300000e+04 >= 1.699926003e+04 9.3% (130642; 81672) +1070453: mip = 1.873300000e+04 >= 1.700225993e+04 9.2% (130536; 81779) +1071410: mip = 1.873300000e+04 >= 1.700501180e+04 9.2% (130432; 81891) +1072383: mip = 1.873300000e+04 >= 1.700775998e+04 9.2% (130329; 81995) +1073372: mip = 1.873300000e+04 >= 1.701076038e+04 9.2% (130226; 82104) Time used: 2700.8 secs. Memory used: 169.4 Mb. +1074363: mip = 1.873300000e+04 >= 1.701325933e+04 9.2% (130122; 82211) +1075307: mip = 1.873300000e+04 >= 1.701575938e+04 9.2% (130017; 82316) +1076281: mip = 1.873300000e+04 >= 1.701876068e+04 9.2% (129913; 82423) +1077245: mip = 1.873300000e+04 >= 1.702174137e+04 9.1% (129809; 82528) +1078246: mip = 1.873300000e+04 >= 1.702476138e+04 9.1% (129705; 82635) +1079209: mip = 1.873300000e+04 >= 1.702773927e+04 9.1% (129600; 82744) +1080158: mip = 1.873300000e+04 >= 1.703073887e+04 9.1% (129498; 82846) +1081057: mip = 1.873300000e+04 >= 1.703424022e+04 9.1% (129400; 82950) +1082009: mip = 1.873300000e+04 >= 1.703700860e+04 9.1% (129295; 83063) +1082943: mip = 1.873300000e+04 >= 1.704000910e+04 9.0% (129190; 83173) +1083900: mip = 1.873300000e+04 >= 1.704326093e+04 9.0% (129085; 83281) +1084853: mip = 1.873300000e+04 >= 1.704651055e+04 9.0% (128980; 83403) Time used: 2760.9 secs. Memory used: 169.4 Mb. +1085798: mip = 1.873300000e+04 >= 1.705001040e+04 9.0% (128874; 83510) +1086736: mip = 1.873300000e+04 >= 1.705323822e+04 9.0% (128768; 83616) +1087658: mip = 1.873300000e+04 >= 1.705601030e+04 9.0% (128662; 83739) +1088646: mip = 1.873300000e+04 >= 1.705975718e+04 8.9% (128556; 83849) +1089586: mip = 1.873300000e+04 >= 1.706301020e+04 8.9% (128450; 83958) +1090546: mip = 1.873300000e+04 >= 1.706651065e+04 8.9% (128344; 84065) +1091563: mip = 1.873300000e+04 >= 1.706998950e+04 8.9% (128238; 84175) +1092520: mip = 1.873300000e+04 >= 1.707276008e+04 8.9% (128131; 84293) +1093429: mip = 1.873300000e+04 >= 1.707600880e+04 8.8% (128025; 84409) +1094393: mip = 1.873300000e+04 >= 1.707925973e+04 8.8% (127918; 84516) +1095385: mip = 1.873300000e+04 >= 1.708273757e+04 8.8% (127811; 84624) +1096371: mip = 1.873300000e+04 >= 1.708575928e+04 8.8% (127705; 84730) Time used: 2820.9 secs. Memory used: 169.4 Mb. +1097288: mip = 1.873300000e+04 >= 1.708950925e+04 8.8% (127598; 84841) +1098276: mip = 1.873300000e+04 >= 1.709224102e+04 8.8% (127491; 84951) +1099270: mip = 1.873300000e+04 >= 1.709525983e+04 8.7% (127384; 85063) +1100214: mip = 1.873300000e+04 >= 1.709850815e+04 8.7% (127277; 85174) +1101168: mip = 1.873300000e+04 >= 1.710150715e+04 8.7% (127170; 85294) +1102115: mip = 1.873300000e+04 >= 1.710523982e+04 8.7% (127062; 85405) +1103089: mip = 1.873300000e+04 >= 1.710850975e+04 8.7% (126955; 85523) +1104026: mip = 1.873300000e+04 >= 1.711196730e+04 8.7% (126848; 85636) +1104952: mip = 1.873300000e+04 >= 1.711500850e+04 8.6% (126745; 85747) +1105891: mip = 1.873300000e+04 >= 1.711848935e+04 8.6% (126640; 85855) +1106838: mip = 1.873300000e+04 >= 1.712151055e+04 8.6% (126532; 85976) +1107753: mip = 1.873300000e+04 >= 1.712498910e+04 8.6% (126424; 86091) Time used: 2880.9 secs. Memory used: 169.4 Mb. +1108719: mip = 1.873300000e+04 >= 1.712801110e+04 8.6% (126317; 86208) +1109647: mip = 1.873300000e+04 >= 1.713151145e+04 8.5% (126209; 86329) +1110597: mip = 1.873300000e+04 >= 1.713500990e+04 8.5% (126101; 86446) +1111573: mip = 1.873300000e+04 >= 1.713900880e+04 8.5% (125994; 86563) +1112533: mip = 1.873300000e+04 >= 1.714271687e+04 8.5% (125886; 86677) +1113505: mip = 1.873300000e+04 >= 1.714575948e+04 8.5% (125778; 86788) +1114391: mip = 1.873300000e+04 >= 1.714950515e+04 8.5% (125670; 86907) +1115336: mip = 1.873300000e+04 >= 1.715371597e+04 8.4% (125562; 87016) +1116265: mip = 1.873300000e+04 >= 1.715749015e+04 8.4% (125454; 87129) +1117150: mip = 1.873300000e+04 >= 1.716101020e+04 8.4% (125345; 87255) +1118064: mip = 1.873300000e+04 >= 1.716448855e+04 8.4% (125236; 87372) Time used: 2940.9 secs. Memory used: 169.4 Mb. +1118979: mip = 1.873300000e+04 >= 1.716850965e+04 8.4% (125128; 87485) +1119902: mip = 1.873300000e+04 >= 1.717196560e+04 8.3% (125017; 87604) +1120802: mip = 1.873300000e+04 >= 1.717500870e+04 8.3% (124907; 87723) +1121711: mip = 1.873300000e+04 >= 1.717826103e+04 8.3% (124798; 87832) +1122645: mip = 1.873300000e+04 >= 1.718100960e+04 8.3% (124692; 87941) +1123534: mip = 1.873300000e+04 >= 1.718474037e+04 8.3% (124587; 88060) +1124426: mip = 1.873300000e+04 >= 1.718826113e+04 8.2% (124477; 88177) +1125380: mip = 1.873300000e+04 >= 1.719225713e+04 8.2% (124368; 88291) +1126312: mip = 1.873300000e+04 >= 1.719575628e+04 8.2% (124258; 88408) +1127226: mip = 1.873300000e+04 >= 1.719846745e+04 8.2% (124149; 88523) +1128107: mip = 1.873300000e+04 >= 1.720200980e+04 8.2% (124039; 88636) +1128979: mip = 1.873300000e+04 >= 1.720551015e+04 8.2% (123929; 88748) Time used: 3001.0 secs. Memory used: 169.4 Mb. +1129877: mip = 1.873300000e+04 >= 1.720900890e+04 8.1% (123819; 88873) +1130771: mip = 1.873300000e+04 >= 1.721251185e+04 8.1% (123709; 88994) +1131705: mip = 1.873300000e+04 >= 1.721576048e+04 8.1% (123599; 89115) +1132627: mip = 1.873300000e+04 >= 1.721900930e+04 8.1% (123490; 89235) +1133515: mip = 1.873300000e+04 >= 1.722200920e+04 8.1% (123380; 89345) +1134393: mip = 1.873300000e+04 >= 1.722550725e+04 8.0% (123270; 89469) +1135334: mip = 1.873300000e+04 >= 1.722971727e+04 8.0% (123160; 89592) +1136257: mip = 1.873300000e+04 >= 1.723323992e+04 8.0% (123051; 89717) +1137130: mip = 1.873300000e+04 >= 1.723676008e+04 8.0% (122940; 89835) +1138015: mip = 1.873300000e+04 >= 1.724025893e+04 8.0% (122830; 89956) +1138897: mip = 1.873300000e+04 >= 1.724400990e+04 7.9% (122721; 90072) +1139794: mip = 1.873300000e+04 >= 1.724748855e+04 7.9% (122611; 90189) Time used: 3061.0 secs. Memory used: 169.4 Mb. +1140704: mip = 1.873300000e+04 >= 1.725123842e+04 7.9% (122500; 90309) +1141597: mip = 1.873300000e+04 >= 1.725450955e+04 7.9% (122390; 90424) +1142508: mip = 1.873300000e+04 >= 1.725823862e+04 7.9% (122277; 90567) +1143363: mip = 1.873300000e+04 >= 1.726125993e+04 7.9% (122164; 90690) +1144269: mip = 1.873300000e+04 >= 1.726425903e+04 7.8% (122051; 90835) +1145143: mip = 1.873300000e+04 >= 1.726775808e+04 7.8% (121943; 90958) +1145922: mip = 1.873300000e+04 >= 1.727146775e+04 7.8% (121838; 91075) +1146818: mip = 1.873300000e+04 >= 1.727451065e+04 7.8% (121727; 91196) +1147687: mip = 1.873300000e+04 >= 1.727799020e+04 7.8% (121616; 91316) +1148581: mip = 1.873300000e+04 >= 1.728073907e+04 7.8% (121506; 91437) +1149476: mip = 1.873300000e+04 >= 1.728425823e+04 7.7% (121395; 91555) +1150291: mip = 1.873300000e+04 >= 1.728751005e+04 7.7% (121283; 91684) Time used: 3121.0 secs. Memory used: 169.4 Mb. +1151159: mip = 1.873300000e+04 >= 1.729107351e+04 7.7% (121171; 91810) +1152014: mip = 1.873300000e+04 >= 1.729451125e+04 7.7% (121059; 91932) +1152870: mip = 1.873300000e+04 >= 1.729848795e+04 7.7% (120947; 92053) +1153742: mip = 1.873300000e+04 >= 1.730176008e+04 7.6% (120835; 92178) +1154575: mip = 1.873300000e+04 >= 1.730575838e+04 7.6% (120724; 92292) +1155448: mip = 1.873300000e+04 >= 1.730875728e+04 7.6% (120612; 92417) +1156296: mip = 1.873300000e+04 >= 1.731301030e+04 7.6% (120500; 92533) +1157109: mip = 1.873300000e+04 >= 1.731750675e+04 7.6% (120391; 92647) +1157882: mip = 1.873300000e+04 >= 1.732098730e+04 7.5% (120294; 92744) +1158698: mip = 1.873300000e+04 >= 1.732500910e+04 7.5% (120187; 92872) +1159512: mip = 1.873300000e+04 >= 1.732875968e+04 7.5% (120075; 92998) +1160309: mip = 1.873300000e+04 >= 1.733300940e+04 7.5% (119962; 93128) Time used: 3181.0 secs. Memory used: 169.4 Mb. +1161150: mip = 1.873300000e+04 >= 1.733626013e+04 7.5% (119849; 93256) +1161982: mip = 1.873300000e+04 >= 1.734025873e+04 7.4% (119735; 93381) +1162839: mip = 1.873300000e+04 >= 1.734398900e+04 7.4% (119622; 93500) +1163687: mip = 1.873300000e+04 >= 1.734723782e+04 7.4% (119510; 93620) +1164487: mip = 1.873300000e+04 >= 1.735075958e+04 7.4% (119396; 93747) +1165314: mip = 1.873300000e+04 >= 1.735376088e+04 7.4% (119283; 93869) +1166145: mip = 1.873300000e+04 >= 1.735725703e+04 7.3% (119169; 94005) +1167006: mip = 1.873300000e+04 >= 1.736026013e+04 7.3% (119055; 94129) +1167843: mip = 1.873300000e+04 >= 1.736348935e+04 7.3% (118941; 94268) +1168668: mip = 1.873300000e+04 >= 1.736621802e+04 7.3% (118830; 94389) +1169437: mip = 1.873300000e+04 >= 1.736950825e+04 7.3% (118720; 94524) +1170231: mip = 1.873300000e+04 >= 1.737250295e+04 7.3% (118607; 94656) Time used: 3241.0 secs. Memory used: 169.4 Mb. +1171061: mip = 1.873300000e+04 >= 1.737575858e+04 7.2% (118493; 94779) +1171869: mip = 1.873300000e+04 >= 1.737925973e+04 7.2% (118379; 94907) +1172716: mip = 1.873300000e+04 >= 1.738300720e+04 7.2% (118266; 95028) +1173589: mip = 1.873300000e+04 >= 1.738650825e+04 7.2% (118152; 95163) +1174447: mip = 1.873300000e+04 >= 1.738924082e+04 7.2% (118037; 95295) +1175272: mip = 1.873300000e+04 >= 1.739276028e+04 7.2% (117921; 95439) +1176148: mip = 1.873300000e+04 >= 1.739651025e+04 7.1% (117806; 95562) +1176955: mip = 1.873300000e+04 >= 1.740026053e+04 7.1% (117691; 95689) +1177777: mip = 1.873300000e+04 >= 1.740401000e+04 7.1% (117576; 95817) +1178611: mip = 1.873300000e+04 >= 1.740775978e+04 7.1% (117462; 95970) +1179418: mip = 1.873300000e+04 >= 1.741075978e+04 7.1% (117346; 96114) +1180201: mip = 1.873300000e+04 >= 1.741500840e+04 7.0% (117230; 96261) Time used: 3301.1 secs. Memory used: 169.4 Mb. +1180975: mip = 1.873300000e+04 >= 1.741824012e+04 7.0% (117114; 96399) +1181793: mip = 1.873300000e+04 >= 1.742200570e+04 7.0% (116998; 96547) +1182606: mip = 1.873300000e+04 >= 1.742501090e+04 7.0% (116883; 96688) +1183388: mip = 1.873300000e+04 >= 1.742925663e+04 7.0% (116767; 96843) +1184203: mip = 1.873300000e+04 >= 1.743248975e+04 6.9% (116651; 96987) +1185066: mip = 1.873300000e+04 >= 1.743651065e+04 6.9% (116535; 97133) +1185814: mip = 1.873300000e+04 >= 1.743973847e+04 6.9% (116425; 97259) +1186625: mip = 1.873300000e+04 >= 1.744298970e+04 6.9% (116313; 97378) +1187434: mip = 1.873300000e+04 >= 1.744625843e+04 6.9% (116198; 97532) +1188226: mip = 1.873300000e+04 >= 1.744971507e+04 6.9% (116082; 97680) +1189069: mip = 1.873300000e+04 >= 1.745323902e+04 6.8% (115965; 97819) +1189854: mip = 1.873300000e+04 >= 1.745648895e+04 6.8% (115848; 97959) Time used: 3361.1 secs. Memory used: 169.4 Mb. +1190717: mip = 1.873300000e+04 >= 1.745925663e+04 6.8% (115732; 98107) +1191563: mip = 1.873300000e+04 >= 1.746275998e+04 6.8% (115615; 98243) +1192383: mip = 1.873300000e+04 >= 1.746621702e+04 6.8% (115499; 98390) +1193208: mip = 1.873300000e+04 >= 1.746917482e+04 6.7% (115382; 98543) +1194040: mip = 1.873300000e+04 >= 1.747248965e+04 6.7% (115265; 98666) +1194847: mip = 1.873300000e+04 >= 1.747573997e+04 6.7% (115148; 98816) +1195698: mip = 1.873300000e+04 >= 1.747875808e+04 6.7% (115030; 98949) +1196597: mip = 1.873300000e+04 >= 1.748150825e+04 6.7% (114911; 99116) +1197382: mip = 1.873300000e+04 >= 1.748448965e+04 6.7% (114793; 99275) +1198223: mip = 1.873300000e+04 >= 1.748775938e+04 6.6% (114675; 99406) +1199013: mip = 1.873300000e+04 >= 1.749123872e+04 6.6% (114557; 99558) +1199829: mip = 1.873300000e+04 >= 1.749424082e+04 6.6% (114439; 99695) Time used: 3421.1 secs. Memory used: 169.4 Mb. +1200641: mip = 1.873300000e+04 >= 1.749715562e+04 6.6% (114321; 99835) +1201398: mip = 1.873300000e+04 >= 1.750026023e+04 6.6% (114203; 99974) +1202180: mip = 1.873300000e+04 >= 1.750340464e+04 6.6% (114084; 100132) +1202992: mip = 1.873300000e+04 >= 1.750650885e+04 6.5% (113966; 100296) +1203772: mip = 1.873300000e+04 >= 1.751001080e+04 6.5% (113848; 100416) +1204605: mip = 1.873300000e+04 >= 1.751324052e+04 6.5% (113729; 100574) +1205397: mip = 1.873300000e+04 >= 1.751575998e+04 6.5% (113610; 100717) +1206185: mip = 1.873300000e+04 >= 1.751925883e+04 6.5% (113491; 100851) +1206973: mip = 1.873300000e+04 >= 1.752249045e+04 6.5% (113377; 100992) +1207731: mip = 1.873300000e+04 >= 1.752550915e+04 6.4% (113262; 101121) +1208542: mip = 1.873300000e+04 >= 1.752851165e+04 6.4% (113143; 101250) +1209333: mip = 1.873300000e+04 >= 1.753151125e+04 6.4% (113024; 101389) Time used: 3481.1 secs. Memory used: 169.4 Mb. +1210121: mip = 1.873300000e+04 >= 1.753500920e+04 6.4% (112905; 101531) +1210929: mip = 1.873300000e+04 >= 1.753825993e+04 6.4% (112786; 101682) +1211697: mip = 1.873300000e+04 >= 1.754150945e+04 6.4% (112667; 101830) +1212479: mip = 1.873300000e+04 >= 1.754400960e+04 6.3% (112547; 101996) +1213316: mip = 1.873300000e+04 >= 1.754724102e+04 6.3% (112428; 102123) +1214138: mip = 1.873300000e+04 >= 1.755023992e+04 6.3% (112308; 102276) +1214966: mip = 1.873300000e+04 >= 1.755323982e+04 6.3% (112189; 102417) +1215752: mip = 1.873300000e+04 >= 1.755600930e+04 6.3% (112069; 102553) +1216559: mip = 1.873300000e+04 >= 1.755899150e+04 6.3% (111951; 102685) +1217340: mip = 1.873300000e+04 >= 1.756225613e+04 6.2% (111829; 102825) +1218136: mip = 1.873300000e+04 >= 1.756575838e+04 6.2% (111707; 102972) Time used: 3541.2 secs. Memory used: 169.4 Mb. +1218914: mip = 1.873300000e+04 >= 1.756898790e+04 6.2% (111587; 103144) +1219707: mip = 1.873300000e+04 >= 1.757200930e+04 6.2% (111466; 103291) +1220484: mip = 1.873300000e+04 >= 1.757546715e+04 6.2% (111346; 103422) +1221258: mip = 1.873300000e+04 >= 1.757849035e+04 6.2% (111225; 103563) +1222012: mip = 1.873300000e+04 >= 1.758150935e+04 6.1% (111107; 103725) +1222792: mip = 1.873300000e+04 >= 1.758451085e+04 6.1% (110987; 103863) +1223545: mip = 1.873300000e+04 >= 1.758748925e+04 6.1% (110866; 104021) +1224334: mip = 1.873300000e+04 >= 1.759099010e+04 6.1% (110745; 104167) +1225056: mip = 1.873300000e+04 >= 1.759423802e+04 6.1% (110623; 104335) +1225812: mip = 1.873300000e+04 >= 1.759748875e+04 6.1% (110502; 104468) +1226602: mip = 1.873300000e+04 >= 1.760098970e+04 6.0% (110380; 104602) +1227391: mip = 1.873300000e+04 >= 1.760396560e+04 6.0% (110258; 104735) Time used: 3601.2 secs. Memory used: 169.4 Mb. +1228177: mip = 1.873300000e+04 >= 1.760696590e+04 6.0% (110136; 104903) +1228965: mip = 1.873300000e+04 >= 1.760925873e+04 6.0% (110014; 105043) +1229726: mip = 1.873300000e+04 >= 1.761223932e+04 6.0% (109895; 105174) +1230473: mip = 1.873300000e+04 >= 1.761475908e+04 6.0% (109772; 105325) +1231266: mip = 1.873300000e+04 >= 1.761698990e+04 6.0% (109650; 105467) +1232063: mip = 1.873300000e+04 >= 1.761998910e+04 5.9% (109527; 105601) +1232857: mip = 1.873300000e+04 >= 1.762223882e+04 5.9% (109405; 105757) +1233627: mip = 1.873300000e+04 >= 1.762501070e+04 5.9% (109282; 105913) +1234419: mip = 1.873300000e+04 >= 1.762751035e+04 5.9% (109159; 106053) +1235207: mip = 1.873300000e+04 >= 1.763024122e+04 5.9% (109038; 106197) +1235979: mip = 1.873300000e+04 >= 1.763246755e+04 5.9% (108915; 106367) +1236789: mip = 1.873300000e+04 >= 1.763476008e+04 5.9% (108794; 106500) Time used: 3661.2 secs. Memory used: 169.4 Mb. +1237594: mip = 1.873300000e+04 >= 1.763746555e+04 5.8% (108673; 106636) +1238369: mip = 1.873300000e+04 >= 1.763976058e+04 5.8% (108548; 106805) +1239207: mip = 1.873300000e+04 >= 1.764273657e+04 5.8% (108423; 106966) +1240033: mip = 1.873300000e+04 >= 1.764524112e+04 5.8% (108300; 107131) +1240815: mip = 1.873300000e+04 >= 1.764775968e+04 5.8% (108176; 107289) +1241652: mip = 1.873300000e+04 >= 1.765025963e+04 5.8% (108053; 107431) +1242495: mip = 1.873300000e+04 >= 1.765299040e+04 5.8% (107930; 107579) +1243339: mip = 1.873300000e+04 >= 1.765550825e+04 5.8% (107806; 107715) +1244173: mip = 1.873300000e+04 >= 1.765801080e+04 5.7% (107682; 107888) +1245004: mip = 1.873300000e+04 >= 1.766124102e+04 5.7% (107560; 108049) +1245770: mip = 1.873300000e+04 >= 1.766351165e+04 5.7% (107436; 108185) +1246604: mip = 1.873300000e+04 >= 1.766596710e+04 5.7% (107312; 108360) Time used: 3721.2 secs. Memory used: 169.4 Mb. +1247381: mip = 1.873300000e+04 >= 1.766875928e+04 5.7% (107189; 108530) +1248224: mip = 1.873300000e+04 >= 1.767123812e+04 5.7% (107065; 108733) +1249044: mip = 1.873300000e+04 >= 1.767375588e+04 5.7% (106942; 108885) +1249864: mip = 1.873300000e+04 >= 1.767675728e+04 5.6% (106818; 109047) +1250662: mip = 1.873300000e+04 >= 1.767948785e+04 5.6% (106694; 109201) +1251500: mip = 1.873300000e+04 >= 1.768176208e+04 5.6% (106570; 109360) +1252322: mip = 1.873300000e+04 >= 1.768475838e+04 5.6% (106446; 109529) +1253170: mip = 1.873300000e+04 >= 1.768700820e+04 5.6% (106321; 109685) +1253987: mip = 1.873300000e+04 >= 1.768950975e+04 5.6% (106197; 109844) +1254838: mip = 1.873300000e+04 >= 1.769225813e+04 5.6% (106074; 110016) +1255695: mip = 1.873300000e+04 >= 1.769426123e+04 5.5% (105950; 110165) +1256550: mip = 1.873300000e+04 >= 1.769651005e+04 5.5% (105825; 110325) Time used: 3781.2 secs. Memory used: 169.4 Mb. +1257392: mip = 1.873300000e+04 >= 1.769898760e+04 5.5% (105700; 110514) +1258233: mip = 1.873300000e+04 >= 1.770126223e+04 5.5% (105575; 110674) +1259071: mip = 1.873300000e+04 >= 1.770400800e+04 5.5% (105451; 110820) +1259918: mip = 1.873300000e+04 >= 1.770650715e+04 5.5% (105326; 110977) +1260759: mip = 1.873300000e+04 >= 1.770898740e+04 5.5% (105201; 111138) +1261586: mip = 1.873300000e+04 >= 1.771126163e+04 5.5% (105076; 111300) +1262442: mip = 1.873300000e+04 >= 1.771351195e+04 5.4% (104950; 111490) +1263324: mip = 1.873300000e+04 >= 1.771600670e+04 5.4% (104825; 111673) +1264201: mip = 1.873300000e+04 >= 1.771825973e+04 5.4% (104699; 111840) +1264969: mip = 1.873300000e+04 >= 1.772025983e+04 5.4% (104587; 111980) +1265793: mip = 1.873300000e+04 >= 1.772250995e+04 5.4% (104462; 112137) +1266649: mip = 1.873300000e+04 >= 1.772476188e+04 5.4% (104336; 112274) Time used: 3841.3 secs. Memory used: 169.4 Mb. +1267424: mip = 1.873300000e+04 >= 1.772725913e+04 5.4% (104213; 112458) +1268248: mip = 1.873300000e+04 >= 1.772951155e+04 5.4% (104086; 112613) +1269126: mip = 1.873300000e+04 >= 1.773175958e+04 5.3% (103961; 112764) +1270006: mip = 1.873300000e+04 >= 1.773425693e+04 5.3% (103833; 112924) +1270863: mip = 1.873300000e+04 >= 1.773675688e+04 5.3% (103707; 113094) +1271679: mip = 1.873300000e+04 >= 1.773926033e+04 5.3% (103580; 113244) +1272517: mip = 1.873300000e+04 >= 1.774101180e+04 5.3% (103452; 113424) +1273386: mip = 1.873300000e+04 >= 1.774348985e+04 5.3% (103325; 113577) +1274248: mip = 1.873300000e+04 >= 1.774601210e+04 5.3% (103199; 113724) +1275065: mip = 1.873300000e+04 >= 1.774850895e+04 5.3% (103072; 113867) +1275860: mip = 1.873300000e+04 >= 1.775075878e+04 5.2% (102944; 114032) +1276675: mip = 1.873300000e+04 >= 1.775276038e+04 5.2% (102816; 114212) Time used: 3901.3 secs. Memory used: 169.4 Mb. +1277467: mip = 1.873300000e+04 >= 1.775523892e+04 5.2% (102687; 114406) +1278285: mip = 1.873300000e+04 >= 1.775775988e+04 5.2% (102559; 114585) +1279100: mip = 1.873300000e+04 >= 1.775951185e+04 5.2% (102431; 114726) +1279930: mip = 1.873300000e+04 >= 1.776200820e+04 5.2% (102302; 114899) +1280772: mip = 1.873300000e+04 >= 1.776423872e+04 5.2% (102173; 115061) +1281612: mip = 1.873300000e+04 >= 1.776626193e+04 5.2% (102044; 115232) +1282415: mip = 1.873300000e+04 >= 1.776851115e+04 5.1% (101915; 115415) +1283247: mip = 1.873300000e+04 >= 1.777076158e+04 5.1% (101786; 115574) +1284055: mip = 1.873300000e+04 >= 1.777326173e+04 5.1% (101657; 115733) +1284896: mip = 1.873300000e+04 >= 1.777551155e+04 5.1% (101528; 115891) +1285743: mip = 1.873300000e+04 >= 1.777773987e+04 5.1% (101398; 116097) +1286554: mip = 1.873300000e+04 >= 1.777975838e+04 5.1% (101268; 116292) Time used: 3961.3 secs. Memory used: 169.4 Mb. +1287386: mip = 1.873300000e+04 >= 1.778201160e+04 5.1% (101140; 116463) +1288245: mip = 1.873300000e+04 >= 1.778425713e+04 5.1% (101010; 116649) +1289055: mip = 1.873300000e+04 >= 1.778674007e+04 5.1% (100880; 116804) +1289868: mip = 1.873300000e+04 >= 1.778874017e+04 5.0% (100750; 116972) +1290688: mip = 1.873300000e+04 >= 1.779101170e+04 5.0% (100620; 117173) +1291533: mip = 1.873300000e+04 >= 1.779351015e+04 5.0% (100487; 117356) +1292363: mip = 1.873300000e+04 >= 1.779575928e+04 5.0% (100355; 117514) +1293224: mip = 1.873300000e+04 >= 1.779801010e+04 5.0% (100222; 117678) +1294087: mip = 1.873300000e+04 >= 1.780001170e+04 5.0% (100092; 117849) +1294895: mip = 1.873300000e+04 >= 1.780250835e+04 5.0% (99960; 118054) +1295760: mip = 1.873300000e+04 >= 1.780500770e+04 5.0% (99828; 118224) +1296563: mip = 1.873300000e+04 >= 1.780748845e+04 4.9% (99696; 118436) Time used: 4021.3 secs. Memory used: 169.4 Mb. +1297383: mip = 1.873300000e+04 >= 1.781000860e+04 4.9% (99564; 118640) +1298202: mip = 1.873300000e+04 >= 1.781200490e+04 4.9% (99432; 118815) +1299016: mip = 1.873300000e+04 >= 1.781423822e+04 4.9% (99300; 118990) +1299842: mip = 1.873300000e+04 >= 1.781651145e+04 4.9% (99168; 119158) +1300714: mip = 1.873300000e+04 >= 1.781925713e+04 4.9% (99036; 119319) +1301550: mip = 1.873300000e+04 >= 1.782126043e+04 4.9% (98903; 119510) +1302364: mip = 1.873300000e+04 >= 1.782350865e+04 4.9% (98770; 119694) +1303197: mip = 1.873300000e+04 >= 1.782574027e+04 4.8% (98637; 119871) +1304004: mip = 1.873300000e+04 >= 1.782826133e+04 4.8% (98509; 120061) +1304801: mip = 1.873300000e+04 >= 1.783026153e+04 4.8% (98382; 120249) +1305608: mip = 1.873300000e+04 >= 1.783251185e+04 4.8% (98250; 120434) +1306444: mip = 1.873300000e+04 >= 1.783476148e+04 4.8% (98119; 120625) Time used: 4081.3 secs. Memory used: 169.4 Mb. +1307250: mip = 1.873300000e+04 >= 1.783723832e+04 4.8% (97988; 120776) +1308059: mip = 1.873300000e+04 >= 1.783950745e+04 4.8% (97856; 120940) +1308868: mip = 1.873300000e+04 >= 1.784175698e+04 4.8% (97723; 121145) +1309683: mip = 1.873300000e+04 >= 1.784401170e+04 4.7% (97589; 121338) +1310487: mip = 1.873300000e+04 >= 1.784600850e+04 4.7% (97455; 121502) +1311322: mip = 1.873300000e+04 >= 1.784826103e+04 4.7% (97320; 121698) +1312177: mip = 1.873300000e+04 >= 1.785051165e+04 4.7% (97185; 121881) +1313029: mip = 1.873300000e+04 >= 1.785300820e+04 4.7% (97049; 122073) +1313839: mip = 1.873300000e+04 >= 1.785524102e+04 4.7% (96916; 122270) +1314656: mip = 1.873300000e+04 >= 1.785726123e+04 4.7% (96781; 122481) +1315491: mip = 1.873300000e+04 >= 1.785951145e+04 4.7% (96646; 122664) Time used: 4141.3 secs. Memory used: 169.4 Mb. +1316319: mip = 1.873300000e+04 >= 1.786175698e+04 4.7% (96511; 122838) +1317168: mip = 1.873300000e+04 >= 1.786373877e+04 4.6% (96376; 123053) +1317997: mip = 1.873300000e+04 >= 1.786576148e+04 4.6% (96242; 123206) +1318903: mip = 1.873300000e+04 >= 1.786798910e+04 4.6% (96107; 123392) +1319685: mip = 1.873300000e+04 >= 1.786976188e+04 4.6% (95975; 123597) +1320498: mip = 1.873300000e+04 >= 1.787176178e+04 4.6% (95843; 123774) +1321324: mip = 1.873300000e+04 >= 1.787375638e+04 4.6% (95707; 123969) +1322102: mip = 1.873300000e+04 >= 1.787551165e+04 4.6% (95571; 124178) +1322971: mip = 1.873300000e+04 >= 1.787782358e+04 4.6% (95435; 124375) +1323818: mip = 1.873300000e+04 >= 1.787973767e+04 4.6% (95300; 124568) +1324619: mip = 1.873300000e+04 >= 1.788148955e+04 4.5% (95163; 124779) +1325444: mip = 1.873300000e+04 >= 1.788324022e+04 4.5% (95026; 124960) Time used: 4201.4 secs. Memory used: 169.4 Mb. +1326283: mip = 1.873300000e+04 >= 1.788500850e+04 4.5% (94898; 125154) +1327105: mip = 1.873300000e+04 >= 1.788676108e+04 4.5% (94762; 125349) +1327934: mip = 1.873300000e+04 >= 1.788898970e+04 4.5% (94626; 125535) +1328777: mip = 1.873300000e+04 >= 1.789076158e+04 4.5% (94489; 125730) +1329662: mip = 1.873300000e+04 >= 1.789301060e+04 4.5% (94353; 125923) +1330506: mip = 1.873300000e+04 >= 1.789499070e+04 4.5% (94216; 126132) +1331341: mip = 1.873300000e+04 >= 1.789675858e+04 4.5% (94079; 126357) +1332210: mip = 1.873300000e+04 >= 1.789850655e+04 4.5% (93942; 126548) +1333049: mip = 1.873300000e+04 >= 1.790026123e+04 4.4% (93805; 126745) +1333927: mip = 1.873300000e+04 >= 1.790249035e+04 4.4% (93669; 126914) +1334804: mip = 1.873300000e+04 >= 1.790448625e+04 4.4% (93529; 127124) +1335647: mip = 1.873300000e+04 >= 1.790624102e+04 4.4% (93391; 127336) Time used: 4261.4 secs. Memory used: 169.4 Mb. +1336523: mip = 1.873300000e+04 >= 1.790798870e+04 4.4% (93253; 127556) +1337381: mip = 1.873300000e+04 >= 1.790951125e+04 4.4% (93114; 127748) +1338268: mip = 1.873300000e+04 >= 1.791148955e+04 4.4% (92976; 127931) +1339138: mip = 1.873300000e+04 >= 1.791348855e+04 4.4% (92838; 128124) +1340021: mip = 1.873300000e+04 >= 1.791550835e+04 4.4% (92700; 128366) +1340889: mip = 1.873300000e+04 >= 1.791726133e+04 4.4% (92561; 128553) +1341784: mip = 1.873300000e+04 >= 1.791901180e+04 4.3% (92422; 128739) +1342593: mip = 1.873300000e+04 >= 1.792101140e+04 4.3% (92282; 128964) +1343470: mip = 1.873300000e+04 >= 1.792276148e+04 4.3% (92143; 129155) +1344302: mip = 1.873300000e+04 >= 1.792451085e+04 4.3% (92005; 129390) +1345172: mip = 1.873300000e+04 >= 1.792626173e+04 4.3% (91865; 129588) +1346023: mip = 1.873300000e+04 >= 1.792801170e+04 4.3% (91725; 129797) Time used: 4321.4 secs. Memory used: 169.4 Mb. +1346917: mip = 1.873300000e+04 >= 1.793017582e+04 4.3% (91585; 130011) +1347802: mip = 1.873300000e+04 >= 1.793200940e+04 4.3% (91445; 130206) +1348664: mip = 1.873300000e+04 >= 1.793376138e+04 4.3% (91306; 130386) +1349540: mip = 1.873300000e+04 >= 1.793551175e+04 4.3% (91166; 130584) +1350390: mip = 1.873300000e+04 >= 1.793751155e+04 4.2% (91026; 130786) +1351299: mip = 1.873300000e+04 >= 1.793950945e+04 4.2% (90886; 130993) +1352185: mip = 1.873300000e+04 >= 1.794151115e+04 4.2% (90745; 131216) +1353089: mip = 1.873300000e+04 >= 1.794325823e+04 4.2% (90604; 131417) +1353956: mip = 1.873300000e+04 >= 1.794501040e+04 4.2% (90463; 131614) +1354837: mip = 1.873300000e+04 >= 1.794675938e+04 4.2% (90323; 131824) +1355698: mip = 1.873300000e+04 >= 1.794851165e+04 4.2% (90181; 132041) +1356566: mip = 1.873300000e+04 >= 1.795026143e+04 4.2% (90039; 132251) Time used: 4381.4 secs. Memory used: 169.4 Mb. +1357468: mip = 1.873300000e+04 >= 1.795201140e+04 4.2% (89897; 132475) +1358335: mip = 1.873300000e+04 >= 1.795351135e+04 4.2% (89753; 132687) +1359198: mip = 1.873300000e+04 >= 1.795526143e+04 4.2% (89613; 132893) +1360069: mip = 1.873300000e+04 >= 1.795701110e+04 4.1% (89472; 133074) +1360919: mip = 1.873300000e+04 >= 1.795898910e+04 4.1% (89330; 133275) +1361811: mip = 1.873300000e+04 >= 1.796050875e+04 4.1% (89187; 133460) +1362707: mip = 1.873300000e+04 >= 1.796226123e+04 4.1% (89046; 133650) +1363587: mip = 1.873300000e+04 >= 1.796398890e+04 4.1% (88903; 133885) +1364427: mip = 1.873300000e+04 >= 1.796526133e+04 4.1% (88759; 134120) +1365277: mip = 1.873300000e+04 >= 1.796701120e+04 4.1% (88617; 134376) +1366156: mip = 1.873300000e+04 >= 1.796851075e+04 4.1% (88473; 134592) +1366999: mip = 1.873300000e+04 >= 1.797024062e+04 4.1% (88330; 134781) Time used: 4441.4 secs. Memory used: 169.4 Mb. +1367789: mip = 1.873300000e+04 >= 1.797151125e+04 4.1% (88192; 134999) +1368709: mip = 1.873300000e+04 >= 1.797301220e+04 4.1% (88049; 135188) +1369574: mip = 1.873300000e+04 >= 1.797476148e+04 4.0% (87907; 135458) +1370447: mip = 1.873300000e+04 >= 1.797651125e+04 4.0% (87763; 135685) +1371341: mip = 1.873300000e+04 >= 1.797848905e+04 4.0% (87619; 135885) +1372182: mip = 1.873300000e+04 >= 1.797975978e+04 4.0% (87475; 136089) +1372987: mip = 1.873300000e+04 >= 1.798123922e+04 4.0% (87333; 136310) +1373853: mip = 1.873300000e+04 >= 1.798275798e+04 4.0% (87188; 136493) +1374722: mip = 1.873300000e+04 >= 1.798426123e+04 4.0% (87048; 136684) +1375546: mip = 1.873300000e+04 >= 1.798576158e+04 4.0% (86911; 136881) +1376394: mip = 1.873300000e+04 >= 1.798751095e+04 4.0% (86765; 137128) +1377271: mip = 1.873300000e+04 >= 1.798925803e+04 4.0% (86619; 137353) Time used: 4501.4 secs. Memory used: 169.4 Mb. +1378120: mip = 1.873300000e+04 >= 1.799076088e+04 4.0% (86472; 137562) +1378970: mip = 1.873300000e+04 >= 1.799226113e+04 4.0% (86325; 137773) +1379836: mip = 1.873300000e+04 >= 1.799376058e+04 3.9% (86180; 137963) +1380711: mip = 1.873300000e+04 >= 1.799551105e+04 3.9% (86034; 138172) +1381575: mip = 1.873300000e+04 >= 1.799726103e+04 3.9% (85887; 138422) +1382469: mip = 1.873300000e+04 >= 1.799874017e+04 3.9% (85740; 138644) +1383371: mip = 1.873300000e+04 >= 1.800025723e+04 3.9% (85593; 138846) +1384244: mip = 1.873300000e+04 >= 1.800175798e+04 3.9% (85446; 139061) +1385051: mip = 1.873300000e+04 >= 1.800323872e+04 3.9% (85298; 139287) +1385918: mip = 1.873300000e+04 >= 1.800475818e+04 3.9% (85151; 139531) +1386776: mip = 1.873300000e+04 >= 1.800651105e+04 3.9% (85002; 139750) +1387614: mip = 1.873300000e+04 >= 1.800826123e+04 3.9% (84855; 139996) Time used: 4561.5 secs. Memory used: 169.4 Mb. +1388500: mip = 1.873300000e+04 >= 1.800973987e+04 3.9% (84708; 140216) +1389366: mip = 1.873300000e+04 >= 1.801126113e+04 3.9% (84560; 140458) +1390214: mip = 1.873300000e+04 >= 1.801301010e+04 3.8% (84413; 140673) +1391116: mip = 1.873300000e+04 >= 1.801426143e+04 3.8% (84264; 140887) +1391994: mip = 1.873300000e+04 >= 1.801601060e+04 3.8% (84114; 141168) +1392844: mip = 1.873300000e+04 >= 1.801751105e+04 3.8% (83964; 141409) +1393719: mip = 1.873300000e+04 >= 1.801901110e+04 3.8% (83814; 141625) +1394582: mip = 1.873300000e+04 >= 1.802051075e+04 3.8% (83663; 141888) +1395453: mip = 1.873300000e+04 >= 1.802201150e+04 3.8% (83514; 142108) +1396284: mip = 1.873300000e+04 >= 1.802376028e+04 3.8% (83364; 142368) +1397161: mip = 1.873300000e+04 >= 1.802526123e+04 3.8% (83213; 142602) +1398038: mip = 1.873300000e+04 >= 1.802676118e+04 3.8% (83062; 142818) Time used: 4621.5 secs. Memory used: 169.4 Mb. +1398940: mip = 1.873300000e+04 >= 1.802825633e+04 3.8% (82911; 143006) +1399782: mip = 1.873300000e+04 >= 1.802976128e+04 3.8% (82759; 143252) +1400647: mip = 1.873300000e+04 >= 1.803126133e+04 3.7% (82608; 143495) +1401478: mip = 1.873300000e+04 >= 1.803326003e+04 3.7% (82456; 143752) +1402370: mip = 1.873300000e+04 >= 1.803472277e+04 3.7% (82304; 144004) +1403249: mip = 1.873300000e+04 >= 1.803648885e+04 3.7% (82152; 144205) +1404098: mip = 1.873300000e+04 >= 1.803799070e+04 3.7% (81999; 144430) +1404983: mip = 1.873300000e+04 >= 1.803951105e+04 3.7% (81847; 144632) +1405788: mip = 1.873300000e+04 >= 1.804101150e+04 3.7% (81698; 144839) +1406638: mip = 1.873300000e+04 >= 1.804250685e+04 3.7% (81548; 145087) +1407490: mip = 1.873300000e+04 >= 1.804376128e+04 3.7% (81394; 145329) +1408355: mip = 1.873300000e+04 >= 1.804551065e+04 3.7% (81240; 145569) Time used: 4681.5 secs. Memory used: 169.4 Mb. +1409250: mip = 1.873300000e+04 >= 1.804696550e+04 3.7% (81087; 145780) +1410111: mip = 1.873300000e+04 >= 1.804826183e+04 3.7% (80933; 146041) +1410900: mip = 1.873300000e+04 >= 1.805001060e+04 3.6% (80788; 146269) +1411706: mip = 1.873300000e+04 >= 1.805175758e+04 3.6% (80635; 146523) +1412505: mip = 1.873300000e+04 >= 1.805301110e+04 3.6% (80480; 146776) +1413411: mip = 1.873300000e+04 >= 1.805451145e+04 3.6% (80323; 147006) +1414265: mip = 1.873300000e+04 >= 1.805601210e+04 3.6% (80166; 147243) +1415129: mip = 1.873300000e+04 >= 1.805776028e+04 3.6% (80010; 147485) +1416003: mip = 1.873300000e+04 >= 1.805923962e+04 3.6% (79856; 147704) +1416850: mip = 1.873300000e+04 >= 1.806073637e+04 3.6% (79700; 147952) +1417693: mip = 1.873300000e+04 >= 1.806226163e+04 3.6% (79544; 148156) +1418505: mip = 1.873300000e+04 >= 1.806351085e+04 3.6% (79387; 148432) Time used: 4741.5 secs. Memory used: 169.4 Mb. +1419358: mip = 1.873300000e+04 >= 1.806501060e+04 3.6% (79231; 148654) +1420212: mip = 1.873300000e+04 >= 1.806651105e+04 3.6% (79075; 148859) +1421063: mip = 1.873300000e+04 >= 1.806823812e+04 3.5% (78918; 149082) +1421866: mip = 1.873300000e+04 >= 1.806976068e+04 3.5% (78764; 149338) +1422674: mip = 1.873300000e+04 >= 1.807126093e+04 3.5% (78608; 149621) +1423562: mip = 1.873300000e+04 >= 1.807271347e+04 3.5% (78451; 149871) +1424387: mip = 1.873300000e+04 >= 1.807401130e+04 3.5% (78292; 150104) +1425203: mip = 1.873300000e+04 >= 1.807551065e+04 3.5% (78134; 150336) +1426043: mip = 1.873300000e+04 >= 1.807700870e+04 3.5% (77978; 150536) +1426903: mip = 1.873300000e+04 >= 1.807851075e+04 3.5% (77820; 150725) +1427783: mip = 1.873300000e+04 >= 1.808025843e+04 3.5% (77661; 150973) +1428658: mip = 1.873300000e+04 >= 1.808176118e+04 3.5% (77502; 151204) Time used: 4801.5 secs. Memory used: 169.4 Mb. +1429483: mip = 1.873300000e+04 >= 1.808326143e+04 3.5% (77342; 151480) +1430309: mip = 1.873300000e+04 >= 1.808473927e+04 3.5% (77183; 151695) +1431121: mip = 1.873300000e+04 >= 1.808601150e+04 3.5% (77022; 151967) +1431948: mip = 1.873300000e+04 >= 1.808775668e+04 3.4% (76862; 152199) +1432792: mip = 1.873300000e+04 >= 1.808926113e+04 3.4% (76701; 152439) +1433628: mip = 1.873300000e+04 >= 1.809076108e+04 3.4% (76540; 152641) +1434472: mip = 1.873300000e+04 >= 1.809226093e+04 3.4% (76379; 152883) +1435340: mip = 1.873300000e+04 >= 1.809373917e+04 3.4% (76218; 153141) +1436182: mip = 1.873300000e+04 >= 1.809501080e+04 3.4% (76056; 153392) +1437008: mip = 1.873300000e+04 >= 1.809675978e+04 3.4% (75894; 153621) +1437869: mip = 1.873300000e+04 >= 1.809826143e+04 3.4% (75732; 153873) +1438685: mip = 1.873300000e+04 >= 1.809976108e+04 3.4% (75571; 154085) Time used: 4861.5 secs. Memory used: 169.4 Mb. +1439520: mip = 1.873300000e+04 >= 1.810123932e+04 3.4% (75409; 154301) +1440331: mip = 1.873300000e+04 >= 1.810251095e+04 3.4% (75247; 154537) +1441134: mip = 1.873300000e+04 >= 1.810399220e+04 3.4% (75083; 154776) +1441971: mip = 1.873300000e+04 >= 1.810551015e+04 3.3% (74920; 155051) +1442815: mip = 1.873300000e+04 >= 1.810701080e+04 3.3% (74756; 155236) +1443654: mip = 1.873300000e+04 >= 1.810826143e+04 3.3% (74592; 155514) +1444510: mip = 1.873300000e+04 >= 1.810976108e+04 3.3% (74428; 155756) +1445365: mip = 1.873300000e+04 >= 1.811126083e+04 3.3% (74264; 155979) +1446191: mip = 1.873300000e+04 >= 1.811250905e+04 3.3% (74100; 156208) +1447031: mip = 1.873300000e+04 >= 1.811401110e+04 3.3% (73935; 156440) +1447839: mip = 1.873300000e+04 >= 1.811526143e+04 3.3% (73769; 156702) Time used: 4921.5 secs. Memory used: 169.4 Mb. +1448670: mip = 1.873300000e+04 >= 1.811676038e+04 3.3% (73604; 156984) +1449469: mip = 1.873300000e+04 >= 1.811826093e+04 3.3% (73438; 157214) +1450303: mip = 1.873300000e+04 >= 1.811951145e+04 3.3% (73273; 157435) +1451076: mip = 1.873300000e+04 >= 1.812076088e+04 3.3% (73114; 157640) +1451911: mip = 1.873300000e+04 >= 1.812223642e+04 3.3% (72949; 157887) +1452698: mip = 1.873300000e+04 >= 1.812351075e+04 3.3% (72781; 158128) +1453505: mip = 1.873300000e+04 >= 1.812523742e+04 3.2% (72614; 158375) +1454307: mip = 1.873300000e+04 >= 1.812676038e+04 3.2% (72446; 158666) +1455144: mip = 1.873300000e+04 >= 1.812823802e+04 3.2% (72278; 158909) +1455956: mip = 1.873300000e+04 >= 1.812948615e+04 3.2% (72111; 159178) +1456780: mip = 1.873300000e+04 >= 1.813076038e+04 3.2% (71942; 159438) +1457599: mip = 1.873300000e+04 >= 1.813225793e+04 3.2% (71772; 159722) Time used: 4981.5 secs. Memory used: 169.4 Mb. +1458401: mip = 1.873300000e+04 >= 1.813376058e+04 3.2% (71600; 159977) +1459238: mip = 1.873300000e+04 >= 1.813526003e+04 3.2% (71431; 160234) +1460044: mip = 1.873300000e+04 >= 1.813675838e+04 3.2% (71262; 160504) +1460840: mip = 1.873300000e+04 >= 1.813801050e+04 3.2% (71093; 160732) +1461654: mip = 1.873300000e+04 >= 1.813926073e+04 3.2% (70923; 160988) +1462480: mip = 1.873300000e+04 >= 1.814051125e+04 3.2% (70752; 161218) +1463335: mip = 1.873300000e+04 >= 1.814200670e+04 3.2% (70581; 161451) +1464143: mip = 1.873300000e+04 >= 1.814326193e+04 3.1% (70410; 161709) +1464956: mip = 1.873300000e+04 >= 1.814476198e+04 3.1% (70238; 161987) +1465786: mip = 1.873300000e+04 >= 1.814601170e+04 3.1% (70067; 162227) +1466640: mip = 1.873300000e+04 >= 1.814748945e+04 3.1% (69895; 162487) +1467454: mip = 1.873300000e+04 >= 1.814917442e+04 3.1% (69722; 162734) Time used: 5041.5 secs. Memory used: 169.4 Mb. +1468265: mip = 1.873300000e+04 >= 1.815048885e+04 3.1% (69550; 162991) +1469109: mip = 1.873300000e+04 >= 1.815201040e+04 3.1% (69377; 163289) +1469905: mip = 1.873300000e+04 >= 1.815350985e+04 3.1% (69205; 163563) +1470693: mip = 1.873300000e+04 >= 1.815476108e+04 3.1% (69031; 163843) +1471529: mip = 1.873300000e+04 >= 1.815626053e+04 3.1% (68857; 164090) +1472341: mip = 1.873300000e+04 >= 1.815751095e+04 3.1% (68682; 164361) +1473140: mip = 1.873300000e+04 >= 1.815876118e+04 3.1% (68509; 164619) +1473955: mip = 1.873300000e+04 >= 1.816026173e+04 3.1% (68334; 164864) +1474773: mip = 1.873300000e+04 >= 1.816176038e+04 3.0% (68159; 165193) +1475614: mip = 1.873300000e+04 >= 1.816301160e+04 3.0% (67985; 165410) +1476441: mip = 1.873300000e+04 >= 1.816426143e+04 3.0% (67808; 165697) +1477245: mip = 1.873300000e+04 >= 1.816576108e+04 3.0% (67631; 166009) Time used: 5101.6 secs. Memory used: 169.4 Mb. +1478066: mip = 1.873300000e+04 >= 1.816701080e+04 3.0% (67454; 166304) +1478882: mip = 1.873300000e+04 >= 1.816851055e+04 3.0% (67274; 166615) +1479728: mip = 1.873300000e+04 >= 1.817000560e+04 3.0% (67096; 166891) +1480531: mip = 1.873300000e+04 >= 1.817126103e+04 3.0% (66922; 167149) +1481324: mip = 1.873300000e+04 >= 1.817276028e+04 3.0% (66743; 167446) +1482142: mip = 1.873300000e+04 >= 1.817426033e+04 3.0% (66564; 167698) +1482981: mip = 1.873300000e+04 >= 1.817551085e+04 3.0% (66385; 167972) +1483768: mip = 1.873300000e+04 >= 1.817676098e+04 3.0% (66205; 168240) +1484570: mip = 1.873300000e+04 >= 1.817826003e+04 3.0% (66024; 168544) +1485400: mip = 1.873300000e+04 >= 1.817951085e+04 3.0% (65845; 168826) +1486228: mip = 1.873300000e+04 >= 1.818100990e+04 2.9% (65664; 169123) +1487047: mip = 1.873300000e+04 >= 1.818251015e+04 2.9% (65483; 169392) Time used: 5161.6 secs. Memory used: 169.4 Mb. +1487895: mip = 1.873300000e+04 >= 1.818376168e+04 2.9% (65303; 169632) +1488700: mip = 1.873300000e+04 >= 1.818523912e+04 2.9% (65120; 169928) +1489517: mip = 1.873300000e+04 >= 1.818651105e+04 2.9% (64938; 170210) +1490303: mip = 1.873300000e+04 >= 1.818800970e+04 2.9% (64755; 170533) +1491124: mip = 1.873300000e+04 >= 1.818923742e+04 2.9% (64572; 170846) +1491954: mip = 1.873300000e+04 >= 1.819075658e+04 2.9% (64388; 171150) +1492740: mip = 1.873300000e+04 >= 1.819201090e+04 2.9% (64204; 171439) +1493531: mip = 1.873300000e+04 >= 1.819326143e+04 2.9% (64019; 171711) +1494340: mip = 1.873300000e+04 >= 1.819451175e+04 2.9% (63835; 172010) +1495148: mip = 1.873300000e+04 >= 1.819598770e+04 2.9% (63652; 172306) +1495933: mip = 1.873300000e+04 >= 1.819726053e+04 2.9% (63465; 172662) +1496753: mip = 1.873300000e+04 >= 1.819873937e+04 2.9% (63279; 172951) Time used: 5221.6 secs. Memory used: 169.4 Mb. +1497598: mip = 1.873300000e+04 >= 1.820001060e+04 2.8% (63094; 173239) +1498393: mip = 1.873300000e+04 >= 1.820126113e+04 2.8% (62907; 173545) +1499226: mip = 1.873300000e+04 >= 1.820276018e+04 2.8% (62720; 173880) +1500023: mip = 1.873300000e+04 >= 1.820401130e+04 2.8% (62532; 174211) +1500815: mip = 1.873300000e+04 >= 1.820550815e+04 2.8% (62343; 174562) +1501630: mip = 1.873300000e+04 >= 1.820700870e+04 2.8% (62154; 174879) +1502386: mip = 1.873300000e+04 >= 1.820826013e+04 2.8% (61971; 175211) +1503173: mip = 1.873300000e+04 >= 1.820951065e+04 2.8% (61794; 175460) +1503990: mip = 1.873300000e+04 >= 1.821076058e+04 2.8% (61604; 175728) +1504762: mip = 1.873300000e+04 >= 1.821223782e+04 2.8% (61424; 175980) +1505543: mip = 1.873300000e+04 >= 1.821351035e+04 2.8% (61233; 176287) +1506358: mip = 1.873300000e+04 >= 1.821501110e+04 2.8% (61042; 176621) Time used: 5281.6 secs. Memory used: 169.4 Mb. +1507147: mip = 1.873300000e+04 >= 1.821650965e+04 2.8% (60856; 176964) +1507989: mip = 1.873300000e+04 >= 1.821773897e+04 2.8% (60664; 177264) +1508781: mip = 1.873300000e+04 >= 1.821923812e+04 2.7% (60472; 177608) +1509585: mip = 1.873300000e+04 >= 1.822051125e+04 2.7% (60278; 177942) +1510368: mip = 1.873300000e+04 >= 1.822201090e+04 2.7% (60087; 178206) +1511115: mip = 1.873300000e+04 >= 1.822351055e+04 2.7% (59899; 178550) +1511896: mip = 1.873300000e+04 >= 1.822498860e+04 2.7% (59715; 178851) +1512684: mip = 1.873300000e+04 >= 1.822626193e+04 2.7% (59519; 179175) +1513487: mip = 1.873300000e+04 >= 1.822776068e+04 2.7% (59323; 179530) +1514299: mip = 1.873300000e+04 >= 1.822923792e+04 2.7% (59129; 179838) +1515093: mip = 1.873300000e+04 >= 1.823076018e+04 2.7% (58932; 180148) +1515928: mip = 1.873300000e+04 >= 1.823223852e+04 2.7% (58735; 180502) Time used: 5341.6 secs. Memory used: 169.4 Mb. +1516761: mip = 1.873300000e+04 >= 1.823351045e+04 2.7% (58538; 180830) +1517558: mip = 1.873300000e+04 >= 1.823500970e+04 2.7% (58340; 181172) +1518359: mip = 1.873300000e+04 >= 1.823648985e+04 2.7% (58142; 181498) +1519149: mip = 1.873300000e+04 >= 1.823776078e+04 2.6% (57945; 181832) +1519911: mip = 1.873300000e+04 >= 1.823926053e+04 2.6% (57748; 182192) +1520718: mip = 1.873300000e+04 >= 1.824073767e+04 2.6% (57548; 182582) +1521528: mip = 1.873300000e+04 >= 1.824223742e+04 2.6% (57348; 182935) +1522294: mip = 1.873300000e+04 >= 1.824351045e+04 2.6% (57150; 183312) +1523109: mip = 1.873300000e+04 >= 1.824501070e+04 2.6% (56949; 183652) +1523900: mip = 1.873300000e+04 >= 1.824673987e+04 2.6% (56748; 184011) +1524702: mip = 1.873300000e+04 >= 1.824826023e+04 2.6% (56544; 184351) +1525529: mip = 1.873300000e+04 >= 1.824973957e+04 2.6% (56341; 184689) Time used: 5401.6 secs. Memory used: 169.4 Mb. +1526339: mip = 1.873300000e+04 >= 1.825101110e+04 2.6% (56138; 185021) +1527155: mip = 1.873300000e+04 >= 1.825251055e+04 2.6% (55933; 185412) +1527922: mip = 1.873300000e+04 >= 1.825426003e+04 2.6% (55732; 185793) +1528746: mip = 1.873300000e+04 >= 1.825576118e+04 2.5% (55526; 186158) +1529561: mip = 1.873300000e+04 >= 1.825751055e+04 2.5% (55319; 186515) +1530368: mip = 1.873300000e+04 >= 1.825901090e+04 2.5% (55111; 186863) +1531167: mip = 1.873300000e+04 >= 1.826075918e+04 2.5% (54901; 187307) +1531956: mip = 1.873300000e+04 >= 1.826225813e+04 2.5% (54692; 187703) +1532774: mip = 1.873300000e+04 >= 1.826376058e+04 2.5% (54484; 188031) +1533572: mip = 1.873300000e+04 >= 1.826548975e+04 2.5% (54278; 188377) +1534391: mip = 1.873300000e+04 >= 1.826701070e+04 2.5% (54068; 188754) +1535146: mip = 1.873300000e+04 >= 1.826850965e+04 2.5% (53859; 189148) Time used: 5461.6 secs. Memory used: 169.4 Mb. +1535962: mip = 1.873300000e+04 >= 1.827000870e+04 2.5% (53647; 189567) +1536761: mip = 1.873300000e+04 >= 1.827126053e+04 2.5% (53436; 190008) +1537541: mip = 1.873300000e+04 >= 1.827300990e+04 2.5% (53224; 190435) +1538326: mip = 1.873300000e+04 >= 1.827476008e+04 2.4% (53010; 190844) +1539111: mip = 1.873300000e+04 >= 1.827651045e+04 2.4% (52797; 191273) +1539898: mip = 1.873300000e+04 >= 1.827801170e+04 2.4% (52582; 191691) +1540706: mip = 1.873300000e+04 >= 1.827974007e+04 2.4% (52366; 192140) +1541453: mip = 1.873300000e+04 >= 1.828101070e+04 2.4% (52160; 192540) +1542217: mip = 1.873300000e+04 >= 1.828251035e+04 2.4% (51955; 193007) +1542925: mip = 1.873300000e+04 >= 1.828401120e+04 2.4% (51755; 193407) +1543695: mip = 1.873300000e+04 >= 1.828576018e+04 2.4% (51541; 193877) +1544445: mip = 1.873300000e+04 >= 1.828723782e+04 2.4% (51329; 194239) Time used: 5521.6 secs. Memory used: 169.4 Mb. +1545236: mip = 1.873300000e+04 >= 1.828876008e+04 2.4% (51110; 194712) +1546040: mip = 1.873300000e+04 >= 1.829026063e+04 2.4% (50891; 195136) +1546834: mip = 1.873300000e+04 >= 1.829201090e+04 2.4% (50673; 195568) +1547634: mip = 1.873300000e+04 >= 1.829398710e+04 2.3% (50452; 195970) +1548415: mip = 1.873300000e+04 >= 1.829550995e+04 2.3% (50229; 196462) +1549234: mip = 1.873300000e+04 >= 1.829701060e+04 2.3% (50006; 196918) +1550025: mip = 1.873300000e+04 >= 1.829875938e+04 2.3% (49783; 197448) +1550861: mip = 1.873300000e+04 >= 1.830048865e+04 2.3% (49560; 197889) +1551665: mip = 1.873300000e+04 >= 1.830201050e+04 2.3% (49335; 198337) +1552465: mip = 1.873300000e+04 >= 1.830376088e+04 2.3% (49107; 198836) +1553268: mip = 1.873300000e+04 >= 1.830551025e+04 2.3% (48880; 199287) +1554073: mip = 1.873300000e+04 >= 1.830725833e+04 2.3% (48652; 199850) Time used: 5581.7 secs. Memory used: 169.4 Mb. +1554898: mip = 1.873300000e+04 >= 1.830901140e+04 2.3% (48424; 200298) +1555738: mip = 1.873300000e+04 >= 1.831101060e+04 2.3% (48195; 200780) +1556537: mip = 1.873300000e+04 >= 1.831275988e+04 2.2% (47965; 201273) +1557342: mip = 1.873300000e+04 >= 1.831426103e+04 2.2% (47735; 201801) +1558142: mip = 1.873300000e+04 >= 1.831601040e+04 2.2% (47504; 202323) +1558925: mip = 1.873300000e+04 >= 1.831776108e+04 2.2% (47271; 202796) +1559738: mip = 1.873300000e+04 >= 1.831975908e+04 2.2% (47037; 203355) +1560529: mip = 1.873300000e+04 >= 1.832150975e+04 2.2% (46802; 203838) +1561308: mip = 1.873300000e+04 >= 1.832301060e+04 2.2% (46568; 204322) +1562148: mip = 1.873300000e+04 >= 1.832475648e+04 2.2% (46332; 204851) +1562989: mip = 1.873300000e+04 >= 1.832651025e+04 2.2% (46094; 205388) +1563814: mip = 1.873300000e+04 >= 1.832851025e+04 2.2% (45856; 205918) Time used: 5641.7 secs. Memory used: 169.4 Mb. +1564676: mip = 1.873300000e+04 >= 1.833026023e+04 2.1% (45618; 206429) +1565490: mip = 1.873300000e+04 >= 1.833200980e+04 2.1% (45378; 206974) +1566319: mip = 1.873300000e+04 >= 1.833401050e+04 2.1% (45138; 207478) +1567174: mip = 1.873300000e+04 >= 1.833576078e+04 2.1% (44896; 208010) +1568004: mip = 1.873300000e+04 >= 1.833751065e+04 2.1% (44654; 208558) +1568827: mip = 1.873300000e+04 >= 1.833926123e+04 2.1% (44411; 209067) +1569664: mip = 1.873300000e+04 >= 1.834107501e+04 2.1% (44166; 209568) +1570521: mip = 1.873300000e+04 >= 1.834276068e+04 2.1% (43921; 210153) +1571349: mip = 1.873300000e+04 >= 1.834450985e+04 2.1% (43677; 210784) +1572202: mip = 1.873300000e+04 >= 1.834650685e+04 2.1% (43429; 211350) +1573099: mip = 1.873300000e+04 >= 1.834826013e+04 2.1% (43180; 211898) +1573948: mip = 1.873300000e+04 >= 1.835025973e+04 2.0% (42927; 212512) Time used: 5701.7 secs. Memory used: 169.4 Mb. +1574817: mip = 1.873300000e+04 >= 1.835225743e+04 2.0% (42675; 213061) +1575661: mip = 1.873300000e+04 >= 1.835401000e+04 2.0% (42424; 213649) +1576534: mip = 1.873300000e+04 >= 1.835600880e+04 2.0% (42171; 214310) +1577355: mip = 1.873300000e+04 >= 1.835776018e+04 2.0% (41916; 214925) +1578216: mip = 1.873300000e+04 >= 1.835951035e+04 2.0% (41661; 215492) +1579084: mip = 1.873300000e+04 >= 1.836126043e+04 2.0% (41404; 216047) +1579938: mip = 1.873300000e+04 >= 1.836325973e+04 2.0% (41146; 216659) +1580775: mip = 1.873300000e+04 >= 1.836523892e+04 2.0% (40886; 217251) +1581593: mip = 1.873300000e+04 >= 1.836725863e+04 2.0% (40628; 217933) +1582436: mip = 1.873300000e+04 >= 1.836926043e+04 1.9% (40366; 218574) +1583268: mip = 1.873300000e+04 >= 1.837101070e+04 1.9% (40102; 219211) +1584076: mip = 1.873300000e+04 >= 1.837301030e+04 1.9% (39852; 219811) Time used: 5761.7 secs. Memory used: 169.4 Mb. +1584931: mip = 1.873300000e+04 >= 1.837501070e+04 1.9% (39588; 220405) +1585770: mip = 1.873300000e+04 >= 1.837701070e+04 1.9% (39323; 221065) +1586648: mip = 1.873300000e+04 >= 1.837901010e+04 1.9% (39053; 221767) +1587531: mip = 1.873300000e+04 >= 1.838099080e+04 1.9% (38783; 222493) +1588368: mip = 1.873300000e+04 >= 1.838276118e+04 1.9% (38513; 223216) +1589221: mip = 1.873300000e+04 >= 1.838524042e+04 1.9% (38242; 223883) +1590044: mip = 1.873300000e+04 >= 1.838701110e+04 1.8% (37969; 224631) +1590874: mip = 1.873300000e+04 >= 1.838901080e+04 1.8% (37694; 225356) +1591707: mip = 1.873300000e+04 >= 1.839101070e+04 1.8% (37419; 226134) +1592539: mip = 1.873300000e+04 >= 1.839326013e+04 1.8% (37143; 226837) +1593397: mip = 1.873300000e+04 >= 1.839526073e+04 1.8% (36863; 227555) +1594250: mip = 1.873300000e+04 >= 1.839726023e+04 1.8% (36581; 228335) Time used: 5821.7 secs. Memory used: 169.4 Mb. +1595100: mip = 1.873300000e+04 >= 1.839973787e+04 1.8% (36299; 229074) +1595964: mip = 1.873300000e+04 >= 1.840175688e+04 1.8% (36016; 229802) +1596847: mip = 1.873300000e+04 >= 1.840376008e+04 1.8% (35729; 230629) +1597720: mip = 1.873300000e+04 >= 1.840600980e+04 1.7% (35442; 231407) +1598597: mip = 1.873300000e+04 >= 1.840801130e+04 1.7% (35153; 232196) +1599435: mip = 1.873300000e+04 >= 1.841046495e+04 1.7% (34866; 232978) +1600267: mip = 1.873300000e+04 >= 1.841246625e+04 1.7% (34581; 233725) +1601174: mip = 1.873300000e+04 >= 1.841473897e+04 1.7% (34286; 234500) +1602013: mip = 1.873300000e+04 >= 1.841675948e+04 1.7% (33996; 235347) +1602844: mip = 1.873300000e+04 >= 1.841876068e+04 1.7% (33706; 236140) +1603717: mip = 1.873300000e+04 >= 1.842126073e+04 1.7% (33403; 236998) +1604565: mip = 1.873300000e+04 >= 1.842376068e+04 1.7% (33098; 237878) Time used: 5881.7 secs. Memory used: 169.4 Mb. +1605420: mip = 1.873300000e+04 >= 1.842601030e+04 1.6% (32792; 238855) +1606279: mip = 1.873300000e+04 >= 1.842826033e+04 1.6% (32488; 239784) +1607132: mip = 1.873300000e+04 >= 1.843076078e+04 1.6% (32180; 240683) +1607948: mip = 1.873300000e+04 >= 1.843301040e+04 1.6% (31871; 241572) +1608736: mip = 1.873300000e+04 >= 1.843525933e+04 1.6% (31567; 242401) +1609544: mip = 1.873300000e+04 >= 1.843773687e+04 1.6% (31256; 243383) +1610349: mip = 1.873300000e+04 >= 1.844023602e+04 1.6% (30950; 244366) +1611130: mip = 1.873300000e+04 >= 1.844250975e+04 1.6% (30629; 245321) +1611942: mip = 1.873300000e+04 >= 1.844501060e+04 1.5% (30308; 246346) +1612758: mip = 1.873300000e+04 >= 1.844776028e+04 1.5% (29979; 247346) +1613570: mip = 1.873300000e+04 >= 1.845023782e+04 1.5% (29647; 248306) +1614392: mip = 1.873300000e+04 >= 1.845275638e+04 1.5% (29313; 249356) Time used: 5941.7 secs. Memory used: 169.4 Mb. +1615192: mip = 1.873300000e+04 >= 1.845525983e+04 1.5% (28979; 250374) +1616007: mip = 1.873300000e+04 >= 1.845776048e+04 1.5% (28643; 251406) +1616851: mip = 1.873300000e+04 >= 1.846049075e+04 1.5% (28295; 252567) +1617625: mip = 1.873300000e+04 >= 1.846326053e+04 1.4% (27962; 253711) +1618451: mip = 1.873300000e+04 >= 1.846599010e+04 1.4% (27616; 254867) +1619290: mip = 1.873300000e+04 >= 1.846875778e+04 1.4% (27262; 256016) +1620170: mip = 1.873300000e+04 >= 1.847151045e+04 1.4% (26906; 257277) +1621000: mip = 1.873300000e+04 >= 1.847450935e+04 1.4% (26545; 258544) +1621857: mip = 1.873300000e+04 >= 1.847748775e+04 1.4% (26183; 259820) +1622744: mip = 1.873300000e+04 >= 1.848051095e+04 1.3% (25809; 261152) +1623598: mip = 1.873300000e+04 >= 1.848351005e+04 1.3% (25430; 262559) +1624449: mip = 1.873300000e+04 >= 1.848675968e+04 1.3% (25050; 263888) Time used: 6001.7 secs. Memory used: 169.4 Mb. +1625276: mip = 1.873300000e+04 >= 1.848976068e+04 1.3% (24694; 265108) Cuts on level 34: mir = 1; +1626094: >>>>> 1.849300000e+04 >= 1.849300000e+04 0.0% (24347; 266252) +1626094: mip = 1.849300000e+04 >= tree is empty 0.0% (0; 403183) INTEGER OPTIMAL SOLUTION FOUND Time used: 6011.5 secs Memory used: 169.4 Mb (177636621 bytes) //Input data for Online Solver at https://www.lutanho.net/plt/lotsize.html //I u_0 y_0 y_I 35; 0; 0; 0; startup x_min fix var x_max demand y_min fix var up fix var y_max 0; 0, 2500, 1,9999; 8; -9999, 0, -1, 0, 0, 2, 9999; 0; 0, 2500, 3,9999; 24; -9999, 0, -16, 0, 0, 5, 9999; 0; 0, 2500, 9,9999; 0; -9999, 0, -8, 0, 0, 4, 9999; 0; 0, 2500, 5,9999; 19; -9999, 0, -6, 0, 0, 9, 9999; 0; 0, 2500, 3,9999; 14; -9999, 0, -6, 0, 0, 1, 9999; 0; 0, 2500, 1,9999; 10; -9999, 0, -10, 0, 0, 9, 9999; 0; 0, 2500, 4,9999; 3; -9999, 0, -13, 0, 0, 7, 9999; 0; 0, 2500, 8,9999; 13; -9999, 0, -7, 0, 0, 5, 9999; 0; 0, 2500, 8,9999; 11; -9999, 0, -3, 0, 0, 2, 9999; 0; 0, 2500, 4,9999; 20; -9999, 0, -4, 0, 0, 2, 9999; 0; 0, 2500, 5,9999; 14; -9999, 0, -2, 0, 0, 8, 9999; 0; 0, 2500, 5,9999; 22; -9999, 0, -7, 0, 0, 4, 9999; 0; 0, 2500, 5,9999; 7; -9999, 0, -18, 0, 0, 7, 9999; 0; 0, 2500, 5,9999; 17; -9999, 0, -18, 0, 0, 8, 9999; 0; 0, 2500, 4,9999; 16; -9999, 0, -1, 0, 0, 2, 9999; 0; 0, 2500, 5,9999; 26; -9999, 0, -5, 0, 0, 9, 9999; 0; 0, 2500, 9,9999; 21; -9999, 0, -10, 0, 0, 8, 9999; 0; 0, 2500, 9,9999; 24; -9999, 0, -11, 0, 0, 2, 9999; 0; 0, 2500, 7,9999; 12; -9999, 0, -15, 0, 0, 8, 9999; 0; 0, 2500, 6,9999; 18; -9999, 0, -4, 0, 0, 5, 9999; 0; 0, 2500, 5,9999; 18; -9999, 0, -4, 0, 0, 6, 9999; 0; 0, 2500, 5,9999; 28; -9999, 0, -10, 0, 0, 4, 9999; 0; 0, 2500, 7,9999; 3; -9999, 0, -13, 0, 0, 8, 9999; 0; 0, 2500, 5,9999; 6; -9999, 0, -2, 0, 0, 2, 9999; 0; 0, 2500, 7,9999; 12; -9999, 0, -2, 0, 0, 8, 9999; 0; 0, 2500, 1,9999; 28; -9999, 0, -16, 0, 0, 3, 9999; 0; 0, 2500, 3,9999; 7; -9999, 0, -8, 0, 0, 8, 9999; 0; 0, 2500, 2,9999; 25; -9999, 0, -7, 0, 0, 6, 9999; 0; 0, 2500, 9,9999; 9; -9999, 0, -5, 0, 0, 7, 9999; 0; 0, 2500, 8,9999; 11; -9999, 0, -8, 0, 0, 5, 9999; 0; 0, 2500, 5,9999; 17; -9999, 0, -8, 0, 0, 7, 9999; 0; 0, 2500, 1,9999; 29; -9999, 0, -17, 0, 0, 1, 9999; 0; 0, 2500, 9,9999; 24; -9999, 0, -13, 0, 0, 2, 9999; 0; 0, 2500, 3,9999; 28; -9999, 0, -15, 0, 0, 1, 9999; 0; 0, 2500, 8,9999; 2; -9999, 0, -16, 0, 0, 9, 9999; -------------------------------------------------------------------- Total Cost: 18493 Model has been successfully processed >Exit code: 0 Time: 6011.859