0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 18591 54418 | 5577 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 18157 66189 | -- 0 -- -- | -- | -434/11771
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 2795 #clauses: 18157 #literals: 66189
0.00/0.14 c CPU time: 0.131979 s
0.00/0.14 c ==============================================================================
0.00/0.16 c This is MiniSat 2.0 beta
0.00/0.16 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.16 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 2795 |
0.00/0.17 c | Number of clauses: 18157 |
0.00/0.18 c | Parsing time: 0.01 s |
0.00/0.18 c ============================[ Search Statistics ]==============================
0.00/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.18 c ===============================================================================
0.00/0.18 c | 0 | 2795 18157 66189 | 6052 0 nan | 0.000 % |
0.00/0.19 c | 101 | 2795 18157 66189 | 6052 101 13 | 0.000 % |
0.15/0.20 c | 201 | 2795 18157 66189 | 6052 201 21 | 0.000 % |
0.15/0.21 c | 301 | 2795 18157 66189 | 6052 301 22 | 0.000 % |
0.15/0.23 c | 411 | 2795 18157 66189 | 6052 411 23 | 0.000 % |
0.15/0.23 c | 512 | 2795 18157 66189 | 6052 512 23 | 0.000 % |
0.15/0.24 c | 622 | 2795 18157 66189 | 6052 622 22 | 0.000 % |
0.15/0.25 c | 744 | 2795 18157 66189 | 6052 744 22 | 0.000 % |
0.15/0.26 c | 844 | 2795 18157 66189 | 6052 844 23 | 0.000 % |
0.15/0.28 c | 955 | 2795 18157 66189 | 6052 955 24 | 0.000 % |
0.15/0.30 c | 1077 | 2795 18157 66189 | 6052 1077 25 | 0.000 % |
0.15/0.32 c | 1211 | 2795 18157 66189 | 6052 1211 25 | 0.000 % |
0.15/0.32 c | 1311 | 2795 18157 66189 | 6052 1311 25 | 0.000 % |
0.15/0.34 c | 1422 | 2795 18157 66189 | 6052 1422 25 | 0.000 % |
0.15/0.36 c | 1544 | 2795 18157 66189 | 6052 1544 25 | 0.000 % |
0.15/0.38 c | 1678 | 2795 18157 66189 | 6052 1678 26 | 0.000 % |
0.15/0.39 c | 1826 | 2795 18157 66189 | 6052 1826 25 | 0.000 % |
0.15/0.41 c | 1927 | 2795 18157 66189 | 6052 1927 26 | 0.000 % |
0.15/0.43 c | 2037 | 2795 18157 66189 | 6052 2037 26 | 0.000 % |
0.15/0.45 c | 2159 | 2795 18157 66189 | 6052 2159 27 | 0.000 % |
0.15/0.48 c | 2293 | 2795 18157 66189 | 6052 2293 27 | 0.000 % |
0.15/0.51 c | 2439 | 2795 18157 66189 | 6052 2439 28 | 0.000 % |
0.15/0.54 c | 2602 | 2795 18157 66189 | 6052 2602 29 | 0.000 % |
0.15/0.55 c | 2703 | 2795 18157 66189 | 6052 2703 28 | 0.000 % |
0.15/0.58 c | 2813 | 2795 18157 66189 | 6052 2813 29 | 0.000 % |
0.15/0.62 c | 2935 | 2795 18157 66189 | 6052 2935 30 | 0.000 % |
0.15/0.66 c | 3068 | 2795 18157 66189 | 6052 3068 31 | 0.000 % |
0.15/0.73 c | 3214 | 2795 18157 66189 | 6052 3214 32 | 0.000 % |
0.15/0.78 c | 3376 | 2795 18157 66189 | 6052 3376 32 | 0.000 % |
0.15/0.80 c | 3553 | 2795 18157 66189 | 6052 3553 32 | 0.000 % |
0.15/0.81 c | 3653 | 2795 18157 66189 | 6052 3653 32 | 0.000 % |
0.15/0.84 c | 3764 | 2795 18157 66189 | 6052 3764 32 | 0.000 % |
0.15/0.85 c | 3885 | 2795 18157 66189 | 6052 3885 32 | 0.000 % |
0.15/0.87 c | 4018 | 2795 18157 66189 | 6052 4018 32 | 0.000 % |
0.15/0.89 c | 4165 | 2795 18157 66189 | 6052 4165 32 | 0.000 % |
0.15/0.95 c | 4326 | 2795 18157 66189 | 6052 4326 33 | 0.000 % |
0.97/1.04 c | 4502 | 2795 18157 66189 | 6052 4502 34 | 0.000 % |
0.97/1.08 c | 4696 | 2795 18157 66189 | 6052 4696 34 | 0.000 % |
0.97/1.09 c | 4796 | 2795 18157 66189 | 6052 4796 34 | 0.000 % |
1.07/1.14 c | 4906 | 2795 18157 66189 | 6052 4906 34 | 0.000 % |
1.07/1.18 c | 5028 | 2795 18157 66189 | 6052 5028 35 | 0.000 % |
1.17/1.22 c | 5161 | 2795 18157 66189 | 6052 5161 36 | 0.000 % |
1.17/1.25 c | 5309 | 2795 18157 66189 | 6052 5309 36 | 0.000 % |
1.17/1.30 c | 5470 | 2795 18157 66189 | 6052 5470 36 | 0.000 % |
1.27/1.34 c | 5647 | 2795 18157 66189 | 6052 5647 37 | 0.000 % |
1.37/1.40 c | 5840 | 2795 18157 66189 | 6052 5840 37 | 0.000 % |
1.37/1.46 c | 6052 | 2795 18157 66189 | 6052 6052 38 | 0.000 % |
1.37/1.49 c | 6152 | 2795 18157 66189 | 6052 5547 39 | 0.000 % |
1.47/1.52 c | 6264 | 2795 18157 66189 | 6052 5659 40 | 0.000 % |
1.47/1.55 c | 6386 | 2795 18157 66189 | 6052 5781 40 | 0.000 % |
1.47/1.58 c | 6519 | 2795 18157 66189 | 6052 5914 40 | 0.000 % |
1.57/1.60 c | 6667 | 2795 18157 66189 | 6052 6062 40 | 0.000 % |
1.57/1.61 c | 6827 | 2795 18157 66189 | 6052 5616 40 | 0.000 % |
1.57/1.65 c | 7004 | 2795 18157 66189 | 6052 5793 40 | 0.000 % |
1.57/1.68 c | 7198 | 2795 18157 66189 | 6052 5987 39 | 0.000 % |
1.67/1.71 c | 7410 | 2795 18157 66189 | 6052 6199 39 | 0.000 % |
1.67/1.75 c | 7644 | 2795 18157 66189 | 6052 5814 40 | 0.000 % |
1.67/1.77 c | 7745 | 2795 18157 66189 | 6052 5915 40 | 0.000 % |
1.67/1.78 c | 7855 | 2795 18157 66189 | 6052 6025 39 | 0.000 % |
1.67/1.80 c | 7977 | 2795 18157 66189 | 6052 6147 39 | 0.000 % |
1.77/1.82 c | 8110 | 2795 18157 66189 | 6052 5666 39 | 0.000 % |
1.77/1.84 c | 8256 | 2795 18157 66189 | 6052 5812 38 | 0.000 % |
1.77/1.88 c | 8417 | 2795 18157 66189 | 6052 5973 39 | 0.000 % |
1.87/1.90 c | 8593 | 2795 18157 66189 | 6052 6149 38 | 0.000 % |
1.87/1.96 c | 8786 | 2795 18157 66189 | 6052 5728 37 | 0.000 % |
1.87/1.98 c | 8999 | 2795 18157 66189 | 6052 5941 37 | 0.000 % |
1.97/2.05 c | 9232 | 2795 18157 66189 | 6052 6174 37 | 0.000 % |
1.97/2.08 c | 9489 | 2795 18157 66189 | 6052 5814 37 | 0.000 % |
2.07/2.10 c | 9592 | 2795 18157 66189 | 6052 5917 37 | 0.000 % |
2.07/2.12 c | 9702 | 2795 18157 66189 | 6052 6027 37 | 0.000 % |
2.07/2.16 c | 9823 | 2795 18157 66189 | 6052 6148 37 | 0.000 % |
2.07/2.18 c | 9957 | 2795 18157 66189 | 6052 5668 36 | 0.000 % |
2.17/2.23 c | 10103 | 2795 18157 66189 | 2147483647 5814 36 | 0.000 % |
2.17/2.26 c | 10263 | 2795 18157 66189 | 2147483647 5974 36 | 0.000 % |
2.17/2.29 c | 10439 | 2795 18157 66189 | 2147483647 6150 36 | 0.000 % |
2.26/2.33 c | 10632 | 2795 18157 66189 | 2147483647 6343 37 | 0.000 % |
2.36/2.40 c | 10844 | 2795 18157 66189 | 2147483647 6555 37 | 0.000 % |
2.36/2.47 c | 11077 | 2795 18157 66189 | 2147483647 6788 37 | 0.000 % |
2.46/2.57 c | 11335 | 2795 18157 66189 | 2147483647 7046 38 | 0.000 % |
2.66/2.70 c | 11617 | 2795 18157 66189 | 2147483647 7328 39 | 0.000 % |
2.66/2.73 c | 11719 | 2795 18157 66189 | 2147483647 7430 39 | 0.000 % |
2.66/2.75 c | 11829 | 2795 18157 66189 | 2147483647 7540 39 | 0.000 % |
2.76/2.81 c | 11950 | 2795 18157 66189 | 2147483647 7661 39 | 0.000 % |
2.76/2.84 c | 12085 | 2795 18157 66189 | 2147483647 7796 39 | 0.000 % |
2.76/2.86 c | 12232 | 2795 18157 66189 | 2147483647 7943 39 | 0.000 % |
2.76/2.89 c | 12392 | 2795 18157 66189 | 2147483647 8103 40 | 0.000 % |
2.86/2.92 c | 12569 | 2795 18157 66189 | 2147483647 8280 39 | 0.000 % |
2.86/2.97 c | 12762 | 2795 18157 66189 | 2147483647 8473 40 | 0.000 % |
2.96/3.01 c | 12975 | 2795 18157 66189 | 2147483647 8686 40 | 0.000 % |
3.06/3.10 c | 13209 | 2795 18157 66189 | 2147483647 8920 40 | 0.000 % |
3.06/3.14 c | 13465 | 2795 18157 66189 | 2147483647 9176 39 | 0.000 % |
3.06/3.20 c | 13746 | 2795 18157 66189 | 2147483647 9457 39 | 0.000 % |
3.16/3.24 c | 14056 | 2795 18157 66189 | 2147483647 9767 39 | 0.000 % |
3.16/3.26 c | 14156 | 2795 18157 66189 | 2147483647 9867 39 | 0.000 % |
3.16/3.28 c | 14267 | 2795 18157 66189 | 2147483647 9978 39 | 0.000 % |
3.26/3.31 c | 14388 | 2795 18157 66189 | 2147483647 10099 39 | 0.000 % |
3.26/3.33 c | 14521 | 2795 18157 66189 | 2147483647 10232 39 | 0.000 % |
3.26/3.35 c | 14667 | 2795 18157 66189 | 2147483647 10378 39 | 0.000 % |
3.26/3.37 c | 14827 | 2795 18157 66189 | 2147483647 10538 38 | 0.000 % |
3.35/3.41 c | 15004 | 2795 18157 66189 | 2147483647 10715 38 | 0.000 % |
3.35/3.44 c | 15198 | 2795 18157 66189 | 2147483647 10909 38 | 0.000 % |
3.45/3.54 c | 15411 | 2795 18157 66189 | 2147483647 11122 38 | 0.000 % |
3.55/3.61 c | 15644 | 2795 18157 66189 | 2147483647 11355 39 | 0.000 % |
3.55/3.68 c | 15900 | 2795 18157 66189 | 2147483647 11611 39 | 0.000 % |
3.65/3.75 c | 16181 | 2795 18157 66189 | 2147483647 11892 39 | 0.000 % |
3.75/3.88 c | 16491 | 2795 18157 66189 | 2147483647 12202 40 | 0.000 % |
3.95/4.04 c | 16831 | 2795 18157 66189 | 2147483647 12542 40 | 0.000 % |
3.95/4.06 c | 16931 | 2795 18157 66189 | 2147483647 12642 40 | 0.000 % |
4.05/4.10 c | 17041 | 2795 18157 66189 | 2147483647 12752 40 | 0.000 % |
4.05/4.16 c | 17163 | 2795 18157 66189 | 2147483647 12874 40 | 0.000 % |
4.15/4.20 c | 17297 | 2795 18157 66189 | 2147483647 13008 40 | 0.000 % |
4.15/4.26 c | 17444 | 2795 18157 66189 | 2147483647 13155 41 | 0.000 % |
4.26/4.35 c | 17605 | 2795 18157 66189 | 2147483647 13316 41 | 0.000 % |
4.36/4.43 c | 17782 | 2795 18157 66189 | 2147483647 13493 41 | 0.000 % |
4.45/4.51 c | 17975 | 2795 18157 66189 | 2147483647 13686 41 | 0.000 % |
4.45/4.59 c | 18187 | 2795 18157 66189 | 2147483647 13898 41 | 0.000 % |
4.55/4.67 c | 18420 | 2795 18157 66189 | 2147483647 14131 41 | 0.000 % |
4.65/4.79 c | 18677 | 2795 18157 66189 | 2147483647 14388 42 | 0.000 % |
4.85/4.96 c | 18959 | 2795 18157 66189 | 2147483647 14670 42 | 0.000 % |
4.95/5.07 c | 19268 | 2795 18157 66189 | 2147483647 14979 42 | 0.000 % |
5.05/5.19 c | 19607 | 2795 18157 66189 | 2147483647 15318 42 | 0.000 % |
5.25/5.33 c | 19980 | 2795 18157 66189 | 2147483647 15691 43 | 0.000 % |
5.35/5.41 c | 20082 | 2795 18157 66189 | 2147483647 15793 43 | 0.000 % |
5.35/5.47 c | 20192 | 2795 18157 66189 | 2147483647 15903 43 | 0.000 % |
5.45/5.52 c | 20314 | 2795 18157 66189 | 2147483647 16025 43 | 0.000 % |
5.45/5.57 c | 20447 | 2795 18157 66189 | 2147483647 16158 43 | 0.000 % |
5.55/5.64 c | 20594 | 2795 18157 66189 | 2147483647 16305 43 | 0.000 % |
5.65/5.70 c | 20756 | 2795 18157 66189 | 2147483647 16467 43 | 0.000 % |
5.65/5.78 c | 20933 | 2795 18157 66189 | 2147483647 16644 43 | 0.000 % |
5.75/5.85 c | 21126 | 2795 18157 66189 | 2147483647 16837 43 | 0.000 % |
5.85/5.94 c | 21339 | 2795 18157 66189 | 2147483647 17050 43 | 0.000 % |
5.95/6.06 c | 21572 | 2795 18157 66189 | 2147483647 17283 44 | 0.000 % |
6.05/6.17 c | 21828 | 2795 18157 66189 | 2147483647 17539 44 | 0.000 % |
6.15/6.30 c | 22109 | 2795 18157 66189 | 2147483647 17820 44 | 0.000 % |
6.36/6.42 c | 22419 | 2795 18157 66189 | 2147483647 18130 44 | 0.000 % |
6.46/6.57 c | 22758 | 2795 18157 66189 | 2147483647 18469 44 | 0.000 % |
6.66/6.74 c | 23131 | 2795 18157 66189 | 2147483647 18842 45 | 0.000 % |
6.85/6.93 c | 23540 | 2795 18157 66189 | 2147483647 19251 45 | 0.000 % |
6.85/6.99 c | 23640 | 2795 18157 66189 | 2147483647 19351 45 | 0.000 % |
6.95/7.04 c | 23750 | 2795 18157 66189 | 2147483647 19461 45 | 0.000 % |
7.05/7.11 c | 23871 | 2795 18157 66189 | 2147483647 19582 45 | 0.000 % |
7.05/7.17 c | 24006 | 2795 18157 66189 | 2147483647 19717 45 | 0.000 % |
7.15/7.24 c | 24153 | 2795 18157 66189 | 2147483647 19864 45 | 0.000 % |
7.25/7.32 c | 24314 | 2795 18157 66189 | 2147483647 20025 45 | 0.000 % |
7.25/7.40 c | 24490 | 2795 18157 66189 | 2147483647 20201 45 | 0.000 % |
7.35/7.49 c | 24684 | 2795 18157 66189 | 2147483647 20395 45 | 0.000 % |
7.45/7.59 c | 24897 | 2795 18157 66189 | 2147483647 20608 45 | 0.000 % |
7.56/7.69 c | 25131 | 2795 18157 66189 | 2147483647 20842 45 | 0.000 % |
7.75/7.83 c | 25389 | 2795 18157 66189 | 2147483647 21100 46 | 0.000 % |
7.85/7.96 c | 25671 | 2795 18157 66189 | 2147483647 21382 46 | 0.000 % |
8.05/8.15 c | 25980 | 2795 18157 66189 | 2147483647 21691 46 | 0.000 % |
8.25/8.35 c | 26320 | 2795 18157 66189 | 2147483647 22031 46 | 0.000 % |
8.45/8.53 c | 26692 | 2795 18157 66189 | 2147483647 22403 46 | 0.000 % |
8.66/8.73 c | 27102 | 2795 18157 66189 | 2147483647 22813 46 | 0.000 % |
8.85/8.99 c | 27551 | 2795 18157 66189 | 2147483647 23262 46 | 0.000 % |
8.95/9.06 c | 27653 | 2795 18157 66189 | 2147483647 23364 46 | 0.000 % |
9.05/9.11 c | 27763 | 2795 18157 66189 | 2147483647 23474 46 | 0.000 % |
9.05/9.18 c | 27884 | 2795 18157 66189 | 2147483647 23595 46 | 0.000 % |
9.15/9.24 c | 28018 | 2795 18157 66189 | 2147483647 23729 47 | 0.000 % |
9.25/9.31 c | 28166 | 2795 18157 66189 | 2147483647 23877 47 | 0.000 % |
9.35/9.40 c | 28327 | 2795 18157 66189 | 2147483647 24038 47 | 0.000 % |
9.35/9.48 c | 28503 | 2795 18157 66189 | 2147483647 24214 47 | 0.000 % |
9.55/9.60 c | 28697 | 2795 18157 66189 | 2147483647 24408 47 | 0.000 % |
9.65/9.72 c | 28909 | 2795 18157 66189 | 2147483647 24620 47 | 0.000 % |
9.75/9.85 c | 29142 | 2795 18157 66189 | 2147483647 24853 47 | 0.000 % |
9.85/9.98 c | 29399 | 2795 18157 66189 | 2147483647 25110 47 | 0.000 % |
10.05/10.14 c | 29681 | 2795 18157 66189 | 2147483647 25392 47 | 0.000 % |
10.25/10.37 c | 29990 | 2795 18157 66189 | 2147483647 25701 47 | 0.000 % |
10.45/10.58 c | 30329 | 2795 18157 66189 | 2147483647 26040 47 | 0.000 % |
10.75/10.81 c | 30701 | 2795 18157 66189 | 2147483647 26412 47 | 0.000 % |
10.95/11.05 c | 31110 | 2795 18157 66189 | 2147483647 26821 48 | 0.000 % |
11.25/11.32 c | 31559 | 2795 18157 66189 | 2147483647 27270 48 | 0.000 % |
11.55/11.64 c | 32053 | 2795 18157 66189 | 2147483647 27764 48 | 0.000 % |
11.65/11.71 c | 32154 | 2795 18157 66189 | 2147483647 27865 48 | 0.000 % |
11.65/11.78 c | 32264 | 2795 18157 66189 | 2147483647 27975 48 | 0.000 % |
11.75/11.84 c | 32385 | 2795 18157 66189 | 2147483647 28096 48 | 0.000 % |
11.84/11.92 c | 32518 | 2795 18157 66189 | 2147483647 28229 48 | 0.000 % |
11.84/11.99 c | 32664 | 2795 18157 66189 | 2147483647 28375 48 | 0.000 % |
11.95/12.09 c | 32824 | 2795 18157 66189 | 2147483647 28535 48 | 0.000 % |
12.14/12.20 c | 33000 | 2795 18157 66189 | 2147483647 28711 48 | 0.000 % |
12.24/12.33 c | 33193 | 2795 18157 66189 | 2147483647 28904 48 | 0.000 % |
12.34/12.48 c | 33406 | 2795 18157 66189 | 2147483647 29117 48 | 0.000 % |
12.54/12.64 c | 33639 | 2795 18157 66189 | 2147483647 29350 48 | 0.000 % |
12.74/12.82 c | 33895 | 2795 18157 66189 | 2147483647 29606 48 | 0.000 % |
12.94/13.01 c | 34178 | 2795 18157 66189 | 2147483647 29889 48 | 0.000 % |
13.15/13.23 c | 34487 | 2795 18157 66189 | 2147483647 30198 48 | 0.000 % |
13.34/13.45 c | 34827 | 2795 18157 66189 | 2147483647 30538 48 | 0.000 % |
13.64/13.70 c | 35199 | 2795 18157 66189 | 2147483647 30910 49 | 0.000 % |
13.94/14.00 c | 35608 | 2795 18157 66189 | 2147483647 31319 49 | 0.000 % |
14.24/14.31 c | 36058 | 2795 18157 66189 | 2147483647 31769 49 | 0.000 % |
14.54/14.64 c | 36551 | 2795 18157 66189 | 2147483647 32262 49 | 0.000 % |
14.94/15.05 c | 37093 | 2795 18157 66189 | 2147483647 32804 49 | 0.000 % |
15.04/15.14 c | 37194 | 2795 18157 66189 | 2147483647 32905 49 | 0.000 % |
15.14/15.21 c | 37305 | 2795 18157 66189 | 2147483647 33016 49 | 0.000 % |
15.14/15.27 c | 37427 | 2795 18157 66189 | 2147483647 33138 49 | 0.000 % |
15.24/15.32 c | 37561 | 2795 18157 66189 | 2147483647 33272 49 | 0.000 % |
15.34/15.41 c | 37708 | 2795 18157 66189 | 2147483647 33419 49 | 0.000 % |
15.34/15.45 c | 37868 | 2795 18157 66189 | 2147483647 33579 49 | 0.000 % |
15.44/15.53 c | 38044 | 2795 18157 66189 | 2147483647 33755 49 | 0.000 % |
15.54/15.61 c | 38237 | 2795 18157 66189 | 2147483647 33948 49 | 0.000 % |
15.65/15.72 c | 38449 | 2795 18157 66189 | 2147483647 34160 48 | 0.000 % |
15.75/15.80 c | 38682 | 2795 18157 66189 | 2147483647 34393 48 | 0.000 % |
15.85/15.92 c | 38939 | 2795 18157 66189 | 2147483647 34650 48 | 0.000 % |
15.85/15.99 c | 39220 | 2795 18157 66189 | 2147483647 34931 48 | 0.000 % |
16.04/16.11 c | 39529 | 2795 18157 66189 | 2147483647 35240 48 | 0.000 % |
16.14/16.25 c | 39868 | 2795 18157 66189 | 2147483647 35579 48 | 0.000 % |
16.35/16.44 c | 40240 | 2795 18157 66189 | 2147483647 35951 48 | 0.000 % |
16.45/16.58 c | 40649 | 2795 18157 66189 | 2147483647 36360 48 | 0.000 % |
16.64/16.78 c | 41098 | 2795 18157 66189 | 2147483647 36809 48 | 0.000 % |
16.84/16.98 c | 41591 | 2795 18157 66189 | 2147483647 37302 47 | 0.000 % |
17.24/17.34 c | 42133 | 2795 18157 66189 | 2147483647 37844 47 | 0.000 % |
17.34/17.47 c | 42729 | 2795 18157 66189 | 2147483647 38440 47 | 0.000 % |
17.45/17.53 c | 42830 | 2795 18157 66189 | 2147483647 38541 47 | 0.000 % |
17.45/17.55 c | 42940 | 2795 18157 66189 | 2147483647 38651 47 | 0.000 % |
17.55/17.63 c | 43063 | 2795 18157 66189 | 2147483647 38774 47 | 0.000 % |
17.55/17.68 c | 43196 | 2795 18157 66189 | 2147483647 38907 47 | 0.000 % |
17.64/17.79 c | 43342 | 2795 18157 66189 | 2147483647 39053 47 | 0.000 % |
17.74/17.83 c | 43504 | 2795 18157 66189 | 2147483647 39215 47 | 0.000 % |
17.84/17.92 c | 43680 | 2795 18157 66189 | 2147483647 39391 47 | 0.000 % |
17.84/17.95 c | 43873 | 2795 18157 66189 | 2147483647 39584 46 | 0.000 % |
17.94/18.06 c | 44085 | 2795 18157 66189 | 2147483647 39796 46 | 0.000 % |
18.04/18.12 c | 44319 | 2795 18157 66189 | 2147483647 40030 46 | 0.000 % |
18.14/18.24 c | 44575 | 2795 18157 66189 | 2147483647 40286 46 | 0.000 % |
18.24/18.31 c | 44856 | 2795 18157 66189 | 2147483647 40567 46 | 0.000 % |
18.34/18.49 c | 45166 | 2795 18157 66189 | 2147483647 40877 46 | 0.000 % |
18.55/18.62 c | 45507 | 2795 18157 66189 | 2147483647 41218 46 | 0.000 % |
18.74/18.81 c | 45879 | 2795 18157 66189 | 2147483647 41590 46 | 0.000 % |
18.74/18.89 c | 46289 | 2795 18157 66189 | 2147483647 42000 46 | 0.000 % |
19.04/19.15 c | 46739 | 2795 18157 66189 | 2147483647 42450 46 | 0.000 % |
19.14/19.25 c | 47232 | 2795 18157 66189 | 2147483647 42943 45 | 0.000 % |
19.44/19.55 c | 47774 | 2795 18157 66189 | 2147483647 43485 46 | 0.000 % |
19.54/19.70 c | 48371 | 2795 18157 66189 | 2147483647 44082 45 | 0.000 % |
19.84/19.93 c | 49026 | 2795 18157 66189 | 2147483647 44737 45 | 0.000 % |
19.94/20.01 c | 49126 | 2795 18157 66189 | 2147483647 44837 45 | 0.000 % |
19.94/20.06 c | 49237 | 2795 18157 66189 | 2147483647 44948 45 | 0.000 % |
20.04/20.14 c | 49359 | 2795 18157 66189 | 2147483647 45070 45 | 0.000 % |
20.14/20.20 c | 49493 | 2795 18157 66189 | 2147483647 45204 45 | 0.000 % |
20.14/20.24 c | 49640 | 2795 18157 66189 | 2147483647 45351 45 | 0.000 % |
20.24/20.35 c | 49800 | 2795 18157 66189 | 2147483647 45511 45 | 0.000 % |
20.34/20.41 c | 49977 | 2795 18157 66189 | 2147483647 45688 45 | 0.000 % |
20.34/20.48 c | 50170 | 2795 18157 66189 | 2147483647 45881 45 | 0.000 % |
20.44/20.54 c | 50383 | 2795 18157 66189 | 2147483647 46094 45 | 0.000 % |
20.53/20.63 c | 50617 | 2795 18157 66189 | 2147483647 46328 45 | 0.000 % |
20.63/20.73 c | 50873 | 2795 18157 66189 | 2147483647 46584 45 | 0.000 % |
20.74/20.84 c | 51154 | 2795 18157 66189 | 2147483647 46865 45 | 0.000 % |
20.84/20.92 c | 51463 | 2795 18157 66189 | 2147483647 47174 44 | 0.000 % |
20.93/21.04 c | 51803 | 2795 18157 66189 | 2147483647 47514 44 | 0.000 % |
21.03/21.11 c | 52176 | 2795 18157 66189 | 2147483647 47887 44 | 0.000 % |
21.23/21.31 c | 52585 | 2795 18157 66189 | 2147483647 48296 44 | 0.000 % |
21.43/21.54 c | 53035 | 2795 18157 66189 | 2147483647 48746 44 | 0.000 % |
21.73/21.85 c | 53528 | 2795 18157 66189 | 2147483647 49239 44 | 0.000 % |
22.13/22.20 c | 54070 | 2795 18157 66189 | 2147483647 49781 44 | 0.000 % |
22.34/22.49 c | 54667 | 2795 18157 66189 | 2147483647 50378 44 | 0.000 % |
22.63/22.77 c | 55323 | 2795 18157 66189 | 2147483647 51034 44 | 0.000 % |
23.04/23.13 c | 56044 | 2795 18157 66189 | 2147483647 51755 44 | 0.000 % |
23.04/23.20 c | 56145 | 2795 18157 66189 | 2147483647 51856 44 | 0.000 % |
23.13/23.27 c | 56257 | 2795 18157 66189 | 2147483647 51968 44 | 0.000 % |
23.23/23.33 c | 56378 | 2795 18157 66189 | 2147483647 52089 44 | 0.000 % |
23.33/23.42 c | 56511 | 2795 18157 66189 | 2147483647 52222 44 | 0.000 % |
23.43/23.50 c | 56659 | 2795 18157 66189 | 2147483647 52370 44 | 0.000 % |
23.53/23.62 c | 56819 | 2795 18157 66189 | 2147483647 52530 44 | 0.000 % |
23.53/23.68 c | 56995 | 2795 18157 66189 | 2147483647 52706 43 | 0.000 % |
23.73/23.82 c | 57189 | 2795 18157 66189 | 2147483647 52900 44 | 0.000 % |
23.83/23.91 c | 57402 | 2795 18157 66189 | 2147483647 53113 43 | 0.000 % |
23.93/24.04 c | 57635 | 2795 18157 66189 | 2147483647 53346 43 | 0.000 % |
24.04/24.13 c | 57892 | 2795 18157 66189 | 2147483647 53603 43 | 0.000 % |
24.33/24.40 c | 58174 | 2795 18157 66189 | 2147483647 53885 43 | 0.000 % |
24.33/24.47 c | 58484 | 2795 18157 66189 | 2147483647 54195 43 | 0.000 % |
24.53/24.65 c | 58824 | 2795 18157 66189 | 2147483647 54535 43 | 0.000 % |
24.73/24.82 c | 59197 | 2795 18157 66189 | 2147483647 54908 43 | 0.000 % |
24.83/24.99 c | 59606 | 2795 18157 66189 | 2147483647 55317 43 | 0.000 % |
25.13/25.27 c | 60056 | 2795 18157 66189 | 2147483647 55767 43 | 0.000 % |
25.43/25.50 c | 60550 | 2795 18157 66189 | 2147483647 56261 43 | 0.000 % |
25.63/25.75 c | 61092 | 2795 18157 66189 | 2147483647 56803 43 | 0.000 % |
25.93/26.09 c | 61690 | 2795 18157 66189 | 2147483647 57401 43 | 0.000 % |
26.23/26.33 c | 62346 | 2795 18157 66189 | 2147483647 58057 42 | 0.000 % |
26.73/26.83 c | 63066 | 2795 18157 66189 | 2147483647 58777 43 | 0.000 % |
27.13/27.29 c | 63858 | 2795 18157 66189 | 2147483647 59569 42 | 0.000 % |
27.33/27.41 c | 63959 | 2795 18157 66189 | 2147483647 59670 42 | 0.000 % |
27.33/27.45 c | 64069 | 2795 18157 66189 | 2147483647 59780 42 | 0.000 % |
27.43/27.59 c | 64190 | 2795 18157 66189 | 2147483647 59901 42 | 0.000 % |
27.52/27.63 c | 64323 | 2795 18157 66189 | 2147483647 60034 42 | 0.000 % |
27.62/27.75 c | 64470 | 2795 18157 66189 | 2147483647 60181 42 | 0.000 % |
27.72/27.80 c | 64630 | 2795 18157 66189 | 2147483647 60341 42 | 0.000 % |
27.82/27.94 c | 64807 | 2795 18157 66189 | 2147483647 60518 42 | 0.000 % |
27.92/28.08 c | 65000 | 2795 18157 66189 | 2147483647 60711 42 | 0.000 % |
28.22/28.31 c | 65213 | 2795 18157 66189 | 2147483647 60924 42 | 0.000 % |
28.32/28.44 c | 65446 | 2795 18157 66189 | 2147483647 61157 42 | 0.000 % |
28.42/28.59 c | 65703 | 2795 18157 66189 | 2147483647 61414 42 | 0.000 % |
28.52/28.68 c | 65985 | 2795 18157 66189 | 2147483647 61696 42 | 0.000 % |
28.71/28.82 c | 66295 | 2795 18157 66189 | 2147483647 62006 42 | 0.000 % |
28.81/28.98 c | 66634 | 2795 18157 66189 | 2147483647 62345 42 | 0.000 % |
29.01/29.15 c | 67007 | 2795 18157 66189 | 2147483647 62718 42 | 0.000 % |
29.31/29.44 c | 67417 | 2795 18157 66189 | 2147483647 63128 42 | 0.000 % |
29.52/29.70 c | 67867 | 2795 18157 66189 | 2147483647 63578 42 | 0.000 % |
29.82/29.98 c | 68360 | 2795 18157 66189 | 2147483647 64071 42 | 0.000 % |
30.12/30.29 c | 68903 | 2795 18157 66189 | 2147483647 64614 42 | 0.000 % |
30.42/30.52 c | 69499 | 2795 18157 66189 | 2147483647 65210 42 | 0.000 % |
30.82/30.91 c | 70155 | 2795 18157 66189 | 2147483647 65866 42 | 0.000 % |
31.02/31.16 c | 70876 | 2795 18157 66189 | 2147483647 66587 41 | 0.000 % |
31.42/31.56 c | 71668 | 2795 18157 66189 | 2147483647 67379 41 | 0.000 % |
31.72/31.83 c | 72540 | 2795 18157 66189 | 2147483647 68251 41 | 0.000 % |
31.82/31.92 c | 72640 | 2795 18157 66189 | 2147483647 68351 41 | 0.000 % |
31.82/31.99 c | 72750 | 2795 18157 66189 | 2147483647 68461 41 | 0.000 % |
31.92/32.09 c | 72872 | 2795 18157 66189 | 2147483647 68583 41 | 0.000 % |
32.02/32.13 c | 73005 | 2795 18157 66189 | 2147483647 68716 41 | 0.000 % |
32.12/32.29 c | 73151 | 2795 18157 66189 | 2147483647 68862 41 | 0.000 % |
32.32/32.41 c | 73312 | 2795 18157 66189 | 2147483647 69023 41 | 0.000 % |
32.42/32.51 c | 73489 | 2795 18157 66189 | 2147483647 69200 41 | 0.000 % |
32.52/32.60 c | 73682 | 2795 18157 66189 | 2147483647 69393 41 | 0.000 % |
32.62/32.73 c | 73894 | 2795 18157 66189 | 2147483647 69605 41 | 0.000 % |
32.72/32.83 c | 74128 | 2795 18157 66189 | 2147483647 69839 41 | 0.000 % |
32.82/32.94 c | 74384 | 2795 18157 66189 | 2147483647 70095 41 | 0.000 % |
32.92/33.03 c | 74665 | 2795 18157 66189 | 2147483647 70376 41 | 0.000 % |
33.02/33.19 c | 74974 | 2795 18157 66189 | 2147483647 70685 41 | 0.000 % |
33.21/33.38 c | 75313 | 2795 18157 66189 | 2147483647 71024 41 | 0.000 % |
33.41/33.57 c | 75685 | 2795 18157 66189 | 2147483647 71396 41 | 0.000 % |
33.61/33.76 c | 76094 | 2795 18157 66189 | 2147483647 71805 41 | 0.000 % |
33.92/34.05 c | 76543 | 2795 18157 66189 | 2147483647 72254 41 | 0.000 % |
34.21/34.31 c | 77036 | 2795 18157 66189 | 2147483647 72747 41 | 0.000 % |
34.61/34.78 c | 77579 | 2795 18157 66189 | 2147483647 73290 41 | 0.000 % |
35.02/35.20 c | 78176 | 2795 18157 66189 | 2147483647 73887 40 | 0.000 % |
35.71/35.87 c | 78831 | 2795 18157 66189 | 2147483647 74542 41 | 0.000 % |
36.12/36.24 c | 79552 | 2795 18157 66189 | 2147483647 75263 40 | 0.000 % |
36.81/36.91 c | 80344 | 2795 18157 66189 | 75713 76055 41 | 0.000 % |
37.11/37.22 c | 81215 | 2795 18157 66189 | 75713 66725 40 | 0.000 % |
37.51/37.62 c | 82173 | 2795 18157 66189 | 75713 67683 40 | 0.000 % |
37.51/37.68 c | 82273 | 2795 18157 66189 | 75713 67783 40 | 0.000 % |
37.61/37.74 c | 82383 | 2795 18157 66189 | 75713 67893 40 | 0.000 % |
37.61/37.78 c | 82504 | 2795 18157 66189 | 75713 68014 40 | 0.000 % |
37.81/37.91 c | 82638 | 2795 18157 66189 | 75713 68148 40 | 0.000 % |
37.81/38.00 c | 82785 | 2795 18157 66189 | 75713 68295 40 | 0.000 % |
37.91/38.10 c | 82945 | 2795 18157 66189 | 75713 68455 40 | 0.000 % |
38.11/38.21 c | 83121 | 2795 18157 66189 | 75713 68631 40 | 0.000 % |
38.21/38.33 c | 83315 | 2795 18157 66189 | 75713 68825 40 | 0.000 % |
38.31/38.41 c | 83528 | 2795 18157 66189 | 75713 69038 40 | 0.000 % |
38.41/38.59 c | 83762 | 2795 18157 66189 | 75713 69272 40 | 0.000 % |
38.61/38.76 c | 84018 | 2795 18157 66189 | 75713 69528 40 | 0.000 % |
38.91/39.06 c | 84300 | 2795 18157 66189 | 75713 69810 40 | 0.000 % |
39.21/39.32 c | 84609 | 2795 18157 66189 | 75713 70119 40 | 0.000 % |
39.31/39.47 c | 84948 | 2795 18157 66189 | 75713 70458 40 | 0.000 % |
39.51/39.68 c | 85320 | 2795 18157 66189 | 75713 70830 39 | 0.000 % |
39.81/39.91 c | 85730 | 2795 18157 66189 | 75713 71240 39 | 0.000 % |
40.01/40.12 c | 86179 | 2795 18157 66189 | 75713 71689 39 | 0.000 % |
40.31/40.40 c | 86672 | 2795 18157 66189 | 75713 72182 39 | 0.000 % |
40.51/40.61 c | 87215 | 2795 18157 66189 | 75713 72725 39 | 0.000 % |
40.91/41.02 c | 87811 | 2795 18157 66189 | 75713 73321 39 | 0.000 % |
41.31/41.44 c | 88467 | 2795 18157 66189 | 75713 73977 39 | 0.000 % |
41.71/41.89 c | 89189 | 2795 18157 66189 | 75713 74699 39 | 0.000 % |
42.11/42.22 c | 89981 | 2795 18157 66189 | 75713 75491 39 | 0.000 % |
42.61/42.72 c | 90852 | 2795 18157 66189 | 75511 76362 39 | 0.000 % |
43.11/43.23 c | 91811 | 2795 18157 66189 | 75511 69685 37 | 0.000 % |
43.61/43.79 c | 92864 | 2795 18157 66189 | 75511 70738 37 | 0.000 % |
43.71/43.83 c | 92965 | 2795 18157 66189 | 75511 70839 37 | 0.000 % |
43.81/43.94 c | 93075 | 2795 18157 66189 | 75511 70949 37 | 0.000 % |
43.91/44.05 c | 93197 | 2795 18157 66189 | 75511 71071 37 | 0.000 % |
44.01/44.13 c | 93331 | 2795 18157 66189 | 75511 71205 37 | 0.000 % |
44.11/44.25 c | 93477 | 2795 18157 66189 | 75511 71351 37 | 0.000 % |
44.21/44.32 c | 93637 | 2795 18157 66189 | 75511 71511 37 | 0.000 % |
44.31/44.42 c | 93813 | 2795 18157 66189 | 75511 71687 37 | 0.000 % |
44.41/44.54 c | 94006 | 2795 18157 66189 | 75511 71880 37 | 0.000 % |
44.60/44.72 c | 94218 | 2795 18157 66189 | 75511 72092 37 | 0.000 % |
44.80/44.92 c | 94452 | 2795 18157 66189 | 75511 72326 37 | 0.000 % |
45.20/45.31 c | 94708 | 2795 18157 66189 | 75511 72582 37 | 0.000 % |
45.50/45.63 c | 94990 | 2795 18157 66189 | 75511 72864 37 | 0.000 % |
45.80/45.99 c | 95299 | 2795 18157 66189 | 75511 73173 37 | 0.000 % |
46.20/46.36 c | 95638 | 2795 18157 66189 | 75511 73512 37 | 0.000 % |
46.60/46.74 c | 96010 | 2795 18157 66189 | 75511 73884 37 | 0.000 % |
47.11/47.25 c | 96420 | 2795 18157 66189 | 75511 74294 38 | 0.000 % |
47.60/47.77 c | 96870 | 2795 18157 66189 | 75511 74744 38 | 0.000 % |
48.21/48.37 c | 97364 | 2795 18157 66189 | 75511 75238 38 | 0.000 % |
49.00/49.11 c | 97907 | 2795 18157 66189 | 75511 68223 36 | 0.000 % |
49.60/49.74 c | 98503 | 2795 18157 66189 | 75511 68819 36 | 0.000 % |
50.41/50.54 c | 99158 | 2795 18157 66189 | 75511 69474 36 | 0.000 % |
51.30/51.48 c | 99878 | 2795 18157 66189 | 75511 70194 36 | 0.000 % |
52.30/52.42 c | 100671 | 2795 18157 66189 | 2147483647 70987 37 | 0.000 % |
53.30/53.48 c | 101542 | 2795 18157 66189 | 2147483647 71858 37 | 0.000 % |
54.60/54.71 c | 102500 | 2795 18157 66189 | 2147483647 72816 37 | 0.000 % |
55.90/56.03 c | 103554 | 2795 18157 66189 | 2147483647 73870 37 | 0.000 % |
57.80/57.96 c | 104714 | 2795 18157 66189 | 2147483647 75030 38 | 0.000 % |
58.00/58.14 c | 104815 | 2795 18157 66189 | 2147483647 75131 38 | 0.000 % |
58.10/58.27 c | 104926 | 2795 18157 66189 | 2147483647 75242 38 | 0.000 % |
58.30/58.45 c | 105048 | 2795 18157 66189 | 2147483647 75364 38 | 0.000 % |
58.50/58.65 c | 105182 | 2795 18157 66189 | 2147483647 75498 38 | 0.000 % |
58.70/58.83 c | 105329 | 2795 18157 66189 | 2147483647 75645 38 | 0.000 % |
58.90/59.04 c | 105490 | 2795 18157 66189 | 2147483647 75806 38 | 0.000 % |
59.10/59.26 c | 105666 | 2795 18157 66189 | 2147483647 75982 38 | 0.000 % |
59.39/59.58 c | 105860 | 2795 18157 66189 | 2147483647 76176 38 | 0.000 % |
59.79/59.91 c | 106073 | 2795 18157 66189 | 2147483647 76389 38 | 0.000 % |
60.09/60.24 c | 106307 | 2795 18157 66189 | 2147483647 76623 38 | 0.000 % |
60.40/60.54 c | 106565 | 2795 18157 66189 | 2147483647 76881 38 | 0.000 % |
60.69/60.88 c | 106846 | 2795 18157 66189 | 2147483647 77162 38 | 0.000 % |
61.09/61.26 c | 107155 | 2795 18157 66189 | 2147483647 77471 38 | 0.000 % |
61.59/61.78 c | 107495 | 2795 18157 66189 | 2147483647 77811 38 | 0.000 % |
62.09/62.23 c | 107867 | 2795 18157 66189 | 2147483647 78183 38 | 0.000 % |
62.60/62.74 c | 108276 | 2795 18157 66189 | 2147483647 78592 38 | 0.000 % |
63.09/63.29 c | 108725 | 2795 18157 66189 | 2147483647 79041 38 | 0.000 % |
63.79/63.91 c | 109218 | 2795 18157 66189 | 2147483647 79534 39 | 0.000 % |
64.49/64.60 c | 109761 | 2795 18157 66189 | 2147483647 80077 39 | 0.000 % |
65.19/65.32 c | 110357 | 2795 18157 66189 | 2147483647 80673 39 | 0.000 % |
66.00/66.14 c | 111013 | 2795 18157 66189 | 2147483647 81329 39 | 0.000 % |
67.00/67.12 c | 111734 | 2795 18157 66189 | 2147483647 82050 39 | 0.000 % |
68.00/68.12 c | 112526 | 2795 18157 66189 | 2147483647 82842 39 | 0.000 % |
69.20/69.36 c | 113398 | 2795 18157 66189 | 2147483647 83714 39 | 0.000 % |
70.39/70.59 c | 114357 | 2795 18157 66189 | 2147483647 84673 40 | 0.000 % |
71.99/72.16 c | 115411 | 2795 18157 66189 | 2147483647 85727 40 | 0.000 % |
73.59/73.79 c | 116570 | 2795 18157 66189 | 2147483647 86886 40 | 0.000 % |
75.58/75.73 c | 117844 | 2795 18157 66189 | 2147483647 88160 40 | 0.000 % |
75.69/75.88 c | 117945 | 2795 18157 66189 | 2147483647 88261 40 | 0.000 % |
75.88/76.04 c | 118056 | 2795 18157 66189 | 2147483647 88372 40 | 0.000 % |
76.08/76.24 c | 118177 | 2795 18157 66189 | 2147483647 88493 40 | 0.000 % |
76.28/76.43 c | 118310 | 2795 18157 66189 | 2147483647 88626 40 | 0.000 % |
76.48/76.64 c | 118457 | 2795 18157 66189 | 2147483647 88773 40 | 0.000 % |
76.68/76.87 c | 118618 | 2795 18157 66189 | 2147483647 88934 40 | 0.000 % |
76.98/77.13 c | 118796 | 2795 18157 66189 | 2147483647 89112 40 | 0.000 % |
77.28/77.44 c | 118990 | 2795 18157 66189 | 2147483647 89306 41 | 0.000 % |
77.48/77.69 c | 119202 | 2795 18157 66189 | 2147483647 89518 41 | 0.000 % |
77.89/78.03 c | 119435 | 2795 18157 66189 | 2147483647 89751 41 | 0.000 % |
78.18/78.38 c | 119692 | 2795 18157 66189 | 2147483647 90008 41 | 0.000 % |
78.58/78.77 c | 119974 | 2795 18157 66189 | 2147483647 90290 41 | 0.000 % |
78.98/79.19 c | 120283 | 2795 18157 66189 | 2147483647 90599 41 | 0.000 % |
79.48/79.68 c | 120623 | 2795 18157 66189 | 2147483647 90939 41 | 0.000 % |
80.08/80.21 c | 120997 | 2795 18157 66189 | 2147483647 91313 41 | 0.000 % |
80.68/80.84 c | 121408 | 2795 18157 66189 | 2147483647 91724 41 | 0.000 % |
81.28/81.49 c | 121858 | 2795 18157 66189 | 2147483647 92174 41 | 0.000 % |
81.98/82.13 c | 122352 | 2795 18157 66189 | 2147483647 92668 41 | 0.000 % |
82.58/82.70 c | 122894 | 2795 18157 66189 | 2147483647 93210 41 | 0.000 % |
83.18/83.31 c | 123490 | 2795 18157 66189 | 2147483647 93806 41 | 0.000 % |
83.88/84.04 c | 124146 | 2795 18157 66189 | 2147483647 94462 41 | 0.000 % |
84.59/84.77 c | 124866 | 2795 18157 66189 | 2147483647 95182 41 | 0.000 % |
85.39/85.51 c | 125658 | 2795 18157 66189 | 2147483647 95974 41 | 0.000 % |
86.88/87.07 c | 126530 | 2795 18157 66189 | 2147483647 96846 42 | 0.000 % |
88.28/88.45 c | 127489 | 2795 18157 66189 | 2147483647 97805 42 | 0.000 % |
89.88/90.08 c | 128543 | 2795 18157 66189 | 2147483647 98859 42 | 0.000 % |
91.88/92.05 c | 129701 | 2795 18157 66189 | 2147483647 100017 42 | 0.000 % |
93.98/94.10 c | 130975 | 2795 18157 66189 | 2147483647 101291 42 | 0.000 % |
96.38/96.54 c | 132376 | 2795 18157 66189 | 2147483647 102692 42 | 0.000 % |
96.48/96.70 c | 132476 | 2795 18157 66189 | 2147483647 102792 42 | 0.000 % |
96.68/96.86 c | 132587 | 2795 18157 66189 | 2147483647 102903 42 | 0.000 % |
96.88/97.09 c | 132709 | 2795 18157 66189 | 2147483647 103025 42 | 0.000 % |
97.18/97.33 c | 132843 | 2795 18157 66189 | 2147483647 103159 43 | 0.000 % |
97.38/97.58 c | 132989 | 2795 18157 66189 | 2147483647 103305 43 | 0.000 % |
97.68/97.85 c | 133149 | 2795 18157 66189 | 2147483647 103465 43 | 0.000 % |
97.98/98.13 c | 133325 | 2795 18157 66189 | 2147483647 103641 43 | 0.000 % |
98.28/98.46 c | 133519 | 2795 18157 66189 | 2147483647 103835 43 | 0.000 % |
98.68/98.86 c | 133732 | 2795 18157 66189 | 2147483647 104048 43 | 0.000 % |
99.08/99.26 c | 133965 | 2795 18157 66189 | 2147483647 104281 43 | 0.000 % |
99.58/99.71 c | 134222 | 2795 18157 66189 | 2147483647 104538 43 | 0.000 % |
100.08/100.20 c | 134503 | 2795 18157 66189 | 2147483647 104819 43 | 0.000 % |
100.58/100.79 c | 134812 | 2795 18157 66189 | 2147483647 105128 43 | 0.000 % |
101.17/101.34 c | 135152 | 2795 18157 66189 | 2147483647 105468 43 | 0.000 % |
101.77/101.93 c | 135524 | 2795 18157 66189 | 2147483647 105840 43 | 0.000 % |
102.47/102.63 c | 135933 | 2795 18157 66189 | 2147483647 106249 43 | 0.000 % |
103.28/103.42 c | 136383 | 2795 18157 66189 | 2147483647 106699 43 | 0.000 % |
104.07/104.27 c | 136877 | 2795 18157 66189 | 2147483647 107193 43 | 0.000 % |
105.07/105.28 c | 137420 | 2795 18157 66189 | 2147483647 107736 43 | 0.000 % |
106.17/106.31 c | 138016 | 2795 18157 66189 | 2147483647 108332 43 | 0.000 % |
107.47/107.66 c | 138671 | 2795 18157 66189 | 2147483647 108987 43 | 0.000 % |
108.77/108.91 c | 139392 | 2795 18157 66189 | 2147483647 109708 43 | 0.000 % |
110.27/110.45 c | 140185 | 2795 18157 66189 | 110316 92232 44 | 0.000 % |
111.57/111.77 c | 141057 | 2795 18157 66189 | 110316 93104 44 | 0.000 % |
113.17/113.38 c | 142016 | 2795 18157 66189 | 110316 94063 44 | 0.000 % |
115.07/115.28 c | 143070 | 2795 18157 66189 | 110316 95117 44 | 0.000 % |
117.17/117.32 c | 144228 | 2795 18157 66189 | 110316 96275 44 | 0.000 % |
119.26/119.41 c | 145501 | 2795 18157 66189 | 110316 97548 45 | 0.000 % |
121.66/121.82 c | 146901 | 2795 18157 66189 | 110316 98948 45 | 0.000 % |
123.96/124.18 c | 148442 | 2795 18157 66189 | 110316 100489 45 | 0.000 % |
124.17/124.33 c | 148542 | 2795 18157 66189 | 110316 100589 45 | 0.000 % |
124.36/124.54 c | 148653 | 2795 18157 66189 | 110316 100700 45 | 0.000 % |
124.56/124.75 c | 148774 | 2795 18157 66189 | 110316 100821 45 | 0.000 % |
124.86/125.00 c | 148908 | 2795 18157 66189 | 110316 100955 45 | 0.000 % |
125.06/125.29 c | 149055 | 2795 18157 66189 | 110316 101102 45 | 0.000 % |
125.36/125.60 c | 149216 | 2795 18157 66189 | 110316 101263 45 | 0.000 % |
125.76/125.95 c | 149392 | 2795 18157 66189 | 110316 101439 45 | 0.000 % |
126.16/126.30 c | 149585 | 2795 18157 66189 | 110316 101632 45 | 0.000 % |
126.56/126.73 c | 149797 | 2795 18157 66189 | 110316 101844 45 | 0.000 % |
127.06/127.20 c | 150030 | 2795 18157 66189 | 102048 102077 45 | 0.000 % |
127.56/127.78 c | 150286 | 2795 18157 66189 | 102048 84085 47 | 0.000 % |
127.96/128.18 c | 150567 | 2795 18157 66189 | 102048 84366 47 | 0.000 % |
128.56/128.75 c | 150877 | 2795 18157 66189 | 102048 84676 47 | 0.000 % |
129.06/129.28 c | 151217 | 2795 18157 66189 | 102048 85016 47 | 0.000 % |
129.66/129.86 c | 151590 | 2795 18157 66189 | 102048 85389 47 | 0.000 % |
130.46/130.63 c | 152000 | 2795 18157 66189 | 102048 85799 48 | 0.000 % |
131.16/131.33 c | 152450 | 2795 18157 66189 | 102048 86249 48 | 0.000 % |
131.86/132.07 c | 152944 | 2795 18157 66189 | 102048 86743 48 | 0.000 % |
132.66/132.87 c | 153487 | 2795 18157 66189 | 102048 87286 48 | 0.000 % |
133.65/133.81 c | 154084 | 2795 18157 66189 | 102048 87883 48 | 0.000 % |
134.75/134.93 c | 154740 | 2795 18157 66189 | 102048 88539 48 | 0.000 % |
135.96/136.17 c | 155460 | 2795 18157 66189 | 102048 89259 48 | 0.000 % |
137.27/137.50 c | 156252 | 2795 18157 66189 | 102048 90051 48 | 0.000 % |
138.96/139.10 c | 157124 | 2795 18157 66189 | 102048 90923 48 | 0.000 % |
140.36/140.60 c | 158083 | 2795 18157 66189 | 102048 91882 48 | 0.000 % |
142.26/142.40 c | 159136 | 2795 18157 66189 | 102048 92935 48 | 0.000 % |
144.16/144.34 c | 160295 | 2795 18157 66189 | 93799 78459 51 | 0.000 % |
145.96/146.10 c | 161568 | 2795 18157 66189 | 93799 79732 51 | 0.000 % |
148.06/148.22 c | 162968 | 2795 18157 66189 | 93799 81132 51 | 0.000 % |
149.86/150.09 c | 164508 | 2795 18157 66189 | 93799 82672 51 | 0.000 % |
152.36/152.50 c | 166202 | 2795 18157 66189 | 93799 84366 51 | 0.000 % |
152.46/152.66 c | 166303 | 2795 18157 66189 | 93799 84467 51 | 0.000 % |
152.66/152.82 c | 166413 | 2795 18157 66189 | 93799 84577 51 | 0.000 % |
152.86/153.03 c | 166536 | 2795 18157 66189 | 93799 84700 51 | 0.000 % |
153.06/153.26 c | 166673 | 2795 18157 66189 | 93799 84837 51 | 0.000 % |
153.26/153.47 c | 166820 | 2795 18157 66189 | 93799 84984 51 | 0.000 % |
153.46/153.69 c | 166981 | 2795 18157 66189 | 93799 85145 51 | 0.000 % |
153.76/153.98 c | 167157 | 2795 18157 66189 | 93799 85321 51 | 0.000 % |
154.06/154.25 c | 167350 | 2795 18157 66189 | 93799 85514 51 | 0.000 % |
154.36/154.55 c | 167562 | 2795 18157 66189 | 93799 85726 51 | 0.000 % |
154.76/154.98 c | 167795 | 2795 18157 66189 | 93799 85959 51 | 0.000 % |
155.15/155.37 c | 168051 | 2795 18157 66189 | 93799 86215 51 | 0.000 % |
155.75/155.92 c | 168332 | 2795 18157 66189 | 93799 86496 51 | 0.000 % |
156.25/156.42 c | 168641 | 2795 18157 66189 | 93799 86805 51 | 0.000 % |
156.75/156.96 c | 168981 | 2795 18157 66189 | 93799 87145 51 | 0.000 % |
157.35/157.56 c | 169353 | 2795 18157 66189 | 93799 87517 51 | 0.000 % |
157.95/158.19 c | 169764 | 2795 18157 66189 | 93799 87928 51 | 0.000 % |
158.75/158.94 c | 170213 | 2795 18157 66189 | 88164 73777 53 | 0.000 % |
159.55/159.70 c | 170706 | 2795 18157 66189 | 88164 74270 53 | 0.000 % |
160.25/160.46 c | 171248 | 2795 18157 66189 | 88164 74812 53 | 0.000 % |
161.15/161.33 c | 171844 | 2795 18157 66189 | 88164 75408 53 | 0.000 % |
162.05/162.28 c | 172500 | 2795 18157 66189 | 88164 76064 53 | 0.000 % |
163.35/163.57 c | 173221 | 2795 18157 66189 | 88164 76785 53 | 0.000 % |
164.54/164.76 c | 174014 | 2795 18157 66189 | 88164 77578 53 | 0.000 % |
165.95/166.16 c | 174885 | 2795 18157 66189 | 88164 78449 53 | 0.000 % |
167.34/167.59 c | 175844 | 2795 18157 66189 | 88164 79408 53 | 0.000 % |
168.94/169.18 c | 176897 | 2795 18157 66189 | 88164 80461 53 | 0.000 % |
170.84/171.06 c | 178055 | 2795 18157 66189 | 88164 81619 53 | 0.000 % |
173.14/173.37 c | 179330 | 2795 18157 66189 | 88164 82894 53 | 0.000 % |
175.54/175.77 c | 180730 | 2795 18157 66189 | 83564 70777 53 | 0.000 % |
177.64/177.81 c | 182271 | 2795 18157 66189 | 83564 72318 53 | 0.000 % |
180.04/180.29 c | 183966 | 2795 18157 66189 | 83564 74013 53 | 0.000 % |
182.74/182.98 c | 185829 | 2795 18157 66189 | 83564 75876 53 | 0.000 % |
182.94/183.11 c | 185930 | 2795 18157 66189 | 83564 75977 53 | 0.000 % |
183.04/183.26 c | 186040 | 2795 18157 66189 | 83564 76087 53 | 0.000 % |
183.24/183.48 c | 186162 | 2795 18157 66189 | 83564 76209 53 | 0.000 % |
183.44/183.68 c | 186296 | 2795 18157 66189 | 83564 76343 53 | 0.000 % |
183.74/183.92 c | 186444 | 2795 18157 66189 | 83564 76491 53 | 0.000 % |
183.94/184.17 c | 186605 | 2795 18157 66189 | 83564 76652 53 | 0.000 % |
184.24/184.44 c | 186783 | 2795 18157 66189 | 83564 76830 53 | 0.000 % |
184.54/184.70 c | 186976 | 2795 18157 66189 | 83564 77023 53 | 0.000 % |
184.83/185.05 c | 187188 | 2795 18157 66189 | 83564 77235 53 | 0.000 % |
185.23/185.42 c | 187421 | 2795 18157 66189 | 83564 77468 53 | 0.000 % |
185.64/185.85 c | 187677 | 2795 18157 66189 | 83564 77724 53 | 0.000 % |
186.03/186.25 c | 187958 | 2795 18157 66189 | 83564 78005 53 | 0.000 % |
186.53/186.72 c | 188268 | 2795 18157 66189 | 83564 78315 53 | 0.000 % |
187.03/187.24 c | 188607 | 2795 18157 66189 | 83564 78654 53 | 0.000 % |
187.53/187.78 c | 188980 | 2795 18157 66189 | 83564 79027 53 | 0.000 % |
188.13/188.38 c | 189390 | 2795 18157 66189 | 83564 79437 53 | 0.000 % |
188.83/189.06 c | 189840 | 2795 18157 66189 | 83564 79887 53 | 0.000 % |
189.63/189.89 c | 190334 | 2795 18157 66189 | 80051 69531 53 | 0.000 % |
190.33/190.57 c | 190877 | 2795 18157 66189 | 80051 70074 53 | 0.000 % |
191.33/191.58 c | 191474 | 2795 18157 66189 | 80051 70671 53 | 0.000 % |
192.13/192.40 c | 192129 | 2795 18157 66189 | 80051 71326 53 | 0.000 % |
193.13/193.39 c | 192850 | 2795 18157 66189 | 80051 72047 53 | 0.000 % |
194.43/194.65 c | 193643 | 2795 18157 66189 | 80051 72840 53 | 0.000 % |
195.73/195.90 c | 194516 | 2795 18157 66189 | 80051 73713 53 | 0.000 % |
197.23/197.45 c | 195474 | 2795 18157 66189 | 80051 74671 53 | 0.000 % |
198.83/199.05 c | 196527 | 2795 18157 66189 | 80051 75724 53 | 0.000 % |
200.63/200.87 c | 197688 | 2795 18157 66189 | 80051 76885 53 | 0.000 % |
202.63/202.88 c | 198961 | 2795 18157 66189 | 80051 78158 53 | 0.000 % |
205.02/205.25 c | 200363 | 2795 18157 66189 | 79197 68904 53 | 0.000 % |
207.22/207.48 c | 201904 | 2795 18157 66189 | 79197 70445 53 | 0.000 % |
209.72/209.96 c | 203599 | 2795 18157 66189 | 79197 72140 53 | 0.000 % |
212.82/213.04 c | 205463 | 2795 18157 66189 | 79197 74004 53 | 0.000 % |
216.11/216.31 c | 207512 | 2795 18157 66189 | 79197 76053 53 | 0.000 % |
216.31/216.51 c | 207614 | 2795 18157 66189 | 79197 76155 53 | 0.000 % |
216.42/216.69 c | 207725 | 2795 18157 66189 | 79197 76266 53 | 0.000 % |
216.61/216.89 c | 207847 | 2795 18157 66189 | 79197 76388 53 | 0.000 % |
216.81/217.06 c | 207982 | 2795 18157 66189 | 79197 76523 53 | 0.000 % |
217.11/217.30 c | 208128 | 2795 18157 66189 | 79197 76669 53 | 0.000 % |
217.31/217.53 c | 208288 | 2795 18157 66189 | 79197 76829 53 | 0.000 % |
217.52/217.77 c | 208464 | 2795 18157 66189 | 79197 77005 53 | 0.000 % |
217.81/218.07 c | 208657 | 2795 18157 66189 | 79197 77198 53 | 0.000 % |
218.11/218.38 c | 208870 | 2795 18157 66189 | 79197 77411 53 | 0.000 % |
218.51/218.74 c | 209105 | 2795 18157 66189 | 79197 77646 53 | 0.000 % |
218.91/219.19 c | 209364 | 2795 18157 66189 | 79197 77905 53 | 0.000 % |
219.31/219.57 c | 209646 | 2795 18157 66189 | 79197 78187 53 | 0.000 % |
219.82/220.01 c | 209956 | 2795 18157 66189 | 79197 78497 53 | 0.000 % |
220.41/220.68 c | 210295 | 2795 18157 66189 | 78543 66670 53 | 0.000 % |
220.91/221.17 c | 210667 | 2795 18157 66189 | 78543 67042 53 | 0.000 % |
221.51/221.75 c | 211076 | 2795 18157 66189 | 78543 67451 53 | 0.000 % |
222.21/222.42 c | 211526 | 2795 18157 66189 | 78543 67901 53 | 0.000 % |
223.01/223.21 c | 212020 | 2795 18157 66189 | 78543 68395 53 | 0.000 % |
223.71/223.96 c | 212564 | 2795 18157 66189 | 78543 68939 53 | 0.000 % |
224.71/224.90 c | 213160 | 2795 18157 66189 | 78543 69535 53 | 0.000 % |
225.61/225.85 c | 213815 | 2795 18157 66189 | 78543 70190 53 | 0.000 % |
226.71/226.93 c | 214536 | 2795 18157 66189 | 78543 70911 53 | 0.000 % |
228.01/228.20 c | 215329 | 2795 18157 66189 | 78543 71704 53 | 0.000 % |
229.11/229.36 c | 216201 | 2795 18157 66189 | 78543 72576 53 | 0.000 % |
230.50/230.71 c | 217159 | 2795 18157 66189 | 78543 73534 53 | 0.000 % |
232.00/232.21 c | 218212 | 2795 18157 66189 | 78543 74587 53 | 0.000 % |
233.60/233.88 c | 219371 | 2795 18157 66189 | 78543 75746 53 | 0.000 % |
235.51/235.79 c | 220645 | 2795 18157 66189 | 76376 65973 52 | 0.000 % |
237.41/237.65 c | 222046 | 2795 18157 66189 | 76376 67374 52 | 0.000 % |
239.61/239.85 c | 223587 | 2795 18157 66189 | 76376 68915 52 | 0.000 % |
242.30/242.58 c | 225281 | 2795 18157 66189 | 76376 70609 52 | 0.000 % |
245.30/245.55 c | 227145 | 2795 18157 66189 | 76376 72473 53 | 0.000 % |
248.20/248.47 c | 229194 | 2795 18157 66189 | 76376 74522 53 | 0.000 % |
251.80/252.02 c | 231448 | 2795 18157 66189 | 75329 65588 52 | 0.000 % |
251.90/252.19 c | 231549 | 2795 18157 66189 | 75329 65689 52 | 0.000 % |
252.10/252.38 c | 231659 | 2795 18157 66189 | 75329 65799 52 | 0.000 % |
252.30/252.53 c | 231780 | 2795 18157 66189 | 75329 65920 52 | 0.000 % |
252.50/252.72 c | 231914 | 2795 18157 66189 | 75329 66054 52 | 0.000 % |
252.70/252.93 c | 232060 | 2795 18157 66189 | 75329 66200 52 | 0.000 % |
252.89/253.19 c | 232220 | 2795 18157 66189 | 75329 66360 52 | 0.000 % |
253.19/253.44 c | 232396 | 2795 18157 66189 | 75329 66536 52 | 0.000 % |
253.49/253.76 c | 232589 | 2795 18157 66189 | 75329 66729 52 | 0.000 % |
253.80/254.06 c | 232802 | 2795 18157 66189 | 75329 66942 52 | 0.000 % |
254.09/254.37 c | 233035 | 2795 18157 66189 | 75329 67175 52 | 0.000 % |
254.49/254.70 c | 233291 | 2795 18157 66189 | 75329 67431 52 | 0.000 % |
254.79/255.09 c | 233573 | 2795 18157 66189 | 75329 67713 52 | 0.000 % |
255.29/255.57 c | 233884 | 2795 18157 66189 | 75329 68024 52 | 0.000 % |
255.79/256.09 c | 234224 | 2795 18157 66189 | 75329 68364 52 | 0.000 % |
256.39/256.61 c | 234597 | 2795 18157 66189 | 75329 68737 52 | 0.000 % |
256.99/257.25 c | 235006 | 2795 18157 66189 | 75329 69146 52 | 0.000 % |
257.69/257.98 c | 235455 | 2795 18157 66189 | 75329 69595 52 | 0.000 % |
258.59/258.87 c | 235949 | 2795 18157 66189 | 75329 70089 53 | 0.000 % |
259.29/259.54 c | 236491 | 2795 18157 66189 | 75329 70631 53 | 0.000 % |
260.09/260.36 c | 237087 | 2795 18157 66189 | 75329 71227 53 | 0.000 % |
260.99/261.25 c | 237743 | 2795 18157 66189 | 75329 71883 53 | 0.000 % |
262.09/262.37 c | 238463 | 2795 18157 66189 | 75329 72603 53 | 0.000 % |
263.29/263.51 c | 239255 | 2795 18157 66189 | 75329 73395 53 | 0.000 % |
264.59/264.88 c | 240127 | 2795 18157 66189 | 74141 65053 52 | 0.000 % |
265.79/266.08 c | 241086 | 2795 18157 66189 | 74141 66012 52 | 0.000 % |
267.39/267.60 c | 242139 | 2795 18157 66189 | 74141 67065 52 | 0.000 % |
268.79/269.06 c | 243297 | 2795 18157 66189 | 74141 68223 53 | 0.000 % |
270.49/270.77 c | 244570 | 2795 18157 66189 | 74141 69496 53 | 0.000 % |
272.09/272.37 c | 245972 | 2795 18157 66189 | 74141 70898 53 | 0.000 % |
274.28/274.50 c | 247512 | 2795 18157 66189 | 74141 72438 53 | 0.000 % |
276.58/276.82 c | 249206 | 2795 18157 66189 | 74141 74132 53 | 0.000 % |
279.58/279.80 c | 251070 | 2795 18157 66189 | 67058 61126 52 | 0.000 % |
282.39/282.61 c | 253120 | 2795 18157 66189 | 67058 63176 52 | 0.000 % |
285.48/285.71 c | 255373 | 2795 18157 66189 | 67058 65429 52 | 0.000 % |
288.78/289.00 c | 257851 | 2795 18157 66189 | 67058 58886 52 | 0.000 % |
288.88/289.13 c | 257951 | 2795 18157 66189 | 67058 58986 52 | 0.000 % |
288.98/289.27 c | 258061 | 2795 18157 66189 | 67058 59096 52 | 0.000 % |
289.18/289.45 c | 258182 | 2795 18157 66189 | 67058 59217 52 | 0.000 % |
289.38/289.61 c | 258315 | 2795 18157 66189 | 67058 59350 52 | 0.000 % |
289.48/289.79 c | 258461 | 2795 18157 66189 | 67058 59496 52 | 0.000 % |
289.78/290.01 c | 258622 | 2795 18157 66189 | 67058 59657 52 | 0.000 % |
289.98/290.29 c | 258799 | 2795 18157 66189 | 67058 59834 52 | 0.000 % |
290.28/290.54 c | 258992 | 2795 18157 66189 | 67058 60027 52 | 0.000 % |
290.58/290.84 c | 259205 | 2795 18157 66189 | 67058 60240 52 | 0.000 % |
290.88/291.10 c | 259439 | 2795 18157 66189 | 67058 60474 52 | 0.000 % |
291.08/291.40 c | 259696 | 2795 18157 66189 | 67058 60731 52 | 0.000 % |
291.58/291.81 c | 259977 | 2795 18157 66189 | 67058 61012 52 | 0.000 % |
291.98/292.24 c | 260286 | 2795 18157 66189 | 61037 53908 52 | 0.000 % |
292.38/292.64 c | 260626 | 2795 18157 66189 | 61037 54248 52 | 0.000 % |
292.78/293.05 c | 260998 | 2795 18157 66189 | 61037 54620 52 | 0.000 % |
293.18/293.48 c | 261407 | 2795 18157 66189 | 61037 55029 52 | 0.000 % |
293.78/294.00 c | 261856 | 2795 18157 66189 | 61037 55478 52 | 0.000 % |
294.28/294.59 c | 262349 | 2795 18157 66189 | 61037 55971 52 | 0.000 % |
294.98/295.22 c | 262892 | 2795 18157 66189 | 61037 56514 52 | 0.000 % |
295.58/295.86 c | 263488 | 2795 18157 66189 | 61037 57110 52 | 0.000 % |
296.48/296.75 c | 264143 | 2795 18157 66189 | 61037 57765 52 | 0.000 % |
297.28/297.59 c | 264863 | 2795 18157 66189 | 61037 58485 52 | 0.000 % |
298.27/298.56 c | 265656 | 2795 18157 66189 | 61037 59278 52 | 0.000 % |
299.27/299.57 c | 266528 | 2795 18157 66189 | 61037 60150 52 | 0.000 % |
300.67/300.95 c | 267487 | 2795 18157 66189 | 61037 61109 52 | 0.000 % |
302.07/302.34 c | 268540 | 2795 18157 66189 | 61037 56052 52 | 0.000 % |
303.57/303.83 c | 269698 | 2795 18157 66189 | 61037 57210 52 | 0.000 % |
305.17/305.44 c | 270972 | 2795 18157 66189 | 2147483647 58484 52 | 0.000 % |
307.17/307.49 c | 272372 | 2795 18157 66189 | 2147483647 59884 52 | 0.000 % |
309.47/309.78 c | 273912 | 2795 18157 66189 | 2147483647 61424 53 | 0.000 % |
311.87/312.10 c | 275607 | 2795 18157 66189 | 2147483647 63119 53 | 0.000 % |
314.27/314.56 c | 277471 | 2795 18157 66189 | 2147483647 64983 53 | 0.000 % |
317.06/317.39 c | 279520 | 2795 18157 66189 | 2147483647 67032 53 | 0.000 % |
320.46/320.71 c | 281773 | 2795 18157 66189 | 67512 61874 53 | 0.000 % |
324.17/324.47 c | 284252 | 2795 18157 66189 | 67512 64353 53 | 0.000 % |
328.06/328.36 c | 286978 | 2795 18157 66189 | 67512 67079 53 | 0.000 % |
328.26/328.52 c | 287078 | 2795 18157 66189 | 67512 67179 53 | 0.000 % |
328.36/328.68 c | 287188 | 2795 18157 66189 | 67512 67289 53 | 0.000 % |
328.56/328.86 c | 287309 | 2795 18157 66189 | 67512 67410 53 | 0.000 % |
328.76/329.01 c | 287443 | 2795 18157 66189 | 67512 67544 53 | 0.000 % |
329.06/329.32 c | 287590 | 2795 18157 66189 | 67512 58161 53 | 0.000 % |
329.26/329.57 c | 287751 | 2795 18157 66189 | 67512 58322 53 | 0.000 % |
329.46/329.78 c | 287928 | 2795 18157 66189 | 67512 58499 53 | 0.000 % |
329.76/330.03 c | 288121 | 2795 18157 66189 | 67512 58692 53 | 0.000 % |
330.06/330.30 c | 288335 | 2795 18157 66189 | 67512 58906 53 | 0.000 % |
330.36/330.60 c | 288569 | 2795 18157 66189 | 67512 59140 53 | 0.000 % |
330.66/330.95 c | 288825 | 2795 18157 66189 | 67512 59396 53 | 0.000 % |
331.06/331.37 c | 289107 | 2795 18157 66189 | 67512 59678 53 | 0.000 % |
331.46/331.78 c | 289416 | 2795 18157 66189 | 67512 59987 53 | 0.000 % |
332.16/332.42 c | 289755 | 2795 18157 66189 | 67512 60326 53 | 0.000 % |
332.66/332.92 c | 290128 | 2795 18157 66189 | 60571 53057 52 | 0.000 % |
333.06/333.36 c | 290538 | 2795 18157 66189 | 60571 53467 52 | 0.000 % |
333.76/334.00 c | 290987 | 2795 18157 66189 | 60571 53916 52 | 0.000 % |
334.36/334.60 c | 291480 | 2795 18157 66189 | 60571 54409 52 | 0.000 % |
334.96/335.28 c | 292023 | 2795 18157 66189 | 60571 54952 52 | 0.000 % |
335.76/336.08 c | 292619 | 2795 18157 66189 | 60571 55548 53 | 0.000 % |
336.56/336.86 c | 293274 | 2795 18157 66189 | 60571 56203 53 | 0.000 % |
337.56/337.80 c | 293994 | 2795 18157 66189 | 60571 56923 53 | 0.000 % |
338.56/338.85 c | 294787 | 2795 18157 66189 | 60571 57716 53 | 0.000 % |
339.66/339.93 c | 295659 | 2795 18157 66189 | 60571 58588 53 | 0.000 % |
340.85/341.13 c | 296617 | 2795 18157 66189 | 60571 59546 53 | 0.000 % |
342.25/342.52 c | 297670 | 2795 18157 66189 | 60571 60599 53 | 0.000 % |
343.75/344.01 c | 298828 | 2795 18157 66189 | 60571 55698 52 | 0.000 % |
345.25/345.60 c | 300101 | 2795 18157 66189 | 2147483647 56971 52 | 0.000 % |
346.95/347.25 c | 301502 | 2795 18157 66189 | 2147483647 58372 53 | 0.000 % |
349.14/349.40 c | 303043 | 2795 18157 66189 | 2147483647 59913 53 | 0.000 % |
351.54/351.80 c | 304737 | 2795 18157 66189 | 2147483647 61607 53 | 0.000 % |
354.04/354.39 c | 306600 | 2795 18157 66189 | 2147483647 63470 53 | 0.000 % |
356.84/357.19 c | 308650 | 2795 18157 66189 | 2147483647 65520 53 | 0.000 % |
360.14/360.48 c | 310904 | 2795 18157 66189 | 66871 60361 53 | 0.000 % |
363.64/363.92 c | 313382 | 2795 18157 66189 | 66871 62839 53 | 0.000 % |
367.54/367.80 c | 316108 | 2795 18157 66189 | 66871 65565 53 | 0.000 % |
371.64/371.90 c | 319109 | 2795 18157 66189 | 66871 60068 53 | 0.000 % |
371.74/372.01 c | 319209 | 2795 18157 66189 | 66871 60168 53 | 0.000 % |
371.84/372.13 c | 319320 | 2795 18157 66189 | 66871 60279 53 | 0.000 % |
371.94/372.29 c | 319441 | 2795 18157 66189 | 66871 60400 53 | 0.000 % |
372.14/372.46 c | 319574 | 2795 18157 66189 | 66871 60533 53 | 0.000 % |
372.44/372.72 c | 319720 | 2795 18157 66189 | 66871 60679 53 | 0.000 % |
372.64/372.94 c | 319881 | 2795 18157 66189 | 66871 60840 53 | 0.000 % |
372.94/373.23 c | 320057 | 2795 18157 66189 | 60960 61016 53 | 0.000 % |
373.24/373.59 c | 320251 | 2795 18157 66189 | 60960 53675 52 | 0.000 % |
373.53/373.86 c | 320464 | 2795 18157 66189 | 60960 53888 52 | 0.000 % |
373.83/374.16 c | 320697 | 2795 18157 66189 | 60960 54121 52 | 0.000 % |
374.13/374.47 c | 320953 | 2795 18157 66189 | 60960 54377 52 | 0.000 % |
374.53/374.84 c | 321235 | 2795 18157 66189 | 60960 54659 52 | 0.000 % |
374.93/375.24 c | 321544 | 2795 18157 66189 | 60960 54968 53 | 0.000 % |
375.43/375.73 c | 321883 | 2795 18157 66189 | 60960 55307 53 | 0.000 % |
375.84/376.18 c | 322255 | 2795 18157 66189 | 60960 55679 53 | 0.000 % |
376.43/376.72 c | 322664 | 2795 18157 66189 | 60960 56088 53 | 0.000 % |
377.04/377.33 c | 323114 | 2795 18157 66189 | 60960 56538 53 | 0.000 % |
377.63/377.99 c | 323609 | 2795 18157 66189 | 60960 57033 53 | 0.000 % |
378.43/378.75 c | 324151 | 2795 18157 66189 | 60960 57575 53 | 0.000 % |
379.33/379.65 c | 324748 | 2795 18157 66189 | 60960 58172 53 | 0.000 % |
380.23/380.57 c | 325403 | 2795 18157 66189 | 60960 58827 53 | 0.000 % |
381.13/381.47 c | 326123 | 2795 18157 66189 | 60960 59547 53 | 0.000 % |
382.03/382.39 c | 326915 | 2795 18157 66189 | 60960 60339 53 | 0.000 % |
383.34/383.63 c | 327786 | 2795 18157 66189 | 60960 54629 52 | 0.000 % |
384.54/384.82 c | 328746 | 2795 18157 66189 | 60960 55589 52 | 0.000 % |
385.84/386.17 c | 329799 | 2795 18157 66189 | 60960 56642 52 | 0.000 % |
387.34/387.65 c | 330958 | 2795 18157 66189 | 56844 52111 52 | 0.000 % |
388.93/389.22 c | 332232 | 2795 18157 66189 | 56844 53385 52 | 0.000 % |
390.72/391.05 c | 333632 | 2795 18157 66189 | 56844 54785 52 | 0.000 % |
392.72/393.04 c | 335173 | 2795 18157 66189 | 56844 56326 52 | 0.000 % |
394.72/395.01 c | 336867 | 2795 18157 66189 | 56844 52315 52 | 0.000 % |
396.92/397.26 c | 338730 | 2795 18157 66189 | 56844 54178 52 | 0.000 % |
399.52/399.85 c | 340780 | 2795 18157 66189 | 2147483647 56228 52 | 0.000 % |
402.42/402.77 c | 343034 | 2795 18157 66189 | 2147483647 58482 52 | 0.000 % |
406.12/406.49 c | 345512 | 2795 18157 66189 | 2147483647 60960 52 | 0.000 % |
410.22/410.59 c | 348238 | 2795 18157 66189 | 2147483647 63686 53 | 0.000 % |
415.02/415.33 c | 351235 | 2795 18157 66189 | 65449 58087 52 | 0.000 % |
419.32/419.62 c | 354531 | 2795 18157 66189 | 65449 61383 53 | 0.000 % |
419.42/419.78 c | 354632 | 2795 18157 66189 | 65449 61484 53 | 0.000 % |
419.62/419.92 c | 354742 | 2795 18157 66189 | 65449 61594 53 | 0.000 % |
419.72/420.08 c | 354864 | 2795 18157 66189 | 65449 61716 53 | 0.000 % |
419.92/420.28 c | 354998 | 2795 18157 66189 | 65449 61850 53 | 0.000 % |
420.12/420.49 c | 355145 | 2795 18157 66189 | 65449 61997 53 | 0.000 % |
420.42/420.75 c | 355306 | 2795 18157 66189 | 65449 62158 53 | 0.000 % |
420.72/421.02 c | 355482 | 2795 18157 66189 | 65449 62334 53 | 0.000 % |
421.02/421.31 c | 355675 | 2795 18157 66189 | 65449 62527 53 | 0.000 % |
421.31/421.63 c | 355888 | 2795 18157 66189 | 65449 62740 53 | 0.000 % |
421.71/422.00 c | 356123 | 2795 18157 66189 | 65449 62975 53 | 0.000 % |
422.02/422.39 c | 356379 | 2795 18157 66189 | 65449 63231 53 | 0.000 % |
422.51/422.83 c | 356661 | 2795 18157 66189 | 65449 63513 53 | 0.000 % |
422.91/423.25 c | 356970 | 2795 18157 66189 | 65449 63822 53 | 0.000 % |
423.41/423.72 c | 357309 | 2795 18157 66189 | 65449 64161 53 | 0.000 % |
424.01/424.37 c | 357684 | 2795 18157 66189 | 65449 64536 53 | 0.000 % |
424.71/425.00 c | 358094 | 2795 18157 66189 | 65449 64946 53 | 0.000 % |
425.32/425.68 c | 358543 | 2795 18157 66189 | 65449 65395 53 | 0.000 % |
426.21/426.53 c | 359037 | 2795 18157 66189 | 65449 57129 52 | 0.000 % |
427.01/427.36 c | 359580 | 2795 18157 66189 | 65449 57672 52 | 0.000 % |
427.81/428.17 c | 360176 | 2795 18157 66189 | 58092 50356 52 | 0.000 % |
428.62/428.92 c | 360832 | 2795 18157 66189 | 58092 51012 52 | 0.000 % |
429.41/429.73 c | 361552 | 2795 18157 66189 | 58092 51732 52 | 0.000 % |
430.51/430.82 c | 362346 | 2795 18157 66189 | 58092 52526 52 | 0.000 % |
431.61/431.98 c | 363219 | 2795 18157 66189 | 58092 53399 52 | 0.000 % |
432.91/433.26 c | 364177 | 2795 18157 66189 | 58092 54357 52 | 0.000 % |
434.21/434.59 c | 365231 | 2795 18157 66189 | 58092 55411 52 | 0.000 % |
435.80/436.17 c | 366389 | 2795 18157 66189 | 58092 56569 52 | 0.000 % |
437.51/437.86 c | 367663 | 2795 18157 66189 | 58092 57843 52 | 0.000 % |
439.30/439.65 c | 369064 | 2795 18157 66189 | 58092 52765 52 | 0.000 % |
441.40/441.72 c | 370604 | 2795 18157 66189 | 53701 48722 51 | 0.000 % |
443.40/443.76 c | 372298 | 2795 18157 66189 | 53701 50416 51 | 0.000 % |
445.80/446.11 c | 374163 | 2795 18157 66189 | 53701 52281 52 | 0.000 % |
447.70/448.08 c | 376212 | 2795 18157 66189 | 53701 48943 51 | 0.000 % |
450.30/450.64 c | 378467 | 2795 18157 66189 | 53701 51198 52 | 0.000 % |
453.20/453.54 c | 380946 | 2795 18157 66189 | 2147483647 53677 52 | 0.000 % |
456.50/456.85 c | 383672 | 2795 18157 66189 | 2147483647 56403 52 | 0.000 % |
460.40/460.73 c | 386671 | 2795 18157 66189 | 2147483647 59402 52 | 0.000 % |
464.90/465.28 c | 389968 | 2795 18157 66189 | 2147483647 62699 52 | 0.000 % |
470.29/470.68 c | 393593 | 2795 18157 66189 | 2147483647 66324 52 | 0.000 % |
470.50/470.89 c | 393694 | 2795 18157 66189 | 2147483647 66425 52 | 0.000 % |
470.69/471.08 c | 393804 | 2795 18157 66189 | 2147483647 66535 52 | 0.000 % |
470.99/471.30 c | 393925 | 2795 18157 66189 | 2147483647 66656 52 | 0.000 % |
471.19/471.54 c | 394058 | 2795 18157 66189 | 2147483647 66789 52 | 0.000 % |
471.39/471.80 c | 394205 | 2795 18157 66189 | 2147483647 66936 52 | 0.000 % |
471.69/472.04 c | 394365 | 2795 18157 66189 | 2147483647 67096 52 | 0.000 % |
471.99/472.37 c | 394541 | 2795 18157 66189 | 2147483647 67272 52 | 0.000 % |
472.29/472.69 c | 394735 | 2795 18157 66189 | 2147483647 67466 52 | 0.000 % |
472.69/473.04 c | 394947 | 2795 18157 66189 | 2147483647 67678 52 | 0.000 % |
473.09/473.44 c | 395180 | 2795 18157 66189 | 2147483647 67911 52 | 0.000 % |
473.49/473.84 c | 395436 | 2795 18157 66189 | 2147483647 68167 52 | 0.000 % |
473.89/474.23 c | 395717 | 2795 18157 66189 | 2147483647 68448 52 | 0.000 % |
474.29/474.68 c | 396026 | 2795 18157 66189 | 2147483647 68757 52 | 0.000 % |
474.89/475.24 c | 396366 | 2795 18157 66189 | 2147483647 69097 52 | 0.000 % |
475.39/475.77 c | 396738 | 2795 18157 66189 | 2147483647 69469 52 | 0.000 % |
475.99/476.30 c | 397148 | 2795 18157 66189 | 2147483647 69879 52 | 0.000 % |
476.59/476.94 c | 397597 | 2795 18157 66189 | 2147483647 70328 52 | 0.000 % |
477.49/477.84 c | 398091 | 2795 18157 66189 | 2147483647 70822 52 | 0.000 % |
478.28/478.68 c | 398634 | 2795 18157 66189 | 2147483647 71365 52 | 0.000 % |
479.28/479.65 c | 399231 | 2795 18157 66189 | 2147483647 71962 52 | 0.000 % |
480.28/480.62 c | 399887 | 2795 18157 66189 | 2147483647 72618 52 | 0.000 % |
481.48/481.83 c | 400607 | 2795 18157 66189 | 72732 62995 52 | 0.000 % |
482.58/482.98 c | 401399 | 2795 18157 66189 | 72732 63787 52 | 0.000 % |
483.78/484.13 c | 402271 | 2795 18157 66189 | 72732 64659 52 | 0.000 % |
485.08/485.50 c | 403229 | 2795 18157 66189 | 72732 65617 52 | 0.000 % |
486.48/486.87 c | 404282 | 2795 18157 66189 | 72732 66670 52 | 0.000 % |
488.08/488.49 c | 405440 | 2795 18157 66189 | 72732 67828 52 | 0.000 % |
489.98/490.33 c | 406714 | 2795 18157 66189 | 72732 69102 52 | 0.000 % |
491.98/492.34 c | 408114 | 2795 18157 66189 | 72732 70502 52 | 0.000 % |
493.87/494.22 c | 409654 | 2795 18157 66189 | 72732 72042 52 | 0.000 % |
496.37/496.80 c | 411348 | 2795 18157 66189 | 72388 64119 52 | 0.000 % |
499.08/499.42 c | 413212 | 2795 18157 66189 | 72388 65983 52 | 0.000 % |
501.77/502.14 c | 415261 | 2795 18157 66189 | 72388 68032 52 | 0.000 % |
504.67/505.00 c | 417515 | 2795 18157 66189 | 72388 70286 52 | 0.000 % |
509.07/509.47 c | 419995 | 2795 18157 66189 | 72388 62587 52 | 0.000 % |
512.77/513.19 c | 422720 | 2795 18157 66189 | 62593 56274 51 | 0.000 % |
516.57/516.93 c | 425717 | 2795 18157 66189 | 62593 59271 52 | 0.000 % |
521.17/521.50 c | 429013 | 2795 18157 66189 | 62593 62567 52 | 0.000 % |
526.55/526.99 c | 432638 | 2795 18157 66189 | 56486 52623 51 | 0.000 % |
532.14/532.54 c | 436625 | 2795 18157 66189 | 56486 50235 51 | 0.000 % |
532.24/532.67 c | 436725 | 2795 18157 66189 | 56486 50335 51 | 0.000 % |
532.34/532.80 c | 436835 | 2795 18157 66189 | 56486 50445 51 | 0.000 % |
532.54/532.92 c | 436957 | 2795 18157 66189 | 56486 50567 51 | 0.000 % |
532.64/533.08 c | 437091 | 2795 18157 66189 | 56486 50701 51 | 0.000 % |
532.84/533.28 c | 437237 | 2795 18157 66189 | 56486 50847 51 | 0.000 % |
533.04/533.48 c | 437397 | 2795 18157 66189 | 56486 51007 51 | 0.000 % |
533.34/533.70 c | 437573 | 2795 18157 66189 | 56486 51183 51 | 0.000 % |
533.54/533.98 c | 437766 | 2795 18157 66189 | 56486 51376 51 | 0.000 % |
533.84/534.24 c | 437979 | 2795 18157 66189 | 56486 51589 51 | 0.000 % |
534.14/534.51 c | 438213 | 2795 18157 66189 | 56486 51823 51 | 0.000 % |
534.44/534.80 c | 438469 | 2795 18157 66189 | 56486 52079 51 | 0.000 % |
534.74/535.15 c | 438750 | 2795 18157 66189 | 56486 52360 51 | 0.000 % |
535.14/535.52 c | 439059 | 2795 18157 66189 | 56486 52669 51 | 0.000 % |
535.64/536.00 c | 439398 | 2795 18157 66189 | 56486 53008 51 | 0.000 % |
536.04/536.48 c | 439770 | 2795 18157 66189 | 56486 53380 51 | 0.000 % |
536.64/537.05 c | 440179 | 2795 18157 66189 | 53611 48152 51 | 0.000 % |
537.24/537.60 c | 440628 | 2795 18157 66189 | 53611 48601 51 | 0.000 % |
537.84/538.23 c | 441122 | 2795 18157 66189 | 53611 49095 51 | 0.000 % |
538.44/538.86 c | 441665 | 2795 18157 66189 | 53611 49638 51 | 0.000 % |
539.14/539.56 c | 442262 | 2795 18157 66189 | 53611 50235 51 | 0.000 % |
539.94/540.33 c | 442917 | 2795 18157 66189 | 53611 50890 51 | 0.000 % |
540.74/541.16 c | 443638 | 2795 18157 66189 | 53611 51611 51 | 0.000 % |
541.74/542.11 c | 444430 | 2795 18157 66189 | 53611 52403 52 | 0.000 % |
542.84/543.25 c | 445303 | 2795 18157 66189 | 53611 53276 52 | 0.000 % |
544.04/544.44 c | 446261 | 2795 18157 66189 | 53611 48865 51 | 0.000 % |
545.24/545.68 c | 447315 | 2795 18157 66189 | 53611 49919 51 | 0.000 % |
546.63/547.07 c | 448474 | 2795 18157 66189 | 53611 51078 51 | 0.000 % |
548.13/548.57 c | 449747 | 2795 18157 66189 | 53611 52351 51 | 0.000 % |
549.73/550.19 c | 451148 | 2795 18157 66189 | 2147483647 53752 51 | 0.000 % |
551.53/552.00 c | 452690 | 2795 18157 66189 | 2147483647 55294 52 | 0.000 % |
553.73/554.14 c | 454384 | 2795 18157 66189 | 2147483647 56988 52 | 0.000 % |
556.53/556.94 c | 456248 | 2795 18157 66189 | 2147483647 58852 52 | 0.000 % |
559.33/559.78 c | 458299 | 2795 18157 66189 | 2147483647 60903 52 | 0.000 % |
562.83/563.26 c | 460552 | 2795 18157 66189 | 2147483647 63156 52 | 0.000 % |
566.33/566.71 c | 463031 | 2795 18157 66189 | 2147483647 65635 52 | 0.000 % |
570.62/571.02 c | 465757 | 2795 18157 66189 | 2147483647 68361 52 | 0.000 % |
574.92/575.39 c | 468754 | 2795 18157 66189 | 2147483647 71358 52 | 0.000 % |
579.92/580.36 c | 472050 | 2795 18157 66189 | 72604 63395 52 | 0.000 % |
585.42/585.81 c | 475675 | 2795 18157 66189 | 72604 67020 52 | 0.000 % |
592.12/592.54 c | 479663 | 2795 18157 66189 | 72604 71008 53 | 0.000 % |
598.41/598.82 c | 484048 | 2795 18157 66189 | 71346 62156 52 | 0.000 % |
598.51/598.97 c | 484148 | 2795 18157 66189 | 71346 62256 52 | 0.000 % |
598.71/599.15 c | 484258 | 2795 18157 66189 | 71346 62366 52 | 0.000 % |
598.91/599.35 c | 484379 | 2795 18157 66189 | 71346 62487 52 | 0.000 % |
599.12/599.54 c | 484512 | 2795 18157 66189 | 71346 62620 52 | 0.000 % |
599.41/599.80 c | 484658 | 2795 18157 66189 | 71346 62766 52 | 0.000 % |
599.61/600.05 c | 484818 | 2795 18157 66189 | 71346 62926 52 | 0.000 % |
599.91/600.32 c | 484994 | 2795 18157 66189 | 71346 63102 52 | 0.000 % |
600.22/600.63 c | 485187 | 2795 18157 66189 | 71346 63295 52 | 0.000 % |
600.51/600.98 c | 485400 | 2795 18157 66189 | 71346 63508 52 | 0.000 % |
600.91/601.34 c | 485633 | 2795 18157 66189 | 71346 63741 52 | 0.000 % |
601.32/601.72 c | 485889 | 2795 18157 66189 | 71346 63997 52 | 0.000 % |
601.61/602.07 c | 486170 | 2795 18157 66189 | 71346 64278 52 | 0.000 % |
602.11/602.50 c | 486480 | 2795 18157 66189 | 71346 64588 52 | 0.000 % |
602.51/602.95 c | 486821 | 2795 18157 66189 | 71346 64929 52 | 0.000 % |
603.01/603.48 c | 487193 | 2795 18157 66189 | 71346 65301 52 | 0.000 % |
603.61/604.05 c | 487604 | 2795 18157 66189 | 71346 65712 52 | 0.000 % |
604.21/604.65 c | 488053 | 2795 18157 66189 | 71346 66161 52 | 0.000 % |
605.01/605.49 c | 488547 | 2795 18157 66189 | 71346 66655 52 | 0.000 % |
605.91/606.34 c | 489089 | 2795 18157 66189 | 71346 67197 52 | 0.000 % |
606.91/607.34 c | 489686 | 2795 18157 66189 | 71346 67794 52 | 0.000 % |
608.01/608.43 c | 490342 | 2795 18157 66189 | 68108 56847 51 | 0.000 % |
609.01/609.41 c | 491063 | 2795 18157 66189 | 68108 57568 52 | 0.000 % |
610.21/610.62 c | 491855 | 2795 18157 66189 | 68108 58360 52 | 0.000 % |
611.61/612.04 c | 492727 | 2795 18157 66189 | 68108 59232 52 | 0.000 % |
613.00/613.48 c | 493686 | 2795 18157 66189 | 68108 60191 52 | 0.000 % |
614.50/614.99 c | 494740 | 2795 18157 66189 | 68108 61245 52 | 0.000 % |
616.39/616.80 c | 495898 | 2795 18157 66189 | 68108 62403 52 | 0.000 % |
618.28/618.70 c | 497173 | 2795 18157 66189 | 68108 63678 52 | 0.000 % |
620.47/621.00 c | 498573 | 2795 18157 66189 | 68108 65078 52 | 0.000 % |
622.87/623.35 c | 500113 | 2795 18157 66189 | 66507 54665 51 | 0.000 % |
625.27/625.73 c | 501807 | 2795 18157 66189 | 66507 56359 51 | 0.000 % |
627.77/628.25 c | 503670 | 2795 18157 66189 | 66507 58222 52 | 0.000 % |
630.47/631.00 c | 505719 | 2795 18157 66189 | 66507 60271 52 | 0.000 % |
633.87/634.36 c | 507972 | 2795 18157 66189 | 66507 62524 52 | 0.000 % |
637.47/637.95 c | 510450 | 2795 18157 66189 | 64552 56223 52 | 0.000 % |
641.06/641.53 c | 513175 | 2795 18157 66189 | 64552 58948 52 | 0.000 % |
645.36/645.84 c | 516172 | 2795 18157 66189 | 64552 61945 52 | 0.000 % |
650.36/650.83 c | 519470 | 2795 18157 66189 | 64552 56542 52 | 0.000 % |
655.36/655.88 c | 523096 | 2795 18157 66189 | 57072 52509 51 | 0.000 % |
660.75/661.24 c | 527083 | 2795 18157 66189 | 57072 56496 51 | 0.000 % |
666.55/667.03 c | 531468 | 2795 18157 66189 | 52410 47594 50 | 0.000 % |
672.85/673.35 c | 536291 | 2795 18157 66189 | 52410 52417 51 | 0.000 % |
673.05/673.58 c | 536392 | 2795 18157 66189 | 52410 47233 50 | 0.000 % |
673.25/673.71 c | 536502 | 2795 18157 66189 | 52410 47343 50 | 0.000 % |
673.35/673.90 c | 536623 | 2795 18157 66189 | 52410 47464 50 | 0.000 % |
673.55/674.06 c | 536757 | 2795 18157 66189 | 52410 47598 50 | 0.000 % |
673.75/674.25 c | 536903 | 2795 18157 66189 | 52410 47744 50 | 0.000 % |
673.95/674.45 c | 537063 | 2795 18157 66189 | 52410 47904 50 | 0.000 % |
674.15/674.69 c | 537239 | 2795 18157 66189 | 52410 48080 50 | 0.000 % |
674.45/674.94 c | 537432 | 2795 18157 66189 | 52410 48273 50 | 0.000 % |
674.75/675.21 c | 537645 | 2795 18157 66189 | 52410 48486 50 | 0.000 % |
675.05/675.52 c | 537879 | 2795 18157 66189 | 52410 48720 50 | 0.000 % |
675.35/675.87 c | 538135 | 2795 18157 66189 | 52410 48976 50 | 0.000 % |
675.75/676.21 c | 538418 | 2795 18157 66189 | 52410 49259 51 | 0.000 % |
676.15/676.62 c | 538727 | 2795 18157 66189 | 52410 49568 51 | 0.000 % |
676.55/677.03 c | 539066 | 2795 18157 66189 | 52410 49907 51 | 0.000 % |
677.05/677.54 c | 539438 | 2795 18157 66189 | 52410 50279 51 | 0.000 % |
677.65/678.10 c | 539848 | 2795 18157 66189 | 52410 50689 51 | 0.000 % |
678.15/678.67 c | 540298 | 2795 18157 66189 | 2147483647 51139 51 | 0.000 % |
678.94/679.41 c | 540791 | 2795 18157 66189 | 2147483647 51632 51 | 0.000 % |
679.64/680.16 c | 541333 | 2795 18157 66189 | 2147483647 52174 51 | 0.000 % |
680.45/680.94 c | 541930 | 2795 18157 66189 | 2147483647 52771 51 | 0.000 % |
681.34/681.80 c | 542586 | 2795 18157 66189 | 2147483647 53427 51 | 0.000 % |
682.34/682.86 c | 543307 | 2795 18157 66189 | 2147483647 54148 51 | 0.000 % |
683.54/684.04 c | 544099 | 2795 18157 66189 | 2147483647 54940 51 | 0.000 % |
684.54/685.08 c | 544970 | 2795 18157 66189 | 2147483647 55811 51 | 0.000 % |
685.94/686.40 c | 545930 | 2795 18157 66189 | 2147483647 56771 51 | 0.000 % |
687.34/687.82 c | 546986 | 2795 18157 66189 | 2147483647 57827 51 | 0.000 % |
688.94/689.42 c | 548144 | 2795 18157 66189 | 2147483647 58985 51 | 0.000 % |
690.64/691.14 c | 549417 | 2795 18157 66189 | 2147483647 60258 51 | 0.000 % |
692.54/693.02 c | 550817 | 2795 18157 66189 | 60841 54442 51 | 0.000 % |
694.44/694.98 c | 552357 | 2795 18157 66189 | 60841 55982 51 | 0.000 % |
696.73/697.23 c | 554053 | 2795 18157 66189 | 60841 57678 51 | 0.000 % |
699.43/699.96 c | 555916 | 2795 18157 66189 | 60841 59541 51 | 0.000 % |
702.34/702.85 c | 557965 | 2795 18157 66189 | 60841 54251 51 | 0.000 % |
705.33/705.82 c | 560218 | 2795 18157 66189 | 56289 50496 50 | 0.000 % |
708.42/708.99 c | 562697 | 2795 18157 66189 | 56289 52975 51 | 0.000 % |
712.33/712.87 c | 565422 | 2795 18157 66189 | 56289 55700 51 | 0.000 % |
716.52/717.00 c | 568420 | 2795 18157 66189 | 56289 53060 51 | 0.000 % |
721.02/721.54 c | 571716 | 2795 18157 66189 | 2147483647 56356 51 | 0.000 % |
726.22/726.77 c | 575341 | 2795 18157 66189 | 2147483647 59981 51 | 0.000 % |
731.42/731.98 c | 579328 | 2795 18157 66189 | 2147483647 63968 52 | 0.000 % |
737.22/737.76 c | 583713 | 2795 18157 66189 | 64641 59772 51 | 0.000 % |
744.12/744.64 c | 588537 | 2795 18157 66189 | 64641 64596 52 | 0.000 % |
751.71/752.25 c | 593842 | 2795 18157 66189 | 58305 55279 51 | 0.000 % |
751.81/752.36 c | 593943 | 2795 18157 66189 | 58305 55380 51 | 0.000 % |
752.01/752.51 c | 594054 | 2795 18157 66189 | 58305 55491 51 | 0.000 % |
752.21/752.70 c | 594176 | 2795 18157 66189 | 58305 55613 51 | 0.000 % |
752.31/752.89 c | 594310 | 2795 18157 66189 | 58305 55747 51 | 0.000 % |
752.50/753.07 c | 594456 | 2795 18157 66189 | 58305 55893 51 | 0.000 % |
752.80/753.31 c | 594617 | 2795 18157 66189 | 58305 56054 51 | 0.000 % |
753.01/753.58 c | 594793 | 2795 18157 66189 | 58305 56230 51 | 0.000 % |
753.30/753.81 c | 594986 | 2795 18157 66189 | 58305 56423 51 | 0.000 % |
753.60/754.11 c | 595199 | 2795 18157 66189 | 58305 56636 51 | 0.000 % |
753.90/754.42 c | 595433 | 2795 18157 66189 | 58305 56870 51 | 0.000 % |
754.20/754.78 c | 595689 | 2795 18157 66189 | 58305 57126 51 | 0.000 % |
754.60/755.16 c | 595970 | 2795 18157 66189 | 58305 57407 51 | 0.000 % |
755.00/755.59 c | 596279 | 2795 18157 66189 | 58305 57716 51 | 0.000 % |
755.50/756.06 c | 596619 | 2795 18157 66189 | 58305 58056 51 | 0.000 % |
756.10/756.66 c | 596992 | 2795 18157 66189 | 58305 52589 51 | 0.000 % |
756.60/757.17 c | 597403 | 2795 18157 66189 | 58305 53000 51 | 0.000 % |
757.31/757.85 c | 597853 | 2795 18157 66189 | 58305 53450 51 | 0.000 % |
758.00/758.52 c | 598347 | 2795 18157 66189 | 58305 53944 51 | 0.000 % |
758.70/759.21 c | 598890 | 2795 18157 66189 | 58305 54487 51 | 0.000 % |
759.40/760.00 c | 599486 | 2795 18157 66189 | 58305 55083 51 | 0.000 % |
760.30/760.82 c | 600141 | 2795 18157 66189 | 2147483647 55738 51 | 0.000 % |
761.10/761.69 c | 600863 | 2795 18157 66189 | 2147483647 56460 51 | 0.000 % |
762.20/762.79 c | 601655 | 2795 18157 66189 | 2147483647 57252 51 | 0.000 % |
763.50/764.01 c | 602526 | 2795 18157 66189 | 2147483647 58123 51 | 0.000 % |
764.90/765.43 c | 603484 | 2795 18157 66189 | 2147483647 59081 51 | 0.000 % |
766.50/767.02 c | 604539 | 2795 18157 66189 | 2147483647 60136 51 | 0.000 % |
768.20/768.78 c | 605698 | 2795 18157 66189 | 2147483647 61295 51 | 0.000 % |
770.00/770.59 c | 606972 | 2795 18157 66189 | 2147483647 62569 51 | 0.000 % |
772.10/772.69 c | 608373 | 2795 18157 66189 | 2147483647 63970 52 | 0.000 % |
774.40/774.93 c | 609913 | 2795 18157 66189 | 2147483647 65510 52 | 0.000 % |
776.79/777.35 c | 611607 | 2795 18157 66189 | 65600 57657 51 | 0.000 % |
779.40/779.99 c | 613471 | 2795 18157 66189 | 65600 59521 51 | 0.000 % |
782.70/783.21 c | 615521 | 2795 18157 66189 | 65600 61571 51 | 0.000 % |
786.29/786.87 c | 617774 | 2795 18157 66189 | 65600 63824 52 | 0.000 % |
790.30/790.88 c | 620253 | 2795 18157 66189 | 56075 47814 50 | 0.000 % |
793.79/794.39 c | 622978 | 2795 18157 66189 | 56075 50539 50 | 0.000 % |
797.59/798.16 c | 625975 | 2795 18157 66189 | 56075 53536 51 | 0.000 % |
801.89/802.47 c | 629271 | 2795 18157 66189 | 56075 50981 50 | 0.000 % |
806.18/806.76 c | 632896 | 2795 18157 66189 | 51710 49274 50 | 0.000 % |
811.48/812.00 c | 636883 | 2795 18157 66189 | 51710 48084 50 | 0.000 % |
816.98/817.60 c | 641268 | 2795 18157 66189 | 2147483647 52469 51 | 0.000 % |
823.79/824.39 c | 646092 | 2795 18157 66189 | 2147483647 57293 51 | 0.000 % |
831.79/832.30 c | 651398 | 2795 18157 66189 | 61201 54815 51 | 0.000 % |
840.68/841.24 c | 657233 | 2795 18157 66189 | 61201 60650 51 | 0.000 % |
840.88/841.41 c | 657333 | 2795 18157 66189 | 61201 60750 51 | 0.000 % |
840.98/841.58 c | 657444 | 2795 18157 66189 | 61201 60861 51 | 0.000 % |
841.28/841.80 c | 657566 | 2795 18157 66189 | 61201 60983 51 | 0.000 % |
841.48/842.06 c | 657699 | 2795 18157 66189 | 61201 61116 51 | 0.000 % |
841.68/842.30 c | 657845 | 2795 18157 66189 | 61201 61262 51 | 0.000 % |
842.08/842.64 c | 658005 | 2795 18157 66189 | 61201 51636 51 | 0.000 % |
842.38/842.93 c | 658184 | 2795 18157 66189 | 61201 51815 51 | 0.000 % |
842.68/843.25 c | 658377 | 2795 18157 66189 | 61201 52008 51 | 0.000 % |
842.97/843.56 c | 658589 | 2795 18157 66189 | 61201 52220 51 | 0.000 % |
843.27/843.88 c | 658824 | 2795 18157 66189 | 61201 52455 51 | 0.000 % |
843.57/844.20 c | 659081 | 2795 18157 66189 | 61201 52712 51 | 0.000 % |
843.97/844.53 c | 659364 | 2795 18157 66189 | 61201 52995 51 | 0.000 % |
844.28/844.87 c | 659674 | 2795 18157 66189 | 61201 53305 51 | 0.000 % |
844.67/845.28 c | 660014 | 2795 18157 66189 | 53633 53645 51 | 0.000 % |
845.28/845.87 c | 660386 | 2795 18157 66189 | 53633 46058 50 | 0.000 % |
845.77/846.34 c | 660796 | 2795 18157 66189 | 53633 46468 50 | 0.000 % |
846.37/846.96 c | 661246 | 2795 18157 66189 | 53633 46918 50 | 0.000 % |
846.97/847.56 c | 661739 | 2795 18157 66189 | 53633 47411 50 | 0.000 % |
847.57/848.18 c | 662281 | 2795 18157 66189 | 53633 47953 50 | 0.000 % |
848.27/848.85 c | 662878 | 2795 18157 66189 | 53633 48550 50 | 0.000 % |
848.97/849.59 c | 663534 | 2795 18157 66189 | 53633 49206 50 | 0.000 % |
849.87/850.45 c | 664254 | 2795 18157 66189 | 53633 49926 51 | 0.000 % |
850.77/851.34 c | 665047 | 2795 18157 66189 | 53633 50719 51 | 0.000 % |
851.97/852.51 c | 665919 | 2795 18157 66189 | 53633 51591 51 | 0.000 % |
853.07/853.66 c | 666877 | 2795 18157 66189 | 53633 52549 51 | 0.000 % |
854.37/854.99 c | 667931 | 2795 18157 66189 | 53633 53603 51 | 0.000 % |
856.07/856.61 c | 669090 | 2795 18157 66189 | 53633 49388 50 | 0.000 % |
857.57/858.15 c | 670364 | 2795 18157 66189 | 2147483647 50662 51 | 0.000 % |
859.67/860.26 c | 671765 | 2795 18157 66189 | 2147483647 52063 51 | 0.000 % |
861.87/862.40 c | 673306 | 2795 18157 66189 | 2147483647 53604 51 | 0.000 % |
863.97/864.59 c | 675001 | 2795 18157 66189 | 2147483647 55299 51 | 0.000 % |
866.76/867.34 c | 676864 | 2795 18157 66189 | 2147483647 57162 51 | 0.000 % |
869.86/870.42 c | 678915 | 2795 18157 66189 | 2147483647 59213 51 | 0.000 % |
873.36/873.93 c | 681169 | 2795 18157 66189 | 60301 54353 51 | 0.000 % |
877.06/877.70 c | 683649 | 2795 18157 66189 | 60301 56833 51 | 0.000 % |
881.26/881.85 c | 686375 | 2795 18157 66189 | 60301 59559 51 | 0.000 % |
886.06/886.67 c | 689374 | 2795 18157 66189 | 60301 53321 51 | 0.000 % |
890.95/891.56 c | 692670 | 2795 18157 66189 | 53947 48104 50 | 0.000 % |
896.55/897.19 c | 696295 | 2795 18157 66189 | 53947 51729 51 | 0.000 % |
902.84/903.40 c | 700282 | 2795 18157 66189 | 47063 40071 49 | 0.000 % |
909.15/909.77 c | 704669 | 2795 18157 66189 | 47063 44458 50 | 0.000 % |
917.34/917.91 c | 709492 | 2795 18157 66189 | 47063 43281 50 | 0.000 % |
923.74/924.37 c | 714798 | 2795 18157 66189 | 43789 43476 50 | 0.000 % |
929.83/930.48 c | 720633 | 2795 18157 66189 | 2147483647 40535 50 | 0.000 % |
937.83/938.49 c | 727051 | 2795 18157 66189 | 2147483647 46953 50 | 0.000 % |
938.02/938.65 c | 727151 | 2795 18157 66189 | 2147483647 47053 50 | 0.000 % |
938.22/938.81 c | 727263 | 2795 18157 66189 | 2147483647 47165 50 | 0.000 % |
938.32/938.96 c | 727384 | 2795 18157 66189 | 2147483647 47286 50 | 0.000 % |
938.52/939.15 c | 727518 | 2795 18157 66189 | 2147483647 47420 50 | 0.000 % |
938.73/939.38 c | 727664 | 2795 18157 66189 | 2147483647 47566 50 | 0.000 % |
938.92/939.56 c | 727824 | 2795 18157 66189 | 2147483647 47726 50 | 0.000 % |
939.12/939.78 c | 728001 | 2795 18157 66189 | 2147483647 47903 50 | 0.000 % |
939.42/940.08 c | 728195 | 2795 18157 66189 | 2147483647 48097 50 | 0.000 % |
939.72/940.39 c | 728407 | 2795 18157 66189 | 2147483647 48309 50 | 0.000 % |
940.02/940.68 c | 728641 | 2795 18157 66189 | 2147483647 48543 51 | 0.000 % |
940.42/941.01 c | 728897 | 2795 18157 66189 | 2147483647 48799 51 | 0.000 % |
940.72/941.34 c | 729179 | 2795 18157 66189 | 2147483647 49081 51 | 0.000 % |
941.12/941.71 c | 729488 | 2795 18157 66189 | 2147483647 49390 51 | 0.000 % |
941.52/942.11 c | 729828 | 2795 18157 66189 | 2147483647 49730 51 | 0.000 % |
941.92/942.59 c | 730201 | 2795 18157 66189 | 2147483647 50103 51 | 0.000 % |
942.52/943.10 c | 730611 | 2795 18157 66189 | 2147483647 50513 51 | 0.000 % |
943.02/943.64 c | 731061 | 2795 18157 66189 | 2147483647 50963 51 | 0.000 % |
943.72/944.37 c | 731554 | 2795 18157 66189 | 2147483647 51456 51 | 0.000 % |
944.42/945.06 c | 732098 | 2795 18157 66189 | 2147483647 52000 51 | 0.000 % |
945.33/945.93 c | 732694 | 2795 18157 66189 | 2147483647 52596 51 | 0.000 % |
946.12/946.77 c | 733351 | 2795 18157 66189 | 2147483647 53253 51 | 0.000 % |
947.02/947.69 c | 734072 | 2795 18157 66189 | 2147483647 53974 51 | 0.000 % |
948.32/948.94 c | 734865 | 2795 18157 66189 | 2147483647 54767 51 | 0.000 % |
949.62/950.28 c | 735738 | 2795 18157 66189 | 2147483647 55640 51 | 0.000 % |
951.12/951.73 c | 736697 | 2795 18157 66189 | 2147483647 56599 51 | 0.000 % |
952.72/953.33 c | 737750 | 2795 18157 66189 | 2147483647 57652 51 | 0.000 % |
954.42/955.04 c | 738910 | 2795 18157 66189 | 2147483647 58812 51 | 0.000 % |
956.32/956.99 c | 740186 | 2795 18157 66189 | 59902 54041 51 | 0.000 % |
958.12/958.74 c | 741587 | 2795 18157 66189 | 59902 55442 51 | 0.000 % |
960.62/961.21 c | 743127 | 2795 18157 66189 | 59902 56982 51 | 0.000 % |
962.71/963.38 c | 744822 | 2795 18157 66189 | 59902 58677 51 | 0.000 % |
965.22/965.88 c | 746686 | 2795 18157 66189 | 59902 54543 51 | 0.000 % |
968.21/968.82 c | 748735 | 2795 18157 66189 | 59902 56592 51 | 0.000 % |
971.01/971.68 c | 750989 | 2795 18157 66189 | 2147483647 58846 51 | 0.000 % |
974.50/975.13 c | 753468 | 2795 18157 66189 | 2147483647 61325 51 | 0.000 % |
978.20/978.82 c | 756193 | 2795 18157 66189 | 2147483647 64050 52 | 0.000 % |
982.20/982.81 c | 759190 | 2795 18157 66189 | 2147483647 67047 52 | 0.000 % |
986.90/987.57 c | 762487 | 2795 18157 66189 | 67857 63365 51 | 0.000 % |
992.50/993.18 c | 766112 | 2795 18157 66189 | 67857 66990 51 | 0.000 % |
998.50/999.18 c | 770099 | 2795 18157 66189 | 61091 52458 50 | 0.000 % |
1005.20/1005.82 c | 774485 | 2795 18157 66189 | 61091 56844 51 | 0.000 % |
1012.69/1013.38 c | 779309 | 2795 18157 66189 | 61091 51312 50 | 0.000 % |
1019.09/1019.78 c | 784615 | 2795 18157 66189 | 52006 48124 50 | 0.000 % |
1026.28/1026.99 c | 790451 | 2795 18157 66189 | 2147483647 48752 50 | 0.000 % |
1033.88/1034.57 c | 796870 | 2795 18157 66189 | 2147483647 55171 50 | 0.000 % |
1044.18/1044.86 c | 803929 | 2795 18157 66189 | 2147483647 62230 51 | 0.000 % |
1044.38/1045.03 c | 804029 | 2795 18157 66189 | 2147483647 62330 51 | 0.000 % |
1044.58/1045.24 c | 804139 | 2795 18157 66189 | 2147483647 62440 51 | 0.000 % |
1044.77/1045.45 c | 804260 | 2795 18157 66189 | 2147483647 62561 51 | 0.000 % |
1044.97/1045.67 c | 804393 | 2795 18157 66189 | 2147483647 62694 51 | 0.000 % |
1045.27/1045.91 c | 804539 | 2795 18157 66189 | 2147483647 62840 51 | 0.000 % |
1045.48/1046.18 c | 804699 | 2795 18157 66189 | 2147483647 63000 51 | 0.000 % |
1045.77/1046.47 c | 804875 | 2795 18157 66189 | 2147483647 63176 51 | 0.000 % |
1046.17/1046.80 c | 805070 | 2795 18157 66189 | 2147483647 63371 51 | 0.000 % |
1046.58/1047.22 c | 805282 | 2795 18157 66189 | 2147483647 63583 51 | 0.000 % |
1046.97/1047.62 c | 805516 | 2795 18157 66189 | 2147483647 63817 51 | 0.000 % |
1047.37/1048.00 c | 805772 | 2795 18157 66189 | 2147483647 64073 51 | 0.000 % |
1047.77/1048.47 c | 806053 | 2795 18157 66189 | 2147483647 64354 51 | 0.000 % |
1048.27/1048.94 c | 806363 | 2795 18157 66189 | 2147483647 64664 51 | 0.000 % |
1048.87/1049.53 c | 806702 | 2795 18157 66189 | 2147483647 65003 51 | 0.000 % |
1049.47/1050.12 c | 807077 | 2795 18157 66189 | 2147483647 65378 51 | 0.000 % |
1050.17/1050.80 c | 807486 | 2795 18157 66189 | 2147483647 65787 51 | 0.000 % |
1050.87/1051.54 c | 807935 | 2795 18157 66189 | 2147483647 66236 51 | 0.000 % |
1051.67/1052.36 c | 808429 | 2795 18157 66189 | 2147483647 66730 51 | 0.000 % |
1052.57/1053.30 c | 808972 | 2795 18157 66189 | 2147483647 67273 51 | 0.000 % |
1053.47/1054.19 c | 809568 | 2795 18157 66189 | 2147483647 67869 51 | 0.000 % |
1054.67/1055.35 c | 810224 | 2795 18157 66189 | 68302 57502 50 | 0.000 % |
1055.67/1056.38 c | 810944 | 2795 18157 66189 | 68302 58222 50 | 0.000 % |
1056.87/1057.57 c | 811737 | 2795 18157 66189 | 68302 59015 50 | 0.000 % |
1058.17/1058.89 c | 812608 | 2795 18157 66189 | 68302 59886 50 | 0.000 % |
1059.67/1060.35 c | 813567 | 2795 18157 66189 | 68302 60845 50 | 0.000 % |
1061.47/1062.15 c | 814620 | 2795 18157 66189 | 68302 61898 51 | 0.000 % |
1063.36/1064.03 c | 815779 | 2795 18157 66189 | 68302 63057 51 | 0.000 % |
1065.26/1065.97 c | 817052 | 2795 18157 66189 | 68302 64330 51 | 0.000 % |
1067.66/1068.30 c | 818453 | 2795 18157 66189 | 68302 65731 51 | 0.000 % |
1069.86/1070.56 c | 819993 | 2795 18157 66189 | 68302 67271 51 | 0.000 % |
1072.36/1073.03 c | 821687 | 2795 18157 66189 | 67280 58150 50 | 0.000 % |
1075.06/1075.70 c | 823552 | 2795 18157 66189 | 67280 60015 50 | 0.000 % |
1078.86/1079.53 c | 825602 | 2795 18157 66189 | 67280 62065 51 | 0.000 % |
1082.25/1082.98 c | 827857 | 2795 18157 66189 | 67280 64320 51 | 0.000 % |
1086.25/1086.90 c | 830336 | 2795 18157 66189 | 66464 55804 50 | 0.000 % |
1089.75/1090.49 c | 833061 | 2795 18157 66189 | 66464 58529 50 | 0.000 % |
1095.05/1095.70 c | 836058 | 2795 18157 66189 | 66464 61526 50 | 0.000 % |
1100.65/1101.33 c | 839354 | 2795 18157 66189 | 66464 64822 50 | 0.000 % |
1107.05/1107.76 c | 842979 | 2795 18157 66189 | 65468 56820 50 | 0.000 % |
1113.23/1113.99 c | 846966 | 2795 18157 66189 | 65468 60807 50 | 0.000 % |
1120.83/1121.55 c | 851352 | 2795 18157 66189 | 63843 53114 50 | 0.000 % |
1128.44/1129.19 c | 856176 | 2795 18157 66189 | 63843 57938 50 | 0.000 % |
1137.33/1138.07 c | 861481 | 2795 18157 66189 | 61763 51639 50 | 0.000 % |
1146.73/1147.49 c | 867317 | 2795 18157 66189 | 61763 57475 51 | 0.000 % |
1155.33/1156.06 c | 873736 | 2795 18157 66189 | 60159 52406 50 | 0.000 % |
1164.92/1165.63 c | 880795 | 2795 18157 66189 | 58671 51783 50 | 0.000 % |
1176.12/1176.84 c | 888560 | 2795 18157 66189 | 58671 51552 50 | 0.000 % |
1176.32/1177.04 c | 888661 | 2795 18157 66189 | 58671 51653 50 | 0.000 % |
1176.52/1177.23 c | 888772 | 2795 18157 66189 | 58671 51764 50 | 0.000 % |
1176.72/1177.44 c | 888893 | 2795 18157 66189 | 58671 51885 50 | 0.000 % |
1176.92/1177.62 c | 889027 | 2795 18157 66189 | 58671 52019 50 | 0.000 % |
1177.11/1177.80 c | 889174 | 2795 18157 66189 | 58671 52166 50 | 0.000 % |
1177.32/1178.00 c | 889334 | 2795 18157 66189 | 58671 52326 50 | 0.000 % |
1177.51/1178.23 c | 889510 | 2795 18157 66189 | 58671 52502 50 | 0.000 % |
1177.81/1178.52 c | 889705 | 2795 18157 66189 | 58671 52697 50 | 0.000 % |
1178.11/1178.86 c | 889917 | 2795 18157 66189 | 58671 52909 50 | 0.000 % |
1178.61/1179.31 c | 890151 | 2795 18157 66189 | 52992 45877 49 | 0.000 % |
1178.91/1179.62 c | 890407 | 2795 18157 66189 | 52992 46133 49 | 0.000 % |
1179.21/1179.95 c | 890688 | 2795 18157 66189 | 52992 46414 49 | 0.000 % |
1179.62/1180.33 c | 890997 | 2795 18157 66189 | 52992 46723 49 | 0.000 % |
1180.01/1180.72 c | 891337 | 2795 18157 66189 | 52992 47063 49 | 0.000 % |
1180.41/1181.19 c | 891710 | 2795 18157 66189 | 52992 47436 49 | 0.000 % |
1180.91/1181.66 c | 892120 | 2795 18157 66189 | 52992 47846 49 | 0.000 % |
1181.41/1182.17 c | 892569 | 2795 18157 66189 | 52992 48295 49 | 0.000 % |
1182.11/1182.88 c | 893062 | 2795 18157 66189 | 52992 48788 50 | 0.000 % |
1183.01/1183.71 c | 893604 | 2795 18157 66189 | 52992 49330 50 | 0.000 % |
1183.81/1184.52 c | 894201 | 2795 18157 66189 | 52992 49927 50 | 0.000 % |
1184.61/1185.32 c | 894856 | 2795 18157 66189 | 52992 50582 50 | 0.000 % |
1185.41/1186.15 c | 895576 | 2795 18157 66189 | 52992 51302 50 | 0.000 % |
1186.81/1187.53 c | 896368 | 2795 18157 66189 | 52992 52094 50 | 0.000 % |
1187.81/1188.58 c | 897239 | 2795 18157 66189 | 52992 52965 50 | 0.000 % |
1189.11/1189.80 c | 898197 | 2795 18157 66189 | 52992 48613 50 | 0.000 % |
1190.31/1191.09 c | 899251 | 2795 18157 66189 | 52992 49667 50 | 0.000 % |
1191.91/1192.67 c | 900410 | 2795 18157 66189 | 2147483647 50826 50 | 0.000 % |
1193.51/1194.27 c | 901683 | 2795 18157 66189 | 2147483647 52099 50 | 0.000 % |
1195.30/1196.00 c | 903083 | 2795 18157 66189 | 2147483647 53499 50 | 0.000 % |
1197.40/1198.15 c | 904625 | 2795 18157 66189 | 2147483647 55041 50 | 0.000 % |
1199.99/1200.71 c | 906319 | 2795 18157 66189 | 2147483647 56735 50 | 0.000 % |
1200.09/1200.81 HOME/SatELiteGTI: line 36: 10600 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832199-1242770333/watcher-1832199-1242770333 -o /tmp/evaluation-result-1832199-1242770333/solver-1832199-1242770333 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832199-1242770333.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: 1.04 1.05 0.97 3/64 10594
/proc/meminfo: memFree=1814752/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 305059321 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10594/statm: 1339 235 195 169 0 50 0
[pid=10595] ppid=10594 vsize=5356 CPUtime=0
/proc/10595/stat : 10595 (SatELiteGTI) R 10594 10594 10472 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305059321 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/10595/statm: 1339 238 198 169 0 50 0
[pid=10597] ppid=10595 vsize=0 CPUtime=0
/proc/10597/stat : 10597 (sed) Z 10595 10594 10472 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 305059321 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/10597/statm: 0 0 0 0 0 0 0
[startup+0.0880069 s]
/proc/loadavg: 1.04 1.05 0.97 3/64 10594
/proc/meminfo: memFree=1814752/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305059321 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10594/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101002 s]
/proc/loadavg: 1.04 1.05 0.97 3/64 10594
/proc/meminfo: memFree=1814752/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305059321 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10594/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301024 s]
/proc/loadavg: 1.04 1.05 0.97 3/64 10594
/proc/meminfo: memFree=1814752/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356
[startup+0.701077 s]
/proc/loadavg: 1.04 1.05 0.97 3/64 10594
/proc/meminfo: memFree=1814752/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356
[startup+1.50119 s]
/proc/loadavg: 1.04 1.05 0.97 2/66 10600
/proc/meminfo: memFree=1811408/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=4192 CPUtime=1.32
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 768 0 0 0 132 0 0 0 25 0 1 0 305059338 4292608 754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 1048 754 77 171 0 875 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9548
[startup+3.1014 s]
/proc/loadavg: 1.04 1.05 0.97 2/66 10600
/proc/meminfo: memFree=1810896/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=4852 CPUtime=2.91
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 936 0 0 0 291 0 0 0 25 0 1 0 305059338 4968448 922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 1213 922 77 171 0 1040 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10208
[startup+6.30184 s]
/proc/loadavg: 1.04 1.05 0.97 2/66 10600
/proc/meminfo: memFree=1808656/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=6748 CPUtime=6.1
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 1426 0 0 0 610 0 0 0 25 0 1 0 305059338 6909952 1412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 1687 1412 77 171 0 1514 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 12104
[startup+12.7017 s]
/proc/loadavg: 1.03 1.05 0.97 2/66 10600
/proc/meminfo: memFree=1805520/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=9728 CPUtime=12.49
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 2156 0 0 0 1248 1 0 0 25 0 1 0 305059338 9961472 2142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 2432 2142 77 171 0 2259 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 15084
[startup+25.5014 s]
/proc/loadavg: 1.03 1.05 0.97 2/66 10600
/proc/meminfo: memFree=1800208/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=15024 CPUtime=25.28
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 3463 0 0 0 2525 3 0 0 25 0 1 0 305059338 15384576 3449 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 3756 3449 77 171 0 3583 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 20380
[startup+51.1019 s]
/proc/loadavg: 1.02 1.04 0.97 2/66 10600
/proc/meminfo: memFree=1796368/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=18752 CPUtime=50.85
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 4402 0 0 0 5081 4 0 0 25 0 1 0 305059338 19202048 4388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 4688 4388 77 171 0 4515 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 24108
[startup+102.306 s]
/proc/loadavg: 1.00 1.03 0.97 2/66 10600
/proc/meminfo: memFree=1789520/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=25616 CPUtime=102.03
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6076 0 0 0 10197 6 0 0 25 0 1 0 305059338 26230784 6062 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6404 6062 77 171 0 6231 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 30972
[startup+162.302 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 10606
/proc/meminfo: memFree=1787600/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27256 CPUtime=162
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6473 0 0 0 16193 7 0 0 25 0 1 0 305059338 27910144 6459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6814 6459 77 171 0 6641 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 32612
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 10606
/proc/meminfo: memFree=1787408/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=221.96
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6529 0 0 0 22189 7 0 0 25 0 1 0 305059338 28217344 6515 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6515 77 171 0 6716 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 32912
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 10606
/proc/meminfo: memFree=1787408/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=281.93
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6533 0 0 0 28186 7 0 0 25 0 1 0 305059338 28217344 6519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6519 77 171 0 6716 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 32912
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 10606
/proc/meminfo: memFree=1787280/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=341.9
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6534 0 0 0 34183 7 0 0 25 0 1 0 305059338 28217344 6520 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6520 77 171 0 6716 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 32912
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1787152/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=401.87
################
# More data... #
################
[pid=10600] ppid=10594 vsize=27556 CPUtime=461.84
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6535 0 0 0 46176 8 0 0 25 0 1 0 305059338 28217344 6521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6521 77 171 0 6716 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 32912
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786896/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=521.82
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6536 0 0 0 52174 8 0 0 25 0 1 0 305059338 28217344 6522 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6522 77 171 0 6716 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 32912
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786768/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=581.77
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6538 0 0 0 58169 8 0 0 25 0 1 0 305059338 28217344 6524 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6524 77 171 0 6716 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 32912
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786704/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=641.72
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6538 0 0 0 64164 8 0 0 25 0 1 0 305059338 28217344 6524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6524 77 171 0 6716 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 32912
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786576/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=701.68
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6538 0 0 0 70160 8 0 0 25 0 1 0 305059338 28217344 6524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6524 77 171 0 6716 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 32912
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786448/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27556 CPUtime=761.65
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6551 0 0 0 76157 8 0 0 25 0 1 0 305059338 28217344 6537 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6889 6537 77 171 0 6716 0
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (KiB) 32912
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786320/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27700 CPUtime=821.63
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6568 0 0 0 82155 8 0 0 25 0 1 0 305059338 28364800 6554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6925 6554 77 171 0 6752 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 33056
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786128/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27700 CPUtime=881.61
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6588 0 0 0 88152 9 0 0 25 0 1 0 305059338 28364800 6574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6925 6574 77 171 0 6752 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 33056
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1786064/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27700 CPUtime=941.57
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6588 0 0 0 94148 9 0 0 25 0 1 0 305059338 28364800 6574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6925 6574 77 171 0 6752 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 33056
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1785936/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27700 CPUtime=1001.54
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6588 0 0 0 100145 9 0 0 25 0 1 0 305059338 28364800 6574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6925 6574 77 171 0 6752 0
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (KiB) 33056
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1785808/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27700 CPUtime=1061.52
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6588 0 0 0 106143 9 0 0 25 0 1 0 305059338 28364800 6574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6925 6574 77 171 0 6752 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 33056
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1785744/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27700 CPUtime=1121.48
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6588 0 0 0 112139 9 0 0 25 0 1 0 305059338 28364800 6574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6925 6574 77 171 0 6752 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 33056
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1785616/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27700 CPUtime=1181.46
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6590 0 0 0 118136 10 0 0 25 0 1 0 305059338 28364800 6576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10600/statm: 6925 6576 77 171 0 6752 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 33056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 10606
/proc/meminfo: memFree=1785616/2055920 swapFree=4179964/4192956
[pid=10594] ppid=10592 vsize=5356 CPUtime=0.15
/proc/10594/stat : 10594 (SatELiteGTI) S 10592 10594 10472 0 -1 4194304 336 1211 0 0 0 0 15 0 16 0 1 0 305059321 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10594/statm: 1339 239 197 169 0 50 0
[pid=10600] ppid=10594 vsize=27876 CPUtime=1199.94
/proc/10600/stat : 10600 (minisat_static) R 10594 10594 10472 0 -1 4194304 6605 0 0 0 119984 10 0 0 25 0 1 0 305059338 28545024 6591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10600/statm: 6969 6591 77 171 0 6796 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 33232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.12
CPU user time (s): 1200
CPU system time (s): 0.116982
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 33232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8161
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= 27
involuntary context switches= 5363
runsolver used 1.22981 second user time and 3.2615 second system time
The end
Begin job on node71 at 2009-05-19 23:58:54
IDJOB=1832199
IDBENCH=24622
IDSOLVER=671
FILE ID=node71/1832199-1242770333
PBS_JOBID= 9322231
Free space on /tmp= 66304 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/others/equilarge_l3.sat05-520.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832199-1242770333/watcher-1832199-1242770333 -o /tmp/evaluation-result-1832199-1242770333/solver-1832199-1242770333 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832199-1242770333.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8fc368e9f6ea136e0b6522b198a7a916
RANDOM SEED=1104871197
node71.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.236
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.236
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: 1815232 kB
Buffers: 16332 kB
Cached: 187168 kB
SwapCached: 7096 kB
Active: 30644 kB
Inactive: 181652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1815232 kB
SwapTotal: 4192956 kB
SwapFree: 4179964 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 13980 kB
Slab: 14424 kB
Committed_AS: 890872 kB
PageTables: 1440 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= 66300 MiB
End job on node71 at 2009-05-20 00:18:56