maxitime ccdid mode hotnum discard update reject replace 365301957.2 0 1 509 2134 220656 0 25104 0.161316 365301957.2 1 1 509 1692 214692 0 31068 0.134338 365301958.2 2 1 509 10 204160 0 41600 0.031677 365301958.2 3 1 186 0 215891 0 29869 0.011353 365301958.2 4 1 39 0 225501 0 20259 0.002380 365301959.2 5 1 47 0 226497 0 19263 0.002869 365301959.2 6 1 112 0 225888 0 19872 0.006836 365301960.2 7 1 509 261 226874 0 18886 0.046997 365301960.2 8 1 509 4727 228552 0 17208 0.319580 365301960.2 9 1 509 3779 229669 0 16091 0.261719 365301961.2 10 1 509 3193 228134 0 17626 0.225952 365301961.2 11 1 509 1132 225973 0 19787 0.100159 365301961.2 12 1 509 837 226270 0 19490 0.082153 365301962.2 13 1 509 1493 226944 0 18816 0.122192 365301962.2 14 1 509 1707 228644 0 17116 0.135254 365301963.2 15 1 509 943 227481 0 18279 0.088623 365302477.2 0 1 21 0 241451 0 4309 0.001282 365302477.2 1 1 1 0 242277 0 3483 0.000061 365302478.2 2 1 269 0 240964 0 4796 0.016418 365302478.2 3 1 84 0 240947 0 4813 0.005127 365302479.2 4 1 3 0 240677 0 5083 0.000183 365302479.2 5 1 8 0 241997 0 3763 0.000488 365302479.2 6 1 1 0 242464 0 3296 0.000061 365302480.2 7 1 3 0 240516 0 5244 0.000183 365302480.2 8 1 1 0 240991 0 4769 0.000061 365302480.2 9 1 27 0 242704 0 3056 0.001648 365302481.2 10 1 285 0 240034 0 5726 0.017395 365302481.2 11 1 212 0 240024 0 5736 0.012939 365302481.2 12 1 2 0 237881 0 7879 0.000122 365302482.2 13 1 1 0 228939 0 16821 0.000061 365302482.2 14 1 6 0 226296 0 19464 0.000366 365302483.2 15 1 5 0 226388 0 19372 0.000305 365303467.2 0 1 33 0 217949 0 27811 0.002014 365303467.2 1 1 40 0 196425 0 49335 0.002441 365303468.2 2 1 139 0 205950 0 39810 0.008484 365303468.2 3 1 42 0 221848 0 23912 0.002563 365303468.2 4 1 4 0 226157 0 19603 0.000244 365303469.2 5 1 11 0 228287 0 17473 0.000671 365303469.2 6 1 3 0 226758 0 19002 0.000183 365303470.2 7 1 3 0 226165 0 19595 0.000183 365303470.2 8 1 1 0 225357 0 20403 0.000061 365303470.2 9 1 28 0 228008 0 17752 0.001709 365303471.2 10 1 156 0 226393 0 19367 0.009521 365303471.2 11 1 103 0 215727 0 30033 0.006287 365303471.2 12 1 2 0 223034 0 22726 0.000122 365303472.2 13 1 1 0 227014 0 18746 0.000061 365303472.2 14 1 6 0 227907 0 17853 0.000366 365303473.2 15 1 5 0 228179 0 17581 0.000305 365307497.2 0 1 509 2115 219260 0 26500 0.160156 365307497.2 1 1 509 1708 213890 0 31870 0.135315 365307498.2 2 1 503 0 216453 0 29307 0.030701 365307498.2 3 1 153 0 223200 0 22560 0.009338 365307498.2 4 1 63 0 224091 0 21669 0.003845 365307499.2 5 1 47 0 225797 0 19963 0.002869 365307499.2 6 1 114 0 225014 0 20746 0.006958 365307500.2 7 1 509 294 225672 0 20088 0.049011 365307500.2 8 1 509 4744 227999 0 17761 0.320618 365307500.2 9 1 509 3790 229083 0 16677 0.262390 365307501.2 10 1 509 3220 228237 0 17523 0.227600 365307501.2 11 1 509 1154 224766 0 20994 0.101501 365307501.2 12 1 509 894 225951 0 19809 0.085632 365307502.2 13 1 509 1524 227127 0 18633 0.124084 365307502.2 14 1 509 1729 227918 0 17842 0.136597 365307503.2 15 1 509 981 227880 0 17880 0.090942 365308017.2 0 1 16 0 242158 0 3602 0.000977 365308017.2 1 1 0 0 241849 0 3911 0.000000 365308018.2 2 1 252 0 240066 0 5694 0.015381 365308018.2 3 1 65 0 240842 0 4918 0.003967 365308019.2 4 1 3 0 240522 0 5238 0.000183 365308019.2 5 1 6 0 241539 0 4221 0.000366 365308019.2 6 1 0 0 241074 0 4686 0.000000 365308020.2 7 1 3 0 240138 0 5622 0.000183 365308020.2 8 1 0 0 239427 0 6333 0.000000 365308020.2 9 1 27 0 241397 0 4363 0.001648 365308021.2 10 1 271 0 237403 0 8357 0.016541 365308021.2 11 1 172 0 239434 0 6326 0.010498 365308022.2 12 1 2 0 237696 0 8064 0.000122 365308022.2 13 1 1 0 230459 0 15301 0.000061 365308022.2 14 1 6 0 226024 0 19736 0.000366 365308023.2 15 1 5 0 226607 0 19153 0.000305 365309197.2 0 1 17 0 218371 0 27389 0.001038 365309197.2 1 1 42 0 194958 0 50802 0.002563 365309198.2 2 1 86 0 205792 0 39968 0.005249 365309198.2 3 1 35 0 222997 0 22763 0.002136 365309198.2 4 1 3 0 226319 0 19441 0.000183 365309199.2 5 1 9 0 228155 0 17605 0.000549 365309199.2 6 1 1 0 225409 0 20351 0.000061 365309200.2 7 1 3 0 226285 0 19475 0.000183 365309200.2 8 1 0 0 225807 0 19953 0.000000 365309200.2 9 1 27 0 228399 0 17361 0.001648 365309201.2 10 1 114 0 226478 0 19282 0.006958 365309201.2 11 1 45 0 216515 0 29245 0.002747 365309201.2 12 1 2 0 223518 0 22242 0.000122 365309202.2 13 1 1 0 226806 0 18954 0.000061 365309202.2 14 1 6 0 228153 0 17607 0.000366 365309203.2 15 1 5 0 228611 0 17149 0.000305 365313027.2 0 1 509 2201 214020 0 31740 0.165405 365313027.2 1 1 509 1803 202132 0 43628 0.141113 365313028.2 2 1 470 0 215430 0 30330 0.028687 365313028.2 3 1 122 0 222844 0 22916 0.007446 365313028.2 4 1 42 0 223928 0 21832 0.002563 365313029.2 5 1 46 0 224701 0 21059 0.002808 365313029.2 6 1 112 0 224216 0 21544 0.006836 365313030.2 7 1 509 296 225365 0 20395 0.049133 365313030.2 8 1 509 4789 227507 0 18253 0.323364 365313030.2 9 1 509 3821 228337 0 17423 0.264282 365313031.2 10 1 509 3155 226424 0 19336 0.223633 365313031.2 11 1 509 1096 223378 0 22382 0.097961 365313031.2 12 1 509 848 224469 0 21291 0.082825 365313032.2 13 1 509 1502 224098 0 21662 0.122742 365313032.2 14 1 509 1702 227305 0 18455 0.134949 365313033.2 15 1 509 945 226445 0 19315 0.088745 365313557.2 0 1 11 0 241027 0 4733 0.000671 365313557.2 1 1 0 0 241269 0 4491 0.000000 365313558.2 2 1 77 0 239318 0 6442 0.004700 365313558.2 3 1 31 0 238480 0 7280 0.001892 365313558.2 4 1 3 0 239148 0 6612 0.000183 365313559.2 5 1 3 0 240528 0 5232 0.000183 365313559.2 6 1 0 0 240718 0 5042 0.000000 365313560.2 7 1 3 0 238167 0 7593 0.000183 365313560.2 8 1 0 0 237480 0 8280 0.000000 365313560.2 9 1 27 0 233413 0 12347 0.001648 365313561.2 10 1 148 0 231557 0 14203 0.009033 365313561.2 11 1 43 0 234738 0 11022 0.002625 365313561.2 12 1 2 0 235317 0 10443 0.000122 365313562.2 13 1 1 0 235396 0 10364 0.000061 365313562.2 14 1 6 0 229935 0 15825 0.000366 365313563.2 15 1 4 0 237177 0 8583 0.000244 365318567.2 0 1 509 2190 219310 0 26450 0.164734 365318567.2 1 1 509 1788 201302 0 44458 0.140198 365318568.2 2 1 419 0 214242 0 31518 0.025574 365318568.2 3 1 110 0 221375 0 24385 0.006714 365318568.2 4 1 47 0 222824 0 22936 0.002869 365318569.2 5 1 50 0 223878 0 21882 0.003052 365318569.2 6 1 119 0 223274 0 22486 0.007263 365318570.2 7 1 509 341 224279 0 21481 0.051880 365318570.2 8 1 509 4809 226763 0 18997 0.324585 365318570.2 9 1 509 3824 227389 0 18371 0.264465 365318571.2 10 1 509 3156 225449 0 20311 0.223694 365318571.2 11 1 509 1102 222216 0 23544 0.098328 365318571.2 12 1 509 899 223558 0 22202 0.085938 365318572.2 13 1 509 1530 223366 0 22394 0.124451 365318572.2 14 1 509 1730 226190 0 19570 0.136658 365318573.2 15 1 509 1003 225757 0 20003 0.092285 365319097.2 0 1 16 0 214291 0 31469 0.000977 365319097.2 1 1 2 0 172502 0 73258 0.000122 365319098.2 2 1 81 0 188091 0 57669 0.004944 365319098.2 3 1 25 0 211387 0 34373 0.001526 365319098.2 4 1 3 0 221644 0 24116 0.000183 365319099.2 5 1 5 0 224264 0 21496 0.000305 365319099.2 6 1 0 0 219203 0 26557 0.000000 365319100.2 7 1 3 0 222567 0 23193 0.000183 365319100.2 8 1 0 0 220866 0 24894 0.000000 365319100.2 9 1 26 0 224164 0 21596 0.001587 365319101.2 10 1 58 0 220236 0 25524 0.003540 365319101.2 11 1 12 0 209148 0 36612 0.000732 365319101.2 12 1 2 0 216535 0 29225 0.000122 365319102.2 13 1 1 0 220644 0 25116 0.000061 365319102.2 14 1 6 0 224730 0 21030 0.000366 365319103.2 15 1 5 0 224771 0 20989 0.000305 365324677.2 0 1 16 0 212089 0 33671 0.000977 365324677.2 1 1 0 0 194051 0 51709 0.000000 365324678.2 2 1 5 0 195397 0 50363 0.000305 365324678.2 3 1 14 0 208864 0 36896 0.000854 365324678.2 4 1 3 0 220285 0 25475 0.000183 365324679.2 5 1 8 0 205802 0 39958 0.000488 365324679.2 6 1 38 0 202424 0 43336 0.002319 365324680.2 7 1 3 0 221028 0 24732 0.000183 365324680.2 8 1 0 0 218980 0 26780 0.000000 365324680.2 9 1 27 0 223037 0 22723 0.001648 365324681.2 10 1 31 0 218931 0 26829 0.001892 365324681.2 11 1 11 0 207483 0 38277 0.000671 365324681.2 12 1 2 0 213950 0 31810 0.000122 365324682.2 13 1 1 0 220191 0 25569 0.000061 365324682.2 14 1 6 0 223801 0 21959 0.000366 365324683.2 15 1 5 0 224589 0 21171 0.000305 365330297.2 0 1 15 0 211382 0 34378 0.000916 365330297.2 1 1 0 0 195397 0 50363 0.000000 365330298.2 2 1 4 0 194381 0 51379 0.000244 365330298.2 3 1 10 0 207753 0 38007 0.000610 365330298.2 4 1 3 0 219633 0 26127 0.000183 365330299.2 5 1 5 0 222610 0 23150 0.000305 365330299.2 6 1 0 0 215401 0 30359 0.000000 365330300.2 7 1 4 0 221098 0 24662 0.000244 365330300.2 8 1 0 0 220050 0 25710 0.000000 365330300.2 9 1 26 0 208063 0 37697 0.001587 365330301.2 10 1 26 0 204431 0 41329 0.001587 365330301.2 11 1 8 0 208519 0 37241 0.000488 365330301.2 12 1 2 0 214652 0 31108 0.000122 365330302.2 13 1 1 0 218317 0 27443 0.000061 365330302.2 14 1 6 0 222536 0 23224 0.000366 365330303.2 15 1 4 0 224212 0 21548 0.000244 365336017.2 0 1 29 0 214513 0 31247 0.001770 365336017.2 1 1 32 0 193504 0 52256 0.001953 365336018.2 2 1 3 0 197211 0 48549 0.000183 365336018.2 3 1 10 0 210167 0 35593 0.000610 365336018.2 4 1 3 0 221341 0 24419 0.000183 365336019.2 5 1 9 0 224580 0 21180 0.000549 365336019.2 6 1 1 0 219279 0 26481 0.000061 365336020.2 7 1 3 0 222012 0 23748 0.000183 365336020.2 8 1 1 0 222281 0 23479 0.000061 365336020.2 9 1 27 0 224813 0 20947 0.001648 365336021.2 10 1 17 0 219621 0 26139 0.001038 365336021.2 11 1 10 0 210959 0 34801 0.000610 365336021.2 12 1 2 0 216997 0 28763 0.000122 365336022.2 13 1 1 0 221753 0 24007 0.000061 365336022.2 14 1 6 0 225226 0 20534 0.000366 365336023.2 15 1 5 0 224333 0 21427 0.000305 365341547.2 0 1 34 0 213177 0 32583 0.002075 365341547.2 1 1 1 0 197587 0 48173 0.000061 365341548.2 2 1 3 0 197521 0 48239 0.000183 365341548.2 3 1 10 0 210219 0 35541 0.000610 365341548.2 4 1 4 0 220095 0 25665 0.000244 365341549.2 5 1 11 0 224323 0 21437 0.000671 365341549.2 6 1 3 0 219255 0 26505 0.000183 365341550.2 7 1 3 0 219996 0 25764 0.000183 365341550.2 8 1 1 0 219595 0 26165 0.000061 365341550.2 9 1 130 0 212275 0 33485 0.007935 365341551.2 10 1 14 0 219607 0 26153 0.000854 365341551.2 11 1 10 0 209238 0 36522 0.000610 365341551.2 12 1 3 0 214651 0 31109 0.000183 365341552.2 13 1 1 0 220659 0 25101 0.000061 365341552.2 14 1 6 0 224586 0 21174 0.000366 365341553.2 15 1 5 0 224523 0 21237 0.000305 365347077.2 0 1 15 0 211488 0 34272 0.000916 365347077.2 1 1 0 0 194519 0 51241 0.000000 365347078.2 2 1 3 0 195354 0 50406 0.000183 365347078.2 3 1 9 0 202639 0 43121 0.000549 365347078.2 4 1 3 0 209117 0 36643 0.000183 365347079.2 5 1 7 0 223745 0 22015 0.000427 365347079.2 6 1 0 0 215684 0 30076 0.000000 365347080.2 7 1 3 0 220433 0 25327 0.000183 365347080.2 8 1 0 0 220832 0 24928 0.000000 365347080.2 9 1 26 0 223541 0 22219 0.001587 365347081.2 10 1 9 0 219578 0 26182 0.000549 365347081.2 11 1 6 0 207359 0 38401 0.000366 365347081.2 12 1 2 0 214983 0 30777 0.000122 365347082.2 13 1 1 0 218862 0 26898 0.000061 365347082.2 14 1 6 0 223650 0 22110 0.000366 365347083.2 15 1 5 0 223906 0 21854 0.000305 365352617.2 0 1 16 0 212243 0 33517 0.000977 365352617.2 1 1 0 0 194233 0 51527 0.000000 365352618.2 2 1 3 0 196241 0 49519 0.000183 365352618.2 3 1 9 0 202926 0 42834 0.000549 365352618.2 4 1 4 0 209433 0 36327 0.000244 365352619.2 5 1 6 0 224153 0 21607 0.000366 365352619.2 6 1 0 0 217053 0 28707 0.000000 365352620.2 7 1 3 0 221179 0 24581 0.000183 365352620.2 8 1 0 0 221072 0 24688 0.000000 365352620.2 9 1 26 0 223726 0 22034 0.001587 365352621.2 10 1 7 0 216905 0 28855 0.000427 365352621.2 11 1 7 0 208305 0 37455 0.000427 365352621.2 12 1 2 0 214447 0 31313 0.000122 365352622.2 13 1 1 0 219559 0 26201 0.000061 365352622.2 14 1 6 0 223850 0 21910 0.000366 365352623.2 15 1 5 0 224316 0 21444 0.000305 365357867.2 0 1 12 0 211013 0 34747 0.000732 365357867.2 1 1 0 0 192624 0 53136 0.000000 365357868.2 2 1 3 0 194838 0 50922 0.000183 365357868.2 3 1 9 0 202016 0 43744 0.000549 365357868.2 4 1 4 0 207272 0 38488 0.000244 365357869.2 5 1 4 0 222479 0 23281 0.000244 365357869.2 6 1 0 0 214967 0 30793 0.000000 365357870.2 7 1 3 0 221172 0 24588 0.000183 365357870.2 8 1 0 0 219681 0 26079 0.000000 365357870.2 9 1 25 0 223071 0 22689 0.001526 365357871.2 10 1 14 0 217283 0 28477 0.000854 365357871.2 11 1 6 0 207552 0 38208 0.000366 365357871.2 12 1 2 0 214898 0 30862 0.000122 365357872.2 13 1 1 0 218843 0 26917 0.000061 365357872.2 14 1 6 0 224232 0 21528 0.000366 365357873.2 15 1 4 0 224256 0 21504 0.000244 365363767.2 0 1 19 0 213942 0 31818 0.001160 365363767.2 1 1 0 0 196859 0 48901 0.000000 365363768.2 2 1 3 0 197241 0 48519 0.000183 365363768.2 3 1 8 0 210542 0 35218 0.000488 365363768.2 4 1 3 0 222678 0 23082 0.000183 365363769.2 5 1 11 0 207624 0 38136 0.000671 365363769.2 6 1 14 0 205878 0 39882 0.000854 365363770.2 7 1 3 0 222995 0 22765 0.000183 365363770.2 8 1 0 0 224148 0 21612 0.000000 365363770.2 9 1 26 0 225507 0 20253 0.001587 365363771.2 10 1 6 0 221020 0 24740 0.000366 365363771.2 11 1 8 0 210287 0 35473 0.000488 365363771.2 12 1 2 0 217750 0 28010 0.000122 365363772.2 13 1 1 0 222928 0 22832 0.000061 365363772.2 14 1 6 0 225268 0 20492 0.000366 365363773.2 15 1 5 0 225177 0 20583 0.000305 365369497.2 0 1 28 0 215209 0 30551 0.001709 365369497.2 1 1 0 0 199668 0 46092 0.000000 365369498.2 2 1 3 0 198469 0 47291 0.000183 365369498.2 3 1 10 0 214369 0 31391 0.000610 365369498.2 4 1 3 0 224576 0 21184 0.000183 365369499.2 5 1 9 0 226042 0 19718 0.000549 365369499.2 6 1 2 0 221329 0 24431 0.000122 365369500.2 7 1 3 0 225157 0 20603 0.000183 365369500.2 8 1 0 0 225138 0 20622 0.000000 365369500.2 9 1 27 0 227301 0 18459 0.001648 365369501.2 10 1 7 0 221635 0 24125 0.000427 365369501.2 11 1 12 0 198987 0 46773 0.000732 365369501.2 12 1 2 0 220483 0 25277 0.000122 365369502.2 13 1 1 0 224436 0 21324 0.000061 365369502.2 14 1 6 0 227072 0 18688 0.000366 365369503.2 15 1 6 0 227102 0 18658 0.000366 365375147.2 0 1 32 0 216129 0 29631 0.001953 365375147.2 1 1 1 0 201588 0 44172 0.000061 365375148.2 2 1 3 0 199965 0 45795 0.000183 365375148.2 3 1 9 0 215310 0 30450 0.000549 365375148.2 4 1 4 0 225230 0 20530 0.000244 365375149.2 5 1 12 0 227274 0 18486 0.000732 365375149.2 6 1 3 0 193855 0 51905 0.000183 365375150.2 7 1 5 0 214504 0 31256 0.000305 365375150.2 8 1 1 0 225827 0 19933 0.000061 365375150.2 9 1 28 0 227815 0 17945 0.001709 365375151.2 10 1 8 0 224752 0 21008 0.000488 365375151.2 11 1 10 0 214450 0 31310 0.000610 365375151.2 12 1 2 0 220894 0 24866 0.000122 365375152.2 13 1 1 0 226043 0 19717 0.000061 365375152.2 14 1 6 0 226912 0 18848 0.000366 365375153.2 15 1 6 0 227428 0 18332 0.000366 365379487.2 0 1 509 2298 221768 0 23992 0.171326 365379487.2 1 1 509 1877 215621 0 30139 0.145630 365379488.2 2 1 439 0 218851 0 26909 0.026794 365379488.2 3 1 137 0 225649 0 20111 0.008362 365379488.2 4 1 143 0 227222 0 18538 0.008728 365379489.2 5 1 76 0 227238 0 18522 0.004639 365379489.2 6 1 152 0 225738 0 20022 0.009277 365379490.2 7 1 509 452 224028 0 21732 0.058655 365379490.2 8 1 509 4941 229829 0 15931 0.332642 365379490.2 9 1 509 3974 230632 0 15128 0.273621 365379491.2 10 1 509 3371 230073 0 15687 0.236816 365379491.2 11 1 509 1370 227682 0 18078 0.114685 365379491.2 12 1 509 1218 228053 0 17707 0.105408 365379492.2 13 1 509 1813 226701 0 19059 0.141724 365379492.2 14 1 509 1907 228240 0 17520 0.147461 365379493.2 15 1 509 1321 225677 0 20083 0.111694 365380737.2 0 1 31 0 217860 0 27900 0.001892 365380737.2 1 1 1 0 211933 0 33827 0.000061 365380738.2 2 1 3 0 209371 0 36389 0.000183 365380738.2 3 1 9 0 222586 0 23174 0.000549 365380738.2 4 1 3 0 224866 0 20894 0.000183 365380739.2 5 1 9 0 227280 0 18480 0.000549 365380739.2 6 1 2 0 226822 0 18938 0.000122 365380740.2 7 1 3 0 225789 0 19971 0.000183 365380740.2 8 1 1 0 225342 0 20418 0.000061 365380740.2 9 1 27 0 227766 0 17994 0.001648 365380741.2 10 1 7 0 222461 0 23299 0.000427 365380741.2 11 1 13 0 200636 0 45124 0.000793 365380741.2 12 1 2 0 223072 0 22688 0.000122 365380742.2 13 1 1 0 225999 0 19761 0.000061 365380742.2 14 1 6 0 227409 0 18351 0.000366 365380743.2 15 1 6 0 227330 0 18430 0.000366 365385017.2 0 1 509 2368 220125 0 25635 0.175598 365385017.2 1 1 509 1961 215722 0 30038 0.150757 365385018.2 2 1 462 0 218943 0 26817 0.028198 365385018.2 3 1 134 0 225048 0 20712 0.008179 365385018.2 4 1 133 0 225981 0 19779 0.008118 365385019.2 5 1 75 0 226374 0 19386 0.004578 365385019.2 6 1 148 0 226259 0 19501 0.009033 365385020.2 7 1 509 451 225824 0 19936 0.058594 365385020.2 8 1 509 4983 229560 0 16200 0.335205 365385020.2 9 1 509 4033 228482 0 17278 0.277222 365385021.2 10 1 509 3346 228144 0 17616 0.235291 365385021.2 11 1 509 1302 226249 0 19511 0.110535 365385021.2 12 1 509 1132 226860 0 18900 0.100159 365385022.2 13 1 509 1725 227413 0 18347 0.136353 365385022.2 14 1 509 1888 227572 0 18188 0.146301 365385023.2 15 1 509 1249 227630 0 18130 0.107300