certificate cert_s023.npz: 65597 boxes; window a = 1; s_target = 23/100; tail bound tau = 4.746513984410454e-41
boxes 650..1299 of the order by stored bound (smallest first)
rank   650 box  57970 L=[3, 3, 3, 3] K=[34, 2, 28, 28] stored bound 0.230048641 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008584742 s_req 0.239185923 smin0-s_req 4.964e-05 | pivots>0: E1 True (min 3.76e-12) smin True (min 3.04e-04) | PASS  2.2s
rank   651 box  39016 L=[3, 3, 2, 2] K=[22, 5, 13, 17] stored bound 0.230048694 | R2_iv 1.148070e-03 (stored 1.148070e-03) mu 0.011844652 s_req 0.242992723 smin0-s_req 4.969e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 2.85e-04) | PASS  2.2s
rank   652 box  20138 L=[2, 2, 2, 1] K=[5, 11, 15, 6] stored bound 0.230048700 | R2_iv 3.511448e-03 (stored 3.511448e-03) mu 0.021395438 s_req 0.254906885 smin0-s_req 4.970e-05 | pivots>0: E1 True (min 4.46e-11) smin True (min 4.26e-04) | PASS  2.2s
rank   653 box  35389 L=[3, 2, 2, 2] K=[25, 6, 11, 17] stored bound 0.230048886 | R2_iv 1.786279e-03 (stored 1.786279e-03) mu 0.014301400 s_req 0.246087679 smin0-s_req 4.989e-05 | pivots>0: E1 True (min 6.66e-12) smin True (min 3.54e-04) | PASS  2.2s
rank   654 box  40101 L=[3, 3, 2, 2] K=[23, 11, 14, 18] stored bound 0.230048913 | R2_iv 1.143258e-03 (stored 1.143258e-03) mu 0.011801535 s_req 0.242944793 smin0-s_req 4.991e-05 | pivots>0: E1 True (min 1.07e-12) smin True (min 3.23e-04) | PASS  2.2s
rank   655 box  48664 L=[3, 3, 2, 3] K=[24, 7, 13, 29] stored bound 0.230049090 | R2_iv 8.525483e-04 (stored 8.525483e-04) mu 0.009931524 s_req 0.240784073 smin0-s_req 5.009e-05 | pivots>0: E1 True (min 4.13e-13) smin True (min 3.03e-04) | PASS  2.2s
rank   656 box  50326 L=[3, 3, 2, 3] K=[25, 11, 15, 33] stored bound 0.230049112 | R2_iv 8.515294e-04 (stored 8.515294e-04) mu 0.009921024 s_req 0.240772554 smin0-s_req 5.011e-05 | pivots>0: E1 True (min 4.07e-13) smin True (min 3.26e-04) | PASS  2.2s
rank   657 box  36786 L=[3, 2, 2, 2] K=[32, 0, 9, 18] stored bound 0.230049156 | R2_iv 1.795508e-03 (stored 1.795508e-03) mu 0.014399696 s_req 0.246195205 smin0-s_req 5.016e-05 | pivots>0: E1 True (min 7.45e-12) smin True (min 3.19e-04) | PASS  2.2s
rank   658 box  34911 L=[3, 2, 2, 2] K=[28, 0, 12, 21] stored bound 0.230049205 | R2_iv 1.795639e-03 (stored 1.795639e-03) mu 0.014420942 s_req 0.246216581 smin0-s_req 5.020e-05 | pivots>0: E1 True (min 7.48e-12) smin True (min 2.77e-04) | PASS  2.2s
rank   659 box  51609 L=[3, 3, 3, 2] K=[32, 7, 26, 16] stored bound 0.230049274 | R2_iv 8.525575e-04 (stored 8.525575e-04) mu 0.010579018 s_req 0.241431575 smin0-s_req 5.027e-05 | pivots>0: E1 True (min 6.77e-12) smin True (min 3.33e-04) | PASS  2.2s
rank   660 box  47613 L=[3, 3, 3, 2] K=[29, 4, 22, 15] stored bound 0.230049283 | R2_iv 8.536617e-04 (stored 8.536617e-04) mu 0.010629795 s_req 0.241483457 smin0-s_req 5.028e-05 | pivots>0: E1 True (min 7.06e-12) smin True (min 3.12e-04) | PASS  2.2s
rank   661 box   9775 L=[2, 1, 1, 1] K=[17, 0, 4, 0] stored bound 0.230049417 | R2_iv 7.479600e-03 (stored 7.479600e-03) mu 0.028619670 s_req 0.266099270 smin0-s_req 5.042e-05 | pivots>0: E1 True (min 3.57e-11) smin True (min 3.25e-04) | PASS  2.2s
rank   662 box  54099 L=[3, 3, 3, 3] K=[31, 4, 26, 30] stored bound 0.230049545 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008576012 s_req 0.239176347 smin0-s_req 5.055e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 3.11e-04) | PASS  2.2s
rank   663 box  58616 L=[3, 3, 3, 3] K=[36, 1, 31, 31] stored bound 0.230049669 | R2_iv 6.017909e-04 (stored 6.017909e-04) mu 0.008576179 s_req 0.239177970 smin0-s_req 5.067e-05 | pivots>0: E1 True (min 3.76e-12) smin True (min 3.15e-04) | PASS  2.2s
rank   664 box  53702 L=[3, 3, 3, 3] K=[29, 1, 25, 31] stored bound 0.230049806 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008594908 s_req 0.239196157 smin0-s_req 5.081e-05 | pivots>0: E1 True (min 3.51e-12) smin True (min 2.87e-04) | PASS  2.2s
rank   665 box  53615 L=[3, 3, 3, 3] K=[29, 2, 31, 25] stored bound 0.230049879 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008601397 s_req 0.239202270 smin0-s_req 5.088e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 2.86e-04) | PASS  2.2s
rank   666 box  38663 L=[3, 3, 2, 2] K=[21, 3, 15, 15] stored bound 0.230050074 | R2_iv 1.151446e-03 (stored 1.151446e-03) mu 0.011868769 s_req 0.243020216 smin0-s_req 5.107e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 2.74e-04) | PASS  2.2s
rank   667 box  20589 L=[2, 2, 1, 2] K=[9, 2, 4, 15] stored bound 0.230050074 | R2_iv 3.511023e-03 (stored 3.511023e-03) mu 0.019887151 s_req 0.253398174 smin0-s_req 5.107e-05 | pivots>0: E1 True (min 1.45e-12) smin True (min 3.08e-04) | PASS  2.2s
rank   668 box  32968 L=[3, 2, 2, 2] K=[17, 6, 14, 14] stored bound 0.230050135 | R2_iv 1.789292e-03 (stored 1.789292e-03) mu 0.014351084 s_req 0.246140376 smin0-s_req 5.113e-05 | pivots>0: E1 True (min 7.36e-12) smin True (min 3.40e-04) | PASS  2.2s
rank   669 box  61218 L=[4, 3, 3, 3] K=[62, 1, 31, 28] stored bound 0.230050211 | R2_iv 4.395440e-04 (stored 4.395440e-04) mu 0.007194495 s_req 0.237634039 smin0-s_req 5.121e-05 | pivots>0: E1 True (min 2.00e-12) smin True (min 2.89e-04) | PASS  2.2s
rank   670 box  25612 L=[2, 2, 2, 2] K=[11, 2, 8, 15] stored bound 0.230050227 | R2_iv 2.467339e-03 (stored 2.467339e-03) mu 0.017178061 s_req 0.249645400 smin0-s_req 5.123e-05 | pivots>0: E1 True (min 1.22e-11) smin True (min 3.22e-04) | PASS  2.2s
rank   671 box  22862 L=[2, 2, 1, 2] K=[12, 9, 5, 18] stored bound 0.230050413 | R2_iv 3.500224e-03 (stored 3.500224e-03) mu 0.019855003 s_req 0.253355227 smin0-s_req 5.141e-05 | pivots>0: E1 True (min 1.67e-12) smin True (min 4.14e-04) | PASS  2.1s
rank   672 box  55805 L=[3, 3, 3, 3] K=[28, 7, 31, 35] stored bound 0.230050457 | R2_iv 5.995690e-04 (stored 5.995690e-04) mu 0.008571965 s_req 0.239171534 smin0-s_req 5.146e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 3.17e-04) | PASS  2.1s
rank   673 box  37492 L=[3, 2, 2, 2] K=[37, 2, 15, 20] stored bound 0.230050541 | R2_iv 1.794552e-03 (stored 1.794552e-03) mu 0.014304060 s_req 0.246098611 smin0-s_req 5.154e-05 | pivots>0: E1 True (min 7.48e-12) smin True (min 3.46e-04) | PASS  2.1s
rank   674 box  48748 L=[3, 3, 3, 2] K=[30, 7, 24, 15] stored bound 0.230050658 | R2_iv 8.522402e-04 (stored 8.522402e-04) mu 0.010593619 s_req 0.241445859 smin0-s_req 5.166e-05 | pivots>0: E1 True (min 7.42e-12) smin True (min 3.38e-04) | PASS  2.2s
rank   675 box  48673 L=[3, 3, 2, 3] K=[26, 5, 12, 28] stored bound 0.230050663 | R2_iv 8.533328e-04 (stored 8.533328e-04) mu 0.009936024 s_req 0.240789357 smin0-s_req 5.166e-05 | pivots>0: E1 True (min 3.82e-13) smin True (min 3.08e-04) | PASS  2.2s
rank   676 box  45026 L=[3, 3, 2, 2] K=[35, 5, 12, 15] stored bound 0.230050792 | R2_iv 1.148645e-03 (stored 1.148645e-03) mu 0.011788925 s_req 0.242937571 smin0-s_req 5.179e-05 | pivots>0: E1 True (min 1.09e-12) smin True (min 3.51e-04) | PASS  2.2s
rank   677 box   1821 L=[1, 1, 1, 0] K=[12, 0, 5, 0] stored bound 0.230050896 | R2_iv 1.491918e-02 (stored 1.491918e-02) mu 0.041413274 s_req 0.286332458 smin0-s_req 5.190e-05 | pivots>0: E1 True (min 1.29e-10) smin True (min 4.54e-04) | PASS  2.2s
rank   678 box  62586 L=[4, 3, 3, 3] K=[57, 2, 31, 33] stored bound 0.230050900 | R2_iv 4.392125e-04 (stored 4.392125e-04) mu 0.007187109 s_req 0.237626322 smin0-s_req 5.190e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 2.90e-04) | PASS  2.2s
rank   679 box  27218 L=[2, 2, 2, 2] K=[9, 10, 15, 18] stored bound 0.230050960 | R2_iv 2.466111e-03 (stored 2.466111e-03) mu 0.017153453 s_req 0.249619564 smin0-s_req 5.196e-05 | pivots>0: E1 True (min 1.61e-11) smin True (min 3.98e-04) | PASS  2.2s
rank   680 box  57988 L=[3, 3, 3, 3] K=[35, 2, 29, 31] stored bound 0.230051002 | R2_iv 6.013368e-04 (stored 6.013368e-04) mu 0.008571969 s_req 0.239173306 smin0-s_req 5.200e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 3.24e-04) | PASS  2.2s
rank   681 box  53734 L=[3, 3, 3, 3] K=[29, 2, 25, 31] stored bound 0.230051039 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008589909 s_req 0.239190781 smin0-s_req 5.204e-05 | pivots>0: E1 True (min 3.55e-12) smin True (min 3.01e-04) | PASS  2.2s
rank   682 box  49202 L=[3, 3, 2, 3] K=[28, 1, 12, 35] stored bound 0.230051109 | R2_iv 8.559203e-04 (stored 8.559203e-04) mu 0.009972415 s_req 0.240828335 smin0-s_req 5.211e-05 | pivots>0: E1 True (min 3.91e-13) smin True (min 2.92e-04) | PASS  2.2s
rank   683 box   6965 L=[2, 1, 1, 1] K=[7, 0, 4, 9] stored bound 0.230051116 | R2_iv 7.528306e-03 (stored 7.528306e-03) mu 0.028754210 s_req 0.266282516 smin0-s_req 5.212e-05 | pivots>0: E1 True (min 2.05e-11) smin True (min 2.86e-04) | PASS  2.2s
rank   684 box  57842 L=[3, 3, 3, 3] K=[33, 3, 29, 27] stored bound 0.230051141 | R2_iv 6.007838e-04 (stored 6.007838e-04) mu 0.008582219 s_req 0.239183003 smin0-s_req 5.214e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 3.19e-04) | PASS  2.2s
rank   685 box  53631 L=[3, 3, 3, 3] K=[31, 1, 28, 25] stored bound 0.230051277 | R2_iv 6.012475e-04 (stored 6.012475e-04) mu 0.008605536 s_req 0.239206784 smin0-s_req 5.228e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 2.98e-04) | PASS  2.2s
rank   686 box  45655 L=[3, 3, 2, 2] K=[34, 0, 15, 21] stored bound 0.230051353 | R2_iv 1.152894e-03 (stored 1.152894e-03) mu 0.011904314 s_req 0.243057208 smin0-s_req 5.235e-05 | pivots>0: E1 True (min 1.35e-12) smin True (min 3.05e-04) | PASS  2.2s
rank   687 box  54100 L=[3, 3, 3, 3] K=[31, 4, 26, 31] stored bound 0.230051454 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008573354 s_req 0.239173690 smin0-s_req 5.245e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 3.23e-04) | PASS  2.2s
rank   688 box  48042 L=[3, 3, 2, 3] K=[30, 1, 13, 23] stored bound 0.230051590 | R2_iv 8.561695e-04 (stored 8.561695e-04) mu 0.009978499 s_req 0.240834668 smin0-s_req 5.259e-05 | pivots>0: E1 True (min 3.92e-13) smin True (min 2.96e-04) | PASS  2.2s
rank   689 box  59662 L=[3, 3, 3, 3] K=[36, 0, 30, 34] stored bound 0.230051993 | R2_iv 6.021000e-04 (stored 6.021000e-04) mu 0.008592260 s_req 0.239194360 smin0-s_req 5.299e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 3.23e-04) | PASS  2.2s
rank   690 box  49577 L=[3, 3, 3, 2] K=[31, 4, 31, 20] stored bound 0.230052086 | R2_iv 8.535696e-04 (stored 8.535696e-04) mu 0.010625442 s_req 0.241479012 smin0-s_req 5.309e-05 | pivots>0: E1 True (min 7.30e-12) smin True (min 3.19e-04) | PASS  2.2s
rank   691 box  64603 L=[4, 3, 3, 3] K=[68, 0, 31, 33] stored bound 0.230052101 | R2_iv 4.400611e-04 (stored 4.400611e-04) mu 0.007191931 s_req 0.237631992 smin0-s_req 5.310e-05 | pivots>0: E1 True (min 2.13e-12) smin True (min 3.09e-04) | PASS  2.2s
rank   692 box  22127 L=[2, 2, 2, 1] K=[15, 2, 9, 11] stored bound 0.230052264 | R2_iv 3.502492e-03 (stored 3.502492e-03) mu 0.021217999 s_req 0.254720492 smin0-s_req 5.326e-05 | pivots>0: E1 True (min 2.49e-11) smin True (min 3.58e-04) | PASS  2.2s
rank   693 box  45027 L=[3, 3, 2, 2] K=[34, 6, 12, 14] stored bound 0.230052299 | R2_iv 1.147485e-03 (stored 1.147485e-03) mu 0.011783918 s_req 0.242931403 smin0-s_req 5.330e-05 | pivots>0: E1 True (min 1.21e-12) smin True (min 3.61e-04) | PASS  2.2s
rank   694 box  31876 L=[3, 2, 2, 2] K=[23, 1, 14, 10] stored bound 0.230052406 | R2_iv 1.794775e-03 (stored 1.794775e-03) mu 0.014395463 s_req 0.246190239 smin0-s_req 5.341e-05 | pivots>0: E1 True (min 6.73e-12) smin True (min 2.85e-04) | PASS  2.2s
rank   695 box  61177 L=[4, 3, 3, 3] K=[60, 1, 29, 29] stored bound 0.230052445 | R2_iv 4.395380e-04 (stored 4.395380e-04) mu 0.007194173 s_req 0.237633711 smin0-s_req 5.344e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 2.99e-04) | PASS  2.2s
rank   696 box  62581 L=[4, 3, 3, 3] K=[57, 2, 30, 32] stored bound 0.230052535 | R2_iv 4.392125e-04 (stored 4.392125e-04) mu 0.007184681 s_req 0.237623893 smin0-s_req 5.353e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 2.99e-04) | PASS  2.2s
rank   697 box  29328 L=[2, 2, 2, 2] K=[15, 8, 13, 17] stored bound 0.230052808 | R2_iv 2.466728e-03 (stored 2.466728e-03) mu 0.016992469 s_req 0.249459196 smin0-s_req 5.381e-05 | pivots>0: E1 True (min 1.07e-11) smin True (min 4.07e-04) | PASS  2.2s
rank   698 box  50360 L=[3, 3, 3, 2] K=[27, 8, 27, 18] stored bound 0.230052821 | R2_iv 8.518372e-04 (stored 8.518372e-04) mu 0.010612276 s_req 0.241464114 smin0-s_req 5.382e-05 | pivots>0: E1 True (min 7.16e-12) smin True (min 3.40e-04) | PASS  2.2s
rank   699 box  55480 L=[3, 3, 3, 3] K=[31, 0, 30, 38] stored bound 0.230052929 | R2_iv 6.016356e-04 (stored 6.016356e-04) mu 0.008612833 s_req 0.239214468 smin0-s_req 5.393e-05 | pivots>0: E1 True (min 3.84e-12) smin True (min 3.00e-04) | PASS  2.2s
rank   700 box  59010 L=[3, 3, 3, 3] K=[34, 3, 29, 33] stored bound 0.230052998 | R2_iv 6.009243e-04 (stored 6.009243e-04) mu 0.008572037 s_req 0.239172961 smin0-s_req 5.400e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 3.37e-04) | PASS  2.2s
rank   701 box  32992 L=[3, 2, 2, 2] K=[20, 7, 12, 14] stored bound 0.230053203 | R2_iv 1.787174e-03 (stored 1.787174e-03) mu 0.014331057 s_req 0.246118230 smin0-s_req 5.420e-05 | pivots>0: E1 True (min 7.80e-12) smin True (min 3.82e-04) | PASS  2.2s
rank   702 box  23957 L=[2, 2, 1, 2] K=[16, 7, 6, 20] stored bound 0.230053317 | R2_iv 3.504201e-03 (stored 3.504201e-03) mu 0.019823343 s_req 0.253327544 smin0-s_req 5.432e-05 | pivots>0: E1 True (min 1.45e-12) smin True (min 4.12e-04) | PASS  2.2s
rank   703 box  22864 L=[2, 2, 1, 2] K=[13, 8, 5, 19] stored bound 0.230053445 | R2_iv 3.498238e-03 (stored 3.498238e-03) mu 0.019833582 s_req 0.253331819 smin0-s_req 5.444e-05 | pivots>0: E1 True (min 1.64e-12) smin True (min 4.28e-04) | PASS  2.2s
rank   704 box  51107 L=[3, 3, 3, 2] K=[35, 3, 25, 14] stored bound 0.230053490 | R2_iv 8.545290e-04 (stored 8.545290e-04) mu 0.010605434 s_req 0.241459963 smin0-s_req 5.449e-05 | pivots>0: E1 True (min 7.45e-12) smin True (min 3.54e-04) | PASS  2.2s
rank   705 box  58716 L=[3, 3, 3, 3] K=[32, 1, 25, 32] stored bound 0.230053537 | R2_iv 6.012934e-04 (stored 6.012934e-04) mu 0.008589631 s_req 0.239190924 smin0-s_req 5.454e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 3.23e-04) | PASS  2.2s
rank   706 box  44787 L=[3, 3, 2, 2] K=[34, 1, 14, 10] stored bound 0.230053638 | R2_iv 1.151636e-03 (stored 1.151636e-03) mu 0.011883925 s_req 0.243035561 smin0-s_req 5.464e-05 | pivots>0: E1 True (min 1.33e-12) smin True (min 3.25e-04) | PASS  2.2s
rank   707 box  51514 L=[3, 3, 3, 2] K=[34, 3, 24, 16] stored bound 0.230053828 | R2_iv 8.543516e-04 (stored 8.543516e-04) mu 0.010608228 s_req 0.241462580 smin0-s_req 5.483e-05 | pivots>0: E1 True (min 6.76e-12) smin True (min 3.54e-04) | PASS  2.2s
rank   708 box  34899 L=[3, 2, 2, 2] K=[27, 2, 14, 22] stored bound 0.230053851 | R2_iv 1.790329e-03 (stored 1.790329e-03) mu 0.014358798 s_req 0.246149127 smin0-s_req 5.485e-05 | pivots>0: E1 True (min 7.22e-12) smin True (min 3.17e-04) | PASS  2.2s
rank   709 box  52095 L=[3, 3, 3, 2] K=[32, 9, 31, 16] stored bound 0.230053852 | R2_iv 8.523823e-04 (stored 8.523823e-04) mu 0.010560382 s_req 0.241412764 smin0-s_req 5.485e-05 | pivots>0: E1 True (min 7.06e-12) smin True (min 3.68e-04) | PASS  2.2s
rank   710 box  48752 L=[3, 3, 3, 2] K=[31, 7, 30, 12] stored bound 0.230053876 | R2_iv 8.523686e-04 (stored 8.523686e-04) mu 0.010590962 s_req 0.241443331 smin0-s_req 5.488e-05 | pivots>0: E1 True (min 7.29e-12) smin True (min 3.49e-04) | PASS  2.1s
rank   711 box  62672 L=[4, 3, 3, 3] K=[63, 0, 28, 32] stored bound 0.230053962 | R2_iv 4.399236e-04 (stored 4.399236e-04) mu 0.007193735 s_req 0.237633658 smin0-s_req 5.496e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 3.09e-04) | PASS  2.1s
rank   712 box  39713 L=[3, 3, 2, 2] K=[22, 12, 13, 15] stored bound 0.230054092 | R2_iv 1.143240e-03 (stored 1.143240e-03) mu 0.011806188 s_req 0.242949428 smin0-s_req 5.509e-05 | pivots>0: E1 True (min 1.10e-12) smin True (min 3.66e-04) | PASS  2.1s
rank   713 box  62486 L=[4, 3, 3, 3] K=[58, 1, 30, 33] stored bound 0.230054125 | R2_iv 4.395601e-04 (stored 4.395601e-04) mu 0.007192898 s_req 0.237632458 smin0-s_req 5.513e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 3.03e-04) | PASS  2.2s
rank   714 box  50338 L=[3, 3, 2, 3] K=[25, 10, 15, 35] stored bound 0.230054145 | R2_iv 8.516604e-04 (stored 8.516604e-04) mu 0.009926789 s_req 0.240778449 smin0-s_req 5.515e-05 | pivots>0: E1 True (min 4.16e-13) smin True (min 3.52e-04) | PASS  2.2s
rank   715 box  48162 L=[3, 3, 3, 2] K=[29, 4, 27, 11] stored bound 0.230054177 | R2_iv 8.536617e-04 (stored 8.536617e-04) mu 0.010638723 s_req 0.241492385 smin0-s_req 5.518e-05 | pivots>0: E1 True (min 7.55e-12) smin True (min 3.25e-04) | PASS  2.2s
rank   716 box  11592 L=[2, 1, 1, 1] K=[31, 5, 5, 6] stored bound 0.230054195 | R2_iv 7.873899e-03 (stored 7.873899e-03) mu 0.030453080 s_req 0.268326978 smin0-s_req 5.520e-05 | pivots>0: E1 True (min 5.29e-11) smin True (min 9.69e-04) | PASS  2.2s
rank   717 box  55814 L=[3, 3, 3, 3] K=[30, 6, 28, 33] stored bound 0.230054365 | R2_iv 5.998443e-04 (stored 5.998443e-04) mu 0.008567875 s_req 0.239167719 smin0-s_req 5.537e-05 | pivots>0: E1 True (min 3.52e-12) smin True (min 3.46e-04) | PASS  2.2s
rank   718 box  45036 L=[3, 3, 2, 2] K=[35, 5, 14, 12] stored bound 0.230054429 | R2_iv 1.148645e-03 (stored 1.148645e-03) mu 0.011802632 s_req 0.242951277 smin0-s_req 5.543e-05 | pivots>0: E1 True (min 1.18e-12) smin True (min 3.63e-04) | PASS  2.2s
rank   719 box  25604 L=[2, 2, 2, 2] K=[11, 3, 8, 13] stored bound 0.230054498 | R2_iv 2.464811e-03 (stored 2.464811e-03) mu 0.017175583 s_req 0.249640394 smin0-s_req 5.550e-05 | pivots>0: E1 True (min 1.29e-11) smin True (min 3.64e-04) | PASS  2.2s
rank   720 box  34805 L=[3, 2, 2, 2] K=[24, 0, 13, 20] stored bound 0.230054623 | R2_iv 1.797581e-03 (stored 1.797581e-03) mu 0.014419194 s_req 0.246216775 smin0-s_req 5.562e-05 | pivots>0: E1 True (min 6.92e-12) smin True (min 2.90e-04) | PASS  2.2s
rank   721 box  35907 L=[3, 2, 2, 2] K=[26, 4, 12, 20] stored bound 0.230054741 | R2_iv 1.787207e-03 (stored 1.787207e-03) mu 0.014320487 s_req 0.246107694 smin0-s_req 5.574e-05 | pivots>0: E1 True (min 6.72e-12) smin True (min 3.59e-04) | PASS  2.2s
rank   722 box  43467 L=[3, 3, 2, 2] K=[27, 8, 12, 18] stored bound 0.230054779 | R2_iv 1.144170e-03 (stored 1.144170e-03) mu 0.011800541 s_req 0.242944711 smin0-s_req 5.578e-05 | pivots>0: E1 True (min 1.03e-12) smin True (min 3.60e-04) | PASS  2.2s
rank   723 box  15571 L=[2, 2, 1, 1] K=[13, 1, 7, 14] stored bound 0.230054786 | R2_iv 4.714584e-03 (stored 4.714584e-03) mu 0.023725096 s_req 0.258439680 smin0-s_req 5.579e-05 | pivots>0: E1 True (min 4.82e-12) smin True (min 2.96e-04) | PASS  2.2s
rank   724 box  48683 L=[3, 3, 2, 3] K=[27, 7, 12, 31] stored bound 0.230054808 | R2_iv 8.525114e-04 (stored 8.525114e-04) mu 0.009925613 s_req 0.240778124 smin0-s_req 5.581e-05 | pivots>0: E1 True (min 3.97e-13) smin True (min 3.52e-04) | PASS  2.2s
rank   725 box  58286 L=[3, 3, 3, 3] K=[32, 5, 31, 28] stored bound 0.230054884 | R2_iv 6.002247e-04 (stored 6.002247e-04) mu 0.008569329 s_req 0.239169554 smin0-s_req 5.588e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 3.48e-04) | PASS  2.2s
rank   726 box   5882 L=[1, 1, 1, 1] K=[13, 6, 4, 5] stored bound 0.230054953 | R2_iv 1.075461e-02 (stored 1.075461e-02) mu 0.035372679 s_req 0.276127289 smin0-s_req 5.595e-05 | pivots>0: E1 True (min 6.55e-11) smin True (min 7.11e-04) | PASS  2.2s
rank   727 box  30813 L=[2, 2, 2, 2] K=[18, 4, 12, 18] stored bound 0.230055081 | R2_iv 2.468716e-03 (stored 2.468716e-03) mu 0.017027296 s_req 0.249496012 smin0-s_req 5.608e-05 | pivots>0: E1 True (min 1.11e-11) smin True (min 4.17e-04) | PASS  2.2s
rank   728 box  53141 L=[3, 3, 3, 3] K=[27, 4, 27, 28] stored bound 0.230055149 | R2_iv 6.002770e-04 (stored 6.002770e-04) mu 0.008589930 s_req 0.239190207 smin0-s_req 5.615e-05 | pivots>0: E1 True (min 3.63e-12) smin True (min 3.26e-04) | PASS  2.1s
rank   729 box  64598 L=[4, 3, 3, 3] K=[68, 0, 30, 32] stored bound 0.230055197 | R2_iv 4.400611e-04 (stored 4.400611e-04) mu 0.007189034 s_req 0.237629095 smin0-s_req 5.620e-05 | pivots>0: E1 True (min 2.13e-12) smin True (min 3.28e-04) | PASS  2.1s
rank   730 box  49041 L=[3, 3, 2, 3] K=[27, 6, 12, 33] stored bound 0.230055205 | R2_iv 8.528986e-04 (stored 8.528986e-04) mu 0.009933795 s_req 0.240786694 smin0-s_req 5.621e-05 | pivots>0: E1 True (min 4.01e-13) smin True (min 3.47e-04) | PASS  2.1s
rank   731 box  44808 L=[3, 3, 2, 2] K=[32, 4, 12, 11] stored bound 0.230055287 | R2_iv 1.147865e-03 (stored 1.147865e-03) mu 0.011831673 s_req 0.242979538 smin0-s_req 5.629e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 3.52e-04) | PASS  2.1s
rank   732 box  41995 L=[3, 3, 2, 2] K=[31, 4, 12, 19] stored bound 0.230055343 | R2_iv 1.147583e-03 (stored 1.147583e-03) mu 0.011833492 s_req 0.242981075 smin0-s_req 5.634e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 3.52e-04) | PASS  2.1s
rank   733 box  61570 L=[4, 3, 3, 3] K=[58, 4, 31, 31] stored bound 0.230055477 | R2_iv 4.385904e-04 (stored 4.385904e-04) mu 0.007171807 s_req 0.237610397 smin0-s_req 5.648e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 3.31e-04) | PASS  2.1s
rank   734 box   1651 L=[1, 1, 0, 1] K=[10, 4, 1, 9] stored bound 0.230055655 | R2_iv 1.489286e-02 (stored 1.489286e-02) mu 0.040173822 s_req 0.285066680 smin0-s_req 5.666e-05 | pivots>0: E1 True (min 7.01e-12) smin True (min 9.08e-04) | PASS  2.1s
rank   735 box  44238 L=[3, 3, 2, 2] K=[32, 2, 10, 13] stored bound 0.230055725 | R2_iv 1.149861e-03 (stored 1.149861e-03) mu 0.011859764 s_req 0.243009625 smin0-s_req 5.672e-05 | pivots>0: E1 True (min 1.29e-12) smin True (min 3.58e-04) | PASS  2.2s
rank   736 box  42810 L=[3, 3, 2, 2] K=[25, 8, 15, 11] stored bound 0.230055865 | R2_iv 1.144272e-03 (stored 1.144272e-03) mu 0.011807137 s_req 0.242951410 smin0-s_req 5.686e-05 | pivots>0: E1 True (min 1.09e-12) smin True (min 3.46e-04) | PASS  2.1s
rank   737 box  52057 L=[3, 3, 3, 2] K=[33, 8, 30, 15] stored bound 0.230055999 | R2_iv 8.527146e-04 (stored 8.527146e-04) mu 0.010560284 s_req 0.241412998 smin0-s_req 5.700e-05 | pivots>0: E1 True (min 7.16e-12) smin True (min 3.81e-04) | PASS  2.1s
rank   738 box  41255 L=[3, 3, 2, 2] K=[28, 2, 10, 16] stored bound 0.230056000 | R2_iv 1.149685e-03 (stored 1.149685e-03) mu 0.011860283 s_req 0.243009969 smin0-s_req 5.700e-05 | pivots>0: E1 True (min 1.21e-12) smin True (min 3.40e-04) | PASS  2.1s
rank   739 box  63800 L=[4, 3, 3, 3] K=[64, 1, 29, 29] stored bound 0.230056052 | R2_iv 4.395780e-04 (stored 4.395780e-04) mu 0.007190526 s_req 0.237630104 smin0-s_req 5.705e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 3.29e-04) | PASS  2.1s
rank   740 box  55785 L=[3, 3, 3, 3] K=[28, 7, 28, 32] stored bound 0.230056129 | R2_iv 5.995690e-04 (stored 5.995690e-04) mu 0.008568076 s_req 0.239167645 smin0-s_req 5.713e-05 | pivots>0: E1 True (min 3.57e-12) smin True (min 3.55e-04) | PASS  2.1s
rank   741 box  50084 L=[3, 3, 3, 2] K=[30, 8, 25, 15] stored bound 0.230056147 | R2_iv 8.520033e-04 (stored 8.520033e-04) mu 0.010584857 s_req 0.241436860 smin0-s_req 5.715e-05 | pivots>0: E1 True (min 7.48e-12) smin True (min 3.78e-04) | PASS  2.1s
rank   742 box  59621 L=[3, 3, 3, 3] K=[36, 0, 29, 33] stored bound 0.230056167 | R2_iv 6.021000e-04 (stored 6.021000e-04) mu 0.008588831 s_req 0.239190930 smin0-s_req 5.717e-05 | pivots>0: E1 True (min 3.78e-12) smin True (min 3.50e-04) | PASS  2.1s
rank   743 box  25868 L=[2, 2, 2, 2] K=[8, 3, 12, 14] stored bound 0.230056270 | R2_iv 2.470781e-03 (stored 2.470781e-03) mu 0.017165059 s_req 0.249635840 smin0-s_req 5.727e-05 | pivots>0: E1 True (min 1.27e-11) smin True (min 3.39e-04) | PASS  2.1s
rank   744 box  21474 L=[2, 2, 1, 2] K=[10, 11, 6, 18] stored bound 0.230056273 | R2_iv 3.509297e-03 (stored 3.509297e-03) mu 0.019957397 s_req 0.253466694 smin0-s_req 5.727e-05 | pivots>0: E1 True (min 1.78e-12) smin True (min 4.64e-04) | PASS  2.1s
rank   745 box  41603 L=[3, 3, 2, 2] K=[25, 5, 13, 11] stored bound 0.230056565 | R2_iv 1.146772e-03 (stored 1.146772e-03) mu 0.011840164 s_req 0.242986936 smin0-s_req 5.757e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 3.33e-04) | PASS  2.1s
rank   746 box  50318 L=[3, 3, 2, 3] K=[24, 10, 14, 32] stored bound 0.230056670 | R2_iv 8.516956e-04 (stored 8.516956e-04) mu 0.009923932 s_req 0.240775627 smin0-s_req 5.767e-05 | pivots>0: E1 True (min 4.09e-13) smin True (min 3.68e-04) | PASS  2.1s
rank   747 box  55841 L=[3, 3, 3, 3] K=[30, 7, 30, 33] stored bound 0.230056773 | R2_iv 5.996931e-04 (stored 5.996931e-04) mu 0.008561672 s_req 0.239161365 smin0-s_req 5.777e-05 | pivots>0: E1 True (min 3.52e-12) smin True (min 3.65e-04) | PASS  2.2s
rank   748 box  45733 L=[3, 3, 2, 2] K=[32, 6, 15, 20] stored bound 0.230057031 | R2_iv 1.146441e-03 (stored 1.146441e-03) mu 0.011803197 s_req 0.242949637 smin0-s_req 5.803e-05 | pivots>0: E1 True (min 1.10e-12) smin True (min 3.68e-04) | PASS  2.1s
rank   749 box  53749 L=[3, 3, 3, 3] K=[31, 1, 25, 28] stored bound 0.230057093 | R2_iv 6.012475e-04 (stored 6.012475e-04) mu 0.008600600 s_req 0.239201847 smin0-s_req 5.809e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 3.37e-04) | PASS  2.1s
rank   750 box  61203 L=[4, 3, 3, 3] K=[62, 1, 28, 31] stored bound 0.230057099 | R2_iv 4.395440e-04 (stored 4.395440e-04) mu 0.007187607 s_req 0.237627151 smin0-s_req 5.810e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 3.31e-04) | PASS  2.1s
rank   751 box  55163 L=[3, 3, 3, 3] K=[28, 2, 26, 33] stored bound 0.230057136 | R2_iv 6.009049e-04 (stored 6.009049e-04) mu 0.008593644 s_req 0.239194549 smin0-s_req 5.814e-05 | pivots>0: E1 True (min 3.72e-12) smin True (min 3.29e-04) | PASS  2.1s
rank   752 box  49052 L=[3, 3, 2, 3] K=[26, 7, 13, 35] stored bound 0.230057141 | R2_iv 8.524631e-04 (stored 8.524631e-04) mu 0.009934132 s_req 0.240786596 smin0-s_req 5.814e-05 | pivots>0: E1 True (min 4.10e-13) smin True (min 3.58e-04) | PASS  2.1s
rank   753 box  49501 L=[3, 3, 2, 3] K=[29, 3, 15, 40] stored bound 0.230057257 | R2_iv 8.546595e-04 (stored 8.546595e-04) mu 0.009962426 s_req 0.240817085 smin0-s_req 5.826e-05 | pivots>0: E1 True (min 4.28e-13) smin True (min 3.34e-04) | PASS  2.1s
rank   754 box  42070 L=[3, 3, 2, 2] K=[26, 2, 14, 20] stored bound 0.230057292 | R2_iv 1.150168e-03 (stored 1.150168e-03) mu 0.011878403 s_req 0.243028571 smin0-s_req 5.829e-05 | pivots>0: E1 True (min 1.20e-12) smin True (min 3.18e-04) | PASS  2.1s
rank   755 box  41035 L=[3, 3, 2, 2] K=[31, 7, 11, 15] stored bound 0.230057427 | R2_iv 1.145516e-03 (stored 1.145516e-03) mu 0.011785194 s_req 0.242930710 smin0-s_req 5.843e-05 | pivots>0: E1 True (min 1.03e-12) smin True (min 3.95e-04) | PASS  2.1s
rank   756 box  12019 L=[2, 2, 1, 1] K=[2, 11, 6, 7] stored bound 0.230057464 | R2_iv 4.754204e-03 (stored 4.754204e-03) mu 0.024110069 s_req 0.258864273 smin0-s_req 5.846e-05 | pivots>0: E1 True (min 8.01e-12) smin True (min 5.78e-04) | PASS  2.1s
rank   757 box  31913 L=[3, 2, 2, 2] K=[22, 2, 12, 11] stored bound 0.230057591 | R2_iv 1.792486e-03 (stored 1.792486e-03) mu 0.014375753 s_req 0.246168239 smin0-s_req 5.859e-05 | pivots>0: E1 True (min 6.60e-12) smin True (min 3.32e-04) | PASS  2.1s
rank   758 box  41176 L=[3, 3, 2, 2] K=[26, 6, 11, 17] stored bound 0.230057642 | R2_iv 1.145601e-03 (stored 1.145601e-03) mu 0.011821443 s_req 0.242967044 smin0-s_req 5.864e-05 | pivots>0: E1 True (min 1.07e-12) smin True (min 3.66e-04) | PASS  2.1s
rank   759 box  26522 L=[2, 2, 2, 2] K=[10, 4, 14, 9] stored bound 0.230057692 | R2_iv 2.464191e-03 (stored 2.464191e-03) mu 0.017125182 s_req 0.249589374 smin0-s_req 5.869e-05 | pivots>0: E1 True (min 1.44e-11) smin True (min 3.52e-04) | PASS  2.2s
rank   760 box  53353 L=[3, 3, 3, 3] K=[27, 7, 28, 30] stored bound 0.230057697 | R2_iv 5.995544e-04 (stored 5.995544e-04) mu 0.008572919 s_req 0.239172473 smin0-s_req 5.870e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 3.61e-04) | PASS  2.1s
rank   761 box  10053 L=[2, 1, 1, 1] K=[16, 3, 6, 1] stored bound 0.230057934 | R2_iv 7.461293e-03 (stored 7.461293e-03) mu 0.028196572 s_req 0.265657865 smin0-s_req 5.893e-05 | pivots>0: E1 True (min 1.99e-11) smin True (min 4.13e-04) | PASS  2.1s
rank   762 box  61780 L=[4, 3, 3, 3] K=[60, 4, 31, 31] stored bound 0.230057941 | R2_iv 4.386105e-04 (stored 4.386105e-04) mu 0.007169323 s_req 0.237607934 smin0-s_req 5.894e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 3.50e-04) | PASS  2.1s
rank   763 box  52874 L=[3, 3, 3, 3] K=[26, 0, 31, 30] stored bound 0.230057943 | R2_iv 6.019551e-04 (stored 6.019551e-04) mu 0.008601828 s_req 0.239203783 smin0-s_req 5.894e-05 | pivots>0: E1 True (min 3.53e-12) smin True (min 3.06e-04) | PASS  2.1s
rank   764 box  30025 L=[2, 2, 2, 2] K=[19, 0, 11, 20] stored bound 0.230058001 | R2_iv 2.474857e-03 (stored 2.474857e-03) mu 0.017182656 s_req 0.249657514 smin0-s_req 5.900e-05 | pivots>0: E1 True (min 1.34e-11) smin True (min 4.07e-04) | PASS  2.1s
rank   765 box  48985 L=[3, 3, 2, 3] K=[24, 4, 13, 32] stored bound 0.230058035 | R2_iv 8.540325e-04 (stored 8.540325e-04) mu 0.009947233 s_req 0.240801265 smin0-s_req 5.903e-05 | pivots>0: E1 True (min 3.84e-13) smin True (min 3.35e-04) | PASS  2.1s
rank   766 box  64491 L=[4, 3, 3, 3] K=[65, 2, 31, 33] stored bound 0.230058078 | R2_iv 4.392925e-04 (stored 4.392925e-04) mu 0.007179057 s_req 0.237618349 smin0-s_req 5.908e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 3.49e-04) | PASS  2.1s
rank   767 box  11748 L=[2, 1, 1, 1] K=[31, 6, 4, 6] stored bound 0.230058116 | R2_iv 7.933013e-03 (stored 7.933013e-03) mu 0.030873498 s_req 0.268806511 smin0-s_req 5.912e-05 | pivots>0: E1 True (min 5.56e-11) smin True (min 1.02e-03) | PASS  2.2s
rank   768 box  24978 L=[2, 2, 2, 2] K=[7, 6, 15, 18] stored bound 0.230058355 | R2_iv 2.467260e-03 (stored 2.467260e-03) mu 0.017164243 s_req 0.249631503 smin0-s_req 5.935e-05 | pivots>0: E1 True (min 1.57e-11) smin True (min 3.97e-04) | PASS  2.2s
rank   769 box  51626 L=[3, 3, 3, 2] K=[34, 5, 26, 16] stored bound 0.230058416 | R2_iv 8.535227e-04 (stored 8.535227e-04) mu 0.010583952 s_req 0.241437474 smin0-s_req 5.942e-05 | pivots>0: E1 True (min 6.75e-12) smin True (min 3.91e-04) | PASS  2.2s
rank   770 box  57781 L=[3, 3, 3, 3] K=[34, 2, 27, 30] stored bound 0.230058438 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008579294 s_req 0.239180474 smin0-s_req 5.944e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 3.67e-04) | PASS  2.2s
rank   771 box  59652 L=[3, 3, 3, 3] K=[36, 1, 31, 32] stored bound 0.230058445 | R2_iv 6.017909e-04 (stored 6.017909e-04) mu 0.008576276 s_req 0.239178067 smin0-s_req 5.944e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 3.69e-04) | PASS  2.2s
rank   772 box  20125 L=[2, 2, 2, 1] K=[5, 10, 13, 6] stored bound 0.230058588 | R2_iv 3.509010e-03 (stored 3.509010e-03) mu 0.021372318 s_req 0.254881328 smin0-s_req 5.959e-05 | pivots>0: E1 True (min 4.24e-11) smin True (min 4.96e-04) | PASS  2.2s
rank   773 box   5776 L=[1, 1, 1, 1] K=[12, 4, 6, 5] stored bound 0.230058632 | R2_iv 1.058653e-02 (stored 1.058653e-02) mu 0.034089507 s_req 0.274676038 smin0-s_req 5.963e-05 | pivots>0: E1 True (min 4.08e-11) smin True (min 6.04e-04) | PASS  2.2s
rank   774 box  48040 L=[3, 3, 2, 3] K=[30, 0, 13, 23] stored bound 0.230058638 | R2_iv 8.569393e-04 (stored 8.569393e-04) mu 0.009989619 s_req 0.240846559 smin0-s_req 5.964e-05 | pivots>0: E1 True (min 3.90e-13) smin True (min 3.28e-04) | PASS  2.1s
rank   775 box    300 L=[1, 1, 0, 0] K=[11, 5, 0, 3] stored bound 0.230058646 | R2_iv 2.031405e-02 (stored 2.031405e-02) mu 0.048635879 s_req 0.298949932 smin0-s_req 5.965e-05 | pivots>0: E1 True (min 4.21e-11) smin True (min 3.92e-03) | PASS  2.1s
rank   776 box  33204 L=[3, 2, 2, 2] K=[23, 7, 14, 19] stored bound 0.230058738 | R2_iv 1.786559e-03 (stored 1.786559e-03) mu 0.014299760 s_req 0.246086319 smin0-s_req 5.974e-05 | pivots>0: E1 True (min 6.88e-12) smin True (min 4.12e-04) | PASS  2.1s
rank   777 box  62596 L=[4, 3, 3, 3] K=[59, 3, 30, 33] stored bound 0.230058755 | R2_iv 4.388741e-04 (stored 4.388741e-04) mu 0.007178873 s_req 0.237617747 smin0-s_req 5.976e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 3.45e-04) | PASS  2.1s
rank   778 box  43475 L=[3, 3, 2, 2] K=[27, 8, 13, 19] stored bound 0.230058892 | R2_iv 1.144170e-03 (stored 1.144170e-03) mu 0.011800442 s_req 0.242944612 smin0-s_req 5.989e-05 | pivots>0: E1 True (min 1.04e-12) smin True (min 3.79e-04) | PASS  2.1s
rank   779 box  34106 L=[3, 2, 2, 2] K=[30, 3, 10, 11] stored bound 0.230059089 | R2_iv 1.788878e-03 (stored 1.788878e-03) mu 0.014319677 s_req 0.246108555 smin0-s_req 6.009e-05 | pivots>0: E1 True (min 7.81e-12) smin True (min 4.00e-04) | PASS  2.1s
rank   780 box  57631 L=[3, 3, 3, 3] K=[33, 0, 25, 29] stored bound 0.230059095 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008600801 s_req 0.239202528 smin0-s_req 6.010e-05 | pivots>0: E1 True (min 3.72e-12) smin True (min 3.54e-04) | PASS  2.1s
rank   781 box  18135 L=[2, 2, 1, 1] K=[17, 13, 7, 7] stored bound 0.230059172 | R2_iv 4.791489e-03 (stored 4.791489e-03) mu 0.024091228 s_req 0.258882718 smin0-s_req 6.017e-05 | pivots>0: E1 True (min 7.32e-12) smin True (min 4.95e-04) | PASS  2.2s
rank   782 box  37902 L=[3, 2, 2, 2] K=[33, 6, 14, 16] stored bound 0.230059478 | R2_iv 1.790591e-03 (stored 1.790591e-03) mu 0.014217909 s_req 0.246008500 smin0-s_req 6.048e-05 | pivots>0: E1 True (min 6.46e-12) smin True (min 4.37e-04) | PASS  2.1s
rank   783 box   4827 L=[1, 1, 1, 1] K=[9, 7, 4, 4] stored bound 0.230059549 | R2_iv 1.058578e-02 (stored 1.058578e-02) mu 0.034482908 s_req 0.275068692 smin0-s_req 6.055e-05 | pivots>0: E1 True (min 4.20e-11) smin True (min 6.03e-04) | PASS  2.1s
rank   784 box  53349 L=[3, 3, 3, 3] K=[27, 7, 30, 28] stored bound 0.230059948 | R2_iv 5.995544e-04 (stored 5.995544e-04) mu 0.008575114 s_req 0.239174669 smin0-s_req 6.095e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 3.72e-04) | PASS  2.1s
rank   785 box   9636 L=[2, 1, 1, 1] K=[18, 1, 1, 5] stored bound 0.230060039 | R2_iv 7.473320e-03 (stored 7.473320e-03) mu 0.028572560 s_req 0.266045880 smin0-s_req 6.104e-05 | pivots>0: E1 True (min 3.19e-11) smin True (min 6.29e-04) | PASS  2.1s
rank   786 box  50074 L=[3, 3, 3, 2] K=[29, 10, 27, 15] stored bound 0.230060109 | R2_iv 8.516349e-04 (stored 8.516349e-04) mu 0.010577507 s_req 0.241429142 smin0-s_req 6.111e-05 | pivots>0: E1 True (min 7.56e-12) smin True (min 4.08e-04) | PASS  2.1s
rank   787 box   8041 L=[2, 1, 1, 1] K=[11, 3, 0, 9] stored bound 0.230060120 | R2_iv 7.443970e-03 (stored 7.443970e-03) mu 0.028626145 s_req 0.266070115 smin0-s_req 6.112e-05 | pivots>0: E1 True (min 2.59e-11) smin True (min 6.39e-04) | PASS  2.2s
rank   788 box  53261 L=[3, 3, 3, 3] K=[25, 4, 29, 31] stored bound 0.230060333 | R2_iv 6.004372e-04 (stored 6.004372e-04) mu 0.008586172 s_req 0.239186609 smin0-s_req 6.133e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 3.47e-04) | PASS  2.1s
rank   789 box  53004 L=[3, 3, 3, 3] K=[27, 4, 28, 27] stored bound 0.230060404 | R2_iv 6.002770e-04 (stored 6.002770e-04) mu 0.008591023 s_req 0.239191300 smin0-s_req 6.140e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 3.54e-04) | PASS  2.1s
rank   790 box  43750 L=[3, 3, 2, 2] K=[31, 11, 14, 16] stored bound 0.230060513 | R2_iv 1.144766e-03 (stored 1.144766e-03) mu 0.011755989 s_req 0.242900755 smin0-s_req 6.151e-05 | pivots>0: E1 True (min 1.01e-12) smin True (min 4.24e-04) | PASS  2.1s
rank   791 box  45206 L=[3, 3, 2, 2] K=[36, 5, 14, 13] stored bound 0.230060566 | R2_iv 1.149356e-03 (stored 1.149356e-03) mu 0.011794865 s_req 0.242944222 smin0-s_req 6.157e-05 | pivots>0: E1 True (min 1.19e-12) smin True (min 4.12e-04) | PASS  2.1s
rank   792 box  50609 L=[3, 3, 3, 2] K=[29, 11, 30, 16] stored bound 0.230060584 | R2_iv 8.516675e-04 (stored 8.516675e-04) mu 0.010571503 s_req 0.241423170 smin0-s_req 6.158e-05 | pivots>0: E1 True (min 7.22e-12) smin True (min 4.13e-04) | PASS  2.1s
rank   793 box  35965 L=[3, 2, 2, 2] K=[25, 6, 14, 20] stored bound 0.230060694 | R2_iv 1.786279e-03 (stored 1.786279e-03) mu 0.014289593 s_req 0.246075872 smin0-s_req 6.169e-05 | pivots>0: E1 True (min 6.70e-12) smin True (min 4.13e-04) | PASS  2.1s
rank   794 box  51081 L=[3, 3, 3, 2] K=[34, 0, 24, 12] stored bound 0.230060711 | R2_iv 8.563867e-04 (stored 8.563867e-04) mu 0.010664048 s_req 0.241520434 smin0-s_req 6.171e-05 | pivots>0: E1 True (min 7.55e-12) smin True (min 3.71e-04) | PASS  2.1s
rank   795 box  52875 L=[3, 3, 3, 3] K=[26, 0, 30, 31] stored bound 0.230060713 | R2_iv 6.019551e-04 (stored 6.019551e-04) mu 0.008598648 s_req 0.239200603 smin0-s_req 6.171e-05 | pivots>0: E1 True (min 3.47e-12) smin True (min 3.21e-04) | PASS  2.1s
rank   796 box  22441 L=[2, 2, 2, 1] K=[15, 4, 6, 8] stored bound 0.230060902 | R2_iv 3.497314e-03 (stored 3.497314e-03) mu 0.021162532 s_req 0.254659846 smin0-s_req 6.190e-05 | pivots>0: E1 True (min 2.36e-11) smin True (min 5.23e-04) | PASS  2.1s
rank   797 box  12778 L=[2, 2, 1, 1] K=[4, 5, 7, 8] stored bound 0.230060904 | R2_iv 4.744032e-03 (stored 4.744032e-03) mu 0.023774014 s_req 0.258518046 smin0-s_req 6.190e-05 | pivots>0: E1 True (min 4.83e-12) smin True (min 4.18e-04) | PASS  2.1s
rank   798 box  62791 L=[4, 3, 3, 3] K=[61, 3, 30, 33] stored bound 0.230060938 | R2_iv 4.388941e-04 (stored 4.388941e-04) mu 0.007176670 s_req 0.237615564 smin0-s_req 6.194e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 3.63e-04) | PASS  2.1s
rank   799 box  37439 L=[3, 2, 2, 2] K=[38, 0, 13, 20] stored bound 0.230060958 | R2_iv 1.798708e-03 (stored 1.798708e-03) mu 0.014382032 s_req 0.246180740 smin0-s_req 6.196e-05 | pivots>0: E1 True (min 8.15e-12) smin True (min 4.04e-04) | PASS  2.1s
rank   800 box  11746 L=[2, 1, 1, 1] K=[28, 7, 4, 6] stored bound 0.230061042 | R2_iv 7.889293e-03 (stored 7.889293e-03) mu 0.030814490 s_req 0.268703783 smin0-s_req 6.204e-05 | pivots>0: E1 True (min 4.95e-11) smin True (min 8.13e-04) | PASS  2.1s
rank   801 box  13001 L=[2, 2, 1, 1] K=[6, 8, 4, 8] stored bound 0.230061053 | R2_iv 4.710782e-03 (stored 4.710782e-03) mu 0.023784209 s_req 0.258494990 smin0-s_req 6.205e-05 | pivots>0: E1 True (min 5.00e-12) smin True (min 5.13e-04) | PASS  2.1s
rank   802 box  21820 L=[2, 2, 1, 2] K=[12, 1, 3, 11] stored bound 0.230061160 | R2_iv 3.509186e-03 (stored 3.509186e-03) mu 0.019897656 s_req 0.253406842 smin0-s_req 6.216e-05 | pivots>0: E1 True (min 1.47e-12) smin True (min 3.89e-04) | PASS  2.1s
rank   803 box  64401 L=[4, 3, 3, 3] K=[66, 1, 30, 33] stored bound 0.230061200 | R2_iv 4.396401e-04 (stored 4.396401e-04) mu 0.007185743 s_req 0.237625383 smin0-s_req 6.220e-05 | pivots>0: E1 True (min 2.06e-12) smin True (min 3.64e-04) | PASS  2.1s
rank   804 box  42194 L=[3, 3, 2, 2] K=[28, 3, 13, 20] stored bound 0.230061236 | R2_iv 1.148425e-03 (stored 1.148425e-03) mu 0.011858542 s_req 0.243006967 smin0-s_req 6.224e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 3.59e-04) | PASS  2.2s
rank   805 box  57974 L=[3, 3, 3, 3] K=[34, 3, 29, 29] stored bound 0.230061360 | R2_iv 6.009243e-04 (stored 6.009243e-04) mu 0.008574218 s_req 0.239175143 smin0-s_req 6.236e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 3.88e-04) | PASS  2.1s
rank   806 box  64488 L=[4, 3, 3, 3] K=[65, 2, 30, 32] stored bound 0.230061378 | R2_iv 4.392925e-04 (stored 4.392925e-04) mu 0.007176552 s_req 0.237615844 smin0-s_req 6.238e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 3.69e-04) | PASS  2.1s
rank   807 box  50872 L=[3, 3, 3, 2] K=[33, 1, 23, 17] stored bound 0.230061486 | R2_iv 8.555821e-04 (stored 8.555821e-04) mu 0.010648511 s_req 0.241504093 smin0-s_req 6.249e-05 | pivots>0: E1 True (min 6.88e-12) smin True (min 3.85e-04) | PASS  2.1s
rank   808 box  34257 L=[3, 2, 2, 2] K=[30, 3, 9, 13] stored bound 0.230061521 | R2_iv 1.788878e-03 (stored 1.788878e-03) mu 0.014318609 s_req 0.246107487 smin0-s_req 6.252e-05 | pivots>0: E1 True (min 7.75e-12) smin True (min 4.33e-04) | PASS  2.1s
rank   809 box  53721 L=[3, 3, 3, 3] K=[28, 2, 26, 28] stored bound 0.230061533 | R2_iv 6.009049e-04 (stored 6.009049e-04) mu 0.008598797 s_req 0.239199702 smin0-s_req 6.253e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 3.53e-04) | PASS  2.1s
rank   810 box   4356 L=[1, 1, 1, 1] K=[7, 6, 5, 2] stored bound 0.230061772 | R2_iv 1.046559e-02 (stored 1.046559e-02) mu 0.033633345 s_req 0.274098930 smin0-s_req 6.277e-05 | pivots>0: E1 True (min 2.67e-11) smin True (min 5.21e-04) | PASS  2.1s
rank   811 box  11637 L=[2, 1, 1, 1] K=[29, 5, 6, 7] stored bound 0.230061773 | R2_iv 7.803321e-03 (stored 7.803321e-03) mu 0.030050620 s_req 0.267853942 smin0-s_req 6.277e-05 | pivots>0: E1 True (min 4.21e-11) smin True (min 8.94e-04) | PASS  2.1s
rank   812 box  55424 L=[3, 3, 3, 3] K=[28, 2, 30, 37] stored bound 0.230061793 | R2_iv 6.009049e-04 (stored 6.009049e-04) mu 0.008601419 s_req 0.239202324 smin0-s_req 6.279e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 3.49e-04) | PASS  2.1s
rank   813 box  13864 L=[2, 2, 1, 1] K=[11, 3, 7, 13] stored bound 0.230061856 | R2_iv 4.701919e-03 (stored 4.701919e-03) mu 0.023621762 s_req 0.258323681 smin0-s_req 6.286e-05 | pivots>0: E1 True (min 4.08e-12) smin True (min 3.54e-04) | PASS  2.1s
rank   814 box  14338 L=[2, 2, 1, 1] K=[8, 7, 6, 11] stored bound 0.230062065 | R2_iv 4.698347e-03 (stored 4.698347e-03) mu 0.023642310 s_req 0.258340658 smin0-s_req 6.306e-05 | pivots>0: E1 True (min 4.58e-12) smin True (min 4.37e-04) | PASS  2.1s
rank   815 box  23320 L=[2, 2, 2, 1] K=[16, 2, 5, 6] stored bound 0.230062357 | R2_iv 3.503048e-03 (stored 3.503048e-03) mu 0.021220419 s_req 0.254723466 smin0-s_req 6.336e-05 | pivots>0: E1 True (min 2.68e-11) smin True (min 5.13e-04) | PASS  2.1s
rank   816 box  61208 L=[4, 3, 3, 3] K=[61, 0, 31, 28] stored bound 0.230062424 | R2_iv 4.399176e-04 (stored 4.399176e-04) mu 0.007203127 s_req 0.237643045 smin0-s_req 6.342e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 3.48e-04) | PASS  2.1s
rank   817 box  37877 L=[3, 2, 2, 2] K=[35, 5, 15, 17] stored bound 0.230062621 | R2_iv 1.791855e-03 (stored 1.791855e-03) mu 0.014219015 s_req 0.246010870 smin0-s_req 6.362e-05 | pivots>0: E1 True (min 6.65e-12) smin True (min 4.55e-04) | PASS  2.1s
rank   818 box  55314 L=[3, 3, 3, 3] K=[31, 0, 27, 36] stored bound 0.230062676 | R2_iv 6.016356e-04 (stored 6.016356e-04) mu 0.008609417 s_req 0.239211052 smin0-s_req 6.368e-05 | pivots>0: E1 True (min 3.81e-12) smin True (min 3.58e-04) | PASS  2.1s
rank   819 box  59122 L=[3, 3, 3, 3] K=[33, 2, 31, 37] stored bound 0.230062778 | R2_iv 6.010562e-04 (stored 6.010562e-04) mu 0.008592066 s_req 0.239193122 smin0-s_req 6.378e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 3.81e-04) | PASS  2.1s
rank   820 box  27628 L=[2, 2, 2, 2] K=[14, 0, 7, 17] stored bound 0.230063089 | R2_iv 2.470778e-03 (stored 2.470778e-03) mu 0.017212010 s_req 0.249682788 smin0-s_req 6.409e-05 | pivots>0: E1 True (min 1.36e-11) smin True (min 4.07e-04) | PASS  2.1s
rank   821 box   8256 L=[2, 1, 1, 1] K=[11, 3, 6, 14] stored bound 0.230063114 | R2_iv 7.443970e-03 (stored 7.443970e-03) mu 0.028350953 s_req 0.265794923 smin0-s_req 6.411e-05 | pivots>0: E1 True (min 2.05e-11) smin True (min 4.15e-04) | PASS  2.1s
rank   822 box  61159 L=[4, 3, 3, 3] K=[57, 3, 31, 30] stored bound 0.230063208 | R2_iv 4.388822e-04 (stored 4.388822e-04) mu 0.007180943 s_req 0.237619825 smin0-s_req 6.421e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 3.66e-04) | PASS  2.1s
rank   823 box  35854 L=[3, 2, 2, 2] K=[30, 7, 14, 17] stored bound 0.230063269 | R2_iv 1.789133e-03 (stored 1.789133e-03) mu 0.014236266 s_req 0.246025398 smin0-s_req 6.427e-05 | pivots>0: E1 True (min 6.45e-12) smin True (min 4.63e-04) | PASS  2.1s
rank   824 box  55381 L=[3, 3, 3, 3] K=[29, 1, 29, 37] stored bound 0.230063281 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008606516 s_req 0.239207766 smin0-s_req 6.428e-05 | pivots>0: E1 True (min 3.78e-12) smin True (min 3.56e-04) | PASS  2.1s
rank   825 box  43381 L=[3, 3, 2, 2] K=[28, 13, 14, 15] stored bound 0.230063468 | R2_iv 1.143677e-03 (stored 1.143677e-03) mu 0.011765052 s_req 0.242908729 smin0-s_req 6.447e-05 | pivots>0: E1 True (min 1.04e-12) smin True (min 4.46e-04) | PASS  2.1s
rank   826 box  58078 L=[3, 3, 3, 3] K=[32, 4, 27, 29] stored bound 0.230063486 | R2_iv 6.004287e-04 (stored 6.004287e-04) mu 0.008574585 s_req 0.239175013 smin0-s_req 6.449e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 3.99e-04) | PASS  2.1s
rank   827 box  24381 L=[2, 2, 2, 1] K=[22, 0, 13, 5] stored bound 0.230063508 | R2_iv 3.527955e-03 (stored 3.527955e-03) mu 0.021119854 s_req 0.254647809 smin0-s_req 6.451e-05 | pivots>0: E1 True (min 2.92e-11) smin True (min 4.89e-04) | PASS  2.2s
rank   828 box  10206 L=[2, 1, 1, 1] K=[16, 5, 5, 10] stored bound 0.230063529 | R2_iv 7.502852e-03 (stored 7.502852e-03) mu 0.028294058 s_req 0.265796910 smin0-s_req 6.453e-05 | pivots>0: E1 True (min 2.94e-11) smin True (min 5.75e-04) | PASS  2.1s
rank   829 box  20731 L=[2, 2, 1, 2] K=[9, 0, 7, 10] stored bound 0.230063573 | R2_iv 3.523503e-03 (stored 3.523503e-03) mu 0.019946175 s_req 0.253469677 smin0-s_req 6.457e-05 | pivots>0: E1 True (min 1.53e-12) smin True (min 3.20e-04) | PASS  2.1s
rank   830 box   8787 L=[2, 1, 1, 1] K=[14, 1, 1, 11] stored bound 0.230063687 | R2_iv 7.455808e-03 (stored 7.455808e-03) mu 0.028678248 s_req 0.266134056 smin0-s_req 6.469e-05 | pivots>0: E1 True (min 2.55e-11) smin True (min 5.46e-04) | PASS  2.1s
rank   831 box  15412 L=[2, 2, 1, 1] K=[12, 1, 5, 2] stored bound 0.230063729 | R2_iv 4.717502e-03 (stored 4.717502e-03) mu 0.023748982 s_req 0.258466483 smin0-s_req 6.473e-05 | pivots>0: E1 True (min 4.50e-12) smin True (min 3.54e-04) | PASS  2.1s
rank   832 box  47430 L=[3, 3, 3, 2] K=[31, 0, 23, 12] stored bound 0.230063815 | R2_iv 8.566483e-04 (stored 8.566483e-04) mu 0.010683017 s_req 0.241539665 smin0-s_req 6.482e-05 | pivots>0: E1 True (min 7.27e-12) smin True (min 3.73e-04) | PASS  2.1s
rank   833 box  34301 L=[3, 2, 2, 2] K=[24, 0, 10, 16] stored bound 0.230063998 | R2_iv 1.797581e-03 (stored 1.797581e-03) mu 0.014392942 s_req 0.246190523 smin0-s_req 6.500e-05 | pivots>0: E1 True (min 6.84e-12) smin True (min 3.56e-04) | PASS  2.1s
rank   834 box  63128 L=[4, 3, 3, 3] K=[58, 4, 31, 32] stored bound 0.230064106 | R2_iv 4.385904e-04 (stored 4.385904e-04) mu 0.007171771 s_req 0.237610362 smin0-s_req 6.511e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 3.81e-04) | PASS  2.1s
rank   835 box  35460 L=[3, 2, 2, 2] K=[28, 4, 11, 19] stored bound 0.230064257 | R2_iv 1.787370e-03 (stored 1.787370e-03) mu 0.014310808 s_req 0.246098178 smin0-s_req 6.526e-05 | pivots>0: E1 True (min 6.62e-12) smin True (min 4.39e-04) | PASS  2.1s
rank   836 box  49374 L=[3, 3, 3, 2] K=[29, 7, 29, 19] stored bound 0.230064326 | R2_iv 8.521723e-04 (stored 8.521723e-04) mu 0.010606697 s_req 0.241458869 smin0-s_req 6.533e-05 | pivots>0: E1 True (min 7.15e-12) smin True (min 4.08e-04) | PASS  2.1s
rank   837 box  55198 L=[3, 3, 3, 3] K=[31, 0, 25, 33] stored bound 0.230064360 | R2_iv 6.016356e-04 (stored 6.016356e-04) mu 0.008601006 s_req 0.239202642 smin0-s_req 6.536e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 3.73e-04) | PASS  2.1s
rank   838 box  55145 L=[3, 3, 3, 3] K=[29, 1, 26, 34] stored bound 0.230064379 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008600434 s_req 0.239201684 smin0-s_req 6.538e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 3.67e-04) | PASS  2.1s
rank   839 box  54918 L=[3, 3, 3, 3] K=[25, 6, 30, 33] stored bound 0.230064422 | R2_iv 5.998504e-04 (stored 5.998504e-04) mu 0.008581698 s_req 0.239181548 smin0-s_req 6.542e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 3.85e-04) | PASS  2.2s
rank   840 box   7842 L=[2, 1, 1, 1] K=[9, 0, 3, 10] stored bound 0.230064452 | R2_iv 7.503886e-03 (stored 7.503886e-03) mu 0.028795431 s_req 0.266299318 smin0-s_req 6.545e-05 | pivots>0: E1 True (min 2.29e-11) smin True (min 3.80e-04) | PASS  2.2s
rank   841 box  48871 L=[3, 3, 2, 3] K=[27, 0, 13, 36] stored bound 0.230064465 | R2_iv 8.566925e-04 (stored 8.566925e-04) mu 0.009981699 s_req 0.240838391 smin0-s_req 6.547e-05 | pivots>0: E1 True (min 3.85e-13) smin True (min 3.49e-04) | PASS  2.2s
rank   842 box  61161 L=[4, 3, 3, 3] K=[57, 3, 30, 31] stored bound 0.230064470 | R2_iv 4.388822e-04 (stored 4.388822e-04) mu 0.007178847 s_req 0.237617729 smin0-s_req 6.547e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 3.74e-04) | PASS  2.2s
rank   843 box  62723 L=[4, 3, 3, 3] K=[62, 0, 31, 35] stored bound 0.230064565 | R2_iv 4.399171e-04 (stored 4.399171e-04) mu 0.007202371 s_req 0.237642288 smin0-s_req 6.557e-05 | pivots>0: E1 True (min 2.00e-12) smin True (min 3.63e-04) | PASS  2.2s
rank   844 box  63844 L=[4, 3, 3, 3] K=[65, 0, 31, 28] stored bound 0.230064992 | R2_iv 4.399576e-04 (stored 4.399576e-04) mu 0.007200042 s_req 0.237640000 smin0-s_req 6.599e-05 | pivots>0: E1 True (min 2.07e-12) smin True (min 3.74e-04) | PASS  2.2s
rank   845 box  58572 L=[3, 3, 3, 3] K=[36, 0, 29, 29] stored bound 0.230065051 | R2_iv 6.021000e-04 (stored 6.021000e-04) mu 0.008591940 s_req 0.239194040 smin0-s_req 6.605e-05 | pivots>0: E1 True (min 3.85e-12) smin True (min 4.03e-04) | PASS  2.2s
rank   846 box  41602 L=[3, 3, 2, 2] K=[25, 4, 13, 11] stored bound 0.230065080 | R2_iv 1.147890e-03 (stored 1.147890e-03) mu 0.011853600 s_req 0.243001490 smin0-s_req 6.608e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 3.74e-04) | PASS  2.2s
rank   847 box  48699 L=[3, 3, 2, 3] K=[29, 3, 12, 25] stored bound 0.230065174 | R2_iv 8.546595e-04 (stored 8.546595e-04) mu 0.009953771 s_req 0.240808430 smin0-s_req 6.617e-05 | pivots>0: E1 True (min 3.87e-13) smin True (min 3.89e-04) | PASS  2.2s
rank   848 box   3938 L=[1, 1, 1, 1] K=[5, 7, 3, 5] stored bound 0.230065199 | R2_iv 1.047270e-02 (stored 1.047270e-02) mu 0.034176738 s_req 0.274649440 smin0-s_req 6.620e-05 | pivots>0: E1 True (min 4.75e-11) smin True (min 7.65e-04) | PASS  2.2s
rank   849 box  53245 L=[3, 3, 3, 3] K=[25, 4, 31, 29] stored bound 0.230065251 | R2_iv 6.004372e-04 (stored 6.004372e-04) mu 0.008590249 s_req 0.239190687 smin0-s_req 6.625e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 3.73e-04) | PASS  2.2s
rank   850 box  15941 L=[2, 2, 1, 1] K=[13, 5, 4, 3] stored bound 0.230065467 | R2_iv 4.689868e-03 (stored 4.689868e-03) mu 0.023525524 s_req 0.258215391 smin0-s_req 6.647e-05 | pivots>0: E1 True (min 4.24e-12) smin True (min 4.68e-04) | PASS  2.2s
rank   851 box    957 L=[1, 1, 0, 1] K=[3, 0, 0, 4] stored bound 0.230065496 | R2_iv 1.487361e-02 (stored 1.487361e-02) mu 0.039723124 s_req 0.284596732 smin0-s_req 6.650e-05 | pivots>0: E1 True (min 6.45e-12) smin True (min 4.02e-04) | PASS  2.2s
rank   852 box  29862 L=[2, 2, 2, 2] K=[16, 3, 8, 16] stored bound 0.230065516 | R2_iv 2.465081e-03 (stored 2.465081e-03) mu 0.017107910 s_req 0.249572990 smin0-s_req 6.652e-05 | pivots>0: E1 True (min 1.20e-11) smin True (min 5.06e-04) | PASS  2.2s
rank   853 box  48104 L=[3, 3, 2, 3] K=[28, 2, 14, 23] stored bound 0.230065706 | R2_iv 8.551954e-04 (stored 8.551954e-04) mu 0.009966750 s_req 0.240821945 smin0-s_req 6.671e-05 | pivots>0: E1 True (min 4.33e-13) smin True (min 3.71e-04) | PASS  2.2s
rank   854 box  39575 L=[3, 3, 2, 2] K=[23, 10, 15, 12] stored bound 0.230065738 | R2_iv 1.143615e-03 (stored 1.143615e-03) mu 0.011803667 s_req 0.242947283 smin0-s_req 6.674e-05 | pivots>0: E1 True (min 1.09e-12) smin True (min 4.19e-04) | PASS  2.2s
rank   855 box  42986 L=[3, 3, 2, 2] K=[25, 10, 13, 12] stored bound 0.230065783 | R2_iv 1.143321e-03 (stored 1.143321e-03) mu 0.011792185 s_req 0.242935506 smin0-s_req 6.678e-05 | pivots>0: E1 True (min 1.11e-12) smin True (min 4.30e-04) | PASS  2.2s
rank   856 box  64407 L=[4, 3, 3, 3] K=[64, 0, 31, 35] stored bound 0.230065831 | R2_iv 4.399371e-04 (stored 4.399371e-04) mu 0.007200847 s_req 0.237640784 smin0-s_req 6.683e-05 | pivots>0: E1 True (min 2.05e-12) smin True (min 3.76e-04) | PASS  2.2s
rank   857 box  41384 L=[3, 3, 2, 2] K=[29, 4, 11, 18] stored bound 0.230065884 | R2_iv 1.147304e-03 (stored 1.147304e-03) mu 0.011836866 s_req 0.242984170 smin0-s_req 6.688e-05 | pivots>0: E1 True (min 1.11e-12) smin True (min 4.14e-04) | PASS  2.2s
rank   858 box  62536 L=[4, 3, 3, 3] K=[59, 0, 31, 34] stored bound 0.230065885 | R2_iv 4.399397e-04 (stored 4.399397e-04) mu 0.007201912 s_req 0.237641851 smin0-s_req 6.689e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 3.62e-04) | PASS  2.2s
rank   859 box  45521 L=[3, 3, 2, 2] K=[37, 4, 14, 17] stored bound 0.230065914 | R2_iv 1.150705e-03 (stored 1.150705e-03) mu 0.011803624 s_req 0.242954329 smin0-s_req 6.691e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 4.50e-04) | PASS  2.2s
rank   860 box  55185 L=[3, 3, 3, 3] K=[29, 2, 26, 34] stored bound 0.230065959 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008595213 s_req 0.239196085 smin0-s_req 6.696e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 3.85e-04) | PASS  2.2s
rank   861 box   9566 L=[2, 1, 1, 1] K=[13, 7, 7, 11] stored bound 0.230065979 | R2_iv 7.546776e-03 (stored 7.546776e-03) mu 0.028577765 s_req 0.266124541 smin0-s_req 6.698e-05 | pivots>0: E1 True (min 2.53e-11) smin True (min 5.42e-04) | PASS  2.2s
rank   862 box  49293 L=[3, 3, 3, 2] K=[31, 7, 25, 16] stored bound 0.230066154 | R2_iv 8.523686e-04 (stored 8.523686e-04) mu 0.010586961 s_req 0.241439330 smin0-s_req 6.715e-05 | pivots>0: E1 True (min 6.77e-12) smin True (min 4.42e-04) | PASS  2.2s
rank   863 box   9841 L=[2, 1, 1, 1] K=[17, 2, 1, 7] stored bound 0.230066155 | R2_iv 7.463079e-03 (stored 7.463079e-03) mu 0.028463789 s_req 0.265926868 smin0-s_req 6.716e-05 | pivots>0: E1 True (min 2.97e-11) smin True (min 7.81e-04) | PASS  2.2s
rank   864 box  13341 L=[2, 2, 1, 1] K=[7, 14, 6, 6] stored bound 0.230066163 | R2_iv 4.749397e-03 (stored 4.749397e-03) mu 0.024027133 s_req 0.258776530 smin0-s_req 6.716e-05 | pivots>0: E1 True (min 6.82e-12) smin True (min 6.14e-04) | PASS  2.2s
rank   865 box  30110 L=[2, 2, 2, 2] K=[16, 2, 15, 7] stored bound 0.230066319 | R2_iv 2.466332e-03 (stored 2.466332e-03) mu 0.017108742 s_req 0.249575073 smin0-s_req 6.732e-05 | pivots>0: E1 True (min 1.37e-11) smin True (min 4.10e-04) | PASS  2.2s
rank   866 box  55792 L=[3, 3, 3, 3] K=[28, 6, 29, 35] stored bound 0.230066391 | R2_iv 5.997519e-04 (stored 5.997519e-04) mu 0.008577555 s_req 0.239177307 smin0-s_req 6.739e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 4.09e-04) | PASS  2.2s
rank   867 box  42287 L=[3, 3, 2, 2] K=[29, 4, 13, 20] stored bound 0.230066459 | R2_iv 1.147304e-03 (stored 1.147304e-03) mu 0.011841226 s_req 0.242988530 smin0-s_req 6.746e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 4.02e-04) | PASS  2.2s
rank   868 box  63310 L=[4, 3, 3, 3] K=[60, 4, 31, 32] stored bound 0.230066551 | R2_iv 4.386105e-04 (stored 4.386105e-04) mu 0.007169306 s_req 0.237607916 smin0-s_req 6.755e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 4.01e-04) | PASS  2.2s
rank   869 box  55420 L=[3, 3, 3, 3] K=[29, 2, 29, 37] stored bound 0.230066594 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008600515 s_req 0.239201387 smin0-s_req 6.759e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 3.82e-04) | PASS  2.2s
rank   870 box  32004 L=[3, 2, 2, 2] K=[19, 2, 14, 13] stored bound 0.230066600 | R2_iv 1.795142e-03 (stored 1.795142e-03) mu 0.014374907 s_req 0.246170049 smin0-s_req 6.760e-05 | pivots>0: E1 True (min 6.19e-12) smin True (min 3.74e-04) | PASS  2.2s
rank   871 box  53620 L=[3, 3, 3, 3] K=[28, 2, 28, 26] stored bound 0.230066655 | R2_iv 6.009049e-04 (stored 6.009049e-04) mu 0.008601590 s_req 0.239202495 smin0-s_req 6.765e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 3.78e-04) | PASS  2.2s
rank   872 box  26465 L=[2, 2, 2, 2] K=[9, 5, 14, 10] stored bound 0.230066693 | R2_iv 2.464257e-03 (stored 2.464257e-03) mu 0.017130244 s_req 0.249594501 smin0-s_req 6.769e-05 | pivots>0: E1 True (min 1.47e-11) smin True (min 4.24e-04) | PASS  2.2s
rank   873 box  55790 L=[3, 3, 3, 3] K=[28, 6, 28, 34] stored bound 0.230066736 | R2_iv 5.997519e-04 (stored 5.997519e-04) mu 0.008576437 s_req 0.239176189 smin0-s_req 6.774e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 4.13e-04) | PASS  2.2s
rank   874 box  49091 L=[3, 3, 2, 3] K=[26, 4, 13, 36] stored bound 0.230067294 | R2_iv 8.538728e-04 (stored 8.538728e-04) mu 0.009951866 s_req 0.240805739 smin0-s_req 6.829e-05 | pivots>0: E1 True (min 4.03e-13) smin True (min 3.94e-04) | PASS  2.2s
rank   875 box  41062 L=[3, 3, 2, 2] K=[25, 2, 11, 16] stored bound 0.230067600 | R2_iv 1.150551e-03 (stored 1.150551e-03) mu 0.011870019 s_req 0.243020571 smin0-s_req 6.860e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 3.86e-04) | PASS  2.2s
rank   876 box  35810 L=[3, 2, 2, 2] K=[25, 7, 12, 17] stored bound 0.230067601 | R2_iv 1.786722e-03 (stored 1.786722e-03) mu 0.014290734 s_req 0.246077455 smin0-s_req 6.860e-05 | pivots>0: E1 True (min 6.69e-12) smin True (min 4.94e-04) | PASS  2.2s
rank   877 box  33295 L=[3, 2, 2, 2] K=[22, 6, 15, 20] stored bound 0.230067686 | R2_iv 1.786550e-03 (stored 1.786550e-03) mu 0.014310889 s_req 0.246097440 smin0-s_req 6.869e-05 | pivots>0: E1 True (min 6.99e-12) smin True (min 4.51e-04) | PASS  2.2s
rank   878 box  57686 L=[3, 3, 3, 3] K=[33, 3, 27, 29] stored bound 0.230067688 | R2_iv 6.007838e-04 (stored 6.007838e-04) mu 0.008578141 s_req 0.239178925 smin0-s_req 6.869e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 4.24e-04) | PASS  2.2s
rank   879 box  48594 L=[3, 3, 2, 3] K=[25, 4, 15, 25] stored bound 0.230067748 | R2_iv 8.539224e-04 (stored 8.539224e-04) mu 0.009953342 s_req 0.240807264 smin0-s_req 6.875e-05 | pivots>0: E1 True (min 4.18e-13) smin True (min 3.86e-04) | PASS  2.2s
rank   880 box    717 L=[1, 1, 0, 1] K=[0, 0, 2, 5] stored bound 0.230067793 | R2_iv 1.510259e-02 (stored 1.510259e-02) mu 0.040626042 s_req 0.285728634 smin0-s_req 6.879e-05 | pivots>0: E1 True (min 6.56e-12) smin True (min 4.38e-04) | PASS  2.2s
rank   881 box  57680 L=[3, 3, 3, 3] K=[32, 3, 26, 29] stored bound 0.230067854 | R2_iv 6.006748e-04 (stored 6.006748e-04) mu 0.008581744 s_req 0.239182419 smin0-s_req 6.885e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 4.21e-04) | PASS  2.2s
rank   882 box  25669 L=[2, 2, 2, 2] K=[11, 0, 10, 18] stored bound 0.230067905 | R2_iv 2.474427e-03 (stored 2.474427e-03) mu 0.017202663 s_req 0.249677091 smin0-s_req 6.891e-05 | pivots>0: E1 True (min 1.46e-11) smin True (min 3.73e-04) | PASS  2.2s
rank   883 box  16366 L=[2, 2, 1, 1] K=[14, 8, 4, 9] stored bound 0.230068055 | R2_iv 4.699697e-03 (stored 4.699697e-03) mu 0.023513144 s_req 0.258212841 smin0-s_req 6.906e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 6.05e-04) | PASS  2.2s
rank   884 box  49771 L=[3, 3, 3, 2] K=[27, 10, 28, 13] stored bound 0.230068065 | R2_iv 8.513924e-04 (stored 8.513924e-04) mu 0.010595962 s_req 0.241447354 smin0-s_req 6.907e-05 | pivots>0: E1 True (min 7.66e-12) smin True (min 4.49e-04) | PASS  2.2s
rank   885 box  21958 L=[2, 2, 1, 2] K=[12, 2, 3, 18] stored bound 0.230068070 | R2_iv 3.504088e-03 (stored 3.504088e-03) mu 0.019888885 s_req 0.253392973 smin0-s_req 6.907e-05 | pivots>0: E1 True (min 1.61e-12) smin True (min 4.67e-04) | PASS  2.2s
rank   886 box  32476 L=[3, 2, 2, 2] K=[20, 5, 11, 14] stored bound 0.230068074 | R2_iv 1.788067e-03 (stored 1.788067e-03) mu 0.014342049 s_req 0.246130116 smin0-s_req 6.907e-05 | pivots>0: E1 True (min 7.17e-12) smin True (min 4.57e-04) | PASS  2.2s
rank   887 box  57838 L=[3, 3, 3, 3] K=[33, 2, 29, 26] stored bound 0.230068187 | R2_iv 6.010562e-04 (stored 6.010562e-04) mu 0.008591852 s_req 0.239192908 smin0-s_req 6.919e-05 | pivots>0: E1 True (min 3.76e-12) smin True (min 4.14e-04) | PASS  2.2s
rank   888 box  24131 L=[2, 2, 1, 2] K=[17, 8, 6, 16] stored bound 0.230068302 | R2_iv 3.511531e-03 (stored 3.511531e-03) mu 0.019860864 s_req 0.253372396 smin0-s_req 6.930e-05 | pivots>0: E1 True (min 1.33e-12) smin True (min 5.51e-04) | PASS  2.2s
rank   889 box  62711 L=[4, 3, 3, 3] K=[60, 0, 30, 34] stored bound 0.230068397 | R2_iv 4.399252e-04 (stored 4.399252e-04) mu 0.007201254 s_req 0.237641179 smin0-s_req 6.940e-05 | pivots>0: E1 True (min 1.96e-12) smin True (min 3.79e-04) | PASS  2.2s
rank   890 box  45413 L=[3, 3, 2, 2] K=[36, 3, 13, 18] stored bound 0.230068401 | R2_iv 1.150681e-03 (stored 1.150681e-03) mu 0.011828945 s_req 0.242979626 smin0-s_req 6.940e-05 | pivots>0: E1 True (min 1.18e-12) smin True (min 4.56e-04) | PASS  2.2s
rank   891 box  49186 L=[3, 3, 2, 3] K=[27, 5, 15, 39] stored bound 0.230068500 | R2_iv 8.533561e-04 (stored 8.533561e-04) mu 0.009949249 s_req 0.240802606 smin0-s_req 6.950e-05 | pivots>0: E1 True (min 4.24e-13) smin True (min 4.07e-04) | PASS  2.2s
rank   892 box  58280 L=[3, 3, 3, 3] K=[33, 4, 28, 31] stored bound 0.230068701 | R2_iv 6.005535e-04 (stored 6.005535e-04) mu 0.008565351 s_req 0.239165905 smin0-s_req 6.970e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 4.37e-04) | PASS  2.2s
rank   893 box  12825 L=[2, 2, 1, 1] K=[7, 6, 7, 11] stored bound 0.230068736 | R2_iv 4.707118e-03 (stored 4.707118e-03) mu 0.023662648 s_req 0.258369766 smin0-s_req 6.974e-05 | pivots>0: E1 True (min 4.23e-12) smin True (min 4.58e-04) | PASS  2.2s
rank   894 box   2190 L=[1, 1, 1, 0] K=[15, 2, 4, 2] stored bound 0.230068786 | R2_iv 1.532277e-02 (stored 1.532277e-02) mu 0.042431835 s_req 0.287754604 smin0-s_req 6.979e-05 | pivots>0: E1 True (min 2.05e-10) smin True (min 1.34e-03) | PASS  2.2s
rank   895 box  61212 L=[4, 3, 3, 3] K=[61, 1, 31, 28] stored bound 0.230068787 | R2_iv 4.395375e-04 (stored 4.395375e-04) mu 0.007195337 s_req 0.237634875 smin0-s_req 6.979e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 3.91e-04) | PASS  2.2s
rank   896 box  30562 L=[2, 2, 2, 2] K=[18, 4, 11, 16] stored bound 0.230068791 | R2_iv 2.468716e-03 (stored 2.468716e-03) mu 0.017019657 s_req 0.249488373 smin0-s_req 6.979e-05 | pivots>0: E1 True (min 1.11e-11) smin True (min 5.32e-04) | PASS  2.2s
rank   897 box  34336 L=[3, 2, 2, 2] K=[25, 2, 9, 16] stored bound 0.230068858 | R2_iv 1.790851e-03 (stored 1.790851e-03) mu 0.014354676 s_req 0.246145526 smin0-s_req 6.986e-05 | pivots>0: E1 True (min 6.82e-12) smin True (min 4.38e-04) | PASS  2.2s
rank   898 box  32058 L=[3, 2, 2, 2] K=[21, 0, 13, 13] stored bound 0.230069026 | R2_iv 1.800222e-03 (stored 1.800222e-03) mu 0.014411494 s_req 0.246211716 smin0-s_req 7.003e-05 | pivots>0: E1 True (min 5.66e-12) smin True (min 3.57e-04) | PASS  2.2s
rank   899 box  26410 L=[2, 2, 2, 2] K=[11, 5, 11, 20] stored bound 0.230069030 | R2_iv 2.461798e-03 (stored 2.461798e-03) mu 0.017133355 s_req 0.249595154 smin0-s_req 7.003e-05 | pivots>0: E1 True (min 1.34e-11) smin True (min 4.69e-04) | PASS  2.2s
rank   900 box  61305 L=[4, 3, 3, 3] K=[63, 3, 31, 30] stored bound 0.230069030 | R2_iv 4.389423e-04 (stored 4.389423e-04) mu 0.007174227 s_req 0.237613169 smin0-s_req 7.003e-05 | pivots>0: E1 True (min 1.99e-12) smin True (min 4.16e-04) | PASS  2.2s
rank   901 box  61193 L=[4, 3, 3, 3] K=[61, 0, 28, 31] stored bound 0.230069165 | R2_iv 4.399176e-04 (stored 4.399176e-04) mu 0.007195910 s_req 0.237635827 smin0-s_req 7.016e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 3.88e-04) | PASS  2.2s
rank   902 box  14207 L=[2, 2, 1, 1] K=[10, 6, 5, 3] stored bound 0.230069170 | R2_iv 4.691312e-03 (stored 4.691312e-03) mu 0.023557975 s_req 0.258249288 smin0-s_req 7.017e-05 | pivots>0: E1 True (min 4.01e-12) smin True (min 4.69e-04) | PASS  2.2s
rank   903 box  49814 L=[3, 3, 2, 3] K=[25, 9, 13, 31] stored bound 0.230069206 | R2_iv 8.518617e-04 (stored 8.518617e-04) mu 0.009921730 s_req 0.240773591 smin0-s_req 7.021e-05 | pivots>0: E1 True (min 4.01e-13) smin True (min 4.46e-04) | PASS  2.2s
rank   904 box  51396 L=[3, 3, 3, 2] K=[36, 3, 29, 13] stored bound 0.230069499 | R2_iv 8.547667e-04 (stored 8.547667e-04) mu 0.010600801 s_req 0.241455567 smin0-s_req 7.050e-05 | pivots>0: E1 True (min 7.33e-12) smin True (min 4.54e-04) | PASS  2.2s
rank   905 box  61109 L=[4, 3, 3, 3] K=[58, 2, 31, 29] stored bound 0.230069507 | R2_iv 4.391979e-04 (stored 4.391979e-04) mu 0.007188542 s_req 0.237627740 smin0-s_req 7.051e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 3.96e-04) | PASS  2.2s
rank   906 box  29279 L=[2, 2, 2, 2] K=[13, 9, 15, 19] stored bound 0.230069547 | R2_iv 2.465620e-03 (stored 2.465620e-03) mu 0.017030121 s_req 0.249495741 smin0-s_req 7.055e-05 | pivots>0: E1 True (min 1.32e-11) smin True (min 5.21e-04) | PASS  2.2s
rank   907 box  35388 L=[3, 2, 2, 2] K=[24, 6, 11, 17] stored bound 0.230069587 | R2_iv 1.786255e-03 (stored 1.786255e-03) mu 0.014309345 s_req 0.246095600 smin0-s_req 7.059e-05 | pivots>0: E1 True (min 6.72e-12) smin True (min 4.98e-04) | PASS  2.2s
rank   908 box  22652 L=[2, 2, 2, 1] K=[15, 5, 12, 3] stored bound 0.230069587 | R2_iv 3.497297e-03 (stored 3.497297e-03) mu 0.021002071 s_req 0.254499368 smin0-s_req 7.059e-05 | pivots>0: E1 True (min 2.98e-11) smin True (min 4.76e-04) | PASS  2.2s
rank   909 box  48819 L=[3, 3, 2, 3] K=[26, 2, 12, 32] stored bound 0.230069704 | R2_iv 8.551625e-04 (stored 8.551625e-04) mu 0.009960655 s_req 0.240815817 smin0-s_req 7.070e-05 | pivots>0: E1 True (min 3.77e-13) smin True (min 3.95e-04) | PASS  2.2s
rank   910 box  61219 L=[4, 3, 3, 3] K=[63, 1, 31, 28] stored bound 0.230069799 | R2_iv 4.395575e-04 (stored 4.395575e-04) mu 0.007193590 s_req 0.237633148 smin0-s_req 7.080e-05 | pivots>0: E1 True (min 2.01e-12) smin True (min 4.03e-04) | PASS  2.2s
rank   911 box  43184 L=[3, 3, 2, 2] K=[24, 14, 14, 15] stored bound 0.230070103 | R2_iv 1.143042e-03 (stored 1.143042e-03) mu 0.011790870 s_req 0.242933913 smin0-s_req 7.110e-05 | pivots>0: E1 True (min 1.09e-12) smin True (min 4.89e-04) | PASS  2.2s
rank   912 box  55784 L=[3, 3, 3, 3] K=[29, 5, 28, 35] stored bound 0.230070220 | R2_iv 5.999916e-04 (stored 5.999916e-04) mu 0.008580360 s_req 0.239180352 smin0-s_req 7.122e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 4.30e-04) | PASS  2.2s
rank   913 box  59007 L=[3, 3, 3, 3] K=[35, 1, 30, 35] stored bound 0.230070297 | R2_iv 6.016196e-04 (stored 6.016196e-04) mu 0.008590009 s_req 0.239191629 smin0-s_req 7.130e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 4.34e-04) | PASS  2.2s
rank   914 box  43004 L=[3, 3, 2, 2] K=[25, 11, 14, 12] stored bound 0.230070299 | R2_iv 1.143060e-03 (stored 1.143060e-03) mu 0.011786795 s_req 0.242929855 smin0-s_req 7.130e-05 | pivots>0: E1 True (min 1.09e-12) smin True (min 4.63e-04) | PASS  2.2s
rank   915 box  41840 L=[3, 3, 2, 2] K=[30, 7, 13, 11] stored bound 0.230070476 | R2_iv 1.145185e-03 (stored 1.145185e-03) mu 0.011796445 s_req 0.242941630 smin0-s_req 7.148e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 4.54e-04) | PASS  2.2s
rank   916 box  49852 L=[3, 3, 3, 2] K=[27, 8, 24, 15] stored bound 0.230070550 | R2_iv 8.518372e-04 (stored 8.518372e-04) mu 0.010606493 s_req 0.241458330 smin0-s_req 7.155e-05 | pivots>0: E1 True (min 7.46e-12) smin True (min 4.62e-04) | PASS  2.2s
rank   917 box  49550 L=[3, 3, 3, 2] K=[29, 4, 30, 20] stored bound 0.230070683 | R2_iv 8.536617e-04 (stored 8.536617e-04) mu 0.010638944 s_req 0.241492606 smin0-s_req 7.168e-05 | pivots>0: E1 True (min 7.33e-12) smin True (min 4.20e-04) | PASS  2.2s
rank   918 box  58779 L=[3, 3, 3, 3] K=[32, 3, 26, 32] stored bound 0.230070683 | R2_iv 6.006748e-04 (stored 6.006748e-04) mu 0.008576822 s_req 0.239177497 smin0-s_req 7.168e-05 | pivots>0: E1 True (min 3.58e-12) smin True (min 4.39e-04) | PASS  2.2s
rank   919 box  62665 L=[4, 3, 3, 3] K=[60, 0, 29, 33] stored bound 0.230070766 | R2_iv 4.399252e-04 (stored 4.399252e-04) mu 0.007198646 s_req 0.237638571 smin0-s_req 7.177e-05 | pivots>0: E1 True (min 1.97e-12) smin True (min 3.93e-04) | PASS  2.2s
rank   920 box   3220 L=[1, 1, 1, 1] K=[3, 3, 7, 14] stored bound 0.230070786 | R2_iv 1.040793e-02 (stored 1.040793e-02) mu 0.033782166 s_req 0.274190100 smin0-s_req 7.179e-05 | pivots>0: E1 True (min 4.62e-11) smin True (min 4.53e-04) | PASS  2.2s
rank   921 box  51710 L=[3, 3, 3, 2] K=[33, 6, 29, 18] stored bound 0.230070820 | R2_iv 8.530052e-04 (stored 8.530052e-04) mu 0.010587083 s_req 0.241440088 smin0-s_req 7.182e-05 | pivots>0: E1 True (min 6.92e-12) smin True (min 4.65e-04) | PASS  2.2s
rank   922 box  62455 L=[4, 3, 3, 3] K=[59, 0, 29, 32] stored bound 0.230070821 | R2_iv 4.399397e-04 (stored 4.399397e-04) mu 0.007196500 s_req 0.237636439 smin0-s_req 7.182e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 3.90e-04) | PASS  2.2s
rank   923 box  37456 L=[3, 2, 2, 2] K=[38, 0, 15, 21] stored bound 0.230070860 | R2_iv 1.798708e-03 (stored 1.798708e-03) mu 0.014384953 s_req 0.246183661 smin0-s_req 7.186e-05 | pivots>0: E1 True (min 8.45e-12) smin True (min 4.58e-04) | PASS  2.2s
rank   924 box  49877 L=[3, 3, 2, 3] K=[24, 9, 14, 28] stored bound 0.230070915 | R2_iv 8.519096e-04 (stored 8.519096e-04) mu 0.009930201 s_req 0.240782111 smin0-s_req 7.192e-05 | pivots>0: E1 True (min 4.21e-13) smin True (min 4.49e-04) | PASS  2.2s
rank   925 box  36807 L=[3, 2, 2, 2] K=[34, 0, 10, 19] stored bound 0.230070977 | R2_iv 1.796123e-03 (stored 1.796123e-03) mu 0.014398686 s_req 0.246194809 smin0-s_req 7.198e-05 | pivots>0: E1 True (min 7.64e-12) smin True (min 4.62e-04) | PASS  2.2s
rank   926 box  40521 L=[3, 3, 2, 2] K=[31, 1, 11, 11] stored bound 0.230071039 | R2_iv 1.150934e-03 (stored 1.150934e-03) mu 0.011889294 s_req 0.243040229 smin0-s_req 7.204e-05 | pivots>0: E1 True (min 1.30e-12) smin True (min 4.24e-04) | PASS  2.2s
rank   927 box  15986 L=[2, 2, 1, 1] K=[15, 4, 4, 11] stored bound 0.230071057 | R2_iv 4.696012e-03 (stored 4.696012e-03) mu 0.023562762 s_req 0.258258774 smin0-s_req 7.206e-05 | pivots>0: E1 True (min 3.84e-12) smin True (min 5.40e-04) | PASS  2.2s
rank   928 box  39060 L=[3, 3, 2, 2] K=[23, 5, 13, 18] stored bound 0.230071134 | R2_iv 1.147542e-03 (stored 1.147542e-03) mu 0.011843013 s_req 0.242990555 smin0-s_req 7.213e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 4.16e-04) | PASS  2.2s
rank   929 box  50891 L=[3, 3, 3, 2] K=[35, 0, 23, 16] stored bound 0.230071278 | R2_iv 8.564197e-04 (stored 8.564197e-04) mu 0.010642185 s_req 0.241498605 smin0-s_req 7.228e-05 | pivots>0: E1 True (min 6.93e-12) smin True (min 4.52e-04) | PASS  2.2s
rank   930 box   8222 L=[2, 1, 1, 1] K=[9, 2, 7, 1] stored bound 0.230071281 | R2_iv 7.457785e-03 (stored 7.457785e-03) mu 0.028463957 s_req 0.265921742 smin0-s_req 7.228e-05 | pivots>0: E1 True (min 2.33e-11) smin True (min 4.19e-04) | PASS  2.2s
rank   931 box  51512 L=[3, 3, 3, 2] K=[33, 3, 24, 17] stored bound 0.230071379 | R2_iv 8.542345e-04 (stored 8.542345e-04) mu 0.010621618 s_req 0.241475852 smin0-s_req 7.238e-05 | pivots>0: E1 True (min 6.79e-12) smin True (min 4.59e-04) | PASS  2.2s
rank   932 box  32082 L=[3, 2, 2, 2] K=[20, 0, 15, 14] stored bound 0.230071421 | R2_iv 1.801327e-03 (stored 1.801327e-03) mu 0.014401178 s_req 0.246202505 smin0-s_req 7.242e-05 | pivots>0: E1 True (min 5.64e-12) smin True (min 3.64e-04) | PASS  2.2s
rank   933 box  28697 L=[2, 2, 2, 2] K=[14, 4, 11, 21] stored bound 0.230071540 | R2_iv 2.462355e-03 (stored 2.462355e-03) mu 0.017107667 s_req 0.249570022 smin0-s_req 7.254e-05 | pivots>0: E1 True (min 1.24e-11) smin True (min 4.89e-04) | PASS  2.2s
rank   934 box  64419 L=[4, 3, 3, 3] K=[67, 0, 31, 34] stored bound 0.230071583 | R2_iv 4.400196e-04 (stored 4.400196e-04) mu 0.007195658 s_req 0.237635678 smin0-s_req 7.258e-05 | pivots>0: E1 True (min 2.11e-12) smin True (min 4.19e-04) | PASS  2.2s
rank   935 box  16492 L=[2, 2, 1, 1] K=[15, 11, 7, 10] stored bound 0.230071634 | R2_iv 4.736341e-03 (stored 4.736341e-03) mu 0.023590990 s_req 0.258327331 smin0-s_req 7.263e-05 | pivots>0: E1 True (min 4.79e-12) smin True (min 5.70e-04) | PASS  2.2s
rank   936 box  51722 L=[3, 3, 3, 2] K=[32, 6, 31, 19] stored bound 0.230071661 | R2_iv 8.528039e-04 (stored 8.528039e-04) mu 0.010594632 s_req 0.241447436 smin0-s_req 7.266e-05 | pivots>0: E1 True (min 7.13e-12) smin True (min 4.61e-04) | PASS  2.2s
rank   937 box  37657 L=[3, 2, 2, 2] K=[32, 5, 15, 11] stored bound 0.230071707 | R2_iv 1.789043e-03 (stored 1.789043e-03) mu 0.014248178 s_req 0.246037221 smin0-s_req 7.271e-05 | pivots>0: E1 True (min 6.76e-12) smin True (min 4.96e-04) | PASS  2.2s
rank   938 box  51595 L=[3, 3, 3, 2] K=[32, 4, 24, 17] stored bound 0.230071920 | R2_iv 8.536141e-04 (stored 8.536141e-04) mu 0.010616348 s_req 0.241469962 smin0-s_req 7.292e-05 | pivots>0: E1 True (min 6.77e-12) smin True (min 4.64e-04) | PASS  2.2s
rank   939 box  27789 L=[2, 2, 2, 2] K=[13, 3, 11, 8] stored bound 0.230071935 | R2_iv 2.463382e-03 (stored 2.463382e-03) mu 0.017118425 s_req 0.249581806 smin0-s_req 7.293e-05 | pivots>0: E1 True (min 1.42e-11) smin True (min 4.48e-04) | PASS  2.2s
rank   940 box   4014 L=[1, 1, 1, 1] K=[5, 6, 7, 1] stored bound 0.230071941 | R2_iv 1.043335e-02 (stored 1.043335e-02) mu 0.033772240 s_req 0.274205595 smin0-s_req 7.294e-05 | pivots>0: E1 True (min 4.92e-11) smin True (min 5.43e-04) | PASS  2.2s
rank   941 box  61140 L=[4, 3, 3, 3] K=[58, 2, 29, 31] stored bound 0.230072028 | R2_iv 4.391979e-04 (stored 4.391979e-04) mu 0.007184234 s_req 0.237623431 smin0-s_req 7.303e-05 | pivots>0: E1 True (min 1.91e-12) smin True (min 4.12e-04) | PASS  2.2s
rank   942 box  61304 L=[4, 3, 3, 3] K=[63, 3, 30, 31] stored bound 0.230072127 | R2_iv 4.389423e-04 (stored 4.389423e-04) mu 0.007171964 s_req 0.237610906 smin0-s_req 7.313e-05 | pivots>0: E1 True (min 2.00e-12) smin True (min 4.35e-04) | PASS  2.2s
rank   943 box  61287 L=[4, 3, 3, 3] K=[60, 3, 31, 29] stored bound 0.230072130 | R2_iv 4.388806e-04 (stored 4.388806e-04) mu 0.007179876 s_req 0.237618756 smin0-s_req 7.313e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 4.25e-04) | PASS  2.2s
rank   944 box  43943 L=[3, 3, 2, 2] K=[26, 8, 15, 20] stored bound 0.230072132 | R2_iv 1.144173e-03 (stored 1.144173e-03) mu 0.011803286 s_req 0.242947459 smin0-s_req 7.313e-05 | pivots>0: E1 True (min 1.07e-12) smin True (min 4.50e-04) | PASS  2.2s
rank   945 box  25563 L=[2, 2, 2, 2] K=[9, 3, 10, 15] stored bound 0.230072154 | R2_iv 2.468283e-03 (stored 2.468283e-03) mu 0.017168425 s_req 0.249636708 smin0-s_req 7.315e-05 | pivots>0: E1 True (min 1.26e-11) smin True (min 4.49e-04) | PASS  2.2s
rank   946 box  62671 L=[4, 3, 3, 3] K=[62, 0, 28, 32] stored bound 0.230072202 | R2_iv 4.399171e-04 (stored 4.399171e-04) mu 0.007194496 s_req 0.237634413 smin0-s_req 7.320e-05 | pivots>0: E1 True (min 2.01e-12) smin True (min 4.08e-04) | PASS  2.1s
rank   947 box  31589 L=[3, 2, 2, 2] K=[23, 3, 11, 11] stored bound 0.230072273 | R2_iv 1.789508e-03 (stored 1.789508e-03) mu 0.014353755 s_req 0.246143264 smin0-s_req 7.327e-05 | pivots>0: E1 True (min 6.96e-12) smin True (min 4.44e-04) | PASS  2.1s
rank   948 box  12304 L=[2, 2, 1, 1] K=[3, 13, 7, 9] stored bound 0.230072275 | R2_iv 4.757056e-03 (stored 4.757056e-03) mu 0.024191163 s_req 0.258948219 smin0-s_req 7.328e-05 | pivots>0: E1 True (min 8.93e-12) smin True (min 7.40e-04) | PASS  2.1s
rank   949 box  22014 L=[2, 2, 2, 1] K=[14, 2, 7, 10] stored bound 0.230072304 | R2_iv 3.502916e-03 (stored 3.502916e-03) mu 0.021272212 s_req 0.254775128 smin0-s_req 7.330e-05 | pivots>0: E1 True (min 2.44e-11) smin True (min 5.16e-04) | PASS  2.1s
rank   950 box  22684 L=[2, 2, 1, 2] K=[15, 7, 6, 21] stored bound 0.230072391 | R2_iv 3.500590e-03 (stored 3.500590e-03) mu 0.019830460 s_req 0.253331050 smin0-s_req 7.339e-05 | pivots>0: E1 True (min 1.53e-12) smin True (min 5.42e-04) | PASS  2.1s
rank   951 box  32083 L=[3, 2, 2, 2] K=[20, 0, 14, 15] stored bound 0.230072410 | R2_iv 1.801327e-03 (stored 1.801327e-03) mu 0.014393842 s_req 0.246195168 smin0-s_req 7.341e-05 | pivots>0: E1 True (min 5.48e-12) smin True (min 3.70e-04) | PASS  2.1s
rank   952 box  21466 L=[2, 2, 1, 2] K=[10, 10, 7, 10] stored bound 0.230072467 | R2_iv 3.504597e-03 (stored 3.504597e-03) mu 0.019956191 s_req 0.253460788 smin0-s_req 7.347e-05 | pivots>0: E1 True (min 1.87e-12) smin True (min 5.50e-04) | PASS  2.1s
rank   953 box  23139 L=[2, 2, 1, 2] K=[13, 12, 7, 15] stored bound 0.230072471 | R2_iv 3.517228e-03 (stored 3.517228e-03) mu 0.019994946 s_req 0.253512174 smin0-s_req 7.347e-05 | pivots>0: E1 True (min 1.28e-12) smin True (min 5.84e-04) | PASS  2.1s
rank   954 box  20100 L=[2, 2, 2, 1] K=[7, 10, 14, 5] stored bound 0.230072486 | R2_iv 3.503927e-03 (stored 3.503927e-03) mu 0.021293970 s_req 0.254797897 smin0-s_req 7.349e-05 | pivots>0: E1 True (min 4.05e-11) smin True (min 5.73e-04) | PASS  2.1s
rank   955 box  53332 L=[3, 3, 3, 3] K=[25, 7, 30, 31] stored bound 0.230072540 | R2_iv 5.996202e-04 (stored 5.996202e-04) mu 0.008576699 s_req 0.239176319 smin0-s_req 7.354e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 4.42e-04) | PASS  2.1s
rank   956 box    986 L=[1, 1, 0, 1] K=[2, 0, 1, 9] stored bound 0.230072648 | R2_iv 1.493454e-02 (stored 1.493454e-02) mu 0.039763991 s_req 0.284698534 smin0-s_req 7.365e-05 | pivots>0: E1 True (min 4.43e-12) smin True (min 4.22e-04) | PASS  2.1s
rank   957 box  28003 L=[2, 2, 2, 2] K=[13, 1, 13, 7] stored bound 0.230072699 | R2_iv 2.468105e-03 (stored 2.468105e-03) mu 0.017163311 s_req 0.249631416 smin0-s_req 7.370e-05 | pivots>0: E1 True (min 1.45e-11) smin True (min 4.03e-04) | PASS  2.2s
rank   958 box  64415 L=[4, 3, 3, 3] K=[66, 0, 30, 34] stored bound 0.230072733 | R2_iv 4.399851e-04 (stored 4.399851e-04) mu 0.007196619 s_req 0.237636604 smin0-s_req 7.373e-05 | pivots>0: E1 True (min 2.08e-12) smin True (min 4.22e-04) | PASS  2.1s
rank   959 box   8718 L=[2, 1, 1, 1] K=[11, 7, 7, 11] stored bound 0.230072911 | R2_iv 7.530745e-03 (stored 7.530745e-03) mu 0.028675394 s_req 0.266206139 smin0-s_req 7.391e-05 | pivots>0: E1 True (min 3.36e-11) smin True (min 6.07e-04) | PASS  2.2s
rank   960 box  39963 L=[3, 3, 2, 2] K=[21, 9, 13, 16] stored bound 0.230072960 | R2_iv 1.144889e-03 (stored 1.144889e-03) mu 0.011820559 s_req 0.242965448 smin0-s_req 7.396e-05 | pivots>0: E1 True (min 1.10e-12) smin True (min 4.61e-04) | PASS  2.2s
rank   961 box  63821 L=[4, 3, 3, 3] K=[65, 0, 28, 31] stored bound 0.230073022 | R2_iv 4.399576e-04 (stored 4.399576e-04) mu 0.007192489 s_req 0.237632446 smin0-s_req 7.402e-05 | pivots>0: E1 True (min 2.06e-12) smin True (min 4.23e-04) | PASS  2.2s
rank   962 box  28151 L=[2, 2, 2, 2] K=[14, 3, 13, 23] stored bound 0.230073037 | R2_iv 2.463436e-03 (stored 2.463436e-03) mu 0.017111769 s_req 0.249575205 smin0-s_req 7.404e-05 | pivots>0: E1 True (min 1.31e-11) smin True (min 4.57e-04) | PASS  2.2s
rank   963 box   7895 L=[2, 1, 1, 1] K=[10, 1, 5, 1] stored bound 0.230073088 | R2_iv 7.468041e-03 (stored 7.468041e-03) mu 0.028564789 s_req 0.266032830 smin0-s_req 7.409e-05 | pivots>0: E1 True (min 2.49e-11) smin True (min 4.15e-04) | PASS  2.1s
rank   964 box  20436 L=[2, 2, 1, 2] K=[11, 1, 3, 14] stored bound 0.230073139 | R2_iv 3.510715e-03 (stored 3.510715e-03) mu 0.019894211 s_req 0.253404927 smin0-s_req 7.414e-05 | pivots>0: E1 True (min 1.42e-12) smin True (min 4.60e-04) | PASS  2.1s
rank   965 box  52849 L=[3, 3, 3, 3] K=[25, 3, 30, 30] stored bound 0.230073140 | R2_iv 6.007935e-04 (stored 6.007935e-04) mu 0.008591617 s_req 0.239192410 smin0-s_req 7.414e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 4.09e-04) | PASS  2.1s
rank   966 box  20132 L=[2, 2, 2, 1] K=[5, 11, 12, 7] stored bound 0.230073201 | R2_iv 3.511448e-03 (stored 3.511448e-03) mu 0.021409932 s_req 0.254921380 smin0-s_req 7.420e-05 | pivots>0: E1 True (min 4.45e-11) smin True (min 6.58e-04) | PASS  2.1s
rank   967 box  43262 L=[3, 3, 2, 2] K=[30, 11, 13, 15] stored bound 0.230073246 | R2_iv 1.144242e-03 (stored 1.144242e-03) mu 0.011760853 s_req 0.242905096 smin0-s_req 7.425e-05 | pivots>0: E1 True (min 1.01e-12) smin True (min 5.12e-04) | PASS  2.1s
rank   968 box  47471 L=[3, 3, 2, 3] K=[29, 1, 11, 29] stored bound 0.230073260 | R2_iv 8.560148e-04 (stored 8.560148e-04) mu 0.009969995 s_req 0.240826010 smin0-s_req 7.426e-05 | pivots>0: E1 True (min 3.84e-13) smin True (min 4.28e-04) | PASS  2.1s
rank   969 box  45351 L=[3, 3, 2, 2] K=[35, 4, 14, 19] stored bound 0.230073333 | R2_iv 1.149284e-03 (stored 1.149284e-03) mu 0.011819916 s_req 0.242969200 smin0-s_req 7.433e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 4.81e-04) | PASS  2.1s
rank   970 box  53398 L=[3, 3, 3, 3] K=[29, 1, 26, 27] stored bound 0.230073342 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008605274 s_req 0.239206524 smin0-s_req 7.434e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 4.16e-04) | PASS  2.1s
rank   971 box  55851 L=[3, 3, 3, 3] K=[31, 6, 30, 34] stored bound 0.230073343 | R2_iv 5.999379e-04 (stored 5.999379e-04) mu 0.008565271 s_req 0.239165209 smin0-s_req 7.434e-05 | pivots>0: E1 True (min 3.53e-12) smin True (min 4.67e-04) | PASS  2.1s
rank   972 box  28473 L=[2, 2, 2, 2] K=[15, 6, 11, 11] stored bound 0.230073382 | R2_iv 2.463588e-03 (stored 2.463588e-03) mu 0.017025262 s_req 0.249488850 smin0-s_req 7.438e-05 | pivots>0: E1 True (min 1.34e-11) smin True (min 5.43e-04) | PASS  2.1s
rank   973 box  28012 L=[2, 2, 2, 2] K=[13, 0, 14, 7] stored bound 0.230073416 | R2_iv 2.471487e-03 (stored 2.471487e-03) mu 0.017193547 s_req 0.249665034 smin0-s_req 7.442e-05 | pivots>0: E1 True (min 1.47e-11) smin True (min 3.87e-04) | PASS  2.1s
rank   974 box  63938 L=[4, 3, 3, 3] K=[64, 2, 31, 29] stored bound 0.230073638 | R2_iv 4.392579e-04 (stored 4.392579e-04) mu 0.007182564 s_req 0.237621822 smin0-s_req 7.464e-05 | pivots>0: E1 True (min 2.02e-12) smin True (min 4.37e-04) | PASS  2.1s
rank   975 box  53213 L=[3, 3, 3, 3] K=[27, 6, 27, 31] stored bound 0.230073724 | R2_iv 5.997532e-04 (stored 5.997532e-04) mu 0.008575528 s_req 0.239175281 smin0-s_req 7.472e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 4.53e-04) | PASS  2.1s
rank   976 box  30708 L=[2, 2, 2, 2] K=[17, 6, 12, 15] stored bound 0.230073796 | R2_iv 2.467796e-03 (stored 2.467796e-03) mu 0.016978114 s_req 0.249445910 smin0-s_req 7.480e-05 | pivots>0: E1 True (min 1.06e-11) smin True (min 5.70e-04) | PASS  2.1s
rank   977 box  60996 L=[4, 3, 3, 3] K=[59, 0, 30, 29] stored bound 0.230073797 | R2_iv 4.399397e-04 (stored 4.399397e-04) mu 0.007202145 s_req 0.237642085 smin0-s_req 7.480e-05 | pivots>0: E1 True (min 1.92e-12) smin True (min 4.05e-04) | PASS  2.1s
rank   978 box  38916 L=[3, 3, 2, 2] K=[23, 0, 14, 17] stored bound 0.230073806 | R2_iv 1.155014e-03 (stored 1.155014e-03) mu 0.011907236 s_req 0.243062250 smin0-s_req 7.481e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 3.80e-04) | PASS  2.1s
rank   979 box  51587 L=[3, 3, 3, 2] K=[34, 3, 29, 19] stored bound 0.230073902 | R2_iv 8.543516e-04 (stored 8.543516e-04) mu 0.010618608 s_req 0.241472960 smin0-s_req 7.490e-05 | pivots>0: E1 True (min 7.08e-12) smin True (min 4.66e-04) | PASS  2.1s
rank   980 box  53397 L=[3, 3, 3, 3] K=[29, 1, 27, 26] stored bound 0.230073911 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008606754 s_req 0.239208003 smin0-s_req 7.491e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 4.16e-04) | PASS  2.1s
rank   981 box  26549 L=[2, 2, 2, 2] K=[10, 7, 13, 10] stored bound 0.230073937 | R2_iv 2.461980e-03 (stored 2.461980e-03) mu 0.017095035 s_req 0.249557015 smin0-s_req 7.494e-05 | pivots>0: E1 True (min 1.46e-11) smin True (min 5.12e-04) | PASS  2.1s
rank   982 box  64342 L=[4, 3, 3, 3] K=[64, 0, 28, 32] stored bound 0.230074004 | R2_iv 4.399371e-04 (stored 4.399371e-04) mu 0.007192912 s_req 0.237632849 smin0-s_req 7.500e-05 | pivots>0: E1 True (min 2.05e-12) smin True (min 4.25e-04) | PASS  2.1s
rank   983 box  44233 L=[3, 3, 2, 2] K=[33, 1, 10, 13] stored bound 0.230074040 | R2_iv 1.151307e-03 (stored 1.151307e-03) mu 0.011875235 s_req 0.243026542 smin0-s_req 7.504e-05 | pivots>0: E1 True (min 1.33e-12) smin True (min 4.71e-04) | PASS  2.1s
rank   984 box  30280 L=[2, 2, 2, 2] K=[18, 3, 14, 21] stored bound 0.230074172 | R2_iv 2.468768e-03 (stored 2.468768e-03) mu 0.017060467 s_req 0.249529235 smin0-s_req 7.517e-05 | pivots>0: E1 True (min 1.20e-11) smin True (min 5.19e-04) | PASS  2.1s
rank   985 box  53331 L=[3, 3, 3, 3] K=[25, 7, 31, 30] stored bound 0.230074179 | R2_iv 5.996202e-04 (stored 5.996202e-04) mu 0.008578315 s_req 0.239177935 smin0-s_req 7.518e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 4.51e-04) | PASS  2.1s
rank   986 box  55519 L=[3, 3, 3, 3] K=[31, 2, 31, 38] stored bound 0.230074223 | R2_iv 6.009013e-04 (stored 6.009013e-04) mu 0.008598249 s_req 0.239199150 smin0-s_req 7.522e-05 | pivots>0: E1 True (min 3.75e-12) smin True (min 4.35e-04) | PASS  2.1s
rank   987 box  59171 L=[3, 3, 3, 3] K=[34, 0, 30, 37] stored bound 0.230074244 | R2_iv 6.018202e-04 (stored 6.018202e-04) mu 0.008606100 s_req 0.239207920 smin0-s_req 7.524e-05 | pivots>0: E1 True (min 3.83e-12) smin True (min 4.41e-04) | PASS  2.1s
rank   988 box   9136 L=[2, 1, 1, 1] K=[14, 2, 5, 15] stored bound 0.230074286 | R2_iv 7.447107e-03 (stored 7.447107e-03) mu 0.028332080 s_req 0.265779187 smin0-s_req 7.529e-05 | pivots>0: E1 True (min 2.31e-11) smin True (min 4.92e-04) | PASS  2.1s
rank   989 box   1158 L=[1, 1, 0, 1] K=[4, 1, 0, 1] stored bound 0.230074296 | R2_iv 1.478092e-02 (stored 1.478092e-02) mu 0.039750493 s_req 0.284531413 smin0-s_req 7.530e-05 | pivots>0: E1 True (min 7.61e-12) smin True (min 5.02e-04) | PASS  2.1s
rank   990 box    146 L=[1, 1, 0, 0] K=[0, 5, 1, 6] stored bound 0.230074332 | R2_iv 2.005975e-02 (stored 2.005975e-02) mu 0.048166806 s_req 0.298226557 smin0-s_req 7.533e-05 | pivots>0: E1 True (min 2.90e-11) smin True (min 7.97e-04) | PASS  2.1s
rank   991 box  43180 L=[3, 3, 2, 2] K=[24, 14, 15, 14] stored bound 0.230074451 | R2_iv 1.143042e-03 (stored 1.143042e-03) mu 0.011788793 s_req 0.242931835 smin0-s_req 7.545e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 5.15e-04) | PASS  2.1s
rank   992 box    643 L=[1, 1, 0, 0] K=[14, 4, 1, 5] stored bound 0.230074495 | R2_iv 2.073112e-02 (stored 2.073112e-02) mu 0.050410654 s_req 0.301141774 smin0-s_req 7.549e-05 | pivots>0: E1 True (min 7.02e-11) smin True (min 1.99e-03) | PASS  2.1s
rank   993 box  54851 L=[3, 3, 3, 3] K=[25, 5, 29, 32] stored bound 0.230074505 | R2_iv 6.001228e-04 (stored 6.001228e-04) mu 0.008582845 s_req 0.239182968 smin0-s_req 7.551e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 4.36e-04) | PASS  2.1s
rank   994 box  19999 L=[2, 2, 2, 1] K=[7, 8, 9, 7] stored bound 0.230074586 | R2_iv 3.501032e-03 (stored 3.501032e-03) mu 0.021314398 s_req 0.254815430 smin0-s_req 7.559e-05 | pivots>0: E1 True (min 3.42e-11) smin True (min 6.06e-04) | PASS  2.2s
rank   995 box  34862 L=[3, 2, 2, 2] K=[25, 2, 13, 21] stored bound 0.230074640 | R2_iv 1.790851e-03 (stored 1.790851e-03) mu 0.014367256 s_req 0.246158107 smin0-s_req 7.564e-05 | pivots>0: E1 True (min 7.05e-12) smin True (min 4.35e-04) | PASS  2.1s
rank   996 box  25961 L=[2, 2, 2, 2] K=[10, 0, 14, 20] stored bound 0.230074647 | R2_iv 2.476656e-03 (stored 2.476656e-03) mu 0.017194727 s_req 0.249671383 smin0-s_req 7.565e-05 | pivots>0: E1 True (min 1.37e-11) smin True (min 3.81e-04) | PASS  2.1s
rank   997 box  43762 L=[3, 3, 2, 2] K=[31, 8, 14, 19] stored bound 0.230074732 | R2_iv 1.145114e-03 (stored 1.145114e-03) mu 0.011782891 s_req 0.242928005 smin0-s_req 7.573e-05 | pivots>0: E1 True (min 1.04e-12) smin True (min 4.95e-04) | PASS  2.1s
rank   998 box  45366 L=[3, 3, 2, 2] K=[37, 1, 12, 17] stored bound 0.230074759 | R2_iv 1.153190e-03 (stored 1.153190e-03) mu 0.011856113 s_req 0.243009303 smin0-s_req 7.576e-05 | pivots>0: E1 True (min 1.28e-12) smin True (min 4.98e-04) | PASS  2.1s
rank   999 box  56357 L=[3, 3, 3, 3] K=[26, 8, 30, 31] stored bound 0.230074778 | R2_iv 5.993991e-04 (stored 5.993991e-04) mu 0.008570373 s_req 0.239169772 smin0-s_req 7.578e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 4.68e-04) | PASS  2.2s
rank  1000 box  61197 L=[4, 3, 3, 3] K=[61, 1, 28, 31] stored bound 0.230074875 | R2_iv 4.395375e-04 (stored 4.395375e-04) mu 0.007188534 s_req 0.237628071 smin0-s_req 7.588e-05 | pivots>0: E1 True (min 1.96e-12) smin True (min 4.29e-04) | PASS  2.1s
rank  1001 box  55164 L=[3, 3, 3, 3] K=[28, 3, 26, 33] stored bound 0.230074905 | R2_iv 6.005536e-04 (stored 6.005536e-04) mu 0.008589105 s_req 0.239189659 smin0-s_req 7.591e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 4.40e-04) | PASS  2.1s
rank  1002 box  41277 L=[3, 3, 2, 2] K=[28, 1, 11, 18] stored bound 0.230074912 | R2_iv 1.151087e-03 (stored 1.151087e-03) mu 0.011883968 s_req 0.243035055 smin0-s_req 7.591e-05 | pivots>0: E1 True (min 1.22e-12) smin True (min 4.33e-04) | PASS  2.1s
rank  1003 box  51563 L=[3, 3, 3, 2] K=[34, 1, 27, 19] stored bound 0.230074920 | R2_iv 8.556030e-04 (stored 8.556030e-04) mu 0.010648710 s_req 0.241504313 smin0-s_req 7.592e-05 | pivots>0: E1 True (min 7.11e-12) smin True (min 4.59e-04) | PASS  2.1s
rank  1004 box  56356 L=[3, 3, 3, 3] K=[26, 8, 31, 30] stored bound 0.230074987 | R2_iv 5.993991e-04 (stored 5.993991e-04) mu 0.008571846 s_req 0.239171246 smin0-s_req 7.599e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 4.69e-04) | PASS  2.1s
rank  1005 box  35732 L=[3, 2, 2, 2] K=[29, 6, 14, 11] stored bound 0.230075011 | R2_iv 1.787521e-03 (stored 1.787521e-03) mu 0.014252525 s_req 0.246040046 smin0-s_req 7.601e-05 | pivots>0: E1 True (min 6.92e-12) smin True (min 5.20e-04) | PASS  2.1s
rank  1006 box  37257 L=[3, 2, 2, 2] K=[37, 1, 12, 19] stored bound 0.230075091 | R2_iv 1.795905e-03 (stored 1.795905e-03) mu 0.014341844 s_req 0.246137750 smin0-s_req 7.609e-05 | pivots>0: E1 True (min 7.52e-12) smin True (min 5.14e-04) | PASS  2.1s
rank  1007 box   3547 L=[1, 1, 1, 1] K=[2, 7, 7, 12] stored bound 0.230075196 | R2_iv 1.047455e-02 (stored 1.047455e-02) mu 0.034465680 s_req 0.274940227 smin0-s_req 7.620e-05 | pivots>0: E1 True (min 8.60e-11) smin True (min 7.13e-04) | PASS  2.2s
rank  1008 box  44242 L=[3, 3, 2, 2] K=[33, 3, 11, 12] stored bound 0.230075310 | R2_iv 1.149122e-03 (stored 1.149122e-03) mu 0.011842100 s_req 0.242991222 smin0-s_req 7.631e-05 | pivots>0: E1 True (min 1.29e-12) smin True (min 4.86e-04) | PASS  2.2s
rank  1009 box  32507 L=[3, 2, 2, 2] K=[22, 6, 11, 13] stored bound 0.230075337 | R2_iv 1.786550e-03 (stored 1.786550e-03) mu 0.014320221 s_req 0.246106772 smin0-s_req 7.634e-05 | pivots>0: E1 True (min 7.60e-12) smin True (min 5.28e-04) | PASS  2.2s
rank  1010 box  64358 L=[4, 3, 3, 3] K=[66, 0, 29, 33] stored bound 0.230075640 | R2_iv 4.399851e-04 (stored 4.399851e-04) mu 0.007193951 s_req 0.237633936 smin0-s_req 7.664e-05 | pivots>0: E1 True (min 2.08e-12) smin True (min 4.40e-04) | PASS  2.2s
rank  1011 box  48753 L=[3, 3, 3, 2] K=[31, 7, 31, 12] stored bound 0.230075668 | R2_iv 8.523686e-04 (stored 8.523686e-04) mu 0.010591061 s_req 0.241443429 smin0-s_req 7.667e-05 | pivots>0: E1 True (min 7.22e-12) smin True (min 4.88e-04) | PASS  2.2s
rank  1012 box  61025 L=[4, 3, 3, 3] K=[59, 0, 29, 30] stored bound 0.230075831 | R2_iv 4.399397e-04 (stored 4.399397e-04) mu 0.007199794 s_req 0.237639733 smin0-s_req 7.683e-05 | pivots>0: E1 True (min 1.91e-12) smin True (min 4.17e-04) | PASS  2.2s
rank  1013 box  34443 L=[3, 2, 2, 2] K=[31, 2, 9, 17] stored bound 0.230075848 | R2_iv 1.790654e-03 (stored 1.790654e-03) mu 0.014336477 s_req 0.246127130 smin0-s_req 7.685e-05 | pivots>0: E1 True (min 6.89e-12) smin True (min 5.25e-04) | PASS  2.2s
rank  1014 box  23390 L=[2, 2, 2, 1] K=[18, 1, 6, 8] stored bound 0.230075957 | R2_iv 3.509910e-03 (stored 3.509910e-03) mu 0.021200314 s_req 0.254710224 smin0-s_req 7.696e-05 | pivots>0: E1 True (min 2.34e-11) smin True (min 6.37e-04) | PASS  2.2s
rank  1015 box   4912 L=[1, 1, 1, 1] K=[10, 0, 0, 4] stored bound 0.230076059 | R2_iv 1.044799e-02 (stored 1.044799e-02) mu 0.034226983 s_req 0.274674970 smin0-s_req 7.706e-05 | pivots>0: E1 True (min 5.44e-11) smin True (min 8.78e-04) | PASS  2.1s
rank  1016 box  41024 L=[3, 3, 2, 2] K=[31, 4, 10, 15] stored bound 0.230076126 | R2_iv 1.147583e-03 (stored 1.147583e-03) mu 0.011821774 s_req 0.242969357 smin0-s_req 7.713e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 5.02e-04) | PASS  2.1s
rank  1017 box  61262 L=[4, 3, 3, 3] K=[60, 3, 29, 31] stored bound 0.230076259 | R2_iv 4.388806e-04 (stored 4.388806e-04) mu 0.007175746 s_req 0.237614626 smin0-s_req 7.726e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 4.51e-04) | PASS  2.1s
rank  1018 box  43425 L=[3, 3, 2, 2] K=[24, 9, 12, 17] stored bound 0.230076404 | R2_iv 1.143872e-03 (stored 1.143872e-03) mu 0.011806865 s_req 0.242950737 smin0-s_req 7.740e-05 | pivots>0: E1 True (min 1.05e-12) smin True (min 4.97e-04) | PASS  2.1s
rank  1019 box    196 L=[1, 1, 0, 0] K=[2, 7, 0, 6] stored bound 0.230076473 | R2_iv 2.002674e-02 (stored 2.002674e-02) mu 0.048306173 s_req 0.298332915 smin0-s_req 7.747e-05 | pivots>0: E1 True (min 3.08e-11) smin True (min 1.10e-03) | PASS  2.1s
rank  1020 box  53441 L=[3, 3, 3, 3] K=[29, 2, 26, 27] stored bound 0.230076486 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008599342 s_req 0.239200214 smin0-s_req 7.749e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 4.43e-04) | PASS  2.1s
rank  1021 box  37661 L=[3, 2, 2, 2] K=[34, 4, 14, 11] stored bound 0.230076495 | R2_iv 1.790599e-03 (stored 1.790599e-03) mu 0.014257877 s_req 0.246048476 smin0-s_req 7.750e-05 | pivots>0: E1 True (min 7.18e-12) smin True (min 5.28e-04) | PASS  2.1s
rank  1022 box   7401 L=[2, 1, 1, 1] K=[4, 5, 3, 8] stored bound 0.230076510 | R2_iv 7.494963e-03 (stored 7.494963e-03) mu 0.028901115 s_req 0.266396078 smin0-s_req 7.751e-05 | pivots>0: E1 True (min 3.50e-11) smin True (min 8.06e-04) | PASS  2.1s
rank  1023 box  51614 L=[3, 3, 3, 2] K=[32, 7, 27, 17] stored bound 0.230076523 | R2_iv 8.525575e-04 (stored 8.525575e-04) mu 0.010582860 s_req 0.241435417 smin0-s_req 7.752e-05 | pivots>0: E1 True (min 6.81e-12) smin True (min 5.10e-04) | PASS  2.1s
rank  1024 box   8853 L=[2, 1, 1, 1] K=[15, 0, 2, 2] stored bound 0.230076576 | R2_iv 7.474580e-03 (stored 7.474580e-03) mu 0.028750185 s_req 0.266224765 smin0-s_req 7.758e-05 | pivots>0: E1 True (min 2.99e-11) smin True (min 5.33e-04) | PASS  2.1s
rank  1025 box  17161 L=[2, 2, 1, 1] K=[18, 1, 4, 11] stored bound 0.230076903 | R2_iv 4.723105e-03 (stored 4.723105e-03) mu 0.023713347 s_req 0.258436452 smin0-s_req 7.790e-05 | pivots>0: E1 True (min 4.56e-12) smin True (min 5.76e-04) | PASS  2.1s
rank  1026 box  40669 L=[3, 3, 2, 2] K=[25, 1, 11, 15] stored bound 0.230076925 | R2_iv 1.152094e-03 (stored 1.152094e-03) mu 0.011890031 s_req 0.243042125 smin0-s_req 7.793e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 4.28e-04) | PASS  2.1s
rank  1027 box  25867 L=[2, 2, 2, 2] K=[8, 2, 13, 15] stored bound 0.230076939 | R2_iv 2.474058e-03 (stored 2.474058e-03) mu 0.017156076 s_req 0.249630134 smin0-s_req 7.794e-05 | pivots>0: E1 True (min 1.20e-11) smin True (min 4.34e-04) | PASS  2.1s
rank  1028 box  33527 L=[3, 2, 2, 2] K=[20, 8, 15, 13] stored bound 0.230077026 | R2_iv 1.787676e-03 (stored 1.787676e-03) mu 0.014325897 s_req 0.246113573 smin0-s_req 7.803e-05 | pivots>0: E1 True (min 7.91e-12) smin True (min 5.53e-04) | PASS  2.1s
rank  1029 box   9562 L=[2, 1, 1, 1] K=[15, 7, 6, 4] stored bound 0.230077241 | R2_iv 7.570077e-03 (stored 7.570077e-03) mu 0.028686402 s_req 0.266256479 smin0-s_req 7.824e-05 | pivots>0: E1 True (min 1.83e-11) smin True (min 6.43e-04) | PASS  2.1s
rank  1030 box  45045 L=[3, 3, 2, 2] K=[35, 7, 14, 14] stored bound 0.230077253 | R2_iv 1.147796e-03 (stored 1.147796e-03) mu 0.011768616 s_req 0.242916413 smin0-s_req 7.825e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 5.33e-04) | PASS  2.1s
rank  1031 box  43734 L=[3, 3, 2, 2] K=[30, 9, 13, 18] stored bound 0.230077298 | R2_iv 1.144427e-03 (stored 1.144427e-03) mu 0.011777956 s_req 0.242922383 smin0-s_req 7.830e-05 | pivots>0: E1 True (min 1.01e-12) smin True (min 5.22e-04) | PASS  2.1s
rank  1032 box   2239 L=[1, 1, 0, 1] K=[15, 5, 0, 9] stored bound 0.230077330 | R2_iv 1.549504e-02 (stored 1.549504e-02) mu 0.043187791 s_req 0.288682826 smin0-s_req 7.833e-05 | pivots>0: E1 True (min 1.90e-11) smin True (min 2.43e-03) | PASS  2.1s
rank  1033 box  39628 L=[3, 3, 2, 2] K=[20, 10, 14, 15] stored bound 0.230077405 | R2_iv 1.144776e-03 (stored 1.144776e-03) mu 0.011822077 s_req 0.242966853 smin0-s_req 7.841e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 4.93e-04) | PASS  2.1s
rank  1034 box  11790 L=[2, 1, 1, 1] K=[29, 6, 7, 5] stored bound 0.230077428 | R2_iv 7.859788e-03 (stored 7.859788e-03) mu 0.030569748 s_req 0.268429536 smin0-s_req 7.843e-05 | pivots>0: E1 True (min 5.21e-11) smin True (min 1.01e-03) | PASS  2.1s
rank  1035 box  28387 L=[2, 2, 2, 2] K=[12, 5, 9, 11] stored bound 0.230077463 | R2_iv 2.461338e-03 (stored 2.461338e-03) mu 0.017119201 s_req 0.249580539 smin0-s_req 7.846e-05 | pivots>0: E1 True (min 1.42e-11) smin True (min 5.51e-04) | PASS  2.1s
rank  1036 box  61204 L=[4, 3, 3, 3] K=[63, 1, 28, 31] stored bound 0.230077486 | R2_iv 4.395575e-04 (stored 4.395575e-04) mu 0.007186618 s_req 0.237626175 smin0-s_req 7.849e-05 | pivots>0: E1 True (min 2.01e-12) smin True (min 4.50e-04) | PASS  2.1s
rank  1037 box   5408 L=[1, 1, 1, 1] K=[11, 6, 5, 4] stored bound 0.230077547 | R2_iv 1.062756e-02 (stored 1.062756e-02) mu 0.034741931 s_req 0.275369492 smin0-s_req 7.855e-05 | pivots>0: E1 True (min 4.92e-11) smin True (min 7.59e-04) | PASS  2.1s
rank  1038 box  15835 L=[2, 2, 1, 1] K=[13, 4, 2, 9] stored bound 0.230077596 | R2_iv 4.692576e-03 (stored 4.692576e-03) mu 0.023603690 s_req 0.258296266 smin0-s_req 7.860e-05 | pivots>0: E1 True (min 3.83e-12) smin True (min 6.62e-04) | PASS  2.1s
rank  1039 box  64357 L=[4, 3, 3, 3] K=[67, 0, 29, 32] stored bound 0.230077626 | R2_iv 4.400196e-04 (stored 4.400196e-04) mu 0.007190091 s_req 0.237630111 smin0-s_req 7.863e-05 | pivots>0: E1 True (min 2.11e-12) smin True (min 4.56e-04) | PASS  2.1s
rank  1040 box  53440 L=[3, 3, 3, 3] K=[29, 2, 27, 26] stored bound 0.230077667 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008600601 s_req 0.239201474 smin0-s_req 7.867e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 4.47e-04) | PASS  2.1s
rank  1041 box   1762 L=[1, 1, 0, 1] K=[10, 6, 2, 12] stored bound 0.230077681 | R2_iv 1.500325e-02 (stored 1.500325e-02) mu 0.041393399 s_req 0.286396649 smin0-s_req 7.868e-05 | pivots>0: E1 True (min 8.34e-12) smin True (min 8.08e-04) | PASS  2.1s
rank  1042 box   1051 L=[1, 1, 0, 1] K=[3, 2, 1, 13] stored bound 0.230077693 | R2_iv 1.479083e-02 (stored 1.479083e-02) mu 0.039809164 s_req 0.284599993 smin0-s_req 7.869e-05 | pivots>0: E1 True (min 7.33e-12) smin True (min 5.40e-04) | PASS  2.1s
rank  1043 box  47620 L=[3, 3, 3, 2] K=[29, 6, 23, 14] stored bound 0.230077836 | R2_iv 8.525631e-04 (stored 8.525631e-04) mu 0.010614713 s_req 0.241467276 smin0-s_req 7.884e-05 | pivots>0: E1 True (min 7.37e-12) smin True (min 5.03e-04) | PASS  2.1s
rank  1044 box  59054 L=[3, 3, 3, 3] K=[33, 1, 28, 36] stored bound 0.230077871 | R2_iv 6.013708e-04 (stored 6.013708e-04) mu 0.008598579 s_req 0.239199949 smin0-s_req 7.887e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 4.66e-04) | PASS  2.1s
rank  1045 box  47487 L=[3, 3, 2, 3] K=[29, 1, 11, 31] stored bound 0.230077876 | R2_iv 8.560148e-04 (stored 8.560148e-04) mu 0.009969729 s_req 0.240825744 smin0-s_req 7.888e-05 | pivots>0: E1 True (min 3.87e-13) smin True (min 4.55e-04) | PASS  2.1s
rank  1046 box  29166 L=[2, 2, 2, 2] K=[12, 10, 15, 13] stored bound 0.230077909 | R2_iv 2.467041e-03 (stored 2.467041e-03) mu 0.017063131 s_req 0.249530172 smin0-s_req 7.891e-05 | pivots>0: E1 True (min 1.32e-11) smin True (min 5.96e-04) | PASS  2.1s
rank  1047 box    202 L=[1, 1, 0, 0] K=[2, 7, 1, 0] stored bound 0.230077915 | R2_iv 2.002674e-02 (stored 2.002674e-02) mu 0.048188066 s_req 0.298214808 smin0-s_req 7.892e-05 | pivots>0: E1 True (min 2.88e-11) smin True (min 8.08e-04) | PASS  2.1s
rank  1048 box  49813 L=[3, 3, 2, 3] K=[25, 9, 13, 30] stored bound 0.230077925 | R2_iv 8.518617e-04 (stored 8.518617e-04) mu 0.009922213 s_req 0.240774074 smin0-s_req 7.892e-05 | pivots>0: E1 True (min 4.08e-13) smin True (min 5.01e-04) | PASS  2.1s
rank  1049 box   2192 L=[1, 1, 1, 0] K=[15, 2, 4, 4] stored bound 0.230078187 | R2_iv 1.532277e-02 (stored 1.532277e-02) mu 0.042205744 s_req 0.287528513 smin0-s_req 7.919e-05 | pivots>0: E1 True (min 1.73e-10) smin True (min 1.84e-03) | PASS  2.1s
rank  1050 box  17019 L=[2, 2, 1, 1] K=[19, 0, 2, 8] stored bound 0.230078237 | R2_iv 4.736706e-03 (stored 4.736706e-03) mu 0.023721901 s_req 0.258458607 smin0-s_req 7.924e-05 | pivots>0: E1 True (min 4.71e-12) smin True (min 7.08e-04) | PASS  2.1s
rank  1051 box  58278 L=[3, 3, 3, 3] K=[32, 5, 28, 31] stored bound 0.230078250 | R2_iv 6.002247e-04 (stored 6.002247e-04) mu 0.008562838 s_req 0.239163063 smin0-s_req 7.925e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 4.98e-04) | PASS  2.1s
rank  1052 box   1850 L=[1, 1, 1, 0] K=[13, 0, 7, 6] stored bound 0.230078447 | R2_iv 1.499322e-02 (stored 1.499322e-02) mu 0.041500627 s_req 0.286493848 smin0-s_req 7.945e-05 | pivots>0: E1 True (min 9.25e-11) smin True (min 7.75e-04) | PASS  2.1s
rank  1053 box  52722 L=[3, 3, 3, 3] K=[27, 2, 27, 28] stored bound 0.230078548 | R2_iv 6.009691e-04 (stored 6.009691e-04) mu 0.008599428 s_req 0.239200397 smin0-s_req 7.955e-05 | pivots>0: E1 True (min 3.57e-12) smin True (min 4.41e-04) | PASS  2.1s
rank  1054 box  62798 L=[4, 3, 3, 3] K=[61, 2, 30, 34] stored bound 0.230078554 | R2_iv 4.391963e-04 (stored 4.391963e-04) mu 0.007185752 s_req 0.237624948 smin0-s_req 7.955e-05 | pivots>0: E1 True (min 1.97e-12) smin True (min 4.56e-04) | PASS  2.1s
rank  1055 box  55888 L=[3, 3, 3, 3] K=[29, 4, 30, 37] stored bound 0.230078603 | R2_iv 6.002431e-04 (stored 6.002431e-04) mu 0.008588188 s_req 0.239188431 smin0-s_req 7.960e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 4.68e-04) | PASS  2.1s
rank  1056 box   9797 L=[2, 1, 1, 1] K=[16, 0, 4, 15] stored bound 0.230078692 | R2_iv 7.476165e-03 (stored 7.476165e-03) mu 0.028640237 s_req 0.266116401 smin0-s_req 7.969e-05 | pivots>0: E1 True (min 3.11e-11) smin True (min 4.96e-04) | PASS  2.1s
rank  1057 box  14109 L=[2, 2, 1, 1] K=[8, 6, 3, 8] stored bound 0.230078832 | R2_iv 4.700303e-03 (stored 4.700303e-03) mu 0.023688157 s_req 0.258388460 smin0-s_req 7.983e-05 | pivots>0: E1 True (min 4.23e-12) smin True (min 6.29e-04) | PASS  2.1s
rank  1058 box  56615 L=[3, 3, 3, 3] K=[28, 8, 30, 30] stored bound 0.230078952 | R2_iv 5.994283e-04 (stored 5.994283e-04) mu 0.008564449 s_req 0.239163877 smin0-s_req 7.995e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 5.03e-04) | PASS  2.1s
rank  1059 box  22210 L=[2, 2, 1, 2] K=[12, 0, 7, 6] stored bound 0.230078994 | R2_iv 3.515411e-03 (stored 3.515411e-03) mu 0.019989886 s_req 0.253505297 smin0-s_req 7.999e-05 | pivots>0: E1 True (min 1.79e-12) smin True (min 4.04e-04) | PASS  2.1s
rank  1060 box  45277 L=[3, 3, 2, 2] K=[34, 1, 12, 19] stored bound 0.230079061 | R2_iv 1.151636e-03 (stored 1.151636e-03) mu 0.011875677 s_req 0.243027313 smin0-s_req 8.006e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 4.94e-04) | PASS  2.1s
rank  1061 box  44432 L=[3, 3, 2, 2] K=[37, 0, 11, 15] stored bound 0.230079108 | R2_iv 1.154303e-03 (stored 1.154303e-03) mu 0.011868882 s_req 0.243023185 smin0-s_req 8.011e-05 | pivots>0: E1 True (min 1.51e-12) smin True (min 5.25e-04) | PASS  2.1s
rank  1062 box  16562 L=[2, 2, 1, 1] K=[12, 12, 5, 6] stored bound 0.230079127 | R2_iv 4.729883e-03 (stored 4.729883e-03) mu 0.023703479 s_req 0.258433362 smin0-s_req 8.013e-05 | pivots>0: E1 True (min 4.65e-12) smin True (min 6.92e-04) | PASS  2.1s
rank  1063 box   9479 L=[2, 1, 1, 1] K=[15, 7, 5, 5] stored bound 0.230079178 | R2_iv 7.570077e-03 (stored 7.570077e-03) mu 0.028656754 s_req 0.266226830 smin0-s_req 8.018e-05 | pivots>0: E1 True (min 2.09e-11) smin True (min 7.14e-04) | PASS  2.1s
rank  1064 box  48706 L=[3, 3, 3, 2] K=[29, 4, 24, 12] stored bound 0.230079363 | R2_iv 8.536617e-04 (stored 8.536617e-04) mu 0.010640166 s_req 0.241493828 smin0-s_req 8.036e-05 | pivots>0: E1 True (min 7.44e-12) smin True (min 4.84e-04) | PASS  2.1s
rank  1065 box  39583 L=[3, 3, 2, 2] K=[21, 8, 13, 14] stored bound 0.230079432 | R2_iv 1.145627e-03 (stored 1.145627e-03) mu 0.011826960 s_req 0.242972587 smin0-s_req 8.043e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 4.89e-04) | PASS  2.1s
rank  1066 box    489 L=[1, 1, 0, 0] K=[13, 4, 3, 0] stored bound 0.230079521 | R2_iv 2.052635e-02 (stored 2.052635e-02) mu 0.049592330 s_req 0.300118682 smin0-s_req 8.052e-05 | pivots>0: E1 True (min 4.94e-11) smin True (min 7.71e-04) | PASS  2.1s
rank  1067 box  35131 L=[3, 2, 2, 2] K=[24, 5, 10, 13] stored bound 0.230079541 | R2_iv 1.786561e-03 (stored 1.786561e-03) mu 0.014318544 s_req 0.246105105 smin0-s_req 8.054e-05 | pivots>0: E1 True (min 7.50e-12) smin True (min 5.53e-04) | PASS  2.1s
rank  1068 box  43573 L=[3, 3, 2, 2] K=[26, 13, 14, 17] stored bound 0.230079637 | R2_iv 1.143108e-03 (stored 1.143108e-03) mu 0.011778312 s_req 0.242921420 smin0-s_req 8.064e-05 | pivots>0: E1 True (min 1.04e-12) smin True (min 5.50e-04) | PASS  2.1s
rank  1069 box  40697 L=[3, 3, 2, 2] K=[27, 3, 10, 15] stored bound 0.230079697 | R2_iv 1.148571e-03 (stored 1.148571e-03) mu 0.011853307 s_req 0.243001879 smin0-s_req 8.070e-05 | pivots>0: E1 True (min 1.18e-12) smin True (min 4.85e-04) | PASS  2.1s
rank  1070 box  61048 L=[4, 3, 3, 3] K=[57, 1, 31, 30] stored bound 0.230079720 | R2_iv 4.395817e-04 (stored 4.395817e-04) mu 0.007193727 s_req 0.237633309 smin0-s_req 8.072e-05 | pivots>0: E1 True (min 1.89e-12) smin True (min 4.41e-04) | PASS  2.1s
rank  1071 box  63852 L=[4, 3, 3, 3] K=[67, 0, 30, 29] stored bound 0.230079801 | R2_iv 4.400196e-04 (stored 4.400196e-04) mu 0.007195743 s_req 0.237635763 smin0-s_req 8.080e-05 | pivots>0: E1 True (min 2.11e-12) smin True (min 4.67e-04) | PASS  2.1s
rank  1072 box  55943 L=[3, 3, 3, 3] K=[29, 6, 31, 36] stored bound 0.230079870 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008575063 s_req 0.239174845 smin0-s_req 8.087e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 4.94e-04) | PASS  2.1s
rank  1073 box  21870 L=[2, 2, 2, 1] K=[15, 3, 6, 5] stored bound 0.230079923 | R2_iv 3.499046e-03 (stored 3.499046e-03) mu 0.021190676 s_req 0.254689722 smin0-s_req 8.092e-05 | pivots>0: E1 True (min 2.87e-11) smin True (min 6.24e-04) | PASS  2.1s
rank  1074 box  58287 L=[3, 3, 3, 3] K=[33, 4, 30, 28] stored bound 0.230079986 | R2_iv 6.005535e-04 (stored 6.005535e-04) mu 0.008572651 s_req 0.239173205 smin0-s_req 8.099e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 5.03e-04) | PASS  2.1s
rank  1075 box  63906 L=[4, 3, 3, 3] K=[64, 2, 29, 31] stored bound 0.230080071 | R2_iv 4.392579e-04 (stored 4.392579e-04) mu 0.007177918 s_req 0.237617176 smin0-s_req 8.107e-05 | pivots>0: E1 True (min 2.03e-12) smin True (min 4.77e-04) | PASS  2.1s
rank  1076 box  47501 L=[3, 3, 2, 3] K=[29, 2, 11, 29] stored bound 0.230080223 | R2_iv 8.553023e-04 (stored 8.553023e-04) mu 0.009960139 s_req 0.240815442 smin0-s_req 8.122e-05 | pivots>0: E1 True (min 3.88e-13) smin True (min 4.79e-04) | PASS  2.1s
rank  1077 box  23831 L=[2, 2, 2, 1] K=[17, 5, 11, 10] stored bound 0.230080295 | R2_iv 3.504066e-03 (stored 3.504066e-03) mu 0.021026190 s_req 0.254530256 smin0-s_req 8.129e-05 | pivots>0: E1 True (min 2.32e-11) smin True (min 6.20e-04) | PASS  2.1s
rank  1078 box  53263 L=[3, 3, 3, 3] K=[25, 5, 29, 30] stored bound 0.230080316 | R2_iv 6.001228e-04 (stored 6.001228e-04) mu 0.008585204 s_req 0.239185327 smin0-s_req 8.132e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 4.70e-04) | PASS  2.1s
rank  1079 box  54891 L=[3, 3, 3, 3] K=[25, 5, 31, 34] stored bound 0.230080368 | R2_iv 6.001228e-04 (stored 6.001228e-04) mu 0.008586713 s_req 0.239186836 smin0-s_req 8.137e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 4.68e-04) | PASS  2.1s
rank  1080 box  39621 L=[3, 3, 2, 2] K=[20, 9, 15, 14] stored bound 0.230080416 | R2_iv 1.145419e-03 (stored 1.145419e-03) mu 0.011826076 s_req 0.242971496 smin0-s_req 8.142e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 4.99e-04) | PASS  2.1s
rank  1081 box  56003 L=[3, 3, 3, 3] K=[31, 5, 31, 36] stored bound 0.230080459 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008574650 s_req 0.239174766 smin0-s_req 8.146e-05 | pivots>0: E1 True (min 3.60e-12) smin True (min 5.00e-04) | PASS  2.1s
rank  1082 box  34906 L=[3, 2, 2, 2] K=[26, 3, 15, 22] stored bound 0.230080534 | R2_iv 1.788553e-03 (stored 1.788553e-03) mu 0.014334129 s_req 0.246122682 smin0-s_req 8.153e-05 | pivots>0: E1 True (min 7.10e-12) smin True (min 4.83e-04) | PASS  2.1s
rank  1083 box  10962 L=[2, 1, 1, 1] K=[22, 4, 7, 6] stored bound 0.230080613 | R2_iv 7.569382e-03 (stored 7.569382e-03) mu 0.028335285 s_req 0.265904667 smin0-s_req 8.161e-05 | pivots>0: E1 True (min 1.75e-11) smin True (min 7.27e-04) | PASS  2.1s
rank  1084 box  55821 L=[3, 3, 3, 3] K=[31, 6, 29, 33] stored bound 0.230080666 | R2_iv 5.999379e-04 (stored 5.999379e-04) mu 0.008563595 s_req 0.239163532 smin0-s_req 8.167e-05 | pivots>0: E1 True (min 3.51e-12) smin True (min 5.14e-04) | PASS  2.1s
rank  1085 box  53722 L=[3, 3, 3, 3] K=[28, 3, 26, 28] stored bound 0.230080684 | R2_iv 6.005536e-04 (stored 6.005536e-04) mu 0.008593547 s_req 0.239194101 smin0-s_req 8.168e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 4.71e-04) | PASS  2.1s
rank  1086 box  54285 L=[3, 3, 3, 3] K=[30, 5, 28, 27] stored bound 0.230080736 | R2_iv 6.000378e-04 (stored 6.000378e-04) mu 0.008577916 s_req 0.239177954 smin0-s_req 8.174e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 4.98e-04) | PASS  2.1s
rank  1087 box  62734 L=[4, 3, 3, 3] K=[61, 2, 29, 33] stored bound 0.230080797 | R2_iv 4.391963e-04 (stored 4.391963e-04) mu 0.007183509 s_req 0.237622705 smin0-s_req 8.180e-05 | pivots>0: E1 True (min 1.96e-12) smin True (min 4.71e-04) | PASS  2.1s
rank  1088 box  15123 L=[2, 2, 1, 1] K=[15, 2, 1, 6] stored bound 0.230080964 | R2_iv 4.705270e-03 (stored 4.705270e-03) mu 0.023659797 s_req 0.258365067 smin0-s_req 8.196e-05 | pivots>0: E1 True (min 4.39e-12) smin True (min 7.01e-04) | PASS  2.1s
rank  1089 box  49897 L=[3, 3, 2, 3] K=[24, 11, 15, 31] stored bound 0.230080995 | R2_iv 8.515521e-04 (stored 8.515521e-04) mu 0.009921843 s_req 0.240773395 smin0-s_req 8.200e-05 | pivots>0: E1 True (min 4.07e-13) smin True (min 5.30e-04) | PASS  2.1s
rank  1090 box  59000 L=[3, 3, 3, 3] K=[35, 1, 28, 33] stored bound 0.230081151 | R2_iv 6.016196e-04 (stored 6.016196e-04) mu 0.008584158 s_req 0.239185778 smin0-s_req 8.215e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 5.04e-04) | PASS  2.1s
rank  1091 box  15132 L=[2, 2, 1, 1] K=[13, 0, 1, 8] stored bound 0.230081155 | R2_iv 4.726521e-03 (stored 4.726521e-03) mu 0.023790286 s_req 0.258516807 smin0-s_req 8.216e-05 | pivots>0: E1 True (min 4.13e-12) smin True (min 5.77e-04) | PASS  2.1s
rank  1092 box  51859 L=[3, 3, 3, 2] K=[36, 0, 29, 19] stored bound 0.230081162 | R2_iv 8.565127e-04 (stored 8.565127e-04) mu 0.010650075 s_req 0.241506588 smin0-s_req 8.216e-05 | pivots>0: E1 True (min 7.29e-12) smin True (min 5.02e-04) | PASS  2.1s
rank  1093 box  32192 L=[3, 2, 2, 2] K=[21, 0, 13, 17] stored bound 0.230081215 | R2_iv 1.800222e-03 (stored 1.800222e-03) mu 0.014400073 s_req 0.246200295 smin0-s_req 8.222e-05 | pivots>0: E1 True (min 6.20e-12) smin True (min 4.20e-04) | PASS  2.1s
rank  1094 box  53061 L=[3, 3, 3, 3] K=[27, 6, 31, 27] stored bound 0.230081297 | R2_iv 5.997532e-04 (stored 5.997532e-04) mu 0.008580793 s_req 0.239180546 smin0-s_req 8.230e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 4.92e-04) | PASS  2.1s
rank  1095 box  48535 L=[3, 3, 2, 3] K=[25, 7, 13, 27] stored bound 0.230081392 | R2_iv 8.524754e-04 (stored 8.524754e-04) mu 0.009933637 s_req 0.240786113 smin0-s_req 8.239e-05 | pivots>0: E1 True (min 4.21e-13) smin True (min 5.00e-04) | PASS  2.1s
rank  1096 box  44285 L=[3, 3, 2, 2] K=[35, 3, 11, 15] stored bound 0.230081498 | R2_iv 1.150067e-03 (stored 1.150067e-03) mu 0.011819708 s_req 0.242969775 smin0-s_req 8.250e-05 | pivots>0: E1 True (min 1.33e-12) smin True (min 5.51e-04) | PASS  2.1s
rank  1097 box  61050 L=[4, 3, 3, 3] K=[57, 1, 30, 31] stored bound 0.230081503 | R2_iv 4.395817e-04 (stored 4.395817e-04) mu 0.007191349 s_req 0.237630931 smin0-s_req 8.250e-05 | pivots>0: E1 True (min 1.88e-12) smin True (min 4.51e-04) | PASS  2.1s
rank  1098 box  57877 L=[3, 3, 3, 3] K=[34, 0, 28, 26] stored bound 0.230081561 | R2_iv 6.018202e-04 (stored 6.018202e-04) mu 0.008605847 s_req 0.239207667 smin0-s_req 8.256e-05 | pivots>0: E1 True (min 3.85e-12) smin True (min 4.85e-04) | PASS  2.1s
rank  1099 box  48227 L=[3, 3, 3, 2] K=[30, 5, 29, 11] stored bound 0.230081700 | R2_iv 8.530313e-04 (stored 8.530313e-04) mu 0.010619394 s_req 0.241472425 smin0-s_req 8.270e-05 | pivots>0: E1 True (min 7.48e-12) smin True (min 5.00e-04) | PASS  2.1s
rank  1100 box  55425 L=[3, 3, 3, 3] K=[28, 3, 30, 37] stored bound 0.230081726 | R2_iv 6.005536e-04 (stored 6.005536e-04) mu 0.008595836 s_req 0.239196390 smin0-s_req 8.273e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 4.70e-04) | PASS  2.1s
rank  1101 box  22209 L=[2, 2, 1, 2] K=[12, 1, 6, 6] stored bound 0.230081807 | R2_iv 3.509186e-03 (stored 3.509186e-03) mu 0.019955825 s_req 0.253465011 smin0-s_req 8.281e-05 | pivots>0: E1 True (min 1.91e-12) smin True (min 4.44e-04) | PASS  2.1s
rank  1102 box  18289 L=[2, 2, 1, 1] K=[20, 1, 3, 6] stored bound 0.230081843 | R2_iv 4.737256e-03 (stored 4.737256e-03) mu 0.023641167 s_req 0.258378423 smin0-s_req 8.284e-05 | pivots>0: E1 True (min 5.61e-12) smin True (min 7.29e-04) | PASS  2.1s
rank  1103 box  59001 L=[3, 3, 3, 3] K=[34, 1, 28, 35] stored bound 0.230081866 | R2_iv 6.014795e-04 (stored 6.014795e-04) mu 0.008593490 s_req 0.239194969 smin0-s_req 8.287e-05 | pivots>0: E1 True (min 3.72e-12) smin True (min 4.99e-04) | PASS  2.1s
rank  1104 box  39534 L=[3, 3, 2, 2] K=[23, 11, 13, 13] stored bound 0.230081882 | R2_iv 1.143258e-03 (stored 1.143258e-03) mu 0.011799622 s_req 0.242942880 smin0-s_req 8.288e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 5.39e-04) | PASS  2.1s
rank  1105 box  55557 L=[3, 3, 3, 3] K=[29, 4, 26, 33] stored bound 0.230081961 | R2_iv 6.002431e-04 (stored 6.002431e-04) mu 0.008582336 s_req 0.239182579 smin0-s_req 8.296e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 4.97e-04) | PASS  2.1s
rank  1106 box  49320 L=[3, 3, 3, 2] K=[29, 5, 27, 19] stored bound 0.230082064 | R2_iv 8.530596e-04 (stored 8.530596e-04) mu 0.010628692 s_req 0.241481751 smin0-s_req 8.306e-05 | pivots>0: E1 True (min 7.09e-12) smin True (min 5.04e-04) | PASS  2.1s
rank  1107 box  52621 L=[3, 3, 3, 3] K=[27, 2, 28, 27] stored bound 0.230082091 | R2_iv 6.009691e-04 (stored 6.009691e-04) mu 0.008600963 s_req 0.239201932 smin0-s_req 8.309e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 4.59e-04) | PASS  2.1s
rank  1108 box  27165 L=[2, 2, 2, 2] K=[9, 9, 13, 18] stored bound 0.230082165 | R2_iv 2.464378e-03 (stored 2.464378e-03) mu 0.017152119 s_req 0.249616497 smin0-s_req 8.316e-05 | pivots>0: E1 True (min 1.63e-11) smin True (min 6.27e-04) | PASS  2.1s
rank  1109 box  58748 L=[3, 3, 3, 3] K=[33, 1, 27, 35] stored bound 0.230082206 | R2_iv 6.013708e-04 (stored 6.013708e-04) mu 0.008596379 s_req 0.239197750 smin0-s_req 8.321e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 4.95e-04) | PASS  2.1s
rank  1110 box  37965 L=[3, 2, 2, 2] K=[37, 4, 15, 16] stored bound 0.230082249 | R2_iv 1.793748e-03 (stored 1.793748e-03) mu 0.014219527 s_req 0.246013275 smin0-s_req 8.325e-05 | pivots>0: E1 True (min 6.95e-12) smin True (min 5.97e-04) | PASS  2.1s
rank  1111 box  43718 L=[3, 3, 2, 2] K=[28, 10, 13, 18] stored bound 0.230082332 | R2_iv 1.143598e-03 (stored 1.143598e-03) mu 0.011780412 s_req 0.242924011 smin0-s_req 8.333e-05 | pivots>0: E1 True (min 1.01e-12) smin True (min 5.54e-04) | PASS  2.1s
rank  1112 box  50375 L=[3, 3, 2, 3] K=[24, 8, 15, 36] stored bound 0.230082486 | R2_iv 8.521938e-04 (stored 8.521938e-04) mu 0.009936425 s_req 0.240788619 smin0-s_req 8.349e-05 | pivots>0: E1 True (min 4.22e-13) smin True (min 5.08e-04) | PASS  2.1s
rank  1113 box  50641 L=[3, 3, 3, 2] K=[29, 9, 29, 18] stored bound 0.230082490 | R2_iv 8.517082e-04 (stored 8.517082e-04) mu 0.010588998 s_req 0.241440706 smin0-s_req 8.349e-05 | pivots>0: E1 True (min 7.10e-12) smin True (min 5.42e-04) | PASS  2.1s
rank  1114 box   1675 L=[1, 1, 0, 1] K=[11, 5, 2, 11] stored bound 0.230082530 | R2_iv 1.502121e-02 (stored 1.502121e-02) mu 0.041257469 s_req 0.286278684 smin0-s_req 8.353e-05 | pivots>0: E1 True (min 8.89e-12) smin True (min 9.30e-04) | PASS  2.1s
rank  1115 box  59044 L=[3, 3, 3, 3] K=[35, 2, 31, 34] stored bound 0.230082572 | R2_iv 6.013368e-04 (stored 6.013368e-04) mu 0.008578637 s_req 0.239179973 smin0-s_req 8.357e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 5.18e-04) | PASS  2.1s
rank  1116 box  63831 L=[4, 3, 3, 3] K=[67, 0, 29, 30] stored bound 0.230082694 | R2_iv 4.400196e-04 (stored 4.400196e-04) mu 0.007193168 s_req 0.237633187 smin0-s_req 8.369e-05 | pivots>0: E1 True (min 2.11e-12) smin True (min 4.85e-04) | PASS  2.1s
rank  1117 box  54204 L=[3, 3, 3, 3] K=[29, 5, 31, 26] stored bound 0.230082723 | R2_iv 5.999916e-04 (stored 5.999916e-04) mu 0.008581772 s_req 0.239181763 smin0-s_req 8.372e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 5.01e-04) | PASS  2.1s
rank  1118 box  26696 L=[2, 2, 2, 2] K=[11, 7, 14, 21] stored bound 0.230082805 | R2_iv 2.461519e-03 (stored 2.461519e-03) mu 0.017080280 s_req 0.249541799 smin0-s_req 8.381e-05 | pivots>0: E1 True (min 1.31e-11) smin True (min 5.74e-04) | PASS  2.1s
rank  1119 box  16506 L=[2, 2, 1, 1] K=[13, 8, 7, 12] stored bound 0.230082831 | R2_iv 4.695644e-03 (stored 4.695644e-03) mu 0.023480548 s_req 0.258176192 smin0-s_req 8.383e-05 | pivots>0: E1 True (min 4.14e-12) smin True (min 5.87e-04) | PASS  2.1s
rank  1120 box  38791 L=[3, 3, 2, 2] K=[21, 6, 13, 15] stored bound 0.230082882 | R2_iv 1.147530e-03 (stored 1.147530e-03) mu 0.011840292 s_req 0.242987822 smin0-s_req 8.388e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 4.89e-04) | PASS  2.1s
rank  1121 box  32195 L=[3, 2, 2, 2] K=[21, 1, 12, 17] stored bound 0.230082911 | R2_iv 1.796429e-03 (stored 1.796429e-03) mu 0.014382296 s_req 0.246178724 smin0-s_req 8.391e-05 | pivots>0: E1 True (min 6.52e-12) smin True (min 4.56e-04) | PASS  2.1s
rank  1122 box   3245 L=[1, 1, 1, 1] K=[2, 4, 0, 6] stored bound 0.230082930 | R2_iv 1.042730e-02 (stored 1.042730e-02) mu 0.034390033 s_req 0.274817332 smin0-s_req 8.393e-05 | pivots>0: E1 True (min 6.20e-11) smin True (min 8.81e-04) | PASS  2.1s
rank  1123 box   8776 L=[2, 1, 1, 1] K=[13, 1, 0, 4] stored bound 0.230083019 | R2_iv 7.456076e-03 (stored 7.456076e-03) mu 0.028694264 s_req 0.266150340 smin0-s_req 8.402e-05 | pivots>0: E1 True (min 2.56e-11) smin True (min 6.92e-04) | PASS  2.1s
rank  1124 box  37048 L=[3, 2, 2, 2] K=[33, 2, 13, 9] stored bound 0.230083128 | R2_iv 1.791499e-03 (stored 1.791499e-03) mu 0.014330447 s_req 0.246121946 smin0-s_req 8.413e-05 | pivots>0: E1 True (min 7.89e-12) smin True (min 5.27e-04) | PASS  2.1s
rank  1125 box  26252 L=[2, 2, 2, 2] K=[10, 6, 9, 14] stored bound 0.230083343 | R2_iv 2.462034e-03 (stored 2.462034e-03) mu 0.017153218 s_req 0.249615252 smin0-s_req 8.434e-05 | pivots>0: E1 True (min 1.45e-11) smin True (min 6.14e-04) | PASS  2.1s
rank  1126 box  45747 L=[3, 3, 2, 2] K=[34, 4, 15, 20] stored bound 0.230083393 | R2_iv 1.148716e-03 (stored 1.148716e-03) mu 0.011826117 s_req 0.242974833 smin0-s_req 8.439e-05 | pivots>0: E1 True (min 1.17e-12) smin True (min 5.31e-04) | PASS  2.1s
rank  1127 box  14927 L=[2, 2, 1, 1] K=[11, 13, 7, 5] stored bound 0.230083652 | R2_iv 4.739922e-03 (stored 4.739922e-03) mu 0.023775483 s_req 0.258515404 smin0-s_req 8.465e-05 | pivots>0: E1 True (min 5.31e-12) smin True (min 6.81e-04) | PASS  2.1s
rank  1128 box  15938 L=[2, 2, 1, 1] K=[13, 4, 5, 2] stored bound 0.230083756 | R2_iv 4.692576e-03 (stored 4.692576e-03) mu 0.023554014 s_req 0.258246590 smin0-s_req 8.476e-05 | pivots>0: E1 True (min 4.16e-12) smin True (min 5.36e-04) | PASS  2.1s
rank  1129 box  55371 L=[3, 3, 3, 3] K=[28, 0, 29, 36] stored bound 0.230083803 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008610511 s_req 0.239212244 smin0-s_req 8.480e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 4.53e-04) | PASS  2.1s
rank  1130 box  26331 L=[2, 2, 2, 2] K=[9, 6, 11, 18] stored bound 0.230083821 | R2_iv 2.463265e-03 (stored 2.463265e-03) mu 0.017157570 s_req 0.249620835 smin0-s_req 8.482e-05 | pivots>0: E1 True (min 1.46e-11) smin True (min 5.88e-04) | PASS  2.1s
rank  1131 box  54414 L=[3, 3, 3, 3] K=[30, 7, 31, 29] stored bound 0.230084018 | R2_iv 5.996931e-04 (stored 5.996931e-04) mu 0.008562945 s_req 0.239162638 smin0-s_req 8.502e-05 | pivots>0: E1 True (min 3.56e-12) smin True (min 5.36e-04) | PASS  2.1s
rank  1132 box  29751 L=[2, 2, 2, 2] K=[18, 0, 10, 9] stored bound 0.230084041 | R2_iv 2.473027e-03 (stored 2.473027e-03) mu 0.017190958 s_req 0.249663985 smin0-s_req 8.504e-05 | pivots>0: E1 True (min 1.53e-11) smin True (min 5.57e-04) | PASS  2.1s
rank  1133 box   4023 L=[1, 1, 1, 1] K=[4, 7, 6, 12] stored bound 0.230084123 | R2_iv 1.046497e-02 (stored 1.046497e-02) mu 0.034208339 s_req 0.274673311 smin0-s_req 8.512e-05 | pivots>0: E1 True (min 6.88e-11) smin True (min 7.34e-04) | PASS  2.1s
rank  1134 box  47517 L=[3, 3, 2, 3] K=[29, 2, 11, 31] stored bound 0.230084188 | R2_iv 8.553023e-04 (stored 8.553023e-04) mu 0.009960140 s_req 0.240815442 smin0-s_req 8.519e-05 | pivots>0: E1 True (min 3.91e-13) smin True (min 5.03e-04) | PASS  2.1s
rank  1135 box  39025 L=[3, 3, 2, 2] K=[21, 4, 14, 16] stored bound 0.230084238 | R2_iv 1.149999e-03 (stored 1.149999e-03) mu 0.011855851 s_req 0.243005851 smin0-s_req 8.524e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 4.70e-04) | PASS  2.1s
rank  1136 box  26695 L=[2, 2, 2, 2] K=[10, 7, 15, 21] stored bound 0.230084248 | R2_iv 2.461980e-03 (stored 2.461980e-03) mu 0.017096017 s_req 0.249557996 smin0-s_req 8.525e-05 | pivots>0: E1 True (min 1.40e-11) smin True (min 5.78e-04) | PASS  2.1s
rank  1137 box  48402 L=[3, 3, 2, 3] K=[27, 0, 15, 24] stored bound 0.230084324 | R2_iv 8.566925e-04 (stored 8.566925e-04) mu 0.009981713 s_req 0.240838405 smin0-s_req 8.532e-05 | pivots>0: E1 True (min 4.12e-13) smin True (min 4.47e-04) | PASS  2.1s
rank  1138 box  54203 L=[3, 3, 3, 3] K=[29, 5, 30, 26] stored bound 0.230084379 | R2_iv 5.999916e-04 (stored 5.999916e-04) mu 0.008581721 s_req 0.239181712 smin0-s_req 8.538e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 5.11e-04) | PASS  2.1s
rank  1139 box  16707 L=[2, 2, 1, 1] K=[14, 14, 7, 6] stored bound 0.230084388 | R2_iv 4.777394e-03 (stored 4.777394e-03) mu 0.023964039 s_req 0.258741433 smin0-s_req 8.539e-05 | pivots>0: E1 True (min 6.08e-12) smin True (min 6.93e-04) | PASS  2.1s
rank  1140 box  16113 L=[2, 2, 1, 1] K=[15, 5, 6, 2] stored bound 0.230084414 | R2_iv 4.694863e-03 (stored 4.694863e-03) mu 0.023485620 s_req 0.258180482 smin0-s_req 8.541e-05 | pivots>0: E1 True (min 3.91e-12) smin True (min 5.64e-04) | PASS  2.1s
rank  1141 box  61216 L=[4, 3, 3, 3] K=[62, 1, 30, 28] stored bound 0.230084417 | R2_iv 4.395440e-04 (stored 4.395440e-04) mu 0.007194559 s_req 0.237634103 smin0-s_req 8.542e-05 | pivots>0: E1 True (min 1.99e-12) smin True (min 4.83e-04) | PASS  2.1s
rank  1142 box  51789 L=[3, 3, 3, 2] K=[38, 0, 27, 16] stored bound 0.230084472 | R2_iv 8.568790e-04 (stored 8.568790e-04) mu 0.010619838 s_req 0.241476717 smin0-s_req 8.547e-05 | pivots>0: E1 True (min 7.12e-12) smin True (min 5.51e-04) | PASS  2.1s
rank  1143 box  61170 L=[4, 3, 3, 3] K=[60, 0, 29, 29] stored bound 0.230084603 | R2_iv 4.399252e-04 (stored 4.399252e-04) mu 0.007201681 s_req 0.237641606 smin0-s_req 8.560e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 4.68e-04) | PASS  2.1s
rank  1144 box  54607 L=[3, 3, 3, 3] K=[26, 0, 31, 33] stored bound 0.230084611 | R2_iv 6.019551e-04 (stored 6.019551e-04) mu 0.008601693 s_req 0.239203648 smin0-s_req 8.561e-05 | pivots>0: E1 True (min 3.57e-12) smin True (min 4.45e-04) | PASS  2.1s
rank  1145 box  35273 L=[3, 2, 2, 2] K=[31, 4, 10, 13] stored bound 0.230084684 | R2_iv 1.788471e-03 (stored 1.788471e-03) mu 0.014284139 s_req 0.246072610 smin0-s_req 8.568e-05 | pivots>0: E1 True (min 7.95e-12) smin True (min 6.08e-04) | PASS  2.1s
rank  1146 box  25562 L=[2, 2, 2, 2] K=[9, 3, 10, 14] stored bound 0.230084858 | R2_iv 2.468283e-03 (stored 2.468283e-03) mu 0.017172567 s_req 0.249640850 smin0-s_req 8.586e-05 | pivots>0: E1 True (min 1.26e-11) smin True (min 5.26e-04) | PASS  2.1s
rank  1147 box  51105 L=[3, 3, 3, 2] K=[35, 2, 24, 14] stored bound 0.230084896 | R2_iv 8.550537e-04 (stored 8.550537e-04) mu 0.010619417 s_req 0.241474471 smin0-s_req 8.590e-05 | pivots>0: E1 True (min 7.44e-12) smin True (min 5.51e-04) | PASS  2.1s
rank  1148 box  43867 L=[3, 3, 2, 2] K=[28, 12, 15, 18] stored bound 0.230084925 | R2_iv 1.143508e-03 (stored 1.143508e-03) mu 0.011767745 s_req 0.242911253 smin0-s_req 8.593e-05 | pivots>0: E1 True (min 1.03e-12) smin True (min 5.80e-04) | PASS  2.1s
rank  1149 box  41877 L=[3, 3, 2, 2] K=[29, 5, 15, 10] stored bound 0.230084989 | R2_iv 1.146376e-03 (stored 1.146376e-03) mu 0.011827627 s_req 0.242974003 smin0-s_req 8.599e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 5.11e-04) | PASS  2.1s
rank  1150 box   9803 L=[2, 1, 1, 1] K=[17, 1, 5, 15] stored bound 0.230085013 | R2_iv 7.466161e-03 (stored 7.466161e-03) mu 0.028429605 s_req 0.265895767 smin0-s_req 8.601e-05 | pivots>0: E1 True (min 2.78e-11) smin True (min 5.71e-04) | PASS  2.1s
rank  1151 box  53248 L=[3, 3, 3, 3] K=[25, 5, 30, 29] stored bound 0.230085189 | R2_iv 6.001228e-04 (stored 6.001228e-04) mu 0.008586807 s_req 0.239186930 smin0-s_req 8.619e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 4.96e-04) | PASS  2.1s
rank  1152 box  21974 L=[2, 2, 2, 1] K=[15, 0, 5, 9] stored bound 0.230085197 | R2_iv 3.514514e-03 (stored 3.514514e-03) mu 0.021358050 s_req 0.254872564 smin0-s_req 8.620e-05 | pivots>0: E1 True (min 2.39e-11) smin True (min 6.11e-04) | PASS  2.1s
rank  1153 box  54967 L=[3, 3, 3, 3] K=[27, 7, 28, 32] stored bound 0.230085343 | R2_iv 5.995544e-04 (stored 5.995544e-04) mu 0.008571424 s_req 0.239170979 smin0-s_req 8.634e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 5.31e-04) | PASS  2.1s
rank  1154 box  27865 L=[2, 2, 2, 2] K=[14, 3, 8, 18] stored bound 0.230085343 | R2_iv 2.463436e-03 (stored 2.463436e-03) mu 0.017152091 s_req 0.249615526 smin0-s_req 8.634e-05 | pivots>0: E1 True (min 1.26e-11) smin True (min 6.16e-04) | PASS  2.1s
rank  1155 box  61005 L=[4, 3, 3, 3] K=[58, 1, 31, 29] stored bound 0.230085401 | R2_iv 4.395601e-04 (stored 4.395601e-04) mu 0.007195402 s_req 0.237634962 smin0-s_req 8.640e-05 | pivots>0: E1 True (min 1.91e-12) smin True (min 4.74e-04) | PASS  2.1s
rank  1156 box  32220 L=[3, 2, 2, 2] K=[21, 0, 14, 18] stored bound 0.230085421 | R2_iv 1.800222e-03 (stored 1.800222e-03) mu 0.014407629 s_req 0.246207851 smin0-s_req 8.642e-05 | pivots>0: E1 True (min 6.15e-12) smin True (min 4.38e-04) | PASS  2.1s
rank  1157 box  51290 L=[3, 3, 3, 2] K=[34, 7, 30, 15] stored bound 0.230085437 | R2_iv 8.531169e-04 (stored 8.531169e-04) mu 0.010561335 s_req 0.241414452 smin0-s_req 8.644e-05 | pivots>0: E1 True (min 7.14e-12) smin True (min 5.77e-04) | PASS  2.1s
rank  1158 box  50170 L=[3, 3, 3, 2] K=[28, 11, 28, 15] stored bound 0.230085445 | R2_iv 8.514678e-04 (stored 8.514678e-04) mu 0.010579218 s_req 0.241430685 smin0-s_req 8.644e-05 | pivots>0: E1 True (min 7.62e-12) smin True (min 5.79e-04) | PASS  2.1s
rank  1159 box  42182 L=[3, 3, 2, 2] K=[28, 1, 13, 20] stored bound 0.230085555 | R2_iv 1.151087e-03 (stored 1.151087e-03) mu 0.011891331 s_req 0.243042418 smin0-s_req 8.656e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 4.77e-04) | PASS  2.1s
rank  1160 box  44273 L=[3, 3, 2, 2] K=[34, 1, 10, 15] stored bound 0.230085638 | R2_iv 1.151636e-03 (stored 1.151636e-03) mu 0.011860317 s_req 0.243011953 smin0-s_req 8.664e-05 | pivots>0: E1 True (min 1.37e-12) smin True (min 5.58e-04) | PASS  2.1s
rank  1161 box   6791 L=[2, 1, 1, 1] K=[0, 6, 4, 7] stored bound 0.230085714 | R2_iv 7.557713e-03 (stored 7.557713e-03) mu 0.029108924 s_req 0.266666636 smin0-s_req 8.671e-05 | pivots>0: E1 True (min 4.24e-11) smin True (min 1.10e-03) | PASS  2.1s
rank  1162 box  41256 L=[3, 3, 2, 2] K=[28, 3, 10, 16] stored bound 0.230085730 | R2_iv 1.148425e-03 (stored 1.148425e-03) mu 0.011846219 s_req 0.242994644 smin0-s_req 8.673e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 5.30e-04) | PASS  2.1s
rank  1163 box  39613 L=[3, 3, 2, 2] K=[23, 10, 12, 14] stored bound 0.230085855 | R2_iv 1.143615e-03 (stored 1.143615e-03) mu 0.011804756 s_req 0.242948371 smin0-s_req 8.686e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 5.63e-04) | PASS  2.1s
rank  1164 box  61052 L=[4, 3, 3, 3] K=[58, 0, 30, 30] stored bound 0.230085960 | R2_iv 4.399613e-04 (stored 4.399613e-04) mu 0.007200202 s_req 0.237640163 smin0-s_req 8.696e-05 | pivots>0: E1 True (min 1.89e-12) smin True (min 4.68e-04) | PASS  2.1s
rank  1165 box  34138 L=[3, 2, 2, 2] K=[24, 1, 10, 12] stored bound 0.230086027 | R2_iv 1.794118e-03 (stored 1.794118e-03) mu 0.014396270 s_req 0.246190389 smin0-s_req 8.703e-05 | pivots>0: E1 True (min 6.41e-12) smin True (min 4.96e-04) | PASS  2.1s
rank  1166 box  54090 L=[3, 3, 3, 3] K=[30, 5, 27, 28] stored bound 0.230086180 | R2_iv 6.000378e-04 (stored 6.000378e-04) mu 0.008576792 s_req 0.239176830 smin0-s_req 8.718e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 5.35e-04) | PASS  2.1s
rank  1167 box  57904 L=[3, 3, 3, 3] K=[34, 1, 31, 26] stored bound 0.230086242 | R2_iv 6.014795e-04 (stored 6.014795e-04) mu 0.008597384 s_req 0.239198864 smin0-s_req 8.724e-05 | pivots>0: E1 True (min 3.79e-12) smin True (min 5.20e-04) | PASS  2.1s
rank  1168 box  50053 L=[3, 3, 3, 2] K=[28, 9, 25, 15] stored bound 0.230086299 | R2_iv 8.516047e-04 (stored 8.516047e-04) mu 0.010592189 s_req 0.241443794 smin0-s_req 8.730e-05 | pivots>0: E1 True (min 7.56e-12) smin True (min 5.75e-04) | PASS  2.1s
rank  1169 box  21001 L=[2, 2, 1, 2] K=[10, 4, 4, 10] stored bound 0.230086398 | R2_iv 3.500137e-03 (stored 3.500137e-03) mu 0.019887535 s_req 0.253387673 smin0-s_req 8.740e-05 | pivots>0: E1 True (min 1.94e-12) smin True (min 5.75e-04) | PASS  2.1s
rank  1170 box  21362 L=[2, 2, 2, 1] K=[10, 8, 8, 8] stored bound 0.230086410 | R2_iv 3.496093e-03 (stored 3.496093e-03) mu 0.021244224 s_req 0.254740317 smin0-s_req 8.741e-05 | pivots>0: E1 True (min 2.90e-11) smin True (min 7.30e-04) | PASS  2.1s
rank  1171 box  35883 L=[3, 2, 2, 2] K=[30, 6, 14, 19] stored bound 0.230086452 | R2_iv 1.788118e-03 (stored 1.788118e-03) mu 0.014249266 s_req 0.246037384 smin0-s_req 8.745e-05 | pivots>0: E1 True (min 6.42e-12) smin True (min 6.10e-04) | PASS  2.1s
rank  1172 box  48236 L=[3, 3, 3, 2] K=[30, 5, 31, 11] stored bound 0.230086499 | R2_iv 8.530313e-04 (stored 8.530313e-04) mu 0.010619523 s_req 0.241472555 smin0-s_req 8.750e-05 | pivots>0: E1 True (min 7.37e-12) smin True (min 5.28e-04) | PASS  2.1s
rank  1173 box  25573 L=[2, 2, 2, 2] K=[11, 0, 9, 13] stored bound 0.230086501 | R2_iv 2.474427e-03 (stored 2.474427e-03) mu 0.017209849 s_req 0.249684276 smin0-s_req 8.750e-05 | pivots>0: E1 True (min 1.11e-11) smin True (min 4.80e-04) | PASS  2.1s
rank  1174 box  49719 L=[3, 3, 2, 3] K=[25, 9, 14, 27] stored bound 0.230086545 | R2_iv 8.518617e-04 (stored 8.518617e-04) mu 0.009929511 s_req 0.240781373 smin0-s_req 8.754e-05 | pivots>0: E1 True (min 4.21e-13) smin True (min 5.49e-04) | PASS  2.1s
rank  1175 box  55974 L=[3, 3, 3, 3] K=[31, 4, 29, 36] stored bound 0.230086760 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008581937 s_req 0.239182272 smin0-s_req 8.776e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 5.31e-04) | PASS  2.1s
rank  1176 box  14450 L=[2, 2, 1, 1] K=[8, 8, 3, 7] stored bound 0.230086843 | R2_iv 4.698696e-03 (stored 4.698696e-03) mu 0.023718673 s_req 0.258417369 smin0-s_req 8.784e-05 | pivots>0: E1 True (min 4.60e-12) smin True (min 7.64e-04) | PASS  2.1s
rank  1177 box  54182 L=[3, 3, 3, 3] K=[29, 4, 28, 26] stored bound 0.230086856 | R2_iv 6.002431e-04 (stored 6.002431e-04) mu 0.008588038 s_req 0.239188281 smin0-s_req 8.786e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 5.18e-04) | PASS  2.1s
rank  1178 box  54990 L=[3, 3, 3, 3] K=[27, 7, 31, 35] stored bound 0.230086910 | R2_iv 5.995544e-04 (stored 5.995544e-04) mu 0.008575205 s_req 0.239174760 smin0-s_req 8.791e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 5.36e-04) | PASS  2.1s
rank  1179 box  55136 L=[3, 3, 3, 3] K=[28, 0, 27, 34] stored bound 0.230086940 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008605581 s_req 0.239207314 smin0-s_req 8.794e-05 | pivots>0: E1 True (min 3.77e-12) smin True (min 4.74e-04) | PASS  2.1s
rank  1180 box  53621 L=[3, 3, 3, 3] K=[28, 3, 28, 26] stored bound 0.230086962 | R2_iv 6.005536e-04 (stored 6.005536e-04) mu 0.008595899 s_req 0.239196452 smin0-s_req 8.796e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 5.02e-04) | PASS  2.2s
rank  1181 box  42143 L=[3, 3, 2, 2] K=[25, 7, 15, 20] stored bound 0.230087052 | R2_iv 1.144963e-03 (stored 1.144963e-03) mu 0.011816747 s_req 0.242961710 smin0-s_req 8.805e-05 | pivots>0: E1 True (min 1.09e-12) smin True (min 5.26e-04) | PASS  2.1s
rank  1182 box  48931 L=[3, 3, 2, 3] K=[25, 2, 14, 36] stored bound 0.230087183 | R2_iv 8.552366e-04 (stored 8.552366e-04) mu 0.009964393 s_req 0.240819630 smin0-s_req 8.818e-05 | pivots>0: E1 True (min 3.91e-13) smin True (min 4.77e-04) | PASS  2.1s
rank  1183 box  57682 L=[3, 3, 3, 3] K=[33, 2, 26, 29] stored bound 0.230087210 | R2_iv 6.010562e-04 (stored 6.010562e-04) mu 0.008585741 s_req 0.239186798 smin0-s_req 8.821e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 5.37e-04) | PASS  2.1s
rank  1184 box   1515 L=[1, 1, 0, 1] K=[8, 6, 2, 14] stored bound 0.230087257 | R2_iv 1.487925e-02 (stored 1.487925e-02) mu 0.040550625 s_req 0.285429874 smin0-s_req 8.826e-05 | pivots>0: E1 True (min 5.93e-12) smin True (min 8.07e-04) | PASS  2.1s
rank  1185 box  45880 L=[3, 3, 2, 2] K=[32, 8, 12, 14] stored bound 0.230087274 | R2_iv 1.145589e-03 (stored 1.145589e-03) mu 0.011770189 s_req 0.242915778 smin0-s_req 8.827e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 6.00e-04) | PASS  2.1s
rank  1186 box  33068 L=[3, 2, 2, 2] K=[19, 4, 15, 19] stored bound 0.230087307 | R2_iv 1.790238e-03 (stored 1.790238e-03) mu 0.014350689 s_req 0.246140927 smin0-s_req 8.831e-05 | pivots>0: E1 True (min 6.87e-12) smin True (min 5.33e-04) | PASS  2.1s
rank  1187 box   1192 L=[1, 1, 1, 0] K=[4, 4, 2, 7] stored bound 0.230087333 | R2_iv 1.472935e-02 (stored 1.472935e-02) mu 0.041838724 s_req 0.286568076 smin0-s_req 8.833e-05 | pivots>0: E1 True (min 1.66e-10) smin True (min 7.54e-04) | PASS  2.1s
rank  1188 box  53986 L=[3, 3, 3, 3] K=[29, 4, 26, 28] stored bound 0.230087345 | R2_iv 6.002431e-04 (stored 6.002431e-04) mu 0.008585961 s_req 0.239186204 smin0-s_req 8.835e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 5.27e-04) | PASS  2.1s
rank  1189 box  32175 L=[3, 2, 2, 2] K=[19, 2, 15, 18] stored bound 0.230087354 | R2_iv 1.795142e-03 (stored 1.795142e-03) mu 0.014373442 s_req 0.246168584 smin0-s_req 8.835e-05 | pivots>0: E1 True (min 6.35e-12) smin True (min 4.87e-04) | PASS  2.1s
rank  1190 box  48644 L=[3, 3, 2, 3] K=[24, 4, 13, 29] stored bound 0.230087371 | R2_iv 8.540325e-04 (stored 8.540325e-04) mu 0.009943635 s_req 0.240797668 smin0-s_req 8.837e-05 | pivots>0: E1 True (min 3.74e-13) smin True (min 5.00e-04) | PASS  2.1s
rank  1191 box   9111 L=[2, 1, 1, 1] K=[14, 2, 4, 13] stored bound 0.230087387 | R2_iv 7.447107e-03 (stored 7.447107e-03) mu 0.028461166 s_req 0.265908274 smin0-s_req 8.839e-05 | pivots>0: E1 True (min 2.38e-11) smin True (min 6.35e-04) | PASS  2.1s
rank  1192 box  51631 L=[3, 3, 3, 2] K=[34, 5, 27, 17] stored bound 0.230087472 | R2_iv 8.535227e-04 (stored 8.535227e-04) mu 0.010588730 s_req 0.241442252 smin0-s_req 8.847e-05 | pivots>0: E1 True (min 6.79e-12) smin True (min 5.78e-04) | PASS  2.1s
rank  1193 box  59082 L=[3, 3, 3, 3] K=[33, 0, 31, 38] stored bound 0.230087479 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008609896 s_req 0.239211623 smin0-s_req 8.848e-05 | pivots>0: E1 True (min 3.85e-12) smin True (min 5.07e-04) | PASS  2.1s
rank  1194 box  41776 L=[3, 3, 2, 2] K=[31, 3, 13, 10] stored bound 0.230087531 | R2_iv 1.148558e-03 (stored 1.148558e-03) mu 0.011853854 s_req 0.243002412 smin0-s_req 8.853e-05 | pivots>0: E1 True (min 1.24e-12) smin True (min 5.25e-04) | PASS  2.1s
rank  1195 box  57903 L=[3, 3, 3, 3] K=[34, 1, 30, 26] stored bound 0.230087627 | R2_iv 6.014795e-04 (stored 6.014795e-04) mu 0.008597313 s_req 0.239198793 smin0-s_req 8.863e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 5.28e-04) | PASS  2.1s
rank  1196 box  27783 L=[2, 2, 2, 2] K=[12, 2, 10, 9] stored bound 0.230087652 | R2_iv 2.466116e-03 (stored 2.466116e-03) mu 0.017164884 s_req 0.249630999 smin0-s_req 8.865e-05 | pivots>0: E1 True (min 1.35e-11) smin True (min 5.25e-04) | PASS  2.1s
rank  1197 box  54605 L=[3, 3, 3, 3] K=[26, 0, 30, 32] stored bound 0.230087667 | R2_iv 6.019551e-04 (stored 6.019551e-04) mu 0.008598228 s_req 0.239200183 smin0-s_req 8.867e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 4.61e-04) | PASS  2.1s
rank  1198 box  20988 L=[2, 2, 2, 1] K=[9, 6, 11, 4] stored bound 0.230087688 | R2_iv 3.497572e-03 (stored 3.497572e-03) mu 0.021215370 s_req 0.254712943 smin0-s_req 8.869e-05 | pivots>0: E1 True (min 3.37e-11) smin True (min 5.94e-04) | PASS  2.1s
rank  1199 box  48180 L=[3, 3, 3, 2] K=[30, 4, 27, 11] stored bound 0.230087764 | R2_iv 8.535855e-04 (stored 8.535855e-04) mu 0.010632126 s_req 0.241485711 smin0-s_req 8.876e-05 | pivots>0: E1 True (min 7.55e-12) smin True (min 5.30e-04) | PASS  2.1s
rank  1200 box   5201 L=[1, 1, 1, 1] K=[10, 3, 6, 2] stored bound 0.230087789 | R2_iv 1.046219e-02 (stored 1.046219e-02) mu 0.033356026 s_req 0.273818220 smin0-s_req 8.879e-05 | pivots>0: E1 True (min 2.78e-11) smin True (min 7.11e-04) | PASS  2.1s
rank  1201 box  10588 L=[2, 1, 1, 1] K=[23, 1, 5, 5] stored bound 0.230087849 | R2_iv 7.536520e-03 (stored 7.536520e-03) mu 0.028356138 s_req 0.265892657 smin0-s_req 8.885e-05 | pivots>0: E1 True (min 3.04e-11) smin True (min 8.03e-04) | PASS  2.1s
rank  1202 box  58296 L=[3, 3, 3, 3] K=[33, 5, 31, 31] stored bound 0.230087900 | R2_iv 6.003655e-04 (stored 6.003655e-04) mu 0.008558386 s_req 0.239158752 smin0-s_req 8.890e-05 | pivots>0: E1 True (min 3.57e-12) smin True (min 5.63e-04) | PASS  2.1s
rank  1203 box  44304 L=[3, 3, 2, 2] K=[32, 4, 11, 12] stored bound 0.230087922 | R2_iv 1.147865e-03 (stored 1.147865e-03) mu 0.011828884 s_req 0.242976749 smin0-s_req 8.892e-05 | pivots>0: E1 True (min 1.25e-12) smin True (min 5.68e-04) | PASS  2.1s
rank  1204 box  10015 L=[2, 1, 1, 1] K=[17, 2, 5, 13] stored bound 0.230087953 | R2_iv 7.463079e-03 (stored 7.463079e-03) mu 0.028370179 s_req 0.265833258 smin0-s_req 8.895e-05 | pivots>0: E1 True (min 2.32e-11) smin True (min 6.54e-04) | PASS  2.1s
rank  1205 box  49679 L=[3, 3, 2, 3] K=[26, 8, 13, 27] stored bound 0.230088043 | R2_iv 8.521336e-04 (stored 8.521336e-04) mu 0.009928337 s_req 0.240780471 smin0-s_req 8.904e-05 | pivots>0: E1 True (min 4.19e-13) smin True (min 5.56e-04) | PASS  2.1s
rank  1206 box  34130 L=[3, 2, 2, 2] K=[26, 0, 9, 13] stored bound 0.230088083 | R2_iv 1.796384e-03 (stored 1.796384e-03) mu 0.014415980 s_req 0.246212364 smin0-s_req 8.908e-05 | pivots>0: E1 True (min 6.32e-12) smin True (min 5.07e-04) | PASS  2.2s
rank  1207 box  38715 L=[3, 3, 2, 2] K=[23, 6, 13, 12] stored bound 0.230088091 | R2_iv 1.146472e-03 (stored 1.146472e-03) mu 0.011835499 s_req 0.242981971 smin0-s_req 8.909e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 5.21e-04) | PASS  2.2s
rank  1208 box  58832 L=[3, 3, 3, 3] K=[34, 0, 26, 33] stored bound 0.230088110 | R2_iv 6.018202e-04 (stored 6.018202e-04) mu 0.008595268 s_req 0.239197088 smin0-s_req 8.911e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 5.32e-04) | PASS  2.2s
rank  1209 box  38799 L=[3, 3, 2, 2] K=[22, 7, 12, 15] stored bound 0.230088120 | R2_iv 1.145978e-03 (stored 1.145978e-03) mu 0.011828393 s_req 0.242974371 smin0-s_req 8.912e-05 | pivots>0: E1 True (min 1.13e-12) smin True (min 5.40e-04) | PASS  2.2s
rank  1210 box   9654 L=[2, 1, 1, 1] K=[17, 1, 1, 10] stored bound 0.230088135 | R2_iv 7.466161e-03 (stored 7.466161e-03) mu 0.028613740 s_req 0.266079902 smin0-s_req 8.913e-05 | pivots>0: E1 True (min 2.68e-11) smin True (min 8.99e-04) | PASS  2.2s
rank  1211 box  63866 L=[4, 3, 3, 3] K=[67, 1, 31, 30] stored bound 0.230088151 | R2_iv 4.396816e-04 (stored 4.396816e-04) mu 0.007184601 s_req 0.237624283 smin0-s_req 8.915e-05 | pivots>0: E1 True (min 2.09e-12) smin True (min 5.25e-04) | PASS  2.2s
rank  1212 box  57721 L=[3, 3, 3, 3] K=[34, 0, 26, 28] stored bound 0.230088154 | R2_iv 6.018202e-04 (stored 6.018202e-04) mu 0.008601186 s_req 0.239203006 smin0-s_req 8.915e-05 | pivots>0: E1 True (min 3.80e-12) smin True (min 5.30e-04) | PASS  2.2s
rank  1213 box  24393 L=[2, 2, 2, 1] K=[21, 3, 13, 6] stored bound 0.230088313 | R2_iv 3.521705e-03 (stored 3.521705e-03) mu 0.020965225 s_req 0.254486930 smin0-s_req 8.931e-05 | pivots>0: E1 True (min 2.63e-11) smin True (min 7.05e-04) | PASS  2.2s
rank  1214 box  39800 L=[3, 3, 2, 2] K=[20, 12, 15, 15] stored bound 0.230088379 | R2_iv 1.143919e-03 (stored 1.143919e-03) mu 0.011818252 s_req 0.242962171 smin0-s_req 8.938e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 5.83e-04) | PASS  2.2s
rank  1215 box  26466 L=[2, 2, 2, 2] K=[9, 5, 15, 10] stored bound 0.230088392 | R2_iv 2.464257e-03 (stored 2.464257e-03) mu 0.017130111 s_req 0.249594369 smin0-s_req 8.939e-05 | pivots>0: E1 True (min 1.48e-11) smin True (min 5.59e-04) | PASS  2.2s
rank  1216 box  30282 L=[2, 2, 2, 2] K=[19, 2, 15, 21] stored bound 0.230088476 | R2_iv 2.471850e-03 (stored 2.471850e-03) mu 0.017082119 s_req 0.249553969 smin0-s_req 8.948e-05 | pivots>0: E1 True (min 1.27e-11) smin True (min 6.17e-04) | PASS  2.2s
rank  1217 box  23010 L=[2, 2, 1, 2] K=[13, 11, 6, 16] stored bound 0.230088533 | R2_iv 3.510805e-03 (stored 3.510805e-03) mu 0.019918735 s_req 0.253429540 smin0-s_req 8.953e-05 | pivots>0: E1 True (min 1.35e-12) smin True (min 7.22e-04) | PASS  2.2s
rank  1218 box  49285 L=[3, 3, 3, 2] K=[28, 6, 24, 17] stored bound 0.230088548 | R2_iv 8.526038e-04 (stored 8.526038e-04) mu 0.010621734 s_req 0.241474338 smin0-s_req 8.955e-05 | pivots>0: E1 True (min 6.94e-12) smin True (min 5.62e-04) | PASS  2.2s
rank  1219 box  61036 L=[4, 3, 3, 3] K=[58, 1, 29, 31] stored bound 0.230088563 | R2_iv 4.395601e-04 (stored 4.395601e-04) mu 0.007190812 s_req 0.237630372 smin0-s_req 8.956e-05 | pivots>0: E1 True (min 1.89e-12) smin True (min 4.94e-04) | PASS  2.2s
rank  1220 box   7568 L=[2, 1, 1, 1] K=[7, 6, 3, 6] stored bound 0.230088648 | R2_iv 7.491242e-03 (stored 7.491242e-03) mu 0.028870474 s_req 0.266361715 smin0-s_req 8.965e-05 | pivots>0: E1 True (min 3.36e-11) smin True (min 9.68e-04) | PASS  2.2s
rank  1221 box  34379 L=[3, 2, 2, 2] K=[25, 3, 10, 18] stored bound 0.230088661 | R2_iv 1.788758e-03 (stored 1.788758e-03) mu 0.014346617 s_req 0.246135374 smin0-s_req 8.966e-05 | pivots>0: E1 True (min 6.76e-12) smin True (min 5.74e-04) | PASS  2.2s
rank  1222 box  61201 L=[4, 3, 3, 3] K=[62, 1, 28, 30] stored bound 0.230088786 | R2_iv 4.395440e-04 (stored 4.395440e-04) mu 0.007190189 s_req 0.237629733 smin0-s_req 8.979e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 5.11e-04) | PASS  2.2s
rank  1223 box  38878 L=[3, 3, 2, 2] K=[22, 3, 13, 16] stored bound 0.230088790 | R2_iv 1.150730e-03 (stored 1.150730e-03) mu 0.011864361 s_req 0.243015091 smin0-s_req 8.979e-05 | pivots>0: E1 True (min 1.15e-12) smin True (min 4.91e-04) | PASS  2.2s
rank  1224 box  18497 L=[2, 2, 1, 1] K=[22, 0, 6, 4] stored bound 0.230088894 | R2_iv 4.762403e-03 (stored 4.762403e-03) mu 0.023748367 s_req 0.258510770 smin0-s_req 8.989e-05 | pivots>0: E1 True (min 5.55e-12) smin True (min 6.78e-04) | PASS  2.2s
rank  1225 box  49873 L=[3, 3, 3, 2] K=[26, 11, 27, 15] stored bound 0.230088935 | R2_iv 8.512503e-04 (stored 8.512503e-04) mu 0.010594468 s_req 0.241445719 smin0-s_req 8.993e-05 | pivots>0: E1 True (min 7.76e-12) smin True (min 5.96e-04) | PASS  2.2s
rank  1226 box  22537 L=[2, 2, 1, 2] K=[12, 6, 4, 19] stored bound 0.230088962 | R2_iv 3.495050e-03 (stored 3.495050e-03) mu 0.019843748 s_req 0.253338799 smin0-s_req 8.996e-05 | pivots>0: E1 True (min 1.80e-12) smin True (min 6.91e-04) | PASS  2.2s
rank  1227 box  62593 L=[4, 3, 3, 3] K=[57, 3, 31, 33] stored bound 0.230088970 | R2_iv 4.388822e-04 (stored 4.388822e-04) mu 0.007180879 s_req 0.237619762 smin0-s_req 8.997e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 5.13e-04) | PASS  2.2s
rank  1228 box  51104 L=[3, 3, 3, 2] K=[35, 3, 26, 13] stored bound 0.230089015 | R2_iv 8.545290e-04 (stored 8.545290e-04) mu 0.010608904 s_req 0.241463433 smin0-s_req 9.002e-05 | pivots>0: E1 True (min 7.48e-12) smin True (min 5.78e-04) | PASS  2.2s
rank  1229 box  29152 L=[2, 2, 2, 2] K=[13, 9, 12, 15] stored bound 0.230089016 | R2_iv 2.465620e-03 (stored 2.465620e-03) mu 0.017048617 s_req 0.249514237 smin0-s_req 9.002e-05 | pivots>0: E1 True (min 1.17e-11) smin True (min 6.95e-04) | PASS  2.2s
rank  1230 box  46561 L=[3, 3, 2, 3] K=[23, 5, 15, 28] stored bound 0.230089059 | R2_iv 8.536261e-04 (stored 8.536261e-04) mu 0.009944966 s_req 0.240798592 smin0-s_req 9.006e-05 | pivots>0: E1 True (min 4.07e-13) smin True (min 5.11e-04) | PASS  2.2s
rank  1231 box  27812 L=[2, 2, 2, 2] K=[14, 0, 8, 10] stored bound 0.230089127 | R2_iv 2.470778e-03 (stored 2.470778e-03) mu 0.017226238 s_req 0.249697015 smin0-s_req 9.013e-05 | pivots>0: E1 True (min 1.30e-11) smin True (min 5.39e-04) | PASS  2.2s
rank  1232 box  38902 L=[3, 3, 2, 2] K=[21, 3, 15, 16] stored bound 0.230089341 | R2_iv 1.151446e-03 (stored 1.151446e-03) mu 0.011867666 s_req 0.243019112 smin0-s_req 9.034e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 4.85e-04) | PASS  2.2s
rank  1233 box  63808 L=[4, 3, 3, 3] K=[66, 0, 29, 29] stored bound 0.230089399 | R2_iv 4.399851e-04 (stored 4.399851e-04) mu 0.007196825 s_req 0.237636810 smin0-s_req 9.040e-05 | pivots>0: E1 True (min 2.08e-12) smin True (min 5.18e-04) | PASS  2.2s
rank  1234 box  24451 L=[2, 2, 2, 1] K=[22, 2, 14, 8] stored bound 0.230089438 | R2_iv 3.526867e-03 (stored 3.526867e-03) mu 0.020977509 s_req 0.254504376 smin0-s_req 9.044e-05 | pivots>0: E1 True (min 2.40e-11) smin True (min 7.27e-04) | PASS  2.2s
rank  1235 box  26253 L=[2, 2, 2, 2] K=[10, 6, 9, 15] stored bound 0.230089449 | R2_iv 2.462034e-03 (stored 2.462034e-03) mu 0.017154555 s_req 0.249616589 smin0-s_req 9.045e-05 | pivots>0: E1 True (min 1.45e-11) smin True (min 6.61e-04) | PASS  2.2s
rank  1236 box  53211 L=[3, 3, 3, 3] K=[27, 6, 27, 30] stored bound 0.230089598 | R2_iv 5.997532e-04 (stored 5.997532e-04) mu 0.008577485 s_req 0.239177238 smin0-s_req 9.060e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 5.48e-04) | PASS  2.2s
rank  1237 box  47143 L=[3, 3, 2, 3] K=[23, 9, 15, 34] stored bound 0.230089696 | R2_iv 8.520182e-04 (stored 8.520182e-04) mu 0.009932628 s_req 0.240784647 smin0-s_req 9.070e-05 | pivots>0: E1 True (min 4.19e-13) smin True (min 5.61e-04) | PASS  2.2s
rank  1238 box  58285 L=[3, 3, 3, 3] K=[32, 5, 30, 28] stored bound 0.230089708 | R2_iv 6.002247e-04 (stored 6.002247e-04) mu 0.008569229 s_req 0.239169454 smin0-s_req 9.071e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 5.66e-04) | PASS  2.2s
rank  1239 box  53627 L=[3, 3, 3, 3] K=[30, 1, 28, 25] stored bound 0.230089722 | R2_iv 6.012330e-04 (stored 6.012330e-04) mu 0.008606912 s_req 0.239208145 smin0-s_req 9.072e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 5.08e-04) | PASS  2.2s
rank  1240 box  57996 L=[3, 3, 3, 3] K=[35, 2, 30, 29] stored bound 0.230089805 | R2_iv 6.013368e-04 (stored 6.013368e-04) mu 0.008578435 s_req 0.239179772 smin0-s_req 9.081e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 5.63e-04) | PASS  2.2s
rank  1241 box  48106 L=[3, 3, 2, 3] K=[28, 3, 14, 23] stored bound 0.230089901 | R2_iv 8.545403e-04 (stored 8.545403e-04) mu 0.009959817 s_req 0.240814357 smin0-s_req 9.090e-05 | pivots>0: E1 True (min 4.34e-13) smin True (min 5.16e-04) | PASS  2.2s
rank  1242 box  51189 L=[3, 3, 3, 2] K=[33, 7, 27, 15] stored bound 0.230090026 | R2_iv 8.528070e-04 (stored 8.528070e-04) mu 0.010569746 s_req 0.241422553 smin0-s_req 9.103e-05 | pivots>0: E1 True (min 7.35e-12) smin True (min 6.06e-04) | PASS  2.2s
rank  1243 box  14561 L=[2, 2, 1, 1] K=[8, 9, 4, 5] stored bound 0.230090217 | R2_iv 4.701346e-03 (stored 4.701346e-03) mu 0.023723867 s_req 0.258425213 smin0-s_req 9.122e-05 | pivots>0: E1 True (min 4.87e-12) smin True (min 7.51e-04) | PASS  2.2s
rank  1244 box  20583 L=[2, 2, 1, 2] K=[9, 3, 4, 12] stored bound 0.230090288 | R2_iv 3.506464e-03 (stored 3.506464e-03) mu 0.019880741 s_req 0.253387205 smin0-s_req 9.129e-05 | pivots>0: E1 True (min 1.84e-12) smin True (min 5.74e-04) | PASS  2.2s
rank  1245 box  61117 L=[4, 3, 3, 3] K=[59, 3, 31, 29] stored bound 0.230090339 | R2_iv 4.388741e-04 (stored 4.388741e-04) mu 0.007180945 s_req 0.237619819 smin0-s_req 9.134e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 5.27e-04) | PASS  2.2s
rank  1246 box  46741 L=[3, 3, 2, 3] K=[23, 4, 15, 34] stored bound 0.230090359 | R2_iv 8.542030e-04 (stored 8.542030e-04) mu 0.009948942 s_req 0.240803145 smin0-s_req 9.136e-05 | pivots>0: E1 True (min 3.93e-13) smin True (min 5.07e-04) | PASS  2.2s
rank  1247 box  62588 L=[4, 3, 3, 3] K=[57, 3, 30, 32] stored bound 0.230090374 | R2_iv 4.388822e-04 (stored 4.388822e-04) mu 0.007178641 s_req 0.237617523 smin0-s_req 9.137e-05 | pivots>0: E1 True (min 1.90e-12) smin True (min 5.21e-04) | PASS  2.2s
rank  1248 box  25916 L=[2, 2, 2, 2] K=[9, 2, 13, 19] stored bound 0.230090438 | R2_iv 2.471312e-03 (stored 2.471312e-03) mu 0.017170168 s_req 0.249641480 smin0-s_req 9.144e-05 | pivots>0: E1 True (min 1.45e-11) smin True (min 5.10e-04) | PASS  2.2s
rank  1249 box  29277 L=[2, 2, 2, 2] K=[12, 9, 14, 19] stored bound 0.230090439 | R2_iv 2.464539e-03 (stored 2.464539e-03) mu 0.017063314 s_req 0.249527853 smin0-s_req 9.144e-05 | pivots>0: E1 True (min 1.43e-11) smin True (min 6.76e-04) | PASS  2.2s
rank  1250 box  54396 L=[3, 3, 3, 3] K=[31, 6, 29, 29] stored bound 0.230090472 | R2_iv 5.999379e-04 (stored 5.999379e-04) mu 0.008564869 s_req 0.239164807 smin0-s_req 9.147e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 5.75e-04) | PASS  2.2s
rank  1251 box  48368 L=[3, 3, 2, 3] K=[25, 0, 15, 27] stored bound 0.230090500 | R2_iv 8.568288e-04 (stored 8.568288e-04) mu 0.009974756 s_req 0.240831584 smin0-s_req 9.150e-05 | pivots>0: E1 True (min 3.85e-13) smin True (min 4.70e-04) | PASS  2.2s
rank  1252 box  49898 L=[3, 3, 3, 2] K=[27, 11, 28, 14] stored bound 0.230090604 | R2_iv 8.513287e-04 (stored 8.513287e-04) mu 0.010589230 s_req 0.241440559 smin0-s_req 9.160e-05 | pivots>0: E1 True (min 7.69e-12) smin True (min 6.07e-04) | PASS  2.2s
rank  1253 box  35902 L=[3, 2, 2, 2] K=[24, 5, 13, 20] stored bound 0.230090606 | R2_iv 1.786561e-03 (stored 1.786561e-03) mu 0.014313008 s_req 0.246099570 smin0-s_req 9.161e-05 | pivots>0: E1 True (min 6.76e-12) smin True (min 5.94e-04) | PASS  2.2s
rank  1254 box  44503 L=[3, 3, 2, 2] K=[34, 0, 10, 16] stored bound 0.230090643 | R2_iv 1.152894e-03 (stored 1.152894e-03) mu 0.011877714 s_req 0.243030608 smin0-s_req 9.164e-05 | pivots>0: E1 True (min 1.30e-12) smin True (min 5.79e-04) | PASS  2.2s
rank  1255 box  46958 L=[3, 3, 2, 3] K=[23, 8, 15, 28] stored bound 0.230090672 | R2_iv 8.523149e-04 (stored 8.523149e-04) mu 0.009935955 s_req 0.240788270 smin0-s_req 9.167e-05 | pivots>0: E1 True (min 4.21e-13) smin True (min 5.55e-04) | PASS  2.2s
rank  1256 box   6406 L=[2, 1, 1, 1] K=[3, 1, 7, 7] stored bound 0.230090810 | R2_iv 7.560118e-03 (stored 7.560118e-03) mu 0.028676272 s_req 0.266236390 smin0-s_req 9.181e-05 | pivots>0: E1 True (min 1.57e-11) smin True (min 5.59e-04) | PASS  2.2s
rank  1257 box  58781 L=[3, 3, 3, 3] K=[33, 2, 26, 32] stored bound 0.230090856 | R2_iv 6.010562e-04 (stored 6.010562e-04) mu 0.008580222 s_req 0.239181279 smin0-s_req 9.186e-05 | pivots>0: E1 True (min 3.62e-12) smin True (min 5.60e-04) | PASS  2.2s
rank  1258 box  48628 L=[3, 3, 2, 3] K=[26, 7, 14, 25] stored bound 0.230090967 | R2_iv 8.524631e-04 (stored 8.524631e-04) mu 0.009937251 s_req 0.240789714 smin0-s_req 9.197e-05 | pivots>0: E1 True (min 4.27e-13) smin True (min 5.57e-04) | PASS  2.2s
rank  1259 box  63862 L=[4, 3, 3, 3] K=[66, 1, 31, 29] stored bound 0.230091039 | R2_iv 4.396401e-04 (stored 4.396401e-04) mu 0.007188256 s_req 0.237627896 smin0-s_req 9.204e-05 | pivots>0: E1 True (min 2.07e-12) smin True (min 5.37e-04) | PASS  2.2s
rank  1260 box  28946 L=[2, 2, 2, 2] K=[15, 6, 14, 21] stored bound 0.230091065 | R2_iv 2.463588e-03 (stored 2.463588e-03) mu 0.017016733 s_req 0.249480321 smin0-s_req 9.206e-05 | pivots>0: E1 True (min 1.14e-11) smin True (min 6.42e-04) | PASS  2.2s
rank  1261 box  43708 L=[3, 3, 2, 2] K=[28, 8, 13, 19] stored bound 0.230091172 | R2_iv 1.144262e-03 (stored 1.144262e-03) mu 0.011796239 s_req 0.242940501 smin0-s_req 9.217e-05 | pivots>0: E1 True (min 1.04e-12) smin True (min 5.89e-04) | PASS  2.2s
rank  1262 box  42237 L=[3, 3, 2, 2] K=[28, 2, 15, 21] stored bound 0.230091260 | R2_iv 1.149685e-03 (stored 1.149685e-03) mu 0.011877020 s_req 0.243026705 smin0-s_req 9.226e-05 | pivots>0: E1 True (min 1.23e-12) smin True (min 5.10e-04) | PASS  2.2s
rank  1263 box  37407 L=[3, 2, 2, 2] K=[33, 2, 15, 22] stored bound 0.230091369 | R2_iv 1.791499e-03 (stored 1.791499e-03) mu 0.014331517 s_req 0.246123016 smin0-s_req 9.237e-05 | pivots>0: E1 True (min 7.46e-12) smin True (min 5.74e-04) | PASS  2.2s
rank  1264 box  63865 L=[4, 3, 3, 3] K=[67, 1, 30, 31] stored bound 0.230091400 | R2_iv 4.396816e-04 (stored 4.396816e-04) mu 0.007181947 s_req 0.237621629 smin0-s_req 9.240e-05 | pivots>0: E1 True (min 2.10e-12) smin True (min 5.45e-04) | PASS  2.2s
rank  1265 box  35861 L=[3, 2, 2, 2] K=[28, 6, 13, 19] stored bound 0.230091443 | R2_iv 1.787039e-03 (stored 1.787039e-03) mu 0.014269471 s_req 0.246056510 smin0-s_req 9.244e-05 | pivots>0: E1 True (min 6.46e-12) smin True (min 6.42e-04) | PASS  2.2s
rank  1266 box  53659 L=[3, 3, 3, 3] K=[30, 3, 30, 25] stored bound 0.230091462 | R2_iv 6.005512e-04 (stored 6.005512e-04) mu 0.008593080 s_req 0.239193631 smin0-s_req 9.246e-05 | pivots>0: E1 True (min 3.73e-12) smin True (min 5.38e-04) | PASS  2.2s
rank  1267 box  14346 L=[2, 2, 1, 1] K=[9, 5, 7, 12] stored bound 0.230091467 | R2_iv 4.698524e-03 (stored 4.698524e-03) mu 0.023598599 s_req 0.258297123 smin0-s_req 9.247e-05 | pivots>0: E1 True (min 3.87e-12) smin True (min 5.67e-04) | PASS  2.2s
rank  1268 box  47787 L=[3, 3, 3, 2] K=[31, 3, 23, 17] stored bound 0.230091555 | R2_iv 8.541813e-04 (stored 8.541813e-04) mu 0.010635165 s_req 0.241489346 smin0-s_req 9.256e-05 | pivots>0: E1 True (min 6.83e-12) smin True (min 5.74e-04) | PASS  2.2s
rank  1269 box  61288 L=[4, 3, 3, 3] K=[61, 3, 31, 29] stored bound 0.230091684 | R2_iv 4.388941e-04 (stored 4.388941e-04) mu 0.007178745 s_req 0.237617639 smin0-s_req 9.268e-05 | pivots>0: E1 True (min 1.96e-12) smin True (min 5.42e-04) | PASS  2.2s
rank  1270 box  51101 L=[3, 3, 3, 2] K=[35, 2, 27, 12] stored bound 0.230091720 | R2_iv 8.550537e-04 (stored 8.550537e-04) mu 0.010625089 s_req 0.241480143 smin0-s_req 9.272e-05 | pivots>0: E1 True (min 7.53e-12) smin True (min 5.79e-04) | PASS  2.2s
rank  1271 box  53743 L=[3, 3, 3, 3] K=[30, 1, 25, 28] stored bound 0.230091770 | R2_iv 6.012330e-04 (stored 6.012330e-04) mu 0.008602226 s_req 0.239203459 smin0-s_req 9.277e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 5.30e-04) | PASS  2.2s
rank  1272 box  59073 L=[3, 3, 3, 3] K=[32, 0, 30, 38] stored bound 0.230091792 | R2_iv 6.016658e-04 (stored 6.016658e-04) mu 0.008611626 s_req 0.239213292 smin0-s_req 9.279e-05 | pivots>0: E1 True (min 3.84e-12) smin True (min 5.24e-04) | PASS  2.2s
rank  1273 box  16027 L=[2, 2, 1, 1] K=[15, 4, 5, 12] stored bound 0.230091909 | R2_iv 4.696012e-03 (stored 4.696012e-03) mu 0.023553876 s_req 0.258249888 smin0-s_req 9.291e-05 | pivots>0: E1 True (min 3.87e-12) smin True (min 6.40e-04) | PASS  2.2s
rank  1274 box   2199 L=[1, 1, 0, 1] K=[15, 3, 2, 10] stored bound 0.230091920 | R2_iv 1.539126e-02 (stored 1.539126e-02) mu 0.042315756 s_req 0.287707012 smin0-s_req 9.292e-05 | pivots>0: E1 True (min 1.73e-11) smin True (min 2.01e-03) | PASS  2.2s
rank  1275 box  53819 L=[3, 3, 3, 3] K=[28, 4, 27, 27] stored bound 0.230091926 | R2_iv 6.002443e-04 (stored 6.002443e-04) mu 0.008589372 s_req 0.239189616 smin0-s_req 9.293e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 5.44e-04) | PASS  2.2s
rank  1276 box  48736 L=[3, 3, 3, 2] K=[30, 7, 25, 13] stored bound 0.230092019 | R2_iv 8.522402e-04 (stored 8.522402e-04) mu 0.010599375 s_req 0.241451615 smin0-s_req 9.302e-05 | pivots>0: E1 True (min 7.53e-12) smin True (min 6.00e-04) | PASS  2.2s
rank  1277 box  24154 L=[2, 2, 1, 2] K=[16, 10, 7, 16] stored bound 0.230092076 | R2_iv 3.515211e-03 (stored 3.515211e-03) mu 0.019959348 s_req 0.253474559 smin0-s_req 9.308e-05 | pivots>0: E1 True (min 1.31e-12) smin True (min 7.31e-04) | PASS  2.2s
rank  1278 box  24489 L=[2, 2, 2, 1] K=[22, 0, 15, 10] stored bound 0.230092105 | R2_iv 3.527955e-03 (stored 3.527955e-03) mu 0.021121641 s_req 0.254649596 smin0-s_req 9.310e-05 | pivots>0: E1 True (min 2.69e-11) smin True (min 6.99e-04) | PASS  2.2s
rank  1279 box  39110 L=[3, 3, 2, 2] K=[22, 5, 14, 18] stored bound 0.230092331 | R2_iv 1.148070e-03 (stored 1.148070e-03) mu 0.011846487 s_req 0.242994557 smin0-s_req 9.333e-05 | pivots>0: E1 True (min 1.12e-12) smin True (min 5.29e-04) | PASS  2.2s
rank  1280 box  61150 L=[4, 3, 3, 3] K=[57, 2, 30, 30] stored bound 0.230092350 | R2_iv 4.392125e-04 (stored 4.392125e-04) mu 0.007187295 s_req 0.237626507 smin0-s_req 9.335e-05 | pivots>0: E1 True (min 1.89e-12) smin True (min 5.21e-04) | PASS  2.2s
rank  1281 box  49037 L=[3, 3, 2, 3] K=[26, 6, 12, 32] stored bound 0.230092352 | R2_iv 8.528629e-04 (stored 8.528629e-04) mu 0.009933950 s_req 0.240786813 smin0-s_req 9.335e-05 | pivots>0: E1 True (min 3.97e-13) smin True (min 5.70e-04) | PASS  2.2s
rank  1282 box   6796 L=[2, 1, 1, 1] K=[0, 7, 4, 8] stored bound 0.230092411 | R2_iv 7.574076e-03 (stored 7.574076e-03) mu 0.029261733 s_req 0.266835809 smin0-s_req 9.341e-05 | pivots>0: E1 True (min 5.12e-11) smin True (min 1.34e-03) | PASS  2.2s
rank  1283 box  53991 L=[3, 3, 3, 3] K=[29, 5, 26, 30] stored bound 0.230092443 | R2_iv 5.999916e-04 (stored 5.999916e-04) mu 0.008576690 s_req 0.239176682 smin0-s_req 9.344e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 5.70e-04) | PASS  2.2s
rank  1284 box  37310 L=[3, 2, 2, 2] K=[39, 2, 15, 18] stored bound 0.230092560 | R2_iv 1.796756e-03 (stored 1.796756e-03) mu 0.014278778 s_req 0.246075534 smin0-s_req 9.356e-05 | pivots>0: E1 True (min 7.56e-12) smin True (min 6.56e-04) | PASS  2.2s
rank  1285 box  55232 L=[3, 3, 3, 3] K=[31, 2, 25, 32] stored bound 0.230092830 | R2_iv 6.009013e-04 (stored 6.009013e-04) mu 0.008585854 s_req 0.239186755 smin0-s_req 9.383e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 5.58e-04) | PASS  2.2s
rank  1286 box  51855 L=[3, 3, 3, 2] K=[37, 0, 28, 18] stored bound 0.230092832 | R2_iv 8.566658e-04 (stored 8.566658e-04) mu 0.010639867 s_req 0.241496533 smin0-s_req 9.383e-05 | pivots>0: E1 True (min 7.18e-12) smin True (min 5.88e-04) | PASS  2.2s
rank  1287 box  55606 L=[3, 3, 3, 3] K=[29, 6, 27, 32] stored bound 0.230093094 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008569557 s_req 0.239169339 smin0-s_req 9.409e-05 | pivots>0: E1 True (min 3.55e-12) smin True (min 5.83e-04) | PASS  2.2s
rank  1288 box  29136 L=[2, 2, 2, 2] K=[14, 8, 15, 11] stored bound 0.230093110 | R2_iv 2.464878e-03 (stored 2.464878e-03) mu 0.016995550 s_req 0.249460428 smin0-s_req 9.411e-05 | pivots>0: E1 True (min 1.25e-11) smin True (min 6.79e-04) | PASS  2.2s
rank  1289 box  53992 L=[3, 3, 3, 3] K=[29, 5, 26, 31] stored bound 0.230093361 | R2_iv 5.999916e-04 (stored 5.999916e-04) mu 0.008574390 s_req 0.239174381 smin0-s_req 9.436e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 5.76e-04) | PASS  2.2s
rank  1290 box  53317 L=[3, 3, 3, 3] K=[25, 6, 29, 31] stored bound 0.230093445 | R2_iv 5.998504e-04 (stored 5.998504e-04) mu 0.008579961 s_req 0.239179811 smin0-s_req 9.445e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 5.57e-04) | PASS  2.2s
rank  1291 box  45535 L=[3, 3, 2, 2] K=[36, 6, 15, 17] stored bound 0.230093548 | R2_iv 1.148909e-03 (stored 1.148909e-03) mu 0.011778601 s_req 0.242927510 smin0-s_req 9.455e-05 | pivots>0: E1 True (min 1.11e-12) smin True (min 6.41e-04) | PASS  2.2s
rank  1292 box  61148 L=[4, 3, 3, 3] K=[59, 3, 29, 31] stored bound 0.230093578 | R2_iv 4.388741e-04 (stored 4.388741e-04) mu 0.007176871 s_req 0.237615745 smin0-s_req 9.458e-05 | pivots>0: E1 True (min 1.93e-12) smin True (min 5.48e-04) | PASS  2.2s
rank  1293 box  28874 L=[2, 2, 2, 2] K=[13, 5, 13, 22] stored bound 0.230093584 | R2_iv 2.461392e-03 (stored 2.461392e-03) mu 0.017078130 s_req 0.249539523 smin0-s_req 9.458e-05 | pivots>0: E1 True (min 1.25e-11) smin True (min 6.20e-04) | PASS  2.2s
rank  1294 box  23466 L=[2, 2, 2, 1] K=[18, 2, 9, 4] stored bound 0.230093644 | R2_iv 3.507094e-03 (stored 3.507094e-03) mu 0.021110579 s_req 0.254617673 smin0-s_req 9.464e-05 | pivots>0: E1 True (min 3.09e-11) smin True (min 6.88e-04) | PASS  2.1s
rank  1295 box  50167 L=[3, 3, 3, 2] K=[28, 11, 29, 14] stored bound 0.230093688 | R2_iv 8.514678e-04 (stored 8.514678e-04) mu 0.010581346 s_req 0.241432814 smin0-s_req 9.469e-05 | pivots>0: E1 True (min 7.56e-12) smin True (min 6.30e-04) | PASS  2.1s
rank  1296 box  50813 L=[3, 3, 3, 2] K=[34, 2, 23, 14] stored bound 0.230093730 | R2_iv 8.549245e-04 (stored 8.549245e-04) mu 0.010626977 s_req 0.241481902 smin0-s_req 9.473e-05 | pivots>0: E1 True (min 7.37e-12) smin True (min 6.02e-04) | PASS  2.2s
rank  1297 box  48968 L=[3, 3, 2, 3] K=[27, 1, 15, 39] stored bound 0.230093813 | R2_iv 8.558859e-04 (stored 8.558859e-04) mu 0.009975788 s_req 0.240831674 smin0-s_req 9.481e-05 | pivots>0: E1 True (min 4.12e-13) smin True (min 5.09e-04) | PASS  2.1s
rank  1298 box  14709 L=[2, 2, 1, 1] K=[10, 11, 7, 4] stored bound 0.230093999 | R2_iv 4.712309e-03 (stored 4.712309e-03) mu 0.023687576 s_req 0.258399885 smin0-s_req 9.500e-05 | pivots>0: E1 True (min 5.05e-12) smin True (min 7.24e-04) | PASS  2.1s
rank  1299 box  64081 L=[4, 3, 3, 3] K=[68, 0, 30, 30] stored bound 0.230094052 | R2_iv 4.400611e-04 (stored 4.400611e-04) mu 0.007192010 s_req 0.237632071 smin0-s_req 9.505e-05 | pivots>0: E1 True (min 2.13e-12) smin True (min 5.54e-04) | PASS  2.1s
SUMMARY: 650 of 650 boxes PASS; smallest (stored smin0 - s_req) = 4.964e-05; 1395 s
