certificate cert_halfwidth_s018.npz: 78318 boxes; window a = 1/2; s_target = 9/50; tail bound tau = 1.3191287919146438e-19
boxes 0..649 of the order by stored bound (smallest first)
rank     0 box  53410 L=[3, 2, 3, 3] K=[7, 12, 31, 32] stored bound 0.180000063 | R2_iv 1.223580e-03 (stored 1.223580e-03) mu 0.013677181 s_req 0.194900761 smin0-s_req 1.063e-06 | pivots>0: E1 True (min 2.00e-12) smin True (min 5.55e-06) | PASS  2.1s
rank     1 box  36378 L=[2, 2, 3, 3] K=[7, 12, 29, 34] stored bound 0.180000187 | R2_iv 1.708903e-03 (stored 1.708903e-03) mu 0.016289646 s_req 0.197998548 smin0-s_req 1.187e-06 | pivots>0: E1 True (min 1.74e-12) smin True (min 5.93e-06) | PASS  2.1s
rank     2 box  38860 L=[2, 2, 3, 3] K=[15, 3, 30, 27] stored bound 0.180000313 | R2_iv 1.706869e-03 (stored 1.706869e-03) mu 0.015872103 s_req 0.197578972 smin0-s_req 1.313e-06 | pivots>0: E1 True (min 1.26e-12) smin True (min 5.51e-06) | PASS  2.1s
rank     3 box  39071 L=[2, 2, 3, 3] K=[12, 1, 30, 35] stored bound 0.180000348 | R2_iv 1.707565e-03 (stored 1.707565e-03) mu 0.016041734 s_req 0.197749299 smin0-s_req 1.348e-06 | pivots>0: E1 True (min 1.22e-12) smin True (min 5.26e-06) | PASS  2.1s
rank     4 box  38054 L=[2, 2, 3, 3] K=[8, 11, 29, 34] stored bound 0.180000399 | R2_iv 1.708247e-03 (stored 1.708247e-03) mu 0.016200673 s_req 0.197908921 smin0-s_req 1.399e-06 | pivots>0: E1 True (min 1.71e-12) smin True (min 6.79e-06) | PASS  2.1s
rank     5 box  33864 L=[2, 2, 3, 3] K=[1, 15, 29, 34] stored bound 0.180000451 | R2_iv 1.712254e-03 (stored 1.712254e-03) mu 0.016552409 s_req 0.198264662 smin0-s_req 1.451e-06 | pivots>0: E1 True (min 1.84e-12) smin True (min 8.69e-06) | PASS  2.1s
rank     6 box  11225 L=[2, 1, 2, 2] K=[8, 7, 13, 19] stored bound 0.180000491 | R2_iv 5.036755e-03 (stored 5.036755e-03) mu 0.028752887 s_req 0.213789642 smin0-s_req 1.491e-06 | pivots>0: E1 True (min 6.03e-12) smin True (min 8.15e-06) | PASS  2.1s
rank     7 box  21598 L=[2, 2, 3, 2] K=[2, 14, 29, 12] stored bound 0.180000509 | R2_iv 2.360136e-03 (stored 2.360136e-03) mu 0.020899461 s_req 0.203259597 smin0-s_req 1.509e-06 | pivots>0: E1 True (min 3.45e-12) smin True (min 8.62e-06) | PASS  2.1s
rank     8 box  34439 L=[2, 2, 3, 3] K=[6, 2, 31, 35] stored bound 0.180000553 | R2_iv 1.708591e-03 (stored 1.708591e-03) mu 0.015955742 s_req 0.197664334 smin0-s_req 1.553e-06 | pivots>0: E1 True (min 1.18e-12) smin True (min 6.19e-06) | PASS  2.2s
rank     9 box  40850 L=[2, 2, 3, 3] K=[16, 2, 27, 29] stored bound 0.180000589 | R2_iv 1.707182e-03 (stored 1.707182e-03) mu 0.016042597 s_req 0.197749779 smin0-s_req 1.589e-06 | pivots>0: E1 True (min 1.26e-12) smin True (min 6.78e-06) | PASS  2.2s
rank    10 box  45471 L=[2, 2, 3, 3] K=[25, 2, 28, 29] stored bound 0.180000645 | R2_iv 1.710158e-03 (stored 1.710158e-03) mu 0.016045154 s_req 0.197755312 smin0-s_req 1.645e-06 | pivots>0: E1 True (min 1.42e-12) smin True (min 8.95e-06) | PASS  2.2s
rank    11 box  44555 L=[2, 2, 3, 3] K=[21, 10, 31, 35] stored bound 0.180000651 | R2_iv 1.710788e-03 (stored 1.710788e-03) mu 0.016133932 s_req 0.197844719 smin0-s_req 1.651e-06 | pivots>0: E1 True (min 1.42e-12) smin True (min 8.38e-06) | PASS  2.2s
rank    12 box  25882 L=[2, 2, 3, 2] K=[17, 3, 25, 13] stored bound 0.180000696 | R2_iv 2.354511e-03 (stored 2.354511e-03) mu 0.020544737 s_req 0.202899248 smin0-s_req 1.696e-06 | pivots>0: E1 True (min 2.34e-12) smin True (min 7.72e-06) | PASS  2.2s
rank    13 box  49750 L=[2, 2, 3, 3] K=[30, 9, 29, 34] stored bound 0.180000825 | R2_iv 1.716885e-03 (stored 1.716885e-03) mu 0.016989560 s_req 0.198706445 smin0-s_req 1.825e-06 | pivots>0: E1 True (min 1.56e-12) smin True (min 1.23e-05) | PASS  2.2s
rank    14 box  22859 L=[2, 2, 3, 2] K=[4, 14, 28, 12] stored bound 0.180000886 | R2_iv 2.360294e-03 (stored 2.360294e-03) mu 0.021046994 s_req 0.203407287 smin0-s_req 1.886e-06 | pivots>0: E1 True (min 3.38e-12) smin True (min 1.03e-05) | PASS  2.2s
rank    15 box  65562 L=[3, 2, 3, 3] K=[33, 13, 31, 32] stored bound 0.180000939 | R2_iv 1.224968e-03 (stored 1.224968e-03) mu 0.013768449 s_req 0.194993416 smin0-s_req 1.939e-06 | pivots>0: E1 True (min 2.44e-12) smin True (min 9.32e-06) | PASS  2.2s
rank    16 box  46955 L=[2, 2, 3, 3] K=[27, 15, 27, 29] stored bound 0.180000940 | R2_iv 1.720838e-03 (stored 1.720838e-03) mu 0.016850959 s_req 0.198571797 smin0-s_req 1.940e-06 | pivots>0: E1 True (min 1.55e-12) smin True (min 1.11e-05) | PASS  2.2s
rank    17 box  38806 L=[2, 2, 3, 3] K=[14, 1, 31, 27] stored bound 0.180001017 | R2_iv 1.707432e-03 (stored 1.707432e-03) mu 0.016046177 s_req 0.197753609 smin0-s_req 2.017e-06 | pivots>0: E1 True (min 1.27e-12) smin True (min 8.00e-06) | PASS  2.2s
rank    18 box  15358 L=[2, 2, 2, 2] K=[5, 12, 12, 12] stored bound 0.180001022 | R2_iv 3.079606e-03 (stored 3.079606e-03) mu 0.023920974 s_req 0.207000580 smin0-s_req 2.022e-06 | pivots>0: E1 True (min 8.77e-12) smin True (min 1.09e-05) | PASS  2.2s
rank    19 box  35466 L=[2, 2, 3, 3] K=[4, 10, 28, 28] stored bound 0.180001036 | R2_iv 1.708535e-03 (stored 1.708535e-03) mu 0.016160486 s_req 0.197869021 smin0-s_req 2.036e-06 | pivots>0: E1 True (min 1.75e-12) smin True (min 1.02e-05) | PASS  2.2s
rank    20 box  38058 L=[2, 2, 3, 3] K=[9, 10, 29, 34] stored bound 0.180001218 | R2_iv 1.707702e-03 (stored 1.707702e-03) mu 0.016112639 s_req 0.197820341 smin0-s_req 2.218e-06 | pivots>0: E1 True (min 1.68e-12) smin True (min 1.05e-05) | PASS  2.2s
rank    21 box  38476 L=[2, 2, 3, 3] K=[11, 14, 27, 30] stored bound 0.180001401 | R2_iv 1.710592e-03 (stored 1.710592e-03) mu 0.016588124 s_req 0.198298716 smin0-s_req 2.401e-06 | pivots>0: E1 True (min 1.78e-12) smin True (min 1.20e-05) | PASS  2.2s
rank    22 box  14288 L=[2, 1, 3, 2] K=[1, 5, 23, 12] stored bound 0.180001411 | R2_iv 4.114637e-03 (stored 4.114637e-03) mu 0.026063140 s_req 0.210177777 smin0-s_req 2.411e-06 | pivots>0: E1 True (min 4.04e-12) smin True (min 1.39e-05) | PASS  2.2s
rank    23 box   9657 L=[1, 1, 2, 2] K=[15, 7, 9, 13] stored bound 0.180001443 | R2_iv 7.147793e-03 (stored 7.147793e-03) mu 0.034483769 s_req 0.221631561 smin0-s_req 2.443e-06 | pivots>0: E1 True (min 6.36e-12) smin True (min 1.87e-05) | PASS  2.2s
rank    24 box  54604 L=[3, 2, 3, 3] K=[14, 4, 31, 31] stored bound 0.180001535 | R2_iv 1.221663e-03 (stored 1.221663e-03) mu 0.013479659 s_req 0.194701322 smin0-s_req 2.535e-06 | pivots>0: E1 True (min 3.63e-12) smin True (min 1.05e-05) | PASS  2.2s
rank    25 box   4513 L=[1, 1, 1, 2] K=[5, 5, 7, 22] stored bound 0.180001592 | R2_iv 9.759823e-03 (stored 9.759823e-03) mu 0.038577258 s_req 0.228337081 smin0-s_req 2.592e-06 | pivots>0: E1 True (min 8.93e-12) smin True (min 1.27e-05) | PASS  2.2s
rank    26 box  23694 L=[2, 2, 3, 2] K=[9, 8, 25, 13] stored bound 0.180001623 | R2_iv 2.354462e-03 (stored 2.354462e-03) mu 0.020659724 s_req 0.203014186 smin0-s_req 2.623e-06 | pivots>0: E1 True (min 3.01e-12) smin True (min 1.24e-05) | PASS  2.2s
rank    27 box  32409 L=[2, 2, 3, 3] K=[3, 4, 28, 29] stored bound 0.180001641 | R2_iv 1.709038e-03 (stored 1.709038e-03) mu 0.015941577 s_req 0.197650615 smin0-s_req 2.641e-06 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.16e-05) | PASS  2.2s
rank    28 box  15787 L=[2, 2, 2, 2] K=[8, 7, 12, 12] stored bound 0.180001688 | R2_iv 3.071911e-03 (stored 3.071911e-03) mu 0.023654595 s_req 0.206726506 smin0-s_req 2.688e-06 | pivots>0: E1 True (min 1.00e-11) smin True (min 1.26e-05) | PASS  2.2s
rank    29 box  24422 L=[2, 2, 3, 2] K=[15, 0, 27, 12] stored bound 0.180001699 | R2_iv 2.356593e-03 (stored 2.356593e-03) mu 0.020827844 s_req 0.203184437 smin0-s_req 2.699e-06 | pivots>0: E1 True (min 2.41e-12) smin True (min 1.09e-05) | PASS  2.2s
rank    30 box  42283 L=[2, 2, 3, 3] K=[17, 10, 28, 28] stored bound 0.180001912 | R2_iv 1.708964e-03 (stored 1.708964e-03) mu 0.016201093 s_req 0.197910057 smin0-s_req 2.912e-06 | pivots>0: E1 True (min 1.68e-12) smin True (min 1.40e-05) | PASS  2.2s
rank    31 box  58506 L=[3, 2, 3, 3] K=[20, 10, 30, 31] stored bound 0.180001963 | R2_iv 1.221801e-03 (stored 1.221801e-03) mu 0.013596308 s_req 0.194818109 smin0-s_req 2.963e-06 | pivots>0: E1 True (min 2.37e-12) smin True (min 1.38e-05) | PASS  2.2s
rank    32 box  40147 L=[2, 2, 3, 3] K=[12, 11, 29, 34] stored bound 0.180002189 | R2_iv 1.708380e-03 (stored 1.708380e-03) mu 0.016213255 s_req 0.197921635 smin0-s_req 3.189e-06 | pivots>0: E1 True (min 1.68e-12) smin True (min 1.52e-05) | PASS  2.2s
rank    33 box  56706 L=[3, 2, 3, 3] K=[16, 0, 31, 31] stored bound 0.180002228 | R2_iv 1.223141e-03 (stored 1.223141e-03) mu 0.013620483 s_req 0.194843624 smin0-s_req 3.228e-06 | pivots>0: E1 True (min 2.30e-12) smin True (min 1.20e-05) | PASS  2.2s
rank    34 box  58517 L=[3, 2, 3, 3] K=[22, 10, 30, 31] stored bound 0.180002319 | R2_iv 1.221820e-03 (stored 1.221820e-03) mu 0.013596559 s_req 0.194818379 smin0-s_req 3.319e-06 | pivots>0: E1 True (min 2.43e-12) smin True (min 1.54e-05) | PASS  2.2s
rank    35 box  38388 L=[2, 2, 3, 3] K=[9, 12, 27, 30] stored bound 0.180002422 | R2_iv 1.708819e-03 (stored 1.708819e-03) mu 0.016383939 s_req 0.198092758 smin0-s_req 3.422e-06 | pivots>0: E1 True (min 1.74e-12) smin True (min 1.70e-05) | PASS  2.2s
rank    36 box   4534 L=[1, 1, 1, 2] K=[5, 7, 5, 9] stored bound 0.180002503 | R2_iv 9.779932e-03 (stored 9.779932e-03) mu 0.037639122 s_req 0.227419054 smin0-s_req 3.503e-06 | pivots>0: E1 True (min 1.91e-11) smin True (min 1.90e-05) | PASS  2.1s
rank    37 box  24810 L=[2, 2, 3, 2] K=[13, 4, 30, 12] stored bound 0.180002657 | R2_iv 2.353975e-03 (stored 2.353975e-03) mu 0.020239852 s_req 0.202593828 smin0-s_req 3.657e-06 | pivots>0: E1 True (min 3.36e-12) smin True (min 1.54e-05) | PASS  2.1s
rank    38 box  61046 L=[3, 2, 3, 3] K=[30, 4, 30, 32] stored bound 0.180002772 | R2_iv 1.220898e-03 (stored 1.220898e-03) mu 0.013494376 s_req 0.194715274 smin0-s_req 3.772e-06 | pivots>0: E1 True (min 2.97e-12) smin True (min 1.61e-05) | PASS  2.1s
rank    39 box  31545 L=[2, 2, 2, 3] K=[28, 15, 13, 33] stored bound 0.180002990 | R2_iv 2.372897e-03 (stored 2.372897e-03) mu 0.018951085 s_req 0.201323982 smin0-s_req 3.990e-06 | pivots>0: E1 True (min 9.63e-13) smin True (min 2.38e-05) | PASS  2.1s
rank    40 box  37453 L=[2, 2, 3, 3] K=[11, 4, 29, 34] stored bound 0.180003061 | R2_iv 1.706717e-03 (stored 1.706717e-03) mu 0.015818365 s_req 0.197525082 smin0-s_req 4.061e-06 | pivots>0: E1 True (min 1.18e-12) smin True (min 1.70e-05) | PASS  2.1s
rank    41 box  62975 L=[3, 2, 3, 3] K=[33, 3, 30, 30] stored bound 0.180003139 | R2_iv 1.221165e-03 (stored 1.221165e-03) mu 0.013497258 s_req 0.194718423 smin0-s_req 4.139e-06 | pivots>0: E1 True (min 5.40e-12) smin True (min 1.76e-05) | PASS  2.2s
rank    42 box  71913 L=[3, 2, 3, 3] K=[52, 14, 31, 32] stored bound 0.180003267 | R2_iv 1.231611e-03 (stored 1.231611e-03) mu 0.013905350 s_req 0.195136961 smin0-s_req 4.267e-06 | pivots>0: E1 True (min 3.23e-12) smin True (min 2.33e-05) | PASS  2.2s
rank    43 box  50419 L=[2, 2, 3, 3] K=[28, 13, 30, 35] stored bound 0.180003504 | R2_iv 1.719135e-03 (stored 1.719135e-03) mu 0.016990004 s_req 0.198709139 smin0-s_req 4.504e-06 | pivots>0: E1 True (min 1.55e-12) smin True (min 2.68e-05) | PASS  2.2s
rank    44 box  31217 L=[2, 2, 2, 3] K=[28, 10, 14, 26] stored bound 0.180003551 | R2_iv 2.368038e-03 (stored 2.368038e-03) mu 0.018373061 s_req 0.200741098 smin0-s_req 4.551e-06 | pivots>0: E1 True (min 5.60e-13) smin True (min 2.79e-05) | PASS  2.2s
rank    45 box  29432 L=[2, 2, 2, 3] K=[26, 6, 14, 35] stored bound 0.180003889 | R2_iv 2.363976e-03 (stored 2.363976e-03) mu 0.018897335 s_req 0.201261310 smin0-s_req 4.889e-06 | pivots>0: E1 True (min 8.91e-13) smin True (min 2.89e-05) | PASS  2.2s
rank    46 box  74657 L=[3, 2, 3, 3] K=[57, 13, 31, 31] stored bound 0.180003918 | R2_iv 1.232581e-03 (stored 1.232581e-03) mu 0.013872676 s_req 0.195105256 smin0-s_req 4.918e-06 | pivots>0: E1 True (min 1.11e-12) smin True (min 2.91e-05) | PASS  2.2s
rank    47 box  44860 L=[2, 2, 3, 3] K=[21, 15, 27, 30] stored bound 0.180004365 | R2_iv 1.715888e-03 (stored 1.715888e-03) mu 0.016728401 s_req 0.198444289 smin0-s_req 5.365e-06 | pivots>0: E1 True (min 1.80e-12) smin True (min 2.76e-05) | PASS  2.2s
rank    48 box  28506 L=[2, 2, 2, 3] K=[23, 15, 13, 33] stored bound 0.180004508 | R2_iv 2.366605e-03 (stored 2.366605e-03) mu 0.019008673 s_req 0.201375277 smin0-s_req 5.508e-06 | pivots>0: E1 True (min 9.68e-13) smin True (min 2.97e-05) | PASS  2.2s
rank    49 box  44727 L=[2, 2, 3, 3] K=[20, 15, 30, 27] stored bound 0.180004609 | R2_iv 1.715236e-03 (stored 1.715236e-03) mu 0.016684209 s_req 0.198399446 smin0-s_req 5.609e-06 | pivots>0: E1 True (min 1.83e-12) smin True (min 2.78e-05) | PASS  2.2s
rank    50 box  74725 L=[3, 2, 3, 3] K=[58, 15, 30, 31] stored bound 0.180004803 | R2_iv 1.235578e-03 (stored 1.235578e-03) mu 0.014054773 s_req 0.195290351 smin0-s_req 5.803e-06 | pivots>0: E1 True (min 2.86e-12) smin True (min 3.37e-05) | PASS  2.2s
rank    51 box  41270 L=[2, 2, 3, 3] K=[18, 1, 28, 33] stored bound 0.180004948 | R2_iv 1.707762e-03 (stored 1.707762e-03) mu 0.016085592 s_req 0.197793354 smin0-s_req 5.948e-06 | pivots>0: E1 True (min 1.25e-12) smin True (min 2.58e-05) | PASS  2.2s
rank    52 box  19934 L=[2, 1, 2, 3] K=[30, 4, 12, 34] stored bound 0.180004983 | R2_iv 4.129607e-03 (stored 4.129607e-03) mu 0.024348433 s_req 0.208478039 smin0-s_req 5.983e-06 | pivots>0: E1 True (min 3.47e-12) smin True (min 4.41e-05) | PASS  2.2s
rank    53 box  40518 L=[2, 2, 3, 3] K=[15, 15, 27, 30] stored bound 0.180005075 | R2_iv 1.712715e-03 (stored 1.712715e-03) mu 0.016703159 s_req 0.198415873 smin0-s_req 6.075e-06 | pivots>0: E1 True (min 1.80e-12) smin True (min 3.02e-05) | PASS  2.2s
rank    54 box  74669 L=[3, 2, 3, 3] K=[59, 12, 31, 31] stored bound 0.180005117 | R2_iv 1.232379e-03 (stored 1.232379e-03) mu 0.013915673 s_req 0.195148052 smin0-s_req 6.117e-06 | pivots>0: E1 True (min 1.12e-12) smin True (min 3.78e-05) | PASS  2.2s
rank    55 box  40143 L=[2, 2, 3, 3] K=[12, 10, 29, 34] stored bound 0.180005185 | R2_iv 1.707802e-03 (stored 1.707802e-03) mu 0.016121788 s_req 0.197829589 smin0-s_req 6.185e-06 | pivots>0: E1 True (min 1.65e-12) smin True (min 2.90e-05) | PASS  2.2s
rank    56 box  21136 L=[2, 2, 3, 2] K=[1, 8, 27, 17] stored bound 0.180005237 | R2_iv 2.357909e-03 (stored 2.357909e-03) mu 0.020459986 s_req 0.202817895 smin0-s_req 6.236e-06 | pivots>0: E1 True (min 1.86e-12) smin True (min 3.24e-05) | PASS  2.2s
rank    57 box  65951 L=[3, 2, 3, 3] K=[42, 0, 30, 31] stored bound 0.180005351 | R2_iv 1.222793e-03 (stored 1.222793e-03) mu 0.013619818 s_req 0.194842611 smin0-s_req 6.351e-06 | pivots>0: E1 True (min 2.14e-12) smin True (min 2.85e-05) | PASS  2.2s
rank    58 box  21228 L=[2, 2, 3, 2] K=[3, 9, 29, 18] stored bound 0.180005434 | R2_iv 2.356287e-03 (stored 2.356287e-03) mu 0.020446832 s_req 0.202803120 smin0-s_req 6.434e-06 | pivots>0: E1 True (min 2.15e-12) smin True (min 3.25e-05) | PASS  2.2s
rank    59 box   4224 L=[1, 1, 2, 1] K=[2, 3, 15, 11] stored bound 0.180005491 | R2_iv 9.757229e-03 (stored 9.757229e-03) mu 0.041397034 s_req 0.231154264 smin0-s_req 6.491e-06 | pivots>0: E1 True (min 6.89e-12) smin True (min 3.17e-05) | PASS  2.2s
rank    60 box  61479 L=[3, 2, 3, 3] K=[28, 8, 31, 30] stored bound 0.180005567 | R2_iv 1.221299e-03 (stored 1.221299e-03) mu 0.013519245 s_req 0.194740545 smin0-s_req 6.567e-06 | pivots>0: E1 True (min 3.60e-12) smin True (min 2.96e-05) | PASS  2.2s
rank    61 box  21238 L=[2, 2, 3, 2] K=[2, 10, 29, 18] stored bound 0.180005661 | R2_iv 2.356918e-03 (stored 2.356918e-03) mu 0.020500074 s_req 0.202856991 smin0-s_req 6.661e-06 | pivots>0: E1 True (min 2.24e-12) smin True (min 3.51e-05) | PASS  2.2s
rank    62 box  38077 L=[2, 2, 3, 3] K=[10, 9, 29, 34] stored bound 0.180005745 | R2_iv 1.707268e-03 (stored 1.707268e-03) mu 0.016025803 s_req 0.197733070 smin0-s_req 6.745e-06 | pivots>0: E1 True (min 1.64e-12) smin True (min 3.12e-05) | PASS  2.2s
rank    63 box  63307 L=[3, 2, 3, 3] K=[33, 3, 31, 33] stored bound 0.180005801 | R2_iv 1.221165e-03 (stored 1.221165e-03) mu 0.013519735 s_req 0.194740900 smin0-s_req 6.801e-06 | pivots>0: E1 True (min 3.23e-12) smin True (min 2.90e-05) | PASS  2.2s
rank    64 box  74261 L=[3, 2, 3, 3] K=[63, 10, 31, 32] stored bound 0.180005814 | R2_iv 1.232285e-03 (stored 1.232285e-03) mu 0.014028085 s_req 0.195260369 smin0-s_req 6.814e-06 | pivots>0: E1 True (min 1.13e-12) smin True (min 4.66e-05) | PASS  2.2s
rank    65 box  68705 L=[3, 2, 3, 3] K=[40, 14, 31, 32] stored bound 0.180005830 | R2_iv 1.227537e-03 (stored 1.227537e-03) mu 0.013864907 s_req 0.195092444 smin0-s_req 6.830e-06 | pivots>0: E1 True (min 2.61e-12) smin True (min 3.38e-05) | PASS  2.2s
rank    66 box  24100 L=[2, 2, 3, 2] K=[8, 12, 30, 12] stored bound 0.180005892 | R2_iv 2.358228e-03 (stored 2.358228e-03) mu 0.020771162 s_req 0.203129389 smin0-s_req 6.892e-06 | pivots>0: E1 True (min 3.78e-12) smin True (min 3.39e-05) | PASS  2.2s
rank    67 box  34441 L=[2, 2, 3, 3] K=[6, 3, 31, 35] stored bound 0.180005896 | R2_iv 1.708139e-03 (stored 1.708139e-03) mu 0.015869515 s_req 0.197577654 smin0-s_req 6.896e-06 | pivots>0: E1 True (min 1.19e-12) smin True (min 2.82e-05) | PASS  2.2s
rank    68 box  19897 L=[2, 1, 2, 3] K=[30, 4, 13, 23] stored bound 0.180005912 | R2_iv 4.129607e-03 (stored 4.129607e-03) mu 0.024179111 s_req 0.208308717 smin0-s_req 6.912e-06 | pivots>0: E1 True (min 3.43e-12) smin True (min 4.70e-05) | PASS  2.2s
rank    69 box  29269 L=[2, 2, 2, 3] K=[24, 6, 14, 26] stored bound 0.180006048 | R2_iv 2.361299e-03 (stored 2.361299e-03) mu 0.018392423 s_req 0.200753723 smin0-s_req 7.048e-06 | pivots>0: E1 True (min 5.68e-13) smin True (min 3.81e-05) | PASS  2.2s
rank    70 box  30289 L=[2, 2, 2, 3] K=[27, 15, 13, 33] stored bound 0.180006050 | R2_iv 2.371428e-03 (stored 2.371428e-03) mu 0.018961742 s_req 0.201333170 smin0-s_req 7.050e-06 | pivots>0: E1 True (min 9.63e-13) smin True (min 4.11e-05) | PASS  2.2s
rank    71 box  29690 L=[2, 2, 2, 3] K=[24, 10, 14, 26] stored bound 0.180006091 | R2_iv 2.362484e-03 (stored 2.362484e-03) mu 0.018333632 s_req 0.200696115 smin0-s_req 7.091e-06 | pivots>0: E1 True (min 5.09e-13) smin True (min 3.87e-05) | PASS  2.2s
rank    72 box  45481 L=[2, 2, 3, 3] K=[27, 0, 28, 29] stored bound 0.180006195 | R2_iv 1.711554e-03 (stored 1.711554e-03) mu 0.016187006 s_req 0.197898560 smin0-s_req 7.195e-06 | pivots>0: E1 True (min 1.32e-12) smin True (min 4.16e-05) | PASS  2.1s
rank    73 box  41083 L=[2, 2, 3, 3] K=[19, 0, 29, 27] stored bound 0.180006254 | R2_iv 1.708320e-03 (stored 1.708320e-03) mu 0.016182180 s_req 0.197890500 smin0-s_req 7.254e-06 | pivots>0: E1 True (min 1.30e-12) smin True (min 3.11e-05) | PASS  2.1s
rank    74 box  63379 L=[3, 2, 3, 3] K=[37, 1, 30, 32] stored bound 0.180006265 | R2_iv 1.221911e-03 (stored 1.221911e-03) mu 0.013576216 s_req 0.194798127 smin0-s_req 7.265e-06 | pivots>0: E1 True (min 1.85e-12) smin True (min 3.11e-05) | PASS  2.1s
rank    75 box  20809 L=[2, 2, 3, 2] K=[1, 7, 27, 17] stored bound 0.180006267 | R2_iv 2.358574e-03 (stored 2.358574e-03) mu 0.020547378 s_req 0.202905952 smin0-s_req 7.267e-06 | pivots>0: E1 True (min 1.86e-12) smin True (min 3.67e-05) | PASS  2.1s
rank    76 box  21914 L=[2, 2, 2, 3] K=[4, 2, 14, 26] stored bound 0.180006546 | R2_iv 2.358126e-03 (stored 2.358126e-03) mu 0.018308145 s_req 0.200666271 smin0-s_req 7.546e-06 | pivots>0: E1 True (min 4.63e-13) smin True (min 3.12e-05) | PASS  2.1s
rank    77 box  53402 L=[3, 2, 3, 3] K=[4, 13, 31, 32] stored bound 0.180006633 | R2_iv 1.224527e-03 (stored 1.224527e-03) mu 0.013742336 s_req 0.194966863 smin0-s_req 7.633e-06 | pivots>0: E1 True (min 1.89e-12) smin True (min 4.22e-05) | PASS  2.1s
rank    78 box  21856 L=[2, 2, 2, 3] K=[6, 0, 13, 27] stored bound 0.180006667 | R2_iv 2.357894e-03 (stored 2.357894e-03) mu 0.018498917 s_req 0.200856811 smin0-s_req 7.667e-06 | pivots>0: E1 True (min 6.58e-13) smin True (min 2.98e-05) | PASS  2.1s
rank    79 box  38837 L=[2, 2, 3, 3] K=[15, 2, 29, 27] stored bound 0.180006696 | R2_iv 1.707099e-03 (stored 1.707099e-03) mu 0.015993628 s_req 0.197700727 smin0-s_req 7.696e-06 | pivots>0: E1 True (min 1.27e-12) smin True (min 3.17e-05) | PASS  2.1s
rank    80 box  58505 L=[3, 2, 3, 3] K=[21, 10, 31, 30] stored bound 0.180006756 | R2_iv 1.221805e-03 (stored 1.221805e-03) mu 0.013589649 s_req 0.194811454 smin0-s_req 7.756e-06 | pivots>0: E1 True (min 3.49e-12) smin True (min 3.59e-05) | PASS  2.2s
rank    81 box  35932 L=[2, 2, 3, 3] K=[4, 14, 27, 30] stored bound 0.180006763 | R2_iv 1.710711e-03 (stored 1.710711e-03) mu 0.016565332 s_req 0.198276043 smin0-s_req 7.763e-06 | pivots>0: E1 True (min 1.80e-12) smin True (min 4.28e-05) | PASS  2.2s
rank    82 box  40658 L=[2, 2, 3, 3] K=[14, 14, 29, 34] stored bound 0.180006829 | R2_iv 1.711290e-03 (stored 1.711290e-03) mu 0.016500676 s_req 0.198211966 smin0-s_req 7.829e-06 | pivots>0: E1 True (min 1.76e-12) smin True (min 3.83e-05) | PASS  2.2s
rank    83 box  22081 L=[2, 2, 2, 3] K=[7, 2, 13, 33] stored bound 0.180006940 | R2_iv 2.356122e-03 (stored 2.356122e-03) mu 0.018812678 s_req 0.201168800 smin0-s_req 7.940e-06 | pivots>0: E1 True (min 8.20e-13) smin True (min 3.24e-05) | PASS  2.2s
rank    84 box  63592 L=[3, 2, 3, 3] K=[35, 4, 30, 31] stored bound 0.180006967 | R2_iv 1.221261e-03 (stored 1.221261e-03) mu 0.013474885 s_req 0.194696145 smin0-s_req 7.967e-06 | pivots>0: E1 True (min 3.49e-12) smin True (min 3.52e-05) | PASS  2.2s
rank    85 box  20640 L=[2, 2, 2, 3] K=[3, 5, 13, 27] stored bound 0.180007032 | R2_iv 2.358560e-03 (stored 2.358560e-03) mu 0.018537307 s_req 0.200895867 smin0-s_req 8.032e-06 | pivots>0: E1 True (min 7.72e-13) smin True (min 3.67e-05) | PASS  2.2s
rank    86 box  50420 L=[2, 2, 3, 3] K=[29, 12, 30, 35] stored bound 0.180007050 | R2_iv 1.718922e-03 (stored 1.718922e-03) mu 0.017036556 s_req 0.198755478 smin0-s_req 8.050e-06 | pivots>0: E1 True (min 1.56e-12) smin True (min 5.00e-05) | PASS  2.2s
rank    87 box  36782 L=[2, 2, 3, 3] K=[8, 3, 28, 28] stored bound 0.180007133 | R2_iv 1.707509e-03 (stored 1.707509e-03) mu 0.015949070 s_req 0.197656580 smin0-s_req 8.133e-06 | pivots>0: E1 True (min 1.24e-12) smin True (min 3.31e-05) | PASS  2.2s
rank    88 box   3708 L=[1, 0, 1, 2] K=[12, 3, 3, 15] stored bound 0.180007155 | R2_iv 1.745522e-02 (stored 1.745522e-02) mu 0.047831226 s_req 0.245286451 smin0-s_req 8.155e-06 | pivots>0: E1 True (min 1.36e-11) smin True (min 8.07e-05) | PASS  2.2s
rank    89 box  63382 L=[3, 2, 3, 3] K=[39, 0, 30, 32] stored bound 0.180007215 | R2_iv 1.222439e-03 (stored 1.222439e-03) mu 0.013625695 s_req 0.194848133 smin0-s_req 8.215e-06 | pivots>0: E1 True (min 1.69e-12) smin True (min 3.53e-05) | PASS  2.2s
rank    90 box  32406 L=[2, 2, 3, 3] K=[2, 5, 28, 29] stored bound 0.180007311 | R2_iv 1.709220e-03 (stored 1.709220e-03) mu 0.015983919 s_req 0.197693139 smin0-s_req 8.311e-06 | pivots>0: E1 True (min 1.16e-12) smin True (min 3.81e-05) | PASS  2.2s
rank    91 box   7840 L=[1, 1, 2, 2] K=[8, 1, 11, 10] stored bound 0.180007354 | R2_iv 7.079911e-03 (stored 7.079911e-03) mu 0.031958181 s_req 0.219038092 smin0-s_req 8.354e-06 | pivots>0: E1 True (min 5.30e-12) smin True (min 3.89e-05) | PASS  2.2s
rank    92 box  27549 L=[2, 2, 2, 3] K=[22, 6, 13, 27] stored bound 0.180007608 | R2_iv 2.359044e-03 (stored 2.359044e-03) mu 0.018530570 s_req 0.200889615 smin0-s_req 8.608e-06 | pivots>0: E1 True (min 7.31e-13) smin True (min 4.49e-05) | PASS  2.2s
rank    93 box  23551 L=[2, 2, 3, 2] K=[10, 7, 29, 12] stored bound 0.180007629 | R2_iv 2.354092e-03 (stored 2.354092e-03) mu 0.020268453 s_req 0.202622545 smin0-s_req 8.629e-06 | pivots>0: E1 True (min 3.62e-12) smin True (min 3.84e-05) | PASS  2.2s
rank    94 box  29875 L=[2, 2, 2, 3] K=[27, 8, 14, 35] stored bound 0.180007668 | R2_iv 2.365654e-03 (stored 2.365654e-03) mu 0.018844045 s_req 0.201209699 smin0-s_req 8.668e-06 | pivots>0: E1 True (min 8.78e-13) smin True (min 5.30e-05) | PASS  2.2s
rank    95 box  18532 L=[2, 1, 2, 3] K=[20, 5, 14, 23] stored bound 0.180007774 | R2_iv 4.116258e-03 (stored 4.116258e-03) mu 0.022961575 s_req 0.207077833 smin0-s_req 8.774e-06 | pivots>0: E1 True (min 6.64e-12) smin True (min 4.41e-05) | PASS  2.2s
rank    96 box  30247 L=[2, 2, 2, 3] K=[24, 15, 13, 33] stored bound 0.180007794 | R2_iv 2.367653e-03 (stored 2.367653e-03) mu 0.018996298 s_req 0.201363950 smin0-s_req 8.794e-06 | pivots>0: E1 True (min 9.66e-13) smin True (min 4.83e-05) | PASS  2.2s
rank    97 box  58515 L=[3, 2, 3, 3] K=[22, 10, 31, 30] stored bound 0.180007980 | R2_iv 1.221820e-03 (stored 1.221820e-03) mu 0.013590273 s_req 0.194812093 smin0-s_req 8.980e-06 | pivots>0: E1 True (min 3.57e-12) smin True (min 4.15e-05) | PASS  2.2s
rank    98 box  26659 L=[2, 2, 2, 3] K=[17, 10, 13, 33] stored bound 0.180007980 | R2_iv 2.356837e-03 (stored 2.356837e-03) mu 0.018881613 s_req 0.201238450 smin0-s_req 8.980e-06 | pivots>0: E1 True (min 8.94e-13) smin True (min 4.50e-05) | PASS  2.2s
rank    99 box  38382 L=[2, 2, 3, 3] K=[8, 12, 27, 30] stored bound 0.180008030 | R2_iv 1.708836e-03 (stored 1.708836e-03) mu 0.016380762 s_req 0.198089598 smin0-s_req 9.030e-06 | pivots>0: E1 True (min 1.75e-12) smin True (min 4.52e-05) | PASS  2.1s
rank   100 box  38439 L=[2, 2, 3, 3] K=[10, 12, 27, 30] stored bound 0.180008086 | R2_iv 1.708852e-03 (stored 1.708852e-03) mu 0.016387216 s_req 0.198096068 smin0-s_req 9.086e-06 | pivots>0: E1 True (min 1.74e-12) smin True (min 4.47e-05) | PASS  2.2s
rank   101 box  64473 L=[3, 2, 3, 3] K=[34, 10, 31, 31] stored bound 0.180008119 | R2_iv 1.222897e-03 (stored 1.222897e-03) mu 0.013577925 s_req 0.194800822 smin0-s_req 9.119e-06 | pivots>0: E1 True (min 6.38e-12) smin True (min 4.32e-05) | PASS  2.2s
rank   102 box  63593 L=[3, 2, 3, 3] K=[35, 4, 31, 30] stored bound 0.180008122 | R2_iv 1.221261e-03 (stored 1.221261e-03) mu 0.013471484 s_req 0.194692745 smin0-s_req 9.122e-06 | pivots>0: E1 True (min 6.04e-12) smin True (min 4.02e-05) | PASS  2.2s
rank   103 box  46067 L=[2, 2, 3, 3] K=[25, 4, 28, 29] stored bound 0.180008134 | R2_iv 1.710308e-03 (stored 1.710308e-03) mu 0.016135552 s_req 0.197845860 smin0-s_req 9.134e-06 | pivots>0: E1 True (min 1.44e-12) smin True (min 5.07e-05) | PASS  2.1s
rank   104 box  30287 L=[2, 2, 2, 3] K=[26, 15, 13, 33] stored bound 0.180008168 | R2_iv 2.370064e-03 (stored 2.370064e-03) mu 0.018972830 s_req 0.201342895 smin0-s_req 9.168e-06 | pivots>0: E1 True (min 9.64e-13) smin True (min 5.23e-05) | PASS  2.1s
rank   105 box  58293 L=[3, 2, 3, 3] K=[19, 10, 30, 31] stored bound 0.180008242 | R2_iv 1.221809e-03 (stored 1.221809e-03) mu 0.013596215 s_req 0.194818024 smin0-s_req 9.242e-06 | pivots>0: E1 True (min 2.35e-12) smin True (min 4.30e-05) | PASS  2.1s
rank   106 box  55606 L=[3, 2, 3, 3] K=[10, 10, 31, 32] stored bound 0.180008254 | R2_iv 1.222394e-03 (stored 1.222394e-03) mu 0.013568304 s_req 0.194790699 smin0-s_req 9.254e-06 | pivots>0: E1 True (min 2.34e-12) smin True (min 4.50e-05) | PASS  2.1s
rank   107 box  15357 L=[2, 2, 2, 2] K=[4, 13, 12, 12] stored bound 0.180008303 | R2_iv 3.082455e-03 (stored 3.082455e-03) mu 0.023979242 s_req 0.207061696 smin0-s_req 9.303e-06 | pivots>0: E1 True (min 8.67e-12) smin True (min 5.19e-05) | PASS  2.2s
rank   108 box  50250 L=[2, 2, 3, 3] K=[30, 12, 27, 29] stored bound 0.180008473 | R2_iv 1.719948e-03 (stored 1.719948e-03) mu 0.016979846 s_req 0.198699793 smin0-s_req 9.473e-06 | pivots>0: E1 True (min 1.58e-12) smin True (min 6.17e-05) | PASS  2.2s
rank   109 box  48694 L=[2, 2, 3, 3] K=[28, 6, 28, 32] stored bound 0.180008550 | R2_iv 1.713086e-03 (stored 1.713086e-03) mu 0.016621808 s_req 0.198334894 smin0-s_req 9.550e-06 | pivots>0: E1 True (min 1.51e-12) smin True (min 6.05e-05) | PASS  2.2s
rank   110 box  36350 L=[2, 2, 3, 3] K=[4, 14, 29, 34] stored bound 0.180008732 | R2_iv 1.710711e-03 (stored 1.710711e-03) mu 0.016466901 s_req 0.198177612 smin0-s_req 9.732e-06 | pivots>0: E1 True (min 1.80e-12) smin True (min 5.30e-05) | PASS  2.2s
rank   111 box  46256 L=[2, 2, 3, 3] K=[27, 7, 31, 35] stored bound 0.180008768 | R2_iv 1.712819e-03 (stored 1.712819e-03) mu 0.016557401 s_req 0.198270220 smin0-s_req 9.768e-06 | pivots>0: E1 True (min 1.50e-12) smin True (min 5.84e-05) | PASS  2.2s
rank   112 box  39088 L=[2, 2, 3, 3] K=[13, 2, 30, 35] stored bound 0.180008861 | R2_iv 1.707083e-03 (stored 1.707083e-03) mu 0.015950831 s_req 0.197657914 smin0-s_req 9.861e-06 | pivots>0: E1 True (min 1.21e-12) smin True (min 3.98e-05) | PASS  2.2s
rank   113 box  30249 L=[2, 2, 2, 3] K=[25, 15, 13, 33] stored bound 0.180008890 | R2_iv 2.368806e-03 (stored 2.368806e-03) mu 0.018984350 s_req 0.201353156 smin0-s_req 9.890e-06 | pivots>0: E1 True (min 9.65e-13) smin True (min 5.53e-05) | PASS  2.2s
rank   114 box  58518 L=[3, 2, 3, 3] K=[23, 10, 30, 31] stored bound 0.180008939 | R2_iv 1.221847e-03 (stored 1.221847e-03) mu 0.013596726 s_req 0.194818573 smin0-s_req 9.939e-06 | pivots>0: E1 True (min 2.46e-12) smin True (min 4.60e-05) | PASS  2.2s
rank   115 box  23845 L=[2, 2, 3, 2] K=[10, 9, 28, 12] stored bound 0.180009079 | R2_iv 2.355226e-03 (stored 2.355226e-03) mu 0.020575248 s_req 0.202930473 smin0-s_req 1.008e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 4.67e-05) | PASS  2.2s
rank   116 box  36221 L=[2, 2, 3, 3] K=[7, 15, 30, 27] stored bound 0.180009388 | R2_iv 1.711254e-03 (stored 1.711254e-03) mu 0.016635813 s_req 0.198347068 smin0-s_req 1.039e-05 | pivots>0: E1 True (min 1.82e-12) smin True (min 5.37e-05) | PASS  2.2s
rank   117 box  42671 L=[2, 2, 3, 3] K=[16, 15, 27, 30] stored bound 0.180009422 | R2_iv 1.713120e-03 (stored 1.713120e-03) mu 0.016707206 s_req 0.198420326 smin0-s_req 1.042e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 5.19e-05) | PASS  2.2s
rank   118 box  29874 L=[2, 2, 2, 3] K=[26, 8, 14, 35] stored bound 0.180009512 | R2_iv 2.364184e-03 (stored 2.364184e-03) mu 0.018824772 s_req 0.201188955 smin0-s_req 1.051e-05 | pivots>0: E1 True (min 8.64e-13) smin True (min 6.22e-05) | PASS  2.2s
rank   119 box  44852 L=[2, 2, 3, 3] K=[20, 15, 27, 30] stored bound 0.180009540 | R2_iv 1.715236e-03 (stored 1.715236e-03) mu 0.016724060 s_req 0.198439297 smin0-s_req 1.054e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 5.37e-05) | PASS  2.2s
rank   120 box  55667 L=[3, 2, 3, 3] K=[12, 8, 31, 32] stored bound 0.180009615 | R2_iv 1.221698e-03 (stored 1.221698e-03) mu 0.013500036 s_req 0.194721734 smin0-s_req 1.062e-05 | pivots>0: E1 True (min 3.39e-12) smin True (min 4.87e-05) | PASS  2.2s
rank   121 box  14512 L=[2, 1, 3, 2] K=[1, 6, 31, 11] stored bound 0.180009653 | R2_iv 4.115837e-03 (stored 4.115837e-03) mu 0.025744409 s_req 0.209860246 smin0-s_req 1.065e-05 | pivots>0: E1 True (min 4.15e-12) smin True (min 6.14e-05) | PASS  2.2s
rank   122 box  49329 L=[2, 2, 3, 3] K=[31, 11, 31, 27] stored bound 0.180009695 | R2_iv 1.719870e-03 (stored 1.719870e-03) mu 0.017127415 s_req 0.198847285 smin0-s_req 1.070e-05 | pivots>0: E1 True (min 1.59e-12) smin True (min 7.18e-05) | PASS  2.2s
rank   123 box  56841 L=[3, 2, 3, 3] K=[19, 3, 30, 31] stored bound 0.180009738 | R2_iv 1.221354e-03 (stored 1.221354e-03) mu 0.013505914 s_req 0.194727268 smin0-s_req 1.074e-05 | pivots>0: E1 True (min 3.16e-12) smin True (min 4.30e-05) | PASS  2.2s
rank   124 box  27321 L=[2, 2, 3, 2] K=[21, 0, 29, 12] stored bound 0.180009738 | R2_iv 2.356501e-03 (stored 2.356501e-03) mu 0.020473739 s_req 0.202830240 smin0-s_req 1.074e-05 | pivots>0: E1 True (min 3.03e-12) smin True (min 4.90e-05) | PASS  2.2s
rank   125 box  60866 L=[3, 2, 3, 3] K=[30, 7, 31, 30] stored bound 0.180009752 | R2_iv 1.221161e-03 (stored 1.221161e-03) mu 0.013493077 s_req 0.194714238 smin0-s_req 1.075e-05 | pivots>0: E1 True (min 3.55e-12) smin True (min 4.81e-05) | PASS  2.2s
rank   126 box  17471 L=[2, 2, 2, 2] K=[17, 5, 12, 12] stored bound 0.180009786 | R2_iv 3.072244e-03 (stored 3.072244e-03) mu 0.023621192 s_req 0.206693436 smin0-s_req 1.079e-05 | pivots>0: E1 True (min 8.70e-12) smin True (min 5.12e-05) | PASS  2.1s
rank   127 box  19763 L=[2, 1, 2, 3] K=[31, 3, 12, 34] stored bound 0.180009816 | R2_iv 4.131363e-03 (stored 4.131363e-03) mu 0.024458065 s_req 0.208589428 smin0-s_req 1.082e-05 | pivots>0: E1 True (min 3.50e-12) smin True (min 8.47e-05) | PASS  2.1s
rank   128 box  63308 L=[3, 2, 3, 3] K=[35, 2, 30, 32] stored bound 0.180009820 | R2_iv 1.221487e-03 (stored 1.221487e-03) mu 0.013536805 s_req 0.194758292 smin0-s_req 1.082e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 4.62e-05) | PASS  2.1s
rank   129 box  58504 L=[3, 2, 3, 3] K=[20, 10, 31, 30] stored bound 0.180009839 | R2_iv 1.221801e-03 (stored 1.221801e-03) mu 0.013589058 s_req 0.194810859 smin0-s_req 1.084e-05 | pivots>0: E1 True (min 3.41e-12) smin True (min 5.02e-05) | PASS  2.1s
rank   130 box  13242 L=[2, 1, 2, 2] K=[26, 7, 12, 18] stored bound 0.180009959 | R2_iv 5.068032e-03 (stored 5.068032e-03) mu 0.028886746 s_req 0.213954778 smin0-s_req 1.096e-05 | pivots>0: E1 True (min 5.81e-12) smin True (min 6.75e-05) | PASS  2.1s
rank   131 box  44735 L=[2, 2, 3, 3] K=[21, 15, 30, 27] stored bound 0.180010074 | R2_iv 1.715888e-03 (stored 1.715888e-03) mu 0.016688407 s_req 0.198404296 smin0-s_req 1.107e-05 | pivots>0: E1 True (min 1.83e-12) smin True (min 5.54e-05) | PASS  2.1s
rank   132 box  40123 L=[2, 2, 3, 3] K=[12, 9, 29, 34] stored bound 0.180010116 | R2_iv 1.707334e-03 (stored 1.707334e-03) mu 0.016031646 s_req 0.197738980 smin0-s_req 1.112e-05 | pivots>0: E1 True (min 1.62e-12) smin True (min 5.14e-05) | PASS  2.1s
rank   133 box  30658 L=[2, 2, 3, 2] K=[29, 2, 25, 14] stored bound 0.180010288 | R2_iv 2.363797e-03 (stored 2.363797e-03) mu 0.020652242 s_req 0.203016039 smin0-s_req 1.129e-05 | pivots>0: E1 True (min 2.97e-12) smin True (min 7.66e-05) | PASS  2.1s
rank   134 box  53962 L=[3, 2, 3, 3] K=[15, 2, 31, 31] stored bound 0.180010366 | R2_iv 1.222213e-03 (stored 1.222213e-03) mu 0.013533348 s_req 0.194755561 smin0-s_req 1.137e-05 | pivots>0: E1 True (min 3.07e-12) smin True (min 4.46e-05) | PASS  2.1s
rank   135 box  38344 L=[2, 2, 3, 3] K=[10, 14, 30, 27] stored bound 0.180010458 | R2_iv 1.710459e-03 (stored 1.710459e-03) mu 0.016540328 s_req 0.198250787 smin0-s_req 1.146e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 5.63e-05) | PASS  2.1s
rank   136 box  71760 L=[3, 2, 3, 3] K=[51, 14, 31, 32] stored bound 0.180010493 | R2_iv 1.231209e-03 (stored 1.231209e-03) mu 0.013901628 s_req 0.195132838 smin0-s_req 1.149e-05 | pivots>0: E1 True (min 3.18e-12) smin True (min 6.21e-05) | PASS  2.1s
rank   137 box  48691 L=[2, 2, 3, 3] K=[29, 5, 28, 32] stored bound 0.180010501 | R2_iv 1.713463e-03 (stored 1.713463e-03) mu 0.016666448 s_req 0.198379911 smin0-s_req 1.150e-05 | pivots>0: E1 True (min 1.52e-12) smin True (min 7.61e-05) | PASS  2.1s
rank   138 box  61257 L=[3, 2, 3, 3] K=[26, 9, 31, 30] stored bound 0.180010514 | R2_iv 1.221540e-03 (stored 1.221540e-03) mu 0.013552119 s_req 0.194773659 smin0-s_req 1.151e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 5.24e-05) | PASS  2.1s
rank   139 box  44501 L=[2, 2, 3, 3] K=[20, 8, 28, 32] stored bound 0.180010530 | R2_iv 1.709034e-03 (stored 1.709034e-03) mu 0.016007897 s_req 0.197716931 smin0-s_req 1.153e-05 | pivots>0: E1 True (min 1.55e-12) smin True (min 5.79e-05) | PASS  2.2s
rank   140 box  64481 L=[3, 2, 3, 3] K=[34, 11, 31, 31] stored bound 0.180010648 | R2_iv 1.223547e-03 (stored 1.223547e-03) mu 0.013633758 s_req 0.194857305 smin0-s_req 1.165e-05 | pivots>0: E1 True (min 5.68e-12) smin True (min 5.56e-05) | PASS  2.1s
rank   141 box  21597 L=[2, 2, 3, 2] K=[2, 15, 28, 12] stored bound 0.180010839 | R2_iv 2.361690e-03 (stored 2.361690e-03) mu 0.021114349 s_req 0.203476039 smin0-s_req 1.184e-05 | pivots>0: E1 True (min 3.35e-12) smin True (min 6.92e-05) | PASS  2.1s
rank   142 box  49722 L=[2, 2, 3, 3] K=[28, 11, 29, 34] stored bound 0.180010901 | R2_iv 1.716864e-03 (stored 1.716864e-03) mu 0.016897666 s_req 0.198614530 smin0-s_req 1.190e-05 | pivots>0: E1 True (min 1.54e-12) smin True (min 7.29e-05) | PASS  2.1s
rank   143 box  35981 L=[2, 2, 3, 3] K=[6, 13, 27, 30] stored bound 0.180011081 | R2_iv 1.709668e-03 (stored 1.709668e-03) mu 0.016472670 s_req 0.198182338 smin0-s_req 1.208e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 6.30e-05) | PASS  2.1s
rank   144 box  17689 L=[2, 2, 2, 2] K=[16, 8, 12, 12] stored bound 0.180011134 | R2_iv 3.073984e-03 (stored 3.073984e-03) mu 0.023767662 s_req 0.206841646 smin0-s_req 1.213e-05 | pivots>0: E1 True (min 8.18e-12) smin True (min 5.93e-05) | PASS  2.2s
rank   145 box  53115 L=[3, 2, 3, 3] K=[4, 12, 31, 31] stored bound 0.180011231 | R2_iv 1.224015e-03 (stored 1.224015e-03) mu 0.013677990 s_req 0.194902005 smin0-s_req 1.223e-05 | pivots>0: E1 True (min 2.21e-12) smin True (min 6.60e-05) | PASS  2.2s
rank   146 box  65558 L=[3, 2, 3, 3] K=[32, 12, 31, 32] stored bound 0.180011255 | R2_iv 1.223960e-03 (stored 1.223960e-03) mu 0.013693112 s_req 0.194917072 smin0-s_req 1.226e-05 | pivots>0: E1 True (min 2.60e-12) smin True (min 5.85e-05) | PASS  2.1s
rank   147 box  33856 L=[2, 2, 3, 3] K=[0, 15, 29, 34] stored bound 0.180011358 | R2_iv 1.712594e-03 (stored 1.712594e-03) mu 0.016549793 s_req 0.198262387 smin0-s_req 1.236e-05 | pivots>0: E1 True (min 1.84e-12) smin True (min 7.62e-05) | PASS  2.1s
rank   148 box  63385 L=[3, 2, 3, 3] K=[39, 0, 31, 33] stored bound 0.180011469 | R2_iv 1.222439e-03 (stored 1.222439e-03) mu 0.013621183 s_req 0.194843621 smin0-s_req 1.247e-05 | pivots>0: E1 True (min 3.99e-12) smin True (min 5.34e-05) | PASS  2.1s
rank   149 box  45473 L=[2, 2, 3, 3] K=[25, 3, 28, 29] stored bound 0.180011484 | R2_iv 1.710178e-03 (stored 1.710178e-03) mu 0.016090326 s_req 0.197800504 smin0-s_req 1.248e-05 | pivots>0: E1 True (min 1.43e-12) smin True (min 6.87e-05) | PASS  2.1s
rank   150 box  22631 L=[2, 2, 3, 2] K=[6, 11, 29, 12] stored bound 0.180011706 | R2_iv 2.356568e-03 (stored 2.356568e-03) mu 0.020629504 s_req 0.202986072 smin0-s_req 1.271e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 6.30e-05) | PASS  2.1s
rank   151 box  48521 L=[2, 2, 3, 3] K=[28, 4, 29, 28] stored bound 0.180011769 | R2_iv 1.712341e-03 (stored 1.712341e-03) mu 0.016363032 s_req 0.198075373 smin0-s_req 1.277e-05 | pivots>0: E1 True (min 1.51e-12) smin True (min 7.92e-05) | PASS  2.1s
rank   152 box  34983 L=[2, 2, 3, 3] K=[6, 5, 31, 35] stored bound 0.180011824 | R2_iv 1.707563e-03 (stored 1.707563e-03) mu 0.015724365 s_req 0.197431928 smin0-s_req 1.282e-05 | pivots>0: E1 True (min 1.22e-12) smin True (min 5.50e-05) | PASS  2.2s
rank   153 box  38351 L=[2, 2, 3, 3] K=[11, 14, 30, 27] stored bound 0.180011890 | R2_iv 1.710592e-03 (stored 1.710592e-03) mu 0.016543749 s_req 0.198254341 smin0-s_req 1.289e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 6.29e-05) | PASS  2.1s
rank   154 box  20423 L=[2, 2, 2, 3] K=[0, 0, 13, 32] stored bound 0.180012029 | R2_iv 2.363300e-03 (stored 2.363300e-03) mu 0.018745225 s_req 0.201108524 smin0-s_req 1.303e-05 | pivots>0: E1 True (min 8.04e-13) smin True (min 5.62e-05) | PASS  2.1s
rank   155 box  57963 L=[3, 2, 3, 3] K=[23, 4, 31, 33] stored bound 0.180012035 | R2_iv 1.220871e-03 (stored 1.220871e-03) mu 0.013511560 s_req 0.194732432 smin0-s_req 1.303e-05 | pivots>0: E1 True (min 2.53e-12) smin True (min 5.37e-05) | PASS  2.2s
rank   156 box  68706 L=[3, 2, 3, 3] K=[41, 14, 31, 32] stored bound 0.180012076 | R2_iv 1.227814e-03 (stored 1.227814e-03) mu 0.013867839 s_req 0.195095653 smin0-s_req 1.308e-05 | pivots>0: E1 True (min 2.66e-12) smin True (min 6.50e-05) | PASS  2.2s
rank   157 box  74938 L=[3, 2, 3, 3] K=[62, 13, 30, 31] stored bound 0.180012142 | R2_iv 1.234987e-03 (stored 1.234987e-03) mu 0.014105225 s_req 0.195340212 smin0-s_req 1.314e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 8.43e-05) | PASS  2.2s
rank   158 box  22742 L=[2, 2, 3, 2] K=[4, 12, 25, 13] stored bound 0.180012240 | R2_iv 2.357604e-03 (stored 2.357604e-03) mu 0.021002482 s_req 0.203360085 smin0-s_req 1.324e-05 | pivots>0: E1 True (min 3.05e-12) smin True (min 7.18e-05) | PASS  2.1s
rank   159 box  42679 L=[2, 2, 3, 3] K=[17, 15, 27, 30] stored bound 0.180012289 | R2_iv 1.713575e-03 (stored 1.713575e-03) mu 0.016711327 s_req 0.198424902 smin0-s_req 1.329e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 6.64e-05) | PASS  2.1s
rank   160 box  44531 L=[2, 2, 3, 3] K=[20, 9, 31, 35] stored bound 0.180012351 | R2_iv 1.709591e-03 (stored 1.709591e-03) mu 0.016013953 s_req 0.197723544 smin0-s_req 1.335e-05 | pivots>0: E1 True (min 1.63e-12) smin True (min 6.62e-05) | PASS  2.1s
rank   161 box  74715 L=[3, 2, 3, 3] K=[57, 15, 30, 31] stored bound 0.180012409 | R2_iv 1.235098e-03 (stored 1.235098e-03) mu 0.014051288 s_req 0.195286386 smin0-s_req 1.341e-05 | pivots>0: E1 True (min 2.84e-12) smin True (min 7.69e-05) | PASS  2.1s
rank   162 box  34981 L=[2, 2, 3, 3] K=[6, 4, 31, 35] stored bound 0.180012419 | R2_iv 1.707796e-03 (stored 1.707796e-03) mu 0.015788674 s_req 0.197496470 smin0-s_req 1.342e-05 | pivots>0: E1 True (min 1.19e-12) smin True (min 5.62e-05) | PASS  2.1s
rank   163 box  19519 L=[2, 1, 2, 3] K=[25, 6, 14, 38] stored bound 0.180012499 | R2_iv 4.124013e-03 (stored 4.124013e-03) mu 0.023706537 s_req 0.207830550 smin0-s_req 1.350e-05 | pivots>0: E1 True (min 3.26e-12) smin True (min 7.68e-05) | PASS  2.1s
rank   164 box  42743 L=[2, 2, 3, 3] K=[19, 15, 27, 30] stored bound 0.180012529 | R2_iv 1.714633e-03 (stored 1.714633e-03) mu 0.016719762 s_req 0.198434395 smin0-s_req 1.353e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 6.83e-05) | PASS  2.1s
rank   165 box  40898 L=[2, 2, 3, 3] K=[18, 1, 27, 29] stored bound 0.180012565 | R2_iv 1.707762e-03 (stored 1.707762e-03) mu 0.016132556 s_req 0.197840318 smin0-s_req 1.357e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 5.90e-05) | PASS  2.1s
rank   166 box  58176 L=[3, 2, 3, 3] K=[18, 8, 30, 31] stored bound 0.180012685 | R2_iv 1.221204e-03 (stored 1.221204e-03) mu 0.013512222 s_req 0.194733427 smin0-s_req 1.369e-05 | pivots>0: E1 True (min 2.78e-12) smin True (min 6.15e-05) | PASS  2.1s
rank   167 box  47535 L=[2, 2, 3, 3] K=[29, 3, 29, 28] stored bound 0.180012723 | R2_iv 1.712886e-03 (stored 1.712886e-03) mu 0.016409395 s_req 0.198122281 smin0-s_req 1.372e-05 | pivots>0: E1 True (min 1.51e-12) smin True (min 8.87e-05) | PASS  2.1s
rank   168 box  49300 L=[2, 2, 3, 3] K=[31, 11, 29, 27] stored bound 0.180012759 | R2_iv 1.719870e-03 (stored 1.719870e-03) mu 0.017031067 s_req 0.198750937 smin0-s_req 1.376e-05 | pivots>0: E1 True (min 1.60e-12) smin True (min 9.26e-05) | PASS  2.1s
rank   169 box  38971 L=[2, 2, 3, 3] K=[14, 2, 27, 31] stored bound 0.180012874 | R2_iv 1.707066e-03 (stored 1.707066e-03) mu 0.016042378 s_req 0.197749444 smin0-s_req 1.387e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 5.76e-05) | PASS  2.1s
rank   170 box  64130 L=[3, 2, 3, 3] K=[39, 4, 31, 32] stored bound 0.180013009 | R2_iv 1.221757e-03 (stored 1.221757e-03) mu 0.013466508 s_req 0.194688265 smin0-s_req 1.401e-05 | pivots>0: E1 True (min 3.42e-12) smin True (min 6.44e-05) | PASS  2.1s
rank   171 box  33033 L=[2, 2, 3, 3] K=[0, 8, 29, 28] stored bound 0.180013054 | R2_iv 1.709866e-03 (stored 1.709866e-03) mu 0.015956544 s_req 0.197666410 smin0-s_req 1.405e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 7.25e-05) | PASS  2.1s
rank   172 box   8097 L=[1, 1, 2, 2] K=[9, 5, 10, 11] stored bound 0.180013233 | R2_iv 7.091231e-03 (stored 7.091231e-03) mu 0.032721786 s_req 0.219813018 smin0-s_req 1.423e-05 | pivots>0: E1 True (min 6.96e-12) smin True (min 8.01e-05) | PASS  2.1s
rank   173 box  42735 L=[2, 2, 3, 3] K=[18, 15, 27, 30] stored bound 0.180013397 | R2_iv 1.714080e-03 (stored 1.714080e-03) mu 0.016715515 s_req 0.198429594 smin0-s_req 1.440e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 7.22e-05) | PASS  2.1s
rank   174 box  55536 L=[3, 2, 3, 3] K=[11, 9, 31, 32] stored bound 0.180013408 | R2_iv 1.222000e-03 (stored 1.222000e-03) mu 0.013528575 s_req 0.194750575 smin0-s_req 1.441e-05 | pivots>0: E1 True (min 3.27e-12) smin True (min 6.80e-05) | PASS  2.1s
rank   175 box  58177 L=[3, 2, 3, 3] K=[18, 8, 31, 30] stored bound 0.180013457 | R2_iv 1.221204e-03 (stored 1.221204e-03) mu 0.013514047 s_req 0.194735251 smin0-s_req 1.446e-05 | pivots>0: E1 True (min 3.32e-12) smin True (min 6.48e-05) | PASS  2.1s
rank   176 box  58516 L=[3, 2, 3, 3] K=[23, 10, 31, 30] stored bound 0.180013486 | R2_iv 1.221847e-03 (stored 1.221847e-03) mu 0.013590934 s_req 0.194812780 smin0-s_req 1.449e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 6.68e-05) | PASS  2.1s
rank   177 box  32393 L=[2, 2, 3, 3] K=[0, 6, 28, 29] stored bound 0.180013564 | R2_iv 1.710076e-03 (stored 1.710076e-03) mu 0.016113914 s_req 0.197823990 smin0-s_req 1.456e-05 | pivots>0: E1 True (min 1.18e-12) smin True (min 7.16e-05) | PASS  2.2s
rank   178 box  31896 L=[2, 2, 3, 3] K=[3, 0, 29, 28] stored bound 0.180013623 | R2_iv 1.711360e-03 (stored 1.711360e-03) mu 0.016240803 s_req 0.197952163 smin0-s_req 1.462e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 5.79e-05) | PASS  2.2s
rank   179 box  49729 L=[2, 2, 3, 3] K=[29, 10, 29, 34] stored bound 0.180013719 | R2_iv 1.716819e-03 (stored 1.716819e-03) mu 0.016943585 s_req 0.198660404 smin0-s_req 1.472e-05 | pivots>0: E1 True (min 1.55e-12) smin True (min 9.43e-05) | PASS  2.1s
rank   180 box  41747 L=[2, 2, 3, 3] K=[18, 4, 28, 28] stored bound 0.180013736 | R2_iv 1.707297e-03 (stored 1.707297e-03) mu 0.015825916 s_req 0.197533213 smin0-s_req 1.474e-05 | pivots>0: E1 True (min 1.19e-12) smin True (min 6.70e-05) | PASS  2.1s
rank   181 box  74941 L=[3, 2, 3, 3] K=[60, 14, 31, 30] stored bound 0.180013786 | R2_iv 1.235231e-03 (stored 1.235231e-03) mu 0.014089336 s_req 0.195324567 smin0-s_req 1.479e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 8.99e-05) | PASS  2.1s
rank   182 box  20053 L=[2, 1, 2, 3] K=[28, 6, 13, 23] stored bound 0.180013793 | R2_iv 4.128815e-03 (stored 4.128815e-03) mu 0.023940801 s_req 0.208069617 smin0-s_req 1.479e-05 | pivots>0: E1 True (min 3.36e-12) smin True (min 9.00e-05) | PASS  2.1s
rank   183 box  26193 L=[2, 2, 3, 2] K=[16, 5, 29, 12] stored bound 0.180013964 | R2_iv 2.354500e-03 (stored 2.354500e-03) mu 0.020225705 s_req 0.202580205 smin0-s_req 1.496e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 6.66e-05) | PASS  2.1s
rank   184 box  38289 L=[2, 2, 3, 3] K=[9, 14, 30, 27] stored bound 0.180013981 | R2_iv 1.710376e-03 (stored 1.710376e-03) mu 0.016537002 s_req 0.198247378 smin0-s_req 1.498e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 7.44e-05) | PASS  2.1s
rank   185 box   7656 L=[1, 1, 2, 2] K=[7, 4, 10, 11] stored bound 0.180014097 | R2_iv 7.081305e-03 (stored 7.081305e-03) mu 0.032277659 s_req 0.219358963 smin0-s_req 1.510e-05 | pivots>0: E1 True (min 6.78e-12) smin True (min 7.98e-05) | PASS  2.1s
rank   186 box  58180 L=[3, 2, 3, 3] K=[18, 9, 30, 31] stored bound 0.180014127 | R2_iv 1.221464e-03 (stored 1.221464e-03) mu 0.013548583 s_req 0.194770047 smin0-s_req 1.513e-05 | pivots>0: E1 True (min 2.54e-12) smin True (min 6.93e-05) | PASS  2.1s
rank   187 box  75247 L=[3, 2, 3, 3] K=[62, 15, 31, 33] stored bound 0.180014157 | R2_iv 1.237610e-03 (stored 1.237610e-03) mu 0.014251277 s_req 0.195488887 smin0-s_req 1.516e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 9.33e-05) | PASS  2.1s
rank   188 box  56834 L=[3, 2, 3, 3] K=[19, 2, 31, 30] stored bound 0.180014246 | R2_iv 1.221702e-03 (stored 1.221702e-03) mu 0.013553423 s_req 0.194775125 smin0-s_req 1.525e-05 | pivots>0: E1 True (min 2.96e-12) smin True (min 5.95e-05) | PASS  2.1s
rank   189 box  40951 L=[2, 2, 3, 3] K=[18, 2, 27, 30] stored bound 0.180014417 | R2_iv 1.707497e-03 (stored 1.707497e-03) mu 0.016034932 s_req 0.197742429 smin0-s_req 1.542e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 6.86e-05) | PASS  2.1s
rank   190 box  24974 L=[2, 2, 2, 3] K=[12, 4, 15, 37] stored bound 0.180014486 | R2_iv 2.354173e-03 (stored 2.354173e-03) mu 0.018637855 s_req 0.200992028 smin0-s_req 1.549e-05 | pivots>0: E1 True (min 7.09e-13) smin True (min 6.51e-05) | PASS  2.1s
rank   191 box  40602 L=[2, 2, 3, 3] K=[13, 13, 29, 34] stored bound 0.180014533 | R2_iv 1.710074e-03 (stored 1.710074e-03) mu 0.016402716 s_req 0.198112790 smin0-s_req 1.553e-05 | pivots>0: E1 True (min 1.74e-12) smin True (min 7.55e-05) | PASS  2.1s
rank   192 box  31062 L=[2, 1, 3, 3] K=[29, 3, 26, 35] stored bound 0.180014551 | R2_iv 3.279483e-03 (stored 3.279483e-03) mu 0.023331238 s_req 0.206610721 smin0-s_req 1.555e-05 | pivots>0: E1 True (min 2.97e-12) smin True (min 1.08e-04) | PASS  2.1s
rank   193 box  46081 L=[2, 2, 3, 3] K=[27, 4, 28, 29] stored bound 0.180014586 | R2_iv 1.711613e-03 (stored 1.711613e-03) mu 0.016311460 s_req 0.198023073 smin0-s_req 1.559e-05 | pivots>0: E1 True (min 1.47e-12) smin True (min 9.36e-05) | PASS  2.1s
rank   194 box  23825 L=[2, 2, 3, 2] K=[9, 8, 29, 12] stored bound 0.180014607 | R2_iv 2.354462e-03 (stored 2.354462e-03) mu 0.020348494 s_req 0.202702957 smin0-s_req 1.561e-05 | pivots>0: E1 True (min 3.72e-12) smin True (min 7.10e-05) | PASS  2.1s
rank   195 box  44791 L=[2, 2, 3, 3] K=[22, 15, 30, 27] stored bound 0.180014689 | R2_iv 1.716590e-03 (stored 1.716590e-03) mu 0.016692637 s_req 0.198409227 smin0-s_req 1.569e-05 | pivots>0: E1 True (min 1.84e-12) smin True (min 7.95e-05) | PASS  2.1s
rank   196 box  48786 L=[2, 2, 3, 3] K=[30, 4, 31, 35] stored bound 0.180014753 | R2_iv 1.713949e-03 (stored 1.713949e-03) mu 0.016696714 s_req 0.198410663 smin0-s_req 1.575e-05 | pivots>0: E1 True (min 1.53e-12) smin True (min 1.07e-04) | PASS  2.1s
rank   197 box  38887 L=[2, 2, 3, 3] K=[12, 2, 27, 29] stored bound 0.180014758 | R2_iv 1.707150e-03 (stored 1.707150e-03) mu 0.016055241 s_req 0.197762391 smin0-s_req 1.576e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 6.38e-05) | PASS  2.1s
rank   198 box  23842 L=[2, 2, 3, 2] K=[9, 11, 30, 12] stored bound 0.180014769 | R2_iv 2.357152e-03 (stored 2.357152e-03) mu 0.020668526 s_req 0.203025678 smin0-s_req 1.577e-05 | pivots>0: E1 True (min 3.88e-12) smin True (min 7.55e-05) | PASS  2.1s
rank   199 box  36655 L=[2, 2, 3, 3] K=[11, 2, 30, 27] stored bound 0.180014782 | R2_iv 1.707266e-03 (stored 1.707266e-03) mu 0.015981348 s_req 0.197688614 smin0-s_req 1.578e-05 | pivots>0: E1 True (min 1.26e-12) smin True (min 6.24e-05) | PASS  2.1s
rank   200 box  18598 L=[2, 1, 2, 3] K=[21, 5, 15, 39] stored bound 0.180014806 | R2_iv 4.117169e-03 (stored 4.117169e-03) mu 0.023014379 s_req 0.207131548 smin0-s_req 1.581e-05 | pivots>0: E1 True (min 3.09e-12) smin True (min 8.14e-05) | PASS  2.1s
rank   201 box  22090 L=[2, 2, 2, 3] K=[4, 0, 14, 35] stored bound 0.180015095 | R2_iv 2.359275e-03 (stored 2.359275e-03) mu 0.018766226 s_req 0.201125501 smin0-s_req 1.609e-05 | pivots>0: E1 True (min 7.75e-13) smin True (min 6.36e-05) | PASS  2.1s
rank   202 box  38450 L=[2, 2, 3, 3] K=[11, 13, 27, 30] stored bound 0.180015194 | R2_iv 1.709709e-03 (stored 1.709709e-03) mu 0.016489026 s_req 0.198198735 smin0-s_req 1.619e-05 | pivots>0: E1 True (min 1.76e-12) smin True (min 8.04e-05) | PASS  2.1s
rank   203 box  25975 L=[2, 2, 3, 2] K=[19, 1, 28, 12] stored bound 0.180015242 | R2_iv 2.355506e-03 (stored 2.355506e-03) mu 0.020481161 s_req 0.202836667 smin0-s_req 1.624e-05 | pivots>0: E1 True (min 2.84e-12) smin True (min 7.18e-05) | PASS  2.1s
rank   204 box  57568 L=[3, 2, 3, 3] K=[18, 7, 30, 31] stored bound 0.180015295 | R2_iv 1.221047e-03 (stored 1.221047e-03) mu 0.013487648 s_req 0.194708695 smin0-s_req 1.629e-05 | pivots>0: E1 True (min 2.99e-12) smin True (min 7.16e-05) | PASS  2.1s
rank   205 box  29433 L=[2, 2, 2, 3] K=[26, 7, 14, 35] stored bound 0.180015528 | R2_iv 2.363998e-03 (stored 2.363998e-03) mu 0.018860506 s_req 0.201224503 smin0-s_req 1.653e-05 | pivots>0: E1 True (min 8.78e-13) smin True (min 9.78e-05) | PASS  2.1s
rank   206 box  31316 L=[2, 1, 3, 3] K=[30, 4, 31, 39] stored bound 0.180015741 | R2_iv 3.282161e-03 (stored 3.282161e-03) mu 0.023561641 s_req 0.206843802 smin0-s_req 1.674e-05 | pivots>0: E1 True (min 2.97e-12) smin True (min 1.13e-04) | PASS  2.1s
rank   207 box  63304 L=[3, 2, 3, 3] K=[33, 3, 30, 32] stored bound 0.180015774 | R2_iv 1.221165e-03 (stored 1.221165e-03) mu 0.013510942 s_req 0.194732107 smin0-s_req 1.677e-05 | pivots>0: E1 True (min 3.14e-12) smin True (min 7.16e-05) | PASS  2.1s
rank   208 box  60908 L=[3, 2, 3, 3] K=[26, 5, 31, 33] stored bound 0.180015839 | R2_iv 1.220752e-03 (stored 1.220752e-03) mu 0.013488378 s_req 0.194709131 smin0-s_req 1.684e-05 | pivots>0: E1 True (min 2.84e-12) smin True (min 7.15e-05) | PASS  2.1s
rank   209 box  65474 L=[3, 2, 3, 3] K=[38, 13, 31, 31] stored bound 0.180015863 | R2_iv 1.226015e-03 (stored 1.226015e-03) mu 0.013783352 s_req 0.195009366 smin0-s_req 1.686e-05 | pivots>0: E1 True (min 4.30e-12) smin True (min 8.26e-05) | PASS  2.1s
rank   210 box  55226 L=[3, 2, 3, 3] K=[8, 10, 31, 31] stored bound 0.180016023 | R2_iv 1.222651e-03 (stored 1.222651e-03) mu 0.013570267 s_req 0.194792918 smin0-s_req 1.702e-05 | pivots>0: E1 True (min 2.69e-12) smin True (min 8.41e-05) | PASS  2.1s
rank   211 box  23440 L=[2, 2, 3, 2] K=[10, 7, 25, 13] stored bound 0.180016037 | R2_iv 2.354092e-03 (stored 2.354092e-03) mu 0.020570747 s_req 0.202924839 smin0-s_req 1.704e-05 | pivots>0: E1 True (min 2.99e-12) smin True (min 7.87e-05) | PASS  2.1s
rank   212 box  44562 L=[2, 2, 3, 3] K=[23, 9, 28, 32] stored bound 0.180016054 | R2_iv 1.711255e-03 (stored 1.711255e-03) mu 0.016305308 s_req 0.198016563 smin0-s_req 1.705e-05 | pivots>0: E1 True (min 1.44e-12) smin True (min 9.20e-05) | PASS  2.1s
rank   213 box  38879 L=[2, 2, 3, 3] K=[12, 1, 27, 31] stored bound 0.180016235 | R2_iv 1.707565e-03 (stored 1.707565e-03) mu 0.016142058 s_req 0.197849622 smin0-s_req 1.723e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 6.84e-05) | PASS  2.1s
rank   214 box  27048 L=[2, 2, 2, 3] K=[17, 13, 13, 33] stored bound 0.180016248 | R2_iv 2.359760e-03 (stored 2.359760e-03) mu 0.019004915 s_req 0.201364675 smin0-s_req 1.725e-05 | pivots>0: E1 True (min 9.52e-13) smin True (min 8.79e-05) | PASS  2.1s
rank   215 box  57671 L=[3, 2, 3, 3] K=[23, 4, 30, 30] stored bound 0.180016286 | R2_iv 1.220871e-03 (stored 1.220871e-03) mu 0.013481005 s_req 0.194701877 smin0-s_req 1.729e-05 | pivots>0: E1 True (min 4.88e-12) smin True (min 7.12e-05) | PASS  2.2s
rank   216 box  41096 L=[2, 2, 3, 3] K=[18, 0, 31, 27] stored bound 0.180016336 | R2_iv 1.708138e-03 (stored 1.708138e-03) mu 0.016135720 s_req 0.197843859 smin0-s_req 1.734e-05 | pivots>0: E1 True (min 1.30e-12) smin True (min 7.23e-05) | PASS  2.1s
rank   217 box  65227 L=[3, 2, 3, 3] K=[35, 12, 31, 31] stored bound 0.180016409 | R2_iv 1.224486e-03 (stored 1.224486e-03) mu 0.013701510 s_req 0.194925996 smin0-s_req 1.741e-05 | pivots>0: E1 True (min 4.80e-12) smin True (min 8.39e-05) | PASS  2.1s
rank   218 box  71759 L=[3, 2, 3, 3] K=[50, 14, 31, 32] stored bound 0.180016433 | R2_iv 1.230819e-03 (stored 1.230819e-03) mu 0.013897953 s_req 0.195128772 smin0-s_req 1.743e-05 | pivots>0: E1 True (min 3.13e-12) smin True (min 9.32e-05) | PASS  2.1s
rank   219 box  38080 L=[2, 2, 3, 3] K=[11, 8, 29, 34] stored bound 0.180016664 | R2_iv 1.706943e-03 (stored 1.706943e-03) mu 0.015940640 s_req 0.197647583 smin0-s_req 1.766e-05 | pivots>0: E1 True (min 1.59e-12) smin True (min 8.02e-05) | PASS  2.1s
rank   220 box  57959 L=[3, 2, 3, 3] K=[23, 4, 30, 32] stored bound 0.180016676 | R2_iv 1.220871e-03 (stored 1.220871e-03) mu 0.013505703 s_req 0.194726575 smin0-s_req 1.768e-05 | pivots>0: E1 True (min 2.50e-12) smin True (min 7.29e-05) | PASS  2.1s
rank   221 box  60904 L=[3, 2, 3, 3] K=[26, 5, 30, 32] stored bound 0.180016881 | R2_iv 1.220752e-03 (stored 1.220752e-03) mu 0.013487336 s_req 0.194708089 smin0-s_req 1.788e-05 | pivots>0: E1 True (min 2.75e-12) smin True (min 7.61e-05) | PASS  2.1s
rank   222 box  39420 L=[2, 2, 3, 3] K=[13, 4, 27, 30] stored bound 0.180016940 | R2_iv 1.706634e-03 (stored 1.706634e-03) mu 0.015867663 s_req 0.197574297 smin0-s_req 1.794e-05 | pivots>0: E1 True (min 1.21e-12) smin True (min 7.68e-05) | PASS  2.1s
rank   223 box  50192 L=[2, 2, 3, 3] K=[28, 14, 27, 29] stored bound 0.180017007 | R2_iv 1.720431e-03 (stored 1.720431e-03) mu 0.016893865 s_req 0.198614296 smin0-s_req 1.801e-05 | pivots>0: E1 True (min 1.56e-12) smin True (min 1.07e-04) | PASS  2.1s
rank   224 box  58295 L=[3, 2, 3, 3] K=[19, 10, 31, 30] stored bound 0.180017211 | R2_iv 1.221809e-03 (stored 1.221809e-03) mu 0.013588492 s_req 0.194810300 smin0-s_req 1.821e-05 | pivots>0: E1 True (min 3.35e-12) smin True (min 8.46e-05) | PASS  2.1s
rank   225 box  57569 L=[3, 2, 3, 3] K=[18, 7, 31, 30] stored bound 0.180017294 | R2_iv 1.221047e-03 (stored 1.221047e-03) mu 0.013488421 s_req 0.194709469 smin0-s_req 1.829e-05 | pivots>0: E1 True (min 3.39e-12) smin True (min 8.02e-05) | PASS  2.1s
rank   226 box  52874 L=[3, 2, 3, 3] K=[0, 13, 31, 31] stored bound 0.180017297 | R2_iv 1.225221e-03 (stored 1.225221e-03) mu 0.013742404 s_req 0.194967625 smin0-s_req 1.830e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 1.07e-04) | PASS  2.1s
rank   227 box  68719 L=[3, 2, 3, 3] K=[42, 14, 31, 32] stored bound 0.180017333 | R2_iv 1.228103e-03 (stored 1.228103e-03) mu 0.013870864 s_req 0.195098967 smin0-s_req 1.833e-05 | pivots>0: E1 True (min 2.71e-12) smin True (min 9.17e-05) | PASS  2.1s
rank   228 box  61259 L=[3, 2, 3, 3] K=[26, 9, 30, 31] stored bound 0.180017433 | R2_iv 1.221540e-03 (stored 1.221540e-03) mu 0.013547486 s_req 0.194769027 smin0-s_req 1.843e-05 | pivots>0: E1 True (min 2.84e-12) smin True (min 8.41e-05) | PASS  2.1s
rank   229 box   6704 L=[1, 1, 2, 2] K=[2, 2, 15, 21] stored bound 0.180017439 | R2_iv 7.084292e-03 (stored 7.084292e-03) mu 0.031893139 s_req 0.218977431 smin0-s_req 1.844e-05 | pivots>0: E1 True (min 4.38e-12) smin True (min 8.42e-05) | PASS  2.1s
rank   230 box  60555 L=[3, 2, 3, 3] K=[26, 5, 30, 30] stored bound 0.180017454 | R2_iv 1.220752e-03 (stored 1.220752e-03) mu 0.013461208 s_req 0.194681961 smin0-s_req 1.845e-05 | pivots>0: E1 True (min 5.43e-12) smin True (min 7.84e-05) | PASS  2.1s
rank   231 box  54909 L=[3, 2, 3, 3] K=[14, 5, 31, 32] stored bound 0.180017596 | R2_iv 1.221464e-03 (stored 1.221464e-03) mu 0.013478749 s_req 0.194700213 smin0-s_req 1.860e-05 | pivots>0: E1 True (min 2.91e-12) smin True (min 7.87e-05) | PASS  2.1s
rank   232 box  58181 L=[3, 2, 3, 3] K=[18, 9, 31, 30] stored bound 0.180017627 | R2_iv 1.221464e-03 (stored 1.221464e-03) mu 0.013547368 s_req 0.194768833 smin0-s_req 1.863e-05 | pivots>0: E1 True (min 3.28e-12) smin True (min 8.51e-05) | PASS  2.1s
rank   233 box  22633 L=[2, 2, 3, 2] K=[7, 10, 29, 12] stored bound 0.180017629 | R2_iv 2.355700e-03 (stored 2.355700e-03) mu 0.020531631 s_req 0.202887331 smin0-s_req 1.863e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 8.95e-05) | PASS  2.1s
rank   234 box  19887 L=[2, 1, 2, 3] K=[29, 5, 13, 23] stored bound 0.180017791 | R2_iv 4.128757e-03 (stored 4.128757e-03) mu 0.024059895 s_req 0.208188652 smin0-s_req 1.879e-05 | pivots>0: E1 True (min 3.40e-12) smin True (min 1.21e-04) | PASS  2.1s
rank   235 box  40447 L=[2, 2, 3, 3] K=[12, 14, 27, 30] stored bound 0.180017857 | R2_iv 1.710775e-03 (stored 1.710775e-03) mu 0.016591768 s_req 0.198302544 smin0-s_req 1.886e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 9.40e-05) | PASS  2.1s
rank   236 box  24830 L=[2, 2, 3, 2] K=[14, 4, 28, 12] stored bound 0.180017915 | R2_iv 2.353964e-03 (stored 2.353964e-03) mu 0.020287756 s_req 0.202641720 smin0-s_req 1.891e-05 | pivots>0: E1 True (min 3.12e-12) smin True (min 8.11e-05) | PASS  2.1s
rank   237 box  23823 L=[2, 2, 3, 2] K=[8, 9, 29, 12] stored bound 0.180017951 | R2_iv 2.354999e-03 (stored 2.354999e-03) mu 0.020437393 s_req 0.202792392 smin0-s_req 1.895e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 8.85e-05) | PASS  2.1s
rank   238 box  40326 L=[2, 2, 3, 3] K=[12, 14, 30, 27] stored bound 0.180018087 | R2_iv 1.710775e-03 (stored 1.710775e-03) mu 0.016547265 s_req 0.198258041 smin0-s_req 1.909e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 9.25e-05) | PASS  2.1s
rank   239 box  44799 L=[2, 2, 3, 3] K=[23, 15, 30, 27] stored bound 0.180018095 | R2_iv 1.717341e-03 (stored 1.717341e-03) mu 0.016696889 s_req 0.198414230 smin0-s_req 1.909e-05 | pivots>0: E1 True (min 1.84e-12) smin True (min 9.82e-05) | PASS  2.1s
rank   240 box  60901 L=[3, 2, 3, 3] K=[25, 5, 31, 33] stored bound 0.180018106 | R2_iv 1.220749e-03 (stored 1.220749e-03) mu 0.013489933 s_req 0.194710682 smin0-s_req 1.911e-05 | pivots>0: E1 True (min 2.77e-12) smin True (min 8.08e-05) | PASS  2.1s
rank   241 box  24720 L=[2, 2, 3, 2] K=[13, 5, 25, 13] stored bound 0.180018194 | R2_iv 2.353852e-03 (stored 2.353852e-03) mu 0.020439997 s_req 0.202793848 smin0-s_req 1.919e-05 | pivots>0: E1 True (min 2.35e-12) smin True (min 8.61e-05) | PASS  2.1s
rank   242 box  44062 L=[2, 2, 3, 3] K=[20, 6, 31, 35] stored bound 0.180018434 | R2_iv 1.708251e-03 (stored 1.708251e-03) mu 0.015844779 s_req 0.197553030 smin0-s_req 1.943e-05 | pivots>0: E1 True (min 1.36e-12) smin True (min 9.39e-05) | PASS  2.1s
rank   243 box  32416 L=[2, 2, 3, 3] K=[3, 6, 29, 28] stored bound 0.180018450 | R2_iv 1.708536e-03 (stored 1.708536e-03) mu 0.015770227 s_req 0.197478763 smin0-s_req 1.945e-05 | pivots>0: E1 True (min 1.11e-12) smin True (min 8.93e-05) | PASS  2.1s
rank   244 box  19628 L=[2, 1, 3, 2] K=[28, 0, 26, 18] stored bound 0.180018450 | R2_iv 4.118968e-03 (stored 4.118968e-03) mu 0.026121979 s_req 0.210240947 smin0-s_req 1.945e-05 | pivots>0: E1 True (min 3.63e-12) smin True (min 1.28e-04) | PASS  2.1s
rank   245 box  44035 L=[2, 2, 3, 3] K=[21, 4, 31, 35] stored bound 0.180018457 | R2_iv 1.708290e-03 (stored 1.708290e-03) mu 0.015842046 s_req 0.197550337 smin0-s_req 1.946e-05 | pivots>0: E1 True (min 1.36e-12) smin True (min 9.40e-05) | PASS  2.1s
rank   246 box  58511 L=[3, 2, 3, 3] K=[20, 11, 30, 31] stored bound 0.180018484 | R2_iv 1.222291e-03 (stored 1.222291e-03) mu 0.013654455 s_req 0.194876746 smin0-s_req 1.948e-05 | pivots>0: E1 True (min 2.19e-12) smin True (min 9.20e-05) | PASS  2.1s
rank   247 box  24761 L=[2, 2, 3, 2] K=[14, 5, 25, 13] stored bound 0.180018534 | R2_iv 2.353962e-03 (stored 2.353962e-03) mu 0.020463340 s_req 0.202817302 smin0-s_req 1.953e-05 | pivots>0: E1 True (min 2.99e-12) smin True (min 8.84e-05) | PASS  2.1s
rank   248 box   7420 L=[1, 1, 2, 2] K=[5, 7, 12, 19] stored bound 0.180018561 | R2_iv 7.095702e-03 (stored 7.095702e-03) mu 0.032857071 s_req 0.219952774 smin0-s_req 1.956e-05 | pivots>0: E1 True (min 7.02e-12) smin True (min 1.10e-04) | PASS  2.1s
rank   249 box  58292 L=[3, 2, 3, 3] K=[18, 10, 30, 31] stored bound 0.180018766 | R2_iv 1.221828e-03 (stored 1.221828e-03) mu 0.013596140 s_req 0.194817967 smin0-s_req 1.977e-05 | pivots>0: E1 True (min 2.33e-12) smin True (min 9.23e-05) | PASS  2.1s
rank   250 box   1938 L=[1, 0, 1, 1] K=[5, 3, 7, 2] stored bound 0.180018821 | R2_iv 2.127653e-02 (stored 2.127653e-02) mu 0.059009098 s_req 0.260285631 smin0-s_req 1.982e-05 | pivots>0: E1 True (min 2.10e-11) smin True (min 9.64e-05) | PASS  2.1s
rank   251 box   2714 L=[1, 1, 1, 1] K=[0, 4, 4, 4] stored bound 0.180018857 | R2_iv 1.274446e-02 (stored 1.274446e-02) mu 0.047907514 s_req 0.240651977 smin0-s_req 1.986e-05 | pivots>0: E1 True (min 3.57e-11) smin True (min 1.25e-04) | PASS  2.1s
rank   252 box  60897 L=[3, 2, 3, 3] K=[25, 5, 30, 32] stored bound 0.180018894 | R2_iv 1.220749e-03 (stored 1.220749e-03) mu 0.013488770 s_req 0.194709519 smin0-s_req 1.989e-05 | pivots>0: E1 True (min 2.69e-12) smin True (min 8.43e-05) | PASS  2.1s
rank   253 box  38760 L=[2, 2, 3, 3] K=[13, 2, 29, 27] stored bound 0.180019043 | R2_iv 1.707083e-03 (stored 1.707083e-03) mu 0.015999763 s_req 0.197706846 smin0-s_req 2.004e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 8.07e-05) | PASS  2.1s
rank   254 box  61481 L=[3, 2, 3, 3] K=[28, 8, 30, 31] stored bound 0.180019077 | R2_iv 1.221299e-03 (stored 1.221299e-03) mu 0.013508332 s_req 0.194729631 smin0-s_req 2.008e-05 | pivots>0: E1 True (min 3.29e-12) smin True (min 9.07e-05) | PASS  2.1s
rank   255 box  65953 L=[3, 2, 3, 3] K=[42, 0, 31, 30] stored bound 0.180019398 | R2_iv 1.222793e-03 (stored 1.222793e-03) mu 0.013605449 s_req 0.194828242 smin0-s_req 2.040e-05 | pivots>0: E1 True (min 6.09e-12) smin True (min 9.11e-05) | PASS  2.1s
rank   256 box  64831 L=[3, 2, 3, 3] K=[32, 11, 31, 32] stored bound 0.180019532 | R2_iv 1.223230e-03 (stored 1.223230e-03) mu 0.013626620 s_req 0.194849850 smin0-s_req 2.053e-05 | pivots>0: E1 True (min 2.90e-12) smin True (min 9.72e-05) | PASS  2.1s
rank   257 box   3176 L=[1, 1, 1, 1] K=[6, 2, 7, 3] stored bound 0.180019624 | R2_iv 1.270322e-02 (stored 1.270322e-02) mu 0.050108401 s_req 0.242811624 smin0-s_req 2.062e-05 | pivots>0: E1 True (min 1.23e-11) smin True (min 9.10e-05) | PASS  2.1s
rank   258 box  27093 L=[2, 2, 2, 3] K=[18, 14, 13, 33] stored bound 0.180019644 | R2_iv 2.361494e-03 (stored 2.361494e-03) mu 0.019033216 s_req 0.201394710 smin0-s_req 2.064e-05 | pivots>0: E1 True (min 9.66e-13) smin True (min 1.06e-04) | PASS  2.1s
rank   259 box  40119 L=[2, 2, 3, 3] K=[12, 8, 29, 34] stored bound 0.180019707 | R2_iv 1.706976e-03 (stored 1.706976e-03) mu 0.015943381 s_req 0.197650357 smin0-s_req 2.071e-05 | pivots>0: E1 True (min 1.58e-12) smin True (min 9.41e-05) | PASS  2.1s
rank   260 box  74714 L=[3, 2, 3, 3] K=[56, 15, 30, 31] stored bound 0.180019765 | R2_iv 1.234629e-03 (stored 1.234629e-03) mu 0.014047807 s_req 0.195282436 smin0-s_req 2.076e-05 | pivots>0: E1 True (min 2.81e-12) smin True (min 1.18e-04) | PASS  2.1s
rank   261 box  61361 L=[3, 2, 3, 3] K=[24, 10, 30, 31] stored bound 0.180019774 | R2_iv 1.221885e-03 (stored 1.221885e-03) mu 0.013596928 s_req 0.194818813 smin0-s_req 2.077e-05 | pivots>0: E1 True (min 2.49e-12) smin True (min 9.61e-05) | PASS  2.1s
rank   262 box   9451 L=[1, 1, 2, 2] K=[14, 4, 10, 11] stored bound 0.180019809 | R2_iv 7.112205e-03 (stored 7.112205e-03) mu 0.033066608 s_req 0.220178812 smin0-s_req 2.081e-05 | pivots>0: E1 True (min 6.10e-12) smin True (min 1.49e-04) | PASS  2.1s
rank   263 box  65577 L=[3, 2, 3, 3] K=[34, 13, 31, 32] stored bound 0.180019810 | R2_iv 1.225154e-03 (stored 1.225154e-03) mu 0.013770459 s_req 0.194995613 smin0-s_req 2.081e-05 | pivots>0: E1 True (min 2.49e-12) smin True (min 1.00e-04) | PASS  2.1s
rank   264 box  15147 L=[2, 2, 2, 2] K=[6, 10, 12, 12] stored bound 0.180019866 | R2_iv 3.075612e-03 (stored 3.075612e-03) mu 0.023805336 s_req 0.206880948 smin0-s_req 2.087e-05 | pivots>0: E1 True (min 9.17e-12) smin True (min 1.06e-04) | PASS  2.1s
rank   265 box  37777 L=[2, 2, 3, 3] K=[10, 11, 27, 30] stored bound 0.180019911 | R2_iv 1.708214e-03 (stored 1.708214e-03) mu 0.016289669 s_req 0.197997882 smin0-s_req 2.091e-05 | pivots>0: E1 True (min 1.71e-12) smin True (min 1.01e-04) | PASS  2.1s
rank   266 box  11229 L=[2, 1, 2, 2] K=[11, 6, 13, 19] stored bound 0.180019925 | R2_iv 5.031097e-03 (stored 5.031097e-03) mu 0.028546612 s_req 0.213577709 smin0-s_req 2.092e-05 | pivots>0: E1 True (min 5.75e-12) smin True (min 1.08e-04) | PASS  2.1s
rank   267 box  46791 L=[2, 2, 3, 3] K=[24, 15, 30, 27] stored bound 0.180019979 | R2_iv 1.718141e-03 (stored 1.718141e-03) mu 0.016701151 s_req 0.198419292 smin0-s_req 2.098e-05 | pivots>0: E1 True (min 1.84e-12) smin True (min 1.10e-04) | PASS  2.1s
rank   268 box  19910 L=[2, 1, 2, 3] K=[28, 5, 15, 23] stored bound 0.180020039 | R2_iv 4.126889e-03 (stored 4.126889e-03) mu 0.024049338 s_req 0.208176227 smin0-s_req 2.104e-05 | pivots>0: E1 True (min 3.35e-12) smin True (min 1.29e-04) | PASS  2.1s
rank   269 box  11855 L=[2, 1, 2, 2] K=[17, 1, 13, 19] stored bound 0.180020058 | R2_iv 5.023086e-03 (stored 5.023086e-03) mu 0.028017009 s_req 0.213040095 smin0-s_req 2.106e-05 | pivots>0: E1 True (min 4.04e-12) smin True (min 9.74e-05) | PASS  2.1s
rank   270 box  46799 L=[2, 2, 3, 3] K=[25, 15, 30, 27] stored bound 0.180020086 | R2_iv 1.718991e-03 (stored 1.718991e-03) mu 0.016705411 s_req 0.198424402 smin0-s_req 2.109e-05 | pivots>0: E1 True (min 1.85e-12) smin True (min 1.12e-04) | PASS  2.1s
rank   271 box  50186 L=[2, 2, 3, 3] K=[29, 13, 27, 29] stored bound 0.180020112 | R2_iv 1.720135e-03 (stored 1.720135e-03) mu 0.016936827 s_req 0.198656962 smin0-s_req 2.111e-05 | pivots>0: E1 True (min 1.57e-12) smin True (min 1.31e-04) | PASS  2.1s
rank   272 box  74722 L=[3, 2, 3, 3] K=[58, 15, 31, 30] stored bound 0.180020144 | R2_iv 1.235578e-03 (stored 1.235578e-03) mu 0.014045650 s_req 0.195281228 smin0-s_req 2.114e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 1.23e-04) | PASS  2.1s
rank   273 box   3031 L=[1, 1, 1, 1] K=[4, 5, 3, 6] stored bound 0.180020153 | R2_iv 1.272294e-02 (stored 1.272294e-02) mu 0.048991204 s_req 0.241714146 smin0-s_req 2.115e-05 | pivots>0: E1 True (min 8.87e-12) smin True (min 1.56e-04) | PASS  2.1s
rank   274 box  58512 L=[3, 2, 3, 3] K=[21, 11, 30, 31] stored bound 0.180020192 | R2_iv 1.222306e-03 (stored 1.222306e-03) mu 0.013654872 s_req 0.194877178 smin0-s_req 2.119e-05 | pivots>0: E1 True (min 2.21e-12) smin True (min 9.98e-05) | PASS  2.1s
rank   275 box  19747 L=[2, 1, 2, 3] K=[30, 3, 15, 23] stored bound 0.180020215 | R2_iv 4.129201e-03 (stored 4.129201e-03) mu 0.024287227 s_req 0.208416428 smin0-s_req 2.122e-05 | pivots>0: E1 True (min 3.42e-12) smin True (min 1.45e-04) | PASS  2.1s
rank   276 box  60554 L=[3, 2, 3, 3] K=[25, 5, 30, 30] stored bound 0.180020235 | R2_iv 1.220749e-03 (stored 1.220749e-03) mu 0.013462037 s_req 0.194682785 smin0-s_req 2.123e-05 | pivots>0: E1 True (min 5.32e-12) smin True (min 8.99e-05) | PASS  2.1s
rank   277 box  58299 L=[3, 2, 3, 3] K=[19, 11, 30, 31] stored bound 0.180020350 | R2_iv 1.222287e-03 (stored 1.222287e-03) mu 0.013654073 s_req 0.194876360 smin0-s_req 2.135e-05 | pivots>0: E1 True (min 2.17e-12) smin True (min 1.01e-04) | PASS  2.1s
rank   278 box  18933 L=[2, 1, 3, 2] K=[26, 0, 26, 18] stored bound 0.180020437 | R2_iv 4.116721e-03 (stored 4.116721e-03) mu 0.025847796 s_req 0.209964517 smin0-s_req 2.144e-05 | pivots>0: E1 True (min 3.53e-12) smin True (min 1.28e-04) | PASS  2.1s
rank   279 box  46065 L=[2, 2, 3, 3] K=[24, 5, 29, 28] stored bound 0.180020823 | R2_iv 1.709945e-03 (stored 1.709945e-03) mu 0.016031501 s_req 0.197741446 smin0-s_req 2.182e-05 | pivots>0: E1 True (min 1.44e-12) smin True (min 1.17e-04) | PASS  2.1s
rank   280 box  37714 L=[2, 2, 3, 3] K=[9, 11, 27, 30] stored bound 0.180020825 | R2_iv 1.708206e-03 (stored 1.708206e-03) mu 0.016286498 s_req 0.197994703 smin0-s_req 2.182e-05 | pivots>0: E1 True (min 1.72e-12) smin True (min 1.06e-04) | PASS  2.1s
rank   281 box  60909 L=[3, 2, 3, 3] K=[27, 5, 31, 33] stored bound 0.180020831 | R2_iv 1.220768e-03 (stored 1.220768e-03) mu 0.013486814 s_req 0.194707582 smin0-s_req 2.183e-05 | pivots>0: E1 True (min 2.91e-12) smin True (min 9.30e-05) | PASS  2.1s
rank   282 box  36213 L=[2, 2, 3, 3] K=[6, 15, 30, 27] stored bound 0.180020853 | R2_iv 1.711296e-03 (stored 1.711296e-03) mu 0.016632697 s_req 0.198343994 smin0-s_req 2.185e-05 | pivots>0: E1 True (min 1.82e-12) smin True (min 1.15e-04) | PASS  2.1s
rank   283 box  46973 L=[2, 2, 3, 3] K=[26, 14, 27, 30] stored bound 0.180021034 | R2_iv 1.718532e-03 (stored 1.718532e-03) mu 0.016765430 s_req 0.198483962 smin0-s_req 2.203e-05 | pivots>0: E1 True (min 1.53e-12) smin True (min 1.25e-04) | PASS  2.1s
rank   284 box  71746 L=[3, 2, 3, 3] K=[49, 14, 31, 32] stored bound 0.180021062 | R2_iv 1.230440e-03 (stored 1.230440e-03) mu 0.013894329 s_req 0.195124769 smin0-s_req 2.206e-05 | pivots>0: E1 True (min 3.08e-12) smin True (min 1.17e-04) | PASS  2.1s
rank   285 box  24834 L=[2, 2, 3, 2] K=[14, 4, 30, 12] stored bound 0.180021076 | R2_iv 2.353964e-03 (stored 2.353964e-03) mu 0.020221994 s_req 0.202575959 smin0-s_req 2.208e-05 | pivots>0: E1 True (min 3.28e-12) smin True (min 9.41e-05) | PASS  2.1s
rank   286 box  60905 L=[3, 2, 3, 3] K=[27, 5, 30, 32] stored bound 0.180021155 | R2_iv 1.220768e-03 (stored 1.220768e-03) mu 0.013486864 s_req 0.194707632 smin0-s_req 2.216e-05 | pivots>0: E1 True (min 2.50e-12) smin True (min 9.46e-05) | PASS  2.1s
rank   287 box  38770 L=[2, 2, 3, 3] K=[12, 3, 30, 27] stored bound 0.180021291 | R2_iv 1.706845e-03 (stored 1.706845e-03) mu 0.015881026 s_req 0.197587871 smin0-s_req 2.229e-05 | pivots>0: E1 True (min 1.26e-12) smin True (min 9.07e-05) | PASS  2.1s
rank   288 box  10722 L=[2, 1, 2, 2] K=[7, 7, 13, 19] stored bound 0.180021518 | R2_iv 5.036771e-03 (stored 5.036771e-03) mu 0.028743162 s_req 0.213779933 smin0-s_req 2.252e-05 | pivots>0: E1 True (min 6.04e-12) smin True (min 1.25e-04) | PASS  2.1s
rank   289 box  68720 L=[3, 2, 3, 3] K=[43, 14, 31, 32] stored bound 0.180021522 | R2_iv 1.228402e-03 (stored 1.228402e-03) mu 0.013873979 s_req 0.195102382 smin0-s_req 2.252e-05 | pivots>0: E1 True (min 2.76e-12) smin True (min 1.13e-04) | PASS  2.1s
rank   290 box  75240 L=[3, 2, 3, 3] K=[62, 15, 30, 32] stored bound 0.180021542 | R2_iv 1.237610e-03 (stored 1.237610e-03) mu 0.014236538 s_req 0.195474148 smin0-s_req 2.254e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.39e-04) | PASS  2.1s
rank   291 box  20843 L=[2, 2, 2, 3] K=[1, 4, 14, 35] stored bound 0.180021559 | R2_iv 2.360677e-03 (stored 2.360677e-03) mu 0.018831803 s_req 0.201192480 smin0-s_req 2.256e-05 | pivots>0: E1 True (min 8.64e-13) smin True (min 1.04e-04) | PASS  2.1s
rank   292 box  41005 L=[2, 2, 3, 3] K=[16, 1, 31, 27] stored bound 0.180021597 | R2_iv 1.707498e-03 (stored 1.707498e-03) mu 0.016040132 s_req 0.197747630 smin0-s_req 2.260e-05 | pivots>0: E1 True (min 1.28e-12) smin True (min 9.24e-05) | PASS  2.1s
rank   293 box   7418 L=[1, 1, 2, 2] K=[4, 7, 12, 19] stored bound 0.180021753 | R2_iv 7.094925e-03 (stored 7.094925e-03) mu 0.032842731 s_req 0.219937656 smin0-s_req 2.275e-05 | pivots>0: E1 True (min 7.06e-12) smin True (min 1.30e-04) | PASS  2.1s
rank   294 box  60556 L=[3, 2, 3, 3] K=[27, 5, 30, 30] stored bound 0.180021886 | R2_iv 1.220768e-03 (stored 1.220768e-03) mu 0.013460366 s_req 0.194681134 smin0-s_req 2.289e-05 | pivots>0: E1 True (min 5.53e-12) smin True (min 9.76e-05) | PASS  2.1s
rank   295 box  44592 L=[2, 2, 3, 3] K=[23, 9, 31, 35] stored bound 0.180022137 | R2_iv 1.711255e-03 (stored 1.711255e-03) mu 0.016274740 s_req 0.197985995 smin0-s_req 2.314e-05 | pivots>0: E1 True (min 1.44e-12) smin True (min 1.22e-04) | PASS  2.1s
rank   296 box  11228 L=[2, 1, 2, 2] K=[10, 6, 13, 19] stored bound 0.180022185 | R2_iv 5.030741e-03 (stored 5.030741e-03) mu 0.028536534 s_req 0.213567275 smin0-s_req 2.318e-05 | pivots>0: E1 True (min 5.77e-12) smin True (min 1.21e-04) | PASS  2.1s
rank   297 box   4808 L=[1, 1, 1, 2] K=[6, 5, 7, 22] stored bound 0.180022186 | R2_iv 9.758565e-03 (stored 9.758565e-03) mu 0.038506929 s_req 0.228265494 smin0-s_req 2.319e-05 | pivots>0: E1 True (min 8.86e-12) smin True (min 1.13e-04) | PASS  2.1s
rank   298 box  22862 L=[2, 2, 3, 2] K=[4, 15, 30, 12] stored bound 0.180022197 | R2_iv 2.362088e-03 (stored 2.362088e-03) mu 0.021050052 s_req 0.203412140 smin0-s_req 2.320e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 1.28e-04) | PASS  2.1s
rank   299 box  44039 L=[2, 2, 3, 3] K=[20, 7, 28, 32] stored bound 0.180022239 | R2_iv 1.708587e-03 (stored 1.708587e-03) mu 0.015938269 s_req 0.197646857 smin0-s_req 2.324e-05 | pivots>0: E1 True (min 1.37e-12) smin True (min 1.16e-04) | PASS  2.1s
rank   300 box  63177 L=[3, 2, 3, 3] K=[37, 3, 31, 30] stored bound 0.180022257 | R2_iv 1.221524e-03 (stored 1.221524e-03) mu 0.013493224 s_req 0.194714748 smin0-s_req 2.326e-05 | pivots>0: E1 True (min 6.38e-12) smin True (min 1.03e-04) | PASS  2.1s
rank   301 box  66496 L=[3, 2, 3, 3] K=[45, 0, 31, 32] stored bound 0.180022341 | R2_iv 1.223249e-03 (stored 1.223249e-03) mu 0.013586896 s_req 0.194810145 smin0-s_req 2.334e-05 | pivots>0: E1 True (min 2.29e-12) smin True (min 1.09e-04) | PASS  2.1s
rank   302 box  63176 L=[3, 2, 3, 3] K=[37, 3, 30, 31] stored bound 0.180022386 | R2_iv 1.221524e-03 (stored 1.221524e-03) mu 0.013495031 s_req 0.194716555 smin0-s_req 2.339e-05 | pivots>0: E1 True (min 3.20e-12) smin True (min 1.04e-04) | PASS  2.1s
rank   303 box   1310 L=[0, 0, 1, 1] K=[6, 0, 1, 7] stored bound 0.180022405 | R2_iv 3.047701e-02 (stored 3.047701e-02) mu 0.065763908 s_req 0.276240920 smin0-s_req 2.341e-05 | pivots>0: E1 True (min 2.24e-11) smin True (min 6.18e-04) | PASS  2.1s
rank   304 box  38282 L=[2, 2, 3, 3] K=[8, 14, 30, 27] stored bound 0.180022453 | R2_iv 1.710343e-03 (stored 1.710343e-03) mu 0.016533771 s_req 0.198244115 smin0-s_req 2.345e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 1.18e-04) | PASS  2.1s
rank   305 box   4837 L=[1, 1, 1, 2] K=[6, 7, 5, 9] stored bound 0.180022456 | R2_iv 9.778207e-03 (stored 9.778207e-03) mu 0.037607549 s_req 0.227385756 smin0-s_req 2.346e-05 | pivots>0: E1 True (min 1.88e-11) smin True (min 1.26e-04) | PASS  2.1s
rank   306 box  22364 L=[2, 2, 2, 3] K=[5, 5, 13, 33] stored bound 0.180022590 | R2_iv 2.356819e-03 (stored 2.356819e-03) mu 0.018879256 s_req 0.201236075 smin0-s_req 2.359e-05 | pivots>0: E1 True (min 8.94e-13) smin True (min 1.06e-04) | PASS  2.1s
rank   307 box  28302 L=[2, 2, 2, 3] K=[22, 12, 13, 27] stored bound 0.180022662 | R2_iv 2.361979e-03 (stored 2.361979e-03) mu 0.018519376 s_req 0.200881355 smin0-s_req 2.366e-05 | pivots>0: E1 True (min 7.34e-13) smin True (min 1.26e-04) | PASS  2.1s
rank   308 box  57564 L=[3, 2, 3, 3] K=[18, 6, 30, 31] stored bound 0.180022735 | R2_iv 1.220994e-03 (stored 1.220994e-03) mu 0.013474917 s_req 0.194695911 smin0-s_req 2.373e-05 | pivots>0: E1 True (min 3.14e-12) smin True (min 1.02e-04) | PASS  2.1s
rank   309 box  46588 L=[2, 2, 3, 3] K=[25, 8, 28, 32] stored bound 0.180022867 | R2_iv 1.711932e-03 (stored 1.711932e-03) mu 0.016441099 s_req 0.198153031 smin0-s_req 2.387e-05 | pivots>0: E1 True (min 1.47e-12) smin True (min 1.36e-04) | PASS  2.1s
rank   310 box  45469 L=[2, 2, 3, 3] K=[24, 3, 29, 28] stored bound 0.180022898 | R2_iv 1.709625e-03 (stored 1.709625e-03) mu 0.015933913 s_req 0.197643537 smin0-s_req 2.390e-05 | pivots>0: E1 True (min 1.42e-12) smin True (min 1.26e-04) | PASS  2.1s
rank   311 box  49532 L=[2, 2, 3, 3] K=[31, 9, 27, 30] stored bound 0.180022915 | R2_iv 1.717888e-03 (stored 1.717888e-03) mu 0.016983093 s_req 0.198700981 smin0-s_req 2.391e-05 | pivots>0: E1 True (min 1.58e-12) smin True (min 1.69e-04) | PASS  2.1s
rank   312 box  31899 L=[2, 2, 3, 3] K=[3, 1, 28, 29] stored bound 0.180022972 | R2_iv 1.710615e-03 (stored 1.710615e-03) mu 0.016164089 s_req 0.197874704 smin0-s_req 2.397e-05 | pivots>0: E1 True (min 1.18e-12) smin True (min 9.75e-05) | PASS  2.1s
rank   313 box  47539 L=[2, 2, 3, 3] K=[30, 1, 28, 29] stored bound 0.180022973 | R2_iv 1.713503e-03 (stored 1.713503e-03) mu 0.016439845 s_req 0.198153348 smin0-s_req 2.397e-05 | pivots>0: E1 True (min 1.50e-12) smin True (min 1.62e-04) | PASS  2.1s
rank   314 box  61359 L=[3, 2, 3, 3] K=[24, 10, 31, 30] stored bound 0.180023209 | R2_iv 1.221885e-03 (stored 1.221885e-03) mu 0.013591640 s_req 0.194813524 smin0-s_req 2.421e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 1.12e-04) | PASS  2.1s
rank   315 box  63694 L=[3, 2, 3, 3] K=[32, 6, 31, 30] stored bound 0.180023309 | R2_iv 1.221127e-03 (stored 1.221127e-03) mu 0.013474210 s_req 0.194695336 smin0-s_req 2.431e-05 | pivots>0: E1 True (min 3.54e-12) smin True (min 1.08e-04) | PASS  2.1s
rank   316 box  36922 L=[2, 2, 3, 3] K=[10, 3, 29, 34] stored bound 0.180023374 | R2_iv 1.707078e-03 (stored 1.707078e-03) mu 0.015904438 s_req 0.197611515 smin0-s_req 2.437e-05 | pivots>0: E1 True (min 1.20e-12) smin True (min 9.91e-05) | PASS  2.1s
rank   317 box   7201 L=[1, 1, 2, 2] K=[4, 2, 15, 21] stored bound 0.180023381 | R2_iv 7.079375e-03 (stored 7.079375e-03) mu 0.031213477 s_req 0.218292852 smin0-s_req 2.438e-05 | pivots>0: E1 True (min 4.33e-12) smin True (min 1.07e-04) | PASS  2.1s
rank   318 box  27319 L=[2, 2, 3, 2] K=[20, 1, 29, 12] stored bound 0.180023431 | R2_iv 2.355770e-03 (stored 2.355770e-03) mu 0.020383387 s_req 0.202739158 smin0-s_req 2.443e-05 | pivots>0: E1 True (min 3.19e-12) smin True (min 1.10e-04) | PASS  2.1s
rank   319 box  46076 L=[2, 2, 3, 3] K=[26, 4, 28, 29] stored bound 0.180023750 | R2_iv 1.710936e-03 (stored 1.710936e-03) mu 0.016223438 s_req 0.197934374 smin0-s_req 2.475e-05 | pivots>0: E1 True (min 1.46e-12) smin True (min 1.43e-04) | PASS  2.1s
rank   320 box  42289 L=[2, 2, 3, 3] K=[18, 11, 28, 28] stored bound 0.180023753 | R2_iv 1.710073e-03 (stored 1.710073e-03) mu 0.016305925 s_req 0.198015998 smin0-s_req 2.475e-05 | pivots>0: E1 True (min 1.71e-12) smin True (min 1.22e-04) | PASS  2.1s
rank   321 box  56943 L=[3, 2, 3, 3] K=[22, 1, 30, 30] stored bound 0.180023762 | R2_iv 1.221855e-03 (stored 1.221855e-03) mu 0.013589284 s_req 0.194811139 smin0-s_req 2.476e-05 | pivots>0: E1 True (min 3.21e-12) smin True (min 9.49e-05) | PASS  2.1s
rank   322 box  17940 L=[2, 1, 2, 3] K=[17, 6, 14, 38] stored bound 0.180023819 | R2_iv 4.116458e-03 (stored 4.116458e-03) mu 0.023358787 s_req 0.207475245 smin0-s_req 2.482e-05 | pivots>0: E1 True (min 3.55e-12) smin True (min 1.25e-04) | PASS  2.1s
rank   323 box  74935 L=[3, 2, 3, 3] K=[63, 12, 31, 30] stored bound 0.180023949 | R2_iv 1.234330e-03 (stored 1.234330e-03) mu 0.014131859 s_req 0.195366189 smin0-s_req 2.495e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.65e-04) | PASS  2.1s
rank   324 box  57309 L=[3, 2, 3, 3] K=[22, 2, 31, 33] stored bound 0.180023986 | R2_iv 1.221438e-03 (stored 1.221438e-03) mu 0.013572649 s_req 0.194794087 smin0-s_req 2.499e-05 | pivots>0: E1 True (min 2.22e-12) smin True (min 9.80e-05) | PASS  2.1s
rank   325 box  66709 L=[3, 2, 3, 3] K=[40, 4, 31, 31] stored bound 0.180023989 | R2_iv 1.221910e-03 (stored 1.221910e-03) mu 0.013456959 s_req 0.194678868 smin0-s_req 2.499e-05 | pivots>0: E1 True (min 6.30e-12) smin True (min 1.16e-04) | PASS  2.1s
rank   326 box  60759 L=[3, 2, 3, 3] K=[31, 4, 30, 30] stored bound 0.180024003 | R2_iv 1.220947e-03 (stored 1.220947e-03) mu 0.013473212 s_req 0.194694159 smin0-s_req 2.500e-05 | pivots>0: E1 True (min 5.71e-12) smin True (min 1.07e-04) | PASS  2.1s
rank   327 box  71745 L=[3, 2, 3, 3] K=[48, 14, 31, 32] stored bound 0.180024370 | R2_iv 1.230072e-03 (stored 1.230072e-03) mu 0.013890763 s_req 0.195120835 smin0-s_req 2.537e-05 | pivots>0: E1 True (min 3.03e-12) smin True (min 1.33e-04) | PASS  2.1s
rank   328 box   2947 L=[1, 1, 1, 1] K=[5, 0, 3, 6] stored bound 0.180024392 | R2_iv 1.272405e-02 (stored 1.272405e-02) mu 0.048879824 s_req 0.241603878 smin0-s_req 2.539e-05 | pivots>0: E1 True (min 8.05e-12) smin True (min 1.38e-04) | PASS  2.2s
rank   329 box  61050 L=[3, 2, 3, 3] K=[31, 4, 31, 33] stored bound 0.180024469 | R2_iv 1.220947e-03 (stored 1.220947e-03) mu 0.013497834 s_req 0.194718782 smin0-s_req 2.547e-05 | pivots>0: E1 True (min 3.13e-12) smin True (min 1.09e-04) | PASS  2.1s
rank   330 box  44014 L=[2, 2, 3, 3] K=[21, 5, 28, 32] stored bound 0.180024510 | R2_iv 1.708431e-03 (stored 1.708431e-03) mu 0.015935540 s_req 0.197643971 smin0-s_req 2.551e-05 | pivots>0: E1 True (min 1.37e-12) smin True (min 1.27e-04) | PASS  2.1s
rank   331 box  68865 L=[3, 2, 3, 3] K=[44, 14, 31, 32] stored bound 0.180024573 | R2_iv 1.228714e-03 (stored 1.228714e-03) mu 0.013877180 s_req 0.195105894 smin0-s_req 2.557e-05 | pivots>0: E1 True (min 2.81e-12) smin True (min 1.30e-04) | PASS  2.1s
rank   332 box  38446 L=[2, 2, 3, 3] K=[11, 12, 27, 30] stored bound 0.180024680 | R2_iv 1.708935e-03 (stored 1.708935e-03) mu 0.016390594 s_req 0.198099530 smin0-s_req 2.568e-05 | pivots>0: E1 True (min 1.73e-12) smin True (min 1.26e-04) | PASS  2.1s
rank   333 box  10847 L=[2, 1, 2, 2] K=[11, 1, 12, 18] stored bound 0.180024695 | R2_iv 5.022625e-03 (stored 5.022625e-03) mu 0.028012832 s_req 0.213035458 smin0-s_req 2.569e-05 | pivots>0: E1 True (min 3.78e-12) smin True (min 1.13e-04) | PASS  2.1s
rank   334 box  52399 L=[3, 2, 3, 3] K=[6, 11, 31, 31] stored bound 0.180024705 | R2_iv 1.223281e-03 (stored 1.223281e-03) mu 0.013619967 s_req 0.194843248 smin0-s_req 2.571e-05 | pivots>0: E1 True (min 2.43e-12) smin True (min 1.33e-04) | PASS  2.1s
rank   335 box  35985 L=[2, 2, 3, 3] K=[7, 12, 27, 30] stored bound 0.180024819 | R2_iv 1.708903e-03 (stored 1.708903e-03) mu 0.016377682 s_req 0.198086585 smin0-s_req 2.582e-05 | pivots>0: E1 True (min 1.75e-12) smin True (min 1.31e-04) | PASS  2.1s
rank   336 box  43486 L=[2, 2, 3, 3] K=[22, 3, 28, 32] stored bound 0.180024835 | R2_iv 1.708666e-03 (stored 1.708666e-03) mu 0.015932893 s_req 0.197641559 smin0-s_req 2.583e-05 | pivots>0: E1 True (min 1.37e-12) smin True (min 1.29e-04) | PASS  2.1s
rank   337 box  57044 L=[3, 2, 3, 3] K=[22, 2, 30, 30] stored bound 0.180025111 | R2_iv 1.221438e-03 (stored 1.221438e-03) mu 0.013544731 s_req 0.194766169 smin0-s_req 2.611e-05 | pivots>0: E1 True (min 3.83e-12) smin True (min 1.03e-04) | PASS  2.1s
rank   338 box  47544 L=[2, 2, 3, 3] K=[31, 0, 29, 28] stored bound 0.180025127 | R2_iv 1.714350e-03 (stored 1.714350e-03) mu 0.016453247 s_req 0.198167597 smin0-s_req 2.613e-05 | pivots>0: E1 True (min 1.52e-12) smin True (min 1.84e-04) | PASS  2.2s
rank   339 box  30816 L=[2, 2, 3, 2] K=[30, 3, 27, 17] stored bound 0.180025215 | R2_iv 2.366561e-03 (stored 2.366561e-03) mu 0.021057204 s_req 0.203423765 smin0-s_req 2.621e-05 | pivots>0: E1 True (min 2.30e-12) smin True (min 1.87e-04) | PASS  2.2s
rank   340 box  48741 L=[2, 2, 3, 3] K=[28, 6, 31, 35] stored bound 0.180025243 | R2_iv 1.713086e-03 (stored 1.713086e-03) mu 0.016603782 s_req 0.198316868 smin0-s_req 2.624e-05 | pivots>0: E1 True (min 1.51e-12) smin True (min 1.63e-04) | PASS  2.2s
rank   341 box  35465 L=[2, 2, 3, 3] K=[5, 9, 28, 28] stored bound 0.180025391 | R2_iv 1.707976e-03 (stored 1.707976e-03) mu 0.016064894 s_req 0.197772869 smin0-s_req 2.639e-05 | pivots>0: E1 True (min 1.72e-12) smin True (min 1.27e-04) | PASS  2.2s
rank   342 box  56836 L=[3, 2, 3, 3] K=[19, 2, 30, 31] stored bound 0.180025405 | R2_iv 1.221702e-03 (stored 1.221702e-03) mu 0.013540762 s_req 0.194762464 smin0-s_req 2.640e-05 | pivots>0: E1 True (min 2.70e-12) smin True (min 1.03e-04) | PASS  2.2s
rank   343 box  58523 L=[3, 2, 3, 3] K=[22, 11, 30, 31] stored bound 0.180025448 | R2_iv 1.222333e-03 (stored 1.222333e-03) mu 0.013655329 s_req 0.194877662 smin0-s_req 2.645e-05 | pivots>0: E1 True (min 2.24e-12) smin True (min 1.24e-04) | PASS  2.2s
rank   344 box  60868 L=[3, 2, 3, 3] K=[30, 7, 30, 31] stored bound 0.180025457 | R2_iv 1.221161e-03 (stored 1.221161e-03) mu 0.013480144 s_req 0.194701305 smin0-s_req 2.646e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 1.19e-04) | PASS  2.2s
rank   345 box  25970 L=[2, 2, 3, 2] K=[16, 3, 30, 12] stored bound 0.180025656 | R2_iv 2.354324e-03 (stored 2.354324e-03) mu 0.020247353 s_req 0.202601677 smin0-s_req 2.666e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 1.14e-04) | PASS  2.2s
rank   346 box  36338 L=[2, 2, 3, 3] K=[5, 13, 29, 34] stored bound 0.180025769 | R2_iv 1.709810e-03 (stored 1.709810e-03) mu 0.016376477 s_req 0.198086287 smin0-s_req 2.677e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 1.40e-04) | PASS  2.2s
rank   347 box  58298 L=[3, 2, 3, 3] K=[18, 11, 30, 31] stored bound 0.180025781 | R2_iv 1.222295e-03 (stored 1.222295e-03) mu 0.013653722 s_req 0.194876016 smin0-s_req 2.678e-05 | pivots>0: E1 True (min 2.16e-12) smin True (min 1.27e-04) | PASS  2.2s
rank   348 box  47048 L=[2, 2, 3, 3] K=[24, 14, 29, 34] stored bound 0.180025816 | R2_iv 1.716831e-03 (stored 1.716831e-03) mu 0.016666245 s_req 0.198383075 smin0-s_req 2.682e-05 | pivots>0: E1 True (min 1.49e-12) smin True (min 1.44e-04) | PASS  2.3s
rank   349 box  31408 L=[2, 2, 2, 3] K=[29, 12, 13, 27] stored bound 0.180025860 | R2_iv 2.371118e-03 (stored 2.371118e-03) mu 0.018478715 s_req 0.200849833 smin0-s_req 2.686e-05 | pivots>0: E1 True (min 7.33e-13) smin True (min 1.70e-04) | PASS  2.2s
rank   350 box  33586 L=[2, 2, 3, 3] K=[3, 14, 27, 30] stored bound 0.180025916 | R2_iv 1.710927e-03 (stored 1.710927e-03) mu 0.016562461 s_req 0.198273388 smin0-s_req 2.692e-05 | pivots>0: E1 True (min 1.81e-12) smin True (min 1.52e-04) | PASS  2.2s
rank   351 box  38977 L=[2, 2, 3, 3] K=[15, 2, 27, 31] stored bound 0.180025983 | R2_iv 1.707099e-03 (stored 1.707099e-03) mu 0.016039228 s_req 0.197746327 smin0-s_req 2.698e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 1.14e-04) | PASS  2.1s
rank   352 box  68880 L=[3, 2, 3, 3] K=[47, 14, 31, 32] stored bound 0.180026355 | R2_iv 1.229715e-03 (stored 1.229715e-03) mu 0.013887260 s_req 0.195116975 smin0-s_req 2.736e-05 | pivots>0: E1 True (min 2.97e-12) smin True (min 1.42e-04) | PASS  2.1s
rank   353 box  68866 L=[3, 2, 3, 3] K=[45, 14, 31, 32] stored bound 0.180026426 | R2_iv 1.229036e-03 (stored 1.229036e-03) mu 0.013880464 s_req 0.195109500 smin0-s_req 2.743e-05 | pivots>0: E1 True (min 2.87e-12) smin True (min 1.40e-04) | PASS  2.1s
rank   354 box  45484 L=[2, 2, 3, 3] K=[27, 0, 29, 28] stored bound 0.180026578 | R2_iv 1.711554e-03 (stored 1.711554e-03) mu 0.016165811 s_req 0.197877365 smin0-s_req 2.758e-05 | pivots>0: E1 True (min 1.32e-12) smin True (min 1.58e-04) | PASS  2.2s
rank   355 box  71662 L=[3, 2, 3, 3] K=[55, 15, 30, 31] stored bound 0.180026831 | R2_iv 1.234172e-03 (stored 1.234172e-03) mu 0.014044333 s_req 0.195278505 smin0-s_req 2.783e-05 | pivots>0: E1 True (min 2.79e-12) smin True (min 1.56e-04) | PASS  2.2s
rank   356 box  15570 L=[2, 2, 2, 2] K=[8, 3, 12, 12] stored bound 0.180026899 | R2_iv 3.073632e-03 (stored 3.073632e-03) mu 0.023743964 s_req 0.206817596 smin0-s_req 2.790e-05 | pivots>0: E1 True (min 5.00e-12) smin True (min 1.19e-04) | PASS  2.1s
rank   357 box  68879 L=[3, 2, 3, 3] K=[46, 14, 31, 32] stored bound 0.180027032 | R2_iv 1.229370e-03 (stored 1.229370e-03) mu 0.013883825 s_req 0.195113196 smin0-s_req 2.803e-05 | pivots>0: E1 True (min 2.92e-12) smin True (min 1.44e-04) | PASS  2.1s
rank   358 box  40665 L=[2, 2, 3, 3] K=[15, 14, 29, 34] stored bound 0.180027098 | R2_iv 1.711622e-03 (stored 1.711622e-03) mu 0.016504635 s_req 0.198216257 smin0-s_req 2.810e-05 | pivots>0: E1 True (min 1.76e-12) smin True (min 1.37e-04) | PASS  2.1s
rank   359 box  41285 L=[2, 2, 3, 3] K=[19, 0, 30, 35] stored bound 0.180027229 | R2_iv 1.708320e-03 (stored 1.708320e-03) mu 0.016109199 s_req 0.197817519 smin0-s_req 2.823e-05 | pivots>0: E1 True (min 1.26e-12) smin True (min 1.21e-04) | PASS  2.1s
rank   360 box  54597 L=[3, 2, 3, 3] K=[13, 5, 31, 31] stored bound 0.180027474 | R2_iv 1.221598e-03 (stored 1.221598e-03) mu 0.013466546 s_req 0.194688144 smin0-s_req 2.847e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 1.21e-04) | PASS  2.1s
rank   361 box  56942 L=[3, 2, 3, 3] K=[22, 0, 30, 30] stored bound 0.180027563 | R2_iv 1.222375e-03 (stored 1.222375e-03) mu 0.013642322 s_req 0.194864698 smin0-s_req 2.856e-05 | pivots>0: E1 True (min 2.59e-12) smin True (min 1.07e-04) | PASS  2.1s
rank   362 box  60900 L=[3, 2, 3, 3] K=[24, 5, 31, 33] stored bound 0.180027596 | R2_iv 1.220756e-03 (stored 1.220756e-03) mu 0.013491478 s_req 0.194712235 smin0-s_req 2.860e-05 | pivots>0: E1 True (min 2.71e-12) smin True (min 1.21e-04) | PASS  2.1s
rank   363 box  53409 L=[3, 2, 3, 3] K=[6, 12, 31, 32] stored bound 0.180027692 | R2_iv 1.223713e-03 (stored 1.223713e-03) mu 0.013676922 s_req 0.194900635 smin0-s_req 2.869e-05 | pivots>0: E1 True (min 1.99e-12) smin True (min 1.51e-04) | PASS  2.1s
rank   364 box  53263 L=[3, 2, 3, 3] K=[3, 13, 31, 32] stored bound 0.180027719 | R2_iv 1.224683e-03 (stored 1.224683e-03) mu 0.013741953 s_req 0.194966637 smin0-s_req 2.872e-05 | pivots>0: E1 True (min 1.88e-12) smin True (min 1.61e-04) | PASS  2.1s
rank   365 box   7799 L=[1, 1, 2, 2] K=[6, 7, 12, 19] stored bound 0.180027739 | R2_iv 7.097291e-03 (stored 7.097291e-03) mu 0.032872385 s_req 0.219969676 smin0-s_req 2.874e-05 | pivots>0: E1 True (min 6.98e-12) smin True (min 1.59e-04) | PASS  2.1s
rank   366 box  54229 L=[3, 2, 3, 3] K=[15, 3, 31, 32] stored bound 0.180027833 | R2_iv 1.221820e-03 (stored 1.221820e-03) mu 0.013514865 s_req 0.194736685 smin0-s_req 2.883e-05 | pivots>0: E1 True (min 2.62e-12) smin True (min 1.16e-04) | PASS  2.1s
rank   367 box  48738 L=[2, 2, 3, 3] K=[29, 5, 31, 35] stored bound 0.180027880 | R2_iv 1.713463e-03 (stored 1.713463e-03) mu 0.016650220 s_req 0.198363682 smin0-s_req 2.888e-05 | pivots>0: E1 True (min 1.52e-12) smin True (min 1.87e-04) | PASS  2.1s
rank   368 box  55599 L=[3, 2, 3, 3] K=[8, 11, 31, 32] stored bound 0.180027970 | R2_iv 1.223002e-03 (stored 1.223002e-03) mu 0.013618410 s_req 0.194841412 smin0-s_req 2.897e-05 | pivots>0: E1 True (min 2.14e-12) smin True (min 1.46e-04) | PASS  2.1s
rank   369 box  26660 L=[2, 2, 2, 3] K=[17, 11, 13, 33] stored bound 0.180027977 | R2_iv 2.357646e-03 (stored 2.357646e-03) mu 0.018921748 s_req 0.201279394 smin0-s_req 2.898e-05 | pivots>0: E1 True (min 9.14e-13) smin True (min 1.46e-04) | PASS  2.1s
rank   370 box  60896 L=[3, 2, 3, 3] K=[24, 5, 30, 32] stored bound 0.180028134 | R2_iv 1.220756e-03 (stored 1.220756e-03) mu 0.013490195 s_req 0.194710951 smin0-s_req 2.913e-05 | pivots>0: E1 True (min 2.64e-12) smin True (min 1.23e-04) | PASS  2.1s
rank   371 box  29435 L=[2, 2, 2, 3] K=[27, 7, 14, 35] stored bound 0.180028222 | R2_iv 2.365481e-03 (stored 2.365481e-03) mu 0.018880034 s_req 0.201245515 smin0-s_req 2.922e-05 | pivots>0: E1 True (min 8.92e-13) smin True (min 1.79e-04) | PASS  2.1s
rank   372 box  20023 L=[2, 1, 2, 3] K=[30, 7, 11, 29] stored bound 0.180028399 | R2_iv 4.135209e-03 (stored 4.135209e-03) mu 0.024235898 s_req 0.208371108 smin0-s_req 2.940e-05 | pivots>0: E1 True (min 3.51e-12) smin True (min 2.00e-04) | PASS  2.2s
rank   373 box  11728 L=[2, 1, 2, 2] K=[12, 6, 13, 19] stored bound 0.180028411 | R2_iv 5.031638e-03 (stored 5.031638e-03) mu 0.028556944 s_req 0.213588582 smin0-s_req 2.941e-05 | pivots>0: E1 True (min 5.74e-12) smin True (min 1.52e-04) | PASS  2.1s
rank   374 box  40333 L=[2, 2, 3, 3] K=[13, 14, 30, 27] stored bound 0.180028672 | R2_iv 1.711008e-03 (stored 1.711008e-03) mu 0.016550876 s_req 0.198261884 smin0-s_req 2.967e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 1.43e-04) | PASS  2.1s
rank   375 box  46063 L=[2, 2, 3, 3] K=[24, 4, 29, 28] stored bound 0.180028780 | R2_iv 1.709730e-03 (stored 1.709730e-03) mu 0.015982685 s_req 0.197692414 smin0-s_req 2.978e-05 | pivots>0: E1 True (min 1.43e-12) smin True (min 1.58e-04) | PASS  2.1s
rank   376 box  58294 L=[3, 2, 3, 3] K=[18, 10, 31, 30] stored bound 0.180028813 | R2_iv 1.221828e-03 (stored 1.221828e-03) mu 0.013587946 s_req 0.194809774 smin0-s_req 2.981e-05 | pivots>0: E1 True (min 3.29e-12) smin True (min 1.39e-04) | PASS  2.1s
rank   377 box  57313 L=[3, 2, 3, 3] K=[22, 3, 31, 33] stored bound 0.180028883 | R2_iv 1.221124e-03 (stored 1.221124e-03) mu 0.013539759 s_req 0.194760883 smin0-s_req 2.988e-05 | pivots>0: E1 True (min 2.33e-12) smin True (min 1.20e-04) | PASS  2.1s
rank   378 box  46079 L=[2, 2, 3, 3] K=[26, 5, 29, 28] stored bound 0.180029049 | R2_iv 1.711202e-03 (stored 1.711202e-03) mu 0.016221524 s_req 0.197932726 smin0-s_req 3.005e-05 | pivots>0: E1 True (min 1.48e-12) smin True (min 1.73e-04) | PASS  2.1s
rank   379 box  57565 L=[3, 2, 3, 3] K=[18, 6, 31, 30] stored bound 0.180029133 | R2_iv 1.220994e-03 (stored 1.220994e-03) mu 0.013471326 s_req 0.194692320 smin0-s_req 3.013e-05 | pivots>0: E1 True (min 3.49e-12) smin True (min 1.29e-04) | PASS  2.1s
rank   380 box  57237 L=[3, 2, 3, 3] K=[22, 1, 31, 33] stored bound 0.180029207 | R2_iv 1.221855e-03 (stored 1.221855e-03) mu 0.013610751 s_req 0.194832606 smin0-s_req 3.021e-05 | pivots>0: E1 True (min 2.12e-12) smin True (min 1.16e-04) | PASS  2.1s
rank   381 box  66432 L=[3, 2, 3, 3] K=[42, 2, 31, 32] stored bound 0.180029251 | R2_iv 1.222314e-03 (stored 1.222314e-03) mu 0.013505037 s_req 0.194727351 smin0-s_req 3.025e-05 | pivots>0: E1 True (min 2.94e-12) smin True (min 1.40e-04) | PASS  2.2s
rank   382 box  20021 L=[2, 1, 2, 3] K=[31, 6, 11, 28] stored bound 0.180029670 | R2_iv 4.134690e-03 (stored 4.134690e-03) mu 0.024275774 s_req 0.208410465 smin0-s_req 3.067e-05 | pivots>0: E1 True (min 3.55e-12) smin True (min 2.23e-04) | PASS  2.1s
rank   383 box  28855 L=[2, 2, 3, 2] K=[26, 3, 25, 15] stored bound 0.180029761 | R2_iv 2.360955e-03 (stored 2.360955e-03) mu 0.020680958 s_req 0.203041913 smin0-s_req 3.076e-05 | pivots>0: E1 True (min 2.72e-12) smin True (min 1.86e-04) | PASS  2.1s
rank   384 box  40598 L=[2, 2, 3, 3] K=[13, 12, 29, 34] stored bound 0.180029872 | R2_iv 1.709251e-03 (stored 1.709251e-03) mu 0.016309291 s_req 0.198018542 smin0-s_req 3.087e-05 | pivots>0: E1 True (min 1.71e-12) smin True (min 1.49e-04) | PASS  2.1s
rank   385 box   5855 L=[1, 1, 2, 1] K=[14, 0, 8, 7] stored bound 0.180029999 | R2_iv 9.781246e-03 (stored 9.781246e-03) mu 0.041937505 s_req 0.231718751 smin0-s_req 3.100e-05 | pivots>0: E1 True (min 7.59e-12) smin True (min 2.83e-04) | PASS  2.1s
rank   386 box  41104 L=[2, 2, 3, 3] K=[19, 1, 30, 27] stored bound 0.180030138 | R2_iv 1.707969e-03 (stored 1.707969e-03) mu 0.016056966 s_req 0.197764935 smin0-s_req 3.114e-05 | pivots>0: E1 True (min 1.29e-12) smin True (min 1.36e-04) | PASS  2.1s
rank   387 box  60553 L=[3, 2, 3, 3] K=[24, 5, 30, 30] stored bound 0.180030198 | R2_iv 1.220756e-03 (stored 1.220756e-03) mu 0.013462849 s_req 0.194683605 smin0-s_req 3.120e-05 | pivots>0: E1 True (min 5.22e-12) smin True (min 1.32e-04) | PASS  2.1s
rank   388 box  17690 L=[2, 2, 2, 2] K=[16, 9, 12, 12] stored bound 0.180030273 | R2_iv 3.075566e-03 (stored 3.075566e-03) mu 0.023825988 s_req 0.206901553 smin0-s_req 3.127e-05 | pivots>0: E1 True (min 8.02e-12) smin True (min 1.55e-04) | PASS  2.1s
rank   389 box  39492 L=[2, 2, 3, 3] K=[14, 4, 27, 30] stored bound 0.180030335 | R2_iv 1.706667e-03 (stored 1.706667e-03) mu 0.015864594 s_req 0.197571260 smin0-s_req 3.133e-05 | pivots>0: E1 True (min 1.20e-12) smin True (min 1.36e-04) | PASS  2.1s
rank   390 box  15569 L=[2, 2, 2, 2] K=[8, 2, 12, 12] stored bound 0.180030748 | R2_iv 3.075027e-03 (stored 3.075027e-03) mu 0.023800682 s_req 0.206875709 smin0-s_req 3.175e-05 | pivots>0: E1 True (min 4.58e-12) smin True (min 1.32e-04) | PASS  2.1s
rank   391 box  61047 L=[3, 2, 3, 3] K=[31, 4, 30, 32] stored bound 0.180030794 | R2_iv 1.220947e-03 (stored 1.220947e-03) mu 0.013492725 s_req 0.194713672 smin0-s_req 3.179e-05 | pivots>0: E1 True (min 3.04e-12) smin True (min 1.36e-04) | PASS  2.1s
rank   392 box  22850 L=[2, 2, 3, 2] K=[5, 13, 28, 12] stored bound 0.180030867 | R2_iv 2.358916e-03 (stored 2.358916e-03) mu 0.020941960 s_req 0.203300877 smin0-s_req 3.187e-05 | pivots>0: E1 True (min 3.41e-12) smin True (min 1.67e-04) | PASS  2.1s
rank   393 box  47528 L=[2, 2, 3, 3] K=[28, 3, 28, 29] stored bound 0.180030886 | R2_iv 1.712134e-03 (stored 1.712134e-03) mu 0.016354200 s_req 0.198066334 smin0-s_req 3.189e-05 | pivots>0: E1 True (min 1.48e-12) smin True (min 1.99e-04) | PASS  2.1s
rank   394 box  31259 L=[2, 1, 3, 3] K=[30, 4, 24, 32] stored bound 0.180030927 | R2_iv 3.282161e-03 (stored 3.282161e-03) mu 0.023454424 s_req 0.206736585 smin0-s_req 3.193e-05 | pivots>0: E1 True (min 3.04e-12) smin True (min 2.35e-04) | PASS  2.1s
rank   395 box   2586 L=[1, 0, 1, 1] K=[14, 3, 6, 2] stored bound 0.180031036 | R2_iv 2.143210e-02 (stored 2.143210e-02) mu 0.058943284 s_req 0.260375386 smin0-s_req 3.204e-05 | pivots>0: E1 True (min 2.04e-11) smin True (min 1.98e-04) | PASS  2.1s
rank   396 box  15784 L=[2, 2, 2, 2] K=[8, 4, 12, 12] stored bound 0.180031039 | R2_iv 3.072622e-03 (stored 3.072622e-03) mu 0.023690373 s_req 0.206762996 smin0-s_req 3.204e-05 | pivots>0: E1 True (min 5.51e-12) smin True (min 1.40e-04) | PASS  2.2s
rank   397 box  64360 L=[3, 2, 3, 3] K=[35, 9, 31, 31] stored bound 0.180031211 | R2_iv 1.222503e-03 (stored 1.222503e-03) mu 0.013533302 s_req 0.194755805 smin0-s_req 3.221e-05 | pivots>0: E1 True (min 6.71e-12) smin True (min 1.52e-04) | PASS  2.1s
rank   398 box   3683 L=[1, 0, 1, 2] K=[13, 2, 4, 8] stored bound 0.180031230 | R2_iv 1.745102e-02 (stored 1.745102e-02) mu 0.046436056 s_req 0.243887079 smin0-s_req 3.223e-05 | pivots>0: E1 True (min 1.32e-11) smin True (min 2.24e-04) | PASS  2.1s
rank   399 box  27047 L=[2, 2, 2, 3] K=[17, 12, 13, 33] stored bound 0.180031314 | R2_iv 2.358621e-03 (stored 2.358621e-03) mu 0.018962858 s_req 0.201321479 smin0-s_req 3.231e-05 | pivots>0: E1 True (min 9.33e-13) smin True (min 1.64e-04) | PASS  2.1s
rank   400 box  31323 L=[2, 1, 3, 3] K=[31, 7, 23, 28] stored bound 0.180031326 | R2_iv 3.291447e-03 (stored 3.291447e-03) mu 0.023671193 s_req 0.206962640 smin0-s_req 3.233e-05 | pivots>0: E1 True (min 3.08e-12) smin True (min 2.22e-04) | PASS  2.1s
rank   401 box  61258 L=[3, 2, 3, 3] K=[27, 9, 31, 30] stored bound 0.180031383 | R2_iv 1.221602e-03 (stored 1.221602e-03) mu 0.013552877 s_req 0.194774478 smin0-s_req 3.238e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 1.48e-04) | PASS  2.1s
rank   402 box  45478 L=[2, 2, 3, 3] K=[26, 1, 28, 29] stored bound 0.180031419 | R2_iv 1.710801e-03 (stored 1.710801e-03) mu 0.016091925 s_req 0.197802726 smin0-s_req 3.242e-05 | pivots>0: E1 True (min 1.29e-12) smin True (min 1.81e-04) | PASS  2.1s
rank   403 box  19618 L=[2, 1, 3, 2] K=[28, 1, 31, 11] stored bound 0.180031589 | R2_iv 4.120675e-03 (stored 4.120675e-03) mu 0.026376608 s_req 0.210497283 smin0-s_req 3.259e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 2.03e-04) | PASS  2.1s
rank   404 box  29729 L=[2, 2, 2, 3] K=[27, 10, 14, 26] stored bound 0.180031668 | R2_iv 2.366490e-03 (stored 2.366490e-03) mu 0.018361555 s_req 0.200728045 smin0-s_req 3.267e-05 | pivots>0: E1 True (min 5.45e-13) smin True (min 1.94e-04) | PASS  2.1s
rank   405 box  46861 L=[2, 2, 3, 3] K=[27, 15, 31, 27] stored bound 0.180031676 | R2_iv 1.720838e-03 (stored 1.720838e-03) mu 0.016938650 s_req 0.198659488 smin0-s_req 3.268e-05 | pivots>0: E1 True (min 1.55e-12) smin True (min 1.82e-04) | PASS  2.1s
rank   406 box  43427 L=[2, 2, 3, 3] K=[21, 0, 29, 34] stored bound 0.180031715 | R2_iv 1.708833e-03 (stored 1.708833e-03) mu 0.016137025 s_req 0.197845858 smin0-s_req 3.272e-05 | pivots>0: E1 True (min 1.28e-12) smin True (min 1.50e-04) | PASS  2.1s
rank   407 box  65475 L=[3, 2, 3, 3] K=[39, 13, 31, 31] stored bound 0.180031766 | R2_iv 1.226258e-03 (stored 1.226258e-03) mu 0.013786276 s_req 0.195012534 smin0-s_req 3.277e-05 | pivots>0: E1 True (min 4.50e-12) smin True (min 1.61e-04) | PASS  2.1s
rank   408 box  57079 L=[3, 2, 3, 3] K=[16, 1, 31, 32] stored bound 0.180031808 | R2_iv 1.222553e-03 (stored 1.222553e-03) mu 0.013580000 s_req 0.194802553 smin0-s_req 3.281e-05 | pivots>0: E1 True (min 2.35e-12) smin True (min 1.25e-04) | PASS  2.1s
rank   409 box  19908 L=[2, 1, 2, 3] K=[29, 4, 15, 23] stored bound 0.180031840 | R2_iv 4.127591e-03 (stored 4.127591e-03) mu 0.024168217 s_req 0.208295808 smin0-s_req 3.284e-05 | pivots>0: E1 True (min 3.38e-12) smin True (min 2.12e-04) | PASS  2.1s
rank   410 box  61040 L=[3, 2, 3, 3] K=[28, 5, 30, 32] stored bound 0.180031853 | R2_iv 1.220794e-03 (stored 1.220794e-03) mu 0.013487183 s_req 0.194707978 smin0-s_req 3.285e-05 | pivots>0: E1 True (min 2.48e-12) smin True (min 1.41e-04) | PASS  2.1s
rank   411 box  33909 L=[2, 2, 3, 3] K=[3, 14, 29, 34] stored bound 0.180032272 | R2_iv 1.710927e-03 (stored 1.710927e-03) mu 0.016464083 s_req 0.198175010 smin0-s_req 3.327e-05 | pivots>0: E1 True (min 1.81e-12) smin True (min 1.85e-04) | PASS  2.1s
rank   412 box  64137 L=[3, 2, 3, 3] K=[38, 5, 31, 32] stored bound 0.180032285 | R2_iv 1.221692e-03 (stored 1.221692e-03) mu 0.013463832 s_req 0.194685524 smin0-s_req 3.328e-05 | pivots>0: E1 True (min 3.50e-12) smin True (min 1.54e-04) | PASS  2.1s
rank   413 box  44558 L=[2, 2, 3, 3] K=[22, 9, 28, 32] stored bound 0.180032377 | R2_iv 1.710651e-03 (stored 1.710651e-03) mu 0.016214038 s_req 0.197924689 smin0-s_req 3.338e-05 | pivots>0: E1 True (min 1.43e-12) smin True (min 1.76e-04) | PASS  2.1s
rank   414 box  61044 L=[3, 2, 3, 3] K=[28, 5, 31, 33] stored bound 0.180032458 | R2_iv 1.220794e-03 (stored 1.220794e-03) mu 0.013485833 s_req 0.194706628 smin0-s_req 3.346e-05 | pivots>0: E1 True (min 2.47e-12) smin True (min 1.43e-04) | PASS  2.1s
rank   415 box  74947 L=[3, 2, 3, 3] K=[62, 15, 30, 30] stored bound 0.180032542 | R2_iv 1.237610e-03 (stored 1.237610e-03) mu 0.014198399 s_req 0.195436009 smin0-s_req 3.354e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 2.07e-04) | PASS  2.1s
rank   416 box  38907 L=[2, 2, 3, 3] K=[13, 2, 27, 31] stored bound 0.180032546 | R2_iv 1.707083e-03 (stored 1.707083e-03) mu 0.016045575 s_req 0.197752658 smin0-s_req 3.355e-05 | pivots>0: E1 True (min 1.23e-12) smin True (min 1.38e-04) | PASS  2.1s
rank   417 box  29691 L=[2, 2, 2, 3] K=[25, 10, 14, 26] stored bound 0.180032578 | R2_iv 2.363713e-03 (stored 2.363713e-03) mu 0.018341777 s_req 0.200705490 smin0-s_req 3.358e-05 | pivots>0: E1 True (min 5.19e-13) smin True (min 1.88e-04) | PASS  2.1s
rank   418 box  58966 L=[3, 2, 3, 3] K=[19, 12, 30, 31] stored bound 0.180032608 | R2_iv 1.222868e-03 (stored 1.222868e-03) mu 0.013720330 s_req 0.194943198 smin0-s_req 3.361e-05 | pivots>0: E1 True (min 2.05e-12) smin True (min 1.62e-04) | PASS  2.1s
rank   419 box  21468 L=[2, 2, 3, 2] K=[0, 14, 25, 13] stored bound 0.180032656 | R2_iv 2.360401e-03 (stored 2.360401e-03) mu 0.021128057 s_req 0.203488458 smin0-s_req 3.366e-05 | pivots>0: E1 True (min 3.06e-12) smin True (min 2.10e-04) | PASS  2.1s
rank   420 box  33729 L=[2, 2, 3, 3] K=[0, 12, 28, 28] stored bound 0.180032661 | R2_iv 1.710765e-03 (stored 1.710765e-03) mu 0.016350138 s_req 0.198060902 smin0-s_req 3.366e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 1.93e-04) | PASS  2.1s
rank   421 box  29434 L=[2, 2, 2, 3] K=[27, 6, 14, 35] stored bound 0.180032791 | R2_iv 2.365473e-03 (stored 2.365473e-03) mu 0.018917104 s_req 0.201282576 smin0-s_req 3.379e-05 | pivots>0: E1 True (min 9.05e-13) smin True (min 2.07e-04) | PASS  2.1s
rank   422 box  27227 L=[2, 2, 3, 2] K=[21, 0, 25, 13] stored bound 0.180032867 | R2_iv 2.356501e-03 (stored 2.356501e-03) mu 0.020782245 s_req 0.203138747 smin0-s_req 3.387e-05 | pivots>0: E1 True (min 2.33e-12) smin True (min 1.61e-04) | PASS  2.1s
rank   423 box  75246 L=[3, 2, 3, 3] K=[63, 14, 31, 33] stored bound 0.180032868 | R2_iv 1.236774e-03 (stored 1.236774e-03) mu 0.014250057 s_req 0.195486831 smin0-s_req 3.387e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 2.16e-04) | PASS  2.1s
rank   424 box  38316 L=[2, 2, 3, 3] K=[10, 13, 30, 27] stored bound 0.180033032 | R2_iv 1.709601e-03 (stored 1.709601e-03) mu 0.016435535 s_req 0.198145136 smin0-s_req 3.403e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 1.65e-04) | PASS  2.1s
rank   425 box  18934 L=[2, 1, 3, 2] K=[27, 0, 26, 18] stored bound 0.180033077 | R2_iv 4.117786e-03 (stored 4.117786e-03) mu 0.025984717 s_req 0.210102503 smin0-s_req 3.408e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 2.13e-04) | PASS  2.2s
rank   426 box  57045 L=[3, 2, 3, 3] K=[22, 3, 30, 30] stored bound 0.180033102 | R2_iv 1.221124e-03 (stored 1.221124e-03) mu 0.013508828 s_req 0.194729952 smin0-s_req 3.410e-05 | pivots>0: E1 True (min 4.35e-12) smin True (min 1.37e-04) | PASS  2.1s
rank   427 box  37785 L=[2, 2, 3, 3] K=[11, 11, 27, 30] stored bound 0.180033199 | R2_iv 1.708272e-03 (stored 1.708272e-03) mu 0.016292940 s_req 0.198001212 smin0-s_req 3.420e-05 | pivots>0: E1 True (min 1.71e-12) smin True (min 1.65e-04) | PASS  2.1s
rank   428 box  36117 L=[2, 2, 3, 3] K=[5, 15, 30, 27] stored bound 0.180033309 | R2_iv 1.711388e-03 (stored 1.711388e-03) mu 0.016629673 s_req 0.198341061 smin0-s_req 3.431e-05 | pivots>0: E1 True (min 1.82e-12) smin True (min 1.84e-04) | PASS  2.1s
rank   429 box  58281 L=[3, 2, 3, 3] K=[17, 10, 30, 31] stored bound 0.180033440 | R2_iv 1.221859e-03 (stored 1.221859e-03) mu 0.013596077 s_req 0.194817935 smin0-s_req 3.444e-05 | pivots>0: E1 True (min 2.31e-12) smin True (min 1.61e-04) | PASS  2.1s
rank   430 box  60757 L=[3, 2, 3, 3] K=[28, 5, 30, 30] stored bound 0.180033496 | R2_iv 1.220794e-03 (stored 1.220794e-03) mu 0.013459512 s_req 0.194680307 smin0-s_req 3.450e-05 | pivots>0: E1 True (min 5.64e-12) smin True (min 1.48e-04) | PASS  2.1s
rank   431 box  63696 L=[3, 2, 3, 3] K=[32, 6, 30, 31] stored bound 0.180033556 | R2_iv 1.221127e-03 (stored 1.221127e-03) mu 0.013466770 s_req 0.194687897 smin0-s_req 3.456e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 1.54e-04) | PASS  2.1s
rank   432 box  71661 L=[3, 2, 3, 3] K=[54, 15, 30, 31] stored bound 0.180033574 | R2_iv 1.233726e-03 (stored 1.233726e-03) mu 0.014040872 s_req 0.195274597 smin0-s_req 3.457e-05 | pivots>0: E1 True (min 2.76e-12) smin True (min 1.91e-04) | PASS  2.2s
rank   433 box  18804 L=[2, 1, 2, 3] K=[21, 7, 14, 38] stored bound 0.180033645 | R2_iv 4.122139e-03 (stored 4.122139e-03) mu 0.023449488 s_req 0.207571627 smin0-s_req 3.464e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 1.81e-04) | PASS  2.2s
rank   434 box  46615 L=[2, 2, 3, 3] K=[25, 8, 31, 35] stored bound 0.180033654 | R2_iv 1.711932e-03 (stored 1.711932e-03) mu 0.016415902 s_req 0.198127834 smin0-s_req 3.465e-05 | pivots>0: E1 True (min 1.47e-12) smin True (min 1.94e-04) | PASS  2.1s
rank   435 box  36371 L=[2, 2, 3, 3] K=[6, 12, 29, 34] stored bound 0.180033688 | R2_iv 1.709020e-03 (stored 1.709020e-03) mu 0.016286732 s_req 0.197995752 smin0-s_req 3.469e-05 | pivots>0: E1 True (min 1.75e-12) smin True (min 1.76e-04) | PASS  2.1s
rank   436 box  59193 L=[3, 2, 3, 3] K=[20, 12, 30, 31] stored bound 0.180033690 | R2_iv 1.222883e-03 (stored 1.222883e-03) mu 0.013721004 s_req 0.194943887 smin0-s_req 3.469e-05 | pivots>0: E1 True (min 2.07e-12) smin True (min 1.66e-04) | PASS  2.1s
rank   437 box  33146 L=[2, 2, 3, 3] K=[1, 9, 28, 32] stored bound 0.180033694 | R2_iv 1.709437e-03 (stored 1.709437e-03) mu 0.016043525 s_req 0.197752961 smin0-s_req 3.469e-05 | pivots>0: E1 True (min 1.76e-12) smin True (min 1.80e-04) | PASS  2.1s
rank   438 box  47026 L=[2, 2, 3, 3] K=[25, 15, 28, 33] stored bound 0.180033716 | R2_iv 1.718991e-03 (stored 1.718991e-03) mu 0.016811089 s_req 0.198530079 smin0-s_req 3.472e-05 | pivots>0: E1 True (min 1.51e-12) smin True (min 1.89e-04) | PASS  2.2s
rank   439 box  64824 L=[3, 2, 3, 3] K=[33, 10, 31, 32] stored bound 0.180033727 | R2_iv 1.222745e-03 (stored 1.222745e-03) mu 0.013582733 s_req 0.194805478 smin0-s_req 3.473e-05 | pivots>0: E1 True (min 5.11e-12) smin True (min 1.64e-04) | PASS  2.2s
rank   440 box  28846 L=[2, 2, 3, 2] K=[27, 0, 25, 15] stored bound 0.180033740 | R2_iv 2.360213e-03 (stored 2.360213e-03) mu 0.020637239 s_req 0.202997452 smin0-s_req 3.474e-05 | pivots>0: E1 True (min 2.07e-12) smin True (min 2.12e-04) | PASS  2.2s
rank   441 box  35896 L=[2, 2, 3, 3] K=[5, 13, 27, 30] stored bound 0.180033800 | R2_iv 1.709810e-03 (stored 1.709810e-03) mu 0.016469690 s_req 0.198179501 smin0-s_req 3.480e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 1.85e-04) | PASS  2.2s
rank   442 box  39411 L=[2, 2, 3, 3] K=[12, 4, 27, 30] stored bound 0.180033823 | R2_iv 1.706650e-03 (stored 1.706650e-03) mu 0.015870740 s_req 0.197577390 smin0-s_req 3.482e-05 | pivots>0: E1 True (min 1.21e-12) smin True (min 1.48e-04) | PASS  2.2s
rank   443 box  74944 L=[3, 2, 3, 3] K=[60, 14, 30, 31] stored bound 0.180033924 | R2_iv 1.235231e-03 (stored 1.235231e-03) mu 0.014062663 s_req 0.195297895 smin0-s_req 3.492e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 2.13e-04) | PASS  2.2s
rank   444 box  38038 L=[2, 2, 3, 3] K=[9, 9, 29, 34] stored bound 0.180034065 | R2_iv 1.707309e-03 (stored 1.707309e-03) mu 0.016023020 s_req 0.197730329 smin0-s_req 3.507e-05 | pivots>0: E1 True (min 1.65e-12) smin True (min 1.63e-04) | PASS  2.2s
rank   445 box  58524 L=[3, 2, 3, 3] K=[23, 11, 30, 31] stored bound 0.180034195 | R2_iv 1.222371e-03 (stored 1.222371e-03) mu 0.013655831 s_req 0.194878202 smin0-s_req 3.519e-05 | pivots>0: E1 True (min 2.26e-12) smin True (min 1.65e-04) | PASS  2.2s
rank   446 box  47532 L=[2, 2, 3, 3] K=[29, 2, 28, 29] stored bound 0.180034289 | R2_iv 1.712764e-03 (stored 1.712764e-03) mu 0.016396996 s_req 0.198109760 smin0-s_req 3.529e-05 | pivots>0: E1 True (min 1.49e-12) smin True (min 2.29e-04) | PASS  2.2s
rank   447 box  61480 L=[3, 2, 3, 3] K=[29, 8, 31, 30] stored bound 0.180034319 | R2_iv 1.221372e-03 (stored 1.221372e-03) mu 0.013519936 s_req 0.194741308 smin0-s_req 3.532e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 1.60e-04) | PASS  2.1s
rank   448 box  58965 L=[3, 2, 3, 3] K=[18, 12, 30, 31] stored bound 0.180034326 | R2_iv 1.222864e-03 (stored 1.222864e-03) mu 0.013719698 s_req 0.194942563 smin0-s_req 3.533e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 1.71e-04) | PASS  2.1s
rank   449 box  23442 L=[2, 2, 3, 2] K=[11, 6, 25, 13] stored bound 0.180034350 | R2_iv 2.353887e-03 (stored 2.353887e-03) mu 0.020485157 s_req 0.202839044 smin0-s_req 3.535e-05 | pivots>0: E1 True (min 2.97e-12) smin True (min 1.60e-04) | PASS  2.1s
rank   450 box  36897 L=[2, 2, 3, 3] K=[11, 1, 28, 33] stored bound 0.180034585 | R2_iv 1.707706e-03 (stored 1.707706e-03) mu 0.016107859 s_req 0.197815564 smin0-s_req 3.559e-05 | pivots>0: E1 True (min 1.22e-12) smin True (min 1.39e-04) | PASS  2.1s
rank   451 box  38050 L=[2, 2, 3, 3] K=[8, 10, 29, 34] stored bound 0.180034644 | R2_iv 1.707769e-03 (stored 1.707769e-03) mu 0.016109785 s_req 0.197817554 smin0-s_req 3.564e-05 | pivots>0: E1 True (min 1.69e-12) smin True (min 1.70e-04) | PASS  2.1s
rank   452 box  61362 L=[3, 2, 3, 3] K=[25, 10, 30, 31] stored bound 0.180034715 | R2_iv 1.221935e-03 (stored 1.221935e-03) mu 0.013597169 s_req 0.194819104 smin0-s_req 3.571e-05 | pivots>0: E1 True (min 2.52e-12) smin True (min 1.65e-04) | PASS  2.1s
rank   453 box  58287 L=[3, 2, 3, 3] K=[17, 11, 30, 31] stored bound 0.180034731 | R2_iv 1.222314e-03 (stored 1.222314e-03) mu 0.013653397 s_req 0.194875711 smin0-s_req 3.573e-05 | pivots>0: E1 True (min 2.14e-12) smin True (min 1.70e-04) | PASS  2.1s
rank   454 box  57454 L=[3, 2, 3, 3] K=[18, 5, 31, 30] stored bound 0.180034832 | R2_iv 1.221044e-03 (stored 1.221044e-03) mu 0.013477107 s_req 0.194698151 smin0-s_req 3.583e-05 | pivots>0: E1 True (min 3.42e-12) smin True (min 1.50e-04) | PASS  2.1s
rank   455 box  66187 L=[3, 2, 3, 3] K=[46, 0, 31, 31] stored bound 0.180034860 | R2_iv 1.223424e-03 (stored 1.223424e-03) mu 0.013587568 s_req 0.194810992 smin0-s_req 3.586e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 1.71e-04) | PASS  2.1s
rank   456 box  27849 L=[2, 2, 2, 3] K=[21, 11, 13, 27] stored bound 0.180035090 | R2_iv 2.360180e-03 (stored 2.360180e-03) mu 0.018495581 s_req 0.200855761 smin0-s_req 3.609e-05 | pivots>0: E1 True (min 7.13e-13) smin True (min 1.88e-04) | PASS  2.1s
rank   457 box  57306 L=[3, 2, 3, 3] K=[22, 2, 30, 32] stored bound 0.180035249 | R2_iv 1.221438e-03 (stored 1.221438e-03) mu 0.013560239 s_req 0.194781677 smin0-s_req 3.625e-05 | pivots>0: E1 True (min 2.20e-12) smin True (min 1.42e-04) | PASS  2.1s
rank   458 box  55112 L=[3, 2, 3, 3] K=[9, 9, 31, 31] stored bound 0.180035283 | R2_iv 1.222257e-03 (stored 1.222257e-03) mu 0.013529477 s_req 0.194751733 smin0-s_req 3.628e-05 | pivots>0: E1 True (min 2.95e-12) smin True (min 1.74e-04) | PASS  2.1s
rank   459 box  11222 L=[2, 1, 2, 2] K=[9, 6, 13, 19] stored bound 0.180035493 | R2_iv 5.030571e-03 (stored 5.030571e-03) mu 0.028526716 s_req 0.213557287 smin0-s_req 3.649e-05 | pivots>0: E1 True (min 5.78e-12) smin True (min 1.92e-04) | PASS  2.1s
rank   460 box  42282 L=[2, 2, 3, 3] K=[17, 9, 28, 28] stored bound 0.180035520 | R2_iv 1.708372e-03 (stored 1.708372e-03) mu 0.016101214 s_req 0.197809586 smin0-s_req 3.652e-05 | pivots>0: E1 True (min 1.64e-12) smin True (min 1.75e-04) | PASS  2.1s
rank   461 box  35654 L=[2, 2, 3, 3] K=[7, 11, 29, 34] stored bound 0.180035575 | R2_iv 1.708339e-03 (stored 1.708339e-03) mu 0.016197780 s_req 0.197906119 smin0-s_req 3.657e-05 | pivots>0: E1 True (min 1.72e-12) smin True (min 1.79e-04) | PASS  2.1s
rank   462 box  58171 L=[3, 2, 3, 3] K=[17, 9, 30, 31] stored bound 0.180035600 | R2_iv 1.221507e-03 (stored 1.221507e-03) mu 0.013548755 s_req 0.194770262 smin0-s_req 3.660e-05 | pivots>0: E1 True (min 2.51e-12) smin True (min 1.68e-04) | PASS  2.1s
rank   463 box  57455 L=[3, 2, 3, 3] K=[18, 5, 30, 31] stored bound 0.180035639 | R2_iv 1.221044e-03 (stored 1.221044e-03) mu 0.013473598 s_req 0.194694642 smin0-s_req 3.664e-05 | pivots>0: E1 True (min 3.16e-12) smin True (min 1.54e-04) | PASS  2.1s
rank   464 box  46070 L=[2, 2, 3, 3] K=[25, 5, 29, 28] stored bound 0.180035640 | R2_iv 1.710549e-03 (stored 1.710549e-03) mu 0.016126447 s_req 0.197836995 smin0-s_req 3.664e-05 | pivots>0: E1 True (min 1.46e-12) smin True (min 2.03e-04) | PASS  2.1s
rank   465 box  36217 L=[2, 2, 3, 3] K=[7, 14, 30, 27] stored bound 0.180035677 | R2_iv 1.710360e-03 (stored 1.710360e-03) mu 0.016530635 s_req 0.198240995 smin0-s_req 3.668e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 1.87e-04) | PASS  2.1s
rank   466 box  44506 L=[2, 2, 3, 3] K=[21, 9, 28, 32] stored bound 0.180035759 | R2_iv 1.710096e-03 (stored 1.710096e-03) mu 0.016122905 s_req 0.197833002 smin0-s_req 3.676e-05 | pivots>0: E1 True (min 1.41e-12) smin True (min 1.89e-04) | PASS  2.1s
rank   467 box  39645 L=[2, 2, 3, 3] K=[12, 7, 29, 34] stored bound 0.180035780 | R2_iv 1.706729e-03 (stored 1.706729e-03) mu 0.015858186 s_req 0.197564915 smin0-s_req 3.678e-05 | pivots>0: E1 True (min 1.53e-12) smin True (min 1.64e-04) | PASS  2.1s
rank   468 box  58509 L=[3, 2, 3, 3] K=[20, 11, 31, 30] stored bound 0.180035856 | R2_iv 1.222291e-03 (stored 1.222291e-03) mu 0.013637084 s_req 0.194859374 smin0-s_req 3.686e-05 | pivots>0: E1 True (min 3.47e-12) smin True (min 1.74e-04) | PASS  2.1s
rank   469 box   2788 L=[1, 1, 1, 1] K=[3, 0, 5, 10] stored bound 0.180035916 | R2_iv 1.274028e-02 (stored 1.274028e-02) mu 0.050701116 s_req 0.243441398 smin0-s_req 3.692e-05 | pivots>0: E1 True (min 9.69e-12) smin True (min 1.71e-04) | PASS  2.1s
rank   470 box  37706 L=[2, 2, 3, 3] K=[8, 11, 27, 30] stored bound 0.180036029 | R2_iv 1.708247e-03 (stored 1.708247e-03) mu 0.016283425 s_req 0.197991672 smin0-s_req 3.703e-05 | pivots>0: E1 True (min 1.73e-12) smin True (min 1.82e-04) | PASS  2.1s
rank   471 box  16660 L=[2, 2, 2, 2] K=[13, 4, 13, 18] stored bound 0.180036219 | R2_iv 3.070696e-03 (stored 3.070696e-03) mu 0.024127700 s_req 0.207198397 smin0-s_req 3.722e-05 | pivots>0: E1 True (min 3.34e-12) smin True (min 1.65e-04) | PASS  2.1s
rank   472 box  29270 L=[2, 2, 2, 3] K=[24, 7, 14, 26] stored bound 0.180036396 | R2_iv 2.361348e-03 (stored 2.361348e-03) mu 0.018371270 s_req 0.200732618 smin0-s_req 3.740e-05 | pivots>0: E1 True (min 5.49e-13) smin True (min 2.03e-04) | PASS  2.1s
rank   473 box  38262 L=[2, 2, 3, 3] K=[9, 13, 30, 27] stored bound 0.180036448 | R2_iv 1.709543e-03 (stored 1.709543e-03) mu 0.016432289 s_req 0.198141831 smin0-s_req 3.745e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 1.84e-04) | PASS  2.1s
rank   474 box  29687 L=[2, 2, 2, 3] K=[24, 9, 14, 26] stored bound 0.180036536 | R2_iv 2.361941e-03 (stored 2.361941e-03) mu 0.018341183 s_req 0.200703124 smin0-s_req 3.754e-05 | pivots>0: E1 True (min 5.18e-13) smin True (min 2.05e-04) | PASS  2.1s
rank   475 box  58510 L=[3, 2, 3, 3] K=[21, 11, 31, 30] stored bound 0.180036693 | R2_iv 1.222306e-03 (stored 1.222306e-03) mu 0.013637712 s_req 0.194860017 smin0-s_req 3.769e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 1.77e-04) | PASS  2.1s
rank   476 box  38073 L=[2, 2, 3, 3] K=[10, 8, 29, 34] stored bound 0.180036703 | R2_iv 1.706960e-03 (stored 1.706960e-03) mu 0.015937981 s_req 0.197644941 smin0-s_req 3.770e-05 | pivots>0: E1 True (min 1.61e-12) smin True (min 1.71e-04) | PASS  2.1s
rank   477 box  36769 L=[2, 2, 3, 3] K=[10, 2, 27, 30] stored bound 0.180036726 | R2_iv 1.707432e-03 (stored 1.707432e-03) mu 0.016060265 s_req 0.197767697 smin0-s_req 3.773e-05 | pivots>0: E1 True (min 1.23e-12) smin True (min 1.51e-04) | PASS  2.1s
rank   478 box  74656 L=[3, 2, 3, 3] K=[56, 13, 31, 31] stored bound 0.180036866 | R2_iv 1.232133e-03 (stored 1.232133e-03) mu 0.013852757 s_req 0.195084890 smin0-s_req 3.787e-05 | pivots>0: E1 True (min 7.05e-12) smin True (min 2.20e-04) | PASS  2.1s
rank   479 box  44064 L=[2, 2, 3, 3] K=[20, 7, 31, 35] stored bound 0.180036878 | R2_iv 1.708587e-03 (stored 1.708587e-03) mu 0.015893335 s_req 0.197601922 smin0-s_req 3.788e-05 | pivots>0: E1 True (min 1.37e-12) smin True (min 1.85e-04) | PASS  2.1s
rank   480 box  19607 L=[2, 1, 3, 2] K=[28, 0, 26, 11] stored bound 0.180036964 | R2_iv 4.118968e-03 (stored 4.118968e-03) mu 0.026045112 s_req 0.210164081 smin0-s_req 3.796e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 2.35e-04) | PASS  2.1s
rank   481 box  40454 L=[2, 2, 3, 3] K=[13, 14, 27, 30] stored bound 0.180037005 | R2_iv 1.711008e-03 (stored 1.711008e-03) mu 0.016595509 s_req 0.198306517 smin0-s_req 3.800e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 1.89e-04) | PASS  2.1s
rank   482 box  57310 L=[3, 2, 3, 3] K=[22, 3, 30, 32] stored bound 0.180037010 | R2_iv 1.221124e-03 (stored 1.221124e-03) mu 0.013530240 s_req 0.194751364 smin0-s_req 3.801e-05 | pivots>0: E1 True (min 2.32e-12) smin True (min 1.53e-04) | PASS  2.1s
rank   483 box  61360 L=[3, 2, 3, 3] K=[25, 10, 31, 30] stored bound 0.180037043 | R2_iv 1.221935e-03 (stored 1.221935e-03) mu 0.013592398 s_req 0.194814332 smin0-s_req 3.804e-05 | pivots>0: E1 True (min 3.90e-12) smin True (min 1.76e-04) | PASS  2.1s
rank   484 box  74247 L=[3, 2, 3, 3] K=[61, 11, 31, 32] stored bound 0.180037118 | R2_iv 1.232281e-03 (stored 1.232281e-03) mu 0.013984961 s_req 0.195217242 smin0-s_req 3.812e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 2.47e-04) | PASS  2.1s
rank   485 box  36617 L=[2, 2, 3, 3] K=[10, 0, 30, 27] stored bound 0.180037228 | R2_iv 1.708471e-03 (stored 1.708471e-03) mu 0.016186314 s_req 0.197894785 smin0-s_req 3.823e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 1.44e-04) | PASS  2.1s
rank   486 box  44588 L=[2, 2, 3, 3] K=[22, 9, 31, 35] stored bound 0.180037273 | R2_iv 1.710651e-03 (stored 1.710651e-03) mu 0.016179888 s_req 0.197890539 smin0-s_req 3.827e-05 | pivots>0: E1 True (min 1.43e-12) smin True (min 1.98e-04) | PASS  2.1s
rank   487 box  37773 L=[2, 2, 3, 3] K=[10, 10, 27, 30] stored bound 0.180037311 | R2_iv 1.707685e-03 (stored 1.707685e-03) mu 0.016193076 s_req 0.197900761 smin0-s_req 3.831e-05 | pivots>0: E1 True (min 1.69e-12) smin True (min 1.83e-04) | PASS  2.1s
rank   488 box  56722 L=[3, 2, 3, 3] K=[19, 1, 31, 30] stored bound 0.180037353 | R2_iv 1.222153e-03 (stored 1.222153e-03) mu 0.013592982 s_req 0.194815135 smin0-s_req 3.835e-05 | pivots>0: E1 True (min 2.78e-12) smin True (min 1.46e-04) | PASS  2.1s
rank   489 box  15146 L=[2, 2, 2, 2] K=[7, 8, 12, 12] stored bound 0.180037449 | R2_iv 3.072997e-03 (stored 3.072997e-03) mu 0.023700181 s_req 0.206773178 smin0-s_req 3.845e-05 | pivots>0: E1 True (min 9.77e-12) smin True (min 1.85e-04) | PASS  2.1s
rank   490 box  24764 L=[2, 2, 3, 2] K=[15, 5, 25, 13] stored bound 0.180037491 | R2_iv 2.354178e-03 (stored 2.354178e-03) mu 0.020494754 s_req 0.202848931 smin0-s_req 3.849e-05 | pivots>0: E1 True (min 3.01e-12) smin True (min 1.76e-04) | PASS  2.1s
rank   491 box  40155 L=[2, 2, 3, 3] K=[13, 11, 29, 34] stored bound 0.180037548 | R2_iv 1.708538e-03 (stored 1.708538e-03) mu 0.016216674 s_req 0.197925212 smin0-s_req 3.855e-05 | pivots>0: E1 True (min 1.68e-12) smin True (min 1.84e-04) | PASS  2.1s
rank   492 box  59194 L=[3, 2, 3, 3] K=[21, 12, 30, 31] stored bound 0.180037553 | R2_iv 1.222910e-03 (stored 1.222910e-03) mu 0.013721724 s_req 0.194944635 smin0-s_req 3.855e-05 | pivots>0: E1 True (min 2.08e-12) smin True (min 1.84e-04) | PASS  2.1s
rank   493 box   3233 L=[1, 1, 1, 1] K=[6, 7, 3, 6] stored bound 0.180037610 | R2_iv 1.277157e-02 (stored 1.277157e-02) mu 0.049816954 s_req 0.242588523 smin0-s_req 3.861e-05 | pivots>0: E1 True (min 9.61e-12) smin True (min 3.11e-04) | PASS  2.1s
rank   494 box  14484 L=[2, 1, 3, 2] K=[2, 6, 22, 15] stored bound 0.180037657 | R2_iv 4.115525e-03 (stored 4.115525e-03) mu 0.026498738 s_req 0.210614263 smin0-s_req 3.866e-05 | pivots>0: E1 True (min 4.14e-12) smin True (min 2.39e-04) | PASS  2.1s
rank   495 box  17694 L=[2, 2, 2, 2] K=[16, 11, 12, 12] stored bound 0.180037707 | R2_iv 3.079883e-03 (stored 3.079883e-03) mu 0.023951218 s_req 0.207031101 smin0-s_req 3.871e-05 | pivots>0: E1 True (min 7.79e-12) smin True (min 1.95e-04) | PASS  2.2s
rank   496 box  38324 L=[2, 2, 3, 3] K=[11, 13, 30, 27] stored bound 0.180037736 | R2_iv 1.709709e-03 (stored 1.709709e-03) mu 0.016438880 s_req 0.198148589 smin0-s_req 3.874e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 1.87e-04) | PASS  2.2s
rank   497 box  27456 L=[2, 2, 3, 2] K=[23, 1, 29, 18] stored bound 0.180037783 | R2_iv 2.357197e-03 (stored 2.357197e-03) mu 0.020444448 s_req 0.202801645 smin0-s_req 3.878e-05 | pivots>0: E1 True (min 1.83e-12) smin True (min 1.96e-04) | PASS  2.2s
rank   498 box  29366 L=[2, 2, 3, 2] K=[24, 4, 27, 17] stored bound 0.180037821 | R2_iv 2.359685e-03 (stored 2.359685e-03) mu 0.020610891 s_req 0.202970576 smin0-s_req 3.882e-05 | pivots>0: E1 True (min 2.43e-12) smin True (min 2.16e-04) | PASS  2.1s
rank   499 box  65559 L=[3, 2, 3, 3] K=[33, 12, 31, 32] stored bound 0.180037880 | R2_iv 1.224124e-03 (stored 1.224124e-03) mu 0.013694670 s_req 0.194918794 smin0-s_req 3.888e-05 | pivots>0: E1 True (min 2.66e-12) smin True (min 1.86e-04) | PASS  2.1s
rank   500 box  45571 L=[2, 2, 3, 3] K=[25, 0, 28, 32] stored bound 0.180037897 | R2_iv 1.710450e-03 (stored 1.710450e-03) mu 0.016170989 s_req 0.197881439 smin0-s_req 3.890e-05 | pivots>0: E1 True (min 1.30e-12) smin True (min 2.07e-04) | PASS  2.1s
rank   501 box  40419 L=[2, 2, 3, 3] K=[12, 13, 27, 30] stored bound 0.180038448 | R2_iv 1.709867e-03 (stored 1.709867e-03) mu 0.016492596 s_req 0.198202463 smin0-s_req 3.945e-05 | pivots>0: E1 True (min 1.75e-12) smin True (min 1.95e-04) | PASS  2.2s
rank   502 box  17278 L=[2, 2, 2, 2] K=[16, 3, 13, 18] stored bound 0.180038527 | R2_iv 3.071871e-03 (stored 3.071871e-03) mu 0.024173434 s_req 0.207245305 smin0-s_req 3.953e-05 | pivots>0: E1 True (min 3.48e-12) smin True (min 1.79e-04) | PASS  2.2s
rank   503 box  65578 L=[3, 2, 3, 3] K=[35, 13, 31, 32] stored bound 0.180038562 | R2_iv 1.225352e-03 (stored 1.225352e-03) mu 0.013772584 s_req 0.194997937 smin0-s_req 3.956e-05 | pivots>0: E1 True (min 2.54e-12) smin True (min 1.91e-04) | PASS  2.1s
rank   504 box  58301 L=[3, 2, 3, 3] K=[19, 11, 31, 30] stored bound 0.180038591 | R2_iv 1.222287e-03 (stored 1.222287e-03) mu 0.013636492 s_req 0.194858779 smin0-s_req 3.959e-05 | pivots>0: E1 True (min 3.37e-12) smin True (min 1.87e-04) | PASS  2.2s
rank   505 box  17251 L=[2, 2, 2, 2] K=[19, 3, 12, 12] stored bound 0.180038642 | R2_iv 3.073930e-03 (stored 3.073930e-03) mu 0.023664509 s_req 0.206738440 smin0-s_req 3.964e-05 | pivots>0: E1 True (min 6.88e-12) smin True (min 1.89e-04) | PASS  2.1s
rank   506 box  32391 L=[2, 2, 3, 3] K=[1, 5, 28, 29] stored bound 0.180038664 | R2_iv 1.709758e-03 (stored 1.709758e-03) mu 0.016071431 s_req 0.197781189 smin0-s_req 3.966e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 1.85e-04) | PASS  2.1s
rank   507 box  58952 L=[3, 2, 3, 3] K=[17, 12, 30, 31] stored bound 0.180038840 | R2_iv 1.222872e-03 (stored 1.222872e-03) mu 0.013719106 s_req 0.194941978 smin0-s_req 3.984e-05 | pivots>0: E1 True (min 2.02e-12) smin True (min 1.93e-04) | PASS  2.1s
rank   508 box  36739 L=[2, 2, 3, 3] K=[11, 1, 27, 29] stored bound 0.180038889 | R2_iv 1.707706e-03 (stored 1.707706e-03) mu 0.016154893 s_req 0.197862599 smin0-s_req 3.989e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 1.57e-04) | PASS  2.1s
rank   509 box  33046 L=[2, 2, 3, 3] K=[2, 11, 28, 28] stored bound 0.180038932 | R2_iv 1.709545e-03 (stored 1.709545e-03) mu 0.016254788 s_req 0.197964333 smin0-s_req 3.993e-05 | pivots>0: E1 True (min 1.77e-12) smin True (min 2.13e-04) | PASS  2.1s
rank   510 box   6976 L=[1, 1, 2, 2] K=[3, 7, 12, 19] stored bound 0.180039135 | R2_iv 7.094962e-03 (stored 7.094962e-03) mu 0.032829339 s_req 0.219924300 smin0-s_req 4.013e-05 | pivots>0: E1 True (min 7.12e-12) smin True (min 2.36e-04) | PASS  2.1s
rank   511 box  34906 L=[2, 2, 3, 3] K=[5, 5, 28, 32] stored bound 0.180039172 | R2_iv 1.707903e-03 (stored 1.707903e-03) mu 0.015822762 s_req 0.197530666 smin0-s_req 4.017e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 1.76e-04) | PASS  2.1s
rank   512 box  17474 L=[2, 2, 2, 2] K=[18, 4, 12, 12] stored bound 0.180039449 | R2_iv 3.072894e-03 (stored 3.072894e-03) mu 0.023620709 s_req 0.206693603 smin0-s_req 4.045e-05 | pivots>0: E1 True (min 7.35e-12) smin True (min 1.92e-04) | PASS  2.1s
rank   513 box   3075 L=[1, 1, 1, 1] K=[5, 6, 3, 6] stored bound 0.180039475 | R2_iv 1.274146e-02 (stored 1.274146e-02) mu 0.049387468 s_req 0.242128930 smin0-s_req 4.048e-05 | pivots>0: E1 True (min 9.24e-12) smin True (min 3.15e-04) | PASS  2.1s
rank   514 box  61260 L=[3, 2, 3, 3] K=[27, 9, 30, 31] stored bound 0.180039630 | R2_iv 1.221602e-03 (stored 1.221602e-03) mu 0.013547447 s_req 0.194769048 smin0-s_req 4.063e-05 | pivots>0: E1 True (min 2.89e-12) smin True (min 1.86e-04) | PASS  2.1s
rank   515 box  14501 L=[2, 1, 3, 2] K=[0, 7, 25, 11] stored bound 0.180039749 | R2_iv 4.118529e-03 (stored 4.118529e-03) mu 0.026517322 s_req 0.210635851 smin0-s_req 4.075e-05 | pivots>0: E1 True (min 4.27e-12) smin True (min 2.58e-04) | PASS  2.1s
rank   516 box   4268 L=[1, 1, 2, 1] K=[2, 4, 15, 11] stored bound 0.180039777 | R2_iv 9.755251e-03 (stored 9.755251e-03) mu 0.041290365 s_req 0.231045616 smin0-s_req 4.078e-05 | pivots>0: E1 True (min 9.13e-12) smin True (min 2.07e-04) | PASS  2.1s
rank   517 box  50158 L=[2, 2, 3, 3] K=[30, 12, 31, 27] stored bound 0.180039908 | R2_iv 1.719948e-03 (stored 1.719948e-03) mu 0.017080138 s_req 0.198800086 smin0-s_req 4.091e-05 | pivots>0: E1 True (min 1.58e-12) smin True (min 2.61e-04) | PASS  2.1s
rank   518 box  71650 L=[3, 2, 3, 3] K=[53, 15, 30, 31] stored bound 0.180039962 | R2_iv 1.233291e-03 (stored 1.233291e-03) mu 0.014037427 s_req 0.195270718 smin0-s_req 4.096e-05 | pivots>0: E1 True (min 2.73e-12) smin True (min 2.24e-04) | PASS  2.1s
rank   519 box  17693 L=[2, 2, 2, 2] K=[16, 10, 12, 12] stored bound 0.180040014 | R2_iv 3.077532e-03 (stored 3.077532e-03) mu 0.023887231 s_req 0.206964763 smin0-s_req 4.101e-05 | pivots>0: E1 True (min 7.89e-12) smin True (min 2.05e-04) | PASS  2.1s
rank   520 box  73991 L=[3, 2, 3, 3] K=[62, 10, 31, 31] stored bound 0.180040088 | R2_iv 1.231802e-03 (stored 1.231802e-03) mu 0.013957466 s_req 0.195189268 smin0-s_req 4.109e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 2.75e-04) | PASS  2.1s
rank   521 box  35467 L=[2, 2, 3, 3] K=[6, 8, 28, 28] stored bound 0.180040096 | R2_iv 1.707526e-03 (stored 1.707526e-03) mu 0.015970990 s_req 0.197678516 smin0-s_req 4.110e-05 | pivots>0: E1 True (min 1.69e-12) smin True (min 1.91e-04) | PASS  2.1s
rank   522 box  41266 L=[2, 2, 3, 3] K=[16, 2, 30, 35] stored bound 0.180040111 | R2_iv 1.707182e-03 (stored 1.707182e-03) mu 0.015941629 s_req 0.197648811 smin0-s_req 4.111e-05 | pivots>0: E1 True (min 1.22e-12) smin True (min 1.73e-04) | PASS  2.1s
rank   523 box  46848 L=[2, 2, 3, 3] K=[27, 15, 29, 27] stored bound 0.180040124 | R2_iv 1.720838e-03 (stored 1.720838e-03) mu 0.016842427 s_req 0.198563266 smin0-s_req 4.112e-05 | pivots>0: E1 True (min 1.55e-12) smin True (min 2.30e-04) | PASS  2.1s
rank   524 box  15143 L=[2, 2, 2, 2] K=[5, 11, 12, 12] stored bound 0.180040219 | R2_iv 3.077773e-03 (stored 3.077773e-03) mu 0.023859022 s_req 0.206936796 smin0-s_req 4.122e-05 | pivots>0: E1 True (min 9.02e-12) smin True (min 2.17e-04) | PASS  2.1s
rank   525 box  66069 L=[3, 2, 3, 3] K=[43, 2, 31, 31] stored bound 0.180040233 | R2_iv 1.222478e-03 (stored 1.222478e-03) mu 0.013503216 s_req 0.194725694 smin0-s_req 4.123e-05 | pivots>0: E1 True (min 5.30e-12) smin True (min 1.94e-04) | PASS  2.1s
rank   526 box  58173 L=[3, 2, 3, 3] K=[17, 9, 31, 30] stored bound 0.180040315 | R2_iv 1.221507e-03 (stored 1.221507e-03) mu 0.013546857 s_req 0.194768364 smin0-s_req 4.131e-05 | pivots>0: E1 True (min 3.25e-12) smin True (min 1.89e-04) | PASS  2.1s
rank   527 box  75239 L=[3, 2, 3, 3] K=[63, 14, 30, 32] stored bound 0.180040338 | R2_iv 1.236774e-03 (stored 1.236774e-03) mu 0.014235303 s_req 0.195472077 smin0-s_req 4.134e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 2.65e-04) | PASS  2.1s
rank   528 box  63172 L=[3, 2, 3, 3] K=[36, 2, 30, 30] stored bound 0.180040361 | R2_iv 1.221571e-03 (stored 1.221571e-03) mu 0.013529349 s_req 0.194750920 smin0-s_req 4.136e-05 | pivots>0: E1 True (min 4.81e-12) smin True (min 1.78e-04) | PASS  2.1s
rank   529 box  15568 L=[2, 2, 2, 2] K=[8, 1, 12, 12] stored bound 0.180040475 | R2_iv 3.076807e-03 (stored 3.076807e-03) mu 0.023860282 s_req 0.206937089 smin0-s_req 4.147e-05 | pivots>0: E1 True (min 4.23e-12) smin True (min 1.69e-04) | PASS  2.1s
rank   530 box  38748 L=[2, 2, 3, 3] K=[13, 1, 31, 27] stored bound 0.180040511 | R2_iv 1.707473e-03 (stored 1.707473e-03) mu 0.016049260 s_req 0.197756733 smin0-s_req 4.151e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 1.63e-04) | PASS  2.1s
rank   531 box  52886 L=[3, 2, 3, 3] K=[3, 12, 31, 31] stored bound 0.180040569 | R2_iv 1.224183e-03 (stored 1.224183e-03) mu 0.013677654 s_req 0.194901836 smin0-s_req 4.157e-05 | pivots>0: E1 True (min 2.20e-12) smin True (min 2.27e-04) | PASS  2.1s
rank   532 box  44535 L=[2, 2, 3, 3] K=[21, 9, 31, 35] stored bound 0.180040608 | R2_iv 1.710096e-03 (stored 1.710096e-03) mu 0.016085173 s_req 0.197795269 smin0-s_req 4.161e-05 | pivots>0: E1 True (min 1.41e-12) smin True (min 2.10e-04) | PASS  2.1s
rank   533 box  13233 L=[2, 1, 2, 2] K=[25, 7, 12, 18] stored bound 0.180040619 | R2_iv 5.064732e-03 (stored 5.064732e-03) mu 0.028874171 s_req 0.213938904 smin0-s_req 4.162e-05 | pivots>0: E1 True (min 5.83e-12) smin True (min 2.51e-04) | PASS  2.2s
rank   534 box  40151 L=[2, 2, 3, 3] K=[13, 10, 29, 34] stored bound 0.180040681 | R2_iv 1.707935e-03 (stored 1.707935e-03) mu 0.016125052 s_req 0.197832987 smin0-s_req 4.168e-05 | pivots>0: E1 True (min 1.65e-12) smin True (min 1.96e-04) | PASS  2.2s
rank   535 box  20509 L=[2, 2, 2, 3] K=[2, 3, 14, 35] stored bound 0.180040697 | R2_iv 2.359691e-03 (stored 2.359691e-03) mu 0.018777628 s_req 0.201137319 smin0-s_req 4.170e-05 | pivots>0: E1 True (min 8.27e-13) smin True (min 1.84e-04) | PASS  2.1s
rank   536 box  54963 L=[3, 2, 3, 3] K=[13, 6, 31, 32] stored bound 0.180040841 | R2_iv 1.221491e-03 (stored 1.221491e-03) mu 0.013474907 s_req 0.194696398 smin0-s_req 4.184e-05 | pivots>0: E1 True (min 2.93e-12) smin True (min 1.82e-04) | PASS  2.1s
rank   537 box  39102 L=[2, 2, 3, 3] K=[14, 3, 28, 33] stored bound 0.180040842 | R2_iv 1.706811e-03 (stored 1.706811e-03) mu 0.015919465 s_req 0.197626277 smin0-s_req 4.184e-05 | pivots>0: E1 True (min 1.20e-12) smin True (min 1.76e-04) | PASS  2.1s
rank   538 box   6733 L=[1, 1, 2, 2] K=[2, 5, 11, 10] stored bound 0.180040974 | R2_iv 7.085810e-03 (stored 7.085810e-03) mu 0.032480014 s_req 0.219565824 smin0-s_req 4.197e-05 | pivots>0: E1 True (min 7.17e-12) smin True (min 2.29e-04) | PASS  2.1s
rank   539 box  58521 L=[3, 2, 3, 3] K=[22, 11, 31, 30] stored bound 0.180041081 | R2_iv 1.222333e-03 (stored 1.222333e-03) mu 0.013638383 s_req 0.194860716 smin0-s_req 4.208e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 1.97e-04) | PASS  2.1s
rank   540 box  63074 L=[3, 2, 3, 3] K=[38, 1, 30, 30] stored bound 0.180041202 | R2_iv 1.222006e-03 (stored 1.222006e-03) mu 0.013571692 s_req 0.194793699 smin0-s_req 4.220e-05 | pivots>0: E1 True (min 3.99e-12) smin True (min 1.82e-04) | PASS  2.1s
rank   541 box  29728 L=[2, 2, 2, 3] K=[26, 10, 14, 26] stored bound 0.180041336 | R2_iv 2.365049e-03 (stored 2.365049e-03) mu 0.018351105 s_req 0.200716154 smin0-s_req 4.234e-05 | pivots>0: E1 True (min 5.31e-13) smin True (min 2.44e-04) | PASS  2.1s
rank   542 box  32400 L=[2, 2, 3, 3] K=[1, 7, 29, 28] stored bound 0.180041341 | R2_iv 1.709378e-03 (stored 1.709378e-03) mu 0.015910563 s_req 0.197619941 smin0-s_req 4.234e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 2.08e-04) | PASS  2.1s
rank   543 box  63180 L=[3, 2, 3, 3] K=[39, 2, 30, 31] stored bound 0.180041345 | R2_iv 1.221891e-03 (stored 1.221891e-03) mu 0.013526135 s_req 0.194748026 smin0-s_req 4.234e-05 | pivots>0: E1 True (min 2.83e-12) smin True (min 1.89e-04) | PASS  2.2s
rank   544 box  74711 L=[3, 2, 3, 3] K=[57, 15, 31, 30] stored bound 0.180041415 | R2_iv 1.235098e-03 (stored 1.235098e-03) mu 0.014028064 s_req 0.195263162 smin0-s_req 4.241e-05 | pivots>0: E1 True (min 7.39e-12) smin True (min 2.43e-04) | PASS  2.2s
rank   545 box  20510 L=[2, 2, 2, 3] K=[3, 2, 14, 35] stored bound 0.180041747 | R2_iv 2.359005e-03 (stored 2.359005e-03) mu 0.018725562 s_req 0.201084567 smin0-s_req 4.275e-05 | pivots>0: E1 True (min 7.90e-13) smin True (min 1.80e-04) | PASS  2.2s
rank   546 box  58165 L=[3, 2, 3, 3] K=[17, 8, 30, 31] stored bound 0.180041767 | R2_iv 1.221258e-03 (stored 1.221258e-03) mu 0.013512602 s_req 0.194733860 smin0-s_req 4.277e-05 | pivots>0: E1 True (min 2.74e-12) smin True (min 1.92e-04) | PASS  2.2s
rank   547 box  25985 L=[2, 2, 3, 2] K=[19, 2, 29, 12] stored bound 0.180041802 | R2_iv 2.355205e-03 (stored 2.355205e-03) mu 0.020300105 s_req 0.202655310 smin0-s_req 4.280e-05 | pivots>0: E1 True (min 3.39e-12) smin True (min 1.92e-04) | PASS  2.2s
rank   548 box   1523 L=[0, 0, 1, 1] K=[7, 2, 6, 1] stored bound 0.180042051 | R2_iv 3.058429e-02 (stored 3.058429e-02) mu 0.066254707 s_req 0.276838993 smin0-s_req 4.305e-05 | pivots>0: E1 True (min 2.28e-11) smin True (min 2.80e-04) | PASS  2.2s
rank   549 box  17886 L=[2, 1, 2, 3] K=[17, 7, 15, 23] stored bound 0.180042051 | R2_iv 4.119422e-03 (stored 4.119422e-03) mu 0.023479336 s_req 0.207598758 smin0-s_req 4.305e-05 | pivots>0: E1 True (min 7.07e-12) smin True (min 2.10e-04) | PASS  2.2s
rank   550 box  31911 L=[2, 2, 3, 3] K=[3, 3, 28, 29] stored bound 0.180042095 | R2_iv 1.709454e-03 (stored 1.709454e-03) mu 0.015986648 s_req 0.197696102 smin0-s_req 4.309e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.84e-04) | PASS  2.2s
rank   551 box  21494 L=[2, 2, 3, 2] K=[2, 13, 25, 13] stored bound 0.180042119 | R2_iv 2.358881e-03 (stored 2.358881e-03) mu 0.021064807 s_req 0.203423689 smin0-s_req 4.312e-05 | pivots>0: E1 True (min 3.05e-12) smin True (min 2.49e-04) | PASS  2.2s
rank   552 box  40131 L=[2, 2, 3, 3] K=[13, 9, 29, 34] stored bound 0.180042405 | R2_iv 1.707442e-03 (stored 1.707442e-03) mu 0.016034721 s_req 0.197742163 smin0-s_req 4.340e-05 | pivots>0: E1 True (min 1.61e-12) smin True (min 2.01e-04) | PASS  2.2s
rank   553 box  15605 L=[2, 2, 2, 2] K=[11, 3, 13, 18] stored bound 0.180042638 | R2_iv 3.071735e-03 (stored 3.071735e-03) mu 0.024211671 s_req 0.207283406 smin0-s_req 4.364e-05 | pivots>0: E1 True (min 3.28e-12) smin True (min 1.87e-04) | PASS  2.2s
rank   554 box  22502 L=[2, 2, 3, 2] K=[5, 11, 25, 13] stored bound 0.180042655 | R2_iv 2.356585e-03 (stored 2.356585e-03) mu 0.020905590 s_req 0.203262175 smin0-s_req 4.365e-05 | pivots>0: E1 True (min 3.04e-12) smin True (min 2.28e-04) | PASS  2.2s
rank   555 box  17472 L=[2, 2, 2, 2] K=[17, 6, 12, 12] stored bound 0.180042676 | R2_iv 3.072749e-03 (stored 3.072749e-03) mu 0.023669707 s_req 0.206742456 smin0-s_req 4.368e-05 | pivots>0: E1 True (min 8.45e-12) smin True (min 2.10e-04) | PASS  2.2s
rank   556 box  28843 L=[2, 2, 3, 2] K=[26, 1, 25, 15] stored bound 0.180042678 | R2_iv 2.359572e-03 (stored 2.359572e-03) mu 0.020561677 s_req 0.202921249 smin0-s_req 4.368e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 2.58e-04) | PASS  2.2s
rank   557 box  40913 L=[2, 2, 3, 3] K=[19, 0, 27, 31] stored bound 0.180042966 | R2_iv 1.708320e-03 (stored 1.708320e-03) mu 0.016214188 s_req 0.197922508 smin0-s_req 4.397e-05 | pivots>0: E1 True (min 1.28e-12) smin True (min 1.93e-04) | PASS  2.2s
rank   558 box  45489 L=[2, 2, 3, 3] K=[26, 3, 28, 29] stored bound 0.180042973 | R2_iv 1.710780e-03 (stored 1.710780e-03) mu 0.016178144 s_req 0.197888925 smin0-s_req 4.397e-05 | pivots>0: E1 True (min 1.45e-12) smin True (min 2.51e-04) | PASS  2.2s
rank   559 box  40388 L=[2, 2, 3, 3] K=[14, 14, 30, 27] stored bound 0.180043096 | R2_iv 1.711290e-03 (stored 1.711290e-03) mu 0.016554580 s_req 0.198265870 smin0-s_req 4.410e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 2.12e-04) | PASS  2.2s
rank   560 box  36610 L=[2, 2, 3, 3] K=[11, 0, 29, 27] stored bound 0.180043150 | R2_iv 1.708256e-03 (stored 1.708256e-03) mu 0.016207197 s_req 0.197915453 smin0-s_req 4.415e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 1.67e-04) | PASS  2.2s
rank   561 box  65456 L=[3, 2, 3, 3] K=[36, 12, 31, 31] stored bound 0.180043192 | R2_iv 1.224684e-03 (stored 1.224684e-03) mu 0.013703709 s_req 0.194928393 smin0-s_req 4.419e-05 | pivots>0: E1 True (min 5.12e-12) smin True (min 2.14e-04) | PASS  2.2s
rank   562 box  64768 L=[3, 2, 3, 3] K=[34, 9, 31, 32] stored bound 0.180043231 | R2_iv 1.222351e-03 (stored 1.222351e-03) mu 0.013545026 s_req 0.194767376 smin0-s_req 4.423e-05 | pivots>0: E1 True (min 4.29e-12) smin True (min 2.08e-04) | PASS  2.2s
rank   563 box  63181 L=[3, 2, 3, 3] K=[39, 2, 31, 30] stored bound 0.180043238 | R2_iv 1.221891e-03 (stored 1.221891e-03) mu 0.013522738 s_req 0.194744630 smin0-s_req 4.424e-05 | pivots>0: E1 True (min 6.68e-12) smin True (min 1.97e-04) | PASS  2.2s
rank   564 box  57234 L=[3, 2, 3, 3] K=[22, 1, 30, 32] stored bound 0.180043267 | R2_iv 1.221855e-03 (stored 1.221855e-03) mu 0.013595919 s_req 0.194817774 smin0-s_req 4.427e-05 | pivots>0: E1 True (min 2.09e-12) smin True (min 1.70e-04) | PASS  2.2s
rank   565 box  58971 L=[3, 2, 3, 3] K=[18, 13, 30, 31] stored bound 0.180043293 | R2_iv 1.223538e-03 (stored 1.223538e-03) mu 0.013792318 s_req 0.195015855 smin0-s_req 4.429e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 2.17e-04) | PASS  2.2s
rank   566 box  44529 L=[2, 2, 3, 3] K=[20, 8, 31, 35] stored bound 0.180043354 | R2_iv 1.709034e-03 (stored 1.709034e-03) mu 0.015941943 s_req 0.197650977 smin0-s_req 4.435e-05 | pivots>0: E1 True (min 1.38e-12) smin True (min 2.18e-04) | PASS  2.2s
rank   567 box  56724 L=[3, 2, 3, 3] K=[19, 1, 30, 31] stored bound 0.180043422 | R2_iv 1.222153e-03 (stored 1.222153e-03) mu 0.013585949 s_req 0.194808102 smin0-s_req 4.442e-05 | pivots>0: E1 True (min 2.24e-12) smin True (min 1.70e-04) | PASS  2.2s
rank   568 box  50135 L=[2, 2, 3, 3] K=[30, 12, 29, 27] stored bound 0.180043534 | R2_iv 1.719948e-03 (stored 1.719948e-03) mu 0.016983821 s_req 0.198703769 smin0-s_req 4.453e-05 | pivots>0: E1 True (min 1.59e-12) smin True (min 2.85e-04) | PASS  2.2s
rank   569 box  54705 L=[3, 2, 3, 3] K=[12, 6, 31, 31] stored bound 0.180043606 | R2_iv 1.221625e-03 (stored 1.221625e-03) mu 0.013465368 s_req 0.194686993 smin0-s_req 4.461e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 1.95e-04) | PASS  2.2s
rank   570 box  57233 L=[3, 2, 3, 3] K=[22, 0, 31, 33] stored bound 0.180043670 | R2_iv 1.222375e-03 (stored 1.222375e-03) mu 0.013653284 s_req 0.194875660 smin0-s_req 4.467e-05 | pivots>0: E1 True (min 2.05e-12) smin True (min 1.67e-04) | PASS  2.2s
rank   571 box  58972 L=[3, 2, 3, 3] K=[19, 13, 30, 31] stored bound 0.180043771 | R2_iv 1.223553e-03 (stored 1.223553e-03) mu 0.013793209 s_req 0.195016762 smin0-s_req 4.477e-05 | pivots>0: E1 True (min 1.96e-12) smin True (min 2.19e-04) | PASS  2.2s
rank   572 box  57962 L=[3, 2, 3, 3] K=[22, 4, 31, 33] stored bound 0.180043822 | R2_iv 1.220914e-03 (stored 1.220914e-03) mu 0.013513228 s_req 0.194734141 smin0-s_req 4.482e-05 | pivots>0: E1 True (min 2.47e-12) smin True (min 1.84e-04) | PASS  2.2s
rank   573 box  58167 L=[3, 2, 3, 3] K=[17, 8, 31, 30] stored bound 0.180043836 | R2_iv 1.221258e-03 (stored 1.221258e-03) mu 0.013513594 s_req 0.194734852 smin0-s_req 4.484e-05 | pivots>0: E1 True (min 3.30e-12) smin True (min 2.01e-04) | PASS  2.2s
rank   574 box  64191 L=[3, 2, 3, 3] K=[37, 6, 31, 32] stored bound 0.180043929 | R2_iv 1.221719e-03 (stored 1.221719e-03) mu 0.013471591 s_req 0.194693310 smin0-s_req 4.493e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 2.08e-04) | PASS  2.2s
rank   575 box  17875 L=[2, 1, 2, 3] K=[19, 7, 13, 23] stored bound 0.180043965 | R2_iv 4.120544e-03 (stored 4.120544e-03) mu 0.023648121 s_req 0.207768665 smin0-s_req 4.496e-05 | pivots>0: E1 True (min 5.17e-12) smin True (min 2.26e-04) | PASS  2.2s
rank   576 box  37781 L=[2, 2, 3, 3] K=[11, 10, 27, 30] stored bound 0.180044038 | R2_iv 1.707719e-03 (stored 1.707719e-03) mu 0.016196223 s_req 0.197903941 smin0-s_req 4.504e-05 | pivots>0: E1 True (min 1.68e-12) smin True (min 2.14e-04) | PASS  2.2s
rank   577 box  59205 L=[3, 2, 3, 3] K=[22, 12, 30, 31] stored bound 0.180044147 | R2_iv 1.222948e-03 (stored 1.222948e-03) mu 0.013722496 s_req 0.194945445 smin0-s_req 4.515e-05 | pivots>0: E1 True (min 2.10e-12) smin True (min 2.15e-04) | PASS  2.2s
rank   578 box  57969 L=[3, 2, 3, 3] K=[23, 5, 31, 33] stored bound 0.180044208 | R2_iv 1.220776e-03 (stored 1.220776e-03) mu 0.013493013 s_req 0.194713788 smin0-s_req 4.521e-05 | pivots>0: E1 True (min 2.64e-12) smin True (min 1.90e-04) | PASS  2.2s
rank   579 box  57450 L=[3, 2, 3, 3] K=[18, 4, 31, 30] stored bound 0.180044439 | R2_iv 1.221197e-03 (stored 1.221197e-03) mu 0.013495278 s_req 0.194716474 smin0-s_req 4.544e-05 | pivots>0: E1 True (min 3.23e-12) smin True (min 1.86e-04) | PASS  2.2s
rank   580 box  57965 L=[3, 2, 3, 3] K=[23, 5, 30, 32] stored bound 0.180044501 | R2_iv 1.220776e-03 (stored 1.220776e-03) mu 0.013491610 s_req 0.194712386 smin0-s_req 4.550e-05 | pivots>0: E1 True (min 2.58e-12) smin True (min 1.92e-04) | PASS  2.2s
rank   581 box  58283 L=[3, 2, 3, 3] K=[17, 10, 31, 30] stored bound 0.180044545 | R2_iv 1.221859e-03 (stored 1.221859e-03) mu 0.013587415 s_req 0.194809274 smin0-s_req 4.554e-05 | pivots>0: E1 True (min 3.23e-12) smin True (min 2.13e-04) | PASS  2.2s
rank   582 box  37482 L=[2, 2, 3, 3] K=[11, 7, 29, 34] stored bound 0.180044627 | R2_iv 1.706721e-03 (stored 1.706721e-03) mu 0.015855760 s_req 0.197562481 smin0-s_req 4.563e-05 | pivots>0: E1 True (min 1.55e-12) smin True (min 2.03e-04) | PASS  2.2s
rank   583 box  39073 L=[2, 2, 3, 3] K=[13, 3, 28, 33] stored bound 0.180044639 | R2_iv 1.706803e-03 (stored 1.706803e-03) mu 0.015922564 s_req 0.197629367 smin0-s_req 4.564e-05 | pivots>0: E1 True (min 1.21e-12) smin True (min 1.90e-04) | PASS  2.2s
rank   584 box  31908 L=[2, 2, 3, 3] K=[3, 2, 28, 29] stored bound 0.180044683 | R2_iv 1.709980e-03 (stored 1.709980e-03) mu 0.016066407 s_req 0.197776387 smin0-s_req 4.568e-05 | pivots>0: E1 True (min 1.20e-12) smin True (min 1.90e-04) | PASS  2.2s
rank   585 box  15785 L=[2, 2, 2, 2] K=[8, 5, 12, 12] stored bound 0.180044753 | R2_iv 3.071999e-03 (stored 3.071999e-03) mu 0.023640237 s_req 0.206712236 smin0-s_req 4.575e-05 | pivots>0: E1 True (min 6.14e-12) smin True (min 2.05e-04) | PASS  2.2s
rank   586 box  58958 L=[3, 2, 3, 3] K=[17, 13, 30, 31] stored bound 0.180044817 | R2_iv 1.223534e-03 (stored 1.223534e-03) mu 0.013791473 s_req 0.195015007 smin0-s_req 4.582e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 2.26e-04) | PASS  2.2s
rank   587 box  45569 L=[2, 2, 3, 3] K=[24, 1, 28, 32] stored bound 0.180044848 | R2_iv 1.709746e-03 (stored 1.709746e-03) mu 0.016080676 s_req 0.197790422 smin0-s_req 4.585e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 2.38e-04) | PASS  2.2s
rank   588 box  58300 L=[3, 2, 3, 3] K=[18, 11, 31, 30] stored bound 0.180044885 | R2_iv 1.222295e-03 (stored 1.222295e-03) mu 0.013635931 s_req 0.194858226 smin0-s_req 4.588e-05 | pivots>0: E1 True (min 3.28e-12) smin True (min 2.17e-04) | PASS  2.2s
rank   589 box  40642 L=[2, 2, 3, 3] K=[14, 13, 29, 34] stored bound 0.180045164 | R2_iv 1.710332e-03 (stored 1.710332e-03) mu 0.016406484 s_req 0.198116816 smin0-s_req 4.616e-05 | pivots>0: E1 True (min 1.73e-12) smin True (min 2.24e-04) | PASS  2.2s
rank   590 box  63828 L=[3, 2, 3, 3] K=[39, 5, 31, 31] stored bound 0.180045192 | R2_iv 1.221845e-03 (stored 1.221845e-03) mu 0.013448582 s_req 0.194670427 smin0-s_req 4.619e-05 | pivots>0: E1 True (min 6.42e-12) smin True (min 2.15e-04) | PASS  2.2s
rank   591 box  44927 L=[2, 2, 3, 3] K=[20, 12, 28, 28] stored bound 0.180045220 | R2_iv 1.711921e-03 (stored 1.711921e-03) mu 0.016415972 s_req 0.198127893 smin0-s_req 4.622e-05 | pivots>0: E1 True (min 1.75e-12) smin True (min 2.33e-04) | PASS  2.2s
rank   592 box  74937 L=[3, 2, 3, 3] K=[63, 12, 30, 31] stored bound 0.180045331 | R2_iv 1.234330e-03 (stored 1.234330e-03) mu 0.014103957 s_req 0.195338286 smin0-s_req 4.633e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 3.08e-04) | PASS  2.2s
rank   593 box   7801 L=[1, 1, 2, 2] K=[7, 7, 12, 19] stored bound 0.180045355 | R2_iv 7.099687e-03 (stored 7.099687e-03) mu 0.032888664 s_req 0.219988352 smin0-s_req 4.636e-05 | pivots>0: E1 True (min 6.95e-12) smin True (min 2.55e-04) | PASS  2.2s
rank   594 box  20725 L=[2, 2, 2, 3] K=[0, 4, 15, 26] stored bound 0.180045476 | R2_iv 2.361902e-03 (stored 2.361902e-03) mu 0.018561557 s_req 0.200923459 smin0-s_req 4.648e-05 | pivots>0: E1 True (min 7.06e-13) smin True (min 2.19e-04) | PASS  2.2s
rank   595 box  10721 L=[2, 1, 2, 2] K=[6, 7, 13, 19] stored bound 0.180045503 | R2_iv 5.036973e-03 (stored 5.036973e-03) mu 0.028733706 s_req 0.213770679 smin0-s_req 4.650e-05 | pivots>0: E1 True (min 6.05e-12) smin True (min 2.62e-04) | PASS  2.2s
rank   596 box  64482 L=[3, 2, 3, 3] K=[35, 11, 31, 31] stored bound 0.180045508 | R2_iv 1.223723e-03 (stored 1.223723e-03) mu 0.013635365 s_req 0.194859087 smin0-s_req 4.651e-05 | pivots>0: E1 True (min 6.23e-12) smin True (min 2.23e-04) | PASS  2.2s
rank   597 box  63598 L=[3, 2, 3, 3] K=[34, 5, 31, 30] stored bound 0.180045516 | R2_iv 1.221196e-03 (stored 1.221196e-03) mu 0.013463569 s_req 0.194684765 smin0-s_req 4.652e-05 | pivots>0: E1 True (min 3.54e-12) smin True (min 2.07e-04) | PASS  2.2s
rank   598 box  40127 L=[2, 2, 3, 3] K=[13, 8, 29, 34] stored bound 0.180045604 | R2_iv 1.707059e-03 (stored 1.707059e-03) mu 0.015946215 s_req 0.197653274 smin0-s_req 4.660e-05 | pivots>0: E1 True (min 1.57e-12) smin True (min 2.13e-04) | PASS  2.2s
rank   599 box  62976 L=[3, 2, 3, 3] K=[34, 3, 30, 30] stored bound 0.180045722 | R2_iv 1.221238e-03 (stored 1.221238e-03) mu 0.013496094 s_req 0.194717332 smin0-s_req 4.672e-05 | pivots>0: E1 True (min 5.45e-12) smin True (min 2.01e-04) | PASS  2.2s
rank   600 box  71649 L=[3, 2, 3, 3] K=[52, 15, 30, 31] stored bound 0.180045965 | R2_iv 1.232867e-03 (stored 1.232867e-03) mu 0.014034003 s_req 0.195266870 smin0-s_req 4.696e-05 | pivots>0: E1 True (min 2.71e-12) smin True (min 2.54e-04) | PASS  2.2s
rank   601 box  58951 L=[3, 2, 3, 3] K=[16, 12, 30, 31] stored bound 0.180046114 | R2_iv 1.222891e-03 (stored 1.222891e-03) mu 0.013718549 s_req 0.194941440 smin0-s_req 4.711e-05 | pivots>0: E1 True (min 2.01e-12) smin True (min 2.30e-04) | PASS  2.2s
rank   602 box  64577 L=[3, 2, 3, 3] K=[36, 8, 31, 31] stored bound 0.180046190 | R2_iv 1.222201e-03 (stored 1.222201e-03) mu 0.013498110 s_req 0.194720311 smin0-s_req 4.719e-05 | pivots>0: E1 True (min 6.45e-12) smin True (min 2.22e-04) | PASS  2.2s
rank   603 box  59199 L=[3, 2, 3, 3] K=[20, 13, 30, 31] stored bound 0.180046236 | R2_iv 1.223579e-03 (stored 1.223579e-03) mu 0.013794152 s_req 0.195017731 smin0-s_req 4.724e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 2.30e-04) | PASS  2.2s
rank   604 box  44037 L=[2, 2, 3, 3] K=[21, 5, 31, 35] stored bound 0.180046289 | R2_iv 1.708431e-03 (stored 1.708431e-03) mu 0.015890568 s_req 0.197598999 smin0-s_req 4.729e-05 | pivots>0: E1 True (min 1.37e-12) smin True (min 2.31e-04) | PASS  2.2s
rank   605 box  55119 L=[3, 2, 3, 3] K=[10, 8, 31, 31] stored bound 0.180046321 | R2_iv 1.221954e-03 (stored 1.221954e-03) mu 0.013498225 s_req 0.194720180 smin0-s_req 4.732e-05 | pivots>0: E1 True (min 3.20e-12) smin True (min 2.20e-04) | PASS  2.2s
rank   606 box  61367 L=[3, 2, 3, 3] K=[24, 11, 30, 31] stored bound 0.180046337 | R2_iv 1.222420e-03 (stored 1.222420e-03) mu 0.013656383 s_req 0.194878803 smin0-s_req 4.734e-05 | pivots>0: E1 True (min 2.29e-12) smin True (min 2.22e-04) | PASS  2.2s
rank   607 box  43423 L=[2, 2, 3, 3] K=[20, 1, 29, 34] stored bound 0.180046339 | R2_iv 1.708226e-03 (stored 1.708226e-03) mu 0.016049670 s_req 0.197757895 smin0-s_req 4.734e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 2.15e-04) | PASS  2.2s
rank   608 box  63596 L=[3, 2, 3, 3] K=[34, 5, 30, 31] stored bound 0.180046351 | R2_iv 1.221196e-03 (stored 1.221196e-03) mu 0.013465436 s_req 0.194686631 smin0-s_req 4.735e-05 | pivots>0: E1 True (min 3.63e-12) smin True (min 2.11e-04) | PASS  2.2s
rank   609 box  36109 L=[2, 2, 3, 3] K=[4, 15, 30, 27] stored bound 0.180046391 | R2_iv 1.711530e-03 (stored 1.711530e-03) mu 0.016626740 s_req 0.198338270 smin0-s_req 4.739e-05 | pivots>0: E1 True (min 1.83e-12) smin True (min 2.60e-04) | PASS  2.2s
rank   610 box  45487 L=[2, 2, 3, 3] K=[26, 2, 28, 29] stored bound 0.180046392 | R2_iv 1.710736e-03 (stored 1.710736e-03) mu 0.016132900 s_req 0.197843635 smin0-s_req 4.739e-05 | pivots>0: E1 True (min 1.44e-12) smin True (min 2.68e-04) | PASS  2.2s
rank   611 box  68305 L=[3, 2, 3, 3] K=[40, 13, 31, 31] stored bound 0.180046544 | R2_iv 1.226513e-03 (stored 1.226513e-03) mu 0.013789342 s_req 0.195015855 smin0-s_req 4.754e-05 | pivots>0: E1 True (min 4.70e-12) smin True (min 2.35e-04) | PASS  2.2s
rank   612 box  29686 L=[2, 2, 2, 3] K=[24, 8, 14, 26] stored bound 0.180046699 | R2_iv 2.361562e-03 (stored 2.361562e-03) mu 0.018353961 s_req 0.200715523 smin0-s_req 4.770e-05 | pivots>0: E1 True (min 5.33e-13) smin True (min 2.60e-04) | PASS  2.2s
rank   613 box  46967 L=[2, 2, 3, 3] K=[27, 13, 27, 30] stored bound 0.180046820 | R2_iv 1.718184e-03 (stored 1.718184e-03) mu 0.016808849 s_req 0.198527033 smin0-s_req 4.782e-05 | pivots>0: E1 True (min 1.54e-12) smin True (min 2.81e-04) | PASS  2.2s
rank   614 box  39630 L=[2, 2, 3, 3] K=[13, 5, 29, 34] stored bound 0.180046825 | R2_iv 1.706574e-03 (stored 1.706574e-03) mu 0.015740202 s_req 0.197446776 smin0-s_req 4.783e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 2.07e-04) | PASS  2.2s
rank   615 box  37311 L=[2, 2, 3, 3] K=[8, 6, 28, 28] stored bound 0.180046828 | R2_iv 1.706959e-03 (stored 1.706959e-03) mu 0.015794469 s_req 0.197501428 smin0-s_req 4.783e-05 | pivots>0: E1 True (min 1.57e-12) smin True (min 2.09e-04) | PASS  2.2s
rank   616 box  18111 L=[2, 2, 2, 2] K=[20, 2, 12, 12] stored bound 0.180046911 | R2_iv 3.075352e-03 (stored 3.075352e-03) mu 0.023711377 s_req 0.206786729 smin0-s_req 4.791e-05 | pivots>0: E1 True (min 6.49e-12) smin True (min 2.31e-04) | PASS  2.2s
rank   617 box  53969 L=[3, 2, 3, 3] K=[14, 3, 31, 31] stored bound 0.180046913 | R2_iv 1.221965e-03 (stored 1.221965e-03) mu 0.013502571 s_req 0.194724536 smin0-s_req 4.791e-05 | pivots>0: E1 True (min 3.31e-12) smin True (min 1.93e-04) | PASS  2.2s
rank   618 box  11729 L=[2, 1, 2, 2] K=[13, 6, 13, 19] stored bound 0.180046918 | R2_iv 5.032365e-03 (stored 5.032365e-03) mu 0.028567522 s_req 0.213599886 smin0-s_req 4.792e-05 | pivots>0: E1 True (min 5.73e-12) smin True (min 2.47e-04) | PASS  2.2s
rank   619 box  60867 L=[3, 2, 3, 3] K=[31, 7, 31, 30] stored bound 0.180046944 | R2_iv 1.221246e-03 (stored 1.221246e-03) mu 0.013493626 s_req 0.194714871 smin0-s_req 4.794e-05 | pivots>0: E1 True (min 3.57e-12) smin True (min 2.15e-04) | PASS  2.2s
rank   620 box  65943 L=[3, 2, 3, 3] K=[40, 0, 30, 30] stored bound 0.180046987 | R2_iv 1.222545e-03 (stored 1.222545e-03) mu 0.013622728 s_req 0.194845274 smin0-s_req 4.799e-05 | pivots>0: E1 True (min 3.20e-12) smin True (min 2.09e-04) | PASS  2.2s
rank   621 box  58286 L=[3, 2, 3, 3] K=[16, 11, 30, 31] stored bound 0.180047122 | R2_iv 1.222344e-03 (stored 1.222344e-03) mu 0.013653096 s_req 0.194875440 smin0-s_req 4.812e-05 | pivots>0: E1 True (min 2.13e-12) smin True (min 2.31e-04) | PASS  2.2s
rank   622 box  23347 L=[2, 2, 2, 3] K=[11, 2, 15, 37] stored bound 0.180047126 | R2_iv 2.354930e-03 (stored 2.354930e-03) mu 0.018694163 s_req 0.201049094 smin0-s_req 4.813e-05 | pivots>0: E1 True (min 7.29e-13) smin True (min 1.92e-04) | PASS  2.2s
rank   623 box  34827 L=[2, 2, 3, 3] K=[7, 7, 28, 28] stored bound 0.180047167 | R2_iv 1.707187e-03 (stored 1.707187e-03) mu 0.015879838 s_req 0.197587026 smin0-s_req 4.817e-05 | pivots>0: E1 True (min 1.65e-12) smin True (min 2.17e-04) | PASS  2.2s
rank   624 box  57673 L=[3, 2, 3, 3] K=[23, 5, 30, 30] stored bound 0.180047243 | R2_iv 1.220776e-03 (stored 1.220776e-03) mu 0.013463644 s_req 0.194684419 smin0-s_req 4.824e-05 | pivots>0: E1 True (min 5.10e-12) smin True (min 2.03e-04) | PASS  2.2s
rank   625 box  14518 L=[2, 2, 2, 2] K=[3, 13, 12, 12] stored bound 0.180047255 | R2_iv 3.083248e-03 (stored 3.083248e-03) mu 0.023973412 s_req 0.207056661 smin0-s_req 4.826e-05 | pivots>0: E1 True (min 8.78e-12) smin True (min 2.75e-04) | PASS  2.2s
rank   626 box   2565 L=[1, 0, 1, 1] K=[15, 3, 2, 7] stored bound 0.180047357 | R2_iv 2.146447e-02 (stored 2.146447e-02) mu 0.058646528 s_req 0.260110995 smin0-s_req 4.836e-05 | pivots>0: E1 True (min 2.09e-11) smin True (min 6.83e-04) | PASS  2.2s
rank   627 box  25863 L=[2, 2, 3, 2] K=[16, 0, 27, 12] stored bound 0.180047400 | R2_iv 2.356313e-03 (stored 2.356313e-03) mu 0.020790052 s_req 0.203146365 smin0-s_req 4.840e-05 | pivots>0: E1 True (min 2.45e-12) smin True (min 1.98e-04) | PASS  2.2s
rank   628 box   2838 L=[1, 1, 1, 1] K=[2, 2, 6, 3] stored bound 0.180047465 | R2_iv 1.272508e-02 (stored 1.272508e-02) mu 0.049835855 s_req 0.242560935 smin0-s_req 4.846e-05 | pivots>0: E1 True (min 1.19e-11) smin True (min 2.34e-04) | PASS  2.2s
rank   629 box  37309 L=[2, 2, 3, 3] K=[8, 4, 28, 28] stored bound 0.180047631 | R2_iv 1.707216e-03 (stored 1.707216e-03) mu 0.015855891 s_req 0.197563106 smin0-s_req 4.863e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 2.03e-04) | PASS  2.2s
rank   630 box  32403 L=[2, 2, 3, 3] K=[2, 4, 28, 29] stored bound 0.180047738 | R2_iv 1.709551e-03 (stored 1.709551e-03) mu 0.016029008 s_req 0.197738559 smin0-s_req 4.874e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 2.17e-04) | PASS  2.2s
rank   631 box  32396 L=[2, 2, 3, 3] K=[0, 7, 29, 28] stored bound 0.180047776 | R2_iv 1.709916e-03 (stored 1.709916e-03) mu 0.016005224 s_req 0.197715140 smin0-s_req 4.878e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 2.45e-04) | PASS  2.2s
rank   632 box  37710 L=[2, 2, 3, 3] K=[9, 10, 27, 30] stored bound 0.180047798 | R2_iv 1.707702e-03 (stored 1.707702e-03) mu 0.016190026 s_req 0.197897729 smin0-s_req 4.880e-05 | pivots>0: E1 True (min 1.70e-12) smin True (min 2.34e-04) | PASS  2.2s
rank   633 box  38253 L=[2, 2, 3, 3] K=[8, 13, 30, 27] stored bound 0.180047980 | R2_iv 1.709535e-03 (stored 1.709535e-03) mu 0.016429139 s_req 0.198138674 smin0-s_req 4.898e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 2.43e-04) | PASS  2.2s
rank   634 box  38740 L=[2, 2, 3, 3] K=[12, 0, 31, 27] stored bound 0.180048092 | R2_iv 1.708090e-03 (stored 1.708090e-03) mu 0.016154158 s_req 0.197862248 smin0-s_req 4.909e-05 | pivots>0: E1 True (min 1.26e-12) smin True (min 1.86e-04) | PASS  2.2s
rank   635 box  57958 L=[3, 2, 3, 3] K=[22, 4, 30, 32] stored bound 0.180048272 | R2_iv 1.220914e-03 (stored 1.220914e-03) mu 0.013507280 s_req 0.194728193 smin0-s_req 4.927e-05 | pivots>0: E1 True (min 2.44e-12) smin True (min 2.03e-04) | PASS  2.2s
rank   636 box  44041 L=[2, 2, 3, 3] K=[21, 6, 28, 32] stored bound 0.180048281 | R2_iv 1.708682e-03 (stored 1.708682e-03) mu 0.015982301 s_req 0.197690983 smin0-s_req 4.928e-05 | pivots>0: E1 True (min 1.38e-12) smin True (min 2.48e-04) | PASS  2.2s
rank   637 box  55592 L=[3, 2, 3, 3] K=[9, 10, 31, 32] stored bound 0.180048322 | R2_iv 1.222517e-03 (stored 1.222517e-03) mu 0.013568366 s_req 0.194790882 smin0-s_req 4.932e-05 | pivots>0: E1 True (min 2.32e-12) smin True (min 2.42e-04) | PASS  2.2s
rank   638 box  58957 L=[3, 2, 3, 3] K=[16, 13, 30, 31] stored bound 0.180048341 | R2_iv 1.223541e-03 (stored 1.223541e-03) mu 0.013790672 s_req 0.195014214 smin0-s_req 4.934e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 2.45e-04) | PASS  2.2s
rank   639 box  41028 L=[2, 2, 3, 3] K=[16, 2, 29, 27] stored bound 0.180048399 | R2_iv 1.707182e-03 (stored 1.707182e-03) mu 0.015990617 s_req 0.197697799 smin0-s_req 4.940e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 2.07e-04) | PASS  2.2s
rank   640 box  64761 L=[3, 2, 3, 3] K=[35, 8, 31, 32] stored bound 0.180048430 | R2_iv 1.222048e-03 (stored 1.222048e-03) mu 0.013513413 s_req 0.194735462 smin0-s_req 4.943e-05 | pivots>0: E1 True (min 3.87e-12) smin True (min 2.31e-04) | PASS  2.2s
rank   641 box  42825 L=[2, 2, 3, 3] K=[16, 14, 29, 34] stored bound 0.180048471 | R2_iv 1.712003e-03 (stored 1.712003e-03) mu 0.016508696 s_req 0.198220700 smin0-s_req 4.947e-05 | pivots>0: E1 True (min 1.76e-12) smin True (min 2.42e-04) | PASS  2.2s
rank   642 box  57670 L=[3, 2, 3, 3] K=[22, 4, 30, 30] stored bound 0.180048487 | R2_iv 1.220914e-03 (stored 1.220914e-03) mu 0.013481888 s_req 0.194702801 smin0-s_req 4.949e-05 | pivots>0: E1 True (min 4.75e-12) smin True (min 2.03e-04) | PASS  2.2s
rank   643 box  23328 L=[2, 2, 2, 3] K=[11, 1, 15, 37] stored bound 0.180048529 | R2_iv 2.355526e-03 (stored 2.355526e-03) mu 0.018731257 s_req 0.201086783 smin0-s_req 4.953e-05 | pivots>0: E1 True (min 7.42e-13) smin True (min 1.93e-04) | PASS  2.2s
rank   644 box  33579 L=[2, 2, 3, 3] K=[2, 14, 27, 30] stored bound 0.180048573 | R2_iv 1.711193e-03 (stored 1.711193e-03) mu 0.016559684 s_req 0.198270877 smin0-s_req 4.957e-05 | pivots>0: E1 True (min 1.81e-12) smin True (min 2.86e-04) | PASS  2.2s
rank   645 box  27833 L=[2, 2, 2, 3] K=[21, 8, 13, 27] stored bound 0.180048948 | R2_iv 2.358422e-03 (stored 2.358422e-03) mu 0.018455317 s_req 0.200813739 smin0-s_req 4.995e-05 | pivots>0: E1 True (min 6.76e-13) smin True (min 2.58e-04) | PASS  2.2s
rank   646 box  64198 L=[3, 2, 3, 3] K=[36, 7, 31, 32] stored bound 0.180048949 | R2_iv 1.221838e-03 (stored 1.221838e-03) mu 0.013488561 s_req 0.194710398 smin0-s_req 4.995e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 2.32e-04) | PASS  2.2s
rank   647 box  58522 L=[3, 2, 3, 3] K=[23, 11, 31, 30] stored bound 0.180048964 | R2_iv 1.222371e-03 (stored 1.222371e-03) mu 0.013639107 s_req 0.194861477 smin0-s_req 4.996e-05 | pivots>0: E1 True (min 3.88e-12) smin True (min 2.34e-04) | PASS  2.2s
rank   648 box  53262 L=[3, 2, 3, 3] K=[2, 13, 31, 32] stored bound 0.180048993 | R2_iv 1.224851e-03 (stored 1.224851e-03) mu 0.013741579 s_req 0.194966430 smin0-s_req 4.999e-05 | pivots>0: E1 True (min 1.87e-12) smin True (min 2.83e-04) | PASS  2.2s
rank   649 box  74710 L=[3, 2, 3, 3] K=[56, 15, 31, 30] stored bound 0.180048997 | R2_iv 1.234629e-03 (stored 1.234629e-03) mu 0.014023863 s_req 0.195258492 smin0-s_req 5.000e-05 | pivots>0: E1 True (min 7.42e-12) smin True (min 2.82e-04) | PASS  2.2s
SUMMARY: 650 of 650 boxes PASS; smallest (stored smin0 - s_req) = 1.063e-06; 1391 s
