certificate cert_s023.npz: 65597 boxes; window a = 1; s_target = 23/100; tail bound tau = 4.746513984410454e-41
boxes 0..649 of the order by stored bound (smallest first)
rank     0 box  49203 L=[3, 3, 2, 3] K=[28, 3, 12, 35] stored bound 0.230000149 | R2_iv 8.545403e-04 (stored 8.545403e-04) mu 0.009955764 s_req 0.240810304 smin0-s_req 1.149e-06 | pivots>0: E1 True (min 4.00e-13) smin True (min 6.75e-06) | PASS  2.2s
rank     1 box  45448 L=[3, 3, 2, 2] K=[39, 2, 15, 16] stored bound 0.230000301 | R2_iv 1.153824e-03 (stored 1.153824e-03) mu 0.011823173 s_req 0.242976996 smin0-s_req 1.301e-06 | pivots>0: E1 True (min 1.31e-12) smin True (min 8.78e-06) | PASS  2.1s
rank     2 box  19827 L=[2, 2, 1, 2] K=[7, 4, 7, 11] stored bound 0.230000333 | R2_iv 3.511760e-03 (stored 3.511760e-03) mu 0.019925045 s_req 0.253436805 smin0-s_req 1.333e-06 | pivots>0: E1 True (min 1.91e-12) smin True (min 8.10e-06) | PASS  2.2s
rank     3 box  50547 L=[3, 3, 3, 2] K=[29, 9, 26, 16] stored bound 0.230000593 | R2_iv 8.517082e-04 (stored 8.517082e-04) mu 0.010585480 s_req 0.241437188 smin0-s_req 1.593e-06 | pivots>0: E1 True (min 6.95e-12) smin True (min 1.06e-05) | PASS  2.1s
rank     4 box  46960 L=[3, 3, 2, 3] K=[23, 9, 15, 29] stored bound 0.230000629 | R2_iv 8.520182e-04 (stored 8.520182e-04) mu 0.009931916 s_req 0.240783934 smin0-s_req 1.629e-06 | pivots>0: E1 True (min 4.19e-13) smin True (min 1.01e-05) | PASS  2.2s
rank     5 box  33169 L=[3, 2, 2, 2] K=[20, 6, 12, 17] stored bound 0.230000697 | R2_iv 1.787304e-03 (stored 1.787304e-03) mu 0.014335834 s_req 0.246123138 smin0-s_req 1.697e-06 | pivots>0: E1 True (min 7.05e-12) smin True (min 1.16e-05) | PASS  2.2s
rank     6 box  44357 L=[3, 3, 2, 2] K=[32, 6, 11, 14] stored bound 0.230000748 | R2_iv 1.146441e-03 (stored 1.146441e-03) mu 0.011793033 s_req 0.242939474 smin0-s_req 1.748e-06 | pivots>0: E1 True (min 1.22e-12) smin True (min 1.17e-05) | PASS  2.2s
rank     7 box  57642 L=[3, 3, 3, 3] K=[33, 0, 25, 31] stored bound 0.230000774 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008593782 s_req 0.239195509 smin0-s_req 1.774e-06 | pivots>0: E1 True (min 3.69e-12) smin True (min 1.05e-05) | PASS  2.2s
rank     8 box   9209 L=[2, 1, 1, 1] K=[12, 5, 3, 5] stored bound 0.230000776 | R2_iv 7.470487e-03 (stored 7.470487e-03) mu 0.028551323 s_req 0.266021810 smin0-s_req 1.776e-06 | pivots>0: E1 True (min 2.66e-11) smin True (min 1.77e-05) | PASS  2.2s
rank     9 box  22283 L=[2, 2, 1, 2] K=[14, 1, 6, 25] stored bound 0.230000892 | R2_iv 3.509062e-03 (stored 3.509062e-03) mu 0.019980858 s_req 0.253489920 smin0-s_req 1.892e-06 | pivots>0: E1 True (min 1.80e-12) smin True (min 1.07e-05) | PASS  2.2s
rank    10 box    159 L=[1, 1, 0, 0] K=[0, 7, 0, 6] stored bound 0.230001134 | R2_iv 2.015558e-02 (stored 2.015558e-02) mu 0.048885429 s_req 0.299041007 smin0-s_req 2.134e-06 | pivots>0: E1 True (min 4.28e-11) smin True (min 3.11e-05) | PASS  2.2s
rank    11 box  27791 L=[2, 2, 2, 2] K=[12, 2, 9, 10] stored bound 0.230001149 | R2_iv 2.466116e-03 (stored 2.466116e-03) mu 0.017175894 s_req 0.249642009 smin0-s_req 2.149e-06 | pivots>0: E1 True (min 1.32e-11) smin True (min 1.31e-05) | PASS  2.2s
rank    12 box  51384 L=[3, 3, 3, 2] K=[37, 1, 28, 13] stored bound 0.230001151 | R2_iv 8.560266e-04 (stored 8.560266e-04) mu 0.010622982 s_req 0.241479009 smin0-s_req 2.151e-06 | pivots>0: E1 True (min 7.51e-12) smin True (min 1.37e-05) | PASS  2.2s
rank    13 box  59005 L=[3, 3, 3, 3] K=[35, 1, 29, 34] stored bound 0.230001183 | R2_iv 6.016196e-04 (stored 6.016196e-04) mu 0.008587288 s_req 0.239188907 smin0-s_req 2.183e-06 | pivots>0: E1 True (min 3.72e-12) smin True (min 1.34e-05) | PASS  2.2s
rank    14 box  21049 L=[2, 2, 2, 1] K=[10, 6, 8, 9] stored bound 0.230001226 | R2_iv 3.495354e-03 (stored 3.495354e-03) mu 0.021253592 s_req 0.254748946 smin0-s_req 2.226e-06 | pivots>0: E1 True (min 2.77e-11) smin True (min 1.70e-05) | PASS  2.2s
rank    15 box   9035 L=[2, 1, 1, 1] K=[14, 2, 2, 3] stored bound 0.230001331 | R2_iv 7.447107e-03 (stored 7.447107e-03) mu 0.028506407 s_req 0.265953514 smin0-s_req 2.331e-06 | pivots>0: E1 True (min 2.95e-11) smin True (min 1.94e-05) | PASS  2.2s
rank    16 box  54863 L=[3, 3, 3, 3] K=[25, 5, 30, 33] stored bound 0.230001348 | R2_iv 6.001228e-04 (stored 6.001228e-04) mu 0.008584990 s_req 0.239185113 smin0-s_req 2.348e-06 | pivots>0: E1 True (min 3.70e-12) smin True (min 1.36e-05) | PASS  2.2s
rank    17 box  24096 L=[2, 2, 1, 2] K=[16, 10, 7, 15] stored bound 0.230001374 | R2_iv 3.515211e-03 (stored 3.515211e-03) mu 0.019958101 s_req 0.253473313 smin0-s_req 2.374e-06 | pivots>0: E1 True (min 1.29e-12) smin True (min 1.87e-05) | PASS  2.2s
rank    18 box  25611 L=[2, 2, 2, 2] K=[11, 2, 8, 14] stored bound 0.230001382 | R2_iv 2.467339e-03 (stored 2.467339e-03) mu 0.017184727 s_req 0.249652066 smin0-s_req 2.382e-06 | pivots>0: E1 True (min 1.22e-11) smin True (min 1.49e-05) | PASS  2.2s
rank    19 box  50190 L=[3, 3, 3, 2] K=[30, 10, 30, 14] stored bound 0.230001395 | R2_iv 8.518472e-04 (stored 8.518472e-04) mu 0.010571902 s_req 0.241423749 smin0-s_req 2.395e-06 | pivots>0: E1 True (min 7.33e-12) smin True (min 1.60e-05) | PASS  2.2s
rank    20 box  21469 L=[2, 2, 1, 2] K=[11, 10, 7, 10] stored bound 0.230001547 | R2_iv 3.503913e-03 (stored 3.503913e-03) mu 0.019931489 s_req 0.253435402 smin0-s_req 2.547e-06 | pivots>0: E1 True (min 1.73e-12) smin True (min 1.91e-05) | PASS  2.2s
rank    21 box  54716 L=[3, 3, 3, 3] K=[27, 2, 30, 36] stored bound 0.230001653 | R2_iv 6.009691e-04 (stored 6.009691e-04) mu 0.008600645 s_req 0.239201614 smin0-s_req 2.653e-06 | pivots>0: E1 True (min 3.73e-12) smin True (min 1.46e-05) | PASS  2.1s
rank    22 box  15099 L=[2, 2, 1, 1] K=[13, 2, 1, 6] stored bound 0.230001778 | R2_iv 4.704940e-03 (stored 4.704940e-03) mu 0.023692443 s_req 0.258397383 smin0-s_req 2.778e-06 | pivots>0: E1 True (min 4.14e-12) smin True (min 2.18e-05) | PASS  2.1s
rank    23 box   4688 L=[1, 1, 1, 1] K=[9, 4, 4, 3] stored bound 0.230001807 | R2_iv 1.045229e-02 (stored 1.045229e-02) mu 0.033447616 s_req 0.273899906 smin0-s_req 2.807e-06 | pivots>0: E1 True (min 2.69e-11) smin True (min 2.59e-05) | PASS  2.1s
rank    24 box  46560 L=[3, 3, 2, 3] K=[23, 4, 15, 29] stored bound 0.230001828 | R2_iv 8.542030e-04 (stored 8.542030e-04) mu 0.009947257 s_req 0.240801460 smin0-s_req 2.828e-06 | pivots>0: E1 True (min 3.96e-13) smin True (min 1.57e-05) | PASS  2.2s
rank    25 box   2610 L=[1, 1, 1, 1] K=[1, 5, 1, 7] stored bound 0.230001828 | R2_iv 1.045770e-02 (stored 1.045770e-02) mu 0.034502834 s_req 0.274960538 smin0-s_req 2.828e-06 | pivots>0: E1 True (min 7.02e-11) smin True (min 3.40e-05) | PASS  2.2s
rank    26 box  29351 L=[2, 2, 2, 2] K=[14, 9, 15, 18] stored bound 0.230001881 | R2_iv 2.467213e-03 (stored 2.467213e-03) mu 0.017001692 s_req 0.249468905 smin0-s_req 2.881e-06 | pivots>0: E1 True (min 1.23e-11) smin True (min 2.15e-05) | PASS  2.2s
rank    27 box   1152 L=[1, 1, 1, 0] K=[2, 7, 7, 0] stored bound 0.230002022 | R2_iv 1.487329e-02 (stored 1.487329e-02) mu 0.042618784 s_req 0.287492070 smin0-s_req 3.022e-06 | pivots>0: E1 True (min 3.45e-10) smin True (min 2.54e-05) | PASS  2.2s
rank    28 box  59053 L=[3, 3, 3, 3] K=[33, 0, 29, 37] stored bound 0.230002036 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008608352 s_req 0.239210080 smin0-s_req 3.036e-06 | pivots>0: E1 True (min 3.82e-12) smin True (min 1.75e-05) | PASS  2.2s
rank    29 box  24878 L=[2, 2, 2, 2] K=[7, 6, 14, 13] stored bound 0.230002178 | R2_iv 2.467260e-03 (stored 2.467260e-03) mu 0.017164999 s_req 0.249632259 smin0-s_req 3.178e-06 | pivots>0: E1 True (min 1.54e-11) smin True (min 2.13e-05) | PASS  2.2s
rank    30 box  48598 L=[3, 3, 2, 3] K=[24, 4, 14, 27] stored bound 0.230002212 | R2_iv 8.540325e-04 (stored 8.540325e-04) mu 0.009948350 s_req 0.240802383 smin0-s_req 3.212e-06 | pivots>0: E1 True (min 4.10e-13) smin True (min 1.80e-05) | PASS  2.2s
rank    31 box  62792 L=[4, 3, 3, 3] K=[62, 3, 30, 32] stored bound 0.230002312 | R2_iv 4.389147e-04 (stored 4.389147e-04) mu 0.007173197 s_req 0.237612112 smin0-s_req 3.312e-06 | pivots>0: E1 True (min 1.97e-12) smin True (min 1.96e-05) | PASS  2.2s
rank    32 box  40744 L=[3, 3, 2, 2] K=[27, 5, 11, 12] stored bound 0.230002335 | R2_iv 1.146383e-03 (stored 1.146383e-03) mu 0.011833182 s_req 0.242979565 smin0-s_req 3.335e-06 | pivots>0: E1 True (min 1.17e-12) smin True (min 2.04e-05) | PASS  2.2s
rank    33 box  18606 L=[2, 2, 1, 1] K=[20, 5, 5, 7] stored bound 0.230002372 | R2_iv 4.734345e-03 (stored 4.734345e-03) mu 0.023433605 s_req 0.258167950 smin0-s_req 3.372e-06 | pivots>0: E1 True (min 3.48e-12) smin True (min 2.90e-05) | PASS  2.2s
rank    34 box  29908 L=[2, 2, 2, 2] K=[18, 2, 9, 16] stored bound 0.230002445 | R2_iv 2.469503e-03 (stored 2.469503e-03) mu 0.017094047 s_req 0.249563550 smin0-s_req 3.445e-06 | pivots>0: E1 True (min 1.20e-11) smin True (min 2.62e-05) | PASS  2.2s
rank    35 box   9105 L=[2, 1, 1, 1] K=[14, 3, 5, 1] stored bound 0.230002596 | R2_iv 7.448768e-03 (stored 7.448768e-03) mu 0.028261706 s_req 0.265710473 smin0-s_req 3.596e-06 | pivots>0: E1 True (min 2.20e-11) smin True (min 2.52e-05) | PASS  2.2s
rank    36 box  25692 L=[2, 2, 2, 2] K=[11, 3, 9, 18] stored bound 0.230002677 | R2_iv 2.464811e-03 (stored 2.464811e-03) mu 0.017173251 s_req 0.249638062 smin0-s_req 3.677e-06 | pivots>0: E1 True (min 1.39e-11) smin True (min 2.37e-05) | PASS  2.2s
rank    37 box  54629 L=[3, 3, 3, 3] K=[27, 0, 30, 35] stored bound 0.230002721 | R2_iv 6.018285e-04 (stored 6.018285e-04) mu 0.008607901 s_req 0.239209729 smin0-s_req 3.721e-06 | pivots>0: E1 True (min 3.69e-12) smin True (min 1.96e-05) | PASS  2.2s
rank    38 box  33174 L=[3, 2, 2, 2] K=[23, 7, 12, 17] stored bound 0.230002810 | R2_iv 1.786559e-03 (stored 1.786559e-03) mu 0.014308882 s_req 0.246095441 smin0-s_req 3.810e-06 | pivots>0: E1 True (min 6.87e-12) smin True (min 2.72e-05) | PASS  2.2s
rank    39 box  53984 L=[3, 3, 3, 3] K=[28, 5, 27, 28] stored bound 0.230002910 | R2_iv 5.999770e-04 (stored 5.999770e-04) mu 0.008582762 s_req 0.239182739 smin0-s_req 3.910e-06 | pivots>0: E1 True (min 3.67e-12) smin True (min 2.34e-05) | PASS  2.2s
rank    40 box  35453 L=[3, 2, 2, 2] K=[31, 5, 11, 16] stored bound 0.230003292 | R2_iv 1.788333e-03 (stored 1.788333e-03) mu 0.014260964 s_req 0.246049296 smin0-s_req 4.292e-06 | pivots>0: E1 True (min 6.45e-12) smin True (min 3.11e-05) | PASS  2.2s
rank    41 box  31197 L=[2, 2, 2, 2] K=[21, 1, 13, 15] stored bound 0.230003317 | R2_iv 2.478699e-03 (stored 2.478699e-03) mu 0.017046698 s_req 0.249525397 smin0-s_req 4.317e-06 | pivots>0: E1 True (min 1.41e-11) smin True (min 3.25e-05) | PASS  2.2s
rank    42 box  36662 L=[3, 2, 2, 2] K=[35, 3, 11, 13] stored bound 0.230003337 | R2_iv 1.791850e-03 (stored 1.791850e-03) mu 0.014277627 s_req 0.246069477 smin0-s_req 4.337e-06 | pivots>0: E1 True (min 8.20e-12) smin True (min 3.08e-05) | PASS  2.2s
rank    43 box  53761 L=[3, 3, 3, 3] K=[30, 2, 25, 29] stored bound 0.230003365 | R2_iv 6.008711e-04 (stored 6.008711e-04) mu 0.008593757 s_req 0.239194628 smin0-s_req 4.365e-06 | pivots>0: E1 True (min 3.62e-12) smin True (min 2.56e-05) | PASS  2.2s
rank    44 box  49054 L=[3, 3, 2, 3] K=[24, 7, 14, 35] stored bound 0.230003464 | R2_iv 8.525483e-04 (stored 8.525483e-04) mu 0.009938126 s_req 0.240790675 smin0-s_req 4.464e-06 | pivots>0: E1 True (min 4.13e-13) smin True (min 2.68e-05) | PASS  2.2s
rank    45 box  61004 L=[4, 3, 3, 3] K=[59, 1, 30, 29] stored bound 0.230003479 | R2_iv 4.395456e-04 (stored 4.395456e-04) mu 0.007194823 s_req 0.237634368 smin0-s_req 4.479e-06 | pivots>0: E1 True (min 1.93e-12) smin True (min 2.48e-05) | PASS  2.2s
rank    46 box  53547 L=[3, 3, 3, 3] K=[31, 2, 27, 26] stored bound 0.230003535 | R2_iv 6.009013e-04 (stored 6.009013e-04) mu 0.008597097 s_req 0.239197999 smin0-s_req 4.535e-06 | pivots>0: E1 True (min 3.74e-12) smin True (min 2.65e-05) | PASS  2.2s
rank    47 box  54262 L=[3, 3, 3, 3] K=[29, 6, 31, 27] stored bound 0.230003586 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008574983 s_req 0.239174765 smin0-s_req 4.586e-06 | pivots>0: E1 True (min 3.63e-12) smin True (min 2.80e-05) | PASS  2.2s
rank    48 box  28618 L=[2, 2, 2, 2] K=[15, 4, 9, 18] stored bound 0.230003588 | R2_iv 2.463179e-03 (stored 2.463179e-03) mu 0.017107991 s_req 0.249571170 smin0-s_req 4.588e-06 | pivots>0: E1 True (min 1.19e-11) smin True (min 3.41e-05) | PASS  2.2s
rank    49 box  36751 L=[3, 2, 2, 2] K=[37, 2, 11, 15] stored bound 0.230003599 | R2_iv 1.794552e-03 (stored 1.794552e-03) mu 0.014280393 s_req 0.246074945 smin0-s_req 4.599e-06 | pivots>0: E1 True (min 8.59e-12) smin True (min 3.29e-05) | PASS  2.2s
rank    50 box  50683 L=[3, 3, 3, 2] K=[30, 9, 31, 18] stored bound 0.230003777 | R2_iv 8.518723e-04 (stored 8.518723e-04) mu 0.010580707 s_req 0.241432580 smin0-s_req 4.777e-06 | pivots>0: E1 True (min 7.17e-12) smin True (min 3.12e-05) | PASS  2.2s
rank    51 box  24377 L=[2, 2, 2, 1] K=[21, 2, 15, 5] stored bound 0.230003829 | R2_iv 3.520473e-03 (stored 3.520473e-03) mu 0.021016432 s_req 0.254536905 smin0-s_req 4.829e-06 | pivots>0: E1 True (min 2.55e-11) smin True (min 3.64e-05) | PASS  2.2s
rank    52 box  54619 L=[3, 3, 3, 3] K=[27, 1, 28, 34] stored bound 0.230003886 | R2_iv 6.013779e-04 (stored 6.013779e-04) mu 0.008601038 s_req 0.239202415 smin0-s_req 4.886e-06 | pivots>0: E1 True (min 3.73e-12) smin True (min 2.65e-05) | PASS  2.2s
rank    53 box  49874 L=[3, 3, 3, 2] K=[27, 10, 26, 15] stored bound 0.230003895 | R2_iv 8.513924e-04 (stored 8.513924e-04) mu 0.010592858 s_req 0.241444250 smin0-s_req 4.895e-06 | pivots>0: E1 True (min 7.66e-12) smin True (min 3.24e-05) | PASS  2.2s
rank    54 box  42999 L=[3, 3, 2, 2] K=[27, 10, 12, 13] stored bound 0.230003960 | R2_iv 1.143410e-03 (stored 1.143410e-03) mu 0.011781184 s_req 0.242924594 smin0-s_req 4.960e-06 | pivots>0: E1 True (min 1.13e-12) smin True (min 3.30e-05) | PASS  2.2s
rank    55 box  43558 L=[3, 3, 2, 2] K=[24, 13, 14, 17] stored bound 0.230004026 | R2_iv 1.142922e-03 (stored 1.142922e-03) mu 0.011791253 s_req 0.242934175 smin0-s_req 5.026e-06 | pivots>0: E1 True (min 1.06e-12) smin True (min 3.40e-05) | PASS  2.2s
rank    56 box  54316 L=[3, 3, 3, 3] K=[31, 5, 31, 27] stored bound 0.230004132 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008574551 s_req 0.239174666 smin0-s_req 5.132e-06 | pivots>0: E1 True (min 3.62e-12) smin True (min 3.16e-05) | PASS  2.2s
rank    57 box  54621 L=[3, 3, 3, 3] K=[27, 1, 29, 35] stored bound 0.230004157 | R2_iv 6.013779e-04 (stored 6.013779e-04) mu 0.008603423 s_req 0.239204801 smin0-s_req 5.157e-06 | pivots>0: E1 True (min 3.73e-12) smin True (min 2.79e-05) | PASS  2.2s
rank    58 box  21822 L=[2, 2, 1, 2] K=[13, 1, 3, 10] stored bound 0.230004281 | R2_iv 3.508635e-03 (stored 3.508635e-03) mu 0.019908852 s_req 0.253417487 smin0-s_req 5.281e-06 | pivots>0: E1 True (min 1.56e-12) smin True (min 3.38e-05) | PASS  2.2s
rank    59 box  48466 L=[3, 3, 2, 3] K=[26, 2, 12, 29] stored bound 0.230004396 | R2_iv 8.551625e-04 (stored 8.551625e-04) mu 0.009958757 s_req 0.240813920 smin0-s_req 5.396e-06 | pivots>0: E1 True (min 3.70e-13) smin True (min 3.01e-05) | PASS  2.2s
rank    60 box  37227 L=[3, 2, 2, 2] K=[39, 2, 13, 15] stored bound 0.230004419 | R2_iv 1.796756e-03 (stored 1.796756e-03) mu 0.014261924 s_req 0.246058680 smin0-s_req 5.419e-06 | pivots>0: E1 True (min 8.44e-12) smin True (min 3.88e-05) | PASS  2.1s
rank    61 box  51701 L=[3, 3, 3, 2] K=[32, 5, 29, 19] stored bound 0.230004485 | R2_iv 8.531561e-04 (stored 8.531561e-04) mu 0.010607125 s_req 0.241460281 smin0-s_req 5.485e-06 | pivots>0: E1 True (min 7.04e-12) smin True (min 3.44e-05) | PASS  2.1s
rank    62 box  54181 L=[3, 3, 3, 3] K=[28, 5, 28, 27] stored bound 0.230004550 | R2_iv 5.999770e-04 (stored 5.999770e-04) mu 0.008583716 s_req 0.239183693 smin0-s_req 5.550e-06 | pivots>0: E1 True (min 3.68e-12) smin True (min 3.31e-05) | PASS  2.1s
rank    63 box  30807 L=[2, 2, 2, 2] K=[19, 4, 13, 16] stored bound 0.230004621 | R2_iv 2.471577e-03 (stored 2.471577e-03) mu 0.016984472 s_req 0.249456050 smin0-s_req 5.621e-06 | pivots>0: E1 True (min 1.10e-11) smin True (min 4.24e-05) | PASS  2.1s
rank    64 box  49891 L=[3, 3, 2, 3] K=[24, 10, 14, 31] stored bound 0.230004710 | R2_iv 8.516956e-04 (stored 8.516956e-04) mu 0.009922331 s_req 0.240774026 smin0-s_req 5.710e-06 | pivots>0: E1 True (min 4.07e-13) smin True (min 3.65e-05) | PASS  2.2s
rank    65 box  28607 L=[2, 2, 2, 2] K=[15, 5, 9, 16] stored bound 0.230004756 | R2_iv 2.463041e-03 (stored 2.463041e-03) mu 0.017076978 s_req 0.249540019 smin0-s_req 5.756e-06 | pivots>0: E1 True (min 1.16e-11) smin True (min 4.44e-05) | PASS  2.2s
rank    66 box  61033 L=[4, 3, 3, 3] K=[59, 1, 29, 30] stored bound 0.230004977 | R2_iv 4.395456e-04 (stored 4.395456e-04) mu 0.007192611 s_req 0.237632156 smin0-s_req 5.977e-06 | pivots>0: E1 True (min 1.92e-12) smin True (min 3.32e-05) | PASS  2.2s
rank    67 box  51291 L=[3, 3, 3, 2] K=[34, 7, 31, 15] stored bound 0.230005016 | R2_iv 8.531169e-04 (stored 8.531169e-04) mu 0.010561447 s_req 0.241414564 smin0-s_req 6.016e-06 | pivots>0: E1 True (min 7.07e-12) smin True (min 4.02e-05) | PASS  2.2s
rank    68 box  12681 L=[2, 2, 1, 1] K=[5, 6, 5, 8] stored bound 0.230005206 | R2_iv 4.725352e-03 (stored 4.725352e-03) mu 0.023765218 s_req 0.258490569 smin0-s_req 6.206e-06 | pivots>0: E1 True (min 4.88e-12) smin True (min 4.51e-05) | PASS  2.2s
rank    69 box  37249 L=[3, 2, 2, 2] K=[38, 3, 14, 14] stored bound 0.230005295 | R2_iv 1.794993e-03 (stored 1.794993e-03) mu 0.014244829 s_req 0.246039822 smin0-s_req 6.295e-06 | pivots>0: E1 True (min 7.69e-12) smin True (min 4.49e-05) | PASS  2.2s
rank    70 box  21441 L=[2, 2, 2, 1] K=[9, 11, 15, 5] stored bound 0.230005540 | R2_iv 3.508311e-03 (stored 3.508311e-03) mu 0.021250530 s_req 0.254758841 smin0-s_req 6.540e-06 | pivots>0: E1 True (min 4.01e-11) smin True (min 5.11e-05) | PASS  2.2s
rank    71 box  55661 L=[3, 3, 3, 3] K=[30, 5, 27, 33] stored bound 0.230005634 | R2_iv 6.000378e-04 (stored 6.000378e-04) mu 0.008573850 s_req 0.239173888 smin0-s_req 6.634e-06 | pivots>0: E1 True (min 3.56e-12) smin True (min 4.09e-05) | PASS  2.2s
rank    72 box  50794 L=[3, 3, 3, 2] K=[33, 3, 23, 14] stored bound 0.230005656 | R2_iv 8.542345e-04 (stored 8.542345e-04) mu 0.010620815 s_req 0.241475050 smin0-s_req 6.656e-06 | pivots>0: E1 True (min 7.36e-12) smin True (min 4.25e-05) | PASS  2.2s
rank    73 box  28481 L=[2, 2, 2, 2] K=[13, 5, 8, 15] stored bound 0.230005694 | R2_iv 2.461392e-03 (stored 2.461392e-03) mu 0.017118165 s_req 0.249579557 smin0-s_req 6.694e-06 | pivots>0: E1 True (min 1.41e-11) smin True (min 5.08e-05) | PASS  2.2s
rank    74 box  61215 L=[4, 3, 3, 3] K=[62, 0, 31, 28] stored bound 0.230005732 | R2_iv 4.399171e-04 (stored 4.399171e-04) mu 0.007202448 s_req 0.237642365 smin0-s_req 6.732e-06 | pivots>0: E1 True (min 2.00e-12) smin True (min 3.73e-05) | PASS  2.2s
rank    75 box  62478 L=[4, 3, 3, 3] K=[57, 1, 31, 32] stored bound 0.230005844 | R2_iv 4.395817e-04 (stored 4.395817e-04) mu 0.007191108 s_req 0.237630689 smin0-s_req 6.844e-06 | pivots>0: E1 True (min 1.90e-12) smin True (min 3.74e-05) | PASS  2.2s
rank    76 box  32991 L=[3, 2, 2, 2] K=[22, 7, 13, 12] stored bound 0.230005878 | R2_iv 1.786649e-03 (stored 1.786649e-03) mu 0.014306502 s_req 0.246093151 smin0-s_req 6.878e-06 | pivots>0: E1 True (min 7.53e-12) smin True (min 4.76e-05) | PASS  2.2s
rank    77 box  64350 L=[4, 3, 3, 3] K=[65, 1, 29, 32] stored bound 0.230005882 | R2_iv 4.396055e-04 (stored 4.396055e-04) mu 0.007184168 s_req 0.237623773 smin0-s_req 6.882e-06 | pivots>0: E1 True (min 2.05e-12) smin True (min 4.01e-05) | PASS  2.2s
rank    78 box  50175 L=[3, 3, 3, 2] K=[29, 11, 30, 15] stored bound 0.230006034 | R2_iv 8.516675e-04 (stored 8.516675e-04) mu 0.010571184 s_req 0.241422851 smin0-s_req 7.034e-06 | pivots>0: E1 True (min 7.44e-12) smin True (min 4.73e-05) | PASS  2.2s
rank    79 box  55553 L=[3, 3, 3, 3] K=[28, 4, 26, 32] stored bound 0.230006082 | R2_iv 6.002443e-04 (stored 6.002443e-04) mu 0.008581933 s_req 0.239182177 smin0-s_req 7.082e-06 | pivots>0: E1 True (min 3.65e-12) smin True (min 4.19e-05) | PASS  2.1s
rank    80 box  51223 L=[3, 3, 3, 2] K=[32, 6, 29, 12] stored bound 0.230006293 | R2_iv 8.528039e-04 (stored 8.528039e-04) mu 0.010594338 s_req 0.241447142 smin0-s_req 7.293e-06 | pivots>0: E1 True (min 7.34e-12) smin True (min 4.64e-05) | PASS  2.1s
rank    81 box  42658 L=[3, 3, 2, 2] K=[26, 8, 11, 16] stored bound 0.230006302 | R2_iv 1.144173e-03 (stored 1.144173e-03) mu 0.011802895 s_req 0.242947068 smin0-s_req 7.302e-06 | pivots>0: E1 True (min 1.04e-12) smin True (min 4.76e-05) | PASS  2.1s
rank    82 box   4103 L=[1, 1, 1, 1] K=[7, 3, 1, 11] stored bound 0.230006332 | R2_iv 1.038865e-02 (stored 1.038865e-02) mu 0.033967940 s_req 0.274356591 smin0-s_req 7.332e-06 | pivots>0: E1 True (min 4.52e-11) smin True (min 8.59e-05) | PASS  2.1s
rank    83 box  63867 L=[4, 3, 3, 3] K=[67, 1, 31, 31] stored bound 0.230006343 | R2_iv 4.396816e-04 (stored 4.396816e-04) mu 0.007181912 s_req 0.237621594 smin0-s_req 7.343e-06 | pivots>0: E1 True (min 2.10e-12) smin True (min 4.33e-05) | PASS  2.2s
rank    84 box  45622 L=[3, 3, 2, 2] K=[34, 0, 13, 20] stored bound 0.230006348 | R2_iv 1.152894e-03 (stored 1.152894e-03) mu 0.011899986 s_req 0.243052879 smin0-s_req 7.348e-06 | pivots>0: E1 True (min 1.32e-12) smin True (min 4.37e-05) | PASS  2.1s
rank    85 box  53546 L=[3, 3, 3, 3] K=[31, 2, 26, 27] stored bound 0.230006429 | R2_iv 6.009013e-04 (stored 6.009013e-04) mu 0.008595669 s_req 0.239196570 smin0-s_req 7.429e-06 | pivots>0: E1 True (min 3.71e-12) smin True (min 4.38e-05) | PASS  2.2s
rank    86 box  49527 L=[3, 3, 3, 2] K=[31, 2, 29, 20] stored bound 0.230006648 | R2_iv 8.548984e-04 (stored 8.548984e-04) mu 0.010653499 s_req 0.241508398 smin0-s_req 7.648e-06 | pivots>0: E1 True (min 7.30e-12) smin True (min 4.44e-05) | PASS  2.1s
rank    87 box  26208 L=[2, 2, 2, 2] K=[9, 6, 10, 13] stored bound 0.230006698 | R2_iv 2.463265e-03 (stored 2.463265e-03) mu 0.017158095 s_req 0.249621359 smin0-s_req 7.698e-06 | pivots>0: E1 True (min 1.46e-11) smin True (min 5.42e-05) | PASS  2.1s
rank    88 box   7257 L=[2, 1, 1, 1] K=[4, 3, 7, 4] stored bound 0.230006749 | R2_iv 7.497967e-03 (stored 7.497967e-03) mu 0.028671010 s_req 0.266168977 smin0-s_req 7.749e-06 | pivots>0: E1 True (min 2.53e-11) smin True (min 5.51e-05) | PASS  2.1s
rank    89 box  54604 L=[3, 3, 3, 3] K=[27, 0, 28, 33] stored bound 0.230006774 | R2_iv 6.018285e-04 (stored 6.018285e-04) mu 0.008602181 s_req 0.239204009 smin0-s_req 7.774e-06 | pivots>0: E1 True (min 3.71e-12) smin True (min 4.12e-05) | PASS  2.1s
rank    90 box  10078 L=[2, 1, 1, 1] K=[19, 3, 7, 12] stored bound 0.230006861 | R2_iv 7.493933e-03 (stored 7.493933e-03) mu 0.028191259 s_req 0.265685192 smin0-s_req 7.861e-06 | pivots>0: E1 True (min 1.75e-11) smin True (min 6.03e-05) | PASS  2.1s
rank    91 box  53346 L=[3, 3, 3, 3] K=[26, 6, 30, 28] stored bound 0.230006868 | R2_iv 5.997860e-04 (stored 5.997860e-04) mu 0.008582376 s_req 0.239182162 smin0-s_req 7.868e-06 | pivots>0: E1 True (min 3.69e-12) smin True (min 4.67e-05) | PASS  2.1s
rank    92 box  28122 L=[2, 2, 2, 2] K=[12, 1, 12, 8] stored bound 0.230006907 | R2_iv 2.469071e-03 (stored 2.469071e-03) mu 0.017175664 s_req 0.249644735 smin0-s_req 7.907e-06 | pivots>0: E1 True (min 1.38e-11) smin True (min 4.31e-05) | PASS  2.1s
rank    93 box  52851 L=[3, 3, 3, 3] K=[25, 3, 30, 31] stored bound 0.230006980 | R2_iv 6.007935e-04 (stored 6.007935e-04) mu 0.008589041 s_req 0.239189835 smin0-s_req 7.980e-06 | pivots>0: E1 True (min 3.58e-12) smin True (min 4.41e-05) | PASS  2.1s
rank    94 box  63843 L=[4, 3, 3, 3] K=[64, 0, 31, 28] stored bound 0.230007017 | R2_iv 4.399371e-04 (stored 4.399371e-04) mu 0.007200905 s_req 0.237640843 smin0-s_req 8.017e-06 | pivots>0: E1 True (min 2.04e-12) smin True (min 4.51e-05) | PASS  2.1s
rank    95 box  17696 L=[2, 2, 1, 1] K=[19, 7, 7, 5] stored bound 0.230007039 | R2_iv 4.734213e-03 (stored 4.734213e-03) mu 0.023448223 s_req 0.258182436 smin0-s_req 8.039e-06 | pivots>0: E1 True (min 3.55e-12) smin True (min 6.31e-05) | PASS  2.1s
rank    96 box  57627 L=[3, 3, 3, 3] K=[32, 1, 25, 29] stored bound 0.230007084 | R2_iv 6.012934e-04 (stored 6.012934e-04) mu 0.008595920 s_req 0.239197213 smin0-s_req 8.084e-06 | pivots>0: E1 True (min 3.69e-12) smin True (min 4.78e-05) | PASS  2.1s
rank    97 box  52850 L=[3, 3, 3, 3] K=[25, 3, 31, 30] stored bound 0.230007111 | R2_iv 6.007935e-04 (stored 6.007935e-04) mu 0.008591512 s_req 0.239192305 smin0-s_req 8.111e-06 | pivots>0: E1 True (min 3.62e-12) smin True (min 4.48e-05) | PASS  2.1s
rank    98 box  43695 L=[3, 3, 2, 2] K=[31, 10, 13, 16] stored bound 0.230007189 | R2_iv 1.144739e-03 (stored 1.144739e-03) mu 0.011762817 s_req 0.242907556 smin0-s_req 8.189e-06 | pivots>0: E1 True (min 1.00e-12) smin True (min 5.63e-05) | PASS  2.1s
rank    99 box  49182 L=[3, 3, 2, 3] K=[27, 5, 14, 38] stored bound 0.230007278 | R2_iv 8.533561e-04 (stored 8.533561e-04) mu 0.009948018 s_req 0.240801374 smin0-s_req 8.278e-06 | pivots>0: E1 True (min 4.18e-13) smin True (min 4.88e-05) | PASS  2.1s
rank   100 box  50819 L=[3, 3, 3, 2] K=[34, 2, 23, 15] stored bound 0.230007301 | R2_iv 8.549245e-04 (stored 8.549245e-04) mu 0.010620474 s_req 0.241475399 smin0-s_req 8.301e-06 | pivots>0: E1 True (min 7.29e-12) smin True (min 5.30e-05) | PASS  2.1s
rank   101 box  37712 L=[3, 2, 2, 2] K=[35, 5, 14, 15] stored bound 0.230007414 | R2_iv 1.791855e-03 (stored 1.791855e-03) mu 0.014213925 s_req 0.246005780 smin0-s_req 8.414e-06 | pivots>0: E1 True (min 7.24e-12) smin True (min 6.07e-05) | PASS  2.1s
rank   102 box  53982 L=[3, 3, 3, 3] K=[28, 4, 26, 29] stored bound 0.230007460 | R2_iv 6.002443e-04 (stored 6.002443e-04) mu 0.008586578 s_req 0.239186822 smin0-s_req 8.460e-06 | pivots>0: E1 True (min 3.63e-12) smin True (min 5.00e-05) | PASS  2.1s
rank   103 box  46579 L=[3, 3, 2, 3] K=[23, 7, 14, 29] stored bound 0.230007558 | R2_iv 8.526819e-04 (stored 8.526819e-04) mu 0.009935031 s_req 0.240787713 smin0-s_req 8.558e-06 | pivots>0: E1 True (min 4.14e-13) smin True (min 5.10e-05) | PASS  2.1s
rank   104 box  41089 L=[3, 3, 2, 2] K=[26, 2, 11, 17] stored bound 0.230007643 | R2_iv 1.150168e-03 (stored 1.150168e-03) mu 0.011868862 s_req 0.243019030 smin0-s_req 8.643e-06 | pivots>0: E1 True (min 1.18e-12) smin True (min 4.93e-05) | PASS  2.1s
rank   105 box  46577 L=[3, 3, 2, 3] K=[23, 6, 14, 29] stored bound 0.230007808 | R2_iv 8.531190e-04 (stored 8.531190e-04) mu 0.009937892 s_req 0.240791011 smin0-s_req 8.808e-06 | pivots>0: E1 True (min 4.09e-13) smin True (min 5.14e-05) | PASS  2.1s
rank   106 box  37807 L=[3, 2, 2, 2] K=[36, 4, 14, 13] stored bound 0.230007830 | R2_iv 1.792585e-03 (stored 1.792585e-03) mu 0.014237287 s_req 0.246029872 smin0-s_req 8.830e-06 | pivots>0: E1 True (min 7.28e-12) smin True (min 6.25e-05) | PASS  2.1s
rank   107 box  27002 L=[2, 2, 2, 2] K=[11, 8, 12, 11] stored bound 0.230007833 | R2_iv 2.462405e-03 (stored 2.462405e-03) mu 0.017086778 s_req 0.249549183 smin0-s_req 8.833e-06 | pivots>0: E1 True (min 1.39e-11) smin True (min 6.41e-05) | PASS  2.1s
rank   108 box  40004 L=[3, 3, 2, 2] K=[23, 11, 13, 17] stored bound 0.230007910 | R2_iv 1.143258e-03 (stored 1.143258e-03) mu 0.011802906 s_req 0.242946165 smin0-s_req 8.910e-06 | pivots>0: E1 True (min 1.06e-12) smin True (min 5.84e-05) | PASS  2.1s
rank   109 box   1256 L=[1, 1, 0, 1] K=[6, 3, 0, 15] stored bound 0.230007913 | R2_iv 1.471829e-02 (stored 1.471829e-02) mu 0.039597606 s_req 0.284315896 smin0-s_req 8.913e-06 | pivots>0: E1 True (min 8.13e-12) smin True (min 8.69e-05) | PASS  2.1s
rank   110 box  20754 L=[2, 2, 1, 2] K=[8, 0, 6, 14] stored bound 0.230007954 | R2_iv 3.528143e-03 (stored 3.528143e-03) mu 0.019932652 s_req 0.253460795 smin0-s_req 8.954e-06 | pivots>0: E1 True (min 1.18e-12) smin True (min 4.52e-05) | PASS  2.1s
rank   111 box  35699 L=[3, 2, 2, 2] K=[29, 5, 14, 10] stored bound 0.230007989 | R2_iv 1.787255e-03 (stored 1.787255e-03) mu 0.014269640 s_req 0.246056895 smin0-s_req 8.989e-06 | pivots>0: E1 True (min 7.01e-12) smin True (min 5.94e-05) | PASS  2.1s
rank   112 box   4257 L=[1, 1, 1, 1] K=[6, 5, 4, 12] stored bound 0.230008009 | R2_iv 1.041274e-02 (stored 1.041274e-02) mu 0.033862577 s_req 0.274275317 smin0-s_req 9.009e-06 | pivots>0: E1 True (min 5.52e-11) smin True (min 8.24e-05) | PASS  2.1s
rank   113 box  22282 L=[2, 2, 1, 2] K=[14, 0, 6, 25] stored bound 0.230008014 | R2_iv 3.514892e-03 (stored 3.514892e-03) mu 0.020017484 s_req 0.253532376 smin0-s_req 9.014e-06 | pivots>0: E1 True (min 1.77e-12) smin True (min 4.88e-05) | PASS  2.1s
rank   114 box  50831 L=[3, 3, 3, 2] K=[32, 4, 23, 14] stored bound 0.230008066 | R2_iv 8.536141e-04 (stored 8.536141e-04) mu 0.010615543 s_req 0.241469157 smin0-s_req 9.066e-06 | pivots>0: E1 True (min 7.36e-12) smin True (min 5.81e-05) | PASS  2.1s
rank   115 box  21440 L=[2, 2, 2, 1] K=[9, 11, 14, 5] stored bound 0.230008095 | R2_iv 3.508311e-03 (stored 3.508311e-03) mu 0.021250838 s_req 0.254759149 smin0-s_req 9.095e-06 | pivots>0: E1 True (min 3.95e-11) smin True (min 7.13e-05) | PASS  2.1s
rank   116 box  63847 L=[4, 3, 3, 3] K=[65, 1, 30, 29] stored bound 0.230008121 | R2_iv 4.396055e-04 (stored 4.396055e-04) mu 0.007189407 s_req 0.237629013 smin0-s_req 9.121e-06 | pivots>0: E1 True (min 2.05e-12) smin True (min 5.29e-05) | PASS  2.1s
rank   117 box  51204 L=[3, 3, 3, 2] K=[35, 4, 26, 15] stored bound 0.230008192 | R2_iv 8.541099e-04 (stored 8.541099e-04) mu 0.010586789 s_req 0.241440899 smin0-s_req 9.192e-06 | pivots>0: E1 True (min 7.38e-12) smin True (min 6.05e-05) | PASS  2.1s
rank   118 box  29228 L=[2, 2, 2, 2] K=[14, 9, 13, 15] stored bound 0.230008324 | R2_iv 2.467213e-03 (stored 2.467213e-03) mu 0.017011246 s_req 0.249478458 smin0-s_req 9.324e-06 | pivots>0: E1 True (min 1.12e-11) smin True (min 7.13e-05) | PASS  2.2s
rank   119 box  41288 L=[3, 3, 2, 2] K=[28, 2, 11, 18] stored bound 0.230008424 | R2_iv 1.149685e-03 (stored 1.149685e-03) mu 0.011868114 s_req 0.243017799 smin0-s_req 9.424e-06 | pivots>0: E1 True (min 1.18e-12) smin True (min 5.51e-05) | PASS  2.2s
rank   120 box  51610 L=[3, 3, 3, 2] K=[33, 6, 26, 16] stored bound 0.230008504 | R2_iv 8.530052e-04 (stored 8.530052e-04) mu 0.010581033 s_req 0.241434038 smin0-s_req 9.504e-06 | pivots>0: E1 True (min 6.75e-12) smin True (min 6.28e-05) | PASS  2.2s
rank   121 box  36711 L=[3, 2, 2, 2] K=[38, 1, 11, 13] stored bound 0.230008680 | R2_iv 1.796836e-03 (stored 1.796836e-03) mu 0.014325447 s_req 0.246122283 smin0-s_req 9.680e-06 | pivots>0: E1 True (min 8.86e-12) smin True (min 6.78e-05) | PASS  2.2s
rank   122 box  15548 L=[2, 2, 1, 1] K=[15, 0, 7, 0] stored bound 0.230008697 | R2_iv 4.723776e-03 (stored 4.723776e-03) mu 0.023788776 s_req 0.258512552 smin0-s_req 9.697e-06 | pivots>0: E1 True (min 5.48e-12) smin True (min 5.16e-05) | PASS  2.2s
rank   123 box   7992 L=[2, 1, 1, 1] K=[10, 1, 7, 15] stored bound 0.230008739 | R2_iv 7.468041e-03 (stored 7.468041e-03) mu 0.028494118 s_req 0.265962159 smin0-s_req 9.739e-06 | pivots>0: E1 True (min 2.53e-11) smin True (min 5.21e-05) | PASS  2.2s
rank   124 box  39831 L=[3, 3, 2, 2] K=[22, 14, 15, 15] stored bound 0.230009116 | R2_iv 1.143145e-03 (stored 1.143145e-03) mu 0.011804399 s_req 0.242947544 smin0-s_req 1.012e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 6.89e-05) | PASS  2.1s
rank   125 box  35771 L=[3, 2, 2, 2] K=[30, 6, 12, 13] stored bound 0.230009458 | R2_iv 1.788118e-03 (stored 1.788118e-03) mu 0.014248636 s_req 0.246036754 smin0-s_req 1.046e-05 | pivots>0: E1 True (min 7.57e-12) smin True (min 7.50e-05) | PASS  2.1s
rank   126 box  10973 L=[2, 1, 1, 1] K=[23, 5, 7, 7] stored bound 0.230009611 | R2_iv 7.629029e-03 (stored 7.629029e-03) mu 0.028916852 s_req 0.266545880 smin0-s_req 1.061e-05 | pivots>0: E1 True (min 2.33e-11) smin True (min 1.00e-04) | PASS  2.1s
rank   127 box  44372 L=[3, 3, 2, 2] K=[34, 4, 11, 14] stored bound 0.230009671 | R2_iv 1.148716e-03 (stored 1.148716e-03) mu 0.011812737 s_req 0.242961454 smin0-s_req 1.067e-05 | pivots>0: E1 True (min 1.28e-12) smin True (min 7.12e-05) | PASS  2.1s
rank   128 box  21480 L=[2, 2, 2, 1] K=[8, 9, 13, 10] stored bound 0.230009693 | R2_iv 3.499779e-03 (stored 3.499779e-03) mu 0.021259825 s_req 0.254759605 smin0-s_req 1.069e-05 | pivots>0: E1 True (min 3.46e-11) smin True (min 8.08e-05) | PASS  2.1s
rank   129 box  24376 L=[2, 2, 2, 1] K=[21, 2, 14, 5] stored bound 0.230009804 | R2_iv 3.520473e-03 (stored 3.520473e-03) mu 0.021015777 s_req 0.254536250 smin0-s_req 1.080e-05 | pivots>0: E1 True (min 2.63e-11) smin True (min 8.17e-05) | PASS  2.1s
rank   130 box  23506 L=[2, 2, 2, 1] K=[17, 3, 11, 11] stored bound 0.230009824 | R2_iv 3.502697e-03 (stored 3.502697e-03) mu 0.021091479 s_req 0.254594176 smin0-s_req 1.082e-05 | pivots>0: E1 True (min 2.42e-11) smin True (min 7.65e-05) | PASS  2.1s
rank   131 box  24515 L=[2, 2, 2, 1] K=[20, 5, 13, 7] stored bound 0.230010005 | R2_iv 3.521515e-03 (stored 3.521515e-03) mu 0.020914211 s_req 0.254435727 smin0-s_req 1.100e-05 | pivots>0: E1 True (min 2.58e-11) smin True (min 8.83e-05) | PASS  2.2s
rank   132 box  48826 L=[3, 3, 2, 3] K=[27, 2, 12, 34] stored bound 0.230010031 | R2_iv 8.551488e-04 (stored 8.551488e-04) mu 0.009962739 s_req 0.240817888 smin0-s_req 1.103e-05 | pivots>0: E1 True (min 3.88e-13) smin True (min 6.25e-05) | PASS  2.1s
rank   133 box  32128 L=[3, 2, 2, 2] K=[19, 2, 13, 16] stored bound 0.230010046 | R2_iv 1.795142e-03 (stored 1.795142e-03) mu 0.014362906 s_req 0.246158049 smin0-s_req 1.105e-05 | pivots>0: E1 True (min 6.43e-12) smin True (min 6.19e-05) | PASS  2.1s
rank   134 box  51865 L=[3, 3, 3, 2] K=[36, 1, 31, 19] stored bound 0.230010115 | R2_iv 8.558252e-04 (stored 8.558252e-04) mu 0.010633390 s_req 0.241489215 smin0-s_req 1.111e-05 | pivots>0: E1 True (min 7.33e-12) smin True (min 6.89e-05) | PASS  2.1s
rank   135 box  56617 L=[3, 3, 3, 3] K=[28, 8, 31, 30] stored bound 0.230010133 | R2_iv 5.994283e-04 (stored 5.994283e-04) mu 0.008564515 s_req 0.239163944 smin0-s_req 1.113e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 7.01e-05) | PASS  2.1s
rank   136 box  35454 L=[3, 2, 2, 2] K=[30, 5, 11, 17] stored bound 0.230010185 | R2_iv 1.787737e-03 (stored 1.787737e-03) mu 0.014273191 s_req 0.246060927 smin0-s_req 1.119e-05 | pivots>0: E1 True (min 6.45e-12) smin True (min 8.02e-05) | PASS  2.1s
rank   137 box  39519 L=[3, 3, 2, 2] K=[22, 9, 13, 13] stored bound 0.230010340 | R2_iv 1.144454e-03 (stored 1.144454e-03) mu 0.011815620 s_req 0.242960074 smin0-s_req 1.134e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 7.07e-05) | PASS  2.2s
rank   138 box  27841 L=[2, 2, 2, 2] K=[12, 0, 8, 16] stored bound 0.230010386 | R2_iv 2.472704e-03 (stored 2.472704e-03) mu 0.017193251 s_req 0.249665954 smin0-s_req 1.139e-05 | pivots>0: E1 True (min 1.43e-11) smin True (min 6.60e-05) | PASS  2.1s
rank   139 box  52036 L=[3, 3, 3, 2] K=[32, 8, 28, 14] stored bound 0.230010636 | R2_iv 8.524170e-04 (stored 8.524170e-04) mu 0.010572052 s_req 0.241424469 smin0-s_req 1.164e-05 | pivots>0: E1 True (min 7.34e-12) smin True (min 7.73e-05) | PASS  2.1s
rank   140 box   9929 L=[2, 1, 1, 1] K=[16, 3, 2, 8] stored bound 0.230010830 | R2_iv 7.461293e-03 (stored 7.461293e-03) mu 0.028428671 s_req 0.265889964 smin0-s_req 1.183e-05 | pivots>0: E1 True (min 2.36e-11) smin True (min 1.34e-04) | PASS  2.1s
rank   141 box  29966 L=[2, 2, 2, 2] K=[16, 1, 10, 21] stored bound 0.230010835 | R2_iv 2.468267e-03 (stored 2.468267e-03) mu 0.017183571 s_req 0.249651838 smin0-s_req 1.183e-05 | pivots>0: E1 True (min 1.32e-11) smin True (min 7.69e-05) | PASS  2.1s
rank   142 box  50634 L=[3, 3, 3, 2] K=[30, 10, 31, 17] stored bound 0.230011037 | R2_iv 8.518472e-04 (stored 8.518472e-04) mu 0.010572122 s_req 0.241423970 smin0-s_req 1.204e-05 | pivots>0: E1 True (min 7.18e-12) smin True (min 8.02e-05) | PASS  2.1s
rank   143 box  39605 L=[3, 3, 2, 2] K=[21, 10, 13, 15] stored bound 0.230011050 | R2_iv 1.144294e-03 (stored 1.144294e-03) mu 0.011816299 s_req 0.242960593 smin0-s_req 1.205e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 7.67e-05) | PASS  2.1s
rank   144 box  58744 L=[3, 3, 3, 3] K=[33, 0, 26, 34] stored bound 0.230011053 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008600996 s_req 0.239202723 smin0-s_req 1.205e-05 | pivots>0: E1 True (min 3.76e-12) smin True (min 7.07e-05) | PASS  2.1s
rank   145 box  33064 L=[3, 2, 2, 2] K=[18, 4, 15, 18] stored bound 0.230011122 | R2_iv 1.791126e-03 (stored 1.791126e-03) mu 0.014354314 s_req 0.246145440 smin0-s_req 1.212e-05 | pivots>0: E1 True (min 6.82e-12) smin True (min 7.34e-05) | PASS  2.1s
rank   146 box  55885 L=[3, 3, 3, 3] K=[28, 4, 31, 37] stored bound 0.230011217 | R2_iv 6.002443e-04 (stored 6.002443e-04) mu 0.008590130 s_req 0.239190375 smin0-s_req 1.222e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 7.09e-05) | PASS  2.1s
rank   147 box  63826 L=[4, 3, 3, 3] K=[65, 1, 29, 30] stored bound 0.230011217 | R2_iv 4.396055e-04 (stored 4.396055e-04) mu 0.007187025 s_req 0.237626630 smin0-s_req 1.222e-05 | pivots>0: E1 True (min 2.05e-12) smin True (min 7.11e-05) | PASS  2.1s
rank   148 box  32021 L=[3, 2, 2, 2] K=[19, 2, 13, 14] stored bound 0.230011291 | R2_iv 1.795142e-03 (stored 1.795142e-03) mu 0.014372117 s_req 0.246167259 smin0-s_req 1.229e-05 | pivots>0: E1 True (min 6.07e-12) smin True (min 6.87e-05) | PASS  2.1s
rank   149 box  55806 L=[3, 3, 3, 3] K=[29, 7, 30, 34] stored bound 0.230011420 | R2_iv 5.996152e-04 (stored 5.996152e-04) mu 0.008567359 s_req 0.239166974 smin0-s_req 1.242e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 7.76e-05) | PASS  2.1s
rank   150 box  36192 L=[3, 2, 2, 2] K=[27, 8, 14, 14] stored bound 0.230011441 | R2_iv 1.788647e-03 (stored 1.788647e-03) mu 0.014258409 s_req 0.246047056 smin0-s_req 1.244e-05 | pivots>0: E1 True (min 7.05e-12) smin True (min 9.03e-05) | PASS  2.1s
rank   151 box  22990 L=[2, 2, 1, 2] K=[13, 11, 7, 12] stored bound 0.230011473 | R2_iv 3.510805e-03 (stored 3.510805e-03) mu 0.019938765 s_req 0.253449570 smin0-s_req 1.247e-05 | pivots>0: E1 True (min 1.38e-12) smin True (min 9.67e-05) | PASS  2.1s
rank   152 box  30206 L=[2, 2, 2, 2] K=[19, 3, 14, 11] stored bound 0.230011477 | R2_iv 2.471372e-03 (stored 2.471372e-03) mu 0.017035227 s_req 0.249506599 smin0-s_req 1.248e-05 | pivots>0: E1 True (min 1.25e-11) smin True (min 8.92e-05) | PASS  2.1s
rank   153 box   9026 L=[2, 1, 1, 1] K=[12, 2, 3, 2] stored bound 0.230011625 | R2_iv 7.445780e-03 (stored 7.445780e-03) mu 0.028497440 s_req 0.265943220 smin0-s_req 1.263e-05 | pivots>0: E1 True (min 2.70e-11) smin True (min 8.98e-05) | PASS  2.1s
rank   154 box  55377 L=[3, 3, 3, 3] K=[29, 0, 28, 36] stored bound 0.230011743 | R2_iv 6.016693e-04 (stored 6.016693e-04) mu 0.008610568 s_req 0.239212237 smin0-s_req 1.274e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 6.93e-05) | PASS  2.1s
rank   155 box  49382 L=[3, 3, 3, 2] K=[30, 7, 30, 19] stored bound 0.230011921 | R2_iv 8.522402e-04 (stored 8.522402e-04) mu 0.010599127 s_req 0.241451367 smin0-s_req 1.292e-05 | pivots>0: E1 True (min 7.15e-12) smin True (min 8.15e-05) | PASS  2.2s
rank   156 box   9383 L=[2, 1, 1, 1] K=[13, 5, 6, 12] stored bound 0.230012045 | R2_iv 7.475806e-03 (stored 7.475806e-03) mu 0.028385248 s_req 0.265861053 smin0-s_req 1.304e-05 | pivots>0: E1 True (min 2.92e-11) smin True (min 1.01e-04) | PASS  2.1s
rank   157 box  28861 L=[2, 2, 2, 2] K=[15, 7, 13, 19] stored bound 0.230012050 | R2_iv 2.464817e-03 (stored 2.464817e-03) mu 0.017007743 s_req 0.249472561 smin0-s_req 1.305e-05 | pivots>0: E1 True (min 1.10e-11) smin True (min 9.60e-05) | PASS  2.1s
rank   158 box  37648 L=[3, 2, 2, 2] K=[32, 4, 14, 10] stored bound 0.230012079 | R2_iv 1.789067e-03 (stored 1.789067e-03) mu 0.014272693 s_req 0.246061760 smin0-s_req 1.308e-05 | pivots>0: E1 True (min 7.16e-12) smin True (min 8.65e-05) | PASS  2.1s
rank   159 box  49117 L=[3, 3, 2, 3] K=[27, 6, 13, 36] stored bound 0.230012091 | R2_iv 8.528986e-04 (stored 8.528986e-04) mu 0.009938965 s_req 0.240791864 smin0-s_req 1.309e-05 | pivots>0: E1 True (min 4.11e-13) smin True (min 7.98e-05) | PASS  2.1s
rank   160 box  48320 L=[3, 3, 2, 3] K=[27, 1, 12, 27] stored bound 0.230012352 | R2_iv 8.558859e-04 (stored 8.558859e-04) mu 0.009968675 s_req 0.240824561 smin0-s_req 1.335e-05 | pivots>0: E1 True (min 3.68e-13) smin True (min 7.36e-05) | PASS  2.1s
rank   161 box  47642 L=[3, 3, 3, 2] K=[31, 5, 23, 15] stored bound 0.230012362 | R2_iv 8.530635e-04 (stored 8.530635e-04) mu 0.010606030 s_req 0.241459094 smin0-s_req 1.336e-05 | pivots>0: E1 True (min 7.29e-12) smin True (min 8.63e-05) | PASS  2.1s
rank   162 box  16111 L=[2, 2, 1, 1] K=[13, 6, 7, 2] stored bound 0.230012423 | R2_iv 4.689479e-03 (stored 4.689479e-03) mu 0.023480913 s_req 0.258170392 smin0-s_req 1.342e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 8.68e-05) | PASS  2.1s
rank   163 box  16945 L=[2, 2, 1, 1] K=[16, 0, 3, 3] stored bound 0.230012437 | R2_iv 4.724708e-03 (stored 4.724708e-03) mu 0.023820537 s_req 0.258545245 smin0-s_req 1.344e-05 | pivots>0: E1 True (min 5.11e-12) smin True (min 8.88e-05) | PASS  2.1s
rank   164 box  44264 L=[3, 3, 2, 2] K=[35, 2, 11, 13] stored bound 0.230012464 | R2_iv 1.150992e-03 (stored 1.150992e-03) mu 0.011848548 s_req 0.242999540 smin0-s_req 1.346e-05 | pivots>0: E1 True (min 1.35e-12) smin True (min 8.77e-05) | PASS  2.1s
rank   165 box  50664 L=[3, 3, 3, 2] K=[28, 10, 31, 18] stored bound 0.230012557 | R2_iv 8.514833e-04 (stored 8.514833e-04) mu 0.010588562 s_req 0.241440045 smin0-s_req 1.356e-05 | pivots>0: E1 True (min 7.33e-12) smin True (min 8.84e-05) | PASS  2.1s
rank   166 box  41939 L=[3, 3, 2, 2] K=[25, 3, 12, 18] stored bound 0.230012599 | R2_iv 1.149150e-03 (stored 1.149150e-03) mu 0.011860764 s_req 0.243009914 smin0-s_req 1.360e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 7.72e-05) | PASS  2.1s
rank   167 box  55261 L=[3, 3, 3, 3] K=[28, 0, 28, 35] stored bound 0.230012618 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008608253 s_req 0.239209986 smin0-s_req 1.362e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 7.31e-05) | PASS  2.1s
rank   168 box  39040 L=[3, 3, 2, 2] K=[21, 6, 14, 17] stored bound 0.230012640 | R2_iv 1.147530e-03 (stored 1.147530e-03) mu 0.011839745 s_req 0.242987275 smin0-s_req 1.364e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 7.89e-05) | PASS  2.1s
rank   169 box  23829 L=[2, 2, 2, 1] K=[16, 5, 10, 10] stored bound 0.230012679 | R2_iv 3.500193e-03 (stored 3.500193e-03) mu 0.021067911 s_req 0.254568104 smin0-s_req 1.368e-05 | pivots>0: E1 True (min 2.36e-11) smin True (min 1.05e-04) | PASS  2.1s
rank   170 box  51096 L=[3, 3, 3, 2] K=[35, 2, 25, 13] stored bound 0.230012689 | R2_iv 8.550537e-04 (stored 8.550537e-04) mu 0.010623420 s_req 0.241478474 smin0-s_req 1.369e-05 | pivots>0: E1 True (min 7.52e-12) smin True (min 8.70e-05) | PASS  2.1s
rank   171 box  59034 L=[3, 3, 3, 3] K=[35, 2, 30, 33] stored bound 0.230012691 | R2_iv 6.013368e-04 (stored 6.013368e-04) mu 0.008575746 s_req 0.239177083 smin0-s_req 1.369e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 8.51e-05) | PASS  2.1s
rank   172 box  56616 L=[3, 3, 3, 3] K=[28, 8, 30, 31] stored bound 0.230012765 | R2_iv 5.994283e-04 (stored 5.994283e-04) mu 0.008562895 s_req 0.239162323 smin0-s_req 1.376e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 8.67e-05) | PASS  2.1s
rank   173 box  61200 L=[4, 3, 3, 3] K=[62, 0, 28, 31] stored bound 0.230012795 | R2_iv 4.399171e-04 (stored 4.399171e-04) mu 0.007195147 s_req 0.237635064 smin0-s_req 1.380e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 7.70e-05) | PASS  2.1s
rank   174 box  50143 L=[3, 3, 3, 2] K=[31, 8, 28, 13] stored bound 0.230012878 | R2_iv 8.521799e-04 (stored 8.521799e-04) mu 0.010581446 s_req 0.241433626 smin0-s_req 1.388e-05 | pivots>0: E1 True (min 7.40e-12) smin True (min 9.08e-05) | PASS  2.1s
rank   175 box  51944 L=[3, 3, 3, 2] K=[33, 0, 29, 20] stored bound 0.230012901 | R2_iv 8.564139e-04 (stored 8.564139e-04) mu 0.010671497 s_req 0.241527911 smin0-s_req 1.390e-05 | pivots>0: E1 True (min 7.38e-12) smin True (min 8.01e-05) | PASS  2.1s
rank   176 box  33091 L=[3, 2, 2, 2] K=[19, 6, 12, 16] stored bound 0.230013149 | R2_iv 1.787852e-03 (stored 1.787852e-03) mu 0.014341037 s_req 0.246128889 smin0-s_req 1.415e-05 | pivots>0: E1 True (min 7.16e-12) smin True (min 9.63e-05) | PASS  2.1s
rank   177 box  28144 L=[2, 2, 2, 2] K=[12, 2, 14, 23] stored bound 0.230013157 | R2_iv 2.466116e-03 (stored 2.466116e-03) mu 0.017150244 s_req 0.249616359 smin0-s_req 1.416e-05 | pivots>0: E1 True (min 1.44e-11) smin True (min 7.97e-05) | PASS  2.1s
rank   178 box  55144 L=[3, 3, 3, 3] K=[29, 0, 27, 35] stored bound 0.230013319 | R2_iv 6.016693e-04 (stored 6.016693e-04) mu 0.008608281 s_req 0.239209950 smin0-s_req 1.432e-05 | pivots>0: E1 True (min 3.79e-12) smin True (min 7.83e-05) | PASS  2.1s
rank   179 box  49026 L=[3, 3, 2, 3] K=[25, 7, 13, 34] stored bound 0.230013326 | R2_iv 8.524754e-04 (stored 8.524754e-04) mu 0.009934394 s_req 0.240786870 smin0-s_req 1.433e-05 | pivots>0: E1 True (min 4.07e-13) smin True (min 8.76e-05) | PASS  2.1s
rank   180 box  28509 L=[2, 2, 2, 2] K=[14, 4, 8, 12] stored bound 0.230013389 | R2_iv 2.462355e-03 (stored 2.462355e-03) mu 0.017119826 s_req 0.249582181 smin0-s_req 1.439e-05 | pivots>0: E1 True (min 1.40e-11) smin True (min 1.05e-04) | PASS  2.1s
rank   181 box   5684 L=[1, 1, 1, 1] K=[13, 3, 7, 6] stored bound 0.230013658 | R2_iv 1.060825e-02 (stored 1.060825e-02) mu 0.033960045 s_req 0.274568294 smin0-s_req 1.466e-05 | pivots>0: E1 True (min 4.05e-11) smin True (min 1.66e-04) | PASS  2.1s
rank   182 box  43759 L=[3, 3, 2, 2] K=[29, 10, 15, 19] stored bound 0.230013702 | R2_iv 1.143883e-03 (stored 1.143883e-03) mu 0.011773632 s_req 0.242917515 smin0-s_req 1.470e-05 | pivots>0: E1 True (min 1.03e-12) smin True (min 9.67e-05) | PASS  2.1s
rank   183 box  59093 L=[3, 3, 3, 3] K=[32, 3, 29, 36] stored bound 0.230013846 | R2_iv 6.006748e-04 (stored 6.006748e-04) mu 0.008586033 s_req 0.239186708 smin0-s_req 1.485e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 8.96e-05) | PASS  2.1s
rank   184 box   6975 L=[2, 1, 1, 1] K=[7, 1, 4, 10] stored bound 0.230014034 | R2_iv 7.496632e-03 (stored 7.496632e-03) mu 0.028718266 s_req 0.266214898 smin0-s_req 1.503e-05 | pivots>0: E1 True (min 2.30e-11) smin True (min 9.20e-05) | PASS  2.1s
rank   185 box   5318 L=[1, 1, 1, 1] K=[10, 5, 6, 11] stored bound 0.230014344 | R2_iv 1.052686e-02 (stored 1.052686e-02) mu 0.033858065 s_req 0.274384928 smin0-s_req 1.534e-05 | pivots>0: E1 True (min 2.82e-11) smin True (min 1.37e-04) | PASS  2.1s
rank   186 box  44723 L=[3, 3, 2, 2] K=[32, 2, 13, 10] stored bound 0.230014409 | R2_iv 1.149861e-03 (stored 1.149861e-03) mu 0.011869401 s_req 0.243019263 smin0-s_req 1.541e-05 | pivots>0: E1 True (min 1.29e-12) smin True (min 9.10e-05) | PASS  2.1s
rank   187 box  26135 L=[2, 2, 2, 2] K=[11, 6, 11, 10] stored bound 0.230014428 | R2_iv 2.461317e-03 (stored 2.461317e-03) mu 0.017098142 s_req 0.249559459 smin0-s_req 1.543e-05 | pivots>0: E1 True (min 1.45e-11) smin True (min 1.05e-04) | PASS  2.1s
rank   188 box  48475 L=[3, 3, 2, 3] K=[24, 1, 15, 29] stored bound 0.230014436 | R2_iv 8.561445e-04 (stored 8.561445e-04) mu 0.009963929 s_req 0.240820073 smin0-s_req 1.544e-05 | pivots>0: E1 True (min 3.78e-13) smin True (min 8.07e-05) | PASS  2.1s
rank   189 box  54178 L=[3, 3, 3, 3] K=[28, 4, 29, 26] stored bound 0.230014540 | R2_iv 6.002443e-04 (stored 6.002443e-04) mu 0.008590103 s_req 0.239190347 smin0-s_req 1.554e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 9.04e-05) | PASS  2.2s
rank   190 box   4556 L=[1, 1, 1, 1] K=[8, 3, 2, 3] stored bound 0.230014704 | R2_iv 1.040487e-02 (stored 1.040487e-02) mu 0.033740217 s_req 0.274145092 smin0-s_req 1.570e-05 | pivots>0: E1 True (min 5.14e-11) smin True (min 1.63e-04) | PASS  2.2s
rank   191 box  63820 L=[4, 3, 3, 3] K=[64, 0, 28, 31] stored bound 0.230014724 | R2_iv 4.399371e-04 (stored 4.399371e-04) mu 0.007193437 s_req 0.237633374 smin0-s_req 1.572e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 8.92e-05) | PASS  2.2s
rank   192 box  43245 L=[3, 3, 2, 2] K=[29, 10, 12, 14] stored bound 0.230014853 | R2_iv 1.143883e-03 (stored 1.143883e-03) mu 0.011769913 s_req 0.242913796 smin0-s_req 1.585e-05 | pivots>0: E1 True (min 1.02e-12) smin True (min 1.08e-04) | PASS  2.2s
rank   193 box  64403 L=[4, 3, 3, 3] K=[67, 1, 31, 32] stored bound 0.230014965 | R2_iv 4.396816e-04 (stored 4.396816e-04) mu 0.007181887 s_req 0.237621569 smin0-s_req 1.597e-05 | pivots>0: E1 True (min 2.09e-12) smin True (min 9.42e-05) | PASS  2.2s
rank   194 box  13358 L=[2, 2, 1, 1] K=[5, 14, 7, 9] stored bound 0.230015201 | R2_iv 4.755213e-03 (stored 4.755213e-03) mu 0.024139751 s_req 0.258894964 smin0-s_req 1.620e-05 | pivots>0: E1 True (min 8.31e-12) smin True (min 1.56e-04) | PASS  2.2s
rank   195 box  10959 L=[2, 1, 1, 1] K=[21, 5, 6, 6] stored bound 0.230015248 | R2_iv 7.584190e-03 (stored 7.584190e-03) mu 0.028582499 s_req 0.266166690 smin0-s_req 1.625e-05 | pivots>0: E1 True (min 1.98e-11) smin True (min 1.47e-04) | PASS  2.2s
rank   196 box  51585 L=[3, 3, 3, 2] K=[35, 3, 28, 18] stored bound 0.230015351 | R2_iv 8.545290e-04 (stored 8.545290e-04) mu 0.010609673 s_req 0.241464202 smin0-s_req 1.635e-05 | pivots>0: E1 True (min 6.96e-12) smin True (min 1.04e-04) | PASS  2.2s
rank   197 box  57487 L=[3, 3, 3, 3] K=[33, 0, 27, 26] stored bound 0.230015395 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008608145 s_req 0.239209872 smin0-s_req 1.640e-05 | pivots>0: E1 True (min 3.81e-12) smin True (min 9.51e-05) | PASS  2.2s
rank   198 box  22507 L=[2, 2, 1, 2] K=[13, 6, 4, 10] stored bound 0.230015496 | R2_iv 3.495512e-03 (stored 3.495512e-03) mu 0.019835074 s_req 0.253330586 smin0-s_req 1.650e-05 | pivots>0: E1 True (min 1.82e-12) smin True (min 1.24e-04) | PASS  2.2s
rank   199 box  43206 L=[3, 3, 2, 2] K=[29, 8, 12, 12] stored bound 0.230015657 | R2_iv 1.144450e-03 (stored 1.144450e-03) mu 0.011788461 s_req 0.242932911 smin0-s_req 1.666e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 1.09e-04) | PASS  2.2s
rank   200 box  55789 L=[3, 3, 3, 3] K=[29, 7, 29, 33] stored bound 0.230015728 | R2_iv 5.996152e-04 (stored 5.996152e-04) mu 0.008566024 s_req 0.239165640 smin0-s_req 1.673e-05 | pivots>0: E1 True (min 3.54e-12) smin True (min 1.05e-04) | PASS  2.2s
rank   201 box  26211 L=[2, 2, 2, 2] K=[9, 7, 11, 12] stored bound 0.230015740 | R2_iv 2.462954e-03 (stored 2.462954e-03) mu 0.017140765 s_req 0.249603720 smin0-s_req 1.674e-05 | pivots>0: E1 True (min 1.52e-11) smin True (min 1.20e-04) | PASS  2.2s
rank   202 box  14214 L=[2, 2, 1, 1] K=[9, 6, 4, 4] stored bound 0.230015819 | R2_iv 4.695033e-03 (stored 4.695033e-03) mu 0.023610067 s_req 0.258305100 smin0-s_req 1.682e-05 | pivots>0: E1 True (min 4.31e-12) smin True (min 1.19e-04) | PASS  2.2s
rank   203 box  24074 L=[2, 2, 1, 2] K=[17, 9, 7, 15] stored bound 0.230015819 | R2_iv 3.515404e-03 (stored 3.515404e-03) mu 0.019930345 s_req 0.253445749 smin0-s_req 1.682e-05 | pivots>0: E1 True (min 1.30e-12) smin True (min 1.32e-04) | PASS  2.2s
rank   204 box  35784 L=[3, 2, 2, 2] K=[31, 6, 14, 12] stored bound 0.230015822 | R2_iv 1.788829e-03 (stored 1.788829e-03) mu 0.014236675 s_req 0.246025504 smin0-s_req 1.682e-05 | pivots>0: E1 True (min 6.91e-12) smin True (min 1.18e-04) | PASS  2.2s
rank   205 box  35578 L=[3, 2, 2, 2] K=[25, 5, 13, 10] stored bound 0.230016035 | R2_iv 1.786471e-03 (stored 1.786471e-03) mu 0.014299002 s_req 0.246085472 smin0-s_req 1.703e-05 | pivots>0: E1 True (min 7.24e-12) smin True (min 1.10e-04) | PASS  2.2s
rank   206 box  51673 L=[3, 3, 3, 2] K=[35, 5, 28, 16] stored bound 0.230016454 | R2_iv 8.537965e-04 (stored 8.537965e-04) mu 0.010575427 s_req 0.241429224 smin0-s_req 1.745e-05 | pivots>0: E1 True (min 6.83e-12) smin True (min 1.16e-04) | PASS  2.2s
rank   207 box  45457 L=[3, 3, 2, 2] K=[37, 2, 15, 19] stored bound 0.230016530 | R2_iv 1.152219e-03 (stored 1.152219e-03) mu 0.011847836 s_req 0.243000054 smin0-s_req 1.753e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 1.13e-04) | PASS  2.2s
rank   208 box  36026 L=[3, 2, 2, 2] K=[28, 5, 15, 21] stored bound 0.230016539 | R2_iv 1.786887e-03 (stored 1.786887e-03) mu 0.014278701 s_req 0.246065588 smin0-s_req 1.754e-05 | pivots>0: E1 True (min 6.73e-12) smin True (min 1.15e-04) | PASS  2.2s
rank   209 box  50342 L=[3, 3, 3, 2] K=[26, 11, 29, 17] stored bound 0.230016683 | R2_iv 8.512503e-04 (stored 8.512503e-04) mu 0.010597215 s_req 0.241448465 smin0-s_req 1.768e-05 | pivots>0: E1 True (min 7.41e-12) smin True (min 1.16e-04) | PASS  2.2s
rank   210 box  49855 L=[3, 3, 2, 3] K=[26, 9, 13, 29] stored bound 0.230016810 | R2_iv 8.518745e-04 (stored 8.518745e-04) mu 0.009921630 s_req 0.240773504 smin0-s_req 1.781e-05 | pivots>0: E1 True (min 4.08e-13) smin True (min 1.14e-04) | PASS  2.2s
rank   211 box  49212 L=[3, 3, 2, 3] K=[28, 0, 13, 37] stored bound 0.230016852 | R2_iv 8.567147e-04 (stored 8.567147e-04) mu 0.009983722 s_req 0.240840436 smin0-s_req 1.785e-05 | pivots>0: E1 True (min 3.95e-13) smin True (min 9.65e-05) | PASS  2.2s
rank   212 box  34708 L=[3, 2, 2, 2] K=[27, 2, 12, 9] stored bound 0.230016904 | R2_iv 1.790329e-03 (stored 1.790329e-03) mu 0.014358796 s_req 0.246149125 smin0-s_req 1.790e-05 | pivots>0: E1 True (min 7.44e-12) smin True (min 1.05e-04) | PASS  2.2s
rank   213 box  57969 L=[3, 3, 3, 3] K=[35, 1, 29, 28] stored bound 0.230017056 | R2_iv 6.016196e-04 (stored 6.016196e-04) mu 0.008589665 s_req 0.239191284 smin0-s_req 1.806e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 1.10e-04) | PASS  2.2s
rank   214 box  47000 L=[3, 3, 2, 3] K=[23, 10, 15, 31] stored bound 0.230017181 | R2_iv 8.517917e-04 (stored 8.517917e-04) mu 0.009926188 s_req 0.240777980 smin0-s_req 1.818e-05 | pivots>0: E1 True (min 4.12e-13) smin True (min 1.15e-04) | PASS  2.2s
rank   215 box  54050 L=[3, 3, 3, 3] K=[29, 6, 27, 31] stored bound 0.230017201 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008569076 s_req 0.239168859 smin0-s_req 1.820e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 1.13e-04) | PASS  2.2s
rank   216 box  44790 L=[3, 3, 2, 2] K=[34, 1, 15, 10] stored bound 0.230017494 | R2_iv 1.151636e-03 (stored 1.151636e-03) mu 0.011883802 s_req 0.243035438 smin0-s_req 1.849e-05 | pivots>0: E1 True (min 1.32e-12) smin True (min 1.10e-04) | PASS  2.2s
rank   217 box  43260 L=[3, 3, 2, 2] K=[31, 10, 13, 14] stored bound 0.230017523 | R2_iv 1.144739e-03 (stored 1.144739e-03) mu 0.011758739 s_req 0.242903478 smin0-s_req 1.852e-05 | pivots>0: E1 True (min 1.11e-12) smin True (min 1.27e-04) | PASS  2.2s
rank   218 box  51755 L=[3, 3, 3, 2] K=[36, 0, 24, 16] stored bound 0.230017675 | R2_iv 8.565127e-04 (stored 8.565127e-04) mu 0.010635164 s_req 0.241491677 smin0-s_req 1.867e-05 | pivots>0: E1 True (min 6.97e-12) smin True (min 1.18e-04) | PASS  2.2s
rank   219 box  26216 L=[2, 2, 2, 2] K=[8, 7, 11, 14] stored bound 0.230017829 | R2_iv 2.464441e-03 (stored 2.464441e-03) mu 0.017169414 s_req 0.249633855 smin0-s_req 1.883e-05 | pivots>0: E1 True (min 1.54e-11) smin True (min 1.36e-04) | PASS  2.2s
rank   220 box  62648 L=[4, 3, 3, 3] K=[59, 2, 31, 34] stored bound 0.230017837 | R2_iv 4.391903e-04 (stored 4.391903e-04) mu 0.007187637 s_req 0.237626827 smin0-s_req 1.884e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 1.07e-04) | PASS  2.2s
rank   221 box  26583 L=[2, 2, 2, 2] K=[9, 6, 12, 19] stored bound 0.230018037 | R2_iv 2.463265e-03 (stored 2.463265e-03) mu 0.017148638 s_req 0.249611903 smin0-s_req 1.904e-05 | pivots>0: E1 True (min 1.46e-11) smin True (min 1.29e-04) | PASS  2.2s
rank   222 box  57486 L=[3, 3, 3, 3] K=[33, 0, 26, 27] stored bound 0.230018107 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008606116 s_req 0.239207843 smin0-s_req 1.911e-05 | pivots>0: E1 True (min 3.78e-12) smin True (min 1.12e-04) | PASS  2.2s
rank   223 box  26569 L=[2, 2, 2, 2] K=[8, 4, 12, 17] stored bound 0.230018117 | R2_iv 2.468179e-03 (stored 2.468179e-03) mu 0.017163400 s_req 0.249631579 smin0-s_req 1.912e-05 | pivots>0: E1 True (min 1.52e-11) smin True (min 1.19e-04) | PASS  2.2s
rank   224 box  33073 L=[3, 2, 2, 2] K=[19, 5, 15, 19] stored bound 0.230018258 | R2_iv 1.788729e-03 (stored 1.788729e-03) mu 0.014341718 s_req 0.246130447 smin0-s_req 1.926e-05 | pivots>0: E1 True (min 7.04e-12) smin True (min 1.22e-04) | PASS  2.2s
rank   225 box  45244 L=[3, 3, 2, 2] K=[36, 6, 14, 15] stored bound 0.230018335 | R2_iv 1.148909e-03 (stored 1.148909e-03) mu 0.011772168 s_req 0.242921077 smin0-s_req 1.934e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 1.32e-04) | PASS  2.2s
rank   226 box  49308 L=[3, 3, 3, 2] K=[29, 5, 25, 18] stored bound 0.230018388 | R2_iv 8.530596e-04 (stored 8.530596e-04) mu 0.010628267 s_req 0.241481326 smin0-s_req 1.939e-05 | pivots>0: E1 True (min 6.96e-12) smin True (min 1.20e-04) | PASS  2.2s
rank   227 box  61053 L=[4, 3, 3, 3] K=[58, 0, 31, 30] stored bound 0.230018555 | R2_iv 4.399613e-04 (stored 4.399613e-04) mu 0.007200066 s_req 0.237640028 smin0-s_req 1.956e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 1.05e-04) | PASS  2.2s
rank   228 box  47616 L=[3, 3, 3, 2] K=[28, 6, 23, 14] stored bound 0.230018577 | R2_iv 8.526038e-04 (stored 8.526038e-04) mu 0.010621351 s_req 0.241473955 smin0-s_req 1.958e-05 | pivots>0: E1 True (min 7.34e-12) smin True (min 1.24e-04) | PASS  2.2s
rank   229 box  54630 L=[3, 3, 3, 3] K=[26, 2, 28, 32] stored bound 0.230018634 | R2_iv 6.010646e-04 (stored 6.010646e-04) mu 0.008591608 s_req 0.239192672 smin0-s_req 1.963e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 1.08e-04) | PASS  2.2s
rank   230 box  49011 L=[3, 3, 2, 3] K=[24, 7, 13, 32] stored bound 0.230018762 | R2_iv 8.525483e-04 (stored 8.525483e-04) mu 0.009932834 s_req 0.240785382 smin0-s_req 1.976e-05 | pivots>0: E1 True (min 4.00e-13) smin True (min 1.20e-04) | PASS  2.2s
rank   231 box  35134 L=[3, 2, 2, 2] K=[27, 5, 10, 13] stored bound 0.230018914 | R2_iv 1.786634e-03 (stored 1.786634e-03) mu 0.014295959 s_req 0.246082593 smin0-s_req 1.991e-05 | pivots>0: E1 True (min 7.74e-12) smin True (min 1.40e-04) | PASS  2.2s
rank   232 box  40869 L=[3, 3, 2, 2] K=[29, 3, 10, 13] stored bound 0.230019010 | R2_iv 1.148374e-03 (stored 1.148374e-03) mu 0.011853389 s_req 0.243001763 smin0-s_req 2.001e-05 | pivots>0: E1 True (min 1.22e-12) smin True (min 1.23e-04) | PASS  2.2s
rank   233 box  44266 L=[3, 3, 2, 2] K=[32, 3, 10, 14] stored bound 0.230019019 | R2_iv 1.148792e-03 (stored 1.148792e-03) mu 0.011837697 s_req 0.242986489 smin0-s_req 2.002e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 1.30e-04) | PASS  2.2s
rank   234 box  43013 L=[3, 3, 2, 2] K=[27, 11, 12, 15] stored bound 0.230019170 | R2_iv 1.143245e-03 (stored 1.143245e-03) mu 0.011778996 s_req 0.242922241 smin0-s_req 2.017e-05 | pivots>0: E1 True (min 1.02e-12) smin True (min 1.38e-04) | PASS  2.2s
rank   235 box  49284 L=[3, 3, 3, 2] K=[29, 7, 24, 16] stored bound 0.230019346 | R2_iv 8.521723e-04 (stored 8.521723e-04) mu 0.010601550 s_req 0.241453722 smin0-s_req 2.035e-05 | pivots>0: E1 True (min 6.86e-12) smin True (min 1.32e-04) | PASS  2.2s
rank   236 box  18967 L=[2, 2, 1, 1] K=[21, 15, 7, 8] stored bound 0.230019368 | R2_iv 4.904449e-03 (stored 4.904449e-03) mu 0.025269754 s_req 0.260174202 smin0-s_req 2.037e-05 | pivots>0: E1 True (min 1.55e-11) smin True (min 1.77e-04) | PASS  2.2s
rank   237 box  55189 L=[3, 3, 3, 3] K=[29, 3, 27, 35] stored bound 0.230019514 | R2_iv 6.005366e-04 (stored 6.005366e-04) mu 0.008591839 s_req 0.239192376 smin0-s_req 2.051e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 1.20e-04) | PASS  2.2s
rank   238 box  51554 L=[3, 3, 3, 2] K=[34, 1, 25, 18] stored bound 0.230019637 | R2_iv 8.556030e-04 (stored 8.556030e-04) mu 0.010646521 s_req 0.241502124 smin0-s_req 2.064e-05 | pivots>0: E1 True (min 6.97e-12) smin True (min 1.27e-04) | PASS  2.2s
rank   239 box  55810 L=[3, 3, 3, 3] K=[31, 4, 28, 35] stored bound 0.230019660 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008580594 s_req 0.239180930 smin0-s_req 2.066e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 1.26e-04) | PASS  2.2s
rank   240 box  55421 L=[3, 3, 3, 3] K=[29, 3, 28, 36] stored bound 0.230019673 | R2_iv 6.005366e-04 (stored 6.005366e-04) mu 0.008593346 s_req 0.239193883 smin0-s_req 2.067e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 1.20e-04) | PASS  2.2s
rank   241 box  47437 L=[3, 3, 3, 2] K=[31, 1, 22, 13] stored bound 0.230019708 | R2_iv 8.557208e-04 (stored 8.557208e-04) mu 0.010665598 s_req 0.241521319 smin0-s_req 2.071e-05 | pivots>0: E1 True (min 7.16e-12) smin True (min 1.23e-04) | PASS  2.2s
rank   242 box  20263 L=[2, 2, 2, 1] K=[4, 12, 15, 7] stored bound 0.230019770 | R2_iv 3.518024e-03 (stored 3.518024e-03) mu 0.021464211 s_req 0.254982235 smin0-s_req 2.077e-05 | pivots>0: E1 True (min 4.87e-11) smin True (min 1.93e-04) | PASS  2.2s
rank   243 box  28114 L=[2, 2, 2, 2] K=[14, 3, 15, 7] stored bound 0.230019778 | R2_iv 2.463436e-03 (stored 2.463436e-03) mu 0.017092547 s_req 0.249555982 smin0-s_req 2.078e-05 | pivots>0: E1 True (min 1.36e-11) smin True (min 1.25e-04) | PASS  2.2s
rank   244 box  16318 L=[2, 2, 1, 1] K=[15, 8, 5, 4] stored bound 0.230019799 | R2_iv 4.705299e-03 (stored 4.705299e-03) mu 0.023471727 s_req 0.258177026 smin0-s_req 2.080e-05 | pivots>0: E1 True (min 3.92e-12) smin True (min 1.62e-04) | PASS  2.2s
rank   245 box  22227 L=[2, 2, 1, 2] K=[12, 3, 6, 6] stored bound 0.230019810 | R2_iv 3.500122e-03 (stored 3.500122e-03) mu 0.019915837 s_req 0.253415959 smin0-s_req 2.081e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 1.22e-04) | PASS  2.2s
rank   246 box   3362 L=[1, 1, 1, 1] K=[3, 4, 7, 1] stored bound 0.230019872 | R2_iv 1.040569e-02 (stored 1.040569e-02) mu 0.033822149 s_req 0.274227838 smin0-s_req 2.087e-05 | pivots>0: E1 True (min 5.48e-11) smin True (min 1.42e-04) | PASS  2.2s
rank   247 box  59265 L=[3, 3, 3, 3] K=[32, 4, 27, 32] stored bound 0.230019990 | R2_iv 6.004287e-04 (stored 6.004287e-04) mu 0.008570213 s_req 0.239170642 smin0-s_req 2.099e-05 | pivots>0: E1 True (min 3.54e-12) smin True (min 1.30e-04) | PASS  2.2s
rank   248 box  22469 L=[2, 2, 2, 1] K=[13, 5, 11, 3] stored bound 0.230020066 | R2_iv 3.494451e-03 (stored 3.494451e-03) mu 0.021073728 s_req 0.254568179 smin0-s_req 2.107e-05 | pivots>0: E1 True (min 3.20e-11) smin True (min 1.39e-04) | PASS  2.2s
rank   249 box  52725 L=[3, 3, 3, 3] K=[27, 3, 27, 28] stored bound 0.230020096 | R2_iv 6.006021e-04 (stored 6.006021e-04) mu 0.008594717 s_req 0.239195319 smin0-s_req 2.110e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 1.20e-04) | PASS  2.2s
rank   250 box  57954 L=[3, 3, 3, 3] K=[34, 2, 31, 27] stored bound 0.230020133 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008587045 s_req 0.239188225 smin0-s_req 2.113e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 1.29e-04) | PASS  2.2s
rank   251 box  47537 L=[3, 3, 2, 3] K=[30, 1, 11, 28] stored bound 0.230020216 | R2_iv 8.561695e-04 (stored 8.561695e-04) mu 0.009971593 s_req 0.240827762 smin0-s_req 2.122e-05 | pivots>0: E1 True (min 3.91e-13) smin True (min 1.24e-04) | PASS  2.2s
rank   252 box  34108 L=[3, 2, 2, 2] K=[30, 3, 11, 10] stored bound 0.230020273 | R2_iv 1.788878e-03 (stored 1.788878e-03) mu 0.014317418 s_req 0.246106297 smin0-s_req 2.127e-05 | pivots>0: E1 True (min 7.76e-12) smin True (min 1.38e-04) | PASS  2.2s
rank   253 box  38752 L=[3, 3, 2, 2] K=[21, 7, 15, 13] stored bound 0.230020478 | R2_iv 1.146507e-03 (stored 1.146507e-03) mu 0.011833435 s_req 0.242979942 smin0-s_req 2.148e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 1.26e-04) | PASS  2.2s
rank   254 box  62815 L=[4, 3, 3, 3] K=[63, 2, 31, 34] stored bound 0.230020553 | R2_iv 4.392303e-04 (stored 4.392303e-04) mu 0.007183688 s_req 0.237622918 smin0-s_req 2.155e-05 | pivots>0: E1 True (min 2.00e-12) smin True (min 1.25e-04) | PASS  2.2s
rank   255 box   9565 L=[2, 1, 1, 1] K=[12, 7, 7, 11] stored bound 0.230020583 | R2_iv 7.537846e-03 (stored 7.537846e-03) mu 0.028619840 s_req 0.266157686 smin0-s_req 2.158e-05 | pivots>0: E1 True (min 2.99e-11) smin True (min 1.76e-04) | PASS  2.2s
rank   256 box  61054 L=[4, 3, 3, 3] K=[58, 0, 30, 31] stored bound 0.230020895 | R2_iv 4.399613e-04 (stored 4.399613e-04) mu 0.007197528 s_req 0.237637490 smin0-s_req 2.190e-05 | pivots>0: E1 True (min 1.89e-12) smin True (min 1.18e-04) | PASS  2.2s
rank   257 box  21719 L=[2, 2, 1, 2] K=[10, 12, 7, 18] stored bound 0.230021052 | R2_iv 3.515114e-03 (stored 3.515114e-03) mu 0.019998866 s_req 0.253513979 smin0-s_req 2.205e-05 | pivots>0: E1 True (min 1.66e-12) smin True (min 1.78e-04) | PASS  2.2s
rank   258 box  54643 L=[3, 3, 3, 3] K=[26, 2, 31, 35] stored bound 0.230021063 | R2_iv 6.010646e-04 (stored 6.010646e-04) mu 0.008599177 s_req 0.239200241 smin0-s_req 2.206e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 1.20e-04) | PASS  2.2s
rank   259 box  54260 L=[3, 3, 3, 3] K=[29, 6, 30, 27] stored bound 0.230021313 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008574918 s_req 0.239174700 smin0-s_req 2.231e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 1.36e-04) | PASS  2.2s
rank   260 box  62567 L=[4, 3, 3, 3] K=[59, 2, 29, 32] stored bound 0.230021313 | R2_iv 4.391903e-04 (stored 4.391903e-04) mu 0.007182967 s_req 0.237622157 smin0-s_req 2.231e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 1.27e-04) | PASS  2.2s
rank   261 box  44267 L=[3, 3, 2, 2] K=[33, 2, 10, 14] stored bound 0.230021377 | R2_iv 1.150143e-03 (stored 1.150143e-03) mu 0.011851130 s_req 0.243001273 smin0-s_req 2.238e-05 | pivots>0: E1 True (min 1.31e-12) smin True (min 1.44e-04) | PASS  2.2s
rank   262 box  61214 L=[4, 3, 3, 3] K=[63, 0, 30, 28] stored bound 0.230021464 | R2_iv 4.399236e-04 (stored 4.399236e-04) mu 0.007201786 s_req 0.237641710 smin0-s_req 2.246e-05 | pivots>0: E1 True (min 2.02e-12) smin True (min 1.25e-04) | PASS  2.2s
rank   263 box  34043 L=[3, 2, 2, 2] K=[30, 0, 9, 11] stored bound 0.230021464 | R2_iv 1.795347e-03 (stored 1.795347e-03) mu 0.014418093 s_req 0.246213440 smin0-s_req 2.246e-05 | pivots>0: E1 True (min 7.36e-12) smin True (min 1.35e-04) | PASS  2.2s
rank   264 box  48818 L=[3, 3, 2, 3] K=[26, 1, 13, 35] stored bound 0.230021628 | R2_iv 8.559119e-04 (stored 8.559119e-04) mu 0.009971449 s_req 0.240827361 smin0-s_req 2.263e-05 | pivots>0: E1 True (min 3.82e-13) smin True (min 1.22e-04) | PASS  2.2s
rank   265 box  48420 L=[3, 3, 2, 3] K=[25, 1, 13, 29] stored bound 0.230021789 | R2_iv 8.559981e-04 (stored 8.559981e-04) mu 0.009965652 s_req 0.240821650 smin0-s_req 2.279e-05 | pivots>0: E1 True (min 3.58e-13) smin True (min 1.22e-04) | PASS  2.2s
rank   266 box  36270 L=[3, 2, 2, 2] K=[25, 8, 13, 16] stored bound 0.230021866 | R2_iv 1.787797e-03 (stored 1.787797e-03) mu 0.014284052 s_req 0.246071849 smin0-s_req 2.287e-05 | pivots>0: E1 True (min 6.88e-12) smin True (min 1.67e-04) | PASS  2.2s
rank   267 box  30108 L=[2, 2, 2, 2] K=[16, 2, 14, 7] stored bound 0.230021908 | R2_iv 2.466332e-03 (stored 2.466332e-03) mu 0.017108150 s_req 0.249574481 smin0-s_req 2.291e-05 | pivots>0: E1 True (min 1.39e-11) smin True (min 1.40e-04) | PASS  2.2s
rank   268 box  24358 L=[2, 2, 2, 1] K=[21, 0, 14, 4] stored bound 0.230022034 | R2_iv 3.523122e-03 (stored 3.523122e-03) mu 0.021141289 s_req 0.254664411 smin0-s_req 2.303e-05 | pivots>0: E1 True (min 2.90e-11) smin True (min 1.63e-04) | PASS  2.2s
rank   269 box   7695 L=[2, 1, 1, 1] K=[7, 6, 6, 11] stored bound 0.230022041 | R2_iv 7.491242e-03 (stored 7.491242e-03) mu 0.028811197 s_req 0.266302439 smin0-s_req 2.304e-05 | pivots>0: E1 True (min 3.87e-11) smin True (min 1.99e-04) | PASS  2.2s
rank   270 box  53912 L=[3, 3, 3, 3] K=[30, 4, 27, 27] stored bound 0.230022080 | R2_iv 6.002734e-04 (stored 6.002734e-04) mu 0.008584569 s_req 0.239184842 smin0-s_req 2.308e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 1.39e-04) | PASS  2.2s
rank   271 box   9858 L=[2, 1, 1, 1] K=[16, 2, 0, 8] stored bound 0.230022090 | R2_iv 7.455897e-03 (stored 7.455897e-03) mu 0.028513952 s_req 0.265969849 smin0-s_req 2.309e-05 | pivots>0: E1 True (min 2.59e-11) smin True (min 2.73e-04) | PASS  2.2s
rank   272 box  36004 L=[3, 2, 2, 2] K=[28, 5, 13, 20] stored bound 0.230022123 | R2_iv 1.786887e-03 (stored 1.786887e-03) mu 0.014285177 s_req 0.246072064 smin0-s_req 2.312e-05 | pivots>0: E1 True (min 6.56e-12) smin True (min 1.55e-04) | PASS  2.2s
rank   273 box  28380 L=[2, 2, 2, 2] K=[13, 5, 11, 9] stored bound 0.230022165 | R2_iv 2.461392e-03 (stored 2.461392e-03) mu 0.017074733 s_req 0.249536125 smin0-s_req 2.316e-05 | pivots>0: E1 True (min 1.40e-11) smin True (min 1.55e-04) | PASS  2.2s
rank   274 box  59341 L=[3, 3, 3, 3] K=[32, 4, 29, 35] stored bound 0.230022234 | R2_iv 6.004287e-04 (stored 6.004287e-04) mu 0.008577028 s_req 0.239177456 smin0-s_req 2.323e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 1.43e-04) | PASS  2.2s
rank   275 box  19877 L=[2, 2, 2, 1] K=[5, 7, 14, 6] stored bound 0.230022245 | R2_iv 3.511855e-03 (stored 3.511855e-03) mu 0.021334861 s_req 0.254846716 smin0-s_req 2.324e-05 | pivots>0: E1 True (min 3.52e-11) smin True (min 1.69e-04) | PASS  2.2s
rank   276 box  54314 L=[3, 3, 3, 3] K=[31, 5, 30, 27] stored bound 0.230022264 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008574465 s_req 0.239174581 smin0-s_req 2.326e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 1.43e-04) | PASS  2.2s
rank   277 box  45722 L=[3, 3, 2, 2] K=[33, 5, 15, 20] stored bound 0.230022346 | R2_iv 1.147508e-03 (stored 1.147508e-03) mu 0.011813835 s_req 0.242961343 smin0-s_req 2.335e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.47e-04) | PASS  2.2s
rank   278 box  51815 L=[3, 3, 3, 2] K=[37, 2, 29, 17] stored bound 0.230022438 | R2_iv 8.554928e-04 (stored 8.554928e-04) mu 0.010603977 s_req 0.241459470 smin0-s_req 2.344e-05 | pivots>0: E1 True (min 7.05e-12) smin True (min 1.52e-04) | PASS  2.2s
rank   279 box  49351 L=[3, 3, 3, 2] K=[31, 4, 27, 19] stored bound 0.230022463 | R2_iv 8.535696e-04 (stored 8.535696e-04) mu 0.010627321 s_req 0.241480890 smin0-s_req 2.346e-05 | pivots>0: E1 True (min 7.02e-12) smin True (min 1.44e-04) | PASS  2.2s
rank   280 box  44552 L=[3, 3, 2, 2] K=[34, 0, 11, 18] stored bound 0.230022673 | R2_iv 1.152894e-03 (stored 1.152894e-03) mu 0.011889663 s_req 0.243042557 smin0-s_req 2.367e-05 | pivots>0: E1 True (min 1.30e-12) smin True (min 1.46e-04) | PASS  2.2s
rank   281 box  21359 L=[2, 2, 2, 1] K=[9, 10, 11, 9] stored bound 0.230022710 | R2_iv 3.502763e-03 (stored 3.502763e-03) mu 0.021269549 s_req 0.254772312 smin0-s_req 2.371e-05 | pivots>0: E1 True (min 3.32e-11) smin True (min 1.94e-04) | PASS  2.2s
rank   282 box  57968 L=[3, 3, 3, 3] K=[35, 1, 28, 29] stored bound 0.230022898 | R2_iv 6.016196e-04 (stored 6.016196e-04) mu 0.008586810 s_req 0.239188430 smin0-s_req 2.390e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 1.47e-04) | PASS  2.2s
rank   283 box  16725 L=[2, 2, 1, 1] K=[12, 14, 7, 9] stored bound 0.230022939 | R2_iv 4.761750e-03 (stored 4.761750e-03) mu 0.023850772 s_req 0.258612522 smin0-s_req 2.394e-05 | pivots>0: E1 True (min 5.68e-12) smin True (min 1.97e-04) | PASS  2.2s
rank   284 box  46404 L=[3, 3, 2, 3] K=[23, 3, 15, 31] stored bound 0.230022956 | R2_iv 8.548497e-04 (stored 8.548497e-04) mu 0.009949430 s_req 0.240804279 smin0-s_req 2.396e-05 | pivots>0: E1 True (min 3.73e-13) smin True (min 1.30e-04) | PASS  2.2s
rank   285 box  48745 L=[3, 3, 3, 2] K=[31, 7, 26, 13] stored bound 0.230023101 | R2_iv 8.523686e-04 (stored 8.523686e-04) mu 0.010591563 s_req 0.241443931 smin0-s_req 2.410e-05 | pivots>0: E1 True (min 7.49e-12) smin True (min 1.57e-04) | PASS  2.2s
rank   286 box  22074 L=[2, 2, 2, 1] K=[15, 2, 9, 3] stored bound 0.230023133 | R2_iv 3.502492e-03 (stored 3.502492e-03) mu 0.021167544 s_req 0.254670036 smin0-s_req 2.413e-05 | pivots>0: E1 True (min 3.15e-11) smin True (min 1.56e-04) | PASS  2.2s
rank   287 box  43752 L=[3, 3, 2, 2] K=[31, 11, 15, 17] stored bound 0.230023182 | R2_iv 1.144766e-03 (stored 1.144766e-03) mu 0.011756058 s_req 0.242900824 smin0-s_req 2.418e-05 | pivots>0: E1 True (min 1.02e-12) smin True (min 1.66e-04) | PASS  2.2s
rank   288 box  60998 L=[4, 3, 3, 3] K=[59, 0, 31, 29] stored bound 0.230023269 | R2_iv 4.399397e-04 (stored 4.399397e-04) mu 0.007202023 s_req 0.237641963 smin0-s_req 2.427e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 1.31e-04) | PASS  2.2s
rank   289 box  48839 L=[3, 3, 2, 3] K=[25, 0, 14, 34] stored bound 0.230023293 | R2_iv 8.568288e-04 (stored 8.568288e-04) mu 0.009976436 s_req 0.240833265 smin0-s_req 2.429e-05 | pivots>0: E1 True (min 3.68e-13) smin True (min 1.26e-04) | PASS  2.2s
rank   290 box  51689 L=[3, 3, 3, 2] K=[34, 7, 31, 16] stored bound 0.230023332 | R2_iv 8.531169e-04 (stored 8.531169e-04) mu 0.010561568 s_req 0.241414685 smin0-s_req 2.433e-05 | pivots>0: E1 True (min 6.99e-12) smin True (min 1.62e-04) | PASS  2.2s
rank   291 box  21596 L=[2, 2, 1, 2] K=[9, 12, 6, 15] stored bound 0.230023399 | R2_iv 3.516368e-03 (stored 3.516368e-03) mu 0.020003520 s_req 0.253519888 smin0-s_req 2.440e-05 | pivots>0: E1 True (min 1.76e-12) smin True (min 2.05e-04) | PASS  2.2s
rank   292 box   9714 L=[2, 1, 1, 1] K=[17, 1, 3, 2] stored bound 0.230023477 | R2_iv 7.466161e-03 (stored 7.466161e-03) mu 0.028530972 s_req 0.265997133 smin0-s_req 2.448e-05 | pivots>0: E1 True (min 3.26e-11) smin True (min 1.87e-04) | PASS  2.2s
rank   293 box  54312 L=[3, 3, 3, 3] K=[31, 4, 31, 26] stored bound 0.230023520 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008582671 s_req 0.239183006 smin0-s_req 2.452e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 1.48e-04) | PASS  2.2s
rank   294 box  13091 L=[2, 2, 1, 1] K=[4, 11, 6, 9] stored bound 0.230023598 | R2_iv 4.734515e-03 (stored 4.734515e-03) mu 0.023999017 s_req 0.258733532 smin0-s_req 2.460e-05 | pivots>0: E1 True (min 7.29e-12) smin True (min 2.24e-04) | PASS  2.2s
rank   295 box  21193 L=[2, 2, 2, 1] K=[10, 7, 13, 11] stored bound 0.230023627 | R2_iv 3.494869e-03 (stored 3.494869e-03) mu 0.021171087 s_req 0.254665956 smin0-s_req 2.463e-05 | pivots>0: E1 True (min 3.03e-11) smin True (min 1.69e-04) | PASS  2.2s
rank   296 box  35834 L=[3, 2, 2, 2] K=[31, 5, 12, 18] stored bound 0.230023654 | R2_iv 1.788333e-03 (stored 1.788333e-03) mu 0.014264055 s_req 0.246052387 smin0-s_req 2.465e-05 | pivots>0: E1 True (min 6.41e-12) smin True (min 1.75e-04) | PASS  2.1s
rank   297 box  47554 L=[3, 3, 3, 2] K=[31, 3, 22, 14] stored bound 0.230023664 | R2_iv 8.541813e-04 (stored 8.541813e-04) mu 0.010634750 s_req 0.241488932 smin0-s_req 2.466e-05 | pivots>0: E1 True (min 7.20e-12) smin True (min 1.54e-04) | PASS  2.1s
rank   298 box  45362 L=[3, 3, 2, 2] K=[34, 6, 15, 19] stored bound 0.230023745 | R2_iv 1.147485e-03 (stored 1.147485e-03) mu 0.011793616 s_req 0.242941101 smin0-s_req 2.474e-05 | pivots>0: E1 True (min 1.10e-12) smin True (min 1.62e-04) | PASS  2.1s
rank   299 box  11116 L=[2, 1, 1, 1] K=[20, 6, 6, 9] stored bound 0.230023761 | R2_iv 7.607119e-03 (stored 7.607119e-03) mu 0.028898602 s_req 0.266505721 smin0-s_req 2.476e-05 | pivots>0: E1 True (min 1.98e-11) smin True (min 2.23e-04) | PASS  2.1s
rank   300 box  19872 L=[2, 2, 2, 1] K=[5, 7, 12, 7] stored bound 0.230023897 | R2_iv 3.511855e-03 (stored 3.511855e-03) mu 0.021334498 s_req 0.254846354 smin0-s_req 2.490e-05 | pivots>0: E1 True (min 3.34e-11) smin True (min 1.85e-04) | PASS  2.1s
rank   301 box  37328 L=[3, 2, 2, 2] K=[32, 0, 13, 22] stored bound 0.230024038 | R2_iv 1.795508e-03 (stored 1.795508e-03) mu 0.014413808 s_req 0.246209317 smin0-s_req 2.504e-05 | pivots>0: E1 True (min 7.92e-12) smin True (min 1.44e-04) | PASS  2.1s
rank   302 box  50102 L=[3, 3, 3, 2] K=[28, 8, 28, 12] stored bound 0.230024070 | R2_iv 8.518320e-04 (stored 8.518320e-04) mu 0.010603650 s_req 0.241455482 smin0-s_req 2.507e-05 | pivots>0: E1 True (min 7.57e-12) smin True (min 1.58e-04) | PASS  2.1s
rank   303 box  54384 L=[3, 3, 3, 3] K=[28, 7, 30, 28] stored bound 0.230024213 | R2_iv 5.995690e-04 (stored 5.995690e-04) mu 0.008571833 s_req 0.239171402 smin0-s_req 2.521e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 1.56e-04) | PASS  2.1s
rank   304 box  13696 L=[2, 2, 1, 1] K=[8, 3, 4, 9] stored bound 0.230024291 | R2_iv 4.719972e-03 (stored 4.719972e-03) mu 0.023703485 s_req 0.258423457 smin0-s_req 2.529e-05 | pivots>0: E1 True (min 4.03e-12) smin True (min 1.60e-04) | PASS  2.1s
rank   305 box  36898 L=[3, 2, 2, 2] K=[36, 0, 10, 18] stored bound 0.230024434 | R2_iv 1.797190e-03 (stored 1.797190e-03) mu 0.014381769 s_req 0.246178959 smin0-s_req 2.543e-05 | pivots>0: E1 True (min 7.74e-12) smin True (min 1.70e-04) | PASS  2.1s
rank   306 box  53587 L=[3, 3, 3, 3] K=[28, 0, 31, 26] stored bound 0.230024450 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008612456 s_req 0.239214189 smin0-s_req 2.545e-05 | pivots>0: E1 True (min 3.72e-12) smin True (min 1.35e-04) | PASS  2.1s
rank   307 box   4305 L=[1, 1, 1, 1] K=[6, 7, 3, 6] stored bound 0.230024505 | R2_iv 1.048874e-02 (stored 1.048874e-02) mu 0.033987842 s_req 0.274476581 smin0-s_req 2.550e-05 | pivots>0: E1 True (min 4.12e-11) smin True (min 3.12e-04) | PASS  2.2s
rank   308 box  50291 L=[3, 3, 2, 3] K=[26, 8, 13, 34] stored bound 0.230024567 | R2_iv 8.521336e-04 (stored 8.521336e-04) mu 0.009928103 s_req 0.240780236 smin0-s_req 2.557e-05 | pivots>0: E1 True (min 4.08e-13) smin True (min 1.61e-04) | PASS  2.2s
rank   309 box  52624 L=[3, 3, 3, 3] K=[27, 3, 28, 27] stored bound 0.230024808 | R2_iv 6.006021e-04 (stored 6.006021e-04) mu 0.008596031 s_req 0.239196633 smin0-s_req 2.581e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 1.46e-04) | PASS  2.1s
rank   310 box  43006 L=[3, 3, 2, 2] K=[26, 11, 14, 12] stored bound 0.230024866 | R2_iv 1.143104e-03 (stored 1.143104e-03) mu 0.011781125 s_req 0.242924229 smin0-s_req 2.587e-05 | pivots>0: E1 True (min 1.08e-12) smin True (min 1.69e-04) | PASS  2.2s
rank   311 box  40807 L=[3, 3, 2, 2] K=[24, 6, 11, 15] stored bound 0.230024875 | R2_iv 1.146086e-03 (stored 1.146086e-03) mu 0.011828416 s_req 0.242974502 smin0-s_req 2.588e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.58e-04) | PASS  2.2s
rank   312 box  20297 L=[2, 2, 2, 1] K=[6, 12, 15, 6] stored bound 0.230024913 | R2_iv 3.514099e-03 (stored 3.514099e-03) mu 0.021401770 s_req 0.254915869 smin0-s_req 2.591e-05 | pivots>0: E1 True (min 4.59e-11) smin True (min 2.24e-04) | PASS  2.2s
rank   313 box  41630 L=[3, 3, 2, 2] K=[27, 5, 12, 11] stored bound 0.230024940 | R2_iv 1.146383e-03 (stored 1.146383e-03) mu 0.011833859 s_req 0.242980242 smin0-s_req 2.594e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 1.55e-04) | PASS  2.2s
rank   314 box  58785 L=[3, 3, 3, 3] K=[33, 3, 27, 32] stored bound 0.230025008 | R2_iv 6.007838e-04 (stored 6.007838e-04) mu 0.008573170 s_req 0.239173954 smin0-s_req 2.601e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 1.61e-04) | PASS  2.1s
rank   315 box  37265 L=[3, 2, 2, 2] K=[36, 3, 12, 17] stored bound 0.230025017 | R2_iv 1.792785e-03 (stored 1.792785e-03) mu 0.014267772 s_req 0.246060557 smin0-s_req 2.602e-05 | pivots>0: E1 True (min 6.79e-12) smin True (min 1.85e-04) | PASS  2.1s
rank   316 box  61152 L=[4, 3, 3, 3] K=[57, 2, 31, 30] stored bound 0.230025119 | R2_iv 4.392125e-04 (stored 4.392125e-04) mu 0.007187197 s_req 0.237626410 smin0-s_req 2.612e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 1.46e-04) | PASS  2.1s
rank   317 box  53586 L=[3, 3, 3, 3] K=[28, 0, 30, 26] stored bound 0.230025207 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008612535 s_req 0.239214268 smin0-s_req 2.621e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 1.39e-04) | PASS  2.1s
rank   318 box  53354 L=[3, 3, 3, 3] K=[27, 7, 28, 31] stored bound 0.230025224 | R2_iv 5.995544e-04 (stored 5.995544e-04) mu 0.008571193 s_req 0.239170748 smin0-s_req 2.622e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 1.62e-04) | PASS  2.1s
rank   319 box  51448 L=[3, 3, 3, 2] K=[38, 1, 30, 14] stored bound 0.230025254 | R2_iv 8.562881e-04 (stored 8.562881e-04) mu 0.010610487 s_req 0.241466775 smin0-s_req 2.625e-05 | pivots>0: E1 True (min 7.39e-12) smin True (min 1.70e-04) | PASS  2.1s
rank   320 box  45024 L=[3, 3, 2, 2] K=[33, 7, 12, 14] stored bound 0.230025344 | R2_iv 1.146466e-03 (stored 1.146466e-03) mu 0.011776204 s_req 0.242922670 smin0-s_req 2.634e-05 | pivots>0: E1 True (min 1.19e-12) smin True (min 1.79e-04) | PASS  2.1s
rank   321 box   3584 L=[1, 1, 1, 1] K=[5, 0, 0, 3] stored bound 0.230025377 | R2_iv 1.043018e-02 (stored 1.043018e-02) mu 0.034318074 s_req 0.274748256 smin0-s_req 2.638e-05 | pivots>0: E1 True (min 4.00e-11) smin True (min 1.73e-04) | PASS  2.1s
rank   322 box  54962 L=[3, 3, 3, 3] K=[26, 6, 28, 32] stored bound 0.230025391 | R2_iv 5.997860e-04 (stored 5.997860e-04) mu 0.008577925 s_req 0.239177711 smin0-s_req 2.639e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 1.58e-04) | PASS  2.1s
rank   323 box  45389 L=[3, 3, 2, 2] K=[38, 2, 13, 16] stored bound 0.230025459 | R2_iv 1.152974e-03 (stored 1.152974e-03) mu 0.011827782 s_req 0.242980756 smin0-s_req 2.646e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 1.78e-04) | PASS  2.1s
rank   324 box  42457 L=[3, 3, 2, 2] K=[25, 8, 11, 14] stored bound 0.230025463 | R2_iv 1.144272e-03 (stored 1.144272e-03) mu 0.011807077 s_req 0.242951349 smin0-s_req 2.646e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 1.70e-04) | PASS  2.1s
rank   325 box  18381 L=[2, 2, 1, 1] K=[20, 3, 4, 6] stored bound 0.230025481 | R2_iv 4.731182e-03 (stored 4.731182e-03) mu 0.023500281 s_req 0.258231463 smin0-s_req 2.648e-05 | pivots>0: E1 True (min 5.16e-12) smin True (min 2.30e-04) | PASS  2.1s
rank   326 box  54311 L=[3, 3, 3, 3] K=[31, 4, 30, 26] stored bound 0.230025614 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008582599 s_req 0.239182935 smin0-s_req 2.661e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 1.60e-04) | PASS  2.1s
rank   327 box  36469 L=[3, 2, 2, 2] K=[32, 0, 11, 9] stored bound 0.230025637 | R2_iv 1.795508e-03 (stored 1.795508e-03) mu 0.014413760 s_req 0.246209268 smin0-s_req 2.664e-05 | pivots>0: E1 True (min 8.15e-12) smin True (min 1.56e-04) | PASS  2.1s
rank   328 box  50380 L=[3, 3, 2, 3] K=[25, 9, 15, 36] stored bound 0.230025662 | R2_iv 8.518617e-04 (stored 8.518617e-04) mu 0.009931129 s_req 0.240782990 smin0-s_req 2.666e-05 | pivots>0: E1 True (min 4.20e-13) smin True (min 1.67e-04) | PASS  2.1s
rank   329 box  46749 L=[3, 3, 2, 3] K=[23, 7, 14, 33] stored bound 0.230025669 | R2_iv 8.526819e-04 (stored 8.526819e-04) mu 0.009936283 s_req 0.240788965 smin0-s_req 2.667e-05 | pivots>0: E1 True (min 4.05e-13) smin True (min 1.59e-04) | PASS  2.1s
rank   330 box  13683 L=[2, 2, 1, 1] K=[8, 3, 5, 4] stored bound 0.230025797 | R2_iv 4.719972e-03 (stored 4.719972e-03) mu 0.023699890 s_req 0.258419861 smin0-s_req 2.680e-05 | pivots>0: E1 True (min 4.00e-12) smin True (min 1.58e-04) | PASS  2.1s
rank   331 box  38719 L=[3, 3, 2, 2] K=[23, 6, 12, 13] stored bound 0.230025907 | R2_iv 1.146472e-03 (stored 1.146472e-03) mu 0.011835617 s_req 0.242982089 smin0-s_req 2.691e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 1.60e-04) | PASS  2.1s
rank   332 box  61108 L=[4, 3, 3, 3] K=[59, 2, 30, 29] stored bound 0.230025925 | R2_iv 4.391903e-04 (stored 4.391903e-04) mu 0.007187774 s_req 0.237626965 smin0-s_req 2.692e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 1.52e-04) | PASS  2.1s
rank   333 box  36161 L=[3, 2, 2, 2] K=[25, 8, 13, 14] stored bound 0.230025958 | R2_iv 1.787797e-03 (stored 1.787797e-03) mu 0.014281904 s_req 0.246069701 smin0-s_req 2.696e-05 | pivots>0: E1 True (min 7.12e-12) smin True (min 1.96e-04) | PASS  2.1s
rank   334 box  32218 L=[3, 2, 2, 2] K=[23, 1, 12, 19] stored bound 0.230025982 | R2_iv 1.794775e-03 (stored 1.794775e-03) mu 0.014392083 s_req 0.246186858 smin0-s_req 2.698e-05 | pivots>0: E1 True (min 6.83e-12) smin True (min 1.49e-04) | PASS  2.1s
rank   335 box   7198 L=[2, 1, 1, 1] K=[6, 2, 4, 4] stored bound 0.230025996 | R2_iv 7.486471e-03 (stored 7.486471e-03) mu 0.028670469 s_req 0.266156940 smin0-s_req 2.700e-05 | pivots>0: E1 True (min 2.22e-11) smin True (min 1.80e-04) | PASS  2.1s
rank   336 box  46748 L=[3, 3, 2, 3] K=[23, 6, 14, 33] stored bound 0.230026053 | R2_iv 8.531190e-04 (stored 8.531190e-04) mu 0.009939798 s_req 0.240792917 smin0-s_req 2.705e-05 | pivots>0: E1 True (min 4.00e-13) smin True (min 1.58e-04) | PASS  2.1s
rank   337 box  27484 L=[2, 2, 2, 2] K=[13, 0, 7, 15] stored bound 0.230026138 | R2_iv 2.471487e-03 (stored 2.471487e-03) mu 0.017203322 s_req 0.249674809 smin0-s_req 2.714e-05 | pivots>0: E1 True (min 1.17e-11) smin True (min 1.66e-04) | PASS  2.1s
rank   338 box  11115 L=[2, 1, 1, 1] K=[23, 6, 6, 6] stored bound 0.230026167 | R2_iv 7.676649e-03 (stored 7.676649e-03) mu 0.029436702 s_req 0.267113351 smin0-s_req 2.717e-05 | pivots>0: E1 True (min 3.04e-11) smin True (min 2.61e-04) | PASS  2.1s
rank   339 box  61199 L=[4, 3, 3, 3] K=[63, 0, 28, 30] stored bound 0.230026170 | R2_iv 4.399236e-04 (stored 4.399236e-04) mu 0.007197080 s_req 0.237637004 smin0-s_req 2.717e-05 | pivots>0: E1 True (min 2.00e-12) smin True (min 1.53e-04) | PASS  2.1s
rank   340 box  58792 L=[3, 3, 3, 3] K=[32, 3, 27, 34] stored bound 0.230026277 | R2_iv 6.006748e-04 (stored 6.006748e-04) mu 0.008582322 s_req 0.239182997 smin0-s_req 2.728e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 1.66e-04) | PASS  2.1s
rank   341 box  15961 L=[2, 2, 1, 1] K=[14, 4, 5, 2] stored bound 0.230026340 | R2_iv 4.693518e-03 (stored 4.693518e-03) mu 0.023542257 s_req 0.258235775 smin0-s_req 2.734e-05 | pivots>0: E1 True (min 4.23e-12) smin True (min 1.77e-04) | PASS  2.1s
rank   342 box  40098 L=[3, 3, 2, 2] K=[23, 9, 15, 19] stored bound 0.230026351 | R2_iv 1.144115e-03 (stored 1.144115e-03) mu 0.011809861 s_req 0.242953976 smin0-s_req 2.735e-05 | pivots>0: E1 True (min 1.08e-12) smin True (min 1.69e-04) | PASS  2.1s
rank   343 box  64085 L=[4, 3, 3, 3] K=[68, 0, 31, 30] stored bound 0.230026358 | R2_iv 4.400611e-04 (stored 4.400611e-04) mu 0.007191965 s_req 0.237632026 smin0-s_req 2.736e-05 | pivots>0: E1 True (min 2.13e-12) smin True (min 1.59e-04) | PASS  2.1s
rank   344 box  62747 L=[4, 3, 3, 3] K=[63, 2, 29, 32] stored bound 0.230026496 | R2_iv 4.392303e-04 (stored 4.392303e-04) mu 0.007178938 s_req 0.237618168 smin0-s_req 2.750e-05 | pivots>0: E1 True (min 2.00e-12) smin True (min 1.61e-04) | PASS  2.2s
rank   345 box  50446 L=[3, 3, 3, 2] K=[27, 10, 30, 18] stored bound 0.230026499 | R2_iv 8.513924e-04 (stored 8.513924e-04) mu 0.010596329 s_req 0.241447721 smin0-s_req 2.750e-05 | pivots>0: E1 True (min 7.35e-12) smin True (min 1.78e-04) | PASS  2.2s
rank   346 box  61154 L=[4, 3, 3, 3] K=[57, 2, 30, 31] stored bound 0.230026563 | R2_iv 4.392125e-04 (stored 4.392125e-04) mu 0.007184958 s_req 0.237624171 smin0-s_req 2.756e-05 | pivots>0: E1 True (min 1.89e-12) smin True (min 1.54e-04) | PASS  2.1s
rank   347 box  34016 L=[3, 2, 2, 2] K=[30, 0, 11, 9] stored bound 0.230026603 | R2_iv 1.795347e-03 (stored 1.795347e-03) mu 0.014419303 s_req 0.246214650 smin0-s_req 2.760e-05 | pivots>0: E1 True (min 7.75e-12) smin True (min 1.57e-04) | PASS  2.1s
rank   348 box  53350 L=[3, 3, 3, 3] K=[27, 7, 31, 28] stored bound 0.230026609 | R2_iv 5.995544e-04 (stored 5.995544e-04) mu 0.008575152 s_req 0.239174706 smin0-s_req 2.761e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 1.69e-04) | PASS  2.1s
rank   349 box  42193 L=[3, 3, 2, 2] K=[28, 2, 13, 20] stored bound 0.230026760 | R2_iv 1.149685e-03 (stored 1.149685e-03) mu 0.011874371 s_req 0.243024056 smin0-s_req 2.776e-05 | pivots>0: E1 True (min 1.20e-12) smin True (min 1.57e-04) | PASS  2.1s
rank   350 box  22091 L=[2, 2, 1, 2] K=[13, 0, 4, 21] stored bound 0.230026852 | R2_iv 3.514664e-03 (stored 3.514664e-03) mu 0.019975733 s_req 0.253490396 smin0-s_req 2.785e-05 | pivots>0: E1 True (min 1.58e-12) smin True (min 1.63e-04) | PASS  2.2s
rank   351 box  25944 L=[2, 2, 2, 2] K=[9, 2, 15, 20] stored bound 0.230026894 | R2_iv 2.471312e-03 (stored 2.471312e-03) mu 0.017166514 s_req 0.249637827 smin0-s_req 2.789e-05 | pivots>0: E1 True (min 1.40e-11) smin True (min 1.53e-04) | PASS  2.1s
rank   352 box  57796 L=[3, 3, 3, 3] K=[32, 0, 28, 25] stored bound 0.230027135 | R2_iv 6.016658e-04 (stored 6.016658e-04) mu 0.008611544 s_req 0.239213210 smin0-s_req 2.814e-05 | pivots>0: E1 True (min 3.81e-12) smin True (min 1.59e-04) | PASS  2.1s
rank   353 box  22682 L=[2, 2, 1, 2] K=[13, 7, 6, 22] stored bound 0.230027158 | R2_iv 3.496307e-03 (stored 3.496307e-03) mu 0.019859209 s_req 0.253355516 smin0-s_req 2.816e-05 | pivots>0: E1 True (min 1.70e-12) smin True (min 2.00e-04) | PASS  2.1s
rank   354 box  61137 L=[4, 3, 3, 3] K=[59, 2, 29, 30] stored bound 0.230027200 | R2_iv 4.391903e-04 (stored 4.391903e-04) mu 0.007185705 s_req 0.237624896 smin0-s_req 2.820e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 1.60e-04) | PASS  2.1s
rank   355 box  21303 L=[2, 2, 2, 1] K=[8, 10, 10, 6] stored bound 0.230027242 | R2_iv 3.502855e-03 (stored 3.502855e-03) mu 0.021297964 s_req 0.254800818 smin0-s_req 2.824e-05 | pivots>0: E1 True (min 4.02e-11) smin True (min 2.36e-04) | PASS  2.1s
rank   356 box  12826 L=[2, 2, 1, 1] K=[7, 7, 7, 11] stored bound 0.230027474 | R2_iv 4.704392e-03 (stored 4.704392e-03) mu 0.023671772 s_req 0.258376165 smin0-s_req 2.847e-05 | pivots>0: E1 True (min 4.71e-12) smin True (min 1.95e-04) | PASS  2.1s
rank   357 box  23490 L=[2, 2, 2, 1] K=[17, 0, 9, 11] stored bound 0.230027508 | R2_iv 3.513489e-03 (stored 3.513489e-03) mu 0.021288873 s_req 0.254802361 smin0-s_req 2.851e-05 | pivots>0: E1 True (min 2.54e-11) smin True (min 1.89e-04) | PASS  2.2s
rank   358 box  58999 L=[3, 3, 3, 3] K=[33, 3, 29, 35] stored bound 0.230027561 | R2_iv 6.007838e-04 (stored 6.007838e-04) mu 0.008580888 s_req 0.239181672 smin0-s_req 2.856e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 1.75e-04) | PASS  2.2s
rank   359 box  49298 L=[3, 3, 3, 2] K=[31, 6, 25, 17] stored bound 0.230027605 | R2_iv 8.526631e-04 (stored 8.526631e-04) mu 0.010601170 s_req 0.241453833 smin0-s_req 2.860e-05 | pivots>0: E1 True (min 6.79e-12) smin True (min 1.85e-04) | PASS  2.2s
rank   360 box  51818 L=[3, 3, 3, 2] K=[37, 3, 30, 16] stored bound 0.230027621 | R2_iv 8.550646e-04 (stored 8.550646e-04) mu 0.010583640 s_req 0.241438705 smin0-s_req 2.862e-05 | pivots>0: E1 True (min 7.05e-12) smin True (min 1.88e-04) | PASS  2.2s
rank   361 box  41887 L=[3, 3, 2, 2] K=[31, 4, 14, 10] stored bound 0.230027624 | R2_iv 1.147583e-03 (stored 1.147583e-03) mu 0.011836921 s_req 0.242984504 smin0-s_req 2.862e-05 | pivots>0: E1 True (min 1.20e-12) smin True (min 1.72e-04) | PASS  2.2s
rank   362 box  61029 L=[4, 3, 3, 3] K=[59, 0, 29, 31] stored bound 0.230027711 | R2_iv 4.399397e-04 (stored 4.399397e-04) mu 0.007197105 s_req 0.237637045 smin0-s_req 2.871e-05 | pivots>0: E1 True (min 1.91e-12) smin True (min 1.56e-04) | PASS  2.2s
rank   363 box  54380 L=[3, 3, 3, 3] K=[29, 7, 29, 29] stored bound 0.230027788 | R2_iv 5.996152e-04 (stored 5.996152e-04) mu 0.008567039 s_req 0.239166654 smin0-s_req 2.879e-05 | pivots>0: E1 True (min 3.63e-12) smin True (min 1.80e-04) | PASS  2.1s
rank   364 box  18227 L=[2, 2, 1, 1] K=[19, 15, 7, 8] stored bound 0.230027872 | R2_iv 4.866827e-03 (stored 4.866827e-03) mu 0.024938653 s_req 0.259805480 smin0-s_req 2.887e-05 | pivots>0: E1 True (min 1.32e-11) smin True (min 2.43e-04) | PASS  2.2s
rank   365 box  54381 L=[3, 3, 3, 3] K=[28, 7, 28, 30] stored bound 0.230028050 | R2_iv 5.995690e-04 (stored 5.995690e-04) mu 0.008569479 s_req 0.239169048 smin0-s_req 2.905e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 1.81e-04) | PASS  2.1s
rank   366 box  23596 L=[2, 2, 2, 1] K=[19, 1, 14, 3] stored bound 0.230028120 | R2_iv 3.512616e-03 (stored 3.512616e-03) mu 0.021099963 s_req 0.254612578 smin0-s_req 2.912e-05 | pivots>0: E1 True (min 2.88e-11) smin True (min 1.91e-04) | PASS  2.1s
rank   367 box  27039 L=[2, 2, 2, 2] K=[9, 9, 12, 13] stored bound 0.230028142 | R2_iv 2.464378e-03 (stored 2.464378e-03) mu 0.017153700 s_req 0.249618078 smin0-s_req 2.914e-05 | pivots>0: E1 True (min 1.52e-11) smin True (min 2.22e-04) | PASS  2.1s
rank   368 box  23012 L=[2, 2, 1, 2] K=[12, 10, 6, 19] stored bound 0.230028147 | R2_iv 3.504212e-03 (stored 3.504212e-03) mu 0.019895401 s_req 0.253399613 smin0-s_req 2.915e-05 | pivots>0: E1 True (min 1.58e-12) smin True (min 2.28e-04) | PASS  2.1s
rank   369 box  48692 L=[3, 3, 2, 3] K=[28, 0, 12, 26] stored bound 0.230028172 | R2_iv 8.567147e-04 (stored 8.567147e-04) mu 0.009981094 s_req 0.240837809 smin0-s_req 2.917e-05 | pivots>0: E1 True (min 3.70e-13) smin True (min 1.59e-04) | PASS  2.1s
rank   370 box  50965 L=[3, 3, 3, 2] K=[34, 0, 27, 11] stored bound 0.230028218 | R2_iv 8.563867e-04 (stored 8.563867e-04) mu 0.010664462 s_req 0.241520849 smin0-s_req 2.922e-05 | pivots>0: E1 True (min 7.67e-12) smin True (min 1.72e-04) | PASS  2.1s
rank   371 box  29811 L=[2, 2, 2, 2] K=[18, 1, 8, 14] stored bound 0.230028303 | R2_iv 2.470923e-03 (stored 2.470923e-03) mu 0.017136304 s_req 0.249607227 smin0-s_req 2.930e-05 | pivots>0: E1 True (min 1.44e-11) smin True (min 2.20e-04) | PASS  2.1s
rank   372 box  41265 L=[3, 3, 2, 2] K=[31, 3, 10, 16] stored bound 0.230028363 | R2_iv 1.148558e-03 (stored 1.148558e-03) mu 0.011836942 s_req 0.242985499 smin0-s_req 2.936e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 1.88e-04) | PASS  2.1s
rank   373 box  24278 L=[2, 2, 2, 1] K=[20, 1, 8, 7] stored bound 0.230028477 | R2_iv 3.516295e-03 (stored 3.516295e-03) mu 0.021121909 s_req 0.254638204 smin0-s_req 2.948e-05 | pivots>0: E1 True (min 2.92e-11) smin True (min 2.45e-04) | PASS  2.1s
rank   374 box  51683 L=[3, 3, 3, 2] K=[34, 6, 29, 17] stored bound 0.230028517 | R2_iv 8.532669e-04 (stored 8.532669e-04) mu 0.010576714 s_req 0.241429981 smin0-s_req 2.952e-05 | pivots>0: E1 True (min 6.87e-12) smin True (min 1.95e-04) | PASS  2.1s
rank   375 box   4307 L=[1, 1, 1, 1] K=[6, 7, 3, 7] stored bound 0.230028525 | R2_iv 1.048874e-02 (stored 1.048874e-02) mu 0.033962091 s_req 0.274450831 smin0-s_req 2.953e-05 | pivots>0: E1 True (min 4.19e-11) smin True (min 3.74e-04) | PASS  2.1s
rank   376 box  54376 L=[3, 3, 3, 3] K=[29, 6, 28, 28] stored bound 0.230028682 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008574028 s_req 0.239173810 smin0-s_req 2.968e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 1.83e-04) | PASS  2.1s
rank   377 box  63855 L=[4, 3, 3, 3] K=[67, 0, 31, 29] stored bound 0.230029041 | R2_iv 4.400196e-04 (stored 4.400196e-04) mu 0.007195695 s_req 0.237635715 smin0-s_req 3.004e-05 | pivots>0: E1 True (min 2.11e-12) smin True (min 1.73e-04) | PASS  2.1s
rank   378 box  47767 L=[3, 3, 2, 3] K=[30, 1, 11, 32] stored bound 0.230029049 | R2_iv 8.561695e-04 (stored 8.561695e-04) mu 0.009970319 s_req 0.240826489 smin0-s_req 3.005e-05 | pivots>0: E1 True (min 3.95e-13) smin True (min 1.76e-04) | PASS  2.1s
rank   379 box  28394 L=[2, 2, 2, 2] K=[13, 5, 9, 11] stored bound 0.230029051 | R2_iv 2.461392e-03 (stored 2.461392e-03) mu 0.017102757 s_req 0.249564149 smin0-s_req 3.005e-05 | pivots>0: E1 True (min 1.42e-11) smin True (min 2.15e-04) | PASS  2.1s
rank   380 box  45290 L=[3, 3, 2, 2] K=[34, 5, 12, 17] stored bound 0.230029079 | R2_iv 1.148029e-03 (stored 1.148029e-03) mu 0.011801948 s_req 0.242949977 smin0-s_req 3.008e-05 | pivots>0: E1 True (min 1.08e-12) smin True (min 2.01e-04) | PASS  2.1s
rank   381 box  61291 L=[4, 3, 3, 3] K=[63, 2, 30, 29] stored bound 0.230029113 | R2_iv 4.392303e-04 (stored 4.392303e-04) mu 0.007183752 s_req 0.237622982 smin0-s_req 3.011e-05 | pivots>0: E1 True (min 2.01e-12) smin True (min 1.75e-04) | PASS  2.1s
rank   382 box  23458 L=[2, 2, 2, 1] K=[16, 3, 8, 4] stored bound 0.230029132 | R2_iv 3.500382e-03 (stored 3.500382e-03) mu 0.021123598 s_req 0.254623980 smin0-s_req 3.013e-05 | pivots>0: E1 True (min 3.08e-11) smin True (min 2.19e-04) | PASS  2.1s
rank   383 box  52680 L=[3, 3, 3, 3] K=[27, 1, 27, 29] stored bound 0.230029166 | R2_iv 6.013779e-04 (stored 6.013779e-04) mu 0.008601756 s_req 0.239203134 smin0-s_req 3.017e-05 | pivots>0: E1 True (min 3.50e-12) smin True (min 1.64e-04) | PASS  2.1s
rank   384 box  45105 L=[3, 3, 2, 2] K=[38, 2, 13, 14] stored bound 0.230029278 | R2_iv 1.152974e-03 (stored 1.152974e-03) mu 0.011831851 s_req 0.242984825 smin0-s_req 3.028e-05 | pivots>0: E1 True (min 1.37e-12) smin True (min 2.03e-04) | PASS  2.1s
rank   385 box  64083 L=[4, 3, 3, 3] K=[68, 0, 30, 31] stored bound 0.230029369 | R2_iv 4.400611e-04 (stored 4.400611e-04) mu 0.007189153 s_req 0.237629214 smin0-s_req 3.037e-05 | pivots>0: E1 True (min 2.14e-12) smin True (min 1.77e-04) | PASS  2.1s
rank   386 box  50106 L=[3, 3, 3, 2] K=[29, 8, 29, 12] stored bound 0.230029416 | R2_iv 8.518874e-04 (stored 8.518874e-04) mu 0.010596201 s_req 0.241448088 smin0-s_req 3.042e-05 | pivots>0: E1 True (min 7.46e-12) smin True (min 1.93e-04) | PASS  2.1s
rank   387 box  35373 L=[3, 2, 2, 2] K=[26, 4, 11, 19] stored bound 0.230029595 | R2_iv 1.787207e-03 (stored 1.787207e-03) mu 0.014323161 s_req 0.246110368 smin0-s_req 3.059e-05 | pivots>0: E1 True (min 6.68e-12) smin True (min 2.02e-04) | PASS  2.1s
rank   388 box   9484 L=[2, 1, 1, 1] K=[14, 6, 4, 6] stored bound 0.230029613 | R2_iv 7.515298e-03 (stored 7.515298e-03) mu 0.028479710 s_req 0.265995009 smin0-s_req 3.061e-05 | pivots>0: E1 True (min 2.29e-11) smin True (min 3.02e-04) | PASS  2.1s
rank   389 box  35830 L=[3, 2, 2, 2] K=[25, 7, 14, 19] stored bound 0.230029668 | R2_iv 1.786722e-03 (stored 1.786722e-03) mu 0.014281861 s_req 0.246068583 smin0-s_req 3.067e-05 | pivots>0: E1 True (min 6.71e-12) smin True (min 2.13e-04) | PASS  2.1s
rank   390 box  38631 L=[3, 3, 2, 2] K=[23, 3, 12, 14] stored bound 0.230029721 | R2_iv 1.150108e-03 (stored 1.150108e-03) mu 0.011869002 s_req 0.243019111 smin0-s_req 3.072e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.71e-04) | PASS  2.1s
rank   391 box  32584 L=[3, 2, 2, 2] K=[21, 4, 11, 17] stored bound 0.230029741 | R2_iv 1.788801e-03 (stored 1.788801e-03) mu 0.014344958 s_req 0.246133760 smin0-s_req 3.074e-05 | pivots>0: E1 True (min 6.84e-12) smin True (min 1.96e-04) | PASS  2.1s
rank   392 box  47486 L=[3, 3, 2, 3] K=[29, 1, 11, 30] stored bound 0.230029794 | R2_iv 8.560148e-04 (stored 8.560148e-04) mu 0.009969725 s_req 0.240825740 smin0-s_req 3.079e-05 | pivots>0: E1 True (min 3.86e-13) smin True (min 1.78e-04) | PASS  2.1s
rank   393 box  25757 L=[2, 2, 2, 2] K=[9, 3, 12, 11] stored bound 0.230029811 | R2_iv 2.468283e-03 (stored 2.468283e-03) mu 0.017161821 s_req 0.249630104 smin0-s_req 3.081e-05 | pivots>0: E1 True (min 1.33e-11) smin True (min 1.81e-04) | PASS  2.1s
rank   394 box  47536 L=[3, 3, 2, 3] K=[30, 0, 11, 28] stored bound 0.230029844 | R2_iv 8.569393e-04 (stored 8.569393e-04) mu 0.009982527 s_req 0.240839467 smin0-s_req 3.084e-05 | pivots>0: E1 True (min 3.88e-13) smin True (min 1.76e-04) | PASS  2.1s
rank   395 box   3587 L=[1, 1, 1, 1] K=[4, 0, 1, 4] stored bound 0.230029885 | R2_iv 1.045159e-02 (stored 1.045159e-02) mu 0.034315255 s_req 0.274766841 smin0-s_req 3.089e-05 | pivots>0: E1 True (min 3.64e-11) smin True (min 1.90e-04) | PASS  2.1s
rank   396 box  59339 L=[3, 3, 3, 3] K=[32, 4, 28, 34] stored bound 0.230029912 | R2_iv 6.004287e-04 (stored 6.004287e-04) mu 0.008575216 s_req 0.239175645 smin0-s_req 3.091e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 1.91e-04) | PASS  2.1s
rank   397 box   8382 L=[2, 1, 1, 1] K=[8, 4, 2, 9] stored bound 0.230030019 | R2_iv 7.456778e-03 (stored 7.456778e-03) mu 0.028715008 s_req 0.266171786 smin0-s_req 3.102e-05 | pivots>0: E1 True (min 2.97e-11) smin True (min 3.05e-04) | PASS  2.1s
rank   398 box  27084 L=[2, 2, 2, 2] K=[9, 10, 14, 13] stored bound 0.230030290 | R2_iv 2.466111e-03 (stored 2.466111e-03) mu 0.017154307 s_req 0.249620418 smin0-s_req 3.129e-05 | pivots>0: E1 True (min 1.56e-11) smin True (min 2.40e-04) | PASS  2.1s
rank   399 box  50881 L=[3, 3, 3, 2] K=[32, 2, 23, 17] stored bound 0.230030365 | R2_iv 8.548469e-04 (stored 8.548469e-04) mu 0.010641395 s_req 0.241496242 smin0-s_req 3.137e-05 | pivots>0: E1 True (min 6.85e-12) smin True (min 1.94e-04) | PASS  2.1s
rank   400 box  53265 L=[3, 3, 3, 3] K=[25, 5, 29, 31] stored bound 0.230030514 | R2_iv 6.001228e-04 (stored 6.001228e-04) mu 0.008583104 s_req 0.239183227 smin0-s_req 3.151e-05 | pivots>0: E1 True (min 3.63e-12) smin True (min 1.82e-04) | PASS  2.1s
rank   401 box  26764 L=[2, 2, 2, 2] K=[9, 8, 11, 13] stored bound 0.230030552 | R2_iv 2.463326e-03 (stored 2.463326e-03) mu 0.017151768 s_req 0.249615094 smin0-s_req 3.155e-05 | pivots>0: E1 True (min 1.50e-11) smin True (min 2.36e-04) | PASS  2.1s
rank   402 box  34928 L=[3, 2, 2, 2] K=[30, 0, 13, 22] stored bound 0.230030567 | R2_iv 1.795347e-03 (stored 1.795347e-03) mu 0.014418447 s_req 0.246213794 smin0-s_req 3.157e-05 | pivots>0: E1 True (min 7.77e-12) smin True (min 1.76e-04) | PASS  2.1s
rank   403 box  53703 L=[3, 3, 3, 3] K=[28, 0, 26, 30] stored bound 0.230030724 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008603455 s_req 0.239205189 smin0-s_req 3.172e-05 | pivots>0: E1 True (min 3.45e-12) smin True (min 1.72e-04) | PASS  2.1s
rank   404 box  29218 L=[2, 2, 2, 2] K=[14, 9, 14, 13] stored bound 0.230030801 | R2_iv 2.467213e-03 (stored 2.467213e-03) mu 0.017003832 s_req 0.249471044 smin0-s_req 3.180e-05 | pivots>0: E1 True (min 1.16e-11) smin True (min 2.38e-04) | PASS  2.1s
rank   405 box  54862 L=[3, 3, 3, 3] K=[25, 4, 30, 33] stored bound 0.230030845 | R2_iv 6.004372e-04 (stored 6.004372e-04) mu 0.008588206 s_req 0.239188644 smin0-s_req 3.185e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 1.80e-04) | PASS  2.1s
rank   406 box  48848 L=[3, 3, 2, 3] K=[24, 2, 15, 35] stored bound 0.230030875 | R2_iv 8.553710e-04 (stored 8.553710e-04) mu 0.009961208 s_req 0.240816579 smin0-s_req 3.188e-05 | pivots>0: E1 True (min 3.86e-13) smin True (min 1.70e-04) | PASS  2.2s
rank   407 box  27168 L=[2, 2, 2, 2] K=[8, 9, 14, 18] stored bound 0.230030968 | R2_iv 2.465352e-03 (stored 2.465352e-03) mu 0.017171213 s_req 0.249636565 smin0-s_req 3.197e-05 | pivots>0: E1 True (min 1.68e-11) smin True (min 2.40e-04) | PASS  2.1s
rank   408 box  54104 L=[3, 3, 3, 3] K=[31, 5, 27, 31] stored bound 0.230031096 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008567101 s_req 0.239167217 smin0-s_req 3.210e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 2.00e-04) | PASS  2.1s
rank   409 box  40796 L=[3, 3, 2, 2] K=[24, 5, 11, 15] stored bound 0.230031141 | R2_iv 1.147109e-03 (stored 1.147109e-03) mu 0.011838864 s_req 0.242985973 smin0-s_req 3.214e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 1.92e-04) | PASS  2.1s
rank   410 box  45568 L=[3, 3, 2, 2] K=[36, 5, 15, 18] stored bound 0.230031147 | R2_iv 1.149356e-03 (stored 1.149356e-03) mu 0.011796444 s_req 0.242945801 smin0-s_req 3.215e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 2.14e-04) | PASS  2.1s
rank   411 box  51185 L=[3, 3, 3, 2] K=[32, 7, 26, 14] stored bound 0.230031362 | R2_iv 8.525575e-04 (stored 8.525575e-04) mu 0.010581917 s_req 0.241434474 smin0-s_req 3.236e-05 | pivots>0: E1 True (min 7.43e-12) smin True (min 2.14e-04) | PASS  2.1s
rank   412 box  52572 L=[3, 3, 3, 3] K=[27, 1, 29, 27] stored bound 0.230031374 | R2_iv 6.013779e-04 (stored 6.013779e-04) mu 0.008605702 s_req 0.239207079 smin0-s_req 3.237e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 1.74e-04) | PASS  2.1s
rank   413 box  50745 L=[3, 3, 3, 2] K=[32, 3, 23, 13] stored bound 0.230031421 | R2_iv 8.541777e-04 (stored 8.541777e-04) mu 0.010631683 s_req 0.241485860 smin0-s_req 3.242e-05 | pivots>0: E1 True (min 7.40e-12) smin True (min 2.03e-04) | PASS  2.1s
rank   414 box  32029 L=[3, 2, 2, 2] K=[19, 3, 12, 15] stored bound 0.230031508 | R2_iv 1.792376e-03 (stored 1.792376e-03) mu 0.014357669 s_req 0.246150045 smin0-s_req 3.251e-05 | pivots>0: E1 True (min 6.36e-12) smin True (min 1.93e-04) | PASS  2.1s
rank   415 box  25654 L=[2, 2, 2, 2] K=[10, 0, 11, 17] stored bound 0.230031543 | R2_iv 2.476656e-03 (stored 2.476656e-03) mu 0.017183148 s_req 0.249659804 smin0-s_req 3.254e-05 | pivots>0: E1 True (min 1.42e-11) smin True (min 1.70e-04) | PASS  2.1s
rank   416 box  34250 L=[3, 2, 2, 2] K=[31, 2, 9, 12] stored bound 0.230031659 | R2_iv 1.790654e-03 (stored 1.790654e-03) mu 0.014343716 s_req 0.246134370 smin0-s_req 3.266e-05 | pivots>0: E1 True (min 7.81e-12) smin True (min 2.19e-04) | PASS  2.1s
rank   417 box  48675 L=[3, 3, 2, 3] K=[26, 6, 12, 29] stored bound 0.230031820 | R2_iv 8.528629e-04 (stored 8.528629e-04) mu 0.009930517 s_req 0.240783380 smin0-s_req 3.282e-05 | pivots>0: E1 True (min 3.88e-13) smin True (min 2.00e-04) | PASS  2.1s
rank   418 box   4736 L=[1, 1, 1, 1] K=[9, 5, 6, 12] stored bound 0.230031834 | R2_iv 1.048611e-02 (stored 1.048611e-02) mu 0.033540139 s_req 0.274026251 smin0-s_req 3.283e-05 | pivots>0: E1 True (min 2.28e-11) smin True (min 2.76e-04) | PASS  2.1s
rank   419 box  53581 L=[3, 3, 3, 3] K=[29, 1, 30, 25] stored bound 0.230031962 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008607730 s_req 0.239208980 smin0-s_req 3.296e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 1.82e-04) | PASS  2.1s
rank   420 box  49768 L=[3, 3, 3, 2] K=[26, 10, 28, 13] stored bound 0.230031999 | R2_iv 8.513621e-04 (stored 8.513621e-04) mu 0.010603314 s_req 0.241454676 smin0-s_req 3.300e-05 | pivots>0: E1 True (min 7.71e-12) smin True (min 2.13e-04) | PASS  2.1s
rank   421 box  54049 L=[3, 3, 3, 3] K=[29, 6, 27, 30] stored bound 0.230032012 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008571145 s_req 0.239170927 smin0-s_req 3.301e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 2.04e-04) | PASS  2.1s
rank   422 box  43011 L=[3, 3, 2, 2] K=[26, 11, 12, 14] stored bound 0.230032051 | R2_iv 1.143104e-03 (stored 1.143104e-03) mu 0.011782863 s_req 0.242925967 smin0-s_req 3.305e-05 | pivots>0: E1 True (min 1.04e-12) smin True (min 2.23e-04) | PASS  2.1s
rank   423 box  61268 L=[4, 3, 3, 3] K=[63, 2, 29, 30] stored bound 0.230032091 | R2_iv 4.392303e-04 (stored 4.392303e-04) mu 0.007181568 s_req 0.237620799 smin0-s_req 3.309e-05 | pivots>0: E1 True (min 2.01e-12) smin True (min 1.93e-04) | PASS  2.1s
rank   424 box  54632 L=[3, 3, 3, 3] K=[26, 3, 28, 33] stored bound 0.230032226 | R2_iv 6.006820e-04 (stored 6.006820e-04) mu 0.008590962 s_req 0.239191644 smin0-s_req 3.323e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 1.86e-04) | PASS  2.1s
rank   425 box  27854 L=[2, 2, 2, 2] K=[12, 2, 9, 19] stored bound 0.230032269 | R2_iv 2.466116e-03 (stored 2.466116e-03) mu 0.017185230 s_req 0.249651345 smin0-s_req 3.327e-05 | pivots>0: E1 True (min 1.38e-11) smin True (min 2.08e-04) | PASS  2.1s
rank   426 box  41767 L=[3, 3, 2, 2] K=[29, 3, 13, 10] stored bound 0.230032279 | R2_iv 1.148374e-03 (stored 1.148374e-03) mu 0.011859157 s_req 0.243007531 smin0-s_req 3.328e-05 | pivots>0: E1 True (min 1.22e-12) smin True (min 1.92e-04) | PASS  2.1s
rank   427 box  17290 L=[2, 2, 1, 1] K=[18, 2, 6, 2] stored bound 0.230032283 | R2_iv 4.717344e-03 (stored 4.717344e-03) mu 0.023629614 s_req 0.258346958 smin0-s_req 3.328e-05 | pivots>0: E1 True (min 4.75e-12) smin True (min 2.18e-04) | PASS  2.1s
rank   428 box   7686 L=[2, 1, 1, 1] K=[7, 7, 7, 4] stored bound 0.230032330 | R2_iv 7.520745e-03 (stored 7.520745e-03) mu 0.028912478 s_req 0.266433224 smin0-s_req 3.333e-05 | pivots>0: E1 True (min 4.13e-11) smin True (min 2.93e-04) | PASS  2.1s
rank   429 box  63966 L=[4, 3, 3, 3] K=[65, 2, 31, 30] stored bound 0.230032371 | R2_iv 4.392925e-04 (stored 4.392925e-04) mu 0.007179071 s_req 0.237618364 smin0-s_req 3.337e-05 | pivots>0: E1 True (min 2.04e-12) smin True (min 1.97e-04) | PASS  2.1s
rank   430 box  44119 L=[3, 3, 2, 2] K=[32, 0, 11, 11] stored bound 0.230032621 | R2_iv 1.152427e-03 (stored 1.152427e-03) mu 0.011907087 s_req 0.243059514 smin0-s_req 3.362e-05 | pivots>0: E1 True (min 1.34e-12) smin True (min 1.97e-04) | PASS  2.1s
rank   431 box  27154 L=[2, 2, 2, 2] K=[8, 8, 13, 18] stored bound 0.230032636 | R2_iv 2.464556e-03 (stored 2.464556e-03) mu 0.017165777 s_req 0.249630333 smin0-s_req 3.364e-05 | pivots>0: E1 True (min 1.63e-11) smin True (min 2.46e-04) | PASS  2.1s
rank   432 box  34419 L=[3, 2, 2, 2] K=[30, 0, 9, 18] stored bound 0.230032687 | R2_iv 1.795347e-03 (stored 1.795347e-03) mu 0.014405320 s_req 0.246200667 smin0-s_req 3.369e-05 | pivots>0: E1 True (min 7.33e-12) smin True (min 2.06e-04) | PASS  2.1s
rank   433 box  50142 L=[3, 3, 3, 2] K=[30, 9, 29, 13] stored bound 0.230032742 | R2_iv 8.518723e-04 (stored 8.518723e-04) mu 0.010580404 s_req 0.241432276 smin0-s_req 3.374e-05 | pivots>0: E1 True (min 7.39e-12) smin True (min 2.21e-04) | PASS  2.1s
rank   434 box  44797 L=[3, 3, 2, 2] K=[35, 3, 14, 11] stored bound 0.230032757 | R2_iv 1.150067e-03 (stored 1.150067e-03) mu 0.011839331 s_req 0.242989398 smin0-s_req 3.376e-05 | pivots>0: E1 True (min 1.26e-12) smin True (min 2.13e-04) | PASS  2.1s
rank   435 box  53392 L=[3, 3, 3, 3] K=[28, 1, 27, 27] stored bound 0.230033029 | R2_iv 6.012982e-04 (stored 6.012982e-04) mu 0.008605786 s_req 0.239207084 smin0-s_req 3.403e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 1.87e-04) | PASS  2.1s
rank   436 box  53704 L=[3, 3, 3, 3] K=[28, 0, 26, 31] stored bound 0.230033049 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008600032 s_req 0.239201765 smin0-s_req 3.405e-05 | pivots>0: E1 True (min 3.43e-12) smin True (min 1.84e-04) | PASS  2.1s
rank   437 box  21273 L=[2, 2, 2, 1] K=[10, 9, 10, 5] stored bound 0.230033061 | R2_iv 3.499023e-03 (stored 3.499023e-03) mu 0.021195955 s_req 0.254694977 smin0-s_req 3.406e-05 | pivots>0: E1 True (min 3.75e-11) smin True (min 2.67e-04) | PASS  2.1s
rank   438 box  16001 L=[2, 2, 1, 1] K=[12, 4, 5, 12] stored bound 0.230033080 | R2_iv 4.693186e-03 (stored 4.693186e-03) mu 0.023589186 s_req 0.258282372 smin0-s_req 3.408e-05 | pivots>0: E1 True (min 3.86e-12) smin True (min 2.19e-04) | PASS  2.1s
rank   439 box  59078 L=[3, 3, 3, 3] K=[32, 1, 31, 38] stored bound 0.230033135 | R2_iv 6.012934e-04 (stored 6.012934e-04) mu 0.008603825 s_req 0.239205118 smin0-s_req 3.414e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 1.97e-04) | PASS  2.1s
rank   440 box  53700 L=[3, 3, 3, 3] K=[29, 1, 25, 30] stored bound 0.230033304 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008598150 s_req 0.239199400 smin0-s_req 3.430e-05 | pivots>0: E1 True (min 3.53e-12) smin True (min 1.94e-04) | PASS  2.1s
rank   441 box  48322 L=[3, 3, 2, 3] K=[26, 0, 13, 27] stored bound 0.230033391 | R2_iv 8.567306e-04 (stored 8.567306e-04) mu 0.009975906 s_req 0.240832637 smin0-s_req 3.439e-05 | pivots>0: E1 True (min 3.55e-13) smin True (min 1.81e-04) | PASS  2.1s
rank   442 box  48084 L=[3, 3, 2, 3] K=[28, 1, 15, 23] stored bound 0.230033518 | R2_iv 8.559203e-04 (stored 8.559203e-04) mu 0.009976347 s_req 0.240832267 smin0-s_req 3.452e-05 | pivots>0: E1 True (min 4.26e-13) smin True (min 1.87e-04) | PASS  2.1s
rank   443 box  54572 L=[3, 3, 3, 3] K=[25, 3, 31, 33] stored bound 0.230033680 | R2_iv 6.007935e-04 (stored 6.007935e-04) mu 0.008591422 s_req 0.239192216 smin0-s_req 3.468e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 1.91e-04) | PASS  2.1s
rank   444 box  54570 L=[3, 3, 3, 3] K=[25, 3, 30, 32] stored bound 0.230033744 | R2_iv 6.007935e-04 (stored 6.007935e-04) mu 0.008588755 s_req 0.239189548 smin0-s_req 3.474e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 1.92e-04) | PASS  2.1s
rank   445 box  57623 L=[3, 3, 3, 3] K=[32, 0, 25, 28] stored bound 0.230033848 | R2_iv 6.016658e-04 (stored 6.016658e-04) mu 0.008605711 s_req 0.239207377 smin0-s_req 3.485e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 2.01e-04) | PASS  2.1s
rank   446 box  14710 L=[2, 2, 1, 1] K=[11, 11, 7, 4] stored bound 0.230033961 | R2_iv 4.714027e-03 (stored 4.714027e-03) mu 0.023650409 s_req 0.258364435 smin0-s_req 3.496e-05 | pivots>0: E1 True (min 4.85e-12) smin True (min 2.66e-04) | PASS  2.1s
rank   447 box  48682 L=[3, 3, 2, 3] K=[27, 7, 12, 30] stored bound 0.230033966 | R2_iv 8.525114e-04 (stored 8.525114e-04) mu 0.009924520 s_req 0.240777031 smin0-s_req 3.497e-05 | pivots>0: E1 True (min 3.94e-13) smin True (min 2.20e-04) | PASS  2.1s
rank   448 box  51246 L=[3, 3, 3, 2] K=[35, 4, 28, 13] stored bound 0.230033969 | R2_iv 8.541099e-04 (stored 8.541099e-04) mu 0.010595075 s_req 0.241449185 smin0-s_req 3.497e-05 | pivots>0: E1 True (min 7.35e-12) smin True (min 2.26e-04) | PASS  2.1s
rank   449 box  36445 L=[3, 2, 2, 2] K=[32, 0, 9, 11] stored bound 0.230034096 | R2_iv 1.795508e-03 (stored 1.795508e-03) mu 0.014411648 s_req 0.246207157 smin0-s_req 3.510e-05 | pivots>0: E1 True (min 7.80e-12) smin True (min 2.18e-04) | PASS  2.1s
rank   450 box  49481 L=[3, 3, 2, 3] K=[29, 0, 15, 40] stored bound 0.230034113 | R2_iv 8.567970e-04 (stored 8.567970e-04) mu 0.009987191 s_req 0.240843988 smin0-s_req 3.511e-05 | pivots>0: E1 True (min 4.24e-13) smin True (min 1.89e-04) | PASS  2.1s
rank   451 box  22811 L=[2, 2, 1, 2] K=[12, 10, 5, 14] stored bound 0.230034269 | R2_iv 3.504212e-03 (stored 3.504212e-03) mu 0.019866632 s_req 0.253370843 smin0-s_req 3.527e-05 | pivots>0: E1 True (min 1.52e-12) smin True (min 2.91e-04) | PASS  2.1s
rank   452 box  34319 L=[3, 2, 2, 2] K=[24, 0, 11, 18] stored bound 0.230034383 | R2_iv 1.797581e-03 (stored 1.797581e-03) mu 0.014409734 s_req 0.246207315 smin0-s_req 3.538e-05 | pivots>0: E1 True (min 6.86e-12) smin True (min 1.90e-04) | PASS  2.1s
rank   453 box  12664 L=[2, 2, 1, 1] K=[6, 7, 4, 6] stored bound 0.230034553 | R2_iv 4.711979e-03 (stored 4.711979e-03) mu 0.023747935 s_req 0.258459914 smin0-s_req 3.555e-05 | pivots>0: E1 True (min 4.86e-12) smin True (min 2.76e-04) | PASS  2.1s
rank   454 box  45452 L=[3, 3, 2, 2] K=[37, 1, 14, 19] stored bound 0.230034562 | R2_iv 1.153190e-03 (stored 1.153190e-03) mu 0.011867528 s_req 0.243020717 smin0-s_req 3.556e-05 | pivots>0: E1 True (min 1.30e-12) smin True (min 2.27e-04) | PASS  2.1s
rank   455 box  28879 L=[2, 2, 2, 2] K=[13, 4, 14, 23] stored bound 0.230034611 | R2_iv 2.462045e-03 (stored 2.462045e-03) mu 0.017089695 s_req 0.249551740 smin0-s_req 3.561e-05 | pivots>0: E1 True (min 1.31e-11) smin True (min 2.21e-04) | PASS  2.1s
rank   456 box  47157 L=[3, 3, 2, 3] K=[23, 10, 15, 32] stored bound 0.230034742 | R2_iv 8.517917e-04 (stored 8.517917e-04) mu 0.009926778 s_req 0.240778570 smin0-s_req 3.574e-05 | pivots>0: E1 True (min 4.12e-13) smin True (min 2.26e-04) | PASS  2.1s
rank   457 box  54985 L=[3, 3, 3, 3] K=[26, 6, 31, 35] stored bound 0.230034802 | R2_iv 5.997860e-04 (stored 5.997860e-04) mu 0.008582383 s_req 0.239182169 smin0-s_req 3.580e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 2.12e-04) | PASS  2.1s
rank   458 box  59097 L=[3, 3, 3, 3] K=[33, 2, 29, 36] stored bound 0.230034822 | R2_iv 6.010562e-04 (stored 6.010562e-04) mu 0.008590635 s_req 0.239191691 smin0-s_req 3.582e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 2.15e-04) | PASS  2.1s
rank   459 box  63832 L=[4, 3, 3, 3] K=[67, 0, 29, 31] stored bound 0.230034879 | R2_iv 4.400196e-04 (stored 4.400196e-04) mu 0.007190333 s_req 0.237630353 smin0-s_req 3.588e-05 | pivots>0: E1 True (min 2.11e-12) smin True (min 2.08e-04) | PASS  2.1s
rank   460 box  53732 L=[3, 3, 3, 3] K=[29, 2, 25, 30] stored bound 0.230034903 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008592915 s_req 0.239193788 smin0-s_req 3.590e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 2.07e-04) | PASS  2.1s
rank   461 box  49266 L=[3, 3, 3, 2] K=[31, 2, 24, 18] stored bound 0.230035029 | R2_iv 8.548984e-04 (stored 8.548984e-04) mu 0.010652081 s_req 0.241506979 smin0-s_req 3.603e-05 | pivots>0: E1 True (min 6.95e-12) smin True (min 2.17e-04) | PASS  2.1s
rank   462 box  58997 L=[3, 3, 3, 3] K=[33, 3, 28, 34] stored bound 0.230035059 | R2_iv 6.007838e-04 (stored 6.007838e-04) mu 0.008578773 s_req 0.239179557 smin0-s_req 3.606e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 2.22e-04) | PASS  2.1s
rank   463 box  26312 L=[2, 2, 2, 2] K=[8, 6, 11, 16] stored bound 0.230035078 | R2_iv 2.465007e-03 (stored 2.465007e-03) mu 0.017169065 s_req 0.249634072 smin0-s_req 3.608e-05 | pivots>0: E1 True (min 1.54e-11) smin True (min 2.51e-04) | PASS  2.1s
rank   464 box  54387 L=[3, 3, 3, 3] K=[31, 5, 28, 28] stored bound 0.230035110 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008573162 s_req 0.239173277 smin0-s_req 3.611e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 2.24e-04) | PASS  2.1s
rank   465 box  13817 L=[2, 2, 1, 1] K=[8, 1, 7, 4] stored bound 0.230035131 | R2_iv 4.744498e-03 (stored 4.744498e-03) mu 0.023780662 s_req 0.258525160 smin0-s_req 3.613e-05 | pivots>0: E1 True (min 3.99e-12) smin True (min 1.87e-04) | PASS  2.1s
rank   466 box  53651 L=[3, 3, 3, 3] K=[31, 2, 29, 25] stored bound 0.230035143 | R2_iv 6.009013e-04 (stored 6.009013e-04) mu 0.008598136 s_req 0.239199038 smin0-s_req 3.614e-05 | pivots>0: E1 True (min 3.76e-12) smin True (min 2.10e-04) | PASS  2.1s
rank   467 box  50550 L=[3, 3, 3, 2] K=[29, 9, 27, 17] stored bound 0.230035202 | R2_iv 8.517082e-04 (stored 8.517082e-04) mu 0.010588532 s_req 0.241440240 smin0-s_req 3.620e-05 | pivots>0: E1 True (min 6.98e-12) smin True (min 2.38e-04) | PASS  2.1s
rank   468 box  19923 L=[2, 2, 1, 2] K=[6, 4, 7, 17] stored bound 0.230035251 | R2_iv 3.517583e-03 (stored 3.517583e-03) mu 0.019920380 s_req 0.253437963 smin0-s_req 3.625e-05 | pivots>0: E1 True (min 1.79e-12) smin True (min 2.24e-04) | PASS  2.1s
rank   469 box  32975 L=[3, 2, 2, 2] K=[17, 7, 14, 15] stored bound 0.230035316 | R2_iv 1.788819e-03 (stored 1.788819e-03) mu 0.014352520 s_req 0.246141339 smin0-s_req 3.632e-05 | pivots>0: E1 True (min 7.73e-12) smin True (min 2.52e-04) | PASS  2.1s
rank   470 box  27514 L=[2, 2, 2, 2] K=[13, 3, 7, 15] stored bound 0.230035350 | R2_iv 2.463382e-03 (stored 2.463382e-03) mu 0.017154836 s_req 0.249618218 smin0-s_req 3.635e-05 | pivots>0: E1 True (min 1.31e-11) smin True (min 2.60e-04) | PASS  2.1s
rank   471 box  48467 L=[3, 3, 2, 3] K=[26, 3, 12, 28] stored bound 0.230035370 | R2_iv 8.544828e-04 (stored 8.544828e-04) mu 0.009950424 s_req 0.240804907 smin0-s_req 3.637e-05 | pivots>0: E1 True (min 3.74e-13) smin True (min 2.08e-04) | PASS  2.1s
rank   472 box  38231 L=[3, 2, 2, 2] K=[41, 1, 15, 16] stored bound 0.230035492 | R2_iv 1.800302e-03 (stored 1.800302e-03) mu 0.014283169 s_req 0.246083471 smin0-s_req 3.649e-05 | pivots>0: E1 True (min 8.30e-12) smin True (min 2.60e-04) | PASS  2.1s
rank   473 box  52056 L=[3, 3, 3, 2] K=[32, 9, 31, 15] stored bound 0.230035564 | R2_iv 8.523823e-04 (stored 8.523823e-04) mu 0.010560261 s_req 0.241412643 smin0-s_req 3.656e-05 | pivots>0: E1 True (min 7.13e-12) smin True (min 2.45e-04) | PASS  2.1s
rank   474 box  63965 L=[4, 3, 3, 3] K=[65, 2, 30, 31] stored bound 0.230035626 | R2_iv 4.392925e-04 (stored 4.392925e-04) mu 0.007176610 s_req 0.237615902 smin0-s_req 3.663e-05 | pivots>0: E1 True (min 2.05e-12) smin True (min 2.17e-04) | PASS  2.1s
rank   475 box  51813 L=[3, 3, 3, 2] K=[36, 3, 28, 17] stored bound 0.230035837 | R2_iv 8.547667e-04 (stored 8.547667e-04) mu 0.010598050 s_req 0.241452817 smin0-s_req 3.684e-05 | pivots>0: E1 True (min 6.92e-12) smin True (min 2.40e-04) | PASS  2.1s
rank   476 box  29292 L=[2, 2, 2, 2] K=[12, 10, 14, 17] stored bound 0.230036024 | R2_iv 2.467041e-03 (stored 2.467041e-03) mu 0.017064606 s_req 0.249531647 smin0-s_req 3.702e-05 | pivots>0: E1 True (min 1.38e-11) smin True (min 2.83e-04) | PASS  2.1s
rank   477 box  31019 L=[2, 2, 2, 2] K=[20, 0, 11, 11] stored bound 0.230036063 | R2_iv 2.477192e-03 (stored 2.477192e-03) mu 0.017157061 s_req 0.249634253 smin0-s_req 3.706e-05 | pivots>0: E1 True (min 1.53e-11) smin True (min 2.63e-04) | PASS  2.1s
rank   478 box  62716 L=[4, 3, 3, 3] K=[60, 1, 30, 34] stored bound 0.230036076 | R2_iv 4.395380e-04 (stored 4.395380e-04) mu 0.007193840 s_req 0.237633378 smin0-s_req 3.708e-05 | pivots>0: E1 True (min 1.96e-12) smin True (min 2.07e-04) | PASS  2.1s
rank   479 box  51616 L=[3, 3, 3, 2] K=[33, 6, 27, 17] stored bound 0.230036210 | R2_iv 8.530052e-04 (stored 8.530052e-04) mu 0.010585343 s_req 0.241438348 smin0-s_req 3.721e-05 | pivots>0: E1 True (min 6.79e-12) smin True (min 2.44e-04) | PASS  2.1s
rank   480 box  53614 L=[3, 3, 3, 3] K=[29, 2, 30, 25] stored bound 0.230036232 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008601402 s_req 0.239202275 smin0-s_req 3.723e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 2.09e-04) | PASS  2.1s
rank   481 box  54952 L=[3, 3, 3, 3] K=[26, 5, 28, 33] stored bound 0.230036346 | R2_iv 6.000426e-04 (stored 6.000426e-04) mu 0.008583654 s_req 0.239183696 smin0-s_req 3.735e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 2.19e-04) | PASS  2.1s
rank   482 box  47516 L=[3, 3, 2, 3] K=[29, 2, 11, 30] stored bound 0.230036380 | R2_iv 8.553023e-04 (stored 8.553023e-04) mu 0.009960006 s_req 0.240815308 smin0-s_req 3.738e-05 | pivots>0: E1 True (min 3.89e-13) smin True (min 2.21e-04) | PASS  2.1s
rank   483 box  57070 L=[3, 3, 3, 3] K=[28, 8, 31, 33] stored bound 0.230036412 | R2_iv 5.994283e-04 (stored 5.994283e-04) mu 0.008564597 s_req 0.239164025 smin0-s_req 3.741e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 2.35e-04) | PASS  2.1s
rank   484 box  30213 L=[2, 2, 2, 2] K=[16, 0, 12, 23] stored bound 0.230036447 | R2_iv 2.470885e-03 (stored 2.470885e-03) mu 0.017207091 s_req 0.249677976 smin0-s_req 3.745e-05 | pivots>0: E1 True (min 1.43e-11) smin True (min 2.20e-04) | PASS  2.1s
rank   485 box  53249 L=[3, 3, 3, 3] K=[25, 5, 31, 29] stored bound 0.230036592 | R2_iv 6.001228e-04 (stored 6.001228e-04) mu 0.008586752 s_req 0.239186874 smin0-s_req 3.759e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 2.17e-04) | PASS  2.1s
rank   486 box  45287 L=[3, 3, 2, 2] K=[32, 7, 12, 17] stored bound 0.230036620 | R2_iv 1.145943e-03 (stored 1.145943e-03) mu 0.011786345 s_req 0.242932289 smin0-s_req 3.762e-05 | pivots>0: E1 True (min 1.03e-12) smin True (min 2.53e-04) | PASS  2.1s
rank   487 box  18188 L=[2, 2, 1, 1] K=[16, 12, 7, 9] stored bound 0.230036628 | R2_iv 4.761335e-03 (stored 4.761335e-03) mu 0.023779098 s_req 0.258540433 smin0-s_req 3.763e-05 | pivots>0: E1 True (min 4.95e-12) smin True (min 3.04e-04) | PASS  2.1s
rank   488 box  48961 L=[3, 3, 2, 3] K=[27, 1, 14, 38] stored bound 0.230036650 | R2_iv 8.558859e-04 (stored 8.558859e-04) mu 0.009975381 s_req 0.240831267 smin0-s_req 3.765e-05 | pivots>0: E1 True (min 4.03e-13) smin True (min 2.03e-04) | PASS  2.1s
rank   489 box  38720 L=[3, 3, 2, 2] K=[23, 7, 12, 13] stored bound 0.230036839 | R2_iv 1.145544e-03 (stored 1.145544e-03) mu 0.011826048 s_req 0.242971592 smin0-s_req 3.784e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 2.30e-04) | PASS  2.1s
rank   490 box  43010 L=[3, 3, 2, 2] K=[24, 11, 12, 15] stored bound 0.230037108 | R2_iv 1.143111e-03 (stored 1.143111e-03) mu 0.011796560 s_req 0.242939671 smin0-s_req 3.811e-05 | pivots>0: E1 True (min 1.06e-12) smin True (min 2.54e-04) | PASS  2.1s
rank   491 box  44954 L=[3, 3, 2, 2] K=[37, 0, 15, 11] stored bound 0.230037131 | R2_iv 1.154303e-03 (stored 1.154303e-03) mu 0.011893377 s_req 0.243047680 smin0-s_req 3.813e-05 | pivots>0: E1 True (min 1.40e-12) smin True (min 2.36e-04) | PASS  2.1s
rank   492 box  61163 L=[4, 3, 3, 3] K=[58, 3, 30, 30] stored bound 0.230037402 | R2_iv 4.388746e-04 (stored 4.388746e-04) mu 0.007180044 s_req 0.237618918 smin0-s_req 3.840e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 2.21e-04) | PASS  2.1s
rank   493 box  20762 L=[2, 2, 1, 2] K=[8, 2, 6, 19] stored bound 0.230037405 | R2_iv 3.515289e-03 (stored 3.515289e-03) mu 0.019918821 s_req 0.253434109 smin0-s_req 3.841e-05 | pivots>0: E1 True (min 1.57e-12) smin True (min 2.15e-04) | PASS  2.1s
rank   494 box  15430 L=[2, 2, 1, 1] K=[12, 0, 5, 12] stored bound 0.230037430 | R2_iv 4.730196e-03 (stored 4.730196e-03) mu 0.023819648 s_req 0.258549845 smin0-s_req 3.843e-05 | pivots>0: E1 True (min 4.73e-12) smin True (min 2.05e-04) | PASS  2.1s
rank   495 box   8122 L=[2, 1, 1, 1] K=[10, 3, 3, 11] stored bound 0.230037441 | R2_iv 7.446112e-03 (stored 7.446112e-03) mu 0.028584086 s_req 0.266030197 smin0-s_req 3.844e-05 | pivots>0: E1 True (min 2.40e-11) smin True (min 3.13e-04) | PASS  2.1s
rank   496 box  14022 L=[2, 2, 1, 1] K=[9, 5, 3, 5] stored bound 0.230037497 | R2_iv 4.698524e-03 (stored 4.698524e-03) mu 0.023647659 s_req 0.258346184 smin0-s_req 3.850e-05 | pivots>0: E1 True (min 4.29e-12) smin True (min 2.81e-04) | PASS  2.1s
rank   497 box  27968 L=[2, 2, 2, 2] K=[14, 2, 10, 21] stored bound 0.230037549 | R2_iv 2.465201e-03 (stored 2.465201e-03) mu 0.017168346 s_req 0.249633546 smin0-s_req 3.855e-05 | pivots>0: E1 True (min 1.32e-11) smin True (min 2.45e-04) | PASS  2.1s
rank   498 box  57952 L=[3, 3, 3, 3] K=[34, 2, 30, 27] stored bound 0.230037560 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008586959 s_req 0.239188140 smin0-s_req 3.856e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 2.35e-04) | PASS  2.1s
rank   499 box  17960 L=[2, 2, 1, 1] K=[18, 11, 7, 7] stored bound 0.230037672 | R2_iv 4.769108e-03 (stored 4.769108e-03) mu 0.023789570 s_req 0.258558678 smin0-s_req 3.867e-05 | pivots>0: E1 True (min 5.49e-12) smin True (min 3.18e-04) | PASS  2.1s
rank   500 box  62594 L=[4, 3, 3, 3] K=[58, 2, 30, 33] stored bound 0.230037750 | R2_iv 4.391979e-04 (stored 4.391979e-04) mu 0.007186252 s_req 0.237625450 smin0-s_req 3.875e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 2.18e-04) | PASS  2.1s
rank   501 box  48235 L=[3, 3, 3, 2] K=[30, 5, 30, 11] stored bound 0.230037765 | R2_iv 8.530313e-04 (stored 8.530313e-04) mu 0.010619453 s_req 0.241472484 smin0-s_req 3.877e-05 | pivots>0: E1 True (min 7.43e-12) smin True (min 2.34e-04) | PASS  2.1s
rank   502 box  41948 L=[3, 3, 2, 2] K=[26, 0, 12, 18] stored bound 0.230037773 | R2_iv 1.153300e-03 (stored 1.153300e-03) mu 0.011904262 s_req 0.243057562 smin0-s_req 3.877e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 2.07e-04) | PASS  2.1s
rank   503 box  43379 L=[3, 3, 2, 2] K=[28, 13, 15, 14] stored bound 0.230037827 | R2_iv 1.143677e-03 (stored 1.143677e-03) mu 0.011763391 s_req 0.242907068 smin0-s_req 3.883e-05 | pivots>0: E1 True (min 1.06e-12) smin True (min 2.67e-04) | PASS  2.1s
rank   504 box  19442 L=[2, 2, 1, 1] K=[30, 13, 7, 8] stored bound 0.230037876 | R2_iv 5.081201e-03 (stored 5.081201e-03) mu 0.026446127 s_req 0.261527328 smin0-s_req 3.888e-05 | pivots>0: E1 True (min 2.60e-11) smin True (min 5.44e-04) | PASS  2.1s
rank   505 box  35758 L=[3, 2, 2, 2] K=[26, 7, 12, 13] stored bound 0.230037878 | R2_iv 1.786975e-03 (stored 1.786975e-03) mu 0.014274176 s_req 0.246061151 smin0-s_req 3.888e-05 | pivots>0: E1 True (min 7.68e-12) smin True (min 2.79e-04) | PASS  2.1s
rank   506 box  61571 L=[4, 3, 3, 3] K=[59, 4, 31, 31] stored bound 0.230037986 | R2_iv 4.385969e-04 (stored 4.385969e-04) mu 0.007170596 s_req 0.237609193 smin0-s_req 3.899e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 2.30e-04) | PASS  2.1s
rank   507 box  62670 L=[4, 3, 3, 3] K=[60, 1, 29, 33] stored bound 0.230038021 | R2_iv 4.395380e-04 (stored 4.395380e-04) mu 0.007191418 s_req 0.237630956 smin0-s_req 3.902e-05 | pivots>0: E1 True (min 1.96e-12) smin True (min 2.18e-04) | PASS  2.1s
rank   508 box   6526 L=[2, 1, 1, 1] K=[2, 2, 7, 8] stored bound 0.230038117 | R2_iv 7.550167e-03 (stored 7.550167e-03) mu 0.028691118 s_req 0.266241285 smin0-s_req 3.912e-05 | pivots>0: E1 True (min 2.03e-11) smin True (min 2.75e-04) | PASS  2.1s
rank   509 box  17699 L=[2, 2, 1, 1] K=[18, 5, 6, 11] stored bound 0.230038293 | R2_iv 4.713958e-03 (stored 4.713958e-03) mu 0.023478335 s_req 0.258192293 smin0-s_req 3.929e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 2.95e-04) | PASS  2.1s
rank   510 box  41953 L=[3, 3, 2, 2] K=[26, 0, 13, 19] stored bound 0.230038307 | R2_iv 1.153300e-03 (stored 1.153300e-03) mu 0.011908602 s_req 0.243061902 smin0-s_req 3.931e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 2.07e-04) | PASS  2.1s
rank   511 box  48390 L=[3, 3, 2, 3] K=[25, 2, 14, 26] stored bound 0.230038321 | R2_iv 8.552366e-04 (stored 8.552366e-04) mu 0.009960484 s_req 0.240815721 smin0-s_req 3.932e-05 | pivots>0: E1 True (min 4.07e-13) smin True (min 2.12e-04) | PASS  2.1s
rank   512 box  44717 L=[3, 3, 2, 2] K=[33, 1, 13, 10] stored bound 0.230038350 | R2_iv 1.151307e-03 (stored 1.151307e-03) mu 0.011886520 s_req 0.243037827 smin0-s_req 3.935e-05 | pivots>0: E1 True (min 1.33e-12) smin True (min 2.32e-04) | PASS  2.1s
rank   513 box  48689 L=[3, 3, 2, 3] K=[29, 0, 12, 25] stored bound 0.230038370 | R2_iv 8.567970e-04 (stored 8.567970e-04) mu 0.009984369 s_req 0.240841166 smin0-s_req 3.937e-05 | pivots>0: E1 True (min 3.79e-13) smin True (min 2.17e-04) | PASS  2.1s
rank   514 box  55511 L=[3, 3, 3, 3] K=[30, 2, 31, 38] stored bound 0.230038424 | R2_iv 6.008711e-04 (stored 6.008711e-04) mu 0.008600056 s_req 0.239200927 smin0-s_req 3.942e-05 | pivots>0: E1 True (min 3.76e-12) smin True (min 2.25e-04) | PASS  2.1s
rank   515 box  54644 L=[3, 3, 3, 3] K=[26, 3, 30, 35] stored bound 0.230038458 | R2_iv 6.006820e-04 (stored 6.006820e-04) mu 0.008595055 s_req 0.239195737 smin0-s_req 3.946e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 2.20e-04) | PASS  2.1s
rank   516 box  30209 L=[2, 2, 2, 2] K=[19, 2, 12, 19] stored bound 0.230038480 | R2_iv 2.471850e-03 (stored 2.471850e-03) mu 0.017087078 s_req 0.249558927 smin0-s_req 3.948e-05 | pivots>0: E1 True (min 1.21e-11) smin True (min 2.86e-04) | PASS  2.1s
rank   517 box  51200 L=[3, 3, 3, 2] K=[34, 5, 26, 14] stored bound 0.230038532 | R2_iv 8.535227e-04 (stored 8.535227e-04) mu 0.010587789 s_req 0.241441312 smin0-s_req 3.953e-05 | pivots>0: E1 True (min 7.40e-12) smin True (min 2.60e-04) | PASS  2.1s
rank   518 box  34428 L=[3, 2, 2, 2] K=[28, 0, 10, 19] stored bound 0.230038712 | R2_iv 1.795639e-03 (stored 1.795639e-03) mu 0.014414816 s_req 0.246210455 smin0-s_req 3.971e-05 | pivots>0: E1 True (min 7.28e-12) smin True (min 2.29e-04) | PASS  2.1s
rank   519 box  50613 L=[3, 3, 3, 2] K=[31, 9, 28, 16] stored bound 0.230038795 | R2_iv 8.520970e-04 (stored 8.520970e-04) mu 0.010569311 s_req 0.241421408 smin0-s_req 3.980e-05 | pivots>0: E1 True (min 6.91e-12) smin True (min 2.66e-04) | PASS  2.1s
rank   520 box  57998 L=[3, 3, 3, 3] K=[35, 2, 31, 29] stored bound 0.230038871 | R2_iv 6.013368e-04 (stored 6.013368e-04) mu 0.008578529 s_req 0.239179865 smin0-s_req 3.987e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 2.47e-04) | PASS  2.1s
rank   521 box  57068 L=[3, 3, 3, 3] K=[28, 8, 30, 32] stored bound 0.230038900 | R2_iv 5.994283e-04 (stored 5.994283e-04) mu 0.008563121 s_req 0.239162549 smin0-s_req 3.990e-05 | pivots>0: E1 True (min 3.57e-12) smin True (min 2.51e-04) | PASS  2.1s
rank   522 box  64409 L=[4, 3, 3, 3] K=[64, 1, 30, 34] stored bound 0.230039058 | R2_iv 4.395780e-04 (stored 4.395780e-04) mu 0.007190340 s_req 0.237629918 smin0-s_req 4.006e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 2.31e-04) | PASS  2.1s
rank   523 box  52089 L=[3, 3, 3, 2] K=[32, 8, 29, 17] stored bound 0.230039119 | R2_iv 8.524170e-04 (stored 8.524170e-04) mu 0.010572710 s_req 0.241425127 smin0-s_req 4.012e-05 | pivots>0: E1 True (min 6.91e-12) smin True (min 2.66e-04) | PASS  2.1s
rank   524 box  51836 L=[3, 3, 3, 2] K=[38, 1, 31, 17] stored bound 0.230039321 | R2_iv 8.562881e-04 (stored 8.562881e-04) mu 0.010610678 s_req 0.241466966 smin0-s_req 4.032e-05 | pivots>0: E1 True (min 7.26e-12) smin True (min 2.61e-04) | PASS  2.1s
rank   525 box  51525 L=[3, 3, 3, 2] K=[33, 0, 24, 18] stored bound 0.230039322 | R2_iv 8.564139e-04 (stored 8.564139e-04) mu 0.010668185 s_req 0.241524599 smin0-s_req 4.032e-05 | pivots>0: E1 True (min 7.02e-12) smin True (min 2.41e-04) | PASS  2.1s
rank   526 box  50118 L=[3, 3, 3, 2] K=[28, 10, 29, 13] stored bound 0.230039463 | R2_iv 8.514833e-04 (stored 8.514833e-04) mu 0.010588299 s_req 0.241439783 smin0-s_req 4.046e-05 | pivots>0: E1 True (min 7.54e-12) smin True (min 2.64e-04) | PASS  2.1s
rank   527 box  41289 L=[3, 3, 2, 2] K=[28, 3, 11, 18] stored bound 0.230039555 | R2_iv 1.148425e-03 (stored 1.148425e-03) mu 0.011853411 s_req 0.243001836 smin0-s_req 4.055e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 2.43e-04) | PASS  2.1s
rank   528 box    225 L=[1, 1, 0, 0] K=[7, 7, 0, 5] stored bound 0.230039620 | R2_iv 2.014312e-02 (stored 2.014312e-02) mu 0.048146696 s_req 0.298289816 smin0-s_req 4.062e-05 | pivots>0: E1 True (min 5.77e-11) smin True (min 3.70e-03) | PASS  2.1s
rank   529 box  56362 L=[3, 3, 3, 3] K=[27, 8, 30, 30] stored bound 0.230039647 | R2_iv 5.993979e-04 (stored 5.993979e-04) mu 0.008568364 s_req 0.239167762 smin0-s_req 4.065e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 2.54e-04) | PASS  2.1s
rank   530 box  33189 L=[3, 2, 2, 2] K=[22, 6, 12, 18] stored bound 0.230039707 | R2_iv 1.786550e-03 (stored 1.786550e-03) mu 0.014321695 s_req 0.246108246 smin0-s_req 4.071e-05 | pivots>0: E1 True (min 6.86e-12) smin True (min 2.78e-04) | PASS  2.1s
rank   531 box  49798 L=[3, 3, 2, 3] K=[25, 8, 13, 28] stored bound 0.230039713 | R2_iv 8.521334e-04 (stored 8.521334e-04) mu 0.009928654 s_req 0.240780788 smin0-s_req 4.071e-05 | pivots>0: E1 True (min 4.17e-13) smin True (min 2.53e-04) | PASS  2.1s
rank   532 box  46632 L=[3, 3, 2, 3] K=[23, 3, 15, 32] stored bound 0.230039836 | R2_iv 8.548497e-04 (stored 8.548497e-04) mu 0.009950826 s_req 0.240805675 smin0-s_req 4.084e-05 | pivots>0: E1 True (min 3.77e-13) smin True (min 2.22e-04) | PASS  2.1s
rank   533 box  47765 L=[3, 3, 2, 3] K=[30, 0, 11, 32] stored bound 0.230039887 | R2_iv 8.569393e-04 (stored 8.569393e-04) mu 0.009980741 s_req 0.240837680 smin0-s_req 4.089e-05 | pivots>0: E1 True (min 3.91e-13) smin True (min 2.35e-04) | PASS  2.1s
rank   534 box  61213 L=[4, 3, 3, 3] K=[62, 0, 30, 28] stored bound 0.230039894 | R2_iv 4.399171e-04 (stored 4.399171e-04) mu 0.007202536 s_req 0.237642453 smin0-s_req 4.089e-05 | pivots>0: E1 True (min 2.00e-12) smin True (min 2.26e-04) | PASS  2.1s
rank   535 box  37163 L=[3, 2, 2, 2] K=[36, 2, 12, 11] stored bound 0.230040047 | R2_iv 1.793619e-03 (stored 1.793619e-03) mu 0.014310338 s_req 0.246103957 smin0-s_req 4.105e-05 | pivots>0: E1 True (min 8.24e-12) smin True (min 2.78e-04) | PASS  2.1s
rank   536 box  33989 L=[3, 2, 2, 2] K=[26, 3, 11, 10] stored bound 0.230040068 | R2_iv 1.788553e-03 (stored 1.788553e-03) mu 0.014339024 s_req 0.246127577 smin0-s_req 4.107e-05 | pivots>0: E1 True (min 7.36e-12) smin True (min 2.54e-04) | PASS  2.1s
rank   537 box  37267 L=[3, 2, 2, 2] K=[38, 2, 12, 16] stored bound 0.230040131 | R2_iv 1.795598e-03 (stored 1.795598e-03) mu 0.014274787 s_req 0.246070385 smin0-s_req 4.113e-05 | pivots>0: E1 True (min 7.21e-12) smin True (min 2.94e-04) | PASS  2.1s
rank   538 box  32732 L=[3, 2, 2, 2] K=[23, 4, 13, 10] stored bound 0.230040160 | R2_iv 1.787821e-03 (stored 1.787821e-03) mu 0.014329314 s_req 0.246117134 smin0-s_req 4.116e-05 | pivots>0: E1 True (min 7.15e-12) smin True (min 2.52e-04) | PASS  2.1s
rank   539 box  49053 L=[3, 3, 2, 3] K=[24, 4, 14, 35] stored bound 0.230040171 | R2_iv 8.540325e-04 (stored 8.540325e-04) mu 0.009951187 s_req 0.240805220 smin0-s_req 4.117e-05 | pivots>0: E1 True (min 3.97e-13) smin True (min 2.32e-04) | PASS  2.1s
rank   540 box    984 L=[1, 1, 0, 1] K=[3, 0, 1, 2] stored bound 0.230040335 | R2_iv 1.487361e-02 (stored 1.487361e-02) mu 0.039770542 s_req 0.284644150 smin0-s_req 4.133e-05 | pivots>0: E1 True (min 4.22e-12) smin True (min 2.28e-04) | PASS  2.1s
rank   541 box  28476 L=[2, 2, 2, 2] K=[12, 4, 8, 12] stored bound 0.230040390 | R2_iv 2.462247e-03 (stored 2.462247e-03) mu 0.017149094 s_req 0.249611341 smin0-s_req 4.139e-05 | pivots>0: E1 True (min 1.37e-11) smin True (min 2.89e-04) | PASS  2.1s
rank   542 box  18965 L=[2, 2, 1, 1] K=[20, 15, 7, 8] stored bound 0.230040397 | R2_iv 4.884931e-03 (stored 4.884931e-03) mu 0.025103275 s_req 0.259988206 smin0-s_req 4.140e-05 | pivots>0: E1 True (min 1.44e-11) smin True (min 3.54e-04) | PASS  2.1s
rank   543 box  25908 L=[2, 2, 2, 2] K=[8, 2, 14, 17] stored bound 0.230040409 | R2_iv 2.474058e-03 (stored 2.474058e-03) mu 0.017158345 s_req 0.249632403 smin0-s_req 4.141e-05 | pivots>0: E1 True (min 1.36e-11) smin True (min 2.29e-04) | PASS  2.1s
rank   544 box  37698 L=[3, 2, 2, 2] K=[35, 4, 12, 14] stored bound 0.230040415 | R2_iv 1.791535e-03 (stored 1.791535e-03) mu 0.014243348 s_req 0.246034884 smin0-s_req 4.141e-05 | pivots>0: E1 True (min 7.89e-12) smin True (min 2.98e-04) | PASS  2.1s
rank   545 box  45967 L=[3, 3, 2, 2] K=[32, 10, 14, 14] stored bound 0.230040541 | R2_iv 1.145310e-03 (stored 1.145310e-03) mu 0.011754646 s_req 0.242899957 smin0-s_req 4.154e-05 | pivots>0: E1 True (min 1.08e-12) smin True (min 2.84e-04) | PASS  2.1s
rank   546 box   4406 L=[1, 1, 1, 1] K=[6, 7, 7, 13] stored bound 0.230040600 | R2_iv 1.048874e-02 (stored 1.048874e-02) mu 0.033782658 s_req 0.274271397 smin0-s_req 4.160e-05 | pivots>0: E1 True (min 3.41e-11) smin True (min 3.27e-04) | PASS  2.1s
rank   547 box   1007 L=[1, 1, 0, 1] K=[2, 1, 2, 12] stored bound 0.230040762 | R2_iv 1.488106e-02 (stored 1.488106e-02) mu 0.039791464 s_req 0.284672521 smin0-s_req 4.176e-05 | pivots>0: E1 True (min 5.92e-12) smin True (min 2.45e-04) | PASS  2.1s
rank   548 box  59088 L=[3, 3, 3, 3] K=[32, 2, 28, 36] stored bound 0.230040772 | R2_iv 6.009631e-04 (stored 6.009631e-04) mu 0.008593541 s_req 0.239194504 smin0-s_req 4.177e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 2.48e-04) | PASS  2.1s
rank   549 box  23807 L=[2, 2, 2, 1] K=[19, 4, 10, 8] stored bound 0.230040791 | R2_iv 3.511644e-03 (stored 3.511644e-03) mu 0.021008625 s_req 0.254520269 smin0-s_req 4.179e-05 | pivots>0: E1 True (min 2.23e-11) smin True (min 3.44e-04) | PASS  2.1s
rank   550 box  11442 L=[2, 1, 1, 1] K=[27, 7, 5, 5] stored bound 0.230040814 | R2_iv 7.855074e-03 (stored 7.855074e-03) mu 0.030690548 s_req 0.268545622 smin0-s_req 4.181e-05 | pivots>0: E1 True (min 5.05e-11) smin True (min 4.75e-04) | PASS  2.1s
rank   551 box  62790 L=[4, 3, 3, 3] K=[60, 3, 30, 33] stored bound 0.230040947 | R2_iv 4.388806e-04 (stored 4.388806e-04) mu 0.007177802 s_req 0.237616683 smin0-s_req 4.195e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 2.44e-04) | PASS  2.1s
rank   552 box  42990 L=[3, 3, 2, 2] K=[25, 10, 12, 13] stored bound 0.230040993 | R2_iv 1.143321e-03 (stored 1.143321e-03) mu 0.011792712 s_req 0.242936033 smin0-s_req 4.199e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 2.75e-04) | PASS  2.1s
rank   553 box  10837 L=[2, 1, 1, 1] K=[23, 3, 7, 8] stored bound 0.230041001 | R2_iv 7.562774e-03 (stored 7.562774e-03) mu 0.028158435 s_req 0.265721209 smin0-s_req 4.200e-05 | pivots>0: E1 True (min 1.40e-11) smin True (min 3.86e-04) | PASS  2.1s
rank   554 box  41947 L=[3, 3, 2, 2] K=[25, 3, 13, 19] stored bound 0.230041074 | R2_iv 1.149150e-03 (stored 1.149150e-03) mu 0.011863259 s_req 0.243012408 smin0-s_req 4.207e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 2.35e-04) | PASS  2.1s
rank   555 box  63841 L=[4, 3, 3, 3] K=[64, 0, 30, 28] stored bound 0.230041237 | R2_iv 4.399371e-04 (stored 4.399371e-04) mu 0.007200975 s_req 0.237640912 smin0-s_req 4.224e-05 | pivots>0: E1 True (min 2.04e-12) smin True (min 2.38e-04) | PASS  2.1s
rank   556 box  13112 L=[2, 2, 1, 1] K=[5, 10, 7, 10] stored bound 0.230041238 | R2_iv 4.722067e-03 (stored 4.722067e-03) mu 0.023882144 s_req 0.258604212 smin0-s_req 4.224e-05 | pivots>0: E1 True (min 6.30e-12) smin True (min 3.46e-04) | PASS  2.1s
rank   557 box  44644 L=[3, 3, 2, 2] K=[36, 1, 11, 16] stored bound 0.230041420 | R2_iv 1.152577e-03 (stored 1.152577e-03) mu 0.011853167 s_req 0.243005744 smin0-s_req 4.242e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 2.79e-04) | PASS  2.2s
rank   558 box  43009 L=[3, 3, 2, 2] K=[25, 11, 12, 14] stored bound 0.230041569 | R2_iv 1.143060e-03 (stored 1.143060e-03) mu 0.011788769 s_req 0.242931829 smin0-s_req 4.257e-05 | pivots>0: E1 True (min 1.05e-12) smin True (min 2.85e-04) | PASS  2.2s
rank   559 box  39623 L=[3, 3, 2, 2] K=[20, 9, 14, 15] stored bound 0.230041684 | R2_iv 1.145419e-03 (stored 1.145419e-03) mu 0.011825746 s_req 0.242971165 smin0-s_req 4.268e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 2.63e-04) | PASS  2.2s
rank   560 box  59120 L=[3, 3, 3, 3] K=[32, 3, 31, 37] stored bound 0.230041720 | R2_iv 6.006748e-04 (stored 6.006748e-04) mu 0.008587160 s_req 0.239187835 smin0-s_req 4.272e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 2.56e-04) | PASS  2.2s
rank   561 box  21345 L=[2, 2, 2, 1] K=[8, 8, 10, 9] stored bound 0.230041814 | R2_iv 3.498405e-03 (stored 3.498405e-03) mu 0.021286507 s_req 0.254784912 smin0-s_req 4.281e-05 | pivots>0: E1 True (min 3.20e-11) smin True (min 3.33e-04) | PASS  2.2s
rank   562 box   4875 L=[1, 1, 1, 1] K=[8, 7, 7, 13] stored bound 0.230041857 | R2_iv 1.054540e-02 (stored 1.054540e-02) mu 0.034205643 s_req 0.274751048 smin0-s_req 4.286e-05 | pivots>0: E1 True (min 2.92e-11) smin True (min 3.38e-04) | PASS  2.2s
rank   563 box  61302 L=[4, 3, 3, 3] K=[62, 3, 30, 30] stored bound 0.230041877 | R2_iv 4.389147e-04 (stored 4.389147e-04) mu 0.007175529 s_req 0.237614443 smin0-s_req 4.288e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 2.53e-04) | PASS  2.2s
rank   564 box  64351 L=[4, 3, 3, 3] K=[64, 1, 29, 33] stored bound 0.230042000 | R2_iv 4.395780e-04 (stored 4.395780e-04) mu 0.007187876 s_req 0.237627454 smin0-s_req 4.300e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 2.48e-04) | PASS  2.2s
rank   565 box   2295 L=[1, 1, 0, 1] K=[15, 4, 3, 12] stored bound 0.230042115 | R2_iv 1.543454e-02 (stored 1.543454e-02) mu 0.042747706 s_req 0.288182247 smin0-s_req 4.312e-05 | pivots>0: E1 True (min 1.83e-11) smin True (min 7.09e-04) | PASS  2.2s
rank   566 box   8765 L=[2, 1, 1, 1] K=[14, 0, 1, 3] stored bound 0.230042141 | R2_iv 7.474847e-03 (stored 7.474847e-03) mu 0.028795271 s_req 0.266270118 smin0-s_req 4.314e-05 | pivots>0: E1 True (min 2.67e-11) smin True (min 3.08e-04) | PASS  2.2s
rank   567 box  12785 L=[2, 2, 1, 1] K=[5, 4, 7, 9] stored bound 0.230042145 | R2_iv 4.740693e-03 (stored 4.740693e-03) mu 0.023743893 s_req 0.258484587 smin0-s_req 4.315e-05 | pivots>0: E1 True (min 4.41e-12) smin True (min 2.71e-04) | PASS  2.2s
rank   568 box  49301 L=[3, 3, 3, 2] K=[31, 7, 26, 17] stored bound 0.230042171 | R2_iv 8.523686e-04 (stored 8.523686e-04) mu 0.010590940 s_req 0.241443309 smin0-s_req 4.317e-05 | pivots>0: E1 True (min 6.81e-12) smin True (min 2.82e-04) | PASS  2.2s
rank   569 box  26639 L=[2, 2, 2, 2] K=[9, 7, 14, 20] stored bound 0.230042383 | R2_iv 2.462954e-03 (stored 2.462954e-03) mu 0.017126849 s_req 0.249589803 smin0-s_req 4.338e-05 | pivots>0: E1 True (min 1.46e-11) smin True (min 2.98e-04) | PASS  2.2s
rank   570 box  55846 L=[3, 3, 3, 3] K=[30, 6, 30, 35] stored bound 0.230042521 | R2_iv 5.998443e-04 (stored 5.998443e-04) mu 0.008570712 s_req 0.239170556 smin0-s_req 4.352e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 2.70e-04) | PASS  2.2s
rank   571 box  21305 L=[2, 2, 2, 1] K=[8, 11, 11, 6] stored bound 0.230042541 | R2_iv 3.507626e-03 (stored 3.507626e-03) mu 0.021315852 s_req 0.254823478 smin0-s_req 4.354e-05 | pivots>0: E1 True (min 3.80e-11) smin True (min 3.67e-04) | PASS  2.2s
rank   572 box  16311 L=[2, 2, 1, 1] K=[12, 11, 5, 5] stored bound 0.230042629 | R2_iv 4.717293e-03 (stored 4.717293e-03) mu 0.023646971 s_req 0.258364264 smin0-s_req 4.363e-05 | pivots>0: E1 True (min 4.53e-12) smin True (min 3.62e-04) | PASS  2.2s
rank   573 box  37825 L=[3, 2, 2, 2] K=[37, 4, 15, 15] stored bound 0.230042733 | R2_iv 1.793748e-03 (stored 1.793748e-03) mu 0.014218716 s_req 0.246012463 smin0-s_req 4.373e-05 | pivots>0: E1 True (min 7.19e-12) smin True (min 3.14e-04) | PASS  2.2s
rank   574 box  23459 L=[2, 2, 2, 1] K=[17, 2, 8, 4] stored bound 0.230042781 | R2_iv 3.504582e-03 (stored 3.504582e-03) mu 0.021147948 s_req 0.254652530 smin0-s_req 4.378e-05 | pivots>0: E1 True (min 3.08e-11) smin True (min 3.17e-04) | PASS  2.2s
rank   575 box  22262 L=[2, 2, 1, 2] K=[12, 2, 6, 24] stored bound 0.230042890 | R2_iv 3.504088e-03 (stored 3.504088e-03) mu 0.019941932 s_req 0.253446019 smin0-s_req 4.389e-05 | pivots>0: E1 True (min 1.75e-12) smin True (min 2.50e-04) | PASS  2.2s
rank   576 box  30160 L=[2, 2, 2, 2] K=[18, 1, 13, 8] stored bound 0.230042943 | R2_iv 2.470923e-03 (stored 2.470923e-03) mu 0.017136079 s_req 0.249607002 smin0-s_req 4.394e-05 | pivots>0: E1 True (min 1.45e-11) smin True (min 2.82e-04) | PASS  2.2s
rank   577 box  14807 L=[2, 2, 1, 1] K=[9, 13, 5, 7] stored bound 0.230043051 | R2_iv 4.734961e-03 (stored 4.734961e-03) mu 0.023864417 s_req 0.258599378 smin0-s_req 4.405e-05 | pivots>0: E1 True (min 5.48e-12) smin True (min 4.03e-04) | PASS  2.2s
rank   578 box  31878 L=[3, 2, 2, 2] K=[23, 1, 15, 10] stored bound 0.230043110 | R2_iv 1.794775e-03 (stored 1.794775e-03) mu 0.014394912 s_req 0.246189687 smin0-s_req 4.411e-05 | pivots>0: E1 True (min 6.80e-12) smin True (min 2.35e-04) | PASS  2.2s
rank   579 box  48938 L=[3, 3, 2, 3] K=[25, 2, 15, 37] stored bound 0.230043153 | R2_iv 8.552366e-04 (stored 8.552366e-04) mu 0.009964625 s_req 0.240819862 smin0-s_req 4.415e-05 | pivots>0: E1 True (min 3.99e-13) smin True (min 2.38e-04) | PASS  2.2s
rank   580 box  48397 L=[3, 3, 2, 3] K=[26, 1, 14, 25] stored bound 0.230043241 | R2_iv 8.559119e-04 (stored 8.559119e-04) mu 0.009969160 s_req 0.240825072 smin0-s_req 4.424e-05 | pivots>0: E1 True (min 4.12e-13) smin True (min 2.36e-04) | PASS  2.2s
rank   581 box  22586 L=[2, 2, 2, 1] K=[14, 4, 8, 10] stored bound 0.230043268 | R2_iv 3.496180e-03 (stored 3.496180e-03) mu 0.021181094 s_req 0.254677274 smin0-s_req 4.427e-05 | pivots>0: E1 True (min 2.45e-11) smin True (min 3.31e-04) | PASS  2.2s
rank   582 box  36149 L=[3, 2, 2, 2] K=[26, 8, 15, 13] stored bound 0.230043334 | R2_iv 1.788165e-03 (stored 1.788165e-03) mu 0.014265027 s_req 0.246053191 smin0-s_req 4.433e-05 | pivots>0: E1 True (min 7.44e-12) smin True (min 3.18e-04) | PASS  2.2s
rank   583 box  48228 L=[3, 3, 3, 2] K=[31, 4, 28, 11] stored bound 0.230043443 | R2_iv 8.535696e-04 (stored 8.535696e-04) mu 0.010625184 s_req 0.241478754 smin0-s_req 4.444e-05 | pivots>0: E1 True (min 7.52e-12) smin True (min 2.68e-04) | PASS  2.2s
rank   584 box  19458 L=[2, 2, 1, 1] K=[31, 14, 7, 9] stored bound 0.230043541 | R2_iv 5.141791e-03 (stored 5.141791e-03) mu 0.026893202 s_req 0.262034994 smin0-s_req 4.454e-05 | pivots>0: E1 True (min 3.12e-11) smin True (min 6.47e-04) | PASS  2.2s
rank   585 box  64489 L=[4, 3, 3, 3] K=[64, 2, 30, 33] stored bound 0.230043675 | R2_iv 4.392579e-04 (stored 4.392579e-04) mu 0.007180267 s_req 0.237619524 smin0-s_req 4.468e-05 | pivots>0: E1 True (min 2.01e-12) smin True (min 2.62e-04) | PASS  2.2s
rank   586 box  48709 L=[3, 3, 2, 3] K=[28, 4, 13, 24] stored bound 0.230044118 | R2_iv 8.539551e-04 (stored 8.539551e-04) mu 0.009949382 s_req 0.240803337 smin0-s_req 4.512e-05 | pivots>0: E1 True (min 4.33e-13) smin True (min 2.64e-04) | PASS  2.2s
rank   587 box  27577 L=[2, 2, 2, 2] K=[14, 3, 7, 15] stored bound 0.230044161 | R2_iv 2.463436e-03 (stored 2.463436e-03) mu 0.017141257 s_req 0.249604692 smin0-s_req 4.516e-05 | pivots>0: E1 True (min 1.34e-11) smin True (min 3.32e-04) | PASS  2.2s
rank   588 box  35994 L=[3, 2, 2, 2] K=[28, 4, 12, 20] stored bound 0.230044173 | R2_iv 1.787370e-03 (stored 1.787370e-03) mu 0.014308420 s_req 0.246095790 smin0-s_req 4.517e-05 | pivots>0: E1 True (min 6.66e-12) smin True (min 2.97e-04) | PASS  2.2s
rank   589 box  29857 L=[2, 2, 2, 2] K=[16, 0, 8, 19] stored bound 0.230044294 | R2_iv 2.470885e-03 (stored 2.470885e-03) mu 0.017218991 s_req 0.249689876 smin0-s_req 4.529e-05 | pivots>0: E1 True (min 1.34e-11) smin True (min 3.00e-04) | PASS  2.2s
rank   590 box  61198 L=[4, 3, 3, 3] K=[62, 0, 28, 30] stored bound 0.230044346 | R2_iv 4.399171e-04 (stored 4.399171e-04) mu 0.007197886 s_req 0.237637803 smin0-s_req 4.535e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 2.53e-04) | PASS  2.2s
rank   591 box  62485 L=[4, 3, 3, 3] K=[58, 0, 31, 33] stored bound 0.230044390 | R2_iv 4.399613e-04 (stored 4.399613e-04) mu 0.007199940 s_req 0.237639901 smin0-s_req 4.539e-05 | pivots>0: E1 True (min 1.91e-12) smin True (min 2.44e-04) | PASS  2.2s
rank   592 box   6167 L=[1, 1, 1, 1] K=[14, 4, 5, 7] stored bound 0.230044407 | R2_iv 1.071434e-02 (stored 1.071434e-02) mu 0.034637990 s_req 0.275352334 smin0-s_req 4.541e-05 | pivots>0: E1 True (min 5.80e-11) smin True (min 6.87e-04) | PASS  2.2s
rank   593 box  50747 L=[3, 3, 3, 2] K=[33, 2, 23, 13] stored bound 0.230044483 | R2_iv 8.548556e-04 (stored 8.548556e-04) mu 0.010638344 s_req 0.241493199 smin0-s_req 4.548e-05 | pivots>0: E1 True (min 7.41e-12) smin True (min 2.83e-04) | PASS  2.2s
rank   594 box  44722 L=[3, 3, 2, 2] K=[33, 3, 12, 11] stored bound 0.230044555 | R2_iv 1.149122e-03 (stored 1.149122e-03) mu 0.011845473 s_req 0.242994595 smin0-s_req 4.555e-05 | pivots>0: E1 True (min 1.27e-12) smin True (min 2.84e-04) | PASS  2.2s
rank   595 box  16729 L=[2, 2, 1, 1] K=[14, 13, 6, 8] stored bound 0.230044716 | R2_iv 4.758879e-03 (stored 4.758879e-03) mu 0.023794668 s_req 0.258553547 smin0-s_req 4.572e-05 | pivots>0: E1 True (min 4.87e-12) smin True (min 3.85e-04) | PASS  2.2s
rank   596 box  54103 L=[3, 3, 3, 3] K=[31, 5, 27, 30] stored bound 0.230044736 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008569527 s_req 0.239169642 smin0-s_req 4.574e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 2.85e-04) | PASS  2.2s
rank   597 box  51241 L=[3, 3, 3, 2] K=[34, 4, 29, 12] stored bound 0.230044756 | R2_iv 8.538842e-04 (stored 8.538842e-04) mu 0.010603980 s_req 0.241457865 smin0-s_req 4.576e-05 | pivots>0: E1 True (min 7.35e-12) smin True (min 2.89e-04) | PASS  2.2s
rank   598 box  48596 L=[3, 3, 2, 3] K=[25, 5, 15, 25] stored bound 0.230044880 | R2_iv 8.533700e-04 (stored 8.533700e-04) mu 0.009948529 s_req 0.240801899 smin0-s_req 4.588e-05 | pivots>0: E1 True (min 4.22e-13) smin True (min 2.64e-04) | PASS  2.2s
rank   599 box  51706 L=[3, 3, 3, 2] K=[33, 5, 31, 19] stored bound 0.230044893 | R2_iv 8.533092e-04 (stored 8.533092e-04) mu 0.010599004 s_req 0.241452314 smin0-s_req 4.589e-05 | pivots>0: E1 True (min 7.13e-12) smin True (min 2.90e-04) | PASS  2.2s
rank   600 box  51084 L=[3, 3, 3, 2] K=[35, 0, 25, 12] stored bound 0.230045150 | R2_iv 8.564197e-04 (stored 8.564197e-04) mu 0.010656973 s_req 0.241513392 smin0-s_req 4.615e-05 | pivots>0: E1 True (min 7.63e-12) smin True (min 2.81e-04) | PASS  2.2s
rank   601 box  54961 L=[3, 3, 3, 3] K=[26, 5, 30, 35] stored bound 0.230045240 | R2_iv 6.000426e-04 (stored 6.000426e-04) mu 0.008586704 s_req 0.239186746 smin0-s_req 4.624e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 2.69e-04) | PASS  2.2s
rank   602 box  55935 L=[3, 3, 3, 3] K=[28, 6, 31, 36] stored bound 0.230045246 | R2_iv 5.997519e-04 (stored 5.997519e-04) mu 0.008578174 s_req 0.239177926 smin0-s_req 4.625e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 2.79e-04) | PASS  2.2s
rank   603 box  58288 L=[3, 3, 3, 3] K=[33, 4, 31, 28] stored bound 0.230045402 | R2_iv 6.005535e-04 (stored 6.005535e-04) mu 0.008572751 s_req 0.239173304 smin0-s_req 4.640e-05 | pivots>0: E1 True (min 3.63e-12) smin True (min 2.88e-04) | PASS  2.2s
rank   604 box  58789 L=[3, 3, 3, 3] K=[32, 2, 27, 35] stored bound 0.230045443 | R2_iv 6.009631e-04 (stored 6.009631e-04) mu 0.008591642 s_req 0.239192605 smin0-s_req 4.644e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 2.77e-04) | PASS  2.2s
rank   605 box  14041 L=[2, 2, 1, 1] K=[11, 4, 3, 4] stored bound 0.230045469 | R2_iv 4.695349e-03 (stored 4.695349e-03) mu 0.023619662 s_req 0.258315011 smin0-s_req 4.647e-05 | pivots>0: E1 True (min 4.24e-12) smin True (min 3.26e-04) | PASS  2.2s
rank   606 box  15954 L=[2, 2, 1, 1] K=[13, 7, 5, 3] stored bound 0.230045480 | R2_iv 4.691406e-03 (stored 4.691406e-03) mu 0.023488067 s_req 0.258179473 smin0-s_req 4.648e-05 | pivots>0: E1 True (min 3.93e-12) smin True (min 3.33e-04) | PASS  2.2s
rank   607 box  34168 L=[3, 2, 2, 2] K=[25, 2, 9, 13] stored bound 0.230045538 | R2_iv 1.790851e-03 (stored 1.790851e-03) mu 0.014368686 s_req 0.246159537 smin0-s_req 4.654e-05 | pivots>0: E1 True (min 6.75e-12) smin True (min 2.89e-04) | PASS  2.2s
rank   608 box  53582 L=[3, 3, 3, 3] K=[29, 1, 31, 25] stored bound 0.230045679 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008607703 s_req 0.239208953 smin0-s_req 4.668e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 2.57e-04) | PASS  2.2s
rank   609 box  59039 L=[3, 3, 3, 3] K=[34, 3, 30, 34] stored bound 0.230045743 | R2_iv 6.009243e-04 (stored 6.009243e-04) mu 0.008574621 s_req 0.239175545 smin0-s_req 4.674e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 2.91e-04) | PASS  2.2s
rank   610 box  31323 L=[2, 2, 2, 2] K=[20, 3, 15, 17] stored bound 0.230045901 | R2_iv 2.474480e-03 (stored 2.474480e-03) mu 0.016998888 s_req 0.249473368 smin0-s_req 4.690e-05 | pivots>0: E1 True (min 1.17e-11) smin True (min 3.50e-04) | PASS  2.2s
rank   611 box  57782 L=[3, 3, 3, 3] K=[34, 2, 27, 31] stored bound 0.230045909 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008575972 s_req 0.239177153 smin0-s_req 4.691e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 2.90e-04) | PASS  2.2s
rank   612 box   7385 L=[2, 1, 1, 1] K=[6, 4, 2, 6] stored bound 0.230045911 | R2_iv 7.470376e-03 (stored 7.470376e-03) mu 0.028765532 s_req 0.266235908 smin0-s_req 4.691e-05 | pivots>0: E1 True (min 2.93e-11) smin True (min 4.46e-04) | PASS  2.2s
rank   613 box  26288 L=[2, 2, 2, 2] K=[9, 4, 11, 18] stored bound 0.230045962 | R2_iv 2.465931e-03 (stored 2.465931e-03) mu 0.017165365 s_req 0.249631295 smin0-s_req 4.696e-05 | pivots>0: E1 True (min 1.49e-11) smin True (min 2.97e-04) | PASS  2.2s
rank   614 box  62724 L=[4, 3, 3, 3] K=[63, 0, 31, 35] stored bound 0.230046057 | R2_iv 4.399236e-04 (stored 4.399236e-04) mu 0.007201640 s_req 0.237641563 smin0-s_req 4.706e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 2.63e-04) | PASS  2.2s
rank   615 box  36750 L=[3, 2, 2, 2] K=[37, 2, 11, 14] stored bound 0.230046148 | R2_iv 1.794552e-03 (stored 1.794552e-03) mu 0.014288424 s_req 0.246082976 smin0-s_req 4.715e-05 | pivots>0: E1 True (min 8.56e-12) smin True (min 3.36e-04) | PASS  2.2s
rank   616 box  63818 L=[4, 3, 3, 3] K=[64, 0, 28, 30] stored bound 0.230046198 | R2_iv 4.399371e-04 (stored 4.399371e-04) mu 0.007196212 s_req 0.237636149 smin0-s_req 4.720e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 2.67e-04) | PASS  2.2s
rank   617 box   7753 L=[2, 1, 1, 1] K=[9, 1, 0, 7] stored bound 0.230046245 | R2_iv 7.475734e-03 (stored 7.475734e-03) mu 0.028731314 s_req 0.266207049 smin0-s_req 4.724e-05 | pivots>0: E1 True (min 2.19e-11) smin True (min 3.55e-04) | PASS  2.2s
rank   618 box  49890 L=[3, 3, 2, 3] K=[24, 10, 14, 30] stored bound 0.230046274 | R2_iv 8.516956e-04 (stored 8.516956e-04) mu 0.009924348 s_req 0.240776043 smin0-s_req 4.727e-05 | pivots>0: E1 True (min 4.12e-13) smin True (min 3.01e-04) | PASS  2.2s
rank   619 box  22812 L=[2, 2, 1, 2] K=[12, 10, 5, 15] stored bound 0.230046318 | R2_iv 3.504212e-03 (stored 3.504212e-03) mu 0.019857846 s_req 0.253362058 smin0-s_req 4.732e-05 | pivots>0: E1 True (min 1.48e-12) smin True (min 3.92e-04) | PASS  2.2s
rank   620 box  58170 L=[3, 3, 3, 3] K=[32, 4, 29, 27] stored bound 0.230046427 | R2_iv 6.004287e-04 (stored 6.004287e-04) mu 0.008578054 s_req 0.239178482 smin0-s_req 4.743e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 2.91e-04) | PASS  2.2s
rank   621 box  39962 L=[3, 3, 2, 2] K=[21, 8, 13, 16] stored bound 0.230046471 | R2_iv 1.145627e-03 (stored 1.145627e-03) mu 0.011825163 s_req 0.242970790 smin0-s_req 4.747e-05 | pivots>0: E1 True (min 1.10e-12) smin True (min 2.90e-04) | PASS  2.2s
rank   622 box  51977 L=[3, 3, 3, 2] K=[34, 0, 30, 20] stored bound 0.230046574 | R2_iv 8.563867e-04 (stored 8.563867e-04) mu 0.010664764 s_req 0.241521150 smin0-s_req 4.757e-05 | pivots>0: E1 True (min 7.43e-12) smin True (min 2.78e-04) | PASS  2.2s
rank   623 box  63129 L=[4, 3, 3, 3] K=[59, 4, 31, 32] stored bound 0.230046602 | R2_iv 4.385969e-04 (stored 4.385969e-04) mu 0.007170570 s_req 0.237609167 smin0-s_req 4.760e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 2.81e-04) | PASS  2.2s
rank   624 box  34715 L=[3, 2, 2, 2] K=[26, 3, 13, 9] stored bound 0.230046626 | R2_iv 1.788553e-03 (stored 1.788553e-03) mu 0.014333829 s_req 0.246122382 smin0-s_req 4.763e-05 | pivots>0: E1 True (min 7.31e-12) smin True (min 2.85e-04) | PASS  2.2s
rank   625 box  58796 L=[3, 3, 3, 3] K=[33, 2, 27, 34] stored bound 0.230046739 | R2_iv 6.010562e-04 (stored 6.010562e-04) mu 0.008586319 s_req 0.239187375 smin0-s_req 4.774e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 2.90e-04) | PASS  2.2s
rank   626 box  40215 L=[3, 3, 2, 2] K=[22, 14, 15, 16] stored bound 0.230046749 | R2_iv 1.143145e-03 (stored 1.143145e-03) mu 0.011804427 s_req 0.242947572 smin0-s_req 4.775e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 3.25e-04) | PASS  2.2s
rank   627 box  37321 L=[3, 2, 2, 2] K=[34, 0, 12, 21] stored bound 0.230046754 | R2_iv 1.796123e-03 (stored 1.796123e-03) mu 0.014406291 s_req 0.246202414 smin0-s_req 4.775e-05 | pivots>0: E1 True (min 7.89e-12) smin True (min 2.91e-04) | PASS  2.2s
rank   628 box  48633 L=[3, 3, 2, 3] K=[27, 6, 15, 24] stored bound 0.230046886 | R2_iv 8.528986e-04 (stored 8.528986e-04) mu 0.009943026 s_req 0.240795924 smin0-s_req 4.789e-05 | pivots>0: E1 True (min 4.27e-13) smin True (min 2.86e-04) | PASS  2.2s
rank   629 box  35446 L=[3, 2, 2, 2] K=[31, 4, 10, 16] stored bound 0.230046890 | R2_iv 1.788471e-03 (stored 1.788471e-03) mu 0.014281838 s_req 0.246070310 smin0-s_req 4.789e-05 | pivots>0: E1 True (min 6.56e-12) smin True (min 3.44e-04) | PASS  2.2s
rank   630 box  62483 L=[4, 3, 3, 3] K=[58, 0, 30, 32] stored bound 0.230046996 | R2_iv 4.399613e-04 (stored 4.399613e-04) mu 0.007197135 s_req 0.237637097 smin0-s_req 4.800e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 2.58e-04) | PASS  2.1s
rank   631 box  53769 L=[3, 3, 3, 3] K=[31, 2, 25, 29] stored bound 0.230047021 | R2_iv 6.009013e-04 (stored 6.009013e-04) mu 0.008591548 s_req 0.239192450 smin0-s_req 4.802e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 2.85e-04) | PASS  2.2s
rank   632 box  50807 L=[3, 3, 3, 2] K=[34, 0, 22, 15] stored bound 0.230047139 | R2_iv 8.563867e-04 (stored 8.563867e-04) mu 0.010648502 s_req 0.241504888 smin0-s_req 4.814e-05 | pivots>0: E1 True (min 7.15e-12) smin True (min 2.98e-04) | PASS  2.2s
rank   633 box  51878 L=[3, 3, 3, 2] K=[36, 3, 31, 18] stored bound 0.230047161 | R2_iv 8.547667e-04 (stored 8.547667e-04) mu 0.010601102 s_req 0.241455869 smin0-s_req 4.816e-05 | pivots>0: E1 True (min 7.13e-12) smin True (min 3.10e-04) | PASS  2.2s
rank   634 box   9648 L=[2, 1, 1, 1] K=[16, 0, 0, 11] stored bound 0.230047220 | R2_iv 7.476165e-03 (stored 7.476165e-03) mu 0.028790300 s_req 0.266266465 smin0-s_req 4.822e-05 | pivots>0: E1 True (min 2.77e-11) smin True (min 4.10e-04) | PASS  2.2s
rank   635 box  46137 L=[3, 3, 2, 2] K=[32, 8, 15, 19] stored bound 0.230047555 | R2_iv 1.145589e-03 (stored 1.145589e-03) mu 0.011777825 s_req 0.242923414 smin0-s_req 4.856e-05 | pivots>0: E1 True (min 1.05e-12) smin True (min 3.19e-04) | PASS  2.2s
rank   636 box  57804 L=[3, 3, 3, 3] K=[33, 0, 29, 25] stored bound 0.230047647 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008609784 s_req 0.239211511 smin0-s_req 4.865e-05 | pivots>0: E1 True (min 3.85e-12) smin True (min 2.80e-04) | PASS  2.2s
rank   637 box  13687 L=[2, 2, 1, 1] K=[8, 1, 4, 6] stored bound 0.230047836 | R2_iv 4.744498e-03 (stored 4.744498e-03) mu 0.023802184 s_req 0.258546681 smin0-s_req 4.884e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 2.75e-04) | PASS  2.2s
rank   638 box  57836 L=[3, 3, 3, 3] K=[32, 3, 29, 26] stored bound 0.230047838 | R2_iv 6.006748e-04 (stored 6.006748e-04) mu 0.008586947 s_req 0.239187621 smin0-s_req 4.884e-05 | pivots>0: E1 True (min 3.72e-12) smin True (min 2.94e-04) | PASS  2.2s
rank   639 box  55598 L=[3, 3, 3, 3] K=[28, 6, 27, 32] stored bound 0.230048022 | R2_iv 5.997519e-04 (stored 5.997519e-04) mu 0.008572826 s_req 0.239172578 smin0-s_req 4.902e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 3.00e-04) | PASS  2.2s
rank   640 box  32960 L=[3, 2, 2, 2] K=[19, 6, 15, 12] stored bound 0.230048184 | R2_iv 1.787852e-03 (stored 1.787852e-03) mu 0.014334681 s_req 0.246122533 smin0-s_req 4.918e-05 | pivots>0: E1 True (min 7.25e-12) smin True (min 3.23e-04) | PASS  2.2s
rank   641 box  21841 L=[2, 2, 1, 2] K=[13, 2, 3, 10] stored bound 0.230048278 | R2_iv 3.503736e-03 (stored 3.503736e-03) mu 0.019882558 s_req 0.253386294 smin0-s_req 4.928e-05 | pivots>0: E1 True (min 1.89e-12) smin True (min 3.31e-04) | PASS  2.2s
rank   642 box   8441 L=[2, 1, 1, 1] K=[10, 4, 5, 2] stored bound 0.230048288 | R2_iv 7.450629e-03 (stored 7.450629e-03) mu 0.028422055 s_req 0.265872684 smin0-s_req 4.929e-05 | pivots>0: E1 True (min 2.60e-11) smin True (min 3.55e-04) | PASS  2.2s
rank   643 box  14944 L=[2, 2, 1, 1] K=[8, 14, 6, 6] stored bound 0.230048297 | R2_iv 4.748794e-03 (stored 4.748794e-03) mu 0.023974684 s_req 0.258723479 smin0-s_req 4.930e-05 | pivots>0: E1 True (min 6.35e-12) smin True (min 4.40e-04) | PASS  2.2s
rank   644 box  20447 L=[2, 2, 1, 2] K=[11, 3, 3, 12] stored bound 0.230048374 | R2_iv 3.501255e-03 (stored 3.501255e-03) mu 0.019861865 s_req 0.253363120 smin0-s_req 4.937e-05 | pivots>0: E1 True (min 1.82e-12) smin True (min 3.38e-04) | PASS  2.2s
rank   645 box  28926 L=[2, 2, 2, 2] K=[14, 4, 14, 23] stored bound 0.230048443 | R2_iv 2.462355e-03 (stored 2.462355e-03) mu 0.017076737 s_req 0.249539092 smin0-s_req 4.944e-05 | pivots>0: E1 True (min 1.27e-11) smin True (min 3.13e-04) | PASS  2.1s
rank   646 box  55224 L=[3, 3, 3, 3] K=[30, 2, 25, 32] stored bound 0.230048492 | R2_iv 6.008711e-04 (stored 6.008711e-04) mu 0.008587916 s_req 0.239188787 smin0-s_req 4.949e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 2.90e-04) | PASS  2.1s
rank   647 box  40736 L=[3, 3, 2, 2] K=[25, 6, 11, 13] stored bound 0.230048556 | R2_iv 1.145796e-03 (stored 1.145796e-03) mu 0.011827717 s_req 0.242973513 smin0-s_req 4.956e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 3.04e-04) | PASS  2.2s
rank   648 box  27883 L=[2, 2, 2, 2] K=[12, 1, 10, 20] stored bound 0.230048581 | R2_iv 2.469071e-03 (stored 2.469071e-03) mu 0.017199911 s_req 0.249668982 smin0-s_req 4.958e-05 | pivots>0: E1 True (min 1.43e-11) smin True (min 2.87e-04) | PASS  2.1s
rank   649 box  27813 L=[2, 2, 2, 2] K=[14, 1, 8, 10] stored bound 0.230048608 | R2_iv 2.467649e-03 (stored 2.467649e-03) mu 0.017196642 s_req 0.249664291 smin0-s_req 4.961e-05 | pivots>0: E1 True (min 1.34e-11) smin True (min 3.12e-04) | PASS  2.1s
SUMMARY: 650 of 650 boxes PASS; smallest (stored smin0 - s_req) = 1.149e-06; 1393 s
