maxitime ccdid mode hotnum discard update reject replace 534993855.2 0 1 1 0 201344 5583 38833 0.000061 534993855.2 1 1 0 0 190804 2489 52467 0.000000 534993856.2 2 1 0 0 183966 2079 59715 0.000000 534993856.2 3 1 1 0 194688 3658 47414 0.000061 534993856.2 4 1 3 0 194946 3691 47123 0.000183 534993857.2 5 1 1 0 205301 2758 37701 0.000061 534993857.2 6 1 0 0 203233 2448 40079 0.000000 534993858.2 7 1 0 0 219362 4561 21837 0.000000 534993858.2 8 1 0 0 218537 4466 22757 0.000000 534993858.2 9 1 19 0 210289 2199 33272 0.001160 534993859.2 10 1 0 0 200355 3286 42119 0.000000 534993859.2 11 1 0 0 182011 2925 60824 0.000000 534993859.2 12 1 2 0 193109 3048 49603 0.000122 534993860.2 13 1 0 0 205352 3556 36852 0.000000 534993860.2 14 1 0 0 207520 1990 36250 0.000000 534993861.2 15 1 0 0 222045 2410 21305 0.000000 534999419.2 0 1 1 0 201267 5795 38698 0.000061 534999419.2 1 1 0 0 191167 2628 51965 0.000000 534999420.2 2 1 0 0 183612 2096 60052 0.000000 534999420.2 3 1 1 0 194362 3610 47788 0.000061 534999420.2 4 1 2 0 196436 2949 46375 0.000122 534999421.2 5 1 1 0 206219 2191 37350 0.000061 534999421.2 6 1 0 0 203734 2086 39940 0.000000 534999422.2 7 1 0 0 219904 4223 21633 0.000000 534999422.2 8 1 0 0 221551 3113 21096 0.000000 534999422.2 9 1 19 0 199503 1537 44720 0.001160 534999423.2 10 1 0 0 203340 3309 39111 0.000000 534999423.2 11 1 0 0 194039 2677 49044 0.000000 534999423.2 12 1 2 0 194150 2776 48834 0.000122 534999424.2 13 1 0 0 207275 2578 35907 0.000000 534999424.2 14 1 0 0 208119 2082 35559 0.000000 534999425.2 15 1 0 0 223412 2281 20067 0.000000 535004980.2 0 1 1 0 203787 3792 38181 0.000061 535004980.2 1 1 0 0 192800 1371 51589 0.000000 535004981.2 2 1 0 0 184239 1880 59641 0.000000 535004981.2 3 1 1 0 196795 2329 46636 0.000061 535004981.2 4 1 1 0 197323 2341 46096 0.000061 535004982.2 5 1 1 0 206904 1945 36911 0.000061 535004982.2 6 1 0 0 204226 2433 39101 0.000000 535004983.2 7 1 0 0 221491 4384 19885 0.000000 535004983.2 8 1 0 0 223813 1769 20178 0.000000 535004983.2 9 1 18 0 210619 1975 33166 0.001099 535004984.2 10 1 0 0 205719 3587 36454 0.000000 535004984.2 11 1 0 0 196186 2103 47471 0.000000 535004984.2 12 1 2 0 185856 1831 58073 0.000122 535004985.2 13 1 0 0 208973 2614 34173 0.000000 535004985.2 14 1 0 0 209797 1423 34540 0.000000 535004986.2 15 1 0 0 224058 1353 20349 0.000000 535010545.2 0 1 1 0 204680 4117 36963 0.000061 535010545.2 1 1 0 0 193521 1279 50960 0.000000 535010546.2 2 1 0 0 185669 1429 58662 0.000000 535010546.2 3 1 1 0 197631 1954 46175 0.000061 535010546.2 4 1 2 0 198137 2171 45452 0.000122 535010547.2 5 1 1 0 208042 1572 36146 0.000061 535010547.2 6 1 0 0 206338 1333 38089 0.000000 535010548.2 7 1 0 0 224058 2079 19623 0.000000 535010548.2 8 1 0 0 219964 1522 24274 0.000000 535010548.2 9 1 19 0 212256 1624 31880 0.001160 535010549.2 10 1 0 0 206825 2893 36042 0.000000 535010549.2 11 1 0 0 196132 2692 46936 0.000000 535010549.2 12 1 2 0 197249 1692 46819 0.000122 535010550.2 13 1 0 0 210286 1950 33524 0.000000 535010550.2 14 1 0 0 209998 1018 34744 0.000000 535010551.2 15 1 0 0 226092 1208 18460 0.000000 535016100.2 0 1 1 0 204203 3735 37822 0.000061 535016100.2 1 1 0 0 193799 1280 50681 0.000000 535016101.2 2 1 0 0 185379 1128 59253 0.000000 535016101.2 3 1 1 0 197657 2144 45959 0.000061 535016101.2 4 1 2 0 199189 1705 44866 0.000122 535016102.2 5 1 1 0 208406 1296 36058 0.000061 535016102.2 6 1 0 0 198263 1135 46362 0.000000 535016103.2 7 1 0 0 218714 1642 25404 0.000000 535016103.2 8 1 0 0 225561 1587 18612 0.000000 535016103.2 9 1 18 0 212760 1103 31897 0.001099 535016104.2 10 1 0 0 208780 1960 35020 0.000000 535016104.2 11 1 0 0 197685 1503 46572 0.000000 535016104.2 12 1 2 0 198543 1379 45838 0.000122 535016105.2 13 1 0 0 211174 1995 32591 0.000000 535016105.2 14 1 0 0 210356 1012 34392 0.000000 535016106.2 15 1 0 0 226827 1205 17728 0.000000 535021665.2 0 1 1 0 205324 3840 36596 0.000061 535021665.2 1 1 0 0 194334 895 50531 0.000000 535021666.2 2 1 0 0 186283 802 58675 0.000000 535021666.2 3 1 1 0 198432 1548 45780 0.000061 535021666.2 4 1 2 0 199117 1736 44907 0.000122 535021667.2 5 1 1 0 208582 1538 35640 0.000061 535021667.2 6 1 0 0 198386 963 46411 0.000000 535021668.2 7 1 0 0 218394 1493 25873 0.000000 535021668.2 8 1 0 0 226201 1408 18151 0.000000 535021668.2 9 1 18 0 213295 892 31573 0.001099 535021669.2 10 1 0 0 209695 1431 34634 0.000000 535021669.2 11 1 0 0 198241 1285 46234 0.000000 535021669.2 12 1 2 0 198698 704 46358 0.000122 535021670.2 13 1 0 0 211977 1044 32739 0.000000 535021670.2 14 1 0 0 209987 1724 34049 0.000000 535021671.2 15 1 0 0 226277 1108 18375 0.000000 535027229.2 0 1 0 0 204858 4929 35973 0.000000 535027229.2 1 1 0 0 194237 1054 50469 0.000000 535027230.2 2 1 0 0 186228 871 58661 0.000000 535027230.2 3 1 1 0 198813 1421 45526 0.000061 535027230.2 4 1 3 0 198982 1290 45488 0.000183 535027231.2 5 1 1 0 209572 926 35262 0.000061 535027231.2 6 1 1 0 198609 1007 46144 0.000061 535027232.2 7 1 0 0 217405 1358 26997 0.000000 535027232.2 8 1 0 0 225115 1558 19087 0.000000 535027232.2 9 1 19 0 214137 889 30734 0.001160 535027233.2 10 1 0 0 208898 1548 35314 0.000000 535027233.2 11 1 0 0 197960 1166 46634 0.000000 535027233.2 12 1 2 0 197885 1175 46700 0.000122 535027234.2 13 1 0 0 212026 1150 32584 0.000000 535027234.2 14 1 0 0 211538 799 33423 0.000000 535027235.2 15 1 0 0 226759 1041 17960 0.000000 535032785.2 0 1 1 0 205121 4327 36312 0.000061 535032785.2 1 1 0 0 185174 1310 59276 0.000000 535032786.2 2 1 0 0 181011 871 63878 0.000000 535032786.2 3 1 2 0 198615 1404 45741 0.000122 535032786.2 4 1 3 0 199591 1364 44805 0.000183 535032787.2 5 1 1 0 209160 1418 35182 0.000061 535032787.2 6 1 1 0 206116 1508 38136 0.000061 535032788.2 7 1 0 0 225232 1797 18731 0.000000 535032788.2 8 1 0 0 225624 1100 19036 0.000000 535032788.2 9 1 19 0 213482 1183 31095 0.001160 535032789.2 10 1 0 0 208502 1635 35623 0.000000 535032789.2 11 1 0 0 197352 1685 46723 0.000000 535032789.2 12 1 2 0 197983 1430 46347 0.000122 535032790.2 13 1 0 0 212029 1239 32492 0.000000 535032790.2 14 1 0 0 211216 973 33571 0.000000 535032791.2 15 1 0 0 226468 1164 18128 0.000000 535038349.2 0 1 1 0 204710 4898 36152 0.000061 535038349.2 1 1 0 0 194172 1000 50588 0.000000 535038350.2 2 1 0 0 186237 968 58555 0.000000 535038350.2 3 1 1 0 198752 1497 45511 0.000061 535038350.2 4 1 3 0 198488 1818 45454 0.000183 535038351.2 5 1 1 0 209606 1075 35079 0.000061 535038351.2 6 1 0 0 207000 1032 37728 0.000000 535038352.2 7 1 0 0 225004 1607 19149 0.000000 535038352.2 8 1 0 0 225482 1476 18802 0.000000 535038352.2 9 1 19 0 209577 933 35250 0.001160 535038353.2 10 1 0 0 192681 1391 51688 0.000000 535038353.2 11 1 0 0 197048 1353 47359 0.000000 535038353.2 12 1 2 0 198241 1356 46163 0.000122 535038354.2 13 1 0 0 211593 1758 32409 0.000000 535038354.2 14 1 0 0 211445 814 33501 0.000000 535038355.2 15 1 0 0 227028 744 17988 0.000000 535043905.2 0 1 1 0 208310 4144 33306 0.000061 535043905.2 1 1 0 0 180224 1105 64431 0.000000 535043906.2 2 1 0 0 186170 832 58758 0.000000 535043906.2 3 1 1 0 198597 1449 45714 0.000061 535043906.2 4 1 2 0 198718 1691 45351 0.000122 535043907.2 5 1 1 0 208788 1601 35371 0.000061 535043907.2 6 1 0 0 206691 993 38076 0.000000 535043908.2 7 1 0 0 224643 1920 19197 0.000000 535043908.2 8 1 0 0 225685 1433 18642 0.000000 535043908.2 9 1 19 0 213267 1039 31454 0.001160 535043909.2 10 1 0 0 207931 2110 35719 0.000000 535043909.2 11 1 0 0 197255 1788 46717 0.000000 535043909.2 12 1 2 0 198755 1103 45902 0.000122 535043910.2 13 1 0 0 211076 1500 33184 0.000000 535043910.2 14 1 0 0 210798 856 34106 0.000000 535043911.2 15 1 0 0 226744 901 18115 0.000000 535049469.2 0 1 1 0 204553 4871 36336 0.000061 535049469.2 1 1 0 0 193876 1285 50599 0.000000 535049470.2 2 1 0 0 186365 809 58586 0.000000 535049470.2 3 1 1 0 198347 1336 46077 0.000061 535049470.2 4 1 2 0 199040 1518 45202 0.000122 535049471.2 5 1 1 0 209207 979 35574 0.000061 535049471.2 6 1 1 0 206542 1058 38160 0.000061 535049472.2 7 1 0 0 225109 1756 18895 0.000000 535049472.2 8 1 0 0 225884 1182 18694 0.000000 535049472.2 9 1 19 0 213666 966 31128 0.001160 535049473.2 10 1 0 0 208261 2051 35448 0.000000 535049473.2 11 1 0 0 196880 1287 47593 0.000000 535049473.2 12 1 2 0 187493 904 57363 0.000122 535049474.2 13 1 0 0 211886 1037 32837 0.000000 535049474.2 14 1 0 0 211253 983 33524 0.000000 535049475.2 15 1 0 0 226608 1010 18142 0.000000 535055025.2 0 1 1 0 205749 3961 36050 0.000061 535055025.2 1 1 0 0 194103 959 50698 0.000000 535055026.2 2 1 0 0 185906 1185 58669 0.000000 535055026.2 3 1 1 0 197134 1671 46955 0.000061 535055026.2 4 1 2 0 185220 1192 59348 0.000122 535055027.2 5 1 1 0 209041 1303 35416 0.000061 535055027.2 6 1 1 0 206499 1106 38155 0.000061 535055028.2 7 1 0 0 225715 1780 18265 0.000000 535055028.2 8 1 0 0 226109 1258 18393 0.000000 535055028.2 9 1 19 0 213786 883 31091 0.001160 535055029.2 10 1 0 0 210109 982 34669 0.000000 535055029.2 11 1 0 0 197996 1118 46646 0.000000 535055029.2 12 1 2 0 197861 1315 46584 0.000122 535055030.2 13 1 0 0 210832 1419 33509 0.000000 535055030.2 14 1 0 0 211123 826 33811 0.000000 535055031.2 15 1 0 0 226320 1259 18181 0.000000 535060589.2 0 1 1 0 208741 3710 33309 0.000061 535060589.2 1 1 0 0 179762 895 65103 0.000000 535060590.2 2 1 0 0 186518 783 58459 0.000000 535060590.2 3 1 2 0 198538 1484 45738 0.000122 535060590.2 4 1 2 0 199678 1221 44861 0.000122 535060591.2 5 1 1 0 209495 800 35465 0.000061 535060591.2 6 1 1 0 206905 961 37894 0.000061 535060592.2 7 1 0 0 224906 1764 19090 0.000000 535060592.2 8 1 0 0 226157 1433 18170 0.000000 535060592.2 9 1 19 0 213847 1159 30754 0.001160 535060593.2 10 1 0 0 209148 1570 35042 0.000000 535060593.2 11 1 0 0 198051 1321 46388 0.000000 535060593.2 12 1 2 0 198311 1286 46163 0.000122 535060594.2 13 1 0 0 212032 1157 32571 0.000000 535060594.2 14 1 0 0 210898 790 34072 0.000000 535060595.2 15 1 0 0 226471 1348 17941 0.000000 535066150.2 0 1 1 0 204643 3914 37203 0.000061 535066150.2 1 1 0 0 194013 742 51005 0.000000 535066151.2 2 1 0 0 185548 1064 59148 0.000000 535066151.2 3 1 1 0 197383 1552 46825 0.000061 535066151.2 4 1 3 0 185636 1163 58961 0.000183 535066152.2 5 1 1 0 209083 1131 35546 0.000061 535066152.2 6 1 1 0 206165 1270 38325 0.000061 535066153.2 7 1 0 0 224930 2143 18687 0.000000 535066153.2 8 1 0 0 225539 1165 19056 0.000000 535066153.2 9 1 19 0 213619 843 31298 0.001160 535066154.2 10 1 0 0 208039 1940 35781 0.000000 535066154.2 11 1 0 0 197235 1344 47181 0.000000 535066154.2 12 1 2 0 197619 1256 46885 0.000122 535066155.2 13 1 0 0 211176 1514 33070 0.000000 535066155.2 14 1 0 0 210766 1029 33965 0.000000 535066156.2 15 1 0 0 226294 1223 18243 0.000000 535071714.2 0 1 1 0 203421 4259 38080 0.000061 535071714.2 1 1 0 0 193471 1200 51089 0.000000 535071715.2 2 1 0 0 184931 1168 59661 0.000000 535071715.2 3 1 1 0 194557 3493 47710 0.000061 535071715.2 4 1 3 0 184167 1778 59815 0.000183 535071716.2 5 1 1 0 208039 1374 36347 0.000061 535071716.2 6 1 1 0 205685 1613 38462 0.000061 535071717.2 7 1 0 0 223039 2596 20125 0.000000 535071717.2 8 1 0 0 223622 1979 20159 0.000000 535071717.2 9 1 19 0 212040 1632 32088 0.001160 535071718.2 10 1 0 0 207778 2049 35933 0.000000 535071718.2 11 1 0 0 196002 2158 47600 0.000000 535071718.2 12 1 2 0 197371 1927 46462 0.000122 535071719.2 13 1 0 0 209330 2724 33706 0.000000 535071719.2 14 1 0 0 209892 982 34886 0.000000 535071720.2 15 1 0 0 224970 1337 19453 0.000000