0.00/0.00 c Parsing...
0.00/1.00 c ==============================================================================
0.00/1.00 c | | ORIGINAL | LEARNT | |
0.00/1.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/1.00 c ==============================================================================
0.00/1.00 c | 0 | 1214401 2831586 | 364320 0 0 nan | 0.000 % |
9.38/9.45 c | 0 | 540614 1448055 | -- 0 -- -- | -- | -422902/-817661
9.38/9.45 c ==============================================================================
9.38/9.45 c Result : #vars: 89502 #clauses: 540614 #literals: 1448055
9.38/9.45 c CPU time: 9.12961 s
9.38/9.45 c ==============================================================================
9.98/10.04 c This is MiniSat 2.0 beta
9.98/10.04 c WARNING: for repeatability, setting FPU to use double precision
9.98/10.04 c ============================[ Problem Statistics ]=============================
9.98/10.04 c | |
9.98/10.04 c | Number of variables: 89502 |
9.98/10.04 c | Number of clauses: 540614 |
10.02/10.36 c | Parsing time: 0.29 s |
10.02/10.38 c ============================[ Search Statistics ]==============================
10.02/10.38 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.02/10.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.02/10.38 c ===============================================================================
10.02/10.38 c | 0 | 89502 540614 1448055 | 180204 0 nan | 0.000 % |
10.02/10.64 c | 100 | 89232 540614 1448055 | 180204 91 38 | 4.455 % |
11.07/11.19 c | 200 | 88985 540614 1448055 | 180204 178 28 | 14.215 % |
11.57/11.62 c | 300 | 76088 456429 1242947 | 180204 260 24 | 17.033 % |
11.87/11.98 c | 410 | 75512 456429 1242947 | 180204 365 23 | 22.275 % |
12.07/12.16 c | 510 | 69479 412292 1135129 | 180204 443 24 | 25.084 % |
12.27/12.33 c | 620 | 69094 412292 1135129 | 180204 548 27 | 30.009 % |
12.47/12.51 c | 741 | 69094 412292 1135129 | 180204 667 27 | 30.028 % |
12.57/12.66 c | 841 | 68891 412292 1135129 | 180204 767 28 | 30.028 % |
12.87/12.94 c | 951 | 68640 412292 1135129 | 180204 877 27 | 30.028 % |
13.47/13.51 c | 1072 | 62624 362355 1008649 | 180204 960 26 | 30.065 % |
13.87/13.91 c | 1207 | 62122 359060 1000559 | 180204 1086 27 | 31.139 % |
14.17/14.21 c | 1307 | 62091 359060 1000559 | 180204 1184 29 | 31.730 % |
14.47/14.57 c | 1420 | 62086 359060 1000559 | 180204 1293 33 | 32.130 % |
15.07/15.13 c | 1541 | 60745 350078 977934 | 180204 1409 38 | 32.244 % |
15.47/15.54 c | 1674 | 59817 343836 962580 | 180204 1531 37 | 33.245 % |
15.87/15.93 c | 1820 | 59769 343836 962580 | 180204 1672 37 | 34.070 % |
15.97/16.06 c | 1920 | 59630 343836 962580 | 180204 1772 37 | 34.070 % |
16.37/16.43 c | 2030 | 59009 338580 949471 | 180204 1876 45 | 34.070 % |
16.57/16.68 c | 2151 | 58993 338580 949471 | 180204 1995 45 | 45.025 % |
17.17/17.28 c | 2284 | 58993 338580 949471 | 180204 2128 49 | 45.025 % |
17.77/17.87 c | 2437 | 49204 274657 774436 | 180204 2138 54 | 45.025 % |
18.27/18.31 c | 2597 | 48886 272679 769255 | 180204 2293 54 | 57.746 % |
18.37/18.49 c | 2697 | 47654 272679 769255 | 180204 2391 53 | 58.040 % |
18.77/18.82 c | 2808 | 47654 272679 769255 | 180204 2502 55 | 58.040 % |
19.17/19.22 c | 2933 | 37555 197855 563901 | 180204 2286 57 | 58.040 % |
19.47/19.57 c | 3068 | 37555 197855 563901 | 180204 2421 58 | 58.040 % |
19.67/19.80 c | 3214 | 37555 197855 563901 | 180204 2567 58 | 58.040 % |
20.37/20.43 c | 3379 | 37555 197855 563901 | 180204 2732 58 | 58.040 % |
20.87/20.93 c | 3556 | 37544 197784 563720 | 180204 2908 60 | 58.052 % |
20.97/21.09 c | 3656 | 37544 197784 563720 | 180204 3008 60 | 58.052 % |
21.17/21.25 c | 3768 | 37544 197784 563720 | 180204 3120 60 | 58.052 % |
21.37/21.44 c | 3889 | 37544 197784 563720 | 180204 3241 61 | 58.052 % |
21.77/21.83 c | 4023 | 37529 197698 563482 | 180204 3373 60 | 58.069 % |
21.87/21.96 c | 4170 | 37529 197698 563482 | 180204 3520 61 | 58.069 % |
22.27/22.31 c | 4330 | 37529 197698 563482 | 180204 3680 61 | 58.069 % |
22.57/22.62 c | 4507 | 37529 197698 563482 | 180204 3857 61 | 58.069 % |
22.77/22.84 c | 4700 | 37529 197698 563482 | 180204 4050 61 | 58.069 % |
22.97/23.10 c | 4800 | 37529 197698 563482 | 180204 4150 61 | 58.069 % |
23.26/23.31 c | 4911 | 37529 197698 563482 | 180204 4261 61 | 58.069 % |
23.56/23.62 c | 5036 | 37529 197698 563482 | 180204 4386 62 | 58.069 % |
23.76/23.82 c | 5170 | 37529 197698 563482 | 180204 4520 62 | 58.069 % |
24.07/24.13 c | 5316 | 37529 197698 563482 | 180204 4666 62 | 58.069 % |
24.56/24.68 c | 5478 | 37529 197698 563482 | 180204 4828 62 | 58.069 % |
25.17/25.27 c | 5655 | 37529 197698 563482 | 180204 5005 62 | 58.069 % |
25.76/25.88 c | 5848 | 37508 197618 563275 | 180204 5192 61 | 58.124 % |
26.27/26.34 c | 6060 | 37508 197618 563275 | 180204 5404 62 | 58.124 % |
26.46/26.52 c | 6160 | 37480 197371 562601 | 180204 5503 62 | 58.124 % |
26.66/26.77 c | 6270 | 37480 197371 562601 | 180204 5613 63 | 58.124 % |
26.96/27.02 c | 6393 | 37479 197371 562601 | 180204 5734 62 | 58.153 % |
27.16/27.30 c | 6527 | 34103 177325 507007 | 180204 5614 64 | 61.897 % |
27.37/27.47 c | 6674 | 34103 177325 507007 | 180204 5761 63 | 61.897 % |
27.66/27.76 c | 6834 | 34103 177325 507007 | 180204 5921 63 | 61.897 % |
27.96/28.06 c | 7010 | 34103 177325 507007 | 180204 6097 63 | 61.897 % |
28.26/28.35 c | 7205 | 34091 177242 506792 | 180204 6289 64 | 62.025 % |
28.76/28.84 c | 7417 | 34091 177242 506792 | 180204 6499 64 | 62.051 % |
29.36/29.43 c | 7651 | 33965 176400 504481 | 180204 6708 65 | 62.057 % |
29.46/29.54 c | 7752 | 33965 176400 504481 | 180204 6809 65 | 62.057 % |
29.76/29.84 c | 7862 | 33965 176400 504481 | 180204 6919 65 | 62.057 % |
29.96/30.06 c | 7984 | 33960 176357 504365 | 180204 7041 65 | 62.057 % |
30.26/30.31 c | 8117 | 33960 176357 504365 | 180204 7174 64 | 62.057 % |
30.46/30.51 c | 8263 | 33960 176357 504365 | 180204 7320 64 | 62.057 % |
30.67/30.80 c | 8423 | 33960 176357 504365 | 180204 7480 64 | 62.057 % |
31.06/31.15 c | 8600 | 33960 176357 504365 | 180204 7657 64 | 62.057 % |
31.46/31.56 c | 8795 | 33960 176357 504365 | 180204 7852 64 | 62.057 % |
31.96/32.01 c | 9008 | 33960 176357 504365 | 180204 8065 63 | 62.057 % |
32.16/32.23 c | 9242 | 33960 176357 504365 | 180204 8299 64 | 62.057 % |
32.66/32.80 c | 9498 | 33948 176264 504128 | 180204 8554 64 | 62.070 % |
32.86/32.99 c | 9598 | 33948 176264 504128 | 180204 8654 64 | 62.070 % |
33.06/33.15 c | 9708 | 33948 176264 504128 | 180204 8764 64 | 62.070 % |
33.36/33.42 c | 9831 | 33948 176264 504128 | 180204 8887 64 | 62.070 % |
33.66/33.79 c | 9967 | 33935 176175 503885 | 180204 9021 64 | 62.100 % |
33.96/34.02 c | 10113 | 33935 176175 503885 | 2147483647 9167 64 | 62.100 % |
34.26/34.34 c | 10274 | 33935 176175 503885 | 2147483647 9328 64 | 62.100 % |
34.66/34.79 c | 10452 | 33935 176175 503885 | 2147483647 9506 63 | 62.100 % |
35.06/35.11 c | 10645 | 33920 176090 503645 | 2147483647 9698 64 | 62.442 % |
35.46/35.50 c | 10859 | 33920 176090 503645 | 2147483647 9912 64 | 62.442 % |
35.76/35.89 c | 11093 | 33920 176090 503645 | 2147483647 10146 64 | 62.442 % |
36.16/36.30 c | 11351 | 33615 174143 498108 | 2147483647 10374 64 | 62.442 % |
36.76/36.81 c | 11632 | 33615 174143 498108 | 2147483647 10655 64 | 62.442 % |
36.96/37.02 c | 11733 | 33615 174143 498108 | 2147483647 10756 64 | 62.442 % |
37.16/37.28 c | 11843 | 33598 174031 497787 | 2147483647 10865 64 | 62.461 % |
37.26/37.40 c | 11965 | 33598 174031 497787 | 2147483647 10987 65 | 62.461 % |
37.76/37.89 c | 12100 | 33598 174031 497787 | 2147483647 11122 65 | 62.461 % |
38.06/38.15 c | 12250 | 33598 174031 497787 | 2147483647 11272 65 | 62.461 % |
38.36/38.48 c | 12410 | 33598 174031 497787 | 2147483647 11432 66 | 62.461 % |
38.96/39.02 c | 12587 | 33598 174031 497787 | 2147483647 11609 66 | 62.461 % |
39.26/39.35 c | 12781 | 33442 173003 495187 | 2147483647 11802 66 | 62.635 % |
39.66/39.78 c | 12995 | 33442 173003 495187 | 2147483647 12016 67 | 62.635 % |
40.46/40.55 c | 13229 | 33442 173003 495187 | 2147483647 12250 67 | 62.635 % |
41.16/41.21 c | 13487 | 33427 172917 494945 | 2147483647 12503 67 | 62.665 % |
41.76/41.84 c | 13769 | 33427 172917 494945 | 2147483647 12785 67 | 62.665 % |
42.66/42.75 c | 14078 | 33413 172829 494704 | 2147483647 13090 67 | 62.704 % |
42.86/43.00 c | 14185 | 33368 172506 493868 | 2147483647 13187 67 | 62.718 % |
43.26/43.34 c | 14296 | 33368 172506 493868 | 2147483647 13298 67 | 62.718 % |
43.46/43.53 c | 14418 | 33368 172506 493868 | 2147483647 13420 67 | 62.718 % |
43.66/43.70 c | 14552 | 33368 172506 493868 | 2147483647 13554 67 | 62.718 % |
43.86/43.96 c | 14698 | 33368 172506 493868 | 2147483647 13700 67 | 62.718 % |
44.15/44.26 c | 14858 | 33368 172506 493868 | 2147483647 13860 67 | 62.718 % |
44.55/44.62 c | 15034 | 33357 172442 493695 | 2147483647 14035 67 | 62.730 % |
44.75/44.89 c | 15227 | 33357 172442 493695 | 2147483647 14228 67 | 62.730 % |
45.45/45.50 c | 15439 | 33357 172442 493695 | 2147483647 14440 67 | 62.730 % |
45.95/46.06 c | 15672 | 33357 172442 493695 | 2147483647 14673 68 | 62.730 % |
46.75/46.88 c | 15928 | 33357 172442 493695 | 2147483647 14929 68 | 62.730 % |
47.26/47.32 c | 16209 | 33189 169277 484722 | 2147483647 15181 67 | 62.918 % |
48.15/48.29 c | 16518 | 33188 169277 484722 | 2147483647 15489 68 | 62.932 % |
48.55/48.65 c | 16857 | 33177 169196 484507 | 2147483647 15827 68 | 62.932 % |
48.76/48.81 c | 16957 | 33177 169196 484507 | 2147483647 15927 68 | 62.932 % |
48.96/49.08 c | 17067 | 33177 169196 484507 | 2147483647 16037 68 | 62.932 % |
49.16/49.24 c | 17189 | 33177 169196 484507 | 2147483647 16159 68 | 62.932 % |
49.56/49.65 c | 17322 | 33177 169196 484507 | 2147483647 16292 68 | 62.932 % |
49.86/49.96 c | 17473 | 33177 169196 484507 | 2147483647 16443 68 | 62.932 % |
50.26/50.31 c | 17635 | 33177 169196 484507 | 2147483647 16605 68 | 62.932 % |
50.66/50.73 c | 17812 | 33177 169196 484507 | 2147483647 16782 68 | 62.932 % |
51.16/51.20 c | 18006 | 33177 169196 484507 | 2147483647 16976 69 | 62.932 % |
51.36/51.44 c | 18218 | 33177 169196 484507 | 2147483647 17188 68 | 62.932 % |
51.96/52.03 c | 18453 | 33177 169196 484507 | 2147483647 17423 69 | 62.932 % |
52.36/52.47 c | 18710 | 32797 166575 477641 | 2147483647 17679 69 | 63.356 % |
52.86/52.91 c | 18992 | 32797 166575 477641 | 2147483647 17961 69 | 63.356 % |
53.26/53.36 c | 19304 | 32797 166575 477641 | 2147483647 18273 70 | 63.356 % |
53.96/54.05 c | 19644 | 32797 166575 477641 | 2147483647 18613 70 | 63.356 % |
54.76/54.85 c | 20019 | 32606 165705 475333 | 2147483647 18970 70 | 63.570 % |
54.96/55.10 c | 20120 | 32606 165705 475333 | 2147483647 19071 70 | 63.570 % |
55.26/55.38 c | 20230 | 32606 165705 475333 | 2147483647 19181 70 | 63.570 % |
55.56/55.65 c | 20354 | 32606 165705 475333 | 2147483647 19305 70 | 63.570 % |
55.86/55.95 c | 20492 | 32606 165705 475333 | 2147483647 19443 71 | 63.570 % |
56.25/56.36 c | 20638 | 32606 165705 475333 | 2147483647 19589 71 | 63.570 % |
56.75/56.84 c | 20800 | 32606 165705 475333 | 2147483647 19751 71 | 63.570 % |
57.05/57.20 c | 20979 | 32606 165705 475333 | 2147483647 19930 71 | 63.570 % |
57.55/57.67 c | 21173 | 32606 165705 475333 | 2147483647 20124 70 | 63.570 % |
58.05/58.11 c | 21385 | 32606 165705 475333 | 2147483647 20336 70 | 63.570 % |
58.46/58.54 c | 21618 | 32606 165705 475333 | 2147483647 20569 70 | 63.570 % |
59.06/59.10 c | 21875 | 32606 165705 475333 | 2147483647 20826 70 | 63.570 % |
59.36/59.45 c | 22156 | 32606 165705 475333 | 2147483647 21107 70 | 63.570 % |
59.96/60.03 c | 22467 | 32606 165705 475333 | 2147483647 21418 70 | 63.570 % |
60.76/60.83 c | 22808 | 32606 165705 475333 | 2147483647 21759 70 | 63.570 % |
61.36/61.43 c | 23181 | 32606 165705 475333 | 2147483647 22132 70 | 63.570 % |
62.36/62.42 c | 23591 | 32606 165705 475333 | 2147483647 22542 70 | 63.570 % |
62.56/62.68 c | 23691 | 32548 165442 474604 | 2147483647 22626 70 | 66.685 % |
62.76/62.87 c | 23801 | 32548 165442 474604 | 2147483647 22736 71 | 66.685 % |
63.06/63.11 c | 23925 | 32548 165442 474604 | 2147483647 22860 71 | 66.685 % |
63.25/63.32 c | 24060 | 32548 165442 474604 | 2147483647 22995 71 | 66.685 % |
63.55/63.60 c | 24206 | 32548 165442 474604 | 2147483647 23141 71 | 66.685 % |
63.76/63.89 c | 24366 | 32548 165442 474604 | 2147483647 23301 71 | 66.685 % |
64.35/64.48 c | 24543 | 32548 165442 474604 | 2147483647 23478 71 | 66.685 % |
64.65/64.80 c | 24736 | 29818 148604 429331 | 2147483647 23611 71 | 66.685 % |
65.15/65.26 c | 24949 | 29818 148604 429331 | 2147483647 23824 71 | 66.685 % |
65.65/65.73 c | 25182 | 29818 148604 429331 | 2147483647 24057 71 | 66.685 % |
66.25/66.38 c | 25441 | 29818 148604 429331 | 2147483647 24316 71 | 66.685 % |
66.85/66.98 c | 25722 | 29795 148427 428869 | 2147483647 24588 71 | 66.710 % |
67.45/67.53 c | 26033 | 29795 148427 428869 | 2147483647 24899 71 | 66.710 % |
67.85/67.95 c | 26372 | 29795 148427 428869 | 2147483647 25238 71 | 66.710 % |
68.46/68.56 c | 26746 | 29795 148427 428869 | 2147483647 25612 71 | 66.710 % |
69.06/69.18 c | 27157 | 29795 148427 428869 | 2147483647 26023 71 | 66.710 % |
69.85/69.92 c | 27606 | 29795 148427 428869 | 2147483647 26472 71 | 66.710 % |
70.05/70.11 c | 27706 | 29795 148427 428869 | 2147483647 26572 71 | 66.710 % |
70.26/70.32 c | 27816 | 29795 148427 428869 | 2147483647 26682 71 | 66.710 % |
70.45/70.51 c | 27937 | 29795 148427 428869 | 2147483647 26803 71 | 66.710 % |
70.65/70.78 c | 28070 | 29795 148427 428869 | 2147483647 26936 71 | 66.710 % |
70.95/71.05 c | 28216 | 29795 148427 428869 | 2147483647 27082 71 | 66.710 % |
71.25/71.37 c | 28376 | 29784 148358 428688 | 2147483647 27240 71 | 66.723 % |
71.75/71.83 c | 28554 | 29784 148358 428688 | 2147483647 27418 71 | 66.723 % |
72.05/72.19 c | 28750 | 29784 148358 428688 | 2147483647 27614 71 | 66.723 % |
72.46/72.59 c | 28964 | 29784 148358 428688 | 2147483647 27828 71 | 66.723 % |
72.85/72.98 c | 29198 | 29784 148358 428688 | 2147483647 28062 71 | 66.723 % |
73.45/73.51 c | 29455 | 29784 148358 428688 | 2147483647 28319 71 | 66.723 % |
73.95/74.01 c | 29737 | 29784 148358 428688 | 2147483647 28601 71 | 66.723 % |
74.55/74.67 c | 30047 | 29784 148358 428688 | 2147483647 28911 71 | 66.723 % |
74.95/75.09 c | 30386 | 29784 148358 428688 | 2147483647 29250 71 | 66.723 % |
75.65/75.71 c | 30758 | 29784 148358 428688 | 2147483647 29622 71 | 66.723 % |
76.25/76.36 c | 31167 | 29784 148358 428688 | 2147483647 30031 70 | 66.723 % |
77.05/77.15 c | 31616 | 29565 147080 425059 | 2147483647 30479 70 | 66.967 % |
78.45/78.54 c | 32109 | 29564 147080 425059 | 2147483647 30971 70 | 66.981 % |
78.65/78.75 c | 32211 | 29564 147080 425059 | 2147483647 31073 70 | 66.981 % |
78.85/78.94 c | 32321 | 29553 146993 424835 | 2147483647 31177 70 | 66.981 % |
79.05/79.13 c | 32442 | 29553 146993 424835 | 2147483647 31298 70 | 66.981 % |
79.35/79.43 c | 32577 | 29553 146993 424835 | 2147483647 31433 70 | 66.981 % |
79.55/79.64 c | 32723 | 29553 146993 424835 | 2147483647 31579 70 | 66.981 % |
79.85/79.91 c | 32883 | 29553 146993 424835 | 2147483647 31739 69 | 66.981 % |
80.05/80.19 c | 33060 | 29553 146993 424835 | 2147483647 31916 69 | 66.981 % |
80.34/80.42 c | 33253 | 29553 146993 424835 | 2147483647 32109 69 | 66.981 % |
80.64/80.75 c | 33468 | 29553 146993 424835 | 2147483647 32324 69 | 66.981 % |
81.05/81.10 c | 33701 | 29553 146993 424835 | 2147483647 32557 69 | 66.981 % |
81.45/81.55 c | 33957 | 29151 144149 417368 | 2147483647 32811 69 | 67.638 % |
81.95/82.06 c | 34240 | 29151 144149 417368 | 2147483647 33094 69 | 67.638 % |
82.35/82.49 c | 34550 | 29151 144149 417368 | 2147483647 33404 69 | 67.638 % |
82.85/82.97 c | 34892 | 29151 144149 417368 | 2147483647 33746 69 | 67.638 % |
83.85/83.95 c | 35264 | 29151 144149 417368 | 2147483647 34118 69 | 67.638 % |
84.94/85.06 c | 35673 | 28965 142938 414260 | 2147483647 34527 69 | 67.638 % |
85.65/85.79 c | 36123 | 28965 142938 414260 | 2147483647 34977 69 | 67.638 % |
86.64/86.71 c | 36620 | 28965 142938 414260 | 2147483647 35474 70 | 67.638 % |
87.44/87.53 c | 37163 | 28965 142938 414260 | 2147483647 36017 70 | 67.638 % |
87.64/87.78 c | 37264 | 28965 142938 414260 | 2147483647 36118 70 | 67.638 % |
87.85/88.00 c | 37374 | 28965 142938 414260 | 2147483647 36228 70 | 67.638 % |
88.14/88.25 c | 37495 | 28965 142938 414260 | 2147483647 36349 70 | 67.638 % |
88.34/88.48 c | 37629 | 28965 142938 414260 | 2147483647 36483 70 | 67.638 % |
88.74/88.90 c | 37777 | 28965 142938 414260 | 2147483647 36631 70 | 67.638 % |
89.14/89.23 c | 37939 | 28965 142938 414260 | 2147483647 36793 70 | 67.638 % |
89.54/89.67 c | 38116 | 28965 142938 414260 | 2147483647 36970 70 | 67.638 % |
89.94/90.03 c | 38309 | 28965 142938 414260 | 2147483647 37163 70 | 67.638 % |
90.54/90.61 c | 38521 | 28965 142938 414260 | 2147483647 37375 70 | 67.638 % |
90.74/90.84 c | 38756 | 28965 142938 414260 | 2147483647 37610 70 | 67.638 % |
91.54/91.62 c | 39014 | 28953 142852 414021 | 2147483647 37859 70 | 67.651 % |
92.24/92.35 c | 39295 | 28953 142852 414021 | 2147483647 38140 70 | 67.651 % |
92.94/93.00 c | 39604 | 28953 142852 414021 | 2147483647 38448 70 | 67.666 % |
93.64/93.72 c | 39943 | 28953 142852 414021 | 2147483647 38787 70 | 67.666 % |
94.14/94.26 c | 40316 | 28953 142852 414021 | 2147483647 39160 71 | 67.666 % |
95.14/95.26 c | 40725 | 28940 142778 413808 | 2147483647 39568 71 | 67.666 % |
96.13/96.22 c | 41174 | 28939 142778 413808 | 2147483647 40016 71 | 67.682 % |
97.03/97.18 c | 41667 | 28939 142778 413808 | 2147483647 40509 71 | 67.682 % |
98.03/98.19 c | 42210 | 28939 142778 413808 | 2147483647 41052 71 | 67.682 % |
99.23/99.38 c | 42806 | 28925 142701 413603 | 2147483647 41647 71 | 67.682 % |
99.43/99.55 c | 42907 | 28925 142701 413603 | 2147483647 41748 71 | 67.682 % |
99.63/99.75 c | 43017 | 28925 142701 413603 | 2147483647 41858 71 | 67.682 % |
99.83/99.92 c | 43139 | 28925 142701 413603 | 2147483647 41980 71 | 67.682 % |
100.13/100.22 c | 43272 | 28925 142701 413603 | 2147483647 42113 71 | 67.682 % |
100.43/100.52 c | 43419 | 28925 142701 413603 | 2147483647 42260 71 | 67.682 % |
100.83/100.92 c | 43579 | 28925 142701 413603 | 2147483647 42420 71 | 67.682 % |
101.23/101.36 c | 43756 | 28925 142701 413603 | 2147483647 42597 71 | 67.682 % |
101.73/101.85 c | 43949 | 28925 142701 413603 | 2147483647 42790 71 | 67.682 % |
102.03/102.19 c | 44163 | 28925 142701 413603 | 2147483647 43004 71 | 67.682 % |
102.43/102.53 c | 44397 | 28925 142701 413603 | 2147483647 43238 71 | 67.682 % |
102.93/103.03 c | 44654 | 28925 142701 413603 | 2147483647 43495 71 | 67.682 % |
103.43/103.58 c | 44935 | 28925 142701 413603 | 2147483647 43776 71 | 67.682 % |
104.03/104.16 c | 45245 | 28925 142701 413603 | 2147483647 44086 71 | 67.682 % |
104.73/104.87 c | 45585 | 28925 142701 413603 | 2147483647 44426 71 | 67.682 % |
105.63/105.79 c | 45958 | 28409 139416 404554 | 2147483647 44728 71 | 68.259 % |
106.53/106.70 c | 46370 | 28409 139416 404554 | 2147483647 45140 71 | 68.259 % |
107.34/107.41 c | 46819 | 28409 139416 404554 | 2147483647 45589 71 | 68.259 % |
108.64/108.71 c | 47314 | 28409 139416 404554 | 2147483647 46083 71 | 68.260 % |
109.73/109.90 c | 47856 | 28409 139416 404554 | 2147483647 46625 71 | 68.260 % |
110.83/110.99 c | 48453 | 28408 139403 404518 | 2147483647 47187 71 | 68.260 % |
112.23/112.30 c | 49109 | 28408 139403 404518 | 2147483647 47843 71 | 68.260 % |
112.43/112.51 c | 49209 | 28408 139403 404518 | 2147483647 47943 71 | 68.260 % |
112.63/112.72 c | 49321 | 28408 139403 404518 | 2147483647 48055 71 | 68.260 % |
112.83/112.94 c | 49442 | 28408 139403 404518 | 2147483647 48176 71 | 68.260 % |
113.03/113.13 c | 49576 | 28408 139403 404518 | 2147483647 48310 71 | 68.260 % |
113.33/113.44 c | 49722 | 28408 139403 404518 | 2147483647 48456 71 | 68.260 % |
113.63/113.72 c | 49883 | 28408 139403 404518 | 2147483647 48617 71 | 68.260 % |
114.03/114.16 c | 50064 | 28408 139403 404518 | 2147483647 48798 71 | 68.260 % |
114.33/114.42 c | 50258 | 28408 139403 404518 | 2147483647 48992 71 | 68.260 % |
114.63/114.73 c | 50473 | 28408 139403 404518 | 2147483647 49207 71 | 68.260 % |
115.03/115.11 c | 50708 | 28408 139403 404518 | 2147483647 49442 71 | 68.260 % |
115.33/115.43 c | 50965 | 28408 139403 404518 | 2147483647 49699 71 | 68.260 % |
116.03/116.10 c | 51246 | 28408 139403 404518 | 2147483647 49980 71 | 68.260 % |
116.73/116.81 c | 51557 | 28408 139403 404518 | 2147483647 50291 71 | 68.260 % |
117.42/117.51 c | 51899 | 28408 139403 404518 | 2147483647 50633 71 | 68.260 % |
118.12/118.27 c | 52271 | 28408 139403 404518 | 2147483647 51005 71 | 68.260 % |
118.73/118.84 c | 52680 | 28408 139403 404518 | 2147483647 51414 70 | 68.260 % |
119.62/119.74 c | 53130 | 28408 139403 404518 | 2147483647 51864 70 | 68.260 % |
120.22/120.38 c | 53627 | 28408 139403 404518 | 2147483647 52361 70 | 68.260 % |
121.52/121.62 c | 54171 | 28408 139403 404518 | 2147483647 52905 71 | 68.260 % |
122.43/122.57 c | 54767 | 28408 139403 404518 | 2147483647 53501 71 | 68.260 % |
123.73/123.83 c | 55424 | 28408 139403 404518 | 2147483647 54158 71 | 68.260 % |
125.63/125.76 c | 56145 | 28408 139403 404518 | 2147483647 54879 71 | 68.260 % |
125.93/126.06 c | 56245 | 28408 139403 404518 | 2147483647 54979 71 | 68.260 % |
126.23/126.35 c | 56358 | 28408 139403 404518 | 2147483647 55092 71 | 68.260 % |
126.53/126.67 c | 56480 | 28408 139403 404518 | 2147483647 55214 71 | 68.260 % |
126.73/126.86 c | 56613 | 28408 139403 404518 | 2147483647 55347 71 | 68.260 % |
127.03/127.11 c | 56759 | 28408 139403 404518 | 2147483647 55493 71 | 68.260 % |
127.33/127.41 c | 56920 | 28408 139403 404518 | 2147483647 55654 71 | 68.260 % |
127.63/127.72 c | 57099 | 28408 139403 404518 | 2147483647 55833 71 | 68.260 % |
127.93/128.08 c | 57293 | 28408 139403 404518 | 2147483647 56027 71 | 68.260 % |
128.33/128.47 c | 57505 | 28408 139403 404518 | 2147483647 56239 71 | 68.260 % |
128.73/128.88 c | 57740 | 28408 139403 404518 | 2147483647 56474 71 | 68.260 % |
129.33/129.47 c | 57997 | 28408 139403 404518 | 2147483647 56731 71 | 68.260 % |
130.03/130.19 c | 58278 | 28408 139403 404518 | 2147483647 57012 71 | 68.260 % |
130.83/130.92 c | 58589 | 28408 139403 404518 | 2147483647 57323 71 | 68.260 % |
131.43/131.54 c | 58928 | 28408 139403 404518 | 2147483647 57662 71 | 68.260 % |
132.12/132.23 c | 59300 | 28408 139403 404518 | 2147483647 58034 71 | 68.260 % |
132.82/132.91 c | 59713 | 28408 139403 404518 | 2147483647 58447 71 | 68.260 % |
133.72/133.86 c | 60162 | 28408 139403 404518 | 2147483647 58896 71 | 68.260 % |
134.72/134.89 c | 60657 | 28408 139403 404518 | 2147483647 59391 71 | 68.260 % |
135.52/135.69 c | 61199 | 28408 139403 404518 | 2147483647 59933 71 | 68.260 % |
137.02/137.14 c | 61797 | 28408 139403 404518 | 2147483647 60531 71 | 68.260 % |
138.42/138.56 c | 62453 | 28408 139403 404518 | 2147483647 61187 71 | 68.260 % |
139.52/139.66 c | 63174 | 28408 139403 404518 | 2147483647 61908 71 | 68.260 % |
141.63/141.73 c | 63968 | 28408 139403 404518 | 2147483647 62702 71 | 68.260 % |
141.83/141.98 c | 64070 | 28408 139403 404518 | 2147483647 62804 71 | 68.260 % |
142.12/142.26 c | 64181 | 28408 139403 404518 | 2147483647 62915 71 | 68.260 % |
142.42/142.52 c | 64302 | 28408 139403 404518 | 2147483647 63036 71 | 68.260 % |
142.72/142.84 c | 64435 | 28408 139403 404518 | 2147483647 63169 71 | 68.260 % |
143.02/143.12 c | 64581 | 28408 139403 404518 | 2147483647 63315 71 | 68.260 % |
143.22/143.32 c | 64741 | 28408 139403 404518 | 2147483647 63475 71 | 68.260 % |
143.62/143.71 c | 64918 | 28408 139403 404518 | 2147483647 63652 71 | 68.260 % |
143.92/144.06 c | 65111 | 28408 139403 404518 | 2147483647 63845 71 | 68.260 % |
144.32/144.47 c | 65325 | 28045 136958 398174 | 2147483647 64057 71 | 68.684 % |
144.82/144.95 c | 65560 | 28045 136958 398174 | 2147483647 64292 71 | 68.684 % |
145.22/145.39 c | 65816 | 28045 136958 398174 | 2147483647 64548 71 | 68.684 % |
146.02/146.15 c | 66097 | 28045 136958 398174 | 2147483647 64829 71 | 68.685 % |
146.62/146.71 c | 66407 | 28045 136958 398174 | 2147483647 65139 71 | 68.684 % |
147.12/147.26 c | 66749 | 28045 136958 398174 | 2147483647 65481 70 | 68.685 % |
147.92/148.00 c | 67123 | 28045 136958 398174 | 2147483647 65855 70 | 68.685 % |
149.12/149.24 c | 67532 | 28045 136958 398174 | 2147483647 66264 70 | 68.685 % |
150.12/150.22 c | 67981 | 28045 136958 398174 | 2147483647 66713 70 | 68.684 % |
151.21/151.30 c | 68474 | 28045 136958 398174 | 2147483647 67206 70 | 68.684 % |
152.31/152.48 c | 69016 | 28028 136854 397888 | 2147483647 67746 71 | 68.684 % |
153.41/153.57 c | 69612 | 28028 136854 397888 | 2147483647 68342 71 | 68.684 % |
154.61/154.76 c | 70267 | 28028 136854 397888 | 2147483647 68997 71 | 68.684 % |
156.02/156.19 c | 70987 | 28028 136854 397888 | 2147483647 69717 71 | 68.685 % |
157.61/157.73 c | 71782 | 28028 136854 397888 | 2147483647 70512 71 | 68.684 % |
159.01/159.15 c | 72654 | 28028 136854 397888 | 2147483647 71384 71 | 68.684 % |
159.21/159.34 c | 72758 | 28028 136854 397888 | 2147483647 71488 71 | 68.684 % |
159.42/159.56 c | 72869 | 28028 136854 397888 | 2147483647 71599 70 | 68.685 % |
159.61/159.73 c | 72991 | 28028 136854 397888 | 2147483647 71721 70 | 68.684 % |
159.91/160.01 c | 73126 | 28028 136854 397888 | 2147483647 71856 70 | 68.684 % |
160.21/160.34 c | 73274 | 28028 136854 397888 | 2147483647 72004 70 | 68.685 % |
160.71/160.87 c | 73434 | 28028 136854 397888 | 2147483647 72164 70 | 68.684 % |
161.21/161.31 c | 73610 | 28028 136854 397888 | 2147483647 72340 70 | 68.685 % |
161.71/161.82 c | 73803 | 28028 136854 397888 | 2147483647 72533 70 | 68.684 % |
162.21/162.32 c | 74015 | 28028 136854 397888 | 2147483647 72745 70 | 68.685 % |
162.71/162.83 c | 74249 | 28028 136854 397888 | 2147483647 72979 70 | 68.684 % |
163.21/163.40 c | 74507 | 28028 136854 397888 | 2147483647 73237 70 | 68.684 % |
163.71/163.89 c | 74788 | 28028 136854 397888 | 2147483647 73518 70 | 68.684 % |
164.41/164.60 c | 75101 | 28028 136854 397888 | 2147483647 73831 70 | 68.684 % |
165.11/165.20 c | 75440 | 28028 136854 397888 | 2147483647 74170 70 | 68.684 % |
165.91/166.05 c | 75812 | 28028 136854 397888 | 2147483647 74542 70 | 68.684 % |
166.81/166.94 c | 76221 | 28028 136854 397888 | 2147483647 74951 70 | 68.684 % |
167.71/167.88 c | 76670 | 28028 136854 397888 | 2147483647 75400 70 | 68.684 % |
168.91/169.03 c | 77165 | 28028 136854 397888 | 2147483647 75895 70 | 68.684 % |
169.91/170.06 c | 77710 | 28028 136854 397888 | 2147483647 76440 70 | 68.684 % |
171.21/171.30 c | 78306 | 28028 136854 397888 | 2147483647 77036 70 | 68.684 % |
172.31/172.43 c | 78961 | 28028 136854 397888 | 2147483647 77691 69 | 68.684 % |
173.71/173.85 c | 79681 | 28028 136854 397888 | 2147483647 78411 69 | 68.684 % |
175.01/175.18 c | 80474 | 28028 136854 397888 | 2147483647 79204 69 | 68.685 % |
176.41/176.58 c | 81345 | 28028 136854 397888 | 2147483647 80075 69 | 68.684 % |
178.11/178.24 c | 82303 | 28028 136854 397888 | 2147483647 81033 69 | 68.684 % |
178.31/178.42 c | 82403 | 28028 136854 397888 | 2147483647 81133 69 | 68.684 % |
178.51/178.65 c | 82517 | 28028 136854 397888 | 2147483647 81247 69 | 68.684 % |
178.71/178.85 c | 82638 | 28028 136854 397888 | 2147483647 81368 69 | 68.684 % |
179.01/179.12 c | 82771 | 27966 136461 396828 | 2147483647 81500 69 | 68.754 % |
179.31/179.45 c | 82919 | 27966 136461 396828 | 2147483647 81648 69 | 68.754 % |
179.61/179.74 c | 83080 | 27966 136461 396828 | 2147483647 81809 69 | 68.754 % |
179.81/179.97 c | 83256 | 27966 136461 396828 | 2147483647 81985 69 | 68.754 % |
180.31/180.41 c | 83449 | 27966 136461 396828 | 2147483647 82178 69 | 68.754 % |
180.71/180.82 c | 83662 | 27966 136461 396828 | 2147483647 82391 69 | 68.754 % |
181.11/181.23 c | 83895 | 27966 136461 396828 | 2147483647 82624 69 | 68.754 % |
181.50/181.63 c | 84151 | 27966 136461 396828 | 2147483647 82880 69 | 68.754 % |
182.00/182.15 c | 84433 | 27966 136461 396828 | 2147483647 83162 69 | 68.754 % |
183.00/183.16 c | 84742 | 27966 136461 396828 | 2147483647 83471 69 | 68.754 % |
183.80/183.91 c | 85081 | 27966 136461 396828 | 2147483647 83810 69 | 68.754 % |
184.50/184.66 c | 85454 | 27966 136461 396828 | 2147483647 84183 69 | 68.754 % |
185.51/185.64 c | 85864 | 27966 136461 396828 | 2147483647 84593 69 | 68.754 % |
186.41/186.55 c | 86313 | 27966 136461 396828 | 2147483647 85042 69 | 68.754 % |
187.51/187.64 c | 86806 | 27949 136360 396515 | 2147483647 85534 69 | 68.773 % |
189.31/189.41 c | 87349 | 27949 136360 396515 | 2147483647 86077 69 | 68.773 % |
190.71/190.86 c | 87945 | 27948 136360 396515 | 2147483647 86672 69 | 68.785 % |
192.11/192.23 c | 88601 | 27948 136360 396515 | 2147483647 87328 69 | 68.785 % |
193.21/193.38 c | 89321 | 27948 136360 396515 | 2147483647 88048 69 | 68.785 % |
194.51/194.64 c | 90113 | 27948 136360 396515 | 2147483647 88840 69 | 68.785 % |
196.01/196.16 c | 90985 | 27948 136360 396515 | 2147483647 89712 68 | 68.785 % |
197.81/197.98 c | 91944 | 27938 136298 396343 | 2147483647 90667 68 | 68.800 % |
200.11/200.27 c | 92999 | 27938 136298 396343 | 2147483647 91722 68 | 68.800 % |
200.40/200.52 c | 93100 | 27938 136298 396343 | 2147483647 91823 68 | 68.800 % |
200.70/200.83 c | 93210 | 27938 136298 396343 | 2147483647 91933 68 | 68.800 % |
201.00/201.19 c | 93332 | 27938 136298 396343 | 2147483647 92055 68 | 68.800 % |
201.40/201.55 c | 93465 | 27938 136298 396343 | 2147483647 92188 68 | 68.800 % |
201.70/201.86 c | 93611 | 27938 136298 396343 | 2147483647 92334 68 | 68.800 % |
202.20/202.32 c | 93771 | 27938 136298 396343 | 2147483647 92494 68 | 68.800 % |
202.70/202.81 c | 93947 | 27938 136298 396343 | 2147483647 92670 68 | 68.800 % |
203.20/203.37 c | 94140 | 27938 136298 396343 | 2147483647 92863 68 | 68.800 % |
204.10/204.24 c | 94352 | 27938 136298 396343 | 2147483647 93074 68 | 68.811 % |
204.90/205.01 c | 94585 | 27938 136298 396343 | 2147483647 93307 68 | 68.811 % |
205.50/205.64 c | 94844 | 27938 136298 396343 | 2147483647 93566 68 | 68.811 % |
206.20/206.39 c | 95125 | 27915 136148 395951 | 2147483647 93845 68 | 68.811 % |
207.00/207.18 c | 95438 | 27915 136148 395951 | 2147483647 94158 68 | 68.811 % |
207.80/207.92 c | 95777 | 27915 136148 395951 | 2147483647 94497 68 | 68.811 % |
208.90/209.03 c | 96151 | 27915 136148 395951 | 2147483647 94871 68 | 68.811 % |
209.79/210.00 c | 96560 | 27915 136148 395951 | 2147483647 95280 68 | 68.811 % |
210.79/210.97 c | 97012 | 27915 136148 395951 | 2147483647 95732 68 | 68.811 % |
211.79/211.99 c | 97506 | 27915 136148 395951 | 2147483647 96226 69 | 68.811 % |
212.59/212.76 c | 98048 | 27915 136148 395951 | 2147483647 96768 69 | 68.811 % |
213.79/213.99 c | 98644 | 27915 136148 395951 | 2147483647 97364 69 | 68.811 % |
215.99/216.14 c | 99299 | 27915 136148 395951 | 2147483647 98019 69 | 68.811 % |
217.99/218.19 c | 100019 | 27915 136148 395951 | 2147483647 98739 69 | 68.811 % |
219.70/219.86 c | 100812 | 27915 136148 395951 | 2147483647 99532 69 | 68.811 % |
221.60/221.76 c | 101684 | 27915 136148 395951 | 2147483647 100404 69 | 68.811 % |
223.50/223.64 c | 102644 | 27915 136148 395951 | 2147483647 101364 69 | 68.811 % |
226.09/226.25 c | 103698 | 27915 136148 395951 | 2147483647 102418 69 | 68.811 % |
228.89/229.09 c | 104856 | 27915 136148 395951 | 2147483647 103576 69 | 68.811 % |
229.19/229.30 c | 104957 | 27915 136148 395951 | 2147483647 103677 69 | 68.811 % |
229.39/229.53 c | 105069 | 27915 136148 395951 | 2147483647 103789 69 | 68.811 % |
229.59/229.79 c | 105191 | 27915 136148 395951 | 2147483647 103911 69 | 68.811 % |
229.99/230.13 c | 105327 | 27915 136148 395951 | 2147483647 104047 69 | 68.811 % |
230.29/230.41 c | 105474 | 27915 136148 395951 | 2147483647 104194 69 | 68.811 % |
230.69/230.85 c | 105636 | 27915 136148 395951 | 2147483647 104356 69 | 68.811 % |
231.09/231.28 c | 105813 | 27915 136148 395951 | 2147483647 104533 69 | 68.811 % |
231.59/231.77 c | 106007 | 27915 136148 395951 | 2147483647 104727 69 | 68.811 % |
232.19/232.35 c | 106219 | 27915 136148 395951 | 2147483647 104939 69 | 68.811 % |
232.69/232.88 c | 106454 | 27915 136148 395951 | 2147483647 105174 69 | 68.811 % |
233.39/233.52 c | 106710 | 27915 136148 395951 | 2147483647 105430 69 | 68.811 % |
233.99/234.17 c | 106991 | 27915 136148 395951 | 2147483647 105711 69 | 68.811 % |
234.79/234.95 c | 107300 | 27915 136148 395951 | 2147483647 106020 69 | 68.811 % |
235.49/235.69 c | 107639 | 27915 136148 395951 | 2147483647 106359 69 | 68.811 % |
236.19/236.38 c | 108011 | 27915 136148 395951 | 2147483647 106731 69 | 68.811 % |
237.09/237.29 c | 108421 | 27915 136148 395951 | 2147483647 107141 69 | 68.811 % |
237.98/238.13 c | 108872 | 27915 136148 395951 | 2147483647 107592 69 | 68.811 % |
239.28/239.41 c | 109367 | 27915 136148 395951 | 2147483647 108087 69 | 68.811 % |
240.78/240.91 c | 109909 | 27915 136148 395951 | 2147483647 108629 68 | 68.811 % |
242.28/242.49 c | 110505 | 27915 136148 395951 | 2147483647 109225 68 | 68.811 % |
244.18/244.38 c | 111160 | 27915 136148 395951 | 2147483647 109880 69 | 68.811 % |
245.98/246.15 c | 111881 | 27915 136148 395951 | 2147483647 110601 69 | 68.811 % |
248.78/248.91 c | 112674 | 27915 136148 395951 | 2147483647 111394 69 | 68.811 % |
250.97/251.17 c | 113545 | 27915 136148 395951 | 2147483647 112265 68 | 68.811 % |
252.98/253.13 c | 114503 | 27915 136148 395951 | 2147483647 113223 68 | 68.811 % |
255.38/255.57 c | 115557 | 27915 136148 395951 | 2147483647 114277 68 | 68.811 % |
258.18/258.31 c | 116715 | 27915 136148 395951 | 2147483647 115435 68 | 68.811 % |
261.18/261.35 c | 117988 | 27915 136148 395951 | 2147483647 116708 68 | 68.811 % |
261.48/261.61 c | 118088 | 27915 136148 395951 | 2147483647 116808 68 | 68.811 % |
261.68/261.85 c | 118199 | 27915 136148 395951 | 2147483647 116919 68 | 68.811 % |
261.98/262.18 c | 118322 | 27915 136148 395951 | 2147483647 117042 68 | 68.811 % |
262.28/262.47 c | 118457 | 27915 136148 395951 | 2147483647 117177 68 | 68.811 % |
262.58/262.77 c | 118606 | 27915 136148 395951 | 2147483647 117326 68 | 68.811 % |
263.08/263.20 c | 118767 | 27915 136148 395951 | 2147483647 117487 68 | 68.811 % |
263.48/263.67 c | 118943 | 27915 136148 395951 | 2147483647 117663 68 | 68.811 % |
264.08/264.20 c | 119138 | 27915 136148 395951 | 2147483647 117858 68 | 68.811 % |
264.68/264.83 c | 119352 | 27915 136148 395951 | 2147483647 118072 68 | 68.811 % |
265.28/265.42 c | 119585 | 27915 136148 395951 | 2147483647 118305 68 | 68.811 % |
265.88/266.04 c | 119842 | 27915 136148 395951 | 2147483647 118562 68 | 68.811 % |
266.88/267.04 c | 120126 | 27915 136148 395951 | 2147483647 118846 68 | 68.811 % |
267.77/267.97 c | 120435 | 27915 136148 395951 | 2147483647 119155 68 | 68.811 % |
268.77/268.91 c | 120774 | 27915 136148 395951 | 2147483647 119494 68 | 68.811 % |
269.57/269.79 c | 121149 | 27915 136148 395951 | 2147483647 119869 68 | 68.811 % |
270.77/270.93 c | 121561 | 27915 136148 395951 | 2147483647 120281 68 | 68.811 % |
271.67/271.81 c | 122012 | 27915 136148 395951 | 2147483647 120732 68 | 68.811 % |
272.58/272.77 c | 122505 | 27915 136148 395951 | 2147483647 121225 68 | 68.811 % |
273.97/274.11 c | 123047 | 27915 136148 395951 | 2147483647 121767 68 | 68.811 % |
275.27/275.41 c | 123646 | 27915 136148 395951 | 2147483647 122366 68 | 68.811 % |
276.97/277.19 c | 124301 | 27915 136148 395951 | 2147483647 123021 68 | 68.811 % |
279.07/279.28 c | 125021 | 27915 136148 395951 | 2147483647 123741 68 | 68.811 % |
281.56/281.72 c | 125814 | 27915 136148 395951 | 2147483647 124534 68 | 68.811 % |
283.67/283.85 c | 126686 | 27915 136148 395951 | 2147483647 125406 68 | 68.811 % |
286.16/286.36 c | 127644 | 27915 136148 395951 | 2147483647 126364 68 | 68.811 % |
288.66/288.89 c | 128704 | 27915 136148 395951 | 2147483647 127424 68 | 68.811 % |
291.27/291.47 c | 129862 | 27915 136148 395951 | 2147483647 128582 68 | 68.811 % |
295.17/295.32 c | 131135 | 27915 136148 395951 | 2147483647 129855 68 | 68.811 % |
299.76/299.93 c | 132535 | 27915 136148 395951 | 2147483647 131255 68 | 68.811 % |
300.07/300.28 c | 132638 | 27915 136148 395951 | 2147483647 131358 68 | 68.811 % |
300.46/300.67 c | 132750 | 27915 136148 395951 | 2147483647 131470 68 | 68.811 % |
300.86/301.01 c | 132873 | 27915 136148 395951 | 2147483647 131593 68 | 68.811 % |
301.17/301.36 c | 133006 | 27915 136148 395951 | 2147483647 131726 68 | 68.811 % |
301.56/301.79 c | 133152 | 27915 136148 395951 | 2147483647 131872 68 | 68.811 % |
301.96/302.18 c | 133312 | 27915 136148 395951 | 2147483647 132032 68 | 68.811 % |
302.66/302.82 c | 133489 | 27915 136148 395951 | 2147483647 132209 68 | 68.811 % |
303.36/303.54 c | 133682 | 27915 136148 395951 | 2147483647 132402 68 | 68.811 % |
304.06/304.26 c | 133896 | 27915 136148 395951 | 2147483647 132616 68 | 68.811 % |
304.96/305.13 c | 134130 | 27915 136148 395951 | 2147483647 132850 68 | 68.811 % |
305.76/305.96 c | 134386 | 27915 136148 395951 | 2147483647 133106 68 | 68.811 % |
306.76/306.91 c | 134668 | 27915 136148 395951 | 2147483647 133388 68 | 68.811 % |
307.76/308.00 c | 134978 | 27915 136148 395951 | 2147483647 133698 68 | 68.811 % |
308.75/308.90 c | 135317 | 27915 136148 395951 | 2147483647 134037 68 | 68.811 % |
309.56/309.75 c | 135690 | 27915 136148 395951 | 2147483647 134410 68 | 68.811 % |
310.56/310.77 c | 136100 | 27915 136148 395951 | 2147483647 134820 68 | 68.811 % |
311.86/312.06 c | 136551 | 27915 136148 395951 | 2147483647 135271 68 | 68.811 % |
313.26/313.43 c | 137045 | 27915 136148 395951 | 2147483647 135765 68 | 68.811 % |
314.76/314.94 c | 137587 | 27915 136148 395951 | 2147483647 136307 68 | 68.811 % |
316.46/316.67 c | 138185 | 27914 136144 395941 | 2147483647 136904 69 | 68.812 % |
318.06/318.25 c | 138840 | 27914 136144 395941 | 2147483647 137559 69 | 68.812 % |
320.25/320.42 c | 139561 | 27914 136144 395941 | 2147483647 138280 69 | 68.812 % |
321.95/322.18 c | 140353 | 27914 136144 395941 | 2147483647 139072 69 | 68.812 % |
324.25/324.43 c | 141224 | 27914 136144 395941 | 2147483647 139943 69 | 68.812 % |
326.55/326.75 c | 142182 | 27913 136144 395941 | 2147483647 140900 69 | 68.911 % |
330.25/330.47 c | 143236 | 27913 136144 395941 | 2147483647 141954 69 | 68.911 % |
333.45/333.60 c | 144394 | 27913 136144 395941 | 2147483647 143112 69 | 68.911 % |
338.35/338.59 c | 145668 | 27825 135521 394290 | 2147483647 144385 69 | 68.924 % |
343.05/343.26 c | 147068 | 27825 135521 394290 | 2147483647 145785 69 | 68.924 % |
346.84/347.05 c | 148609 | 27825 135521 394290 | 2147483647 147326 69 | 68.924 % |
347.24/347.49 c | 148710 | 27825 135521 394290 | 2147483647 147427 69 | 68.924 % |
347.74/347.94 c | 148820 | 27825 135521 394290 | 2147483647 147537 69 | 68.924 % |
348.24/348.41 c | 148942 | 27825 135521 394290 | 2147483647 147659 69 | 68.924 % |
348.64/348.83 c | 149076 | 27825 135521 394290 | 2147483647 147793 69 | 68.924 % |
349.14/349.31 c | 149222 | 27825 135521 394290 | 2147483647 147939 69 | 68.924 % |
349.65/349.81 c | 149382 | 27825 135521 394290 | 2147483647 148099 69 | 68.924 % |
350.14/350.37 c | 149558 | 27825 135521 394290 | 2147483647 148275 69 | 68.924 % |
350.94/351.14 c | 149751 | 27825 135521 394290 | 2147483647 148468 69 | 68.924 % |
351.64/351.86 c | 149963 | 27825 135521 394290 | 2147483647 148680 69 | 68.924 % |
352.74/352.95 c | 150196 | 27825 135521 394290 | 2147483647 148913 69 | 68.924 % |
353.34/353.57 c | 150453 | 27825 135521 394290 | 2147483647 149170 69 | 68.924 % |
354.54/354.74 c | 150736 | 27813 135446 394099 | 2147483647 149451 69 | 68.925 % |
355.65/355.81 c | 151045 | 27813 135446 394099 | 2147483647 149760 69 | 68.925 % |
356.75/356.92 c | 151384 | 27813 135446 394099 | 2147483647 150099 69 | 68.925 % |
357.74/357.91 c | 151756 | 27813 135446 394099 | 2147483647 150471 69 | 68.925 % |
358.84/359.09 c | 152165 | 27813 135446 394099 | 2147483647 150880 69 | 68.925 % |
359.94/360.17 c | 152615 | 27813 135446 394099 | 2147483647 151330 70 | 68.925 % |
361.24/361.48 c | 153110 | 27813 135446 394099 | 2147483647 151825 69 | 68.925 % |
362.24/362.40 c | 153653 | 27813 135446 394099 | 2147483647 152368 70 | 68.925 % |
363.64/363.86 c | 154250 | 27813 135446 394099 | 2147483647 152965 70 | 68.925 % |
364.84/365.08 c | 154905 | 27813 135446 394099 | 2147483647 153620 70 | 68.925 % |
367.64/367.81 c | 155625 | 27813 135446 394099 | 2147483647 154340 70 | 68.925 % |
370.04/370.24 c | 156417 | 27813 135446 394099 | 2147483647 155132 70 | 68.925 % |
372.84/373.09 c | 157291 | 27813 135446 394099 | 2147483647 156006 70 | 68.925 % |
376.04/376.22 c | 158249 | 27813 135443 394093 | 2147483647 156964 70 | 68.925 % |
379.53/379.78 c | 159304 | 27813 135443 394093 | 2147483647 158019 70 | 68.925 % |
383.73/383.92 c | 160462 | 27813 135443 394093 | 2147483647 159177 70 | 68.925 % |
387.64/387.89 c | 161735 | 27813 135443 394093 | 2147483647 160450 70 | 68.925 % |
392.23/392.41 c | 163135 | 27813 135443 394093 | 2147483647 161850 70 | 68.925 % |
396.73/396.99 c | 164677 | 27813 135443 394093 | 2147483647 163392 70 | 68.925 % |
400.93/401.12 c | 166371 | 27813 135443 394093 | 2147483647 165086 70 | 68.925 % |
401.13/401.37 c | 166472 | 27813 135443 394093 | 2147483647 165187 70 | 68.925 % |
401.53/401.71 c | 166582 | 27813 135443 394093 | 2147483647 165297 70 | 68.925 % |
401.83/402.05 c | 166703 | 27813 135443 394093 | 2147483647 165418 70 | 68.925 % |
402.43/402.64 c | 166838 | 27813 135443 394093 | 2147483647 165553 70 | 68.925 % |
402.92/403.14 c | 166985 | 27813 135443 394093 | 2147483647 165700 70 | 68.925 % |
403.62/403.82 c | 167145 | 27813 135443 394093 | 2147483647 165860 70 | 68.925 % |
404.22/404.49 c | 167321 | 27813 135443 394093 | 2147483647 166036 70 | 68.925 % |
405.02/405.23 c | 167515 | 27813 135443 394093 | 2147483647 166230 70 | 68.925 % |
405.92/406.12 c | 167727 | 27813 135443 394093 | 2147483647 166442 70 | 68.925 % |
406.83/407.00 c | 167960 | 27813 135443 394093 | 2147483647 166675 70 | 68.925 % |
407.62/407.85 c | 168216 | 27813 135443 394093 | 2147483647 166931 70 | 68.925 % |
408.52/408.74 c | 168497 | 27813 135443 394093 | 2147483647 167212 70 | 68.925 % |
409.72/409.96 c | 168806 | 27813 135443 394093 | 2147483647 167521 70 | 68.925 % |
410.92/411.17 c | 169145 | 27813 135443 394093 | 2147483647 167860 70 | 68.925 % |
412.22/412.47 c | 169517 | 27813 135443 394093 | 2147483647 168232 70 | 68.925 % |
413.62/413.86 c | 169928 | 27813 135443 394093 | 2147483647 168643 70 | 68.925 % |
415.52/415.74 c | 170377 | 27813 135443 394093 | 2147483647 169092 70 | 68.925 % |
416.82/417.10 c | 170872 | 27813 135443 394093 | 2147483647 169587 70 | 68.925 % |
418.93/419.14 c | 171415 | 27813 135443 394093 | 2147483647 170130 70 | 68.925 % |
420.73/420.90 c | 172011 | 27813 135443 394093 | 2147483647 170726 70 | 68.925 % |
422.43/422.65 c | 172668 | 27813 135443 394093 | 2147483647 171383 70 | 68.925 % |
424.43/424.67 c | 173388 | 27813 135443 394093 | 2147483647 172103 70 | 68.925 % |
426.52/426.72 c | 174181 | 27813 135443 394093 | 2147483647 172896 70 | 68.925 % |
428.82/429.08 c | 175052 | 27813 135443 394093 | 2147483647 173767 70 | 68.925 % |
432.12/432.36 c | 176010 | 27813 135443 394093 | 2147483647 174725 70 | 68.925 % |
435.42/435.64 c | 177065 | 27813 135443 394093 | 2147483647 175780 71 | 68.925 % |
438.92/439.11 c | 178225 | 27813 135443 394093 | 2147483647 176940 71 | 68.925 % |
442.82/443.03 c | 179499 | 27813 135443 394093 | 2147483647 178214 71 | 68.925 % |
446.81/447.02 c | 180899 | 27813 135443 394093 | 2147483647 179614 71 | 68.925 % |
451.61/451.89 c | 182439 | 27813 135443 394093 | 2147483647 181154 71 | 68.925 % |
457.81/458.06 c | 184135 | 27813 135443 394093 | 2147483647 182850 71 | 68.925 % |
463.71/463.96 c | 185998 | 27813 135443 394093 | 2147483647 184713 71 | 68.925 % |
464.11/464.31 c | 186098 | 27813 135443 394093 | 2147483647 184813 71 | 68.925 % |
464.51/464.79 c | 186208 | 27813 135443 394093 | 2147483647 184923 71 | 68.925 % |
465.31/465.51 c | 186330 | 27813 135443 394093 | 2147483647 185045 71 | 68.925 % |
465.91/466.14 c | 186467 | 27813 135443 394093 | 2147483647 185182 71 | 68.925 % |
466.41/466.66 c | 186613 | 27813 135443 394093 | 2147483647 185328 71 | 68.925 % |
467.01/467.21 c | 186773 | 27813 135443 394093 | 2147483647 185488 71 | 68.925 % |
467.71/467.98 c | 186949 | 27813 135443 394093 | 2147483647 185664 71 | 68.925 % |
468.41/468.63 c | 187142 | 27813 135443 394093 | 2147483647 185857 71 | 68.925 % |
469.11/469.38 c | 187355 | 27813 135443 394093 | 2147483647 186070 71 | 68.925 % |
469.81/470.08 c | 187591 | 27813 135443 394093 | 2147483647 186306 71 | 68.925 % |
470.71/470.93 c | 187847 | 27813 135443 394093 | 2147483647 186562 71 | 68.925 % |
471.51/471.79 c | 188128 | 27813 135443 394093 | 2147483647 186843 71 | 68.925 % |
472.61/472.83 c | 188443 | 27813 135443 394093 | 2147483647 187158 71 | 68.925 % |
473.70/473.90 c | 188782 | 27813 135443 394093 | 2147483647 187497 71 | 68.925 % |
474.91/475.12 c | 189157 | 27813 135443 394093 | 2147483647 187872 71 | 68.925 % |
476.50/476.74 c | 189566 | 27813 135443 394093 | 2147483647 188281 70 | 68.925 % |
477.70/477.93 c | 190016 | 27813 135443 394093 | 2147483647 188731 71 | 68.925 % |
478.70/478.92 c | 190511 | 27813 135443 394093 | 2147483647 189226 71 | 68.925 % |
480.70/480.98 c | 191054 | 27813 135443 394093 | 2147483647 189769 71 | 68.925 % |
482.71/482.91 c | 191652 | 27813 135443 394093 | 2147483647 190367 71 | 68.925 % |
484.70/484.96 c | 192309 | 27813 135443 394093 | 2147483647 191024 71 | 68.925 % |
487.80/488.02 c | 193030 | 27799 135354 393855 | 2147483647 191741 71 | 68.940 % |
490.80/491.07 c | 193824 | 27799 135354 393855 | 2147483647 192535 71 | 68.940 % |
493.90/494.19 c | 194696 | 27799 135354 393855 | 2147483647 193407 71 | 68.940 % |
497.10/497.35 c | 195654 | 27799 135354 393855 | 2147483647 194365 71 | 68.940 % |
501.00/501.22 c | 196707 | 27799 135354 393855 | 2147483647 195418 71 | 68.940 % |
505.70/505.92 c | 197866 | 27799 135354 393855 | 2147483647 196576 71 | 68.954 % |
511.00/511.28 c | 199139 | 27799 135354 393855 | 2147483647 197849 71 | 68.954 % |
516.30/516.58 c | 200541 | 27799 135354 393855 | 2147483647 199251 71 | 68.954 % |
521.39/521.60 c | 202081 | 27787 135287 393688 | 2147483647 200790 71 | 68.954 % |
527.50/527.78 c | 203775 | 27787 135287 393688 | 2147483647 202484 71 | 68.954 % |
532.89/533.13 c | 205639 | 27787 135287 393688 | 2147483647 204348 71 | 68.954 % |
538.89/539.15 c | 207690 | 27787 135287 393688 | 2147483647 206399 71 | 68.954 % |
539.39/539.63 c | 207790 | 27787 135287 393688 | 2147483647 206499 71 | 68.954 % |
539.69/539.96 c | 207903 | 27787 135287 393688 | 2147483647 206612 71 | 68.954 % |
540.39/540.60 c | 208024 | 27787 135287 393688 | 2147483647 206733 71 | 68.954 % |
540.79/541.01 c | 208159 | 27787 135287 393688 | 2147483647 206868 71 | 68.954 % |
541.49/541.70 c | 208306 | 27787 135287 393688 | 2147483647 207015 71 | 68.954 % |
542.19/542.46 c | 208466 | 27787 135287 393688 | 2147483647 207175 71 | 68.954 % |
542.89/543.17 c | 208645 | 27787 135287 393688 | 2147483647 207354 71 | 68.954 % |
543.59/543.89 c | 208839 | 27787 135287 393688 | 2147483647 207548 71 | 68.954 % |
544.39/544.65 c | 209055 | 27787 135287 393688 | 2147483647 207764 71 | 68.954 % |
545.09/545.34 c | 209289 | 27787 135287 393688 | 2147483647 207998 71 | 68.954 % |
546.29/546.52 c | 209545 | 27787 135287 393688 | 2147483647 208254 71 | 68.954 % |
547.39/547.62 c | 209827 | 27787 135287 393688 | 2147483647 208536 71 | 68.954 % |
548.99/549.20 c | 210137 | 27787 135287 393688 | 2147483647 208846 71 | 68.954 % |
549.99/550.23 c | 210476 | 27787 135287 393688 | 2147483647 209185 71 | 68.954 % |
551.79/552.01 c | 210848 | 27787 135287 393688 | 2147483647 209557 71 | 68.954 % |
553.38/553.69 c | 211257 | 27787 135287 393688 | 2147483647 209966 71 | 68.954 % |
555.78/556.02 c | 211707 | 27787 135287 393688 | 2147483647 210416 71 | 68.954 % |
557.78/558.06 c | 212206 | 27787 135287 393688 | 2147483647 210915 71 | 68.954 % |
559.68/559.96 c | 212748 | 27787 135287 393688 | 2147483647 211457 71 | 68.954 % |
561.98/562.23 c | 213346 | 27787 135287 393688 | 2147483647 212055 71 | 68.954 % |
564.78/565.09 c | 214003 | 27787 135287 393688 | 2147483647 212712 71 | 68.954 % |
566.98/567.28 c | 214723 | 27787 135287 393688 | 2147483647 213432 71 | 68.954 % |
569.29/569.50 c | 215516 | 27787 135287 393688 | 2147483647 214225 71 | 68.954 % |
571.79/572.07 c | 216387 | 27787 135287 393688 | 2147483647 215096 71 | 68.954 % |
575.58/575.88 c | 217350 | 27787 135287 393688 | 2147483647 216059 71 | 68.954 % |
579.58/579.89 c | 218406 | 27787 135287 393688 | 2147483647 217115 71 | 68.954 % |
585.47/585.70 c | 219565 | 27787 135287 393688 | 2147483647 218274 71 | 68.954 % |
589.77/590.04 c | 220839 | 27787 135287 393688 | 2147483647 219548 71 | 68.954 % |
593.98/594.22 c | 222240 | 27787 135287 393688 | 2147483647 220949 71 | 68.954 % |
598.48/598.73 c | 223781 | 27787 135287 393688 | 2147483647 222490 71 | 68.954 % |
603.47/603.71 c | 225477 | 27787 135287 393688 | 2147483647 224186 70 | 68.954 % |
610.27/610.54 c | 227340 | 27787 135287 393688 | 2147483647 226049 70 | 68.954 % |
619.57/619.80 c | 229391 | 27787 135287 393688 | 2147483647 228100 70 | 68.954 % |
627.77/628.09 c | 231644 | 27787 135287 393688 | 2147483647 230353 70 | 68.954 % |
628.07/628.38 c | 231744 | 27787 135287 393688 | 2147483647 230453 70 | 68.954 % |
628.37/628.68 c | 231854 | 27787 135287 393688 | 2147483647 230563 70 | 68.954 % |
628.87/629.16 c | 231976 | 27787 135287 393688 | 2147483647 230685 70 | 68.954 % |
629.47/629.78 c | 232109 | 27787 135287 393688 | 2147483647 230818 70 | 68.954 % |
630.07/630.38 c | 232256 | 27787 135287 393688 | 2147483647 230965 70 | 68.954 % |
630.77/631.05 c | 232416 | 27787 135287 393688 | 2147483647 231125 70 | 68.954 % |
631.57/631.83 c | 232592 | 27787 135287 393688 | 2147483647 231301 70 | 68.954 % |
632.37/632.68 c | 232785 | 27787 135287 393688 | 2147483647 231494 70 | 68.954 % |
633.57/633.80 c | 232999 | 27787 135287 393688 | 2147483647 231708 70 | 68.954 % |
634.97/635.24 c | 233233 | 27787 135287 393688 | 2147483647 231942 70 | 68.954 % |
636.57/636.84 c | 233491 | 27787 135287 393688 | 2147483647 232200 70 | 68.954 % |
637.97/638.22 c | 233773 | 27787 135287 393688 | 2147483647 232482 70 | 68.954 % |
639.17/639.48 c | 234084 | 27787 135287 393688 | 2147483647 232793 70 | 68.954 % |
640.46/640.76 c | 234424 | 27787 135287 393688 | 2147483647 233133 70 | 68.954 % |
641.96/642.23 c | 234797 | 27743 135197 393392 | 2147483647 233505 70 | 69.003 % |
643.66/643.97 c | 235206 | 27743 135197 393392 | 2147483647 233914 70 | 69.003 % |
645.36/645.62 c | 235659 | 27743 135197 393392 | 2147483647 234367 70 | 69.003 % |
647.36/647.69 c | 236155 | 27743 135197 393392 | 2147483647 234862 70 | 69.004 % |
649.26/649.57 c | 236698 | 27743 135197 393392 | 2147483647 235405 70 | 69.004 % |
652.16/652.44 c | 237294 | 27743 135197 393392 | 2147483647 236001 70 | 69.004 % |
654.76/655.03 c | 237951 | 27743 135197 393392 | 2147483647 236658 70 | 69.004 % |
657.46/657.74 c | 238672 | 27743 135197 393392 | 2147483647 237379 70 | 69.004 % |
661.25/661.58 c | 239464 | 27743 135197 393392 | 2147483647 238171 70 | 69.004 % |
665.35/665.67 c | 240335 | 27743 135197 393392 | 2147483647 239042 70 | 69.004 % |
668.45/668.77 c | 241294 | 27743 135197 393392 | 2147483647 240001 70 | 69.004 % |
672.15/672.48 c | 242348 | 27743 135197 393392 | 2147483647 241055 70 | 69.004 % |
677.16/677.41 c | 243509 | 27743 135197 393392 | 2147483647 242216 71 | 69.004 % |
682.05/682.39 c | 244782 | 27743 135197 393392 | 2147483647 243489 71 | 69.004 % |
687.85/688.19 c | 246183 | 27743 135197 393392 | 2147483647 244890 71 | 69.004 % |
693.85/694.17 c | 247724 | 27742 135194 393386 | 2147483647 246430 70 | 69.004 % |
701.24/701.58 c | 249420 | 27742 135194 393386 | 2147483647 248126 71 | 69.004 % |
710.14/710.41 c | 251287 | 27742 135194 393386 | 2147483647 249993 71 | 69.004 % |
717.34/717.63 c | 253336 | 27742 135194 393386 | 2147483647 252042 71 | 69.004 % |
727.84/728.16 c | 255590 | 27742 135194 393386 | 2147483647 254296 71 | 69.004 % |
736.24/736.55 c | 258068 | 27742 135194 393386 | 2147483647 256774 71 | 69.004 % |
736.64/736.94 c | 258169 | 27742 135194 393386 | 2147483647 256875 71 | 69.004 % |
737.14/737.48 c | 258280 | 27742 135194 393386 | 2147483647 256986 71 | 69.004 % |
737.74/738.07 c | 258403 | 27742 135194 393386 | 2147483647 257109 71 | 69.004 % |
738.44/738.77 c | 258537 | 27729 135102 393119 | 2147483647 257236 71 | 69.019 % |
739.14/739.41 c | 258685 | 27729 135102 393119 | 2147483647 257384 71 | 69.019 % |
739.84/740.14 c | 258845 | 27729 135102 393119 | 2147483647 257544 71 | 69.019 % |
740.84/741.11 c | 259024 | 27729 135102 393119 | 2147483647 257723 71 | 69.019 % |
741.73/742.09 c | 259218 | 27729 135102 393119 | 2147483647 257917 71 | 69.019 % |
742.53/742.87 c | 259434 | 27729 135102 393119 | 2147483647 258133 71 | 69.019 % |
743.63/743.97 c | 259668 | 27729 135102 393119 | 2147483647 258367 71 | 69.019 % |
744.73/745.09 c | 259924 | 27729 135102 393119 | 2147483647 258623 71 | 69.019 % |
745.93/746.24 c | 260205 | 27729 135102 393119 | 2147483647 258904 71 | 69.019 % |
747.43/747.74 c | 260515 | 27729 135102 393119 | 2147483647 259214 71 | 69.019 % |
748.73/749.06 c | 260855 | 27729 135102 393119 | 2147483647 259554 71 | 69.019 % |
750.53/750.87 c | 261228 | 27729 135102 393119 | 2147483647 259927 71 | 69.019 % |
752.52/752.87 c | 261638 | 27729 135102 393119 | 2147483647 260337 71 | 69.019 % |
754.33/754.62 c | 262087 | 27729 135102 393119 | 2147483647 260786 71 | 69.019 % |
756.12/756.45 c | 262585 | 27729 135102 393119 | 2147483647 261284 71 | 69.019 % |
758.03/758.38 c | 263127 | 27729 135102 393119 | 2147483647 261826 71 | 69.019 % |
760.53/760.88 c | 263725 | 27729 135102 393119 | 2147483647 262424 71 | 69.019 % |
763.03/763.39 c | 264380 | 27729 135102 393119 | 2147483647 263079 71 | 69.019 % |
765.43/765.76 c | 265102 | 27729 135102 393119 | 2147483647 263801 71 | 69.019 % |
769.53/769.84 c | 265896 | 27729 135102 393119 | 2147483647 264595 71 | 69.019 % |
773.13/773.46 c | 266768 | 27729 135102 393119 | 2147483647 265467 71 | 69.019 % |
777.13/777.41 c | 267729 | 27729 135102 393119 | 2147483647 266428 70 | 69.019 % |
780.63/780.92 c | 268782 | 27729 135102 393119 | 2147483647 267480 70 | 69.034 % |
786.12/786.43 c | 269940 | 27729 135102 393119 | 2147483647 268638 70 | 69.034 % |
791.42/791.71 c | 271216 | 27729 135102 393119 | 2147483647 269914 70 | 69.034 % |
798.42/798.78 c | 272617 | 27715 135008 392843 | 2147483647 271315 70 | 69.034 % |
804.61/804.99 c | 274157 | 27715 135008 392843 | 2147483647 272855 70 | 69.034 % |
810.91/811.27 c | 275851 | 27715 135008 392843 | 2147483647 274549 70 | 69.034 % |
820.22/820.56 c | 277715 | 27715 135008 392843 | 2147483647 276413 70 | 69.034 % |
828.51/828.86 c | 279764 | 27715 135008 392843 | 2147483647 278462 70 | 69.034 % |
838.31/838.65 c | 282017 | 27715 135008 392843 | 2147483647 280715 70 | 69.034 % |
849.00/849.36 c | 284496 | 27715 135008 392843 | 2147483647 283194 70 | 69.034 % |
859.10/859.44 c | 287224 | 27715 135008 392843 | 2147483647 285922 70 | 69.034 % |
859.50/859.86 c | 287324 | 27715 135008 392843 | 2147483647 286022 70 | 69.034 % |
860.00/860.39 c | 287435 | 27715 135008 392843 | 2147483647 286133 70 | 69.034 % |
860.70/861.09 c | 287556 | 27715 135008 392843 | 2147483647 286254 70 | 69.034 % |
861.31/861.66 c | 287689 | 27715 135008 392843 | 2147483647 286387 70 | 69.034 % |
861.90/862.27 c | 287835 | 27715 135008 392843 | 2147483647 286533 70 | 69.034 % |
862.80/863.13 c | 287996 | 27715 135008 392843 | 2147483647 286694 70 | 69.034 % |
863.70/864.02 c | 288172 | 27715 135008 392843 | 2147483647 286870 70 | 69.034 % |
864.80/865.12 c | 288370 | 27715 135008 392843 | 2147483647 287068 70 | 69.034 % |
865.90/866.25 c | 288582 | 27715 135008 392843 | 2147483647 287280 70 | 69.034 % |
867.00/867.34 c | 288815 | 27715 135008 392843 | 2147483647 287513 70 | 69.034 % |
868.40/868.75 c | 289073 | 27715 135008 392843 | 2147483647 287771 70 | 69.034 % |
869.60/869.90 c | 289354 | 27715 135008 392843 | 2147483647 288052 70 | 69.034 % |
871.00/871.32 c | 289666 | 27715 135008 392843 | 2147483647 288364 70 | 69.034 % |
872.30/872.67 c | 290005 | 27715 135008 392843 | 288699 288703 70 | 69.034 % |
873.99/874.35 c | 290377 | 27715 135008 392843 | 288699 289075 70 | 69.034 % |
875.49/875.80 c | 290788 | 27715 135008 392843 | 288699 289486 70 | 69.034 % |
878.09/878.44 c | 291238 | 27715 135008 392843 | 288699 289936 70 | 69.034 % |
880.49/880.80 c | 291732 | 27715 135008 392843 | 288699 290430 70 | 69.034 % |
882.49/882.85 c | 292277 | 27715 135008 392843 | 288699 290975 70 | 69.034 % |
885.59/885.93 c | 292876 | 27715 135008 392843 | 288699 291574 70 | 69.034 % |
888.59/888.96 c | 293533 | 27715 135008 392843 | 288699 292231 70 | 69.034 % |
891.59/891.96 c | 294254 | 27715 135008 392843 | 288699 292952 70 | 69.034 % |
894.69/895.02 c | 295046 | 27715 135008 392843 | 288699 293744 70 | 69.034 % |
898.49/898.82 c | 295918 | 27715 135008 392843 | 288699 294616 70 | 69.034 % |
902.09/902.43 c | 296876 | 27715 135008 392843 | 288699 295574 70 | 69.034 % |
905.69/906.07 c | 297929 | 27715 135008 392843 | 288699 296627 70 | 69.034 % |
911.29/911.69 c | 299087 | 27715 135008 392843 | 288699 297785 70 | 69.034 % |
916.08/916.44 c | 300360 | 27715 135008 392843 | 298698 299058 70 | 69.034 % |
922.78/923.17 c | 301761 | 27715 135008 392843 | 298698 300459 70 | 69.034 % |
929.38/929.72 c | 303302 | 27714 135005 392837 | 298698 301999 70 | 69.035 % |
937.78/938.18 c | 304997 | 27714 135005 392837 | 298698 303694 70 | 69.035 % |
945.58/945.97 c | 306861 | 27714 135005 392837 | 298698 305556 70 | 69.166 % |
954.97/955.39 c | 308912 | 27714 135005 392837 | 298698 307606 70 | 69.182 % |
962.27/962.62 c | 311166 | 27714 135005 392837 | 2147483647 309860 70 | 69.182 % |
975.07/975.45 c | 313645 | 27714 135005 392837 | 2147483647 312337 70 | 69.197 % |
987.86/988.29 c | 316370 | 27714 135005 392837 | 2147483647 315062 70 | 69.197 % |
1003.26/1003.60 c | 319368 | 27569 134138 390325 | 2147483647 318000 70 | 69.197 % |
1003.76/1004.17 c | 319468 | 27569 134138 390325 | 2147483647 318100 70 | 69.197 % |
1004.36/1004.79 c | 319578 | 27569 134138 390325 | 2147483647 318210 70 | 69.197 % |
1005.06/1005.42 c | 319700 | 27569 134138 390325 | 2147483647 318332 70 | 69.197 % |
1005.66/1006.03 c | 319833 | 27569 134138 390325 | 2147483647 318465 70 | 69.197 % |
1006.26/1006.70 c | 319979 | 27569 134138 390325 | 2147483647 318611 70 | 69.197 % |
1007.16/1007.58 c | 320140 | 27569 134138 390325 | 2147483647 318772 70 | 69.197 % |
1008.16/1008.57 c | 320317 | 27569 134138 390325 | 2147483647 318949 70 | 69.197 % |
1009.06/1009.45 c | 320510 | 27569 134138 390325 | 2147483647 319142 70 | 69.197 % |
1010.06/1010.43 c | 320722 | 27569 134138 390325 | 2147483647 319354 70 | 69.197 % |
1010.95/1011.34 c | 320955 | 27569 134138 390325 | 2147483647 319587 70 | 69.197 % |
1011.95/1012.31 c | 321212 | 27569 134138 390325 | 2147483647 319844 70 | 69.197 % |
1013.25/1013.62 c | 321493 | 27569 134138 390325 | 2147483647 320125 70 | 69.197 % |
1014.35/1014.76 c | 321802 | 27569 134138 390325 | 2147483647 320434 70 | 69.197 % |
1015.75/1016.12 c | 322142 | 27569 134138 390325 | 2147483647 320774 70 | 69.197 % |
1017.16/1017.57 c | 322516 | 27569 134138 390325 | 2147483647 321148 70 | 69.197 % |
1018.55/1018.90 c | 322926 | 27569 134138 390325 | 2147483647 321558 70 | 69.197 % |
1020.05/1020.41 c | 323377 | 27569 134138 390325 | 2147483647 322009 70 | 69.197 % |
1022.25/1022.66 c | 323871 | 27569 134138 390325 | 2147483647 322503 70 | 69.197 % |
1025.06/1025.41 c | 324414 | 27569 134138 390325 | 2147483647 323046 70 | 69.197 % |
1028.35/1028.76 c | 325011 | 27569 134138 390325 | 2147483647 323643 70 | 69.197 % |
1031.46/1031.83 c | 325668 | 27569 134138 390325 | 2147483647 324300 70 | 69.197 % |
1035.55/1035.97 c | 326388 | 27569 134138 390325 | 2147483647 325019 70 | 69.215 % |
1039.15/1039.54 c | 327183 | 27569 134138 390325 | 2147483647 325814 70 | 69.215 % |
1043.05/1043.46 c | 328054 | 27569 134138 390325 | 2147483647 326685 70 | 69.215 % |
1047.65/1048.04 c | 329012 | 27569 134138 390325 | 2147483647 327643 70 | 69.215 % |
1051.84/1052.20 c | 330065 | 27569 134138 390325 | 328631 328696 70 | 69.215 % |
1057.64/1058.02 c | 331224 | 27569 134138 390325 | 328631 329855 70 | 69.215 % |
1064.14/1064.51 c | 332497 | 27569 134138 390325 | 328631 331128 70 | 69.215 % |
1071.44/1071.84 c | 333898 | 27569 134138 390325 | 328631 332529 70 | 69.215 % |
1078.53/1078.95 c | 335438 | 27553 134036 390036 | 328631 334066 70 | 69.215 % |
1086.84/1087.24 c | 337136 | 27553 134036 390036 | 328631 335764 69 | 69.215 % |
1095.34/1095.70 c | 339001 | 27553 134036 390036 | 328631 337629 69 | 69.215 % |
1102.53/1102.90 c | 341051 | 27553 134036 390036 | 338628 339679 69 | 69.215 % |
1113.73/1114.18 c | 343305 | 27553 134036 390036 | 338628 341933 69 | 69.215 % |
1124.33/1124.75 c | 345785 | 27553 134036 390036 | 338628 344413 69 | 69.215 % |
1134.73/1135.14 c | 348510 | 27553 134036 390036 | 338628 347138 69 | 69.215 % |
1145.52/1145.93 c | 351508 | 27553 134036 390036 | 348628 350136 69 | 69.215 % |
1158.62/1159.04 c | 354809 | 27553 134036 390036 | 348628 353437 69 | 69.215 % |
1159.02/1159.44 c | 354910 | 27553 134036 390036 | 348628 353538 69 | 69.215 % |
1159.52/1159.94 c | 355021 | 27553 134036 390036 | 348628 353649 69 | 69.215 % |
1160.22/1160.69 c | 355142 | 27553 134036 390036 | 348628 353770 69 | 69.215 % |
1161.02/1161.46 c | 355276 | 27553 134036 390036 | 348628 353904 69 | 69.215 % |
1161.92/1162.34 c | 355423 | 27553 134036 390036 | 348628 354051 69 | 69.215 % |
1162.91/1163.33 c | 355587 | 27553 134036 390036 | 348628 354215 69 | 69.215 % |
1163.91/1164.32 c | 355764 | 27553 134036 390036 | 348628 354392 69 | 69.215 % |
1164.91/1165.32 c | 355958 | 27553 134036 390036 | 348628 354586 69 | 69.215 % |
1166.21/1166.65 c | 356173 | 27553 134036 390036 | 348628 354801 69 | 69.215 % |
1167.41/1167.84 c | 356406 | 27553 134036 390036 | 348628 355034 69 | 69.215 % |
1169.11/1169.51 c | 356663 | 27553 134036 390036 | 348628 355291 69 | 69.215 % |
1171.01/1171.43 c | 356944 | 27553 134036 390036 | 348628 355572 69 | 69.215 % |
1173.31/1173.80 c | 357255 | 27553 134036 390036 | 348628 355883 69 | 69.215 % |
1175.21/1175.68 c | 357598 | 27553 134036 390036 | 348628 356226 69 | 69.215 % |
1177.21/1177.69 c | 357970 | 27553 134036 390036 | 348628 356598 69 | 69.215 % |
1180.21/1180.64 c | 358382 | 27540 133955 389811 | 348628 357005 69 | 69.230 % |
1182.91/1183.33 c | 358831 | 27540 133955 389811 | 348628 357454 69 | 69.230 % |
1185.61/1186.04 c | 359324 | 27540 133955 389811 | 348628 357947 69 | 69.230 % |
1188.40/1188.87 c | 359866 | 27540 133955 389811 | 348628 358489 69 | 69.230 % |
1190.81/1191.29 c | 360462 | 27540 133955 389811 | 358623 359085 69 | 69.230 % |
1194.01/1194.49 c | 361119 | 27540 133955 389811 | 358623 359742 69 | 69.230 % |
1197.61/1198.05 c | 361841 | 27540 133955 389811 | 358623 360464 69 | 69.230 % |
1201.01/1201.42 c | 362633 | 27540 133955 389811 | 358623 361256 69 | 69.230 % |
1204.91/1205.34 c | 363504 | 27540 133955 389811 | 358623 362127 69 | 69.230 % |
1209.21/1209.62 c | 364464 | 27540 133955 389811 | 358623 363087 69 | 69.230 % |
1214.20/1214.68 c | 365517 | 27540 133955 389811 | 358623 364140 69 | 69.230 % |
1219.20/1219.69 c | 366676 | 27540 133955 389811 | 358623 365299 69 | 69.230 % |
1224.40/1224.80 c | 367949 | 27540 133955 389811 | 358623 366572 69 | 69.230 % |
1232.09/1232.51 c | 369351 | 27540 133955 389811 | 358623 367974 69 | 69.230 % |
1240.89/1241.31 c | 370891 | 27540 133955 389811 | 368624 369513 69 | 69.301 % |
1248.99/1249.47 c | 372586 | 27540 133955 389811 | 368624 371208 69 | 69.301 % |
1257.09/1257.53 c | 374450 | 27540 133955 389811 | 368624 373072 69 | 69.301 % |
1269.09/1269.56 c | 376499 | 27540 133955 389811 | 368624 375121 69 | 69.301 % |
1277.98/1278.44 c | 378753 | 27540 133955 389811 | 368624 377375 69 | 69.301 % |
1291.48/1291.92 c | 381234 | 27540 133955 389811 | 378622 379856 69 | 69.301 % |
1303.27/1303.70 c | 383959 | 27540 133955 389811 | 378622 382581 69 | 69.301 % |
1321.98/1322.42 c | 386956 | 27467 133627 388778 | 378622 385538 69 | 69.327 % |
1337.47/1337.91 c | 390255 | 27467 133627 388778 | 388582 388837 69 | 69.327 % |
1356.37/1356.82 c | 393884 | 27467 133627 388778 | 388582 392466 69 | 69.327 % |
1357.26/1357.70 c | 393985 | 27467 133627 388778 | 388582 392567 69 | 69.327 % |
1357.97/1358.48 c | 394095 | 27467 133627 388778 | 388582 392677 69 | 69.327 % |
1358.96/1359.46 c | 394217 | 27467 133627 388778 | 388582 392799 69 | 69.327 % |
1359.86/1360.36 c | 394352 | 27467 133627 388778 | 388582 392934 69 | 69.327 % |
1361.06/1361.50 c | 394500 | 27467 133627 388778 | 388582 393082 69 | 69.327 % |
1362.16/1362.61 c | 394661 | 27467 133627 388778 | 388582 393243 69 | 69.327 % |
1363.36/1363.80 c | 394838 | 27467 133627 388778 | 388582 393420 69 | 69.327 % |
1364.67/1365.16 c | 395033 | 27467 133627 388778 | 388582 393615 69 | 69.327 % |
1365.77/1366.26 c | 395246 | 27467 133627 388778 | 388582 393828 69 | 69.327 % |
1367.06/1367.60 c | 395479 | 27467 133627 388778 | 388582 394061 69 | 69.327 % |
1368.66/1369.18 c | 395736 | 27467 133627 388778 | 388582 394318 69 | 69.327 % |
1370.16/1370.69 c | 396017 | 27467 133627 388778 | 388582 394599 69 | 69.327 % |
1372.16/1372.69 c | 396327 | 27467 133627 388778 | 388582 394909 69 | 69.327 % |
1374.76/1375.30 c | 396669 | 27467 133627 388778 | 388582 395251 69 | 69.327 % |
1376.76/1377.29 c | 397043 | 27467 133627 388778 | 388582 395625 69 | 69.327 % |
1378.86/1379.31 c | 397453 | 27467 133627 388778 | 388582 396035 69 | 69.327 % |
1381.06/1381.55 c | 397904 | 27467 133627 388778 | 388582 396486 69 | 69.327 % |
1383.95/1384.40 c | 398397 | 27467 133627 388778 | 388582 396979 69 | 69.327 % |
1386.66/1387.16 c | 398941 | 27467 133627 388778 | 388582 397523 69 | 69.327 % |
1390.35/1390.81 c | 399537 | 27467 133627 388778 | 388582 398119 69 | 69.327 % |
1395.05/1395.53 c | 400193 | 27467 133627 388778 | 398583 398775 69 | 69.327 % |
1399.45/1399.97 c | 400913 | 27467 133627 388778 | 398583 399495 69 | 69.327 % |
1405.15/1405.64 c | 401705 | 27467 133627 388778 | 398583 400286 69 | 69.340 % |
1410.15/1410.63 c | 402577 | 27441 133460 388305 | 398583 401150 69 | 69.340 % |
1415.15/1415.64 c | 403536 | 27441 133460 388305 | 398583 402109 69 | 69.340 % |
1421.45/1421.93 c | 404591 | 27441 133460 388305 | 398583 403164 69 | 69.340 % |
1427.04/1427.53 c | 405749 | 27441 133460 388305 | 398583 404322 69 | 69.340 % |
1435.04/1435.53 c | 407022 | 27441 133460 388305 | 398583 405595 69 | 69.340 % |
1443.33/1443.83 c | 408423 | 27441 133460 388305 | 398583 406996 69 | 69.340 % |
1450.53/1451.08 c | 409963 | 27441 133460 388305 | 398583 408536 69 | 69.340 % |
1460.24/1460.72 c | 411657 | 27441 133460 388305 | 408573 410230 69 | 69.340 % |
1469.23/1469.78 c | 413522 | 27441 133460 388305 | 408573 412095 69 | 69.340 % |
1480.23/1480.78 c | 415573 | 27441 133460 388305 | 408573 414145 69 | 69.353 % |
1489.52/1490.04 c | 417826 | 27441 133460 388305 | 408573 416398 69 | 69.353 % |
1501.23/1501.74 c | 420306 | 27441 133460 388305 | 418573 418878 69 | 69.353 % |
1514.02/1514.56 c | 423031 | 27441 133460 388305 | 418573 421603 69 | 69.353 % |
1529.81/1530.32 c | 426029 | 27441 133460 388305 | 418573 424601 69 | 69.353 % |
1544.81/1545.39 c | 429327 | 27430 133391 388116 | 418573 427896 69 | 69.353 % |
1564.11/1564.61 c | 432952 | 27430 133391 388116 | 428570 431521 69 | 69.353 % |
1583.50/1584.06 c | 436939 | 27430 133391 388116 | 428570 435508 69 | 69.353 % |
1584.10/1584.61 c | 437040 | 27430 133391 388116 | 428570 435609 69 | 69.353 % |
1585.10/1585.66 c | 437151 | 27430 133391 388116 | 428570 435720 69 | 69.353 % |
1586.00/1586.54 c | 437272 | 27430 133391 388116 | 428570 435841 69 | 69.353 % |
1586.90/1587.48 c | 437407 | 27430 133391 388116 | 428570 435976 69 | 69.353 % |
1588.00/1588.56 c | 437557 | 27430 133391 388116 | 428570 436126 69 | 69.353 % |
1589.30/1589.82 c | 437717 | 27430 133391 388116 | 428570 436286 69 | 69.353 % |
1590.40/1590.90 c | 437894 | 27430 133391 388116 | 428570 436463 69 | 69.353 % |
1591.50/1592.07 c | 438087 | 27430 133391 388116 | 428570 436656 69 | 69.353 % |
1592.90/1593.40 c | 438299 | 27430 133391 388116 | 428570 436868 69 | 69.353 % |
1594.40/1594.93 c | 438532 | 27430 133391 388116 | 428570 437101 69 | 69.353 % |
1595.99/1596.53 c | 438788 | 27430 133391 388116 | 428570 437357 69 | 69.353 % |
1597.80/1598.38 c | 439070 | 27430 133391 388116 | 428570 437639 69 | 69.353 % |
1599.49/1600.04 c | 439379 | 27430 133391 388116 | 428570 437948 69 | 69.353 % |
1601.79/1602.33 c | 439718 | 27430 133391 388116 | 428570 438287 69 | 69.353 % |
1603.59/1604.15 c | 440091 | 27430 133391 388116 | 438569 438660 69 | 69.353 % |
1605.89/1606.46 c | 440501 | 27430 133391 388116 | 438569 439070 69 | 69.353 % |
1608.99/1609.55 c | 440950 | 27430 133391 388116 | 438569 439519 69 | 69.353 % |
1612.29/1612.86 c | 441443 | 27430 133391 388116 | 438569 440012 69 | 69.353 % |
1615.79/1616.37 c | 441986 | 27430 133391 388116 | 438569 440555 69 | 69.353 % |
1619.58/1620.18 c | 442584 | 27430 133391 388116 | 438569 441153 69 | 69.353 % |
1623.48/1624.07 c | 443240 | 27430 133391 388116 | 438569 441809 69 | 69.353 % |
1627.98/1628.53 c | 443961 | 27430 133391 388116 | 438569 442530 69 | 69.353 % |
1633.48/1634.01 c | 444755 | 27430 133391 388116 | 438569 443324 69 | 69.353 % |
1640.98/1641.53 c | 445626 | 27430 133391 388116 | 438569 444195 69 | 69.353 % |
1647.48/1648.06 c | 446584 | 27430 133391 388116 | 438569 445153 69 | 69.353 % |
1653.68/1654.25 c | 447638 | 27283 133391 388116 | 438569 446206 69 | 70.176 % |
1658.98/1659.56 c | 448796 | 27283 133391 388116 | 438569 447364 69 | 70.176 % |
1664.88/1665.45 c | 450070 | 27283 133391 388116 | 448568 448638 69 | 70.176 % |
1674.87/1675.41 c | 451472 | 27283 133391 388116 | 448568 450040 69 | 70.176 % |
1685.26/1685.85 c | 453012 | 26693 129013 375690 | 448568 451558 69 | 70.176 % |
1694.67/1695.23 c | 454708 | 26693 129013 375690 | 448568 453254 69 | 70.176 % |
1704.87/1705.42 c | 456571 | 26693 129013 375690 | 448568 455117 69 | 70.176 % |
1715.66/1716.24 c | 458621 | 26693 129013 375690 | 448568 457166 69 | 70.189 % |
1728.36/1728.95 c | 460874 | 26693 129013 375690 | 458547 459419 69 | 70.189 % |
1748.55/1749.12 c | 463353 | 26693 129013 375690 | 458547 461898 69 | 70.189 % |
1767.16/1767.74 c | 466078 | 26693 129013 375690 | 458547 464623 69 | 70.190 % |
1784.25/1784.87 c | 469075 | 26693 129013 375690 | 458547 467620 69 | 70.189 % |
1804.24/1804.90 c | 472372 | 26693 129013 375690 | 468548 470917 69 | 70.190 % |
1825.24/1825.89 c | 475997 | 26693 129013 375690 | 468548 474542 69 | 70.189 % |
1852.72/1853.34 c | 479987 | 26693 129013 375690 | 468548 478532 69 | 70.190 % |
1877.62/1878.29 c | 484372 | 26681 128927 375458 | 478544 482916 69 | 70.189 % |
1878.32/1878.96 c | 484475 | 26681 128927 375458 | 478544 483019 69 | 70.189 % |
1879.23/1879.87 c | 484585 | 26681 128927 375458 | 478544 483129 69 | 70.189 % |
1880.02/1880.65 c | 484706 | 26681 128927 375458 | 478544 483250 69 | 70.190 % |
1880.92/1881.58 c | 484841 | 26681 128927 375458 | 478544 483385 69 | 70.189 % |
1882.22/1882.85 c | 484989 | 26681 128927 375458 | 478544 483533 69 | 70.189 % |
1883.52/1884.16 c | 485149 | 26681 128927 375458 | 478544 483693 69 | 70.189 % |
1885.02/1885.65 c | 485325 | 26681 128927 375458 | 478544 483869 69 | 70.190 % |
1886.32/1886.98 c | 485520 | 26681 128927 375458 | 478544 484064 69 | 70.189 % |
1887.42/1888.03 c | 485735 | 26681 128927 375458 | 478544 484279 69 | 70.189 % |
1889.12/1889.71 c | 485968 | 26681 128927 375458 | 478544 484512 69 | 70.189 % |
1890.92/1891.52 c | 486224 | 26681 128927 375458 | 478544 484768 69 | 70.189 % |
1892.42/1893.01 c | 486506 | 26681 128927 375458 | 478544 485050 69 | 70.190 % |
1894.52/1895.11 c | 486815 | 26681 128927 375458 | 478544 485359 69 | 70.189 % |
1897.11/1897.78 c | 487156 | 26681 128927 375458 | 478544 485700 69 | 70.189 % |
1899.71/1900.33 c | 487529 | 26681 128927 375458 | 478544 486073 69 | 70.189 % |
1901.81/1902.47 c | 487939 | 26681 128927 375458 | 478544 486483 69 | 70.189 % |
1904.41/1905.07 c | 488390 | 26681 128927 375458 | 478544 486934 69 | 70.189 % |
1908.41/1909.07 c | 488883 | 26681 128927 375458 | 478544 487427 69 | 70.189 % |
1912.21/1912.81 c | 489425 | 26681 128927 375458 | 478544 487969 69 | 70.189 % |
1915.91/1916.59 c | 490022 | 26681 128927 375458 | 488546 488566 68 | 70.189 % |
1920.11/1920.77 c | 490677 | 26681 128927 375458 | 488546 489221 68 | 70.189 % |
1924.50/1925.14 c | 491401 | 26681 128927 375458 | 488546 489945 68 | 70.189 % |
1929.60/1930.29 c | 492193 | 26681 128927 375458 | 488546 490737 68 | 70.189 % |
1934.50/1935.12 c | 493065 | 26681 128927 375458 | 488546 491609 68 | 70.189 % |
1940.80/1941.44 c | 494023 | 26681 128927 375458 | 488546 492566 68 | 70.203 % |
1947.40/1948.08 c | 495078 | 26681 128927 375458 | 488546 493621 68 | 70.203 % |
1953.69/1954.39 c | 496236 | 26681 128927 375458 | 488546 494779 68 | 70.203 % |
1961.69/1962.38 c | 497510 | 26681 128927 375458 | 488546 496053 68 | 70.203 % |
1970.50/1971.18 c | 498910 | 26681 128927 375458 | 488546 497453 68 | 70.203 % |
1980.19/1980.80 c | 500451 | 26681 128927 375458 | 498544 498994 68 | 70.203 % |
1991.28/1991.95 c | 502145 | 26681 128927 375458 | 498544 500688 68 | 70.203 % |
2005.09/2005.72 c | 504010 | 26681 128927 375458 | 498544 502553 68 | 70.203 % |
2015.88/2016.50 c | 506060 | 26681 128927 375458 | 498544 504603 68 | 70.203 % |
2029.38/2030.06 c | 508313 | 26681 128927 375458 | 498544 506856 68 | 70.203 % |
2046.27/2046.92 c | 510792 | 26681 128927 375458 | 508543 509334 68 | 70.291 % |
2060.97/2061.69 c | 513517 | 26681 128927 375458 | 508543 512059 68 | 70.291 % |
2080.57/2081.22 c | 516516 | 26590 128479 374371 | 508543 515055 68 | 70.291 % |
2105.46/2106.14 c | 519813 | 26590 128479 374371 | 508543 518352 68 | 70.291 % |
2131.96/2132.60 c | 523438 | 26590 128479 374371 | 518540 521977 68 | 70.291 % |
2158.55/2159.26 c | 527425 | 26590 128479 374371 | 518540 525964 68 | 70.291 % |
2189.74/2190.45 c | 531811 | 26590 128479 374371 | 528539 530350 68 | 70.291 % |
2217.94/2218.69 c | 536634 | 26590 128479 374371 | 528539 535173 68 | 70.291 % |
2218.53/2219.22 c | 536735 | 26590 128479 374371 | 528539 535274 68 | 70.291 % |
2219.33/2220.04 c | 536846 | 26590 128479 374371 | 528539 535385 68 | 70.291 % |
2220.14/2220.86 c | 536967 | 26590 128479 374371 | 528539 535506 68 | 70.291 % |
2221.03/2221.77 c | 537102 | 26590 128479 374371 | 528539 535641 68 | 70.291 % |
2221.93/2222.68 c | 537248 | 26590 128479 374371 | 528539 535787 68 | 70.291 % |
2223.03/2223.72 c | 537408 | 26590 128479 374371 | 528539 535947 68 | 70.291 % |
2224.54/2225.22 c | 537588 | 26590 128479 374371 | 528539 536127 68 | 70.291 % |
2225.63/2226.38 c | 537781 | 26590 128479 374371 | 528539 536320 68 | 70.291 % |
2227.23/2227.94 c | 537993 | 26590 128479 374371 | 528539 536532 68 | 70.291 % |
2228.63/2229.37 c | 538226 | 26590 128479 374371 | 528539 536765 68 | 70.291 % |
2230.73/2231.49 c | 538484 | 26590 128479 374371 | 528539 537023 68 | 70.291 % |
2233.13/2233.86 c | 538766 | 26590 128479 374371 | 528539 537305 68 | 70.291 % |
2234.92/2235.65 c | 539077 | 26590 128479 374371 | 528539 537616 68 | 70.291 % |
2236.63/2237.38 c | 539417 | 26590 128479 374371 | 528539 537956 68 | 70.291 % |
2239.93/2240.61 c | 539790 | 26590 128479 374371 | 528539 538329 68 | 70.291 % |
2242.52/2243.24 c | 540200 | 26590 128479 374371 | 538539 538739 68 | 70.291 % |
2246.32/2247.01 c | 540649 | 26590 128479 374371 | 538539 539188 68 | 70.291 % |
2249.92/2250.67 c | 541142 | 26590 128479 374371 | 538539 539681 68 | 70.291 % |
2255.32/2256.05 c | 541689 | 26590 128479 374371 | 538539 540228 68 | 70.291 % |
2261.51/2262.27 c | 542285 | 26590 128479 374371 | 538539 540824 68 | 70.291 % |
2268.11/2268.83 c | 542941 | 26590 128479 374371 | 538539 541480 68 | 70.291 % |
2274.41/2275.12 c | 543661 | 26590 128479 374371 | 538539 542200 68 | 70.291 % |
2280.32/2281.03 c | 544453 | 26590 128479 374371 | 538539 542992 68 | 70.291 % |
2286.02/2286.75 c | 545326 | 26577 128386 374114 | 538539 543862 68 | 70.306 % |
2292.51/2293.21 c | 546284 | 26577 128386 374114 | 538539 544820 68 | 70.306 % |
2300.21/2300.95 c | 547337 | 26577 128386 374114 | 538539 545873 68 | 70.306 % |
2308.00/2308.77 c | 548497 | 26577 128386 374114 | 538539 547033 68 | 70.306 % |
2317.30/2318.04 c | 549773 | 26577 128386 374114 | 538539 548309 68 | 70.306 % |
2327.20/2327.96 c | 551174 | 26577 128386 374114 | 548537 549710 68 | 70.306 % |
2336.39/2337.11 c | 552714 | 26577 128386 374114 | 548537 551250 68 | 70.306 % |
2346.20/2346.99 c | 554409 | 26577 128386 374114 | 548537 552945 68 | 70.306 % |
2357.79/2358.55 c | 556274 | 26577 128386 374114 | 548537 554810 68 | 70.306 % |
2371.19/2371.96 c | 558323 | 26577 128386 374114 | 548537 556859 68 | 70.306 % |
2385.48/2386.22 c | 560576 | 26577 128386 374114 | 558539 559112 67 | 70.306 % |
2406.47/2407.25 c | 563055 | 26577 128386 374114 | 558539 561590 67 | 70.316 % |
2426.88/2427.63 c | 565781 | 26577 128386 374114 | 558539 564316 67 | 70.316 % |
2447.77/2448.52 c | 568779 | 26577 128386 374114 | 558539 567314 67 | 70.316 % |
2468.67/2469.46 c | 572075 | 26577 128386 374114 | 568536 570610 67 | 70.316 % |
2491.35/2492.12 c | 575700 | 26577 128386 374114 | 568536 574235 67 | 70.316 % |
2521.64/2522.47 c | 579689 | 26577 128386 374114 | 568536 578224 67 | 70.316 % |
2547.54/2548.35 c | 584074 | 26577 128386 374114 | 578535 582609 67 | 70.316 % |
2582.33/2583.17 c | 588897 | 26577 128386 374114 | 578535 587432 67 | 70.316 % |
2623.62/2624.44 c | 594203 | 26568 128321 373941 | 588535 592737 67 | 70.316 % |
2624.72/2625.56 c | 594305 | 26568 128321 373941 | 588535 592839 67 | 70.316 % |
2625.62/2626.44 c | 594415 | 26568 128321 373941 | 588535 592949 67 | 70.316 % |
2626.72/2627.51 c | 594536 | 26568 128321 373941 | 588535 593070 67 | 70.316 % |
2627.82/2628.68 c | 594670 | 26568 128321 373941 | 588535 593204 67 | 70.316 % |
2629.02/2629.82 c | 594816 | 26568 128321 373941 | 588535 593350 67 | 70.316 % |
2630.02/2630.85 c | 594977 | 26568 128321 373941 | 588535 593511 67 | 70.316 % |
2631.91/2632.77 c | 595153 | 26568 128321 373941 | 588535 593687 67 | 70.316 % |
2633.62/2634.41 c | 595347 | 26568 128321 373941 | 588535 593881 67 | 70.316 % |
2635.11/2635.96 c | 595561 | 26568 128321 373941 | 588535 594095 67 | 70.316 % |
2637.21/2638.02 c | 595795 | 26568 128321 373941 | 588535 594329 67 | 70.316 % |
2638.81/2639.62 c | 596052 | 26568 128321 373941 | 588535 594586 67 | 70.316 % |
2640.51/2641.37 c | 596333 | 26568 128321 373941 | 588535 594867 67 | 70.316 % |
2642.91/2643.74 c | 596642 | 26568 128321 373941 | 588535 595176 67 | 70.316 % |
2645.81/2646.69 c | 596981 | 26568 128321 373941 | 588535 595515 67 | 70.316 % |
2647.51/2648.34 c | 597356 | 26568 128321 373941 | 588535 595890 67 | 70.316 % |
2650.31/2651.11 c | 597767 | 26568 128321 373941 | 588535 596301 67 | 70.316 % |
2653.21/2654.06 c | 598216 | 26568 128321 373941 | 588535 596750 67 | 70.316 % |
2656.01/2656.88 c | 598715 | 26568 128321 373941 | 588535 597249 67 | 70.316 % |
2659.61/2660.41 c | 599257 | 26568 128321 373941 | 588535 597791 67 | 70.316 % |
2662.21/2663.01 c | 599855 | 26568 128321 373941 | 588535 598389 67 | 70.316 % |
2665.51/2666.33 c | 600510 | 26568 128321 373941 | 598538 599044 67 | 70.316 % |
2670.40/2671.20 c | 601230 | 26568 128321 373941 | 598538 599764 67 | 70.316 % |
2675.00/2675.80 c | 602022 | 26568 128321 373941 | 598538 600556 67 | 70.316 % |
2680.30/2681.12 c | 602893 | 26568 128321 373941 | 598538 601427 67 | 70.316 % |
2687.90/2688.75 c | 603851 | 26568 128321 373941 | 598538 602385 67 | 70.316 % |
2697.99/2698.89 c | 604906 | 26568 128321 373941 | 598538 603440 67 | 70.316 % |
2708.60/2709.43 c | 606065 | 26568 128321 373941 | 598538 604599 67 | 70.316 % |
2715.69/2716.51 c | 607338 | 26568 128321 373941 | 598538 605872 67 | 70.316 % |
2724.89/2725.74 c | 608738 | 26568 128321 373941 | 598538 607272 67 | 70.316 % |
2736.68/2737.51 c | 610278 | 26568 128321 373941 | 608537 608812 67 | 70.316 % |
2751.58/2752.43 c | 611972 | 26568 128321 373941 | 608537 610506 67 | 70.316 % |
2765.47/2766.31 c | 613835 | 26568 128321 373941 | 608537 612369 67 | 70.316 % |
2780.98/2781.81 c | 615885 | 26568 128321 373941 | 608537 614419 67 | 70.316 % |
2799.57/2800.43 c | 618140 | 26568 128321 373941 | 608537 616674 67 | 70.316 % |
2822.36/2823.28 c | 620619 | 26568 128321 373941 | 618534 619153 67 | 70.316 % |
2842.95/2843.88 c | 623346 | 26568 128321 373941 | 618534 621880 67 | 70.316 % |
2860.26/2861.16 c | 626343 | 26568 128321 373941 | 618534 624877 67 | 70.316 % |
2881.65/2882.57 c | 629639 | 26568 128321 373941 | 618534 628173 67 | 70.316 % |
2903.14/2904.04 c | 633264 | 26391 127429 371069 | 628535 631793 67 | 70.514 % |
2923.13/2924.01 c | 637251 | 26391 127429 371069 | 628535 635779 67 | 70.515 % |
2949.23/2950.17 c | 641636 | 26391 127429 371069 | 638528 640164 67 | 70.515 % |
2982.92/2983.89 c | 646462 | 26391 127429 371069 | 638528 644990 67 | 70.515 % |
3015.01/3015.96 c | 651768 | 26391 127429 371069 | 648528 650296 67 | 70.515 % |
3056.00/3056.92 c | 657604 | 26391 127429 371069 | 648528 656131 67 | 70.534 % |
3056.70/3057.68 c | 657704 | 26391 127429 371069 | 648528 656231 67 | 70.534 % |
3057.50/3058.41 c | 657814 | 26391 127429 371069 | 648528 656341 67 | 70.534 % |
3058.40/3059.38 c | 657935 | 26391 127429 371069 | 648528 656462 67 | 70.534 % |
3059.40/3060.37 c | 658069 | 26391 127429 371069 | 648528 656596 67 | 70.534 % |
3061.30/3062.21 c | 658218 | 26391 127429 371069 | 648528 656745 67 | 70.534 % |
3062.80/3063.71 c | 658381 | 26391 127429 371069 | 648528 656908 67 | 70.534 % |
3064.60/3065.56 c | 658557 | 26391 127429 371069 | 648528 657084 67 | 70.534 % |
3066.70/3067.60 c | 658750 | 26391 127429 371069 | 648528 657277 67 | 70.534 % |
3068.70/3069.61 c | 658964 | 26391 127429 371069 | 648528 657491 67 | 70.534 % |
3070.49/3071.49 c | 659197 | 26391 127429 371069 | 648528 657724 67 | 70.534 % |
3073.09/3074.05 c | 659454 | 26391 127429 371069 | 648528 657981 67 | 70.534 % |
3076.09/3077.10 c | 659736 | 26391 127429 371069 | 648528 658263 67 | 70.534 % |
3079.39/3080.39 c | 660045 | 26391 127429 371069 | 658528 658572 67 | 70.534 % |
3083.69/3084.69 c | 660384 | 26373 127308 370718 | 658528 658909 67 | 70.534 % |
3086.89/3087.84 c | 660756 | 26373 127308 370718 | 658528 659281 67 | 70.534 % |
3090.49/3091.48 c | 661167 | 26373 127308 370718 | 658528 659692 67 | 70.534 % |
3093.69/3094.64 c | 661617 | 26373 127308 370718 | 658528 660142 67 | 70.534 % |
3098.08/3099.05 c | 662112 | 26373 127308 370718 | 658528 660637 67 | 70.534 % |
3103.78/3104.75 c | 662655 | 26373 127308 370718 | 658528 661180 67 | 70.534 % |
3110.69/3111.68 c | 663251 | 26373 127308 370718 | 658528 661776 67 | 70.534 % |
3117.49/3118.46 c | 663909 | 26373 127308 370718 | 658528 662434 67 | 70.534 % |
3123.88/3124.84 c | 664631 | 26373 127308 370718 | 658528 663156 67 | 70.534 % |
3130.48/3131.41 c | 665425 | 26373 127308 370718 | 658528 663950 67 | 70.534 % |
3140.07/3141.06 c | 666296 | 26373 127308 370718 | 658528 664821 67 | 70.534 % |
3147.77/3148.75 c | 667255 | 26373 127308 370718 | 658528 665780 67 | 70.534 % |
3156.67/3157.66 c | 668308 | 26373 127308 370718 | 658528 666833 67 | 70.534 % |
3166.47/3167.47 c | 669467 | 26373 127308 370718 | 658528 667992 67 | 70.534 % |
3178.37/3179.33 c | 670743 | 26373 127308 370718 | 668526 669268 67 | 70.534 % |
3192.56/3193.58 c | 672143 | 26373 127308 370718 | 668526 670668 67 | 70.534 % |
3202.06/3203.09 c | 673683 | 26373 127308 370718 | 668526 672208 67 | 70.534 % |
3217.25/3218.22 c | 675377 | 26373 127308 370718 | 668526 673902 67 | 70.534 % |
3234.65/3235.67 c | 677240 | 26373 127308 370718 | 668526 675765 67 | 70.534 % |
3251.54/3252.54 c | 679292 | 26373 127308 370718 | 668526 677817 67 | 70.534 % |
3269.54/3270.59 c | 681546 | 26373 127308 370718 | 678529 680071 67 | 70.534 % |
3291.24/3292.21 c | 684026 | 26373 127308 370718 | 678529 682551 67 | 70.534 % |
3312.23/3313.27 c | 686751 | 26373 127308 370718 | 678529 685276 67 | 70.534 % |
3338.12/3339.12 c | 689748 | 26373 127308 370718 | 678529 688273 67 | 70.534 % |
3363.41/3364.40 c | 693047 | 26373 127308 370718 | 688526 691572 67 | 70.534 % |
3397.91/3398.94 c | 696673 | 26373 127308 370718 | 688526 695198 67 | 70.534 % |
3432.30/3433.30 c | 700661 | 26373 127308 370718 | 698524 699185 67 | 70.719 % |
3473.08/3474.15 c | 705047 | 26207 126508 368249 | 698524 703556 67 | 70.719 % |
3509.57/3510.60 c | 709871 | 26207 126508 368249 | 698524 708380 67 | 70.719 % |
3555.86/3556.99 c | 715178 | 26207 126508 368249 | 708509 713687 67 | 70.719 % |
3597.85/3598.91 c | 721014 | 26207 126508 368249 | 718509 719523 67 | 70.719 % |
3653.63/3654.77 c | 727432 | 26207 126508 368249 | 718509 725941 67 | 70.719 % |
3654.63/3655.79 c | 727532 | 26207 126508 368249 | 718509 726041 67 | 70.719 % |
3655.94/3657.09 c | 727644 | 26207 126508 368249 | 718509 726153 67 | 70.719 % |
3657.04/3658.11 c | 727766 | 26207 126508 368249 | 718509 726275 67 | 70.719 % |
3658.34/3659.41 c | 727899 | 26207 126508 368249 | 718509 726408 67 | 70.719 % |
3660.04/3661.16 c | 728045 | 26207 126508 368249 | 718509 726554 67 | 70.719 % |
3661.54/3662.62 c | 728205 | 26207 126508 368249 | 718509 726714 67 | 70.719 % |
3663.64/3664.72 c | 728382 | 26207 126508 368249 | 718509 726891 67 | 70.719 % |
3665.74/3666.81 c | 728576 | 26207 126508 368249 | 718509 727085 67 | 70.719 % |
3668.03/3669.18 c | 728789 | 26207 126508 368249 | 718509 727298 67 | 70.719 % |
3670.83/3671.92 c | 729022 | 26207 126508 368249 | 718509 727531 67 | 70.719 % |
3673.23/3674.39 c | 729278 | 26207 126508 368249 | 718509 727787 67 | 70.719 % |
3677.03/3678.15 c | 729559 | 26207 126508 368249 | 718509 728068 67 | 70.719 % |
3679.44/3680.51 c | 729868 | 26207 126508 368249 | 718509 728377 67 | 70.719 % |
3683.43/3684.54 c | 730207 | 26207 126508 368249 | 728510 728716 67 | 70.719 % |
3687.03/3688.11 c | 730579 | 26207 126508 368249 | 728510 729088 67 | 70.719 % |
3690.83/3691.91 c | 730988 | 26207 126508 368249 | 728510 729497 67 | 70.719 % |
3694.93/3696.04 c | 731438 | 26207 126508 368249 | 728510 729947 67 | 70.719 % |
3699.13/3700.23 c | 731933 | 26207 126508 368249 | 728510 730442 67 | 70.719 % |
3704.52/3705.67 c | 732475 | 26207 126508 368249 | 728510 730984 67 | 70.719 % |
3710.02/3711.17 c | 733073 | 26207 126508 368249 | 728510 731582 67 | 70.719 % |
3715.42/3716.52 c | 733728 | 26207 126508 368249 | 728510 732237 67 | 70.719 % |
3720.42/3721.58 c | 734449 | 26207 126508 368249 | 728510 732958 67 | 70.719 % |
3727.02/3728.18 c | 735242 | 26207 126508 368249 | 728510 733751 67 | 70.719 % |
3734.42/3735.56 c | 736114 | 26207 126508 368249 | 728510 734622 67 | 70.735 % |
3745.11/3746.29 c | 737074 | 26207 126508 368249 | 728510 735582 67 | 70.735 % |
3752.81/3753.95 c | 738127 | 26207 126508 368249 | 728510 736635 67 | 70.735 % |
3762.21/3763.38 c | 739286 | 26207 126508 368249 | 728510 737794 67 | 70.735 % |
3772.61/3773.75 c | 740559 | 26207 126508 368249 | 738509 739067 67 | 70.735 % |
3786.80/3787.98 c | 741959 | 26207 126508 368249 | 738509 740467 67 | 70.735 % |
3806.09/3807.21 c | 743501 | 26207 126508 368249 | 738509 742009 67 | 70.735 % |
3824.79/3825.91 c | 745195 | 26207 126508 368249 | 738509 743703 67 | 70.735 % |
3840.19/3841.39 c | 747058 | 26193 126417 367989 | 738509 745565 67 | 70.735 % |
3861.88/3863.08 c | 749108 | 26193 126417 367989 | 738509 747615 67 | 70.735 % |
3882.38/3883.52 c | 751363 | 26193 126417 367989 | 748510 749870 67 | 70.735 % |
3911.97/3913.14 c | 753842 | 26193 126417 367989 | 748510 752349 67 | 70.735 % |
3938.96/3940.17 c | 756569 | 26193 126417 367989 | 748510 755076 67 | 70.735 % |
3967.46/3968.70 c | 759567 | 26193 126417 367989 | 748510 758074 67 | 70.735 % |
3995.34/3996.53 c | 762863 | 26193 126417 367989 | 758509 761370 67 | 70.735 % |
4028.94/4030.10 c | 766488 | 26193 126417 367989 | 758509 764995 67 | 70.735 % |
4062.73/4063.91 c | 770475 | 26193 126417 367989 | 768509 768982 67 | 70.735 % |
4099.82/4101.05 c | 774863 | 26193 126417 367989 | 768509 773370 67 | 70.735 % |
4144.61/4145.86 c | 779686 | 26193 126417 367989 | 768509 778192 67 | 70.748 % |
4196.59/4197.90 c | 784991 | 26193 126417 367989 | 778506 783496 67 | 71.408 % |
4249.78/4251.07 c | 790827 | 26193 126417 367989 | 788505 789332 67 | 71.408 % |
4315.07/4316.37 c | 797245 | 26193 126417 367989 | 788505 795750 67 | 71.409 % |
4401.04/4402.39 c | 804305 | 25590 124120 360710 | 798485 802788 67 | 71.408 % |
4402.05/4403.32 c | 804405 | 25590 124120 360710 | 798485 802888 67 | 71.408 % |
4403.24/4404.55 c | 804517 | 25590 124120 360710 | 798485 803000 67 | 71.408 % |
4405.04/4406.31 c | 804638 | 25590 124120 360710 | 798485 803121 67 | 71.408 % |
4406.34/4407.62 c | 804775 | 25590 124120 360710 | 798485 803258 67 | 71.409 % |
4408.24/4409.58 c | 804922 | 25590 124120 360710 | 798485 803405 67 | 71.408 % |
4410.34/4411.61 c | 805082 | 25590 124120 360710 | 798485 803565 67 | 71.409 % |
4412.64/4413.90 c | 805258 | 25590 124120 360710 | 798485 803741 67 | 71.408 % |
4415.14/4416.40 c | 805452 | 25590 124120 360710 | 798485 803935 67 | 71.408 % |
4416.74/4418.09 c | 805664 | 25590 124120 360710 | 798485 804147 67 | 71.408 % |
4420.03/4421.34 c | 805898 | 25590 124120 360710 | 798485 804381 67 | 71.409 % |
4423.43/4424.74 c | 806155 | 25590 124120 360710 | 798485 804638 67 | 71.408 % |
4426.63/4427.90 c | 806436 | 25590 124120 360710 | 798485 804919 67 | 71.409 % |
4429.93/4431.22 c | 806746 | 25590 124120 360710 | 798485 805229 67 | 71.409 % |
4433.23/4434.58 c | 807086 | 25590 124120 360710 | 798485 805569 67 | 71.408 % |
4436.93/4438.23 c | 807458 | 25590 124120 360710 | 798485 805941 67 | 71.408 % |
4442.22/4443.54 c | 807872 | 25590 124120 360710 | 798485 806355 67 | 71.409 % |
4447.03/4448.40 c | 808321 | 25590 124120 360710 | 798485 806804 67 | 71.408 % |
4452.63/4453.95 c | 808815 | 25590 124120 360710 | 798485 807298 67 | 71.408 % |
4458.02/4459.39 c | 809357 | 25590 124120 360710 | 798485 807840 67 | 71.408 % |
4463.22/4464.59 c | 809953 | 25590 124120 360710 | 798485 808436 67 | 71.408 % |
4470.12/4471.47 c | 810609 | 25590 124120 360710 | 808484 809092 67 | 71.409 % |
4477.32/4478.65 c | 811329 | 25590 124120 360710 | 808484 809812 67 | 71.408 % |
4485.02/4486.34 c | 812121 | 25590 124120 360710 | 808484 810604 67 | 71.408 % |
4493.02/4494.34 c | 812993 | 25590 124120 360710 | 808484 811476 67 | 71.409 % |
4502.71/4504.03 c | 813951 | 25590 124120 360710 | 808484 812434 67 | 71.408 % |
4515.01/4516.34 c | 815005 | 25590 124120 360710 | 808484 813488 67 | 71.408 % |
4528.80/4530.17 c | 816165 | 25590 124120 360710 | 808484 814648 67 | 71.408 % |
4540.10/4541.50 c | 817439 | 25590 124120 360710 | 808484 815922 67 | 71.408 % |
4557.10/4558.46 c | 818841 | 25590 124120 360710 | 808484 817324 67 | 71.409 % |
4578.30/4579.69 c | 820381 | 25590 124120 360710 | 818484 818864 67 | 71.408 % |
4599.79/4601.12 c | 822075 | 25590 124120 360710 | 818484 820558 67 | 71.408 % |
4617.78/4619.13 c | 823938 | 25590 124120 360710 | 818484 822421 67 | 71.408 % |
4637.38/4638.79 c | 825988 | 25590 124120 360710 | 818484 824471 67 | 71.408 % |
4656.47/4657.89 c | 828242 | 25590 124120 360710 | 818484 826725 67 | 71.408 % |
4679.37/4680.73 c | 830723 | 25590 124120 360710 | 828483 829206 67 | 71.408 % |
4706.96/4708.31 c | 833448 | 25590 124120 360710 | 828483 831930 67 | 71.721 % |
4737.95/4739.38 c | 836445 | 25590 124120 360710 | 828483 834927 67 | 71.721 % |
4767.04/4768.47 c | 839741 | 25590 124120 360710 | 828483 838223 67 | 71.721 % |
4794.93/4796.33 c | 843368 | 25590 124120 360710 | 838482 841850 67 | 71.721 % |
4831.42/4832.85 c | 847355 | 25590 124120 360710 | 838482 845837 67 | 71.721 % |
4876.41/4877.83 c | 851740 | 25310 122782 357083 | 848435 850175 67 | 71.721 % |
4914.70/4916.15 c | 856565 | 25310 122782 357083 | 848435 855000 67 | 71.721 % |
4969.79/4971.20 c | 861870 | 25310 122782 357083 | 858436 860305 67 | 71.721 % |
5029.67/5031.12 c | 867706 | 25310 122782 357083 | 858436 866141 67 | 71.721 % |
5103.35/5104.80 c | 874126 | 25310 122782 357083 | 868436 872560 67 | 71.734 % |
5165.54/5167.04 c | 881188 | 25310 122782 357083 | 878434 879622 67 | 71.734 % |
5245.32/5246.87 c | 888954 | 25310 122782 357083 | 878434 887388 67 | 71.734 % |
5246.42/5247.97 c | 889054 | 25310 122782 357083 | 878434 887488 67 | 71.734 % |
5247.82/5249.34 c | 889164 | 25310 122782 357083 | 878434 887598 67 | 71.734 % |
5249.72/5251.24 c | 889286 | 25310 122782 357083 | 878434 887720 67 | 71.734 % |
5252.02/5253.55 c | 889420 | 25310 122782 357083 | 878434 887854 67 | 71.734 % |
5253.92/5255.42 c | 889566 | 25310 122782 357083 | 878434 888000 67 | 71.734 % |
5256.02/5257.58 c | 889726 | 25310 122782 357083 | 878434 888160 67 | 71.734 % |
5258.02/5259.55 c | 889902 | 25310 122782 357083 | 878434 888336 67 | 71.734 % |
5260.51/5262.03 c | 890095 | 25310 122782 357083 | 888434 888529 67 | 71.734 % |
5263.81/5265.39 c | 890308 | 25310 122782 357083 | 888434 888742 67 | 71.734 % |
5266.61/5268.19 c | 890546 | 25310 122782 357083 | 888434 888980 67 | 71.734 % |
5270.31/5271.86 c | 890804 | 25310 122782 357083 | 888434 889238 67 | 71.734 % |
5274.02/5275.54 c | 891087 | 25310 122782 357083 | 888434 889520 67 | 71.817 % |
5277.91/5279.46 c | 891396 | 25310 122782 357083 | 888434 889829 67 | 71.817 % |
5281.31/5282.88 c | 891736 | 25310 122782 357083 | 888434 890169 67 | 71.817 % |
5285.21/5286.70 c | 892108 | 25310 122782 357083 | 888434 890541 67 | 71.817 % |
5291.01/5292.55 c | 892518 | 25310 122782 357083 | 888434 890951 67 | 71.817 % |
5297.50/5299.06 c | 892967 | 25310 122782 357083 | 888434 891400 67 | 71.817 % |
5302.90/5304.41 c | 893460 | 25310 122782 357083 | 888434 891893 67 | 71.817 % |
5309.60/5311.14 c | 894004 | 25310 122782 357083 | 888434 892437 67 | 71.817 % |
5315.09/5316.61 c | 894600 | 25310 122782 357083 | 888434 893033 67 | 71.817 % |
5320.69/5322.29 c | 895255 | 25310 122782 357083 | 888434 893688 67 | 71.817 % |
5328.59/5330.16 c | 895977 | 25310 122782 357083 | 888434 894410 66 | 71.817 % |
5338.69/5340.27 c | 896771 | 25310 122782 357083 | 888434 895204 66 | 71.817 % |
5348.38/5349.95 c | 897642 | 25310 122782 357083 | 888434 896075 66 | 71.817 % |
5356.38/5357.99 c | 898602 | 25310 122782 357083 | 888434 897035 66 | 71.817 % |
5367.19/5368.79 c | 899656 | 25310 122782 357083 | 888434 898089 66 | 71.817 % |
5378.78/5380.33 c | 900815 | 25310 122782 357083 | 898433 899248 66 | 71.817 % |
5391.38/5392.96 c | 902089 | 25310 122782 357083 | 898433 900522 66 | 71.817 % |
5406.57/5408.16 c | 903490 | 25310 122782 357083 | 898433 901923 66 | 71.817 % |
5424.77/5426.35 c | 905031 | 25310 122782 357083 | 898433 903464 66 | 71.817 % |
5441.16/5442.78 c | 906725 | 25310 122782 357083 | 898433 905158 66 | 71.817 % |
5466.05/5467.64 c | 908589 | 24915 121045 351996 | 898433 906997 66 | 72.163 % |
5489.05/5490.68 c | 910638 | 24915 121045 351996 | 908408 909046 66 | 72.163 % |
5510.55/5512.15 c | 912893 | 24915 121045 351996 | 908408 911301 66 | 72.163 % |
5537.34/5538.99 c | 915371 | 24915 121045 351996 | 908408 913779 66 | 72.163 % |
5564.84/5566.41 c | 918099 | 24915 121045 351996 | 908408 916507 66 | 72.163 % |
5599.53/5601.17 c | 921098 | 24915 121045 351996 | 918408 919506 66 | 72.163 % |
5637.01/5638.62 c | 924395 | 24915 121045 351996 | 918408 922803 66 | 72.163 % |
5674.80/5676.46 c | 928021 | 24915 121045 351996 | 918408 926429 66 | 72.163 % |
5719.29/5720.96 c | 932008 | 24915 121045 351996 | 928409 930416 67 | 72.163 % |
5760.19/5761.83 c | 936393 | 24915 121045 351996 | 928409 934801 67 | 72.163 % |
5812.47/5814.16 c | 941216 | 24915 121045 351996 | 938408 939624 67 | 72.163 % |
5863.26/5864.90 c | 946522 | 24915 121045 351996 | 938408 944930 67 | 72.163 % |
5914.34/5916.06 c | 952357 | 24915 121045 351996 | 948410 950765 67 | 72.163 % |
5970.02/5971.79 c | 958776 | 24915 121045 351996 | 948410 957184 67 | 72.163 % |
6027.41/6029.14 c | 965835 | 24915 121045 351996 | 958411 964243 67 | 72.163 % |
6095.09/6096.87 c | 973604 | 24902 120944 351727 | 968408 972011 67 | 72.177 % |
6172.57/6174.31 c | 982145 | 24902 120944 351727 | 978407 980552 67 | 72.177 % |
6174.17/6175.92 c | 982245 | 24902 120944 351727 | 978407 980652 67 | 72.177 % |
6175.97/6177.74 c | 982357 | 24902 120944 351727 | 978407 980764 67 | 72.177 % |
6177.07/6178.86 c | 982478 | 24902 120944 351727 | 978407 980885 67 | 72.177 % |
6179.37/6181.12 c | 982611 | 24902 120944 351727 | 978407 981018 67 | 72.177 % |
6180.57/6182.32 c | 982757 | 24902 120944 351727 | 978407 981164 67 | 72.177 % |
6182.66/6184.48 c | 982917 | 24902 120944 351727 | 978407 981324 67 | 72.177 % |
6184.46/6186.23 c | 983095 | 24902 120944 351727 | 978407 981502 67 | 72.177 % |
6187.16/6189.00 c | 983288 | 24902 120944 351727 | 978407 981695 67 | 72.177 % |
6189.56/6191.30 c | 983501 | 24902 120944 351727 | 978407 981908 67 | 72.177 % |
6192.26/6194.06 c | 983734 | 24902 120944 351727 | 978407 982141 67 | 72.177 % |
6195.36/6197.17 c | 983995 | 24902 120944 351727 | 978407 982402 67 | 72.177 % |
6198.76/6200.55 c | 984277 | 24902 120944 351727 | 978407 982684 67 | 72.177 % |
6202.05/6203.86 c | 984586 | 24902 120944 351727 | 978407 982993 67 | 72.177 % |
6207.35/6209.13 c | 984927 | 24902 120944 351727 | 978407 983334 67 | 72.177 % |
6212.56/6214.31 c | 985302 | 24902 120944 351727 | 978407 983709 67 | 72.177 % |
6218.76/6220.56 c | 985711 | 24902 120944 351727 | 978407 984118 67 | 72.177 % |
6225.86/6227.66 c | 986160 | 24902 120944 351727 | 978407 984567 67 | 72.177 % |
6234.06/6235.87 c | 986654 | 24902 120944 351727 | 978407 985061 67 | 72.177 % |
6240.95/6242.72 c | 987196 | 24902 120944 351727 | 978407 985603 67 | 72.177 % |
6247.95/6249.74 c | 987794 | 24902 120944 351727 | 978407 986201 67 | 72.177 % |
6258.94/6260.77 c | 988450 | 24902 120944 351727 | 978407 986857 67 | 72.177 % |
6266.74/6268.58 c | 989170 | 24902 120944 351727 | 978407 987577 67 | 72.177 % |
6279.73/6281.55 c | 989963 | 24902 120944 351727 | 978407 988370 67 | 72.177 % |
6290.54/6292.36 c | 990835 | 24902 120944 351727 | 988408 989242 67 | 72.177 % |
6301.74/6303.53 c | 991794 | 24902 120944 351727 | 988408 990201 67 | 72.177 % |
6313.24/6315.02 c | 992847 | 24902 120944 351727 | 988408 991254 67 | 72.177 % |
6326.23/6328.05 c | 994007 | 24902 120944 351727 | 988408 992414 67 | 72.177 % |
6345.02/6346.80 c | 995281 | 24902 120944 351727 | 988408 993688 67 | 72.177 % |
6363.52/6365.38 c | 996682 | 24902 120944 351727 | 988408 995089 67 | 72.177 % |
6384.81/6386.61 c | 998223 | 24902 120944 351727 | 988408 996630 67 | 72.177 % |
6407.30/6409.16 c | 999920 | 24902 120944 351727 | 988408 998327 67 | 72.177 % |
6428.20/6430.02 c | 1001785 | 24902 120944 351727 | 998408 1000192 67 | 72.177 % |
6453.90/6455.79 c | 1003834 | 24902 120944 351727 | 998408 1002241 67 | 72.177 % |
6483.99/6485.83 c | 1006090 | 24902 120944 351727 | 998408 1004497 67 | 72.177 % |
6511.58/6513.42 c | 1008571 | 24902 120944 351727 | 998408 1006978 67 | 72.177 % |
6545.17/6547.02 c | 1011296 | 24902 120944 351727 | 1008409 1009703 67 | 72.177 % |
6586.07/6587.90 c | 1014293 | 24902 120944 351727 | 1008409 1012700 67 | 72.177 % |
6629.45/6631.31 c | 1017590 | 24902 120944 351727 | 1008409 1015997 66 | 72.177 % |
6669.34/6671.21 c | 1021215 | 24902 120944 351727 | 1018408 1019622 66 | 72.177 % |
6713.92/6715.82 c | 1025202 | 24902 120944 351727 | 1018408 1023609 66 | 72.177 % |
6759.32/6761.26 c | 1029589 | 24902 120944 351727 | 1018408 1027996 66 | 72.177 % |
6811.50/6813.44 c | 1034412 | 24902 120944 351727 | 1028408 1032819 66 | 72.177 % |
6868.39/6870.38 c | 1039720 | 24902 120944 351727 | 1028408 1038127 66 | 72.177 % |
6933.47/6935.48 c | 1045556 | 24902 120944 351727 | 1038408 1043963 66 | 72.177 % |
7000.45/7002.49 c | 1051974 | 24902 120944 351727 | 1048410 1050381 66 | 72.177 % |
7094.72/7096.75 c | 1059033 | 24902 120944 351727 | 1048410 1057440 66 | 72.177 % |
7190.99/7193.01 c | 1066799 | 24902 120944 351727 | 1058407 1065206 66 | 72.177 % |
7302.37/7304.42 c | 1075339 | 24902 120944 351727 | 1068407 1073746 66 | 72.177 % |
7392.55/7394.61 c | 1084734 | 24902 120944 351727 | 1078407 1083141 66 | 72.177 % |
7394.04/7396.16 c | 1084834 | 24902 120944 351727 | 1078407 1083241 66 | 72.177 % |
7395.85/7397.91 c | 1084946 | 24902 120944 351727 | 1078407 1083353 66 | 72.177 % |
7397.55/7399.65 c | 1085067 | 24902 120944 351727 | 1078407 1083474 66 | 72.177 % |
7399.75/7401.88 c | 1085200 | 24902 120944 351727 | 1078407 1083607 66 | 72.177 % |
7401.64/7403.78 c | 1085347 | 24902 120944 351727 | 1078407 1083754 66 | 72.177 % |
7404.74/7406.81 c | 1085508 | 24902 120944 351727 | 1078407 1083915 66 | 72.177 % |
7407.54/7409.61 c | 1085685 | 24902 120944 351727 | 1078407 1084092 66 | 72.177 % |
7411.24/7413.32 c | 1085878 | 24902 120944 351727 | 1078407 1084285 66 | 72.177 % |
7414.04/7416.20 c | 1086091 | 24902 120944 351727 | 1078407 1084498 66 | 72.177 % |
7418.14/7420.24 c | 1086324 | 24902 120944 351727 | 1078407 1084731 66 | 72.177 % |
7422.44/7424.53 c | 1086580 | 24902 120944 351727 | 1078407 1084987 66 | 72.177 % |
7426.53/7428.68 c | 1086862 | 24902 120944 351727 | 1078407 1085269 66 | 72.177 % |
7429.83/7431.91 c | 1087171 | 24902 120944 351727 | 1078407 1085578 66 | 72.177 % |
7433.84/7435.97 c | 1087512 | 24902 120944 351727 | 1078407 1085919 66 | 72.177 % |
7441.63/7443.72 c | 1087885 | 24902 120944 351727 | 1078407 1086292 66 | 72.177 % |
7449.63/7451.76 c | 1088295 | 24902 120944 351727 | 1078407 1086702 66 | 72.177 % |
7453.73/7455.88 c | 1088744 | 24902 120944 351727 | 1078407 1087151 66 | 72.177 % |
7462.13/7464.20 c | 1089237 | 24902 120944 351727 | 1078407 1087644 66 | 72.177 % |
7468.53/7470.64 c | 1089783 | 24902 120944 351727 | 1078407 1088190 66 | 72.177 % |
7476.52/7478.61 c | 1090379 | 24902 120944 351727 | 1088407 1088786 66 | 72.177 % |
7483.82/7485.94 c | 1091036 | 24902 120944 351727 | 1088407 1089443 66 | 72.177 % |
7494.72/7496.84 c | 1091757 | 24902 120944 351727 | 1088407 1090164 66 | 72.177 % |
7508.92/7511.09 c | 1092549 | 24902 120944 351727 | 1088407 1090956 66 | 72.177 % |
7516.11/7518.28 c | 1093420 | 24902 120944 351727 | 1088407 1091827 66 | 72.177 % |
7528.91/7531.02 c | 1094378 | 24902 120944 351727 | 1088407 1092785 66 | 72.177 % |
7541.81/7543.94 c | 1095431 | 24902 120944 351727 | 1088407 1093838 66 | 72.177 % |
7553.30/7555.44 c | 1096590 | 24902 120944 351727 | 1088407 1094997 66 | 72.177 % |
7574.49/7576.67 c | 1097864 | 24902 120944 351727 | 1088407 1096271 66 | 72.177 % |
7594.59/7596.80 c | 1099265 | 24902 120944 351727 | 1088407 1097672 66 | 72.177 % |
7617.68/7619.80 c | 1100805 | 24902 120944 351727 | 1098407 1099212 66 | 72.177 % |
7642.98/7645.17 c | 1102500 | 24902 120944 351727 | 1098407 1100907 66 | 72.177 % |
7665.88/7668.01 c | 1104367 | 24902 120944 351727 | 1098407 1102774 66 | 72.177 % |
7684.27/7686.43 c | 1106416 | 24902 120944 351727 | 1098407 1104823 66 | 72.177 % |
7714.86/7717.03 c | 1108669 | 24902 120944 351727 | 1098407 1107076 66 | 72.177 % |
7749.05/7751.21 c | 1111147 | 24902 120944 351727 | 1108407 1109554 66 | 72.177 % |
7781.74/7783.91 c | 1113873 | 24902 120944 351727 | 1108407 1112280 66 | 72.177 % |
7822.04/7824.24 c | 1116871 | 24902 120944 351727 | 1108407 1115278 66 | 72.177 % |
7864.12/7866.35 c | 1120167 | 24902 120944 351727 | 1118412 1118574 66 | 72.177 % |
7909.61/7911.85 c | 1123794 | 24902 120944 351727 | 1118412 1122201 66 | 72.177 % |
7962.10/7964.33 c | 1127782 | 24902 120944 351727 | 1118412 1126189 66 | 72.177 % |
8017.28/8019.58 c | 1132167 | 24902 120944 351727 | 1128409 1130574 66 | 72.177 % |
8085.37/8087.68 c | 1136993 | 24902 120944 351727 | 1128409 1135400 66 | 72.177 % |
8140.05/8142.39 c | 1142301 | 24902 120944 351727 | 1138408 1140708 66 | 72.177 % |
8197.73/8200.08 c | 1148142 | 24902 120944 351727 | 1138408 1146549 66 | 72.177 % |
8280.51/8282.89 c | 1154561 | 24902 120944 351727 | 1148407 1152968 66 | 72.177 % |
8387.08/8389.49 c | 1161621 | 24902 120944 351727 | 1158408 1160028 66 | 72.177 % |
8510.95/8513.31 c | 1169389 | 24902 120944 351727 | 1158408 1167796 66 | 72.177 % |
8635.32/8637.79 c | 1177929 | 24902 120944 351727 | 1168409 1176336 66 | 72.177 % |
8753.88/8756.35 c | 1187323 | 24902 120944 351727 | 1178408 1185730 65 | 72.177 % |
8891.15/8893.62 c | 1197658 | 24902 120944 351727 | 1188413 1196065 65 | 72.177 % |
8892.55/8895.03 c | 1197760 | 24902 120944 351727 | 1188413 1196167 65 | 72.177 % |
8894.25/8896.79 c | 1197871 | 24902 120944 351727 | 1188413 1196278 65 | 72.177 % |
8896.15/8898.69 c | 1197992 | 24902 120944 351727 | 1188413 1196399 65 | 72.177 % |
8898.35/8900.86 c | 1198126 | 24902 120944 351727 | 1188413 1196533 65 | 72.177 % |
8900.75/8903.25 c | 1198273 | 24902 120944 351727 | 1188413 1196680 65 | 72.177 % |
8904.04/8906.52 c | 1198436 | 24902 120944 351727 | 1188413 1196843 65 | 72.177 % |
8905.64/8908.17 c | 1198614 | 24902 120944 351727 | 1188413 1197021 65 | 72.177 % |
8907.64/8910.18 c | 1198808 | 24902 120944 351727 | 1188413 1197215 65 | 72.177 % |
8909.54/8912.09 c | 1199020 | 24902 120944 351727 | 1188413 1197427 65 | 72.177 % |
8914.94/8917.48 c | 1199256 | 24902 120944 351727 | 1188413 1197663 65 | 72.177 % |
8919.94/8922.44 c | 1199513 | 24902 120944 351727 | 1188413 1197920 65 | 72.177 % |
8924.04/8926.51 c | 1199795 | 24902 120944 351727 | 1188413 1198202 65 | 72.177 % |
8928.24/8930.76 c | 1200104 | 24902 120944 351727 | 1198408 1198511 65 | 72.177 % |
8933.33/8935.84 c | 1200443 | 24902 120944 351727 | 1198408 1198850 65 | 72.177 % |
8938.34/8940.81 c | 1200815 | 24902 120944 351727 | 1198408 1199222 65 | 72.177 % |
8944.23/8946.70 c | 1201224 | 24902 120944 351727 | 1198408 1199631 65 | 72.177 % |
8952.23/8954.70 c | 1201673 | 24902 120944 351727 | 1198408 1200080 65 | 72.177 % |
8961.54/8964.05 c | 1202166 | 24902 120944 351727 | 1198408 1200573 65 | 72.177 % |
8970.14/8972.70 c | 1202708 | 24902 120944 351727 | 1198408 1201115 65 | 72.177 % |
8980.73/8983.20 c | 1203306 | 24902 120944 351727 | 1198408 1201713 65 | 72.177 % |
8990.52/8993.09 c | 1203961 | 24902 120944 351727 | 1198408 1202368 65 | 72.177 % |
9003.02/9005.52 c | 1204682 | 24902 120944 351727 | 1198408 1203089 65 | 72.177 % |
9018.91/9021.46 c | 1205475 | 24902 120944 351727 | 1198408 1203882 65 | 72.177 % |
9033.51/9036.09 c | 1206348 | 24902 120944 351727 | 1198408 1204755 65 | 72.177 % |
9048.80/9051.36 c | 1207306 | 24902 120944 351727 | 1198408 1205713 65 | 72.177 % |
9064.30/9066.89 c | 1208359 | 24902 120944 351727 | 1198408 1206766 65 | 72.177 % |
9079.40/9081.90 c | 1209518 | 24902 120944 351727 | 1198408 1207925 65 | 72.177 % |
9100.50/9103.08 c | 1210792 | 24902 120944 351727 | 1208410 1209199 65 | 72.177 % |
9119.89/9122.41 c | 1212192 | 24902 120944 351727 | 1208410 1210599 65 | 72.177 % |
9140.99/9143.56 c | 1213732 | 24902 120944 351727 | 1208410 1212139 65 | 72.177 % |
9171.38/9174.00 c | 1215426 | 24902 120944 351727 | 1208410 1213833 65 | 72.177 % |
9207.77/9210.38 c | 1217289 | 24902 120944 351727 | 1208410 1215696 65 | 72.177 % |
9240.56/9243.17 c | 1219341 | 24902 120944 351727 | 1208410 1217748 65 | 72.177 % |
9276.55/9279.17 c | 1221597 | 24902 120944 351727 | 1218408 1220004 65 | 72.177 % |
9310.24/9312.82 c | 1224075 | 24902 120944 351727 | 1218408 1222482 65 | 72.177 % |
9349.43/9352.08 c | 1226801 | 24902 120944 351727 | 1218408 1225208 65 | 72.177 % |
9390.12/9392.76 c | 1229800 | 24902 120944 351727 | 1218408 1228207 65 | 72.177 % |
9436.00/9438.64 c | 1233096 | 24902 120944 351727 | 1228409 1231503 65 | 72.177 % |
9474.60/9477.21 c | 1236721 | 24902 120944 351727 | 1228409 1235128 65 | 72.177 % |
9533.68/9536.37 c | 1240708 | 24902 120944 351727 | 1238408 1239115 65 | 72.177 % |
9599.46/9602.15 c | 1245093 | 24902 120944 351727 | 1238408 1243500 65 | 72.177 % |
9656.95/9659.60 c | 1249918 | 24902 120944 351727 | 1238408 1248325 65 | 72.177 % |
9730.42/9733.13 c | 1255223 | 24902 120944 351727 | 1248407 1253630 65 | 72.177 % |
9810.81/9813.53 c | 1261059 | 24902 120944 351727 | 1258410 1259466 65 | 72.177 % |
9881.38/9884.13 c | 1267477 | 24902 120944 351727 | 1258410 1265884 65 | 72.177 % |
9976.66/9979.40 c | 1274539 | 24902 120944 351727 | 1268407 1272946 65 | 72.177 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837068-1242857019/watcher-1837068-1242857019 -o /tmp/evaluation-result-1837068-1242857019/solver-1837068-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837068-1242857019.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6457
/proc/meminfo: memFree=1657088/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
[startup+0.0606581 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6457
/proc/meminfo: memFree=1657088/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101659 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6457
/proc/meminfo: memFree=1657088/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301674 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6457
/proc/meminfo: memFree=1657088/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701706 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6457
/proc/meminfo: memFree=1657088/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50177 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 6462
/proc/meminfo: memFree=1547632/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
[pid=6461] ppid=6457 vsize=154540 CPUtime=1.48
/proc/6461/stat : 6461 (SatELite_releas) R 6457 6457 6420 0 -1 4194304 33014 0 0 0 130 18 0 0 25 0 1 0 313728179 158248960 30007 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6461/statm: 38635 30007 76 173 0 38460 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159896
[startup+3.10189 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 6462
/proc/meminfo: memFree=1529264/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
[pid=6461] ppid=6457 vsize=168188 CPUtime=3.09
/proc/6461/stat : 6461 (SatELite_releas) R 6457 6457 6420 0 -1 4194304 35672 0 0 0 288 21 0 0 25 0 1 0 313728179 172224512 32665 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/6461/statm: 42047 32665 76 173 0 41872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 173544
[startup+6.30114 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 6462
/proc/meminfo: memFree=1512432/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=0
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728179 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6457/statm: 1339 237 197 169 0 50 0
[pid=6461] ppid=6457 vsize=183496 CPUtime=6.29
/proc/6461/stat : 6461 (SatELite_releas) R 6457 6457 6420 0 -1 4194304 39441 0 0 0 606 23 0 0 25 0 1 0 313728179 187899904 35693 1992294400 134512640 135223648 4294956128 18446744073709551615 134611921 0 0 4096 3 0 0 0 17 1 0 0
/proc/6461/statm: 45874 35693 76 173 0 45699 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188852
[startup+12.7016 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 6463
/proc/meminfo: memFree=1609008/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=31256 CPUtime=2.65
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 7482 0 0 0 261 4 0 0 25 0 1 0 313729183 32006144 7431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 7814 7431 77 171 0 7641 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36612
[startup+25.5016 s]
/proc/loadavg: 0.39 0.09 0.03 2/66 6463
/proc/meminfo: memFree=1609072/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=31256 CPUtime=15.44
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 7501 0 0 0 1540 4 0 0 25 0 1 0 313729183 32006144 7450 1992294400 134512640 135215339 4294956240 18446744073709551615 134528644 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 7814 7450 77 171 0 7641 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 36612
[startup+51.1016 s]
/proc/loadavg: 0.60 0.17 0.05 2/66 6463
/proc/meminfo: memFree=1608368/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=32076 CPUtime=41.04
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 7705 0 0 0 4099 5 0 0 25 0 1 0 313729183 32845824 7654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 8019 7654 77 171 0 7846 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 37432
[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/66 6463
/proc/meminfo: memFree=1600944/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=39512 CPUtime=92.21
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 9528 0 0 0 9213 8 0 0 25 0 1 0 313729183 40460288 9477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 9878 9477 77 171 0 9705 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 44868
[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/66 6463
/proc/meminfo: memFree=1592048/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=48356 CPUtime=152.19
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 11747 0 0 0 15208 11 0 0 25 0 1 0 313729183 49516544 11696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 12089 11696 77 171 0 11916 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 53712
[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/66 6463
/proc/meminfo: memFree=1583856/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=56548 CPUtime=212.18
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 13769 0 0 0 21204 14 0 0 25 0 1 0 313729183 57905152 13718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 14137 13718 77 171 0 13964 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 61904
[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/66 6463
/proc/meminfo: memFree=1576432/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=63968 CPUtime=272.14
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 15626 0 0 0 27199 15 0 0 25 0 1 0 313729183 65503232 15575 1992294400 134512640 135215339 4294956240 18446744073709551615 134528633 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 15992 15575 77 171 0 15819 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 69324
[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/66 6463
/proc/meminfo: memFree=1569008/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=71512 CPUtime=332.13
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 17450 0 0 0 33195 18 0 0 25 0 1 0 313729183 73228288 17399 1992294400 134512640 135215339 4294956240 18446744073709551615 134539287 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 17878 17399 77 171 0 17705 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 76868
[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/66 6463
/proc/meminfo: memFree=1562032/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=78472 CPUtime=392.11
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 19196 0 0 0 39191 20 0 0 25 0 1 0 313729183 80355328 19145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 19618 19145 77 171 0 19445 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 83828
[startup+462.302 s]
################
# More data... #
################
/proc/6463/statm: 103149 100177 77 171 0 102976 0
Current children cumulated CPU time (s) 9339.73
Current children cumulated vsize (KiB) 417952
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 6479
/proc/meminfo: memFree=1231600/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=413520 CPUtime=9389.69
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 100473 0 0 0 938833 136 0 0 25 0 1 0 313729183 423444480 100422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 103380 100422 77 171 0 103207 0
Current children cumulated CPU time (s) 9399.71
Current children cumulated vsize (KiB) 418876
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 6479
/proc/meminfo: memFree=1229936/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=415140 CPUtime=9449.68
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 100876 0 0 0 944832 136 0 0 25 0 1 0 313729183 425103360 100825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 103785 100825 77 171 0 103612 0
Current children cumulated CPU time (s) 9459.7
Current children cumulated vsize (KiB) 420496
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 6479
/proc/meminfo: memFree=1228656/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=416596 CPUtime=9509.66
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 101192 0 0 0 950829 137 0 0 25 0 1 0 313729183 426594304 101141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 104149 101141 77 171 0 103976 0
Current children cumulated CPU time (s) 9519.68
Current children cumulated vsize (KiB) 421952
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 6481
/proc/meminfo: memFree=1227568/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=417800 CPUtime=9569.64
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 101449 0 0 0 956827 137 0 0 25 0 1 0 313729183 427827200 101398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 104450 101398 77 171 0 104277 0
Current children cumulated CPU time (s) 9579.66
Current children cumulated vsize (KiB) 423156
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 6481
/proc/meminfo: memFree=1226480/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=418936 CPUtime=9629.63
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 101719 0 0 0 962825 138 0 0 25 0 1 0 313729183 428990464 101668 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 104734 101668 77 171 0 104561 0
Current children cumulated CPU time (s) 9639.65
Current children cumulated vsize (KiB) 424292
[startup+9702.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/66 6481
/proc/meminfo: memFree=1225200/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=420120 CPUtime=9689.62
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 102029 0 0 0 968824 138 0 0 25 0 1 0 313729183 430202880 101978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 105030 101978 77 171 0 104857 0
Current children cumulated CPU time (s) 9699.64
Current children cumulated vsize (KiB) 425476
[startup+9762.3 s]
/proc/loadavg: 1.09 1.04 0.99 2/66 6481
/proc/meminfo: memFree=1223984/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=421176 CPUtime=9749.59
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 102323 0 0 0 974821 138 0 0 25 0 1 0 313729183 431284224 102272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 105294 102272 77 171 0 105121 0
Current children cumulated CPU time (s) 9759.61
Current children cumulated vsize (KiB) 426532
[startup+9822.3 s]
/proc/loadavg: 1.03 1.03 0.99 2/66 6481
/proc/meminfo: memFree=1222768/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=422516 CPUtime=9809.59
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 102619 0 0 0 980820 139 0 0 25 0 1 0 313729183 432656384 102568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 105629 102568 77 171 0 105456 0
Current children cumulated CPU time (s) 9819.61
Current children cumulated vsize (KiB) 427872
[startup+9882.3 s]
/proc/loadavg: 1.01 1.02 0.99 2/66 6481
/proc/meminfo: memFree=1220656/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=424972 CPUtime=9869.57
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 103145 0 0 0 986818 139 0 0 25 0 1 0 313729183 435171328 103094 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 106243 103094 77 171 0 106070 0
Current children cumulated CPU time (s) 9879.59
Current children cumulated vsize (KiB) 430328
[startup+9942.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 6481
/proc/meminfo: memFree=1219056/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=426468 CPUtime=9929.55
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 103539 0 0 0 992815 140 0 0 25 0 1 0 313729183 436703232 103488 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 106617 103488 77 171 0 106444 0
Current children cumulated CPU time (s) 9939.57
Current children cumulated vsize (KiB) 431824
[startup+10002.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 6481
/proc/meminfo: memFree=1217456/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=428136 CPUtime=9989.54
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 103922 0 0 0 998814 140 0 0 25 0 1 0 313729183 438411264 103871 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 107034 103871 77 171 0 106861 0
Current children cumulated CPU time (s) 9999.56
Current children cumulated vsize (KiB) 433492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.8 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 6481
/proc/meminfo: memFree=1217456/2055920 swapFree=4180368/4192956
[pid=6457] ppid=6455 vsize=5356 CPUtime=10.02
/proc/6457/stat : 6457 (SatELiteGTI) S 6455 6457 6420 0 -1 4194304 336 53742 0 0 0 0 964 38 16 0 1 0 313728179 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6457/statm: 1339 239 197 169 0 50 0
[pid=6463] ppid=6457 vsize=428136 CPUtime=9990.04
/proc/6463/stat : 6463 (minisat_static) R 6457 6457 6420 0 -1 4194304 103924 0 0 0 998864 140 0 0 25 0 1 0 313729183 438411264 103873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6463/statm: 107034 103873 77 171 0 106861 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 433492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6457 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=650532
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=388940
# CPU time returned by wait4() is 10.0395
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10002.8
CPU time (s): 10000.1
CPU user time (s): 9998.28
CPU system time (s): 1.78
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 433492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.65053
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 25
runsolver used 11.6262 second user time and 24.8702 second system time
The end
Begin job on node69 at 2009-05-21 00:03:41
IDJOB=1837068
IDBENCH=20383
IDSOLVER=674
FILE ID=node69/1837068-1242857019
PBS_JOBID= 9328449
Free space on /tmp= 66036 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-17-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837068-1242857019/watcher-1837068-1242857019 -o /tmp/evaluation-result-1837068-1242857019/solver-1837068-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837068-1242857019.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9f79c3f75a90db314ed315006ba97d6f
RANDOM SEED=639663243
node69.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1657576 kB
Buffers: 35904 kB
Cached: 320484 kB
SwapCached: 6664 kB
Active: 171960 kB
Inactive: 193072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1657576 kB
SwapTotal: 4192956 kB
SwapFree: 4180368 kB
Dirty: 24184 kB
Writeback: 0 kB
Mapped: 13836 kB
Slab: 19252 kB
Committed_AS: 967208 kB
PageTables: 1468 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66016 MiB
End job on node69 at 2009-05-21 02:50:26