certificate cert_s023.npz: 65597 boxes; window a = 1; s_target = 23/100; tail bound tau = 4.746513984410454e-41
boxes 1300..1949 of the order by stored bound (smallest first)
rank  1300 box  50590 L=[3, 3, 3, 2] K=[28, 8, 27, 18] stored bound 0.230094060 | R2_iv 8.518320e-04 (stored 8.518320e-04) mu 0.010605364 s_req 0.241457196 smin0-s_req 9.506e-05 | pivots>0: E1 True (min 7.07e-12) smin True (min 6.06e-04) | PASS  2.1s
rank  1301 box  51012 L=[3, 3, 3, 2] K=[34, 1, 28, 11] stored bound 0.230094135 | R2_iv 8.556030e-04 (stored 8.556030e-04) mu 0.010648029 s_req 0.241503632 smin0-s_req 9.514e-05 | pivots>0: E1 True (min 7.60e-12) smin True (min 5.67e-04) | PASS  2.1s
rank  1302 box  29220 L=[2, 2, 2, 2] K=[15, 8, 15, 12] stored bound 0.230094220 | R2_iv 2.466728e-03 (stored 2.466728e-03) mu 0.016972930 s_req 0.249439658 smin0-s_req 9.522e-05 | pivots>0: E1 True (min 1.11e-11) smin True (min 6.99e-04) | PASS  2.1s
rank  1303 box  14077 L=[2, 2, 1, 1] K=[8, 7, 3, 6] stored bound 0.230094225 | R2_iv 4.698347e-03 (stored 4.698347e-03) mu 0.023691092 s_req 0.258389439 smin0-s_req 9.522e-05 | pivots>0: E1 True (min 4.44e-12) smin True (min 7.76e-04) | PASS  2.1s
rank  1304 box  59013 L=[3, 3, 3, 3] K=[35, 2, 29, 32] stored bound 0.230094332 | R2_iv 6.013368e-04 (stored 6.013368e-04) mu 0.008572452 s_req 0.239173789 smin0-s_req 9.533e-05 | pivots>0: E1 True (min 3.64e-12) smin True (min 5.93e-04) | PASS  2.1s
rank  1305 box  45367 L=[3, 3, 2, 2] K=[37, 2, 12, 16] stored bound 0.230094374 | R2_iv 1.152219e-03 (stored 1.152219e-03) mu 0.011831727 s_req 0.242983945 smin0-s_req 9.537e-05 | pivots>0: E1 True (min 1.23e-12) smin True (min 6.37e-04) | PASS  2.1s
rank  1306 box  20870 L=[2, 2, 2, 1] K=[9, 6, 7, 7] stored bound 0.230094575 | R2_iv 3.497572e-03 (stored 3.497572e-03) mu 0.021275770 s_req 0.254773343 smin0-s_req 9.558e-05 | pivots>0: E1 True (min 2.92e-11) smin True (min 7.39e-04) | PASS  2.1s
rank  1307 box  62796 L=[4, 3, 3, 3] K=[63, 3, 31, 33] stored bound 0.230094737 | R2_iv 4.389423e-04 (stored 4.389423e-04) mu 0.007174218 s_req 0.237613160 smin0-s_req 9.574e-05 | pivots>0: E1 True (min 1.99e-12) smin True (min 5.68e-04) | PASS  2.1s
rank  1308 box  46999 L=[3, 3, 2, 3] K=[23, 10, 15, 30] stored bound 0.230095140 | R2_iv 8.517917e-04 (stored 8.517917e-04) mu 0.009928293 s_req 0.240780084 smin0-s_req 9.614e-05 | pivots>0: E1 True (min 4.17e-13) smin True (min 6.06e-04) | PASS  2.2s
rank  1309 box  40611 L=[3, 3, 2, 2] K=[25, 3, 11, 13] stored bound 0.230095270 | R2_iv 1.149150e-03 (stored 1.149150e-03) mu 0.011866352 s_req 0.243015501 smin0-s_req 9.627e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 5.51e-04) | PASS  2.2s
rank  1310 box  15775 L=[2, 2, 1, 1] K=[13, 5, 3, 4] stored bound 0.230095278 | R2_iv 4.689868e-03 (stored 4.689868e-03) mu 0.023540692 s_req 0.258230559 smin0-s_req 9.628e-05 | pivots>0: E1 True (min 4.43e-12) smin True (min 7.41e-04) | PASS  2.2s
rank  1311 box  27160 L=[2, 2, 2, 2] K=[9, 8, 12, 18] stored bound 0.230095342 | R2_iv 2.463326e-03 (stored 2.463326e-03) mu 0.017150869 s_req 0.249614195 smin0-s_req 9.634e-05 | pivots>0: E1 True (min 1.60e-11) smin True (min 7.11e-04) | PASS  2.2s
rank  1312 box  61227 L=[4, 3, 3, 3] K=[61, 2, 29, 29] stored bound 0.230095344 | R2_iv 4.391963e-04 (stored 4.391963e-04) mu 0.007185952 s_req 0.237625149 smin0-s_req 9.634e-05 | pivots>0: E1 True (min 1.97e-12) smin True (min 5.53e-04) | PASS  2.2s
rank  1313 box  50654 L=[3, 3, 3, 2] K=[29, 8, 31, 19] stored bound 0.230095402 | R2_iv 8.518874e-04 (stored 8.518874e-04) mu 0.010596456 s_req 0.241448343 smin0-s_req 9.640e-05 | pivots>0: E1 True (min 7.26e-12) smin True (min 6.10e-04) | PASS  2.2s
rank  1314 box  39622 L=[3, 3, 2, 2] K=[20, 8, 14, 15] stored bound 0.230095545 | R2_iv 1.146204e-03 (stored 1.146204e-03) mu 0.011830547 s_req 0.242976752 smin0-s_req 9.654e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 5.81e-04) | PASS  2.2s
rank  1315 box  54404 L=[3, 3, 3, 3] K=[30, 7, 29, 31] stored bound 0.230095569 | R2_iv 5.996931e-04 (stored 5.996931e-04) mu 0.008559393 s_req 0.239159086 smin0-s_req 9.657e-05 | pivots>0: E1 True (min 3.61e-12) smin True (min 6.11e-04) | PASS  2.2s
rank  1316 box  50419 L=[3, 3, 3, 2] K=[27, 9, 28, 18] stored bound 0.230095632 | R2_iv 8.515619e-04 (stored 8.515619e-04) mu 0.010604062 s_req 0.241455624 smin0-s_req 9.663e-05 | pivots>0: E1 True (min 7.21e-12) smin True (min 6.18e-04) | PASS  2.2s
rank  1317 box  53342 L=[3, 3, 3, 3] K=[27, 6, 28, 28] stored bound 0.230095659 | R2_iv 5.997532e-04 (stored 5.997532e-04) mu 0.008580089 s_req 0.239179842 smin0-s_req 9.666e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 5.81e-04) | PASS  2.2s
rank  1318 box   4740 L=[1, 1, 1, 1] K=[8, 5, 7, 14] stored bound 0.230095673 | R2_iv 1.045342e-02 (stored 1.045342e-02) mu 0.033328741 s_req 0.273782160 smin0-s_req 9.667e-05 | pivots>0: E1 True (min 2.27e-11) smin True (min 7.29e-04) | PASS  2.2s
rank  1319 box   7554 L=[2, 1, 1, 1] K=[4, 6, 3, 7] stored bound 0.230095833 | R2_iv 7.508740e-03 (stored 7.508740e-03) mu 0.028993860 s_req 0.266502600 smin0-s_req 9.683e-05 | pivots>0: E1 True (min 3.67e-11) smin True (min 1.11e-03) | PASS  2.2s
rank  1320 box   1061 L=[1, 1, 1, 0] K=[2, 3, 4, 0] stored bound 0.230096345 | R2_iv 1.480700e-02 (stored 1.480700e-02) mu 0.042081312 s_req 0.286888315 smin0-s_req 9.734e-05 | pivots>0: E1 True (min 1.52e-10) smin True (min 6.67e-04) | PASS  2.2s
rank  1321 box  40040 L=[3, 3, 2, 2] K=[23, 8, 13, 18] stored bound 0.230096384 | R2_iv 1.144758e-03 (stored 1.144758e-03) mu 0.011817559 s_req 0.242962317 smin0-s_req 9.738e-05 | pivots>0: E1 True (min 1.07e-12) smin True (min 5.99e-04) | PASS  2.2s
rank  1322 box  61206 L=[4, 3, 3, 3] K=[61, 0, 30, 28] stored bound 0.230096504 | R2_iv 4.399176e-04 (stored 4.399176e-04) mu 0.007203224 s_req 0.237643142 smin0-s_req 9.750e-05 | pivots>0: E1 True (min 1.97e-12) smin True (min 5.35e-04) | PASS  2.2s
rank  1323 box  59174 L=[3, 3, 3, 3] K=[35, 0, 30, 36] stored bound 0.230096505 | R2_iv 6.019445e-04 (stored 6.019445e-04) mu 0.008601238 s_req 0.239203183 smin0-s_req 9.750e-05 | pivots>0: E1 True (min 3.82e-12) smin True (min 5.82e-04) | PASS  2.2s
rank  1324 box  26673 L=[2, 2, 2, 2] K=[11, 5, 14, 22] stored bound 0.230096518 | R2_iv 2.461798e-03 (stored 2.461798e-03) mu 0.017102297 s_req 0.249564095 smin0-s_req 9.752e-05 | pivots>0: E1 True (min 1.37e-11) smin True (min 6.16e-04) | PASS  2.2s
rank  1325 box  57987 L=[3, 3, 3, 3] K=[35, 2, 29, 30] stored bound 0.230096584 | R2_iv 6.013368e-04 (stored 6.013368e-04) mu 0.008575366 s_req 0.239176702 smin0-s_req 9.758e-05 | pivots>0: E1 True (min 3.74e-12) smin True (min 6.07e-04) | PASS  2.2s
rank  1326 box  59217 L=[3, 3, 3, 3] K=[34, 2, 31, 36] stored bound 0.230096633 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008587144 s_req 0.239188325 smin0-s_req 9.763e-05 | pivots>0: E1 True (min 3.71e-12) smin True (min 5.94e-04) | PASS  2.2s
rank  1327 box  59356 L=[3, 3, 3, 3] K=[33, 5, 31, 32] stored bound 0.230096640 | R2_iv 6.003655e-04 (stored 6.003655e-04) mu 0.008558504 s_req 0.239158870 smin0-s_req 9.764e-05 | pivots>0: E1 True (min 3.55e-12) smin True (min 6.18e-04) | PASS  2.2s
rank  1328 box  61263 L=[4, 3, 3, 3] K=[61, 3, 29, 31] stored bound 0.230096706 | R2_iv 4.388941e-04 (stored 4.388941e-04) mu 0.007174558 s_req 0.237613452 smin0-s_req 9.771e-05 | pivots>0: E1 True (min 1.97e-12) smin True (min 5.73e-04) | PASS  2.2s
rank  1329 box  54224 L=[3, 3, 3, 3] K=[28, 6, 29, 27] stored bound 0.230096804 | R2_iv 5.997519e-04 (stored 5.997519e-04) mu 0.008578042 s_req 0.239177794 smin0-s_req 9.780e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 5.92e-04) | PASS  2.2s
rank  1330 box  62797 L=[4, 3, 3, 3] K=[60, 2, 30, 34] stored bound 0.230096816 | R2_iv 4.391898e-04 (stored 4.391898e-04) mu 0.007186699 s_req 0.237625889 smin0-s_req 9.782e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 5.57e-04) | PASS  2.2s
rank  1331 box  54028 L=[3, 3, 3, 3] K=[28, 6, 27, 29] stored bound 0.230096920 | R2_iv 5.997519e-04 (stored 5.997519e-04) mu 0.008576133 s_req 0.239175885 smin0-s_req 9.792e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 5.98e-04) | PASS  2.2s
rank  1332 box   7567 L=[2, 1, 1, 1] K=[6, 6, 3, 6] stored bound 0.230097229 | R2_iv 7.495225e-03 (stored 7.495225e-03) mu 0.028914956 s_req 0.266410182 smin0-s_req 9.823e-05 | pivots>0: E1 True (min 3.49e-11) smin True (min 1.07e-03) | PASS  2.2s
rank  1333 box  32728 L=[3, 2, 2, 2] K=[21, 5, 13, 11] stored bound 0.230097252 | R2_iv 1.787519e-03 (stored 1.787519e-03) mu 0.014328411 s_req 0.246115931 smin0-s_req 9.825e-05 | pivots>0: E1 True (min 7.19e-12) smin True (min 6.24e-04) | PASS  2.2s
rank  1334 box  54787 L=[3, 3, 3, 3] K=[27, 5, 27, 33] stored bound 0.230097276 | R2_iv 5.999941e-04 (stored 5.999941e-04) mu 0.008581925 s_req 0.239181919 smin0-s_req 9.828e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 5.83e-04) | PASS  2.2s
rank  1335 box  35978 L=[3, 2, 2, 2] K=[26, 6, 14, 20] stored bound 0.230097309 | R2_iv 1.786418e-03 (stored 1.786418e-03) mu 0.014281460 s_req 0.246067878 smin0-s_req 9.831e-05 | pivots>0: E1 True (min 6.63e-12) smin True (min 6.62e-04) | PASS  2.2s
rank  1336 box  27849 L=[2, 2, 2, 2] K=[13, 0, 8, 18] stored bound 0.230097383 | R2_iv 2.471487e-03 (stored 2.471487e-03) mu 0.017218342 s_req 0.249689828 smin0-s_req 9.838e-05 | pivots>0: E1 True (min 1.41e-11) smin True (min 5.86e-04) | PASS  2.1s
rank  1337 box  54634 L=[3, 3, 3, 3] K=[26, 2, 29, 34] stored bound 0.230097412 | R2_iv 6.010646e-04 (stored 6.010646e-04) mu 0.008597020 s_req 0.239198084 smin0-s_req 9.841e-05 | pivots>0: E1 True (min 3.70e-12) smin True (min 5.37e-04) | PASS  2.1s
rank  1338 box  63839 L=[4, 3, 3, 3] K=[66, 1, 29, 31] stored bound 0.230097506 | R2_iv 4.396401e-04 (stored 4.396401e-04) mu 0.007183217 s_req 0.237622858 smin0-s_req 9.851e-05 | pivots>0: E1 True (min 2.08e-12) smin True (min 5.77e-04) | PASS  2.1s
rank  1339 box  54626 L=[3, 3, 3, 3] K=[26, 1, 30, 34] stored bound 0.230097531 | R2_iv 6.014890e-04 (stored 6.014890e-04) mu 0.008600823 s_req 0.239202312 smin0-s_req 9.853e-05 | pivots>0: E1 True (min 3.66e-12) smin True (min 5.24e-04) | PASS  2.1s
rank  1340 box  51087 L=[3, 3, 3, 2] K=[35, 1, 24, 13] stored bound 0.230097562 | R2_iv 8.556840e-04 (stored 8.556840e-04) mu 0.010638552 s_req 0.241494236 smin0-s_req 9.856e-05 | pivots>0: E1 True (min 7.52e-12) smin True (min 6.18e-04) | PASS  2.2s
rank  1341 box  42309 L=[3, 3, 2, 2] K=[30, 4, 13, 20] stored bound 0.230097590 | R2_iv 1.147396e-03 (stored 1.147396e-03) mu 0.011838546 s_req 0.242985942 smin0-s_req 9.859e-05 | pivots>0: E1 True (min 1.14e-12) smin True (min 5.95e-04) | PASS  2.2s
rank  1342 box  48323 L=[3, 3, 2, 3] K=[26, 1, 13, 26] stored bound 0.230097591 | R2_iv 8.559119e-04 (stored 8.559119e-04) mu 0.009966890 s_req 0.240822802 smin0-s_req 9.859e-05 | pivots>0: E1 True (min 3.60e-13) smin True (min 5.29e-04) | PASS  2.2s
rank  1343 box  35791 L=[3, 2, 2, 2] K=[30, 7, 15, 13] stored bound 0.230097672 | R2_iv 1.789133e-03 (stored 1.789133e-03) mu 0.014232434 s_req 0.246021567 smin0-s_req 9.867e-05 | pivots>0: E1 True (min 6.70e-12) smin True (min 7.03e-04) | PASS  2.2s
rank  1344 box  58279 L=[3, 3, 3, 3] K=[33, 4, 28, 30] stored bound 0.230097723 | R2_iv 6.005535e-04 (stored 6.005535e-04) mu 0.008568145 s_req 0.239168698 smin0-s_req 9.872e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 6.18e-04) | PASS  2.2s
rank  1345 box  55490 L=[3, 3, 3, 3] K=[31, 3, 28, 36] stored bound 0.230097762 | R2_iv 6.005973e-04 (stored 6.005973e-04) mu 0.008589007 s_req 0.239189604 smin0-s_req 9.876e-05 | pivots>0: E1 True (min 3.65e-12) smin True (min 5.89e-04) | PASS  2.2s
rank  1346 box  53060 L=[3, 3, 3, 3] K=[27, 6, 30, 27] stored bound 0.230097848 | R2_iv 5.997532e-04 (stored 5.997532e-04) mu 0.008580769 s_req 0.239180523 smin0-s_req 9.885e-05 | pivots>0: E1 True (min 3.68e-12) smin True (min 5.91e-04) | PASS  2.2s
rank  1347 box  62793 L=[4, 3, 3, 3] K=[63, 3, 30, 32] stored bound 0.230097867 | R2_iv 4.389423e-04 (stored 4.389423e-04) mu 0.007171923 s_req 0.237610865 smin0-s_req 9.887e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 5.87e-04) | PASS  2.2s
rank  1348 box  49028 L=[3, 3, 2, 3] K=[26, 4, 12, 33] stored bound 0.230098001 | R2_iv 8.538728e-04 (stored 8.538728e-04) mu 0.009947376 s_req 0.240801249 smin0-s_req 9.900e-05 | pivots>0: E1 True (min 3.92e-13) smin True (min 5.79e-04) | PASS  2.2s
rank  1349 box  54603 L=[3, 3, 3, 3] K=[26, 1, 29, 33] stored bound 0.230098082 | R2_iv 6.014890e-04 (stored 6.014890e-04) mu 0.008598040 s_req 0.239199529 smin0-s_req 9.908e-05 | pivots>0: E1 True (min 3.67e-12) smin True (min 5.29e-04) | PASS  2.2s
rank  1350 box  34820 L=[3, 2, 2, 2] K=[24, 0, 15, 21] stored bound 0.230098264 | R2_iv 1.797581e-03 (stored 1.797581e-03) mu 0.014421444 s_req 0.246219025 smin0-s_req 9.926e-05 | pivots>0: E1 True (min 6.88e-12) smin True (min 5.08e-04) | PASS  2.2s
rank  1351 box  62811 L=[4, 3, 3, 3] K=[62, 2, 30, 34] stored bound 0.230098354 | R2_iv 4.392098e-04 (stored 4.392098e-04) mu 0.007184743 s_req 0.237623953 smin0-s_req 9.935e-05 | pivots>0: E1 True (min 1.98e-12) smin True (min 5.74e-04) | PASS  2.2s
rank  1352 box  46966 L=[3, 3, 2, 3] K=[23, 9, 14, 31] stored bound 0.230098439 | R2_iv 8.520182e-04 (stored 8.520182e-04) mu 0.009926905 s_req 0.240778923 smin0-s_req 9.944e-05 | pivots>0: E1 True (min 4.05e-13) smin True (min 6.18e-04) | PASS  2.2s
rank  1353 box  54386 L=[3, 3, 3, 3] K=[29, 7, 31, 28] stored bound 0.230098496 | R2_iv 5.996152e-04 (stored 5.996152e-04) mu 0.008568178 s_req 0.239167793 smin0-s_req 9.950e-05 | pivots>0: E1 True (min 3.59e-12) smin True (min 6.19e-04) | PASS  2.2s
rank  1354 box  55677 L=[3, 3, 3, 3] K=[31, 4, 27, 34] stored bound 0.230098592 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008578834 s_req 0.239179169 smin0-s_req 9.959e-05 | pivots>0: E1 True (min 3.57e-12) smin True (min 6.09e-04) | PASS  2.2s
rank  1355 box  46951 L=[3, 3, 2, 3] K=[23, 8, 14, 29] stored bound 0.230098625 | R2_iv 8.523149e-04 (stored 8.523149e-04) mu 0.009932674 s_req 0.240784989 smin0-s_req 9.963e-05 | pivots>0: E1 True (min 4.17e-13) smin True (min 6.06e-04) | PASS  2.2s
rank  1356 box  62733 L=[4, 3, 3, 3] K=[60, 2, 29, 33] stored bound 0.230098651 | R2_iv 4.391898e-04 (stored 4.391898e-04) mu 0.007184467 s_req 0.237623656 smin0-s_req 9.965e-05 | pivots>0: E1 True (min 1.95e-12) smin True (min 5.69e-04) | PASS  2.2s
rank  1357 box  29738 L=[2, 2, 2, 2] K=[18, 0, 9, 10] stored bound 0.230098706 | R2_iv 2.473027e-03 (stored 2.473027e-03) mu 0.017194622 s_req 0.249667649 smin0-s_req 9.971e-05 | pivots>0: E1 True (min 1.51e-11) smin True (min 6.75e-04) | PASS  2.2s
rank  1358 box  50324 L=[3, 3, 2, 3] K=[24, 11, 15, 32] stored bound 0.230098749 | R2_iv 8.515521e-04 (stored 8.515521e-04) mu 0.009922241 s_req 0.240773793 smin0-s_req 9.975e-05 | pivots>0: E1 True (min 4.08e-13) smin True (min 6.45e-04) | PASS  2.2s
rank  1359 box  34137 L=[3, 2, 2, 2] K=[24, 0, 10, 13] stored bound 0.230098865 | R2_iv 1.797581e-03 (stored 1.797581e-03) mu 0.014416284 s_req 0.246213865 smin0-s_req 9.986e-05 | pivots>0: E1 True (min 6.00e-12) smin True (min 5.44e-04) | PASS  2.2s
rank  1360 box  38591 L=[3, 3, 2, 2] K=[23, 3, 14, 12] stored bound 0.230098891 | R2_iv 1.150108e-03 (stored 1.150108e-03) mu 0.011871133 s_req 0.243021242 smin0-s_req 9.989e-05 | pivots>0: E1 True (min 1.16e-12) smin True (min 5.42e-04) | PASS  2.2s
rank  1361 box  54919 L=[3, 3, 3, 3] K=[25, 7, 30, 32] stored bound 0.230098994 | R2_iv 5.996202e-04 (stored 5.996202e-04) mu 0.008576672 s_req 0.239176292 smin0-s_req 9.999e-05 | pivots>0: E1 True (min 3.69e-12) smin True (min 6.01e-04) | PASS  2.2s
rank  1362 box  29812 L=[2, 2, 2, 2] K=[18, 1, 8, 15] stored bound 0.230099071 | R2_iv 2.470923e-03 (stored 2.470923e-03) mu 0.017124760 s_req 0.249595683 smin0-s_req 1.001e-04 | pivots>0: E1 True (min 1.43e-11) smin True (min 7.53e-04) | PASS  2.2s
rank  1363 box  33437 L=[3, 2, 2, 2] K=[18, 8, 14, 15] stored bound 0.230099149 | R2_iv 1.788430e-03 (stored 1.788430e-03) mu 0.014348852 s_req 0.246137282 smin0-s_req 1.001e-04 | pivots>0: E1 True (min 7.79e-12) smin True (min 7.19e-04) | PASS  2.2s
rank  1364 box  63842 L=[4, 3, 3, 3] K=[65, 0, 30, 28] stored bound 0.230099190 | R2_iv 4.399576e-04 (stored 4.399576e-04) mu 0.007200102 s_req 0.237640060 smin0-s_req 1.002e-04 | pivots>0: E1 True (min 2.06e-12) smin True (min 5.68e-04) | PASS  2.2s
rank  1365 box  50315 L=[3, 3, 2, 3] K=[24, 9, 14, 34] stored bound 0.230099261 | R2_iv 8.519096e-04 (stored 8.519096e-04) mu 0.009930154 s_req 0.240782064 smin0-s_req 1.003e-04 | pivots>0: E1 True (min 4.15e-13) smin True (min 6.26e-04) | PASS  2.2s
rank  1366 box  35128 L=[3, 2, 2, 2] K=[24, 4, 10, 12] stored bound 0.230099277 | R2_iv 1.787502e-03 (stored 1.787502e-03) mu 0.014333155 s_req 0.246120657 smin0-s_req 1.003e-04 | pivots>0: E1 True (min 7.27e-12) smin True (min 6.56e-04) | PASS  2.2s
rank  1367 box  46554 L=[3, 3, 2, 3] K=[23, 5, 14, 29] stored bound 0.230099317 | R2_iv 8.536261e-04 (stored 8.536261e-04) mu 0.009941273 s_req 0.240794899 smin0-s_req 1.003e-04 | pivots>0: E1 True (min 4.04e-13) smin True (min 5.72e-04) | PASS  2.2s
rank  1368 box   4930 L=[1, 1, 1, 1] K=[10, 1, 0, 8] stored bound 0.230099339 | R2_iv 1.044154e-02 (stored 1.044154e-02) mu 0.033995307 s_req 0.274436851 smin0-s_req 1.003e-04 | pivots>0: E1 True (min 4.77e-11) smin True (min 1.44e-03) | PASS  2.2s
rank  1369 box  32977 L=[3, 2, 2, 2] K=[17, 7, 15, 14] stored bound 0.230099501 | R2_iv 1.788819e-03 (stored 1.788819e-03) mu 0.014351184 s_req 0.246140003 smin0-s_req 1.005e-04 | pivots>0: E1 True (min 7.62e-12) smin True (min 6.92e-04) | PASS  2.2s
rank  1370 box  23926 L=[2, 2, 1, 2] K=[18, 7, 6, 15] stored bound 0.230099557 | R2_iv 3.514338e-03 (stored 3.514338e-03) mu 0.019851259 s_req 0.253365597 smin0-s_req 1.006e-04 | pivots>0: E1 True (min 1.34e-12) smin True (min 7.98e-04) | PASS  2.2s
rank  1371 box  34494 L=[3, 2, 2, 2] K=[27, 1, 11, 20] stored bound 0.230099613 | R2_iv 1.792827e-03 (stored 1.792827e-03) mu 0.014390637 s_req 0.246183464 smin0-s_req 1.006e-04 | pivots>0: E1 True (min 7.14e-12) smin True (min 5.86e-04) | PASS  2.2s
rank  1372 box  27320 L=[2, 2, 2, 2] K=[10, 8, 14, 20] stored bound 0.230099673 | R2_iv 2.462608e-03 (stored 2.462608e-03) mu 0.017107574 s_req 0.249570182 smin0-s_req 1.007e-04 | pivots>0: E1 True (min 1.55e-11) smin True (min 7.16e-04) | PASS  2.1s
rank  1373 box  48954 L=[3, 3, 2, 3] K=[26, 1, 14, 37] stored bound 0.230099901 | R2_iv 8.559119e-04 (stored 8.559119e-04) mu 0.009973368 s_req 0.240829280 smin0-s_req 1.009e-04 | pivots>0: E1 True (min 3.93e-13) smin True (min 5.39e-04) | PASS  2.1s
rank  1374 box   4822 L=[1, 1, 1, 1] K=[9, 6, 5, 3] stored bound 0.230099927 | R2_iv 1.053069e-02 (stored 1.053069e-02) mu 0.034017006 s_req 0.274547699 smin0-s_req 1.009e-04 | pivots>0: E1 True (min 3.18e-11) smin True (min 8.85e-04) | PASS  2.1s
rank  1375 box  46567 L=[3, 3, 2, 3] K=[23, 4, 14, 31] stored bound 0.230099987 | R2_iv 8.542030e-04 (stored 8.542030e-04) mu 0.009945515 s_req 0.240799718 smin0-s_req 1.010e-04 | pivots>0: E1 True (min 3.78e-13) smin True (min 5.63e-04) | PASS  2.1s
rank  1376 box  24829 L=[2, 2, 2, 2] K=[7, 5, 13, 15] stored bound 0.230099993 | R2_iv 2.468758e-03 (stored 2.468758e-03) mu 0.017165980 s_req 0.249634739 smin0-s_req 1.010e-04 | pivots>0: E1 True (min 1.44e-11) smin True (min 6.54e-04) | PASS  2.1s
rank  1377 box  46403 L=[3, 3, 2, 3] K=[23, 3, 15, 30] stored bound 0.230099994 | R2_iv 8.548497e-04 (stored 8.548497e-04) mu 0.009950354 s_req 0.240805203 smin0-s_req 1.010e-04 | pivots>0: E1 True (min 3.84e-13) smin True (min 5.48e-04) | PASS  2.1s
rank  1378 box  27042 L=[2, 2, 2, 2] K=[8, 9, 12, 15] stored bound 0.230100002 | R2_iv 2.465352e-03 (stored 2.465352e-03) mu 0.017178130 s_req 0.249643482 smin0-s_req 1.010e-04 | pivots>0: E1 True (min 1.56e-11) smin True (min 7.79e-04) | PASS  2.1s
rank  1379 box  17305 L=[2, 2, 1, 1] K=[18, 3, 6, 12] stored bound 0.230100094 | R2_iv 4.713899e-03 (stored 4.713899e-03) mu 0.023573084 s_req 0.258286983 smin0-s_req 1.011e-04 | pivots>0: E1 True (min 4.09e-12) smin True (min 7.04e-04) | PASS  2.1s
rank  1380 box  27811 L=[2, 2, 2, 2] K=[14, 1, 10, 8] stored bound 0.230100203 | R2_iv 2.467649e-03 (stored 2.467649e-03) mu 0.017177358 s_req 0.249645007 smin0-s_req 1.012e-04 | pivots>0: E1 True (min 1.41e-11) smin True (min 5.96e-04) | PASS  2.2s
rank  1381 box  53301 L=[3, 3, 3, 3] K=[25, 6, 31, 29] stored bound 0.230100208 | R2_iv 5.998504e-04 (stored 5.998504e-04) mu 0.008583178 s_req 0.239183028 smin0-s_req 1.012e-04 | pivots>0: E1 True (min 3.69e-12) smin True (min 5.95e-04) | PASS  2.2s
rank  1382 box  49291 L=[3, 3, 3, 2] K=[31, 6, 24, 16] stored bound 0.230100248 | R2_iv 8.526631e-04 (stored 8.526631e-04) mu 0.010596589 s_req 0.241449252 smin0-s_req 1.012e-04 | pivots>0: E1 True (min 6.75e-12) smin True (min 6.60e-04) | PASS  2.2s
rank  1383 box  23273 L=[2, 2, 2, 1] K=[16, 0, 5, 5] stored bound 0.230100314 | R2_iv 3.513514e-03 (stored 3.513514e-03) mu 0.021334225 s_req 0.254847739 smin0-s_req 1.013e-04 | pivots>0: E1 True (min 2.64e-11) smin True (min 7.26e-04) | PASS  2.2s
rank  1384 box  39818 L=[3, 3, 2, 2] K=[22, 13, 14, 14] stored bound 0.230100464 | R2_iv 1.143121e-03 (stored 1.143121e-03) mu 0.011803592 s_req 0.242946713 smin0-s_req 1.015e-04 | pivots>0: E1 True (min 1.12e-12) smin True (min 6.79e-04) | PASS  2.2s
rank  1385 box  63964 L=[4, 3, 3, 3] K=[65, 2, 30, 30] stored bound 0.230100469 | R2_iv 4.392925e-04 (stored 4.392925e-04) mu 0.007179095 s_req 0.237618388 smin0-s_req 1.015e-04 | pivots>0: E1 True (min 2.04e-12) smin True (min 6.00e-04) | PASS  2.2s
rank  1386 box  17294 L=[2, 2, 1, 1] K=[19, 3, 6, 3] stored bound 0.230100477 | R2_iv 4.721778e-03 (stored 4.721778e-03) mu 0.023552674 s_req 0.258274453 smin0-s_req 1.015e-04 | pivots>0: E1 True (min 4.40e-12) smin True (min 7.20e-04) | PASS  2.2s
rank  1387 box  25154 L=[2, 2, 2, 2] K=[7, 8, 14, 13] stored bound 0.230100571 | R2_iv 2.466299e-03 (stored 2.466299e-03) mu 0.017175849 s_req 0.249642149 smin0-s_req 1.016e-04 | pivots>0: E1 True (min 1.68e-11) smin True (min 7.40e-04) | PASS  2.2s
rank  1388 box    902 L=[1, 1, 1, 0] K=[1, 6, 2, 1] stored bound 0.230100573 | R2_iv 1.484019e-02 (stored 1.484019e-02) mu 0.042664096 s_req 0.287504285 smin0-s_req 1.016e-04 | pivots>0: E1 True (min 2.42e-10) smin True (min 1.13e-03) | PASS  2.2s
rank  1389 box  54921 L=[3, 3, 3, 3] K=[25, 7, 31, 33] stored bound 0.230100609 | R2_iv 5.996202e-04 (stored 5.996202e-04) mu 0.008578313 s_req 0.239177933 smin0-s_req 1.016e-04 | pivots>0: E1 True (min 3.70e-12) smin True (min 6.10e-04) | PASS  2.2s
rank  1390 box  11488 L=[2, 1, 1, 1] K=[27, 7, 5, 9] stored bound 0.230100668 | R2_iv 7.855074e-03 (stored 7.855074e-03) mu 0.030646669 s_req 0.268501743 smin0-s_req 1.017e-04 | pivots>0: E1 True (min 4.69e-11) smin True (min 1.21e-03) | PASS  2.2s
rank  1391 box  51379 L=[3, 3, 3, 2] K=[36, 1, 28, 12] stored bound 0.230100686 | R2_iv 8.558252e-04 (stored 8.558252e-04) mu 0.010633076 s_req 0.241488901 smin0-s_req 1.017e-04 | pivots>0: E1 True (min 7.55e-12) smin True (min 6.32e-04) | PASS  2.2s
rank  1392 box  61191 L=[4, 3, 3, 3] K=[61, 0, 28, 30] stored bound 0.230100701 | R2_iv 4.399176e-04 (stored 4.399176e-04) mu 0.007198631 s_req 0.237638549 smin0-s_req 1.017e-04 | pivots>0: E1 True (min 1.95e-12) smin True (min 5.62e-04) | PASS  2.2s
rank  1393 box  34673 L=[3, 2, 2, 2] K=[25, 1, 14, 9] stored bound 0.230100767 | R2_iv 1.793575e-03 (stored 1.793575e-03) mu 0.014392198 s_req 0.246185773 smin0-s_req 1.018e-04 | pivots>0: E1 True (min 7.14e-12) smin True (min 5.49e-04) | PASS  2.2s
rank  1394 box  43075 L=[3, 3, 2, 2] K=[25, 13, 15, 13] stored bound 0.230100786 | R2_iv 1.142967e-03 (stored 1.142967e-03) mu 0.011781555 s_req 0.242924522 smin0-s_req 1.018e-04 | pivots>0: E1 True (min 1.08e-12) smin True (min 6.84e-04) | PASS  2.2s
rank  1395 box  23598 L=[2, 2, 2, 1] K=[18, 2, 12, 3] stored bound 0.230100822 | R2_iv 3.507094e-03 (stored 3.507094e-03) mu 0.021063645 s_req 0.254570739 smin0-s_req 1.018e-04 | pivots>0: E1 True (min 2.98e-11) smin True (min 6.79e-04) | PASS  2.2s
rank  1396 box  18748 L=[2, 2, 1, 1] K=[20, 4, 6, 10] stored bound 0.230100832 | R2_iv 4.731611e-03 (stored 4.731611e-03) mu 0.023491995 s_req 0.258223606 smin0-s_req 1.018e-04 | pivots>0: E1 True (min 3.64e-12) smin True (min 8.05e-04) | PASS  2.2s
rank  1397 box  47637 L=[3, 3, 3, 2] K=[31, 5, 23, 14] stored bound 0.230100990 | R2_iv 8.530635e-04 (stored 8.530635e-04) mu 0.010611165 s_req 0.241464229 smin0-s_req 1.020e-04 | pivots>0: E1 True (min 7.37e-12) smin True (min 6.55e-04) | PASS  2.2s
rank  1398 box   5879 L=[1, 1, 1, 1] K=[12, 7, 4, 4] stored bound 0.230101005 | R2_iv 1.075300e-02 (stored 1.075300e-02) mu 0.035598341 s_req 0.276351346 smin0-s_req 1.020e-04 | pivots>0: E1 True (min 6.63e-11) smin True (min 1.10e-03) | PASS  2.2s
rank  1399 box  62748 L=[4, 3, 3, 3] K=[62, 2, 29, 33] stored bound 0.230101006 | R2_iv 4.392098e-04 (stored 4.392098e-04) mu 0.007182489 s_req 0.237621699 smin0-s_req 1.020e-04 | pivots>0: E1 True (min 1.98e-12) smin True (min 5.91e-04) | PASS  2.1s
rank  1400 box  56880 L=[3, 3, 3, 3] K=[26, 8, 30, 32] stored bound 0.230101075 | R2_iv 5.993991e-04 (stored 5.993991e-04) mu 0.008570473 s_req 0.239169872 smin0-s_req 1.021e-04 | pivots>0: E1 True (min 3.65e-12) smin True (min 6.31e-04) | PASS  2.2s
rank  1401 box  56882 L=[3, 3, 3, 3] K=[26, 8, 31, 33] stored bound 0.230101346 | R2_iv 5.993991e-04 (stored 5.993991e-04) mu 0.008571887 s_req 0.239171286 smin0-s_req 1.023e-04 | pivots>0: E1 True (min 3.66e-12) smin True (min 6.32e-04) | PASS  2.2s
rank  1402 box  49573 L=[3, 3, 3, 2] K=[30, 4, 30, 20] stored bound 0.230101387 | R2_iv 8.535855e-04 (stored 8.535855e-04) mu 0.010632429 s_req 0.241486015 smin0-s_req 1.024e-04 | pivots>0: E1 True (min 7.29e-12) smin True (min 6.07e-04) | PASS  2.2s
rank  1403 box   7857 L=[2, 1, 1, 1] K=[11, 1, 2, 11] stored bound 0.230101507 | R2_iv 7.462196e-03 (stored 7.462196e-03) mu 0.028713295 s_req 0.266175491 smin0-s_req 1.025e-04 | pivots>0: E1 True (min 2.39e-11) smin True (min 7.30e-04) | PASS  2.1s
rank  1404 box  29091 L=[2, 2, 2, 2] K=[12, 8, 12, 11] stored bound 0.230101643 | R2_iv 2.462716e-03 (stored 2.462716e-03) mu 0.017060967 s_req 0.249523683 smin0-s_req 1.026e-04 | pivots>0: E1 True (min 1.32e-11) smin True (min 7.48e-04) | PASS  2.1s
rank  1405 box   6673 L=[2, 1, 1, 1] K=[0, 4, 7, 6] stored bound 0.230101784 | R2_iv 7.555130e-03 (stored 7.555130e-03) mu 0.028832510 s_req 0.266387640 smin0-s_req 1.028e-04 | pivots>0: E1 True (min 2.91e-11) smin True (min 9.84e-04) | PASS  2.1s
rank  1406 box  29693 L=[2, 2, 2, 2] K=[17, 1, 11, 8] stored bound 0.230101856 | R2_iv 2.469341e-03 (stored 2.469341e-03) mu 0.017151080 s_req 0.249620421 smin0-s_req 1.029e-04 | pivots>0: E1 True (min 1.48e-11) smin True (min 6.54e-04) | PASS  2.1s
rank  1407 box  53778 L=[3, 3, 3, 3] K=[30, 3, 25, 30] stored bound 0.230102022 | R2_iv 6.005512e-04 (stored 6.005512e-04) mu 0.008585271 s_req 0.239185822 smin0-s_req 1.030e-04 | pivots>0: E1 True (min 3.63e-12) smin True (min 6.15e-04) | PASS  2.2s
rank  1408 box  55260 L=[3, 3, 3, 3] K=[31, 3, 27, 35] stored bound 0.230102132 | R2_iv 6.005973e-04 (stored 6.005973e-04) mu 0.008587411 s_req 0.239188009 smin0-s_req 1.031e-04 | pivots>0: E1 True (min 3.63e-12) smin True (min 6.18e-04) | PASS  2.2s
rank  1409 box  15105 L=[2, 2, 1, 1] K=[12, 2, 1, 7] stored bound 0.230102212 | R2_iv 4.707094e-03 (stored 4.707094e-03) mu 0.023696912 s_req 0.258404006 smin0-s_req 1.032e-04 | pivots>0: E1 True (min 3.96e-12) smin True (min 7.87e-04) | PASS  2.2s
rank  1410 box  38716 L=[3, 3, 2, 2] K=[23, 7, 13, 12] stored bound 0.230102219 | R2_iv 1.145544e-03 (stored 1.145544e-03) mu 0.011825658 s_req 0.242971202 smin0-s_req 1.032e-04 | pivots>0: E1 True (min 1.13e-12) smin True (min 6.16e-04) | PASS  2.2s
rank  1411 box  51332 L=[3, 3, 3, 2] K=[37, 0, 25, 14] stored bound 0.230102244 | R2_iv 8.566658e-04 (stored 8.566658e-04) mu 0.010634286 s_req 0.241490952 smin0-s_req 1.032e-04 | pivots>0: E1 True (min 7.56e-12) smin True (min 6.58e-04) | PASS  2.2s
rank  1412 box  53624 L=[3, 3, 3, 3] K=[30, 0, 28, 25] stored bound 0.230102358 | R2_iv 6.016368e-04 (stored 6.016368e-04) mu 0.008613719 s_req 0.239215355 smin0-s_req 1.034e-04 | pivots>0: E1 True (min 3.74e-12) smin True (min 5.67e-04) | PASS  2.2s
rank  1413 box  34821 L=[3, 2, 2, 2] K=[24, 1, 14, 21] stored bound 0.230102388 | R2_iv 1.794118e-03 (stored 1.794118e-03) mu 0.014394005 s_req 0.246188123 smin0-s_req 1.034e-04 | pivots>0: E1 True (min 7.02e-12) smin True (min 5.58e-04) | PASS  2.2s
rank  1414 box  31321 L=[2, 2, 2, 2] K=[20, 3, 14, 16] stored bound 0.230102420 | R2_iv 2.474480e-03 (stored 2.474480e-03) mu 0.016991068 s_req 0.249465548 smin0-s_req 1.034e-04 | pivots>0: E1 True (min 1.15e-11) smin True (min 7.77e-04) | PASS  2.2s
rank  1415 box  48843 L=[3, 3, 2, 3] K=[24, 1, 15, 34] stored bound 0.230102461 | R2_iv 8.561445e-04 (stored 8.561445e-04) mu 0.009966293 s_req 0.240822438 smin0-s_req 1.035e-04 | pivots>0: E1 True (min 3.74e-13) smin True (min 5.40e-04) | PASS  2.2s
rank  1416 box  58913 L=[3, 3, 3, 3] K=[32, 0, 27, 36] stored bound 0.230102497 | R2_iv 6.016658e-04 (stored 6.016658e-04) mu 0.008608146 s_req 0.239209811 smin0-s_req 1.035e-04 | pivots>0: E1 True (min 3.80e-12) smin True (min 5.92e-04) | PASS  2.2s
rank  1417 box   5411 L=[1, 1, 1, 1] K=[10, 6, 4, 8] stored bound 0.230102605 | R2_iv 1.057524e-02 (stored 1.057524e-02) mu 0.034106976 s_req 0.274682221 smin0-s_req 1.036e-04 | pivots>0: E1 True (min 2.97e-11) smin True (min 1.18e-03) | PASS  2.2s
rank  1418 box  34448 L=[3, 2, 2, 2] K=[30, 3, 9, 16] stored bound 0.230102717 | R2_iv 1.788878e-03 (stored 1.788878e-03) mu 0.014311621 s_req 0.246100499 smin0-s_req 1.037e-04 | pivots>0: E1 True (min 6.71e-12) smin True (min 7.26e-04) | PASS  2.2s
rank  1419 box  20101 L=[2, 2, 2, 1] K=[7, 10, 15, 5] stored bound 0.230102738 | R2_iv 3.503927e-03 (stored 3.503927e-03) mu 0.021294138 s_req 0.254798065 smin0-s_req 1.037e-04 | pivots>0: E1 True (min 3.98e-11) smin True (min 8.05e-04) | PASS  2.2s
rank  1420 box  61210 L=[4, 3, 3, 3] K=[61, 1, 30, 28] stored bound 0.230102906 | R2_iv 4.395375e-04 (stored 4.395375e-04) mu 0.007195411 s_req 0.237634948 smin0-s_req 1.039e-04 | pivots>0: E1 True (min 1.97e-12) smin True (min 5.83e-04) | PASS  2.2s
rank  1421 box  18131 L=[2, 2, 1, 1] K=[16, 12, 6, 7] stored bound 0.230102974 | R2_iv 4.761335e-03 (stored 4.761335e-03) mu 0.023776177 s_req 0.258537513 smin0-s_req 1.040e-04 | pivots>0: E1 True (min 5.13e-12) smin True (min 8.68e-04) | PASS  2.2s
rank  1422 box  28695 L=[2, 2, 2, 2] K=[14, 4, 10, 20] stored bound 0.230102992 | R2_iv 2.462355e-03 (stored 2.462355e-03) mu 0.017117786 s_req 0.249580142 smin0-s_req 1.040e-04 | pivots>0: E1 True (min 1.23e-11) smin True (min 7.23e-04) | PASS  2.2s
rank  1423 box  38708 L=[3, 3, 2, 2] K=[22, 5, 13, 13] stored bound 0.230103087 | R2_iv 1.148070e-03 (stored 1.148070e-03) mu 0.011849238 s_req 0.242997309 smin0-s_req 1.041e-04 | pivots>0: E1 True (min 1.13e-12) smin True (min 5.93e-04) | PASS  2.2s
rank  1424 box  43131 L=[3, 3, 2, 2] K=[25, 13, 13, 15] stored bound 0.230103144 | R2_iv 1.142967e-03 (stored 1.142967e-03) mu 0.011785530 s_req 0.242928497 smin0-s_req 1.041e-04 | pivots>0: E1 True (min 1.06e-12) smin True (min 7.14e-04) | PASS  2.2s
rank  1425 box  36912 L=[3, 2, 2, 2] K=[38, 0, 11, 18] stored bound 0.230103149 | R2_iv 1.798708e-03 (stored 1.798708e-03) mu 0.014369541 s_req 0.246168249 smin0-s_req 1.041e-04 | pivots>0: E1 True (min 7.92e-12) smin True (min 7.09e-04) | PASS  2.2s
rank  1426 box  24129 L=[2, 2, 1, 2] K=[16, 9, 6, 16] stored bound 0.230103193 | R2_iv 3.510417e-03 (stored 3.510417e-03) mu 0.019879848 s_req 0.253390265 smin0-s_req 1.042e-04 | pivots>0: E1 True (min 1.32e-12) smin True (min 8.29e-04) | PASS  2.1s
rank  1427 box  43700 L=[3, 3, 2, 2] K=[28, 8, 12, 18] stored bound 0.230103290 | R2_iv 1.144262e-03 (stored 1.144262e-03) mu 0.011796159 s_req 0.242940421 smin0-s_req 1.043e-04 | pivots>0: E1 True (min 1.03e-12) smin True (min 6.79e-04) | PASS  2.1s
rank  1428 box  27885 L=[2, 2, 2, 2] K=[12, 1, 11, 21] stored bound 0.230103334 | R2_iv 2.469071e-03 (stored 2.469071e-03) mu 0.017195035 s_req 0.249664106 smin0-s_req 1.043e-04 | pivots>0: E1 True (min 1.45e-11) smin True (min 5.89e-04) | PASS  2.1s
rank  1429 box  23990 L=[2, 2, 1, 2] K=[18, 6, 7, 20] stored bound 0.230103401 | R2_iv 3.512520e-03 (stored 3.512520e-03) mu 0.019837171 s_req 0.253349691 smin0-s_req 1.044e-04 | pivots>0: E1 True (min 1.32e-12) smin True (min 7.83e-04) | PASS  2.1s
rank  1430 box  39034 L=[3, 3, 2, 2] K=[21, 4, 15, 17] stored bound 0.230103413 | R2_iv 1.149999e-03 (stored 1.149999e-03) mu 0.011859064 s_req 0.243009063 smin0-s_req 1.044e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 5.73e-04) | PASS  2.1s
rank  1431 box  28858 L=[2, 2, 2, 2] K=[14, 7, 12, 19] stored bound 0.230103429 | R2_iv 2.463223e-03 (stored 2.463223e-03) mu 0.017039489 s_req 0.249502712 smin0-s_req 1.044e-04 | pivots>0: E1 True (min 1.14e-11) smin True (min 7.69e-04) | PASS  2.1s
rank  1432 box   6168 L=[1, 1, 1, 1] K=[14, 5, 4, 6] stored bound 0.230103524 | R2_iv 1.076664e-02 (stored 1.076664e-02) mu 0.035165272 s_req 0.275931917 smin0-s_req 1.045e-04 | pivots>0: E1 True (min 6.56e-11) smin True (min 1.63e-03) | PASS  2.1s
rank  1433 box  22502 L=[2, 2, 1, 2] K=[12, 6, 5, 8] stored bound 0.230103759 | R2_iv 3.495050e-03 (stored 3.495050e-03) mu 0.019872706 s_req 0.253367756 smin0-s_req 1.048e-04 | pivots>0: E1 True (min 1.89e-12) smin True (min 7.20e-04) | PASS  2.1s
rank  1434 box  40519 L=[3, 3, 2, 2] K=[30, 0, 11, 11] stored bound 0.230103880 | R2_iv 1.152339e-03 (stored 1.152339e-03) mu 0.011911786 s_req 0.243064125 smin0-s_req 1.049e-04 | pivots>0: E1 True (min 1.29e-12) smin True (min 5.93e-04) | PASS  2.1s
rank  1435 box  38633 L=[3, 3, 2, 2] K=[22, 3, 13, 14] stored bound 0.230103961 | R2_iv 1.150730e-03 (stored 1.150730e-03) mu 0.011871006 s_req 0.243021736 smin0-s_req 1.050e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 5.72e-04) | PASS  2.1s
rank  1436 box  61217 L=[4, 3, 3, 3] K=[63, 1, 30, 28] stored bound 0.230104056 | R2_iv 4.395575e-04 (stored 4.395575e-04) mu 0.007193646 s_req 0.237633203 smin0-s_req 1.051e-04 | pivots>0: E1 True (min 2.01e-12) smin True (min 5.98e-04) | PASS  2.1s
rank  1437 box  41912 L=[3, 3, 2, 2] K=[24, 0, 12, 15] stored bound 0.230104214 | R2_iv 1.154349e-03 (stored 1.154349e-03) mu 0.011908269 s_req 0.243062618 smin0-s_req 1.052e-04 | pivots>0: E1 True (min 1.18e-12) smin True (min 5.49e-04) | PASS  2.1s
rank  1438 box  37239 L=[3, 2, 2, 2] K=[39, 2, 14, 13] stored bound 0.230104214 | R2_iv 1.796756e-03 (stored 1.796756e-03) mu 0.014277581 s_req 0.246074337 smin0-s_req 1.052e-04 | pivots>0: E1 True (min 8.02e-12) smin True (min 7.40e-04) | PASS  2.1s
rank  1439 box  35484 L=[3, 2, 2, 2] K=[28, 6, 11, 16] stored bound 0.230104336 | R2_iv 1.787039e-03 (stored 1.787039e-03) mu 0.014273751 s_req 0.246060790 smin0-s_req 1.053e-04 | pivots>0: E1 True (min 6.51e-12) smin True (min 7.64e-04) | PASS  2.1s
rank  1440 box  28945 L=[2, 2, 2, 2] K=[14, 7, 15, 21] stored bound 0.230104382 | R2_iv 2.463223e-03 (stored 2.463223e-03) mu 0.017009776 s_req 0.249472999 smin0-s_req 1.054e-04 | pivots>0: E1 True (min 1.16e-11) smin True (min 7.37e-04) | PASS  2.1s
rank  1441 box  63819 L=[4, 3, 3, 3] K=[65, 0, 28, 30] stored bound 0.230104406 | R2_iv 4.399576e-04 (stored 4.399576e-04) mu 0.007195283 s_req 0.237635240 smin0-s_req 1.054e-04 | pivots>0: E1 True (min 2.05e-12) smin True (min 6.01e-04) | PASS  2.1s
rank  1442 box  54847 L=[3, 3, 3, 3] K=[25, 4, 29, 32] stored bound 0.230104490 | R2_iv 6.004372e-04 (stored 6.004372e-04) mu 0.008585805 s_req 0.239186242 smin0-s_req 1.055e-04 | pivots>0: E1 True (min 3.69e-12) smin True (min 5.96e-04) | PASS  2.1s
rank  1443 box  10596 L=[2, 1, 1, 1] K=[21, 0, 4, 11] stored bound 0.230104565 | R2_iv 7.511736e-03 (stored 7.511736e-03) mu 0.028659598 s_req 0.266171334 smin0-s_req 1.056e-04 | pivots>0: E1 True (min 2.93e-11) smin True (min 8.96e-04) | PASS  2.2s
rank  1444 box  51359 L=[3, 3, 3, 2] K=[37, 2, 27, 15] stored bound 0.230104608 | R2_iv 8.554928e-04 (stored 8.554928e-04) mu 0.010597141 s_req 0.241452634 smin0-s_req 1.056e-04 | pivots>0: E1 True (min 7.43e-12) smin True (min 6.90e-04) | PASS  2.2s
rank  1445 box  55799 L=[3, 3, 3, 3] K=[29, 6, 29, 35] stored bound 0.230104705 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008574421 s_req 0.239174203 smin0-s_req 1.057e-04 | pivots>0: E1 True (min 3.58e-12) smin True (min 6.48e-04) | PASS  2.1s
rank  1446 box  53661 L=[3, 3, 3, 3] K=[30, 3, 31, 25] stored bound 0.230104715 | R2_iv 6.005512e-04 (stored 6.005512e-04) mu 0.008593117 s_req 0.239193669 smin0-s_req 1.057e-04 | pivots>0: E1 True (min 3.73e-12) smin True (min 6.14e-04) | PASS  2.2s
rank  1447 box  38006 L=[3, 2, 2, 2] K=[33, 4, 14, 20] stored bound 0.230104897 | R2_iv 1.789776e-03 (stored 1.789776e-03) mu 0.014268827 s_req 0.246058603 smin0-s_req 1.059e-04 | pivots>0: E1 True (min 6.68e-12) smin True (min 7.16e-04) | PASS  2.1s
rank  1448 box  55783 L=[3, 3, 3, 3] K=[28, 5, 28, 35] stored bound 0.230104921 | R2_iv 5.999770e-04 (stored 5.999770e-04) mu 0.008582954 s_req 0.239182931 smin0-s_req 1.059e-04 | pivots>0: E1 True (min 3.64e-12) smin True (min 6.32e-04) | PASS  2.1s
rank  1449 box  58713 L=[3, 3, 3, 3] K=[32, 0, 25, 33] stored bound 0.230105012 | R2_iv 6.016658e-04 (stored 6.016658e-04) mu 0.008599591 s_req 0.239201257 smin0-s_req 1.060e-04 | pivots>0: E1 True (min 3.75e-12) smin True (min 6.14e-04) | PASS  2.1s
rank  1450 box  34727 L=[3, 2, 2, 2] K=[25, 3, 14, 9] stored bound 0.230105387 | R2_iv 1.788758e-03 (stored 1.788758e-03) mu 0.014337639 s_req 0.246126397 smin0-s_req 1.064e-04 | pivots>0: E1 True (min 7.19e-12) smin True (min 6.25e-04) | PASS  2.1s
rank  1451 box   4078 L=[1, 1, 1, 1] K=[7, 1, 2, 15] stored bound 0.230105453 | R2_iv 1.039316e-02 (stored 1.039316e-02) mu 0.033882406 s_req 0.274275565 smin0-s_req 1.065e-04 | pivots>0: E1 True (min 4.18e-11) smin True (min 7.93e-04) | PASS  2.2s
rank  1452 box  62482 L=[4, 3, 3, 3] K=[57, 1, 31, 33] stored bound 0.230105564 | R2_iv 4.395817e-04 (stored 4.395817e-04) mu 0.007193615 s_req 0.237633197 smin0-s_req 1.066e-04 | pivots>0: E1 True (min 1.90e-12) smin True (min 5.81e-04) | PASS  2.2s
rank  1453 box  41021 L=[3, 3, 2, 2] K=[31, 4, 10, 14] stored bound 0.230105732 | R2_iv 1.147583e-03 (stored 1.147583e-03) mu 0.011825962 s_req 0.242973545 smin0-s_req 1.067e-04 | pivots>0: E1 True (min 1.24e-12) smin True (min 6.93e-04) | PASS  2.1s
rank  1454 box  49276 L=[3, 3, 3, 2] K=[30, 3, 26, 19] stored bound 0.230105809 | R2_iv 8.542451e-04 (stored 8.542451e-04) mu 0.010646852 s_req 0.241501098 smin0-s_req 1.068e-04 | pivots>0: E1 True (min 7.07e-12) smin True (min 6.35e-04) | PASS  2.2s
rank  1455 box  59361 L=[3, 3, 3, 3] K=[33, 4, 31, 35] stored bound 0.230105811 | R2_iv 6.005535e-04 (stored 6.005535e-04) mu 0.008572864 s_req 0.239173418 smin0-s_req 1.068e-04 | pivots>0: E1 True (min 3.60e-12) smin True (min 6.63e-04) | PASS  2.2s
rank  1456 box  31199 L=[2, 2, 2, 2] K=[21, 1, 14, 13] stored bound 0.230105930 | R2_iv 2.478699e-03 (stored 2.478699e-03) mu 0.017070565 s_req 0.249549264 smin0-s_req 1.069e-04 | pivots>0: E1 True (min 1.36e-11) smin True (min 7.90e-04) | PASS  2.2s
rank  1457 box  48205 L=[3, 3, 2, 3] K=[28, 4, 15, 23] stored bound 0.230105945 | R2_iv 8.539551e-04 (stored 8.539551e-04) mu 0.009954984 s_req 0.240808939 smin0-s_req 1.069e-04 | pivots>0: E1 True (min 4.31e-13) smin True (min 6.17e-04) | PASS  2.2s
rank  1458 box  48679 L=[3, 3, 2, 3] K=[27, 7, 12, 29] stored bound 0.230105946 | R2_iv 8.525114e-04 (stored 8.525114e-04) mu 0.009924336 s_req 0.240776847 smin0-s_req 1.069e-04 | pivots>0: E1 True (min 4.09e-13) smin True (min 6.72e-04) | PASS  2.1s
rank  1459 box  39609 L=[3, 3, 2, 2] K=[22, 8, 12, 15] stored bound 0.230105957 | R2_iv 1.145145e-03 (stored 1.145145e-03) mu 0.011821255 s_req 0.242966400 smin0-s_req 1.070e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 6.63e-04) | PASS  2.1s
rank  1460 box  48965 L=[3, 3, 2, 3] K=[26, 1, 15, 38] stored bound 0.230105996 | R2_iv 8.559119e-04 (stored 8.559119e-04) mu 0.009973542 s_req 0.240829454 smin0-s_req 1.070e-04 | pivots>0: E1 True (min 4.02e-13) smin True (min 5.68e-04) | PASS  2.1s
rank  1461 box  49810 L=[3, 3, 2, 3] K=[24, 8, 13, 31] stored bound 0.230106220 | R2_iv 8.521938e-04 (stored 8.521938e-04) mu 0.009927407 s_req 0.240779601 smin0-s_req 1.072e-04 | pivots>0: E1 True (min 4.00e-13) smin True (min 6.62e-04) | PASS  2.1s
rank  1462 box  53740 L=[3, 3, 3, 3] K=[30, 0, 25, 28] stored bound 0.230106233 | R2_iv 6.016368e-04 (stored 6.016368e-04) mu 0.008608380 s_req 0.239210017 smin0-s_req 1.072e-04 | pivots>0: E1 True (min 3.58e-12) smin True (min 5.99e-04) | PASS  2.1s
rank  1463 box  58720 L=[3, 3, 3, 3] K=[33, 0, 25, 32] stored bound 0.230106346 | R2_iv 6.017273e-04 (stored 6.017273e-04) mu 0.008593923 s_req 0.239195651 smin0-s_req 1.073e-04 | pivots>0: E1 True (min 3.74e-12) smin True (min 6.33e-04) | PASS  2.1s
rank  1464 box  40520 L=[3, 3, 2, 2] K=[30, 1, 11, 11] stored bound 0.230106375 | R2_iv 1.150890e-03 (stored 1.150890e-03) mu 0.011891887 s_req 0.243042778 smin0-s_req 1.074e-04 | pivots>0: E1 True (min 1.28e-12) smin True (min 6.21e-04) | PASS  2.1s
rank  1465 box  37104 L=[3, 2, 2, 2] K=[36, 0, 13, 9] stored bound 0.230106418 | R2_iv 1.797190e-03 (stored 1.797190e-03) mu 0.014396839 s_req 0.246194028 smin0-s_req 1.074e-04 | pivots>0: E1 True (min 8.73e-12) smin True (min 6.59e-04) | PASS  2.1s
rank  1466 box  24525 L=[2, 2, 2, 1] K=[21, 4, 15, 7] stored bound 0.230106481 | R2_iv 3.524635e-03 (stored 3.524635e-03) mu 0.020912815 s_req 0.254437450 smin0-s_req 1.075e-04 | pivots>0: E1 True (min 2.40e-11) smin True (min 8.57e-04) | PASS  2.1s
rank  1467 box  18675 L=[2, 2, 1, 1] K=[21, 5, 6, 7] stored bound 0.230106488 | R2_iv 4.746807e-03 (stored 4.746807e-03) mu 0.023432670 s_req 0.258179477 smin0-s_req 1.075e-04 | pivots>0: E1 True (min 3.49e-12) smin True (min 9.04e-04) | PASS  2.1s
rank  1468 box  61195 L=[4, 3, 3, 3] K=[61, 1, 28, 30] stored bound 0.230106624 | R2_iv 4.395375e-04 (stored 4.395375e-04) mu 0.007191098 s_req 0.237630636 smin0-s_req 1.076e-04 | pivots>0: E1 True (min 1.96e-12) smin True (min 6.08e-04) | PASS  2.1s
rank  1469 box  28934 L=[2, 2, 2, 2] K=[14, 6, 13, 21] stored bound 0.230106707 | R2_iv 2.462250e-03 (stored 2.462250e-03) mu 0.017043442 s_req 0.249505692 smin0-s_req 1.077e-04 | pivots>0: E1 True (min 1.17e-11) smin True (min 7.48e-04) | PASS  2.1s
rank  1470 box  12656 L=[2, 2, 1, 1] K=[5, 6, 5, 6] stored bound 0.230106787 | R2_iv 4.725352e-03 (stored 4.725352e-03) mu 0.023761598 s_req 0.258486949 smin0-s_req 1.078e-04 | pivots>0: E1 True (min 4.83e-12) smin True (min 7.73e-04) | PASS  2.1s
rank  1471 box  55666 L=[3, 3, 3, 3] K=[31, 5, 27, 32] stored bound 0.230106880 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008567768 s_req 0.239167883 smin0-s_req 1.079e-04 | pivots>0: E1 True (min 3.52e-12) smin True (min 6.72e-04) | PASS  2.1s
rank  1472 box  37794 L=[3, 2, 2, 2] K=[36, 4, 13, 14] stored bound 0.230106888 | R2_iv 1.792585e-03 (stored 1.792585e-03) mu 0.014233297 s_req 0.246025882 smin0-s_req 1.079e-04 | pivots>0: E1 True (min 7.64e-12) smin True (min 7.73e-04) | PASS  2.1s
rank  1473 box  38706 L=[3, 3, 2, 2] K=[23, 5, 12, 13] stored bound 0.230106892 | R2_iv 1.147542e-03 (stored 1.147542e-03) mu 0.011846387 s_req 0.242993929 smin0-s_req 1.079e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 6.26e-04) | PASS  2.1s
rank  1474 box  48734 L=[3, 3, 3, 2] K=[30, 6, 24, 13] stored bound 0.230106909 | R2_iv 8.525829e-04 (stored 8.525829e-04) mu 0.010609890 s_req 0.241462472 smin0-s_req 1.079e-04 | pivots>0: E1 True (min 7.49e-12) smin True (min 6.88e-04) | PASS  2.1s
rank  1475 box  55053 L=[3, 3, 3, 3] K=[27, 5, 30, 36] stored bound 0.230106961 | R2_iv 5.999941e-04 (stored 5.999941e-04) mu 0.008585947 s_req 0.239185941 smin0-s_req 1.080e-04 | pivots>0: E1 True (min 3.69e-12) smin True (min 6.33e-04) | PASS  2.1s
rank  1476 box  26523 L=[2, 2, 2, 2] K=[10, 4, 15, 9] stored bound 0.230107139 | R2_iv 2.464191e-03 (stored 2.464191e-03) mu 0.017125110 s_req 0.249589302 smin0-s_req 1.081e-04 | pivots>0: E1 True (min 1.45e-11) smin True (min 6.46e-04) | PASS  2.1s
rank  1477 box  24135 L=[2, 2, 1, 2] K=[17, 9, 7, 16] stored bound 0.230107142 | R2_iv 3.515404e-03 (stored 3.515404e-03) mu 0.019931151 s_req 0.253446555 smin0-s_req 1.081e-04 | pivots>0: E1 True (min 1.31e-12) smin True (min 8.48e-04) | PASS  2.2s
rank  1478 box  16642 L=[2, 2, 1, 1] K=[13, 12, 6, 5] stored bound 0.230107151 | R2_iv 4.735454e-03 (stored 4.735454e-03) mu 0.023677369 s_req 0.258412823 smin0-s_req 1.082e-04 | pivots>0: E1 True (min 4.69e-12) smin True (min 8.69e-04) | PASS  2.2s
rank  1479 box  51979 L=[3, 3, 3, 2] K=[34, 1, 31, 20] stored bound 0.230107176 | R2_iv 8.556030e-04 (stored 8.556030e-04) mu 0.010648285 s_req 0.241503888 smin0-s_req 1.082e-04 | pivots>0: E1 True (min 7.40e-12) smin True (min 6.43e-04) | PASS  2.1s
rank  1480 box  43182 L=[3, 3, 2, 2] K=[25, 14, 15, 14] stored bound 0.230107182 | R2_iv 1.143135e-03 (stored 1.143135e-03) mu 0.011781634 s_req 0.242924769 smin0-s_req 1.082e-04 | pivots>0: E1 True (min 1.11e-12) smin True (min 7.41e-04) | PASS  2.1s
rank  1481 box  23645 L=[2, 2, 2, 1] K=[18, 1, 13, 12] stored bound 0.230107372 | R2_iv 3.509910e-03 (stored 3.509910e-03) mu 0.021139822 s_req 0.254649732 smin0-s_req 1.084e-04 | pivots>0: E1 True (min 2.65e-11) smin True (min 6.97e-04) | PASS  2.1s
rank  1482 box  24359 L=[2, 2, 2, 1] K=[21, 0, 15, 4] stored bound 0.230107452 | R2_iv 3.523122e-03 (stored 3.523122e-03) mu 0.021141871 s_req 0.254664992 smin0-s_req 1.085e-04 | pivots>0: E1 True (min 2.82e-11) smin True (min 7.63e-04) | PASS  2.1s
rank  1483 box  62476 L=[4, 3, 3, 3] K=[57, 1, 30, 32] stored bound 0.230107584 | R2_iv 4.395817e-04 (stored 4.395817e-04) mu 0.007191000 s_req 0.237630582 smin0-s_req 1.086e-04 | pivots>0: E1 True (min 1.90e-12) smin True (min 5.93e-04) | PASS  2.1s
rank  1484 box  56625 L=[3, 3, 3, 3] K=[29, 8, 31, 31] stored bound 0.230107622 | R2_iv 5.994904e-04 (stored 5.994904e-04) mu 0.008558553 s_req 0.239158043 smin0-s_req 1.086e-04 | pivots>0: E1 True (min 3.57e-12) smin True (min 6.89e-04) | PASS  2.1s
rank  1485 box  30060 L=[2, 2, 2, 2] K=[16, 1, 12, 7] stored bound 0.230107637 | R2_iv 2.468267e-03 (stored 2.468267e-03) mu 0.017150555 s_req 0.249618822 smin0-s_req 1.086e-04 | pivots>0: E1 True (min 1.48e-11) smin True (min 6.52e-04) | PASS  2.1s
rank  1486 box  58277 L=[3, 3, 3, 3] K=[32, 5, 28, 30] stored bound 0.230107649 | R2_iv 6.002247e-04 (stored 6.002247e-04) mu 0.008565332 s_req 0.239165556 smin0-s_req 1.086e-04 | pivots>0: E1 True (min 3.65e-12) smin True (min 6.82e-04) | PASS  2.1s
rank  1487 box  34762 L=[3, 2, 2, 2] K=[30, 1, 14, 8] stored bound 0.230107666 | R2_iv 1.792558e-03 (stored 1.792558e-03) mu 0.014378601 s_req 0.246171159 smin0-s_req 1.087e-04 | pivots>0: E1 True (min 7.84e-12) smin True (min 6.18e-04) | PASS  2.1s
rank  1488 box  48890 L=[3, 3, 2, 3] K=[26, 3, 13, 36] stored bound 0.230107710 | R2_iv 8.544828e-04 (stored 8.544828e-04) mu 0.009958290 s_req 0.240812772 smin0-s_req 1.087e-04 | pivots>0: E1 True (min 3.98e-13) smin True (min 6.13e-04) | PASS  2.1s
rank  1489 box  23597 L=[2, 2, 2, 1] K=[19, 1, 15, 3] stored bound 0.230107757 | R2_iv 3.512616e-03 (stored 3.512616e-03) mu 0.021100537 s_req 0.254613153 smin0-s_req 1.088e-04 | pivots>0: E1 True (min 2.81e-11) smin True (min 7.12e-04) | PASS  2.1s
rank  1490 box  20170 L=[2, 2, 2, 1] K=[4, 11, 14, 8] stored bound 0.230107772 | R2_iv 3.514676e-03 (stored 3.514676e-03) mu 0.021428955 s_req 0.254943631 smin0-s_req 1.088e-04 | pivots>0: E1 True (min 4.50e-11) smin True (min 9.74e-04) | PASS  2.1s
rank  1491 box  20553 L=[2, 2, 1, 2] K=[11, 3, 4, 9] stored bound 0.230107856 | R2_iv 3.501255e-03 (stored 3.501255e-03) mu 0.019891324 s_req 0.253392578 smin0-s_req 1.089e-04 | pivots>0: E1 True (min 1.93e-12) smin True (min 6.88e-04) | PASS  2.1s
rank  1492 box  54970 L=[3, 3, 3, 3] K=[26, 6, 29, 34] stored bound 0.230107898 | R2_iv 5.997860e-04 (stored 5.997860e-04) mu 0.008581360 s_req 0.239181146 smin0-s_req 1.089e-04 | pivots>0: E1 True (min 3.68e-12) smin True (min 6.48e-04) | PASS  2.1s
rank  1493 box  17338 L=[2, 2, 1, 1] K=[16, 2, 7, 14] stored bound 0.230107922 | R2_iv 4.707753e-03 (stored 4.707753e-03) mu 0.023640176 s_req 0.258347929 smin0-s_req 1.089e-04 | pivots>0: E1 True (min 4.62e-12) smin True (min 6.50e-04) | PASS  2.1s
rank  1494 box  29864 L=[2, 2, 2, 2] K=[17, 2, 8, 16] stored bound 0.230108011 | R2_iv 2.467663e-03 (stored 2.467663e-03) mu 0.017117110 s_req 0.249584773 smin0-s_req 1.090e-04 | pivots>0: E1 True (min 1.22e-11) smin True (min 8.23e-04) | PASS  2.1s
rank  1495 box  50433 L=[3, 3, 3, 2] K=[27, 8, 30, 19] stored bound 0.230108045 | R2_iv 8.518372e-04 (stored 8.518372e-04) mu 0.010611076 s_req 0.241462913 smin0-s_req 1.090e-04 | pivots>0: E1 True (min 7.35e-12) smin True (min 6.78e-04) | PASS  2.1s
rank  1496 box  58837 L=[3, 3, 3, 3] K=[35, 0, 27, 33] stored bound 0.230108050 | R2_iv 6.019445e-04 (stored 6.019445e-04) mu 0.008592345 s_req 0.239194290 smin0-s_req 1.091e-04 | pivots>0: E1 True (min 3.75e-12) smin True (min 6.59e-04) | PASS  2.1s
rank  1497 box  41011 L=[3, 3, 2, 2] K=[29, 5, 10, 15] stored bound 0.230108179 | R2_iv 1.146376e-03 (stored 1.146376e-03) mu 0.011817117 s_req 0.242963493 smin0-s_req 1.092e-04 | pivots>0: E1 True (min 1.20e-12) smin True (min 7.05e-04) | PASS  2.1s
rank  1498 box  55797 L=[3, 3, 3, 3] K=[29, 6, 28, 34] stored bound 0.230108185 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008573261 s_req 0.239173043 smin0-s_req 1.092e-04 | pivots>0: E1 True (min 3.56e-12) smin True (min 6.73e-04) | PASS  2.1s
rank  1499 box  52859 L=[3, 3, 3, 3] K=[26, 1, 29, 29] stored bound 0.230108254 | R2_iv 6.014890e-04 (stored 6.014890e-04) mu 0.008601275 s_req 0.239202764 smin0-s_req 1.093e-04 | pivots>0: E1 True (min 3.52e-12) smin True (min 5.82e-04) | PASS  2.1s
rank  1500 box  50727 L=[3, 3, 3, 2] K=[32, 0, 23, 12] stored bound 0.230108335 | R2_iv 8.565011e-04 (stored 8.565011e-04) mu 0.010677093 s_req 0.241533594 smin0-s_req 1.093e-04 | pivots>0: E1 True (min 7.36e-12) smin True (min 6.39e-04) | PASS  2.1s
rank  1501 box   1911 L=[1, 1, 0, 1] K=[12, 3, 3, 12] stored bound 0.230108369 | R2_iv 1.503160e-02 (stored 1.503160e-02) mu 0.040699283 s_req 0.285730888 smin0-s_req 1.094e-04 | pivots>0: E1 True (min 8.52e-12) smin True (min 1.05e-03) | PASS  2.1s
rank  1502 box  57731 L=[3, 3, 3, 3] K=[34, 1, 26, 30] stored bound 0.230108520 | R2_iv 6.014795e-04 (stored 6.014795e-04) mu 0.008587107 s_req 0.239188586 smin0-s_req 1.095e-04 | pivots>0: E1 True (min 3.76e-12) smin True (min 6.66e-04) | PASS  2.1s
rank  1503 box  14345 L=[2, 2, 1, 1] K=[9, 4, 7, 12] stored bound 0.230108567 | R2_iv 4.704321e-03 (stored 4.704321e-03) mu 0.023622671 s_req 0.258326992 smin0-s_req 1.096e-04 | pivots>0: E1 True (min 3.94e-12) smin True (min 6.44e-04) | PASS  2.1s
rank  1504 box  39584 L=[3, 3, 2, 2] K=[21, 9, 13, 14] stored bound 0.230108712 | R2_iv 1.144889e-03 (stored 1.144889e-03) mu 0.011821178 s_req 0.242966067 smin0-s_req 1.097e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 6.81e-04) | PASS  2.1s
rank  1505 box  47638 L=[3, 3, 3, 2] K=[30, 4, 22, 15] stored bound 0.230108881 | R2_iv 8.535855e-04 (stored 8.535855e-04) mu 0.010623588 s_req 0.241477174 smin0-s_req 1.099e-04 | pivots>0: E1 True (min 7.12e-12) smin True (min 6.91e-04) | PASS  2.1s
rank  1506 box  21418 L=[2, 2, 2, 1] K=[9, 8, 13, 4] stored bound 0.230108931 | R2_iv 3.496758e-03 (stored 3.496758e-03) mu 0.021185460 s_req 0.254682218 smin0-s_req 1.099e-04 | pivots>0: E1 True (min 3.58e-11) smin True (min 7.73e-04) | PASS  2.1s
rank  1507 box  62727 L=[4, 3, 3, 3] K=[62, 1, 31, 35] stored bound 0.230109053 | R2_iv 4.395440e-04 (stored 4.395440e-04) mu 0.007194441 s_req 0.237633985 smin0-s_req 1.101e-04 | pivots>0: E1 True (min 2.00e-12) smin True (min 6.21e-04) | PASS  2.1s
rank  1508 box  49227 L=[3, 3, 2, 3] K=[29, 1, 13, 38] stored bound 0.230109065 | R2_iv 8.560148e-04 (stored 8.560148e-04) mu 0.009976626 s_req 0.240832640 smin0-s_req 1.101e-04 | pivots>0: E1 True (min 4.10e-13) smin True (min 6.16e-04) | PASS  2.1s
rank  1509 box  61202 L=[4, 3, 3, 3] K=[63, 1, 28, 30] stored bound 0.230109078 | R2_iv 4.395575e-04 (stored 4.395575e-04) mu 0.007189218 s_req 0.237628776 smin0-s_req 1.101e-04 | pivots>0: E1 True (min 2.01e-12) smin True (min 6.31e-04) | PASS  2.1s
rank  1510 box  54887 L=[3, 3, 3, 3] K=[25, 4, 31, 34] stored bound 0.230109108 | R2_iv 6.004372e-04 (stored 6.004372e-04) mu 0.008590189 s_req 0.239190626 smin0-s_req 1.101e-04 | pivots>0: E1 True (min 3.68e-12) smin True (min 6.20e-04) | PASS  2.1s
rank  1511 box  27794 L=[2, 2, 2, 2] K=[12, 3, 9, 10] stored bound 0.230109112 | R2_iv 2.463840e-03 (stored 2.463840e-03) mu 0.017153336 s_req 0.249617176 smin0-s_req 1.101e-04 | pivots>0: E1 True (min 1.36e-11) smin True (min 7.02e-04) | PASS  2.1s
rank  1512 box  45136 L=[3, 3, 2, 2] K=[38, 3, 14, 14] stored bound 0.230109147 | R2_iv 1.152194e-03 (stored 1.152194e-03) mu 0.011814218 s_req 0.242966412 smin0-s_req 1.101e-04 | pivots>0: E1 True (min 1.29e-12) smin True (min 7.41e-04) | PASS  2.1s
rank  1513 box  43268 L=[3, 3, 2, 2] K=[31, 9, 14, 12] stored bound 0.230109274 | R2_iv 1.144855e-03 (stored 1.144855e-03) mu 0.011770473 s_req 0.242915327 smin0-s_req 1.103e-04 | pivots>0: E1 True (min 1.08e-12) smin True (min 7.29e-04) | PASS  2.1s
rank  1514 box   4400 L=[1, 1, 1, 1] K=[7, 6, 7, 1] stored bound 0.230109458 | R2_iv 1.046559e-02 (stored 1.046559e-02) mu 0.033499271 s_req 0.273964856 smin0-s_req 1.105e-04 | pivots>0: E1 True (min 2.40e-11) smin True (min 8.33e-04) | PASS  2.2s
rank  1515 box  53259 L=[3, 3, 3, 3] K=[25, 4, 29, 30] stored bound 0.230109608 | R2_iv 6.004372e-04 (stored 6.004372e-04) mu 0.008588507 s_req 0.239188944 smin0-s_req 1.106e-04 | pivots>0: E1 True (min 3.60e-12) smin True (min 6.25e-04) | PASS  2.1s
rank  1516 box  47588 L=[3, 3, 3, 2] K=[31, 4, 23, 13] stored bound 0.230109671 | R2_iv 8.535696e-04 (stored 8.535696e-04) mu 0.010625910 s_req 0.241479479 smin0-s_req 1.107e-04 | pivots>0: E1 True (min 7.40e-12) smin True (min 6.95e-04) | PASS  2.1s
rank  1517 box  51493 L=[3, 3, 3, 2] K=[36, 4, 28, 15] stored bound 0.230109721 | R2_iv 8.543959e-04 (stored 8.543959e-04) mu 0.010578480 s_req 0.241432876 smin0-s_req 1.107e-04 | pivots>0: E1 True (min 7.31e-12) smin True (min 7.31e-04) | PASS  2.1s
rank  1518 box  45716 L=[3, 3, 2, 2] K=[33, 4, 14, 20] stored bound 0.230109789 | R2_iv 1.148243e-03 (stored 1.148243e-03) mu 0.011829608 s_req 0.242977852 smin0-s_req 1.108e-04 | pivots>0: E1 True (min 1.15e-12) smin True (min 6.91e-04) | PASS  2.1s
rank  1519 box  53683 L=[3, 3, 3, 3] K=[29, 1, 25, 29] stored bound 0.230109836 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008600982 s_req 0.239202232 smin0-s_req 1.108e-04 | pivots>0: E1 True (min 3.54e-12) smin True (min 6.25e-04) | PASS  2.1s
rank  1520 box  34954 L=[3, 2, 2, 2] K=[29, 2, 12, 21] stored bound 0.230109880 | R2_iv 1.790264e-03 (stored 1.790264e-03) mu 0.014355126 s_req 0.246145390 smin0-s_req 1.109e-04 | pivots>0: E1 True (min 7.09e-12) smin True (min 6.77e-04) | PASS  2.1s
rank  1521 box  34473 L=[3, 2, 2, 2] K=[29, 2, 10, 19] stored bound 0.230109892 | R2_iv 1.790264e-03 (stored 1.790264e-03) mu 0.014355114 s_req 0.246145378 smin0-s_req 1.109e-04 | pivots>0: E1 True (min 6.92e-12) smin True (min 7.12e-04) | PASS  2.1s
rank  1522 box  28202 L=[2, 2, 2, 2] K=[14, 1, 14, 24] stored bound 0.230109960 | R2_iv 2.467649e-03 (stored 2.467649e-03) mu 0.017163939 s_req 0.249631587 smin0-s_req 1.110e-04 | pivots>0: E1 True (min 1.45e-11) smin True (min 6.20e-04) | PASS  2.1s
rank  1523 box  55813 L=[3, 3, 3, 3] K=[31, 5, 29, 35] stored bound 0.230109987 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008573676 s_req 0.239173791 smin0-s_req 1.110e-04 | pivots>0: E1 True (min 3.56e-12) smin True (min 6.85e-04) | PASS  2.1s
rank  1524 box  45055 L=[3, 3, 2, 2] K=[36, 3, 13, 12] stored bound 0.230110070 | R2_iv 1.150681e-03 (stored 1.150681e-03) mu 0.011831623 s_req 0.242982304 smin0-s_req 1.111e-04 | pivots>0: E1 True (min 1.29e-12) smin True (min 7.22e-04) | PASS  2.1s
rank  1525 box  32887 L=[3, 2, 2, 2] K=[17, 5, 14, 14] stored bound 0.230110145 | R2_iv 1.790395e-03 (stored 1.790395e-03) mu 0.014352834 s_req 0.246143229 smin0-s_req 1.111e-04 | pivots>0: E1 True (min 7.02e-12) smin True (min 7.06e-04) | PASS  2.1s
rank  1526 box  24545 L=[2, 2, 2, 1] K=[20, 4, 13, 9] stored bound 0.230110286 | R2_iv 3.517658e-03 (stored 3.517658e-03) mu 0.020960301 s_req 0.254477959 smin0-s_req 1.113e-04 | pivots>0: E1 True (min 2.26e-11) smin True (min 8.72e-04) | PASS  2.1s
rank  1527 box  14749 L=[2, 2, 1, 1] K=[11, 8, 7, 12] stored bound 0.230110357 | R2_iv 4.692197e-03 (stored 4.692197e-03) mu 0.023537670 s_req 0.258229867 smin0-s_req 1.114e-04 | pivots>0: E1 True (min 4.27e-12) smin True (min 7.67e-04) | PASS  2.1s
rank  1528 box  61555 L=[4, 3, 3, 3] K=[57, 4, 31, 31] stored bound 0.230110392 | R2_iv 4.385909e-04 (stored 4.385909e-04) mu 0.007172955 s_req 0.237611546 smin0-s_req 1.114e-04 | pivots>0: E1 True (min 1.91e-12) smin True (min 6.48e-04) | PASS  2.1s
rank  1529 box  54966 L=[3, 3, 3, 3] K=[26, 7, 29, 33] stored bound 0.230110435 | R2_iv 5.995715e-04 (stored 5.995715e-04) mu 0.008575964 s_req 0.239175536 smin0-s_req 1.114e-04 | pivots>0: E1 True (min 3.66e-12) smin True (min 6.77e-04) | PASS  2.1s
rank  1530 box  53566 L=[3, 3, 3, 3] K=[29, 1, 29, 25] stored bound 0.230110438 | R2_iv 6.012499e-04 (stored 6.012499e-04) mu 0.008607775 s_req 0.239209024 smin0-s_req 1.114e-04 | pivots>0: E1 True (min 3.73e-12) smin True (min 6.14e-04) | PASS  2.2s
rank  1531 box  51708 L=[3, 3, 3, 2] K=[32, 7, 29, 18] stored bound 0.230110516 | R2_iv 8.525575e-04 (stored 8.525575e-04) mu 0.010584123 s_req 0.241436681 smin0-s_req 1.115e-04 | pivots>0: E1 True (min 6.93e-12) smin True (min 7.24e-04) | PASS  2.1s
rank  1532 box  41910 L=[3, 3, 2, 2] K=[24, 0, 15, 12] stored bound 0.230110528 | R2_iv 1.154349e-03 (stored 1.154349e-03) mu 0.011915100 s_req 0.243069449 smin0-s_req 1.115e-04 | pivots>0: E1 True (min 1.22e-12) smin True (min 5.66e-04) | PASS  2.1s
rank  1533 box  40801 L=[3, 3, 2, 2] K=[24, 6, 11, 14] stored bound 0.230110535 | R2_iv 1.146086e-03 (stored 1.146086e-03) mu 0.011830574 s_req 0.242976660 smin0-s_req 1.115e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 6.80e-04) | PASS  2.1s
rank  1534 box  28571 L=[2, 2, 2, 2] K=[13, 5, 9, 18] stored bound 0.230110595 | R2_iv 2.461392e-03 (stored 2.461392e-03) mu 0.017121770 s_req 0.249583162 smin0-s_req 1.116e-04 | pivots>0: E1 True (min 1.24e-11) smin True (min 8.19e-04) | PASS  2.1s
rank  1535 box  58348 L=[3, 3, 3, 3] K=[32, 6, 31, 31] stored bound 0.230110619 | R2_iv 6.000630e-04 (stored 6.000630e-04) mu 0.008556315 s_req 0.239156378 smin0-s_req 1.116e-04 | pivots>0: E1 True (min 3.55e-12) smin True (min 7.09e-04) | PASS  2.1s
rank  1536 box  30735 L=[2, 2, 2, 2] K=[18, 5, 14, 12] stored bound 0.230110695 | R2_iv 2.469348e-03 (stored 2.469348e-03) mu 0.016979197 s_req 0.249448546 smin0-s_req 1.117e-04 | pivots>0: E1 True (min 1.16e-11) smin True (min 8.16e-04) | PASS  2.1s
rank  1537 box  61162 L=[4, 3, 3, 3] K=[56, 3, 31, 31] stored bound 0.230110701 | R2_iv 4.388968e-04 (stored 4.388968e-04) mu 0.007179688 s_req 0.237618585 smin0-s_req 1.117e-04 | pivots>0: E1 True (min 1.89e-12) smin True (min 6.33e-04) | PASS  2.1s
rank  1538 box  52096 L=[3, 3, 3, 2] K=[33, 8, 30, 16] stored bound 0.230110735 | R2_iv 8.527146e-04 (stored 8.527146e-04) mu 0.010560647 s_req 0.241413361 smin0-s_req 1.117e-04 | pivots>0: E1 True (min 6.94e-12) smin True (min 7.47e-04) | PASS  2.1s
rank  1539 box  28133 L=[2, 2, 2, 2] K=[12, 0, 15, 23] stored bound 0.230110799 | R2_iv 2.472704e-03 (stored 2.472704e-03) mu 0.017198773 s_req 0.249671477 smin0-s_req 1.118e-04 | pivots>0: E1 True (min 1.48e-11) smin True (min 5.71e-04) | PASS  2.1s
rank  1540 box  51488 L=[3, 3, 3, 2] K=[36, 4, 29, 14] stored bound 0.230110913 | R2_iv 8.543959e-04 (stored 8.543959e-04) mu 0.010583758 s_req 0.241438154 smin0-s_req 1.119e-04 | pivots>0: E1 True (min 7.26e-12) smin True (min 7.35e-04) | PASS  2.1s
rank  1541 box  50802 L=[3, 3, 3, 2] K=[34, 0, 22, 14] stored bound 0.230111070 | R2_iv 8.563867e-04 (stored 8.563867e-04) mu 0.010656105 s_req 0.241512492 smin0-s_req 1.121e-04 | pivots>0: E1 True (min 7.25e-12) smin True (min 6.91e-04) | PASS  2.1s
rank  1542 box  10502 L=[2, 1, 1, 1] K=[20, 1, 3, 4] stored bound 0.230111109 | R2_iv 7.493154e-03 (stored 7.493154e-03) mu 0.028484769 s_req 0.265977923 smin0-s_req 1.121e-04 | pivots>0: E1 True (min 3.55e-11) smin True (min 1.02e-03) | PASS  2.1s
rank  1543 box  10969 L=[2, 1, 1, 1] K=[22, 5, 7, 6] stored bound 0.230111237 | R2_iv 7.605751e-03 (stored 7.605751e-03) mu 0.028764694 s_req 0.266370445 smin0-s_req 1.122e-04 | pivots>0: E1 True (min 2.27e-11) smin True (min 1.01e-03) | PASS  2.1s
rank  1544 box  39000 L=[3, 3, 2, 2] K=[21, 7, 13, 16] stored bound 0.230111285 | R2_iv 1.146507e-03 (stored 1.146507e-03) mu 0.011830890 s_req 0.242977398 smin0-s_req 1.123e-04 | pivots>0: E1 True (min 1.11e-12) smin True (min 6.69e-04) | PASS  2.1s
rank  1545 box  49847 L=[3, 3, 3, 2] K=[27, 9, 25, 14] stored bound 0.230111305 | R2_iv 8.515619e-04 (stored 8.515619e-04) mu 0.010602676 s_req 0.241454238 smin0-s_req 1.123e-04 | pivots>0: E1 True (min 7.63e-12) smin True (min 7.31e-04) | PASS  2.1s
rank  1546 box  61155 L=[4, 3, 3, 3] K=[56, 2, 31, 31] stored bound 0.230111358 | R2_iv 4.392341e-04 (stored 4.392341e-04) mu 0.007185611 s_req 0.237624845 smin0-s_req 1.124e-04 | pivots>0: E1 True (min 1.88e-12) smin True (min 6.23e-04) | PASS  2.1s
rank  1547 box  23409 L=[2, 2, 2, 1] K=[16, 1, 7, 10] stored bound 0.230111388 | R2_iv 3.507427e-03 (stored 3.507427e-03) mu 0.021273260 s_req 0.254780686 smin0-s_req 1.124e-04 | pivots>0: E1 True (min 2.42e-11) smin True (min 8.10e-04) | PASS  2.1s
rank  1548 box  34127 L=[3, 2, 2, 2] K=[27, 0, 9, 12] stored bound 0.230111388 | R2_iv 1.795955e-03 (stored 1.795955e-03) mu 0.014420352 s_req 0.246216307 smin0-s_req 1.124e-04 | pivots>0: E1 True (min 6.60e-12) smin True (min 6.46e-04) | PASS  2.1s
rank  1549 box  45490 L=[3, 3, 2, 2] K=[36, 5, 13, 16] stored bound 0.230111517 | R2_iv 1.149356e-03 (stored 1.149356e-03) mu 0.011788849 s_req 0.242938205 smin0-s_req 1.125e-04 | pivots>0: E1 True (min 1.10e-12) smin True (min 7.64e-04) | PASS  2.1s
rank  1550 box  57732 L=[3, 3, 3, 3] K=[34, 1, 26, 31] stored bound 0.230111540 | R2_iv 6.014795e-04 (stored 6.014795e-04) mu 0.008583559 s_req 0.239185038 smin0-s_req 1.125e-04 | pivots>0: E1 True (min 3.75e-12) smin True (min 6.84e-04) | PASS  2.1s
rank  1551 box  30765 L=[2, 2, 2, 2] K=[18, 6, 15, 15] stored bound 0.230111591 | R2_iv 2.470662e-03 (stored 2.470662e-03) mu 0.016941186 s_req 0.249411848 smin0-s_req 1.126e-04 | pivots>0: E1 True (min 1.08e-11) smin True (min 8.45e-04) | PASS  2.1s
rank  1552 box  28890 L=[2, 2, 2, 2] K=[13, 7, 14, 21] stored bound 0.230111719 | R2_iv 2.462141e-03 (stored 2.462141e-03) mu 0.017037221 s_req 0.249499363 smin0-s_req 1.127e-04 | pivots>0: E1 True (min 1.20e-11) smin True (min 7.85e-04) | PASS  2.1s
rank  1553 box  43186 L=[3, 3, 2, 2] K=[25, 14, 14, 15] stored bound 0.230111782 | R2_iv 1.143135e-03 (stored 1.143135e-03) mu 0.011783844 s_req 0.242926979 smin0-s_req 1.128e-04 | pivots>0: E1 True (min 1.08e-12) smin True (min 7.77e-04) | PASS  2.1s
rank  1554 box  36844 L=[3, 2, 2, 2] K=[33, 2, 10, 18] stored bound 0.230111795 | R2_iv 1.791499e-03 (stored 1.791499e-03) mu 0.014329453 s_req 0.246120952 smin0-s_req 1.128e-04 | pivots>0: E1 True (min 6.94e-12) smin True (min 7.72e-04) | PASS  2.1s
rank  1555 box  54383 L=[3, 3, 3, 3] K=[29, 7, 28, 31] stored bound 0.230111825 | R2_iv 5.996152e-04 (stored 5.996152e-04) mu 0.008563747 s_req 0.239163362 smin0-s_req 1.128e-04 | pivots>0: E1 True (min 3.64e-12) smin True (min 7.08e-04) | PASS  2.1s
rank  1556 box  53716 L=[3, 3, 3, 3] K=[29, 2, 25, 29] stored bound 0.230111893 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008595510 s_req 0.239196382 smin0-s_req 1.129e-04 | pivots>0: E1 True (min 3.58e-12) smin True (min 6.50e-04) | PASS  2.1s
rank  1557 box  17952 L=[2, 2, 1, 1] K=[18, 10, 7, 6] stored bound 0.230111952 | R2_iv 4.754279e-03 (stored 4.754279e-03) mu 0.023633679 s_req 0.258387957 smin0-s_req 1.130e-04 | pivots>0: E1 True (min 4.47e-12) smin True (min 9.12e-04) | PASS  2.2s
rank  1558 box  62647 L=[4, 3, 3, 3] K=[58, 2, 31, 34] stored bound 0.230112092 | R2_iv 4.391979e-04 (stored 4.391979e-04) mu 0.007188469 s_req 0.237627667 smin0-s_req 1.131e-04 | pivots>0: E1 True (min 1.92e-12) smin True (min 6.34e-04) | PASS  2.1s
rank  1559 box  35466 L=[3, 2, 2, 2] K=[28, 5, 11, 18] stored bound 0.230112097 | R2_iv 1.786887e-03 (stored 1.786887e-03) mu 0.014291191 s_req 0.246078078 smin0-s_req 1.131e-04 | pivots>0: E1 True (min 6.50e-12) smin True (min 7.91e-04) | PASS  2.1s
rank  1560 box  43007 L=[3, 3, 2, 2] K=[27, 11, 14, 12] stored bound 0.230112113 | R2_iv 1.143245e-03 (stored 1.143245e-03) mu 0.011775535 s_req 0.242918780 smin0-s_req 1.131e-04 | pivots>0: E1 True (min 1.08e-12) smin True (min 7.44e-04) | PASS  2.1s
rank  1561 box  49379 L=[3, 3, 3, 2] K=[31, 6, 29, 19] stored bound 0.230112203 | R2_iv 8.526631e-04 (stored 8.526631e-04) mu 0.010602728 s_req 0.241455391 smin0-s_req 1.132e-04 | pivots>0: E1 True (min 7.05e-12) smin True (min 7.11e-04) | PASS  2.1s
rank  1562 box  43250 L=[3, 3, 2, 2] K=[31, 9, 12, 15] stored bound 0.230112302 | R2_iv 1.144855e-03 (stored 1.144855e-03) mu 0.011768062 s_req 0.242912917 smin0-s_req 1.133e-04 | pivots>0: E1 True (min 1.01e-12) smin True (min 7.76e-04) | PASS  2.1s
rank  1563 box  43987 L=[3, 3, 2, 2] K=[29, 8, 15, 20] stored bound 0.230112410 | R2_iv 1.144450e-03 (stored 1.144450e-03) mu 0.011791021 s_req 0.242935471 smin0-s_req 1.134e-04 | pivots>0: E1 True (min 1.06e-12) smin True (min 7.17e-04) | PASS  2.2s
rank  1564 box  26218 L=[2, 2, 2, 2] K=[9, 7, 10, 15] stored bound 0.230112417 | R2_iv 2.462954e-03 (stored 2.462954e-03) mu 0.017162241 s_req 0.249625195 smin0-s_req 1.134e-04 | pivots>0: E1 True (min 1.52e-11) smin True (min 8.38e-04) | PASS  2.1s
rank  1565 box  51742 L=[3, 3, 3, 2] K=[34, 4, 31, 19] stored bound 0.230112535 | R2_iv 8.538842e-04 (stored 8.538842e-04) mu 0.010604274 s_req 0.241458158 smin0-s_req 1.135e-04 | pivots>0: E1 True (min 7.14e-12) smin True (min 7.15e-04) | PASS  2.1s
rank  1566 box  20759 L=[2, 2, 1, 2] K=[8, 1, 6, 18] stored bound 0.230112641 | R2_iv 3.521160e-03 (stored 3.521160e-03) mu 0.019925042 s_req 0.253446203 smin0-s_req 1.136e-04 | pivots>0: E1 True (min 1.42e-12) smin True (min 6.04e-04) | PASS  2.2s
rank  1567 box  44270 L=[3, 3, 2, 2] K=[34, 1, 10, 14] stored bound 0.230112692 | R2_iv 1.151636e-03 (stored 1.151636e-03) mu 0.011866239 s_req 0.243017875 smin0-s_req 1.137e-04 | pivots>0: E1 True (min 1.36e-12) smin True (min 7.30e-04) | PASS  2.1s
rank  1568 box  48808 L=[3, 3, 2, 3] K=[27, 0, 12, 33] stored bound 0.230112845 | R2_iv 8.566925e-04 (stored 8.566925e-04) mu 0.009979109 s_req 0.240835802 smin0-s_req 1.138e-04 | pivots>0: E1 True (min 3.73e-13) smin True (min 6.15e-04) | PASS  2.1s
rank  1569 box  48615 L=[3, 3, 2, 3] K=[25, 6, 15, 25] stored bound 0.230113018 | R2_iv 8.528876e-04 (stored 8.528876e-04) mu 0.009944236 s_req 0.240797124 smin0-s_req 1.140e-04 | pivots>0: E1 True (min 4.25e-13) smin True (min 6.68e-04) | PASS  2.1s
rank  1570 box   9469 L=[2, 1, 1, 1] K=[14, 6, 5, 4] stored bound 0.230113105 | R2_iv 7.515298e-03 (stored 7.515298e-03) mu 0.028449748 s_req 0.265965047 smin0-s_req 1.141e-04 | pivots>0: E1 True (min 2.32e-11) smin True (min 9.71e-04) | PASS  2.1s
rank  1571 box  39563 L=[3, 3, 2, 2] K=[21, 10, 15, 13] stored bound 0.230113128 | R2_iv 1.144294e-03 (stored 1.144294e-03) mu 0.011815910 s_req 0.242960204 smin0-s_req 1.141e-04 | pivots>0: E1 True (min 1.12e-12) smin True (min 7.14e-04) | PASS  2.1s
rank  1572 box  61226 L=[4, 3, 3, 3] K=[60, 2, 29, 29] stored bound 0.230113317 | R2_iv 4.391898e-04 (stored 4.391898e-04) mu 0.007186936 s_req 0.237626126 smin0-s_req 1.143e-04 | pivots>0: E1 True (min 1.95e-12) smin True (min 6.52e-04) | PASS  2.1s
rank  1573 box  54986 L=[3, 3, 3, 3] K=[26, 7, 30, 34] stored bound 0.230113366 | R2_iv 5.995715e-04 (stored 5.995715e-04) mu 0.008577191 s_req 0.239176763 smin0-s_req 1.144e-04 | pivots>0: E1 True (min 3.66e-12) smin True (min 6.93e-04) | PASS  2.1s
rank  1574 box  13090 L=[2, 2, 1, 1] K=[4, 9, 6, 9] stored bound 0.230113483 | R2_iv 4.728569e-03 (stored 4.728569e-03) mu 0.023891706 s_req 0.258620275 smin0-s_req 1.145e-04 | pivots>0: E1 True (min 6.28e-12) smin True (min 9.51e-04) | PASS  2.1s
rank  1575 box  55996 L=[3, 3, 3, 3] K=[30, 4, 30, 37] stored bound 0.230113673 | R2_iv 6.002734e-04 (stored 6.002734e-04) mu 0.008585750 s_req 0.239186023 smin0-s_req 1.147e-04 | pivots>0: E1 True (min 3.66e-12) smin True (min 6.82e-04) | PASS  2.1s
rank  1576 box  44948 L=[3, 3, 2, 2] K=[37, 0, 14, 11] stored bound 0.230113687 | R2_iv 1.154303e-03 (stored 1.154303e-03) mu 0.011893406 s_req 0.243047709 smin0-s_req 1.147e-04 | pivots>0: E1 True (min 1.41e-12) smin True (min 7.11e-04) | PASS  2.1s
rank  1577 box  51524 L=[3, 3, 3, 2] K=[35, 3, 26, 17] stored bound 0.230113752 | R2_iv 8.545290e-04 (stored 8.545290e-04) mu 0.010606381 s_req 0.241460910 smin0-s_req 1.148e-04 | pivots>0: E1 True (min 6.82e-12) smin True (min 7.41e-04) | PASS  2.1s
rank  1578 box  53244 L=[3, 3, 3, 3] K=[25, 4, 30, 29] stored bound 0.230113778 | R2_iv 6.004372e-04 (stored 6.004372e-04) mu 0.008590326 s_req 0.239190764 smin0-s_req 1.148e-04 | pivots>0: E1 True (min 3.64e-12) smin True (min 6.47e-04) | PASS  2.1s
rank  1579 box  20883 L=[2, 2, 1, 2] K=[11, 5, 3, 13] stored bound 0.230113860 | R2_iv 3.496329e-03 (stored 3.496329e-03) mu 0.019842904 s_req 0.253339232 smin0-s_req 1.149e-04 | pivots>0: E1 True (min 1.83e-12) smin True (min 8.74e-04) | PASS  2.1s
rank  1580 box  52878 L=[3, 3, 3, 3] K=[26, 2, 28, 29] stored bound 0.230113897 | R2_iv 6.010646e-04 (stored 6.010646e-04) mu 0.008597561 s_req 0.239198626 smin0-s_req 1.149e-04 | pivots>0: E1 True (min 3.54e-12) smin True (min 6.28e-04) | PASS  2.1s
rank  1581 box  64404 L=[4, 3, 3, 3] K=[67, 1, 31, 33] stored bound 0.230113903 | R2_iv 4.396816e-04 (stored 4.396816e-04) mu 0.007184582 s_req 0.237624263 smin0-s_req 1.149e-04 | pivots>0: E1 True (min 2.09e-12) smin True (min 6.76e-04) | PASS  2.1s
rank  1582 box  45177 L=[3, 3, 2, 2] K=[36, 5, 13, 14] stored bound 0.230113991 | R2_iv 1.149356e-03 (stored 1.149356e-03) mu 0.011789591 s_req 0.242938947 smin0-s_req 1.150e-04 | pivots>0: E1 True (min 1.23e-12) smin True (min 7.78e-04) | PASS  2.1s
rank  1583 box   2959 L=[1, 1, 1, 1] K=[3, 1, 2, 4] stored bound 0.230114021 | R2_iv 1.044577e-02 (stored 1.044577e-02) mu 0.034220797 s_req 0.274666564 smin0-s_req 1.150e-04 | pivots>0: E1 True (min 3.73e-11) smin True (min 7.48e-04) | PASS  2.1s
rank  1584 box   5395 L=[1, 1, 1, 1] K=[10, 7, 5, 3] stored bound 0.230114092 | R2_iv 1.063398e-02 (stored 1.063398e-02) mu 0.034948991 s_req 0.275582971 smin0-s_req 1.151e-04 | pivots>0: E1 True (min 4.92e-11) smin True (min 1.03e-03) | PASS  2.1s
rank  1585 box  40808 L=[3, 3, 2, 2] K=[24, 7, 11, 15] stored bound 0.230114111 | R2_iv 1.145206e-03 (stored 1.145206e-03) mu 0.011819150 s_req 0.242964356 smin0-s_req 1.151e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 7.19e-04) | PASS  2.2s
rank  1586 box  50610 L=[3, 3, 3, 2] K=[28, 11, 30, 17] stored bound 0.230114201 | R2_iv 8.514678e-04 (stored 8.514678e-04) mu 0.010581730 s_req 0.241433198 smin0-s_req 1.152e-04 | pivots>0: E1 True (min 7.28e-12) smin True (min 7.65e-04) | PASS  2.1s
rank  1587 box  40693 L=[3, 3, 2, 2] K=[27, 3, 10, 14] stored bound 0.230114231 | R2_iv 1.148571e-03 (stored 1.148571e-03) mu 0.011857167 s_req 0.243005739 smin0-s_req 1.152e-04 | pivots>0: E1 True (min 1.18e-12) smin True (min 6.91e-04) | PASS  2.1s
rank  1588 box  48199 L=[3, 3, 3, 2] K=[29, 5, 28, 11] stored bound 0.230114297 | R2_iv 8.530596e-04 (stored 8.530596e-04) mu 0.010626282 s_req 0.241479342 smin0-s_req 1.153e-04 | pivots>0: E1 True (min 7.54e-12) smin True (min 6.90e-04) | PASS  2.1s
rank  1589 box  62595 L=[4, 3, 3, 3] K=[58, 3, 30, 33] stored bound 0.230114339 | R2_iv 4.388746e-04 (stored 4.388746e-04) mu 0.007179881 s_req 0.237618755 smin0-s_req 1.153e-04 | pivots>0: E1 True (min 1.92e-12) smin True (min 6.62e-04) | PASS  2.1s
rank  1590 box  20329 L=[2, 2, 2, 1] K=[4, 12, 15, 8] stored bound 0.230114409 | R2_iv 3.518024e-03 (stored 3.518024e-03) mu 0.021464195 s_req 0.254982218 smin0-s_req 1.154e-04 | pivots>0: E1 True (min 4.83e-11) smin True (min 1.07e-03) | PASS  2.1s
rank  1591 box  28563 L=[2, 2, 2, 2] K=[12, 5, 9, 18] stored bound 0.230114415 | R2_iv 2.461338e-03 (stored 2.461338e-03) mu 0.017137730 s_req 0.249599068 smin0-s_req 1.154e-04 | pivots>0: E1 True (min 1.28e-11) smin True (min 8.31e-04) | PASS  2.1s
rank  1592 box  25754 L=[2, 2, 2, 2] K=[9, 2, 13, 11] stored bound 0.230114479 | R2_iv 2.471312e-03 (stored 2.471312e-03) mu 0.017168647 s_req 0.249639960 smin0-s_req 1.155e-04 | pivots>0: E1 True (min 1.29e-11) smin True (min 6.39e-04) | PASS  2.1s
rank  1593 box  23954 L=[2, 2, 2, 1] K=[17, 4, 12, 11] stored bound 0.230114518 | R2_iv 3.502526e-03 (stored 3.502526e-03) mu 0.021034865 s_req 0.254537392 smin0-s_req 1.155e-04 | pivots>0: E1 True (min 2.40e-11) smin True (min 8.21e-04) | PASS  2.1s
rank  1594 box  62807 L=[4, 3, 3, 3] K=[60, 3, 31, 34] stored bound 0.230114649 | R2_iv 4.388806e-04 (stored 4.388806e-04) mu 0.007179845 s_req 0.237618726 smin0-s_req 1.156e-04 | pivots>0: E1 True (min 1.95e-12) smin True (min 6.71e-04) | PASS  2.1s
rank  1595 box  53599 L=[3, 3, 3, 3] K=[29, 2, 29, 25] stored bound 0.230114788 | R2_iv 6.008723e-04 (stored 6.008723e-04) mu 0.008601425 s_req 0.239202297 smin0-s_req 1.158e-04 | pivots>0: E1 True (min 3.73e-12) smin True (min 6.51e-04) | PASS  2.1s
rank  1596 box  31294 L=[2, 2, 2, 2] K=[21, 0, 14, 19] stored bound 0.230114918 | R2_iv 2.480028e-03 (stored 2.480028e-03) mu 0.017132552 s_req 0.249612581 smin0-s_req 1.159e-04 | pivots>0: E1 True (min 1.36e-11) smin True (min 8.34e-04) | PASS  2.1s
rank  1597 box  40790 L=[3, 3, 2, 2] K=[24, 5, 11, 14] stored bound 0.230114938 | R2_iv 1.147109e-03 (stored 1.147109e-03) mu 0.011841439 s_req 0.242988549 smin0-s_req 1.159e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 6.91e-04) | PASS  2.1s
rank  1598 box  62566 L=[4, 3, 3, 3] K=[58, 2, 29, 32] stored bound 0.230114954 | R2_iv 4.391979e-04 (stored 4.391979e-04) mu 0.007183819 s_req 0.237623017 smin0-s_req 1.160e-04 | pivots>0: E1 True (min 1.92e-12) smin True (min 6.53e-04) | PASS  2.1s
rank  1599 box  56000 L=[3, 3, 3, 3] K=[31, 4, 31, 37] stored bound 0.230115040 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008582758 s_req 0.239183093 smin0-s_req 1.160e-04 | pivots>0: E1 True (min 3.65e-12) smin True (min 6.98e-04) | PASS  2.1s
rank  1600 box  35885 L=[3, 2, 2, 2] K=[31, 6, 15, 19] stored bound 0.230115052 | R2_iv 1.788829e-03 (stored 1.788829e-03) mu 0.014238158 s_req 0.246026986 smin0-s_req 1.161e-04 | pivots>0: E1 True (min 6.49e-12) smin True (min 8.10e-04) | PASS  2.1s
rank  1601 box  48569 L=[3, 3, 2, 3] K=[27, 6, 13, 25] stored bound 0.230115187 | R2_iv 8.528986e-04 (stored 8.528986e-04) mu 0.009938014 s_req 0.240790913 smin0-s_req 1.162e-04 | pivots>0: E1 True (min 4.27e-13) smin True (min 7.01e-04) | PASS  2.1s
rank  1602 box   4229 L=[1, 1, 1, 1] K=[7, 5, 3, 10] stored bound 0.230115215 | R2_iv 1.042893e-02 (stored 1.042893e-02) mu 0.033843532 s_req 0.274272457 smin0-s_req 1.162e-04 | pivots>0: E1 True (min 5.55e-11) smin True (min 1.35e-03) | PASS  2.1s
rank  1603 box  43130 L=[3, 3, 2, 2] K=[24, 13, 13, 15] stored bound 0.230115227 | R2_iv 1.142922e-03 (stored 1.142922e-03) mu 0.011792164 s_req 0.242935086 smin0-s_req 1.162e-04 | pivots>0: E1 True (min 1.07e-12) smin True (min 7.92e-04) | PASS  2.1s
rank  1604 box  59359 L=[3, 3, 3, 3] K=[32, 5, 31, 35] stored bound 0.230115259 | R2_iv 6.002247e-04 (stored 6.002247e-04) mu 0.008569442 s_req 0.239169667 smin0-s_req 1.163e-04 | pivots>0: E1 True (min 3.57e-12) smin True (min 7.24e-04) | PASS  2.1s
rank  1605 box  61781 L=[4, 3, 3, 3] K=[61, 4, 31, 31] stored bound 0.230115319 | R2_iv 4.386311e-04 (stored 4.386311e-04) mu 0.007167988 s_req 0.237606619 smin0-s_req 1.163e-04 | pivots>0: E1 True (min 1.96e-12) smin True (min 6.94e-04) | PASS  2.1s
rank  1606 box  61242 L=[4, 3, 3, 3] K=[62, 2, 29, 29] stored bound 0.230115327 | R2_iv 4.392098e-04 (stored 4.392098e-04) mu 0.007184907 s_req 0.237624116 smin0-s_req 1.163e-04 | pivots>0: E1 True (min 1.99e-12) smin True (min 6.73e-04) | PASS  2.1s
rank  1607 box  41010 L=[3, 3, 2, 2] K=[28, 5, 10, 15] stored bound 0.230115711 | R2_iv 1.146332e-03 (stored 1.146332e-03) mu 0.011821794 s_req 0.242968126 smin0-s_req 1.167e-04 | pivots>0: E1 True (min 1.18e-12) smin True (min 7.44e-04) | PASS  2.1s
rank  1608 box  43005 L=[3, 3, 2, 2] K=[24, 11, 15, 12] stored bound 0.230115752 | R2_iv 1.143111e-03 (stored 1.143111e-03) mu 0.011793109 s_req 0.242936220 smin0-s_req 1.168e-04 | pivots>0: E1 True (min 1.08e-12) smin True (min 7.51e-04) | PASS  2.1s
rank  1609 box  27857 L=[2, 2, 2, 2] K=[12, 3, 9, 19] stored bound 0.230115813 | R2_iv 2.463840e-03 (stored 2.463840e-03) mu 0.017168350 s_req 0.249632190 smin0-s_req 1.168e-04 | pivots>0: E1 True (min 1.34e-11) smin True (min 7.65e-04) | PASS  2.1s
rank  1610 box  48624 L=[3, 3, 2, 3] K=[26, 4, 15, 24] stored bound 0.230115875 | R2_iv 8.538728e-04 (stored 8.538728e-04) mu 0.009954564 s_req 0.240808437 smin0-s_req 1.169e-04 | pivots>0: E1 True (min 4.24e-13) smin True (min 6.61e-04) | PASS  2.1s
rank  1611 box  55483 L=[3, 3, 3, 3] K=[31, 1, 30, 38] stored bound 0.230115891 | R2_iv 6.012475e-04 (stored 6.012475e-04) mu 0.008605618 s_req 0.239206865 smin0-s_req 1.169e-04 | pivots>0: E1 True (min 3.79e-12) smin True (min 6.63e-04) | PASS  2.1s
rank  1612 box  49249 L=[3, 3, 2, 3] K=[29, 2, 13, 38] stored bound 0.230115906 | R2_iv 8.553023e-04 (stored 8.553023e-04) mu 0.009967971 s_req 0.240823273 smin0-s_req 1.169e-04 | pivots>0: E1 True (min 4.13e-13) smin True (min 6.68e-04) | PASS  2.1s
rank  1613 box  34232 L=[3, 2, 2, 2] K=[30, 1, 8, 14] stored bound 0.230116044 | R2_iv 1.792558e-03 (stored 1.792558e-03) mu 0.014370223 s_req 0.246162781 smin0-s_req 1.170e-04 | pivots>0: E1 True (min 7.23e-12) smin True (min 7.67e-04) | PASS  2.1s
rank  1614 box  24919 L=[2, 2, 2, 2] K=[7, 5, 14, 17] stored bound 0.230116104 | R2_iv 2.468758e-03 (stored 2.468758e-03) mu 0.017163781 s_req 0.249632539 smin0-s_req 1.171e-04 | pivots>0: E1 True (min 1.54e-11) smin True (min 7.52e-04) | PASS  2.1s
rank  1615 box  64520 L=[4, 3, 3, 3] K=[64, 2, 31, 34] stored bound 0.230116167 | R2_iv 4.392579e-04 (stored 4.392579e-04) mu 0.007182546 s_req 0.237621804 smin0-s_req 1.172e-04 | pivots>0: E1 True (min 2.01e-12) smin True (min 6.86e-04) | PASS  2.1s
rank  1616 box  41917 L=[3, 3, 2, 2] K=[31, 7, 12, 12] stored bound 0.230116244 | R2_iv 1.145516e-03 (stored 1.145516e-03) mu 0.011790540 s_req 0.242936057 smin0-s_req 1.172e-04 | pivots>0: E1 True (min 1.17e-12) smin True (min 7.67e-04) | PASS  2.1s
rank  1617 box  55383 L=[3, 3, 3, 3] K=[28, 0, 31, 37] stored bound 0.230116302 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008612394 s_req 0.239214128 smin0-s_req 1.173e-04 | pivots>0: E1 True (min 3.74e-12) smin True (min 6.23e-04) | PASS  2.1s
rank  1618 box  57077 L=[3, 3, 3, 3] K=[29, 8, 31, 32] stored bound 0.230116363 | R2_iv 5.994904e-04 (stored 5.994904e-04) mu 0.008558649 s_req 0.239158140 smin0-s_req 1.174e-04 | pivots>0: E1 True (min 3.55e-12) smin True (min 7.45e-04) | PASS  2.1s
rank  1619 box  62675 L=[4, 3, 3, 3] K=[62, 1, 28, 32] stored bound 0.230116375 | R2_iv 4.395440e-04 (stored 4.395440e-04) mu 0.007187119 s_req 0.237626663 smin0-s_req 1.174e-04 | pivots>0: E1 True (min 1.99e-12) smin True (min 6.68e-04) | PASS  2.1s
rank  1620 box  49809 L=[3, 3, 2, 3] K=[24, 8, 13, 30] stored bound 0.230116426 | R2_iv 8.521938e-04 (stored 8.521938e-04) mu 0.009926898 s_req 0.240779092 smin0-s_req 1.174e-04 | pivots>0: E1 True (min 4.10e-13) smin True (min 7.25e-04) | PASS  2.1s
rank  1621 box  47781 L=[3, 3, 3, 2] K=[30, 3, 22, 16] stored bound 0.230116437 | R2_iv 8.542451e-04 (stored 8.542451e-04) mu 0.010634800 s_req 0.241489045 smin0-s_req 1.174e-04 | pivots>0: E1 True (min 6.84e-12) smin True (min 7.24e-04) | PASS  2.1s
rank  1622 box  23315 L=[2, 2, 2, 1] K=[17, 1, 5, 6] stored bound 0.230116541 | R2_iv 3.508180e-03 (stored 3.508180e-03) mu 0.021244240 s_req 0.254752420 smin0-s_req 1.175e-04 | pivots>0: E1 True (min 2.68e-11) smin True (min 9.44e-04) | PASS  2.1s
rank  1623 box  52055 L=[3, 3, 3, 2] K=[32, 9, 30, 15] stored bound 0.230116663 | R2_iv 8.523823e-04 (stored 8.523823e-04) mu 0.010560149 s_req 0.241412531 smin0-s_req 1.177e-04 | pivots>0: E1 True (min 7.21e-12) smin True (min 7.88e-04) | PASS  2.1s
rank  1624 box  33192 L=[3, 2, 2, 2] K=[22, 6, 13, 19] stored bound 0.230116738 | R2_iv 1.786550e-03 (stored 1.786550e-03) mu 0.014317516 s_req 0.246104066 smin0-s_req 1.177e-04 | pivots>0: E1 True (min 6.87e-12) smin True (min 7.89e-04) | PASS  2.1s
rank  1625 box  39792 L=[3, 3, 2, 2] K=[21, 12, 14, 14] stored bound 0.230116873 | R2_iv 1.143531e-03 (stored 1.143531e-03) mu 0.011810830 s_req 0.242954361 smin0-s_req 1.179e-04 | pivots>0: E1 True (min 1.15e-12) smin True (min 7.72e-04) | PASS  2.1s
rank  1626 box  52877 L=[3, 3, 3, 3] K=[26, 2, 29, 28] stored bound 0.230116981 | R2_iv 6.010646e-04 (stored 6.010646e-04) mu 0.008599455 s_req 0.239200519 smin0-s_req 1.180e-04 | pivots>0: E1 True (min 3.59e-12) smin True (min 6.43e-04) | PASS  2.2s
rank  1627 box  47123 L=[3, 3, 2, 3] K=[23, 8, 14, 33] stored bound 0.230116991 | R2_iv 8.523149e-04 (stored 8.523149e-04) mu 0.009933318 s_req 0.240785633 smin0-s_req 1.180e-04 | pivots>0: E1 True (min 4.10e-13) smin True (min 7.18e-04) | PASS  2.1s
rank  1628 box  41406 L=[3, 3, 2, 2] K=[30, 4, 11, 18] stored bound 0.230117125 | R2_iv 1.147396e-03 (stored 1.147396e-03) mu 0.011833809 s_req 0.242981204 smin0-s_req 1.181e-04 | pivots>0: E1 True (min 1.11e-12) smin True (min 7.41e-04) | PASS  2.1s
rank  1629 box  64400 L=[4, 3, 3, 3] K=[67, 1, 30, 32] stored bound 0.230117208 | R2_iv 4.396816e-04 (stored 4.396816e-04) mu 0.007181872 s_req 0.237621554 smin0-s_req 1.182e-04 | pivots>0: E1 True (min 2.09e-12) smin True (min 6.97e-04) | PASS  2.2s
rank  1630 box  47607 L=[3, 3, 3, 2] K=[29, 4, 22, 14] stored bound 0.230117278 | R2_iv 8.536617e-04 (stored 8.536617e-04) mu 0.010635738 s_req 0.241489400 smin0-s_req 1.183e-04 | pivots>0: E1 True (min 7.16e-12) smin True (min 7.31e-04) | PASS  2.1s
rank  1631 box  55811 L=[3, 3, 3, 3] K=[31, 5, 28, 34] stored bound 0.230117368 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008572169 s_req 0.239172284 smin0-s_req 1.184e-04 | pivots>0: E1 True (min 3.54e-12) smin True (min 7.34e-04) | PASS  2.1s
rank  1632 box  39626 L=[3, 3, 2, 2] K=[20, 10, 15, 14] stored bound 0.230117387 | R2_iv 1.144776e-03 (stored 1.144776e-03) mu 0.011822214 s_req 0.242966990 smin0-s_req 1.184e-04 | pivots>0: E1 True (min 1.13e-12) smin True (min 7.40e-04) | PASS  2.1s
rank  1633 box  26567 L=[2, 2, 2, 2] K=[8, 6, 12, 12] stored bound 0.230117557 | R2_iv 2.465007e-03 (stored 2.465007e-03) mu 0.017154436 s_req 0.249619443 smin0-s_req 1.186e-04 | pivots>0: E1 True (min 1.49e-11) smin True (min 7.99e-04) | PASS  2.1s
rank  1634 box  14946 L=[2, 2, 1, 1] K=[9, 14, 6, 6] stored bound 0.230117732 | R2_iv 4.749730e-03 (stored 4.749730e-03) mu 0.023927981 s_req 0.258677711 smin0-s_req 1.187e-04 | pivots>0: E1 True (min 5.94e-12) smin True (min 1.04e-03) | PASS  2.1s
rank  1635 box  25488 L=[2, 2, 2, 2] K=[11, 0, 10, 11] stored bound 0.230117954 | R2_iv 2.474427e-03 (stored 2.474427e-03) mu 0.017212871 s_req 0.249687299 smin0-s_req 1.190e-04 | pivots>0: E1 True (min 1.15e-11) smin True (min 6.34e-04) | PASS  2.1s
rank  1636 box  46724 L=[3, 3, 2, 3] K=[23, 5, 14, 33] stored bound 0.230118076 | R2_iv 8.536261e-04 (stored 8.536261e-04) mu 0.009943880 s_req 0.240797506 smin0-s_req 1.191e-04 | pivots>0: E1 True (min 3.93e-13) smin True (min 6.79e-04) | PASS  2.2s
rank  1637 box   8644 L=[2, 1, 1, 1] K=[9, 7, 4, 7] stored bound 0.230118196 | R2_iv 7.522055e-03 (stored 7.522055e-03) mu 0.028825303 s_req 0.266347358 smin0-s_req 1.192e-04 | pivots>0: E1 True (min 3.23e-11) smin True (min 1.25e-03) | PASS  2.2s
rank  1638 box  53779 L=[3, 3, 3, 3] K=[30, 3, 25, 31] stored bound 0.230118285 | R2_iv 6.005512e-04 (stored 6.005512e-04) mu 0.008582442 s_req 0.239182993 smin0-s_req 1.193e-04 | pivots>0: E1 True (min 3.62e-12) smin True (min 7.13e-04) | PASS  2.2s
rank  1639 box  56887 L=[3, 3, 3, 3] K=[27, 8, 30, 33] stored bound 0.230118313 | R2_iv 5.993979e-04 (stored 5.993979e-04) mu 0.008568546 s_req 0.239167944 smin0-s_req 1.193e-04 | pivots>0: E1 True (min 3.61e-12) smin True (min 7.43e-04) | PASS  2.2s
rank  1640 box  49282 L=[3, 3, 2, 3] K=[28, 4, 12, 35] stored bound 0.230118477 | R2_iv 8.539551e-04 (stored 8.539551e-04) mu 0.009948304 s_req 0.240802259 smin0-s_req 1.195e-04 | pivots>0: E1 True (min 4.04e-13) smin True (min 7.15e-04) | PASS  2.2s
rank  1641 box  53584 L=[3, 3, 3, 3] K=[28, 0, 29, 26] stored bound 0.230118554 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008612632 s_req 0.239214365 smin0-s_req 1.196e-04 | pivots>0: E1 True (min 3.65e-12) smin True (min 6.36e-04) | PASS  2.2s
rank  1642 box  62794 L=[4, 3, 3, 3] K=[62, 3, 30, 33] stored bound 0.230118704 | R2_iv 4.389147e-04 (stored 4.389147e-04) mu 0.007175476 s_req 0.237614390 smin0-s_req 1.197e-04 | pivots>0: E1 True (min 1.97e-12) smin True (min 7.06e-04) | PASS  2.2s
rank  1643 box  37842 L=[3, 2, 2, 2] K=[33, 5, 12, 16] stored bound 0.230118910 | R2_iv 1.789867e-03 (stored 1.789867e-03) mu 0.014239929 s_req 0.246029795 smin0-s_req 1.199e-04 | pivots>0: E1 True (min 6.42e-12) smin True (min 8.68e-04) | PASS  2.2s
rank  1644 box  62739 L=[4, 3, 3, 3] K=[60, 3, 29, 32] stored bound 0.230118953 | R2_iv 4.388806e-04 (stored 4.388806e-04) mu 0.007175541 s_req 0.237614421 smin0-s_req 1.200e-04 | pivots>0: E1 True (min 1.94e-12) smin True (min 6.99e-04) | PASS  2.2s
rank  1645 box  14218 L=[2, 2, 1, 1] K=[9, 4, 4, 10] stored bound 0.230118964 | R2_iv 4.704321e-03 (stored 4.704321e-03) mu 0.023662090 s_req 0.258366412 smin0-s_req 1.200e-04 | pivots>0: E1 True (min 3.94e-12) smin True (min 8.01e-04) | PASS  2.2s
rank  1646 box  63111 L=[4, 3, 3, 3] K=[57, 4, 31, 32] stored bound 0.230119039 | R2_iv 4.385909e-04 (stored 4.385909e-04) mu 0.007172910 s_req 0.237611501 smin0-s_req 1.200e-04 | pivots>0: E1 True (min 1.90e-12) smin True (min 6.98e-04) | PASS  2.2s
rank  1647 box  49010 L=[3, 3, 2, 3] K=[24, 6, 13, 33] stored bound 0.230119134 | R2_iv 8.529730e-04 (stored 8.529730e-04) mu 0.009938718 s_req 0.240791691 smin0-s_req 1.201e-04 | pivots>0: E1 True (min 3.99e-13) smin True (min 7.12e-04) | PASS  2.3s
rank  1648 box  30714 L=[2, 2, 2, 2] K=[17, 7, 15, 14] stored bound 0.230119161 | R2_iv 2.469535e-03 (stored 2.469535e-03) mu 0.016944964 s_req 0.249414499 smin0-s_req 1.202e-04 | pivots>0: E1 True (min 1.07e-11) smin True (min 8.98e-04) | PASS  2.2s
rank  1649 box  41989 L=[3, 3, 2, 2] K=[29, 5, 12, 19] stored bound 0.230119327 | R2_iv 1.146376e-03 (stored 1.146376e-03) mu 0.011825970 s_req 0.242972346 smin0-s_req 1.203e-04 | pivots>0: E1 True (min 1.09e-12) smin True (min 7.45e-04) | PASS  2.1s
rank  1650 box  59398 L=[3, 3, 3, 3] K=[32, 6, 31, 32] stored bound 0.230119357 | R2_iv 6.000630e-04 (stored 6.000630e-04) mu 0.008556433 s_req 0.239156496 smin0-s_req 1.204e-04 | pivots>0: E1 True (min 3.52e-12) smin True (min 7.64e-04) | PASS  2.1s
rank  1651 box  62589 L=[4, 3, 3, 3] K=[56, 3, 31, 32] stored bound 0.230119387 | R2_iv 4.388968e-04 (stored 4.388968e-04) mu 0.007179610 s_req 0.237618507 smin0-s_req 1.204e-04 | pivots>0: E1 True (min 1.89e-12) smin True (min 6.82e-04) | PASS  2.1s
rank  1652 box  34675 L=[3, 2, 2, 2] K=[25, 1, 15, 9] stored bound 0.230119441 | R2_iv 1.793575e-03 (stored 1.793575e-03) mu 0.014391866 s_req 0.246185441 smin0-s_req 1.204e-04 | pivots>0: E1 True (min 7.18e-12) smin True (min 6.48e-04) | PASS  2.1s
rank  1653 box  21429 L=[2, 2, 2, 1] K=[8, 10, 12, 5] stored bound 0.230119457 | R2_iv 3.502855e-03 (stored 3.502855e-03) mu 0.021264378 s_req 0.254767232 smin0-s_req 1.205e-04 | pivots>0: E1 True (min 4.05e-11) smin True (min 9.44e-04) | PASS  2.2s
rank  1654 box  36954 L=[3, 2, 2, 2] K=[33, 1, 11, 20] stored bound 0.230119496 | R2_iv 1.793313e-03 (stored 1.793313e-03) mu 0.014370269 s_req 0.246163581 smin0-s_req 1.205e-04 | pivots>0: E1 True (min 7.35e-12) smin True (min 7.69e-04) | PASS  2.2s
rank  1655 box  48479 L=[3, 3, 2, 3] K=[24, 1, 14, 31] stored bound 0.230119586 | R2_iv 8.561445e-04 (stored 8.561445e-04) mu 0.009964752 s_req 0.240820897 smin0-s_req 1.206e-04 | pivots>0: E1 True (min 3.60e-13) smin True (min 6.32e-04) | PASS  2.1s
rank  1656 box  63973 L=[4, 3, 3, 3] K=[64, 3, 31, 31] stored bound 0.230119723 | R2_iv 4.389769e-04 (stored 4.389769e-04) mu 0.007170586 s_req 0.237609563 smin0-s_req 1.207e-04 | pivots>0: E1 True (min 2.01e-12) smin True (min 7.21e-04) | PASS  2.1s
rank  1657 box  15774 L=[2, 2, 1, 1] K=[12, 5, 3, 4] stored bound 0.230119855 | R2_iv 4.689701e-03 (stored 4.689701e-03) mu 0.023562182 s_req 0.258251884 smin0-s_req 1.209e-04 | pivots>0: E1 True (min 4.35e-12) smin True (min 9.07e-04) | PASS  2.1s
rank  1658 box  61107 L=[4, 3, 3, 3] K=[58, 2, 30, 29] stored bound 0.230119928 | R2_iv 4.391979e-04 (stored 4.391979e-04) mu 0.007188625 s_req 0.237627823 smin0-s_req 1.209e-04 | pivots>0: E1 True (min 1.91e-12) smin True (min 6.79e-04) | PASS  2.1s
rank  1659 box  53577 L=[3, 3, 3, 3] K=[29, 0, 30, 25] stored bound 0.230120015 | R2_iv 6.016693e-04 (stored 6.016693e-04) mu 0.008613979 s_req 0.239215648 smin0-s_req 1.210e-04 | pivots>0: E1 True (min 3.75e-12) smin True (min 6.51e-04) | PASS  2.1s
rank  1660 box  62582 L=[4, 3, 3, 3] K=[56, 2, 31, 32] stored bound 0.230120073 | R2_iv 4.392341e-04 (stored 4.392341e-04) mu 0.007185509 s_req 0.237624743 smin0-s_req 1.211e-04 | pivots>0: E1 True (min 1.88e-12) smin True (min 6.71e-04) | PASS  2.1s
rank  1661 box  47484 L=[3, 3, 2, 3] K=[29, 0, 11, 30] stored bound 0.230120295 | R2_iv 8.567970e-04 (stored 8.567970e-04) mu 0.009980039 s_req 0.240836836 smin0-s_req 1.213e-04 | pivots>0: E1 True (min 3.81e-13) smin True (min 6.83e-04) | PASS  2.1s
rank  1662 box  45404 L=[3, 3, 2, 2] K=[36, 1, 13, 19] stored bound 0.230120430 | R2_iv 1.152577e-03 (stored 1.152577e-03) mu 0.011870466 s_req 0.243023043 smin0-s_req 1.214e-04 | pivots>0: E1 True (min 1.28e-12) smin True (min 7.66e-04) | PASS  2.1s
rank  1663 box  35665 L=[3, 2, 2, 2] K=[28, 5, 13, 10] stored bound 0.230120498 | R2_iv 1.786887e-03 (stored 1.786887e-03) mu 0.014277262 s_req 0.246064149 smin0-s_req 1.215e-04 | pivots>0: E1 True (min 7.22e-12) smin True (min 8.00e-04) | PASS  2.1s
rank  1664 box  23983 L=[2, 2, 2, 1] K=[19, 5, 15, 10] stored bound 0.230120523 | R2_iv 3.514733e-03 (stored 3.514733e-03) mu 0.020933700 s_req 0.254448432 smin0-s_req 1.215e-04 | pivots>0: E1 True (min 2.34e-11) smin True (min 9.12e-04) | PASS  2.2s
rank  1665 box  36714 L=[3, 2, 2, 2] K=[37, 1, 10, 15] stored bound 0.230120549 | R2_iv 1.795905e-03 (stored 1.795905e-03) mu 0.014316343 s_req 0.246112249 smin0-s_req 1.215e-04 | pivots>0: E1 True (min 8.73e-12) smin True (min 8.60e-04) | PASS  2.1s
rank  1666 box  53989 L=[3, 3, 3, 3] K=[28, 5, 26, 30] stored bound 0.230120564 | R2_iv 5.999770e-04 (stored 5.999770e-04) mu 0.008579589 s_req 0.239179567 smin0-s_req 1.216e-04 | pivots>0: E1 True (min 3.63e-12) smin True (min 7.32e-04) | PASS  2.1s
rank  1667 box  61136 L=[4, 3, 3, 3] K=[58, 2, 29, 30] stored bound 0.230120778 | R2_iv 4.391979e-04 (stored 4.391979e-04) mu 0.007186584 s_req 0.237625782 smin0-s_req 1.218e-04 | pivots>0: E1 True (min 1.91e-12) smin True (min 6.85e-04) | PASS  2.1s
rank  1668 box  49093 L=[3, 3, 2, 3] K=[26, 5, 13, 36] stored bound 0.230120786 | R2_iv 8.533328e-04 (stored 8.533328e-04) mu 0.009946006 s_req 0.240799338 smin0-s_req 1.218e-04 | pivots>0: E1 True (min 4.08e-13) smin True (min 7.18e-04) | PASS  2.1s
rank  1669 box  41533 L=[3, 3, 2, 2] K=[25, 1, 15, 11] stored bound 0.230120968 | R2_iv 1.152094e-03 (stored 1.152094e-03) mu 0.011898428 s_req 0.243050522 smin0-s_req 1.220e-04 | pivots>0: E1 True (min 1.22e-12) smin True (min 6.39e-04) | PASS  2.1s
rank  1670 box  61569 L=[4, 3, 3, 3] K=[59, 4, 31, 30] stored bound 0.230120970 | R2_iv 4.385969e-04 (stored 4.385969e-04) mu 0.007172637 s_req 0.237611234 smin0-s_req 1.220e-04 | pivots>0: E1 True (min 1.93e-12) smin True (min 7.18e-04) | PASS  2.1s
rank  1671 box  36713 L=[3, 2, 2, 2] K=[37, 1, 10, 14] stored bound 0.230121030 | R2_iv 1.795905e-03 (stored 1.795905e-03) mu 0.014325709 s_req 0.246121615 smin0-s_req 1.220e-04 | pivots>0: E1 True (min 8.74e-12) smin True (min 8.60e-04) | PASS  2.2s
rank  1672 box  53990 L=[3, 3, 3, 3] K=[28, 5, 26, 31] stored bound 0.230121038 | R2_iv 5.999770e-04 (stored 5.999770e-04) mu 0.008577346 s_req 0.239177323 smin0-s_req 1.220e-04 | pivots>0: E1 True (min 3.62e-12) smin True (min 7.36e-04) | PASS  2.1s
rank  1673 box  43675 L=[3, 3, 2, 2] K=[29, 10, 12, 16] stored bound 0.230121144 | R2_iv 1.143883e-03 (stored 1.143883e-03) mu 0.011774260 s_req 0.242918143 smin0-s_req 1.221e-04 | pivots>0: E1 True (min 1.00e-12) smin True (min 8.33e-04) | PASS  2.1s
rank  1674 box  29851 L=[2, 2, 2, 2] K=[19, 2, 10, 14] stored bound 0.230121174 | R2_iv 2.471850e-03 (stored 2.471850e-03) mu 0.017070241 s_req 0.249542091 smin0-s_req 1.222e-04 | pivots>0: E1 True (min 1.44e-11) smin True (min 9.25e-04) | PASS  2.1s
rank  1675 box  54288 L=[3, 3, 3, 3] K=[31, 4, 29, 26] stored bound 0.230121293 | R2_iv 6.003353e-04 (stored 6.003353e-04) mu 0.008582544 s_req 0.239182879 smin0-s_req 1.223e-04 | pivots>0: E1 True (min 3.69e-12) smin True (min 7.37e-04) | PASS  2.1s
rank  1676 box  62715 L=[4, 3, 3, 3] K=[61, 0, 31, 35] stored bound 0.230121333 | R2_iv 4.399176e-04 (stored 4.399176e-04) mu 0.007203040 s_req 0.237642958 smin0-s_req 1.223e-04 | pivots>0: E1 True (min 1.98e-12) smin True (min 6.71e-04) | PASS  2.1s
rank  1677 box   7029 L=[2, 1, 1, 1] K=[6, 0, 6, 10] stored bound 0.230121434 | R2_iv 7.543215e-03 (stored 7.543215e-03) mu 0.028748251 s_req 0.266291466 smin0-s_req 1.224e-04 | pivots>0: E1 True (min 1.76e-11) smin True (min 6.32e-04) | PASS  2.1s
rank  1678 box   6962 L=[2, 1, 1, 1] K=[5, 1, 5, 9] stored bound 0.230121439 | R2_iv 7.524799e-03 (stored 7.524799e-03) mu 0.028701351 s_req 0.266226150 smin0-s_req 1.224e-04 | pivots>0: E1 True (min 2.07e-11) smin True (min 7.34e-04) | PASS  2.1s
rank  1679 box  21917 L=[2, 2, 2, 1] K=[14, 2, 4, 7] stored bound 0.230121452 | R2_iv 3.502916e-03 (stored 3.502916e-03) mu 0.021265094 s_req 0.254768010 smin0-s_req 1.225e-04 | pivots>0: E1 True (min 2.44e-11) smin True (min 9.58e-04) | PASS  2.2s
rank  1680 box  20047 L=[2, 2, 2, 1] K=[6, 10, 11, 8] stored bound 0.230121454 | R2_iv 3.505980e-03 (stored 3.505980e-03) mu 0.021363324 s_req 0.254869304 smin0-s_req 1.225e-04 | pivots>0: E1 True (min 3.82e-11) smin True (min 1.04e-03) | PASS  2.2s
rank  1681 box  34961 L=[3, 2, 2, 2] K=[31, 3, 13, 21] stored bound 0.230121585 | R2_iv 1.789245e-03 (stored 1.789245e-03) mu 0.014313205 s_req 0.246102450 smin0-s_req 1.226e-04 | pivots>0: E1 True (min 6.90e-12) smin True (min 7.86e-04) | PASS  2.1s
rank  1682 box  63981 L=[4, 3, 3, 3] K=[66, 2, 31, 31] stored bound 0.230121600 | R2_iv 4.393341e-04 (stored 4.393341e-04) mu 0.007175269 s_req 0.237614603 smin0-s_req 1.226e-04 | pivots>0: E1 True (min 2.06e-12) smin True (min 7.30e-04) | PASS  2.1s
rank  1683 box  53685 L=[3, 3, 3, 3] K=[28, 0, 26, 29] stored bound 0.230121669 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008606470 s_req 0.239208204 smin0-s_req 1.227e-04 | pivots>0: E1 True (min 3.47e-12) smin True (min 6.62e-04) | PASS  2.1s
rank  1684 box  34729 L=[3, 2, 2, 2] K=[25, 3, 15, 9] stored bound 0.230121776 | R2_iv 1.788758e-03 (stored 1.788758e-03) mu 0.014337674 s_req 0.246126431 smin0-s_req 1.228e-04 | pivots>0: E1 True (min 7.14e-12) smin True (min 7.19e-04) | PASS  2.1s
rank  1685 box  26092 L=[2, 2, 2, 2] K=[11, 4, 9, 11] stored bound 0.230121793 | R2_iv 2.462963e-03 (stored 2.462963e-03) mu 0.017149619 s_req 0.249612582 smin0-s_req 1.228e-04 | pivots>0: E1 True (min 1.37e-11) smin True (min 8.11e-04) | PASS  2.1s
rank  1686 box  58871 L=[3, 3, 3, 3] K=[34, 2, 27, 32] stored bound 0.230121859 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008576640 s_req 0.239177820 smin0-s_req 1.229e-04 | pivots>0: E1 True (min 3.62e-12) smin True (min 7.57e-04) | PASS  2.1s
rank  1687 box  31297 L=[2, 2, 2, 2] K=[21, 1, 15, 18] stored bound 0.230121922 | R2_iv 2.478699e-03 (stored 2.478699e-03) mu 0.017072304 s_req 0.249551004 smin0-s_req 1.229e-04 | pivots>0: E1 True (min 1.30e-11) smin True (min 9.05e-04) | PASS  2.1s
rank  1688 box  43311 L=[3, 3, 2, 2] K=[28, 12, 14, 13] stored bound 0.230121967 | R2_iv 1.143508e-03 (stored 1.143508e-03) mu 0.011765406 s_req 0.242908914 smin0-s_req 1.230e-04 | pivots>0: E1 True (min 1.07e-12) smin True (min 8.32e-04) | PASS  2.1s
rank  1689 box  46766 L=[3, 3, 2, 3] K=[23, 6, 15, 35] stored bound 0.230122144 | R2_iv 8.531190e-04 (stored 8.531190e-04) mu 0.009942658 s_req 0.240795777 smin0-s_req 1.231e-04 | pivots>0: E1 True (min 4.10e-13) smin True (min 7.14e-04) | PASS  2.1s
rank  1690 box  27859 L=[2, 2, 2, 2] K=[13, 3, 8, 18] stored bound 0.230122201 | R2_iv 2.463382e-03 (stored 2.463382e-03) mu 0.017163176 s_req 0.249626557 smin0-s_req 1.232e-04 | pivots>0: E1 True (min 1.29e-11) smin True (min 8.53e-04) | PASS  2.1s
rank  1691 box  10531 L=[2, 1, 1, 1] K=[21, 1, 3, 8] stored bound 0.230122283 | R2_iv 7.505807e-03 (stored 7.505807e-03) mu 0.028424335 s_req 0.265930142 smin0-s_req 1.233e-04 | pivots>0: E1 True (min 2.49e-11) smin True (min 1.28e-03) | PASS  2.1s
rank  1692 box  41875 L=[3, 3, 2, 2] K=[29, 5, 14, 10] stored bound 0.230122437 | R2_iv 1.146376e-03 (stored 1.146376e-03) mu 0.011827573 s_req 0.242973949 smin0-s_req 1.234e-04 | pivots>0: E1 True (min 1.16e-12) smin True (min 7.35e-04) | PASS  2.1s
rank  1693 box  22344 L=[2, 2, 2, 1] K=[14, 5, 7, 5] stored bound 0.230122530 | R2_iv 3.495383e-03 (stored 3.495383e-03) mu 0.021137942 s_req 0.254633325 smin0-s_req 1.235e-04 | pivots>0: E1 True (min 3.08e-11) smin True (min 9.72e-04) | PASS  2.1s
rank  1694 box  43502 L=[3, 3, 2, 2] K=[26, 11, 15, 19] stored bound 0.230122555 | R2_iv 1.143104e-03 (stored 1.143104e-03) mu 0.011782730 s_req 0.242925835 smin0-s_req 1.236e-04 | pivots>0: E1 True (min 1.04e-12) smin True (min 8.05e-04) | PASS  2.2s
rank  1695 box  41921 L=[3, 3, 2, 2] K=[24, 2, 12, 17] stored bound 0.230122567 | R2_iv 1.151030e-03 (stored 1.151030e-03) mu 0.011873522 s_req 0.243024552 smin0-s_req 1.236e-04 | pivots>0: E1 True (min 1.19e-12) smin True (min 6.78e-04) | PASS  2.2s
rank  1696 box  42333 L=[3, 3, 2, 2] K=[29, 4, 15, 21] stored bound 0.230122696 | R2_iv 1.147304e-03 (stored 1.147304e-03) mu 0.011842445 s_req 0.242989749 smin0-s_req 1.237e-04 | pivots>0: E1 True (min 1.17e-12) smin True (min 7.21e-04) | PASS  2.1s
rank  1697 box  64434 L=[4, 3, 3, 3] K=[64, 2, 29, 32] stored bound 0.230122725 | R2_iv 4.392579e-04 (stored 4.392579e-04) mu 0.007177776 s_req 0.237617034 smin0-s_req 1.237e-04 | pivots>0: E1 True (min 2.01e-12) smin True (min 7.27e-04) | PASS  2.1s
rank  1698 box  46767 L=[3, 3, 2, 3] K=[23, 7, 15, 35] stored bound 0.230122731 | R2_iv 8.526819e-04 (stored 8.526819e-04) mu 0.009939471 s_req 0.240792153 smin0-s_req 1.237e-04 | pivots>0: E1 True (min 4.15e-13) smin True (min 7.33e-04) | PASS  2.1s
rank  1699 box  27810 L=[2, 2, 2, 2] K=[14, 0, 10, 8] stored bound 0.230122755 | R2_iv 2.470778e-03 (stored 2.470778e-03) mu 0.017210511 s_req 0.249681288 smin0-s_req 1.238e-04 | pivots>0: E1 True (min 1.39e-11) smin True (min 6.96e-04) | PASS  2.1s
rank  1700 box  50344 L=[3, 3, 3, 2] K=[27, 11, 29, 17] stored bound 0.230122767 | R2_iv 8.513287e-04 (stored 8.513287e-04) mu 0.010589720 s_req 0.241441049 smin0-s_req 1.238e-04 | pivots>0: E1 True (min 7.31e-12) smin True (min 8.18e-04) | PASS  2.1s
rank  1701 box  32243 L=[3, 2, 2, 2] K=[22, 3, 12, 19] stored bound 0.230122790 | R2_iv 1.790055e-03 (stored 1.790055e-03) mu 0.014356297 s_req 0.246146352 smin0-s_req 1.238e-04 | pivots>0: E1 True (min 6.83e-12) smin True (min 7.42e-04) | PASS  2.1s
rank  1702 box  42958 L=[3, 3, 2, 2] K=[30, 8, 15, 11] stored bound 0.230122850 | R2_iv 1.144734e-03 (stored 1.144734e-03) mu 0.011786236 s_req 0.242930971 smin0-s_req 1.239e-04 | pivots>0: E1 True (min 1.08e-12) smin True (min 7.90e-04) | PASS  2.1s
rank  1703 box  61567 L=[4, 3, 3, 3] K=[59, 4, 30, 31] stored bound 0.230122975 | R2_iv 4.385969e-04 (stored 4.385969e-04) mu 0.007170633 s_req 0.237609229 smin0-s_req 1.240e-04 | pivots>0: E1 True (min 1.94e-12) smin True (min 7.31e-04) | PASS  2.1s
rank  1704 box  61283 L=[4, 3, 3, 3] K=[60, 3, 30, 29] stored bound 0.230122986 | R2_iv 4.388806e-04 (stored 4.388806e-04) mu 0.007179917 s_req 0.237618797 smin0-s_req 1.240e-04 | pivots>0: E1 True (min 1.95e-12) smin True (min 7.20e-04) | PASS  2.1s
rank  1705 box  13666 L=[2, 2, 1, 1] K=[11, 3, 4, 3] stored bound 0.230123007 | R2_iv 4.701919e-03 (stored 4.701919e-03) mu 0.023647925 s_req 0.258349844 smin0-s_req 1.240e-04 | pivots>0: E1 True (min 4.20e-12) smin True (min 7.70e-04) | PASS  2.1s
rank  1706 box  29705 L=[2, 2, 2, 2] K=[16, 2, 8, 11] stored bound 0.230123412 | R2_iv 2.466332e-03 (stored 2.466332e-03) mu 0.017146314 s_req 0.249612645 smin0-s_req 1.244e-04 | pivots>0: E1 True (min 1.42e-11) smin True (min 8.79e-04) | PASS  2.1s
rank  1707 box   7517 L=[2, 1, 1, 1] K=[7, 5, 7, 12] stored bound 0.230123492 | R2_iv 7.471840e-03 (stored 7.471840e-03) mu 0.028670384 s_req 0.266142224 smin0-s_req 1.245e-04 | pivots>0: E1 True (min 3.30e-11) smin True (min 9.51e-04) | PASS  2.1s
rank  1708 box  21451 L=[2, 2, 1, 2] K=[11, 9, 7, 9] stored bound 0.230123492 | R2_iv 3.500130e-03 (stored 3.500130e-03) mu 0.019916172 s_req 0.253416302 smin0-s_req 1.245e-04 | pivots>0: E1 True (min 1.80e-12) smin True (min 8.96e-04) | PASS  2.1s
rank  1709 box   9123 L=[2, 1, 1, 1] K=[13, 2, 5, 15] stored bound 0.230123501 | R2_iv 7.445510e-03 (stored 7.445510e-03) mu 0.028351199 s_req 0.265796709 smin0-s_req 1.245e-04 | pivots>0: E1 True (min 2.28e-11) smin True (min 7.93e-04) | PASS  2.1s
rank  1710 box  54283 L=[3, 3, 3, 3] K=[30, 4, 28, 26] stored bound 0.230123550 | R2_iv 6.002734e-04 (stored 6.002734e-04) mu 0.008585496 s_req 0.239185770 smin0-s_req 1.246e-04 | pivots>0: E1 True (min 3.70e-12) smin True (min 7.43e-04) | PASS  2.1s
rank  1711 box  37875 L=[3, 2, 2, 2] K=[35, 5, 14, 16] stored bound 0.230123595 | R2_iv 1.791855e-03 (stored 1.791855e-03) mu 0.014216450 s_req 0.246008305 smin0-s_req 1.246e-04 | pivots>0: E1 True (min 6.56e-12) smin True (min 8.97e-04) | PASS  2.1s
rank  1712 box  54202 L=[3, 3, 3, 3] K=[28, 5, 31, 26] stored bound 0.230123831 | R2_iv 5.999770e-04 (stored 5.999770e-04) mu 0.008584319 s_req 0.239184296 smin0-s_req 1.248e-04 | pivots>0: E1 True (min 3.68e-12) smin True (min 7.37e-04) | PASS  2.1s
rank  1713 box  64408 L=[4, 3, 3, 3] K=[65, 0, 31, 35] stored bound 0.230123863 | R2_iv 4.399576e-04 (stored 4.399576e-04) mu 0.007199993 s_req 0.237639950 smin0-s_req 1.249e-04 | pivots>0: E1 True (min 2.07e-12) smin True (min 7.07e-04) | PASS  2.1s
rank  1714 box  55488 L=[3, 3, 3, 3] K=[30, 3, 29, 37] stored bound 0.230123869 | R2_iv 6.005512e-04 (stored 6.005512e-04) mu 0.008592534 s_req 0.239193085 smin0-s_req 1.249e-04 | pivots>0: E1 True (min 3.69e-12) smin True (min 7.30e-04) | PASS  2.1s
rank  1715 box   4687 L=[1, 1, 1, 1] K=[9, 4, 5, 2] stored bound 0.230123890 | R2_iv 1.045229e-02 (stored 1.045229e-02) mu 0.033354125 s_req 0.273806416 smin0-s_req 1.249e-04 | pivots>0: E1 True (min 2.38e-11) smin True (min 1.03e-03) | PASS  2.1s
rank  1716 box  51730 L=[3, 3, 3, 2] K=[34, 5, 29, 18] stored bound 0.230123891 | R2_iv 8.535227e-04 (stored 8.535227e-04) mu 0.010590946 s_req 0.241444468 smin0-s_req 1.249e-04 | pivots>0: E1 True (min 6.92e-12) smin True (min 8.07e-04) | PASS  2.1s
rank  1717 box  63311 L=[4, 3, 3, 3] K=[61, 4, 31, 32] stored bound 0.230123929 | R2_iv 4.386311e-04 (stored 4.386311e-04) mu 0.007167980 s_req 0.237606611 smin0-s_req 1.249e-04 | pivots>0: E1 True (min 1.95e-12) smin True (min 7.45e-04) | PASS  2.1s
rank  1718 box  20737 L=[2, 2, 1, 2] K=[9, 2, 6, 9] stored bound 0.230124012 | R2_iv 3.511023e-03 (stored 3.511023e-03) mu 0.019916451 s_req 0.253427474 smin0-s_req 1.250e-04 | pivots>0: E1 True (min 1.81e-12) smin True (min 6.89e-04) | PASS  2.1s
rank  1719 box  37237 L=[3, 2, 2, 2] K=[37, 3, 15, 12] stored bound 0.230124022 | R2_iv 1.793833e-03 (stored 1.793833e-03) mu 0.014263698 s_req 0.246057531 smin0-s_req 1.250e-04 | pivots>0: E1 True (min 7.30e-12) smin True (min 8.65e-04) | PASS  2.1s
rank  1720 box  46249 L=[3, 3, 2, 2] K=[40, 0, 15, 14] stored bound 0.230124080 | R2_iv 1.156561e-03 (stored 1.156561e-03) mu 0.011865899 s_req 0.243022460 smin0-s_req 1.251e-04 | pivots>0: E1 True (min 1.47e-12) smin True (min 8.32e-04) | PASS  2.1s
rank  1721 box   6458 L=[2, 1, 1, 1] K=[2, 3, 5, 7] stored bound 0.230124230 | R2_iv 7.529878e-03 (stored 7.529878e-03) mu 0.028761276 s_req 0.266291154 smin0-s_req 1.252e-04 | pivots>0: E1 True (min 2.44e-11) smin True (min 1.01e-03) | PASS  2.1s
rank  1722 box  49035 L=[3, 3, 2, 3] K=[27, 5, 12, 34] stored bound 0.230124404 | R2_iv 8.533561e-04 (stored 8.533561e-04) mu 0.009941278 s_req 0.240794634 smin0-s_req 1.254e-04 | pivots>0: E1 True (min 4.02e-13) smin True (min 7.58e-04) | PASS  2.1s
rank  1723 box  16378 L=[2, 2, 1, 1] K=[14, 10, 5, 9] stored bound 0.230124441 | R2_iv 4.716599e-03 (stored 4.716599e-03) mu 0.023546064 s_req 0.258262663 smin0-s_req 1.254e-04 | pivots>0: E1 True (min 3.73e-12) smin True (min 1.07e-03) | PASS  2.2s
rank  1724 box  51339 L=[3, 3, 3, 2] K=[37, 1, 26, 14] stored bound 0.230124466 | R2_iv 8.560266e-04 (stored 8.560266e-04) mu 0.010618509 s_req 0.241474536 smin0-s_req 1.255e-04 | pivots>0: E1 True (min 7.53e-12) smin True (min 8.08e-04) | PASS  2.2s
rank  1725 box  48723 L=[3, 3, 3, 2] K=[30, 4, 24, 12] stored bound 0.230124489 | R2_iv 8.535855e-04 (stored 8.535855e-04) mu 0.010633633 s_req 0.241487218 smin0-s_req 1.255e-04 | pivots>0: E1 True (min 7.48e-12) smin True (min 7.66e-04) | PASS  2.1s
rank  1726 box  41342 L=[3, 3, 2, 2] K=[29, 4, 10, 16] stored bound 0.230124502 | R2_iv 1.147304e-03 (stored 1.147304e-03) mu 0.011830208 s_req 0.242977511 smin0-s_req 1.255e-04 | pivots>0: E1 True (min 1.10e-12) smin True (min 7.94e-04) | PASS  2.1s
rank  1727 box  36733 L=[3, 2, 2, 2] K=[36, 2, 11, 12] stored bound 0.230124554 | R2_iv 1.793619e-03 (stored 1.793619e-03) mu 0.014307657 s_req 0.246101276 smin0-s_req 1.256e-04 | pivots>0: E1 True (min 8.42e-12) smin True (min 8.69e-04) | PASS  2.1s
rank  1728 box  41250 L=[3, 3, 2, 2] K=[28, 1, 10, 16] stored bound 0.230124596 | R2_iv 1.151087e-03 (stored 1.151087e-03) mu 0.011876726 s_req 0.243027813 smin0-s_req 1.256e-04 | pivots>0: E1 True (min 1.23e-12) smin True (min 7.31e-04) | PASS  2.1s
rank  1729 box  63934 L=[4, 3, 3, 3] K=[64, 2, 30, 29] stored bound 0.230124711 | R2_iv 4.392579e-04 (stored 4.392579e-04) mu 0.007182592 s_req 0.237621850 smin0-s_req 1.257e-04 | pivots>0: E1 True (min 2.02e-12) smin True (min 7.36e-04) | PASS  2.1s
rank  1730 box  51293 L=[3, 3, 3, 2] K=[35, 6, 31, 15] stored bound 0.230124757 | R2_iv 8.535890e-04 (stored 8.535890e-04) mu 0.010563407 s_req 0.241416996 smin0-s_req 1.258e-04 | pivots>0: E1 True (min 7.06e-12) smin True (min 8.37e-04) | PASS  2.2s
rank  1731 box  52873 L=[3, 3, 3, 3] K=[26, 0, 30, 30] stored bound 0.230124837 | R2_iv 6.019551e-04 (stored 6.019551e-04) mu 0.008601976 s_req 0.239203931 smin0-s_req 1.258e-04 | pivots>0: E1 True (min 3.48e-12) smin True (min 6.54e-04) | PASS  2.2s
rank  1732 box  10248 L=[2, 1, 1, 1] K=[18, 4, 7, 3] stored bound 0.230124869 | R2_iv 7.500569e-03 (stored 7.500569e-03) mu 0.028139092 s_req 0.265639661 smin0-s_req 1.259e-04 | pivots>0: E1 True (min 1.48e-11) smin True (min 9.64e-04) | PASS  2.1s
rank  1733 box  61260 L=[4, 3, 3, 3] K=[60, 3, 29, 30] stored bound 0.230124936 | R2_iv 4.388806e-04 (stored 4.388806e-04) mu 0.007177966 s_req 0.237616847 smin0-s_req 1.259e-04 | pivots>0: E1 True (min 1.95e-12) smin True (min 7.33e-04) | PASS  2.1s
rank  1734 box  50317 L=[3, 3, 2, 3] K=[25, 9, 14, 35] stored bound 0.230124947 | R2_iv 8.518617e-04 (stored 8.518617e-04) mu 0.009929344 s_req 0.240781206 smin0-s_req 1.259e-04 | pivots>0: E1 True (min 4.16e-13) smin True (min 7.91e-04) | PASS  2.1s
rank  1735 box  54201 L=[3, 3, 3, 3] K=[28, 5, 30, 26] stored bound 0.230124962 | R2_iv 5.999770e-04 (stored 5.999770e-04) mu 0.008584288 s_req 0.239184265 smin0-s_req 1.260e-04 | pivots>0: E1 True (min 3.69e-12) smin True (min 7.44e-04) | PASS  2.1s
rank  1736 box   9510 L=[2, 1, 1, 1] K=[13, 6, 5, 10] stored bound 0.230125210 | R2_iv 7.506317e-03 (stored 7.506317e-03) mu 0.028499857 s_req 0.266006173 smin0-s_req 1.262e-04 | pivots>0: E1 True (min 3.45e-11) smin True (min 1.13e-03) | PASS  2.2s
rank  1737 box  62700 L=[4, 3, 3, 3] K=[63, 0, 29, 34] stored bound 0.230125473 | R2_iv 4.399236e-04 (stored 4.399236e-04) mu 0.007199162 s_req 0.237639086 smin0-s_req 1.265e-04 | pivots>0: E1 True (min 2.03e-12) smin True (min 7.08e-04) | PASS  2.2s
rank  1738 box  61211 L=[4, 3, 3, 3] K=[60, 1, 31, 28] stored bound 0.230125502 | R2_iv 4.395380e-04 (stored 4.395380e-04) mu 0.007196118 s_req 0.237635656 smin0-s_req 1.265e-04 | pivots>0: E1 True (min 1.96e-12) smin True (min 7.03e-04) | PASS  2.2s
rank  1739 box  49552 L=[3, 3, 3, 2] K=[29, 5, 31, 20] stored bound 0.230125590 | R2_iv 8.530596e-04 (stored 8.530596e-04) mu 0.010626486 s_req 0.241479546 smin0-s_req 1.266e-04 | pivots>0: E1 True (min 7.36e-12) smin True (min 7.54e-04) | PASS  2.2s
rank  1740 box  53341 L=[3, 3, 3, 3] K=[26, 7, 29, 29] stored bound 0.230125608 | R2_iv 5.995715e-04 (stored 5.995715e-04) mu 0.008577121 s_req 0.239176692 smin0-s_req 1.266e-04 | pivots>0: E1 True (min 3.68e-12) smin True (min 7.68e-04) | PASS  2.2s
rank  1741 box  23574 L=[2, 2, 2, 1] K=[16, 2, 14, 2] stored bound 0.230125622 | R2_iv 3.503048e-03 (stored 3.503048e-03) mu 0.021071604 s_req 0.254574652 smin0-s_req 1.266e-04 | pivots>0: E1 True (min 2.99e-11) smin True (min 7.63e-04) | PASS  2.2s
rank  1742 box  33168 L=[3, 2, 2, 2] K=[23, 5, 12, 19] stored bound 0.230125728 | R2_iv 1.786766e-03 (stored 1.786766e-03) mu 0.014323405 s_req 0.246110171 smin0-s_req 1.267e-04 | pivots>0: E1 True (min 6.77e-12) smin True (min 8.33e-04) | PASS  2.2s
rank  1743 box  40184 L=[3, 3, 2, 2] K=[20, 12, 15, 16] stored bound 0.230125858 | R2_iv 1.143919e-03 (stored 1.143919e-03) mu 0.011818594 s_req 0.242962513 smin0-s_req 1.269e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 8.27e-04) | PASS  2.2s
rank  1744 box  55120 L=[3, 3, 3, 3] K=[28, 0, 26, 32] stored bound 0.230125861 | R2_iv 6.017333e-04 (stored 6.017333e-04) mu 0.008599005 s_req 0.239200739 smin0-s_req 1.269e-04 | pivots>0: E1 True (min 3.75e-12) smin True (min 6.86e-04) | PASS  2.2s
rank  1745 box  51422 L=[3, 3, 3, 2] K=[38, 0, 31, 13] stored bound 0.230125874 | R2_iv 8.568790e-04 (stored 8.568790e-04) mu 0.010631498 s_req 0.241488377 smin0-s_req 1.269e-04 | pivots>0: E1 True (min 7.43e-12) smin True (min 8.04e-04) | PASS  2.1s
rank  1746 box  59021 L=[3, 3, 3, 3] K=[34, 2, 29, 35] stored bound 0.230125889 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008585256 s_req 0.239186436 smin0-s_req 1.269e-04 | pivots>0: E1 True (min 3.66e-12) smin True (min 7.75e-04) | PASS  2.1s
rank  1747 box  53337 L=[3, 3, 3, 3] K=[26, 6, 28, 29] stored bound 0.230125900 | R2_iv 5.997860e-04 (stored 5.997860e-04) mu 0.008581382 s_req 0.239181168 smin0-s_req 1.269e-04 | pivots>0: E1 True (min 3.67e-12) smin True (min 7.56e-04) | PASS  2.1s
rank  1748 box  55318 L=[3, 3, 3, 3] K=[31, 1, 27, 36] stored bound 0.230125982 | R2_iv 6.012475e-04 (stored 6.012475e-04) mu 0.008602736 s_req 0.239203984 smin0-s_req 1.270e-04 | pivots>0: E1 True (min 3.75e-12) smin True (min 7.29e-04) | PASS  2.1s
rank  1749 box  30706 L=[2, 2, 2, 2] K=[16, 7, 12, 15] stored bound 0.230126038 | R2_iv 2.466922e-03 (stored 2.466922e-03) mu 0.016985384 s_req 0.249452306 smin0-s_req 1.270e-04 | pivots>0: E1 True (min 1.06e-11) smin True (min 9.69e-04) | PASS  2.1s
rank  1750 box  54641 L=[3, 3, 3, 3] K=[27, 3, 28, 35] stored bound 0.230126051 | R2_iv 6.006021e-04 (stored 6.006021e-04) mu 0.008594401 s_req 0.239195003 smin0-s_req 1.271e-04 | pivots>0: E1 True (min 3.72e-12) smin True (min 7.19e-04) | PASS  2.1s
rank  1751 box  14321 L=[2, 2, 1, 1] K=[9, 7, 7, 3] stored bound 0.230126119 | R2_iv 4.693850e-03 (stored 4.693850e-03) mu 0.023583950 s_req 0.258277800 smin0-s_req 1.271e-04 | pivots>0: E1 True (min 4.28e-12) smin True (min 8.39e-04) | PASS  2.1s
rank  1752 box  49280 L=[3, 3, 2, 3] K=[28, 2, 14, 39] stored bound 0.230126214 | R2_iv 8.551954e-04 (stored 8.551954e-04) mu 0.009969430 s_req 0.240824625 smin0-s_req 1.272e-04 | pivots>0: E1 True (min 4.16e-13) smin True (min 7.10e-04) | PASS  2.1s
rank  1753 box  21076 L=[2, 2, 1, 2] K=[10, 4, 5, 21] stored bound 0.230126338 | R2_iv 3.500137e-03 (stored 3.500137e-03) mu 0.019906780 s_req 0.253406917 smin0-s_req 1.273e-04 | pivots>0: E1 True (min 1.80e-12) smin True (min 8.13e-04) | PASS  2.1s
rank  1754 box  22764 L=[2, 2, 1, 2] K=[12, 9, 5, 11] stored bound 0.230126397 | R2_iv 3.500224e-03 (stored 3.500224e-03) mu 0.019870957 s_req 0.253371181 smin0-s_req 1.274e-04 | pivots>0: E1 True (min 1.69e-12) smin True (min 9.95e-04) | PASS  2.1s
rank  1755 box  22268 L=[2, 2, 1, 2] K=[12, 2, 7, 25] stored bound 0.230126468 | R2_iv 3.504088e-03 (stored 3.504088e-03) mu 0.019944363 s_req 0.253448451 smin0-s_req 1.275e-04 | pivots>0: E1 True (min 1.80e-12) smin True (min 7.05e-04) | PASS  2.1s
rank  1756 box  12774 L=[2, 2, 1, 1] K=[4, 6, 7, 6] stored bound 0.230126538 | R2_iv 4.736752e-03 (stored 4.736752e-03) mu 0.023787797 s_req 0.258524549 smin0-s_req 1.275e-04 | pivots>0: E1 True (min 5.01e-12) smin True (min 9.01e-04) | PASS  2.1s
rank  1757 box  23812 L=[2, 2, 2, 1] K=[19, 4, 11, 9] stored bound 0.230126621 | R2_iv 3.511644e-03 (stored 3.511644e-03) mu 0.021007184 s_req 0.254518828 smin0-s_req 1.276e-04 | pivots>0: E1 True (min 2.25e-11) smin True (min 1.01e-03) | PASS  2.1s
rank  1758 box  25959 L=[2, 2, 2, 2] K=[11, 0, 13, 21] stored bound 0.230126727 | R2_iv 2.474427e-03 (stored 2.474427e-03) mu 0.017204175 s_req 0.249678602 smin0-s_req 1.277e-04 | pivots>0: E1 True (min 1.47e-11) smin True (min 6.55e-04) | PASS  2.1s
rank  1759 box  51273 L=[3, 3, 3, 2] K=[35, 5, 28, 14] stored bound 0.230126758 | R2_iv 8.537965e-04 (stored 8.537965e-04) mu 0.010579417 s_req 0.241433214 smin0-s_req 1.278e-04 | pivots>0: E1 True (min 7.29e-12) smin True (min 8.41e-04) | PASS  2.1s
rank  1760 box  51454 L=[3, 3, 3, 2] K=[39, 0, 31, 15] stored bound 0.230126802 | R2_iv 8.571523e-04 (stored 8.571523e-04) mu 0.010611240 s_req 0.241468392 smin0-s_req 1.278e-04 | pivots>0: E1 True (min 7.42e-12) smin True (min 8.30e-04) | PASS  2.1s
rank  1761 box  51019 L=[3, 3, 3, 2] K=[35, 0, 30, 11] stored bound 0.230126873 | R2_iv 8.564197e-04 (stored 8.564197e-04) mu 0.010657486 s_req 0.241513906 smin0-s_req 1.279e-04 | pivots>0: E1 True (min 7.58e-12) smin True (min 7.58e-04) | PASS  2.1s
rank  1762 box  30186 L=[2, 2, 2, 2] K=[19, 2, 13, 10] stored bound 0.230126874 | R2_iv 2.471850e-03 (stored 2.471850e-03) mu 0.017079818 s_req 0.249551668 smin0-s_req 1.279e-04 | pivots>0: E1 True (min 1.36e-11) smin True (min 8.89e-04) | PASS  2.1s
rank  1763 box  40878 L=[3, 3, 2, 2] K=[31, 3, 10, 13] stored bound 0.230127144 | R2_iv 1.148558e-03 (stored 1.148558e-03) mu 0.011845949 s_req 0.242994506 smin0-s_req 1.281e-04 | pivots>0: E1 True (min 1.25e-12) smin True (min 8.10e-04) | PASS  2.1s
rank  1764 box  40815 L=[3, 3, 2, 2] K=[27, 4, 10, 15] stored bound 0.230127145 | R2_iv 1.147406e-03 (stored 1.147406e-03) mu 0.011839259 s_req 0.242986665 smin0-s_req 1.281e-04 | pivots>0: E1 True (min 1.17e-12) smin True (min 7.88e-04) | PASS  2.1s
rank  1765 box  53696 L=[3, 3, 3, 3] K=[29, 0, 25, 30] stored bound 0.230127158 | R2_iv 6.016693e-04 (stored 6.016693e-04) mu 0.008603311 s_req 0.239204980 smin0-s_req 1.282e-04 | pivots>0: E1 True (min 3.48e-12) smin True (min 7.06e-04) | PASS  2.1s
rank  1766 box  55658 L=[3, 3, 3, 3] K=[30, 4, 26, 33] stored bound 0.230127176 | R2_iv 6.002734e-04 (stored 6.002734e-04) mu 0.008579725 s_req 0.239179999 smin0-s_req 1.282e-04 | pivots>0: E1 True (min 3.59e-12) smin True (min 7.77e-04) | PASS  2.1s
rank  1767 box  31299 L=[2, 2, 2, 2] K=[20, 2, 12, 16] stored bound 0.230127197 | R2_iv 2.474701e-03 (stored 2.474701e-03) mu 0.017036797 s_req 0.249511497 smin0-s_req 1.282e-04 | pivots>0: E1 True (min 1.18e-11) smin True (min 9.66e-04) | PASS  2.1s
rank  1768 box  26543 L=[2, 2, 2, 2] K=[11, 6, 13, 9] stored bound 0.230127218 | R2_iv 2.461317e-03 (stored 2.461317e-03) mu 0.017079688 s_req 0.249541005 smin0-s_req 1.282e-04 | pivots>0: E1 True (min 1.41e-11) smin True (min 8.42e-04) | PASS  2.1s
rank  1769 box  44740 L=[3, 3, 2, 2] K=[34, 2, 12, 11] stored bound 0.230127301 | R2_iv 1.150520e-03 (stored 1.150520e-03) mu 0.011860885 s_req 0.243011405 smin0-s_req 1.283e-04 | pivots>0: E1 True (min 1.32e-12) smin True (min 7.96e-04) | PASS  2.1s
rank  1770 box  36523 L=[3, 2, 2, 2] K=[33, 3, 11, 11] stored bound 0.230127390 | R2_iv 1.790320e-03 (stored 1.790320e-03) mu 0.014297827 s_req 0.246088147 smin0-s_req 1.284e-04 | pivots>0: E1 True (min 8.00e-12) smin True (min 8.71e-04) | PASS  2.1s
rank  1771 box  45524 L=[3, 3, 2, 2] K=[36, 6, 14, 16] stored bound 0.230127435 | R2_iv 1.148909e-03 (stored 1.148909e-03) mu 0.011775227 s_req 0.242924136 smin0-s_req 1.284e-04 | pivots>0: E1 True (min 1.09e-12) smin True (min 8.76e-04) | PASS  2.1s
rank  1772 box  48751 L=[3, 3, 3, 2] K=[31, 7, 29, 12] stored bound 0.230127450 | R2_iv 8.523686e-04 (stored 8.523686e-04) mu 0.010590874 s_req 0.241443243 smin0-s_req 1.285e-04 | pivots>0: E1 True (min 7.36e-12) smin True (min 8.18e-04) | PASS  2.1s
rank  1773 box  41972 L=[3, 3, 2, 2] K=[25, 7, 12, 18] stored bound 0.230127460 | R2_iv 1.144963e-03 (stored 1.144963e-03) mu 0.011817299 s_req 0.242962262 smin0-s_req 1.285e-04 | pivots>0: E1 True (min 1.06e-12) smin True (min 7.95e-04) | PASS  2.1s
rank  1774 box  17135 L=[2, 2, 1, 1] K=[16, 3, 5, 2] stored bound 0.230127498 | R2_iv 4.702745e-03 (stored 4.702745e-03) mu 0.023578457 s_req 0.258281202 smin0-s_req 1.285e-04 | pivots>0: E1 True (min 4.55e-12) smin True (min 8.44e-04) | PASS  2.1s
rank  1775 box  48620 L=[3, 3, 2, 3] K=[24, 6, 15, 26] stored bound 0.230127512 | R2_iv 8.529730e-04 (stored 8.529730e-04) mu 0.009943827 s_req 0.240796800 smin0-s_req 1.285e-04 | pivots>0: E1 True (min 4.21e-13) smin True (min 7.48e-04) | PASS  2.1s
rank  1776 box   9796 L=[2, 1, 1, 1] K=[17, 0, 4, 14] stored bound 0.230127521 | R2_iv 7.479600e-03 (stored 7.479600e-03) mu 0.028682483 s_req 0.266162083 smin0-s_req 1.285e-04 | pivots>0: E1 True (min 3.05e-11) smin True (min 8.44e-04) | PASS  2.1s
rank  1777 box  63848 L=[4, 3, 3, 3] K=[64, 1, 31, 28] stored bound 0.230127526 | R2_iv 4.395780e-04 (stored 4.395780e-04) mu 0.007192625 s_req 0.237632203 smin0-s_req 1.285e-04 | pivots>0: E1 True (min 2.03e-12) smin True (min 7.37e-04) | PASS  2.1s
rank  1778 box  55849 L=[3, 3, 3, 3] K=[30, 7, 31, 34] stored bound 0.230127596 | R2_iv 5.996931e-04 (stored 5.996931e-04) mu 0.008563053 s_req 0.239162746 smin0-s_req 1.286e-04 | pivots>0: E1 True (min 3.54e-12) smin True (min 8.10e-04) | PASS  2.1s
rank  1779 box  19436 L=[2, 2, 1, 1] K=[29, 15, 7, 9] stored bound 0.230127603 | R2_iv 5.109025e-03 (stored 5.109025e-03) mu 0.026722483 s_req 0.261831508 smin0-s_req 1.286e-04 | pivots>0: E1 True (min 2.68e-11) smin True (min 1.55e-03) | PASS  2.1s
rank  1780 box  55201 L=[3, 3, 3, 3] K=[31, 1, 25, 33] stored bound 0.230127621 | R2_iv 6.012475e-04 (stored 6.012475e-04) mu 0.008595074 s_req 0.239196321 smin0-s_req 1.286e-04 | pivots>0: E1 True (min 3.71e-12) smin True (min 7.49e-04) | PASS  2.1s
rank  1781 box  21060 L=[2, 2, 1, 2] K=[9, 5, 5, 20] stored bound 0.230127634 | R2_iv 3.500735e-03 (stored 3.500735e-03) mu 0.019911425 s_req 0.253412160 smin0-s_req 1.286e-04 | pivots>0: E1 True (min 1.88e-12) smin True (min 8.58e-04) | PASS  2.1s
rank  1782 box  62720 L=[4, 3, 3, 3] K=[61, 1, 31, 35] stored bound 0.230127661 | R2_iv 4.395375e-04 (stored 4.395375e-04) mu 0.007195274 s_req 0.237634812 smin0-s_req 1.287e-04 | pivots>0: E1 True (min 1.98e-12) smin True (min 7.21e-04) | PASS  2.1s
rank  1783 box   5041 L=[1, 1, 1, 1] K=[10, 0, 4, 14] stored bound 0.230127895 | R2_iv 1.044799e-02 (stored 1.044799e-02) mu 0.034035169 s_req 0.274483157 smin0-s_req 1.289e-04 | pivots>0: E1 True (min 4.76e-11) smin True (min 1.00e-03) | PASS  2.1s
rank  1784 box  20004 L=[2, 2, 2, 1] K=[6, 8, 10, 7] stored bound 0.230127936 | R2_iv 3.504637e-03 (stored 3.504637e-03) mu 0.021331895 s_req 0.254836531 smin0-s_req 1.289e-04 | pivots>0: E1 True (min 3.47e-11) smin True (min 1.02e-03) | PASS  2.1s
rank  1785 box  62543 L=[4, 3, 3, 3] K=[58, 1, 31, 34] stored bound 0.230128042 | R2_iv 4.395601e-04 (stored 4.395601e-04) mu 0.007195305 s_req 0.237634865 smin0-s_req 1.290e-04 | pivots>0: E1 True (min 1.92e-12) smin True (min 7.08e-04) | PASS  2.1s
rank  1786 box  63904 L=[4, 3, 3, 3] K=[64, 2, 29, 30] stored bound 0.230128113 | R2_iv 4.392579e-04 (stored 4.392579e-04) mu 0.007180380 s_req 0.237619638 smin0-s_req 1.291e-04 | pivots>0: E1 True (min 2.03e-12) smin True (min 7.58e-04) | PASS  2.1s
rank  1787 box  20296 L=[2, 2, 2, 1] K=[6, 12, 14, 6] stored bound 0.230128166 | R2_iv 3.514099e-03 (stored 3.514099e-03) mu 0.021401893 s_req 0.254915992 smin0-s_req 1.292e-04 | pivots>0: E1 True (min 4.54e-11) smin True (min 1.12e-03) | PASS  2.1s
rank  1788 box  51216 L=[3, 3, 3, 2] K=[34, 6, 27, 15] stored bound 0.230128196 | R2_iv 8.532669e-04 (stored 8.532669e-04) mu 0.010571734 s_req 0.241425001 smin0-s_req 1.292e-04 | pivots>0: E1 True (min 7.33e-12) smin True (min 8.57e-04) | PASS  2.1s
rank  1789 box  42238 L=[3, 3, 2, 2] K=[28, 3, 15, 21] stored bound 0.230128205 | R2_iv 1.148425e-03 (stored 1.148425e-03) mu 0.011860433 s_req 0.243008858 smin0-s_req 1.292e-04 | pivots>0: E1 True (min 1.19e-12) smin True (min 7.29e-04) | PASS  2.1s
rank  1790 box  28199 L=[2, 2, 2, 2] K=[14, 0, 14, 24] stored bound 0.230128321 | R2_iv 2.470778e-03 (stored 2.470778e-03) mu 0.017197828 s_req 0.249668605 smin0-s_req 1.293e-04 | pivots>0: E1 True (min 1.50e-11) smin True (min 6.91e-04) | PASS  2.1s
rank  1791 box  64496 L=[4, 3, 3, 3] K=[64, 3, 31, 32] stored bound 0.230128336 | R2_iv 4.389769e-04 (stored 4.389769e-04) mu 0.007170581 s_req 0.237609558 smin0-s_req 1.293e-04 | pivots>0: E1 True (min 2.00e-12) smin True (min 7.73e-04) | PASS  2.1s
rank  1792 box  45209 L=[3, 3, 2, 2] K=[36, 4, 15, 12] stored bound 0.230128358 | R2_iv 1.149947e-03 (stored 1.149947e-03) mu 0.011815392 s_req 0.242965340 smin0-s_req 1.294e-04 | pivots>0: E1 True (min 1.20e-12) smin True (min 8.44e-04) | PASS  2.1s
rank  1793 box   1340 L=[1, 1, 0, 1] K=[6, 6, 1, 2] stored bound 0.230128431 | R2_iv 1.481814e-02 (stored 1.481814e-02) mu 0.039824612 s_req 0.284642751 smin0-s_req 1.294e-04 | pivots>0: E1 True (min 6.17e-12) smin True (min 1.43e-03) | PASS  2.2s
rank  1794 box  57994 L=[3, 3, 3, 3] K=[34, 3, 31, 28] stored bound 0.230128522 | R2_iv 6.009243e-04 (stored 6.009243e-04) mu 0.008576681 s_req 0.239177605 smin0-s_req 1.295e-04 | pivots>0: E1 True (min 3.66e-12) smin True (min 8.02e-04) | PASS  2.2s
rank  1795 box  59333 L=[3, 3, 3, 3] K=[33, 4, 28, 32] stored bound 0.230128568 | R2_iv 6.005535e-04 (stored 6.005535e-04) mu 0.008566021 s_req 0.239166575 smin0-s_req 1.296e-04 | pivots>0: E1 True (min 3.53e-12) smin True (min 8.11e-04) | PASS  2.2s
rank  1796 box  62728 L=[4, 3, 3, 3] K=[63, 1, 31, 35] stored bound 0.230128654 | R2_iv 4.395575e-04 (stored 4.395575e-04) mu 0.007193546 s_req 0.237633104 smin0-s_req 1.297e-04 | pivots>0: E1 True (min 2.01e-12) smin True (min 7.38e-04) | PASS  2.1s
rank  1797 box  62662 L=[4, 3, 3, 3] K=[61, 0, 28, 32] stored bound 0.230128701 | R2_iv 4.399176e-04 (stored 4.399176e-04) mu 0.007195195 s_req 0.237635113 smin0-s_req 1.297e-04 | pivots>0: E1 True (min 1.99e-12) smin True (min 7.17e-04) | PASS  2.1s
rank  1798 box  42335 L=[3, 3, 2, 2] K=[28, 7, 14, 20] stored bound 0.230128705 | R2_iv 1.144809e-03 (stored 1.144809e-03) mu 0.011805981 s_req 0.242950790 smin0-s_req 1.297e-04 | pivots>0: E1 True (min 1.07e-12) smin True (min 8.01e-04) | PASS  2.1s
rank  1799 box   9605 L=[2, 1, 1, 1] K=[16, 0, 1, 3] stored bound 0.230128706 | R2_iv 7.476165e-03 (stored 7.476165e-03) mu 0.028771175 s_req 0.266247340 smin0-s_req 1.297e-04 | pivots>0: E1 True (min 2.99e-11) smin True (min 1.01e-03) | PASS  2.2s
rank  1800 box  28013 L=[2, 2, 2, 2] K=[13, 0, 15, 7] stored bound 0.230128728 | R2_iv 2.471487e-03 (stored 2.471487e-03) mu 0.017193449 s_req 0.249664935 smin0-s_req 1.297e-04 | pivots>0: E1 True (min 1.49e-11) smin True (min 6.72e-04) | PASS  2.2s
rank  1801 box  40623 L=[3, 3, 2, 2] K=[26, 0, 11, 13] stored bound 0.230128742 | R2_iv 1.153300e-03 (stored 1.153300e-03) mu 0.011913379 s_req 0.243066680 smin0-s_req 1.297e-04 | pivots>0: E1 True (min 1.19e-12) smin True (min 6.99e-04) | PASS  2.1s
rank  1802 box  48691 L=[3, 3, 2, 3] K=[28, 0, 13, 24] stored bound 0.230128795 | R2_iv 8.567147e-04 (stored 8.567147e-04) mu 0.009982632 s_req 0.240839347 smin0-s_req 1.298e-04 | pivots>0: E1 True (min 3.71e-13) smin True (min 6.95e-04) | PASS  2.2s
rank  1803 box   5213 L=[1, 1, 1, 1] K=[11, 2, 7, 12] stored bound 0.230128929 | R2_iv 1.048307e-02 (stored 1.048307e-02) mu 0.033530090 s_req 0.274013165 smin0-s_req 1.299e-04 | pivots>0: E1 True (min 3.21e-11) smin True (min 1.09e-03) | PASS  2.1s
rank  1804 box  37114 L=[3, 2, 2, 2] K=[36, 1, 12, 10] stored bound 0.230129110 | R2_iv 1.795088e-03 (stored 1.795088e-03) mu 0.014352218 s_req 0.246147306 smin0-s_req 1.301e-04 | pivots>0: E1 True (min 8.51e-12) smin True (min 8.43e-04) | PASS  2.1s
rank  1805 box  37018 L=[3, 2, 2, 2] K=[35, 0, 12, 9] stored bound 0.230129424 | R2_iv 1.796600e-03 (stored 1.796600e-03) mu 0.014401671 s_req 0.246198271 smin0-s_req 1.304e-04 | pivots>0: E1 True (min 8.67e-12) smin True (min 7.94e-04) | PASS  2.1s
rank  1806 box  36178 L=[3, 2, 2, 2] K=[26, 8, 13, 15] stored bound 0.230129527 | R2_iv 1.788165e-03 (stored 1.788165e-03) mu 0.014272908 s_req 0.246061072 smin0-s_req 1.305e-04 | pivots>0: E1 True (min 6.89e-12) smin True (min 9.54e-04) | PASS  2.1s
rank  1807 box  41034 L=[3, 3, 2, 2] K=[31, 7, 11, 14] stored bound 0.230129564 | R2_iv 1.145516e-03 (stored 1.145516e-03) mu 0.011785752 s_req 0.242931268 smin0-s_req 1.306e-04 | pivots>0: E1 True (min 1.19e-12) smin True (min 8.78e-04) | PASS  2.1s
rank  1808 box  37120 L=[3, 2, 2, 2] K=[38, 0, 13, 10] stored bound 0.230130004 | R2_iv 1.798708e-03 (stored 1.798708e-03) mu 0.014384018 s_req 0.246182726 smin0-s_req 1.310e-04 | pivots>0: E1 True (min 8.91e-12) smin True (min 8.41e-04) | PASS  2.1s
rank  1809 box  43432 L=[3, 3, 2, 2] K=[26, 11, 12, 16] stored bound 0.230130056 | R2_iv 1.143104e-03 (stored 1.143104e-03) mu 0.011786039 s_req 0.242929143 smin0-s_req 1.311e-04 | pivots>0: E1 True (min 1.02e-12) smin True (min 8.86e-04) | PASS  2.1s
rank  1810 box  55255 L=[3, 3, 3, 3] K=[30, 3, 26, 34] stored bound 0.230130183 | R2_iv 6.005512e-04 (stored 6.005512e-04) mu 0.008587884 s_req 0.239188435 smin0-s_req 1.312e-04 | pivots>0: E1 True (min 3.64e-12) smin True (min 7.79e-04) | PASS  2.1s
rank  1811 box  64504 L=[4, 3, 3, 3] K=[66, 2, 31, 32] stored bound 0.230130224 | R2_iv 4.393341e-04 (stored 4.393341e-04) mu 0.007175258 s_req 0.237614593 smin0-s_req 1.312e-04 | pivots>0: E1 True (min 2.05e-12) smin True (min 7.81e-04) | PASS  2.1s
rank  1812 box  58615 L=[3, 3, 3, 3] K=[36, 1, 31, 30] stored bound 0.230130310 | R2_iv 6.017909e-04 (stored 6.017909e-04) mu 0.008579880 s_req 0.239181671 smin0-s_req 1.313e-04 | pivots>0: E1 True (min 3.76e-12) smin True (min 8.14e-04) | PASS  2.1s
rank  1813 box  53165 L=[3, 3, 3, 3] K=[26, 4, 27, 31] stored bound 0.230130398 | R2_iv 6.003413e-04 (stored 6.003413e-04) mu 0.008585392 s_req 0.239185734 smin0-s_req 1.314e-04 | pivots>0: E1 True (min 3.57e-12) smin True (min 7.55e-04) | PASS  2.1s
rank  1814 box  49313 L=[3, 3, 2, 3] K=[28, 5, 13, 37] stored bound 0.230130430 | R2_iv 8.534399e-04 (stored 8.534399e-04) mu 0.009945023 s_req 0.240798463 smin0-s_req 1.314e-04 | pivots>0: E1 True (min 4.13e-13) smin True (min 7.91e-04) | PASS  2.1s
rank  1815 box   9621 L=[2, 1, 1, 1] K=[17, 0, 0, 4] stored bound 0.230130458 | R2_iv 7.479600e-03 (stored 7.479600e-03) mu 0.028770075 s_req 0.266249675 smin0-s_req 1.315e-04 | pivots>0: E1 True (min 2.97e-11) smin True (min 1.17e-03) | PASS  2.1s
rank  1816 box  11605 L=[2, 1, 1, 1] K=[31, 5, 5, 8] stored bound 0.230130517 | R2_iv 7.873899e-03 (stored 7.873899e-03) mu 0.030420068 s_req 0.268293967 smin0-s_req 1.315e-04 | pivots>0: E1 True (min 5.16e-11) smin True (min 2.39e-03) | PASS  2.1s
rank  1817 box  61157 L=[4, 3, 3, 3] K=[57, 3, 30, 30] stored bound 0.230130519 | R2_iv 4.388822e-04 (stored 4.388822e-04) mu 0.007181017 s_req 0.237619899 smin0-s_req 1.315e-04 | pivots>0: E1 True (min 1.90e-12) smin True (min 7.50e-04) | PASS  2.1s
rank  1818 box  54087 L=[3, 3, 3, 3] K=[30, 4, 26, 28] stored bound 0.230130560 | R2_iv 6.002734e-04 (stored 6.002734e-04) mu 0.008583248 s_req 0.239183522 smin0-s_req 1.316e-04 | pivots>0: E1 True (min 3.68e-12) smin True (min 7.95e-04) | PASS  2.1s
rank  1819 box   2893 L=[1, 1, 1, 1] K=[1, 7, 6, 3] stored bound 0.230130560 | R2_iv 1.049181e-02 (stored 1.049181e-02) mu 0.034547705 s_req 0.275039510 smin0-s_req 1.316e-04 | pivots>0: E1 True (min 9.34e-11) smin True (min 1.37e-03) | PASS  2.1s
rank  1820 box   4357 L=[1, 1, 1, 1] K=[7, 6, 4, 3] stored bound 0.230130595 | R2_iv 1.046559e-02 (stored 1.046559e-02) mu 0.033722960 s_req 0.274188545 smin0-s_req 1.316e-04 | pivots>0: E1 True (min 3.02e-11) smin True (min 1.22e-03) | PASS  2.1s
rank  1821 box  14324 L=[2, 2, 1, 1] K=[11, 4, 6, 2] stored bound 0.230130649 | R2_iv 4.695349e-03 (stored 4.695349e-03) mu 0.023576631 s_req 0.258271980 smin0-s_req 1.316e-04 | pivots>0: E1 True (min 3.98e-12) smin True (min 7.81e-04) | PASS  2.2s
rank  1822 box  13863 L=[2, 2, 1, 1] K=[11, 2, 7, 13] stored bound 0.230130707 | R2_iv 4.710792e-03 (stored 4.710792e-03) mu 0.023676078 s_req 0.258386869 smin0-s_req 1.317e-04 | pivots>0: E1 True (min 4.30e-12) smin True (min 7.11e-04) | PASS  2.1s
rank  1823 box  62542 L=[4, 3, 3, 3] K=[59, 1, 30, 34] stored bound 0.230130743 | R2_iv 4.395456e-04 (stored 4.395456e-04) mu 0.007194561 s_req 0.237634106 smin0-s_req 1.317e-04 | pivots>0: E1 True (min 1.94e-12) smin True (min 7.29e-04) | PASS  2.1s
rank  1824 box  45715 L=[3, 3, 2, 2] K=[32, 5, 14, 20] stored bound 0.230130762 | R2_iv 1.147082e-03 (stored 1.147082e-03) mu 0.011817605 s_req 0.242964686 smin0-s_req 1.318e-04 | pivots>0: E1 True (min 1.12e-12) smin True (min 8.24e-04) | PASS  2.1s
rank  1825 box  61196 L=[4, 3, 3, 3] K=[60, 1, 28, 31] stored bound 0.230130792 | R2_iv 4.395380e-04 (stored 4.395380e-04) mu 0.007189399 s_req 0.237628937 smin0-s_req 1.318e-04 | pivots>0: E1 True (min 1.93e-12) smin True (min 7.39e-04) | PASS  2.1s
rank  1826 box  55456 L=[3, 3, 3, 3] K=[31, 0, 28, 37] stored bound 0.230131000 | R2_iv 6.016356e-04 (stored 6.016356e-04) mu 0.008611359 s_req 0.239212995 smin0-s_req 1.320e-04 | pivots>0: E1 True (min 3.82e-12) smin True (min 7.38e-04) | PASS  2.2s
rank  1827 box  40696 L=[3, 3, 2, 2] K=[27, 2, 10, 15] stored bound 0.230131000 | R2_iv 1.149879e-03 (stored 1.149879e-03) mu 0.011868546 s_req 0.243018425 smin0-s_req 1.320e-04 | pivots>0: E1 True (min 1.19e-12) smin True (min 7.75e-04) | PASS  2.1s
rank  1828 box  55795 L=[3, 3, 3, 3] K=[28, 7, 29, 34] stored bound 0.230131089 | R2_iv 5.995690e-04 (stored 5.995690e-04) mu 0.008571189 s_req 0.239170758 smin0-s_req 1.321e-04 | pivots>0: E1 True (min 3.58e-12) smin True (min 8.17e-04) | PASS  2.1s
rank  1829 box  42806 L=[3, 3, 2, 2] K=[25, 8, 14, 11] stored bound 0.230131350 | R2_iv 1.144272e-03 (stored 1.144272e-03) mu 0.011806977 s_req 0.242951249 smin0-s_req 1.324e-04 | pivots>0: E1 True (min 1.10e-12) smin True (min 8.08e-04) | PASS  2.1s
rank  1830 box  50051 L=[3, 3, 3, 2] K=[28, 8, 24, 15] stored bound 0.230131361 | R2_iv 8.518320e-04 (stored 8.518320e-04) mu 0.010599667 s_req 0.241451499 smin0-s_req 1.324e-04 | pivots>0: E1 True (min 7.47e-12) smin True (min 8.62e-04) | PASS  2.1s
rank  1831 box  51367 L=[3, 3, 3, 2] K=[38, 0, 27, 14] stored bound 0.230131365 | R2_iv 8.568790e-04 (stored 8.568790e-04) mu 0.010626375 s_req 0.241483254 smin0-s_req 1.324e-04 | pivots>0: E1 True (min 7.58e-12) smin True (min 8.50e-04) | PASS  2.2s
rank  1832 box  51421 L=[3, 3, 3, 2] K=[38, 0, 30, 13] stored bound 0.230131377 | R2_iv 8.568790e-04 (stored 8.568790e-04) mu 0.010631412 s_req 0.241488291 smin0-s_req 1.324e-04 | pivots>0: E1 True (min 7.49e-12) smin True (min 8.40e-04) | PASS  2.2s
rank  1833 box  32994 L=[3, 2, 2, 2] K=[20, 7, 15, 12] stored bound 0.230131388 | R2_iv 1.787174e-03 (stored 1.787174e-03) mu 0.014322550 s_req 0.246109724 smin0-s_req 1.324e-04 | pivots>0: E1 True (min 7.34e-12) smin True (min 9.01e-04) | PASS  2.1s
rank  1834 box  12967 L=[2, 2, 1, 1] K=[6, 9, 4, 6] stored bound 0.230131403 | R2_iv 4.711878e-03 (stored 4.711878e-03) mu 0.023814414 s_req 0.258526292 smin0-s_req 1.324e-04 | pivots>0: E1 True (min 5.37e-12) smin True (min 1.13e-03) | PASS  2.1s
rank  1835 box  10418 L=[2, 1, 1, 1] K=[17, 7, 6, 10] stored bound 0.230131615 | R2_iv 7.600548e-03 (stored 7.600548e-03) mu 0.028982127 s_req 0.266582675 smin0-s_req 1.326e-04 | pivots>0: E1 True (min 2.04e-11) smin True (min 1.14e-03) | PASS  2.1s
rank  1836 box  62462 L=[4, 3, 3, 3] K=[58, 1, 29, 32] stored bound 0.230131640 | R2_iv 4.395601e-04 (stored 4.395601e-04) mu 0.007190279 s_req 0.237629839 smin0-s_req 1.326e-04 | pivots>0: E1 True (min 1.92e-12) smin True (min 7.31e-04) | PASS  2.1s
rank  1837 box  25518 L=[2, 2, 2, 2] K=[10, 3, 10, 11] stored bound 0.230131747 | R2_iv 2.466292e-03 (stored 2.466292e-03) mu 0.017166466 s_req 0.249632758 smin0-s_req 1.327e-04 | pivots>0: E1 True (min 1.31e-11) smin True (min 8.08e-04) | PASS  2.2s
rank  1838 box  53336 L=[3, 3, 3, 3] K=[26, 6, 29, 28] stored bound 0.230131788 | R2_iv 5.997860e-04 (stored 5.997860e-04) mu 0.008582398 s_req 0.239182184 smin0-s_req 1.328e-04 | pivots>0: E1 True (min 3.68e-12) smin True (min 7.88e-04) | PASS  2.1s
rank  1839 box  28145 L=[2, 2, 2, 2] K=[12, 3, 14, 23] stored bound 0.230131865 | R2_iv 2.463840e-03 (stored 2.463840e-03) mu 0.017124992 s_req 0.249588832 smin0-s_req 1.329e-04 | pivots>0: E1 True (min 1.40e-11) smin True (min 7.78e-04) | PASS  2.1s
rank  1840 box  53736 L=[3, 3, 3, 3] K=[29, 3, 25, 30] stored bound 0.230131992 | R2_iv 6.005366e-04 (stored 6.005366e-04) mu 0.008587605 s_req 0.239188141 smin0-s_req 1.330e-04 | pivots>0: E1 True (min 3.59e-12) smin True (min 7.83e-04) | PASS  2.2s
rank  1841 box  37951 L=[3, 2, 2, 2] K=[36, 4, 13, 16] stored bound 0.230132068 | R2_iv 1.792585e-03 (stored 1.792585e-03) mu 0.014231908 s_req 0.246024493 smin0-s_req 1.331e-04 | pivots>0: E1 True (min 6.64e-12) smin True (min 9.57e-04) | PASS  2.2s
rank  1842 box  28455 L=[2, 2, 2, 2] K=[14, 5, 10, 10] stored bound 0.230132154 | R2_iv 2.461960e-03 (stored 2.461960e-03) mu 0.017071048 s_req 0.249533008 smin0-s_req 1.332e-04 | pivots>0: E1 True (min 1.41e-11) smin True (min 9.36e-04) | PASS  2.2s
rank  1843 box  48987 L=[3, 3, 2, 3] K=[24, 5, 13, 33] stored bound 0.230132210 | R2_iv 8.534678e-04 (stored 8.534678e-04) mu 0.009943414 s_req 0.240796881 smin0-s_req 1.332e-04 | pivots>0: E1 True (min 3.94e-13) smin True (min 7.72e-04) | PASS  2.2s
rank  1844 box  64343 L=[4, 3, 3, 3] K=[65, 0, 28, 32] stored bound 0.230132306 | R2_iv 4.399576e-04 (stored 4.399576e-04) mu 0.007192027 s_req 0.237631985 smin0-s_req 1.333e-04 | pivots>0: E1 True (min 2.07e-12) smin True (min 7.61e-04) | PASS  2.2s
rank  1845 box  39620 L=[3, 3, 2, 2] K=[20, 8, 15, 14] stored bound 0.230132403 | R2_iv 1.146204e-03 (stored 1.146204e-03) mu 0.011831073 s_req 0.242977278 smin0-s_req 1.334e-04 | pivots>0: E1 True (min 1.13e-12) smin True (min 7.99e-04) | PASS  2.2s
rank  1846 box  62466 L=[4, 3, 3, 3] K=[59, 1, 29, 33] stored bound 0.230132440 | R2_iv 4.395456e-04 (stored 4.395456e-04) mu 0.007192148 s_req 0.237631694 smin0-s_req 1.334e-04 | pivots>0: E1 True (min 1.94e-12) smin True (min 7.40e-04) | PASS  2.2s
rank  1847 box  38970 L=[3, 3, 2, 2] K=[22, 3, 15, 18] stored bound 0.230132500 | R2_iv 1.150730e-03 (stored 1.150730e-03) mu 0.011869936 s_req 0.243020666 smin0-s_req 1.335e-04 | pivots>0: E1 True (min 1.16e-12) smin True (min 7.19e-04) | PASS  2.2s
rank  1848 box  24292 L=[2, 2, 2, 1] K=[20, 3, 10, 7] stored bound 0.230132534 | R2_iv 3.515499e-03 (stored 3.515499e-03) mu 0.021006700 s_req 0.254522199 smin0-s_req 1.335e-04 | pivots>0: E1 True (min 2.90e-11) smin True (min 1.10e-03) | PASS  2.2s
rank  1849 box  48057 L=[3, 3, 3, 2] K=[30, 3, 26, 11] stored bound 0.230132588 | R2_iv 8.542451e-04 (stored 8.542451e-04) mu 0.010645524 s_req 0.241499769 smin0-s_req 1.336e-04 | pivots>0: E1 True (min 7.55e-12) smin True (min 7.85e-04) | PASS  2.2s
rank  1850 box  39771 L=[3, 3, 2, 2] K=[22, 12, 15, 13] stored bound 0.230132588 | R2_iv 1.143240e-03 (stored 1.143240e-03) mu 0.011803416 s_req 0.242946656 smin0-s_req 1.336e-04 | pivots>0: E1 True (min 1.11e-12) smin True (min 8.71e-04) | PASS  2.2s
rank  1851 box  48078 L=[3, 3, 2, 3] K=[28, 1, 14, 23] stored bound 0.230132712 | R2_iv 8.559203e-04 (stored 8.559203e-04) mu 0.009974204 s_req 0.240830125 smin0-s_req 1.337e-04 | pivots>0: E1 True (min 4.32e-13) smin True (min 7.26e-04) | PASS  2.2s
rank  1852 box  59019 L=[3, 3, 3, 3] K=[34, 2, 28, 34] stored bound 0.230132732 | R2_iv 6.011808e-04 (stored 6.011808e-04) mu 0.008582839 s_req 0.239184020 smin0-s_req 1.337e-04 | pivots>0: E1 True (min 3.64e-12) smin True (min 8.20e-04) | PASS  2.2s
rank  1853 box  40795 L=[3, 3, 2, 2] K=[24, 4, 11, 15] stored bound 0.230132743 | R2_iv 1.148275e-03 (stored 1.148275e-03) mu 0.011850517 s_req 0.242998792 smin0-s_req 1.337e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 7.80e-04) | PASS  2.2s
rank  1854 box  38248 L=[3, 2, 2, 2] K=[41, 0, 14, 18] stored bound 0.230132822 | R2_iv 1.801828e-03 (stored 1.801828e-03) mu 0.014346862 s_req 0.246148689 smin0-s_req 1.338e-04 | pivots>0: E1 True (min 8.48e-12) smin True (min 9.27e-04) | PASS  2.2s
rank  1855 box  53618 L=[3, 3, 3, 3] K=[29, 3, 30, 25] stored bound 0.230132850 | R2_iv 6.005366e-04 (stored 6.005366e-04) mu 0.008594995 s_req 0.239195531 smin0-s_req 1.339e-04 | pivots>0: E1 True (min 3.73e-12) smin True (min 7.67e-04) | PASS  2.2s
rank  1856 box  17241 L=[2, 2, 1, 1] K=[16, 0, 7, 0] stored bound 0.230132878 | R2_iv 4.724708e-03 (stored 4.724708e-03) mu 0.023785982 s_req 0.258510690 smin0-s_req 1.339e-04 | pivots>0: E1 True (min 5.57e-12) smin True (min 7.34e-04) | PASS  2.2s
rank  1857 box  62656 L=[4, 3, 3, 3] K=[59, 3, 31, 34] stored bound 0.230132884 | R2_iv 4.388741e-04 (stored 4.388741e-04) mu 0.007180905 s_req 0.237619779 smin0-s_req 1.339e-04 | pivots>0: E1 True (min 1.93e-12) smin True (min 7.72e-04) | PASS  2.2s
rank  1858 box  54232 L=[3, 3, 3, 3] K=[29, 6, 29, 27] stored bound 0.230132914 | R2_iv 5.997823e-04 (stored 5.997823e-04) mu 0.008574868 s_req 0.239174651 smin0-s_req 1.339e-04 | pivots>0: E1 True (min 3.65e-12) smin True (min 8.19e-04) | PASS  2.2s
rank  1859 box  26550 L=[2, 2, 2, 2] K=[11, 7, 12, 10] stored bound 0.230132976 | R2_iv 2.461519e-03 (stored 2.461519e-03) mu 0.017078023 s_req 0.249539542 smin0-s_req 1.340e-04 | pivots>0: E1 True (min 1.43e-11) smin True (min 9.31e-04) | PASS  2.2s
rank  1860 box  54385 L=[3, 3, 3, 3] K=[29, 7, 30, 28] stored bound 0.230133006 | R2_iv 5.996152e-04 (stored 5.996152e-04) mu 0.008568098 s_req 0.239167714 smin0-s_req 1.340e-04 | pivots>0: E1 True (min 3.61e-12) smin True (min 8.34e-04) | PASS  2.2s
rank  1861 box  51111 L=[3, 3, 3, 2] K=[35, 3, 30, 12] stored bound 0.230133068 | R2_iv 8.545290e-04 (stored 8.545290e-04) mu 0.010610225 s_req 0.241464754 smin0-s_req 1.341e-04 | pivots>0: E1 True (min 7.31e-12) smin True (min 8.43e-04) | PASS  2.2s
rank  1862 box  51517 L=[3, 3, 3, 2] K=[35, 3, 25, 16] stored bound 0.230133140 | R2_iv 8.545290e-04 (stored 8.545290e-04) mu 0.010600547 s_req 0.241455076 smin0-s_req 1.341e-04 | pivots>0: E1 True (min 6.78e-12) smin True (min 8.72e-04) | PASS  2.2s
rank  1863 box  37028 L=[3, 2, 2, 2] K=[33, 0, 14, 8] stored bound 0.230133170 | R2_iv 1.795759e-03 (stored 1.795759e-03) mu 0.014408780 s_req 0.246204539 smin0-s_req 1.342e-04 | pivots>0: E1 True (min 8.38e-12) smin True (min 7.68e-04) | PASS  2.2s
rank  1864 box   7452 L=[2, 1, 1, 1] K=[4, 5, 5, 4] stored bound 0.230133310 | R2_iv 7.494963e-03 (stored 7.494963e-03) mu 0.028820000 s_req 0.266314963 smin0-s_req 1.343e-04 | pivots>0: E1 True (min 3.54e-11) smin True (min 1.18e-03) | PASS  2.2s
rank  1865 box  34654 L=[3, 2, 2, 2] K=[26, 0, 13, 9] stored bound 0.230133452 | R2_iv 1.796384e-03 (stored 1.796384e-03) mu 0.014423198 s_req 0.246219582 smin0-s_req 1.345e-04 | pivots>0: E1 True (min 7.10e-12) smin True (min 7.05e-04) | PASS  2.2s
rank  1866 box   2653 L=[1, 1, 1, 1] K=[1, 5, 2, 5] stored bound 0.230133458 | R2_iv 1.045770e-02 (stored 1.045770e-02) mu 0.034442450 s_req 0.274900154 smin0-s_req 1.345e-04 | pivots>0: E1 True (min 7.55e-11) smin True (min 1.47e-03) | PASS  2.2s
rank  1867 box  43227 L=[3, 3, 2, 2] K=[30, 9, 13, 12] stored bound 0.230133473 | R2_iv 1.144427e-03 (stored 1.144427e-03) mu 0.011774341 s_req 0.242918768 smin0-s_req 1.345e-04 | pivots>0: E1 True (min 1.11e-12) smin True (min 8.87e-04) | PASS  2.2s
rank  1868 box  35714 L=[3, 2, 2, 2] K=[28, 6, 13, 11] stored bound 0.230133574 | R2_iv 1.787039e-03 (stored 1.787039e-03) mu 0.014261496 s_req 0.246048535 smin0-s_req 1.346e-04 | pivots>0: E1 True (min 7.18e-12) smin True (min 9.21e-04) | PASS  2.2s
rank  1869 box  22504 L=[2, 2, 1, 2] K=[13, 6, 5, 8] stored bound 0.230133604 | R2_iv 3.495512e-03 (stored 3.495512e-03) mu 0.019856871 s_req 0.253352383 smin0-s_req 1.346e-04 | pivots>0: E1 True (min 1.83e-12) smin True (min 9.39e-04) | PASS  2.2s
rank  1870 box  64426 L=[4, 3, 3, 3] K=[66, 1, 31, 34] stored bound 0.230133605 | R2_iv 4.396401e-04 (stored 4.396401e-04) mu 0.007188233 s_req 0.237627873 smin0-s_req 1.346e-04 | pivots>0: E1 True (min 2.06e-12) smin True (min 7.85e-04) | PASS  2.2s
rank  1871 box  38099 L=[3, 2, 2, 2] K=[41, 0, 13, 13] stored bound 0.230133641 | R2_iv 1.801828e-03 (stored 1.801828e-03) mu 0.014345274 s_req 0.246147102 smin0-s_req 1.346e-04 | pivots>0: E1 True (min 9.29e-12) smin True (min 9.38e-04) | PASS  2.2s
rank  1872 box  53578 L=[3, 3, 3, 3] K=[29, 0, 31, 25] stored bound 0.230133855 | R2_iv 6.016693e-04 (stored 6.016693e-04) mu 0.008613930 s_req 0.239215599 smin0-s_req 1.349e-04 | pivots>0: E1 True (min 3.77e-12) smin True (min 7.25e-04) | PASS  2.2s
rank  1873 box  35781 L=[3, 2, 2, 2] K=[28, 7, 14, 12] stored bound 0.230133934 | R2_iv 1.787825e-03 (stored 1.787825e-03) mu 0.014249674 s_req 0.246037500 smin0-s_req 1.349e-04 | pivots>0: E1 True (min 6.97e-12) smin True (min 9.48e-04) | PASS  2.2s
rank  1874 box  12749 L=[2, 2, 1, 1] K=[5, 7, 6, 5] stored bound 0.230134095 | R2_iv 4.721099e-03 (stored 4.721099e-03) mu 0.023761967 s_req 0.258483066 smin0-s_req 1.351e-04 | pivots>0: E1 True (min 5.02e-12) smin True (min 9.79e-04) | PASS  2.2s
rank  1875 box  20755 L=[2, 2, 1, 2] K=[8, 0, 6, 16] stored bound 0.230134202 | R2_iv 3.528143e-03 (stored 3.528143e-03) mu 0.019938642 s_req 0.253466786 smin0-s_req 1.352e-04 | pivots>0: E1 True (min 1.24e-12) smin True (min 6.81e-04) | PASS  2.2s
rank  1876 box  62808 L=[4, 3, 3, 3] K=[61, 3, 31, 34] stored bound 0.230134210 | R2_iv 4.388941e-04 (stored 4.388941e-04) mu 0.007178724 s_req 0.237617618 smin0-s_req 1.352e-04 | pivots>0: E1 True (min 1.96e-12) smin True (min 7.90e-04) | PASS  2.2s
rank  1877 box  62667 L=[4, 3, 3, 3] K=[61, 1, 28, 32] stored bound 0.230134236 | R2_iv 4.395375e-04 (stored 4.395375e-04) mu 0.007187983 s_req 0.237627521 smin0-s_req 1.352e-04 | pivots>0: E1 True (min 1.98e-12) smin True (min 7.64e-04) | PASS  2.2s
rank  1878 box  46245 L=[3, 3, 2, 2] K=[40, 0, 14, 15] stored bound 0.230134312 | R2_iv 1.156561e-03 (stored 1.156561e-03) mu 0.011858287 s_req 0.243014848 smin0-s_req 1.353e-04 | pivots>0: E1 True (min 1.53e-12) smin True (min 9.05e-04) | PASS  2.2s
rank  1879 box  55122 L=[3, 3, 3, 3] K=[28, 1, 26, 33] stored bound 0.230134497 | R2_iv 6.012982e-04 (stored 6.012982e-04) mu 0.008598108 s_req 0.239199406 smin0-s_req 1.355e-04 | pivots>0: E1 True (min 3.74e-12) smin True (min 7.50e-04) | PASS  2.2s
rank  1880 box    832 L=[1, 1, 1, 0] K=[0, 5, 0, 2] stored bound 0.230134498 | R2_iv 1.487585e-02 (stored 1.487585e-02) mu 0.042820460 s_req 0.287696310 smin0-s_req 1.355e-04 | pivots>0: E1 True (min 1.57e-10) smin True (min 1.66e-03) | PASS  2.2s
rank  1881 box  52753 L=[3, 3, 3, 3] K=[27, 3, 26, 30] stored bound 0.230134515 | R2_iv 6.006021e-04 (stored 6.006021e-04) mu 0.008590760 s_req 0.239191362 smin0-s_req 1.355e-04 | pivots>0: E1 True (min 3.55e-12) smin True (min 7.73e-04) | PASS  2.2s
rank  1882 box  20144 L=[2, 2, 2, 1] K=[5, 8, 12, 8] stored bound 0.230134655 | R2_iv 3.509214e-03 (stored 3.509214e-03) mu 0.021343915 s_req 0.254853129 smin0-s_req 1.357e-04 | pivots>0: E1 True (min 3.69e-11) smin True (min 1.06e-03) | PASS  2.2s
rank  1883 box  54292 L=[3, 3, 3, 3] K=[31, 5, 29, 27] stored bound 0.230134717 | R2_iv 6.001155e-04 (stored 6.001155e-04) mu 0.008574395 s_req 0.239174511 smin0-s_req 1.357e-04 | pivots>0: E1 True (min 3.65e-12) smin True (min 8.35e-04) | PASS  2.2s
rank  1884 box  55384 L=[3, 3, 3, 3] K=[28, 1, 30, 37] stored bound 0.230134783 | R2_iv 6.012982e-04 (stored 6.012982e-04) mu 0.008606923 s_req 0.239208221 smin0-s_req 1.358e-04 | pivots>0: E1 True (min 3.76e-12) smin True (min 7.38e-04) | PASS  2.2s
rank  1885 box  14970 L=[2, 2, 1, 1] K=[11, 14, 6, 8] stored bound 0.230134824 | R2_iv 4.756212e-03 (stored 4.756212e-03) mu 0.023850311 s_req 0.258606522 smin0-s_req 1.358e-04 | pivots>0: E1 True (min 4.99e-12) smin True (min 1.17e-03) | PASS  2.2s
rank  1886 box  51920 L=[3, 3, 3, 2] K=[36, 4, 30, 17] stored bound 0.230134883 | R2_iv 8.543959e-04 (stored 8.543959e-04) mu 0.010584196 s_req 0.241438592 smin0-s_req 1.359e-04 | pivots>0: E1 True (min 6.98e-12) smin True (min 8.90e-04) | PASS  2.2s
rank  1887 box  34275 L=[3, 2, 2, 2] K=[31, 3, 9, 14] stored bound 0.230134918 | R2_iv 1.789245e-03 (stored 1.789245e-03) mu 0.014307620 s_req 0.246096865 smin0-s_req 1.359e-04 | pivots>0: E1 True (min 7.84e-12) smin True (min 9.59e-04) | PASS  2.2s
rank  1888 box  28025 L=[2, 2, 2, 2] K=[13, 2, 13, 7] stored bound 0.230135032 | R2_iv 2.465402e-03 (stored 2.465402e-03) mu 0.017132144 s_req 0.249597546 smin0-s_req 1.360e-04 | pivots>0: E1 True (min 1.44e-11) smin True (min 7.75e-04) | PASS  2.2s
rank  1889 box  55220 L=[3, 3, 3, 3] K=[31, 0, 26, 35] stored bound 0.230135124 | R2_iv 6.016356e-04 (stored 6.016356e-04) mu 0.008607056 s_req 0.239208692 smin0-s_req 1.361e-04 | pivots>0: E1 True (min 3.79e-12) smin True (min 7.70e-04) | PASS  2.2s
rank  1890 box  64410 L=[4, 3, 3, 3] K=[65, 1, 30, 34] stored bound 0.230135217 | R2_iv 4.396055e-04 (stored 4.396055e-04) mu 0.007189311 s_req 0.237628917 smin0-s_req 1.362e-04 | pivots>0: E1 True (min 2.04e-12) smin True (min 7.89e-04) | PASS  2.2s
rank  1891 box  34764 L=[3, 2, 2, 2] K=[30, 1, 15, 8] stored bound 0.230135234 | R2_iv 1.792558e-03 (stored 1.792558e-03) mu 0.014378689 s_req 0.246171247 smin0-s_req 1.362e-04 | pivots>0: E1 True (min 7.78e-12) smin True (min 7.73e-04) | PASS  2.2s
rank  1892 box  50650 L=[3, 3, 3, 2] K=[28, 8, 30, 19] stored bound 0.230135312 | R2_iv 8.518320e-04 (stored 8.518320e-04) mu 0.010604007 s_req 0.241455839 smin0-s_req 1.363e-04 | pivots>0: E1 True (min 7.27e-12) smin True (min 8.55e-04) | PASS  2.2s
rank  1893 box  58614 L=[3, 3, 3, 3] K=[36, 1, 30, 31] stored bound 0.230135322 | R2_iv 6.017909e-04 (stored 6.017909e-04) mu 0.008576096 s_req 0.239177887 smin0-s_req 1.363e-04 | pivots>0: E1 True (min 3.77e-12) smin True (min 8.46e-04) | PASS  2.2s
rank  1894 box  52754 L=[3, 3, 3, 3] K=[27, 3, 26, 31] stored bound 0.230135357 | R2_iv 6.006021e-04 (stored 6.006021e-04) mu 0.008588097 s_req 0.239188699 smin0-s_req 1.364e-04 | pivots>0: E1 True (min 3.53e-12) smin True (min 7.79e-04) | PASS  2.2s
rank  1895 box  38596 L=[3, 3, 2, 2] K=[22, 3, 14, 13] stored bound 0.230135407 | R2_iv 1.150730e-03 (stored 1.150730e-03) mu 0.011872167 s_req 0.243022897 smin0-s_req 1.364e-04 | pivots>0: E1 True (min 1.15e-12) smin True (min 7.36e-04) | PASS  2.2s
rank  1896 box  51146 L=[3, 3, 3, 2] K=[33, 6, 27, 13] stored bound 0.230135521 | R2_iv 8.530052e-04 (stored 8.530052e-04) mu 0.010586382 s_req 0.241439388 smin0-s_req 1.365e-04 | pivots>0: E1 True (min 7.39e-12) smin True (min 8.88e-04) | PASS  2.2s
rank  1897 box   1749 L=[1, 1, 0, 1] K=[11, 7, 1, 10] stored bound 0.230135618 | R2_iv 1.517243e-02 (stored 1.517243e-02) mu 0.042466922 s_req 0.287639353 smin0-s_req 1.366e-04 | pivots>0: E1 True (min 1.13e-11) smin True (min 2.19e-03) | PASS  2.2s
rank  1898 box  41507 L=[3, 3, 2, 2] K=[26, 0, 13, 11] stored bound 0.230135762 | R2_iv 1.153300e-03 (stored 1.153300e-03) mu 0.011917406 s_req 0.243070706 smin0-s_req 1.368e-04 | pivots>0: E1 True (min 1.23e-12) smin True (min 7.14e-04) | PASS  2.2s
rank  1899 box  61003 L=[4, 3, 3, 3] K=[58, 1, 30, 29] stored bound 0.230135782 | R2_iv 4.395601e-04 (stored 4.395601e-04) mu 0.007195509 s_req 0.237635069 smin0-s_req 1.368e-04 | pivots>0: E1 True (min 1.91e-12) smin True (min 7.51e-04) | PASS  2.2s
rank  1900 box  63824 L=[4, 3, 3, 3] K=[64, 1, 28, 31] stored bound 0.230136013 | R2_iv 4.395780e-04 (stored 4.395780e-04) mu 0.007185566 s_req 0.237625144 smin0-s_req 1.370e-04 | pivots>0: E1 True (min 2.03e-12) smin True (min 7.92e-04) | PASS  2.2s
rank  1901 box  40002 L=[3, 3, 2, 2] K=[22, 10, 13, 17] stored bound 0.230136039 | R2_iv 1.143907e-03 (stored 1.143907e-03) mu 0.011811944 s_req 0.242955850 smin0-s_req 1.370e-04 | pivots>0: E1 True (min 1.08e-12) smin True (min 8.74e-04) | PASS  2.2s
rank  1902 box  54412 L=[3, 3, 3, 3] K=[30, 7, 30, 29] stored bound 0.230136087 | R2_iv 5.996931e-04 (stored 5.996931e-04) mu 0.008562851 s_req 0.239162544 smin0-s_req 1.371e-04 | pivots>0: E1 True (min 3.58e-12) smin True (min 8.64e-04) | PASS  2.2s
rank  1903 box  43427 L=[3, 3, 2, 2] K=[25, 11, 12, 16] stored bound 0.230136215 | R2_iv 1.143060e-03 (stored 1.143060e-03) mu 0.011791811 s_req 0.242934871 smin0-s_req 1.372e-04 | pivots>0: E1 True (min 1.04e-12) smin True (min 9.21e-04) | PASS  2.2s
rank  1904 box  24434 L=[2, 2, 2, 1] K=[22, 0, 12, 9] stored bound 0.230136220 | R2_iv 3.527955e-03 (stored 3.527955e-03) mu 0.021126839 s_req 0.254654795 smin0-s_req 1.372e-04 | pivots>0: E1 True (min 2.51e-11) smin True (min 1.08e-03) | PASS  2.2s
rank  1905 box  62575 L=[4, 3, 3, 3] K=[59, 3, 29, 32] stored bound 0.230136333 | R2_iv 4.388741e-04 (stored 4.388741e-04) mu 0.007176621 s_req 0.237615495 smin0-s_req 1.373e-04 | pivots>0: E1 True (min 1.93e-12) smin True (min 7.95e-04) | PASS  2.2s
rank  1906 box  25225 L=[2, 2, 2, 2] K=[7, 10, 15, 15] stored bound 0.230136371 | R2_iv 2.468056e-03 (stored 2.468056e-03) mu 0.017198307 s_req 0.249666364 smin0-s_req 1.374e-04 | pivots>0: E1 True (min 1.71e-11) smin True (min 1.08e-03) | PASS  2.2s
rank  1907 box  23953 L=[2, 2, 2, 1] K=[16, 5, 12, 11] stored bound 0.230136375 | R2_iv 3.500193e-03 (stored 3.500193e-03) mu 0.021025760 s_req 0.254525953 smin0-s_req 1.374e-04 | pivots>0: E1 True (min 2.42e-11) smin True (min 9.80e-04) | PASS  2.2s
rank  1908 box   8642 L=[2, 1, 1, 1] K=[8, 7, 4, 6] stored bound 0.230136427 | R2_iv 7.520476e-03 (stored 7.520476e-03) mu 0.028897428 s_req 0.266417905 smin0-s_req 1.374e-04 | pivots>0: E1 True (min 3.50e-11) smin True (min 1.43e-03) | PASS  2.2s
rank  1909 box  38155 L=[3, 2, 2, 2] K=[42, 0, 15, 14] stored bound 0.230136455 | R2_iv 1.803091e-03 (stored 1.803091e-03) mu 0.014328032 s_req 0.246131123 smin0-s_req 1.375e-04 | pivots>0: E1 True (min 9.06e-12) smin True (min 9.69e-04) | PASS  2.2s
rank  1910 box  20137 L=[2, 2, 2, 1] K=[5, 11, 14, 6] stored bound 0.230136501 | R2_iv 3.511448e-03 (stored 3.511448e-03) mu 0.021395441 s_req 0.254906888 smin0-s_req 1.375e-04 | pivots>0: E1 True (min 4.51e-11) smin True (min 1.18e-03) | PASS  2.2s
rank  1911 box  52848 L=[3, 3, 3, 3] K=[25, 2, 31, 31] stored bound 0.230136550 | R2_iv 6.011916e-04 (stored 6.011916e-04) mu 0.008591815 s_req 0.239193006 smin0-s_req 1.375e-04 | pivots>0: E1 True (min 3.56e-12) smin True (min 7.40e-04) | PASS  2.2s
rank  1912 box  53686 L=[3, 3, 3, 3] K=[28, 1, 26, 28] stored bound 0.230136568 | R2_iv 6.012982e-04 (stored 6.012982e-04) mu 0.008603971 s_req 0.239205269 smin0-s_req 1.376e-04 | pivots>0: E1 True (min 3.54e-12) smin True (min 7.59e-04) | PASS  2.2s
rank  1913 box  11522 L=[2, 1, 1, 1] K=[25, 6, 6, 6] stored bound 0.230136595 | R2_iv 7.731351e-03 (stored 7.731351e-03) mu 0.029804816 s_req 0.267536167 smin0-s_req 1.376e-04 | pivots>0: E1 True (min 3.57e-11) smin True (min 1.43e-03) | PASS  2.2s
rank  1914 box  49866 L=[3, 3, 3, 2] K=[26, 10, 26, 14] stored bound 0.230136681 | R2_iv 8.513621e-04 (stored 8.513621e-04) mu 0.010602862 s_req 0.241454224 smin0-s_req 1.377e-04 | pivots>0: E1 True (min 7.72e-12) smin True (min 8.98e-04) | PASS  2.2s
rank  1915 box  47432 L=[3, 3, 3, 2] K=[31, 1, 23, 12] stored bound 0.230136701 | R2_iv 8.557208e-04 (stored 8.557208e-04) mu 0.010668093 s_req 0.241523814 smin0-s_req 1.377e-04 | pivots>0: E1 True (min 7.34e-12) smin True (min 8.08e-04) | PASS  2.2s
rank  1916 box  62676 L=[4, 3, 3, 3] K=[63, 1, 28, 32] stored bound 0.230136722 | R2_iv 4.395575e-04 (stored 4.395575e-04) mu 0.007186193 s_req 0.237625751 smin0-s_req 1.377e-04 | pivots>0: E1 True (min 2.01e-12) smin True (min 7.90e-04) | PASS  2.2s
rank  1917 box  61032 L=[4, 3, 3, 3] K=[58, 1, 29, 30] stored bound 0.230137016 | R2_iv 4.395601e-04 (stored 4.395601e-04) mu 0.007193325 s_req 0.237632885 smin0-s_req 1.380e-04 | pivots>0: E1 True (min 1.89e-12) smin True (min 7.60e-04) | PASS  2.2s
rank  1918 box  42053 L=[3, 3, 2, 2] K=[25, 2, 15, 20] stored bound 0.230137152 | R2_iv 1.150551e-03 (stored 1.150551e-03) mu 0.011880955 s_req 0.243031506 smin0-s_req 1.382e-04 | pivots>0: E1 True (min 1.20e-12) smin True (min 7.41e-04) | PASS  2.2s
rank  1919 box  49763 L=[3, 3, 2, 3] K=[26, 9, 15, 26] stored bound 0.230137153 | R2_iv 8.518745e-04 (stored 8.518745e-04) mu 0.009929762 s_req 0.240781637 smin0-s_req 1.382e-04 | pivots>0: E1 True (min 4.21e-13) smin True (min 8.67e-04) | PASS  2.2s
rank  1920 box  42160 L=[3, 3, 2, 2] K=[26, 6, 14, 20] stored bound 0.230137188 | R2_iv 1.145601e-03 (stored 1.145601e-03) mu 0.011824027 s_req 0.242969628 smin0-s_req 1.382e-04 | pivots>0: E1 True (min 1.10e-12) smin True (min 8.20e-04) | PASS  2.2s
rank  1921 box  61303 L=[4, 3, 3, 3] K=[63, 3, 30, 30] stored bound 0.230137231 | R2_iv 4.389423e-04 (stored 4.389423e-04) mu 0.007174245 s_req 0.237613188 smin0-s_req 1.382e-04 | pivots>0: E1 True (min 2.00e-12) smin True (min 8.20e-04) | PASS  2.2s
rank  1922 box  37469 L=[3, 2, 2, 2] K=[36, 0, 15, 22] stored bound 0.230137305 | R2_iv 1.797190e-03 (stored 1.797190e-03) mu 0.014397575 s_req 0.246194765 smin0-s_req 1.383e-04 | pivots>0: E1 True (min 8.38e-12) smin True (min 8.41e-04) | PASS  2.2s
rank  1923 box  54903 L=[3, 3, 3, 3] K=[25, 6, 29, 32] stored bound 0.230137345 | R2_iv 5.998504e-04 (stored 5.998504e-04) mu 0.008579809 s_req 0.239179660 smin0-s_req 1.383e-04 | pivots>0: E1 True (min 3.70e-12) smin True (min 8.16e-04) | PASS  2.2s
rank  1924 box  58600 L=[3, 3, 3, 3] K=[36, 0, 31, 28] stored bound 0.230137412 | R2_iv 6.021000e-04 (stored 6.021000e-04) mu 0.008595189 s_req 0.239197289 smin0-s_req 1.384e-04 | pivots>0: E1 True (min 3.84e-12) smin True (min 8.41e-04) | PASS  2.2s
rank  1925 box  42978 L=[3, 3, 2, 2] K=[25, 8, 12, 12] stored bound 0.230137558 | R2_iv 1.144272e-03 (stored 1.144272e-03) mu 0.011807679 s_req 0.242951951 smin0-s_req 1.386e-04 | pivots>0: E1 True (min 1.13e-12) smin True (min 8.67e-04) | PASS  2.2s
rank  1926 box  53544 L=[3, 3, 3, 3] K=[30, 3, 27, 26] stored bound 0.230137704 | R2_iv 6.005512e-04 (stored 6.005512e-04) mu 0.008592326 s_req 0.239192877 smin0-s_req 1.387e-04 | pivots>0: E1 True (min 3.71e-12) smin True (min 8.14e-04) | PASS  2.2s
rank  1927 box  48601 L=[3, 3, 2, 3] K=[24, 5, 15, 26] stored bound 0.230137704 | R2_iv 8.534678e-04 (stored 8.534678e-04) mu 0.009947708 s_req 0.240801176 smin0-s_req 1.387e-04 | pivots>0: E1 True (min 4.17e-13) smin True (min 7.90e-04) | PASS  2.2s
rank  1928 box  26098 L=[2, 2, 2, 2] K=[10, 4, 11, 10] stored bound 0.230137921 | R2_iv 2.464191e-03 (stored 2.464191e-03) mu 0.017141449 s_req 0.249605640 smin0-s_req 1.389e-04 | pivots>0: E1 True (min 1.39e-11) smin True (min 8.64e-04) | PASS  2.2s
rank  1929 box  37263 L=[3, 2, 2, 2] K=[39, 1, 14, 19] stored bound 0.230138000 | R2_iv 1.797879e-03 (stored 1.797879e-03) mu 0.014325756 s_req 0.246123635 smin0-s_req 1.390e-04 | pivots>0: E1 True (min 7.82e-12) smin True (min 9.48e-04) | PASS  2.2s
rank  1930 box  59331 L=[3, 3, 3, 3] K=[32, 5, 28, 32] stored bound 0.230138085 | R2_iv 6.002247e-04 (stored 6.002247e-04) mu 0.008563508 s_req 0.239163732 smin0-s_req 1.391e-04 | pivots>0: E1 True (min 3.50e-12) smin True (min 8.74e-04) | PASS  2.2s
rank  1931 box  41618 L=[3, 3, 2, 2] K=[25, 6, 13, 11] stored bound 0.230138215 | R2_iv 1.145796e-03 (stored 1.145796e-03) mu 0.011827911 s_req 0.242973707 smin0-s_req 1.392e-04 | pivots>0: E1 True (min 1.14e-12) smin True (min 8.22e-04) | PASS  2.2s
rank  1932 box  57537 L=[3, 3, 3, 3] K=[32, 3, 27, 27] stored bound 0.230138218 | R2_iv 6.006748e-04 (stored 6.006748e-04) mu 0.008585586 s_req 0.239186261 smin0-s_req 1.392e-04 | pivots>0: E1 True (min 3.72e-12) smin True (min 8.43e-04) | PASS  2.2s
rank  1933 box  43074 L=[3, 3, 2, 2] K=[24, 13, 15, 13] stored bound 0.230138276 | R2_iv 1.142922e-03 (stored 1.142922e-03) mu 0.011788108 s_req 0.242931031 smin0-s_req 1.393e-04 | pivots>0: E1 True (min 1.09e-12) smin True (min 9.31e-04) | PASS  2.2s
rank  1934 box  26352 L=[2, 2, 2, 2] K=[11, 4, 9, 18] stored bound 0.230138327 | R2_iv 2.462963e-03 (stored 2.462963e-03) mu 0.017161955 s_req 0.249624918 smin0-s_req 1.393e-04 | pivots>0: E1 True (min 1.36e-11) smin True (min 9.41e-04) | PASS  2.2s
rank  1935 box  64352 L=[4, 3, 3, 3] K=[65, 1, 29, 33] stored bound 0.230138408 | R2_iv 4.396055e-04 (stored 4.396055e-04) mu 0.007186837 s_req 0.237626442 smin0-s_req 1.394e-04 | pivots>0: E1 True (min 2.04e-12) smin True (min 8.09e-04) | PASS  2.2s
rank  1936 box  61568 L=[4, 3, 3, 3] K=[58, 4, 31, 30] stored bound 0.230138661 | R2_iv 4.385904e-04 (stored 4.385904e-04) mu 0.007173830 s_req 0.237612420 smin0-s_req 1.397e-04 | pivots>0: E1 True (min 1.92e-12) smin True (min 8.17e-04) | PASS  2.2s
rank  1937 box  14021 L=[2, 2, 1, 1] K=[9, 4, 3, 5] stored bound 0.230138702 | R2_iv 4.704321e-03 (stored 4.704321e-03) mu 0.023670880 s_req 0.258375202 smin0-s_req 1.397e-04 | pivots>0: E1 True (min 4.14e-12) smin True (min 9.66e-04) | PASS  2.2s
rank  1938 box  47452 L=[3, 3, 3, 2] K=[30, 2, 22, 13] stored bound 0.230138713 | R2_iv 8.550102e-04 (stored 8.550102e-04) mu 0.010657943 s_req 0.241512953 smin0-s_req 1.397e-04 | pivots>0: E1 True (min 7.16e-12) smin True (min 8.36e-04) | PASS  2.2s
rank  1939 box  34225 L=[3, 2, 2, 2] K=[29, 0, 8, 14] stored bound 0.230138779 | R2_iv 1.795436e-03 (stored 1.795436e-03) mu 0.014403493 s_req 0.246198930 smin0-s_req 1.398e-04 | pivots>0: E1 True (min 6.80e-12) smin True (min 8.57e-04) | PASS  2.2s
rank  1940 box  55817 L=[3, 3, 3, 3] K=[30, 7, 29, 32] stored bound 0.230138780 | R2_iv 5.996931e-04 (stored 5.996931e-04) mu 0.008559873 s_req 0.239159566 smin0-s_req 1.398e-04 | pivots>0: E1 True (min 3.50e-12) smin True (min 8.84e-04) | PASS  2.2s
rank  1941 box  49714 L=[3, 3, 2, 3] K=[24, 8, 14, 27] stored bound 0.230138839 | R2_iv 8.521938e-04 (stored 8.521938e-04) mu 0.009934454 s_req 0.240786648 smin0-s_req 1.398e-04 | pivots>0: E1 True (min 4.24e-13) smin True (min 8.53e-04) | PASS  2.2s
rank  1942 box  48936 L=[3, 3, 2, 3] K=[24, 3, 15, 36] stored bound 0.230138988 | R2_iv 8.546670e-04 (stored 8.546670e-04) mu 0.009957024 s_req 0.240811691 smin0-s_req 1.400e-04 | pivots>0: E1 True (min 3.98e-13) smin True (min 7.64e-04) | PASS  2.2s
rank  1943 box  18016 L=[2, 2, 1, 1] K=[18, 8, 7, 10] stored bound 0.230138994 | R2_iv 4.731327e-03 (stored 4.731327e-03) mu 0.023470088 s_req 0.258201415 smin0-s_req 1.400e-04 | pivots>0: E1 True (min 3.45e-12) smin True (min 1.09e-03) | PASS  2.2s
rank  1944 box   7939 L=[2, 1, 1, 1] K=[11, 1, 5, 14] stored bound 0.230139086 | R2_iv 7.462196e-03 (stored 7.462196e-03) mu 0.028566754 s_req 0.266028951 smin0-s_req 1.401e-04 | pivots>0: E1 True (min 2.52e-11) smin True (min 7.99e-04) | PASS  2.2s
rank  1945 box  53585 L=[3, 3, 3, 3] K=[28, 1, 28, 26] stored bound 0.230139130 | R2_iv 6.012982e-04 (stored 6.012982e-04) mu 0.008607204 s_req 0.239208503 smin0-s_req 1.401e-04 | pivots>0: E1 True (min 3.65e-12) smin True (min 7.64e-04) | PASS  2.2s
rank  1946 box  22207 L=[2, 2, 1, 2] K=[13, 1, 7, 5] stored bound 0.230139145 | R2_iv 3.508635e-03 (stored 3.508635e-03) mu 0.019974420 s_req 0.253483055 smin0-s_req 1.401e-04 | pivots>0: E1 True (min 1.88e-12) smin True (min 7.51e-04) | PASS  2.2s
rank  1947 box  15776 L=[2, 2, 1, 1] K=[12, 4, 2, 5] stored bound 0.230139332 | R2_iv 4.693186e-03 (stored 4.693186e-03) mu 0.023613469 s_req 0.258306655 smin0-s_req 1.403e-04 | pivots>0: E1 True (min 4.29e-12) smin True (min 1.10e-03) | PASS  2.1s
rank  1948 box  62740 L=[4, 3, 3, 3] K=[61, 3, 29, 32] stored bound 0.230139370 | R2_iv 4.388941e-04 (stored 4.388941e-04) mu 0.007174399 s_req 0.237613293 smin0-s_req 1.404e-04 | pivots>0: E1 True (min 1.95e-12) smin True (min 8.23e-04) | PASS  2.1s
rank  1949 box  23496 L=[2, 2, 2, 1] K=[17, 3, 9, 10] stored bound 0.230139402 | R2_iv 3.502697e-03 (stored 3.502697e-03) mu 0.021125145 s_req 0.254627842 smin0-s_req 1.404e-04 | pivots>0: E1 True (min 2.36e-11) smin True (min 1.07e-03) | PASS  2.1s
SUMMARY: 650 of 650 boxes PASS; smallest (stored smin0 - s_req) = 9.506e-05; 1397 s
