0.00/0.00 c Parsing...
0.41/0.45 c ==============================================================================
0.41/0.45 c | | ORIGINAL | LEARNT | |
0.41/0.45 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.41/0.45 c ==============================================================================
0.41/0.45 c | 0 | 542252 1554258 | 162675 0 0 nan | 0.000 % |
4.21/4.27 c | 0 | 518020 1616108 | -- 0 -- -- | -- | -24095/63495
4.21/4.27 c ==============================================================================
4.21/4.27 c Result : #vars: 32773 #clauses: 518020 #literals: 1616108
4.21/4.27 c CPU time: 4.14 s
4.21/4.27 c ==============================================================================
4.81/4.82 c This is MiniSat 2.0 beta
4.81/4.82 c WARNING: for repeatability, setting FPU to use double precision
4.81/4.82 c ============================[ Problem Statistics ]=============================
4.81/4.82 c | |
4.81/4.82 c | Number of variables: 32773 |
4.81/4.82 c | Number of clauses: 518020 |
4.81/5.15 c | Parsing time: 0.32 s |
4.81/5.18 c ============================[ Search Statistics ]==============================
4.81/5.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.81/5.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.81/5.18 c ===============================================================================
4.81/5.18 c | 0 | 32773 518020 1616108 | 172673 0 nan | 0.000 % |
4.81/5.26 c | 100 | 32773 518020 1616108 | 172673 100 39 | 0.000 % |
4.81/5.32 c | 200 | 32773 518020 1616108 | 172673 200 35 | 0.000 % |
4.81/5.38 c | 301 | 32773 518020 1616108 | 172673 301 30 | 0.000 % |
5.41/5.45 c | 411 | 32773 518020 1616108 | 172673 411 38 | 0.000 % |
5.41/5.51 c | 511 | 32773 518020 1616108 | 172673 511 42 | 0.000 % |
5.51/5.60 c | 622 | 32773 518020 1616108 | 172673 622 40 | 0.000 % |
5.61/5.66 c | 745 | 32773 518020 1616108 | 172673 745 37 | 0.000 % |
5.71/5.72 c | 845 | 32773 518020 1616108 | 172673 845 37 | 0.000 % |
5.71/5.79 c | 961 | 32773 518020 1616108 | 172673 961 37 | 0.000 % |
5.81/5.84 c | 1082 | 32773 518020 1616108 | 172673 1082 36 | 0.000 % |
5.81/5.88 c | 1216 | 32773 518020 1616108 | 172673 1216 36 | 0.000 % |
5.91/5.93 c | 1317 | 32773 518020 1616108 | 172673 1317 35 | 0.000 % |
5.91/5.96 c | 1427 | 32773 518020 1616108 | 172673 1427 35 | 0.000 % |
5.91/5.98 c | 1554 | 32773 518020 1616108 | 172673 1554 35 | 0.000 % |
6.11/6.13 c | 1690 | 32773 518020 1616108 | 172673 1690 35 | 0.000 % |
6.11/6.16 c | 1836 | 32773 518020 1616108 | 172673 1836 35 | 0.000 % |
6.11/6.20 c | 1939 | 32773 518020 1616108 | 172673 1939 35 | 0.000 % |
6.21/6.25 c | 2049 | 32773 518020 1616108 | 172673 2049 35 | 0.000 % |
6.31/6.38 c | 2170 | 32773 518020 1616108 | 172673 2170 35 | 0.000 % |
6.41/6.44 c | 2304 | 32773 518020 1616108 | 172673 2304 36 | 0.000 % |
6.41/6.48 c | 2450 | 32773 518020 1616108 | 172673 2450 36 | 0.000 % |
6.50/6.57 c | 2610 | 32773 518020 1616108 | 172673 2610 37 | 0.000 % |
6.60/6.65 c | 2711 | 32773 518020 1616108 | 172673 2711 37 | 0.000 % |
6.60/6.71 c | 2824 | 32773 518020 1616108 | 172673 2824 38 | 0.000 % |
6.70/6.75 c | 2948 | 32773 518020 1616108 | 172673 2948 38 | 0.000 % |
6.70/6.79 c | 3083 | 32773 518020 1616108 | 172673 3083 38 | 0.000 % |
6.80/6.84 c | 3230 | 32773 518020 1616108 | 172673 3230 37 | 0.000 % |
6.80/6.91 c | 3392 | 32773 518020 1616108 | 172673 3392 38 | 0.000 % |
6.90/6.94 c | 3568 | 32773 518020 1616108 | 172673 3568 37 | 0.000 % |
7.00/7.04 c | 3668 | 32773 518020 1616108 | 172673 3668 37 | 0.000 % |
7.00/7.08 c | 3781 | 32773 518020 1616108 | 172673 3781 37 | 0.000 % |
7.10/7.12 c | 3902 | 32773 518020 1616108 | 172673 3902 37 | 0.000 % |
7.10/7.17 c | 4036 | 32773 518020 1616108 | 172673 4036 38 | 0.000 % |
7.20/7.27 c | 4182 | 32773 518020 1616108 | 172673 4182 38 | 0.000 % |
7.30/7.38 c | 4343 | 32773 518020 1616108 | 172673 4343 38 | 0.000 % |
7.40/7.42 c | 4520 | 32773 518020 1616108 | 172673 4520 38 | 0.000 % |
7.50/7.57 c | 4713 | 32773 518020 1616108 | 172673 4713 38 | 0.000 % |
7.50/7.60 c | 4813 | 32773 518020 1616108 | 172673 4813 38 | 0.000 % |
7.60/7.64 c | 4923 | 32773 518020 1616108 | 172673 4923 38 | 0.000 % |
7.60/7.67 c | 5044 | 32773 518020 1616108 | 172673 5044 38 | 0.000 % |
7.80/7.83 c | 5178 | 32773 518020 1616108 | 172673 5178 38 | 0.000 % |
7.80/7.86 c | 5324 | 32773 518020 1616108 | 172673 5324 39 | 0.000 % |
7.90/7.92 c | 5484 | 32773 518020 1616108 | 172673 5484 39 | 0.000 % |
7.90/7.97 c | 5662 | 32773 518020 1616108 | 172673 5662 39 | 0.000 % |
8.00/8.06 c | 5857 | 32773 518020 1616108 | 172673 5857 39 | 0.000 % |
8.10/8.16 c | 6069 | 32773 518020 1616108 | 172673 6069 40 | 0.000 % |
8.20/8.24 c | 6169 | 32773 518020 1616108 | 172673 6169 40 | 0.000 % |
8.20/8.31 c | 6280 | 32773 518020 1616108 | 172673 6280 40 | 0.000 % |
8.30/8.40 c | 6401 | 32773 518020 1616108 | 172673 6401 40 | 0.000 % |
8.40/8.45 c | 6534 | 32773 518020 1616108 | 172673 6534 40 | 0.000 % |
8.50/8.53 c | 6681 | 32773 518020 1616108 | 172673 6681 40 | 0.000 % |
8.50/8.61 c | 6841 | 32773 518020 1616108 | 172673 6841 40 | 0.000 % |
8.60/8.68 c | 7017 | 32773 518020 1616108 | 172673 7017 39 | 0.000 % |
8.70/8.78 c | 7210 | 32773 518020 1616108 | 172673 7210 39 | 0.000 % |
8.80/8.91 c | 7422 | 32773 518020 1616108 | 172673 7422 39 | 0.000 % |
9.00/9.04 c | 7655 | 32773 518020 1616108 | 172673 7655 39 | 0.000 % |
9.00/9.11 c | 7755 | 32773 518020 1616108 | 172673 7755 39 | 0.000 % |
9.20/9.23 c | 7865 | 32773 518020 1616108 | 172673 7865 39 | 0.000 % |
9.20/9.27 c | 7988 | 32773 518020 1616108 | 172673 7988 40 | 0.000 % |
9.30/9.36 c | 8121 | 32773 518020 1616108 | 172673 8121 40 | 0.000 % |
9.40/9.50 c | 8267 | 32773 518020 1616108 | 172673 8267 40 | 0.000 % |
9.50/9.60 c | 8428 | 32773 518020 1616108 | 172673 8428 40 | 0.000 % |
9.60/9.65 c | 8604 | 32773 518020 1616108 | 172673 8604 41 | 0.000 % |
9.70/9.79 c | 8797 | 32773 518020 1616108 | 172673 8797 40 | 0.000 % |
9.80/9.90 c | 9010 | 32773 518020 1616108 | 172673 9010 40 | 0.000 % |
10.10/10.15 c | 9244 | 32773 518020 1616108 | 172673 9244 40 | 0.000 % |
10.20/10.23 c | 9501 | 32773 518020 1616108 | 172673 9501 40 | 0.000 % |
10.20/10.31 c | 9601 | 32773 518020 1616108 | 172673 9601 40 | 0.000 % |
10.30/10.37 c | 9711 | 32773 518020 1616108 | 172673 9711 40 | 0.000 % |
10.40/10.42 c | 9832 | 32773 518020 1616108 | 172673 9832 39 | 0.000 % |
10.40/10.46 c | 9966 | 32773 518020 1616108 | 172673 9966 40 | 0.000 % |
10.40/10.50 c | 10112 | 32773 518020 1616108 | 2147483647 10112 39 | 0.000 % |
10.50/10.57 c | 10273 | 32773 518020 1616108 | 2147483647 10273 39 | 0.000 % |
10.60/10.62 c | 10451 | 32773 518020 1616108 | 2147483647 10451 40 | 0.000 % |
10.60/10.66 c | 10645 | 32773 518020 1616108 | 2147483647 10645 39 | 0.000 % |
10.70/10.78 c | 10858 | 32773 518020 1616108 | 2147483647 10858 39 | 0.000 % |
10.80/10.85 c | 11095 | 32773 518020 1616108 | 2147483647 11095 40 | 0.000 % |
10.90/10.96 c | 11351 | 32773 518020 1616108 | 2147483647 11351 40 | 0.000 % |
10.90/11.01 c | 11635 | 32773 518020 1616108 | 2147483647 11635 39 | 0.000 % |
11.00/11.06 c | 11736 | 32773 518020 1616108 | 2147483647 11736 40 | 0.000 % |
11.10/11.14 c | 11847 | 32773 518020 1616108 | 2147483647 11847 40 | 0.000 % |
11.10/11.17 c | 11968 | 32773 518020 1616108 | 2147483647 11968 40 | 0.000 % |
11.20/11.24 c | 12101 | 32773 518020 1616108 | 2147483647 12101 40 | 0.000 % |
11.30/11.32 c | 12247 | 32773 518020 1616108 | 2147483647 12247 40 | 0.000 % |
11.30/11.37 c | 12408 | 32773 518020 1616108 | 2147483647 12408 40 | 0.000 % |
11.40/11.46 c | 12587 | 32773 518020 1616108 | 2147483647 12587 40 | 0.000 % |
11.50/11.52 c | 12780 | 32773 518020 1616108 | 2147483647 12780 41 | 0.000 % |
11.60/11.64 c | 12992 | 32773 518020 1616108 | 2147483647 12992 41 | 0.000 % |
11.70/11.72 c | 13226 | 32773 518020 1616108 | 2147483647 13226 41 | 0.000 % |
11.70/11.76 c | 13482 | 32773 518020 1616108 | 2147483647 13482 41 | 0.000 % |
11.90/11.96 c | 13765 | 32773 518020 1616108 | 2147483647 13765 42 | 0.000 % |
12.00/12.06 c | 14074 | 32773 518020 1616108 | 2147483647 14074 41 | 0.000 % |
12.00/12.08 c | 14176 | 32773 518020 1616108 | 2147483647 14176 41 | 0.000 % |
12.10/12.14 c | 14287 | 32773 518020 1616108 | 2147483647 14287 41 | 0.000 % |
12.20/12.22 c | 14408 | 32773 518020 1616108 | 2147483647 14408 41 | 0.000 % |
12.20/12.29 c | 14543 | 32773 518020 1616108 | 2147483647 14543 41 | 0.000 % |
12.30/12.41 c | 14691 | 32773 518020 1616108 | 2147483647 14691 41 | 0.000 % |
12.50/12.54 c | 14852 | 32773 518020 1616108 | 2147483647 14852 41 | 0.000 % |
12.50/12.58 c | 15028 | 32773 518020 1616108 | 2147483647 15028 41 | 0.000 % |
12.70/12.77 c | 15224 | 32773 518020 1616108 | 2147483647 15224 41 | 0.000 % |
12.80/12.82 c | 15438 | 32773 518020 1616108 | 2147483647 15438 41 | 0.000 % |
12.80/12.90 c | 15672 | 32773 518020 1616108 | 2147483647 15672 41 | 0.000 % |
13.00/13.02 c | 15928 | 32773 518020 1616108 | 2147483647 15928 41 | 0.000 % |
13.00/13.08 c | 16209 | 32773 518020 1616108 | 2147483647 16209 41 | 0.000 % |
13.10/13.17 c | 16519 | 32773 518020 1616108 | 2147483647 16519 41 | 0.000 % |
13.40/13.42 c | 16858 | 32773 518020 1616108 | 2147483647 16858 41 | 0.000 % |
13.40/13.46 c | 16960 | 32773 518020 1616108 | 2147483647 16960 41 | 0.000 % |
13.40/13.48 c | 17070 | 32773 518020 1616108 | 2147483647 17070 41 | 0.000 % |
13.50/13.59 c | 17193 | 32773 518020 1616108 | 2147483647 17193 41 | 0.000 % |
13.60/13.64 c | 17327 | 32773 518020 1616108 | 2147483647 17327 41 | 0.000 % |
13.70/13.77 c | 17475 | 32773 518020 1616108 | 2147483647 17475 41 | 0.000 % |
13.80/13.88 c | 17636 | 32773 518020 1616108 | 2147483647 17636 41 | 0.000 % |
14.00/14.04 c | 17812 | 32773 518020 1616108 | 2147483647 17812 41 | 0.000 % |
14.10/14.12 c | 18007 | 32773 518020 1616108 | 2147483647 18007 41 | 0.000 % |
14.20/14.27 c | 18220 | 32773 518020 1616108 | 2147483647 18220 41 | 0.000 % |
14.30/14.33 c | 18453 | 32773 518020 1616108 | 2147483647 18453 41 | 0.000 % |
14.40/14.46 c | 18713 | 32773 518020 1616108 | 2147483647 18713 41 | 0.000 % |
14.50/14.54 c | 18996 | 32773 518020 1616108 | 2147483647 18996 40 | 0.000 % |
14.60/14.67 c | 19306 | 32773 518020 1616108 | 2147483647 19306 40 | 0.000 % |
14.70/14.75 c | 19646 | 32773 518020 1616108 | 2147483647 19646 40 | 0.000 % |
14.80/14.89 c | 20019 | 32773 518020 1616108 | 2147483647 20019 40 | 0.000 % |
14.90/14.96 c | 20119 | 32773 518020 1616108 | 2147483647 20119 40 | 0.000 % |
14.90/14.99 c | 20230 | 32773 518020 1616108 | 2147483647 20230 40 | 0.000 % |
15.00/15.04 c | 20353 | 32773 518020 1616108 | 2147483647 20353 40 | 0.000 % |
15.00/15.08 c | 20489 | 32773 518020 1616108 | 2147483647 20489 40 | 0.000 % |
15.10/15.15 c | 20636 | 32773 518020 1616108 | 2147483647 20636 40 | 0.000 % |
15.20/15.22 c | 20797 | 32773 518020 1616108 | 2147483647 20797 40 | 0.000 % |
15.20/15.29 c | 20973 | 32773 518020 1616108 | 2147483647 20973 40 | 0.000 % |
15.30/15.32 c | 21167 | 32773 518020 1616108 | 2147483647 21167 40 | 0.000 % |
15.30/15.40 c | 21379 | 32773 518020 1616108 | 2147483647 21379 40 | 0.000 % |
15.40/15.49 c | 21612 | 32773 518020 1616108 | 2147483647 21612 40 | 0.000 % |
15.50/15.56 c | 21868 | 32773 518020 1616108 | 2147483647 21868 40 | 0.000 % |
15.60/15.66 c | 22149 | 32773 518020 1616108 | 2147483647 22149 40 | 0.000 % |
15.80/15.83 c | 22462 | 32773 518020 1616108 | 2147483647 22462 40 | 0.000 % |
15.90/15.92 c | 22801 | 32773 518020 1616108 | 2147483647 22801 40 | 0.000 % |
16.00/16.03 c | 23173 | 32773 518020 1616108 | 2147483647 23173 40 | 0.000 % |
16.10/16.15 c | 23582 | 32773 518020 1616108 | 2147483647 23582 40 | 0.000 % |
16.20/16.22 c | 23683 | 32773 518020 1616108 | 2147483647 23683 40 | 0.000 % |
16.20/16.26 c | 23794 | 32773 518020 1616108 | 2147483647 23794 40 | 0.000 % |
16.30/16.32 c | 23915 | 32773 518020 1616108 | 2147483647 23915 40 | 0.000 % |
16.30/16.37 c | 24053 | 32773 518020 1616108 | 2147483647 24053 40 | 0.000 % |
16.40/16.45 c | 24199 | 32773 518020 1616108 | 2147483647 24199 40 | 0.000 % |
16.40/16.50 c | 24360 | 32773 518020 1616108 | 2147483647 24360 40 | 0.000 % |
16.50/16.54 c | 24538 | 32773 518020 1616108 | 2147483647 24538 40 | 0.000 % |
16.60/16.65 c | 24733 | 32773 518020 1616108 | 2147483647 24733 40 | 0.000 % |
16.70/16.71 c | 24946 | 32773 518020 1616108 | 2147483647 24946 40 | 0.000 % |
16.80/16.83 c | 25180 | 32773 518020 1616108 | 2147483647 25180 40 | 0.000 % |
16.80/16.91 c | 25436 | 32773 518020 1616108 | 2147483647 25436 40 | 0.000 % |
16.90/17.00 c | 25718 | 32773 518020 1616108 | 2147483647 25718 40 | 0.000 % |
17.10/17.14 c | 26029 | 32773 518020 1616108 | 2147483647 26029 40 | 0.000 % |
17.20/17.29 c | 26368 | 32773 518020 1616108 | 2147483647 26368 40 | 0.000 % |
17.30/17.37 c | 26740 | 32773 518020 1616108 | 2147483647 26740 40 | 0.000 % |
17.50/17.57 c | 27149 | 32773 518020 1616108 | 2147483647 27149 40 | 0.000 % |
17.70/17.72 c | 27598 | 32773 518020 1616108 | 2147483647 27598 40 | 0.000 % |
17.70/17.79 c | 27701 | 32773 518020 1616108 | 2147483647 27701 40 | 0.000 % |
17.80/17.83 c | 27811 | 32773 518020 1616108 | 2147483647 27811 40 | 0.000 % |
17.80/17.90 c | 27932 | 32773 518020 1616108 | 2147483647 27932 40 | 0.000 % |
17.90/17.94 c | 28065 | 32773 518020 1616108 | 2147483647 28065 40 | 0.000 % |
17.90/17.99 c | 28213 | 32773 518020 1616108 | 2147483647 28213 40 | 0.000 % |
18.00/18.03 c | 28375 | 32773 518020 1616108 | 2147483647 28375 40 | 0.000 % |
18.00/18.10 c | 28551 | 32773 518020 1616108 | 2147483647 28551 40 | 0.000 % |
18.10/18.18 c | 28744 | 32773 518020 1616108 | 2147483647 28744 40 | 0.000 % |
18.20/18.23 c | 28956 | 32773 518020 1616108 | 2147483647 28956 40 | 0.000 % |
18.30/18.33 c | 29190 | 32773 518020 1616108 | 2147483647 29190 40 | 0.000 % |
18.40/18.42 c | 29447 | 32773 518020 1616108 | 2147483647 29447 39 | 0.000 % |
18.40/18.50 c | 29728 | 32773 518020 1616108 | 2147483647 29728 39 | 0.000 % |
18.50/18.60 c | 30038 | 32773 518020 1616108 | 2147483647 30038 39 | 0.000 % |
18.60/18.67 c | 30377 | 32773 518020 1616108 | 2147483647 30377 40 | 0.000 % |
18.70/18.76 c | 30750 | 32773 518020 1616108 | 2147483647 30750 40 | 0.000 % |
18.90/18.93 c | 31160 | 32773 518020 1616108 | 2147483647 31160 40 | 0.000 % |
18.90/19.01 c | 31609 | 32773 518020 1616108 | 2147483647 31609 40 | 0.000 % |
19.10/19.16 c | 32102 | 32773 518020 1616108 | 2147483647 32102 40 | 0.000 % |
19.10/19.20 c | 32202 | 32773 518020 1616108 | 2147483647 32202 40 | 0.000 % |
19.20/19.23 c | 32312 | 32773 518020 1616108 | 2147483647 32312 40 | 0.000 % |
19.20/19.28 c | 32433 | 32773 518020 1616108 | 2147483647 32433 39 | 0.000 % |
19.30/19.32 c | 32566 | 32773 518020 1616108 | 2147483647 32566 39 | 0.000 % |
19.30/19.37 c | 32713 | 32773 518020 1616108 | 2147483647 32713 40 | 0.000 % |
19.40/19.43 c | 32874 | 32773 518020 1616108 | 2147483647 32874 40 | 0.000 % |
19.40/19.47 c | 33050 | 32773 518020 1616108 | 2147483647 33050 40 | 0.000 % |
19.50/19.54 c | 33243 | 32773 518020 1616108 | 2147483647 33243 40 | 0.000 % |
19.60/19.62 c | 33456 | 32773 518020 1616108 | 2147483647 33456 40 | 0.000 % |
19.60/19.70 c | 33690 | 32773 518020 1616108 | 2147483647 33690 40 | 0.000 % |
19.70/19.78 c | 33946 | 32773 518020 1616108 | 2147483647 33946 39 | 0.000 % |
19.80/19.86 c | 34227 | 32773 518020 1616108 | 2147483647 34227 39 | 0.000 % |
19.90/19.95 c | 34536 | 32773 518020 1616108 | 2147483647 34536 39 | 0.000 % |
20.00/20.04 c | 34876 | 32773 518020 1616108 | 2147483647 34876 39 | 0.000 % |
20.10/20.13 c | 35249 | 32773 518020 1616108 | 2147483647 35249 39 | 0.000 % |
20.20/20.26 c | 35658 | 32773 518020 1616108 | 2147483647 35658 39 | 0.000 % |
20.30/20.41 c | 36107 | 32773 518020 1616108 | 2147483647 36107 39 | 0.000 % |
20.50/20.56 c | 36601 | 32773 518020 1616108 | 2147483647 36601 39 | 0.000 % |
20.70/20.76 c | 37145 | 32773 518020 1616108 | 2147483647 37145 39 | 0.000 % |
20.70/20.80 c | 37246 | 32773 518020 1616108 | 2147483647 37246 39 | 0.000 % |
20.80/20.85 c | 37356 | 32773 518020 1616108 | 2147483647 37356 39 | 0.000 % |
20.80/20.91 c | 37480 | 32773 518020 1616108 | 2147483647 37480 39 | 0.000 % |
20.90/20.96 c | 37614 | 32773 518020 1616108 | 2147483647 37614 39 | 0.000 % |
20.90/21.01 c | 37761 | 32773 518020 1616108 | 2147483647 37761 38 | 0.000 % |
21.00/21.07 c | 37921 | 32773 518020 1616108 | 2147483647 37921 38 | 0.000 % |
21.10/21.16 c | 38097 | 32773 518020 1616108 | 2147483647 38097 38 | 0.000 % |
21.20/21.22 c | 38292 | 32773 518020 1616108 | 2147483647 38292 38 | 0.000 % |
21.20/21.30 c | 38505 | 32773 518020 1616108 | 2147483647 38505 38 | 0.000 % |
21.30/21.38 c | 38738 | 32773 518020 1616108 | 2147483647 38738 38 | 0.000 % |
21.40/21.45 c | 38994 | 32773 518020 1616108 | 2147483647 38994 38 | 0.000 % |
21.50/21.55 c | 39275 | 32773 518020 1616108 | 2147483647 39275 38 | 0.000 % |
21.60/21.67 c | 39584 | 32773 518020 1616108 | 2147483647 39584 38 | 0.000 % |
21.70/21.80 c | 39924 | 32773 518020 1616108 | 2147483647 39924 38 | 0.000 % |
21.90/21.94 c | 40296 | 32773 518020 1616108 | 2147483647 40296 38 | 0.000 % |
22.00/22.07 c | 40705 | 32773 518020 1616108 | 2147483647 40705 38 | 0.000 % |
22.20/22.23 c | 41154 | 32773 518020 1616108 | 2147483647 41154 38 | 0.000 % |
22.30/22.40 c | 41649 | 32773 518020 1616108 | 2147483647 41649 38 | 0.000 % |
22.50/22.58 c | 42191 | 32773 518020 1616108 | 2147483647 42191 37 | 0.000 % |
22.70/22.77 c | 42788 | 32773 518020 1616108 | 2147483647 42788 37 | 0.000 % |
22.80/22.83 c | 42888 | 32773 518020 1616108 | 2147483647 42888 37 | 0.000 % |
22.80/22.88 c | 42998 | 32773 518020 1616108 | 2147483647 42998 37 | 0.000 % |
22.90/22.93 c | 43120 | 32773 518020 1616108 | 2147483647 43120 37 | 0.000 % |
22.90/22.98 c | 43255 | 32773 518020 1616108 | 2147483647 43255 37 | 0.000 % |
23.00/23.03 c | 43403 | 32773 518020 1616108 | 2147483647 43403 37 | 0.000 % |
23.00/23.09 c | 43563 | 32773 518020 1616108 | 2147483647 43563 37 | 0.000 % |
23.10/23.16 c | 43739 | 32773 518020 1616108 | 2147483647 43739 37 | 0.000 % |
23.20/23.25 c | 43933 | 32773 518020 1616108 | 2147483647 43933 37 | 0.000 % |
23.30/23.32 c | 44145 | 32773 518020 1616108 | 2147483647 44145 37 | 0.000 % |
23.30/23.39 c | 44379 | 32773 518020 1616108 | 2147483647 44379 37 | 0.000 % |
23.60/23.64 c | 44635 | 32773 518020 1616108 | 2147483647 44635 37 | 0.000 % |
23.80/23.83 c | 44916 | 32773 518020 1616108 | 2147483647 44916 37 | 0.000 % |
23.90/24.01 c | 45225 | 32773 518020 1616108 | 2147483647 45225 37 | 0.000 % |
24.10/24.14 c | 45566 | 32773 518020 1616108 | 2147483647 45566 37 | 0.000 % |
24.40/24.45 c | 45938 | 32773 518020 1616108 | 2147483647 45938 37 | 0.000 % |
24.50/24.61 c | 46349 | 32773 518020 1616108 | 2147483647 46349 37 | 0.000 % |
24.70/24.76 c | 46798 | 32773 518020 1616108 | 2147483647 46798 37 | 0.000 % |
24.90/24.96 c | 47291 | 32773 518020 1616108 | 2147483647 47291 37 | 0.000 % |
25.20/25.29 c | 47835 | 32773 518020 1616108 | 2147483647 47835 37 | 0.000 % |
25.30/25.40 c | 48431 | 32773 518020 1616108 | 2147483647 48431 37 | 0.000 % |
25.40/25.50 c | 49086 | 32773 518020 1616108 | 2147483647 49086 37 | 0.000 % |
25.50/25.59 c | 49186 | 32773 518020 1616108 | 2147483647 49186 37 | 0.000 % |
25.60/25.67 c | 49297 | 32773 518020 1616108 | 2147483647 49297 37 | 0.000 % |
25.70/25.74 c | 49418 | 32773 518020 1616108 | 2147483647 49418 37 | 0.000 % |
25.80/25.82 c | 49552 | 32773 518020 1616108 | 2147483647 49552 37 | 0.000 % |
25.90/25.97 c | 49699 | 32773 518020 1616108 | 2147483647 49699 37 | 0.000 % |
26.10/26.14 c | 49860 | 32773 518020 1616108 | 2147483647 49860 37 | 0.000 % |
26.20/26.23 c | 50036 | 32773 518020 1616108 | 2147483647 50036 37 | 0.000 % |
26.30/26.32 c | 50231 | 32773 518020 1616108 | 2147483647 50231 37 | 0.000 % |
26.40/26.43 c | 50443 | 32773 518020 1616108 | 2147483647 50443 37 | 0.000 % |
26.60/26.63 c | 50676 | 32773 518020 1616108 | 2147483647 50676 37 | 0.000 % |
26.70/26.73 c | 50936 | 32773 518020 1616108 | 2147483647 50936 37 | 0.000 % |
26.90/27.00 c | 51217 | 32773 518020 1616108 | 2147483647 51217 37 | 0.000 % |
27.10/27.20 c | 51526 | 32773 518020 1616108 | 2147483647 51526 37 | 0.000 % |
27.20/27.30 c | 51865 | 32773 518020 1616108 | 2147483647 51865 38 | 0.000 % |
27.50/27.57 c | 52237 | 32773 518020 1616108 | 2147483647 52237 38 | 0.000 % |
27.80/27.82 c | 52646 | 32773 518020 1616108 | 2147483647 52646 38 | 0.000 % |
27.90/27.94 c | 53096 | 32773 518020 1616108 | 2147483647 53096 38 | 0.000 % |
28.10/28.16 c | 53590 | 32773 518020 1616108 | 2147483647 53590 38 | 0.000 % |
28.40/28.45 c | 54132 | 32773 518020 1616108 | 2147483647 54132 38 | 0.000 % |
28.50/28.57 c | 54729 | 32773 518020 1616108 | 2147483647 54729 38 | 0.000 % |
28.70/28.72 c | 55384 | 32773 518020 1616108 | 2147483647 55384 38 | 0.000 % |
29.00/29.06 c | 56105 | 32773 518020 1616108 | 2147483647 56105 38 | 0.000 % |
29.10/29.19 c | 56208 | 32773 518020 1616108 | 2147483647 56208 38 | 0.000 % |
29.20/29.23 c | 56319 | 32773 518020 1616108 | 2147483647 56319 38 | 0.000 % |
29.20/29.28 c | 56441 | 32773 518020 1616108 | 2147483647 56441 38 | 0.000 % |
29.30/29.40 c | 56574 | 32773 518020 1616108 | 2147483647 56574 38 | 0.000 % |
29.40/29.46 c | 56723 | 32773 518020 1616108 | 2147483647 56723 38 | 0.000 % |
29.50/29.59 c | 56885 | 32773 518020 1616108 | 2147483647 56885 38 | 0.000 % |
29.60/29.69 c | 57061 | 32773 518020 1616108 | 2147483647 57061 38 | 0.000 % |
29.70/29.80 c | 57255 | 32773 518020 1616108 | 2147483647 57255 38 | 0.000 % |
29.90/29.94 c | 57467 | 32773 518020 1616108 | 2147483647 57467 38 | 0.000 % |
30.00/30.08 c | 57700 | 32773 518020 1616108 | 2147483647 57700 38 | 0.000 % |
30.30/30.32 c | 57958 | 32773 518020 1616108 | 2147483647 57958 38 | 0.000 % |
30.40/30.48 c | 58240 | 32773 518020 1616108 | 2147483647 58240 39 | 0.000 % |
30.50/30.61 c | 58549 | 32773 518020 1616108 | 2147483647 58549 39 | 0.000 % |
30.70/30.78 c | 58889 | 32773 518020 1616108 | 2147483647 58889 39 | 0.000 % |
30.90/30.93 c | 59261 | 32773 518020 1616108 | 2147483647 59261 39 | 0.000 % |
31.00/31.07 c | 59670 | 32773 518020 1616108 | 2147483647 59670 38 | 0.000 % |
31.10/31.21 c | 60121 | 32773 518020 1616108 | 2147483647 60121 38 | 0.000 % |
31.30/31.38 c | 60614 | 32773 518020 1616108 | 2147483647 60614 38 | 0.000 % |
31.50/31.55 c | 61157 | 32773 518020 1616108 | 2147483647 61157 38 | 0.000 % |
31.80/31.82 c | 61754 | 32773 518020 1616108 | 2147483647 61754 38 | 0.000 % |
32.00/32.02 c | 62410 | 32773 518020 1616108 | 2147483647 62410 38 | 0.000 % |
32.30/32.33 c | 63133 | 32773 518020 1616108 | 2147483647 63133 37 | 0.000 % |
32.80/32.84 c | 63925 | 32773 518020 1616108 | 2147483647 63925 38 | 0.000 % |
32.80/32.91 c | 64027 | 32773 518020 1616108 | 2147483647 64027 38 | 0.000 % |
33.00/33.03 c | 64137 | 32773 518020 1616108 | 2147483647 64137 38 | 0.000 % |
33.00/33.09 c | 64260 | 32773 518020 1616108 | 2147483647 64260 38 | 0.000 % |
33.20/33.27 c | 64394 | 32773 518020 1616108 | 2147483647 64394 38 | 0.000 % |
33.30/33.37 c | 64540 | 32773 518020 1616108 | 2147483647 64540 38 | 0.000 % |
33.40/33.47 c | 64700 | 32773 518020 1616108 | 2147483647 64700 38 | 0.000 % |
33.50/33.60 c | 64876 | 32773 518020 1616108 | 2147483647 64876 38 | 0.000 % |
33.70/33.77 c | 65069 | 32773 518020 1616108 | 2147483647 65069 38 | 0.000 % |
33.80/33.82 c | 65283 | 32773 518020 1616108 | 2147483647 65283 38 | 0.000 % |
33.90/34.00 c | 65518 | 32773 518020 1616108 | 2147483647 65518 38 | 0.000 % |
34.20/34.24 c | 65775 | 32773 518020 1616108 | 2147483647 65775 38 | 0.000 % |
34.30/34.33 c | 66056 | 32773 518020 1616108 | 2147483647 66056 38 | 0.000 % |
34.30/34.41 c | 66366 | 32773 518020 1616108 | 2147483647 66366 38 | 0.000 % |
34.50/34.58 c | 66705 | 32773 518020 1616108 | 2147483647 66705 38 | 0.000 % |
34.70/34.78 c | 67077 | 32773 518020 1616108 | 2147483647 67077 38 | 0.000 % |
34.90/34.99 c | 67489 | 32773 518020 1616108 | 2147483647 67489 38 | 0.000 % |
35.20/35.26 c | 67939 | 32773 518020 1616108 | 2147483647 67939 38 | 0.000 % |
35.40/35.47 c | 68433 | 32773 518020 1616108 | 2147483647 68433 38 | 0.000 % |
35.70/35.77 c | 68975 | 32773 518020 1616108 | 2147483647 68975 39 | 0.000 % |
36.00/36.11 c | 69573 | 32773 518020 1616108 | 2147483647 69573 39 | 0.000 % |
36.30/36.32 c | 70228 | 32773 518020 1616108 | 2147483647 70228 39 | 0.000 % |
36.70/36.80 c | 70948 | 32773 518020 1616108 | 2147483647 70948 39 | 0.000 % |
37.20/37.21 c | 71740 | 32773 518020 1616108 | 2147483647 71740 39 | 0.000 % |
37.70/37.74 c | 72611 | 32773 518020 1616108 | 2147483647 72611 39 | 0.000 % |
37.80/37.82 c | 72713 | 32773 518020 1616108 | 2147483647 72713 39 | 0.000 % |
37.90/37.95 c | 72823 | 32773 518020 1616108 | 2147483647 72823 39 | 0.000 % |
37.90/38.00 c | 72944 | 32773 518020 1616108 | 2147483647 72944 39 | 0.000 % |
38.00/38.11 c | 73078 | 32773 518020 1616108 | 2147483647 73078 39 | 0.000 % |
38.20/38.22 c | 73225 | 32773 518020 1616108 | 2147483647 73225 39 | 0.000 % |
38.30/38.34 c | 73385 | 32773 518020 1616108 | 2147483647 73385 39 | 0.000 % |
38.30/38.40 c | 73561 | 32773 518020 1616108 | 2147483647 73561 39 | 0.000 % |
38.50/38.51 c | 73756 | 32773 518020 1616108 | 2147483647 73756 39 | 0.000 % |
38.60/38.70 c | 73968 | 32773 518020 1616108 | 2147483647 73968 39 | 0.000 % |
38.80/38.85 c | 74201 | 32773 518020 1616108 | 2147483647 74201 39 | 0.000 % |
38.90/38.95 c | 74458 | 32773 518020 1616108 | 2147483647 74458 39 | 0.000 % |
39.10/39.14 c | 74740 | 32773 518020 1616108 | 2147483647 74740 39 | 0.000 % |
39.30/39.37 c | 75050 | 32773 518020 1616108 | 2147483647 75050 39 | 0.000 % |
39.50/39.58 c | 75390 | 32773 518020 1616108 | 2147483647 75390 39 | 0.000 % |
39.70/39.72 c | 75762 | 32773 518020 1616108 | 2147483647 75762 39 | 0.000 % |
39.90/39.94 c | 76171 | 32773 518020 1616108 | 2147483647 76171 39 | 0.000 % |
40.00/40.11 c | 76620 | 32773 518020 1616108 | 2147483647 76620 39 | 0.000 % |
40.20/40.30 c | 77116 | 32773 518020 1616108 | 2147483647 77116 39 | 0.000 % |
40.40/40.49 c | 77659 | 32773 518020 1616108 | 2147483647 77659 40 | 0.000 % |
40.80/40.83 c | 78255 | 32773 518020 1616108 | 2147483647 78255 40 | 0.000 % |
41.20/41.24 c | 78910 | 32773 518020 1616108 | 2147483647 78910 40 | 0.000 % |
41.40/41.50 c | 79631 | 32773 518020 1616108 | 2147483647 79631 40 | 0.000 % |
41.60/41.67 c | 80424 | 32773 518020 1616108 | 2147483647 80424 41 | 0.000 % |
41.90/41.94 c | 81295 | 32773 518020 1616108 | 2147483647 81295 41 | 0.000 % |
42.20/42.28 c | 82254 | 32773 518020 1616108 | 2147483647 82254 41 | 0.000 % |
42.30/42.34 c | 82355 | 32773 518020 1616108 | 2147483647 82355 41 | 0.000 % |
42.40/42.42 c | 82469 | 32773 518020 1616108 | 2147483647 82469 41 | 0.000 % |
42.40/42.47 c | 82590 | 32773 518020 1616108 | 2147483647 82590 41 | 0.000 % |
42.60/42.62 c | 82723 | 32773 518020 1616108 | 2147483647 82723 41 | 0.000 % |
42.60/42.71 c | 82870 | 32773 518020 1616108 | 2147483647 82870 41 | 0.000 % |
42.70/42.81 c | 83032 | 32773 518020 1616108 | 2147483647 83032 41 | 0.000 % |
43.00/43.04 c | 83209 | 32773 518020 1616108 | 2147483647 83209 41 | 0.000 % |
43.10/43.13 c | 83402 | 32773 518020 1616108 | 2147483647 83402 41 | 0.000 % |
43.20/43.29 c | 83614 | 32773 518020 1616108 | 2147483647 83614 41 | 0.000 % |
43.40/43.50 c | 83850 | 32773 518020 1616108 | 2147483647 83850 41 | 0.000 % |
43.50/43.59 c | 84107 | 32773 518020 1616108 | 2147483647 84107 41 | 0.000 % |
43.70/43.76 c | 84388 | 32773 518020 1616108 | 2147483647 84388 41 | 0.000 % |
43.90/44.00 c | 84698 | 32773 518020 1616108 | 2147483647 84698 41 | 0.000 % |
44.10/44.17 c | 85039 | 32773 518020 1616108 | 2147483647 85039 41 | 0.000 % |
44.40/44.48 c | 85411 | 32773 518020 1616108 | 2147483647 85411 41 | 0.000 % |
44.60/44.63 c | 85824 | 32773 518020 1616108 | 2147483647 85824 42 | 0.000 % |
44.80/44.88 c | 86273 | 32773 518020 1616108 | 2147483647 86273 42 | 0.000 % |
45.00/45.07 c | 86766 | 32773 518020 1616108 | 2147483647 86766 42 | 0.000 % |
45.40/45.48 c | 87308 | 32773 518020 1616108 | 2147483647 87308 42 | 0.000 % |
45.70/45.76 c | 87904 | 32773 518020 1616108 | 2147483647 87904 42 | 0.000 % |
46.00/46.02 c | 88559 | 32773 518020 1616108 | 2147483647 88559 42 | 0.000 % |
46.40/46.44 c | 89279 | 32773 518020 1616108 | 2147483647 89279 42 | 0.000 % |
46.80/46.83 c | 90071 | 32773 518020 1616108 | 2147483647 90071 42 | 0.000 % |
47.30/47.35 c | 90943 | 32773 518020 1616108 | 2147483647 90943 43 | 0.000 % |
47.80/47.87 c | 91902 | 32773 518020 1616108 | 2147483647 91902 43 | 0.000 % |
48.50/48.56 c | 92956 | 32773 518020 1616108 | 2147483647 92956 43 | 0.000 % |
48.60/48.62 c | 93056 | 32773 518020 1616108 | 2147483647 93056 43 | 0.000 % |
48.80/48.84 c | 93166 | 32773 518020 1616108 | 2147483647 93166 43 | 0.001 % |
48.90/48.96 c | 93290 | 32773 518020 1616108 | 2147483647 93290 43 | 0.000 % |
49.00/49.10 c | 93423 | 32773 518020 1616108 | 2147483647 93423 43 | 0.000 % |
49.20/49.21 c | 93572 | 32773 518020 1616108 | 2147483647 93572 43 | 0.000 % |
49.40/49.44 c | 93733 | 32773 518020 1616108 | 2147483647 93733 43 | 0.000 % |
49.51/49.54 c | 93909 | 32773 518020 1616108 | 2147483647 93909 43 | 0.000 % |
49.60/49.70 c | 94102 | 32773 518020 1616108 | 2147483647 94102 43 | 0.000 % |
49.80/49.89 c | 94316 | 32773 518020 1616108 | 2147483647 94316 43 | 0.000 % |
49.90/49.93 c | 94550 | 32773 518020 1616108 | 2147483647 94550 43 | 0.000 % |
50.00/50.11 c | 94807 | 32773 518020 1616108 | 2147483647 94807 43 | 0.000 % |
50.20/50.23 c | 95088 | 32773 518020 1616108 | 2147483647 95088 43 | 0.000 % |
50.50/50.55 c | 95398 | 32773 518020 1616108 | 2147483647 95398 43 | 0.000 % |
50.70/50.74 c | 95737 | 32773 518020 1616108 | 2147483647 95737 43 | 0.000 % |
50.90/50.91 c | 96109 | 32773 518020 1616108 | 2147483647 96109 43 | 0.000 % |
51.10/51.15 c | 96518 | 32773 518020 1616108 | 2147483647 96518 43 | 0.000 % |
51.30/51.40 c | 96967 | 32773 518020 1616108 | 2147483647 96967 43 | 0.000 % |
51.70/51.77 c | 97460 | 32773 518020 1616108 | 2147483647 97460 43 | 0.000 % |
52.10/52.16 c | 98002 | 32773 518020 1616108 | 2147483647 98002 43 | 0.000 % |
52.60/52.62 c | 98599 | 32773 518020 1616108 | 2147483647 98599 43 | 0.000 % |
52.90/52.93 c | 99254 | 32773 518020 1616108 | 2147483647 99254 43 | 0.000 % |
53.30/53.36 c | 99974 | 32773 518020 1616108 | 2147483647 99974 43 | 0.000 % |
53.70/53.77 c | 100767 | 32773 518020 1616108 | 2147483647 100767 43 | 0.000 % |
54.30/54.37 c | 101639 | 32773 518020 1616108 | 2147483647 101639 43 | 0.000 % |
54.70/54.72 c | 102600 | 32773 518020 1616108 | 2147483647 102600 43 | 0.000 % |
55.20/55.28 c | 103654 | 32773 518020 1616108 | 2147483647 103654 43 | 0.000 % |
55.70/55.73 c | 104813 | 32773 518020 1616108 | 2147483647 104813 43 | 0.000 % |
55.70/55.80 c | 104914 | 32773 518020 1616108 | 2147483647 104914 43 | 0.000 % |
55.80/55.89 c | 105026 | 32773 518020 1616108 | 2147483647 105026 43 | 0.000 % |
56.00/56.02 c | 105147 | 32773 518020 1616108 | 2147483647 105147 43 | 0.000 % |
56.00/56.09 c | 105281 | 32773 518020 1616108 | 2147483647 105281 43 | 0.000 % |
56.11/56.18 c | 105428 | 32773 518020 1616108 | 2147483647 105428 43 | 0.000 % |
56.20/56.30 c | 105588 | 32773 518020 1616108 | 2147483647 105588 43 | 0.000 % |
56.40/56.44 c | 105764 | 32773 518020 1616108 | 2147483647 105764 43 | 0.000 % |
56.60/56.70 c | 105957 | 32773 518020 1616108 | 2147483647 105957 43 | 0.000 % |
56.80/56.85 c | 106170 | 32773 518020 1616108 | 2147483647 106170 44 | 0.000 % |
56.90/56.96 c | 106403 | 32773 518020 1616108 | 2147483647 106403 44 | 0.000 % |
57.10/57.17 c | 106660 | 32773 518020 1616108 | 2147483647 106660 44 | 0.000 % |
57.30/57.31 c | 106942 | 32773 518020 1616108 | 2147483647 106942 44 | 0.000 % |
57.40/57.48 c | 107251 | 32773 518020 1616108 | 2147483647 107251 44 | 0.000 % |
57.60/57.67 c | 107591 | 32773 518020 1616108 | 2147483647 107591 44 | 0.000 % |
57.90/57.96 c | 107963 | 32773 518020 1616108 | 2147483647 107963 44 | 0.000 % |
58.10/58.15 c | 108373 | 32773 518020 1616108 | 2147483647 108373 44 | 0.000 % |
58.31/58.41 c | 108822 | 32773 518020 1616108 | 2147483647 108822 44 | 0.000 % |
58.60/58.68 c | 109315 | 32773 518020 1616108 | 2147483647 109315 44 | 0.000 % |
59.00/59.01 c | 109858 | 32773 518020 1616108 | 2147483647 109858 44 | 0.000 % |
59.20/59.25 c | 110454 | 32773 518020 1616108 | 2147483647 110454 44 | 0.000 % |
59.50/59.56 c | 111109 | 32773 518020 1616108 | 2147483647 111109 44 | 0.000 % |
59.80/59.87 c | 111829 | 32773 518020 1616108 | 2147483647 111829 44 | 0.000 % |
60.30/60.40 c | 112623 | 32773 518020 1616108 | 2147483647 112623 44 | 0.000 % |
60.70/60.79 c | 113495 | 32773 518020 1616108 | 2147483647 113495 44 | 0.000 % |
61.40/61.41 c | 114454 | 32773 518020 1616108 | 2147483647 114454 45 | 0.000 % |
61.90/61.92 c | 115507 | 32773 518020 1616108 | 2147483647 115507 45 | 0.000 % |
62.30/62.40 c | 116665 | 32773 518020 1616108 | 2147483647 116665 45 | 0.000 % |
63.10/63.14 c | 117938 | 32773 518020 1616108 | 2147483647 117938 45 | 0.000 % |
63.19/63.24 c | 118039 | 32773 518020 1616108 | 2147483647 118039 45 | 0.000 % |
63.29/63.32 c | 118149 | 32773 518020 1616108 | 2147483647 118149 45 | 0.000 % |
63.39/63.41 c | 118271 | 32773 518020 1616108 | 2147483647 118271 45 | 0.000 % |
63.49/63.56 c | 118407 | 32773 518020 1616108 | 2147483647 118407 45 | 0.000 % |
63.69/63.78 c | 118555 | 32773 518020 1616108 | 2147483647 118555 45 | 0.000 % |
63.89/63.99 c | 118715 | 32773 518020 1616108 | 2147483647 118715 45 | 0.000 % |
64.09/64.12 c | 118891 | 32773 518020 1616108 | 2147483647 118891 45 | 0.000 % |
64.29/64.38 c | 119085 | 32773 518020 1616108 | 2147483647 119085 45 | 0.000 % |
64.49/64.59 c | 119298 | 32773 518020 1616108 | 2147483647 119298 45 | 0.000 % |
64.59/64.69 c | 119531 | 32773 518020 1616108 | 2147483647 119531 45 | 0.000 % |
64.79/64.90 c | 119790 | 32773 518020 1616108 | 2147483647 119790 45 | 0.000 % |
64.99/65.10 c | 120071 | 32773 518020 1616108 | 2147483647 120071 45 | 0.000 % |
65.39/65.42 c | 120380 | 32773 518020 1616108 | 2147483647 120380 45 | 0.000 % |
65.59/65.60 c | 120719 | 32773 518020 1616108 | 2147483647 120719 45 | 0.000 % |
65.79/65.83 c | 121092 | 32773 518020 1616108 | 2147483647 121092 45 | 0.000 % |
66.19/66.23 c | 121502 | 32773 518020 1616108 | 2147483647 121502 46 | 0.000 % |
66.49/66.51 c | 121952 | 32773 518020 1616108 | 2147483647 121952 46 | 0.000 % |
66.79/66.86 c | 122445 | 32773 518020 1616108 | 2147483647 122445 46 | 0.000 % |
67.19/67.26 c | 122987 | 32773 518020 1616108 | 2147483647 122987 46 | 0.000 % |
67.49/67.51 c | 123583 | 32773 518020 1616108 | 2147483647 123583 46 | 0.000 % |
67.89/67.90 c | 124238 | 32773 518020 1616108 | 2147483647 124238 46 | 0.000 % |
68.20/68.27 c | 124962 | 32773 518020 1616108 | 2147483647 124962 46 | 0.000 % |
68.59/68.64 c | 125754 | 32773 518020 1616108 | 2147483647 125754 46 | 0.000 % |
68.99/69.06 c | 126625 | 32773 518020 1616108 | 2147483647 126625 46 | 0.000 % |
69.69/69.73 c | 127583 | 32773 518020 1616108 | 2147483647 127583 46 | 0.000 % |
70.19/70.28 c | 128636 | 32773 518020 1616108 | 2147483647 128636 46 | 0.000 % |
70.89/70.97 c | 129795 | 32773 518020 1616108 | 2147483647 129795 47 | 0.000 % |
71.50/71.52 c | 131068 | 32773 518020 1616108 | 2147483647 131068 47 | 0.000 % |
72.29/72.30 c | 132468 | 32773 518020 1616108 | 2147483647 132468 47 | 0.000 % |
72.39/72.41 c | 132569 | 32773 518020 1616108 | 2147483647 132569 47 | 0.000 % |
72.49/72.55 c | 132682 | 32773 518020 1616108 | 2147483647 132682 47 | 0.000 % |
72.60/72.65 c | 132803 | 32773 518020 1616108 | 2147483647 132803 47 | 0.000 % |
72.69/72.73 c | 132938 | 32773 518020 1616108 | 2147483647 132938 47 | 0.001 % |
72.79/72.81 c | 133084 | 32773 518020 1616108 | 2147483647 133084 47 | 0.001 % |
72.89/72.93 c | 133245 | 32773 518020 1616108 | 2147483647 133245 47 | 0.001 % |
73.09/73.12 c | 133421 | 32773 518020 1616108 | 2147483647 133421 47 | 0.000 % |
73.19/73.23 c | 133614 | 32773 518020 1616108 | 2147483647 133614 47 | 0.001 % |
73.29/73.37 c | 133826 | 32773 518020 1616108 | 2147483647 133826 47 | 0.000 % |
73.49/73.57 c | 134059 | 32773 518020 1616108 | 2147483647 134059 47 | 0.000 % |
73.79/73.83 c | 134315 | 32773 518020 1616108 | 2147483647 134315 47 | 0.000 % |
73.89/73.93 c | 134597 | 32773 518020 1616108 | 2147483647 134597 47 | 0.000 % |
74.09/74.19 c | 134906 | 32773 518020 1616108 | 2147483647 134906 47 | 0.001 % |
74.39/74.48 c | 135245 | 32773 518020 1616108 | 2147483647 135245 47 | 0.000 % |
74.80/74.85 c | 135617 | 32773 518020 1616108 | 2147483647 135617 47 | 0.000 % |
75.09/75.13 c | 136026 | 32773 518020 1616108 | 2147483647 136026 47 | 0.000 % |
75.39/75.48 c | 136475 | 32773 518020 1616108 | 2147483647 136475 47 | 0.001 % |
75.69/75.75 c | 136970 | 32773 518020 1616108 | 2147483647 136970 47 | 0.000 % |
75.99/76.04 c | 137512 | 32773 518020 1616108 | 2147483647 137512 47 | 0.000 % |
76.39/76.45 c | 138108 | 32773 518020 1616108 | 2147483647 138108 47 | 0.000 % |
76.79/76.87 c | 138764 | 32773 518020 1616108 | 2147483647 138764 47 | 0.000 % |
77.39/77.45 c | 139487 | 32773 518020 1616108 | 2147483647 139487 47 | 0.000 % |
77.89/77.98 c | 140280 | 32773 518020 1616108 | 2147483647 140280 47 | 0.000 % |
78.29/78.35 c | 141153 | 32773 518020 1616108 | 2147483647 141153 47 | 0.000 % |
78.99/79.09 c | 142113 | 32773 518020 1616108 | 2147483647 142113 48 | 0.000 % |
79.69/79.74 c | 143167 | 32773 518020 1616108 | 2147483647 143167 48 | 0.000 % |
80.39/80.47 c | 144327 | 32773 518020 1616108 | 2147483647 144327 48 | 0.000 % |
81.19/81.21 c | 145600 | 32773 518020 1616108 | 2147483647 145600 48 | 0.000 % |
82.19/82.21 c | 147000 | 32773 518020 1616108 | 2147483647 147000 48 | 0.000 % |
83.19/83.25 c | 148541 | 32773 518020 1616108 | 2147483647 148541 48 | 0.000 % |
83.29/83.38 c | 148643 | 32773 518020 1616108 | 2147483647 148643 48 | 0.000 % |
83.49/83.57 c | 148755 | 32773 518020 1616108 | 2147483647 148755 48 | 0.000 % |
83.60/83.68 c | 148877 | 32773 518020 1616108 | 2147483647 148877 48 | 0.000 % |
83.79/83.81 c | 149013 | 32773 518020 1616108 | 2147483647 149013 48 | 0.000 % |
83.99/84.03 c | 149163 | 32773 518020 1616108 | 2147483647 149163 48 | 0.000 % |
84.19/84.29 c | 149323 | 32773 518020 1616108 | 2147483647 149323 48 | 0.000 % |
84.49/84.55 c | 149500 | 32773 518020 1616108 | 2147483647 149500 48 | 0.000 % |
84.59/84.70 c | 149694 | 32773 518020 1616108 | 2147483647 149694 48 | 0.000 % |
84.89/84.92 c | 149907 | 32773 518020 1616108 | 2147483647 149907 48 | 0.000 % |
85.09/85.16 c | 150140 | 32773 518020 1616108 | 2147483647 150140 48 | 0.001 % |
85.29/85.35 c | 150396 | 32773 518020 1616108 | 2147483647 150396 48 | 0.000 % |
85.49/85.53 c | 150678 | 32773 518020 1616108 | 2147483647 150678 48 | 0.000 % |
85.59/85.69 c | 150988 | 32773 518020 1616108 | 2147483647 150988 48 | 0.000 % |
85.89/85.93 c | 151328 | 32773 518020 1616108 | 2147483647 151328 48 | 0.000 % |
86.09/86.13 c | 151700 | 32773 518020 1616108 | 2147483647 151700 48 | 0.000 % |
86.29/86.34 c | 152109 | 32773 518020 1616108 | 2147483647 152109 48 | 0.001 % |
86.69/86.72 c | 152558 | 32773 518020 1616108 | 2147483647 152558 48 | 0.001 % |
87.09/87.17 c | 153051 | 32773 518020 1616108 | 2147483647 153051 48 | 0.000 % |
87.39/87.47 c | 153593 | 32773 518020 1616108 | 2147483647 153593 49 | 0.000 % |
88.09/88.15 c | 154190 | 32773 518020 1616108 | 2147483647 154190 49 | 0.000 % |
88.39/88.48 c | 154846 | 32773 518020 1616108 | 2147483647 154846 49 | 0.000 % |
88.99/89.00 c | 155566 | 32773 518020 1616108 | 2147483647 155566 49 | 0.000 % |
89.49/89.55 c | 156360 | 32773 518020 1616108 | 2147483647 156360 49 | 0.000 % |
89.99/90.08 c | 157231 | 32773 518020 1616108 | 2147483647 157231 49 | 0.000 % |
90.69/90.77 c | 158190 | 32773 518020 1616108 | 2147483647 158190 49 | 0.000 % |
91.49/91.55 c | 159243 | 32773 518020 1616108 | 2147483647 159243 49 | 0.001 % |
92.19/92.30 c | 160402 | 32773 518020 1616108 | 2147483647 160402 49 | 0.000 % |
93.09/93.14 c | 161675 | 32773 518020 1616108 | 2147483647 161675 49 | 0.000 % |
93.89/94.00 c | 163075 | 32773 518020 1616108 | 2147483647 163075 49 | 0.000 % |
94.69/94.78 c | 164616 | 32773 518020 1616108 | 2147483647 164616 49 | 0.000 % |
95.79/95.82 c | 166311 | 32773 518020 1616108 | 2147483647 166311 49 | 0.000 % |
95.89/95.93 c | 166412 | 32773 518020 1616108 | 2147483647 166412 49 | 0.000 % |
95.99/96.02 c | 166522 | 32773 518020 1616108 | 2147483647 166522 49 | 0.000 % |
96.09/96.15 c | 166643 | 32773 518020 1616108 | 2147483647 166643 49 | 0.001 % |
96.29/96.31 c | 166776 | 32773 518020 1616108 | 2147483647 166776 49 | 0.000 % |
96.39/96.40 c | 166922 | 32773 518020 1616108 | 2147483647 166922 49 | 0.000 % |
96.49/96.56 c | 167082 | 32773 518020 1616108 | 2147483647 167082 49 | 0.000 % |
96.69/96.77 c | 167258 | 32773 518020 1616108 | 2147483647 167258 49 | 0.001 % |
96.89/96.98 c | 167451 | 32773 518020 1616108 | 2147483647 167451 49 | 0.000 % |
96.99/97.06 c | 167663 | 32773 518020 1616108 | 2147483647 167663 49 | 0.000 % |
97.19/97.27 c | 167896 | 32773 518020 1616108 | 2147483647 167896 49 | 0.001 % |
97.39/97.49 c | 168154 | 32773 518020 1616108 | 2147483647 168154 49 | 0.000 % |
97.59/97.69 c | 168439 | 32773 518020 1616108 | 2147483647 168439 49 | 0.000 % |
97.90/98.00 c | 168748 | 32773 518020 1616108 | 2147483647 168748 49 | 0.000 % |
98.19/98.25 c | 169087 | 32773 518020 1616108 | 2147483647 169087 49 | 0.000 % |
98.49/98.57 c | 169462 | 32773 518020 1616108 | 2147483647 169462 49 | 0.001 % |
98.69/98.75 c | 169872 | 32773 518020 1616108 | 2147483647 169872 49 | 0.000 % |
99.00/99.04 c | 170321 | 32773 518020 1616108 | 2147483647 170321 49 | 0.001 % |
99.29/99.33 c | 170815 | 32773 518020 1616108 | 2147483647 170815 49 | 0.001 % |
99.59/99.69 c | 171360 | 32773 518020 1616108 | 2147483647 171360 49 | 0.001 % |
100.10/100.19 c | 171956 | 32773 518020 1616108 | 2147483647 171956 49 | 0.001 % |
100.49/100.54 c | 172613 | 32773 518020 1616108 | 2147483647 172613 49 | 0.000 % |
100.89/100.99 c | 173333 | 32773 518020 1616108 | 2147483647 173333 49 | 0.000 % |
101.59/101.64 c | 174125 | 32773 518020 1616108 | 2147483647 174125 49 | 0.001 % |
102.19/102.24 c | 174996 | 32773 518020 1616108 | 2147483647 174996 49 | 0.001 % |
102.69/102.76 c | 175954 | 32773 518020 1616108 | 2147483647 175954 49 | 0.001 % |
103.30/103.38 c | 177007 | 32773 518020 1616108 | 2147483647 177007 49 | 0.001 % |
103.90/103.97 c | 178166 | 32773 518020 1616108 | 2147483647 178166 50 | 0.001 % |
104.50/104.53 c | 179439 | 32773 518020 1616108 | 2147483647 179439 50 | 0.001 % |
105.20/105.24 c | 180839 | 32773 518020 1616108 | 2147483647 180839 50 | 0.001 % |
105.90/105.98 c | 182379 | 32773 518020 1616108 | 2147483647 182379 50 | 0.000 % |
107.00/107.10 c | 184073 | 32773 518020 1616108 | 2147483647 184073 50 | 0.001 % |
108.10/108.11 c | 185936 | 32773 518020 1616108 | 2147483647 185936 50 | 0.001 % |
108.20/108.25 c | 186036 | 32773 518020 1616108 | 2147483647 186036 50 | 0.000 % |
108.30/108.37 c | 186148 | 32773 518020 1616108 | 2147483647 186148 50 | 0.000 % |
108.40/108.47 c | 186270 | 32773 518020 1616108 | 2147483647 186270 50 | 0.000 % |
108.60/108.61 c | 186404 | 32773 518020 1616108 | 2147483647 186404 50 | 0.000 % |
108.70/108.73 c | 186550 | 32773 518020 1616108 | 2147483647 186550 50 | 0.001 % |
108.80/108.89 c | 186710 | 32773 518020 1616108 | 2147483647 186710 51 | 0.001 % |
109.10/109.12 c | 186886 | 32773 518020 1616108 | 2147483647 186886 50 | 0.000 % |
109.20/109.24 c | 187079 | 32773 518020 1616108 | 2147483647 187079 50 | 0.000 % |
109.50/109.59 c | 187292 | 32773 518020 1616108 | 2147483647 187292 50 | 0.000 % |
109.80/109.90 c | 187525 | 32773 518020 1616108 | 2147483647 187525 50 | 0.000 % |
110.10/110.16 c | 187781 | 32773 518020 1616108 | 2147483647 187781 51 | 0.000 % |
110.40/110.51 c | 188062 | 32773 518020 1616108 | 2147483647 188062 51 | 0.001 % |
110.70/110.77 c | 188373 | 32773 518020 1616108 | 2147483647 188373 51 | 0.000 % |
111.10/111.14 c | 188712 | 32773 518020 1616108 | 2147483647 188712 51 | 0.000 % |
111.30/111.32 c | 189084 | 32773 518020 1616108 | 2147483647 189084 51 | 0.000 % |
111.60/111.70 c | 189493 | 32773 518020 1616108 | 2147483647 189493 51 | 0.000 % |
112.10/112.20 c | 189943 | 32773 518020 1616108 | 2147483647 189943 51 | 0.000 % |
112.50/112.60 c | 190436 | 32773 518020 1616108 | 2147483647 190436 51 | 0.000 % |
112.90/112.98 c | 190978 | 32773 518020 1616108 | 2147483647 190978 51 | 0.000 % |
113.60/113.69 c | 191574 | 32773 518020 1616108 | 2147483647 191574 51 | 0.000 % |
114.20/114.23 c | 192230 | 32773 518020 1616108 | 2147483647 192230 51 | 0.000 % |
114.80/114.83 c | 192950 | 32773 518020 1616108 | 2147483647 192950 51 | 0.000 % |
115.20/115.24 c | 193743 | 32773 518020 1616108 | 2147483647 193743 51 | 0.000 % |
115.80/115.85 c | 194614 | 32773 518020 1616108 | 2147483647 194614 51 | 0.000 % |
116.60/116.63 c | 195572 | 32773 518020 1616108 | 2147483647 195572 51 | 0.000 % |
117.20/117.28 c | 196625 | 32773 518020 1616108 | 2147483647 196625 51 | 0.001 % |
117.90/117.94 c | 197783 | 32773 518020 1616108 | 2147483647 197783 51 | 0.000 % |
118.80/118.81 c | 199058 | 32773 518020 1616108 | 2147483647 199058 51 | 0.000 % |
119.60/119.68 c | 200458 | 32773 518020 1616108 | 2147483647 200458 51 | 0.000 % |
120.20/120.27 c | 201999 | 32773 518020 1616108 | 2147483647 201999 51 | 0.000 % |
121.30/121.34 c | 203694 | 32773 518020 1616108 | 2147483647 203694 52 | 0.000 % |
122.40/122.42 c | 205557 | 32773 518020 1616108 | 2147483647 205557 52 | 0.000 % |
123.90/123.91 c | 207608 | 32773 518020 1616108 | 2147483647 207608 52 | 0.001 % |
124.00/124.03 c | 207708 | 32773 518020 1616108 | 2147483647 207708 52 | 0.000 % |
124.10/124.15 c | 207818 | 32773 518020 1616108 | 2147483647 207818 52 | 0.001 % |
124.20/124.30 c | 207939 | 32773 518020 1616108 | 2147483647 207939 52 | 0.000 % |
124.40/124.41 c | 208073 | 32773 518020 1616108 | 2147483647 208073 52 | 0.000 % |
124.50/124.56 c | 208219 | 32773 518020 1616108 | 2147483647 208219 52 | 0.000 % |
124.70/124.78 c | 208379 | 32773 518020 1616108 | 2147483647 208379 52 | 0.000 % |
124.80/124.89 c | 208555 | 32773 518020 1616108 | 2147483647 208555 52 | 0.000 % |
125.10/125.12 c | 208748 | 32773 518020 1616108 | 2147483647 208748 52 | 0.001 % |
125.30/125.34 c | 208961 | 32773 518020 1616108 | 2147483647 208961 52 | 0.001 % |
125.50/125.60 c | 209194 | 32773 518020 1616108 | 2147483647 209194 52 | 0.000 % |
125.80/125.84 c | 209450 | 32773 518020 1616108 | 2147483647 209450 52 | 0.000 % |
126.00/126.08 c | 209731 | 32773 518020 1616108 | 2147483647 209731 52 | 0.000 % |
126.30/126.40 c | 210042 | 32773 518020 1616108 | 2147483647 210042 52 | 0.001 % |
126.80/126.88 c | 210382 | 32773 518020 1616108 | 2147483647 210382 52 | 0.001 % |
127.21/127.25 c | 210754 | 32773 518020 1616108 | 2147483647 210754 52 | 0.000 % |
127.51/127.61 c | 211164 | 32773 518020 1616108 | 2147483647 211164 52 | 0.001 % |
127.91/127.94 c | 211614 | 32773 518020 1616108 | 2147483647 211614 52 | 0.000 % |
128.21/128.27 c | 212107 | 32773 518020 1616108 | 2147483647 212107 52 | 0.000 % |
128.61/128.69 c | 212651 | 32773 518020 1616108 | 2147483647 212651 52 | 0.000 % |
129.01/129.02 c | 213248 | 32773 518020 1616108 | 2147483647 213248 52 | 0.000 % |
129.51/129.56 c | 213903 | 32773 518020 1616108 | 2147483647 213903 52 | 0.000 % |
130.01/130.09 c | 214623 | 32773 518020 1616108 | 2147483647 214623 52 | 0.000 % |
130.61/130.64 c | 215415 | 32773 518020 1616108 | 2147483647 215415 52 | 0.000 % |
131.11/131.16 c | 216286 | 32773 518020 1616108 | 2147483647 216286 52 | 0.000 % |
131.71/131.76 c | 217244 | 32773 518020 1616108 | 2147483647 217244 52 | 0.000 % |
132.41/132.49 c | 218298 | 32773 518020 1616108 | 2147483647 218298 52 | 0.000 % |
133.21/133.27 c | 219457 | 32773 518020 1616108 | 2147483647 219457 52 | 0.000 % |
134.31/134.33 c | 220732 | 32773 518020 1616108 | 2147483647 220732 52 | 0.001 % |
135.31/135.40 c | 222132 | 32773 518020 1616108 | 2147483647 222132 52 | 0.000 % |
136.71/136.81 c | 223673 | 32773 518020 1616108 | 2147483647 223673 52 | 0.001 % |
138.11/138.12 c | 225367 | 32773 518020 1616108 | 2147483647 225367 52 | 0.000 % |
139.81/139.82 c | 227230 | 32773 518020 1616108 | 2147483647 227230 52 | 0.001 % |
141.51/141.57 c | 229281 | 32773 518020 1616108 | 2147483647 229281 52 | 0.001 % |
143.71/143.72 c | 231534 | 32773 518020 1616108 | 2147483647 231534 52 | 0.000 % |
143.91/143.94 c | 231635 | 32773 518020 1616108 | 2147483647 231635 52 | 0.000 % |
144.11/144.18 c | 231745 | 32773 518020 1616108 | 2147483647 231745 52 | 0.000 % |
144.31/144.33 c | 231867 | 32773 518020 1616108 | 2147483647 231867 52 | 0.000 % |
144.41/144.49 c | 232001 | 32773 518020 1616108 | 2147483647 232001 52 | 0.001 % |
144.71/144.72 c | 232147 | 32773 518020 1616108 | 2147483647 232147 52 | 0.001 % |
144.91/144.92 c | 232307 | 32773 518020 1616108 | 2147483647 232307 52 | 0.000 % |
145.11/145.21 c | 232484 | 32773 518020 1616108 | 2147483647 232484 52 | 0.000 % |
145.41/145.46 c | 232677 | 32773 518020 1616108 | 2147483647 232677 52 | 0.001 % |
145.61/145.71 c | 232890 | 32773 518020 1616108 | 2147483647 232890 52 | 0.001 % |
145.81/145.90 c | 233123 | 32773 518020 1616108 | 2147483647 233123 52 | 0.000 % |
146.11/146.15 c | 233381 | 32773 518020 1616108 | 2147483647 233381 52 | 0.000 % |
146.41/146.44 c | 233662 | 32773 518020 1616108 | 2147483647 233662 52 | 0.000 % |
146.71/146.75 c | 233971 | 32773 518020 1616108 | 2147483647 233971 52 | 0.001 % |
147.11/147.16 c | 234310 | 32773 518020 1616108 | 2147483647 234310 52 | 0.000 % |
147.41/147.50 c | 234683 | 32773 518020 1616108 | 2147483647 234683 52 | 0.001 % |
147.81/147.91 c | 235094 | 32773 518020 1616108 | 2147483647 235094 52 | 0.000 % |
148.21/148.29 c | 235543 | 32773 518020 1616108 | 2147483647 235543 52 | 0.001 % |
148.71/148.77 c | 236036 | 32773 518020 1616108 | 2147483647 236036 52 | 0.001 % |
149.21/149.31 c | 236578 | 32773 518020 1616108 | 2147483647 236578 52 | 0.000 % |
150.01/150.04 c | 237174 | 32773 518020 1616108 | 2147483647 237174 52 | 0.000 % |
150.51/150.56 c | 237829 | 32773 518020 1616108 | 2147483647 237829 52 | 0.000 % |
151.11/151.17 c | 238549 | 32773 518020 1616108 | 2147483647 238549 52 | 0.001 % |
152.01/152.06 c | 239341 | 32773 518020 1616108 | 2147483647 239341 52 | 0.000 % |
152.51/152.59 c | 240212 | 32773 518020 1616108 | 2147483647 240212 52 | 0.000 % |
153.11/153.16 c | 241172 | 32773 518020 1616108 | 2147483647 241172 52 | 0.000 % |
154.01/154.03 c | 242225 | 32773 518020 1616108 | 2147483647 242225 52 | 0.000 % |
155.01/155.05 c | 243383 | 32773 518020 1616108 | 2147483647 243383 52 | 0.000 % |
156.21/156.29 c | 244656 | 32773 518020 1616108 | 2147483647 244656 52 | 0.000 % |
157.11/157.17 c | 246056 | 32773 518020 1616108 | 2147483647 246056 52 | 0.000 % |
158.41/158.42 c | 247597 | 32773 518020 1616108 | 2147483647 247597 52 | 0.000 % |
159.71/159.78 c | 249291 | 32773 518020 1616108 | 2147483647 249291 53 | 0.000 % |
161.21/161.24 c | 251154 | 32773 518020 1616108 | 2147483647 251154 53 | 0.000 % |
162.61/162.66 c | 253206 | 32773 518020 1616108 | 2147483647 253206 53 | 0.000 % |
164.11/164.16 c | 255460 | 32773 518020 1616108 | 2147483647 255460 53 | 0.000 % |
165.81/165.89 c | 257938 | 32773 518020 1616108 | 2147483647 257938 53 | 0.000 % |
165.91/165.99 c | 258038 | 32773 518020 1616108 | 2147483647 258038 53 | 0.000 % |
166.11/166.19 c | 258150 | 32773 518020 1616108 | 2147483647 258150 53 | 0.000 % |
166.31/166.35 c | 258271 | 32773 518020 1616108 | 2147483647 258271 53 | 0.000 % |
166.41/166.49 c | 258407 | 32773 518020 1616108 | 2147483647 258407 53 | 0.000 % |
166.71/166.73 c | 258553 | 32773 518020 1616108 | 2147483647 258553 53 | 0.001 % |
166.91/166.95 c | 258714 | 32773 518020 1616108 | 2147483647 258714 53 | 0.000 % |
167.21/167.29 c | 258890 | 32773 518020 1616108 | 2147483647 258890 53 | 0.000 % |
167.51/167.51 c | 259083 | 32773 518020 1616108 | 2147483647 259083 53 | 0.001 % |
167.81/167.84 c | 259295 | 32773 518020 1616108 | 2147483647 259295 53 | 0.000 % |
168.01/168.08 c | 259528 | 32773 518020 1616108 | 2147483647 259528 53 | 0.001 % |
168.41/168.42 c | 259785 | 32773 518020 1616108 | 2147483647 259785 53 | 0.000 % |
168.71/168.75 c | 260066 | 32773 518020 1616108 | 2147483647 260066 53 | 0.000 % |
169.01/169.10 c | 260375 | 32773 518020 1616108 | 2147483647 260375 53 | 0.000 % |
169.41/169.42 c | 260716 | 32773 518020 1616108 | 2147483647 260716 53 | 0.001 % |
169.61/169.68 c | 261088 | 32773 518020 1616108 | 2147483647 261088 53 | 0.001 % |
170.01/170.10 c | 261497 | 32773 518020 1616108 | 2147483647 261497 53 | 0.001 % |
170.51/170.56 c | 261947 | 32773 518020 1616108 | 2147483647 261947 53 | 0.000 % |
170.91/170.99 c | 262440 | 32773 518020 1616108 | 2147483647 262440 53 | 0.000 % |
171.51/171.61 c | 262983 | 32773 518020 1616108 | 2147483647 262983 53 | 0.001 % |
172.21/172.24 c | 263580 | 32773 518020 1616108 | 2147483647 263580 53 | 0.000 % |
172.81/172.88 c | 264235 | 32773 518020 1616108 | 2147483647 264235 53 | 0.001 % |
173.51/173.51 c | 264956 | 32773 518020 1616108 | 2147483647 264956 53 | 0.001 % |
174.11/174.19 c | 265748 | 32773 518020 1616108 | 2147483647 265748 53 | 0.000 % |
175.11/175.14 c | 266619 | 32773 518020 1616108 | 2147483647 266619 53 | 0.001 % |
176.01/176.02 c | 267578 | 32773 518020 1616108 | 2147483647 267578 53 | 0.001 % |
177.01/177.04 c | 268631 | 32773 518020 1616108 | 2147483647 268631 53 | 0.000 % |
178.01/178.09 c | 269790 | 32773 518020 1616108 | 2147483647 269790 53 | 0.000 % |
179.41/179.49 c | 271063 | 32773 518020 1616108 | 2147483647 271063 53 | 0.000 % |
180.71/180.78 c | 272463 | 32773 518020 1616108 | 2147483647 272463 53 | 0.000 % |
182.21/182.24 c | 274003 | 32773 518020 1616108 | 2147483647 274003 53 | 0.000 % |
183.61/183.66 c | 275697 | 32773 518020 1616108 | 2147483647 275697 54 | 0.000 % |
185.11/185.21 c | 277561 | 32773 518020 1616108 | 2147483647 277561 54 | 0.000 % |
187.91/187.98 c | 279610 | 32773 518020 1616108 | 2147483647 279610 54 | 0.000 % |
190.11/190.15 c | 281863 | 32773 518020 1616108 | 2147483647 281863 54 | 0.000 % |
192.41/192.51 c | 284344 | 32773 518020 1616108 | 2147483647 284344 54 | 0.001 % |
195.01/195.07 c | 287069 | 32773 518020 1616108 | 2147483647 287069 54 | 0.000 % |
195.31/195.35 c | 287170 | 32773 518020 1616108 | 2147483647 287170 54 | 0.000 % |
195.41/195.51 c | 287280 | 32773 518020 1616108 | 2147483647 287280 54 | 0.000 % |
195.61/195.65 c | 287401 | 32773 518020 1616108 | 2147483647 287401 54 | 0.000 % |
195.82/195.84 c | 287534 | 32773 518020 1616108 | 2147483647 287534 54 | 0.000 % |
196.21/196.22 c | 287681 | 32773 518020 1616108 | 2147483647 287681 54 | 0.000 % |
196.41/196.46 c | 287841 | 32773 518020 1616108 | 2147483647 287841 54 | 0.000 % |
196.61/196.65 c | 288017 | 32773 518020 1616108 | 2147483647 288017 54 | 0.000 % |
196.81/196.92 c | 288211 | 32773 518020 1616108 | 2147483647 288211 54 | 0.000 % |
197.11/197.20 c | 288423 | 32773 518020 1616108 | 2147483647 288423 54 | 0.000 % |
197.51/197.55 c | 288658 | 32773 518020 1616108 | 2147483647 288658 54 | 0.001 % |
197.91/197.93 c | 288915 | 32773 518020 1616108 | 2147483647 288915 54 | 0.000 % |
198.21/198.31 c | 289197 | 32773 518020 1616108 | 2147483647 289197 54 | 0.001 % |
198.61/198.65 c | 289506 | 32773 518020 1616108 | 2147483647 289506 54 | 0.000 % |
199.01/199.04 c | 289845 | 32773 518020 1616108 | 2147483647 289845 54 | 0.001 % |
199.51/199.58 c | 290217 | 32773 518020 1616108 | 2147483647 290217 54 | 0.001 % |
199.91/200.01 c | 290626 | 32773 518020 1616108 | 2147483647 290626 54 | 0.001 % |
200.51/200.54 c | 291075 | 32773 518020 1616108 | 2147483647 291075 54 | 0.000 % |
201.11/201.21 c | 291569 | 32773 518020 1616108 | 2147483647 291569 54 | 0.001 % |
201.91/201.96 c | 292111 | 32773 518020 1616108 | 2147483647 292111 54 | 0.000 % |
202.42/202.47 c | 292710 | 32773 518020 1616108 | 2147483647 292710 54 | 0.000 % |
203.11/203.20 c | 293365 | 32773 518020 1616108 | 2147483647 293365 54 | 0.001 % |
203.71/203.78 c | 294085 | 32773 518020 1616108 | 2147483647 294085 54 | 0.000 % |
204.62/204.71 c | 294877 | 32773 518020 1616108 | 2147483647 294877 54 | 0.001 % |
205.61/205.65 c | 295750 | 32773 518020 1616108 | 2147483647 295750 54 | 0.000 % |
206.51/206.59 c | 296708 | 32773 518020 1616108 | 2147483647 296708 54 | 0.001 % |
207.61/207.61 c | 297761 | 32773 518020 1616108 | 2147483647 297761 54 | 0.001 % |
208.51/208.59 c | 298921 | 32773 518020 1616108 | 2147483647 298921 54 | 0.001 % |
209.91/209.95 c | 300194 | 32773 518020 1616108 | 2147483647 300194 54 | 0.000 % |
211.11/211.19 c | 301594 | 32773 518020 1616108 | 2147483647 301594 54 | 0.000 % |
212.61/212.69 c | 303134 | 32773 518020 1616108 | 2147483647 303134 54 | 0.000 % |
214.11/214.13 c | 304828 | 32773 518020 1616108 | 2147483647 304828 54 | 0.001 % |
215.71/215.79 c | 306691 | 32773 518020 1616108 | 2147483647 306691 54 | 0.000 % |
218.11/218.14 c | 308742 | 32773 518020 1616108 | 2147483647 308742 54 | 0.000 % |
220.11/220.11 c | 310997 | 32773 518020 1616108 | 2147483647 310997 54 | 0.001 % |
223.01/223.03 c | 313475 | 32773 518020 1616108 | 2147483647 313475 54 | 0.001 % |
226.21/226.29 c | 316200 | 32773 518020 1616108 | 2147483647 316200 54 | 0.000 % |
229.92/229.93 c | 319197 | 32773 518020 1616108 | 2147483647 319197 54 | 0.001 % |
230.01/230.10 c | 319298 | 32773 518020 1616108 | 2147483647 319298 54 | 0.000 % |
230.21/230.24 c | 319408 | 32773 518020 1616108 | 2147483647 319408 54 | 0.001 % |
230.41/230.41 c | 319529 | 32773 518020 1616108 | 2147483647 319529 54 | 0.001 % |
230.61/230.66 c | 319663 | 32773 518020 1616108 | 2147483647 319663 54 | 0.000 % |
230.81/230.81 c | 319810 | 32773 518020 1616108 | 2147483647 319810 54 | 0.001 % |
231.02/231.07 c | 319970 | 32773 518020 1616108 | 2147483647 319970 54 | 0.000 % |
231.31/231.36 c | 320146 | 32773 518020 1616108 | 2147483647 320146 54 | 0.000 % |
231.51/231.52 c | 320339 | 32773 518020 1616108 | 2147483647 320339 54 | 0.000 % |
231.81/231.85 c | 320552 | 32773 518020 1616108 | 2147483647 320552 54 | 0.000 % |
232.01/232.09 c | 320786 | 32773 518020 1616108 | 2147483647 320786 54 | 0.000 % |
232.31/232.32 c | 321045 | 32773 518020 1616108 | 2147483647 321045 54 | 0.000 % |
232.51/232.58 c | 321327 | 32773 518020 1616108 | 2147483647 321327 54 | 0.000 % |
232.92/232.95 c | 321636 | 32773 518020 1616108 | 2147483647 321636 54 | 0.000 % |
233.12/233.17 c | 321975 | 32773 518020 1616108 | 2147483647 321975 54 | 0.000 % |
233.52/233.53 c | 322347 | 32773 518020 1616108 | 2147483647 322347 54 | 0.000 % |
233.82/233.86 c | 322756 | 32773 518020 1616108 | 2147483647 322756 54 | 0.000 % |
234.22/234.22 c | 323207 | 32773 518020 1616108 | 2147483647 323207 54 | 0.000 % |
234.52/234.52 c | 323700 | 32773 518020 1616108 | 2147483647 323700 54 | 0.000 % |
234.92/234.96 c | 324242 | 32773 518020 1616108 | 2147483647 324242 54 | 0.000 % |
235.42/235.49 c | 324839 | 32773 518020 1616108 | 2147483647 324839 54 | 0.000 % |
236.02/236.05 c | 325494 | 32773 518020 1616108 | 2147483647 325494 54 | 0.000 % |
236.52/236.56 c | 326221 | 32773 518020 1616108 | 2147483647 326221 54 | 0.000 % |
237.02/237.05 c | 327013 | 32773 518020 1616108 | 2147483647 327013 54 | 0.000 % |
237.62/237.66 c | 327884 | 32773 518020 1616108 | 2147483647 327884 54 | 0.000 % |
238.32/238.36 c | 328843 | 32773 518020 1616108 | 2147483647 328843 54 | 0.000 % |
239.22/239.29 c | 329897 | 32773 518020 1616108 | 2147483647 329897 54 | 0.000 % |
240.12/240.12 c | 331055 | 32773 518020 1616108 | 2147483647 331055 54 | 0.000 % |
240.92/241.00 c | 332328 | 32773 518020 1616108 | 2147483647 332328 54 | 0.000 % |
241.92/241.97 c | 333728 | 32773 518020 1616108 | 2147483647 333728 54 | 0.000 % |
242.82/242.82 c | 335271 | 32773 518020 1616108 | 2147483647 335271 54 | 0.000 % |
243.82/243.82 c | 336965 | 32773 518020 1616108 | 2147483647 336965 54 | 0.001 % |
245.22/245.26 c | 338828 | 32773 518020 1616108 | 2147483647 338828 54 | 0.000 % |
247.32/247.34 c | 340877 | 32773 518020 1616108 | 2147483647 340877 54 | 0.000 % |
248.72/248.78 c | 343130 | 32773 518020 1616108 | 2147483647 343130 54 | 0.000 % |
251.42/251.48 c | 345608 | 32773 518020 1616108 | 2147483647 345608 54 | 0.000 % |
253.52/253.55 c | 348334 | 32773 518020 1616108 | 2147483647 348334 54 | 0.000 % |
256.32/256.34 c | 351332 | 32773 518020 1616108 | 2147483647 351332 54 | 0.000 % |
259.32/259.32 c | 354628 | 32773 518020 1616108 | 2147483647 354628 54 | 0.000 % |
259.32/259.41 c | 354728 | 32773 518020 1616108 | 2147483647 354728 54 | 0.000 % |
259.52/259.55 c | 354838 | 32773 518020 1616108 | 2147483647 354838 54 | 0.000 % |
259.62/259.68 c | 354960 | 32773 518020 1616108 | 2147483647 354960 54 | 0.000 % |
259.82/259.82 c | 355096 | 32773 518020 1616108 | 2147483647 355096 54 | 0.001 % |
260.22/260.23 c | 355243 | 32773 518020 1616108 | 2147483647 355243 54 | 0.000 % |
260.52/260.53 c | 355404 | 32773 518020 1616108 | 2147483647 355404 54 | 0.001 % |
261.02/261.02 c | 355580 | 32773 518020 1616108 | 2147483647 355580 54 | 0.001 % |
261.42/261.44 c | 355774 | 32773 518020 1616108 | 2147483647 355774 54 | 0.001 % |
261.72/261.79 c | 355986 | 32773 518020 1616108 | 2147483647 355986 54 | 0.000 % |
262.22/262.27 c | 356219 | 32773 518020 1616108 | 2147483647 356219 54 | 0.001 % |
262.52/262.61 c | 356475 | 32773 518020 1616108 | 2147483647 356475 54 | 0.001 % |
263.02/263.06 c | 356756 | 32773 518020 1616108 | 2147483647 356756 54 | 0.000 % |
263.42/263.42 c | 357065 | 32773 518020 1616108 | 2147483647 357065 54 | 0.000 % |
263.92/263.98 c | 357406 | 32773 518020 1616108 | 2147483647 357406 54 | 0.000 % |
264.72/264.79 c | 357778 | 32773 518020 1616108 | 2147483647 357778 54 | 0.000 % |
265.32/265.40 c | 358187 | 32773 518020 1616108 | 2147483647 358187 54 | 0.000 % |
266.02/266.04 c | 358636 | 32773 518020 1616108 | 2147483647 358636 54 | 0.001 % |
266.92/266.98 c | 359130 | 32773 518020 1616108 | 2147483647 359130 54 | 0.000 % |
267.52/267.56 c | 359673 | 32773 518020 1616108 | 2147483647 359673 54 | 0.000 % |
268.42/268.44 c | 360269 | 32773 518020 1616108 | 2147483647 360269 54 | 0.000 % |
269.42/269.44 c | 360928 | 32773 518020 1616108 | 2147483647 360928 54 | 0.000 % |
270.32/270.33 c | 361650 | 32773 518020 1616108 | 2147483647 361650 54 | 0.000 % |
271.22/271.26 c | 362442 | 32773 518020 1616108 | 2147483647 362442 54 | 0.000 % |
272.12/272.16 c | 363313 | 32773 518020 1616108 | 2147483647 363313 54 | 0.000 % |
273.42/273.43 c | 364271 | 32773 518020 1616108 | 2147483647 364271 54 | 0.000 % |
274.72/274.76 c | 365325 | 32773 518020 1616108 | 2147483647 365325 54 | 0.000 % |
276.02/276.11 c | 366483 | 32773 518020 1616108 | 2147483647 366483 54 | 0.000 % |
277.72/277.77 c | 367756 | 32773 518020 1616108 | 2147483647 367756 54 | 0.000 % |
279.62/279.65 c | 369156 | 32773 518020 1616108 | 2147483647 369156 54 | 0.000 % |
282.12/282.18 c | 370696 | 32773 518020 1616108 | 2147483647 370696 54 | 0.000 % |
284.82/284.90 c | 372390 | 32773 518020 1616108 | 2147483647 372390 54 | 0.000 % |
287.52/287.52 c | 374255 | 32773 518020 1616108 | 2147483647 374255 54 | 0.000 % |
290.22/290.26 c | 376308 | 32773 518020 1616108 | 2147483647 376308 54 | 0.000 % |
293.02/293.04 c | 378561 | 32773 518020 1616108 | 2147483647 378561 54 | 0.000 % |
296.12/296.14 c | 381040 | 32773 518020 1616108 | 2147483647 381040 54 | 0.000 % |
298.82/298.83 c | 383767 | 32773 518020 1616108 | 2147483647 383767 54 | 0.000 % |
300.92/300.91 c | 386764 | 32773 518020 1616108 | 2147483647 386764 55 | 0.001 % |
303.72/303.76 c | 390062 | 32773 518020 1616108 | 2147483647 390062 54 | 0.000 % |
306.62/306.70 c | 393688 | 32773 518020 1616108 | 2147483647 393688 55 | 0.001 % |
306.82/306.85 c | 393788 | 32773 518020 1616108 | 2147483647 393788 55 | 0.001 % |
306.92/306.99 c | 393898 | 32773 518020 1616108 | 2147483647 393898 55 | 0.000 % |
307.12/307.11 c | 394020 | 32773 518020 1616108 | 2147483647 394020 55 | 0.000 % |
307.22/307.26 c | 394153 | 32773 518020 1616108 | 2147483647 394153 55 | 0.000 % |
307.42/307.44 c | 394299 | 32773 518020 1616108 | 2147483647 394299 55 | 0.000 % |
307.62/307.66 c | 394459 | 32773 518020 1616108 | 2147483647 394459 55 | 0.001 % |
307.82/307.88 c | 394636 | 32773 518020 1616108 | 2147483647 394636 55 | 0.000 % |
308.12/308.19 c | 394829 | 32773 518020 1616108 | 2147483647 394829 55 | 0.000 % |
308.42/308.44 c | 395041 | 32773 518020 1616108 | 2147483647 395041 55 | 0.000 % |
308.62/308.63 c | 395275 | 32773 518020 1616108 | 2147483647 395275 55 | 0.000 % |
308.92/308.94 c | 395531 | 32773 518020 1616108 | 2147483647 395531 55 | 0.000 % |
309.22/309.27 c | 395813 | 32773 518020 1616108 | 2147483647 395813 55 | 0.000 % |
309.42/309.50 c | 396122 | 32773 518020 1616108 | 2147483647 396122 55 | 0.000 % |
309.82/309.82 c | 396461 | 32773 518020 1616108 | 2147483647 396461 55 | 0.001 % |
310.02/310.11 c | 396833 | 32773 518020 1616108 | 2147483647 396833 55 | 0.000 % |
310.42/310.49 c | 397244 | 32773 518020 1616108 | 2147483647 397244 55 | 0.001 % |
310.92/310.99 c | 397695 | 32773 518020 1616108 | 2147483647 397695 55 | 0.001 % |
311.52/311.53 c | 398189 | 32773 518020 1616108 | 2147483647 398189 55 | 0.000 % |
312.02/312.10 c | 398733 | 32773 518020 1616108 | 2147483647 398733 55 | 0.000 % |
312.82/312.82 c | 399331 | 32773 518020 1616108 | 2147483647 399331 55 | 0.000 % |
313.62/313.70 c | 399987 | 32773 518020 1616108 | 2147483647 399987 55 | 0.000 % |
314.42/314.51 c | 400707 | 32773 518020 1616108 | 2147483647 400707 55 | 0.000 % |
315.62/315.64 c | 401499 | 32773 518020 1616108 | 2147483647 401499 55 | 0.000 % |
316.42/316.42 c | 402371 | 32773 518020 1616108 | 2147483647 402371 54 | 0.000 % |
317.52/317.56 c | 403329 | 32773 518020 1616108 | 2147483647 403329 54 | 0.000 % |
318.62/318.65 c | 404382 | 32773 518020 1616108 | 2147483647 404382 54 | 0.000 % |
319.52/319.52 c | 405540 | 32773 518020 1616108 | 2147483647 405540 54 | 0.000 % |
320.42/320.47 c | 406813 | 32773 518020 1616108 | 2147483647 406813 54 | 0.001 % |
322.02/322.06 c | 408213 | 32773 518020 1616108 | 2147483647 408213 54 | 0.001 % |
323.52/323.53 c | 409753 | 32773 518020 1616108 | 2147483647 409753 54 | 0.001 % |
325.52/325.53 c | 411447 | 32773 518020 1616108 | 2147483647 411447 54 | 0.001 % |
327.02/327.03 c | 413310 | 32773 518020 1616108 | 2147483647 413310 54 | 0.001 % |
329.12/329.12 c | 415360 | 32773 518020 1616108 | 2147483647 415360 54 | 0.000 % |
331.42/331.47 c | 417614 | 32773 518020 1616108 | 2147483647 417614 54 | 0.001 % |
334.02/334.06 c | 420092 | 32773 518020 1616108 | 2147483647 420092 54 | 0.000 % |
336.92/336.96 c | 422818 | 32773 518020 1616108 | 2147483647 422818 54 | 0.001 % |
340.22/340.30 c | 425815 | 32773 518020 1616108 | 2147483647 425815 54 | 0.000 % |
344.62/344.65 c | 429111 | 32773 518020 1616108 | 2147483647 429111 54 | 0.001 % |
348.52/348.58 c | 432738 | 32773 518020 1616108 | 2147483647 432738 54 | 0.001 % |
352.32/352.40 c | 436725 | 32773 518020 1616108 | 2147483647 436725 54 | 0.000 % |
352.52/352.53 c | 436828 | 32773 518020 1616108 | 2147483647 436828 54 | 0.000 % |
352.72/352.72 c | 436939 | 32773 518020 1616108 | 2147483647 436939 54 | 0.001 % |
352.82/352.89 c | 437061 | 32773 518020 1616108 | 2147483647 437061 54 | 0.001 % |
353.22/353.23 c | 437194 | 32773 518020 1616108 | 2147483647 437194 54 | 0.000 % |
353.42/353.45 c | 437340 | 32773 518020 1616108 | 2147483647 437340 54 | 0.000 % |
353.62/353.67 c | 437501 | 32773 518020 1616108 | 2147483647 437501 54 | 0.000 % |
354.23/354.25 c | 437679 | 32773 518020 1616108 | 2147483647 437679 54 | 0.000 % |
354.52/354.53 c | 437872 | 32773 518020 1616108 | 2147483647 437872 54 | 0.000 % |
354.82/354.90 c | 438084 | 32773 518020 1616108 | 2147483647 438084 54 | 0.000 % |
355.12/355.21 c | 438317 | 32773 518020 1616108 | 2147483647 438317 54 | 0.000 % |
355.62/355.66 c | 438573 | 32773 518020 1616108 | 2147483647 438573 54 | 0.000 % |
356.02/356.06 c | 438855 | 32773 518020 1616108 | 2147483647 438855 54 | 0.000 % |
356.52/356.51 c | 439164 | 32773 518020 1616108 | 2147483647 439164 54 | 0.001 % |
357.02/357.04 c | 439504 | 32773 518020 1616108 | 2147483647 439504 54 | 0.000 % |
357.42/357.51 c | 439877 | 32773 518020 1616108 | 2147483647 439877 54 | 0.000 % |
358.02/358.10 c | 440286 | 32773 518020 1616108 | 2147483647 440286 54 | 0.000 % |
358.52/358.60 c | 440735 | 32773 518020 1616108 | 2147483647 440735 54 | 0.000 % |
359.12/359.17 c | 441228 | 32773 518020 1616108 | 2147483647 441228 54 | 0.001 % |
359.82/359.82 c | 441770 | 32773 518020 1616108 | 2147483647 441770 54 | 0.000 % |
360.52/360.52 c | 442366 | 32773 518020 1616108 | 2147483647 442366 54 | 0.001 % |
361.22/361.29 c | 443022 | 32773 518020 1616108 | 2147483647 443022 53 | 0.000 % |
362.02/362.09 c | 443742 | 32773 518020 1616108 | 2147483647 443742 53 | 0.000 % |
362.83/362.88 c | 444535 | 32773 518020 1616108 | 2147483647 444535 53 | 0.000 % |
363.73/363.72 c | 445406 | 32773 518020 1616108 | 2147483647 445406 53 | 0.001 % |
365.33/365.38 c | 446365 | 32773 518020 1616108 | 2147483647 446365 53 | 0.001 % |
366.43/366.46 c | 447418 | 32773 518020 1616108 | 2147483647 447418 53 | 0.000 % |
367.73/367.73 c | 448576 | 32773 518020 1616108 | 2147483647 448576 53 | 0.001 % |
369.13/369.20 c | 449850 | 32773 518020 1616108 | 2147483647 449850 53 | 0.000 % |
371.13/371.17 c | 451250 | 32773 518020 1616108 | 2147483647 451250 53 | 0.000 % |
373.13/373.18 c | 452791 | 32773 518020 1616108 | 2147483647 452791 53 | 0.000 % |
375.73/375.78 c | 454485 | 32773 518020 1616108 | 2147483647 454485 53 | 0.001 % |
377.13/377.12 c | 456349 | 32773 518020 1616108 | 2147483647 456349 53 | 0.000 % |
379.83/379.91 c | 458399 | 32773 518020 1616108 | 2147483647 458399 53 | 0.000 % |
382.53/382.58 c | 460653 | 32773 518020 1616108 | 2147483647 460653 53 | 0.000 % |
385.53/385.55 c | 463132 | 32773 518020 1616108 | 2147483647 463132 53 | 0.000 % |
388.73/388.79 c | 465858 | 32773 518020 1616108 | 2147483647 465858 53 | 0.000 % |
392.43/392.45 c | 468855 | 32773 518020 1616108 | 2147483647 468855 53 | 0.000 % |
396.63/396.69 c | 472152 | 32773 518020 1616108 | 2147483647 472152 53 | 0.000 % |
400.93/401.01 c | 475777 | 32773 518020 1616108 | 2147483647 475777 53 | 0.000 % |
405.33/405.32 c | 479765 | 32773 518020 1616108 | 2147483647 479765 53 | 0.000 % |
410.63/410.63 c | 484150 | 32773 518020 1616108 | 2147483647 484150 53 | 0.000 % |
410.73/410.81 c | 484251 | 32773 518020 1616108 | 2147483647 484251 53 | 0.000 % |
411.03/411.03 c | 484361 | 32773 518020 1616108 | 2147483647 484361 53 | 0.000 % |
411.13/411.20 c | 484482 | 32773 518020 1616108 | 2147483647 484482 53 | 0.000 % |
411.43/411.51 c | 484616 | 32773 518020 1616108 | 2147483647 484616 53 | 0.000 % |
411.83/411.88 c | 484762 | 32773 518020 1616108 | 2147483647 484762 53 | 0.000 % |
412.13/412.19 c | 484922 | 32773 518020 1616108 | 2147483647 484922 53 | 0.000 % |
412.53/412.53 c | 485101 | 32773 518020 1616108 | 2147483647 485101 53 | 0.000 % |
412.93/412.94 c | 485294 | 32773 518020 1616108 | 2147483647 485294 53 | 0.000 % |
413.33/413.34 c | 485506 | 32773 518020 1616108 | 2147483647 485506 53 | 0.000 % |
413.83/413.83 c | 485739 | 32773 518020 1616108 | 2147483647 485739 53 | 0.000 % |
414.23/414.23 c | 485996 | 32773 518020 1616108 | 2147483647 485996 53 | 0.000 % |
414.63/414.65 c | 486278 | 32773 518020 1616108 | 2147483647 486278 53 | 0.001 % |
415.13/415.16 c | 486587 | 32773 518020 1616108 | 2147483647 486587 53 | 0.000 % |
415.63/415.70 c | 486926 | 32773 518020 1616108 | 2147483647 486926 53 | 0.001 % |
416.53/416.54 c | 487298 | 32773 518020 1616108 | 2147483647 487298 53 | 0.001 % |
417.13/417.15 c | 487707 | 32773 518020 1616108 | 2147483647 487707 53 | 0.000 % |
417.83/417.82 c | 488156 | 32773 518020 1616108 | 2147483647 488156 53 | 0.001 % |
418.33/418.39 c | 488649 | 32773 518020 1616108 | 2147483647 488649 53 | 0.001 % |
419.13/419.20 c | 489191 | 32773 518020 1616108 | 2147483647 489191 53 | 0.001 % |
420.03/420.09 c | 489788 | 32773 518020 1616108 | 2147483647 489788 53 | 0.001 % |
421.12/421.11 c | 490446 | 32773 518020 1616108 | 2147483647 490446 53 | 0.000 % |
422.12/422.20 c | 491166 | 32773 518020 1616108 | 2147483647 491166 53 | 0.000 % |
423.52/423.52 c | 491959 | 32773 518020 1616108 | 2147483647 491959 53 | 0.001 % |
425.22/425.24 c | 492830 | 32773 518020 1616108 | 2147483647 492830 53 | 0.001 % |
426.72/426.71 c | 493788 | 32773 518020 1616108 | 2147483647 493788 53 | 0.000 % |
428.12/428.17 c | 494842 | 32773 518020 1616108 | 2147483647 494842 53 | 0.000 % |
429.92/429.97 c | 496000 | 32773 518020 1616108 | 2147483647 496000 53 | 0.001 % |
431.72/431.78 c | 497273 | 32773 518020 1616108 | 2147483647 497273 53 | 0.001 % |
433.72/433.71 c | 498673 | 32773 518020 1616108 | 2147483647 498673 53 | 0.001 % |
436.02/436.10 c | 500213 | 32773 518020 1616108 | 2147483647 500213 53 | 0.000 % |
438.62/438.64 c | 501908 | 32773 518020 1616108 | 2147483647 501908 53 | 0.000 % |
441.32/441.38 c | 503772 | 32773 518020 1616108 | 2147483647 503772 53 | 0.000 % |
444.02/444.07 c | 505821 | 32773 518020 1616108 | 2147483647 505821 53 | 0.000 % |
447.62/447.70 c | 508074 | 32773 518020 1616108 | 2147483647 508074 53 | 0.000 % |
451.32/451.33 c | 510552 | 32773 518020 1616108 | 2147483647 510552 53 | 0.000 % |
455.62/455.70 c | 513278 | 32773 518020 1616108 | 2147483647 513278 53 | 0.000 % |
460.72/460.76 c | 516275 | 32773 518020 1616108 | 2147483647 516275 53 | 0.001 % |
464.23/464.28 c | 519571 | 32773 518020 1616108 | 2147483647 519571 53 | 0.000 % |
468.02/468.05 c | 523196 | 32773 518020 1616108 | 520000 523196 53 | 0.001 % |
478.02/478.04 c | 527183 | 32773 518020 1616108 | 520000 452475 51 | 0.000 % |
484.63/484.70 c | 531568 | 32773 518020 1616108 | 455292 456860 51 | 0.000 % |
493.24/493.26 c | 536391 | 32773 518020 1616108 | 455292 415997 52 | 0.000 % |
493.34/493.40 c | 536491 | 32773 518020 1616108 | 455292 416097 52 | 0.000 % |
493.64/493.68 c | 536601 | 32773 518020 1616108 | 455292 416207 52 | 0.000 % |
493.84/493.88 c | 536722 | 32773 518020 1616108 | 455292 416328 52 | 0.000 % |
494.04/494.05 c | 536855 | 32773 518020 1616108 | 455292 416461 52 | 0.000 % |
494.34/494.40 c | 537001 | 32773 518020 1616108 | 455292 416607 52 | 0.000 % |
494.74/494.77 c | 537161 | 32773 518020 1616108 | 455292 416767 52 | 0.000 % |
495.34/495.36 c | 537338 | 32773 518020 1616108 | 455292 416944 52 | 0.000 % |
495.64/495.68 c | 537532 | 32773 518020 1616108 | 455292 417138 52 | 0.000 % |
496.04/496.11 c | 537744 | 32773 518020 1616108 | 455292 417350 52 | 0.000 % |
496.44/496.50 c | 537978 | 32773 518020 1616108 | 455292 417584 52 | 0.001 % |
496.84/496.86 c | 538234 | 32773 518020 1616108 | 455292 417840 52 | 0.001 % |
497.23/497.31 c | 538515 | 32773 518020 1616108 | 455292 418121 52 | 0.000 % |
497.63/497.64 c | 538824 | 32773 518020 1616108 | 455292 418430 52 | 0.000 % |
498.22/498.29 c | 539165 | 32773 518020 1616108 | 455292 418771 52 | 0.000 % |
498.72/498.79 c | 539537 | 32773 518020 1616108 | 455292 419143 52 | 0.000 % |
499.32/499.36 c | 539946 | 32773 518020 1616108 | 455292 419552 52 | 0.000 % |
499.82/499.87 c | 540396 | 32773 518020 1616108 | 2147483647 420002 52 | 0.000 % |
500.52/500.55 c | 540890 | 32773 518020 1616108 | 2147483647 420496 52 | 0.001 % |
501.22/501.26 c | 541433 | 32773 518020 1616108 | 2147483647 421039 52 | 0.000 % |
501.82/501.90 c | 542029 | 32773 518020 1616108 | 2147483647 421635 52 | 0.000 % |
502.52/502.54 c | 542686 | 32773 518020 1616108 | 2147483647 422292 52 | 0.000 % |
503.41/503.44 c | 543406 | 32773 518020 1616108 | 2147483647 423012 52 | 0.000 % |
504.31/504.37 c | 544198 | 32773 518020 1616108 | 2147483647 423804 52 | 0.000 % |
505.41/505.44 c | 545069 | 32773 518020 1616108 | 2147483647 424675 52 | 0.000 % |
506.31/506.34 c | 546027 | 32773 518020 1616108 | 2147483647 425633 52 | 0.000 % |
507.11/507.12 c | 547080 | 32773 518020 1616108 | 2147483647 426686 52 | 0.000 % |
508.61/508.64 c | 548239 | 32773 518020 1616108 | 2147483647 427845 52 | 0.000 % |
509.81/509.89 c | 549512 | 32773 518020 1616108 | 2147483647 429118 52 | 0.000 % |
511.31/511.34 c | 550912 | 32773 518020 1616108 | 2147483647 430518 52 | 0.000 % |
512.81/512.91 c | 552453 | 32773 518020 1616108 | 2147483647 432059 52 | 0.000 % |
514.21/514.25 c | 554148 | 32773 518020 1616108 | 2147483647 433754 52 | 0.000 % |
516.11/516.14 c | 556011 | 32773 518020 1616108 | 2147483647 435617 52 | 0.000 % |
518.11/518.16 c | 558061 | 32773 518020 1616108 | 2147483647 437667 52 | 0.000 % |
520.41/520.42 c | 560315 | 32773 518020 1616108 | 2147483647 439921 53 | 0.000 % |
523.21/523.23 c | 562794 | 32773 518020 1616108 | 2147483647 442400 53 | 0.000 % |
525.71/525.72 c | 565519 | 32773 518020 1616108 | 2147483647 445125 53 | 0.000 % |
528.31/528.35 c | 568516 | 32773 518020 1616108 | 2147483647 448122 53 | 0.001 % |
532.61/532.67 c | 571812 | 32773 518020 1616108 | 2147483647 451418 53 | 0.000 % |
536.21/536.21 c | 575437 | 32773 518020 1616108 | 2147483647 455043 53 | 0.001 % |
541.41/541.47 c | 579424 | 32773 518020 1616108 | 2147483647 459030 53 | 0.001 % |
545.21/545.22 c | 583809 | 32773 518020 1616108 | 2147483647 463415 53 | 0.000 % |
548.81/548.82 c | 588632 | 32773 518020 1616108 | 2147483647 468238 53 | 0.000 % |
553.91/553.92 c | 593939 | 32773 518020 1616108 | 2147483647 473545 53 | 0.000 % |
554.11/554.16 c | 594039 | 32773 518020 1616108 | 2147483647 473645 53 | 0.000 % |
554.31/554.37 c | 594149 | 32773 518020 1616108 | 2147483647 473755 53 | 0.000 % |
554.61/554.69 c | 594272 | 32773 518020 1616108 | 2147483647 473878 53 | 0.000 % |
554.81/554.89 c | 594405 | 32773 518020 1616108 | 2147483647 474011 53 | 0.000 % |
555.11/555.14 c | 594553 | 32773 518020 1616108 | 2147483647 474159 53 | 0.000 % |
555.41/555.43 c | 594713 | 32773 518020 1616108 | 2147483647 474319 53 | 0.001 % |
555.71/555.73 c | 594890 | 32773 518020 1616108 | 2147483647 474496 53 | 0.000 % |
556.01/556.02 c | 595084 | 32773 518020 1616108 | 2147483647 474690 53 | 0.001 % |
556.51/556.54 c | 595296 | 32773 518020 1616108 | 2147483647 474902 53 | 0.001 % |
556.81/556.91 c | 595529 | 32773 518020 1616108 | 2147483647 475135 53 | 0.000 % |
557.21/557.23 c | 595787 | 32773 518020 1616108 | 2147483647 475393 53 | 0.000 % |
557.61/557.69 c | 596068 | 32773 518020 1616108 | 2147483647 475674 53 | 0.000 % |
558.11/558.21 c | 596377 | 32773 518020 1616108 | 2147483647 475983 53 | 0.000 % |
558.71/558.73 c | 596716 | 32773 518020 1616108 | 2147483647 476322 53 | 0.000 % |
559.11/559.18 c | 597088 | 32773 518020 1616108 | 2147483647 476694 53 | 0.000 % |
559.61/559.68 c | 597497 | 32773 518020 1616108 | 2147483647 477103 53 | 0.001 % |
560.01/560.08 c | 597947 | 32773 518020 1616108 | 2147483647 477553 53 | 0.000 % |
560.51/560.56 c | 598441 | 32773 518020 1616108 | 2147483647 478047 53 | 0.000 % |
561.11/561.15 c | 598984 | 32773 518020 1616108 | 2147483647 478590 53 | 0.001 % |
561.91/561.99 c | 599580 | 32773 518020 1616108 | 2147483647 479186 53 | 0.001 % |
562.81/562.83 c | 600236 | 32773 518020 1616108 | 2147483647 479842 53 | 0.000 % |
563.61/563.69 c | 600957 | 32773 518020 1616108 | 2147483647 480563 53 | 0.001 % |
564.41/564.51 c | 601750 | 32773 518020 1616108 | 2147483647 481356 53 | 0.001 % |
565.61/565.65 c | 602621 | 32773 518020 1616108 | 2147483647 482227 53 | 0.001 % |
566.91/566.95 c | 603580 | 32773 518020 1616108 | 2147483647 483186 53 | 0.001 % |
568.41/568.50 c | 604633 | 32773 518020 1616108 | 2147483647 484239 53 | 0.000 % |
570.31/570.39 c | 605791 | 32773 518020 1616108 | 2147483647 485397 53 | 0.000 % |
571.71/571.76 c | 607064 | 32773 518020 1616108 | 2147483647 486670 53 | 0.001 % |
573.71/573.75 c | 608465 | 32773 518020 1616108 | 2147483647 488071 53 | 0.000 % |
575.51/575.58 c | 610006 | 32773 518020 1616108 | 2147483647 489612 53 | 0.001 % |
577.11/577.14 c | 611700 | 32773 518020 1616108 | 2147483647 491306 53 | 0.001 % |
579.51/579.60 c | 613564 | 32773 518020 1616108 | 2147483647 493170 53 | 0.001 % |
582.41/582.44 c | 615613 | 32773 518020 1616108 | 2147483647 495219 54 | 0.000 % |
585.11/585.12 c | 617866 | 32773 518020 1616108 | 2147483647 497472 54 | 0.001 % |
588.31/588.40 c | 620344 | 32773 518020 1616108 | 499606 499950 53 | 0.000 % |
597.51/597.59 c | 623069 | 32773 518020 1616108 | 499606 435761 53 | 0.000 % |
600.41/600.49 c | 626068 | 32773 518020 1616108 | 499606 438760 54 | 0.000 % |
603.31/603.33 c | 629364 | 32773 518020 1616108 | 499606 442056 54 | 0.000 % |
606.21/606.30 c | 632990 | 32773 518020 1616108 | 2147483647 445682 54 | 0.000 % |
610.52/610.53 c | 636978 | 32773 518020 1616108 | 2147483647 449670 54 | 0.000 % |
614.81/614.85 c | 641366 | 32773 518020 1616108 | 2147483647 454058 54 | 0.000 % |
619.91/619.91 c | 646190 | 32773 518020 1616108 | 2147483647 458882 54 | 0.000 % |
624.92/624.99 c | 651495 | 32773 518020 1616108 | 2147483647 464187 54 | 0.000 % |
631.02/631.03 c | 657330 | 32773 518020 1616108 | 2147483647 470022 54 | 0.000 % |
631.12/631.20 c | 657431 | 32773 518020 1616108 | 2147483647 470123 54 | 0.000 % |
631.32/631.33 c | 657541 | 32773 518020 1616108 | 2147483647 470233 54 | 0.000 % |
631.62/631.69 c | 657662 | 32773 518020 1616108 | 2147483647 470354 54 | 0.000 % |
632.02/632.09 c | 657795 | 32773 518020 1616108 | 2147483647 470487 54 | 0.000 % |
632.32/632.33 c | 657942 | 32773 518020 1616108 | 2147483647 470634 54 | 0.000 % |
632.62/632.65 c | 658102 | 32773 518020 1616108 | 2147483647 470794 54 | 0.000 % |
632.92/633.00 c | 658278 | 32773 518020 1616108 | 2147483647 470970 54 | 0.000 % |
633.22/633.26 c | 658471 | 32773 518020 1616108 | 2147483647 471163 54 | 0.000 % |
633.52/633.59 c | 658684 | 32773 518020 1616108 | 2147483647 471376 54 | 0.000 % |
633.82/633.89 c | 658917 | 32773 518020 1616108 | 2147483647 471609 54 | 0.000 % |
634.32/634.32 c | 659173 | 32773 518020 1616108 | 2147483647 471865 54 | 0.000 % |
634.82/634.82 c | 659454 | 32773 518020 1616108 | 2147483647 472146 54 | 0.000 % |
635.42/635.45 c | 659763 | 32773 518020 1616108 | 2147483647 472455 54 | 0.000 % |
635.82/635.91 c | 660102 | 32773 518020 1616108 | 2147483647 472794 54 | 0.000 % |
636.52/636.52 c | 660475 | 32773 518020 1616108 | 2147483647 473167 54 | 0.000 % |
637.12/637.13 c | 660884 | 32773 518020 1616108 | 2147483647 473576 54 | 0.000 % |
637.92/637.92 c | 661334 | 32773 518020 1616108 | 2147483647 474026 54 | 0.000 % |
638.72/638.78 c | 661827 | 32773 518020 1616108 | 2147483647 474519 54 | 0.000 % |
639.32/639.32 c | 662371 | 32773 518020 1616108 | 2147483647 475063 54 | 0.000 % |
639.82/639.91 c | 662967 | 32773 518020 1616108 | 2147483647 475659 54 | 0.000 % |
640.62/640.66 c | 663622 | 32773 518020 1616108 | 2147483647 476314 54 | 0.000 % |
641.52/641.55 c | 664342 | 32773 518020 1616108 | 2147483647 477034 53 | 0.000 % |
642.62/642.66 c | 665136 | 32773 518020 1616108 | 2147483647 477828 53 | 0.000 % |
643.72/643.79 c | 666008 | 32773 518020 1616108 | 2147483647 478700 53 | 0.000 % |
644.62/644.71 c | 666968 | 32773 518020 1616108 | 2147483647 479660 54 | 0.000 % |
645.92/645.92 c | 668021 | 32773 518020 1616108 | 2147483647 480713 54 | 0.000 % |
647.42/647.42 c | 669180 | 32773 518020 1616108 | 2147483647 481872 54 | 0.000 % |
648.72/648.77 c | 670454 | 32773 518020 1616108 | 2147483647 483146 54 | 0.000 % |
650.12/650.21 c | 671854 | 32773 518020 1616108 | 2147483647 484546 54 | 0.000 % |
652.02/652.09 c | 673395 | 32773 518020 1616108 | 2147483647 486087 54 | 0.000 % |
654.32/654.32 c | 675090 | 32773 518020 1616108 | 2147483647 487782 54 | 0.000 % |
656.62/656.67 c | 676953 | 32773 518020 1616108 | 2147483647 489645 54 | 0.000 % |
658.82/658.86 c | 679002 | 32773 518020 1616108 | 2147483647 491694 54 | 0.000 % |
661.12/661.15 c | 681256 | 32773 518020 1616108 | 492693 493948 54 | 0.000 % |
667.52/667.60 c | 683734 | 32773 518020 1616108 | 492693 436415 54 | 0.000 % |
670.72/670.74 c | 686459 | 32773 518020 1616108 | 492693 439140 54 | 0.000 % |
674.02/674.02 c | 689459 | 32773 518020 1616108 | 492693 442140 54 | 0.000 % |
677.52/677.56 c | 692757 | 32773 518020 1616108 | 2147483647 445438 54 | 0.000 % |
681.22/681.25 c | 696388 | 32773 518020 1616108 | 2147483647 449069 54 | 0.000 % |
685.52/685.55 c | 700375 | 32773 518020 1616108 | 2147483647 453056 54 | 0.000 % |
691.12/691.18 c | 704760 | 32773 518020 1616108 | 2147483647 457441 54 | 0.000 % |
697.02/697.09 c | 709583 | 32773 518020 1616108 | 2147483647 462264 54 | 0.000 % |
702.93/703.00 c | 714889 | 32773 518020 1616108 | 2147483647 467570 54 | 0.000 % |
710.52/710.57 c | 720725 | 32773 518020 1616108 | 472682 473406 54 | 0.001 % |
721.92/721.99 c | 727143 | 32773 518020 1616108 | 472682 430442 53 | 0.001 % |
722.12/722.19 c | 727243 | 32773 518020 1616108 | 472682 430542 53 | 0.000 % |
722.22/722.29 c | 727353 | 32773 518020 1616108 | 472682 430652 53 | 0.000 % |
722.42/722.51 c | 727474 | 32773 518020 1616108 | 472682 430773 53 | 0.001 % |
722.73/722.73 c | 727608 | 32773 518020 1616108 | 472682 430907 53 | 0.000 % |
722.82/722.88 c | 727755 | 32773 518020 1616108 | 472682 431054 53 | 0.000 % |
723.12/723.18 c | 727916 | 32773 518020 1616108 | 472682 431215 53 | 0.000 % |
723.32/723.40 c | 728092 | 32773 518020 1616108 | 472682 431391 53 | 0.000 % |
723.72/723.72 c | 728285 | 32773 518020 1616108 | 472682 431584 53 | 0.000 % |
724.02/724.09 c | 728498 | 32773 518020 1616108 | 472682 431797 53 | 0.000 % |
724.42/724.47 c | 728733 | 32773 518020 1616108 | 472682 432032 53 | 0.000 % |
724.82/724.91 c | 728989 | 32773 518020 1616108 | 472682 432288 53 | 0.000 % |
725.22/725.26 c | 729272 | 32773 518020 1616108 | 472682 432571 53 | 0.000 % |
725.72/725.72 c | 729582 | 32773 518020 1616108 | 472682 432881 53 | 0.000 % |
726.22/726.25 c | 729921 | 32773 518020 1616108 | 472682 433220 53 | 0.000 % |
726.92/726.93 c | 730293 | 32773 518020 1616108 | 2147483647 433592 53 | 0.000 % |
727.42/727.43 c | 730702 | 32773 518020 1616108 | 2147483647 434001 53 | 0.000 % |
727.82/727.84 c | 731152 | 32773 518020 1616108 | 2147483647 434451 53 | 0.000 % |
728.23/728.30 c | 731645 | 32773 518020 1616108 | 2147483647 434944 53 | 0.000 % |
728.82/728.88 c | 732188 | 32773 518020 1616108 | 2147483647 435487 53 | 0.000 % |
729.33/729.39 c | 732784 | 32773 518020 1616108 | 2147483647 436083 53 | 0.000 % |
730.12/730.12 c | 733441 | 32773 518020 1616108 | 2147483647 436740 53 | 0.000 % |
731.02/731.06 c | 734161 | 32773 518020 1616108 | 2147483647 437460 53 | 0.000 % |
731.82/731.90 c | 734955 | 32773 518020 1616108 | 2147483647 438254 53 | 0.000 % |
732.82/732.89 c | 735826 | 32773 518020 1616108 | 2147483647 439125 53 | 0.000 % |
733.92/733.97 c | 736785 | 32773 518020 1616108 | 2147483647 440084 53 | 0.000 % |
734.92/734.91 c | 737838 | 32773 518020 1616108 | 2147483647 441137 53 | 0.000 % |
736.22/736.23 c | 738998 | 32773 518020 1616108 | 2147483647 442297 53 | 0.000 % |
737.52/737.52 c | 740272 | 32773 518020 1616108 | 2147483647 443571 53 | 0.000 % |
738.72/738.79 c | 741674 | 32773 518020 1616108 | 2147483647 444973 53 | 0.000 % |
740.33/740.33 c | 743214 | 32773 518020 1616108 | 2147483647 446513 53 | 0.000 % |
742.42/742.45 c | 744908 | 32773 518020 1616108 | 2147483647 448207 53 | 0.000 % |
745.02/745.09 c | 746772 | 32773 518020 1616108 | 2147483647 450071 53 | 0.000 % |
747.42/747.41 c | 748822 | 32773 518020 1616108 | 2147483647 452121 53 | 0.000 % |
750.02/750.03 c | 751076 | 32773 518020 1616108 | 2147483647 454375 53 | 0.000 % |
752.93/752.95 c | 753554 | 32773 518020 1616108 | 2147483647 456853 53 | 0.000 % |
756.23/756.25 c | 756280 | 32773 518020 1616108 | 2147483647 459579 53 | 0.000 % |
760.03/760.10 c | 759277 | 32773 518020 1616108 | 2147483647 462576 53 | 0.000 % |
764.23/764.25 c | 762573 | 32773 518020 1616108 | 463300 465872 53 | 0.000 % |
773.23/773.27 c | 766198 | 32773 518020 1616108 | 463300 422910 54 | 0.000 % |
777.93/777.98 c | 770185 | 32773 518020 1616108 | 2147483647 426897 54 | 0.000 % |
783.92/783.92 c | 774570 | 32773 518020 1616108 | 2147483647 431282 54 | 0.000 % |
789.82/789.81 c | 779394 | 32773 518020 1616108 | 2147483647 436106 55 | 0.000 % |
795.72/795.71 c | 784701 | 32773 518020 1616108 | 436712 441413 55 | 0.000 % |
806.62/806.65 c | 790536 | 32773 518020 1616108 | 385175 385711 54 | 0.000 % |
815.32/815.38 c | 796954 | 32773 518020 1616108 | 385175 353558 55 | 0.000 % |
822.22/822.24 c | 804013 | 32773 518020 1616108 | 2147483647 360617 55 | 0.000 % |
822.62/822.62 c | 804114 | 32773 518020 1616108 | 2147483647 360718 55 | 0.000 % |
822.72/822.72 c | 804225 | 32773 518020 1616108 | 2147483647 360829 55 | 0.000 % |
822.92/822.92 c | 804347 | 32773 518020 1616108 | 2147483647 360951 55 | 0.000 % |
823.12/823.12 c | 804481 | 32773 518020 1616108 | 2147483647 361085 55 | 0.000 % |
823.42/823.42 c | 804628 | 32773 518020 1616108 | 2147483647 361232 55 | 0.000 % |
823.52/823.60 c | 804788 | 32773 518020 1616108 | 2147483647 361392 55 | 0.000 % |
823.82/823.82 c | 804964 | 32773 518020 1616108 | 2147483647 361568 55 | 0.000 % |
824.02/824.03 c | 805158 | 32773 518020 1616108 | 2147483647 361762 55 | 0.000 % |
824.22/824.30 c | 805370 | 32773 518020 1616108 | 2147483647 361974 55 | 0.000 % |
824.62/824.61 c | 805603 | 32773 518020 1616108 | 2147483647 362207 55 | 0.000 % |
824.92/824.92 c | 805859 | 32773 518020 1616108 | 2147483647 362463 55 | 0.000 % |
825.42/825.42 c | 806142 | 32773 518020 1616108 | 2147483647 362746 55 | 0.000 % |
825.82/825.84 c | 806451 | 32773 518020 1616108 | 2147483647 363055 55 | 0.000 % |
826.32/826.33 c | 806790 | 32773 518020 1616108 | 2147483647 363394 55 | 0.000 % |
826.82/826.86 c | 807163 | 32773 518020 1616108 | 2147483647 363767 55 | 0.000 % |
827.42/827.48 c | 807572 | 32773 518020 1616108 | 2147483647 364176 55 | 0.000 % |
828.12/828.20 c | 808021 | 32773 518020 1616108 | 2147483647 364625 55 | 0.000 % |
828.82/828.82 c | 808515 | 32773 518020 1616108 | 2147483647 365119 55 | 0.000 % |
829.62/829.63 c | 809057 | 32773 518020 1616108 | 2147483647 365661 55 | 0.000 % |
830.53/830.52 c | 809654 | 32773 518020 1616108 | 2147483647 366258 55 | 0.000 % |
831.22/831.28 c | 810311 | 32773 518020 1616108 | 2147483647 366915 55 | 0.000 % |
832.02/832.05 c | 811032 | 32773 518020 1616108 | 2147483647 367636 55 | 0.000 % |
833.02/833.10 c | 811824 | 32773 518020 1616108 | 2147483647 368428 55 | 0.000 % |
834.33/834.39 c | 812696 | 32773 518020 1616108 | 2147483647 369300 55 | 0.000 % |
835.73/835.71 c | 813654 | 32773 518020 1616108 | 2147483647 370258 55 | 0.000 % |
837.14/837.14 c | 814707 | 32773 518020 1616108 | 2147483647 371311 55 | 0.000 % |
838.73/838.78 c | 815865 | 32773 518020 1616108 | 2147483647 372469 55 | 0.000 % |
840.23/840.26 c | 817139 | 32773 518020 1616108 | 2147483647 373743 55 | 0.000 % |
841.83/841.90 c | 818539 | 32773 518020 1616108 | 2147483647 375143 55 | 0.000 % |
844.03/844.03 c | 820079 | 32773 518020 1616108 | 2147483647 376683 55 | 0.000 % |
845.94/845.92 c | 821773 | 32773 518020 1616108 | 2147483647 378377 55 | 0.000 % |
847.93/847.99 c | 823637 | 32773 518020 1616108 | 2147483647 380241 55 | 0.000 % |
850.03/850.07 c | 825687 | 32773 518020 1616108 | 2147483647 382291 55 | 0.000 % |
852.73/852.73 c | 827940 | 32773 518020 1616108 | 2147483647 384544 55 | 0.000 % |
855.33/855.36 c | 830418 | 32773 518020 1616108 | 2147483647 387022 55 | 0.000 % |
858.63/858.68 c | 833144 | 32773 518020 1616108 | 2147483647 389748 55 | 0.000 % |
862.23/862.26 c | 836142 | 32773 518020 1616108 | 2147483647 392746 55 | 0.000 % |
865.83/865.90 c | 839439 | 32773 518020 1616108 | 2147483647 396043 55 | 0.000 % |
870.33/870.40 c | 843064 | 32773 518020 1616108 | 2147483647 399668 55 | 0.000 % |
875.13/875.19 c | 847051 | 32773 518020 1616108 | 2147483647 403655 55 | 0.000 % |
880.53/880.53 c | 851437 | 32773 518020 1616108 | 406604 408041 55 | 0.000 % |
887.54/887.54 c | 856261 | 32773 518020 1616108 | 406604 372061 56 | 0.000 % |
892.34/892.36 c | 861566 | 32773 518020 1616108 | 2147483647 377366 55 | 0.000 % |
899.44/899.47 c | 867402 | 32773 518020 1616108 | 2147483647 383202 56 | 0.000 % |
905.74/905.77 c | 873822 | 32773 518020 1616108 | 385800 389622 56 | 0.000 % |
915.74/915.75 c | 880881 | 32773 518020 1616108 | 2147483647 355095 55 | 0.000 % |
924.64/924.71 c | 888645 | 32773 518020 1616108 | 2147483647 362859 55 | 0.000 % |
924.84/924.91 c | 888746 | 32773 518020 1616108 | 2147483647 362960 55 | 0.000 % |
925.14/925.13 c | 888857 | 32773 518020 1616108 | 2147483647 363071 55 | 0.000 % |
925.24/925.30 c | 888978 | 32773 518020 1616108 | 2147483647 363192 55 | 0.000 % |
925.54/925.52 c | 889111 | 32773 518020 1616108 | 2147483647 363325 55 | 0.000 % |
925.64/925.65 c | 889257 | 32773 518020 1616108 | 2147483647 363471 55 | 0.000 % |
925.84/925.83 c | 889417 | 32773 518020 1616108 | 2147483647 363631 55 | 0.000 % |
926.14/926.13 c | 889593 | 32773 518020 1616108 | 2147483647 363807 55 | 0.000 % |
926.44/926.50 c | 889786 | 32773 518020 1616108 | 2147483647 364000 55 | 0.000 % |
926.74/926.74 c | 889998 | 32773 518020 1616108 | 2147483647 364212 55 | 0.000 % |
927.24/927.25 c | 890231 | 32773 518020 1616108 | 2147483647 364445 55 | 0.000 % |
927.74/927.81 c | 890490 | 32773 518020 1616108 | 2147483647 364704 55 | 0.000 % |
928.24/928.31 c | 890771 | 32773 518020 1616108 | 2147483647 364985 55 | 0.000 % |
928.74/928.72 c | 891080 | 32773 518020 1616108 | 2147483647 365294 55 | 0.000 % |
929.34/929.33 c | 891419 | 32773 518020 1616108 | 2147483647 365633 55 | 0.001 % |
930.04/930.05 c | 891791 | 32773 518020 1616108 | 2147483647 366005 55 | 0.000 % |
930.94/930.97 c | 892200 | 32773 518020 1616108 | 2147483647 366414 55 | 0.000 % |
931.84/931.89 c | 892651 | 32773 518020 1616108 | 2147483647 366865 55 | 0.000 % |
932.64/932.63 c | 893146 | 32773 518020 1616108 | 2147483647 367360 55 | 0.000 % |
933.34/933.33 c | 893688 | 32773 518020 1616108 | 2147483647 367902 55 | 0.000 % |
934.24/934.30 c | 894284 | 32773 518020 1616108 | 2147483647 368498 55 | 0.000 % |
934.94/934.99 c | 894939 | 32773 518020 1616108 | 2147483647 369153 55 | 0.000 % |
936.04/936.02 c | 895661 | 32773 518020 1616108 | 2147483647 369875 55 | 0.000 % |
936.94/937.01 c | 896454 | 32773 518020 1616108 | 2147483647 370668 54 | 0.000 % |
937.94/937.95 c | 897325 | 32773 518020 1616108 | 2147483647 371539 54 | 0.000 % |
939.44/939.49 c | 898283 | 32773 518020 1616108 | 2147483647 372497 54 | 0.000 % |
940.64/940.62 c | 899336 | 32773 518020 1616108 | 2147483647 373550 54 | 0.000 % |
941.94/941.92 c | 900494 | 32773 518020 1616108 | 2147483647 374708 54 | 0.000 % |
943.54/943.52 c | 901769 | 32773 518020 1616108 | 2147483647 375983 54 | 0.000 % |
945.24/945.22 c | 903170 | 32773 518020 1616108 | 2147483647 377384 54 | 0.000 % |
947.24/947.21 c | 904712 | 32773 518020 1616108 | 2147483647 378926 54 | 0.000 % |
948.94/948.93 c | 906408 | 32773 518020 1616108 | 2147483647 380622 54 | 0.000 % |
950.94/950.94 c | 908271 | 32773 518020 1616108 | 2147483647 382485 54 | 0.000 % |
953.44/953.48 c | 910320 | 32773 518020 1616108 | 2147483647 384534 54 | 0.000 % |
956.24/956.25 c | 912573 | 32773 518020 1616108 | 2147483647 386787 54 | 0.000 % |
959.74/959.73 c | 915051 | 32773 518020 1616108 | 2147483647 389265 54 | 0.000 % |
963.44/963.42 c | 917776 | 32773 518020 1616108 | 2147483647 391990 54 | 0.000 % |
967.64/967.62 c | 920773 | 32773 518020 1616108 | 394214 394987 54 | 0.000 % |
975.54/975.57 c | 924069 | 32773 518020 1616108 | 394214 336873 54 | 0.000 % |
979.44/979.45 c | 927694 | 32773 518020 1616108 | 394214 340498 54 | 0.000 % |
984.14/984.12 c | 931682 | 32773 518020 1616108 | 2147483647 344486 54 | 0.000 % |
988.64/988.69 c | 936068 | 32773 518020 1616108 | 2147483647 348872 55 | 0.000 % |
993.64/993.65 c | 940893 | 32773 518020 1616108 | 352805 353697 55 | 0.000 % |
1001.05/1001.07 c | 946199 | 32773 518020 1616108 | 352805 319362 55 | 0.000 % |
1007.54/1007.56 c | 952036 | 32773 518020 1616108 | 2147483647 325199 54 | 0.000 % |
1015.45/1015.51 c | 958454 | 32773 518020 1616108 | 2147483647 331617 55 | 0.000 % |
1022.05/1022.11 c | 965514 | 32773 518020 1616108 | 2147483647 338677 54 | 0.000 % |
1030.55/1030.55 c | 973279 | 32773 518020 1616108 | 2147483647 346442 55 | 0.000 % |
1039.05/1039.09 c | 981820 | 32773 518020 1616108 | 2147483647 354983 55 | 0.000 % |
1039.25/1039.23 c | 981921 | 32773 518020 1616108 | 2147483647 355084 55 | 0.000 % |
1039.35/1039.35 c | 982031 | 32773 518020 1616108 | 2147483647 355194 55 | 0.000 % |
1039.55/1039.61 c | 982152 | 32773 518020 1616108 | 2147483647 355315 55 | 0.000 % |
1040.05/1040.03 c | 982286 | 32773 518020 1616108 | 2147483647 355449 55 | 0.000 % |
1040.35/1040.35 c | 982433 | 32773 518020 1616108 | 2147483647 355596 55 | 0.000 % |
1040.75/1040.73 c | 982593 | 32773 518020 1616108 | 2147483647 355756 55 | 0.000 % |
1041.05/1041.11 c | 982769 | 32773 518020 1616108 | 2147483647 355932 55 | 0.000 % |
1041.65/1041.68 c | 982962 | 32773 518020 1616108 | 2147483647 356125 55 | 0.000 % |
1041.95/1041.92 c | 983174 | 32773 518020 1616108 | 2147483647 356337 55 | 0.000 % |
1042.15/1042.21 c | 983408 | 32773 518020 1616108 | 2147483647 356571 55 | 0.000 % |
1042.65/1042.66 c | 983667 | 32773 518020 1616108 | 2147483647 356830 55 | 0.000 % |
1043.15/1043.17 c | 983948 | 32773 518020 1616108 | 2147483647 357111 55 | 0.000 % |
1043.65/1043.66 c | 984257 | 32773 518020 1616108 | 2147483647 357420 55 | 0.000 % |
1044.25/1044.22 c | 984596 | 32773 518020 1616108 | 2147483647 357759 55 | 0.000 % |
1044.85/1044.85 c | 984970 | 32773 518020 1616108 | 2147483647 358133 55 | 0.000 % |
1045.55/1045.53 c | 985380 | 32773 518020 1616108 | 2147483647 358543 55 | 0.000 % |
1046.05/1046.02 c | 985829 | 32773 518020 1616108 | 2147483647 358992 55 | 0.000 % |
1046.65/1046.71 c | 986322 | 32773 518020 1616108 | 2147483647 359485 55 | 0.000 % |
1047.35/1047.39 c | 986864 | 32773 518020 1616108 | 2147483647 360027 55 | 0.000 % |
1048.15/1048.20 c | 987460 | 32773 518020 1616108 | 2147483647 360623 55 | 0.000 % |
1048.85/1048.87 c | 988115 | 32773 518020 1616108 | 2147483647 361278 55 | 0.001 % |
1049.95/1049.99 c | 988835 | 32773 518020 1616108 | 2147483647 361998 55 | 0.000 % |
1050.95/1050.98 c | 989627 | 32773 518020 1616108 | 2147483647 362790 55 | 0.000 % |
1052.15/1052.18 c | 990498 | 32773 518020 1616108 | 2147483647 363661 55 | 0.000 % |
1053.45/1053.44 c | 991457 | 32773 518020 1616108 | 2147483647 364620 55 | 0.000 % |
1054.35/1054.37 c | 992510 | 32773 518020 1616108 | 2147483647 365673 55 | 0.000 % |
1055.65/1055.71 c | 993669 | 32773 518020 1616108 | 2147483647 366832 55 | 0.000 % |
1057.25/1057.29 c | 994943 | 32773 518020 1616108 | 2147483647 368106 55 | 0.000 % |
1059.05/1059.06 c | 996343 | 32773 518020 1616108 | 2147483647 369506 55 | 0.000 % |
1060.65/1060.71 c | 997883 | 32773 518020 1616108 | 2147483647 371046 55 | 0.000 % |
1062.75/1062.75 c | 999577 | 32773 518020 1616108 | 2147483647 372740 55 | 0.000 % |
1065.15/1065.17 c | 1001440 | 32773 518020 1616108 | 2147483647 374603 55 | 0.000 % |
1066.95/1066.99 c | 1003490 | 32773 518020 1616108 | 2147483647 376653 55 | 0.000 % |
1069.25/1069.25 c | 1005743 | 32773 518020 1616108 | 2147483647 378906 55 | 0.000 % |
1072.05/1072.08 c | 1008221 | 32773 518020 1616108 | 2147483647 381384 55 | 0.000 % |
1075.25/1075.24 c | 1010947 | 32773 518020 1616108 | 2147483647 384110 54 | 0.000 % |
1078.35/1078.35 c | 1013944 | 32773 518020 1616108 | 2147483647 387107 54 | 0.000 % |
1082.05/1082.10 c | 1017240 | 32773 518020 1616108 | 2147483647 390403 54 | 0.000 % |
1086.45/1086.44 c | 1020868 | 32773 518020 1616108 | 2147483647 394031 54 | 0.000 % |
1090.85/1090.86 c | 1024855 | 32773 518020 1616108 | 2147483647 398018 54 | 0.000 % |
1096.15/1096.20 c | 1029240 | 32773 518020 1616108 | 2147483647 402403 54 | 0.000 % |
1103.55/1103.54 c | 1034063 | 32773 518020 1616108 | 2147483647 407226 54 | 0.000 % |
1110.75/1110.75 c | 1039368 | 32773 518020 1616108 | 2147483647 412531 54 | 0.000 % |
1117.75/1117.78 c | 1045203 | 32773 518020 1616108 | 413163 418366 54 | 0.000 % |
1128.55/1128.56 c | 1051621 | 32773 518020 1616108 | 2147483647 378237 54 | 0.000 % |
1134.35/1134.32 c | 1058681 | 32773 518020 1616108 | 2147483647 385297 53 | 0.000 % |
1140.64/1140.65 c | 1066445 | 32773 518020 1616108 | 2147483647 393061 53 | 0.000 % |
1148.45/1148.44 c | 1074985 | 32773 518020 1616108 | 2147483647 401601 53 | 0.000 % |
1158.75/1158.74 c | 1084379 | 32773 518020 1616108 | 2147483647 410995 53 | 0.000 % |
1158.85/1158.86 c | 1084479 | 32773 518020 1616108 | 2147483647 411095 53 | 0.000 % |
1159.05/1159.04 c | 1084589 | 32773 518020 1616108 | 2147483647 411205 53 | 0.000 % |
1159.25/1159.22 c | 1084711 | 32773 518020 1616108 | 2147483647 411327 53 | 0.000 % |
1159.45/1159.42 c | 1084845 | 32773 518020 1616108 | 2147483647 411461 53 | 0.000 % |
1159.75/1159.72 c | 1084991 | 32773 518020 1616108 | 2147483647 411607 53 | 0.000 % |
1160.05/1160.05 c | 1085152 | 32773 518020 1616108 | 2147483647 411768 53 | 0.001 % |
1160.35/1160.38 c | 1085331 | 32773 518020 1616108 | 2147483647 411947 53 | 0.000 % |
1160.75/1160.76 c | 1085525 | 32773 518020 1616108 | 2147483647 412141 53 | 0.000 % |
1161.15/1161.15 c | 1085737 | 32773 518020 1616108 | 2147483647 412353 53 | 0.000 % |
1161.65/1161.67 c | 1085971 | 32773 518020 1616108 | 2147483647 412587 53 | 0.000 % |
1161.95/1161.94 c | 1086227 | 32773 518020 1616108 | 2147483647 412843 53 | 0.000 % |
1162.35/1162.34 c | 1086508 | 32773 518020 1616108 | 2147483647 413124 53 | 0.000 % |
1163.15/1163.17 c | 1086817 | 32773 518020 1616108 | 2147483647 413433 53 | 0.000 % |
1163.75/1163.72 c | 1087156 | 32773 518020 1616108 | 2147483647 413772 53 | 0.000 % |
1164.15/1164.16 c | 1087528 | 32773 518020 1616108 | 2147483647 414144 53 | 0.000 % |
1164.95/1164.92 c | 1087937 | 32773 518020 1616108 | 2147483647 414553 53 | 0.000 % |
1165.55/1165.53 c | 1088386 | 32773 518020 1616108 | 2147483647 415002 53 | 0.000 % |
1166.45/1166.43 c | 1088879 | 32773 518020 1616108 | 2147483647 415495 53 | 0.000 % |
1167.05/1167.10 c | 1089422 | 32773 518020 1616108 | 2147483647 416038 53 | 0.000 % |
1167.85/1167.89 c | 1090018 | 32773 518020 1616108 | 2147483647 416634 53 | 0.000 % |
1169.15/1169.16 c | 1090674 | 32773 518020 1616108 | 2147483647 417290 53 | 0.000 % |
1170.25/1170.24 c | 1091395 | 32773 518020 1616108 | 2147483647 418011 53 | 0.000 % |
1171.35/1171.39 c | 1092187 | 32773 518020 1616108 | 2147483647 418803 53 | 0.000 % |
1172.95/1172.91 c | 1093058 | 31170 494497 1554715 | 2147483647 419640 53 | 4.891 % |
1174.15/1174.13 c | 1094016 | 31170 494497 1554715 | 2147483647 420598 53 | 4.891 % |
1175.55/1175.58 c | 1095069 | 31170 494497 1554715 | 2147483647 421651 53 | 4.892 % |
1177.45/1177.46 c | 1096228 | 31170 494497 1554715 | 2147483647 422810 53 | 4.891 % |
1179.25/1179.28 c | 1097502 | 31170 494497 1554715 | 2147483647 424084 53 | 4.891 % |
1181.05/1181.06 c | 1098902 | 31170 494497 1554715 | 2147483647 425484 53 | 4.891 % |
1182.75/1182.78 c | 1100442 | 31170 494497 1554715 | 426582 427024 53 | 4.891 % |
1185.25/1185.29 c | 1102136 | 31170 494497 1554715 | 426582 428718 53 | 4.891 % |
1192.96/1192.97 c | 1104000 | 31170 494497 1554715 | 426582 376644 52 | 4.891 % |
1195.46/1195.46 c | 1106049 | 31170 494497 1554715 | 426582 378693 52 | 4.891 % |
1198.96/1198.94 c | 1108302 | 31170 494497 1554715 | 426582 380946 52 | 4.892 % |
1200.06/1200.03 HOME/SatELiteGTI: line 36: 25161 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820662-1242464421/watcher-1820662-1242464421 -o /tmp/evaluation-result-1820662-1242464421/solver-1820662-1242464421 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820662-1242464421.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25154
/proc/meminfo: memFree=934912/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2412 CPUtime=0
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 366 643 0 0 0 0 0 0 20 0 1 0 1010940290 2469888 276 4294967295 134512640 135169312 3218839808 3218838344 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25154/statm: 603 276 235 161 0 42 0
[pid=25158] ppid=25154 vsize=812 CPUtime=0
/proc/25158/stat : 25158 (SatELite_releas) R 25154 25154 15108 0 -1 4194304 72 0 0 0 0 0 0 0 21 0 1 0 1010940290 831488 8 4294967295 134512640 135223648 3219229008 3219228892 134746480 0 0 0 0 0 0 0 17 3 0 0 0
/proc/25158/statm: 204 20 15 174 0 29 0
[startup+0.059889 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25154
/proc/meminfo: memFree=934912/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2412 CPUtime=0
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 366 643 0 0 0 0 0 0 20 0 1 0 1010940290 2469888 276 4294967295 134512640 135169312 3218839808 3218838344 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25154/statm: 603 276 235 161 0 42 0
[pid=25158] ppid=25154 vsize=6748 CPUtime=0.06
/proc/25158/stat : 25158 (SatELite_releas) R 25154 25154 15108 0 -1 4202496 1423 0 0 0 5 1 0 0 21 0 1 0 1010940290 6909952 1359 4294967295 134512640 135223648 3219229008 3219227576 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25158/statm: 1687 1359 46 174 0 1512 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9160
[startup+0.119883 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25154
/proc/meminfo: memFree=934912/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2412 CPUtime=0
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 366 643 0 0 0 0 0 0 20 0 1 0 1010940290 2469888 276 4294967295 134512640 135169312 3218839808 3218838344 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25154/statm: 603 276 235 161 0 42 0
[pid=25158] ppid=25154 vsize=10956 CPUtime=0.11
/proc/25158/stat : 25158 (SatELite_releas) R 25154 25154 15108 0 -1 4202496 2544 0 0 0 9 2 0 0 22 0 1 0 1010940290 11218944 2480 4294967295 134512640 135223648 3219229008 3219227576 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25158/statm: 2739 2480 46 174 0 2564 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13368
[startup+0.324154 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25154
/proc/meminfo: memFree=934912/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2412 CPUtime=0
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 366 643 0 0 0 0 0 0 20 0 1 0 1010940290 2469888 276 4294967295 134512640 135169312 3218839808 3218838344 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25154/statm: 603 276 235 161 0 42 0
[pid=25158] ppid=25154 vsize=28708 CPUtime=0.31
/proc/25158/stat : 25158 (SatELite_releas) R 25154 25154 15108 0 -1 4202496 6463 0 0 0 24 7 0 0 22 0 1 0 1010940290 29396992 6399 4294967295 134512640 135223648 3219229008 3219227960 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25158/statm: 7177 6400 46 174 0 7002 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 31120
[startup+0.719836 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25154
/proc/meminfo: memFree=934912/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2412 CPUtime=0
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 366 643 0 0 0 0 0 0 20 0 1 0 1010940290 2469888 276 4294967295 134512640 135169312 3218839808 3218838344 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25154/statm: 603 276 235 161 0 42 0
[pid=25158] ppid=25154 vsize=50640 CPUtime=0.71
/proc/25158/stat : 25158 (SatELite_releas) R 25154 25154 15108 0 -1 4202496 11817 0 0 0 61 10 0 0 25 0 1 0 1010940290 51855360 10574 4294967295 134512640 135223648 3219229008 3219227008 134548984 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25158/statm: 12693 10575 73 174 0 12518 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 53052
[startup+1.51977 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 25160
/proc/meminfo: memFree=890016/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2412 CPUtime=0
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 366 643 0 0 0 0 0 0 20 0 1 0 1010940290 2469888 276 4294967295 134512640 135169312 3218839808 3218838344 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25154/statm: 603 276 235 161 0 42 0
[pid=25158] ppid=25154 vsize=54884 CPUtime=1.51
/proc/25158/stat : 25158 (SatELite_releas) R 25154 25154 15108 0 -1 4202496 12792 0 0 0 141 10 0 0 25 0 1 0 1010940290 56201216 11549 4294967295 134512640 135223648 3219229008 3219227024 134586754 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25158/statm: 13721 11549 73 174 0 13546 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 57296
[startup+3.11965 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 25160
/proc/meminfo: memFree=887908/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2412 CPUtime=0
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 366 643 0 0 0 0 0 0 20 0 1 0 1010940290 2469888 276 4294967295 134512640 135169312 3218839808 3218838344 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25154/statm: 603 276 235 161 0 42 0
[pid=25158] ppid=25154 vsize=62420 CPUtime=3.11
/proc/25158/stat : 25158 (SatELite_releas) R 25154 25154 15108 0 -1 4202496 14054 0 0 0 300 11 0 0 25 0 1 0 1010940290 63918080 12723 4294967295 134512640 135223648 3219229008 3219227024 134549042 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25158/statm: 15605 12723 73 174 0 15430 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 64832
[startup+6.31941 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 25161
/proc/meminfo: memFree=897332/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=27892 CPUtime=1.5
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 6603 0 0 0 149 1 0 0 24 0 1 0 1010940772 28561408 6538 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25161/statm: 6973 6538 73 172 0 6800 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 30308
[startup+12.7189 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 25162
/proc/meminfo: memFree=894356/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=30820 CPUtime=7.89
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 7343 0 0 0 787 2 0 0 25 0 1 0 1010940772 31559680 7278 4294967295 134512640 135215339 3217518608 3217516896 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 7705 7278 73 172 0 7532 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 33236
[startup+25.5179 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 25162
/proc/meminfo: memFree=888376/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=37084 CPUtime=20.69
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 8882 0 0 0 2060 9 0 0 25 0 1 0 1010940772 37974016 8817 4294967295 134512640 135215339 3217518608 3217516896 134529119 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 9271 8817 73 172 0 9098 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 39500
[startup+51.1159 s]
/proc/loadavg: 1.06 1.02 1.00 2/93 25348
/proc/meminfo: memFree=876416/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=48896 CPUtime=46.29
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 11775 0 0 0 4619 10 0 0 25 0 1 0 1010940772 50069504 11710 4294967295 134512640 135215339 3217518608 3217516896 134528795 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 12224 11710 73 172 0 12051 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 51312
[startup+102.312 s]
/proc/loadavg: 1.10 1.03 1.00 3/93 25534
/proc/meminfo: memFree=855116/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=69616 CPUtime=97.49
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 16959 0 0 0 9730 19 0 0 25 0 1 0 1010940772 71286784 16894 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 17404 16894 73 172 0 17231 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72032
[startup+162.317 s]
/proc/loadavg: 1.11 1.04 1.00 3/93 25723
/proc/meminfo: memFree=833152/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=91844 CPUtime=157.5
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 22426 0 0 0 15723 27 0 0 25 0 1 0 1010940772 94048256 22361 4294967295 134512640 135215339 3217518608 3217516896 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 22961 22361 73 172 0 22788 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 94260
[startup+222.313 s]
/proc/loadavg: 1.04 1.03 1.00 3/93 25910
/proc/meminfo: memFree=816492/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=108756 CPUtime=217.5
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 26531 0 0 0 21722 28 0 0 25 0 1 0 1010940772 111366144 26466 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 27189 26466 73 172 0 27016 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 111172
[startup+282.318 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 26102
/proc/meminfo: memFree=801580/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=123900 CPUtime=277.51
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 30276 0 0 0 27722 29 0 0 25 0 1 0 1010940772 126873600 30211 4294967295 134512640 135215339 3217518608 3217516896 134529148 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 30975 30211 73 172 0 30802 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 126316
[startup+342.313 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 26293
/proc/meminfo: memFree=788716/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=136540 CPUtime=337.51
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 33505 0 0 0 33720 31 0 0 25 0 1 0 1010940772 139816960 33440 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 34135 33440 73 172 0 33962 0
Current children cumulated CPU time (s) 342.32
################
# More data... #
################
[pid=25161] ppid=25154 vsize=157872 CPUtime=457.51
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 38626 0 0 0 45706 45 0 0 25 0 1 0 1010940772 161660928 38561 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25161/statm: 39468 38561 73 172 0 39295 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 160288
[startup+522.319 s]
/proc/loadavg: 1.04 1.02 1.00 3/93 26855
/proc/meminfo: memFree=765984/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=160076 CPUtime=517.5
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39234 0 0 0 51705 45 0 0 25 0 1 0 1010940772 163917824 39169 4294967295 134512640 135215339 3217518608 3217516704 134527240 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40019 39169 73 172 0 39846 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 162492
[startup+582.315 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 27043
/proc/meminfo: memFree=765828/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=160316 CPUtime=577.5
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39303 0 0 0 57705 45 0 0 25 0 1 0 1010940772 164163584 39238 4294967295 134512640 135215339 3217518608 3217516896 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40079 39238 73 172 0 39906 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 162732
[startup+642.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27236
/proc/meminfo: memFree=765372/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=160316 CPUtime=637.51
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39319 0 0 0 63706 45 0 0 25 0 1 0 1010940772 164163584 39254 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40079 39254 73 172 0 39906 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 162732
[startup+702.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27422
/proc/meminfo: memFree=765076/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=160496 CPUtime=697.51
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39348 0 0 0 69706 45 0 0 25 0 1 0 1010940772 164347904 39283 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40124 39283 73 172 0 39951 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 162912
[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27611
/proc/meminfo: memFree=764828/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=160496 CPUtime=757.52
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39366 0 0 0 75707 45 0 0 25 0 1 0 1010940772 164347904 39301 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40124 39301 73 172 0 39951 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 162912
[startup+822.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27799
/proc/meminfo: memFree=764672/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=160676 CPUtime=817.51
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39387 0 0 0 81706 45 0 0 25 0 1 0 1010940772 164532224 39322 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40169 39322 73 172 0 39996 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 163092
[startup+882.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27987
/proc/meminfo: memFree=764612/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=161020 CPUtime=877.52
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39449 0 0 0 87707 45 0 0 25 0 1 0 1010940772 164884480 39384 4294967295 134512640 135215339 3217518608 3217516816 134534168 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40255 39384 73 172 0 40082 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 163436
[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 28176
/proc/meminfo: memFree=764524/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=161468 CPUtime=937.53
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39540 0 0 0 93708 45 0 0 25 0 1 0 1010940772 165343232 39475 4294967295 134512640 135215339 3217518608 3217516704 134527381 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40367 39475 73 172 0 40194 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 163884
[startup+1002.31 s]
/proc/loadavg: 1.13 1.03 1.01 3/93 28369
/proc/meminfo: memFree=763976/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=161796 CPUtime=997.53
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39617 0 0 0 99708 45 0 0 25 0 1 0 1010940772 165679104 39552 4294967295 134512640 135215339 3217518608 3217516896 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40449 39552 73 172 0 40276 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 164212
[startup+1062.32 s]
/proc/loadavg: 1.16 1.07 1.02 3/93 28558
/proc/meminfo: memFree=764076/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=161796 CPUtime=1057.54
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39632 0 0 0 105709 45 0 0 25 0 1 0 1010940772 165679104 39567 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40449 39567 73 172 0 40276 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 164212
[startup+1122.31 s]
/proc/loadavg: 1.05 1.05 1.01 2/93 28745
/proc/meminfo: memFree=763960/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=161876 CPUtime=1117.54
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39653 0 0 0 111709 45 0 0 25 0 1 0 1010940772 165761024 39588 4294967295 134512640 135215339 3217518608 3217516816 134534168 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40469 39588 73 172 0 40296 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 164292
[startup+1182.31 s]
/proc/loadavg: 1.02 1.04 1.01 2/93 28933
/proc/meminfo: memFree=763432/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=162364 CPUtime=1177.54
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39782 0 0 0 117709 45 0 0 25 0 1 0 1010940772 166260736 39717 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40591 39717 73 172 0 40418 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 164780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.01 1.04 1.01 2/93 28934
/proc/meminfo: memFree=763688/2074464 swapFree=1952056/1959888
[pid=25154] ppid=25152 vsize=2416 CPUtime=4.81
/proc/25154/stat : 25154 (SatELiteGTI) S 25152 25154 15108 0 -1 4194304 385 15767 0 0 0 0 468 13 15 0 1 0 1010940290 2473984 277 4294967295 134512640 135169312 3218839808 3218836024 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25154/statm: 604 277 235 161 0 43 0
[pid=25161] ppid=25154 vsize=162364 CPUtime=1195.25
/proc/25161/stat : 25161 (minisat_static) R 25154 25154 15108 0 -1 4202496 39783 0 0 0 119480 45 0 0 25 0 1 0 1010940772 166260736 39718 4294967295 134512640 135215339 3217518608 3217516896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25161/statm: 40591 39718 73 172 0 40418 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 164780
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.05
CPU time (s): 1200.08
CPU user time (s): 1199.48
CPU system time (s): 0.6
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 164780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.48
system time used= 0.6
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56025
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= 18
involuntary context switches= 2004
runsolver used 0.03 second user time and 0.03 second system time
The end
Begin job on tipi24 at 2009-05-16 11:00:21
IDJOB=1820662
IDBENCH=20577
IDSOLVER=657
FILE ID=tipi24/1820662-1242464421
PBS_JOBID=
Free space on /tmp= 10296 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820662-1242464421/watcher-1820662-1242464421 -o /tmp/evaluation-result-1820662-1242464421/solver-1820662-1242464421 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820662-1242464421.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f0f4556999ccb446384994a4148fca28
RANDOM SEED= 90252614
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 934928 kB
Buffers: 42824 kB
Cached: 977740 kB
SwapCached: 3948 kB
Active: 421948 kB
Inactive: 608292 kB
HighTotal: 1178688 kB
HighFree: 424584 kB
LowTotal: 895776 kB
LowFree: 510344 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 12140 kB
Writeback: 0 kB
AnonPages: 9012 kB
Mapped: 3008 kB
Slab: 100296 kB
PageTables: 356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87796 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10296 MiB
End job on tipi24 at 2009-05-16 11:20:24