0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 78817 208932 | 23645 0 0 nan | 0.000 % |
0.00/0.55 c | 0 | 60741 195331 | -- 0 -- -- | -- | -18076/-13601
0.00/0.55 c ==============================================================================
0.00/0.55 c Result : #vars: 11150 #clauses: 60741 #literals: 195331
0.00/0.55 c CPU time: 0.52592 s
0.00/0.55 c ==============================================================================
0.00/0.62 c This is MiniSat 2.0 beta
0.00/0.62 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.62 c ============================[ Problem Statistics ]=============================
0.00/0.62 c | |
0.00/0.62 c | Number of variables: 11150 |
0.00/0.62 c | Number of clauses: 60741 |
0.00/0.66 c | Parsing time: 0.03 s |
0.00/0.66 c ============================[ Search Statistics ]==============================
0.00/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.66 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.66 c ===============================================================================
0.00/0.66 c | 0 | 11150 60741 195331 | 20247 0 nan | 0.000 % |
0.00/0.68 c | 100 | 11150 60741 195331 | 20247 100 14 | 0.000 % |
0.00/0.69 c | 201 | 11150 60741 195331 | 20247 201 12 | 0.000 % |
0.60/0.71 c | 302 | 11150 60741 195331 | 20247 302 11 | 0.000 % |
0.60/0.71 c | 413 | 11150 60741 195331 | 20247 413 11 | 0.000 % |
0.60/0.72 c | 513 | 11150 60741 195331 | 20247 513 11 | 0.000 % |
0.60/0.73 c | 623 | 11150 60741 195331 | 20247 623 12 | 0.001 % |
0.60/0.74 c | 744 | 11150 60741 195331 | 20247 744 11 | 0.000 % |
0.60/0.75 c | 844 | 11150 60741 195331 | 20247 844 11 | 0.000 % |
0.60/0.78 c | 955 | 11150 60741 195331 | 20247 955 10 | 0.000 % |
0.60/0.79 c | 1078 | 11150 60741 195331 | 20247 1078 11 | 0.000 % |
0.60/0.81 c | 1213 | 11150 60741 195331 | 20247 1213 13 | 0.000 % |
0.60/0.83 c | 1313 | 11150 60741 195331 | 20247 1313 12 | 0.000 % |
0.60/0.84 c | 1423 | 11150 60741 195331 | 20247 1423 12 | 0.000 % |
0.60/0.85 c | 1544 | 11150 60741 195331 | 20247 1544 13 | 0.000 % |
0.60/0.87 c | 1677 | 11150 60741 195331 | 20247 1677 17 | 0.001 % |
0.60/0.88 c | 1823 | 11150 60741 195331 | 20247 1823 17 | 0.000 % |
0.60/0.89 c | 1923 | 11150 60741 195331 | 20247 1923 16 | 0.000 % |
0.60/0.89 c | 2034 | 11150 60741 195331 | 20247 2034 16 | 0.000 % |
0.60/0.92 c | 2155 | 11150 60741 195331 | 20247 2155 16 | 0.000 % |
0.60/0.93 c | 2288 | 11150 60741 195331 | 20247 2288 16 | 0.000 % |
0.60/0.95 c | 2435 | 11150 60741 195331 | 20247 2435 15 | 0.000 % |
0.60/0.97 c | 2595 | 11150 60741 195331 | 20247 2595 15 | 0.000 % |
0.60/0.98 c | 2697 | 11150 60741 195331 | 20247 2697 14 | 0.000 % |
0.60/0.99 c | 2807 | 11150 60741 195331 | 20247 2807 15 | 0.000 % |
0.96/1.01 c | 2929 | 11150 60741 195331 | 20247 2929 15 | 0.000 % |
0.96/1.03 c | 3062 | 11150 60741 195331 | 20247 3062 14 | 0.000 % |
0.96/1.04 c | 3208 | 11150 60741 195331 | 20247 3208 14 | 0.000 % |
0.96/1.05 c | 3369 | 11150 60741 195331 | 20247 3369 14 | 0.000 % |
0.96/1.06 c | 3548 | 11150 60741 195331 | 20247 3548 14 | 0.000 % |
0.96/1.08 c | 3649 | 11150 60741 195331 | 20247 3649 15 | 0.000 % |
0.96/1.10 c | 3759 | 11150 60741 195331 | 20247 3759 15 | 0.000 % |
1.06/1.12 c | 3880 | 11150 60741 195331 | 20247 3880 15 | 0.000 % |
1.06/1.13 c | 4013 | 11150 60741 195331 | 20247 4013 15 | 0.000 % |
1.06/1.15 c | 4160 | 11150 60741 195331 | 20247 4160 15 | 0.000 % |
1.06/1.17 c | 4320 | 11150 60741 195331 | 20247 4320 15 | 0.000 % |
1.06/1.19 c | 4497 | 11150 60741 195331 | 20247 4497 15 | 0.000 % |
1.17/1.21 c | 4691 | 11150 60741 195331 | 20247 4691 15 | 0.000 % |
1.17/1.22 c | 4793 | 11150 60741 195331 | 20247 4793 15 | 0.000 % |
1.17/1.23 c | 4904 | 11150 60741 195331 | 20247 4904 15 | 0.000 % |
1.17/1.25 c | 5025 | 11150 60741 195331 | 20247 5025 15 | 0.000 % |
1.17/1.28 c | 5158 | 11150 60741 195331 | 20247 5158 16 | 0.001 % |
1.17/1.29 c | 5305 | 11150 60741 195331 | 20247 5305 16 | 0.000 % |
1.27/1.32 c | 5465 | 11150 60741 195331 | 20247 5465 15 | 0.000 % |
1.27/1.34 c | 5641 | 11150 60741 195331 | 20247 5641 15 | 0.000 % |
1.27/1.36 c | 5836 | 11150 60741 195331 | 20247 5836 15 | 0.000 % |
1.27/1.39 c | 6049 | 11150 60741 195331 | 20247 6049 15 | 0.000 % |
1.37/1.41 c | 6151 | 11150 60741 195331 | 20247 6151 15 | 0.000 % |
1.37/1.43 c | 6261 | 11150 60741 195331 | 20247 6261 15 | 0.000 % |
1.37/1.44 c | 6382 | 11150 60741 195331 | 20247 6382 15 | 0.000 % |
1.37/1.46 c | 6515 | 11150 60741 195331 | 20247 6515 15 | 0.000 % |
1.37/1.49 c | 6661 | 11150 60741 195331 | 20247 6661 15 | 0.000 % |
1.47/1.52 c | 6821 | 11150 60741 195331 | 20247 6821 15 | 0.000 % |
1.47/1.54 c | 6998 | 11150 60741 195331 | 20247 6998 15 | 0.000 % |
1.47/1.58 c | 7191 | 11150 60741 195331 | 20247 7191 17 | 0.000 % |
1.57/1.61 c | 7404 | 11150 60741 195331 | 20247 7404 17 | 0.000 % |
1.57/1.64 c | 7637 | 11150 60741 195331 | 20247 7637 17 | 0.000 % |
1.57/1.67 c | 7737 | 11150 60741 195331 | 20247 7737 17 | 0.000 % |
1.57/1.68 c | 7847 | 11150 60741 195331 | 20247 7847 17 | 0.000 % |
1.66/1.70 c | 7969 | 11150 60741 195331 | 20247 7969 17 | 0.000 % |
1.66/1.72 c | 8102 | 11150 60741 195331 | 20247 8102 17 | 0.000 % |
1.66/1.75 c | 8249 | 11150 60741 195331 | 20247 8249 16 | 0.000 % |
1.66/1.76 c | 8409 | 11150 60741 195331 | 20247 8409 16 | 0.000 % |
1.76/1.82 c | 8585 | 11150 60741 195331 | 20247 8585 16 | 0.000 % |
1.76/1.87 c | 8778 | 11150 60741 195331 | 20247 8778 17 | 0.000 % |
1.76/1.89 c | 8992 | 11150 60741 195331 | 20247 8992 17 | 0.000 % |
1.86/1.91 c | 9225 | 11150 60741 195331 | 20247 9225 17 | 0.000 % |
1.86/1.94 c | 9481 | 11150 60741 195331 | 20247 9481 17 | 0.000 % |
1.86/1.96 c | 9582 | 11150 60741 195331 | 20247 9582 17 | 0.000 % |
1.86/1.99 c | 9693 | 11150 60741 195331 | 20247 9693 19 | 0.001 % |
1.96/2.01 c | 9814 | 11150 60741 195331 | 20247 9814 19 | 0.000 % |
1.96/2.04 c | 9948 | 11150 60741 195331 | 20247 9948 18 | 0.000 % |
1.96/2.05 c | 10096 | 11150 60741 195331 | 2147483647 10096 18 | 0.000 % |
1.96/2.09 c | 10256 | 11150 60741 195331 | 2147483647 10256 18 | 0.000 % |
2.07/2.11 c | 10432 | 11150 60741 195331 | 2147483647 10432 18 | 0.000 % |
2.07/2.15 c | 10625 | 11150 60741 195331 | 2147483647 10625 18 | 0.000 % |
2.07/2.18 c | 10839 | 11150 60741 195331 | 2147483647 10839 18 | 0.000 % |
2.07/2.20 c | 11073 | 11150 60741 195331 | 2147483647 11073 18 | 0.000 % |
2.17/2.28 c | 11330 | 11150 60741 195331 | 2147483647 11330 22 | 0.001 % |
2.26/2.32 c | 11611 | 11150 60741 195331 | 2147483647 11611 22 | 0.000 % |
2.26/2.33 c | 11711 | 11150 60741 195331 | 2147483647 11711 22 | 0.000 % |
2.26/2.34 c | 11822 | 11150 60741 195331 | 2147483647 11822 22 | 0.000 % |
2.26/2.36 c | 11943 | 11150 60741 195331 | 2147483647 11943 21 | 0.000 % |
2.26/2.38 c | 12076 | 11150 60741 195331 | 2147483647 12076 21 | 0.000 % |
2.36/2.40 c | 12222 | 11150 60741 195331 | 2147483647 12222 22 | 0.000 % |
2.36/2.43 c | 12383 | 11150 60741 195331 | 2147483647 12383 21 | 0.000 % |
2.36/2.46 c | 12559 | 11150 60741 195331 | 2147483647 12559 21 | 0.000 % |
2.46/2.51 c | 12752 | 11150 60741 195331 | 2147483647 12752 23 | 0.000 % |
2.46/2.54 c | 12964 | 11150 60741 195331 | 2147483647 12964 23 | 0.000 % |
2.46/2.58 c | 13197 | 11150 60741 195331 | 2147483647 13197 23 | 0.000 % |
2.56/2.63 c | 13453 | 11150 60741 195331 | 2147483647 13453 22 | 0.000 % |
2.56/2.67 c | 13734 | 11150 60741 195331 | 2147483647 13734 22 | 0.000 % |
2.66/2.71 c | 14043 | 11150 60741 195331 | 2147483647 14043 22 | 0.000 % |
2.66/2.75 c | 14143 | 11150 60741 195331 | 2147483647 14143 22 | 0.001 % |
2.66/2.76 c | 14255 | 11150 60741 195331 | 2147483647 14255 22 | 0.000 % |
2.66/2.78 c | 14376 | 11150 60741 195331 | 2147483647 14376 22 | 0.000 % |
2.76/2.80 c | 14510 | 11150 60741 195331 | 2147483647 14510 22 | 0.000 % |
2.76/2.82 c | 14657 | 11150 60741 195331 | 2147483647 14657 22 | 0.000 % |
2.76/2.83 c | 14817 | 11150 60741 195331 | 2147483647 14817 22 | 0.000 % |
2.76/2.85 c | 14993 | 11150 60741 195331 | 2147483647 14993 22 | 0.000 % |
2.76/2.89 c | 15186 | 11150 60741 195331 | 2147483647 15186 22 | 0.000 % |
2.86/2.93 c | 15398 | 11150 60741 195331 | 2147483647 15398 22 | 0.000 % |
2.86/2.97 c | 15633 | 11150 60741 195331 | 2147483647 15633 22 | 0.000 % |
2.86/3.00 c | 15889 | 11150 60741 195331 | 2147483647 15889 21 | 0.000 % |
2.96/3.05 c | 16170 | 11150 60741 195331 | 2147483647 16170 21 | 0.000 % |
2.96/3.08 c | 16479 | 11150 60741 195331 | 2147483647 16479 21 | 0.000 % |
3.06/3.11 c | 16818 | 11150 60741 195331 | 2147483647 16818 21 | 0.000 % |
3.06/3.12 c | 16918 | 11150 60741 195331 | 2147483647 16918 21 | 0.000 % |
3.06/3.15 c | 17028 | 11150 60741 195331 | 2147483647 17028 21 | 0.000 % |
3.06/3.18 c | 17150 | 11150 60741 195331 | 2147483647 17150 22 | 0.001 % |
3.17/3.21 c | 17283 | 11150 60741 195331 | 2147483647 17283 22 | 0.000 % |
3.17/3.25 c | 17429 | 11150 60741 195331 | 2147483647 17429 22 | 0.000 % |
3.17/3.26 c | 17589 | 11150 60741 195331 | 2147483647 17589 21 | 0.000 % |
3.17/3.29 c | 17765 | 11150 60741 195331 | 2147483647 17765 21 | 0.001 % |
3.27/3.31 c | 17959 | 11150 60741 195331 | 2147483647 17959 21 | 0.000 % |
3.27/3.35 c | 18173 | 11150 60741 195331 | 2147483647 18173 21 | 0.000 % |
3.36/3.40 c | 18407 | 11150 60741 195331 | 2147483647 18407 21 | 0.000 % |
3.36/3.44 c | 18664 | 11150 60741 195331 | 2147483647 18664 21 | 0.000 % |
3.36/3.48 c | 18946 | 11150 60741 195331 | 2147483647 18946 21 | 0.000 % |
3.46/3.53 c | 19259 | 11150 60741 195331 | 2147483647 19259 21 | 0.000 % |
3.46/3.57 c | 19599 | 11150 60741 195331 | 2147483647 19599 21 | 0.000 % |
3.56/3.63 c | 19972 | 11150 60741 195331 | 2147483647 19972 21 | 0.001 % |
3.56/3.66 c | 20073 | 11150 60741 195331 | 2147483647 20073 21 | 0.000 % |
3.56/3.69 c | 20183 | 11150 60741 195331 | 2147483647 20183 21 | 0.000 % |
3.66/3.71 c | 20304 | 11150 60741 195331 | 2147483647 20304 21 | 0.000 % |
3.66/3.73 c | 20437 | 11150 60741 195331 | 2147483647 20437 21 | 0.000 % |
3.66/3.78 c | 20584 | 11150 60741 195331 | 2147483647 20584 21 | 0.000 % |
3.76/3.83 c | 20745 | 11150 60741 195331 | 2147483647 20745 22 | 0.000 % |
3.76/3.86 c | 20922 | 11150 60741 195331 | 2147483647 20922 21 | 0.000 % |
3.76/3.88 c | 21115 | 11150 60741 195331 | 2147483647 21115 21 | 0.000 % |
3.86/3.90 c | 21327 | 11150 60741 195331 | 2147483647 21327 21 | 0.000 % |
3.86/3.92 c | 21560 | 11150 60741 195331 | 2147483647 21560 21 | 0.000 % |
3.86/3.97 c | 21819 | 11150 60741 195331 | 2147483647 21819 23 | 0.000 % |
3.96/4.02 c | 22102 | 11150 60741 195331 | 2147483647 22102 22 | 0.000 % |
3.96/4.08 c | 22411 | 11150 60741 195331 | 2147483647 22411 23 | 0.001 % |
4.06/4.12 c | 22751 | 11150 60741 195331 | 2147483647 22751 22 | 0.000 % |
4.06/4.19 c | 23123 | 11150 60741 195331 | 2147483647 23123 22 | 0.000 % |
4.16/4.24 c | 23532 | 11150 60741 195331 | 2147483647 23532 22 | 0.000 % |
4.16/4.27 c | 23632 | 11150 60741 195331 | 2147483647 23632 23 | 0.001 % |
4.16/4.29 c | 23742 | 11150 60741 195331 | 2147483647 23742 22 | 0.000 % |
4.26/4.31 c | 23863 | 11150 60741 195331 | 2147483647 23863 22 | 0.000 % |
4.26/4.32 c | 23996 | 11150 60741 195331 | 2147483647 23996 22 | 0.000 % |
4.26/4.34 c | 24142 | 11150 60741 195331 | 2147483647 24142 22 | 0.000 % |
4.26/4.38 c | 24303 | 11150 60741 195331 | 2147483647 24303 22 | 0.000 % |
4.36/4.41 c | 24481 | 11150 60741 195331 | 2147483647 24481 22 | 0.000 % |
4.36/4.43 c | 24674 | 11150 60741 195331 | 2147483647 24674 22 | 0.000 % |
4.36/4.45 c | 24887 | 11150 60741 195331 | 2147483647 24887 22 | 0.000 % |
4.36/4.49 c | 25120 | 11150 60741 195331 | 2147483647 25120 22 | 0.000 % |
4.46/4.53 c | 25377 | 11150 60741 195331 | 2147483647 25377 22 | 0.000 % |
4.46/4.57 c | 25659 | 11150 60741 195331 | 2147483647 25659 22 | 0.000 % |
4.56/4.61 c | 25968 | 11150 60741 195331 | 2147483647 25968 22 | 0.000 % |
4.66/4.70 c | 26308 | 11150 60741 195331 | 2147483647 26308 22 | 0.000 % |
4.66/4.79 c | 26680 | 11150 60741 195331 | 2147483647 26680 22 | 0.000 % |
4.76/4.86 c | 27089 | 11150 60741 195331 | 2147483647 27089 22 | 0.000 % |
4.96/5.02 c | 27538 | 11150 60741 195331 | 2147483647 27538 24 | 0.001 % |
4.96/5.05 c | 27638 | 11150 60741 195331 | 2147483647 27638 24 | 0.000 % |
4.96/5.07 c | 27749 | 11150 60741 195331 | 2147483647 27749 24 | 0.000 % |
4.96/5.08 c | 27870 | 11150 60741 195331 | 2147483647 27870 24 | 0.000 % |
4.96/5.09 c | 28003 | 11150 60741 195331 | 2147483647 28003 24 | 0.000 % |
5.06/5.14 c | 28150 | 11150 60741 195331 | 2147483647 28150 25 | 0.000 % |
5.06/5.18 c | 28310 | 11150 60741 195331 | 2147483647 28310 25 | 0.000 % |
5.16/5.21 c | 28487 | 11150 60741 195331 | 2147483647 28487 25 | 0.000 % |
5.16/5.25 c | 28680 | 11150 60741 195331 | 2147483647 28680 25 | 0.000 % |
5.16/5.29 c | 28893 | 11150 60741 195331 | 2147483647 28893 25 | 0.000 % |
5.26/5.36 c | 29126 | 11150 60741 195331 | 2147483647 29126 25 | 0.000 % |
5.36/5.42 c | 29382 | 11150 60741 195331 | 2147483647 29382 24 | 0.000 % |
5.36/5.48 c | 29665 | 11150 60741 195331 | 2147483647 29665 24 | 0.000 % |
5.46/5.52 c | 29975 | 11150 60741 195331 | 2147483647 29975 24 | 0.000 % |
5.46/5.57 c | 30314 | 11150 60741 195331 | 2147483647 30314 25 | 0.000 % |
5.56/5.61 c | 30687 | 11150 60741 195331 | 2147483647 30687 24 | 0.000 % |
5.56/5.66 c | 31096 | 11150 60741 195331 | 2147483647 31096 24 | 0.000 % |
5.66/5.77 c | 31545 | 11150 60741 195331 | 2147483647 31545 25 | 0.001 % |
5.86/5.96 c | 32039 | 11150 60741 195331 | 2147483647 32039 27 | 0.000 % |
5.86/5.99 c | 32142 | 11150 60741 195331 | 2147483647 32142 27 | 0.000 % |
5.96/6.01 c | 32252 | 11150 60741 195331 | 2147483647 32252 27 | 0.000 % |
5.96/6.03 c | 32374 | 11150 60741 195331 | 2147483647 32374 27 | 0.000 % |
5.96/6.05 c | 32507 | 11150 60741 195331 | 2147483647 32507 27 | 0.000 % |
6.06/6.13 c | 32655 | 11150 60741 195331 | 2147483647 32655 27 | 0.000 % |
6.06/6.19 c | 32815 | 11150 60741 195331 | 2147483647 32815 27 | 0.000 % |
6.16/6.23 c | 32991 | 11150 60741 195331 | 2147483647 32991 27 | 0.000 % |
6.16/6.29 c | 33185 | 11150 60741 195331 | 2147483647 33185 27 | 0.000 % |
6.27/6.32 c | 33397 | 11150 60741 195331 | 2147483647 33397 27 | 0.000 % |
6.27/6.37 c | 33630 | 11150 60741 195331 | 2147483647 33630 27 | 0.000 % |
6.37/6.42 c | 33887 | 11150 60741 195331 | 2147483647 33887 27 | 0.000 % |
6.37/6.47 c | 34171 | 11150 60741 195331 | 2147483647 34171 27 | 0.000 % |
6.47/6.51 c | 34480 | 11150 60741 195331 | 2147483647 34480 27 | 0.000 % |
6.47/6.57 c | 34822 | 11150 60741 195331 | 2147483647 34822 27 | 0.000 % |
6.57/6.64 c | 35194 | 11150 60741 195331 | 2147483647 35194 27 | 0.000 % |
6.66/6.76 c | 35604 | 11150 60741 195331 | 2147483647 35604 27 | 0.000 % |
6.76/6.82 c | 36054 | 11150 60741 195331 | 2147483647 36054 27 | 0.000 % |
6.86/6.99 c | 36547 | 11150 60741 195331 | 2147483647 36547 28 | 0.001 % |
7.06/7.10 c | 37090 | 11150 60741 195331 | 2147483647 37090 28 | 0.000 % |
7.06/7.12 c | 37190 | 11150 60741 195331 | 2147483647 37190 28 | 0.000 % |
7.06/7.14 c | 37300 | 11150 60741 195331 | 2147483647 37300 28 | 0.000 % |
7.06/7.17 c | 37423 | 11150 60741 195331 | 2147483647 37423 28 | 0.000 % |
7.06/7.20 c | 37556 | 11150 60741 195331 | 2147483647 37556 28 | 0.000 % |
7.16/7.26 c | 37703 | 11150 60741 195331 | 2147483647 37703 28 | 0.001 % |
7.26/7.33 c | 37864 | 11150 60741 195331 | 2147483647 37864 29 | 0.000 % |
7.26/7.37 c | 38040 | 11150 60741 195331 | 2147483647 38040 28 | 0.000 % |
7.36/7.44 c | 38235 | 11150 60741 195331 | 2147483647 38235 29 | 0.001 % |
7.36/7.49 c | 38447 | 11150 60741 195331 | 2147483647 38447 29 | 0.000 % |
7.46/7.56 c | 38680 | 11150 60741 195331 | 2147483647 38680 28 | 0.000 % |
7.57/7.65 c | 38936 | 11150 60741 195331 | 2147483647 38936 28 | 0.000 % |
7.66/7.70 c | 39217 | 11150 60741 195331 | 2147483647 39217 28 | 0.000 % |
7.66/7.76 c | 39526 | 11150 60741 195331 | 2147483647 39526 28 | 0.000 % |
7.76/7.87 c | 39866 | 11150 60741 195331 | 2147483647 39866 28 | 0.001 % |
7.86/7.99 c | 40239 | 11150 60741 195331 | 2147483647 40239 28 | 0.000 % |
8.06/8.11 c | 40648 | 11150 60741 195331 | 2147483647 40648 28 | 0.000 % |
8.16/8.24 c | 41100 | 11150 60741 195331 | 2147483647 41100 28 | 0.000 % |
8.26/8.35 c | 41596 | 11150 60741 195331 | 2147483647 41596 28 | 0.000 % |
8.36/8.46 c | 42139 | 11150 60741 195331 | 2147483647 42139 29 | 0.000 % |
8.56/8.62 c | 42735 | 11150 60741 195331 | 2147483647 42735 29 | 0.000 % |
8.56/8.64 c | 42835 | 11150 60741 195331 | 2147483647 42835 29 | 0.000 % |
8.56/8.66 c | 42947 | 11150 60741 195331 | 2147483647 42947 29 | 0.000 % |
8.56/8.69 c | 43068 | 11150 60741 195331 | 2147483647 43068 29 | 0.000 % |
8.66/8.75 c | 43202 | 11150 60741 195331 | 2147483647 43202 29 | 0.000 % |
8.76/8.80 c | 43348 | 11150 60741 195331 | 2147483647 43348 29 | 0.000 % |
8.76/8.84 c | 43508 | 11150 60741 195331 | 2147483647 43508 29 | 0.000 % |
8.86/8.90 c | 43685 | 11150 60741 195331 | 2147483647 43685 29 | 0.001 % |
8.86/8.97 c | 43878 | 11150 60741 195331 | 2147483647 43878 29 | 0.000 % |
8.96/9.05 c | 44090 | 11150 60741 195331 | 2147483647 44090 29 | 0.000 % |
9.06/9.14 c | 44323 | 11150 60741 195331 | 2147483647 44323 29 | 0.000 % |
9.16/9.20 c | 44579 | 11150 60741 195331 | 2147483647 44579 29 | 0.000 % |
9.16/9.27 c | 44860 | 11150 60741 195331 | 2147483647 44860 29 | 0.000 % |
9.26/9.30 c | 45170 | 11150 60741 195331 | 2147483647 45170 29 | 0.000 % |
9.26/9.39 c | 45509 | 11150 60741 195331 | 2147483647 45509 29 | 0.000 % |
9.45/9.55 c | 45881 | 11150 60741 195331 | 2147483647 45881 30 | 0.001 % |
9.55/9.66 c | 46292 | 11150 60741 195331 | 2147483647 46292 30 | 0.000 % |
9.65/9.77 c | 46741 | 11150 60741 195331 | 2147483647 46741 30 | 0.000 % |
9.76/9.84 c | 47234 | 11150 60741 195331 | 2147483647 47234 30 | 0.000 % |
9.86/9.95 c | 47776 | 11150 60741 195331 | 2147483647 47776 30 | 0.000 % |
9.95/10.02 c | 48372 | 11150 60741 195331 | 2147483647 48372 30 | 0.000 % |
10.05/10.12 c | 49028 | 11150 60741 195331 | 2147483647 49028 30 | 0.000 % |
10.05/10.19 c | 49128 | 11150 60741 195331 | 2147483647 49128 30 | 0.001 % |
10.15/10.24 c | 49238 | 11150 60741 195331 | 2147483647 49238 30 | 0.000 % |
10.15/10.27 c | 49359 | 11150 60741 195331 | 2147483647 49359 30 | 0.000 % |
10.25/10.30 c | 49492 | 11150 60741 195331 | 2147483647 49492 30 | 0.000 % |
10.25/10.34 c | 49638 | 11150 60741 195331 | 2147483647 49638 30 | 0.000 % |
10.25/10.38 c | 49798 | 11150 60741 195331 | 2147483647 49798 30 | 0.000 % |
10.35/10.43 c | 49974 | 11150 60741 195331 | 2147483647 49974 30 | 0.000 % |
10.35/10.49 c | 50168 | 11150 60741 195331 | 2147483647 50168 29 | 0.000 % |
10.45/10.56 c | 50380 | 11150 60741 195331 | 2147483647 50380 29 | 0.000 % |
10.55/10.63 c | 50614 | 11150 60741 195331 | 2147483647 50614 29 | 0.000 % |
10.65/10.70 c | 50871 | 11150 60741 195331 | 2147483647 50871 29 | 0.000 % |
10.65/10.76 c | 51153 | 11150 60741 195331 | 2147483647 51153 29 | 0.000 % |
10.75/10.84 c | 51463 | 11150 60741 195331 | 2147483647 51463 29 | 0.000 % |
10.86/10.93 c | 51802 | 11150 60741 195331 | 2147483647 51802 29 | 0.000 % |
10.96/11.08 c | 52175 | 11150 60741 195331 | 2147483647 52175 29 | 0.000 % |
11.05/11.15 c | 52584 | 11150 60741 195331 | 2147483647 52584 29 | 0.000 % |
11.25/11.38 c | 53033 | 11150 60741 195331 | 2147483647 53033 30 | 0.001 % |
11.45/11.53 c | 53528 | 11150 60741 195331 | 2147483647 53528 30 | 0.000 % |
11.66/11.74 c | 54070 | 11150 60741 195331 | 2147483647 54070 31 | 0.001 % |
11.86/11.90 c | 54667 | 11150 60741 195331 | 2147483647 54667 31 | 0.000 % |
12.06/12.19 c | 55322 | 11150 60741 195331 | 2147483647 55322 31 | 0.000 % |
12.26/12.33 c | 56042 | 11150 60741 195331 | 2147483647 56042 31 | 0.000 % |
12.26/12.38 c | 56142 | 11150 60741 195331 | 2147483647 56142 32 | 0.000 % |
12.36/12.44 c | 56252 | 11150 60741 195331 | 2147483647 56252 32 | 0.000 % |
12.36/12.47 c | 56373 | 11150 60741 195331 | 2147483647 56373 32 | 0.000 % |
12.36/12.49 c | 56506 | 11150 60741 195331 | 2147483647 56506 32 | 0.000 % |
12.46/12.57 c | 56653 | 11150 60741 195331 | 2147483647 56653 32 | 0.000 % |
12.56/12.63 c | 56813 | 11150 60741 195331 | 2147483647 56813 32 | 0.000 % |
12.56/12.69 c | 56990 | 11150 60741 195331 | 2147483647 56990 32 | 0.000 % |
12.66/12.74 c | 57184 | 11150 60741 195331 | 2147483647 57184 32 | 0.000 % |
12.76/12.81 c | 57397 | 11150 60741 195331 | 2147483647 57397 32 | 0.000 % |
12.76/12.86 c | 57631 | 11150 60741 195331 | 2147483647 57631 32 | 0.000 % |
12.86/12.93 c | 57889 | 11150 60741 195331 | 2147483647 57889 32 | 0.000 % |
12.96/13.03 c | 58170 | 11150 60741 195331 | 2147483647 58170 32 | 0.000 % |
13.06/13.18 c | 58481 | 11150 60741 195331 | 2147483647 58481 32 | 0.000 % |
13.16/13.27 c | 58820 | 11150 60741 195331 | 2147483647 58820 32 | 0.000 % |
13.26/13.34 c | 59192 | 11150 60741 195331 | 2147483647 59192 32 | 0.000 % |
13.36/13.40 c | 59601 | 11150 60741 195331 | 2147483647 59601 32 | 0.000 % |
13.36/13.47 c | 60051 | 11150 60741 195331 | 2147483647 60051 32 | 0.000 % |
13.56/13.66 c | 60544 | 11150 60741 195331 | 2147483647 60544 32 | 0.001 % |
13.66/13.76 c | 61087 | 11150 60741 195331 | 2147483647 61087 32 | 0.000 % |
13.96/14.02 c | 61685 | 11150 60741 195331 | 2147483647 61685 33 | 0.000 % |
14.06/14.18 c | 62341 | 11150 60741 195331 | 2147483647 62341 33 | 0.000 % |
14.26/14.33 c | 63061 | 11150 60741 195331 | 2147483647 63061 32 | 0.000 % |
14.56/14.61 c | 63855 | 11150 60741 195331 | 2147483647 63855 33 | 0.000 % |
14.56/14.65 c | 63956 | 11150 60741 195331 | 2147483647 63956 33 | 0.000 % |
14.56/14.69 c | 64068 | 11150 60741 195331 | 2147483647 64068 33 | 0.000 % |
14.66/14.74 c | 64189 | 11150 60741 195331 | 2147483647 64189 33 | 0.001 % |
14.66/14.79 c | 64322 | 11150 60741 195331 | 2147483647 64322 33 | 0.000 % |
14.76/14.85 c | 64468 | 11150 60741 195331 | 2147483647 64468 33 | 0.000 % |
14.76/14.89 c | 64629 | 11150 60741 195331 | 2147483647 64629 33 | 0.000 % |
14.86/14.93 c | 64806 | 11150 60741 195331 | 2147483647 64806 33 | 0.000 % |
14.96/15.04 c | 64999 | 11150 60741 195331 | 2147483647 64999 33 | 0.000 % |
14.96/15.09 c | 65211 | 11150 60741 195331 | 2147483647 65211 33 | 0.000 % |
15.06/15.14 c | 65444 | 11150 60741 195331 | 2147483647 65444 33 | 0.000 % |
15.16/15.21 c | 65703 | 11150 60741 195331 | 2147483647 65703 33 | 0.000 % |
15.16/15.27 c | 65984 | 11150 60741 195331 | 2147483647 65984 33 | 0.000 % |
15.26/15.34 c | 66294 | 11150 60741 195331 | 2147483647 66294 33 | 0.000 % |
15.36/15.41 c | 66635 | 11150 60741 195331 | 2147483647 66635 33 | 0.000 % |
15.36/15.48 c | 67007 | 11150 60741 195331 | 2147483647 67007 33 | 0.000 % |
15.76/15.82 c | 67416 | 11150 60741 195331 | 2147483647 67416 34 | 0.001 % |
15.96/16.00 c | 67866 | 11150 60741 195331 | 2147483647 67866 34 | 0.000 % |
16.16/16.20 c | 68360 | 11150 60741 195331 | 2147483647 68360 34 | 0.000 % |
16.26/16.35 c | 68903 | 11150 60741 195331 | 2147483647 68903 34 | 0.000 % |
16.36/16.47 c | 69501 | 11150 60741 195331 | 2147483647 69501 34 | 0.000 % |
16.65/16.73 c | 70158 | 11150 60741 195331 | 2147483647 70158 34 | 0.001 % |
16.85/16.92 c | 70878 | 11150 60741 195331 | 2147483647 70878 34 | 0.000 % |
17.05/17.15 c | 71672 | 11150 60741 195331 | 2147483647 71672 34 | 0.000 % |
17.46/17.53 c | 72543 | 11150 60741 195331 | 2147483647 72543 34 | 0.000 % |
17.56/17.61 c | 72643 | 11150 60741 195331 | 2147483647 72643 34 | 0.001 % |
17.56/17.69 c | 72753 | 11150 60741 195331 | 2147483647 72753 34 | 0.000 % |
17.65/17.73 c | 72874 | 11150 60741 195331 | 2147483647 72874 34 | 0.000 % |
17.65/17.77 c | 73007 | 11150 60741 195331 | 2147483647 73007 34 | 0.000 % |
17.75/17.83 c | 73153 | 11150 60741 195331 | 2147483647 73153 34 | 0.001 % |
17.85/17.93 c | 73313 | 11150 60741 195331 | 2147483647 73313 34 | 0.000 % |
17.85/17.96 c | 73489 | 11150 60741 195331 | 2147483647 73489 34 | 0.000 % |
17.96/18.02 c | 73682 | 11150 60741 195331 | 2147483647 73682 34 | 0.000 % |
17.96/18.09 c | 73894 | 11150 60741 195331 | 2147483647 73894 34 | 0.000 % |
18.16/18.22 c | 74127 | 11150 60741 195331 | 2147483647 74127 34 | 0.000 % |
18.26/18.32 c | 74384 | 11150 60741 195331 | 2147483647 74384 34 | 0.000 % |
18.36/18.41 c | 74665 | 11150 60741 195331 | 2147483647 74665 34 | 0.000 % |
18.36/18.47 c | 74976 | 11150 60741 195331 | 2147483647 74976 34 | 0.000 % |
18.46/18.56 c | 75315 | 11150 60741 195331 | 2147483647 75315 34 | 0.000 % |
18.56/18.69 c | 75689 | 11150 60741 195331 | 2147483647 75689 34 | 0.000 % |
18.66/18.79 c | 76100 | 11150 60741 195331 | 2147483647 76100 34 | 0.000 % |
18.76/18.89 c | 76551 | 11150 60741 195331 | 2147483647 76551 34 | 0.000 % |
19.06/19.10 c | 77045 | 11150 60741 195331 | 2147483647 77045 35 | 0.000 % |
19.46/19.57 c | 77588 | 11150 60741 195331 | 2147483647 77588 36 | 0.001 % |
19.56/19.69 c | 78184 | 11150 60741 195331 | 2147483647 78184 36 | 0.000 % |
19.76/19.87 c | 78842 | 11150 60741 195331 | 2147483647 78842 36 | 0.000 % |
19.96/20.01 c | 79562 | 11150 60741 195331 | 2147483647 79562 36 | 0.000 % |
20.36/20.45 c | 80354 | 11150 60741 195331 | 2147483647 80354 36 | 0.000 % |
20.56/20.63 c | 81225 | 11150 60741 195331 | 2147483647 81225 36 | 0.000 % |
20.76/20.90 c | 82183 | 11150 60741 195331 | 2147483647 82183 36 | 0.000 % |
20.86/20.93 c | 82283 | 11150 60741 195331 | 2147483647 82283 36 | 0.000 % |
20.86/20.96 c | 82395 | 11150 60741 195331 | 2147483647 82395 36 | 0.000 % |
20.96/21.00 c | 82518 | 11150 60741 195331 | 2147483647 82518 36 | 0.000 % |
21.06/21.11 c | 82652 | 11150 60741 195331 | 2147483647 82652 37 | 0.000 % |
21.16/21.23 c | 82798 | 11150 60741 195331 | 2147483647 82798 37 | 0.000 % |
21.16/21.29 c | 82958 | 11150 60741 195331 | 2147483647 82958 37 | 0.000 % |
21.25/21.36 c | 83134 | 11150 60741 195331 | 2147483647 83134 37 | 0.000 % |
21.35/21.45 c | 83327 | 11150 60741 195331 | 2147483647 83327 36 | 0.000 % |
21.45/21.53 c | 83539 | 11150 60741 195331 | 2147483647 83539 36 | 0.000 % |
21.55/21.67 c | 83773 | 11150 60741 195331 | 2147483647 83773 37 | 0.000 % |
21.65/21.75 c | 84029 | 11150 60741 195331 | 2147483647 84029 37 | 0.000 % |
21.96/22.02 c | 84312 | 11150 60741 195331 | 2147483647 84312 37 | 0.001 % |
22.05/22.16 c | 84623 | 11150 60741 195331 | 2147483647 84623 37 | 0.000 % |
22.25/22.32 c | 84962 | 11150 60741 195331 | 2147483647 84962 37 | 0.000 % |
22.35/22.43 c | 85335 | 11150 60741 195331 | 2147483647 85335 37 | 0.000 % |
22.45/22.56 c | 85745 | 11150 60741 195331 | 2147483647 85745 37 | 0.000 % |
22.55/22.67 c | 86194 | 11150 60741 195331 | 2147483647 86194 37 | 0.000 % |
22.75/22.89 c | 86689 | 11150 60741 195331 | 2147483647 86689 37 | 0.000 % |
22.95/23.07 c | 87231 | 11150 60741 195331 | 2147483647 87231 37 | 0.000 % |
23.15/23.23 c | 87827 | 11150 60741 195331 | 2147483647 87827 37 | 0.000 % |
23.25/23.36 c | 88483 | 11150 60741 195331 | 2147483647 88483 37 | 0.000 % |
23.55/23.60 c | 89204 | 11150 60741 195331 | 2147483647 89204 37 | 0.000 % |
23.65/23.79 c | 89996 | 11150 60741 195331 | 2147483647 89996 37 | 0.000 % |
23.85/23.97 c | 90868 | 11150 60741 195331 | 2147483647 90868 37 | 0.000 % |
24.16/24.23 c | 91826 | 11150 60741 195331 | 2147483647 91826 37 | 0.000 % |
24.36/24.43 c | 92880 | 11150 60741 195331 | 2147483647 92880 37 | 0.000 % |
24.36/24.47 c | 92982 | 11150 60741 195331 | 2147483647 92982 37 | 0.000 % |
24.46/24.51 c | 93092 | 11150 60741 195331 | 2147483647 93092 37 | 0.000 % |
24.56/24.61 c | 93213 | 11150 60741 195331 | 2147483647 93213 37 | 0.001 % |
24.56/24.65 c | 93347 | 11150 60741 195331 | 2147483647 93347 37 | 0.000 % |
24.56/24.69 c | 93494 | 11150 60741 195331 | 2147483647 93494 37 | 0.000 % |
24.66/24.77 c | 93659 | 11150 60741 195331 | 2147483647 93659 37 | 0.000 % |
24.76/24.84 c | 93835 | 11150 60741 195331 | 2147483647 93835 37 | 0.000 % |
24.76/24.89 c | 94029 | 11150 60741 195331 | 2147483647 94029 37 | 0.000 % |
24.96/25.02 c | 94242 | 11150 60741 195331 | 2147483647 94242 37 | 0.001 % |
25.06/25.15 c | 94478 | 11150 60741 195331 | 2147483647 94478 37 | 0.000 % |
25.16/25.28 c | 94735 | 11150 60741 195331 | 2147483647 94735 37 | 0.000 % |
25.36/25.45 c | 95016 | 11150 60741 195331 | 2147483647 95016 37 | 0.000 % |
25.56/25.66 c | 95328 | 11150 60741 195331 | 2147483647 95328 37 | 0.001 % |
25.76/25.81 c | 95667 | 11150 60741 195331 | 2147483647 95667 37 | 0.000 % |
25.76/25.89 c | 96041 | 11150 60741 195331 | 2147483647 96041 37 | 0.000 % |
26.06/26.15 c | 96452 | 11150 60741 195331 | 2147483647 96452 38 | 0.001 % |
26.16/26.29 c | 96901 | 11150 60741 195331 | 2147483647 96901 38 | 0.000 % |
26.36/26.48 c | 97394 | 11150 60741 195331 | 2147483647 97394 37 | 0.000 % |
26.56/26.68 c | 97936 | 11150 60741 195331 | 2147483647 97936 37 | 0.000 % |
26.75/26.80 c | 98532 | 11150 60741 195331 | 2147483647 98532 37 | 0.000 % |
27.25/27.36 c | 99187 | 11150 60741 195331 | 2147483647 99187 38 | 0.001 % |
27.55/27.67 c | 99908 | 11150 60741 195331 | 2147483647 99908 38 | 0.000 % |
27.75/27.82 c | 100700 | 11150 60741 195331 | 2147483647 100700 38 | 0.000 % |
28.05/28.10 c | 101573 | 11150 60741 195331 | 2147483647 101573 38 | 0.000 % |
28.45/28.55 c | 102532 | 11150 60741 195331 | 2147483647 102532 39 | 0.000 % |
28.85/28.99 c | 103585 | 11150 60741 195331 | 2147483647 103585 39 | 0.000 % |
29.25/29.30 c | 104744 | 11150 60741 195331 | 2147483647 104744 39 | 0.000 % |
29.25/29.37 c | 104847 | 11150 60741 195331 | 2147483647 104847 39 | 0.000 % |
29.35/29.44 c | 104959 | 11150 60741 195331 | 2147483647 104959 39 | 0.000 % |
29.45/29.51 c | 105080 | 11150 60741 195331 | 2147483647 105080 39 | 0.000 % |
29.56/29.62 c | 105214 | 11150 60741 195331 | 2147483647 105214 39 | 0.001 % |
29.66/29.71 c | 105363 | 11150 60741 195331 | 2147483647 105363 39 | 0.000 % |
29.66/29.78 c | 105523 | 11150 60741 195331 | 2147483647 105523 39 | 0.000 % |
29.85/29.91 c | 105699 | 11150 60741 195331 | 2147483647 105699 40 | 0.001 % |
29.85/29.99 c | 105893 | 11150 60741 195331 | 2147483647 105893 40 | 0.000 % |
30.05/30.11 c | 106105 | 11150 60741 195331 | 2147483647 106105 39 | 0.000 % |
30.15/30.23 c | 106338 | 11150 60741 195331 | 2147483647 106338 39 | 0.000 % |
30.25/30.34 c | 106595 | 11150 60741 195331 | 2147483647 106595 39 | 0.000 % |
30.55/30.64 c | 106876 | 11150 60741 195331 | 2147483647 106876 40 | 0.001 % |
30.75/30.87 c | 107186 | 11150 60741 195331 | 2147483647 107186 40 | 0.001 % |
31.05/31.16 c | 107526 | 11150 60741 195331 | 2147483647 107526 40 | 0.000 % |
31.25/31.30 c | 107898 | 11150 60741 195331 | 2147483647 107898 40 | 0.001 % |
31.35/31.45 c | 108308 | 11150 60741 195331 | 2147483647 108308 40 | 0.000 % |
31.55/31.64 c | 108759 | 11150 60741 195331 | 2147483647 108759 40 | 0.000 % |
31.65/31.77 c | 109252 | 11150 60741 195331 | 2147483647 109252 40 | 0.000 % |
31.75/31.85 c | 109795 | 11150 60741 195331 | 2147483647 109795 40 | 0.000 % |
31.85/32.00 c | 110392 | 11150 60741 195331 | 2147483647 110392 40 | 0.000 % |
32.15/32.25 c | 111047 | 11150 60741 195331 | 2147483647 111047 40 | 0.000 % |
32.45/32.56 c | 111768 | 11150 60741 195331 | 2147483647 111768 40 | 0.001 % |
32.75/32.83 c | 112565 | 11150 60741 195331 | 2147483647 112565 41 | 0.000 % |
33.55/33.68 c | 113436 | 11150 60741 195331 | 2147483647 113436 41 | 0.001 % |
33.95/34.00 c | 114398 | 11150 60741 195331 | 2147483647 114398 41 | 0.000 % |
34.05/34.18 c | 115451 | 11150 60741 195331 | 2147483647 115451 41 | 0.000 % |
34.35/34.49 c | 116610 | 11150 60741 195331 | 2147483647 116610 41 | 0.000 % |
34.74/34.82 c | 117883 | 11150 60741 195331 | 2147483647 117883 41 | 0.000 % |
34.74/34.86 c | 117983 | 11150 60741 195331 | 2147483647 117983 41 | 0.000 % |
34.74/34.89 c | 118095 | 11150 60741 195331 | 2147483647 118095 41 | 0.000 % |
34.84/34.99 c | 118216 | 11150 60741 195331 | 2147483647 118216 41 | 0.000 % |
34.94/35.06 c | 118350 | 11150 60741 195331 | 2147483647 118350 41 | 0.000 % |
35.05/35.11 c | 118497 | 11150 60741 195331 | 2147483647 118497 41 | 0.000 % |
35.16/35.23 c | 118658 | 11150 60741 195331 | 2147483647 118658 41 | 0.000 % |
35.16/35.28 c | 118834 | 11150 60741 195331 | 2147483647 118834 41 | 0.000 % |
35.25/35.37 c | 119027 | 11150 60741 195331 | 2147483647 119027 41 | 0.000 % |
35.45/35.51 c | 119239 | 11150 60741 195331 | 2147483647 119239 41 | 0.001 % |
35.55/35.62 c | 119473 | 11150 60741 195331 | 2147483647 119473 41 | 0.000 % |
35.65/35.77 c | 119729 | 11150 60741 195331 | 2147483647 119729 42 | 0.000 % |
35.85/35.95 c | 120010 | 11150 60741 195331 | 2147483647 120010 41 | 0.000 % |
36.05/36.20 c | 120319 | 11150 60741 195331 | 2147483647 120319 42 | 0.001 % |
36.26/36.36 c | 120659 | 11150 60741 195331 | 2147483647 120659 42 | 0.000 % |
36.35/36.48 c | 121031 | 11150 60741 195331 | 2147483647 121031 42 | 0.000 % |
36.75/36.82 c | 121441 | 11150 60741 195331 | 2147483647 121441 42 | 0.001 % |
37.15/37.21 c | 121890 | 11150 60741 195331 | 2147483647 121890 42 | 0.000 % |
37.35/37.45 c | 122383 | 11150 60741 195331 | 2147483647 122383 42 | 0.000 % |
37.55/37.62 c | 122926 | 11150 60741 195331 | 2147483647 122926 42 | 0.000 % |
37.65/37.74 c | 123523 | 11150 60741 195331 | 2147483647 123523 42 | 0.000 % |
37.95/38.07 c | 124179 | 11150 60741 195331 | 2147483647 124179 42 | 0.001 % |
38.35/38.50 c | 124899 | 11150 60741 195331 | 2147483647 124899 43 | 0.000 % |
38.85/38.94 c | 125692 | 11149 60736 195321 | 2147483647 125690 42 | 0.009 % |
39.15/39.27 c | 126564 | 11149 60736 195321 | 2147483647 126562 42 | 0.009 % |
39.55/39.69 c | 127522 | 11149 60736 195321 | 2147483647 127520 43 | 0.010 % |
40.65/40.76 c | 128578 | 11149 60736 195321 | 2147483647 128576 44 | 0.010 % |
40.94/41.08 c | 129736 | 11149 60736 195321 | 2147483647 129734 44 | 0.009 % |
41.34/41.42 c | 131010 | 11149 60736 195321 | 2147483647 131008 44 | 0.009 % |
42.85/42.96 c | 132411 | 11149 60736 195321 | 2147483647 132409 45 | 0.010 % |
42.95/43.03 c | 132516 | 11149 60736 195321 | 2147483647 132514 45 | 0.009 % |
43.05/43.14 c | 132626 | 11149 60736 195321 | 2147483647 132624 45 | 0.010 % |
43.15/43.26 c | 132747 | 11149 60736 195321 | 2147483647 132745 45 | 0.009 % |
43.25/43.35 c | 132880 | 11149 60736 195321 | 2147483647 132878 45 | 0.009 % |
43.25/43.37 c | 133027 | 11149 60736 195321 | 2147483647 133025 45 | 0.009 % |
43.35/43.50 c | 133187 | 11149 60736 195321 | 2147483647 133185 45 | 0.009 % |
43.55/43.62 c | 133363 | 11149 60736 195321 | 2147483647 133361 45 | 0.009 % |
43.65/43.73 c | 133556 | 11149 60736 195321 | 2147483647 133554 45 | 0.009 % |
43.75/43.88 c | 133768 | 11149 60736 195321 | 2147483647 133766 45 | 0.009 % |
43.95/44.03 c | 134001 | 11149 60736 195321 | 2147483647 133999 45 | 0.009 % |
44.24/44.37 c | 134257 | 11149 60736 195321 | 2147483647 134255 46 | 0.010 % |
44.44/44.59 c | 134538 | 11149 60736 195321 | 2147483647 134536 46 | 0.009 % |
44.74/44.81 c | 134847 | 11149 60736 195321 | 2147483647 134845 46 | 0.010 % |
45.05/45.14 c | 135186 | 11149 60736 195321 | 2147483647 135184 46 | 0.009 % |
45.24/45.34 c | 135559 | 11149 60736 195321 | 2147483647 135557 46 | 0.009 % |
45.64/45.74 c | 135968 | 11149 60736 195321 | 2147483647 135966 46 | 0.010 % |
45.84/45.94 c | 136418 | 11149 60736 195321 | 2147483647 136416 46 | 0.009 % |
46.14/46.21 c | 136914 | 11149 60736 195321 | 2147483647 136912 46 | 0.009 % |
46.24/46.38 c | 137457 | 11149 60736 195321 | 2147483647 137455 46 | 0.009 % |
46.44/46.56 c | 138053 | 11149 60736 195321 | 2147483647 138051 46 | 0.009 % |
46.74/46.87 c | 138709 | 11149 60736 195321 | 2147483647 138707 46 | 0.009 % |
47.25/47.37 c | 139429 | 11149 60736 195321 | 2147483647 139427 46 | 0.009 % |
47.64/47.70 c | 140222 | 11149 60736 195321 | 2147483647 140220 46 | 0.009 % |
47.84/47.94 c | 141095 | 11149 60736 195321 | 2147483647 141093 46 | 0.009 % |
48.44/48.54 c | 142053 | 11149 60736 195321 | 2147483647 142051 46 | 0.009 % |
49.04/49.18 c | 143107 | 11149 60736 195321 | 2147483647 143105 47 | 0.009 % |
49.74/49.86 c | 144266 | 11149 60736 195321 | 2147483647 144264 47 | 0.009 % |
50.13/50.29 c | 145539 | 11149 60736 195321 | 2147483647 145537 47 | 0.009 % |
51.54/51.61 c | 146939 | 11149 60736 195321 | 2147483647 146937 48 | 0.010 % |
52.44/52.57 c | 148479 | 11149 60736 195321 | 2147483647 148477 49 | 0.009 % |
52.54/52.63 c | 148579 | 11149 60736 195321 | 2147483647 148577 48 | 0.009 % |
52.65/52.76 c | 148689 | 11149 60736 195321 | 2147483647 148687 49 | 0.009 % |
52.75/52.82 c | 148811 | 11149 60736 195321 | 2147483647 148809 49 | 0.009 % |
52.84/52.91 c | 148945 | 11149 60736 195321 | 2147483647 148943 49 | 0.009 % |
52.84/52.98 c | 149092 | 11149 60736 195321 | 2147483647 149090 49 | 0.009 % |
52.94/53.09 c | 149253 | 11149 60736 195321 | 2147483647 149251 49 | 0.009 % |
53.14/53.21 c | 149430 | 11149 60736 195321 | 2147483647 149428 49 | 0.009 % |
53.24/53.37 c | 149623 | 11149 60736 195321 | 2147483647 149621 49 | 0.009 % |
53.44/53.51 c | 149835 | 11149 60736 195321 | 2147483647 149833 49 | 0.009 % |
53.54/53.63 c | 150068 | 11149 60736 195321 | 2147483647 150066 49 | 0.009 % |
53.94/54.06 c | 150324 | 11149 60736 195321 | 2147483647 150322 49 | 0.010 % |
54.14/54.21 c | 150606 | 11149 60736 195321 | 2147483647 150604 49 | 0.009 % |
54.14/54.28 c | 150915 | 11149 60736 195321 | 2147483647 150913 49 | 0.009 % |
54.24/54.40 c | 151254 | 11149 60736 195321 | 2147483647 151252 49 | 0.009 % |
54.44/54.57 c | 151627 | 11149 60736 195321 | 2147483647 151625 49 | 0.009 % |
54.64/54.73 c | 152038 | 11149 60736 195321 | 2147483647 152036 49 | 0.009 % |
54.94/55.05 c | 152487 | 11149 60736 195321 | 2147483647 152485 49 | 0.010 % |
55.24/55.36 c | 152981 | 11149 60736 195321 | 2147483647 152979 49 | 0.009 % |
55.64/55.75 c | 153523 | 11149 60736 195321 | 2147483647 153521 49 | 0.009 % |
56.04/56.12 c | 154121 | 11149 60736 195321 | 2147483647 154119 49 | 0.010 % |
56.33/56.47 c | 154778 | 11149 60736 195321 | 2147483647 154776 49 | 0.009 % |
56.83/56.97 c | 155500 | 11149 60736 195321 | 2147483647 155498 49 | 0.009 % |
57.43/57.57 c | 156292 | 11149 60736 195321 | 2147483647 156290 49 | 0.010 % |
57.93/58.09 c | 157165 | 11149 60736 195321 | 2147483647 157163 49 | 0.009 % |
58.73/58.89 c | 158124 | 11149 60736 195321 | 2147483647 158122 49 | 0.009 % |
59.23/59.37 c | 159178 | 11149 60736 195321 | 2147483647 159176 49 | 0.009 % |
59.53/59.69 c | 160339 | 11149 60736 195321 | 2147483647 160337 49 | 0.009 % |
60.04/60.12 c | 161613 | 11149 60736 195321 | 2147483647 161611 49 | 0.009 % |
61.04/61.16 c | 163015 | 11149 60736 195321 | 2147483647 163013 49 | 0.009 % |
62.03/62.12 c | 164555 | 11149 60736 195321 | 2147483647 164553 50 | 0.009 % |
63.03/63.18 c | 166250 | 11149 60736 195321 | 2147483647 166248 50 | 0.010 % |
63.13/63.29 c | 166351 | 11149 60736 195321 | 2147483647 166349 50 | 0.009 % |
63.23/63.37 c | 166461 | 11149 60736 195321 | 2147483647 166459 50 | 0.009 % |
63.33/63.49 c | 166583 | 11149 60736 195321 | 2147483647 166581 50 | 0.009 % |
63.53/63.68 c | 166717 | 11149 60736 195321 | 2147483647 166715 50 | 0.010 % |
63.73/63.82 c | 166865 | 11149 60736 195321 | 2147483647 166863 50 | 0.009 % |
63.83/63.95 c | 167025 | 11149 60736 195321 | 2147483647 167023 50 | 0.009 % |
64.03/64.16 c | 167202 | 11149 60736 195321 | 2147483647 167200 51 | 0.010 % |
64.13/64.29 c | 167396 | 11149 60736 195321 | 2147483647 167394 51 | 0.009 % |
64.23/64.39 c | 167608 | 11149 60736 195321 | 2147483647 167606 51 | 0.009 % |
64.44/64.52 c | 167841 | 11149 60736 195321 | 2147483647 167839 51 | 0.009 % |
64.54/64.66 c | 168101 | 11149 60736 195321 | 2147483647 168099 51 | 0.009 % |
64.74/64.88 c | 168382 | 11149 60736 195321 | 2147483647 168380 51 | 0.009 % |
64.93/65.00 c | 168691 | 11149 60736 195321 | 2147483647 168689 50 | 0.009 % |
65.03/65.17 c | 169030 | 11149 60736 195321 | 2147483647 169028 50 | 0.009 % |
65.43/65.50 c | 169402 | 11149 60736 195321 | 2147483647 169400 51 | 0.010 % |
65.73/65.82 c | 169811 | 11149 60736 195321 | 2147483647 169809 51 | 0.009 % |
65.84/65.98 c | 170262 | 11149 60736 195321 | 2147483647 170260 51 | 0.009 % |
66.03/66.19 c | 170756 | 11149 60736 195321 | 2147483647 170754 51 | 0.009 % |
66.23/66.39 c | 171299 | 11149 60736 195321 | 2147483647 171297 51 | 0.009 % |
66.63/66.71 c | 171895 | 11149 60736 195321 | 2147483647 171893 51 | 0.009 % |
66.93/67.02 c | 172551 | 11149 60736 195321 | 2147483647 172549 50 | 0.009 % |
67.33/67.43 c | 173271 | 11149 60736 195321 | 2147483647 173269 51 | 0.010 % |
67.73/67.80 c | 174067 | 11149 60736 195321 | 2147483647 174065 51 | 0.009 % |
68.73/68.88 c | 174938 | 11149 60736 195321 | 2147483647 174936 51 | 0.009 % |
69.53/69.66 c | 175896 | 11149 60736 195321 | 2147483647 175894 51 | 0.009 % |
69.93/70.04 c | 176949 | 11149 60736 195321 | 2147483647 176947 51 | 0.009 % |
70.33/70.47 c | 178108 | 11149 60736 195321 | 2147483647 178106 51 | 0.009 % |
70.93/71.00 c | 179382 | 11149 60736 195321 | 2147483647 179380 51 | 0.009 % |
71.53/71.65 c | 180782 | 11149 60736 195321 | 2147483647 180780 51 | 0.009 % |
72.53/72.69 c | 182323 | 11149 60736 195321 | 2147483647 182321 51 | 0.009 % |
73.12/73.26 c | 184019 | 11149 60736 195321 | 2147483647 184017 51 | 0.009 % |
74.12/74.30 c | 185882 | 11149 60736 195321 | 2147483647 185880 52 | 0.009 % |
74.22/74.39 c | 185982 | 11149 60736 195321 | 2147483647 185980 52 | 0.009 % |
74.43/74.52 c | 186093 | 11149 60736 195321 | 2147483647 186091 52 | 0.009 % |
74.53/74.69 c | 186219 | 11149 60736 195321 | 2147483647 186217 52 | 0.010 % |
74.73/74.82 c | 186352 | 11149 60736 195321 | 2147483647 186350 52 | 0.009 % |
74.83/74.94 c | 186498 | 11149 60736 195321 | 2147483647 186496 52 | 0.009 % |
74.93/75.08 c | 186659 | 11149 60736 195321 | 2147483647 186657 52 | 0.009 % |
75.03/75.18 c | 186835 | 11149 60736 195321 | 2147483647 186833 52 | 0.009 % |
75.23/75.35 c | 187028 | 11149 60736 195321 | 2147483647 187026 51 | 0.009 % |
75.63/75.72 c | 187240 | 11149 60736 195321 | 2147483647 187238 52 | 0.010 % |
75.83/75.93 c | 187474 | 11149 60736 195321 | 2147483647 187472 52 | 0.009 % |
75.93/76.08 c | 187730 | 11149 60736 195321 | 2147483647 187728 52 | 0.009 % |
76.13/76.26 c | 188011 | 11149 60736 195321 | 2147483647 188009 52 | 0.009 % |
76.73/76.82 c | 188321 | 11149 60736 195321 | 2147483647 188319 52 | 0.010 % |
76.93/77.09 c | 188662 | 11149 60736 195321 | 2147483647 188660 52 | 0.009 % |
77.13/77.28 c | 189034 | 11149 60736 195321 | 2147483647 189032 52 | 0.009 % |
77.42/77.57 c | 189443 | 11149 60736 195321 | 2147483647 189441 52 | 0.009 % |
77.62/77.79 c | 189892 | 11149 60736 195321 | 2147483647 189890 52 | 0.009 % |
78.03/78.20 c | 190385 | 11149 60736 195321 | 2147483647 190383 52 | 0.009 % |
78.22/78.34 c | 190927 | 11149 60736 195321 | 2147483647 190925 52 | 0.009 % |
78.42/78.59 c | 191523 | 11149 60736 195321 | 2147483647 191521 52 | 0.009 % |
78.92/79.09 c | 192178 | 11149 60736 195321 | 2147483647 192176 52 | 0.010 % |
79.42/79.58 c | 192898 | 11149 60736 195321 | 2147483647 192896 52 | 0.009 % |
79.82/79.98 c | 193690 | 11149 60736 195321 | 2147483647 193688 52 | 0.009 % |
80.32/80.46 c | 194564 | 11149 60736 195321 | 2147483647 194562 52 | 0.009 % |
81.02/81.16 c | 195523 | 11149 60736 195321 | 2147483647 195521 52 | 0.009 % |
81.62/81.78 c | 196576 | 11149 60736 195321 | 2147483647 196574 52 | 0.010 % |
82.33/82.50 c | 197735 | 11149 60736 195321 | 2147483647 197733 52 | 0.010 % |
83.43/83.59 c | 199009 | 11149 60736 195321 | 2147483647 199007 52 | 0.009 % |
84.52/84.64 c | 200409 | 11149 60736 195321 | 2147483647 200407 53 | 0.009 % |
86.02/86.17 c | 201949 | 11149 60736 195321 | 2147483647 201947 53 | 0.009 % |
87.12/87.22 c | 203643 | 11149 60736 195321 | 2147483647 203641 53 | 0.009 % |
87.61/87.79 c | 205509 | 11149 60736 195321 | 2147483647 205507 53 | 0.009 % |
89.31/89.42 c | 207558 | 11149 60736 195321 | 2147483647 207556 54 | 0.009 % |
89.51/89.66 c | 207658 | 11149 60736 195321 | 2147483647 207656 54 | 0.010 % |
89.61/89.77 c | 207768 | 11149 60736 195321 | 2147483647 207766 54 | 0.009 % |
89.71/89.82 c | 207889 | 11149 60736 195321 | 2147483647 207887 54 | 0.009 % |
89.81/89.92 c | 208022 | 11149 60736 195321 | 2147483647 208020 54 | 0.009 % |
90.11/90.26 c | 208168 | 11149 60736 195321 | 2147483647 208166 54 | 0.009 % |
90.32/90.46 c | 208328 | 11149 60736 195321 | 2147483647 208326 54 | 0.009 % |
90.51/90.60 c | 208504 | 11149 60736 195321 | 2147483647 208502 54 | 0.009 % |
90.81/90.99 c | 208699 | 11149 60736 195321 | 2147483647 208697 54 | 0.009 % |
91.01/91.19 c | 208911 | 11149 60736 195321 | 2147483647 208909 54 | 0.009 % |
91.22/91.39 c | 209145 | 11149 60736 195321 | 2147483647 209143 54 | 0.009 % |
91.41/91.52 c | 209402 | 11149 60736 195321 | 2147483647 209400 54 | 0.009 % |
91.61/91.74 c | 209683 | 11149 60736 195321 | 2147483647 209681 54 | 0.009 % |
91.81/91.99 c | 209992 | 11149 60736 195321 | 2147483647 209990 54 | 0.009 % |
92.11/92.28 c | 210331 | 11149 60736 195321 | 2147483647 210329 54 | 0.009 % |
92.41/92.50 c | 210705 | 11149 60736 195321 | 2147483647 210703 54 | 0.009 % |
92.71/92.83 c | 211115 | 11149 60736 195321 | 2147483647 211113 54 | 0.009 % |
92.91/93.07 c | 211568 | 11149 60736 195321 | 2147483647 211566 54 | 0.009 % |
93.31/93.47 c | 212061 | 11149 60736 195321 | 2147483647 212059 54 | 0.010 % |
93.91/94.07 c | 212603 | 11149 60736 195321 | 2147483647 212601 54 | 0.010 % |
94.41/94.56 c | 213199 | 11149 60736 195321 | 2147483647 213197 55 | 0.009 % |
95.00/95.12 c | 213854 | 11149 60736 195321 | 2147483647 213852 55 | 0.009 % |
95.51/95.68 c | 214574 | 11149 60736 195321 | 2147483647 214572 55 | 0.009 % |
96.20/96.31 c | 215372 | 11149 60736 195321 | 2147483647 215370 55 | 0.010 % |
96.71/96.84 c | 216243 | 11149 60736 195321 | 2147483647 216241 55 | 0.009 % |
97.71/97.90 c | 217204 | 11149 60736 195321 | 2147483647 217202 55 | 0.009 % |
98.20/98.36 c | 218257 | 11149 60736 195321 | 2147483647 218255 55 | 0.009 % |
98.91/99.07 c | 219415 | 11149 60736 195321 | 2147483647 219413 55 | 0.009 % |
99.50/99.63 c | 220690 | 11149 60736 195321 | 2147483647 220688 55 | 0.009 % |
100.90/101.05 c | 222091 | 11149 60736 195321 | 2147483647 222089 54 | 0.009 % |
102.00/102.19 c | 223631 | 11149 60736 195321 | 2147483647 223629 55 | 0.009 % |
103.11/103.28 c | 225326 | 11149 60736 195321 | 2147483647 225324 55 | 0.009 % |
104.50/104.68 c | 227189 | 11149 60736 195321 | 2147483647 227187 55 | 0.009 % |
105.80/105.96 c | 229238 | 11149 60736 195321 | 2147483647 229236 55 | 0.009 % |
107.10/107.23 c | 231491 | 11149 60736 195321 | 230000 231489 55 | 0.009 % |
107.60/107.71 c | 231591 | 11149 60736 195321 | 230000 202514 55 | 0.009 % |
107.70/107.86 c | 231701 | 11149 60736 195321 | 230000 202624 55 | 0.010 % |
107.80/107.95 c | 231823 | 11149 60736 195321 | 230000 202746 55 | 0.009 % |
108.00/108.12 c | 231958 | 11149 60736 195321 | 230000 202881 55 | 0.009 % |
108.10/108.26 c | 232104 | 11149 60736 195321 | 230000 203027 55 | 0.009 % |
108.20/108.35 c | 232264 | 11149 60736 195321 | 230000 203187 55 | 0.009 % |
108.30/108.46 c | 232442 | 11149 60736 195321 | 230000 203365 55 | 0.009 % |
108.40/108.55 c | 232636 | 11149 60736 195321 | 230000 203559 55 | 0.009 % |
108.60/108.72 c | 232848 | 11149 60736 195321 | 230000 203771 55 | 0.009 % |
108.90/109.03 c | 233084 | 11149 60736 195321 | 230000 204007 55 | 0.009 % |
109.40/109.55 c | 233340 | 11149 60736 195321 | 230000 204263 55 | 0.010 % |
109.80/109.95 c | 233622 | 11149 60736 195321 | 230000 204545 55 | 0.009 % |
110.00/110.17 c | 233933 | 11149 60736 195321 | 230000 204856 55 | 0.009 % |
110.20/110.34 c | 234272 | 11149 60736 195321 | 230000 205195 55 | 0.009 % |
110.40/110.58 c | 234644 | 11149 60736 195321 | 230000 205567 55 | 0.009 % |
110.70/110.83 c | 235054 | 11149 60736 195321 | 230000 205977 55 | 0.009 % |
111.10/111.24 c | 235503 | 11149 60736 195321 | 230000 206426 55 | 0.009 % |
111.40/111.51 c | 235997 | 11149 60736 195321 | 230000 206920 55 | 0.010 % |
111.80/111.99 c | 236540 | 11149 60736 195321 | 230000 207463 55 | 0.009 % |
112.29/112.49 c | 237136 | 11149 60736 195321 | 230000 208059 55 | 0.009 % |
113.29/113.45 c | 237792 | 11149 60736 195321 | 230000 208715 55 | 0.009 % |
114.20/114.38 c | 238513 | 11149 60736 195321 | 230000 209436 56 | 0.009 % |
115.09/115.25 c | 239306 | 11149 60736 195321 | 230000 210229 56 | 0.010 % |
116.09/116.20 c | 240177 | 11149 60736 195321 | 2147483647 211100 56 | 0.009 % |
116.79/116.97 c | 241135 | 11149 60736 195321 | 2147483647 212058 56 | 0.009 % |
117.19/117.36 c | 242188 | 11149 60736 195321 | 2147483647 213111 56 | 0.009 % |
117.79/117.96 c | 243346 | 11149 60736 195321 | 2147483647 214269 56 | 0.009 % |
118.60/118.75 c | 244620 | 11149 60736 195321 | 2147483647 215543 56 | 0.009 % |
119.59/119.75 c | 246020 | 11149 60736 195321 | 2147483647 216943 55 | 0.009 % |
121.09/121.27 c | 247562 | 11149 60736 195321 | 2147483647 218485 56 | 0.009 % |
121.79/122.00 c | 249256 | 11149 60736 195321 | 2147483647 220179 56 | 0.009 % |
122.89/123.04 c | 251120 | 11149 60736 195321 | 2147483647 222043 56 | 0.009 % |
124.69/124.83 c | 253170 | 11149 60736 195321 | 2147483647 224093 56 | 0.009 % |
125.59/125.75 c | 255423 | 11149 60736 195321 | 2147483647 226346 55 | 0.009 % |
127.09/127.20 c | 257902 | 11149 60736 195321 | 2147483647 228825 55 | 0.009 % |
127.09/127.29 c | 258002 | 11149 60736 195321 | 2147483647 228925 55 | 0.009 % |
127.39/127.54 c | 258114 | 11149 60736 195321 | 2147483647 229037 55 | 0.009 % |
127.59/127.71 c | 258235 | 11149 60736 195321 | 2147483647 229158 55 | 0.009 % |
127.69/127.80 c | 258370 | 11149 60736 195321 | 2147483647 229293 55 | 0.009 % |
127.79/127.94 c | 258518 | 11149 60736 195321 | 2147483647 229441 55 | 0.009 % |
128.09/128.20 c | 258679 | 11149 60736 195321 | 2147483647 229602 55 | 0.009 % |
128.19/128.35 c | 258855 | 11149 60736 195321 | 2147483647 229778 55 | 0.009 % |
128.39/128.51 c | 259048 | 11149 60736 195321 | 2147483647 229971 55 | 0.009 % |
128.59/128.74 c | 259260 | 11149 60736 195321 | 2147483647 230183 56 | 0.009 % |
128.88/129.04 c | 259493 | 11149 60736 195321 | 2147483647 230416 56 | 0.009 % |
129.08/129.26 c | 259750 | 11149 60736 195321 | 2147483647 230673 56 | 0.009 % |
129.18/129.35 c | 260031 | 11149 60736 195321 | 2147483647 230954 56 | 0.009 % |
129.69/129.87 c | 260344 | 11149 60736 195321 | 2147483647 231267 56 | 0.009 % |
130.09/130.26 c | 260683 | 11149 60736 195321 | 2147483647 231606 56 | 0.009 % |
130.39/130.53 c | 261056 | 11149 60736 195321 | 2147483647 231979 56 | 0.009 % |
130.69/130.82 c | 261465 | 11149 60736 195321 | 2147483647 232388 56 | 0.009 % |
131.09/131.26 c | 261917 | 11149 60736 195321 | 2147483647 232840 56 | 0.009 % |
131.39/131.59 c | 262410 | 11149 60736 195321 | 2147483647 233333 56 | 0.009 % |
131.79/131.92 c | 262952 | 11149 60736 195321 | 2147483647 233875 56 | 0.009 % |
132.29/132.48 c | 263548 | 11149 60736 195321 | 2147483647 234471 56 | 0.009 % |
132.99/133.16 c | 264205 | 11149 60736 195321 | 2147483647 235128 56 | 0.009 % |
133.58/133.77 c | 264926 | 11149 60736 195321 | 2147483647 235849 56 | 0.009 % |
134.48/134.69 c | 265719 | 11149 60736 195321 | 2147483647 236642 56 | 0.009 % |
135.58/135.71 c | 266590 | 11149 60736 195321 | 2147483647 237513 56 | 0.009 % |
136.58/136.80 c | 267548 | 11149 60736 195321 | 2147483647 238471 56 | 0.009 % |
137.68/137.81 c | 268603 | 11149 60736 195321 | 2147483647 239526 56 | 0.010 % |
138.58/138.76 c | 269761 | 11149 60736 195321 | 2147483647 240684 56 | 0.009 % |
139.78/139.94 c | 271035 | 11149 60736 195321 | 240925 241958 56 | 0.009 % |
140.98/141.10 c | 272435 | 11149 60736 195321 | 240925 212775 58 | 0.009 % |
142.48/142.63 c | 273975 | 11149 60736 195321 | 240925 214315 58 | 0.009 % |
143.28/143.45 c | 275670 | 11149 60736 195321 | 240925 216010 58 | 0.009 % |
144.48/144.68 c | 277533 | 11149 60736 195321 | 240925 217873 57 | 0.009 % |
146.38/146.54 c | 279582 | 11149 60736 195321 | 240925 219922 58 | 0.009 % |
148.17/148.33 c | 281835 | 11149 60736 195321 | 220340 222175 58 | 0.010 % |
149.48/149.65 c | 284313 | 11149 60736 195321 | 220340 202436 56 | 0.009 % |
151.58/151.72 c | 287039 | 11149 60736 195321 | 220340 205162 55 | 0.009 % |
151.68/151.88 c | 287140 | 11149 60736 195321 | 220340 205263 55 | 0.009 % |
151.77/151.99 c | 287250 | 11149 60736 195321 | 220340 205373 55 | 0.009 % |
151.97/152.11 c | 287372 | 11149 60736 195321 | 220340 205495 55 | 0.009 % |
151.97/152.17 c | 287505 | 11149 60736 195321 | 220340 205628 55 | 0.009 % |
152.17/152.35 c | 287652 | 11149 60736 195321 | 220340 205775 55 | 0.010 % |
152.37/152.51 c | 287812 | 11149 60736 195321 | 220340 205935 55 | 0.009 % |
152.47/152.63 c | 287989 | 11149 60736 195321 | 220340 206112 55 | 0.009 % |
152.68/152.82 c | 288183 | 11149 60736 195321 | 220340 206306 55 | 0.009 % |
152.87/153.04 c | 288395 | 11149 60736 195321 | 220340 206518 55 | 0.009 % |
153.07/153.23 c | 288628 | 11149 60736 195321 | 220340 206751 55 | 0.009 % |
153.17/153.30 c | 288886 | 11149 60736 195321 | 220340 207009 55 | 0.009 % |
153.27/153.43 c | 289167 | 11149 60736 195321 | 220340 207290 55 | 0.009 % |
153.57/153.74 c | 289476 | 11149 60736 195321 | 220340 207599 55 | 0.009 % |
153.97/154.13 c | 289815 | 11149 60736 195321 | 220340 207938 55 | 0.009 % |
154.07/154.24 c | 290189 | 11149 60736 195321 | 2147483647 208312 55 | 0.009 % |
154.37/154.59 c | 290600 | 11149 60736 195321 | 2147483647 208723 55 | 0.009 % |
154.67/154.82 c | 291052 | 11149 60736 195321 | 2147483647 209175 55 | 0.009 % |
155.47/155.67 c | 291547 | 11149 60736 195321 | 2147483647 209670 55 | 0.010 % |
155.87/156.09 c | 292089 | 11149 60736 195321 | 2147483647 210212 56 | 0.009 % |
156.37/156.57 c | 292686 | 11149 60736 195321 | 2147483647 210809 56 | 0.010 % |
157.07/157.22 c | 293342 | 11149 60736 195321 | 2147483647 211465 56 | 0.009 % |
157.77/157.95 c | 294063 | 11149 60736 195321 | 2147483647 212186 56 | 0.009 % |
158.47/158.68 c | 294856 | 11149 60736 195321 | 2147483647 212979 56 | 0.010 % |
159.07/159.28 c | 295728 | 11149 60736 195321 | 2147483647 213851 56 | 0.009 % |
159.87/160.05 c | 296688 | 11149 60736 195321 | 2147483647 214811 56 | 0.009 % |
160.77/160.91 c | 297741 | 11149 60736 195321 | 2147483647 215864 56 | 0.009 % |
161.77/161.90 c | 298900 | 11149 60736 195321 | 2147483647 217023 56 | 0.009 % |
162.67/162.87 c | 300173 | 11149 60736 195321 | 2147483647 218296 56 | 0.009 % |
163.67/163.81 c | 301573 | 11149 60736 195321 | 2147483647 219696 55 | 0.009 % |
165.17/165.35 c | 303115 | 11149 60736 195321 | 2147483647 221238 56 | 0.009 % |
166.27/166.46 c | 304809 | 11149 60736 195321 | 2147483647 222932 56 | 0.009 % |
167.37/167.59 c | 306672 | 11149 60736 195321 | 2147483647 224795 56 | 0.009 % |
169.06/169.27 c | 308721 | 11149 60736 195321 | 2147483647 226844 56 | 0.009 % |
170.16/170.40 c | 310976 | 11149 60736 195321 | 2147483647 229099 56 | 0.009 % |
172.76/173.00 c | 313454 | 11149 60736 195321 | 2147483647 231577 56 | 0.009 % |
175.26/175.41 c | 316179 | 11149 60736 195321 | 2147483647 234302 56 | 0.009 % |
176.96/177.18 c | 319177 | 11149 60736 195321 | 2147483647 237300 56 | 0.009 % |
177.06/177.25 c | 319277 | 11149 60736 195321 | 2147483647 237400 56 | 0.009 % |
177.16/177.31 c | 319389 | 11149 60736 195321 | 2147483647 237512 56 | 0.009 % |
177.26/177.43 c | 319512 | 11149 60736 195321 | 2147483647 237635 56 | 0.010 % |
177.46/177.65 c | 319646 | 11149 60736 195321 | 2147483647 237769 56 | 0.009 % |
177.76/177.93 c | 319795 | 11149 60736 195321 | 2147483647 237918 56 | 0.009 % |
177.86/178.02 c | 319956 | 11149 60736 195321 | 2147483647 238079 56 | 0.009 % |
178.16/178.31 c | 320132 | 11149 60736 195321 | 2147483647 238255 56 | 0.009 % |
178.26/178.41 c | 320325 | 11149 60736 195321 | 2147483647 238448 56 | 0.009 % |
178.36/178.54 c | 320537 | 11149 60736 195321 | 2147483647 238660 56 | 0.009 % |
178.66/178.89 c | 320771 | 11149 60736 195321 | 2147483647 238894 56 | 0.009 % |
178.96/179.18 c | 321027 | 11149 60736 195321 | 2147483647 239150 56 | 0.009 % |
179.66/179.84 c | 321308 | 11149 60736 195321 | 2147483647 239431 56 | 0.010 % |
179.96/180.15 c | 321617 | 11149 60736 195321 | 2147483647 239740 56 | 0.009 % |
180.26/180.43 c | 321958 | 11149 60736 195321 | 2147483647 240081 56 | 0.009 % |
180.56/180.70 c | 322331 | 11149 60736 195321 | 2147483647 240454 56 | 0.009 % |
180.86/181.02 c | 322740 | 11149 60736 195321 | 2147483647 240863 56 | 0.009 % |
180.96/181.16 c | 323189 | 11149 60736 195321 | 2147483647 241312 56 | 0.009 % |
181.36/181.57 c | 323683 | 11149 60736 195321 | 2147483647 241806 56 | 0.009 % |
181.76/181.94 c | 324225 | 11149 60736 195321 | 2147483647 242348 56 | 0.009 % |
182.36/182.55 c | 324821 | 11149 60736 195321 | 2147483647 242944 56 | 0.009 % |
182.76/182.98 c | 325478 | 11149 60736 195321 | 2147483647 243601 56 | 0.009 % |
183.26/183.42 c | 326200 | 11149 60736 195321 | 2147483647 244323 56 | 0.009 % |
184.06/184.21 c | 326993 | 11149 60736 195321 | 2147483647 245116 56 | 0.009 % |
185.06/185.23 c | 327864 | 11149 60736 195321 | 2147483647 245987 56 | 0.009 % |
185.86/186.08 c | 328822 | 11149 60736 195321 | 2147483647 246945 56 | 0.009 % |
186.46/186.60 c | 329875 | 11149 60736 195321 | 2147483647 247998 56 | 0.009 % |
187.56/187.71 c | 331033 | 11149 60736 195321 | 2147483647 249156 56 | 0.009 % |
188.86/189.00 c | 332306 | 11149 60736 195321 | 2147483647 250429 56 | 0.010 % |
189.66/189.89 c | 333706 | 11149 60736 195321 | 2147483647 251829 56 | 0.009 % |
190.55/190.70 c | 335246 | 11149 60736 195321 | 2147483647 253369 56 | 0.009 % |
192.26/192.45 c | 336941 | 11149 60736 195321 | 2147483647 255064 56 | 0.009 % |
193.05/193.26 c | 338804 | 11149 60736 195321 | 2147483647 256927 55 | 0.009 % |
193.75/193.91 c | 340853 | 11149 60736 195321 | 2147483647 258976 55 | 0.009 % |
195.66/195.83 c | 343106 | 11149 60736 195321 | 2147483647 261229 55 | 0.009 % |
197.26/197.47 c | 345584 | 11149 60736 195321 | 2147483647 263707 55 | 0.009 % |
200.55/200.72 c | 348309 | 11149 60736 195321 | 2147483647 266432 55 | 0.010 % |
203.35/203.51 c | 351306 | 11149 60736 195321 | 268123 269429 56 | 0.009 % |
206.75/206.97 c | 354603 | 11149 60736 195321 | 268123 237319 53 | 0.009 % |
206.85/207.04 c | 354703 | 11149 60736 195321 | 268123 237419 53 | 0.009 % |
206.95/207.14 c | 354814 | 11149 60736 195321 | 268123 237530 53 | 0.009 % |
207.15/207.32 c | 354935 | 11149 60736 195321 | 268123 237651 53 | 0.009 % |
207.35/207.52 c | 355068 | 11149 60736 195321 | 268123 237784 53 | 0.009 % |
207.65/207.81 c | 355215 | 11149 60736 195321 | 268123 237931 53 | 0.010 % |
207.84/208.02 c | 355375 | 11149 60736 195321 | 268123 238091 53 | 0.009 % |
208.04/208.22 c | 355551 | 11149 60736 195321 | 268123 238267 53 | 0.009 % |
208.24/208.46 c | 355747 | 11149 60736 195321 | 268123 238463 53 | 0.010 % |
208.54/208.71 c | 355960 | 11149 60736 195321 | 268123 238676 53 | 0.009 % |
208.75/208.91 c | 356193 | 11149 60736 195321 | 268123 238909 53 | 0.009 % |
208.85/209.00 c | 356450 | 11149 60736 195321 | 268123 239166 53 | 0.009 % |
209.04/209.28 c | 356734 | 11149 60736 195321 | 268123 239450 53 | 0.009 % |
209.24/209.45 c | 357043 | 11149 60736 195321 | 268123 239759 53 | 0.009 % |
209.74/209.99 c | 357383 | 11149 60736 195321 | 268123 240099 53 | 0.009 % |
210.34/210.53 c | 357757 | 11149 60736 195321 | 268123 240473 53 | 0.009 % |
210.74/210.93 c | 358166 | 11149 60736 195321 | 268123 240882 53 | 0.009 % |
211.04/211.26 c | 358615 | 11149 60736 195321 | 268123 241331 53 | 0.009 % |
211.64/211.85 c | 359108 | 11149 60736 195321 | 268123 241824 53 | 0.009 % |
212.34/212.55 c | 359650 | 11149 60736 195321 | 268123 242366 53 | 0.009 % |
212.94/213.11 c | 360246 | 11149 60736 195321 | 242716 242962 53 | 0.009 % |
213.74/213.91 c | 360901 | 11149 60736 195321 | 242716 209690 50 | 0.009 % |
213.94/214.17 c | 361623 | 11149 60736 195321 | 242716 210412 50 | 0.009 % |
214.44/214.69 c | 362416 | 11149 60736 195321 | 242716 211205 50 | 0.009 % |
214.84/215.10 c | 363287 | 11149 60736 195321 | 242716 212076 50 | 0.009 % |
215.74/215.91 c | 364248 | 11149 60736 195321 | 242716 213037 50 | 0.009 % |
217.04/217.23 c | 365301 | 11149 60736 195321 | 242716 214090 50 | 0.009 % |
218.14/218.31 c | 366459 | 11149 60736 195321 | 242716 215248 50 | 0.009 % |
219.04/219.23 c | 367733 | 11149 60736 195321 | 242716 216522 51 | 0.009 % |
220.14/220.38 c | 369133 | 11149 60736 195321 | 242716 217922 51 | 0.009 % |
221.74/221.96 c | 370673 | 11149 60736 195321 | 2147483647 219462 51 | 0.009 % |
223.04/223.27 c | 372370 | 11149 60736 195321 | 2147483647 221159 50 | 0.009 % |
224.83/225.09 c | 374234 | 11149 60736 195321 | 2147483647 223023 50 | 0.009 % |
226.34/226.60 c | 376283 | 11149 60736 195321 | 2147483647 225072 50 | 0.009 % |
227.93/228.18 c | 378538 | 11149 60736 195321 | 2147483647 227327 51 | 0.009 % |
230.74/230.94 c | 381018 | 11149 60736 195321 | 228789 229807 51 | 0.010 % |
233.43/233.68 c | 383743 | 11149 60736 195321 | 228789 202920 50 | 0.010 % |
235.83/236.07 c | 386740 | 11149 60736 195321 | 228789 205917 51 | 0.009 % |
237.83/238.09 c | 390039 | 11149 60736 195321 | 2147483647 209216 51 | 0.009 % |
240.73/240.93 c | 393665 | 11149 60736 195321 | 2147483647 212842 52 | 0.010 % |
240.83/241.05 c | 393765 | 11149 60736 195321 | 2147483647 212942 52 | 0.009 % |
240.93/241.12 c | 393877 | 11149 60736 195321 | 2147483647 213054 52 | 0.009 % |
240.93/241.19 c | 393998 | 11149 60736 195321 | 2147483647 213175 52 | 0.009 % |
241.02/241.29 c | 394132 | 11149 60736 195321 | 2147483647 213309 52 | 0.009 % |
241.22/241.49 c | 394279 | 11149 60736 195321 | 2147483647 213456 52 | 0.009 % |
241.42/241.66 c | 394439 | 11149 60736 195321 | 2147483647 213616 52 | 0.009 % |
241.62/241.86 c | 394615 | 11149 60736 195321 | 2147483647 213792 52 | 0.009 % |
241.83/242.01 c | 394809 | 11149 60736 195321 | 2147483647 213986 52 | 0.009 % |
241.92/242.19 c | 395021 | 11149 60736 195321 | 2147483647 214198 52 | 0.009 % |
242.22/242.46 c | 395255 | 11149 60736 195321 | 2147483647 214432 52 | 0.009 % |
242.52/242.72 c | 395512 | 11149 60736 195321 | 2147483647 214689 52 | 0.009 % |
242.93/243.16 c | 395795 | 11149 60736 195321 | 2147483647 214972 53 | 0.010 % |
243.32/243.50 c | 396106 | 11149 60736 195321 | 2147483647 215283 53 | 0.009 % |
243.42/243.63 c | 396447 | 11149 60736 195321 | 2147483647 215624 53 | 0.009 % |
243.72/243.91 c | 396819 | 11149 60736 195321 | 2147483647 215996 53 | 0.009 % |
244.12/244.30 c | 397228 | 11149 60736 195321 | 2147483647 216405 53 | 0.009 % |
244.42/244.62 c | 397677 | 11149 60736 195321 | 2147483647 216854 53 | 0.009 % |
245.03/245.26 c | 398170 | 11149 60736 195321 | 2147483647 217347 53 | 0.009 % |
245.42/245.66 c | 398714 | 11149 60736 195321 | 2147483647 217891 52 | 0.009 % |
246.23/246.49 c | 399312 | 11149 60736 195321 | 2147483647 218489 53 | 0.009 % |
246.82/247.01 c | 399967 | 11149 60736 195321 | 2147483647 219144 53 | 0.009 % |
247.22/247.45 c | 400689 | 11149 60736 195321 | 2147483647 219866 53 | 0.009 % |
247.92/248.19 c | 401481 | 11149 60736 195321 | 2147483647 220658 53 | 0.009 % |
248.32/248.58 c | 402353 | 11149 60736 195321 | 2147483647 221530 53 | 0.009 % |
249.12/249.32 c | 403312 | 11149 60736 195321 | 2147483647 222489 53 | 0.009 % |
249.62/249.83 c | 404366 | 11149 60736 195321 | 2147483647 223543 53 | 0.009 % |
250.23/250.50 c | 405526 | 11149 60736 195321 | 2147483647 224703 52 | 0.009 % |
251.33/251.56 c | 406803 | 11149 60736 195321 | 2147483647 225980 53 | 0.010 % |
252.33/252.55 c | 408204 | 11149 60736 195321 | 2147483647 227381 53 | 0.009 % |
253.23/253.42 c | 409745 | 11149 60736 195321 | 2147483647 228922 53 | 0.009 % |
254.03/254.26 c | 411440 | 11149 60736 195321 | 2147483647 230617 53 | 0.009 % |
255.43/255.69 c | 413303 | 11149 60736 195321 | 2147483647 232480 53 | 0.009 % |
257.42/257.66 c | 415353 | 11149 60736 195321 | 2147483647 234530 53 | 0.009 % |
259.33/259.58 c | 417609 | 11149 60736 195321 | 2147483647 236786 53 | 0.009 % |
261.72/261.93 c | 420087 | 11149 60736 195321 | 2147483647 239264 53 | 0.009 % |
266.32/266.53 c | 422812 | 11149 60736 195321 | 2147483647 241989 54 | 0.010 % |
268.42/268.67 c | 425809 | 11149 60736 195321 | 2147483647 244986 54 | 0.009 % |
271.82/272.01 c | 429105 | 11149 60736 195321 | 2147483647 248282 54 | 0.009 % |
274.92/275.12 c | 432732 | 11149 60736 195321 | 249178 226767 53 | 0.009 % |
278.92/279.13 c | 436720 | 11149 60736 195321 | 249178 230755 53 | 0.009 % |
279.02/279.21 c | 436820 | 11149 60736 195321 | 249178 230855 53 | 0.009 % |
279.12/279.35 c | 436931 | 11149 60736 195321 | 249178 230966 53 | 0.009 % |
279.22/279.44 c | 437053 | 11149 60736 195321 | 249178 231088 53 | 0.009 % |
279.42/279.63 c | 437186 | 11149 60736 195321 | 249178 231221 53 | 0.009 % |
279.52/279.76 c | 437333 | 11149 60736 195321 | 249178 231368 53 | 0.009 % |
279.72/279.98 c | 437493 | 11149 60736 195321 | 249178 231528 53 | 0.009 % |
279.92/280.15 c | 437670 | 11149 60736 195321 | 249178 231705 53 | 0.009 % |
280.12/280.31 c | 437864 | 11149 60736 195321 | 249178 231899 53 | 0.009 % |
280.22/280.47 c | 438076 | 11149 60736 195321 | 249178 232111 53 | 0.009 % |
280.51/280.71 c | 438311 | 11149 60736 195321 | 249178 232346 53 | 0.010 % |
280.61/280.89 c | 438569 | 11149 60736 195321 | 249178 232604 53 | 0.009 % |
280.91/281.11 c | 438851 | 11149 60736 195321 | 249178 232886 53 | 0.010 % |
281.01/281.24 c | 439162 | 11149 60736 195321 | 249178 233197 53 | 0.009 % |
281.42/281.64 c | 439501 | 11149 60736 195321 | 249178 233536 53 | 0.009 % |
281.71/281.99 c | 439874 | 11149 60736 195321 | 249178 233909 53 | 0.009 % |
282.11/282.37 c | 440283 | 11149 60736 195321 | 234035 234318 53 | 0.009 % |
283.01/283.21 c | 440733 | 11149 60736 195321 | 234035 194802 50 | 0.009 % |
283.21/283.45 c | 441227 | 11149 60736 195321 | 234035 195296 50 | 0.009 % |
283.81/284.02 c | 441769 | 11149 60736 195321 | 234035 195838 50 | 0.009 % |
284.21/284.44 c | 442368 | 11149 60736 195321 | 234035 196437 50 | 0.009 % |
284.72/284.91 c | 443023 | 11149 60736 195321 | 234035 197092 50 | 0.009 % |
285.82/286.03 c | 443743 | 11149 60736 195321 | 234035 197812 50 | 0.010 % |
286.21/286.45 c | 444540 | 11149 60736 195321 | 234035 198609 50 | 0.009 % |
287.01/287.24 c | 445411 | 11149 60736 195321 | 234035 199480 51 | 0.010 % |
287.61/287.88 c | 446369 | 11149 60736 195321 | 234035 200438 51 | 0.009 % |
288.11/288.30 c | 447422 | 11149 60736 195321 | 234035 201491 51 | 0.009 % |
289.21/289.44 c | 448581 | 11149 60736 195321 | 234035 202650 51 | 0.009 % |
289.91/290.13 c | 449855 | 11149 60736 195321 | 234035 203924 51 | 0.009 % |
291.21/291.45 c | 451255 | 11149 60736 195321 | 204069 184894 49 | 0.009 % |
292.61/292.82 c | 452795 | 11149 60736 195321 | 204069 186434 49 | 0.009 % |
294.01/294.25 c | 454491 | 11149 60736 195321 | 204069 188130 49 | 0.009 % |
295.00/295.21 c | 456354 | 11149 60736 195321 | 204069 189993 49 | 0.009 % |
296.81/297.08 c | 458404 | 11149 60736 195321 | 204069 192043 49 | 0.009 % |
298.10/298.32 c | 460657 | 11149 60736 195321 | 2147483647 194296 49 | 0.009 % |
300.20/300.40 c | 463137 | 11149 60736 195321 | 2147483647 196776 49 | 0.009 % |
302.90/303.11 c | 465864 | 11149 60736 195321 | 2147483647 199503 49 | 0.009 % |
305.10/305.36 c | 468861 | 11149 60736 195321 | 2147483647 202500 49 | 0.009 % |
308.20/308.40 c | 472158 | 11149 60736 195321 | 2147483647 205797 49 | 0.009 % |
312.20/312.45 c | 475783 | 11149 60736 195321 | 2147483647 209422 49 | 0.009 % |
314.80/315.01 c | 479770 | 11149 60736 195321 | 2147483647 213409 49 | 0.009 % |
319.90/320.15 c | 484155 | 11149 60736 195321 | 213640 162807 47 | 0.009 % |
319.99/320.21 c | 484256 | 11149 60736 195321 | 213640 162908 47 | 0.009 % |
320.09/320.34 c | 484366 | 11149 60736 195321 | 213640 163018 47 | 0.009 % |
320.19/320.44 c | 484487 | 11149 60736 195321 | 213640 163139 47 | 0.009 % |
320.29/320.56 c | 484620 | 11149 60736 195321 | 213640 163272 47 | 0.009 % |
320.39/320.68 c | 484766 | 11149 60736 195321 | 213640 163418 47 | 0.009 % |
320.59/320.86 c | 484928 | 11149 60736 195321 | 213640 163580 47 | 0.009 % |
320.69/320.93 c | 485105 | 11149 60736 195321 | 213640 163757 47 | 0.009 % |
320.79/321.09 c | 485298 | 11149 60736 195321 | 213640 163950 47 | 0.009 % |
320.90/321.20 c | 485511 | 11149 60736 195321 | 213640 164163 47 | 0.009 % |
321.19/321.43 c | 485746 | 11149 60736 195321 | 213640 164398 47 | 0.010 % |
321.39/321.64 c | 486002 | 11149 60736 195321 | 213640 164654 47 | 0.009 % |
321.59/321.89 c | 486286 | 11149 60736 195321 | 213640 164938 47 | 0.009 % |
321.89/322.17 c | 486596 | 11149 60736 195321 | 213640 165248 47 | 0.009 % |
322.09/322.31 c | 486936 | 11149 60736 195321 | 213640 165588 47 | 0.009 % |
322.49/322.77 c | 487308 | 11149 60736 195321 | 213640 165960 47 | 0.009 % |
322.69/322.97 c | 487717 | 11149 60736 195321 | 213640 166369 47 | 0.009 % |
322.99/323.20 c | 488167 | 11149 60736 195321 | 213640 166819 47 | 0.009 % |
323.39/323.65 c | 488662 | 11149 60736 195321 | 213640 167314 47 | 0.009 % |
323.89/324.14 c | 489204 | 11149 60736 195321 | 213640 167856 47 | 0.009 % |
324.39/324.69 c | 489801 | 11149 60736 195321 | 213640 168453 47 | 0.009 % |
324.89/325.20 c | 490456 | 11149 60736 195321 | 168652 169108 47 | 0.009 % |
325.89/326.19 c | 491176 | 11149 60736 195321 | 168652 144770 41 | 0.009 % |
326.39/326.66 c | 491970 | 11149 60736 195321 | 168652 145564 41 | 0.009 % |
326.99/327.23 c | 492841 | 11149 60736 195321 | 168652 146435 41 | 0.009 % |
327.49/327.75 c | 493800 | 11149 60736 195321 | 168652 147394 41 | 0.009 % |
327.99/328.26 c | 494854 | 11149 60736 195321 | 168652 148448 41 | 0.009 % |
328.49/328.71 c | 496013 | 11149 60736 195321 | 168652 149607 41 | 0.009 % |
329.39/329.69 c | 497288 | 11149 60736 195321 | 168652 150882 42 | 0.009 % |
330.39/330.67 c | 498688 | 11149 60736 195321 | 168652 152282 42 | 0.009 % |
331.58/331.83 c | 500230 | 11149 60736 195321 | 2147483647 153824 43 | 0.009 % |
332.88/333.11 c | 501925 | 11149 60736 195321 | 2147483647 155519 43 | 0.009 % |
333.58/333.84 c | 503789 | 11149 60736 195321 | 2147483647 157383 43 | 0.009 % |
335.29/335.59 c | 505841 | 11149 60736 195321 | 2147483647 159435 43 | 0.009 % |
336.68/336.92 c | 508094 | 11149 60736 195321 | 2147483647 161688 43 | 0.009 % |
338.49/338.78 c | 510572 | 11149 60736 195321 | 2147483647 164166 44 | 0.010 % |
341.89/342.19 c | 513298 | 11149 60736 195321 | 2147483647 166892 46 | 0.010 % |
343.78/344.01 c | 516295 | 11149 60736 195321 | 2147483647 169889 46 | 0.009 % |
346.08/346.31 c | 519591 | 11149 60736 195321 | 2147483647 173185 46 | 0.009 % |
350.08/350.35 c | 523218 | 11149 60736 195321 | 2147483647 176812 48 | 0.010 % |
352.68/352.99 c | 527205 | 11149 60736 195321 | 2147483647 180799 49 | 0.009 % |
355.28/355.57 c | 531590 | 11149 60736 195321 | 2147483647 185184 49 | 0.009 % |
358.57/358.86 c | 536413 | 11149 60736 195321 | 2147483647 190007 51 | 0.009 % |
358.77/359.00 c | 536513 | 11149 60736 195321 | 2147483647 190107 51 | 0.009 % |
358.97/359.23 c | 536623 | 11149 60736 195321 | 2147483647 190217 51 | 0.010 % |
359.07/359.34 c | 536744 | 11149 60736 195321 | 2147483647 190338 51 | 0.009 % |
359.17/359.43 c | 536877 | 11149 60736 195321 | 2147483647 190471 51 | 0.009 % |
359.27/359.58 c | 537024 | 11149 60736 195321 | 2147483647 190618 51 | 0.009 % |
359.48/359.73 c | 537185 | 11149 60736 195321 | 2147483647 190779 51 | 0.010 % |
359.77/360.03 c | 537361 | 11149 60736 195321 | 2147483647 190955 51 | 0.009 % |
359.87/360.17 c | 537555 | 11149 60736 195321 | 2147483647 191149 51 | 0.009 % |
360.07/360.38 c | 537769 | 11149 60736 195321 | 2147483647 191363 51 | 0.010 % |
360.27/360.50 c | 538002 | 11149 60736 195321 | 2147483647 191596 51 | 0.009 % |
360.48/360.73 c | 538258 | 11149 60736 195321 | 2147483647 191852 51 | 0.010 % |
360.67/360.97 c | 538540 | 11149 60736 195321 | 2147483647 192134 51 | 0.009 % |
361.07/361.30 c | 538849 | 11149 60736 195321 | 2147483647 192443 51 | 0.010 % |
361.27/361.54 c | 539188 | 11149 60736 195321 | 2147483647 192782 51 | 0.009 % |
361.58/361.87 c | 539562 | 11149 60736 195321 | 2147483647 193156 51 | 0.009 % |
361.97/362.21 c | 539975 | 11149 60736 195321 | 2147483647 193569 52 | 0.010 % |
362.37/362.62 c | 540425 | 11149 60736 195321 | 2147483647 194019 52 | 0.009 % |
362.67/362.96 c | 540918 | 11149 60736 195321 | 2147483647 194512 52 | 0.009 % |
363.07/363.31 c | 541460 | 11149 60736 195321 | 2147483647 195054 52 | 0.009 % |
363.57/363.80 c | 542058 | 11149 60736 195321 | 2147483647 195652 52 | 0.009 % |
364.27/364.52 c | 542715 | 11149 60736 195321 | 2147483647 196309 52 | 0.010 % |
364.67/364.96 c | 543435 | 11149 60736 195321 | 2147483647 197029 52 | 0.009 % |
364.97/365.24 c | 544227 | 11149 60736 195321 | 2147483647 197821 52 | 0.009 % |
365.27/365.56 c | 545098 | 11149 60736 195321 | 2147483647 198692 52 | 0.009 % |
366.77/367.07 c | 546056 | 11149 60736 195321 | 2147483647 199650 52 | 0.010 % |
367.57/367.89 c | 547109 | 11149 60736 195321 | 2147483647 200703 52 | 0.009 % |
368.46/368.79 c | 548268 | 11149 60736 195321 | 2147483647 201862 52 | 0.009 % |
369.16/369.44 c | 549541 | 11149 60736 195321 | 2147483647 203135 52 | 0.009 % |
370.56/370.83 c | 550944 | 11149 60736 195321 | 2147483647 204538 53 | 0.010 % |
371.57/371.81 c | 552485 | 11149 60736 195321 | 2147483647 206079 53 | 0.009 % |
372.86/373.14 c | 554179 | 11149 60736 195321 | 2147483647 207773 53 | 0.009 % |
374.36/374.65 c | 556043 | 11149 60736 195321 | 2147483647 209637 53 | 0.009 % |
377.16/377.46 c | 558093 | 11149 60736 195321 | 2147483647 211687 54 | 0.010 % |
378.56/378.82 c | 560346 | 11149 60736 195321 | 2147483647 213940 54 | 0.009 % |
379.76/380.06 c | 562824 | 11149 60736 195321 | 2147483647 216418 54 | 0.009 % |
381.56/381.85 c | 565549 | 11149 60736 195321 | 2147483647 219143 54 | 0.009 % |
384.66/384.93 c | 568546 | 11149 60736 195321 | 2147483647 222140 56 | 0.010 % |
388.06/388.39 c | 571842 | 11149 60736 195321 | 2147483647 225436 56 | 0.010 % |
390.16/390.45 c | 575467 | 11149 60736 195321 | 2147483647 229061 57 | 0.009 % |
393.85/394.18 c | 579455 | 11149 60736 195321 | 2147483647 233049 56 | 0.009 % |
397.65/397.94 c | 583840 | 11149 60736 195321 | 233594 213832 56 | 0.009 % |
401.75/402.08 c | 588665 | 11149 60736 195321 | 233594 218657 55 | 0.009 % |
405.65/405.96 c | 593970 | 11149 60736 195321 | 219993 201682 55 | 0.009 % |
405.75/406.05 c | 594070 | 11149 60736 195321 | 219993 201782 55 | 0.009 % |
406.05/406.31 c | 594181 | 11149 60736 195321 | 219993 201893 55 | 0.010 % |
406.15/406.45 c | 594302 | 11149 60736 195321 | 219993 202014 55 | 0.009 % |
406.35/406.65 c | 594437 | 11149 60736 195321 | 219993 202149 55 | 0.009 % |
406.55/406.88 c | 594583 | 11149 60736 195321 | 219993 202295 55 | 0.009 % |
406.75/407.08 c | 594743 | 11149 60736 195321 | 219993 202455 55 | 0.010 % |
406.95/407.23 c | 594921 | 11149 60736 195321 | 219993 202633 55 | 0.009 % |
407.15/407.49 c | 595114 | 11149 60736 195321 | 219993 202826 55 | 0.009 % |
407.45/407.74 c | 595326 | 11149 60736 195321 | 219993 203038 55 | 0.009 % |
407.65/408.00 c | 595560 | 11149 60736 195321 | 219993 203272 55 | 0.009 % |
407.95/408.22 c | 595816 | 11149 60736 195321 | 219993 203528 56 | 0.009 % |
408.15/408.48 c | 596097 | 11149 60736 195321 | 219993 203809 56 | 0.009 % |
408.55/408.84 c | 596406 | 11149 60736 195321 | 219993 204118 56 | 0.010 % |
408.75/409.09 c | 596745 | 11149 60736 195321 | 219993 204457 56 | 0.009 % |
408.95/409.26 c | 597117 | 11149 60736 195321 | 219993 204829 56 | 0.009 % |
409.25/409.56 c | 597526 | 11149 60736 195321 | 219993 205238 56 | 0.009 % |
409.74/410.06 c | 597977 | 11149 60736 195321 | 219993 205689 56 | 0.010 % |
410.14/410.43 c | 598472 | 11149 60736 195321 | 219993 206184 56 | 0.009 % |
410.74/411.05 c | 599016 | 11149 60736 195321 | 219993 206728 56 | 0.009 % |
411.24/411.59 c | 599612 | 11149 60736 195321 | 219993 207324 56 | 0.010 % |
411.94/412.26 c | 600268 | 11149 60736 195321 | 2147483647 207980 56 | 0.009 % |
412.64/412.97 c | 600988 | 11149 60736 195321 | 2147483647 208700 56 | 0.009 % |
413.25/413.51 c | 601780 | 11149 60736 195321 | 2147483647 209492 56 | 0.009 % |
413.55/413.87 c | 602651 | 11149 60736 195321 | 2147483647 210363 56 | 0.009 % |
414.14/414.47 c | 603609 | 11149 60736 195321 | 2147483647 211321 56 | 0.009 % |
414.94/415.23 c | 604662 | 11149 60736 195321 | 2147483647 212374 55 | 0.009 % |
415.34/415.70 c | 605820 | 11149 60736 195321 | 2147483647 213532 55 | 0.009 % |
416.44/416.76 c | 607094 | 11149 60736 195321 | 2147483647 214806 55 | 0.009 % |
417.44/417.80 c | 608494 | 11149 60736 195321 | 2147483647 216206 56 | 0.009 % |
419.24/419.55 c | 610035 | 11149 60736 195321 | 2147483647 217747 56 | 0.009 % |
420.64/420.98 c | 611729 | 11149 60736 195321 | 2147483647 219441 56 | 0.010 % |
422.34/422.69 c | 613592 | 11149 60736 195321 | 2147483647 221304 57 | 0.009 % |
424.04/424.35 c | 615641 | 11149 60736 195321 | 2147483647 223353 57 | 0.009 % |
425.64/425.90 c | 617894 | 11149 60736 195321 | 2147483647 225606 58 | 0.009 % |
428.24/428.51 c | 620372 | 11149 60736 195321 | 2147483647 228084 58 | 0.009 % |
430.43/430.75 c | 623097 | 11149 60736 195321 | 2147483647 230809 58 | 0.009 % |
435.63/435.92 c | 626094 | 11149 60736 195321 | 2147483647 233806 59 | 0.010 % |
438.43/438.74 c | 629391 | 11149 60736 195321 | 2147483647 237103 59 | 0.010 % |
441.53/441.90 c | 633017 | 11149 60736 195321 | 237712 216783 61 | 0.009 % |
445.63/445.91 c | 637004 | 11149 60736 195321 | 237712 220770 63 | 0.010 % |
450.23/450.53 c | 641389 | 11149 60736 195321 | 223766 225155 64 | 0.010 % |
455.22/455.57 c | 646212 | 11149 60736 195321 | 223766 206795 62 | 0.009 % |
459.12/459.40 c | 651518 | 11149 60736 195321 | 210584 184730 62 | 0.009 % |
465.82/466.17 c | 657354 | 11149 60736 195321 | 210584 190566 64 | 0.009 % |
465.92/466.27 c | 657454 | 11149 60736 195321 | 210584 190666 64 | 0.009 % |
466.12/466.41 c | 657564 | 11149 60736 195321 | 210584 190776 65 | 0.009 % |
466.22/466.58 c | 657685 | 11149 60736 195321 | 210584 190897 64 | 0.009 % |
466.32/466.66 c | 657819 | 11149 60736 195321 | 210584 191031 64 | 0.009 % |
466.42/466.79 c | 657966 | 11149 60736 195321 | 210584 191178 64 | 0.009 % |
466.62/466.91 c | 658127 | 11149 60736 195321 | 210584 191339 64 | 0.009 % |
466.72/467.01 c | 658306 | 11149 60736 195321 | 210584 191518 64 | 0.009 % |
466.92/467.21 c | 658501 | 11149 60736 195321 | 210584 191713 64 | 0.009 % |
467.12/467.43 c | 658713 | 11149 60736 195321 | 210584 191925 65 | 0.009 % |
467.32/467.60 c | 658948 | 11149 60736 195321 | 210584 192160 65 | 0.009 % |
467.42/467.75 c | 659205 | 11149 60736 195321 | 210584 192417 64 | 0.009 % |
467.72/468.01 c | 659486 | 11149 60736 195321 | 210584 192698 64 | 0.009 % |
467.91/468.23 c | 659795 | 11149 60736 195321 | 210584 193007 64 | 0.009 % |
468.11/468.48 c | 660134 | 11149 60736 195321 | 193212 193346 64 | 0.009 % |
468.72/469.07 c | 660507 | 11149 60736 195321 | 193212 172255 64 | 0.009 % |
469.22/469.50 c | 660916 | 11149 60736 195321 | 193212 172664 64 | 0.010 % |
469.51/469.82 c | 661365 | 11149 60736 195321 | 193212 173113 64 | 0.009 % |
470.01/470.32 c | 661858 | 11149 60736 195321 | 193212 173606 64 | 0.009 % |
470.31/470.62 c | 662401 | 11149 60736 195321 | 193212 174149 64 | 0.009 % |
470.61/470.99 c | 662998 | 11149 60736 195321 | 193212 174746 64 | 0.009 % |
471.01/471.34 c | 663654 | 11149 60736 195321 | 193212 175402 63 | 0.009 % |
471.31/471.69 c | 664374 | 11149 60736 195321 | 193212 176122 63 | 0.009 % |
471.81/472.15 c | 665168 | 11149 60736 195321 | 193212 176916 63 | 0.009 % |
472.21/472.57 c | 666039 | 11149 60736 195321 | 193212 177787 63 | 0.009 % |
473.21/473.56 c | 666997 | 11149 60736 195321 | 193212 178745 64 | 0.009 % |
474.41/474.75 c | 668051 | 11149 60736 195321 | 193212 179799 64 | 0.009 % |
475.11/475.49 c | 669211 | 11149 60736 195321 | 193212 180959 64 | 0.010 % |
475.71/476.09 c | 670486 | 11149 60736 195321 | 2147483647 182234 64 | 0.009 % |
476.81/477.12 c | 671886 | 11149 60736 195321 | 2147483647 183634 64 | 0.009 % |
477.71/478.03 c | 673431 | 11149 60736 195321 | 2147483647 185179 63 | 0.009 % |
478.31/478.61 c | 675126 | 11149 60736 195321 | 2147483647 186874 63 | 0.009 % |
479.31/479.68 c | 676993 | 11149 60736 195321 | 2147483647 188741 63 | 0.009 % |
480.61/480.92 c | 679043 | 11149 60736 195321 | 2147483647 190791 63 | 0.009 % |
483.01/483.39 c | 681296 | 11149 60736 195321 | 2147483647 193044 63 | 0.009 % |
484.21/484.56 c | 683777 | 11149 60736 195321 | 2147483647 195525 63 | 0.009 % |
485.21/485.53 c | 686502 | 11149 60736 195321 | 2147483647 198250 63 | 0.009 % |
488.30/488.63 c | 689500 | 11149 60736 195321 | 2147483647 201248 65 | 0.009 % |
490.61/490.96 c | 692796 | 11149 60736 195321 | 2147483647 204544 65 | 0.010 % |
493.21/493.58 c | 696421 | 11149 60736 195321 | 2147483647 208169 64 | 0.009 % |
495.01/495.39 c | 700408 | 11149 60736 195321 | 2147483647 212156 64 | 0.009 % |
498.71/499.05 c | 704793 | 11149 60736 195321 | 2147483647 216541 64 | 0.009 % |
502.21/502.59 c | 709618 | 11149 60736 195321 | 2147483647 221366 64 | 0.009 % |
505.91/506.25 c | 714923 | 11149 60736 195321 | 2147483647 226671 63 | 0.009 % |
509.90/510.27 c | 720758 | 11149 60736 195321 | 2147483647 232506 63 | 0.009 % |
513.20/513.52 c | 727176 | 11149 60736 195321 | 2147483647 238924 62 | 0.009 % |
513.31/513.63 c | 727276 | 11149 60736 195321 | 2147483647 239024 62 | 0.009 % |
513.41/513.76 c | 727386 | 11149 60736 195321 | 2147483647 239134 62 | 0.009 % |
513.50/513.89 c | 727507 | 11149 60736 195321 | 2147483647 239255 62 | 0.009 % |
513.80/514.10 c | 727640 | 11149 60736 195321 | 2147483647 239388 62 | 0.010 % |
514.00/514.34 c | 727788 | 11149 60736 195321 | 2147483647 239536 62 | 0.009 % |
514.10/514.46 c | 727948 | 11149 60736 195321 | 2147483647 239696 62 | 0.009 % |
514.40/514.72 c | 728124 | 11149 60736 195321 | 2147483647 239872 62 | 0.009 % |
514.70/515.05 c | 728321 | 11149 60736 195321 | 2147483647 240069 62 | 0.009 % |
514.90/515.26 c | 728535 | 11149 60736 195321 | 2147483647 240283 62 | 0.009 % |
515.40/515.76 c | 728769 | 11149 60736 195321 | 2147483647 240517 62 | 0.010 % |
515.70/516.05 c | 729026 | 11149 60736 195321 | 2147483647 240774 63 | 0.009 % |
516.10/516.45 c | 729307 | 11149 60736 195321 | 2147483647 241055 63 | 0.010 % |
516.40/516.73 c | 729616 | 11149 60736 195321 | 2147483647 241364 62 | 0.009 % |
516.70/517.04 c | 729955 | 11149 60736 195321 | 2147483647 241703 62 | 0.009 % |
516.90/517.27 c | 730328 | 11149 60736 195321 | 2147483647 242076 62 | 0.009 % |
517.40/517.71 c | 730739 | 11149 60736 195321 | 2147483647 242487 62 | 0.009 % |
517.80/518.16 c | 731188 | 11149 60736 195321 | 2147483647 242936 62 | 0.009 % |
518.30/518.61 c | 731682 | 11149 60736 195321 | 2147483647 243430 62 | 0.009 % |
518.60/518.97 c | 732224 | 11149 60736 195321 | 2147483647 243972 62 | 0.009 % |
519.30/519.67 c | 732820 | 11149 60736 195321 | 2147483647 244568 62 | 0.009 % |
519.70/520.01 c | 733475 | 11149 60736 195321 | 2147483647 245223 62 | 0.009 % |
520.40/520.77 c | 734195 | 11149 60736 195321 | 2147483647 245943 62 | 0.009 % |
521.50/521.84 c | 734988 | 11149 60736 195321 | 2147483647 246736 62 | 0.009 % |
522.30/522.62 c | 735860 | 11149 60736 195321 | 2147483647 247608 62 | 0.009 % |
522.70/523.02 c | 736819 | 11149 60736 195321 | 2147483647 248567 62 | 0.009 % |
523.49/523.85 c | 737872 | 11149 60736 195321 | 2147483647 249620 62 | 0.009 % |
523.99/524.40 c | 739030 | 11149 60736 195321 | 2147483647 250778 62 | 0.009 % |
525.60/525.99 c | 740304 | 11149 60736 195321 | 2147483647 252052 62 | 0.009 % |
526.80/527.15 c | 741705 | 11149 60736 195321 | 2147483647 253453 62 | 0.009 % |
527.70/528.05 c | 743245 | 11149 60736 195321 | 2147483647 254993 62 | 0.009 % |
529.59/529.94 c | 744939 | 11149 60736 195321 | 2147483647 256687 62 | 0.009 % |
531.79/532.16 c | 746802 | 11149 60736 195321 | 2147483647 258550 62 | 0.009 % |
533.59/534.00 c | 748851 | 11149 60736 195321 | 2147483647 260599 62 | 0.009 % |
536.49/536.81 c | 751105 | 11149 60736 195321 | 261749 262853 62 | 0.009 % |
539.38/539.78 c | 753583 | 11149 60736 195321 | 261749 231140 62 | 0.009 % |
542.18/542.59 c | 756310 | 11149 60736 195321 | 261749 233867 63 | 0.009 % |
545.48/545.89 c | 759309 | 11149 60736 195321 | 261749 236866 63 | 0.009 % |
548.08/548.43 c | 762605 | 11149 60736 195321 | 237559 240162 63 | 0.009 % |
551.98/552.35 c | 766231 | 11149 60736 195321 | 237559 219772 60 | 0.009 % |
554.58/554.91 c | 770218 | 11149 60736 195321 | 2147483647 223759 60 | 0.009 % |
557.28/557.62 c | 774604 | 11149 60736 195321 | 2147483647 228145 60 | 0.009 % |
560.88/561.28 c | 779427 | 11149 60736 195321 | 2147483647 232968 60 | 0.009 % |
565.48/565.83 c | 784733 | 11149 60736 195321 | 2147483647 238274 59 | 0.009 % |
568.68/569.09 c | 790568 | 11149 60736 195321 | 2147483647 244109 59 | 0.009 % |
575.58/575.93 c | 796987 | 11149 60736 195321 | 2147483647 250528 61 | 0.009 % |
581.38/581.77 c | 804046 | 11149 60736 195321 | 253541 232110 58 | 0.009 % |
581.58/581.93 c | 804146 | 11149 60736 195321 | 253541 232210 58 | 0.009 % |
581.78/582.10 c | 804256 | 11149 60736 195321 | 253541 232320 58 | 0.009 % |
581.78/582.18 c | 804377 | 11149 60736 195321 | 253541 232441 58 | 0.009 % |
581.97/582.31 c | 804513 | 11149 60736 195321 | 253541 232577 58 | 0.009 % |
582.27/582.60 c | 804660 | 11149 60736 195321 | 253541 232724 58 | 0.010 % |
582.47/582.86 c | 804820 | 11149 60736 195321 | 253541 232884 58 | 0.009 % |
582.77/583.14 c | 804996 | 11149 60736 195321 | 253541 233060 58 | 0.009 % |
582.97/583.35 c | 805192 | 11149 60736 195321 | 253541 233256 58 | 0.009 % |
583.17/583.57 c | 805404 | 11149 60736 195321 | 253541 233468 58 | 0.009 % |
583.27/583.70 c | 805638 | 11149 60736 195321 | 253541 233702 58 | 0.009 % |
583.47/583.90 c | 805896 | 11149 60736 195321 | 253541 233960 58 | 0.009 % |
583.68/584.02 c | 806179 | 11149 60736 195321 | 253541 234243 58 | 0.009 % |
583.87/584.22 c | 806489 | 11149 60736 195321 | 253541 234553 58 | 0.009 % |
584.17/584.52 c | 806828 | 11149 60736 195321 | 253541 234892 58 | 0.009 % |
584.27/584.66 c | 807201 | 11149 60736 195321 | 253541 235265 58 | 0.009 % |
584.67/585.07 c | 807611 | 11149 60736 195321 | 253541 235675 58 | 0.009 % |
584.88/585.23 c | 808060 | 11149 60736 195321 | 253541 236124 58 | 0.009 % |
585.57/585.94 c | 808554 | 11149 60736 195321 | 253541 236618 58 | 0.010 % |
586.17/586.59 c | 809096 | 11149 60736 195321 | 253541 237160 58 | 0.010 % |
587.27/587.66 c | 809693 | 11149 60736 195321 | 253541 237757 58 | 0.010 % |
587.77/588.10 c | 810348 | 11149 60736 195321 | 238064 238412 58 | 0.009 % |
589.17/589.51 c | 811069 | 11149 60736 195321 | 238064 212592 54 | 0.009 % |
590.07/590.47 c | 811864 | 11149 60736 195321 | 238064 213387 54 | 0.009 % |
590.97/591.38 c | 812736 | 11149 60736 195321 | 238064 214259 54 | 0.009 % |
592.07/592.45 c | 813694 | 11149 60736 195321 | 238064 215217 54 | 0.009 % |
593.07/593.46 c | 814748 | 11149 60736 195321 | 238064 216271 54 | 0.009 % |
594.17/594.55 c | 815907 | 11149 60736 195321 | 238064 217430 54 | 0.009 % |
595.57/595.92 c | 817180 | 11149 60736 195321 | 238064 218703 54 | 0.009 % |
596.07/596.43 c | 818581 | 11149 60736 195321 | 238064 220104 54 | 0.009 % |
597.27/597.65 c | 820121 | 11149 60736 195321 | 221524 221644 55 | 0.009 % |
599.17/599.58 c | 821817 | 11149 60736 195321 | 221524 197453 52 | 0.009 % |
600.76/601.17 c | 823680 | 11149 60736 195321 | 221524 199316 52 | 0.009 % |
602.06/602.46 c | 825730 | 11149 60736 195321 | 221524 201366 52 | 0.009 % |
603.86/604.28 c | 827984 | 11149 60736 195321 | 221524 203620 52 | 0.009 % |
604.86/605.27 c | 830463 | 11149 60736 195321 | 2147483647 206099 52 | 0.009 % |
607.26/607.62 c | 833188 | 11149 60736 195321 | 2147483647 208824 52 | 0.009 % |
608.16/608.56 c | 836186 | 11149 60736 195321 | 2147483647 211822 51 | 0.009 % |
610.16/610.58 c | 839482 | 11149 60736 195321 | 2147483647 215118 51 | 0.009 % |
612.06/612.40 c | 843107 | 11149 60736 195321 | 2147483647 218743 51 | 0.009 % |
614.36/614.70 c | 847094 | 11149 60736 195321 | 2147483647 222730 51 | 0.009 % |
619.75/620.14 c | 851479 | 11149 60736 195321 | 2147483647 227115 53 | 0.010 % |
623.75/624.10 c | 856303 | 11149 60736 195321 | 2147483647 231939 53 | 0.009 % |
627.25/627.70 c | 861608 | 11149 60736 195321 | 2147483647 237244 54 | 0.009 % |
632.75/633.11 c | 867447 | 11149 60736 195321 | 2147483647 243083 53 | 0.009 % |
638.65/639.08 c | 873865 | 11149 60736 195321 | 245637 212275 54 | 0.009 % |
643.65/644.03 c | 880924 | 11149 60736 195321 | 2147483647 219334 54 | 0.009 % |
650.34/650.75 c | 888688 | 11149 60736 195321 | 2147483647 227098 54 | 0.009 % |
650.44/650.85 c | 888790 | 11149 60736 195321 | 2147483647 227200 54 | 0.009 % |
650.54/650.98 c | 888900 | 11149 60736 195321 | 2147483647 227310 54 | 0.009 % |
650.64/651.05 c | 889022 | 11149 60736 195321 | 2147483647 227432 54 | 0.009 % |
650.94/651.36 c | 889156 | 11149 60736 195321 | 2147483647 227566 54 | 0.009 % |
651.14/651.50 c | 889302 | 11149 60736 195321 | 2147483647 227712 54 | 0.009 % |
651.14/651.59 c | 889462 | 11149 60736 195321 | 2147483647 227872 54 | 0.009 % |
651.34/651.74 c | 889639 | 11149 60736 195321 | 2147483647 228049 54 | 0.009 % |
651.54/651.90 c | 889832 | 11149 60736 195321 | 2147483647 228242 54 | 0.009 % |
651.74/652.14 c | 890045 | 11149 60736 195321 | 2147483647 228455 54 | 0.009 % |
652.04/652.47 c | 890278 | 11149 60736 195321 | 2147483647 228688 54 | 0.009 % |
652.44/652.89 c | 890535 | 11149 60736 195321 | 2147483647 228945 54 | 0.009 % |
653.14/653.50 c | 890816 | 11149 60736 195321 | 2147483647 229226 54 | 0.010 % |
653.44/653.84 c | 891125 | 11149 60736 195321 | 2147483647 229535 54 | 0.010 % |
653.64/654.07 c | 891465 | 11149 60736 195321 | 2147483647 229875 54 | 0.009 % |
654.14/654.54 c | 891838 | 11149 60736 195321 | 2147483647 230248 54 | 0.009 % |
654.34/654.72 c | 892248 | 11149 60736 195321 | 2147483647 230658 54 | 0.009 % |
654.64/655.05 c | 892698 | 11149 60736 195321 | 2147483647 231108 54 | 0.009 % |
655.14/655.58 c | 893191 | 11149 60736 195321 | 2147483647 231601 54 | 0.009 % |
655.74/656.11 c | 893734 | 11149 60736 195321 | 2147483647 232144 54 | 0.009 % |
656.14/656.50 c | 894330 | 11149 60736 195321 | 2147483647 232740 54 | 0.009 % |
656.84/657.27 c | 894985 | 11149 60736 195321 | 2147483647 233395 54 | 0.009 % |
657.44/657.90 c | 895705 | 11149 60736 195321 | 2147483647 234115 54 | 0.009 % |
658.14/658.55 c | 896497 | 11149 60736 195321 | 2147483647 234907 54 | 0.009 % |
658.44/658.85 c | 897368 | 11149 60736 195321 | 2147483647 235778 54 | 0.009 % |
659.54/659.95 c | 898326 | 11149 60736 195321 | 2147483647 236736 54 | 0.009 % |
660.23/660.67 c | 899380 | 11149 60736 195321 | 2147483647 237790 54 | 0.009 % |
661.53/661.98 c | 900538 | 11149 60736 195321 | 2147483647 238948 54 | 0.009 % |
662.73/663.19 c | 901811 | 11149 60736 195321 | 2147483647 240221 54 | 0.009 % |
664.33/664.75 c | 903211 | 11149 60736 195321 | 2147483647 241621 54 | 0.009 % |
664.93/665.37 c | 904751 | 11149 60736 195321 | 2147483647 243161 54 | 0.009 % |
666.23/666.62 c | 906446 | 11149 60736 195321 | 2147483647 244856 54 | 0.009 % |
666.93/667.32 c | 908309 | 11149 60736 195321 | 2147483647 246719 54 | 0.009 % |
668.03/668.48 c | 910361 | 11149 60736 195321 | 2147483647 248771 54 | 0.009 % |
670.53/670.96 c | 912616 | 11149 60736 195321 | 2147483647 251026 54 | 0.009 % |
673.03/673.45 c | 915095 | 11149 60736 195321 | 2147483647 253505 54 | 0.009 % |
675.53/675.99 c | 917820 | 11149 60736 195321 | 2147483647 256230 55 | 0.009 % |
678.13/678.56 c | 920817 | 11149 60736 195321 | 258410 259227 55 | 0.009 % |
681.22/681.64 c | 924113 | 11149 60736 195321 | 258410 225670 55 | 0.009 % |
684.32/684.74 c | 927738 | 11149 60736 195321 | 258410 229295 55 | 0.009 % |
687.42/687.84 c | 931727 | 11149 60736 195321 | 2147483647 233284 55 | 0.009 % |
691.72/692.12 c | 936114 | 11149 60736 195321 | 2147483647 237671 55 | 0.009 % |
698.21/698.63 c | 940940 | 11149 60736 195321 | 241559 242497 55 | 0.009 % |
702.21/702.61 c | 946246 | 11149 60736 195321 | 241559 202378 51 | 0.009 % |
707.71/708.14 c | 952084 | 11149 60736 195321 | 206133 208216 51 | 0.009 % |
713.91/714.32 c | 958502 | 11149 60736 195321 | 206133 182089 49 | 0.009 % |
720.71/721.18 c | 965562 | 11149 60736 195321 | 2147483647 189149 49 | 0.010 % |
726.21/726.68 c | 973327 | 11149 60736 195321 | 2147483647 196914 50 | 0.010 % |
732.00/732.50 c | 981868 | 11149 60736 195321 | 2147483647 205455 51 | 0.009 % |
732.20/732.62 c | 981969 | 11149 60736 195321 | 2147483647 205556 51 | 0.009 % |
732.30/732.76 c | 982080 | 11149 60736 195321 | 2147483647 205667 51 | 0.009 % |
732.50/732.92 c | 982202 | 11149 60736 195321 | 2147483647 205789 51 | 0.010 % |
732.60/733.07 c | 982335 | 11149 60736 195321 | 2147483647 205922 51 | 0.009 % |
732.70/733.15 c | 982481 | 11149 60736 195321 | 2147483647 206068 51 | 0.009 % |
732.90/733.34 c | 982641 | 11149 60736 195321 | 2147483647 206228 51 | 0.009 % |
733.00/733.48 c | 982818 | 11149 60736 195321 | 2147483647 206405 51 | 0.009 % |
733.20/733.69 c | 983012 | 11149 60736 195321 | 2147483647 206599 51 | 0.009 % |
733.61/734.01 c | 983226 | 11149 60736 195321 | 2147483647 206813 51 | 0.009 % |
734.01/734.44 c | 983459 | 11149 60736 195321 | 2147483647 207046 51 | 0.009 % |
734.31/734.78 c | 983717 | 11149 60736 195321 | 2147483647 207304 51 | 0.009 % |
734.61/735.08 c | 983999 | 11149 60736 195321 | 2147483647 207586 51 | 0.009 % |
734.81/735.29 c | 984308 | 11149 60736 195321 | 2147483647 207895 51 | 0.009 % |
735.11/735.55 c | 984648 | 11149 60736 195321 | 2147483647 208235 51 | 0.009 % |
735.41/735.87 c | 985021 | 11149 60736 195321 | 2147483647 208608 51 | 0.009 % |
735.91/736.39 c | 985432 | 11149 60736 195321 | 2147483647 209019 51 | 0.009 % |
736.21/736.68 c | 985883 | 11149 60736 195321 | 2147483647 209470 51 | 0.009 % |
736.61/737.01 c | 986376 | 11149 60736 195321 | 2147483647 209963 51 | 0.009 % |
737.31/737.77 c | 986919 | 11149 60736 195321 | 2147483647 210506 51 | 0.009 % |
737.90/738.36 c | 987516 | 11149 60736 195321 | 2147483647 211103 51 | 0.009 % |
739.10/739.57 c | 988172 | 11149 60736 195321 | 2147483647 211759 51 | 0.010 % |
739.60/740.05 c | 988892 | 11149 60736 195321 | 2147483647 212479 51 | 0.009 % |
740.30/740.79 c | 989686 | 11149 60736 195321 | 2147483647 213273 51 | 0.009 % |
740.80/741.25 c | 990557 | 11149 60736 195321 | 2147483647 214144 51 | 0.009 % |
742.40/742.83 c | 991516 | 11149 60736 195321 | 2147483647 215103 52 | 0.010 % |
743.30/743.71 c | 992569 | 11149 60736 195321 | 2147483647 216156 52 | 0.009 % |
743.90/744.38 c | 993727 | 11149 60736 195321 | 2147483647 217314 52 | 0.009 % |
745.20/745.60 c | 995001 | 11149 60736 195321 | 2147483647 218588 52 | 0.009 % |
746.90/747.38 c | 996404 | 11149 60736 195321 | 2147483647 219991 52 | 0.010 % |
748.20/748.61 c | 997944 | 11149 60736 195321 | 2147483647 221531 52 | 0.009 % |
749.50/749.94 c | 999639 | 11149 60736 195321 | 2147483647 223226 53 | 0.009 % |
750.50/750.91 c | 1001502 | 11149 60736 195321 | 2147483647 225089 53 | 0.009 % |
753.30/753.72 c | 1003552 | 11149 60736 195321 | 2147483647 227139 54 | 0.009 % |
754.80/755.25 c | 1005807 | 11149 60736 195321 | 2147483647 229394 54 | 0.009 % |
756.40/756.81 c | 1008286 | 11149 60736 195321 | 2147483647 231873 54 | 0.009 % |
757.70/758.18 c | 1011013 | 11149 60736 195321 | 2147483647 234600 54 | 0.009 % |
761.80/762.23 c | 1014011 | 11149 60736 195321 | 2147483647 237598 55 | 0.010 % |
764.89/765.30 c | 1017307 | 11149 60736 195321 | 2147483647 240894 55 | 0.010 % |
767.69/768.15 c | 1020935 | 11149 60736 195321 | 243588 244522 56 | 0.009 % |
771.99/772.46 c | 1024923 | 11149 60736 195321 | 243588 208320 56 | 0.009 % |
774.39/774.80 c | 1029308 | 11149 60736 195321 | 243588 212705 56 | 0.009 % |
777.79/778.29 c | 1034132 | 11149 60736 195321 | 2147483647 217529 56 | 0.009 % |
780.99/781.49 c | 1039440 | 11149 60736 195321 | 2147483647 222837 55 | 0.009 % |
785.09/785.54 c | 1045275 | 11149 60736 195321 | 2147483647 228672 55 | 0.009 % |
790.68/791.17 c | 1051693 | 11149 60736 195321 | 233397 235090 55 | 0.009 % |
796.88/797.30 c | 1058753 | 11149 60736 195321 | 233397 188218 53 | 0.009 % |
801.28/801.77 c | 1066518 | 11149 60736 195321 | 2147483647 195983 53 | 0.009 % |
810.07/810.59 c | 1075058 | 11149 60736 195321 | 199466 204523 56 | 0.009 % |
818.67/819.10 c | 1084452 | 11149 60736 195321 | 2147483647 189864 60 | 0.010 % |
818.77/819.26 c | 1084553 | 11149 60736 195321 | 2147483647 189965 60 | 0.009 % |
818.97/819.43 c | 1084663 | 11149 60736 195321 | 2147483647 190075 60 | 0.009 % |
819.07/819.56 c | 1084785 | 11149 60736 195321 | 2147483647 190197 60 | 0.009 % |
819.17/819.62 c | 1084918 | 11149 60736 195321 | 2147483647 190330 59 | 0.009 % |
819.27/819.72 c | 1085065 | 11149 60736 195321 | 2147483647 190477 59 | 0.009 % |
819.77/820.21 c | 1085225 | 11149 60736 195321 | 2147483647 190637 60 | 0.010 % |
819.87/820.31 c | 1085402 | 11149 60736 195321 | 2147483647 190814 59 | 0.009 % |
819.97/820.48 c | 1085595 | 11149 60736 195321 | 2147483647 191007 59 | 0.009 % |
820.27/820.71 c | 1085809 | 11149 60736 195321 | 2147483647 191221 60 | 0.010 % |
820.47/820.96 c | 1086042 | 11149 60736 195321 | 2147483647 191454 60 | 0.009 % |
820.87/821.37 c | 1086299 | 11149 60736 195321 | 2147483647 191711 60 | 0.010 % |
821.17/821.61 c | 1086581 | 11149 60736 195321 | 2147483647 191993 60 | 0.009 % |
821.37/821.88 c | 1086891 | 11149 60736 195321 | 2147483647 192303 60 | 0.009 % |
821.87/822.31 c | 1087230 | 11149 60736 195321 | 2147483647 192642 60 | 0.009 % |
821.87/822.38 c | 1087602 | 11149 60736 195321 | 2147483647 193014 60 | 0.009 % |
822.27/822.78 c | 1088011 | 11149 60736 195321 | 2147483647 193423 60 | 0.009 % |
822.77/823.21 c | 1088460 | 11149 60736 195321 | 2147483647 193872 60 | 0.009 % |
823.27/823.74 c | 1088953 | 11149 60736 195321 | 2147483647 194365 60 | 0.009 % |
823.67/824.13 c | 1089495 | 11149 60736 195321 | 2147483647 194907 60 | 0.009 % |
824.17/824.66 c | 1090091 | 11149 60736 195321 | 2147483647 195503 60 | 0.009 % |
824.87/825.33 c | 1090747 | 11149 60736 195321 | 2147483647 196159 60 | 0.010 % |
825.47/825.98 c | 1091469 | 11149 60736 195321 | 2147483647 196881 60 | 0.009 % |
826.07/826.57 c | 1092264 | 11149 60736 195321 | 2147483647 197676 60 | 0.009 % |
826.47/826.90 c | 1093137 | 11149 60736 195321 | 2147483647 198549 59 | 0.009 % |
827.17/827.62 c | 1094095 | 11149 60736 195321 | 2147483647 199507 59 | 0.009 % |
828.17/828.61 c | 1095148 | 11149 60736 195321 | 2147483647 200560 60 | 0.009 % |
828.97/829.45 c | 1096307 | 11149 60736 195321 | 2147483647 201719 60 | 0.009 % |
829.86/830.39 c | 1097582 | 11149 60736 195321 | 2147483647 202994 60 | 0.009 % |
831.36/831.82 c | 1098983 | 11149 60736 195321 | 2147483647 204395 60 | 0.010 % |
832.76/833.27 c | 1100523 | 11149 60736 195321 | 2147483647 205935 61 | 0.009 % |
834.66/835.13 c | 1102219 | 11149 60736 195321 | 2147483647 207631 61 | 0.010 % |
835.96/836.48 c | 1104084 | 11149 60736 195321 | 2147483647 209496 62 | 0.009 % |
838.46/839.00 c | 1106133 | 11149 60736 195321 | 2147483647 211545 62 | 0.010 % |
840.16/840.63 c | 1108386 | 11149 60736 195321 | 2147483647 213798 62 | 0.009 % |
841.56/842.09 c | 1110864 | 11149 60736 195321 | 2147483647 216276 61 | 0.009 % |
842.56/843.07 c | 1113589 | 11149 60736 195321 | 2147483647 219001 61 | 0.009 % |
845.96/846.46 c | 1116587 | 11149 60736 195321 | 2147483647 221999 63 | 0.010 % |
850.45/850.98 c | 1119883 | 11149 60736 195321 | 2147483647 225295 63 | 0.009 % |
852.65/853.12 c | 1123508 | 11149 60736 195321 | 225413 206277 62 | 0.009 % |
856.55/857.01 c | 1127496 | 11149 60736 195321 | 225413 210265 63 | 0.010 % |
859.55/860.03 c | 1131882 | 11149 60736 195321 | 212769 214651 63 | 0.009 % |
861.85/862.35 c | 1136706 | 11149 60736 195321 | 212769 179897 60 | 0.009 % |
866.25/866.75 c | 1142011 | 11149 60736 195321 | 2147483647 185202 60 | 0.009 % |
872.74/873.23 c | 1147846 | 11149 60736 195321 | 2147483647 191037 62 | 0.009 % |
879.64/880.11 c | 1154265 | 11149 60736 195321 | 193192 197456 65 | 0.009 % |
887.34/887.86 c | 1161328 | 11149 60736 195321 | 175445 159138 69 | 0.009 % |
891.03/891.57 c | 1169092 | 11149 60736 195321 | 175445 166902 68 | 0.009 % |
899.03/899.54 c | 1177633 | 11149 60736 195321 | 2147483647 175443 69 | 0.009 % |
907.23/907.74 c | 1187028 | 11149 60736 195321 | 2147483647 184838 67 | 0.009 % |
918.62/919.17 c | 1197364 | 11149 60736 195321 | 2147483647 195174 71 | 0.009 % |
918.72/919.29 c | 1197464 | 11149 60736 195321 | 2147483647 195274 71 | 0.009 % |
918.92/919.43 c | 1197576 | 11149 60736 195321 | 2147483647 195386 71 | 0.009 % |
919.13/919.65 c | 1197698 | 11149 60736 195321 | 2147483647 195508 71 | 0.009 % |
919.32/919.88 c | 1197832 | 11149 60736 195321 | 2147483647 195642 71 | 0.009 % |
919.52/920.07 c | 1197978 | 11149 60736 195321 | 2147483647 195788 71 | 0.009 % |
919.72/920.26 c | 1198139 | 11149 60736 195321 | 2147483647 195949 71 | 0.009 % |
919.82/920.37 c | 1198316 | 11149 60736 195321 | 2147483647 196126 71 | 0.009 % |
920.02/920.53 c | 1198510 | 11149 60736 195321 | 2147483647 196320 71 | 0.009 % |
920.22/920.80 c | 1198723 | 11149 60736 195321 | 2147483647 196533 71 | 0.010 % |
920.52/921.06 c | 1198958 | 11149 60736 195321 | 2147483647 196768 71 | 0.009 % |
920.72/921.29 c | 1199215 | 11149 60736 195321 | 2147483647 197025 71 | 0.009 % |
920.92/921.50 c | 1199499 | 11149 60736 195321 | 2147483647 197309 71 | 0.009 % |
921.33/921.85 c | 1199808 | 11149 60736 195321 | 2147483647 197618 71 | 0.009 % |
921.62/922.12 c | 1200147 | 11149 60736 195321 | 2147483647 197957 71 | 0.009 % |
922.02/922.59 c | 1200521 | 11149 60736 195321 | 2147483647 198331 71 | 0.009 % |
922.42/922.93 c | 1200931 | 11149 60736 195321 | 2147483647 198741 71 | 0.009 % |
923.02/923.56 c | 1201381 | 11149 60736 195321 | 2147483647 199191 71 | 0.009 % |
923.42/923.98 c | 1201874 | 11149 60736 195321 | 2147483647 199684 71 | 0.009 % |
924.02/924.51 c | 1202417 | 11149 60736 195321 | 2147483647 200227 70 | 0.009 % |
924.33/924.81 c | 1203014 | 11149 60736 195321 | 2147483647 200824 70 | 0.009 % |
925.33/925.81 c | 1203676 | 11149 60736 195321 | 2147483647 201486 71 | 0.010 % |
925.93/926.47 c | 1204396 | 11149 60736 195321 | 2147483647 202206 71 | 0.010 % |
926.53/927.06 c | 1205189 | 11149 60736 195321 | 2147483647 202999 71 | 0.009 % |
927.42/927.93 c | 1206061 | 11149 60736 195321 | 2147483647 203871 71 | 0.009 % |
928.32/928.85 c | 1207019 | 11149 60736 195321 | 2147483647 204829 71 | 0.009 % |
929.22/929.78 c | 1208074 | 11149 60736 195321 | 2147483647 205884 71 | 0.010 % |
930.52/931.08 c | 1209232 | 11149 60736 195321 | 2147483647 207042 71 | 0.010 % |
931.72/932.25 c | 1210507 | 11149 60736 195321 | 207810 208317 71 | 0.009 % |
933.52/934.08 c | 1211908 | 11149 60736 195321 | 207810 184087 67 | 0.010 % |
934.62/935.11 c | 1213449 | 11149 60736 195321 | 207810 185628 67 | 0.009 % |
935.12/935.65 c | 1215146 | 11149 60736 195321 | 207810 187325 67 | 0.009 % |
936.32/936.80 c | 1217009 | 11149 60736 195321 | 207810 189188 66 | 0.009 % |
938.22/938.70 c | 1219058 | 11149 60736 195321 | 207810 191237 67 | 0.009 % |
940.82/941.32 c | 1221312 | 11149 60736 195321 | 2147483647 193491 67 | 0.010 % |
942.32/942.86 c | 1223792 | 11149 60736 195321 | 2147483647 195971 67 | 0.009 % |
944.62/945.17 c | 1226517 | 11149 60736 195321 | 2147483647 198696 67 | 0.009 % |
948.61/949.10 c | 1229516 | 11149 60736 195321 | 2147483647 201695 68 | 0.010 % |
950.11/950.62 c | 1232812 | 11149 60736 195321 | 2147483647 204991 67 | 0.010 % |
952.31/952.89 c | 1236439 | 11149 60736 195321 | 2147483647 208618 67 | 0.009 % |
955.01/955.55 c | 1240427 | 11149 60736 195321 | 2147483647 212606 68 | 0.009 % |
957.62/958.19 c | 1244812 | 11149 60736 195321 | 2147483647 216991 67 | 0.009 % |
960.51/961.01 c | 1249639 | 11149 60736 195321 | 2147483647 221818 67 | 0.009 % |
961.91/962.48 c | 1254944 | 11149 60736 195321 | 2147483647 227123 67 | 0.009 % |
965.51/966.02 c | 1260779 | 11149 60736 195321 | 2147483647 232958 67 | 0.009 % |
969.50/970.05 c | 1267197 | 11149 60736 195321 | 2147483647 239376 67 | 0.009 % |
975.40/975.90 c | 1274257 | 11149 60736 195321 | 2147483647 246436 67 | 0.009 % |
980.20/980.78 c | 1282021 | 11149 60736 195321 | 2147483647 254200 66 | 0.009 % |
990.10/990.66 c | 1290563 | 11149 60736 195321 | 262179 262742 68 | 0.009 % |
1004.39/1004.98 c | 1299958 | 11149 60736 195321 | 262179 222714 66 | 0.010 % |
1018.59/1019.17 c | 1310291 | 11149 60736 195321 | 189658 189949 65 | 0.009 % |
1029.68/1030.20 c | 1321657 | 11149 60736 195321 | 2147483647 180964 65 | 0.009 % |
1029.78/1030.30 c | 1321757 | 11149 60736 195321 | 2147483647 181064 65 | 0.009 % |
1029.78/1030.38 c | 1321867 | 11149 60736 195321 | 2147483647 181174 65 | 0.009 % |
1029.88/1030.41 c | 1321988 | 11149 60736 195321 | 2147483647 181295 65 | 0.009 % |
1029.98/1030.54 c | 1322121 | 11149 60736 195321 | 2147483647 181428 65 | 0.009 % |
1030.08/1030.66 c | 1322268 | 11149 60736 195321 | 2147483647 181575 65 | 0.009 % |
1030.18/1030.74 c | 1322428 | 11149 60736 195321 | 2147483647 181735 65 | 0.009 % |
1030.28/1030.86 c | 1322604 | 11149 60736 195321 | 2147483647 181911 65 | 0.009 % |
1030.38/1030.94 c | 1322797 | 11149 60736 195321 | 2147483647 182104 65 | 0.009 % |
1030.48/1031.07 c | 1323010 | 11149 60736 195321 | 2147483647 182317 65 | 0.009 % |
1030.78/1031.37 c | 1323245 | 11149 60736 195321 | 2147483647 182552 65 | 0.009 % |
1030.98/1031.58 c | 1323501 | 11149 60736 195321 | 2147483647 182808 65 | 0.009 % |
1031.28/1031.86 c | 1323782 | 11149 60736 195321 | 2147483647 183089 65 | 0.009 % |
1031.58/1032.18 c | 1324092 | 11149 60736 195321 | 2147483647 183399 65 | 0.009 % |
1032.08/1032.69 c | 1324432 | 11149 60736 195321 | 2147483647 183739 66 | 0.010 % |
1032.58/1033.12 c | 1324806 | 11149 60736 195321 | 2147483647 184113 66 | 0.009 % |
1032.78/1033.39 c | 1325217 | 11149 60736 195321 | 2147483647 184524 66 | 0.009 % |
1033.27/1033.84 c | 1325666 | 11149 60736 195321 | 2147483647 184973 66 | 0.009 % |
1033.67/1034.27 c | 1326160 | 11149 60736 195321 | 2147483647 185467 65 | 0.009 % |
1033.97/1034.53 c | 1326703 | 11149 60736 195321 | 2147483647 186010 65 | 0.009 % |
1034.37/1034.90 c | 1327299 | 11149 60736 195321 | 2147483647 186606 65 | 0.009 % |
1034.97/1035.55 c | 1327955 | 11149 60736 195321 | 2147483647 187262 65 | 0.009 % |
1035.27/1035.81 c | 1328675 | 11149 60736 195321 | 2147483647 187982 65 | 0.009 % |
1035.77/1036.34 c | 1329469 | 11149 60736 195321 | 2147483647 188776 65 | 0.009 % |
1036.07/1036.60 c | 1330340 | 11149 60736 195321 | 2147483647 189647 65 | 0.009 % |
1036.47/1037.06 c | 1331298 | 11149 60736 195321 | 2147483647 190605 65 | 0.009 % |
1037.07/1037.70 c | 1332351 | 11149 60736 195321 | 2147483647 191658 65 | 0.009 % |
1038.07/1038.68 c | 1333510 | 11149 60736 195321 | 2147483647 192817 65 | 0.009 % |
1040.07/1040.60 c | 1334783 | 11149 60736 195321 | 2147483647 194090 65 | 0.009 % |
1041.27/1041.84 c | 1336183 | 11149 60736 195321 | 2147483647 195490 66 | 0.009 % |
1042.47/1043.09 c | 1337724 | 11149 60736 195321 | 2147483647 197031 66 | 0.009 % |
1044.17/1044.70 c | 1339418 | 11149 60736 195321 | 2147483647 198725 66 | 0.009 % |
1045.07/1045.69 c | 1341283 | 11149 60736 195321 | 2147483647 200590 66 | 0.009 % |
1046.97/1047.50 c | 1343334 | 11149 60736 195321 | 2147483647 202641 66 | 0.009 % |
1048.27/1048.85 c | 1345588 | 11149 60736 195321 | 2147483647 204895 66 | 0.009 % |
1050.66/1051.30 c | 1348067 | 11149 60736 195321 | 2147483647 207374 67 | 0.010 % |
1055.96/1056.57 c | 1350793 | 11149 60736 195321 | 209307 210100 69 | 0.009 % |
1058.86/1059.42 c | 1353790 | 11149 60736 195321 | 209307 183842 67 | 0.009 % |
1061.96/1062.59 c | 1357086 | 11149 60736 195321 | 209307 187138 66 | 0.009 % |
1065.66/1066.20 c | 1360711 | 11149 60736 195321 | 2147483647 190763 68 | 0.009 % |
1069.26/1069.81 c | 1364700 | 11149 60736 195321 | 2147483647 194752 68 | 0.009 % |
1072.06/1072.63 c | 1369085 | 11149 60736 195321 | 2147483647 199137 68 | 0.009 % |
1079.85/1080.44 c | 1373908 | 11149 60736 195321 | 2147483647 203960 69 | 0.010 % |
1083.96/1084.52 c | 1379215 | 11149 60736 195321 | 2147483647 209267 69 | 0.009 % |
1087.95/1088.59 c | 1385050 | 11149 60736 195321 | 2147483647 215102 68 | 0.009 % |
1096.64/1097.20 c | 1391468 | 11149 60736 195321 | 220053 221520 71 | 0.009 % |
1105.24/1105.82 c | 1398528 | 11149 60736 195321 | 220053 186398 74 | 0.009 % |
1116.04/1116.69 c | 1406293 | 11149 60736 195321 | 187871 166984 77 | 0.009 % |
1122.04/1122.62 c | 1414833 | 11149 60736 195321 | 2147483647 175524 77 | 0.009 % |
1130.44/1131.00 c | 1424228 | 11149 60736 195321 | 2147483647 184919 76 | 0.009 % |
1136.64/1137.20 c | 1434564 | 11149 60736 195321 | 2147483647 195255 75 | 0.009 % |
1148.63/1149.29 c | 1445930 | 11149 60736 195321 | 2147483647 206621 75 | 0.010 % |
1159.33/1159.96 c | 1458432 | 11149 60736 195321 | 2147483647 219123 75 | 0.009 % |
1159.43/1160.08 c | 1458533 | 11149 60736 195321 | 2147483647 219224 75 | 0.009 % |
1159.73/1160.36 c | 1458643 | 11149 60736 195321 | 2147483647 219334 75 | 0.010 % |
1159.83/1160.48 c | 1458764 | 11149 60736 195321 | 2147483647 219455 75 | 0.009 % |
1160.03/1160.66 c | 1458897 | 11149 60736 195321 | 2147483647 219588 75 | 0.009 % |
1160.13/1160.76 c | 1459043 | 11149 60736 195321 | 2147483647 219734 75 | 0.009 % |
1160.43/1161.03 c | 1459203 | 11149 60736 195321 | 2147483647 219894 75 | 0.010 % |
1160.63/1161.25 c | 1459380 | 11149 60736 195321 | 2147483647 220071 75 | 0.009 % |
1160.83/1161.41 c | 1459573 | 11149 60736 195321 | 2147483647 220264 75 | 0.009 % |
1161.13/1161.76 c | 1459787 | 11149 60736 195321 | 2147483647 220478 75 | 0.010 % |
1161.33/1161.99 c | 1460021 | 11149 60736 195321 | 2147483647 220712 75 | 0.009 % |
1161.73/1162.38 c | 1460279 | 11149 60736 195321 | 2147483647 220970 75 | 0.010 % |
1161.93/1162.54 c | 1460561 | 11149 60736 195321 | 2147483647 221252 75 | 0.009 % |
1162.23/1162.82 c | 1460870 | 11149 60736 195321 | 2147483647 221561 75 | 0.009 % |
1162.53/1163.11 c | 1461209 | 11149 60736 195321 | 2147483647 221900 75 | 0.009 % |
1162.83/1163.44 c | 1461582 | 11149 60736 195321 | 2147483647 222273 75 | 0.009 % |
1163.23/1163.88 c | 1461991 | 11149 60736 195321 | 2147483647 222682 75 | 0.009 % |
1163.62/1164.26 c | 1462441 | 11149 60736 195321 | 2147483647 223132 75 | 0.009 % |
1164.02/1164.66 c | 1462934 | 11149 60736 195321 | 2147483647 223625 75 | 0.009 % |
1164.53/1165.18 c | 1463478 | 11149 60736 195321 | 2147483647 224169 75 | 0.009 % |
1164.82/1165.45 c | 1464075 | 11149 60736 195321 | 2147483647 224766 75 | 0.009 % |
1165.43/1166.04 c | 1464731 | 11149 60736 195321 | 2147483647 225422 76 | 0.010 % |
1166.02/1166.62 c | 1465451 | 11149 60736 195321 | 2147483647 226142 75 | 0.009 % |
1166.82/1167.41 c | 1466243 | 11149 60736 195321 | 2147483647 226934 75 | 0.009 % |
1167.22/1167.86 c | 1467114 | 11149 60736 195321 | 2147483647 227805 75 | 0.009 % |
1168.32/1168.97 c | 1468073 | 11149 60736 195321 | 2147483647 228764 75 | 0.009 % |
1169.42/1170.07 c | 1469126 | 11149 60736 195321 | 2147483647 229817 75 | 0.009 % |
1171.32/1171.98 c | 1470284 | 11149 60736 195321 | 2147483647 230975 75 | 0.009 % |
1172.52/1173.15 c | 1471557 | 11149 60736 195321 | 2147483647 232248 75 | 0.009 % |
1174.02/1174.61 c | 1472958 | 11149 60736 195321 | 2147483647 233649 76 | 0.009 % |
1175.82/1176.44 c | 1474499 | 11149 60736 195321 | 2147483647 235190 76 | 0.009 % |
1176.92/1177.50 c | 1476197 | 11149 60736 195321 | 2147483647 236888 75 | 0.009 % |
1177.82/1178.46 c | 1478060 | 11149 60736 195321 | 2147483647 238751 75 | 0.009 % |
1181.41/1182.04 c | 1480109 | 11149 60736 195321 | 240691 240800 76 | 0.010 % |
1184.21/1184.82 c | 1482362 | 11149 60736 195321 | 240691 200140 73 | 0.009 % |
1186.51/1187.10 c | 1484840 | 11149 60736 195321 | 240691 202618 73 | 0.009 % |
1188.11/1188.78 c | 1487566 | 11149 60736 195321 | 240691 205344 73 | 0.009 % |
1194.30/1194.94 c | 1490564 | 11149 60736 195321 | 2147483647 208342 74 | 0.010 % |
1197.00/1197.67 c | 1493860 | 11149 60736 195321 | 2147483647 211638 74 | 0.009 % |
1200.00/1200.66 c | 1497487 | 11149 60736 195321 | 2147483647 215265 75 | 0.009 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832051-1242769062/watcher-1832051-1242769062 -o /tmp/evaluation-result-1832051-1242769062/solver-1832051-1242769062 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832051-1242769062.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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.92 0.99 0.99 3/64 20889
/proc/meminfo: memFree=1882224/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0
/proc/20889/stat : 20889 (SatELiteGTI) R 20887 20889 20563 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 304934714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890045939 0 0 4100 65536 0 0 0 17 0 0 0
/proc/20889/statm: 1339 237 197 169 0 50 0
[startup+0.0297411 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 20889
/proc/meminfo: memFree=1882224/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304934714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20889/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101755 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 20889
/proc/meminfo: memFree=1882224/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304934714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20889/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301793 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 20889
/proc/meminfo: memFree=1882224/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304934714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20889/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701879 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 20889
/proc/meminfo: memFree=1882224/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 5356
[startup+1.50202 s]
/proc/loadavg: 0.92 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1874784/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=6088 CPUtime=0.87
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 1409 0 0 0 86 1 0 0 25 0 1 0 304934776 6234112 1395 1992294400 134512640 135215339 4294956240 18446744073709551615 134527200 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 1522 1395 77 171 0 1349 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11444
[startup+3.10133 s]
/proc/loadavg: 0.92 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1873824/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=7540 CPUtime=2.46
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 1752 0 0 0 245 1 0 0 25 0 1 0 304934776 7720960 1738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 1885 1738 77 171 0 1712 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12896
[startup+6.30194 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1870752/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=10400 CPUtime=5.67
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 2458 0 0 0 565 2 0 0 25 0 1 0 304934776 10649600 2444 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 2600 2444 77 171 0 2427 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15756
[startup+12.7012 s]
/proc/loadavg: 0.94 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1865768/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=14988 CPUtime=12.06
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 3606 0 0 0 1203 3 0 0 25 0 1 0 304934776 15347712 3592 1992294400 134512640 135215339 4294956240 18446744073709551615 134539443 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 3747 3592 77 171 0 3574 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20344
[startup+25.5016 s]
/proc/loadavg: 0.95 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1857128/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=23372 CPUtime=24.86
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 5671 0 0 0 2481 5 0 0 25 0 1 0 304934776 23932928 5657 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 5843 5657 77 171 0 5670 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 28728
[startup+51.1015 s]
/proc/loadavg: 0.97 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1841768/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=39128 CPUtime=50.43
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 9593 0 0 0 5034 9 0 0 25 0 1 0 304934776 40067072 9579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 9782 9579 77 171 0 9609 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 44484
[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1816744/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=63732 CPUtime=101.6
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 15704 0 0 0 10144 16 0 0 25 0 1 0 304934776 65261568 15690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 15933 15690 77 171 0 15760 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 69088
[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1810344/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=70048 CPUtime=161.57
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 17267 0 0 0 16139 18 0 0 25 0 1 0 304934776 71729152 17253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 17512 17253 77 171 0 17339 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 75404
[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1803304/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=76936 CPUtime=221.53
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 19015 0 0 0 22133 20 0 0 25 0 1 0 304934776 78782464 19001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 19234 19001 77 171 0 19061 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 82292
[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1803112/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=76936 CPUtime=281.51
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 19043 0 0 0 28130 21 0 0 25 0 1 0 304934776 78782464 19029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 19234 19029 77 171 0 19061 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 82292
[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20895
/proc/meminfo: memFree=1802984/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=76936 CPUtime=341.48
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 19043 0 0 0 34127 21 0 0 25 0 1 0 304934776 78782464 19029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 19234 19029 77 171 0 19061 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 82292
[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1802600/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=77100 CPUtime=401.45
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 19077 0 0 0 40124 21 0 0 25 0 1 0 304934776 78950400 19063 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 19275 19063 77 171 0 19102 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 82456
[startup+462.301 s]
################
# More data... #
################
/proc/20895/statm: 21232 20985 77 171 0 21059 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 90284
[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1794472/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=85256 CPUtime=641.35
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 21060 0 0 0 64109 26 0 0 25 0 1 0 304934776 87302144 21046 1992294400 134512640 135215339 4294956240 18446744073709551615 134529057 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 21314 21046 77 171 0 21141 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 90612
[startup+702.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1794280/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=85256 CPUtime=701.31
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 21061 0 0 0 70105 26 0 0 25 0 1 0 304934776 87302144 21047 1992294400 134512640 135215339 4294956240 18446744073709551615 134525027 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 21314 21047 77 171 0 21141 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 90612
[startup+762.305 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1794088/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=85256 CPUtime=761.3
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 21061 0 0 0 76103 27 0 0 25 0 1 0 304934776 87302144 21047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 21314 21047 77 171 0 21141 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 90612
[startup+822.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1794088/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=85256 CPUtime=821.27
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 21061 0 0 0 82100 27 0 0 25 0 1 0 304934776 87302144 21047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 21314 21047 77 171 0 21141 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 90612
[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1793960/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=85256 CPUtime=881.24
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 21064 0 0 0 88097 27 0 0 25 0 1 0 304934776 87302144 21050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 21314 21050 77 171 0 21141 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 90612
[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1793768/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=85420 CPUtime=941.22
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 21093 0 0 0 94094 28 0 0 25 0 1 0 304934776 87470080 21079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 21355 21079 77 171 0 21182 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 90776
[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1785576/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=93340 CPUtime=1001.19
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 23107 0 0 0 100089 30 0 0 25 0 1 0 304934776 95580160 23093 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 23335 23093 77 171 0 23162 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 98696
[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1785512/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=93484 CPUtime=1061.16
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 23123 0 0 0 106086 30 0 0 25 0 1 0 304934776 95727616 23109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 23371 23109 77 171 0 23198 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 98840
[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1785448/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=93484 CPUtime=1121.14
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 23129 0 0 0 112083 31 0 0 25 0 1 0 304934776 95727616 23115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 23371 23115 77 171 0 23198 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 98840
[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1784488/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=94540 CPUtime=1181.11
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 23408 0 0 0 118080 31 0 0 25 0 1 0 304934776 96808960 23394 1992294400 134512640 135215339 4294956240 18446744073709551615 134545886 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 23635 23394 77 171 0 23462 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 99896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1784232/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=94668 CPUtime=1199.51
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 23413 0 0 0 119920 31 0 0 25 0 1 0 304934776 96940032 23399 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 23667 23399 77 171 0 23494 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 100024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 20897
/proc/meminfo: memFree=1784232/2055920 swapFree=4177156/4192956
[pid=20889] ppid=20887 vsize=5356 CPUtime=0.6
/proc/20889/stat : 20889 (SatELiteGTI) S 20887 20889 20563 0 -1 4194304 336 3888 0 0 0 0 58 2 16 0 1 0 304934714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20889/statm: 1339 239 197 169 0 50 0
[pid=20895] ppid=20889 vsize=94668 CPUtime=1199.51
/proc/20895/stat : 20895 (minisat_static) R 20889 20889 20563 0 -1 4194304 23413 0 0 0 119920 31 0 0 25 0 1 0 304934776 96940032 23399 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/20895/statm: 23667 23399 77 171 0 23494 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 100024
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20889 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=590910
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=29995
# CPU time returned by wait4() is 0.620905
# while last known CPU time is 1200.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.11
CPU user time (s): 1199.78
CPU system time (s): 0.33
CPU usage (%): 99.9497
Max. virtual memory (cumulated for all children) (KiB): 100036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.59091
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4224
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= 12
involuntary context switches= 10
runsolver used 1.45578 second user time and 2.99254 second system time
The end
Begin job on node38 at 2009-05-19 23:37:43
IDJOB=1832051
IDBENCH=20403
IDSOLVER=671
FILE ID=node38/1832051-1242769062
PBS_JOBID= 9322260
Free space on /tmp= 66212 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832051-1242769062/watcher-1832051-1242769062 -o /tmp/evaluation-result-1832051-1242769062/solver-1832051-1242769062 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832051-1242769062.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED=882871714
node38.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.265
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.265
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: 1882704 kB
Buffers: 18836 kB
Cached: 113188 kB
SwapCached: 9960 kB
Active: 65916 kB
Inactive: 78672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882704 kB
SwapTotal: 4192956 kB
SwapFree: 4177156 kB
Dirty: 2948 kB
Writeback: 0 kB
Mapped: 14036 kB
Slab: 14620 kB
Committed_AS: 1080108 kB
PageTables: 1456 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= 66208 MiB
End job on node38 at 2009-05-19 23:57:45