0.00/0.00 c Parsing...
0.00/0.41 c ==============================================================================
0.00/0.41 c | | ORIGINAL | LEARNT | |
0.00/0.41 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.41 c ==============================================================================
0.00/0.41 c | 0 | 542252 1554258 | 162675 0 0 nan | 0.000 % |
3.89/3.93 c | 0 | 518020 1616108 | -- 0 -- -- | -- | -24095/63495
3.89/3.93 c ==============================================================================
3.89/3.93 c Result : #vars: 32773 #clauses: 518020 #literals: 1616108
3.89/3.93 c CPU time: 3.81242 s
3.89/3.93 c ==============================================================================
4.38/4.46 c This is MiniSat 2.0 beta
4.38/4.46 c WARNING: for repeatability, setting FPU to use double precision
4.38/4.46 c ============================[ Problem Statistics ]=============================
4.38/4.46 c | |
4.38/4.46 c | Number of variables: 32773 |
4.38/4.46 c | Number of clauses: 518020 |
4.43/4.76 c | Parsing time: 0.27 s |
4.43/4.78 c ============================[ Search Statistics ]==============================
4.43/4.78 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.43/4.78 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.43/4.78 c ===============================================================================
4.43/4.78 c | 0 | 32773 518020 1616108 | 172673 0 nan | 0.000 % |
4.43/4.85 c | 100 | 32773 518020 1616108 | 172673 100 39 | 0.000 % |
4.43/4.90 c | 200 | 32773 518020 1616108 | 172673 200 35 | 0.000 % |
4.43/4.95 c | 301 | 32773 518020 1616108 | 172673 301 30 | 0.000 % |
4.43/5.00 c | 411 | 32773 518020 1616108 | 172673 411 38 | 0.000 % |
4.43/5.05 c | 511 | 32773 518020 1616108 | 172673 511 42 | 0.000 % |
4.43/5.13 c | 622 | 32773 518020 1616108 | 172673 622 40 | 0.000 % |
4.43/5.18 c | 745 | 32773 518020 1616108 | 172673 745 37 | 0.000 % |
4.43/5.23 c | 845 | 32773 518020 1616108 | 172673 845 37 | 0.000 % |
4.43/5.29 c | 961 | 32773 518020 1616108 | 172673 961 37 | 0.000 % |
4.43/5.33 c | 1082 | 32773 518020 1616108 | 172673 1082 36 | 0.000 % |
4.43/5.37 c | 1216 | 32773 518020 1616108 | 172673 1216 36 | 0.000 % |
5.36/5.41 c | 1317 | 32773 518020 1616108 | 172673 1317 35 | 0.000 % |
5.36/5.44 c | 1427 | 32773 518020 1616108 | 172673 1427 35 | 0.000 % |
5.36/5.46 c | 1554 | 32773 518020 1616108 | 172673 1554 35 | 0.000 % |
5.46/5.59 c | 1690 | 32773 518020 1616108 | 172673 1690 35 | 0.000 % |
5.55/5.62 c | 1836 | 32773 518020 1616108 | 172673 1836 35 | 0.000 % |
5.55/5.65 c | 1939 | 32773 518020 1616108 | 172673 1939 35 | 0.000 % |
5.55/5.69 c | 2049 | 32773 518020 1616108 | 172673 2049 35 | 0.000 % |
5.75/5.80 c | 2170 | 32773 518020 1616108 | 172673 2170 35 | 0.000 % |
5.75/5.86 c | 2304 | 32773 518020 1616108 | 172673 2304 36 | 0.000 % |
5.75/5.89 c | 2450 | 32773 518020 1616108 | 172673 2450 36 | 0.000 % |
5.85/5.97 c | 2610 | 32773 518020 1616108 | 172673 2610 37 | 0.000 % |
5.95/6.04 c | 2711 | 32773 518020 1616108 | 172673 2711 37 | 0.000 % |
5.95/6.09 c | 2824 | 32773 518020 1616108 | 172673 2824 38 | 0.000 % |
6.05/6.13 c | 2948 | 32773 518020 1616108 | 172673 2948 38 | 0.000 % |
6.05/6.17 c | 3083 | 32773 518020 1616108 | 172673 3083 38 | 0.000 % |
6.15/6.21 c | 3230 | 32773 518020 1616108 | 172673 3230 37 | 0.000 % |
6.15/6.28 c | 3392 | 32773 518020 1616108 | 172673 3392 38 | 0.000 % |
6.25/6.31 c | 3568 | 32773 518020 1616108 | 172673 3568 37 | 0.000 % |
6.25/6.39 c | 3668 | 32773 518020 1616108 | 172673 3668 37 | 0.000 % |
6.35/6.43 c | 3781 | 32773 518020 1616108 | 172673 3781 37 | 0.000 % |
6.35/6.47 c | 3902 | 32773 518020 1616108 | 172673 3902 37 | 0.000 % |
6.45/6.52 c | 4036 | 32773 518020 1616108 | 172673 4036 38 | 0.000 % |
6.45/6.60 c | 4182 | 32773 518020 1616108 | 172673 4182 38 | 0.000 % |
6.55/6.69 c | 4343 | 32773 518020 1616108 | 172673 4343 38 | 0.000 % |
6.65/6.74 c | 4520 | 32773 518020 1616108 | 172673 4520 38 | 0.000 % |
6.75/6.87 c | 4713 | 32773 518020 1616108 | 172673 4713 38 | 0.000 % |
6.75/6.90 c | 4813 | 32773 518020 1616108 | 172673 4813 38 | 0.000 % |
6.85/6.93 c | 4923 | 32773 518020 1616108 | 172673 4923 38 | 0.000 % |
6.85/6.96 c | 5044 | 32773 518020 1616108 | 172673 5044 38 | 0.000 % |
6.95/7.09 c | 5178 | 32773 518020 1616108 | 172673 5178 38 | 0.000 % |
7.05/7.13 c | 5324 | 32773 518020 1616108 | 172673 5324 39 | 0.000 % |
7.05/7.18 c | 5484 | 32773 518020 1616108 | 172673 5484 39 | 0.000 % |
7.15/7.23 c | 5662 | 32773 518020 1616108 | 172673 5662 39 | 0.000 % |
7.25/7.30 c | 5857 | 32773 518020 1616108 | 172673 5857 39 | 0.000 % |
7.35/7.40 c | 6069 | 32773 518020 1616108 | 172673 6069 40 | 0.000 % |
7.35/7.46 c | 6169 | 32773 518020 1616108 | 172673 6169 40 | 0.000 % |
7.45/7.53 c | 6280 | 32773 518020 1616108 | 172673 6280 40 | 0.000 % |
7.55/7.60 c | 6401 | 32773 518020 1616108 | 172673 6401 40 | 0.000 % |
7.55/7.65 c | 6534 | 32773 518020 1616108 | 172673 6534 40 | 0.000 % |
7.65/7.73 c | 6681 | 32773 518020 1616108 | 172673 6681 40 | 0.000 % |
7.75/7.80 c | 6841 | 32773 518020 1616108 | 172673 6841 40 | 0.000 % |
7.75/7.86 c | 7017 | 32773 518020 1616108 | 172673 7017 39 | 0.000 % |
7.85/7.95 c | 7210 | 32773 518020 1616108 | 172673 7210 39 | 0.000 % |
7.95/8.07 c | 7422 | 32773 518020 1616108 | 172673 7422 39 | 0.000 % |
8.05/8.18 c | 7655 | 32773 518020 1616108 | 172673 7655 39 | 0.000 % |
8.15/8.24 c | 7755 | 32773 518020 1616108 | 172673 7755 39 | 0.000 % |
8.25/8.35 c | 7865 | 32773 518020 1616108 | 172673 7865 39 | 0.000 % |
8.25/8.38 c | 7988 | 32773 518020 1616108 | 172673 7988 40 | 0.000 % |
8.35/8.46 c | 8121 | 32773 518020 1616108 | 172673 8121 40 | 0.000 % |
8.45/8.59 c | 8267 | 32773 518020 1616108 | 172673 8267 40 | 0.000 % |
8.55/8.67 c | 8428 | 32773 518020 1616108 | 172673 8428 40 | 0.000 % |
8.65/8.72 c | 8604 | 32773 518020 1616108 | 172673 8604 41 | 0.000 % |
8.75/8.83 c | 8797 | 32773 518020 1616108 | 172673 8797 40 | 0.000 % |
8.85/8.94 c | 9010 | 32773 518020 1616108 | 172673 9010 40 | 0.000 % |
9.05/9.15 c | 9244 | 32773 518020 1616108 | 172673 9244 40 | 0.000 % |
9.15/9.22 c | 9501 | 32773 518020 1616108 | 172673 9501 40 | 0.000 % |
9.15/9.29 c | 9601 | 32773 518020 1616108 | 172673 9601 40 | 0.000 % |
9.25/9.35 c | 9711 | 32773 518020 1616108 | 172673 9711 40 | 0.000 % |
9.25/9.39 c | 9832 | 32773 518020 1616108 | 172673 9832 39 | 0.000 % |
9.35/9.43 c | 9966 | 32773 518020 1616108 | 172673 9966 40 | 0.000 % |
9.35/9.47 c | 10112 | 32773 518020 1616108 | 2147483647 10112 39 | 0.000 % |
9.45/9.53 c | 10273 | 32773 518020 1616108 | 2147483647 10273 39 | 0.000 % |
9.45/9.57 c | 10451 | 32773 518020 1616108 | 2147483647 10451 40 | 0.000 % |
9.55/9.61 c | 10645 | 32773 518020 1616108 | 2147483647 10645 39 | 0.000 % |
9.65/9.72 c | 10858 | 32773 518020 1616108 | 2147483647 10858 39 | 0.000 % |
9.65/9.78 c | 11095 | 32773 518020 1616108 | 2147483647 11095 40 | 0.000 % |
9.75/9.89 c | 11351 | 32773 518020 1616108 | 2147483647 11351 40 | 0.000 % |
9.85/9.93 c | 11635 | 32773 518020 1616108 | 2147483647 11635 39 | 0.000 % |
9.85/9.98 c | 11736 | 32773 518020 1616108 | 2147483647 11736 40 | 0.000 % |
9.95/10.05 c | 11847 | 32773 518020 1616108 | 2147483647 11847 40 | 0.000 % |
9.95/10.08 c | 11968 | 32773 518020 1616108 | 2147483647 11968 40 | 0.000 % |
10.05/10.14 c | 12101 | 32773 518020 1616108 | 2147483647 12101 40 | 0.000 % |
10.15/10.21 c | 12247 | 32773 518020 1616108 | 2147483647 12247 40 | 0.000 % |
10.15/10.26 c | 12408 | 32773 518020 1616108 | 2147483647 12408 40 | 0.000 % |
10.25/10.34 c | 12587 | 32773 518020 1616108 | 2147483647 12587 40 | 0.000 % |
10.25/10.40 c | 12780 | 32773 518020 1616108 | 2147483647 12780 41 | 0.000 % |
10.45/10.50 c | 12992 | 32773 518020 1616108 | 2147483647 12992 41 | 0.000 % |
10.45/10.58 c | 13226 | 32773 518020 1616108 | 2147483647 13226 41 | 0.000 % |
10.55/10.62 c | 13482 | 32773 518020 1616108 | 2147483647 13482 41 | 0.000 % |
10.75/10.80 c | 13765 | 32773 518020 1616108 | 2147483647 13765 42 | 0.000 % |
10.75/10.90 c | 14074 | 32773 518020 1616108 | 2147483647 14074 41 | 0.000 % |
10.85/10.91 c | 14176 | 32773 518020 1616108 | 2147483647 14176 41 | 0.000 % |
10.85/10.97 c | 14287 | 32773 518020 1616108 | 2147483647 14287 41 | 0.000 % |
10.95/11.04 c | 14408 | 32773 518020 1616108 | 2147483647 14408 41 | 0.000 % |
11.05/11.10 c | 14543 | 32773 518020 1616108 | 2147483647 14543 41 | 0.000 % |
11.15/11.21 c | 14691 | 32773 518020 1616108 | 2147483647 14691 41 | 0.000 % |
11.25/11.32 c | 14852 | 32773 518020 1616108 | 2147483647 14852 41 | 0.000 % |
11.25/11.36 c | 15028 | 32773 518020 1616108 | 2147483647 15028 41 | 0.000 % |
11.45/11.53 c | 15224 | 32773 518020 1616108 | 2147483647 15224 41 | 0.000 % |
11.45/11.58 c | 15438 | 32773 518020 1616108 | 2147483647 15438 41 | 0.000 % |
11.55/11.65 c | 15672 | 32773 518020 1616108 | 2147483647 15672 41 | 0.000 % |
11.65/11.76 c | 15928 | 32773 518020 1616108 | 2147483647 15928 41 | 0.000 % |
11.74/11.82 c | 16209 | 32773 518020 1616108 | 2147483647 16209 41 | 0.000 % |
11.84/11.90 c | 16519 | 32773 518020 1616108 | 2147483647 16519 41 | 0.000 % |
12.05/12.11 c | 16858 | 32773 518020 1616108 | 2147483647 16858 41 | 0.000 % |
12.05/12.15 c | 16960 | 32773 518020 1616108 | 2147483647 16960 41 | 0.000 % |
12.05/12.18 c | 17070 | 32773 518020 1616108 | 2147483647 17070 41 | 0.000 % |
12.14/12.27 c | 17193 | 32773 518020 1616108 | 2147483647 17193 41 | 0.000 % |
12.24/12.32 c | 17327 | 32773 518020 1616108 | 2147483647 17327 41 | 0.000 % |
12.34/12.44 c | 17475 | 32773 518020 1616108 | 2147483647 17475 41 | 0.000 % |
12.44/12.54 c | 17636 | 32773 518020 1616108 | 2147483647 17636 41 | 0.000 % |
12.54/12.68 c | 17812 | 32773 518020 1616108 | 2147483647 17812 41 | 0.000 % |
12.64/12.75 c | 18007 | 32773 518020 1616108 | 2147483647 18007 41 | 0.000 % |
12.74/12.89 c | 18220 | 32773 518020 1616108 | 2147483647 18220 41 | 0.000 % |
12.84/12.94 c | 18453 | 32773 518020 1616108 | 2147483647 18453 41 | 0.000 % |
12.94/13.06 c | 18713 | 32773 518020 1616108 | 2147483647 18713 41 | 0.000 % |
13.05/13.14 c | 18996 | 32773 518020 1616108 | 2147483647 18996 40 | 0.000 % |
13.15/13.25 c | 19306 | 32773 518020 1616108 | 2147483647 19306 40 | 0.000 % |
13.24/13.33 c | 19646 | 32773 518020 1616108 | 2147483647 19646 40 | 0.000 % |
13.34/13.46 c | 20019 | 32773 518020 1616108 | 2147483647 20019 40 | 0.000 % |
13.44/13.52 c | 20119 | 32773 518020 1616108 | 2147483647 20119 40 | 0.000 % |
13.44/13.55 c | 20230 | 32773 518020 1616108 | 2147483647 20230 40 | 0.000 % |
13.44/13.59 c | 20353 | 32773 518020 1616108 | 2147483647 20353 40 | 0.000 % |
13.54/13.64 c | 20489 | 32773 518020 1616108 | 2147483647 20489 40 | 0.000 % |
13.64/13.70 c | 20636 | 32773 518020 1616108 | 2147483647 20636 40 | 0.000 % |
13.64/13.76 c | 20797 | 32773 518020 1616108 | 2147483647 20797 40 | 0.000 % |
13.74/13.82 c | 20973 | 32773 518020 1616108 | 2147483647 20973 40 | 0.000 % |
13.74/13.86 c | 21167 | 32773 518020 1616108 | 2147483647 21167 40 | 0.000 % |
13.85/13.92 c | 21379 | 32773 518020 1616108 | 2147483647 21379 40 | 0.000 % |
13.95/14.00 c | 21612 | 32773 518020 1616108 | 2147483647 21612 40 | 0.000 % |
13.95/14.07 c | 21868 | 32773 518020 1616108 | 2147483647 21868 40 | 0.000 % |
14.05/14.16 c | 22149 | 32773 518020 1616108 | 2147483647 22149 40 | 0.000 % |
14.26/14.31 c | 22462 | 32773 518020 1616108 | 2147483647 22462 40 | 0.000 % |
14.26/14.39 c | 22801 | 32773 518020 1616108 | 2147483647 22801 40 | 0.000 % |
14.45/14.50 c | 23173 | 32773 518020 1616108 | 2147483647 23173 40 | 0.000 % |
14.55/14.62 c | 23582 | 32773 518020 1616108 | 2147483647 23582 40 | 0.000 % |
14.55/14.67 c | 23683 | 32773 518020 1616108 | 2147483647 23683 40 | 0.000 % |
14.65/14.71 c | 23794 | 32773 518020 1616108 | 2147483647 23794 40 | 0.000 % |
14.65/14.76 c | 23915 | 32773 518020 1616108 | 2147483647 23915 40 | 0.000 % |
14.75/14.81 c | 24053 | 32773 518020 1616108 | 2147483647 24053 40 | 0.000 % |
14.75/14.89 c | 24199 | 32773 518020 1616108 | 2147483647 24199 40 | 0.000 % |
14.85/14.93 c | 24360 | 32773 518020 1616108 | 2147483647 24360 40 | 0.000 % |
14.85/14.97 c | 24538 | 32773 518020 1616108 | 2147483647 24538 40 | 0.000 % |
14.95/15.07 c | 24733 | 32773 518020 1616108 | 2147483647 24733 40 | 0.000 % |
15.05/15.13 c | 24946 | 32773 518020 1616108 | 2147483647 24946 40 | 0.000 % |
15.15/15.23 c | 25180 | 32773 518020 1616108 | 2147483647 25180 40 | 0.000 % |
15.25/15.31 c | 25436 | 32773 518020 1616108 | 2147483647 25436 40 | 0.000 % |
15.25/15.39 c | 25718 | 32773 518020 1616108 | 2147483647 25718 40 | 0.000 % |
15.45/15.51 c | 26029 | 32773 518020 1616108 | 2147483647 26029 40 | 0.000 % |
15.55/15.64 c | 26368 | 32773 518020 1616108 | 2147483647 26368 40 | 0.000 % |
15.65/15.72 c | 26740 | 32773 518020 1616108 | 2147483647 26740 40 | 0.000 % |
15.85/15.90 c | 27149 | 32773 518020 1616108 | 2147483647 27149 40 | 0.000 % |
15.95/16.04 c | 27598 | 32773 518020 1616108 | 2147483647 27598 40 | 0.000 % |
15.95/16.10 c | 27701 | 32773 518020 1616108 | 2147483647 27701 40 | 0.000 % |
16.05/16.13 c | 27811 | 32773 518020 1616108 | 2147483647 27811 40 | 0.000 % |
16.15/16.20 c | 27932 | 32773 518020 1616108 | 2147483647 27932 40 | 0.000 % |
16.15/16.23 c | 28065 | 32773 518020 1616108 | 2147483647 28065 40 | 0.000 % |
16.15/16.28 c | 28213 | 32773 518020 1616108 | 2147483647 28213 40 | 0.000 % |
16.25/16.32 c | 28375 | 32773 518020 1616108 | 2147483647 28375 40 | 0.000 % |
16.25/16.38 c | 28551 | 32773 518020 1616108 | 2147483647 28551 40 | 0.000 % |
16.35/16.45 c | 28744 | 32773 518020 1616108 | 2147483647 28744 40 | 0.000 % |
16.45/16.50 c | 28956 | 32773 518020 1616108 | 2147483647 28956 40 | 0.000 % |
16.45/16.59 c | 29190 | 32773 518020 1616108 | 2147483647 29190 40 | 0.000 % |
16.55/16.68 c | 29447 | 32773 518020 1616108 | 2147483647 29447 39 | 0.000 % |
16.65/16.75 c | 29728 | 32773 518020 1616108 | 2147483647 29728 39 | 0.000 % |
16.75/16.84 c | 30038 | 32773 518020 1616108 | 2147483647 30038 39 | 0.000 % |
16.85/16.91 c | 30377 | 32773 518020 1616108 | 2147483647 30377 40 | 0.000 % |
16.85/16.99 c | 30750 | 32773 518020 1616108 | 2147483647 30750 40 | 0.000 % |
17.05/17.14 c | 31160 | 32773 518020 1616108 | 2147483647 31160 40 | 0.000 % |
17.15/17.22 c | 31609 | 32773 518020 1616108 | 2147483647 31609 40 | 0.000 % |
17.25/17.36 c | 32102 | 32773 518020 1616108 | 2147483647 32102 40 | 0.000 % |
17.34/17.40 c | 32202 | 32773 518020 1616108 | 2147483647 32202 40 | 0.000 % |
17.34/17.43 c | 32312 | 32773 518020 1616108 | 2147483647 32312 40 | 0.000 % |
17.34/17.48 c | 32433 | 32773 518020 1616108 | 2147483647 32433 39 | 0.000 % |
17.45/17.51 c | 32566 | 32773 518020 1616108 | 2147483647 32566 39 | 0.000 % |
17.45/17.55 c | 32713 | 32773 518020 1616108 | 2147483647 32713 40 | 0.000 % |
17.55/17.61 c | 32874 | 32773 518020 1616108 | 2147483647 32874 40 | 0.000 % |
17.55/17.65 c | 33050 | 32773 518020 1616108 | 2147483647 33050 40 | 0.000 % |
17.64/17.72 c | 33243 | 32773 518020 1616108 | 2147483647 33243 40 | 0.000 % |
17.64/17.79 c | 33456 | 32773 518020 1616108 | 2147483647 33456 40 | 0.000 % |
17.74/17.86 c | 33690 | 32773 518020 1616108 | 2147483647 33690 40 | 0.000 % |
17.84/17.94 c | 33946 | 32773 518020 1616108 | 2147483647 33946 39 | 0.000 % |
17.94/18.01 c | 34227 | 32773 518020 1616108 | 2147483647 34227 39 | 0.000 % |
17.94/18.10 c | 34536 | 32773 518020 1616108 | 2147483647 34536 39 | 0.000 % |
18.04/18.18 c | 34876 | 32773 518020 1616108 | 2147483647 34876 39 | 0.000 % |
18.14/18.27 c | 35249 | 32773 518020 1616108 | 2147483647 35249 39 | 0.000 % |
18.24/18.39 c | 35658 | 32773 518020 1616108 | 2147483647 35658 39 | 0.000 % |
18.44/18.54 c | 36107 | 32773 518020 1616108 | 2147483647 36107 39 | 0.000 % |
18.55/18.68 c | 36601 | 32773 518020 1616108 | 2147483647 36601 39 | 0.000 % |
18.74/18.86 c | 37145 | 32773 518020 1616108 | 2147483647 37145 39 | 0.000 % |
18.84/18.90 c | 37246 | 32773 518020 1616108 | 2147483647 37246 39 | 0.000 % |
18.84/18.95 c | 37356 | 32773 518020 1616108 | 2147483647 37356 39 | 0.000 % |
18.94/19.00 c | 37480 | 32773 518020 1616108 | 2147483647 37480 39 | 0.000 % |
18.94/19.04 c | 37614 | 32773 518020 1616108 | 2147483647 37614 39 | 0.000 % |
18.94/19.10 c | 37761 | 32773 518020 1616108 | 2147483647 37761 38 | 0.000 % |
19.04/19.15 c | 37921 | 32773 518020 1616108 | 2147483647 37921 38 | 0.000 % |
19.14/19.23 c | 38097 | 32773 518020 1616108 | 2147483647 38097 38 | 0.000 % |
19.14/19.28 c | 38292 | 32773 518020 1616108 | 2147483647 38292 38 | 0.000 % |
19.24/19.36 c | 38505 | 32773 518020 1616108 | 2147483647 38505 38 | 0.000 % |
19.34/19.43 c | 38738 | 32773 518020 1616108 | 2147483647 38738 38 | 0.000 % |
19.44/19.50 c | 38994 | 32773 518020 1616108 | 2147483647 38994 38 | 0.000 % |
19.44/19.59 c | 39275 | 32773 518020 1616108 | 2147483647 39275 38 | 0.000 % |
19.65/19.71 c | 39584 | 32773 518020 1616108 | 2147483647 39584 38 | 0.000 % |
19.74/19.82 c | 39924 | 32773 518020 1616108 | 2147483647 39924 38 | 0.000 % |
19.84/19.96 c | 40296 | 32773 518020 1616108 | 2147483647 40296 38 | 0.000 % |
19.94/20.07 c | 40705 | 32773 518020 1616108 | 2147483647 40705 38 | 0.000 % |
20.15/20.22 c | 41154 | 32773 518020 1616108 | 2147483647 41154 38 | 0.000 % |
20.25/20.38 c | 41649 | 32773 518020 1616108 | 2147483647 41649 38 | 0.000 % |
20.45/20.55 c | 42191 | 32773 518020 1616108 | 2147483647 42191 37 | 0.000 % |
20.65/20.72 c | 42788 | 32773 518020 1616108 | 2147483647 42788 37 | 0.000 % |
20.65/20.77 c | 42888 | 32773 518020 1616108 | 2147483647 42888 37 | 0.000 % |
20.75/20.82 c | 42998 | 32773 518020 1616108 | 2147483647 42998 37 | 0.000 % |
20.75/20.87 c | 43120 | 32773 518020 1616108 | 2147483647 43120 37 | 0.000 % |
20.85/20.91 c | 43255 | 32773 518020 1616108 | 2147483647 43255 37 | 0.000 % |
20.85/20.96 c | 43403 | 32773 518020 1616108 | 2147483647 43403 37 | 0.000 % |
20.95/21.02 c | 43563 | 32773 518020 1616108 | 2147483647 43563 37 | 0.000 % |
20.95/21.07 c | 43739 | 32773 518020 1616108 | 2147483647 43739 37 | 0.000 % |
21.05/21.16 c | 43933 | 32773 518020 1616108 | 2147483647 43933 37 | 0.000 % |
21.15/21.23 c | 44145 | 32773 518020 1616108 | 2147483647 44145 37 | 0.000 % |
21.15/21.29 c | 44379 | 32773 518020 1616108 | 2147483647 44379 37 | 0.000 % |
21.45/21.51 c | 44635 | 32773 518020 1616108 | 2147483647 44635 37 | 0.000 % |
21.55/21.68 c | 44916 | 32773 518020 1616108 | 2147483647 44916 37 | 0.000 % |
21.75/21.84 c | 45225 | 32773 518020 1616108 | 2147483647 45225 37 | 0.000 % |
21.85/21.96 c | 45566 | 32773 518020 1616108 | 2147483647 45566 37 | 0.000 % |
22.15/22.23 c | 45938 | 32773 518020 1616108 | 2147483647 45938 37 | 0.000 % |
22.25/22.38 c | 46349 | 32773 518020 1616108 | 2147483647 46349 37 | 0.000 % |
22.45/22.51 c | 46798 | 32773 518020 1616108 | 2147483647 46798 37 | 0.000 % |
22.54/22.69 c | 47291 | 32773 518020 1616108 | 2147483647 47291 37 | 0.000 % |
22.84/22.98 c | 47835 | 32773 518020 1616108 | 2147483647 47835 37 | 0.000 % |
22.95/23.09 c | 48431 | 32773 518020 1616108 | 2147483647 48431 37 | 0.000 % |
23.05/23.18 c | 49086 | 32773 518020 1616108 | 2147483647 49086 37 | 0.000 % |
23.14/23.27 c | 49186 | 32773 518020 1616108 | 2147483647 49186 37 | 0.000 % |
23.24/23.34 c | 49297 | 32773 518020 1616108 | 2147483647 49297 37 | 0.000 % |
23.34/23.40 c | 49418 | 32773 518020 1616108 | 2147483647 49418 37 | 0.000 % |
23.34/23.47 c | 49552 | 32773 518020 1616108 | 2147483647 49552 37 | 0.000 % |
23.44/23.60 c | 49699 | 32773 518020 1616108 | 2147483647 49699 37 | 0.000 % |
23.64/23.75 c | 49860 | 32773 518020 1616108 | 2147483647 49860 37 | 0.000 % |
23.74/23.83 c | 50036 | 32773 518020 1616108 | 2147483647 50036 37 | 0.000 % |
23.84/23.92 c | 50231 | 32773 518020 1616108 | 2147483647 50231 37 | 0.000 % |
23.94/24.02 c | 50443 | 32773 518020 1616108 | 2147483647 50443 37 | 0.000 % |
24.05/24.19 c | 50676 | 32773 518020 1616108 | 2147483647 50676 37 | 0.000 % |
24.15/24.28 c | 50936 | 32773 518020 1616108 | 2147483647 50936 37 | 0.000 % |
24.44/24.51 c | 51217 | 32773 518020 1616108 | 2147483647 51217 37 | 0.000 % |
24.64/24.70 c | 51526 | 32773 518020 1616108 | 2147483647 51526 37 | 0.000 % |
24.64/24.78 c | 51865 | 32773 518020 1616108 | 2147483647 51865 38 | 0.000 % |
24.94/25.02 c | 52237 | 32773 518020 1616108 | 2147483647 52237 38 | 0.000 % |
25.15/25.25 c | 52646 | 32773 518020 1616108 | 2147483647 52646 38 | 0.000 % |
25.25/25.35 c | 53096 | 32773 518020 1616108 | 2147483647 53096 38 | 0.000 % |
25.44/25.55 c | 53590 | 32773 518020 1616108 | 2147483647 53590 38 | 0.000 % |
25.74/25.82 c | 54132 | 32773 518020 1616108 | 2147483647 54132 38 | 0.000 % |
25.84/25.93 c | 54729 | 32773 518020 1616108 | 2147483647 54729 38 | 0.000 % |
25.94/26.07 c | 55384 | 32773 518020 1616108 | 2147483647 55384 38 | 0.000 % |
26.24/26.39 c | 56105 | 32773 518020 1616108 | 2147483647 56105 38 | 0.000 % |
26.44/26.50 c | 56208 | 32773 518020 1616108 | 2147483647 56208 38 | 0.000 % |
26.44/26.54 c | 56319 | 32773 518020 1616108 | 2147483647 56319 38 | 0.000 % |
26.44/26.59 c | 56441 | 32773 518020 1616108 | 2147483647 56441 38 | 0.000 % |
26.54/26.69 c | 56574 | 32773 518020 1616108 | 2147483647 56574 38 | 0.000 % |
26.64/26.75 c | 56723 | 32773 518020 1616108 | 2147483647 56723 38 | 0.000 % |
26.74/26.86 c | 56885 | 32773 518020 1616108 | 2147483647 56885 38 | 0.000 % |
26.84/26.96 c | 57061 | 32773 518020 1616108 | 2147483647 57061 38 | 0.000 % |
26.94/27.06 c | 57255 | 32773 518020 1616108 | 2147483647 57255 38 | 0.000 % |
27.04/27.18 c | 57467 | 32773 518020 1616108 | 2147483647 57467 38 | 0.000 % |
27.24/27.31 c | 57700 | 32773 518020 1616108 | 2147483647 57700 38 | 0.000 % |
27.44/27.52 c | 57958 | 32773 518020 1616108 | 2147483647 57958 38 | 0.000 % |
27.54/27.67 c | 58240 | 32773 518020 1616108 | 2147483647 58240 39 | 0.000 % |
27.64/27.79 c | 58549 | 32773 518020 1616108 | 2147483647 58549 39 | 0.000 % |
27.84/27.94 c | 58889 | 32773 518020 1616108 | 2147483647 58889 39 | 0.000 % |
27.94/28.09 c | 59261 | 32773 518020 1616108 | 2147483647 59261 39 | 0.000 % |
28.14/28.22 c | 59670 | 32773 518020 1616108 | 2147483647 59670 38 | 0.000 % |
28.24/28.35 c | 60121 | 32773 518020 1616108 | 2147483647 60121 38 | 0.000 % |
28.34/28.50 c | 60614 | 32773 518020 1616108 | 2147483647 60614 38 | 0.000 % |
28.54/28.66 c | 61157 | 32773 518020 1616108 | 2147483647 61157 38 | 0.000 % |
28.85/28.90 c | 61754 | 32773 518020 1616108 | 2147483647 61754 38 | 0.000 % |
28.95/29.09 c | 62410 | 32773 518020 1616108 | 2147483647 62410 38 | 0.000 % |
29.25/29.38 c | 63133 | 32773 518020 1616108 | 2147483647 63133 37 | 0.000 % |
29.75/29.84 c | 63925 | 32773 518020 1616108 | 2147483647 63925 38 | 0.000 % |
29.85/29.90 c | 64027 | 32773 518020 1616108 | 2147483647 64027 38 | 0.000 % |
29.95/30.01 c | 64137 | 32773 518020 1616108 | 2147483647 64137 38 | 0.000 % |
29.95/30.06 c | 64260 | 32773 518020 1616108 | 2147483647 64260 38 | 0.000 % |
30.15/30.23 c | 64394 | 32773 518020 1616108 | 2147483647 64394 38 | 0.000 % |
30.25/30.32 c | 64540 | 32773 518020 1616108 | 2147483647 64540 38 | 0.000 % |
30.35/30.41 c | 64700 | 32773 518020 1616108 | 2147483647 64700 38 | 0.000 % |
30.45/30.53 c | 64876 | 32773 518020 1616108 | 2147483647 64876 38 | 0.000 % |
30.55/30.68 c | 65069 | 32773 518020 1616108 | 2147483647 65069 38 | 0.000 % |
30.65/30.73 c | 65283 | 32773 518020 1616108 | 2147483647 65283 38 | 0.000 % |
30.75/30.88 c | 65518 | 32773 518020 1616108 | 2147483647 65518 38 | 0.000 % |
30.95/31.10 c | 65775 | 32773 518020 1616108 | 2147483647 65775 38 | 0.000 % |
31.05/31.18 c | 66056 | 32773 518020 1616108 | 2147483647 66056 38 | 0.000 % |
31.15/31.26 c | 66366 | 32773 518020 1616108 | 2147483647 66366 38 | 0.000 % |
31.35/31.42 c | 66705 | 32773 518020 1616108 | 2147483647 66705 38 | 0.000 % |
31.45/31.59 c | 67077 | 32773 518020 1616108 | 2147483647 67077 38 | 0.000 % |
31.65/31.79 c | 67489 | 32773 518020 1616108 | 2147483647 67489 38 | 0.000 % |
31.95/32.03 c | 67939 | 32773 518020 1616108 | 2147483647 67939 38 | 0.000 % |
32.15/32.23 c | 68433 | 32773 518020 1616108 | 2147483647 68433 38 | 0.000 % |
32.44/32.50 c | 68975 | 32773 518020 1616108 | 2147483647 68975 39 | 0.000 % |
32.74/32.81 c | 69573 | 32773 518020 1616108 | 2147483647 69573 39 | 0.000 % |
32.85/32.99 c | 70228 | 32773 518020 1616108 | 2147483647 70228 39 | 0.000 % |
33.34/33.42 c | 70948 | 32773 518020 1616108 | 2147483647 70948 39 | 0.000 % |
33.74/33.80 c | 71740 | 32773 518020 1616108 | 2147483647 71740 39 | 0.000 % |
34.14/34.28 c | 72611 | 32773 518020 1616108 | 2147483647 72611 39 | 0.000 % |
34.24/34.35 c | 72713 | 32773 518020 1616108 | 2147483647 72713 39 | 0.000 % |
34.34/34.47 c | 72823 | 32773 518020 1616108 | 2147483647 72823 39 | 0.000 % |
34.44/34.51 c | 72944 | 32773 518020 1616108 | 2147483647 72944 39 | 0.000 % |
34.54/34.61 c | 73078 | 32773 518020 1616108 | 2147483647 73078 39 | 0.000 % |
34.64/34.71 c | 73225 | 32773 518020 1616108 | 2147483647 73225 39 | 0.000 % |
34.74/34.83 c | 73385 | 32773 518020 1616108 | 2147483647 73385 39 | 0.000 % |
34.74/34.88 c | 73561 | 32773 518020 1616108 | 2147483647 73561 39 | 0.000 % |
34.84/34.98 c | 73756 | 32773 518020 1616108 | 2147483647 73756 39 | 0.000 % |
35.04/35.15 c | 73968 | 32773 518020 1616108 | 2147483647 73968 39 | 0.000 % |
35.14/35.28 c | 74201 | 32773 518020 1616108 | 2147483647 74201 39 | 0.000 % |
35.24/35.37 c | 74458 | 32773 518020 1616108 | 2147483647 74458 39 | 0.000 % |
35.44/35.54 c | 74740 | 32773 518020 1616108 | 2147483647 74740 39 | 0.000 % |
35.64/35.75 c | 75050 | 32773 518020 1616108 | 2147483647 75050 39 | 0.000 % |
35.84/35.93 c | 75390 | 32773 518020 1616108 | 2147483647 75390 39 | 0.000 % |
35.94/36.06 c | 75762 | 32773 518020 1616108 | 2147483647 75762 39 | 0.000 % |
36.15/36.26 c | 76171 | 32773 518020 1616108 | 2147483647 76171 39 | 0.000 % |
36.34/36.41 c | 76620 | 32773 518020 1616108 | 2147483647 76620 39 | 0.000 % |
36.44/36.58 c | 77116 | 32773 518020 1616108 | 2147483647 77116 39 | 0.000 % |
36.64/36.76 c | 77659 | 32773 518020 1616108 | 2147483647 77659 40 | 0.000 % |
36.94/37.06 c | 78255 | 32773 518020 1616108 | 2147483647 78255 40 | 0.000 % |
37.35/37.43 c | 78910 | 32773 518020 1616108 | 2147483647 78910 40 | 0.000 % |
37.54/37.67 c | 79631 | 32773 518020 1616108 | 2147483647 79631 40 | 0.000 % |
37.74/37.83 c | 80424 | 32773 518020 1616108 | 2147483647 80424 41 | 0.000 % |
37.94/38.08 c | 81295 | 32773 518020 1616108 | 2147483647 81295 41 | 0.000 % |
38.24/38.39 c | 82254 | 32773 518020 1616108 | 2147483647 82254 41 | 0.000 % |
38.34/38.45 c | 82355 | 32773 518020 1616108 | 2147483647 82355 41 | 0.000 % |
38.44/38.51 c | 82469 | 32773 518020 1616108 | 2147483647 82469 41 | 0.000 % |
38.44/38.56 c | 82590 | 32773 518020 1616108 | 2147483647 82590 41 | 0.000 % |
38.63/38.70 c | 82723 | 32773 518020 1616108 | 2147483647 82723 41 | 0.000 % |
38.63/38.78 c | 82870 | 32773 518020 1616108 | 2147483647 82870 41 | 0.000 % |
38.73/38.87 c | 83032 | 32773 518020 1616108 | 2147483647 83032 41 | 0.000 % |
38.93/39.07 c | 83209 | 32773 518020 1616108 | 2147483647 83209 41 | 0.000 % |
39.04/39.15 c | 83402 | 32773 518020 1616108 | 2147483647 83402 41 | 0.000 % |
39.14/39.29 c | 83614 | 32773 518020 1616108 | 2147483647 83614 41 | 0.000 % |
39.34/39.48 c | 83850 | 32773 518020 1616108 | 2147483647 83850 41 | 0.000 % |
39.44/39.57 c | 84107 | 32773 518020 1616108 | 2147483647 84107 41 | 0.000 % |
39.64/39.71 c | 84388 | 32773 518020 1616108 | 2147483647 84388 41 | 0.000 % |
39.84/39.93 c | 84698 | 32773 518020 1616108 | 2147483647 84698 41 | 0.000 % |
39.94/40.08 c | 85039 | 32773 518020 1616108 | 2147483647 85039 41 | 0.000 % |
40.24/40.36 c | 85411 | 32773 518020 1616108 | 2147483647 85411 41 | 0.000 % |
40.44/40.50 c | 85824 | 32773 518020 1616108 | 2147483647 85824 42 | 0.000 % |
40.64/40.72 c | 86273 | 32773 518020 1616108 | 2147483647 86273 42 | 0.000 % |
40.84/40.90 c | 86766 | 32773 518020 1616108 | 2147483647 86766 42 | 0.000 % |
41.14/41.27 c | 87308 | 32773 518020 1616108 | 2147483647 87308 42 | 0.000 % |
41.44/41.52 c | 87904 | 32773 518020 1616108 | 2147483647 87904 42 | 0.000 % |
41.64/41.77 c | 88559 | 32773 518020 1616108 | 2147483647 88559 42 | 0.000 % |
42.04/42.14 c | 89279 | 32773 518020 1616108 | 2147483647 89279 42 | 0.000 % |
42.44/42.50 c | 90071 | 32773 518020 1616108 | 2147483647 90071 42 | 0.000 % |
42.84/42.95 c | 90943 | 32773 518020 1616108 | 2147483647 90943 43 | 0.000 % |
43.34/43.42 c | 91902 | 32773 518020 1616108 | 2147483647 91902 43 | 0.000 % |
43.94/44.03 c | 92956 | 32773 518020 1616108 | 2147483647 92956 43 | 0.000 % |
43.94/44.09 c | 93056 | 32773 518020 1616108 | 2147483647 93056 43 | 0.000 % |
44.23/44.30 c | 93166 | 32773 518020 1616108 | 2147483647 93166 43 | 0.001 % |
44.33/44.40 c | 93290 | 32773 518020 1616108 | 2147483647 93290 43 | 0.000 % |
44.43/44.53 c | 93423 | 32773 518020 1616108 | 2147483647 93423 43 | 0.000 % |
44.53/44.63 c | 93572 | 32773 518020 1616108 | 2147483647 93572 43 | 0.000 % |
44.73/44.83 c | 93733 | 32773 518020 1616108 | 2147483647 93733 43 | 0.000 % |
44.83/44.92 c | 93909 | 32773 518020 1616108 | 2147483647 93909 43 | 0.000 % |
44.94/45.06 c | 94102 | 32773 518020 1616108 | 2147483647 94102 43 | 0.000 % |
45.13/45.23 c | 94316 | 32773 518020 1616108 | 2147483647 94316 43 | 0.000 % |
45.13/45.28 c | 94550 | 32773 518020 1616108 | 2147483647 94550 43 | 0.000 % |
45.33/45.45 c | 94807 | 32773 518020 1616108 | 2147483647 94807 43 | 0.000 % |
45.43/45.56 c | 95088 | 32773 518020 1616108 | 2147483647 95088 43 | 0.000 % |
45.73/45.85 c | 95398 | 32773 518020 1616108 | 2147483647 95398 43 | 0.000 % |
45.93/46.02 c | 95737 | 32773 518020 1616108 | 2147483647 95737 43 | 0.000 % |
46.04/46.19 c | 96109 | 32773 518020 1616108 | 2147483647 96109 43 | 0.000 % |
46.33/46.40 c | 96518 | 32773 518020 1616108 | 2147483647 96518 43 | 0.000 % |
46.53/46.63 c | 96967 | 32773 518020 1616108 | 2147483647 96967 43 | 0.000 % |
46.83/46.97 c | 97460 | 32773 518020 1616108 | 2147483647 97460 43 | 0.000 % |
47.24/47.33 c | 98002 | 32773 518020 1616108 | 2147483647 98002 43 | 0.000 % |
47.63/47.75 c | 98599 | 32773 518020 1616108 | 2147483647 98599 43 | 0.000 % |
47.93/48.02 c | 99254 | 32773 518020 1616108 | 2147483647 99254 43 | 0.000 % |
48.34/48.41 c | 99974 | 32773 518020 1616108 | 2147483647 99974 43 | 0.000 % |
48.63/48.78 c | 100767 | 32773 518020 1616108 | 2147483647 100767 43 | 0.000 % |
49.23/49.31 c | 101639 | 32773 518020 1616108 | 2147483647 101639 43 | 0.000 % |
49.53/49.63 c | 102600 | 32773 518020 1616108 | 2147483647 102600 43 | 0.000 % |
50.03/50.13 c | 103654 | 32773 518020 1616108 | 2147483647 103654 43 | 0.000 % |
50.44/50.54 c | 104813 | 32773 518020 1616108 | 2147483647 104813 43 | 0.000 % |
50.54/50.61 c | 104914 | 32773 518020 1616108 | 2147483647 104914 43 | 0.000 % |
50.54/50.69 c | 105026 | 32773 518020 1616108 | 2147483647 105026 43 | 0.000 % |
50.73/50.81 c | 105147 | 32773 518020 1616108 | 2147483647 105147 43 | 0.000 % |
50.73/50.87 c | 105281 | 32773 518020 1616108 | 2147483647 105281 43 | 0.000 % |
50.83/50.95 c | 105428 | 32773 518020 1616108 | 2147483647 105428 43 | 0.000 % |
50.93/51.06 c | 105588 | 32773 518020 1616108 | 2147483647 105588 43 | 0.000 % |
51.03/51.18 c | 105764 | 32773 518020 1616108 | 2147483647 105764 43 | 0.000 % |
51.33/51.42 c | 105957 | 32773 518020 1616108 | 2147483647 105957 43 | 0.000 % |
51.43/51.56 c | 106170 | 32773 518020 1616108 | 2147483647 106170 44 | 0.000 % |
51.53/51.66 c | 106403 | 32773 518020 1616108 | 2147483647 106403 44 | 0.000 % |
51.73/51.85 c | 106660 | 32773 518020 1616108 | 2147483647 106660 44 | 0.000 % |
51.83/51.99 c | 106942 | 32773 518020 1616108 | 2147483647 106942 44 | 0.000 % |
52.03/52.15 c | 107251 | 32773 518020 1616108 | 2147483647 107251 44 | 0.000 % |
52.23/52.33 c | 107591 | 32773 518020 1616108 | 2147483647 107591 44 | 0.000 % |
52.43/52.59 c | 107963 | 32773 518020 1616108 | 2147483647 107963 44 | 0.000 % |
52.63/52.76 c | 108373 | 32773 518020 1616108 | 2147483647 108373 44 | 0.000 % |
52.92/53.01 c | 108822 | 32773 518020 1616108 | 2147483647 108822 44 | 0.000 % |
53.12/53.26 c | 109315 | 32773 518020 1616108 | 2147483647 109315 44 | 0.000 % |
53.43/53.57 c | 109858 | 32773 518020 1616108 | 2147483647 109858 44 | 0.000 % |
53.63/53.79 c | 110454 | 32773 518020 1616108 | 2147483647 110454 44 | 0.000 % |
53.93/54.09 c | 111109 | 32773 518020 1616108 | 2147483647 111109 44 | 0.000 % |
54.23/54.38 c | 111829 | 32773 518020 1616108 | 2147483647 111829 44 | 0.000 % |
54.73/54.86 c | 112623 | 32773 518020 1616108 | 2147483647 112623 44 | 0.000 % |
55.13/55.22 c | 113495 | 32773 518020 1616108 | 2147483647 113495 44 | 0.000 % |
55.63/55.78 c | 114454 | 32773 518020 1616108 | 2147483647 114454 45 | 0.000 % |
56.13/56.24 c | 115507 | 32773 518020 1616108 | 2147483647 115507 45 | 0.000 % |
56.53/56.68 c | 116665 | 32773 518020 1616108 | 2147483647 116665 45 | 0.000 % |
57.23/57.34 c | 117938 | 32773 518020 1616108 | 2147483647 117938 45 | 0.000 % |
57.33/57.43 c | 118039 | 32773 518020 1616108 | 2147483647 118039 45 | 0.000 % |
57.43/57.51 c | 118149 | 32773 518020 1616108 | 2147483647 118149 45 | 0.000 % |
57.43/57.58 c | 118271 | 32773 518020 1616108 | 2147483647 118271 45 | 0.000 % |
57.63/57.73 c | 118407 | 32773 518020 1616108 | 2147483647 118407 45 | 0.000 % |
57.82/57.92 c | 118555 | 32773 518020 1616108 | 2147483647 118555 45 | 0.000 % |
58.02/58.10 c | 118715 | 32773 518020 1616108 | 2147483647 118715 45 | 0.000 % |
58.13/58.23 c | 118891 | 32773 518020 1616108 | 2147483647 118891 45 | 0.000 % |
58.32/58.46 c | 119085 | 32773 518020 1616108 | 2147483647 119085 45 | 0.000 % |
58.52/58.65 c | 119298 | 32773 518020 1616108 | 2147483647 119298 45 | 0.000 % |
58.62/58.75 c | 119531 | 32773 518020 1616108 | 2147483647 119531 45 | 0.000 % |
58.82/58.93 c | 119790 | 32773 518020 1616108 | 2147483647 119790 45 | 0.000 % |
59.02/59.11 c | 120071 | 32773 518020 1616108 | 2147483647 120071 45 | 0.000 % |
59.23/59.39 c | 120380 | 32773 518020 1616108 | 2147483647 120380 45 | 0.000 % |
59.42/59.55 c | 120719 | 32773 518020 1616108 | 2147483647 120719 45 | 0.000 % |
59.62/59.76 c | 121092 | 32773 518020 1616108 | 2147483647 121092 45 | 0.000 % |
60.03/60.11 c | 121502 | 32773 518020 1616108 | 2147483647 121502 46 | 0.000 % |
60.23/60.36 c | 121952 | 32773 518020 1616108 | 2147483647 121952 46 | 0.000 % |
60.53/60.68 c | 122445 | 32773 518020 1616108 | 2147483647 122445 46 | 0.000 % |
60.93/61.05 c | 122987 | 32773 518020 1616108 | 2147483647 122987 46 | 0.000 % |
61.13/61.28 c | 123583 | 32773 518020 1616108 | 2147483647 123583 46 | 0.000 % |
61.53/61.64 c | 124238 | 32773 518020 1616108 | 2147483647 124238 46 | 0.000 % |
61.83/61.98 c | 124962 | 32773 518020 1616108 | 2147483647 124962 46 | 0.000 % |
62.23/62.31 c | 125754 | 32773 518020 1616108 | 2147483647 125754 46 | 0.000 % |
62.53/62.69 c | 126625 | 32773 518020 1616108 | 2147483647 126625 46 | 0.000 % |
63.12/63.30 c | 127583 | 32773 518020 1616108 | 2147483647 127583 46 | 0.000 % |
63.73/63.81 c | 128636 | 32773 518020 1616108 | 2147483647 128636 46 | 0.000 % |
64.32/64.44 c | 129795 | 32773 518020 1616108 | 2147483647 129795 47 | 0.000 % |
64.83/64.97 c | 131068 | 32773 518020 1616108 | 2147483647 131068 47 | 0.000 % |
65.53/65.69 c | 132468 | 32773 518020 1616108 | 2147483647 132468 47 | 0.000 % |
65.63/65.79 c | 132569 | 32773 518020 1616108 | 2147483647 132569 47 | 0.000 % |
65.83/65.92 c | 132682 | 32773 518020 1616108 | 2147483647 132682 47 | 0.000 % |
65.93/66.01 c | 132803 | 32773 518020 1616108 | 2147483647 132803 47 | 0.000 % |
65.93/66.09 c | 132938 | 32773 518020 1616108 | 2147483647 132938 47 | 0.001 % |
66.03/66.16 c | 133084 | 32773 518020 1616108 | 2147483647 133084 47 | 0.001 % |
66.12/66.28 c | 133245 | 32773 518020 1616108 | 2147483647 133245 47 | 0.001 % |
66.32/66.45 c | 133421 | 32773 518020 1616108 | 2147483647 133421 47 | 0.000 % |
66.42/66.56 c | 133614 | 32773 518020 1616108 | 2147483647 133614 47 | 0.001 % |
66.52/66.69 c | 133826 | 32773 518020 1616108 | 2147483647 133826 47 | 0.000 % |
66.72/66.87 c | 134059 | 32773 518020 1616108 | 2147483647 134059 47 | 0.000 % |
67.03/67.12 c | 134315 | 32773 518020 1616108 | 2147483647 134315 47 | 0.000 % |
67.12/67.21 c | 134597 | 32773 518020 1616108 | 2147483647 134597 47 | 0.000 % |
67.32/67.45 c | 134906 | 32773 518020 1616108 | 2147483647 134906 47 | 0.001 % |
67.62/67.72 c | 135245 | 32773 518020 1616108 | 2147483647 135245 47 | 0.000 % |
67.92/68.06 c | 135617 | 32773 518020 1616108 | 2147483647 135617 47 | 0.000 % |
68.22/68.33 c | 136026 | 32773 518020 1616108 | 2147483647 136026 47 | 0.000 % |
68.52/68.65 c | 136475 | 32773 518020 1616108 | 2147483647 136475 47 | 0.001 % |
68.72/68.89 c | 136970 | 32773 518020 1616108 | 2147483647 136970 47 | 0.000 % |
69.02/69.16 c | 137512 | 32773 518020 1616108 | 2147483647 137512 47 | 0.000 % |
69.42/69.54 c | 138108 | 32773 518020 1616108 | 2147483647 138108 47 | 0.000 % |
69.82/69.92 c | 138764 | 32773 518020 1616108 | 2147483647 138764 47 | 0.000 % |
70.33/70.45 c | 139487 | 32773 518020 1616108 | 2147483647 139487 47 | 0.000 % |
70.82/70.94 c | 140280 | 32773 518020 1616108 | 2147483647 140280 47 | 0.000 % |
71.12/71.28 c | 141153 | 32773 518020 1616108 | 2147483647 141153 47 | 0.000 % |
71.82/71.95 c | 142113 | 32773 518020 1616108 | 2147483647 142113 48 | 0.000 % |
72.42/72.55 c | 143167 | 32773 518020 1616108 | 2147483647 143167 48 | 0.000 % |
73.12/73.22 c | 144327 | 32773 518020 1616108 | 2147483647 144327 48 | 0.000 % |
73.81/73.91 c | 145600 | 32773 518020 1616108 | 2147483647 145600 48 | 0.000 % |
74.72/74.82 c | 147000 | 32773 518020 1616108 | 2147483647 147000 48 | 0.000 % |
75.62/75.78 c | 148541 | 32773 518020 1616108 | 2147483647 148541 48 | 0.000 % |
75.72/75.89 c | 148643 | 32773 518020 1616108 | 2147483647 148643 48 | 0.000 % |
75.92/76.06 c | 148755 | 32773 518020 1616108 | 2147483647 148755 48 | 0.000 % |
76.02/76.15 c | 148877 | 32773 518020 1616108 | 2147483647 148877 48 | 0.000 % |
76.12/76.27 c | 149013 | 32773 518020 1616108 | 2147483647 149013 48 | 0.000 % |
76.32/76.47 c | 149163 | 32773 518020 1616108 | 2147483647 149163 48 | 0.000 % |
76.52/76.69 c | 149323 | 32773 518020 1616108 | 2147483647 149323 48 | 0.000 % |
76.82/76.93 c | 149500 | 32773 518020 1616108 | 2147483647 149500 48 | 0.000 % |
76.92/77.07 c | 149694 | 32773 518020 1616108 | 2147483647 149694 48 | 0.000 % |
77.11/77.27 c | 149907 | 32773 518020 1616108 | 2147483647 149907 48 | 0.000 % |
77.31/77.48 c | 150140 | 32773 518020 1616108 | 2147483647 150140 48 | 0.001 % |
77.51/77.66 c | 150396 | 32773 518020 1616108 | 2147483647 150396 48 | 0.000 % |
77.71/77.82 c | 150678 | 32773 518020 1616108 | 2147483647 150678 48 | 0.000 % |
77.81/77.97 c | 150988 | 32773 518020 1616108 | 2147483647 150988 48 | 0.000 % |
78.11/78.20 c | 151328 | 32773 518020 1616108 | 2147483647 151328 48 | 0.000 % |
78.21/78.39 c | 151700 | 32773 518020 1616108 | 2147483647 151700 48 | 0.000 % |
78.41/78.58 c | 152109 | 32773 518020 1616108 | 2147483647 152109 48 | 0.001 % |
78.81/78.93 c | 152558 | 32773 518020 1616108 | 2147483647 152558 48 | 0.001 % |
79.21/79.34 c | 153051 | 32773 518020 1616108 | 2147483647 153051 48 | 0.000 % |
79.51/79.62 c | 153593 | 32773 518020 1616108 | 2147483647 153593 49 | 0.000 % |
80.11/80.22 c | 154190 | 32773 518020 1616108 | 2147483647 154190 49 | 0.000 % |
80.41/80.52 c | 154846 | 32773 518020 1616108 | 2147483647 154846 49 | 0.000 % |
80.82/80.98 c | 155566 | 32773 518020 1616108 | 2147483647 155566 49 | 0.000 % |
81.32/81.46 c | 156360 | 32773 518020 1616108 | 2147483647 156360 49 | 0.000 % |
81.82/81.95 c | 157231 | 32773 518020 1616108 | 2147483647 157231 49 | 0.000 % |
82.42/82.58 c | 158190 | 32773 518020 1616108 | 2147483647 158190 49 | 0.000 % |
83.11/83.29 c | 159243 | 32773 518020 1616108 | 2147483647 159243 49 | 0.001 % |
83.81/83.97 c | 160402 | 32773 518020 1616108 | 2147483647 160402 49 | 0.000 % |
84.62/84.74 c | 161675 | 32773 518020 1616108 | 2147483647 161675 49 | 0.000 % |
85.41/85.53 c | 163075 | 32773 518020 1616108 | 2147483647 163075 49 | 0.000 % |
86.11/86.26 c | 164616 | 32773 518020 1616108 | 2147483647 164616 49 | 0.000 % |
87.11/87.24 c | 166311 | 32773 518020 1616108 | 2147483647 166311 49 | 0.000 % |
87.21/87.35 c | 166412 | 32773 518020 1616108 | 2147483647 166412 49 | 0.000 % |
87.31/87.43 c | 166522 | 32773 518020 1616108 | 2147483647 166522 49 | 0.000 % |
87.41/87.55 c | 166643 | 32773 518020 1616108 | 2147483647 166643 49 | 0.001 % |
87.62/87.71 c | 166776 | 32773 518020 1616108 | 2147483647 166776 49 | 0.000 % |
87.62/87.79 c | 166922 | 32773 518020 1616108 | 2147483647 166922 49 | 0.000 % |
87.82/87.94 c | 167082 | 32773 518020 1616108 | 2147483647 167082 49 | 0.000 % |
88.01/88.14 c | 167258 | 32773 518020 1616108 | 2147483647 167258 49 | 0.001 % |
88.21/88.33 c | 167451 | 32773 518020 1616108 | 2147483647 167451 49 | 0.000 % |
88.31/88.41 c | 167663 | 32773 518020 1616108 | 2147483647 167663 49 | 0.000 % |
88.51/88.61 c | 167896 | 32773 518020 1616108 | 2147483647 167896 49 | 0.001 % |
88.71/88.81 c | 168154 | 32773 518020 1616108 | 2147483647 168154 49 | 0.000 % |
88.81/89.00 c | 168439 | 32773 518020 1616108 | 2147483647 168439 49 | 0.000 % |
89.11/89.29 c | 168748 | 32773 518020 1616108 | 2147483647 168748 49 | 0.000 % |
89.41/89.52 c | 169087 | 32773 518020 1616108 | 2147483647 169087 49 | 0.000 % |
89.71/89.84 c | 169462 | 32773 518020 1616108 | 2147483647 169462 49 | 0.001 % |
89.91/90.00 c | 169872 | 32773 518020 1616108 | 2147483647 169872 49 | 0.000 % |
90.12/90.28 c | 170321 | 32773 518020 1616108 | 2147483647 170321 49 | 0.001 % |
90.41/90.56 c | 170815 | 32773 518020 1616108 | 2147483647 170815 49 | 0.001 % |
90.81/90.91 c | 171360 | 32773 518020 1616108 | 2147483647 171360 49 | 0.001 % |
91.21/91.37 c | 171956 | 32773 518020 1616108 | 2147483647 171956 49 | 0.001 % |
91.61/91.71 c | 172613 | 32773 518020 1616108 | 2147483647 172613 49 | 0.000 % |
92.01/92.13 c | 173333 | 32773 518020 1616108 | 2147483647 173333 49 | 0.000 % |
92.61/92.74 c | 174125 | 32773 518020 1616108 | 2147483647 174125 49 | 0.001 % |
93.21/93.31 c | 174996 | 32773 518020 1616108 | 2147483647 174996 49 | 0.001 % |
93.71/93.81 c | 175954 | 32773 518020 1616108 | 2147483647 175954 49 | 0.001 % |
94.21/94.39 c | 177007 | 32773 518020 1616108 | 2147483647 177007 49 | 0.001 % |
94.81/94.95 c | 178166 | 32773 518020 1616108 | 2147483647 178166 50 | 0.001 % |
95.30/95.48 c | 179439 | 32773 518020 1616108 | 2147483647 179439 50 | 0.001 % |
96.01/96.13 c | 180839 | 32773 518020 1616108 | 2147483647 180839 50 | 0.001 % |
96.71/96.83 c | 182379 | 32773 518020 1616108 | 2147483647 182379 50 | 0.000 % |
97.71/97.87 c | 184073 | 32773 518020 1616108 | 2147483647 184073 50 | 0.001 % |
98.71/98.80 c | 185936 | 32773 518020 1616108 | 2147483647 185936 50 | 0.001 % |
98.81/98.93 c | 186036 | 32773 518020 1616108 | 2147483647 186036 50 | 0.000 % |
98.91/99.05 c | 186148 | 32773 518020 1616108 | 2147483647 186148 50 | 0.000 % |
99.01/99.15 c | 186270 | 32773 518020 1616108 | 2147483647 186270 50 | 0.000 % |
99.11/99.28 c | 186404 | 32773 518020 1616108 | 2147483647 186404 50 | 0.000 % |
99.21/99.38 c | 186550 | 32773 518020 1616108 | 2147483647 186550 50 | 0.001 % |
99.41/99.54 c | 186710 | 32773 518020 1616108 | 2147483647 186710 51 | 0.001 % |
99.61/99.75 c | 186886 | 32773 518020 1616108 | 2147483647 186886 50 | 0.000 % |
99.71/99.87 c | 187079 | 32773 518020 1616108 | 2147483647 187079 50 | 0.000 % |
100.01/100.17 c | 187292 | 32773 518020 1616108 | 2147483647 187292 50 | 0.000 % |
100.30/100.44 c | 187525 | 32773 518020 1616108 | 2147483647 187525 50 | 0.000 % |
100.50/100.67 c | 187781 | 32773 518020 1616108 | 2147483647 187781 51 | 0.000 % |
100.80/100.99 c | 188062 | 32773 518020 1616108 | 2147483647 188062 51 | 0.001 % |
101.11/101.23 c | 188373 | 32773 518020 1616108 | 2147483647 188373 51 | 0.000 % |
101.40/101.57 c | 188712 | 32773 518020 1616108 | 2147483647 188712 51 | 0.000 % |
101.60/101.73 c | 189084 | 32773 518020 1616108 | 2147483647 189084 51 | 0.000 % |
101.90/102.08 c | 189493 | 32773 518020 1616108 | 2147483647 189493 51 | 0.000 % |
102.40/102.52 c | 189943 | 32773 518020 1616108 | 2147483647 189943 51 | 0.000 % |
102.70/102.88 c | 190436 | 32773 518020 1616108 | 2147483647 190436 51 | 0.000 % |
103.10/103.22 c | 190978 | 32773 518020 1616108 | 2147483647 190978 51 | 0.000 % |
103.70/103.87 c | 191574 | 32773 518020 1616108 | 2147483647 191574 51 | 0.000 % |
104.20/104.36 c | 192230 | 32773 518020 1616108 | 2147483647 192230 51 | 0.000 % |
104.80/104.91 c | 192950 | 32773 518020 1616108 | 2147483647 192950 51 | 0.000 % |
105.10/105.29 c | 193743 | 32773 518020 1616108 | 2147483647 193743 51 | 0.000 % |
105.70/105.87 c | 194614 | 32773 518020 1616108 | 2147483647 194614 51 | 0.000 % |
106.40/106.59 c | 195572 | 32773 518020 1616108 | 2147483647 195572 51 | 0.000 % |
107.00/107.20 c | 196625 | 32773 518020 1616108 | 2147483647 196625 51 | 0.001 % |
107.71/107.82 c | 197783 | 32773 518020 1616108 | 2147483647 197783 51 | 0.000 % |
108.50/108.64 c | 199058 | 32773 518020 1616108 | 2147483647 199058 51 | 0.000 % |
109.30/109.43 c | 200458 | 32773 518020 1616108 | 2147483647 200458 51 | 0.000 % |
109.80/109.99 c | 201999 | 32773 518020 1616108 | 2147483647 201999 51 | 0.000 % |
110.80/110.98 c | 203694 | 32773 518020 1616108 | 2147483647 203694 52 | 0.000 % |
111.80/111.99 c | 205557 | 32773 518020 1616108 | 2147483647 205557 52 | 0.000 % |
113.20/113.36 c | 207608 | 32773 518020 1616108 | 2147483647 207608 52 | 0.001 % |
113.30/113.47 c | 207708 | 32773 518020 1616108 | 2147483647 207708 52 | 0.000 % |
113.40/113.58 c | 207818 | 32773 518020 1616108 | 2147483647 207818 52 | 0.001 % |
113.60/113.71 c | 207939 | 32773 518020 1616108 | 2147483647 207939 52 | 0.000 % |
113.70/113.82 c | 208073 | 32773 518020 1616108 | 2147483647 208073 52 | 0.000 % |
113.80/113.96 c | 208219 | 32773 518020 1616108 | 2147483647 208219 52 | 0.000 % |
114.00/114.16 c | 208379 | 32773 518020 1616108 | 2147483647 208379 52 | 0.000 % |
114.10/114.27 c | 208555 | 32773 518020 1616108 | 2147483647 208555 52 | 0.000 % |
114.31/114.49 c | 208748 | 32773 518020 1616108 | 2147483647 208748 52 | 0.001 % |
114.60/114.70 c | 208961 | 32773 518020 1616108 | 2147483647 208961 52 | 0.001 % |
114.80/114.94 c | 209194 | 32773 518020 1616108 | 2147483647 209194 52 | 0.000 % |
115.00/115.16 c | 209450 | 32773 518020 1616108 | 2147483647 209450 52 | 0.000 % |
115.20/115.38 c | 209731 | 32773 518020 1616108 | 2147483647 209731 52 | 0.000 % |
115.50/115.67 c | 210042 | 32773 518020 1616108 | 2147483647 210042 52 | 0.001 % |
115.90/116.09 c | 210382 | 32773 518020 1616108 | 2147483647 210382 52 | 0.001 % |
116.30/116.42 c | 210754 | 32773 518020 1616108 | 2147483647 210754 52 | 0.000 % |
116.60/116.76 c | 211164 | 32773 518020 1616108 | 2147483647 211164 52 | 0.001 % |
116.90/117.06 c | 211614 | 32773 518020 1616108 | 2147483647 211614 52 | 0.000 % |
117.20/117.37 c | 212107 | 32773 518020 1616108 | 2147483647 212107 52 | 0.000 % |
117.60/117.75 c | 212651 | 32773 518020 1616108 | 2147483647 212651 52 | 0.000 % |
117.90/118.05 c | 213248 | 32773 518020 1616108 | 2147483647 213248 52 | 0.000 % |
118.40/118.55 c | 213903 | 32773 518020 1616108 | 2147483647 213903 52 | 0.000 % |
118.89/119.04 c | 214623 | 32773 518020 1616108 | 2147483647 214623 52 | 0.000 % |
119.39/119.55 c | 215415 | 32773 518020 1616108 | 2147483647 215415 52 | 0.000 % |
119.89/120.03 c | 216286 | 32773 518020 1616108 | 2147483647 216286 52 | 0.000 % |
120.39/120.60 c | 217244 | 32773 518020 1616108 | 2147483647 217244 52 | 0.000 % |
121.09/121.26 c | 218298 | 32773 518020 1616108 | 2147483647 218298 52 | 0.000 % |
121.79/121.98 c | 219457 | 32773 518020 1616108 | 2147483647 219457 52 | 0.000 % |
122.79/122.93 c | 220732 | 32773 518020 1616108 | 2147483647 220732 52 | 0.001 % |
123.70/123.89 c | 222132 | 32773 518020 1616108 | 2147483647 222132 52 | 0.000 % |
125.00/125.14 c | 223673 | 32773 518020 1616108 | 2147483647 223673 52 | 0.001 % |
126.19/126.34 c | 225367 | 32773 518020 1616108 | 2147483647 225367 52 | 0.000 % |
127.79/127.90 c | 227230 | 32773 518020 1616108 | 2147483647 227230 52 | 0.001 % |
129.39/129.53 c | 229281 | 32773 518020 1616108 | 2147483647 229281 52 | 0.001 % |
131.29/131.45 c | 231534 | 32773 518020 1616108 | 2147483647 231534 52 | 0.000 % |
131.49/131.66 c | 231635 | 32773 518020 1616108 | 2147483647 231635 52 | 0.000 % |
131.69/131.88 c | 231745 | 32773 518020 1616108 | 2147483647 231745 52 | 0.000 % |
131.90/132.02 c | 231867 | 32773 518020 1616108 | 2147483647 231867 52 | 0.000 % |
131.99/132.17 c | 232001 | 32773 518020 1616108 | 2147483647 232001 52 | 0.001 % |
132.19/132.39 c | 232147 | 32773 518020 1616108 | 2147483647 232147 52 | 0.001 % |
132.39/132.56 c | 232307 | 32773 518020 1616108 | 2147483647 232307 52 | 0.000 % |
132.69/132.83 c | 232484 | 32773 518020 1616108 | 2147483647 232484 52 | 0.000 % |
132.90/133.05 c | 232677 | 32773 518020 1616108 | 2147483647 232677 52 | 0.001 % |
133.09/133.27 c | 232890 | 32773 518020 1616108 | 2147483647 232890 52 | 0.001 % |
133.29/133.45 c | 233123 | 32773 518020 1616108 | 2147483647 233123 52 | 0.000 % |
133.49/133.67 c | 233381 | 32773 518020 1616108 | 2147483647 233381 52 | 0.000 % |
133.79/133.94 c | 233662 | 32773 518020 1616108 | 2147483647 233662 52 | 0.000 % |
134.10/134.22 c | 233971 | 32773 518020 1616108 | 2147483647 233971 52 | 0.001 % |
134.49/134.60 c | 234310 | 32773 518020 1616108 | 2147483647 234310 52 | 0.000 % |
134.79/134.90 c | 234683 | 32773 518020 1616108 | 2147483647 234683 52 | 0.001 % |
135.10/135.27 c | 235094 | 32773 518020 1616108 | 2147483647 235094 52 | 0.000 % |
135.49/135.61 c | 235543 | 32773 518020 1616108 | 2147483647 235543 52 | 0.001 % |
135.89/136.05 c | 236036 | 32773 518020 1616108 | 2147483647 236036 52 | 0.001 % |
136.39/136.54 c | 236578 | 32773 518020 1616108 | 2147483647 236578 52 | 0.000 % |
136.99/137.17 c | 237174 | 32773 518020 1616108 | 2147483647 237174 52 | 0.000 % |
137.49/137.66 c | 237829 | 32773 518020 1616108 | 2147483647 237829 52 | 0.000 % |
138.09/138.20 c | 238549 | 32773 518020 1616108 | 2147483647 238549 52 | 0.001 % |
138.79/138.95 c | 239341 | 32773 518020 1616108 | 2147483647 239341 52 | 0.000 % |
139.29/139.40 c | 240212 | 32773 518020 1616108 | 2147483647 240212 52 | 0.000 % |
139.79/139.90 c | 241172 | 32773 518020 1616108 | 2147483647 241172 52 | 0.000 % |
140.48/140.64 c | 242225 | 32773 518020 1616108 | 2147483647 242225 52 | 0.000 % |
141.38/141.51 c | 243383 | 32773 518020 1616108 | 2147483647 243383 52 | 0.000 % |
142.38/142.58 c | 244656 | 32773 518020 1616108 | 2147483647 244656 52 | 0.000 % |
143.18/143.34 c | 246056 | 32773 518020 1616108 | 2147483647 246056 52 | 0.000 % |
144.28/144.43 c | 247597 | 32773 518020 1616108 | 2147483647 247597 52 | 0.000 % |
145.49/145.64 c | 249291 | 32773 518020 1616108 | 2147483647 249291 53 | 0.000 % |
146.79/146.96 c | 251154 | 32773 518020 1616108 | 2147483647 251154 53 | 0.000 % |
148.09/148.25 c | 253206 | 32773 518020 1616108 | 2147483647 253206 53 | 0.000 % |
149.39/149.59 c | 255460 | 32773 518020 1616108 | 2147483647 255460 53 | 0.000 % |
150.98/151.19 c | 257938 | 32773 518020 1616108 | 2147483647 257938 53 | 0.000 % |
151.08/151.27 c | 258038 | 32773 518020 1616108 | 2147483647 258038 53 | 0.000 % |
151.28/151.46 c | 258150 | 32773 518020 1616108 | 2147483647 258150 53 | 0.000 % |
151.48/151.62 c | 258271 | 32773 518020 1616108 | 2147483647 258271 53 | 0.000 % |
151.59/151.76 c | 258407 | 32773 518020 1616108 | 2147483647 258407 53 | 0.000 % |
151.78/151.97 c | 258553 | 32773 518020 1616108 | 2147483647 258553 53 | 0.001 % |
151.98/152.19 c | 258714 | 32773 518020 1616108 | 2147483647 258714 53 | 0.000 % |
152.38/152.51 c | 258890 | 32773 518020 1616108 | 2147483647 258890 53 | 0.000 % |
152.58/152.71 c | 259083 | 32773 518020 1616108 | 2147483647 259083 53 | 0.001 % |
152.88/153.02 c | 259295 | 32773 518020 1616108 | 2147483647 259295 53 | 0.000 % |
153.08/153.24 c | 259528 | 32773 518020 1616108 | 2147483647 259528 53 | 0.001 % |
153.38/153.55 c | 259785 | 32773 518020 1616108 | 2147483647 259785 53 | 0.000 % |
153.68/153.85 c | 260066 | 32773 518020 1616108 | 2147483647 260066 53 | 0.000 % |
153.98/154.16 c | 260375 | 32773 518020 1616108 | 2147483647 260375 53 | 0.000 % |
154.28/154.46 c | 260716 | 32773 518020 1616108 | 2147483647 260716 53 | 0.001 % |
154.48/154.70 c | 261088 | 32773 518020 1616108 | 2147483647 261088 53 | 0.001 % |
154.88/155.08 c | 261497 | 32773 518020 1616108 | 2147483647 261497 53 | 0.001 % |
155.38/155.51 c | 261947 | 32773 518020 1616108 | 2147483647 261947 53 | 0.000 % |
155.68/155.89 c | 262440 | 32773 518020 1616108 | 2147483647 262440 53 | 0.000 % |
156.28/156.44 c | 262983 | 32773 518020 1616108 | 2147483647 262983 53 | 0.001 % |
156.88/157.01 c | 263580 | 32773 518020 1616108 | 2147483647 263580 53 | 0.000 % |
157.38/157.58 c | 264235 | 32773 518020 1616108 | 2147483647 264235 53 | 0.001 % |
157.98/158.14 c | 264956 | 32773 518020 1616108 | 2147483647 264956 53 | 0.001 % |
158.57/158.75 c | 265748 | 32773 518020 1616108 | 2147483647 265748 53 | 0.000 % |
159.48/159.61 c | 266619 | 32773 518020 1616108 | 2147483647 266619 53 | 0.001 % |
160.28/160.40 c | 267578 | 32773 518020 1616108 | 2147483647 267578 53 | 0.001 % |
161.18/161.31 c | 268631 | 32773 518020 1616108 | 2147483647 268631 53 | 0.000 % |
162.08/162.24 c | 269790 | 32773 518020 1616108 | 2147483647 269790 53 | 0.000 % |
163.38/163.50 c | 271063 | 32773 518020 1616108 | 2147483647 271063 53 | 0.000 % |
164.48/164.64 c | 272463 | 32773 518020 1616108 | 2147483647 272463 53 | 0.000 % |
165.77/165.97 c | 274003 | 32773 518020 1616108 | 2147483647 274003 53 | 0.000 % |
166.97/167.15 c | 275697 | 32773 518020 1616108 | 2147483647 275697 54 | 0.000 % |
168.38/168.51 c | 277561 | 32773 518020 1616108 | 2147483647 277561 54 | 0.000 % |
170.68/170.88 c | 279610 | 32773 518020 1616108 | 2147483647 279610 54 | 0.000 % |
172.58/172.75 c | 281863 | 32773 518020 1616108 | 2147483647 281863 54 | 0.000 % |
174.68/174.82 c | 284344 | 32773 518020 1616108 | 2147483647 284344 54 | 0.001 % |
176.87/177.08 c | 287069 | 32773 518020 1616108 | 2147483647 287069 54 | 0.000 % |
177.17/177.33 c | 287170 | 32773 518020 1616108 | 2147483647 287170 54 | 0.000 % |
177.27/177.46 c | 287280 | 32773 518020 1616108 | 2147483647 287280 54 | 0.000 % |
177.37/177.58 c | 287401 | 32773 518020 1616108 | 2147483647 287401 54 | 0.000 % |
177.57/177.75 c | 287534 | 32773 518020 1616108 | 2147483647 287534 54 | 0.000 % |
177.87/178.08 c | 287681 | 32773 518020 1616108 | 2147483647 287681 54 | 0.000 % |
178.17/178.30 c | 287841 | 32773 518020 1616108 | 2147483647 287841 54 | 0.000 % |
178.27/178.47 c | 288017 | 32773 518020 1616108 | 2147483647 288017 54 | 0.000 % |
178.57/178.72 c | 288211 | 32773 518020 1616108 | 2147483647 288211 54 | 0.000 % |
178.77/178.98 c | 288423 | 32773 518020 1616108 | 2147483647 288423 54 | 0.000 % |
179.07/179.30 c | 288658 | 32773 518020 1616108 | 2147483647 288658 54 | 0.001 % |
179.47/179.64 c | 288915 | 32773 518020 1616108 | 2147483647 288915 54 | 0.000 % |
179.77/179.98 c | 289197 | 32773 518020 1616108 | 2147483647 289197 54 | 0.001 % |
180.08/180.30 c | 289506 | 32773 518020 1616108 | 2147483647 289506 54 | 0.000 % |
180.48/180.65 c | 289845 | 32773 518020 1616108 | 2147483647 289845 54 | 0.001 % |
180.97/181.14 c | 290217 | 32773 518020 1616108 | 2147483647 290217 54 | 0.001 % |
181.38/181.53 c | 290626 | 32773 518020 1616108 | 2147483647 290626 54 | 0.001 % |
181.88/182.00 c | 291075 | 32773 518020 1616108 | 2147483647 291075 54 | 0.000 % |
182.38/182.60 c | 291569 | 32773 518020 1616108 | 2147483647 291569 54 | 0.001 % |
183.07/183.27 c | 292111 | 32773 518020 1616108 | 2147483647 292111 54 | 0.000 % |
183.58/183.72 c | 292710 | 32773 518020 1616108 | 2147483647 292710 54 | 0.000 % |
184.17/184.36 c | 293365 | 32773 518020 1616108 | 2147483647 293365 54 | 0.001 % |
184.67/184.88 c | 294085 | 32773 518020 1616108 | 2147483647 294085 54 | 0.000 % |
185.57/185.72 c | 294877 | 32773 518020 1616108 | 2147483647 294877 54 | 0.001 % |
186.37/186.57 c | 295750 | 32773 518020 1616108 | 2147483647 295750 54 | 0.000 % |
187.27/187.42 c | 296708 | 32773 518020 1616108 | 2147483647 296708 54 | 0.001 % |
188.17/188.36 c | 297761 | 32773 518020 1616108 | 2147483647 297761 54 | 0.001 % |
189.07/189.25 c | 298921 | 32773 518020 1616108 | 2147483647 298921 54 | 0.001 % |
190.27/190.47 c | 300194 | 32773 518020 1616108 | 2147483647 300194 54 | 0.000 % |
191.46/191.60 c | 301594 | 32773 518020 1616108 | 2147483647 301594 54 | 0.000 % |
192.67/192.87 c | 303134 | 32773 518020 1616108 | 2147483647 303134 54 | 0.000 % |
193.97/194.17 c | 304828 | 32773 518020 1616108 | 2147483647 304828 54 | 0.001 % |
195.47/195.67 c | 306691 | 32773 518020 1616108 | 2147483647 306691 54 | 0.000 % |
197.57/197.75 c | 308742 | 32773 518020 1616108 | 2147483647 308742 54 | 0.000 % |
199.27/199.50 c | 310997 | 32773 518020 1616108 | 2147483647 310997 54 | 0.001 % |
201.86/202.06 c | 313475 | 32773 518020 1616108 | 2147483647 313475 54 | 0.001 % |
204.77/204.91 c | 316200 | 32773 518020 1616108 | 2147483647 316200 54 | 0.000 % |
207.96/208.13 c | 319197 | 32773 518020 1616108 | 2147483647 319197 54 | 0.001 % |
208.06/208.27 c | 319298 | 32773 518020 1616108 | 2147483647 319298 54 | 0.000 % |
208.16/208.39 c | 319408 | 32773 518020 1616108 | 2147483647 319408 54 | 0.001 % |
208.36/208.54 c | 319529 | 32773 518020 1616108 | 2147483647 319529 54 | 0.001 % |
208.56/208.76 c | 319663 | 32773 518020 1616108 | 2147483647 319663 54 | 0.000 % |
208.77/208.90 c | 319810 | 32773 518020 1616108 | 2147483647 319810 54 | 0.001 % |
208.96/209.13 c | 319970 | 32773 518020 1616108 | 2147483647 319970 54 | 0.000 % |
209.16/209.38 c | 320146 | 32773 518020 1616108 | 2147483647 320146 54 | 0.000 % |
209.36/209.51 c | 320339 | 32773 518020 1616108 | 2147483647 320339 54 | 0.000 % |
209.66/209.81 c | 320552 | 32773 518020 1616108 | 2147483647 320552 54 | 0.000 % |
209.86/210.02 c | 320786 | 32773 518020 1616108 | 2147483647 320786 54 | 0.000 % |
210.06/210.23 c | 321045 | 32773 518020 1616108 | 2147483647 321045 54 | 0.000 % |
210.26/210.45 c | 321327 | 32773 518020 1616108 | 2147483647 321327 54 | 0.000 % |
210.56/210.78 c | 321636 | 32773 518020 1616108 | 2147483647 321636 54 | 0.000 % |
210.76/210.97 c | 321975 | 32773 518020 1616108 | 2147483647 321975 54 | 0.000 % |
211.06/211.28 c | 322347 | 32773 518020 1616108 | 2147483647 322347 54 | 0.000 % |
211.37/211.58 c | 322756 | 32773 518020 1616108 | 2147483647 322756 54 | 0.000 % |
211.76/211.90 c | 323207 | 32773 518020 1616108 | 2147483647 323207 54 | 0.000 % |
211.96/212.16 c | 323700 | 32773 518020 1616108 | 2147483647 323700 54 | 0.000 % |
212.36/212.54 c | 324242 | 32773 518020 1616108 | 2147483647 324242 54 | 0.000 % |
212.86/213.00 c | 324839 | 32773 518020 1616108 | 2147483647 324839 54 | 0.000 % |
213.27/213.48 c | 325494 | 32773 518020 1616108 | 2147483647 325494 54 | 0.000 % |
213.76/213.94 c | 326221 | 32773 518020 1616108 | 2147483647 326221 54 | 0.000 % |
214.16/214.37 c | 327013 | 32773 518020 1616108 | 2147483647 327013 54 | 0.000 % |
214.66/214.90 c | 327884 | 32773 518020 1616108 | 2147483647 327884 54 | 0.000 % |
215.36/215.51 c | 328843 | 32773 518020 1616108 | 2147483647 328843 54 | 0.000 % |
216.16/216.30 c | 329897 | 32773 518020 1616108 | 2147483647 329897 54 | 0.000 % |
216.86/217.02 c | 331055 | 32773 518020 1616108 | 2147483647 331055 54 | 0.000 % |
217.56/217.77 c | 332328 | 32773 518020 1616108 | 2147483647 332328 54 | 0.000 % |
218.45/218.62 c | 333728 | 32773 518020 1616108 | 2147483647 333728 54 | 0.000 % |
219.15/219.36 c | 335271 | 32773 518020 1616108 | 2147483647 335271 54 | 0.000 % |
220.06/220.25 c | 336965 | 32773 518020 1616108 | 2147483647 336965 54 | 0.001 % |
221.26/221.49 c | 338828 | 32773 518020 1616108 | 2147483647 338828 54 | 0.000 % |
223.06/223.27 c | 340877 | 32773 518020 1616108 | 2147483647 340877 54 | 0.000 % |
224.36/224.53 c | 343130 | 32773 518020 1616108 | 2147483647 343130 54 | 0.000 % |
226.76/226.91 c | 345608 | 32773 518020 1616108 | 2147483647 345608 54 | 0.000 % |
228.56/228.73 c | 348334 | 32773 518020 1616108 | 2147483647 348334 54 | 0.000 % |
230.96/231.18 c | 351332 | 32773 518020 1616108 | 2147483647 351332 54 | 0.000 % |
233.56/233.76 c | 354628 | 32773 518020 1616108 | 2147483647 354628 54 | 0.000 % |
233.66/233.84 c | 354728 | 32773 518020 1616108 | 2147483647 354728 54 | 0.000 % |
233.75/233.96 c | 354838 | 32773 518020 1616108 | 2147483647 354838 54 | 0.000 % |
233.85/234.07 c | 354960 | 32773 518020 1616108 | 2147483647 354960 54 | 0.000 % |
233.95/234.20 c | 355096 | 32773 518020 1616108 | 2147483647 355096 54 | 0.001 % |
234.35/234.55 c | 355243 | 32773 518020 1616108 | 2147483647 355243 54 | 0.000 % |
234.65/234.83 c | 355404 | 32773 518020 1616108 | 2147483647 355404 54 | 0.001 % |
235.05/235.27 c | 355580 | 32773 518020 1616108 | 2147483647 355580 54 | 0.001 % |
235.45/235.65 c | 355774 | 32773 518020 1616108 | 2147483647 355774 54 | 0.001 % |
235.75/235.96 c | 355986 | 32773 518020 1616108 | 2147483647 355986 54 | 0.000 % |
236.15/236.39 c | 356219 | 32773 518020 1616108 | 2147483647 356219 54 | 0.001 % |
236.45/236.68 c | 356475 | 32773 518020 1616108 | 2147483647 356475 54 | 0.001 % |
236.85/237.08 c | 356756 | 32773 518020 1616108 | 2147483647 356756 54 | 0.000 % |
237.15/237.39 c | 357065 | 32773 518020 1616108 | 2147483647 357065 54 | 0.000 % |
237.65/237.86 c | 357406 | 32773 518020 1616108 | 2147483647 357406 54 | 0.000 % |
238.46/238.65 c | 357778 | 32773 518020 1616108 | 2147483647 357778 54 | 0.000 % |
238.95/239.19 c | 358187 | 32773 518020 1616108 | 2147483647 358187 54 | 0.000 % |
239.55/239.75 c | 358636 | 32773 518020 1616108 | 2147483647 358636 54 | 0.001 % |
240.45/240.62 c | 359130 | 32773 518020 1616108 | 2147483647 359130 54 | 0.000 % |
240.95/241.12 c | 359673 | 32773 518020 1616108 | 2147483647 359673 54 | 0.000 % |
241.65/241.89 c | 360269 | 32773 518020 1616108 | 2147483647 360269 54 | 0.000 % |
242.55/242.76 c | 360928 | 32773 518020 1616108 | 2147483647 360928 54 | 0.000 % |
243.35/243.54 c | 361650 | 32773 518020 1616108 | 2147483647 361650 54 | 0.000 % |
244.15/244.37 c | 362442 | 32773 518020 1616108 | 2147483647 362442 54 | 0.000 % |
244.95/245.18 c | 363313 | 32773 518020 1616108 | 2147483647 363313 54 | 0.000 % |
246.15/246.32 c | 364271 | 32773 518020 1616108 | 2147483647 364271 54 | 0.000 % |
247.25/247.49 c | 365325 | 32773 518020 1616108 | 2147483647 365325 54 | 0.000 % |
248.45/248.68 c | 366483 | 32773 518020 1616108 | 2147483647 366483 54 | 0.000 % |
249.95/250.14 c | 367756 | 32773 518020 1616108 | 2147483647 367756 54 | 0.000 % |
251.55/251.80 c | 369156 | 32773 518020 1616108 | 2147483647 369156 54 | 0.000 % |
253.85/254.06 c | 370696 | 32773 518020 1616108 | 2147483647 370696 54 | 0.000 % |
256.24/256.44 c | 372390 | 32773 518020 1616108 | 2147483647 372390 54 | 0.000 % |
258.54/258.72 c | 374255 | 32773 518020 1616108 | 2147483647 374255 54 | 0.000 % |
260.94/261.12 c | 376308 | 32773 518020 1616108 | 2147483647 376308 54 | 0.000 % |
263.34/263.53 c | 378561 | 32773 518020 1616108 | 2147483647 378561 54 | 0.000 % |
265.95/266.12 c | 381040 | 32773 518020 1616108 | 2147483647 381040 54 | 0.000 % |
268.15/268.35 c | 383767 | 32773 518020 1616108 | 2147483647 383767 54 | 0.000 % |
269.94/270.14 c | 386764 | 32773 518020 1616108 | 2147483647 386764 55 | 0.001 % |
272.34/272.53 c | 390062 | 32773 518020 1616108 | 2147483647 390062 54 | 0.000 % |
274.84/275.00 c | 393688 | 32773 518020 1616108 | 2147483647 393688 55 | 0.001 % |
274.94/275.14 c | 393788 | 32773 518020 1616108 | 2147483647 393788 55 | 0.001 % |
275.04/275.25 c | 393898 | 32773 518020 1616108 | 2147483647 393898 55 | 0.000 % |
275.14/275.36 c | 394020 | 32773 518020 1616108 | 2147483647 394020 55 | 0.000 % |
275.24/275.49 c | 394153 | 32773 518020 1616108 | 2147483647 394153 55 | 0.000 % |
275.44/275.64 c | 394299 | 32773 518020 1616108 | 2147483647 394299 55 | 0.000 % |
275.64/275.83 c | 394459 | 32773 518020 1616108 | 2147483647 394459 55 | 0.001 % |
275.84/276.02 c | 394636 | 32773 518020 1616108 | 2147483647 394636 55 | 0.000 % |
276.04/276.28 c | 394829 | 32773 518020 1616108 | 2147483647 394829 55 | 0.000 % |
276.34/276.50 c | 395041 | 32773 518020 1616108 | 2147483647 395041 55 | 0.000 % |
276.44/276.66 c | 395275 | 32773 518020 1616108 | 2147483647 395275 55 | 0.000 % |
276.74/276.93 c | 395531 | 32773 518020 1616108 | 2147483647 395531 55 | 0.000 % |
277.04/277.21 c | 395813 | 32773 518020 1616108 | 2147483647 395813 55 | 0.000 % |
277.23/277.41 c | 396122 | 32773 518020 1616108 | 2147483647 396122 55 | 0.000 % |
277.43/277.69 c | 396461 | 32773 518020 1616108 | 2147483647 396461 55 | 0.001 % |
277.73/277.94 c | 396833 | 32773 518020 1616108 | 2147483647 396833 55 | 0.000 % |
278.04/278.27 c | 397244 | 32773 518020 1616108 | 2147483647 397244 55 | 0.001 % |
278.53/278.70 c | 397695 | 32773 518020 1616108 | 2147483647 397695 55 | 0.001 % |
278.93/279.17 c | 398189 | 32773 518020 1616108 | 2147483647 398189 55 | 0.000 % |
279.43/279.66 c | 398733 | 32773 518020 1616108 | 2147483647 398733 55 | 0.000 % |
280.04/280.26 c | 399331 | 32773 518020 1616108 | 2147483647 399331 55 | 0.000 % |
280.74/280.97 c | 399987 | 32773 518020 1616108 | 2147483647 399987 55 | 0.000 % |
281.44/281.65 c | 400707 | 32773 518020 1616108 | 2147483647 400707 55 | 0.000 % |
282.34/282.58 c | 401499 | 32773 518020 1616108 | 2147483647 401499 55 | 0.000 % |
283.04/283.23 c | 402371 | 32773 518020 1616108 | 2147483647 402371 54 | 0.000 % |
283.94/284.17 c | 403329 | 32773 518020 1616108 | 2147483647 403329 54 | 0.000 % |
284.84/285.08 c | 404382 | 32773 518020 1616108 | 2147483647 404382 54 | 0.000 % |
285.64/285.82 c | 405540 | 32773 518020 1616108 | 2147483647 405540 54 | 0.000 % |
286.44/286.64 c | 406813 | 32773 518020 1616108 | 2147483647 406813 54 | 0.001 % |
287.73/287.95 c | 408213 | 32773 518020 1616108 | 2147483647 408213 54 | 0.001 % |
288.93/289.18 c | 409753 | 32773 518020 1616108 | 2147483647 409753 54 | 0.001 % |
290.73/290.90 c | 411447 | 32773 518020 1616108 | 2147483647 411447 54 | 0.001 % |
291.93/292.16 c | 413310 | 32773 518020 1616108 | 2147483647 413310 54 | 0.001 % |
293.73/293.94 c | 415360 | 32773 518020 1616108 | 2147483647 415360 54 | 0.000 % |
295.63/295.85 c | 417614 | 32773 518020 1616108 | 2147483647 417614 54 | 0.001 % |
297.74/297.96 c | 420092 | 32773 518020 1616108 | 2147483647 420092 54 | 0.000 % |
300.04/300.29 c | 422818 | 32773 518020 1616108 | 2147483647 422818 54 | 0.001 % |
302.83/303.04 c | 425815 | 32773 518020 1616108 | 2147483647 425815 54 | 0.000 % |
306.43/306.62 c | 429111 | 32773 518020 1616108 | 2147483647 429111 54 | 0.001 % |
309.73/309.94 c | 432738 | 32773 518020 1616108 | 2147483647 432738 54 | 0.001 % |
312.93/313.19 c | 436725 | 32773 518020 1616108 | 2147483647 436725 54 | 0.000 % |
313.13/313.30 c | 436828 | 32773 518020 1616108 | 2147483647 436828 54 | 0.000 % |
313.24/313.46 c | 436939 | 32773 518020 1616108 | 2147483647 436939 54 | 0.001 % |
313.43/313.61 c | 437061 | 32773 518020 1616108 | 2147483647 437061 54 | 0.001 % |
313.63/313.89 c | 437194 | 32773 518020 1616108 | 2147483647 437194 54 | 0.000 % |
313.83/314.09 c | 437340 | 32773 518020 1616108 | 2147483647 437340 54 | 0.000 % |
314.03/314.27 c | 437501 | 32773 518020 1616108 | 2147483647 437501 54 | 0.000 % |
314.53/314.79 c | 437679 | 32773 518020 1616108 | 2147483647 437679 54 | 0.000 % |
314.83/315.01 c | 437872 | 32773 518020 1616108 | 2147483647 437872 54 | 0.000 % |
315.13/315.33 c | 438084 | 32773 518020 1616108 | 2147483647 438084 54 | 0.000 % |
315.33/315.58 c | 438317 | 32773 518020 1616108 | 2147483647 438317 54 | 0.000 % |
315.73/315.95 c | 438573 | 32773 518020 1616108 | 2147483647 438573 54 | 0.000 % |
316.03/316.27 c | 438855 | 32773 518020 1616108 | 2147483647 438855 54 | 0.000 % |
316.43/316.63 c | 439164 | 32773 518020 1616108 | 2147483647 439164 54 | 0.001 % |
316.83/317.06 c | 439504 | 32773 518020 1616108 | 2147483647 439504 54 | 0.000 % |
317.23/317.43 c | 439877 | 32773 518020 1616108 | 2147483647 439877 54 | 0.000 % |
317.73/317.93 c | 440286 | 32773 518020 1616108 | 2147483647 440286 54 | 0.000 % |
318.13/318.36 c | 440735 | 32773 518020 1616108 | 2147483647 440735 54 | 0.000 % |
318.63/318.84 c | 441228 | 32773 518020 1616108 | 2147483647 441228 54 | 0.001 % |
319.13/319.38 c | 441770 | 32773 518020 1616108 | 2147483647 441770 54 | 0.000 % |
319.73/319.96 c | 442366 | 32773 518020 1616108 | 2147483647 442366 54 | 0.001 % |
320.43/320.61 c | 443022 | 32773 518020 1616108 | 2147483647 443022 53 | 0.000 % |
321.03/321.26 c | 443742 | 32773 518020 1616108 | 2147483647 443742 53 | 0.000 % |
321.73/321.92 c | 444535 | 32773 518020 1616108 | 2147483647 444535 53 | 0.000 % |
322.43/322.61 c | 445406 | 32773 518020 1616108 | 2147483647 445406 53 | 0.001 % |
323.72/323.90 c | 446365 | 32773 518020 1616108 | 2147483647 446365 53 | 0.001 % |
324.52/324.78 c | 447418 | 32773 518020 1616108 | 2147483647 447418 53 | 0.000 % |
325.62/325.80 c | 448576 | 32773 518020 1616108 | 2147483647 448576 53 | 0.001 % |
326.72/326.98 c | 449850 | 32773 518020 1616108 | 2147483647 449850 53 | 0.000 % |
328.42/328.65 c | 451250 | 32773 518020 1616108 | 2147483647 451250 53 | 0.000 % |
330.13/330.33 c | 452791 | 32773 518020 1616108 | 2147483647 452791 53 | 0.000 % |
332.23/332.46 c | 454485 | 32773 518020 1616108 | 2147483647 454485 53 | 0.001 % |
333.43/333.61 c | 456349 | 32773 518020 1616108 | 2147483647 456349 53 | 0.000 % |
335.72/335.90 c | 458399 | 32773 518020 1616108 | 2147483647 458399 53 | 0.000 % |
337.82/338.09 c | 460653 | 32773 518020 1616108 | 2147483647 460653 53 | 0.000 % |
340.32/340.55 c | 463132 | 32773 518020 1616108 | 2147483647 463132 53 | 0.000 % |
343.02/343.23 c | 465858 | 32773 518020 1616108 | 2147483647 465858 53 | 0.000 % |
346.02/346.25 c | 468855 | 32773 518020 1616108 | 2147483647 468855 53 | 0.000 % |
349.62/349.86 c | 472152 | 32773 518020 1616108 | 2147483647 472152 53 | 0.000 % |
353.22/353.46 c | 475777 | 32773 518020 1616108 | 2147483647 475777 53 | 0.000 % |
356.81/357.02 c | 479765 | 32773 518020 1616108 | 2147483647 479765 53 | 0.000 % |
361.22/361.40 c | 484150 | 32773 518020 1616108 | 2147483647 484150 53 | 0.000 % |
361.32/361.55 c | 484251 | 32773 518020 1616108 | 2147483647 484251 53 | 0.000 % |
361.52/361.74 c | 484361 | 32773 518020 1616108 | 2147483647 484361 53 | 0.000 % |
361.62/361.88 c | 484482 | 32773 518020 1616108 | 2147483647 484482 53 | 0.000 % |
361.92/362.13 c | 484616 | 32773 518020 1616108 | 2147483647 484616 53 | 0.000 % |
362.22/362.43 c | 484762 | 32773 518020 1616108 | 2147483647 484762 53 | 0.000 % |
362.42/362.67 c | 484922 | 32773 518020 1616108 | 2147483647 484922 53 | 0.000 % |
362.72/362.95 c | 485101 | 32773 518020 1616108 | 2147483647 485101 53 | 0.000 % |
363.02/363.26 c | 485294 | 32773 518020 1616108 | 2147483647 485294 53 | 0.000 % |
363.32/363.57 c | 485506 | 32773 518020 1616108 | 2147483647 485506 53 | 0.000 % |
363.71/363.98 c | 485739 | 32773 518020 1616108 | 2147483647 485739 53 | 0.000 % |
364.11/364.32 c | 485996 | 32773 518020 1616108 | 2147483647 485996 53 | 0.000 % |
364.41/364.66 c | 486278 | 32773 518020 1616108 | 2147483647 486278 53 | 0.001 % |
364.81/365.09 c | 486587 | 32773 518020 1616108 | 2147483647 486587 53 | 0.000 % |
365.31/365.53 c | 486926 | 32773 518020 1616108 | 2147483647 486926 53 | 0.001 % |
366.02/366.29 c | 487298 | 32773 518020 1616108 | 2147483647 487298 53 | 0.001 % |
366.51/366.78 c | 487707 | 32773 518020 1616108 | 2147483647 487707 53 | 0.000 % |
367.12/367.32 c | 488156 | 32773 518020 1616108 | 2147483647 488156 53 | 0.001 % |
367.61/367.80 c | 488649 | 32773 518020 1616108 | 2147483647 488649 53 | 0.001 % |
368.21/368.44 c | 489191 | 32773 518020 1616108 | 2147483647 489191 53 | 0.001 % |
368.91/369.17 c | 489788 | 32773 518020 1616108 | 2147483647 489788 53 | 0.001 % |
369.81/370.03 c | 490446 | 32773 518020 1616108 | 2147483647 490446 53 | 0.000 % |
370.71/370.92 c | 491166 | 32773 518020 1616108 | 2147483647 491166 53 | 0.000 % |
371.71/371.99 c | 491959 | 32773 518020 1616108 | 2147483647 491959 53 | 0.001 % |
373.11/373.37 c | 492830 | 32773 518020 1616108 | 2147483647 492830 53 | 0.001 % |
374.31/374.57 c | 493788 | 32773 518020 1616108 | 2147483647 493788 53 | 0.000 % |
375.51/375.76 c | 494842 | 32773 518020 1616108 | 2147483647 494842 53 | 0.000 % |
377.01/377.21 c | 496000 | 32773 518020 1616108 | 2147483647 496000 53 | 0.001 % |
378.41/378.63 c | 497273 | 32773 518020 1616108 | 2147483647 497273 53 | 0.001 % |
379.90/380.20 c | 498673 | 32773 518020 1616108 | 2147483647 498673 53 | 0.001 % |
381.91/382.12 c | 500213 | 32773 518020 1616108 | 2147483647 500213 53 | 0.000 % |
383.91/384.12 c | 501908 | 32773 518020 1616108 | 2147483647 501908 53 | 0.000 % |
386.01/386.25 c | 503772 | 32773 518020 1616108 | 2147483647 503772 53 | 0.000 % |
388.21/388.41 c | 505821 | 32773 518020 1616108 | 2147483647 505821 53 | 0.000 % |
391.10/391.31 c | 508074 | 32773 518020 1616108 | 2147483647 508074 53 | 0.000 % |
394.00/394.24 c | 510552 | 32773 518020 1616108 | 2147483647 510552 53 | 0.000 % |
397.41/397.65 c | 513278 | 32773 518020 1616108 | 2147483647 513278 53 | 0.000 % |
401.40/401.69 c | 516275 | 32773 518020 1616108 | 2147483647 516275 53 | 0.001 % |
404.20/404.48 c | 519571 | 32773 518020 1616108 | 2147483647 519571 53 | 0.000 % |
407.29/407.51 c | 523196 | 32773 518020 1616108 | 520000 523196 53 | 0.001 % |
415.69/415.94 c | 527183 | 32773 518020 1616108 | 520000 452475 51 | 0.000 % |
420.89/421.16 c | 531568 | 32773 518020 1616108 | 455292 456860 51 | 0.000 % |
428.10/428.33 c | 536391 | 32773 518020 1616108 | 455292 415997 52 | 0.000 % |
428.20/428.45 c | 536491 | 32773 518020 1616108 | 455292 416097 52 | 0.000 % |
428.40/428.69 c | 536601 | 32773 518020 1616108 | 455292 416207 52 | 0.000 % |
428.60/428.86 c | 536722 | 32773 518020 1616108 | 455292 416328 52 | 0.000 % |
428.80/429.00 c | 536855 | 32773 518020 1616108 | 455292 416461 52 | 0.000 % |
429.10/429.31 c | 537001 | 32773 518020 1616108 | 455292 416607 52 | 0.000 % |
429.40/429.64 c | 537161 | 32773 518020 1616108 | 455292 416767 52 | 0.000 % |
430.00/430.23 c | 537338 | 32773 518020 1616108 | 455292 416944 52 | 0.000 % |
430.30/430.57 c | 537532 | 32773 518020 1616108 | 455292 417138 52 | 0.000 % |
430.80/431.03 c | 537744 | 32773 518020 1616108 | 455292 417350 52 | 0.000 % |
431.20/431.47 c | 537978 | 32773 518020 1616108 | 455292 417584 52 | 0.001 % |
431.60/431.84 c | 538234 | 32773 518020 1616108 | 455292 417840 52 | 0.001 % |
432.10/432.33 c | 538515 | 32773 518020 1616108 | 455292 418121 52 | 0.000 % |
432.40/432.67 c | 538824 | 32773 518020 1616108 | 455292 418430 52 | 0.000 % |
433.10/433.37 c | 539165 | 32773 518020 1616108 | 455292 418771 52 | 0.000 % |
433.60/433.89 c | 539537 | 32773 518020 1616108 | 455292 419143 52 | 0.000 % |
434.20/434.49 c | 539946 | 32773 518020 1616108 | 455292 419552 52 | 0.000 % |
434.79/435.03 c | 540396 | 32773 518020 1616108 | 2147483647 420002 52 | 0.000 % |
435.49/435.72 c | 540890 | 32773 518020 1616108 | 2147483647 420496 52 | 0.001 % |
436.19/436.44 c | 541433 | 32773 518020 1616108 | 2147483647 421039 52 | 0.000 % |
436.89/437.11 c | 542029 | 32773 518020 1616108 | 2147483647 421635 52 | 0.000 % |
437.50/437.76 c | 542686 | 32773 518020 1616108 | 2147483647 422292 52 | 0.000 % |
438.39/438.67 c | 543406 | 32773 518020 1616108 | 2147483647 423012 52 | 0.000 % |
439.39/439.62 c | 544198 | 32773 518020 1616108 | 2147483647 423804 52 | 0.000 % |
440.49/440.75 c | 545069 | 32773 518020 1616108 | 2147483647 424675 52 | 0.000 % |
441.39/441.67 c | 546027 | 32773 518020 1616108 | 2147483647 425633 52 | 0.000 % |
442.19/442.45 c | 547080 | 32773 518020 1616108 | 2147483647 426686 52 | 0.000 % |
443.79/444.01 c | 548239 | 32773 518020 1616108 | 2147483647 427845 52 | 0.000 % |
445.09/445.34 c | 549512 | 32773 518020 1616108 | 2147483647 429118 52 | 0.000 % |
446.59/446.81 c | 550912 | 32773 518020 1616108 | 2147483647 430518 52 | 0.000 % |
448.19/448.46 c | 552453 | 32773 518020 1616108 | 2147483647 432059 52 | 0.000 % |
449.59/449.85 c | 554148 | 32773 518020 1616108 | 2147483647 433754 52 | 0.000 % |
451.49/451.77 c | 556011 | 32773 518020 1616108 | 2147483647 435617 52 | 0.000 % |
453.49/453.79 c | 558061 | 32773 518020 1616108 | 2147483647 437667 52 | 0.000 % |
455.79/456.09 c | 560315 | 32773 518020 1616108 | 2147483647 439921 53 | 0.000 % |
458.69/458.94 c | 562794 | 32773 518020 1616108 | 2147483647 442400 53 | 0.000 % |
461.18/461.46 c | 565519 | 32773 518020 1616108 | 2147483647 445125 53 | 0.000 % |
463.89/464.14 c | 568516 | 32773 518020 1616108 | 2147483647 448122 53 | 0.001 % |
468.28/468.51 c | 571812 | 32773 518020 1616108 | 2147483647 451418 53 | 0.000 % |
471.78/472.06 c | 575437 | 32773 518020 1616108 | 2147483647 455043 53 | 0.001 % |
477.18/477.41 c | 579424 | 32773 518020 1616108 | 2147483647 459030 53 | 0.001 % |
481.08/481.32 c | 583809 | 32773 518020 1616108 | 2147483647 463415 53 | 0.000 % |
484.68/484.96 c | 588632 | 32773 518020 1616108 | 2147483647 468238 53 | 0.000 % |
489.88/490.16 c | 593939 | 32773 518020 1616108 | 2147483647 473545 53 | 0.000 % |
490.17/490.41 c | 594039 | 32773 518020 1616108 | 2147483647 473645 53 | 0.000 % |
490.38/490.64 c | 594149 | 32773 518020 1616108 | 2147483647 473755 53 | 0.000 % |
490.77/491.01 c | 594272 | 32773 518020 1616108 | 2147483647 473878 53 | 0.000 % |
490.97/491.22 c | 594405 | 32773 518020 1616108 | 2147483647 474011 53 | 0.000 % |
491.17/491.47 c | 594553 | 32773 518020 1616108 | 2147483647 474159 53 | 0.000 % |
491.48/491.78 c | 594713 | 32773 518020 1616108 | 2147483647 474319 53 | 0.001 % |
491.87/492.11 c | 594890 | 32773 518020 1616108 | 2147483647 474496 53 | 0.000 % |
492.17/492.46 c | 595084 | 32773 518020 1616108 | 2147483647 474690 53 | 0.001 % |
492.67/492.97 c | 595296 | 32773 518020 1616108 | 2147483647 474902 53 | 0.001 % |
493.07/493.36 c | 595529 | 32773 518020 1616108 | 2147483647 475135 53 | 0.000 % |
493.47/493.71 c | 595787 | 32773 518020 1616108 | 2147483647 475393 53 | 0.000 % |
493.87/494.19 c | 596068 | 32773 518020 1616108 | 2147483647 475674 53 | 0.000 % |
494.47/494.70 c | 596377 | 32773 518020 1616108 | 2147483647 475983 53 | 0.000 % |
494.97/495.25 c | 596716 | 32773 518020 1616108 | 2147483647 476322 53 | 0.000 % |
495.47/495.71 c | 597088 | 32773 518020 1616108 | 2147483647 476694 53 | 0.000 % |
495.97/496.22 c | 597497 | 32773 518020 1616108 | 2147483647 477103 53 | 0.001 % |
496.37/496.61 c | 597947 | 32773 518020 1616108 | 2147483647 477553 53 | 0.000 % |
496.87/497.11 c | 598441 | 32773 518020 1616108 | 2147483647 478047 53 | 0.000 % |
497.47/497.70 c | 598984 | 32773 518020 1616108 | 2147483647 478590 53 | 0.001 % |
498.27/498.54 c | 599580 | 32773 518020 1616108 | 2147483647 479186 53 | 0.001 % |
499.07/499.39 c | 600236 | 32773 518020 1616108 | 2147483647 479842 53 | 0.000 % |
499.97/500.27 c | 600957 | 32773 518020 1616108 | 2147483647 480563 53 | 0.001 % |
500.86/501.10 c | 601750 | 32773 518020 1616108 | 2147483647 481356 53 | 0.001 % |
501.96/502.29 c | 602621 | 32773 518020 1616108 | 2147483647 482227 53 | 0.001 % |
503.36/503.64 c | 603580 | 32773 518020 1616108 | 2147483647 483186 53 | 0.001 % |
504.96/505.21 c | 604633 | 32773 518020 1616108 | 2147483647 484239 53 | 0.000 % |
506.87/507.19 c | 605791 | 32773 518020 1616108 | 2147483647 485397 53 | 0.000 % |
508.36/508.60 c | 607064 | 32773 518020 1616108 | 2147483647 486670 53 | 0.001 % |
510.26/510.57 c | 608465 | 32773 518020 1616108 | 2147483647 488071 53 | 0.000 % |
512.16/512.49 c | 610006 | 32773 518020 1616108 | 2147483647 489612 53 | 0.001 % |
513.76/514.08 c | 611700 | 32773 518020 1616108 | 2147483647 491306 53 | 0.001 % |
516.26/516.57 c | 613564 | 32773 518020 1616108 | 2147483647 493170 53 | 0.001 % |
518.96/519.28 c | 615613 | 32773 518020 1616108 | 2147483647 495219 54 | 0.000 % |
521.55/521.89 c | 617866 | 32773 518020 1616108 | 2147483647 497472 54 | 0.001 % |
524.85/525.16 c | 620344 | 32773 518020 1616108 | 499606 499950 53 | 0.000 % |
533.35/533.64 c | 623069 | 32773 518020 1616108 | 499606 435761 53 | 0.000 % |
536.25/536.55 c | 626068 | 32773 518020 1616108 | 499606 438760 54 | 0.000 % |
539.15/539.41 c | 629364 | 32773 518020 1616108 | 499606 442056 54 | 0.000 % |
542.15/542.40 c | 632990 | 32773 518020 1616108 | 2147483647 445682 54 | 0.000 % |
546.45/546.70 c | 636978 | 32773 518020 1616108 | 2147483647 449670 54 | 0.000 % |
550.94/551.29 c | 641366 | 32773 518020 1616108 | 2147483647 454058 54 | 0.000 % |
556.44/556.72 c | 646190 | 32773 518020 1616108 | 2147483647 458882 54 | 0.000 % |
561.64/562.00 c | 651495 | 32773 518020 1616108 | 2147483647 464187 54 | 0.000 % |
567.84/568.15 c | 657330 | 32773 518020 1616108 | 2147483647 470022 54 | 0.000 % |
568.04/568.33 c | 657431 | 32773 518020 1616108 | 2147483647 470123 54 | 0.000 % |
568.14/568.47 c | 657541 | 32773 518020 1616108 | 2147483647 470233 54 | 0.000 % |
568.54/568.85 c | 657662 | 32773 518020 1616108 | 2147483647 470354 54 | 0.000 % |
568.94/569.28 c | 657795 | 32773 518020 1616108 | 2147483647 470487 54 | 0.000 % |
569.24/569.53 c | 657942 | 32773 518020 1616108 | 2147483647 470634 54 | 0.000 % |
569.54/569.87 c | 658102 | 32773 518020 1616108 | 2147483647 470794 54 | 0.000 % |
569.94/570.25 c | 658278 | 32773 518020 1616108 | 2147483647 470970 54 | 0.000 % |
570.24/570.51 c | 658471 | 32773 518020 1616108 | 2147483647 471163 54 | 0.000 % |
570.54/570.86 c | 658684 | 32773 518020 1616108 | 2147483647 471376 54 | 0.000 % |
570.84/571.19 c | 658917 | 32773 518020 1616108 | 2147483647 471609 54 | 0.000 % |
571.34/571.64 c | 659173 | 32773 518020 1616108 | 2147483647 471865 54 | 0.000 % |
571.84/572.15 c | 659454 | 32773 518020 1616108 | 2147483647 472146 54 | 0.000 % |
572.54/572.82 c | 659763 | 32773 518020 1616108 | 2147483647 472455 54 | 0.000 % |
572.94/573.29 c | 660102 | 32773 518020 1616108 | 2147483647 472794 54 | 0.000 % |
573.64/573.93 c | 660475 | 32773 518020 1616108 | 2147483647 473167 54 | 0.000 % |
574.24/574.54 c | 660884 | 32773 518020 1616108 | 2147483647 473576 54 | 0.000 % |
575.04/575.37 c | 661334 | 32773 518020 1616108 | 2147483647 474026 54 | 0.000 % |
575.93/576.25 c | 661827 | 32773 518020 1616108 | 2147483647 474519 54 | 0.000 % |
576.53/576.80 c | 662371 | 32773 518020 1616108 | 2147483647 475063 54 | 0.000 % |
577.14/577.40 c | 662967 | 32773 518020 1616108 | 2147483647 475659 54 | 0.000 % |
577.83/578.18 c | 663622 | 32773 518020 1616108 | 2147483647 476314 54 | 0.000 % |
578.73/579.09 c | 664342 | 32773 518020 1616108 | 2147483647 477034 53 | 0.000 % |
579.93/580.22 c | 665136 | 32773 518020 1616108 | 2147483647 477828 53 | 0.000 % |
581.03/581.38 c | 666008 | 32773 518020 1616108 | 2147483647 478700 53 | 0.000 % |
582.03/582.35 c | 666968 | 32773 518020 1616108 | 2147483647 479660 54 | 0.000 % |
583.33/583.61 c | 668021 | 32773 518020 1616108 | 2147483647 480713 54 | 0.000 % |
584.83/585.15 c | 669180 | 32773 518020 1616108 | 2147483647 481872 54 | 0.000 % |
586.23/586.51 c | 670454 | 32773 518020 1616108 | 2147483647 483146 54 | 0.000 % |
587.63/587.97 c | 671854 | 32773 518020 1616108 | 2147483647 484546 54 | 0.000 % |
589.63/589.91 c | 673395 | 32773 518020 1616108 | 2147483647 486087 54 | 0.000 % |
591.83/592.12 c | 675090 | 32773 518020 1616108 | 2147483647 487782 54 | 0.000 % |
594.23/594.50 c | 676953 | 32773 518020 1616108 | 2147483647 489645 54 | 0.000 % |
596.43/596.70 c | 679002 | 32773 518020 1616108 | 2147483647 491694 54 | 0.000 % |
598.73/599.06 c | 681256 | 32773 518020 1616108 | 492693 493948 54 | 0.000 % |
604.64/604.96 c | 683734 | 32773 518020 1616108 | 492693 436415 54 | 0.000 % |
607.94/608.30 c | 686459 | 32773 518020 1616108 | 492693 439140 54 | 0.000 % |
611.43/611.76 c | 689459 | 32773 518020 1616108 | 492693 442140 54 | 0.000 % |
615.13/615.44 c | 692757 | 32773 518020 1616108 | 2147483647 445438 54 | 0.000 % |
619.03/619.35 c | 696388 | 32773 518020 1616108 | 2147483647 449069 54 | 0.000 % |
623.53/623.83 c | 700375 | 32773 518020 1616108 | 2147483647 453056 54 | 0.000 % |
629.43/629.71 c | 704760 | 32773 518020 1616108 | 2147483647 457441 54 | 0.000 % |
635.63/635.98 c | 709583 | 32773 518020 1616108 | 2147483647 462264 54 | 0.000 % |
641.42/641.73 c | 714889 | 32773 518020 1616108 | 2147483647 467570 54 | 0.000 % |
648.82/649.17 c | 720725 | 32773 518020 1616108 | 472682 473406 54 | 0.001 % |
659.92/660.22 c | 727143 | 32773 518020 1616108 | 472682 430442 53 | 0.001 % |
660.12/660.43 c | 727243 | 32773 518020 1616108 | 472682 430542 53 | 0.000 % |
660.22/660.55 c | 727353 | 32773 518020 1616108 | 472682 430652 53 | 0.000 % |
660.42/660.77 c | 727474 | 32773 518020 1616108 | 472682 430773 53 | 0.001 % |
660.72/661.01 c | 727608 | 32773 518020 1616108 | 472682 430907 53 | 0.000 % |
660.82/661.18 c | 727755 | 32773 518020 1616108 | 472682 431054 53 | 0.000 % |
661.12/661.49 c | 727916 | 32773 518020 1616108 | 472682 431215 53 | 0.000 % |
661.42/661.72 c | 728092 | 32773 518020 1616108 | 472682 431391 53 | 0.000 % |
661.72/662.06 c | 728285 | 32773 518020 1616108 | 472682 431584 53 | 0.000 % |
662.12/662.45 c | 728498 | 32773 518020 1616108 | 472682 431797 53 | 0.000 % |
662.51/662.84 c | 728733 | 32773 518020 1616108 | 472682 432032 53 | 0.000 % |
662.92/663.30 c | 728989 | 32773 518020 1616108 | 472682 432288 53 | 0.000 % |
663.31/663.66 c | 729272 | 32773 518020 1616108 | 472682 432571 53 | 0.000 % |
663.81/664.12 c | 729582 | 32773 518020 1616108 | 472682 432881 53 | 0.000 % |
664.31/664.65 c | 729921 | 32773 518020 1616108 | 472682 433220 53 | 0.000 % |
665.01/665.33 c | 730293 | 32773 518020 1616108 | 2147483647 433592 53 | 0.000 % |
665.51/665.81 c | 730702 | 32773 518020 1616108 | 2147483647 434001 53 | 0.000 % |
665.91/666.22 c | 731152 | 32773 518020 1616108 | 2147483647 434451 53 | 0.000 % |
666.32/666.67 c | 731645 | 32773 518020 1616108 | 2147483647 434944 53 | 0.000 % |
666.91/667.24 c | 732188 | 32773 518020 1616108 | 2147483647 435487 53 | 0.000 % |
667.42/667.74 c | 732784 | 32773 518020 1616108 | 2147483647 436083 53 | 0.000 % |
668.11/668.48 c | 733441 | 32773 518020 1616108 | 2147483647 436740 53 | 0.000 % |
669.11/669.40 c | 734161 | 32773 518020 1616108 | 2147483647 437460 53 | 0.000 % |
669.91/670.23 c | 734955 | 32773 518020 1616108 | 2147483647 438254 53 | 0.000 % |
670.91/671.20 c | 735826 | 32773 518020 1616108 | 2147483647 439125 53 | 0.000 % |
671.91/672.26 c | 736785 | 32773 518020 1616108 | 2147483647 440084 53 | 0.000 % |
672.81/673.17 c | 737838 | 32773 518020 1616108 | 2147483647 441137 53 | 0.000 % |
674.11/674.46 c | 738998 | 32773 518020 1616108 | 2147483647 442297 53 | 0.000 % |
675.41/675.72 c | 740272 | 32773 518020 1616108 | 2147483647 443571 53 | 0.000 % |
676.61/676.95 c | 741674 | 32773 518020 1616108 | 2147483647 444973 53 | 0.000 % |
678.11/678.40 c | 743214 | 32773 518020 1616108 | 2147483647 446513 53 | 0.000 % |
680.11/680.48 c | 744908 | 32773 518020 1616108 | 2147483647 448207 53 | 0.000 % |
682.91/683.23 c | 746772 | 32773 518020 1616108 | 2147483647 450071 53 | 0.000 % |
685.31/685.62 c | 748822 | 32773 518020 1616108 | 2147483647 452121 53 | 0.000 % |
688.11/688.40 c | 751076 | 32773 518020 1616108 | 2147483647 454375 53 | 0.000 % |
691.00/691.36 c | 753554 | 32773 518020 1616108 | 2147483647 456853 53 | 0.000 % |
694.40/694.80 c | 756280 | 32773 518020 1616108 | 2147483647 459579 53 | 0.000 % |
698.40/698.74 c | 759277 | 32773 518020 1616108 | 2147483647 462576 53 | 0.000 % |
702.80/703.10 c | 762573 | 32773 518020 1616108 | 463300 465872 53 | 0.000 % |
711.20/711.59 c | 766198 | 32773 518020 1616108 | 463300 422910 54 | 0.000 % |
716.10/716.43 c | 770185 | 32773 518020 1616108 | 2147483647 426897 54 | 0.000 % |
722.09/722.43 c | 774570 | 32773 518020 1616108 | 2147483647 431282 54 | 0.000 % |
727.99/728.35 c | 779394 | 32773 518020 1616108 | 2147483647 436106 55 | 0.000 % |
733.99/734.37 c | 784701 | 32773 518020 1616108 | 436712 441413 55 | 0.000 % |
744.89/745.24 c | 790536 | 32773 518020 1616108 | 385175 385711 54 | 0.000 % |
753.58/753.96 c | 796954 | 32773 518020 1616108 | 385175 353558 55 | 0.000 % |
760.68/761.09 c | 804013 | 32773 518020 1616108 | 2147483647 360617 55 | 0.000 % |
761.18/761.55 c | 804114 | 32773 518020 1616108 | 2147483647 360718 55 | 0.000 % |
761.28/761.66 c | 804225 | 32773 518020 1616108 | 2147483647 360829 55 | 0.000 % |
761.48/761.88 c | 804347 | 32773 518020 1616108 | 2147483647 360951 55 | 0.000 % |
761.68/762.09 c | 804481 | 32773 518020 1616108 | 2147483647 361085 55 | 0.000 % |
762.08/762.42 c | 804628 | 32773 518020 1616108 | 2147483647 361232 55 | 0.000 % |
762.28/762.60 c | 804788 | 32773 518020 1616108 | 2147483647 361392 55 | 0.000 % |
762.48/762.82 c | 804964 | 32773 518020 1616108 | 2147483647 361568 55 | 0.000 % |
762.68/763.04 c | 805158 | 32773 518020 1616108 | 2147483647 361762 55 | 0.000 % |
762.98/763.31 c | 805370 | 32773 518020 1616108 | 2147483647 361974 55 | 0.000 % |
763.28/763.65 c | 805603 | 32773 518020 1616108 | 2147483647 362207 55 | 0.000 % |
763.58/763.97 c | 805859 | 32773 518020 1616108 | 2147483647 362463 55 | 0.000 % |
764.19/764.50 c | 806142 | 32773 518020 1616108 | 2147483647 362746 55 | 0.000 % |
764.58/764.94 c | 806451 | 32773 518020 1616108 | 2147483647 363055 55 | 0.000 % |
765.08/765.47 c | 806790 | 32773 518020 1616108 | 2147483647 363394 55 | 0.000 % |
765.68/766.04 c | 807163 | 32773 518020 1616108 | 2147483647 363767 55 | 0.000 % |
766.38/766.71 c | 807572 | 32773 518020 1616108 | 2147483647 364176 55 | 0.000 % |
767.08/767.45 c | 808021 | 32773 518020 1616108 | 2147483647 364625 55 | 0.000 % |
767.78/768.10 c | 808515 | 32773 518020 1616108 | 2147483647 365119 55 | 0.000 % |
768.58/768.93 c | 809057 | 32773 518020 1616108 | 2147483647 365661 55 | 0.000 % |
769.48/769.86 c | 809654 | 32773 518020 1616108 | 2147483647 366258 55 | 0.000 % |
770.28/770.67 c | 810311 | 32773 518020 1616108 | 2147483647 366915 55 | 0.000 % |
771.18/771.51 c | 811032 | 32773 518020 1616108 | 2147483647 367636 55 | 0.000 % |
772.18/772.59 c | 811824 | 32773 518020 1616108 | 2147483647 368428 55 | 0.000 % |
773.48/773.89 c | 812696 | 32773 518020 1616108 | 2147483647 369300 55 | 0.000 % |
774.88/775.27 c | 813654 | 32773 518020 1616108 | 2147483647 370258 55 | 0.000 % |
776.38/776.73 c | 814707 | 32773 518020 1616108 | 2147483647 371311 55 | 0.000 % |
778.08/778.43 c | 815865 | 32773 518020 1616108 | 2147483647 372469 55 | 0.000 % |
779.58/779.96 c | 817139 | 32773 518020 1616108 | 2147483647 373743 55 | 0.000 % |
781.28/781.65 c | 818539 | 32773 518020 1616108 | 2147483647 375143 55 | 0.000 % |
783.38/783.75 c | 820079 | 32773 518020 1616108 | 2147483647 376683 55 | 0.000 % |
785.27/785.62 c | 821773 | 32773 518020 1616108 | 2147483647 378377 55 | 0.000 % |
787.37/787.73 c | 823637 | 32773 518020 1616108 | 2147483647 380241 55 | 0.000 % |
789.48/789.86 c | 825687 | 32773 518020 1616108 | 2147483647 382291 55 | 0.000 % |
792.17/792.55 c | 827940 | 32773 518020 1616108 | 2147483647 384544 55 | 0.000 % |
794.87/795.25 c | 830418 | 32773 518020 1616108 | 2147483647 387022 55 | 0.000 % |
798.17/798.55 c | 833144 | 32773 518020 1616108 | 2147483647 389748 55 | 0.000 % |
801.87/802.20 c | 836142 | 32773 518020 1616108 | 2147483647 392746 55 | 0.000 % |
805.47/805.89 c | 839439 | 32773 518020 1616108 | 2147483647 396043 55 | 0.000 % |
810.07/810.41 c | 843064 | 32773 518020 1616108 | 2147483647 399668 55 | 0.000 % |
814.77/815.18 c | 847051 | 32773 518020 1616108 | 2147483647 403655 55 | 0.000 % |
820.36/820.77 c | 851437 | 32773 518020 1616108 | 406604 408041 55 | 0.000 % |
827.26/827.68 c | 856261 | 32773 518020 1616108 | 406604 372061 56 | 0.000 % |
832.27/832.65 c | 861566 | 32773 518020 1616108 | 2147483647 377366 55 | 0.000 % |
839.26/839.68 c | 867402 | 32773 518020 1616108 | 2147483647 383202 56 | 0.000 % |
845.66/846.04 c | 873822 | 32773 518020 1616108 | 385800 389622 56 | 0.000 % |
855.85/856.22 c | 880881 | 32773 518020 1616108 | 2147483647 355095 55 | 0.000 % |
865.25/865.61 c | 888645 | 32773 518020 1616108 | 2147483647 362859 55 | 0.000 % |
865.45/865.83 c | 888746 | 32773 518020 1616108 | 2147483647 362960 55 | 0.000 % |
865.65/866.08 c | 888857 | 32773 518020 1616108 | 2147483647 363071 55 | 0.000 % |
865.85/866.26 c | 888978 | 32773 518020 1616108 | 2147483647 363192 55 | 0.000 % |
866.05/866.49 c | 889111 | 32773 518020 1616108 | 2147483647 363325 55 | 0.000 % |
866.25/866.63 c | 889257 | 32773 518020 1616108 | 2147483647 363471 55 | 0.000 % |
866.45/866.81 c | 889417 | 32773 518020 1616108 | 2147483647 363631 55 | 0.000 % |
866.75/867.15 c | 889593 | 32773 518020 1616108 | 2147483647 363807 55 | 0.000 % |
867.15/867.55 c | 889786 | 32773 518020 1616108 | 2147483647 364000 55 | 0.000 % |
867.35/867.79 c | 889998 | 32773 518020 1616108 | 2147483647 364212 55 | 0.000 % |
867.95/868.33 c | 890231 | 32773 518020 1616108 | 2147483647 364445 55 | 0.000 % |
868.45/868.89 c | 890490 | 32773 518020 1616108 | 2147483647 364704 55 | 0.000 % |
869.05/869.41 c | 890771 | 32773 518020 1616108 | 2147483647 364985 55 | 0.000 % |
869.45/869.83 c | 891080 | 32773 518020 1616108 | 2147483647 365294 55 | 0.000 % |
870.05/870.47 c | 891419 | 32773 518020 1616108 | 2147483647 365633 55 | 0.001 % |
870.75/871.17 c | 891791 | 32773 518020 1616108 | 2147483647 366005 55 | 0.000 % |
871.75/872.12 c | 892200 | 32773 518020 1616108 | 2147483647 366414 55 | 0.000 % |
872.75/873.15 c | 892651 | 32773 518020 1616108 | 2147483647 366865 55 | 0.000 % |
873.55/873.97 c | 893146 | 32773 518020 1616108 | 2147483647 367360 55 | 0.000 % |
874.35/874.74 c | 893688 | 32773 518020 1616108 | 2147483647 367902 55 | 0.000 % |
875.35/875.75 c | 894284 | 32773 518020 1616108 | 2147483647 368498 55 | 0.000 % |
876.05/876.49 c | 894939 | 32773 518020 1616108 | 2147483647 369153 55 | 0.000 % |
877.25/877.63 c | 895661 | 32773 518020 1616108 | 2147483647 369875 55 | 0.000 % |
878.35/878.71 c | 896454 | 32773 518020 1616108 | 2147483647 370668 54 | 0.000 % |
879.24/879.69 c | 897325 | 32773 518020 1616108 | 2147483647 371539 54 | 0.000 % |
880.94/881.31 c | 898283 | 32773 518020 1616108 | 2147483647 372497 54 | 0.000 % |
882.14/882.54 c | 899336 | 32773 518020 1616108 | 2147483647 373550 54 | 0.000 % |
883.54/883.97 c | 900494 | 32773 518020 1616108 | 2147483647 374708 54 | 0.000 % |
885.24/885.69 c | 901769 | 32773 518020 1616108 | 2147483647 375983 54 | 0.000 % |
887.14/887.52 c | 903170 | 32773 518020 1616108 | 2147483647 377384 54 | 0.000 % |
889.24/889.66 c | 904712 | 32773 518020 1616108 | 2147483647 378926 54 | 0.000 % |
891.14/891.51 c | 906408 | 32773 518020 1616108 | 2147483647 380622 54 | 0.000 % |
893.24/893.69 c | 908271 | 32773 518020 1616108 | 2147483647 382485 54 | 0.000 % |
896.04/896.42 c | 910320 | 32773 518020 1616108 | 2147483647 384534 54 | 0.000 % |
898.94/899.35 c | 912573 | 32773 518020 1616108 | 2147483647 386787 54 | 0.000 % |
902.34/902.79 c | 915051 | 32773 518020 1616108 | 2147483647 389265 54 | 0.000 % |
906.23/906.67 c | 917776 | 32773 518020 1616108 | 2147483647 391990 54 | 0.000 % |
910.53/910.90 c | 920773 | 32773 518020 1616108 | 394214 394987 54 | 0.000 % |
917.83/918.26 c | 924069 | 32773 518020 1616108 | 394214 336873 54 | 0.000 % |
921.84/922.27 c | 927694 | 32773 518020 1616108 | 394214 340498 54 | 0.000 % |
926.64/927.00 c | 931682 | 32773 518020 1616108 | 2147483647 344486 54 | 0.000 % |
931.24/931.66 c | 936068 | 32773 518020 1616108 | 2147483647 348872 55 | 0.000 % |
936.24/936.65 c | 940893 | 32773 518020 1616108 | 352805 353697 55 | 0.000 % |
943.53/943.96 c | 946199 | 32773 518020 1616108 | 352805 319362 55 | 0.000 % |
950.33/950.70 c | 952036 | 32773 518020 1616108 | 2147483647 325199 54 | 0.000 % |
958.33/958.73 c | 958454 | 32773 518020 1616108 | 2147483647 331617 55 | 0.000 % |
965.13/965.51 c | 965514 | 32773 518020 1616108 | 2147483647 338677 54 | 0.000 % |
973.43/973.82 c | 973279 | 32773 518020 1616108 | 2147483647 346442 55 | 0.000 % |
982.02/982.43 c | 981820 | 32773 518020 1616108 | 2147483647 354983 55 | 0.000 % |
982.12/982.57 c | 981921 | 32773 518020 1616108 | 2147483647 355084 55 | 0.000 % |
982.22/982.69 c | 982031 | 32773 518020 1616108 | 2147483647 355194 55 | 0.000 % |
982.62/983.00 c | 982152 | 32773 518020 1616108 | 2147483647 355315 55 | 0.000 % |
983.03/983.44 c | 982286 | 32773 518020 1616108 | 2147483647 355449 55 | 0.000 % |
983.32/983.77 c | 982433 | 32773 518020 1616108 | 2147483647 355596 55 | 0.000 % |
983.82/984.21 c | 982593 | 32773 518020 1616108 | 2147483647 355756 55 | 0.000 % |
984.22/984.61 c | 982769 | 32773 518020 1616108 | 2147483647 355932 55 | 0.000 % |
984.82/985.23 c | 982962 | 32773 518020 1616108 | 2147483647 356125 55 | 0.000 % |
985.02/985.48 c | 983174 | 32773 518020 1616108 | 2147483647 356337 55 | 0.000 % |
985.42/985.80 c | 983408 | 32773 518020 1616108 | 2147483647 356571 55 | 0.000 % |
985.82/986.29 c | 983667 | 32773 518020 1616108 | 2147483647 356830 55 | 0.000 % |
986.42/986.84 c | 983948 | 32773 518020 1616108 | 2147483647 357111 55 | 0.000 % |
986.92/987.38 c | 984257 | 32773 518020 1616108 | 2147483647 357420 55 | 0.000 % |
987.52/987.98 c | 984596 | 32773 518020 1616108 | 2147483647 357759 55 | 0.000 % |
988.22/988.65 c | 984970 | 32773 518020 1616108 | 2147483647 358133 55 | 0.000 % |
988.92/989.34 c | 985380 | 32773 518020 1616108 | 2147483647 358543 55 | 0.000 % |
989.42/989.87 c | 985829 | 32773 518020 1616108 | 2147483647 358992 55 | 0.000 % |
990.12/990.59 c | 986322 | 32773 518020 1616108 | 2147483647 359485 55 | 0.000 % |
990.82/991.28 c | 986864 | 32773 518020 1616108 | 2147483647 360027 55 | 0.000 % |
991.72/992.12 c | 987460 | 32773 518020 1616108 | 2147483647 360623 55 | 0.000 % |
992.42/992.82 c | 988115 | 32773 518020 1616108 | 2147483647 361278 55 | 0.001 % |
993.52/993.99 c | 988835 | 32773 518020 1616108 | 2147483647 361998 55 | 0.000 % |
994.62/995.01 c | 989627 | 32773 518020 1616108 | 2147483647 362790 55 | 0.000 % |
995.82/996.22 c | 990498 | 32773 518020 1616108 | 2147483647 363661 55 | 0.000 % |
997.02/997.43 c | 991457 | 32773 518020 1616108 | 2147483647 364620 55 | 0.000 % |
997.92/998.39 c | 992510 | 32773 518020 1616108 | 2147483647 365673 55 | 0.000 % |
999.32/999.76 c | 993669 | 32773 518020 1616108 | 2147483647 366832 55 | 0.000 % |
1001.01/1001.43 c | 994943 | 32773 518020 1616108 | 2147483647 368106 55 | 0.000 % |
1002.82/1003.28 c | 996343 | 32773 518020 1616108 | 2147483647 369506 55 | 0.000 % |
1004.51/1004.97 c | 997883 | 32773 518020 1616108 | 2147483647 371046 55 | 0.000 % |
1006.71/1007.11 c | 999577 | 32773 518020 1616108 | 2147483647 372740 55 | 0.000 % |
1009.21/1009.62 c | 1001440 | 32773 518020 1616108 | 2147483647 374603 55 | 0.000 % |
1011.11/1011.53 c | 1003490 | 32773 518020 1616108 | 2147483647 376653 55 | 0.000 % |
1013.41/1013.87 c | 1005743 | 32773 518020 1616108 | 2147483647 378906 55 | 0.000 % |
1016.31/1016.73 c | 1008221 | 32773 518020 1616108 | 2147483647 381384 55 | 0.000 % |
1019.51/1019.90 c | 1010947 | 32773 518020 1616108 | 2147483647 384110 54 | 0.000 % |
1022.51/1022.98 c | 1013944 | 32773 518020 1616108 | 2147483647 387107 54 | 0.000 % |
1026.41/1026.87 c | 1017240 | 32773 518020 1616108 | 2147483647 390403 54 | 0.000 % |
1030.91/1031.38 c | 1020868 | 32773 518020 1616108 | 2147483647 394031 54 | 0.000 % |
1035.50/1035.92 c | 1024855 | 32773 518020 1616108 | 2147483647 398018 54 | 0.000 % |
1041.00/1041.40 c | 1029240 | 32773 518020 1616108 | 2147483647 402403 54 | 0.000 % |
1048.90/1049.30 c | 1034063 | 32773 518020 1616108 | 2147483647 407226 54 | 0.000 % |
1056.00/1056.45 c | 1039368 | 32773 518020 1616108 | 2147483647 412531 54 | 0.000 % |
1063.10/1063.52 c | 1045203 | 32773 518020 1616108 | 413163 418366 54 | 0.000 % |
1073.39/1073.88 c | 1051621 | 32773 518020 1616108 | 2147483647 378237 54 | 0.000 % |
1079.19/1079.69 c | 1058681 | 32773 518020 1616108 | 2147483647 385297 53 | 0.000 % |
1085.69/1086.11 c | 1066445 | 32773 518020 1616108 | 2147483647 393061 53 | 0.000 % |
1093.49/1093.97 c | 1074985 | 32773 518020 1616108 | 2147483647 401601 53 | 0.000 % |
1103.99/1104.45 c | 1084379 | 32773 518020 1616108 | 2147483647 410995 53 | 0.000 % |
1104.08/1104.57 c | 1084479 | 32773 518020 1616108 | 2147483647 411095 53 | 0.000 % |
1104.28/1104.77 c | 1084589 | 32773 518020 1616108 | 2147483647 411205 53 | 0.000 % |
1104.48/1104.97 c | 1084711 | 32773 518020 1616108 | 2147483647 411327 53 | 0.000 % |
1104.68/1105.17 c | 1084845 | 32773 518020 1616108 | 2147483647 411461 53 | 0.000 % |
1105.08/1105.50 c | 1084991 | 32773 518020 1616108 | 2147483647 411607 53 | 0.000 % |
1105.38/1105.86 c | 1085152 | 32773 518020 1616108 | 2147483647 411768 53 | 0.001 % |
1105.68/1106.19 c | 1085331 | 32773 518020 1616108 | 2147483647 411947 53 | 0.000 % |
1106.08/1106.58 c | 1085525 | 32773 518020 1616108 | 2147483647 412141 53 | 0.000 % |
1106.58/1107.01 c | 1085737 | 32773 518020 1616108 | 2147483647 412353 53 | 0.000 % |
1107.08/1107.59 c | 1085971 | 32773 518020 1616108 | 2147483647 412587 53 | 0.000 % |
1107.38/1107.87 c | 1086227 | 32773 518020 1616108 | 2147483647 412843 53 | 0.000 % |
1107.88/1108.30 c | 1086508 | 32773 518020 1616108 | 2147483647 413124 53 | 0.000 % |
1108.78/1109.28 c | 1086817 | 32773 518020 1616108 | 2147483647 413433 53 | 0.000 % |
1109.38/1109.83 c | 1087156 | 32773 518020 1616108 | 2147483647 413772 53 | 0.000 % |
1109.78/1110.27 c | 1087528 | 32773 518020 1616108 | 2147483647 414144 53 | 0.000 % |
1110.58/1111.08 c | 1087937 | 32773 518020 1616108 | 2147483647 414553 53 | 0.000 % |
1111.27/1111.71 c | 1088386 | 32773 518020 1616108 | 2147483647 415002 53 | 0.000 % |
1112.17/1112.64 c | 1088879 | 32773 518020 1616108 | 2147483647 415495 53 | 0.000 % |
1112.87/1113.32 c | 1089422 | 32773 518020 1616108 | 2147483647 416038 53 | 0.000 % |
1113.67/1114.10 c | 1090018 | 32773 518020 1616108 | 2147483647 416634 53 | 0.000 % |
1114.88/1115.38 c | 1090674 | 32773 518020 1616108 | 2147483647 417290 53 | 0.000 % |
1115.99/1116.50 c | 1091395 | 32773 518020 1616108 | 2147483647 418011 53 | 0.000 % |
1117.19/1117.64 c | 1092187 | 32773 518020 1616108 | 2147483647 418803 53 | 0.000 % |
1118.78/1119.22 c | 1093058 | 31170 494497 1554715 | 2147483647 419640 53 | 4.891 % |
1119.98/1120.46 c | 1094016 | 31170 494497 1554715 | 2147483647 420598 53 | 4.891 % |
1121.38/1121.89 c | 1095069 | 31170 494497 1554715 | 2147483647 421651 53 | 4.892 % |
1123.38/1123.89 c | 1096228 | 31170 494497 1554715 | 2147483647 422810 53 | 4.891 % |
1125.38/1125.82 c | 1097502 | 31170 494497 1554715 | 2147483647 424084 53 | 4.891 % |
1127.18/1127.64 c | 1098902 | 31170 494497 1554715 | 2147483647 425484 53 | 4.891 % |
1128.98/1129.42 c | 1100442 | 31170 494497 1554715 | 426582 427024 53 | 4.891 % |
1131.58/1132.09 c | 1102136 | 31170 494497 1554715 | 426582 428718 53 | 4.891 % |
1138.57/1139.06 c | 1104000 | 31170 494497 1554715 | 426582 376644 52 | 4.891 % |
1141.07/1141.58 c | 1106049 | 31170 494497 1554715 | 426582 378693 52 | 4.891 % |
1144.58/1145.05 c | 1108302 | 31170 494497 1554715 | 426582 380946 52 | 4.892 % |
1148.27/1148.75 c | 1110781 | 31170 494497 1554715 | 382646 383425 52 | 4.891 % |
1151.67/1152.12 c | 1113506 | 31170 494497 1554715 | 382646 386150 52 | 4.892 % |
1161.17/1161.70 c | 1116503 | 31170 494497 1554715 | 382646 337874 51 | 4.891 % |
1165.66/1166.12 c | 1119799 | 31170 494497 1554715 | 382646 341170 52 | 4.891 % |
1168.87/1169.35 c | 1123424 | 31170 494497 1554715 | 341372 344795 52 | 4.891 % |
1176.36/1176.89 c | 1127412 | 31170 494497 1554715 | 341372 314304 51 | 4.891 % |
1180.86/1181.35 c | 1131798 | 31170 494497 1554715 | 316892 318690 51 | 4.891 % |
1190.46/1190.96 c | 1136621 | 31170 494497 1554715 | 316892 282399 49 | 4.891 % |
1195.66/1196.18 c | 1141926 | 31170 494497 1554715 | 285779 287704 49 | 4.891 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832129-1242769357/watcher-1832129-1242769357 -o /tmp/evaluation-result-1832129-1242769357/solver-1832129-1242769357 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832129-1242769357.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 8202
/proc/meminfo: memFree=1977872/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=0
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304969065 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 255236735058 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/8202/statm: 1339 235 195 169 0 50 0
[pid=8203] ppid=8202 vsize=5356 CPUtime=0
/proc/8203/stat : 8203 (SatELiteGTI) R 8202 8202 8088 0 -1 4194368 53 188 0 0 0 0 0 0 20 0 1 0 304969065 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 255236172275 0 0 4096 65538 0 0 0 17 0 0 0
/proc/8203/statm: 1339 238 198 169 0 50 0
[startup+0.0262781 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 8202
/proc/meminfo: memFree=1977872/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=0
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304969065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8202/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101283 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 8202
/proc/meminfo: memFree=1977872/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=0
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304969065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8202/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301304 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 8202
/proc/meminfo: memFree=1977872/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=0
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304969065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8202/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701346 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 8202
/proc/meminfo: memFree=1977872/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=0
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304969065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8202/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8207
/proc/meminfo: memFree=1931776/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=0
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304969065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8202/statm: 1339 237 197 169 0 50 0
[pid=8207] ppid=8202 vsize=54956 CPUtime=1.48
/proc/8207/stat : 8207 (SatELite_releas) R 8202 8202 8088 0 -1 4194304 12728 0 0 0 139 9 0 0 25 0 1 0 304969066 56274944 11567 1992294400 134512640 135223648 4294956128 18446744073709551615 134586759 0 0 4096 3 0 0 0 17 1 0 0
/proc/8207/statm: 13739 11567 76 173 0 13564 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 60312
[startup+3.10262 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8207
/proc/meminfo: memFree=1929920/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=0
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304969065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8202/statm: 1339 237 197 169 0 50 0
[pid=8207] ppid=8202 vsize=62340 CPUtime=3.08
/proc/8207/stat : 8207 (SatELite_releas) R 8202 8202 8088 0 -1 4194304 13972 0 0 0 298 10 0 0 25 0 1 0 304969066 63836160 12723 1992294400 134512640 135223648 4294956128 18446744073709551615 134548161 0 0 4096 3 0 0 0 17 1 0 0
/proc/8207/statm: 15585 12723 76 173 0 15410 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67696
[startup+6.30195 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8208
/proc/meminfo: memFree=1939392/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=28248 CPUtime=1.82
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 6634 0 0 0 179 3 0 0 25 0 1 0 304969511 28925952 6620 1992294400 134512640 135215339 4294956240 18446744073709551615 134529169 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 7062 6620 77 171 0 6889 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 33604
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8209
/proc/meminfo: memFree=1935872/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=31468 CPUtime=8.21
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 7444 0 0 0 818 3 0 0 25 0 1 0 304969511 32223232 7430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 7867 7430 77 171 0 7694 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 36824
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8209
/proc/meminfo: memFree=1929216/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=38256 CPUtime=21.01
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 9112 0 0 0 2096 5 0 0 25 0 1 0 304969511 39174144 9098 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 9564 9098 77 171 0 9391 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 43612
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1916864/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=50860 CPUtime=46.6
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 12224 0 0 0 4652 8 0 0 25 0 1 0 304969511 52080640 12210 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 12715 12210 77 171 0 12542 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 56216
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1893312/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=74148 CPUtime=97.78
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 18029 0 0 0 9763 15 0 0 25 0 1 0 304969511 75927552 18015 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 18537 18015 77 171 0 18364 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 79504
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1871424/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=96512 CPUtime=157.75
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 23529 0 0 0 15754 21 0 0 25 0 1 0 304969511 98828288 23515 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 24128 23515 77 171 0 23955 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 101868
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1852480/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=115468 CPUtime=217.72
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 28192 0 0 0 21745 27 0 0 25 0 1 0 304969511 118239232 28178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 28867 28178 77 171 0 28694 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 120824
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1836352/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=131592 CPUtime=277.71
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 32214 0 0 0 27738 33 0 0 25 0 1 0 304969511 134750208 32200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 32898 32200 77 171 0 32725 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 136948
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1822272/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=145340 CPUtime=337.69
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 35694 0 0 0 33733 36 0 0 25 0 1 0 304969511 148828160 35680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 36335 35680 77 171 0 36162 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 150696
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1810944/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=157608 CPUtime=397.67
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 38528 0 0 0 39727 40 0 0 25 0 1 0 304969511 161390592 38514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 39402 38514 77 171 0 39229 0
Current children cumulated CPU time (s) 402.1
################
# More data... #
################
/proc/8208/statm: 40079 39257 77 171 0 39906 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 165672
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1807296/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=160496 CPUtime=637.6
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39303 0 0 0 63718 42 0 0 25 0 1 0 304969511 164347904 39289 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40124 39289 77 171 0 39951 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 165852
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1807040/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=160496 CPUtime=697.57
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39317 0 0 0 69715 42 0 0 25 0 1 0 304969511 164347904 39303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40124 39303 77 171 0 39951 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 165852
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1806848/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=160676 CPUtime=757.55
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39339 0 0 0 75713 42 0 0 25 0 1 0 304969511 164532224 39325 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40169 39325 77 171 0 39996 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 166032
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1806592/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=161020 CPUtime=817.53
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39400 0 0 0 81711 42 0 0 25 0 1 0 304969511 164884480 39386 1992294400 134512640 135215339 4294956240 18446744073709551615 134534506 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40255 39386 77 171 0 40082 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 166376
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1806208/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=161468 CPUtime=877.51
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39491 0 0 0 87709 42 0 0 25 0 1 0 304969511 165343232 39477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40367 39477 77 171 0 40194 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 166824
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1805696/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=161796 CPUtime=937.5
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39569 0 0 0 93707 43 0 0 25 0 1 0 304969511 165679104 39555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40449 39555 77 171 0 40276 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 167152
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1805568/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=161796 CPUtime=997.48
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39580 0 0 0 99705 43 0 0 25 0 1 0 304969511 165679104 39566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40449 39566 77 171 0 40276 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 167152
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8210
/proc/meminfo: memFree=1805440/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=161876 CPUtime=1057.47
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39605 0 0 0 105704 43 0 0 25 0 1 0 304969511 165761024 39591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40469 39591 77 171 0 40296 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 167232
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8216
/proc/meminfo: memFree=1804672/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=162364 CPUtime=1117.45
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39714 0 0 0 111701 44 0 0 25 0 1 0 304969511 166260736 39700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40591 39700 77 171 0 40418 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 167720
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8216
/proc/meminfo: memFree=1804544/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=162364 CPUtime=1177.43
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39733 0 0 0 117699 44 0 0 25 0 1 0 304969511 166260736 39719 1992294400 134512640 135215339 4294956240 18446744073709551615 134534188 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40591 39719 77 171 0 40418 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 167720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8216
/proc/meminfo: memFree=1804544/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=162364 CPUtime=1195.63
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39733 0 0 0 119519 44 0 0 25 0 1 0 304969511 166260736 39719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40591 39719 77 171 0 40418 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 167720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 8216
/proc/meminfo: memFree=1804544/2055920 swapFree=4180160/4192956
[pid=8202] ppid=8200 vsize=5356 CPUtime=4.43
/proc/8202/stat : 8202 (SatELiteGTI) S 8200 8202 8088 0 -1 4194304 336 15291 0 0 0 0 427 16 16 0 1 0 304969065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8202/statm: 1339 239 197 169 0 50 0
[pid=8208] ppid=8202 vsize=162364 CPUtime=1195.63
/proc/8208/stat : 8208 (minisat_static) R 8202 8202 8088 0 -1 4194304 39733 0 0 0 119519 44 0 0 25 0 1 0 304969511 166260736 39719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8208/statm: 40591 39719 77 171 0 40418 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 167720
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8202 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=280349
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=168974
# CPU time returned by wait4() is 4.44932
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.46
CPU system time (s): 0.6
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 167720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.28035
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15627
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= 17
involuntary context switches= 17
runsolver used 1.49677 second user time and 2.91656 second system time
The end
Begin job on node19 at 2009-05-19 23:42:38
IDJOB=1832129
IDBENCH=20577
IDSOLVER=671
FILE ID=node19/1832129-1242769357
PBS_JOBID= 9322279
Free space on /tmp= 66272 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832129-1242769357/watcher-1832129-1242769357 -o /tmp/evaluation-result-1832129-1242769357/solver-1832129-1242769357 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832129-1242769357.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f0f4556999ccb446384994a4148fca28
RANDOM SEED=484181363
node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1978288 kB
Buffers: 6976 kB
Cached: 35584 kB
SwapCached: 7012 kB
Active: 28484 kB
Inactive: 22428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1978288 kB
SwapTotal: 4192956 kB
SwapFree: 4180160 kB
Dirty: 11828 kB
Writeback: 0 kB
Mapped: 13420 kB
Slab: 12656 kB
Committed_AS: 1029708 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66260 MiB
End job on node19 at 2009-05-20 00:02:41