0.00/0.00 c Parsing...
0.00/0.12 c ==============================================================================
0.00/0.12 c | | ORIGINAL | LEARNT | |
0.00/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.12 c ==============================================================================
0.00/0.12 c | 0 | 152037 354753 | 45611 0 0 nan | 0.000 % |
1.48/1.50 c | 0 | 86170 286586 | -- 0 -- -- | -- | -65825/-68066
1.48/1.50 c ==============================================================================
1.48/1.50 c Result : #vars: 18463 #clauses: 86170 #literals: 286586
1.48/1.50 c CPU time: 1.43178 s
1.48/1.50 c ==============================================================================
1.58/1.61 c This is MiniSat 2.0 beta
1.58/1.61 c WARNING: for repeatability, setting FPU to use double precision
1.58/1.61 c ============================[ Problem Statistics ]=============================
1.58/1.61 c | |
1.58/1.61 c | Number of variables: 18463 |
1.58/1.61 c | Number of clauses: 86170 |
1.58/1.67 c | Parsing time: 0.05 s |
1.58/1.67 c ============================[ Search Statistics ]==============================
1.58/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.58/1.67 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.58/1.67 c ===============================================================================
1.58/1.67 c | 0 | 18463 86170 286586 | 28723 0 nan | 0.000 % |
1.59/1.73 c | 100 | 18463 86170 286586 | 28723 100 7 | 0.000 % |
1.59/1.77 c | 202 | 18463 86170 286586 | 28723 202 5 | 0.000 % |
1.59/1.85 c | 302 | 18463 86170 286586 | 28723 302 28 | 0.000 % |
1.59/1.87 c | 413 | 18463 86170 286586 | 28723 413 25 | 0.000 % |
1.59/2.01 c | 513 | 18463 86170 286586 | 28723 513 37 | 0.000 % |
1.59/2.04 c | 623 | 18463 86170 286586 | 28723 623 33 | 0.000 % |
1.59/2.09 c | 744 | 18463 86170 286586 | 28723 744 39 | 0.000 % |
2.07/2.13 c | 845 | 18463 86170 286586 | 28723 845 45 | 0.000 % |
2.07/2.20 c | 955 | 18463 86170 286586 | 28723 955 49 | 0.000 % |
2.26/2.31 c | 1076 | 18463 86170 286586 | 28723 1076 54 | 0.000 % |
2.26/2.37 c | 1211 | 18463 86170 286586 | 28723 1211 60 | 0.000 % |
2.26/2.39 c | 1311 | 18463 86170 286586 | 28723 1311 58 | 0.000 % |
2.36/2.43 c | 1421 | 18463 86170 286586 | 28723 1421 60 | 0.000 % |
2.36/2.47 c | 1543 | 18463 86170 286586 | 28723 1543 60 | 0.000 % |
2.46/2.50 c | 1676 | 18463 86170 286586 | 28723 1676 59 | 0.000 % |
2.46/2.54 c | 1822 | 18463 86170 286586 | 28723 1822 56 | 0.000 % |
2.46/2.57 c | 1922 | 18463 86170 286586 | 28723 1922 55 | 0.000 % |
2.56/2.62 c | 2032 | 18463 86170 286586 | 28723 2032 56 | 0.000 % |
2.56/2.65 c | 2154 | 18463 86170 286586 | 28723 2154 56 | 0.000 % |
2.66/2.70 c | 2288 | 18463 86170 286586 | 28723 2288 58 | 0.000 % |
2.66/2.77 c | 2434 | 18463 86170 286586 | 28723 2434 60 | 0.000 % |
2.66/2.79 c | 2596 | 18463 86170 286586 | 28723 2596 58 | 0.000 % |
2.76/2.83 c | 2696 | 18463 86170 286586 | 28723 2696 57 | 0.000 % |
2.76/2.85 c | 2808 | 18463 86170 286586 | 28723 2808 55 | 0.000 % |
2.86/2.93 c | 2930 | 18463 86170 286586 | 28723 2930 54 | 0.001 % |
2.86/2.98 c | 3065 | 18463 86170 286586 | 28723 3065 54 | 0.000 % |
2.96/3.04 c | 3212 | 18463 86170 286586 | 28723 3212 52 | 0.000 % |
2.96/3.09 c | 3373 | 18463 86170 286586 | 28723 3373 53 | 0.001 % |
3.06/3.13 c | 3549 | 18463 86170 286586 | 28723 3549 52 | 0.000 % |
3.06/3.17 c | 3651 | 18463 86170 286586 | 28723 3651 51 | 0.000 % |
3.16/3.21 c | 3761 | 18463 86170 286586 | 28723 3761 50 | 0.000 % |
3.16/3.28 c | 3882 | 18463 86170 286586 | 28723 3882 49 | 0.000 % |
3.26/3.32 c | 4015 | 18463 86170 286586 | 28723 4015 49 | 0.000 % |
3.26/3.36 c | 4162 | 18463 86170 286586 | 28723 4162 50 | 0.000 % |
3.36/3.43 c | 4323 | 18463 86170 286586 | 28723 4323 51 | 0.000 % |
3.36/3.47 c | 4499 | 18463 86170 286586 | 28723 4499 50 | 0.000 % |
3.46/3.56 c | 4692 | 18463 86170 286586 | 28723 4692 49 | 0.000 % |
3.56/3.60 c | 4792 | 18463 86170 286586 | 28723 4792 49 | 0.000 % |
3.56/3.64 c | 4902 | 18463 86170 286586 | 28723 4902 50 | 0.000 % |
3.66/3.70 c | 5024 | 18463 86170 286586 | 28723 5024 51 | 0.000 % |
3.66/3.76 c | 5161 | 18463 86170 286586 | 28723 5161 51 | 0.000 % |
3.76/3.84 c | 5307 | 18463 86170 286586 | 28723 5307 52 | 0.000 % |
3.76/3.87 c | 5468 | 18463 86170 286586 | 28723 5468 51 | 0.000 % |
3.86/3.96 c | 5645 | 18463 86170 286586 | 28723 5645 50 | 0.000 % |
3.96/4.03 c | 5840 | 18463 86170 286586 | 28723 5840 51 | 0.000 % |
3.96/4.07 c | 6052 | 18463 86170 286586 | 28723 6052 50 | 0.000 % |
4.06/4.12 c | 6152 | 18463 86170 286586 | 28723 6152 49 | 0.000 % |
4.06/4.17 c | 6262 | 18463 86170 286586 | 28723 6262 49 | 0.000 % |
4.16/4.21 c | 6383 | 18463 86170 286586 | 28723 6383 49 | 0.000 % |
4.16/4.26 c | 6516 | 18463 86170 286586 | 28723 6516 49 | 0.000 % |
4.26/4.32 c | 6664 | 18463 86170 286586 | 28723 6664 50 | 0.000 % |
4.26/4.38 c | 6826 | 18463 86170 286586 | 28723 6826 51 | 0.000 % |
4.37/4.40 c | 7004 | 18463 86170 286586 | 28723 7004 52 | 0.000 % |
4.37/4.45 c | 7199 | 18463 86170 286586 | 28723 7199 52 | 0.000 % |
4.47/4.54 c | 7412 | 18463 86170 286586 | 28723 7412 51 | 0.000 % |
4.57/4.63 c | 7645 | 18463 86170 286586 | 28723 7645 50 | 0.000 % |
4.57/4.67 c | 7745 | 18463 86170 286586 | 28723 7745 50 | 0.000 % |
4.67/4.72 c | 7855 | 18463 86170 286586 | 28723 7855 49 | 0.000 % |
4.67/4.77 c | 7976 | 18463 86170 286586 | 28723 7976 49 | 0.000 % |
4.76/4.86 c | 8109 | 18463 86170 286586 | 28723 8109 50 | 0.000 % |
4.86/4.94 c | 8259 | 18463 86170 286586 | 28723 8259 50 | 0.000 % |
4.97/5.02 c | 8419 | 18463 86170 286586 | 28723 8419 51 | 0.000 % |
5.07/5.12 c | 8596 | 18463 86170 286586 | 28723 8596 52 | 0.000 % |
5.17/5.21 c | 8789 | 18463 86170 286586 | 28723 8789 53 | 0.000 % |
5.17/5.28 c | 9001 | 18463 86170 286586 | 28723 9001 53 | 0.000 % |
5.27/5.38 c | 9234 | 18463 86170 286586 | 28723 9234 52 | 0.000 % |
5.37/5.44 c | 9490 | 18463 86170 286586 | 28723 9490 52 | 0.000 % |
5.37/5.46 c | 9590 | 18463 86170 286586 | 28723 9590 52 | 0.000 % |
5.47/5.51 c | 9701 | 18463 86170 286586 | 28723 9701 51 | 0.000 % |
5.47/5.56 c | 9825 | 18463 86170 286586 | 28723 9825 52 | 0.000 % |
5.57/5.61 c | 9958 | 18463 86170 286586 | 28723 9958 51 | 0.000 % |
5.57/5.66 c | 10106 | 18463 86170 286586 | 2147483647 10106 51 | 0.000 % |
5.57/5.69 c | 10266 | 18463 86170 286586 | 2147483647 10266 51 | 0.000 % |
5.67/5.76 c | 10444 | 18463 86170 286586 | 2147483647 10444 51 | 0.000 % |
5.77/5.83 c | 10638 | 18463 86170 286586 | 2147483647 10638 51 | 0.000 % |
5.87/5.92 c | 10851 | 18463 86170 286586 | 2147483647 10851 51 | 0.000 % |
5.97/6.06 c | 11085 | 18463 86170 286586 | 2147483647 11085 51 | 0.000 % |
6.07/6.16 c | 11342 | 18463 86170 286586 | 2147483647 11342 53 | 0.000 % |
6.17/6.24 c | 11624 | 18463 86170 286586 | 2147483647 11624 54 | 0.000 % |
6.17/6.28 c | 11728 | 18463 86170 286586 | 2147483647 11728 54 | 0.000 % |
6.27/6.35 c | 11838 | 18463 86170 286586 | 2147483647 11838 55 | 0.000 % |
6.27/6.38 c | 11960 | 18463 86170 286586 | 2147483647 11960 55 | 0.000 % |
6.36/6.42 c | 12093 | 18463 86170 286586 | 2147483647 12093 55 | 0.000 % |
6.36/6.49 c | 12239 | 18463 86170 286586 | 2147483647 12239 55 | 0.000 % |
6.47/6.54 c | 12399 | 18463 86170 286586 | 2147483647 12399 55 | 0.000 % |
6.47/6.60 c | 12575 | 18463 86170 286586 | 2147483647 12575 55 | 0.000 % |
6.57/6.69 c | 12768 | 18463 86170 286586 | 2147483647 12768 55 | 0.000 % |
6.66/6.78 c | 12982 | 18463 86170 286586 | 2147483647 12982 55 | 0.000 % |
6.76/6.89 c | 13215 | 18463 86170 286586 | 2147483647 13215 54 | 0.000 % |
6.86/6.98 c | 13471 | 18463 86170 286586 | 2147483647 13471 54 | 0.000 % |
7.06/7.11 c | 13752 | 18463 86170 286586 | 2147483647 13752 55 | 0.000 % |
7.16/7.23 c | 14063 | 18463 86170 286586 | 2147483647 14063 55 | 0.000 % |
7.26/7.30 c | 14163 | 18463 86170 286586 | 2147483647 14163 56 | 0.000 % |
7.26/7.33 c | 14274 | 18463 86170 286586 | 2147483647 14274 56 | 0.000 % |
7.26/7.37 c | 14397 | 18463 86170 286586 | 2147483647 14397 56 | 0.000 % |
7.36/7.42 c | 14530 | 18463 86170 286586 | 2147483647 14530 56 | 0.000 % |
7.36/7.47 c | 14677 | 18463 86170 286586 | 2147483647 14677 57 | 0.000 % |
7.46/7.51 c | 14837 | 18463 86170 286586 | 2147483647 14837 57 | 0.000 % |
7.46/7.58 c | 15013 | 18463 86170 286586 | 2147483647 15013 57 | 0.000 % |
7.57/7.66 c | 15206 | 18463 86170 286586 | 2147483647 15206 58 | 0.000 % |
7.67/7.75 c | 15418 | 18463 86170 286586 | 2147483647 15418 58 | 0.000 % |
7.76/7.88 c | 15651 | 18463 86170 286586 | 2147483647 15651 59 | 0.000 % |
7.86/7.96 c | 15908 | 18463 86170 286586 | 2147483647 15908 58 | 0.000 % |
7.96/8.05 c | 16190 | 18463 86170 286586 | 2147483647 16190 59 | 0.000 % |
8.06/8.15 c | 16499 | 18463 86170 286586 | 2147483647 16499 60 | 0.000 % |
8.16/8.26 c | 16839 | 18463 86170 286586 | 2147483647 16839 60 | 0.000 % |
8.26/8.32 c | 16939 | 18463 86170 286586 | 2147483647 16939 60 | 0.000 % |
8.36/8.44 c | 17049 | 18463 86170 286586 | 2147483647 17049 60 | 0.000 % |
8.46/8.50 c | 17171 | 18463 86170 286586 | 2147483647 17171 60 | 0.000 % |
8.46/8.54 c | 17305 | 18463 86170 286586 | 2147483647 17305 60 | 0.000 % |
8.56/8.62 c | 17451 | 18463 86170 286586 | 2147483647 17451 61 | 0.000 % |
8.56/8.68 c | 17611 | 18463 86170 286586 | 2147483647 17611 61 | 0.000 % |
8.66/8.72 c | 17787 | 18463 86170 286586 | 2147483647 17787 61 | 0.000 % |
8.66/8.77 c | 17980 | 18463 86170 286586 | 2147483647 17980 61 | 0.000 % |
8.76/8.82 c | 18193 | 18463 86170 286586 | 2147483647 18193 60 | 0.000 % |
8.86/8.92 c | 18426 | 18463 86170 286586 | 2147483647 18426 61 | 0.000 % |
8.86/8.97 c | 18682 | 18463 86170 286586 | 2147483647 18682 61 | 0.000 % |
9.06/9.13 c | 18963 | 18463 86170 286586 | 2147483647 18963 61 | 0.000 % |
9.16/9.28 c | 19272 | 18463 86170 286586 | 2147483647 19272 61 | 0.000 % |
9.36/9.41 c | 19614 | 18463 86170 286586 | 2147483647 19614 61 | 0.000 % |
9.46/9.54 c | 19987 | 18463 86170 286586 | 2147483647 19987 61 | 0.000 % |
9.46/9.57 c | 20089 | 18463 86170 286586 | 2147483647 20089 61 | 0.000 % |
9.56/9.63 c | 20200 | 18463 86170 286586 | 2147483647 20200 61 | 0.000 % |
9.56/9.69 c | 20321 | 18463 86170 286586 | 2147483647 20321 61 | 0.000 % |
9.66/9.75 c | 20454 | 18463 86170 286586 | 2147483647 20454 61 | 0.000 % |
9.76/9.83 c | 20600 | 18463 86170 286586 | 2147483647 20600 61 | 0.000 % |
9.86/9.91 c | 20760 | 18463 86170 286586 | 2147483647 20760 61 | 0.000 % |
9.86/10.00 c | 20936 | 18463 86170 286586 | 2147483647 20936 61 | 0.000 % |
9.96/10.09 c | 21130 | 18463 86170 286586 | 2147483647 21130 61 | 0.000 % |
10.06/10.16 c | 21345 | 18463 86170 286586 | 2147483647 21345 60 | 0.000 % |
10.17/10.23 c | 21580 | 18463 86170 286586 | 2147483647 21580 60 | 0.000 % |
10.27/10.34 c | 21837 | 18463 86170 286586 | 2147483647 21837 61 | 0.000 % |
10.37/10.49 c | 22118 | 18463 86170 286586 | 2147483647 22118 61 | 0.000 % |
10.57/10.67 c | 22427 | 18463 86170 286586 | 2147483647 22427 60 | 0.000 % |
10.67/10.76 c | 22766 | 18463 86170 286586 | 2147483647 22766 60 | 0.000 % |
10.97/11.03 c | 23140 | 18463 86170 286586 | 2147483647 23140 60 | 0.000 % |
11.16/11.30 c | 23549 | 18463 86170 286586 | 2147483647 23549 60 | 0.000 % |
11.26/11.33 c | 23650 | 18463 86170 286586 | 2147483647 23650 60 | 0.000 % |
11.26/11.37 c | 23760 | 18463 86170 286586 | 2147483647 23760 60 | 0.000 % |
11.36/11.48 c | 23882 | 18463 86170 286586 | 2147483647 23882 60 | 0.000 % |
11.46/11.57 c | 24015 | 18463 86170 286586 | 2147483647 24015 60 | 0.000 % |
11.56/11.66 c | 24164 | 18463 86170 286586 | 2147483647 24164 60 | 0.000 % |
11.66/11.72 c | 24325 | 18463 86170 286586 | 2147483647 24325 60 | 0.000 % |
11.76/11.85 c | 24503 | 18463 86170 286586 | 2147483647 24503 60 | 0.000 % |
11.86/11.97 c | 24700 | 18463 86170 286586 | 2147483647 24700 60 | 0.000 % |
11.97/12.07 c | 24912 | 18463 86170 286586 | 2147483647 24912 60 | 0.000 % |
12.07/12.16 c | 25145 | 18463 86170 286586 | 2147483647 25145 60 | 0.000 % |
12.16/12.23 c | 25401 | 18463 86170 286586 | 2147483647 25401 60 | 0.000 % |
12.26/12.34 c | 25682 | 18463 86170 286586 | 2147483647 25682 60 | 0.000 % |
12.36/12.44 c | 25992 | 18463 86170 286586 | 2147483647 25992 60 | 0.000 % |
12.66/12.71 c | 26332 | 18463 86170 286586 | 2147483647 26332 60 | 0.000 % |
12.77/12.83 c | 26704 | 18463 86170 286586 | 2147483647 26704 60 | 0.000 % |
12.87/12.93 c | 27113 | 18463 86170 286586 | 2147483647 27113 60 | 0.000 % |
13.07/13.11 c | 27562 | 18463 86170 286586 | 2147483647 27562 59 | 0.000 % |
13.07/13.13 c | 27665 | 18463 86170 286586 | 2147483647 27665 59 | 0.000 % |
13.07/13.17 c | 27776 | 18463 86170 286586 | 2147483647 27776 59 | 0.000 % |
13.17/13.23 c | 27897 | 18463 86170 286586 | 2147483647 27897 59 | 0.000 % |
13.26/13.31 c | 28031 | 18463 86170 286586 | 2147483647 28031 59 | 0.000 % |
13.26/13.39 c | 28177 | 18463 86170 286586 | 2147483647 28177 59 | 0.000 % |
13.36/13.46 c | 28339 | 18463 86170 286586 | 2147483647 28339 59 | 0.000 % |
13.46/13.55 c | 28516 | 18463 86170 286586 | 2147483647 28516 59 | 0.000 % |
13.66/13.76 c | 28710 | 18463 86170 286586 | 2147483647 28710 59 | 0.000 % |
13.86/13.99 c | 28923 | 18463 86170 286586 | 2147483647 28923 60 | 0.000 % |
13.96/14.03 c | 29156 | 18463 86170 286586 | 2147483647 29156 59 | 0.000 % |
14.06/14.19 c | 29414 | 18463 86170 286586 | 2147483647 29414 59 | 0.000 % |
14.36/14.44 c | 29696 | 18463 86170 286586 | 2147483647 29696 60 | 0.000 % |
14.46/14.54 c | 30009 | 18463 86170 286586 | 2147483647 30009 60 | 0.000 % |
14.66/14.72 c | 30348 | 18463 86170 286586 | 2147483647 30348 60 | 0.000 % |
14.86/14.94 c | 30720 | 18463 86170 286586 | 2147483647 30720 61 | 0.000 % |
15.16/15.21 c | 31131 | 18463 86170 286586 | 2147483647 31131 61 | 0.000 % |
15.26/15.38 c | 31581 | 18463 86170 286586 | 2147483647 31581 62 | 0.000 % |
15.56/15.63 c | 32074 | 18463 86170 286586 | 2147483647 32074 62 | 0.000 % |
15.56/15.67 c | 32174 | 18463 86170 286586 | 2147483647 32174 62 | 0.000 % |
15.66/15.77 c | 32284 | 18463 86170 286586 | 2147483647 32284 62 | 0.000 % |
15.76/15.84 c | 32406 | 18463 86170 286586 | 2147483647 32406 62 | 0.000 % |
15.86/15.90 c | 32539 | 18463 86170 286586 | 2147483647 32539 62 | 0.000 % |
15.86/15.98 c | 32685 | 18463 86170 286586 | 2147483647 32685 62 | 0.000 % |
15.96/16.05 c | 32845 | 18463 86170 286586 | 2147483647 32845 62 | 0.000 % |
16.06/16.15 c | 33021 | 18463 86170 286586 | 2147483647 33021 62 | 0.000 % |
16.16/16.23 c | 33214 | 18463 86170 286586 | 2147483647 33214 62 | 0.000 % |
16.36/16.43 c | 33427 | 18463 86170 286586 | 2147483647 33427 62 | 0.000 % |
16.36/16.49 c | 33660 | 18463 86170 286586 | 2147483647 33660 62 | 0.000 % |
16.56/16.62 c | 33916 | 18463 86170 286586 | 2147483647 33916 62 | 0.000 % |
16.66/16.76 c | 34198 | 18463 86170 286586 | 2147483647 34198 63 | 0.000 % |
16.86/16.90 c | 34507 | 18463 86170 286586 | 2147483647 34507 63 | 0.000 % |
16.96/17.01 c | 34847 | 18463 86170 286586 | 2147483647 34847 62 | 0.000 % |
17.16/17.22 c | 35219 | 18463 86170 286586 | 2147483647 35219 63 | 0.000 % |
17.26/17.32 c | 35628 | 18463 86170 286586 | 2147483647 35628 62 | 0.000 % |
17.46/17.58 c | 36079 | 18463 86170 286586 | 2147483647 36079 62 | 0.000 % |
17.66/17.77 c | 36572 | 18463 86170 286586 | 2147483647 36572 63 | 0.000 % |
17.86/17.98 c | 37115 | 18463 86170 286586 | 2147483647 37115 63 | 0.000 % |
17.96/18.00 c | 37217 | 18463 86170 286586 | 2147483647 37217 63 | 0.000 % |
17.96/18.06 c | 37327 | 18463 86170 286586 | 2147483647 37327 63 | 0.000 % |
18.06/18.16 c | 37448 | 18463 86170 286586 | 2147483647 37448 63 | 0.000 % |
18.16/18.23 c | 37581 | 18463 86170 286586 | 2147483647 37581 64 | 0.000 % |
18.26/18.33 c | 37729 | 18463 86170 286586 | 2147483647 37729 64 | 0.000 % |
18.26/18.39 c | 37889 | 18463 86170 286586 | 2147483647 37889 64 | 0.000 % |
18.46/18.54 c | 38065 | 18463 86170 286586 | 2147483647 38065 64 | 0.000 % |
18.56/18.66 c | 38260 | 18463 86170 286586 | 2147483647 38260 64 | 0.000 % |
18.66/18.79 c | 38472 | 18463 86170 286586 | 2147483647 38472 64 | 0.000 % |
18.86/18.90 c | 38708 | 18463 86170 286586 | 2147483647 38708 65 | 0.000 % |
18.96/19.04 c | 38964 | 18463 86170 286586 | 2147483647 38964 65 | 0.000 % |
19.06/19.16 c | 39245 | 18463 86170 286586 | 2147483647 39245 65 | 0.000 % |
19.16/19.28 c | 39554 | 18463 86170 286586 | 2147483647 39554 65 | 0.000 % |
19.26/19.38 c | 39894 | 18463 86170 286586 | 2147483647 39894 65 | 0.000 % |
19.46/19.58 c | 40267 | 18463 86170 286586 | 2147483647 40267 65 | 0.000 % |
19.66/19.79 c | 40676 | 18463 86170 286586 | 2147483647 40676 66 | 0.000 % |
19.86/19.97 c | 41125 | 18463 86170 286586 | 2147483647 41125 67 | 0.000 % |
20.06/20.13 c | 41618 | 18463 86170 286586 | 2147483647 41618 66 | 0.000 % |
20.26/20.36 c | 42161 | 18463 86170 286586 | 2147483647 42161 66 | 0.000 % |
20.56/20.69 c | 42758 | 18463 86170 286586 | 2147483647 42758 67 | 0.000 % |
20.66/20.75 c | 42859 | 18463 86170 286586 | 2147483647 42859 67 | 0.000 % |
20.77/20.82 c | 42970 | 18463 86170 286586 | 2147483647 42970 67 | 0.000 % |
20.77/20.86 c | 43093 | 18463 86170 286586 | 2147483647 43093 67 | 0.000 % |
20.87/20.95 c | 43226 | 18463 86170 286586 | 2147483647 43226 67 | 0.000 % |
20.96/21.03 c | 43372 | 18463 86170 286586 | 2147483647 43372 67 | 0.000 % |
21.06/21.12 c | 43533 | 18463 86170 286586 | 2147483647 43533 67 | 0.000 % |
21.06/21.19 c | 43710 | 18463 86170 286586 | 2147483647 43710 67 | 0.000 % |
21.16/21.29 c | 43903 | 18463 86170 286586 | 2147483647 43903 67 | 0.000 % |
21.36/21.45 c | 44118 | 18463 86170 286586 | 2147483647 44118 67 | 0.000 % |
21.46/21.59 c | 44351 | 18463 86170 286586 | 2147483647 44351 67 | 0.000 % |
21.66/21.79 c | 44607 | 18463 86170 286586 | 2147483647 44607 67 | 0.000 % |
21.96/22.05 c | 44889 | 18463 86170 286586 | 2147483647 44889 68 | 0.000 % |
22.46/22.54 c | 45199 | 18463 86170 286586 | 2147483647 45199 68 | 0.000 % |
22.66/22.73 c | 45539 | 18463 86170 286586 | 2147483647 45539 68 | 0.000 % |
22.76/22.81 c | 45912 | 18463 86170 286586 | 2147483647 45912 69 | 0.000 % |
22.96/23.10 c | 46324 | 18463 86170 286586 | 2147483647 46324 69 | 0.000 % |
23.26/23.37 c | 46774 | 18463 86170 286586 | 2147483647 46774 69 | 0.000 % |
23.66/23.78 c | 47268 | 18463 86170 286586 | 2147483647 47268 70 | 0.000 % |
23.96/24.07 c | 47812 | 18463 86170 286586 | 2147483647 47812 70 | 0.000 % |
24.35/24.45 c | 48409 | 18463 86170 286586 | 2147483647 48409 71 | 0.000 % |
24.76/24.86 c | 49064 | 18463 86170 286586 | 2147483647 49064 71 | 0.000 % |
24.86/24.98 c | 49164 | 18463 86170 286586 | 2147483647 49164 71 | 0.000 % |
24.96/25.07 c | 49275 | 18463 86170 286586 | 2147483647 49275 71 | 0.000 % |
25.06/25.16 c | 49402 | 18463 86170 286586 | 2147483647 49402 71 | 0.000 % |
25.06/25.18 c | 49536 | 18463 86170 286586 | 2147483647 49536 71 | 0.000 % |
25.16/25.26 c | 49683 | 18463 86170 286586 | 2147483647 49683 71 | 0.000 % |
25.36/25.43 c | 49844 | 18463 86170 286586 | 2147483647 49844 71 | 0.000 % |
25.56/25.60 c | 50021 | 18463 86170 286586 | 2147483647 50021 71 | 0.000 % |
25.66/25.73 c | 50214 | 18463 86170 286586 | 2147483647 50214 72 | 0.000 % |
25.86/25.90 c | 50426 | 18463 86170 286586 | 2147483647 50426 71 | 0.000 % |
25.96/26.06 c | 50659 | 18463 86170 286586 | 2147483647 50659 72 | 0.000 % |
26.06/26.16 c | 50916 | 18463 86170 286586 | 2147483647 50916 72 | 0.000 % |
26.16/26.27 c | 51200 | 18463 86170 286586 | 2147483647 51200 72 | 0.000 % |
26.36/26.46 c | 51510 | 18463 86170 286586 | 2147483647 51510 72 | 0.000 % |
26.86/26.92 c | 51849 | 18463 86170 286586 | 2147483647 51849 72 | 0.000 % |
26.96/27.04 c | 52221 | 18463 86170 286586 | 2147483647 52221 72 | 0.000 % |
27.06/27.17 c | 52630 | 18463 86170 286586 | 2147483647 52630 72 | 0.000 % |
27.26/27.39 c | 53080 | 18463 86170 286586 | 2147483647 53080 72 | 0.000 % |
27.56/27.69 c | 53573 | 18463 86170 286586 | 2147483647 53573 73 | 0.000 % |
27.86/27.95 c | 54117 | 18463 86170 286586 | 2147483647 54117 73 | 0.000 % |
28.15/28.21 c | 54713 | 18463 86170 286586 | 2147483647 54713 73 | 0.000 % |
28.65/28.73 c | 55369 | 18463 86170 286586 | 2147483647 55369 74 | 0.000 % |
29.05/29.19 c | 56089 | 18463 86170 286586 | 2147483647 56089 73 | 0.000 % |
29.15/29.28 c | 56189 | 18463 86170 286586 | 2147483647 56189 73 | 0.000 % |
29.25/29.33 c | 56299 | 18463 86170 286586 | 2147483647 56299 73 | 0.000 % |
29.35/29.41 c | 56420 | 18463 86170 286586 | 2147483647 56420 74 | 0.000 % |
29.35/29.49 c | 56553 | 18463 86170 286586 | 2147483647 56553 74 | 0.000 % |
29.56/29.69 c | 56699 | 18463 86170 286586 | 2147483647 56699 74 | 0.000 % |
29.75/29.83 c | 56859 | 18463 86170 286586 | 2147483647 56859 74 | 0.000 % |
29.95/30.00 c | 57037 | 18463 86170 286586 | 2147483647 57037 74 | 0.000 % |
30.05/30.13 c | 57230 | 18463 86170 286586 | 2147483647 57230 74 | 0.000 % |
30.16/30.25 c | 57443 | 18463 86170 286586 | 2147483647 57443 74 | 0.000 % |
30.26/30.40 c | 57676 | 18463 86170 286586 | 2147483647 57676 74 | 0.000 % |
30.36/30.50 c | 57933 | 18463 86170 286586 | 2147483647 57933 74 | 0.000 % |
30.56/30.67 c | 58214 | 18463 86170 286586 | 2147483647 58214 74 | 0.000 % |
30.77/30.85 c | 58524 | 18463 86170 286586 | 2147483647 58524 75 | 0.000 % |
31.06/31.18 c | 58865 | 18463 86170 286586 | 2147483647 58865 75 | 0.000 % |
31.26/31.38 c | 59237 | 18463 86170 286586 | 2147483647 59237 75 | 0.000 % |
31.66/31.73 c | 59647 | 18463 86170 286586 | 2147483647 59647 75 | 0.000 % |
31.96/32.00 c | 60097 | 18463 86170 286586 | 2147483647 60097 75 | 0.000 % |
32.06/32.14 c | 60590 | 18463 86170 286586 | 2147483647 60590 75 | 0.000 % |
32.36/32.49 c | 61133 | 18463 86170 286586 | 2147483647 61133 76 | 0.000 % |
32.66/32.78 c | 61730 | 18463 86170 286586 | 2147483647 61730 76 | 0.000 % |
33.16/33.27 c | 62385 | 18463 86170 286586 | 2147483647 62385 76 | 0.000 % |
33.56/33.68 c | 63105 | 18463 86170 286586 | 2147483647 63105 76 | 0.000 % |
34.36/34.46 c | 63898 | 18463 86170 286586 | 2147483647 63898 76 | 0.000 % |
34.46/34.57 c | 64000 | 18463 86170 286586 | 2147483647 64000 76 | 0.000 % |
34.55/34.69 c | 64112 | 18463 86170 286586 | 2147483647 64112 77 | 0.000 % |
34.65/34.75 c | 64234 | 18463 86170 286586 | 2147483647 64234 77 | 0.000 % |
34.75/34.82 c | 64372 | 18463 86170 286586 | 2147483647 64372 77 | 0.000 % |
34.75/34.89 c | 64518 | 18463 86170 286586 | 2147483647 64518 77 | 0.000 % |
34.95/35.00 c | 64678 | 18463 86170 286586 | 2147483647 64678 77 | 0.000 % |
35.05/35.14 c | 64855 | 18463 86170 286586 | 2147483647 64855 77 | 0.000 % |
35.15/35.29 c | 65049 | 18463 86170 286586 | 2147483647 65049 77 | 0.000 % |
35.35/35.46 c | 65261 | 18463 86170 286586 | 2147483647 65261 77 | 0.000 % |
35.55/35.60 c | 65494 | 18463 86170 286586 | 2147483647 65494 77 | 0.000 % |
35.75/35.81 c | 65750 | 18463 86170 286586 | 2147483647 65750 77 | 0.000 % |
35.85/35.91 c | 66032 | 18463 86170 286586 | 2147483647 66032 77 | 0.000 % |
36.05/36.15 c | 66341 | 18463 86170 286586 | 2147483647 66341 77 | 0.000 % |
36.25/36.35 c | 66681 | 18463 86170 286586 | 2147483647 66681 77 | 0.000 % |
36.65/36.78 c | 67054 | 18463 86170 286586 | 2147483647 67054 77 | 0.000 % |
36.85/36.92 c | 67463 | 18463 86170 286586 | 2147483647 67463 77 | 0.000 % |
37.15/37.26 c | 67913 | 18463 86170 286586 | 2147483647 67913 77 | 0.000 % |
37.44/37.58 c | 68406 | 18463 86170 286586 | 2147483647 68406 77 | 0.000 % |
37.64/37.75 c | 68949 | 18463 86170 286586 | 2147483647 68949 77 | 0.000 % |
38.04/38.10 c | 69545 | 18463 86170 286586 | 2147483647 69545 77 | 0.000 % |
38.35/38.47 c | 70202 | 18463 86170 286586 | 2147483647 70202 77 | 0.000 % |
38.75/38.82 c | 70923 | 18463 86170 286586 | 2147483647 70923 77 | 0.000 % |
39.05/39.13 c | 71715 | 18463 86170 286586 | 2147483647 71715 77 | 0.000 % |
39.55/39.69 c | 72586 | 18463 86170 286586 | 2147483647 72586 77 | 0.000 % |
39.65/39.79 c | 72688 | 18463 86170 286586 | 2147483647 72688 78 | 0.000 % |
39.75/39.87 c | 72800 | 18463 86170 286586 | 2147483647 72800 78 | 0.000 % |
39.85/39.99 c | 72921 | 18463 86170 286586 | 2147483647 72921 78 | 0.000 % |
40.05/40.14 c | 73058 | 18463 86170 286586 | 2147483647 73058 78 | 0.000 % |
40.15/40.21 c | 73206 | 18463 86170 286586 | 2147483647 73206 78 | 0.000 % |
40.15/40.30 c | 73366 | 18463 86170 286586 | 2147483647 73366 78 | 0.000 % |
40.35/40.41 c | 73542 | 18463 86170 286586 | 2147483647 73542 78 | 0.000 % |
40.55/40.60 c | 73735 | 18463 86170 286586 | 2147483647 73735 78 | 0.000 % |
40.65/40.75 c | 73948 | 18463 86170 286586 | 2147483647 73948 78 | 0.000 % |
40.85/40.90 c | 74182 | 18463 86170 286586 | 2147483647 74182 78 | 0.000 % |
40.85/40.98 c | 74438 | 18463 86170 286586 | 2147483647 74438 78 | 0.000 % |
41.05/41.13 c | 74719 | 18463 86170 286586 | 2147483647 74719 78 | 0.000 % |
41.24/41.37 c | 75029 | 18463 86170 286586 | 2147483647 75029 78 | 0.000 % |
41.44/41.52 c | 75368 | 18463 86170 286586 | 2147483647 75368 78 | 0.000 % |
41.65/41.74 c | 75740 | 18463 86170 286586 | 2147483647 75740 78 | 0.000 % |
41.75/41.90 c | 76149 | 18463 86170 286586 | 2147483647 76149 78 | 0.000 % |
42.04/42.15 c | 76598 | 18463 86170 286586 | 2147483647 76598 77 | 0.000 % |
42.44/42.59 c | 77091 | 18463 86170 286586 | 2147483647 77091 78 | 0.000 % |
43.24/43.33 c | 77634 | 18463 86170 286586 | 2147483647 77634 78 | 0.000 % |
43.74/43.83 c | 78231 | 18463 86170 286586 | 2147483647 78231 78 | 0.000 % |
44.04/44.15 c | 78887 | 18463 86170 286586 | 2147483647 78887 77 | 0.000 % |
44.34/44.44 c | 79607 | 18463 86170 286586 | 2147483647 79607 77 | 0.001 % |
45.04/45.14 c | 80399 | 18463 86170 286586 | 2147483647 80399 77 | 0.000 % |
45.64/45.78 c | 81271 | 18463 86170 286586 | 2147483647 81271 77 | 0.000 % |
46.14/46.26 c | 82231 | 18463 86170 286586 | 2147483647 82231 77 | 0.000 % |
46.25/46.32 c | 82333 | 18463 86170 286586 | 2147483647 82333 77 | 0.000 % |
46.35/46.41 c | 82443 | 18463 86170 286586 | 2147483647 82443 77 | 0.000 % |
46.45/46.55 c | 82565 | 18463 86170 286586 | 2147483647 82565 77 | 0.000 % |
46.55/46.64 c | 82699 | 18463 86170 286586 | 2147483647 82699 77 | 0.000 % |
46.75/46.88 c | 82845 | 18463 86170 286586 | 2147483647 82845 77 | 0.000 % |
46.95/47.00 c | 83005 | 18463 86170 286586 | 2147483647 83005 77 | 0.000 % |
47.04/47.14 c | 83181 | 18463 86170 286586 | 2147483647 83181 77 | 0.000 % |
47.15/47.25 c | 83375 | 18463 86170 286586 | 2147483647 83375 77 | 0.000 % |
47.25/47.38 c | 83588 | 18463 86170 286586 | 2147483647 83588 77 | 0.000 % |
47.44/47.54 c | 83821 | 18463 86170 286586 | 2147483647 83821 77 | 0.000 % |
47.64/47.79 c | 84080 | 18463 86170 286586 | 2147483647 84080 77 | 0.000 % |
47.94/48.03 c | 84361 | 18463 86170 286586 | 2147483647 84361 76 | 0.000 % |
48.24/48.32 c | 84670 | 18463 86170 286586 | 2147483647 84670 76 | 0.000 % |
48.44/48.54 c | 85009 | 18463 86170 286586 | 2147483647 85009 76 | 0.000 % |
48.74/48.83 c | 85381 | 18463 86170 286586 | 2147483647 85381 77 | 0.000 % |
48.94/49.05 c | 85791 | 18463 86170 286586 | 2147483647 85791 76 | 0.000 % |
49.14/49.27 c | 86241 | 18463 86170 286586 | 2147483647 86241 76 | 0.000 % |
49.54/49.66 c | 86734 | 18463 86170 286586 | 2147483647 86734 77 | 0.000 % |
49.95/50.00 c | 87277 | 18463 86170 286586 | 2147483647 87277 77 | 0.000 % |
50.05/50.18 c | 87873 | 18463 86170 286586 | 2147483647 87873 77 | 0.000 % |
50.45/50.55 c | 88528 | 18463 86170 286586 | 2147483647 88528 77 | 0.000 % |
51.15/51.27 c | 89251 | 18463 86170 286586 | 2147483647 89251 77 | 0.000 % |
51.75/51.88 c | 90043 | 18463 86170 286586 | 2147483647 90043 77 | 0.000 % |
52.65/52.77 c | 90914 | 18463 86170 286586 | 2147483647 90914 78 | 0.000 % |
53.44/53.50 c | 91872 | 18463 86170 286586 | 2147483647 91872 77 | 0.001 % |
54.44/54.52 c | 92925 | 18463 86170 286586 | 2147483647 92925 77 | 0.000 % |
54.54/54.69 c | 93025 | 18463 86170 286586 | 2147483647 93025 77 | 0.000 % |
54.74/54.82 c | 93137 | 18463 86170 286586 | 2147483647 93137 77 | 0.000 % |
54.85/54.92 c | 93258 | 18463 86170 286586 | 2147483647 93258 77 | 0.000 % |
54.95/55.03 c | 93391 | 18463 86170 286586 | 2147483647 93391 77 | 0.000 % |
55.04/55.14 c | 93537 | 18463 86170 286586 | 2147483647 93537 77 | 0.000 % |
55.24/55.32 c | 93698 | 18463 86170 286586 | 2147483647 93698 77 | 0.000 % |
55.34/55.41 c | 93875 | 18463 86170 286586 | 2147483647 93875 77 | 0.000 % |
55.54/55.60 c | 94069 | 18463 86170 286586 | 2147483647 94069 77 | 0.000 % |
55.74/55.87 c | 94281 | 18463 86170 286586 | 2147483647 94281 77 | 0.000 % |
55.94/56.06 c | 94514 | 18463 86170 286586 | 2147483647 94514 77 | 0.000 % |
56.14/56.26 c | 94770 | 18463 86170 286586 | 2147483647 94770 77 | 0.000 % |
56.64/56.70 c | 95051 | 18463 86170 286586 | 2147483647 95051 77 | 0.000 % |
56.94/57.01 c | 95362 | 18463 86170 286586 | 2147483647 95362 77 | 0.000 % |
57.24/57.31 c | 95701 | 18463 86170 286586 | 2147483647 95701 77 | 0.000 % |
57.63/57.71 c | 96073 | 18463 86170 286586 | 2147483647 96073 77 | 0.000 % |
57.84/57.92 c | 96482 | 18463 86170 286586 | 2147483647 96482 77 | 0.000 % |
58.15/58.29 c | 96932 | 18463 86170 286586 | 2147483647 96932 77 | 0.000 % |
58.64/58.77 c | 97425 | 18463 86170 286586 | 2147483647 97425 78 | 0.000 % |
59.04/59.18 c | 97967 | 18463 86170 286586 | 2147483647 97967 78 | 0.000 % |
59.25/59.39 c | 98565 | 18463 86170 286586 | 2147483647 98565 78 | 0.000 % |
59.94/60.05 c | 99222 | 18463 86170 286586 | 2147483647 99222 78 | 0.000 % |
60.54/60.60 c | 99942 | 18463 86170 286586 | 2147483647 99942 78 | 0.000 % |
61.13/61.28 c | 100734 | 18463 86170 286586 | 2147483647 100734 79 | 0.000 % |
61.84/61.94 c | 101607 | 18463 86170 286586 | 2147483647 101607 79 | 0.000 % |
62.55/62.65 c | 102565 | 18463 86170 286586 | 2147483647 102565 79 | 0.000 % |
63.64/63.76 c | 103619 | 18463 86170 286586 | 2147483647 103619 80 | 0.000 % |
64.64/64.74 c | 104777 | 18463 86170 286586 | 2147483647 104777 80 | 0.000 % |
64.74/64.88 c | 104878 | 18463 86170 286586 | 2147483647 104878 80 | 0.000 % |
64.94/65.01 c | 104988 | 18463 86170 286586 | 2147483647 104988 80 | 0.000 % |
65.04/65.11 c | 105110 | 18463 86170 286586 | 2147483647 105110 80 | 0.000 % |
65.04/65.18 c | 105244 | 18463 86170 286586 | 2147483647 105244 80 | 0.000 % |
65.14/65.27 c | 105390 | 18463 86170 286586 | 2147483647 105390 80 | 0.000 % |
65.24/65.39 c | 105550 | 18463 86170 286586 | 2147483647 105550 80 | 0.000 % |
65.44/65.54 c | 105727 | 18463 86170 286586 | 2147483647 105727 80 | 0.000 % |
65.54/65.65 c | 105922 | 18463 86170 286586 | 2147483647 105922 80 | 0.000 % |
65.74/65.81 c | 106138 | 18463 86170 286586 | 2147483647 106138 80 | 0.000 % |
65.94/66.06 c | 106372 | 18463 86170 286586 | 2147483647 106372 80 | 0.000 % |
66.04/66.20 c | 106628 | 18463 86170 286586 | 2147483647 106628 80 | 0.000 % |
66.33/66.44 c | 106910 | 18463 86170 286586 | 2147483647 106910 80 | 0.000 % |
66.53/66.66 c | 107222 | 18463 86170 286586 | 2147483647 107222 80 | 0.000 % |
66.83/66.98 c | 107561 | 18463 86170 286586 | 2147483647 107561 80 | 0.000 % |
67.24/67.39 c | 107934 | 18463 86170 286586 | 2147483647 107934 80 | 0.000 % |
67.64/67.74 c | 108343 | 18463 86170 286586 | 2147483647 108343 80 | 0.000 % |
67.84/67.92 c | 108792 | 18463 86170 286586 | 2147483647 108792 80 | 0.000 % |
68.24/68.30 c | 109286 | 18463 86170 286586 | 2147483647 109286 80 | 0.000 % |
68.44/68.59 c | 109828 | 18463 86170 286586 | 2147483647 109828 80 | 0.000 % |
68.74/68.85 c | 110424 | 18463 86170 286586 | 2147483647 110424 80 | 0.000 % |
69.44/69.53 c | 111080 | 18463 86170 286586 | 2147483647 111080 81 | 0.000 % |
70.04/70.19 c | 111800 | 18463 86170 286586 | 2147483647 111800 80 | 0.000 % |
70.74/70.85 c | 112592 | 18463 86170 286586 | 2147483647 112592 81 | 0.001 % |
71.64/71.76 c | 113463 | 18463 86170 286586 | 2147483647 113463 81 | 0.000 % |
72.34/72.42 c | 114421 | 18463 86170 286586 | 2147483647 114421 80 | 0.000 % |
72.94/73.02 c | 115477 | 18463 86170 286586 | 2147483647 115477 81 | 0.000 % |
73.84/73.97 c | 116635 | 18463 86170 286586 | 2147483647 116635 81 | 0.000 % |
74.34/74.45 c | 117908 | 18463 86170 286586 | 2147483647 117908 81 | 0.000 % |
74.44/74.50 c | 118008 | 18463 86170 286586 | 2147483647 118008 81 | 0.000 % |
74.54/74.65 c | 118119 | 18463 86170 286586 | 2147483647 118119 81 | 0.000 % |
74.64/74.79 c | 118241 | 18463 86170 286586 | 2147483647 118241 81 | 0.000 % |
74.74/74.89 c | 118374 | 18463 86170 286586 | 2147483647 118374 81 | 0.000 % |
74.93/75.00 c | 118520 | 18463 86170 286586 | 2147483647 118520 81 | 0.000 % |
75.03/75.18 c | 118680 | 18463 86170 286586 | 2147483647 118680 81 | 0.000 % |
75.23/75.33 c | 118857 | 18463 86170 286586 | 2147483647 118857 81 | 0.000 % |
75.43/75.51 c | 119051 | 18463 86170 286586 | 2147483647 119051 81 | 0.000 % |
75.63/75.79 c | 119264 | 18463 86170 286586 | 2147483647 119264 81 | 0.000 % |
75.84/75.99 c | 119499 | 18463 86170 286586 | 2147483647 119499 81 | 0.000 % |
76.23/76.33 c | 119755 | 18463 86170 286586 | 2147483647 119755 81 | 0.000 % |
76.43/76.56 c | 120036 | 18463 86170 286586 | 2147483647 120036 81 | 0.000 % |
76.73/76.86 c | 120345 | 18463 86170 286586 | 2147483647 120345 81 | 0.000 % |
77.13/77.29 c | 120685 | 18463 86170 286586 | 2147483647 120685 81 | 0.000 % |
77.53/77.63 c | 121061 | 18463 86170 286586 | 2147483647 121061 81 | 0.000 % |
77.83/77.98 c | 121470 | 18463 86170 286586 | 2147483647 121470 81 | 0.000 % |
78.33/78.44 c | 121920 | 18463 86170 286586 | 2147483647 121920 81 | 0.000 % |
78.73/78.81 c | 122413 | 18463 86170 286586 | 2147483647 122413 81 | 0.000 % |
79.13/79.29 c | 122957 | 18463 86170 286586 | 2147483647 122957 82 | 0.000 % |
79.73/79.81 c | 123554 | 18463 86170 286586 | 2147483647 123554 82 | 0.000 % |
80.44/80.52 c | 124209 | 18463 86170 286586 | 2147483647 124209 82 | 0.000 % |
80.93/81.03 c | 124929 | 18463 86170 286586 | 2147483647 124929 82 | 0.000 % |
81.53/81.62 c | 125722 | 18463 86170 286586 | 2147483647 125722 82 | 0.000 % |
82.53/82.60 c | 126594 | 18463 86170 286586 | 2147483647 126594 82 | 0.000 % |
84.73/84.88 c | 127552 | 18463 86170 286586 | 2147483647 127552 83 | 0.000 % |
85.53/85.62 c | 128605 | 18463 86170 286586 | 2147483647 128605 83 | 0.000 % |
86.53/86.67 c | 129763 | 18463 86170 286586 | 2147483647 129763 83 | 0.000 % |
87.84/87.94 c | 131036 | 18463 86170 286586 | 2147483647 131036 83 | 0.000 % |
88.63/88.71 c | 132436 | 18463 86170 286586 | 2147483647 132436 84 | 0.000 % |
88.73/88.85 c | 132536 | 18463 86170 286586 | 2147483647 132536 84 | 0.000 % |
88.94/89.08 c | 132648 | 18463 86170 286586 | 2147483647 132648 84 | 0.000 % |
89.13/89.28 c | 132770 | 18463 86170 286586 | 2147483647 132770 84 | 0.000 % |
89.43/89.57 c | 132903 | 18463 86170 286586 | 2147483647 132903 84 | 0.000 % |
89.73/89.89 c | 133049 | 18463 86170 286586 | 2147483647 133049 84 | 0.000 % |
90.04/90.16 c | 133211 | 18463 86170 286586 | 2147483647 133211 84 | 0.000 % |
90.14/90.23 c | 133387 | 18463 86170 286586 | 2147483647 133387 84 | 0.000 % |
90.43/90.57 c | 133580 | 18463 86170 286586 | 2147483647 133580 84 | 0.000 % |
90.73/90.83 c | 133795 | 18463 86170 286586 | 2147483647 133795 84 | 0.000 % |
91.03/91.14 c | 134028 | 18463 86170 286586 | 2147483647 134028 84 | 0.000 % |
91.23/91.33 c | 134284 | 18463 86170 286586 | 2147483647 134284 84 | 0.000 % |
91.53/91.61 c | 134566 | 18463 86170 286586 | 2147483647 134566 84 | 0.000 % |
92.03/92.12 c | 134876 | 18463 86170 286586 | 2147483647 134876 84 | 0.000 % |
92.23/92.33 c | 135217 | 18463 86170 286586 | 2147483647 135217 84 | 0.000 % |
92.53/92.68 c | 135589 | 18463 86170 286586 | 2147483647 135589 84 | 0.000 % |
92.73/92.87 c | 136001 | 18463 86170 286586 | 2147483647 136001 84 | 0.000 % |
93.23/93.37 c | 136450 | 18463 86170 286586 | 2147483647 136450 84 | 0.000 % |
93.63/93.76 c | 136943 | 18463 86170 286586 | 2147483647 136943 84 | 0.000 % |
94.03/94.15 c | 137485 | 18463 86170 286586 | 2147483647 137485 84 | 0.000 % |
94.44/94.52 c | 138082 | 18463 86170 286586 | 2147483647 138082 84 | 0.000 % |
95.13/95.25 c | 138738 | 18463 86170 286586 | 2147483647 138738 84 | 0.000 % |
95.63/95.77 c | 139459 | 18463 86170 286586 | 2147483647 139459 84 | 0.000 % |
96.33/96.42 c | 140251 | 18463 86170 286586 | 2147483647 140251 84 | 0.000 % |
97.33/97.47 c | 141123 | 18463 86170 286586 | 2147483647 141123 85 | 0.000 % |
98.03/98.17 c | 142081 | 18463 86170 286586 | 2147483647 142081 85 | 0.000 % |
99.13/99.22 c | 143136 | 18463 86170 286586 | 2147483647 143136 85 | 0.000 % |
100.72/100.80 c | 144295 | 18463 86170 286586 | 2147483647 144295 85 | 0.000 % |
103.63/103.76 c | 145569 | 18463 86170 286586 | 2147483647 145569 86 | 0.000 % |
104.43/104.57 c | 146969 | 18463 86170 286586 | 2147483647 146969 86 | 0.000 % |
105.53/105.60 c | 148511 | 18463 86170 286586 | 2147483647 148511 86 | 0.000 % |
105.63/105.74 c | 148611 | 18463 86170 286586 | 2147483647 148611 86 | 0.000 % |
105.83/105.90 c | 148722 | 18463 86170 286586 | 2147483647 148722 86 | 0.000 % |
105.93/106.08 c | 148843 | 18463 86170 286586 | 2147483647 148843 86 | 0.000 % |
106.13/106.26 c | 148977 | 18463 86170 286586 | 2147483647 148977 86 | 0.000 % |
106.43/106.55 c | 149124 | 18463 86170 286586 | 2147483647 149124 86 | 0.000 % |
106.73/106.82 c | 149286 | 18463 86170 286586 | 2147483647 149286 86 | 0.000 % |
106.83/106.95 c | 149464 | 18463 86170 286586 | 2147483647 149464 86 | 0.000 % |
107.03/107.10 c | 149657 | 18463 86170 286586 | 2147483647 149657 86 | 0.000 % |
107.12/107.29 c | 149869 | 18463 86170 286586 | 2147483647 149869 86 | 0.000 % |
107.32/107.49 c | 150105 | 18463 86170 286586 | 2147483647 150105 86 | 0.000 % |
107.63/107.72 c | 150361 | 18463 86170 286586 | 2147483647 150361 86 | 0.000 % |
107.82/107.95 c | 150643 | 18463 86170 286586 | 2147483647 150643 86 | 0.000 % |
108.12/108.23 c | 150954 | 18463 86170 286586 | 2147483647 150954 86 | 0.000 % |
108.42/108.53 c | 151296 | 18463 86170 286586 | 2147483647 151296 86 | 0.000 % |
108.83/108.98 c | 151670 | 18463 86170 286586 | 2147483647 151670 86 | 0.000 % |
109.22/109.32 c | 152080 | 18463 86170 286586 | 2147483647 152080 86 | 0.000 % |
109.83/109.94 c | 152529 | 18463 86170 286586 | 2147483647 152529 86 | 0.000 % |
110.22/110.33 c | 153023 | 18463 86170 286586 | 2147483647 153023 86 | 0.000 % |
110.82/110.91 c | 153565 | 18463 86170 286586 | 2147483647 153565 86 | 0.000 % |
111.72/111.87 c | 154163 | 18463 86170 286586 | 2147483647 154163 87 | 0.000 % |
112.33/112.43 c | 154819 | 18463 86170 286586 | 2147483647 154819 87 | 0.000 % |
112.93/113.00 c | 155539 | 18463 86170 286586 | 2147483647 155539 87 | 0.000 % |
114.13/114.22 c | 156332 | 18463 86170 286586 | 2147483647 156332 88 | 0.000 % |
114.82/114.95 c | 157203 | 18463 86170 286586 | 2147483647 157203 88 | 0.000 % |
115.92/116.08 c | 158164 | 18463 86170 286586 | 2147483647 158164 88 | 0.000 % |
117.12/117.20 c | 159217 | 18463 86170 286586 | 2147483647 159217 88 | 0.000 % |
118.42/118.59 c | 160378 | 18463 86170 286586 | 2147483647 160378 89 | 0.000 % |
119.83/119.97 c | 161651 | 18463 86170 286586 | 2147483647 161651 89 | 0.000 % |
121.12/121.27 c | 163051 | 18463 86170 286586 | 2147483647 163051 89 | 0.000 % |
122.82/122.90 c | 164591 | 18463 86170 286586 | 2147483647 164591 90 | 0.000 % |
125.83/125.96 c | 166287 | 18463 86170 286586 | 2147483647 166287 90 | 0.000 % |
126.03/126.12 c | 166388 | 18463 86170 286586 | 2147483647 166388 90 | 0.000 % |
126.12/126.24 c | 166498 | 18463 86170 286586 | 2147483647 166498 90 | 0.000 % |
126.22/126.40 c | 166620 | 18463 86170 286586 | 2147483647 166620 90 | 0.000 % |
126.43/126.57 c | 166753 | 18463 86170 286586 | 2147483647 166753 90 | 0.000 % |
126.62/126.70 c | 166899 | 18463 86170 286586 | 2147483647 166899 90 | 0.000 % |
126.72/126.84 c | 167059 | 18463 86170 286586 | 2147483647 167059 90 | 0.000 % |
126.82/126.96 c | 167235 | 18463 86170 286586 | 2147483647 167235 90 | 0.000 % |
126.82/127.00 c | 167429 | 18463 86170 286586 | 2147483647 167429 90 | 0.000 % |
127.02/127.19 c | 167641 | 18463 86170 286586 | 2147483647 167641 90 | 0.000 % |
127.32/127.47 c | 167874 | 18463 86170 286586 | 2147483647 167874 90 | 0.000 % |
127.62/127.78 c | 168130 | 18463 86170 286586 | 2147483647 168130 90 | 0.000 % |
128.02/128.11 c | 168414 | 18463 86170 286586 | 2147483647 168414 90 | 0.000 % |
128.53/128.66 c | 168723 | 18463 86170 286586 | 2147483647 168723 90 | 0.000 % |
128.82/128.93 c | 169062 | 18463 86170 286586 | 2147483647 169062 90 | 0.000 % |
129.32/129.47 c | 169435 | 18463 86170 286586 | 2147483647 169435 90 | 0.000 % |
129.92/130.06 c | 169845 | 18463 86170 286586 | 2147483647 169845 90 | 0.000 % |
130.32/130.40 c | 170295 | 18463 86170 286586 | 2147483647 170295 90 | 0.000 % |
131.02/131.11 c | 170788 | 18463 86170 286586 | 2147483647 170788 90 | 0.000 % |
131.32/131.44 c | 171330 | 18463 86170 286586 | 2147483647 171330 90 | 0.000 % |
131.92/132.09 c | 171926 | 18463 86170 286586 | 2147483647 171926 91 | 0.000 % |
132.42/132.58 c | 172581 | 18463 86170 286586 | 2147483647 172581 91 | 0.000 % |
133.32/133.47 c | 173301 | 18463 86170 286586 | 2147483647 173301 91 | 0.000 % |
134.41/134.56 c | 174094 | 18463 86170 286586 | 2147483647 174094 91 | 0.000 % |
135.22/135.37 c | 174965 | 18463 86170 286586 | 2147483647 174965 90 | 0.000 % |
136.41/136.54 c | 175924 | 18463 86170 286586 | 2147483647 175924 91 | 0.000 % |
137.62/137.73 c | 176977 | 18463 86170 286586 | 2147483647 176977 91 | 0.000 % |
138.82/138.93 c | 178135 | 18463 86170 286586 | 2147483647 178135 91 | 0.000 % |
139.82/139.94 c | 179409 | 18463 86170 286586 | 2147483647 179409 91 | 0.000 % |
141.41/141.56 c | 180809 | 18463 86170 286586 | 2147483647 180809 91 | 0.000 % |
143.42/143.55 c | 182349 | 18463 86170 286586 | 2147483647 182349 92 | 0.000 % |
144.81/144.96 c | 184043 | 18463 86170 286586 | 2147483647 184043 92 | 0.000 % |
146.91/147.04 c | 185907 | 18463 86170 286586 | 2147483647 185907 92 | 0.000 % |
147.11/147.25 c | 186007 | 18463 86170 286586 | 2147483647 186007 92 | 0.000 % |
147.41/147.50 c | 186118 | 18463 86170 286586 | 2147483647 186118 92 | 0.000 % |
147.61/147.76 c | 186239 | 18463 86170 286586 | 2147483647 186239 92 | 0.000 % |
147.81/147.97 c | 186377 | 18463 86170 286586 | 2147483647 186377 92 | 0.000 % |
148.11/148.29 c | 186523 | 18463 86170 286586 | 2147483647 186523 92 | 0.000 % |
148.31/148.48 c | 186684 | 18463 86170 286586 | 2147483647 186684 92 | 0.000 % |
148.51/148.68 c | 186860 | 18463 86170 286586 | 2147483647 186860 92 | 0.000 % |
148.81/148.99 c | 187054 | 18463 86170 286586 | 2147483647 187054 92 | 0.000 % |
149.11/149.21 c | 187267 | 18463 86170 286586 | 2147483647 187267 92 | 0.000 % |
149.31/149.44 c | 187501 | 18463 86170 286586 | 2147483647 187501 92 | 0.000 % |
149.51/149.65 c | 187757 | 18463 86170 286586 | 2147483647 187757 92 | 0.000 % |
149.91/150.05 c | 188038 | 18463 86170 286586 | 2147483647 188038 92 | 0.000 % |
150.11/150.26 c | 188347 | 18463 86170 286586 | 2147483647 188347 92 | 0.000 % |
150.61/150.78 c | 188686 | 18463 86170 286586 | 2147483647 188686 92 | 0.000 % |
151.10/151.20 c | 189059 | 18463 86170 286586 | 2147483647 189059 92 | 0.000 % |
151.61/151.75 c | 189469 | 18463 86170 286586 | 2147483647 189469 92 | 0.000 % |
152.10/152.26 c | 189920 | 18463 86170 286586 | 2147483647 189920 92 | 0.000 % |
153.10/153.21 c | 190413 | 18463 86170 286586 | 2147483647 190413 93 | 0.000 % |
153.70/153.82 c | 190956 | 18463 86170 286586 | 2147483647 190956 93 | 0.000 % |
154.10/154.28 c | 191552 | 18463 86170 286586 | 2147483647 191552 93 | 0.000 % |
155.21/155.38 c | 192207 | 18463 86170 286586 | 2147483647 192207 93 | 0.000 % |
155.91/156.00 c | 192927 | 18463 86170 286586 | 2147483647 192927 93 | 0.000 % |
156.51/156.68 c | 193719 | 18463 86170 286586 | 2147483647 193719 93 | 0.000 % |
157.50/157.60 c | 194590 | 18463 86170 286586 | 2147483647 194590 93 | 0.000 % |
158.60/158.77 c | 195551 | 18463 86170 286586 | 2147483647 195551 93 | 0.000 % |
159.50/159.69 c | 196605 | 18463 86170 286586 | 2147483647 196605 93 | 0.000 % |
160.40/160.58 c | 197763 | 18463 86170 286586 | 2147483647 197763 93 | 0.000 % |
162.51/162.60 c | 199040 | 18463 86170 286586 | 2147483647 199040 93 | 0.000 % |
164.10/164.25 c | 200443 | 18463 86170 286586 | 2147483647 200443 93 | 0.000 % |
166.01/166.16 c | 201983 | 18463 86170 286586 | 2147483647 201983 94 | 0.000 % |
168.51/168.64 c | 203677 | 18463 86170 286586 | 2147483647 203677 94 | 0.000 % |
170.50/170.69 c | 205541 | 18463 86170 286586 | 2147483647 205541 94 | 0.000 % |
173.00/173.19 c | 207590 | 18463 86170 286586 | 2147483647 207590 94 | 0.000 % |
173.30/173.45 c | 207694 | 18463 86170 286586 | 2147483647 207694 94 | 0.000 % |
173.50/173.64 c | 207804 | 18463 86170 286586 | 2147483647 207804 94 | 0.000 % |
173.61/173.78 c | 207926 | 18463 86170 286586 | 2147483647 207926 94 | 0.000 % |
173.90/174.05 c | 208060 | 18463 86170 286586 | 2147483647 208060 94 | 0.000 % |
174.00/174.19 c | 208206 | 18463 86170 286586 | 2147483647 208206 94 | 0.000 % |
174.20/174.30 c | 208366 | 18463 86170 286586 | 2147483647 208366 94 | 0.000 % |
174.40/174.55 c | 208544 | 18463 86170 286586 | 2147483647 208544 94 | 0.000 % |
174.71/174.83 c | 208740 | 18463 86170 286586 | 2147483647 208740 94 | 0.000 % |
175.00/175.15 c | 208953 | 18463 86170 286586 | 2147483647 208953 94 | 0.000 % |
175.50/175.68 c | 209187 | 18463 86170 286586 | 2147483647 209187 94 | 0.000 % |
175.81/175.94 c | 209443 | 18463 86170 286586 | 2147483647 209443 94 | 0.000 % |
176.20/176.31 c | 209726 | 18463 86170 286586 | 2147483647 209726 94 | 0.000 % |
176.50/176.62 c | 210037 | 18463 86170 286586 | 2147483647 210037 94 | 0.000 % |
177.00/177.14 c | 210376 | 18463 86170 286586 | 2147483647 210376 94 | 0.000 % |
177.50/177.65 c | 210750 | 18463 86170 286586 | 2147483647 210750 94 | 0.000 % |
177.80/177.92 c | 211161 | 18463 86170 286586 | 2147483647 211161 94 | 0.000 % |
178.50/178.61 c | 211615 | 18463 86170 286586 | 2147483647 211615 94 | 0.000 % |
179.00/179.13 c | 212111 | 18463 86170 286586 | 2147483647 212111 94 | 0.000 % |
179.49/179.68 c | 212653 | 18463 86170 286586 | 2147483647 212653 94 | 0.000 % |
180.49/180.66 c | 213249 | 18463 86170 286586 | 2147483647 213249 94 | 0.000 % |
181.40/181.50 c | 213905 | 18463 86170 286586 | 2147483647 213905 94 | 0.000 % |
182.30/182.44 c | 214625 | 18463 86170 286586 | 2147483647 214625 94 | 0.000 % |
183.40/183.56 c | 215417 | 18463 86170 286586 | 2147483647 215417 94 | 0.000 % |
184.30/184.49 c | 216290 | 18463 86170 286586 | 2147483647 216290 94 | 0.000 % |
185.90/186.02 c | 217252 | 18463 86170 286586 | 2147483647 217252 95 | 0.000 % |
186.90/187.06 c | 218306 | 18463 86170 286586 | 2147483647 218306 95 | 0.000 % |
189.39/189.56 c | 219466 | 18463 86170 286586 | 2147483647 219466 95 | 0.000 % |
191.30/191.44 c | 220739 | 18463 86170 286586 | 2147483647 220739 96 | 0.000 % |
192.90/193.09 c | 222140 | 18463 86170 286586 | 2147483647 222140 96 | 0.000 % |
194.89/195.05 c | 223681 | 18463 86170 286586 | 2147483647 223681 97 | 0.000 % |
196.69/196.84 c | 225375 | 18463 86170 286586 | 2147483647 225375 97 | 0.000 % |
198.40/198.57 c | 227238 | 18463 86170 286586 | 2147483647 227238 97 | 0.000 % |
202.89/203.05 c | 229289 | 18463 86170 286586 | 2147483647 229289 97 | 0.000 % |
206.39/206.53 c | 231542 | 18463 86170 286586 | 2147483647 231542 98 | 0.000 % |
206.59/206.74 c | 231642 | 18463 86170 286586 | 2147483647 231642 98 | 0.000 % |
206.79/206.95 c | 231752 | 18463 86170 286586 | 2147483647 231752 98 | 0.000 % |
207.09/207.28 c | 231874 | 18463 86170 286586 | 2147483647 231874 98 | 0.000 % |
207.29/207.49 c | 232007 | 18463 86170 286586 | 2147483647 232007 98 | 0.000 % |
207.69/207.80 c | 232153 | 18463 86170 286586 | 2147483647 232153 98 | 0.000 % |
207.89/208.06 c | 232314 | 18463 86170 286586 | 2147483647 232314 98 | 0.000 % |
208.19/208.33 c | 232491 | 18463 86170 286586 | 2147483647 232491 98 | 0.000 % |
208.38/208.55 c | 232685 | 18463 86170 286586 | 2147483647 232685 98 | 0.000 % |
208.68/208.82 c | 232898 | 18463 86170 286586 | 2147483647 232898 98 | 0.000 % |
208.89/209.01 c | 233131 | 18463 86170 286586 | 2147483647 233131 98 | 0.000 % |
209.19/209.39 c | 233387 | 18463 86170 286586 | 2147483647 233387 98 | 0.000 % |
210.00/210.11 c | 233668 | 18463 86170 286586 | 2147483647 233668 98 | 0.000 % |
210.29/210.49 c | 233977 | 18463 86170 286586 | 2147483647 233977 98 | 0.000 % |
210.89/211.03 c | 234317 | 18463 86170 286586 | 2147483647 234317 98 | 0.000 % |
211.19/211.37 c | 234690 | 18463 86170 286586 | 2147483647 234690 98 | 0.000 % |
211.89/212.03 c | 235099 | 18463 86170 286586 | 2147483647 235099 98 | 0.000 % |
212.29/212.44 c | 235548 | 18463 86170 286586 | 2147483647 235548 98 | 0.000 % |
213.29/213.41 c | 236043 | 18463 86170 286586 | 2147483647 236043 98 | 0.000 % |
214.49/214.63 c | 236585 | 18463 86170 286586 | 2147483647 236585 98 | 0.000 % |
215.28/215.50 c | 237181 | 18463 86170 286586 | 2147483647 237181 98 | 0.000 % |
216.38/216.56 c | 237837 | 18463 86170 286586 | 2147483647 237837 98 | 0.000 % |
216.98/217.14 c | 238557 | 18463 86170 286586 | 2147483647 238557 98 | 0.000 % |
217.98/218.17 c | 239351 | 18463 86170 286586 | 2147483647 239351 98 | 0.000 % |
219.29/219.48 c | 240222 | 18463 86170 286586 | 2147483647 240222 99 | 0.000 % |
220.59/220.79 c | 241180 | 18463 86170 286586 | 2147483647 241180 99 | 0.000 % |
221.88/222.10 c | 242235 | 18463 86170 286586 | 2147483647 242235 99 | 0.000 % |
223.38/223.50 c | 243394 | 18463 86170 286586 | 2147483647 243394 100 | 0.000 % |
225.09/225.24 c | 244667 | 18463 86170 286586 | 2147483647 244667 100 | 0.000 % |
226.69/226.89 c | 246067 | 18463 86170 286586 | 2147483647 246067 100 | 0.000 % |
229.18/229.35 c | 247607 | 18463 86170 286586 | 2147483647 247607 101 | 0.000 % |
232.48/232.60 c | 249302 | 18463 86170 286586 | 2147483647 249302 101 | 0.000 % |
235.58/235.76 c | 251166 | 18463 86170 286586 | 2147483647 251166 101 | 0.000 % |
237.98/238.16 c | 253215 | 18463 86170 286586 | 2147483647 253215 101 | 0.000 % |
240.68/240.89 c | 255469 | 18463 86170 286586 | 2147483647 255469 102 | 0.000 % |
245.67/245.88 c | 257947 | 18463 86170 286586 | 2147483647 257947 102 | 0.000 % |
245.88/246.07 c | 258048 | 18463 86170 286586 | 2147483647 258048 102 | 0.000 % |
246.08/246.26 c | 258158 | 18463 86170 286586 | 2147483647 258158 102 | 0.000 % |
246.28/246.44 c | 258279 | 18463 86170 286586 | 2147483647 258279 102 | 0.000 % |
246.58/246.75 c | 258413 | 18463 86170 286586 | 2147483647 258413 102 | 0.000 % |
246.78/246.91 c | 258559 | 18463 86170 286586 | 2147483647 258559 102 | 0.000 % |
246.98/247.12 c | 258722 | 18463 86170 286586 | 2147483647 258722 102 | 0.000 % |
247.28/247.50 c | 258898 | 18463 86170 286586 | 2147483647 258898 102 | 0.000 % |
247.78/247.93 c | 259094 | 18463 86170 286586 | 2147483647 259094 102 | 0.000 % |
248.18/248.31 c | 259306 | 18463 86170 286586 | 2147483647 259306 102 | 0.000 % |
248.78/248.90 c | 259539 | 18463 86170 286586 | 2147483647 259539 102 | 0.000 % |
249.38/249.50 c | 259798 | 18463 86170 286586 | 2147483647 259798 103 | 0.000 % |
249.77/249.94 c | 260083 | 18463 86170 286586 | 2147483647 260083 103 | 0.000 % |
250.68/250.83 c | 260393 | 18463 86170 286586 | 2147483647 260393 103 | 0.000 % |
251.07/251.29 c | 260733 | 18463 86170 286586 | 2147483647 260733 103 | 0.000 % |
251.68/251.87 c | 261105 | 18463 86170 286586 | 2147483647 261105 103 | 0.000 % |
252.07/252.26 c | 261515 | 18463 86170 286586 | 2147483647 261515 103 | 0.000 % |
252.87/253.07 c | 261965 | 18463 86170 286586 | 2147483647 261965 103 | 0.000 % |
253.77/253.99 c | 262459 | 18463 86170 286586 | 2147483647 262459 103 | 0.000 % |
254.97/255.16 c | 263001 | 18463 86170 286586 | 2147483647 263001 103 | 0.000 % |
256.08/256.29 c | 263597 | 18463 86170 286586 | 2147483647 263597 103 | 0.000 % |
258.28/258.41 c | 264252 | 18463 86170 286586 | 2147483647 264252 103 | 0.000 % |
258.97/259.15 c | 264973 | 18463 86170 286586 | 2147483647 264973 103 | 0.000 % |
260.07/260.28 c | 265765 | 18463 86170 286586 | 2147483647 265765 103 | 0.000 % |
261.47/261.65 c | 266639 | 18463 86170 286586 | 2147483647 266639 103 | 0.000 % |
262.17/262.39 c | 267598 | 18463 86170 286586 | 2147483647 267598 103 | 0.000 % |
263.37/263.59 c | 268651 | 18463 86170 286586 | 2147483647 268651 103 | 0.000 % |
265.17/265.33 c | 269809 | 18463 86170 286586 | 2147483647 269809 104 | 0.000 % |
267.07/267.22 c | 271083 | 18463 86170 286586 | 2147483647 271083 104 | 0.000 % |
269.47/269.64 c | 272483 | 18463 86170 286586 | 2147483647 272483 104 | 0.000 % |
271.07/271.20 c | 274023 | 18463 86170 286586 | 2147483647 274023 104 | 0.000 % |
275.07/275.29 c | 275718 | 18463 86170 286586 | 2147483647 275718 105 | 0.000 % |
279.56/279.74 c | 277587 | 18463 86170 286586 | 2147483647 277587 105 | 0.000 % |
282.76/282.98 c | 279637 | 18463 86170 286586 | 2147483647 279637 106 | 0.000 % |
285.46/285.69 c | 281892 | 18463 86170 286586 | 2147483647 281892 105 | 0.000 % |
290.36/290.55 c | 284370 | 18463 86170 286586 | 2147483647 284370 106 | 0.000 % |
294.85/295.08 c | 287097 | 18463 86170 286586 | 2147483647 287097 106 | 0.000 % |
295.16/295.31 c | 287198 | 18463 86170 286586 | 2147483647 287198 106 | 0.000 % |
295.26/295.46 c | 287308 | 18463 86170 286586 | 2147483647 287308 106 | 0.000 % |
295.76/295.92 c | 287429 | 18463 86170 286586 | 2147483647 287429 106 | 0.000 % |
296.05/296.20 c | 287563 | 18463 86170 286586 | 2147483647 287563 106 | 0.000 % |
296.25/296.46 c | 287709 | 18463 86170 286586 | 2147483647 287709 106 | 0.000 % |
296.55/296.79 c | 287871 | 18463 86170 286586 | 2147483647 287871 106 | 0.000 % |
296.95/297.15 c | 288047 | 18463 86170 286586 | 2147483647 288047 106 | 0.000 % |
297.25/297.42 c | 288246 | 18463 86170 286586 | 2147483647 288246 106 | 0.000 % |
297.65/297.82 c | 288459 | 18463 86170 286586 | 2147483647 288459 106 | 0.000 % |
297.86/298.02 c | 288692 | 18463 86170 286586 | 2147483647 288692 106 | 0.000 % |
298.25/298.47 c | 288950 | 18463 86170 286586 | 2147483647 288950 106 | 0.000 % |
298.85/299.02 c | 289232 | 18463 86170 286586 | 2147483647 289232 106 | 0.000 % |
299.36/299.55 c | 289543 | 18463 86170 286586 | 2147483647 289543 106 | 0.000 % |
300.06/300.27 c | 289883 | 18463 86170 286586 | 2147483647 289883 106 | 0.000 % |
300.95/301.13 c | 290255 | 18463 86170 286586 | 2147483647 290255 106 | 0.000 % |
301.85/302.04 c | 290664 | 18463 86170 286586 | 2147483647 290664 106 | 0.000 % |
302.55/302.76 c | 291113 | 18463 86170 286586 | 2147483647 291113 106 | 0.000 % |
303.55/303.76 c | 291606 | 18463 86170 286586 | 2147483647 291606 107 | 0.000 % |
304.65/304.89 c | 292148 | 18463 86170 286586 | 2147483647 292148 107 | 0.000 % |
305.55/305.74 c | 292744 | 18463 86170 286586 | 2147483647 292744 107 | 0.000 % |
306.86/307.05 c | 293399 | 18463 86170 286586 | 2147483647 293399 107 | 0.000 % |
307.86/308.07 c | 294119 | 18463 86170 286586 | 2147483647 294119 107 | 0.000 % |
309.36/309.59 c | 294911 | 18463 86170 286586 | 2147483647 294911 107 | 0.000 % |
310.75/310.99 c | 295782 | 18463 86170 286586 | 2147483647 295782 106 | 0.000 % |
312.25/312.46 c | 296743 | 18463 86170 286586 | 2147483647 296743 106 | 0.000 % |
313.25/313.44 c | 297797 | 18463 86170 286586 | 2147483647 297797 106 | 0.000 % |
314.45/314.66 c | 298956 | 18463 86170 286586 | 2147483647 298956 107 | 0.000 % |
316.15/316.33 c | 300229 | 18463 86170 286586 | 2147483647 300229 107 | 0.000 % |
318.65/318.82 c | 301629 | 18463 86170 286586 | 2147483647 301629 107 | 0.000 % |
320.85/321.08 c | 303171 | 18463 86170 286586 | 2147483647 303171 107 | 0.000 % |
323.65/323.87 c | 304867 | 18463 86170 286586 | 2147483647 304867 107 | 0.000 % |
326.15/326.34 c | 306730 | 18463 86170 286586 | 2147483647 306730 107 | 0.000 % |
329.35/329.52 c | 308780 | 18463 86170 286586 | 2147483647 308780 108 | 0.000 % |
333.25/333.40 c | 311034 | 18463 86170 286586 | 2147483647 311034 108 | 0.000 % |
339.75/339.91 c | 313513 | 18463 86170 286586 | 2147483647 313513 108 | 0.000 % |
348.35/348.56 c | 316238 | 18463 86170 286586 | 2147483647 316238 108 | 0.000 % |
352.85/353.02 c | 319235 | 18463 86170 286586 | 2147483647 319235 109 | 0.000 % |
352.95/353.16 c | 319337 | 18463 86170 286586 | 2147483647 319337 109 | 0.000 % |
353.24/353.48 c | 319448 | 18463 86170 286586 | 2147483647 319448 109 | 0.000 % |
353.44/353.66 c | 319569 | 18463 86170 286586 | 2147483647 319569 109 | 0.000 % |
353.94/354.11 c | 319704 | 18463 86170 286586 | 2147483647 319704 109 | 0.000 % |
354.34/354.50 c | 319851 | 18463 86170 286586 | 2147483647 319851 109 | 0.000 % |
354.74/354.99 c | 320012 | 18463 86170 286586 | 2147483647 320012 109 | 0.000 % |
355.14/355.31 c | 320188 | 18463 86170 286586 | 2147483647 320188 109 | 0.000 % |
355.54/355.74 c | 320382 | 18463 86170 286586 | 2147483647 320382 109 | 0.000 % |
355.84/356.09 c | 320596 | 18463 86170 286586 | 2147483647 320596 109 | 0.000 % |
356.44/356.66 c | 320830 | 18463 86170 286586 | 2147483647 320830 109 | 0.000 % |
356.94/357.18 c | 321086 | 18463 86170 286586 | 2147483647 321086 109 | 0.000 % |
357.73/357.92 c | 321368 | 18463 86170 286586 | 2147483647 321368 109 | 0.000 % |
358.13/358.39 c | 321678 | 18463 86170 286586 | 2147483647 321678 109 | 0.000 % |
358.83/359.07 c | 322019 | 18463 86170 286586 | 2147483647 322019 109 | 0.000 % |
359.83/360.07 c | 322392 | 18463 86170 286586 | 2147483647 322392 109 | 0.000 % |
360.53/360.71 c | 322801 | 18463 86170 286586 | 2147483647 322801 109 | 0.000 % |
361.33/361.55 c | 323251 | 18463 86170 286586 | 2147483647 323251 109 | 0.000 % |
362.23/362.41 c | 323745 | 18463 86170 286586 | 2147483647 323745 109 | 0.000 % |
363.03/363.26 c | 324287 | 18463 86170 286586 | 2147483647 324287 109 | 0.000 % |
364.23/364.45 c | 324883 | 18463 86170 286586 | 2147483647 324883 109 | 0.000 % |
364.84/365.07 c | 325538 | 18463 86170 286586 | 2147483647 325538 109 | 0.000 % |
366.93/367.13 c | 326258 | 18463 86170 286586 | 2147483647 326258 110 | 0.000 % |
368.63/368.82 c | 327050 | 18463 86170 286586 | 2147483647 327050 110 | 0.000 % |
371.02/371.22 c | 327923 | 18463 86170 286586 | 2147483647 327923 110 | 0.000 % |
373.02/373.20 c | 328881 | 18463 86170 286586 | 2147483647 328881 110 | 0.000 % |
375.03/375.26 c | 329934 | 18463 86170 286586 | 2147483647 329934 110 | 0.000 % |
377.93/378.12 c | 331093 | 18463 86170 286586 | 2147483647 331093 110 | 0.000 % |
381.03/381.25 c | 332369 | 18463 86170 286586 | 2147483647 332369 111 | 0.000 % |
384.23/384.45 c | 333769 | 18463 86170 286586 | 2147483647 333769 111 | 0.000 % |
388.03/388.24 c | 335309 | 18463 86170 286586 | 2147483647 335309 112 | 0.000 % |
391.52/391.80 c | 337003 | 18463 86170 286586 | 2147483647 337003 113 | 0.000 % |
394.72/394.90 c | 338866 | 18463 86170 286586 | 2147483647 338866 113 | 0.000 % |
400.62/400.83 c | 340920 | 18463 86170 286586 | 2147483647 340920 113 | 0.000 % |
405.62/405.88 c | 343173 | 18463 86170 286586 | 2147483647 343173 114 | 0.000 % |
410.62/410.89 c | 345651 | 18463 86170 286586 | 2147483647 345651 114 | 0.000 % |
416.91/417.17 c | 348376 | 18463 86170 286586 | 2147483647 348376 115 | 0.000 % |
424.81/425.00 c | 351374 | 18463 86170 286586 | 2147483647 351374 116 | 0.000 % |
432.31/432.54 c | 354670 | 18463 86170 286586 | 2147483647 354670 117 | 0.000 % |
432.51/432.74 c | 354770 | 18463 86170 286586 | 2147483647 354770 117 | 0.000 % |
432.81/433.02 c | 354883 | 18463 86170 286586 | 2147483647 354883 117 | 0.000 % |
433.01/433.26 c | 355009 | 18463 86170 286586 | 2147483647 355009 117 | 0.000 % |
433.41/433.65 c | 355142 | 18463 86170 286586 | 2147483647 355142 117 | 0.000 % |
433.81/434.07 c | 355289 | 18463 86170 286586 | 2147483647 355289 117 | 0.000 % |
434.21/434.50 c | 355449 | 18463 86170 286586 | 2147483647 355449 117 | 0.000 % |
434.70/434.96 c | 355625 | 18463 86170 286586 | 2147483647 355625 117 | 0.000 % |
435.11/435.38 c | 355820 | 18463 86170 286586 | 2147483647 355820 117 | 0.000 % |
435.71/435.90 c | 356034 | 18463 86170 286586 | 2147483647 356034 117 | 0.000 % |
436.21/436.44 c | 356267 | 18463 86170 286586 | 2147483647 356267 117 | 0.000 % |
436.71/436.98 c | 356523 | 18463 86170 286586 | 2147483647 356523 117 | 0.000 % |
437.41/437.65 c | 356807 | 18463 86170 286586 | 2147483647 356807 117 | 0.000 % |
438.01/438.24 c | 357116 | 18463 86170 286586 | 2147483647 357116 117 | 0.000 % |
438.41/438.64 c | 357456 | 18463 86170 286586 | 2147483647 357456 117 | 0.000 % |
439.01/439.22 c | 357829 | 18463 86170 286586 | 2147483647 357829 117 | 0.000 % |
439.91/440.10 c | 358242 | 18463 86170 286586 | 2147483647 358242 117 | 0.000 % |
440.81/441.04 c | 358691 | 18463 86170 286586 | 2147483647 358691 117 | 0.000 % |
442.10/442.31 c | 359186 | 18463 86170 286586 | 2147483647 359186 117 | 0.000 % |
443.30/443.54 c | 359734 | 18463 86170 286586 | 2147483647 359734 118 | 0.000 % |
444.30/444.57 c | 360330 | 18463 86170 286586 | 2147483647 360330 118 | 0.000 % |
446.00/446.27 c | 360985 | 18463 86170 286586 | 2147483647 360985 118 | 0.000 % |
447.70/447.93 c | 361706 | 18463 86170 286586 | 2147483647 361706 118 | 0.000 % |
449.61/449.82 c | 362499 | 18463 86170 286586 | 2147483647 362499 118 | 0.000 % |
452.60/452.88 c | 363370 | 18463 86170 286586 | 2147483647 363370 118 | 0.000 % |
454.61/454.85 c | 364328 | 18463 86170 286586 | 2147483647 364328 119 | 0.000 % |
456.80/457.05 c | 365382 | 18463 86170 286586 | 2147483647 365382 119 | 0.000 % |
458.80/459.03 c | 366540 | 18463 86170 286586 | 2147483647 366540 120 | 0.000 % |
461.80/462.00 c | 367813 | 18463 86170 286586 | 2147483647 367813 120 | 0.000 % |
464.19/464.46 c | 369213 | 18463 86170 286586 | 2147483647 369213 120 | 0.000 % |
466.70/466.95 c | 370757 | 18463 86170 286586 | 2147483647 370757 120 | 0.000 % |
470.50/470.79 c | 372451 | 18463 86170 286586 | 2147483647 372451 120 | 0.000 % |
475.30/475.54 c | 374314 | 18463 86170 286586 | 2147483647 374314 121 | 0.000 % |
479.59/479.88 c | 376363 | 18463 86170 286586 | 2147483647 376363 121 | 0.000 % |
482.79/483.04 c | 378616 | 18463 86170 286586 | 2147483647 378616 121 | 0.000 % |
485.99/486.28 c | 381097 | 18463 86170 286586 | 2147483647 381097 120 | 0.000 % |
489.99/490.27 c | 383825 | 18463 86170 286586 | 2147483647 383825 120 | 0.000 % |
494.59/494.84 c | 386822 | 18463 86170 286586 | 2147483647 386822 121 | 0.000 % |
498.68/498.98 c | 390120 | 18463 86170 286586 | 2147483647 390120 121 | 0.000 % |
504.69/504.92 c | 393745 | 18463 86170 286586 | 2147483647 393745 121 | 0.000 % |
504.89/505.11 c | 393846 | 18463 86170 286586 | 2147483647 393846 121 | 0.000 % |
505.28/505.50 c | 393958 | 18463 86170 286586 | 2147483647 393958 121 | 0.000 % |
505.48/505.77 c | 394079 | 18463 86170 286586 | 2147483647 394079 121 | 0.000 % |
505.98/506.26 c | 394212 | 18463 86170 286586 | 2147483647 394212 121 | 0.000 % |
506.48/506.73 c | 394360 | 18463 86170 286586 | 2147483647 394360 121 | 0.000 % |
507.08/507.39 c | 394521 | 18463 86170 286586 | 2147483647 394521 121 | 0.000 % |
507.58/507.86 c | 394697 | 18463 86170 286586 | 2147483647 394697 121 | 0.000 % |
508.08/508.31 c | 394892 | 18463 86170 286586 | 2147483647 394892 121 | 0.000 % |
508.58/508.89 c | 395107 | 18463 86170 286586 | 2147483647 395107 121 | 0.000 % |
509.48/509.77 c | 395342 | 18463 86170 286586 | 2147483647 395342 121 | 0.000 % |
510.58/510.81 c | 395599 | 18463 86170 286586 | 2147483647 395599 121 | 0.000 % |
511.18/511.46 c | 395880 | 18463 86170 286586 | 2147483647 395880 121 | 0.000 % |
512.29/512.51 c | 396191 | 18463 86170 286586 | 2147483647 396191 121 | 0.000 % |
513.19/513.40 c | 396530 | 18463 86170 286586 | 2147483647 396530 121 | 0.000 % |
514.78/515.03 c | 396903 | 18463 86170 286586 | 2147483647 396903 121 | 0.000 % |
515.59/515.87 c | 397312 | 18463 86170 286586 | 2147483647 397312 121 | 0.000 % |
516.88/517.10 c | 397761 | 18463 86170 286586 | 2147483647 397761 121 | 0.000 % |
518.08/518.35 c | 398254 | 18463 86170 286586 | 2147483647 398254 121 | 0.000 % |
518.98/519.21 c | 398796 | 18463 86170 286586 | 2147483647 398796 121 | 0.000 % |
519.98/520.29 c | 399392 | 18463 86170 286586 | 2147483647 399392 121 | 0.000 % |
521.48/521.77 c | 400048 | 18463 86170 286586 | 2147483647 400048 121 | 0.000 % |
523.78/524.04 c | 400768 | 18463 86170 286586 | 2147483647 400768 122 | 0.000 % |
525.48/525.76 c | 401562 | 18463 86170 286586 | 2147483647 401562 122 | 0.000 % |
527.97/528.23 c | 402433 | 18463 86170 286586 | 2147483647 402433 122 | 0.000 % |
531.38/531.64 c | 403391 | 18463 86170 286586 | 2147483647 403391 122 | 0.000 % |
534.48/534.72 c | 404447 | 18463 86170 286586 | 2147483647 404447 123 | 0.000 % |
536.97/537.29 c | 405609 | 18463 86170 286586 | 2147483647 405609 123 | 0.000 % |
539.28/539.57 c | 406883 | 18463 86170 286586 | 2147483647 406883 123 | 0.000 % |
543.57/543.86 c | 408286 | 18463 86170 286586 | 2147483647 408286 124 | 0.000 % |
548.47/548.76 c | 409826 | 18463 86170 286586 | 2147483647 409826 124 | 0.000 % |
554.27/554.58 c | 411521 | 18463 86170 286586 | 2147483647 411521 124 | 0.000 % |
558.37/558.64 c | 413387 | 18463 86170 286586 | 2147483647 413387 124 | 0.000 % |
563.46/563.78 c | 415437 | 18463 86170 286586 | 2147483647 415437 125 | 0.000 % |
570.46/570.80 c | 417691 | 18463 86170 286586 | 2147483647 417691 126 | 0.000 % |
577.46/577.76 c | 420169 | 18463 86170 286586 | 2147483647 420169 127 | 0.000 % |
584.76/585.03 c | 422894 | 18463 86170 286586 | 2147483647 422894 127 | 0.000 % |
592.06/592.36 c | 425891 | 18463 86170 286586 | 2147483647 425891 128 | 0.000 % |
602.75/603.00 c | 429192 | 18463 86170 286586 | 2147483647 429192 129 | 0.000 % |
615.75/616.09 c | 432817 | 18463 86170 286586 | 2147483647 432817 130 | 0.000 % |
627.04/627.34 c | 436805 | 18463 86170 286586 | 2147483647 436805 132 | 0.000 % |
627.34/627.69 c | 436905 | 18463 86170 286586 | 2147483647 436905 132 | 0.000 % |
627.75/628.01 c | 437016 | 18463 86170 286586 | 2147483647 437016 132 | 0.000 % |
628.14/628.42 c | 437137 | 18463 86170 286586 | 2147483647 437137 132 | 0.000 % |
628.74/629.01 c | 437271 | 18463 86170 286586 | 2147483647 437271 132 | 0.000 % |
629.04/629.34 c | 437418 | 18463 86170 286586 | 2147483647 437418 132 | 0.000 % |
629.64/629.94 c | 437578 | 18463 86170 286586 | 2147483647 437578 132 | 0.000 % |
630.24/630.54 c | 437754 | 18463 86170 286586 | 2147483647 437754 132 | 0.000 % |
631.04/631.35 c | 437947 | 18463 86170 286586 | 2147483647 437947 132 | 0.000 % |
631.64/631.94 c | 438159 | 18463 86170 286586 | 2147483647 438159 132 | 0.000 % |
632.04/632.35 c | 438393 | 18463 86170 286586 | 2147483647 438393 132 | 0.000 % |
632.74/633.07 c | 438652 | 18463 86170 286586 | 2147483647 438652 132 | 0.000 % |
633.64/633.97 c | 438935 | 18463 86170 286586 | 2147483647 438935 132 | 0.000 % |
634.64/634.91 c | 439245 | 18463 86170 286586 | 2147483647 439245 132 | 0.000 % |
635.74/636.05 c | 439585 | 18463 86170 286586 | 2147483647 439585 132 | 0.000 % |
637.34/637.62 c | 439959 | 18463 86170 286586 | 2147483647 439959 132 | 0.000 % |
638.85/639.14 c | 440368 | 18463 86170 286586 | 2147483647 440368 133 | 0.000 % |
640.44/640.79 c | 440817 | 18463 86170 286586 | 2147483647 440817 133 | 0.000 % |
642.24/642.57 c | 441310 | 18463 86170 286586 | 2147483647 441310 133 | 0.000 % |
643.93/644.24 c | 441853 | 18463 86170 286586 | 2147483647 441853 133 | 0.000 % |
647.14/647.44 c | 442449 | 18463 86170 286586 | 2147483647 442449 133 | 0.000 % |
650.24/650.56 c | 443105 | 18463 86170 286586 | 2147483647 443105 133 | 0.000 % |
652.43/652.78 c | 443826 | 18463 86170 286586 | 2147483647 443826 133 | 0.000 % |
653.93/654.28 c | 444619 | 18463 86170 286586 | 2147483647 444619 133 | 0.000 % |
655.13/655.46 c | 445491 | 18463 86170 286586 | 2147483647 445491 132 | 0.000 % |
658.03/658.32 c | 446449 | 18463 86170 286586 | 2147483647 446449 133 | 0.000 % |
661.23/661.51 c | 447502 | 18463 86170 286586 | 2147483647 447502 133 | 0.000 % |
664.23/664.54 c | 448660 | 18463 86170 286586 | 2147483647 448660 133 | 0.000 % |
667.23/667.56 c | 449933 | 18463 86170 286586 | 2147483647 449933 133 | 0.000 % |
671.63/671.93 c | 451333 | 18463 86170 286586 | 2147483647 451333 133 | 0.000 % |
676.53/676.87 c | 452873 | 18463 86170 286586 | 2147483647 452873 134 | 0.000 % |
683.93/684.22 c | 454569 | 18463 86170 286586 | 2147483647 454569 134 | 0.000 % |
690.72/691.03 c | 456433 | 18463 86170 286586 | 2147483647 456433 135 | 0.000 % |
697.42/697.79 c | 458485 | 18463 86170 286586 | 2147483647 458485 136 | 0.000 % |
706.61/706.93 c | 460738 | 18463 86170 286586 | 2147483647 460738 136 | 0.000 % |
716.92/717.25 c | 463216 | 18463 86170 286586 | 2147483647 463216 137 | 0.000 % |
725.31/725.60 c | 465941 | 18463 86170 286586 | 2147483647 465941 138 | 0.000 % |
737.11/737.42 c | 468938 | 18463 86170 286586 | 2147483647 468938 138 | 0.000 % |
755.21/755.52 c | 472234 | 18463 86170 286586 | 2147483647 472234 139 | 0.000 % |
770.50/770.80 c | 475860 | 18463 86170 286586 | 2147483647 475860 141 | 0.000 % |
789.60/789.97 c | 479848 | 18463 86170 286586 | 2147483647 479848 141 | 0.000 % |
806.99/807.35 c | 484237 | 18463 86170 286586 | 2147483647 484237 142 | 0.000 % |
807.29/807.69 c | 484339 | 18463 86170 286586 | 2147483647 484339 142 | 0.000 % |
807.69/808.06 c | 484449 | 18463 86170 286586 | 2147483647 484449 142 | 0.000 % |
808.19/808.55 c | 484570 | 18463 86170 286586 | 2147483647 484570 142 | 0.000 % |
808.99/809.31 c | 484703 | 18463 86170 286586 | 2147483647 484703 142 | 0.000 % |
809.49/809.87 c | 484850 | 18463 86170 286586 | 2147483647 484850 142 | 0.000 % |
810.19/810.52 c | 485010 | 18463 86170 286586 | 2147483647 485010 142 | 0.000 % |
810.79/811.18 c | 485187 | 18463 86170 286586 | 2147483647 485187 142 | 0.000 % |
811.19/811.57 c | 485380 | 18463 86170 286586 | 2147483647 485380 142 | 0.000 % |
811.89/812.21 c | 485592 | 18463 86170 286586 | 2147483647 485592 142 | 0.000 % |
812.49/812.90 c | 485828 | 18463 86170 286586 | 2147483647 485828 142 | 0.000 % |
813.29/813.64 c | 486084 | 18463 86170 286586 | 2147483647 486084 142 | 0.000 % |
814.99/815.31 c | 486366 | 18463 86170 286586 | 2147483647 486366 142 | 0.000 % |
816.18/816.52 c | 486675 | 18463 86170 286586 | 2147483647 486675 142 | 0.000 % |
817.09/817.46 c | 487014 | 18463 86170 286586 | 2147483647 487014 142 | 0.000 % |
817.99/818.40 c | 487388 | 18463 86170 286586 | 2147483647 487388 142 | 0.000 % |
818.98/819.39 c | 487797 | 18463 86170 286586 | 2147483647 487797 142 | 0.000 % |
819.58/819.94 c | 488250 | 18463 86170 286586 | 2147483647 488250 142 | 0.000 % |
820.79/821.12 c | 488743 | 18463 86170 286586 | 2147483647 488743 142 | 0.000 % |
821.89/822.22 c | 489285 | 18463 86170 286586 | 2147483647 489285 142 | 0.000 % |
823.39/823.80 c | 489885 | 18463 86170 286586 | 2147483647 489885 142 | 0.000 % |
825.59/825.90 c | 490542 | 18463 86170 286586 | 2147483647 490542 142 | 0.000 % |
827.19/827.52 c | 491262 | 18463 86170 286586 | 2147483647 491262 142 | 0.000 % |
829.78/830.11 c | 492057 | 18463 86170 286586 | 2147483647 492057 142 | 0.000 % |
833.78/834.11 c | 492928 | 18463 86170 286586 | 2147483647 492928 142 | 0.000 % |
838.18/838.54 c | 493887 | 18463 86170 286586 | 2147483647 493887 143 | 0.000 % |
842.88/843.26 c | 494940 | 18463 86170 286586 | 2147483647 494940 143 | 0.000 % |
846.98/847.35 c | 496105 | 18463 86170 286586 | 2147483647 496105 143 | 0.000 % |
852.68/853.05 c | 497379 | 18463 86170 286586 | 2147483647 497379 144 | 0.000 % |
859.38/859.74 c | 498779 | 18463 86170 286586 | 2147483647 498779 144 | 0.000 % |
865.88/866.28 c | 500319 | 18463 86170 286586 | 2147483647 500319 144 | 0.000 % |
874.08/874.44 c | 502013 | 18463 86170 286586 | 2147483647 502013 145 | 0.000 % |
883.47/883.85 c | 503876 | 18463 86170 286586 | 2147483647 503876 145 | 0.000 % |
895.36/895.73 c | 505927 | 18463 86170 286586 | 2147483647 505927 146 | 0.000 % |
905.37/905.74 c | 508180 | 18463 86170 286586 | 2147483647 508180 146 | 0.000 % |
916.66/917.01 c | 510659 | 18463 86170 286586 | 2147483647 510659 147 | 0.000 % |
929.86/930.25 c | 513384 | 18463 86170 286586 | 2147483647 513384 148 | 0.000 % |
944.46/944.89 c | 516381 | 18463 86170 286586 | 2147483647 516381 149 | 0.000 % |
960.05/960.48 c | 519677 | 18463 86170 286586 | 2147483647 519677 150 | 0.000 % |
977.94/978.35 c | 523302 | 18463 86170 286586 | 2147483647 523302 152 | 0.000 % |
1002.74/1003.18 c | 527289 | 18463 86170 286586 | 2147483647 527289 153 | 0.000 % |
1032.54/1032.96 c | 531678 | 18463 86170 286586 | 2147483647 531678 154 | 0.000 % |
1060.82/1061.28 c | 536502 | 18463 86170 286586 | 2147483647 536502 156 | 0.000 % |
1061.32/1061.75 c | 536603 | 18463 86170 286586 | 2147483647 536603 156 | 0.000 % |
1061.72/1062.14 c | 536714 | 18463 86170 286586 | 2147483647 536714 156 | 0.000 % |
1062.12/1062.58 c | 536835 | 18463 86170 286586 | 2147483647 536835 156 | 0.000 % |
1062.82/1063.24 c | 536972 | 18463 86170 286586 | 2147483647 536972 156 | 0.000 % |
1063.42/1063.83 c | 537122 | 18463 86170 286586 | 2147483647 537122 156 | 0.000 % |
1063.72/1064.16 c | 537282 | 18463 86170 286586 | 2147483647 537282 156 | 0.000 % |
1064.02/1064.48 c | 537459 | 18463 86170 286586 | 2147483647 537459 156 | 0.000 % |
1065.72/1066.15 c | 537652 | 18463 86170 286586 | 2147483647 537652 156 | 0.000 % |
1066.62/1067.09 c | 537866 | 18463 86170 286586 | 2147483647 537866 156 | 0.000 % |
1068.12/1068.56 c | 538101 | 18463 86170 286586 | 2147483647 538101 156 | 0.000 % |
1069.32/1069.73 c | 538360 | 18463 86170 286586 | 2147483647 538360 156 | 0.000 % |
1070.82/1071.23 c | 538643 | 18463 86170 286586 | 2147483647 538643 156 | 0.000 % |
1073.01/1073.40 c | 538956 | 18463 86170 286586 | 2147483647 538956 156 | 0.000 % |
1075.71/1076.19 c | 539298 | 18463 86170 286586 | 2147483647 539298 156 | 0.000 % |
1077.11/1077.59 c | 539670 | 18463 86170 286586 | 2147483647 539670 156 | 0.000 % |
1078.62/1079.05 c | 540080 | 18463 86170 286586 | 2147483647 540080 156 | 0.000 % |
1080.72/1081.12 c | 540529 | 18463 86170 286586 | 2147483647 540529 156 | 0.000 % |
1082.62/1083.00 c | 541022 | 18463 86170 286586 | 2147483647 541022 156 | 0.000 % |
1085.81/1086.26 c | 541564 | 18463 86170 286586 | 2147483647 541564 156 | 0.000 % |
1088.31/1088.70 c | 542160 | 18463 86170 286586 | 2147483647 542160 156 | 0.000 % |
1090.51/1090.93 c | 542816 | 18463 86170 286586 | 2147483647 542816 156 | 0.000 % |
1092.50/1092.95 c | 543540 | 18463 86170 286586 | 2147483647 543540 157 | 0.000 % |
1095.20/1095.63 c | 544336 | 18463 86170 286586 | 2147483647 544336 157 | 0.000 % |
1098.50/1098.98 c | 545207 | 18463 86170 286586 | 2147483647 545207 157 | 0.000 % |
1101.10/1101.57 c | 546165 | 18463 86170 286586 | 2147483647 546165 157 | 0.000 % |
1103.80/1104.25 c | 547218 | 18463 86170 286586 | 2147483647 547218 157 | 0.000 % |
1106.70/1107.14 c | 548378 | 18463 86170 286586 | 2147483647 548378 157 | 0.000 % |
1110.90/1111.39 c | 549654 | 18463 86170 286586 | 2147483647 549654 157 | 0.000 % |
1115.50/1115.95 c | 551055 | 18463 86170 286586 | 2147483647 551055 157 | 0.000 % |
1124.70/1125.11 c | 552596 | 18463 86170 286586 | 2147483647 552596 157 | 0.000 % |
1135.09/1135.56 c | 554290 | 18463 86170 286586 | 2147483647 554290 158 | 0.000 % |
1148.79/1149.21 c | 556153 | 18463 86170 286586 | 2147483647 556153 158 | 0.000 % |
1165.08/1165.50 c | 558204 | 18463 86170 286586 | 2147483647 558204 159 | 0.000 % |
1178.68/1179.18 c | 560457 | 18463 86170 286586 | 2147483647 560457 160 | 0.000 % |
1198.48/1198.94 c | 562935 | 18463 86170 286586 | 2147483647 562935 160 | 0.000 % |
1217.37/1217.86 c | 565660 | 18463 86170 286586 | 2147483647 565660 161 | 0.000 % |
1238.26/1238.72 c | 568657 | 18463 86170 286586 | 2147483647 568657 161 | 0.000 % |
1262.36/1262.89 c | 571954 | 18463 86170 286586 | 2147483647 571954 162 | 0.000 % |
1287.05/1287.53 c | 575583 | 18463 86170 286586 | 2147483647 575583 163 | 0.000 % |
1314.04/1314.55 c | 579573 | 18463 86170 286586 | 2147483647 579573 164 | 0.000 % |
1342.13/1342.65 c | 583962 | 18463 86170 286586 | 2147483647 583962 166 | 0.000 % |
1381.52/1382.01 c | 588785 | 18463 86170 286586 | 2147483647 588785 167 | 0.000 % |
1421.02/1421.58 c | 594090 | 18463 86170 286586 | 2147483647 594090 168 | 0.000 % |
1421.92/1422.42 c | 594191 | 18463 86170 286586 | 2147483647 594191 168 | 0.000 % |
1422.52/1423.07 c | 594301 | 18463 86170 286586 | 2147483647 594301 168 | 0.000 % |
1423.51/1424.04 c | 594424 | 18463 86170 286586 | 2147483647 594424 168 | 0.000 % |
1424.71/1425.24 c | 594557 | 18463 86170 286586 | 2147483647 594557 168 | 0.000 % |
1425.81/1426.39 c | 594705 | 18463 86170 286586 | 2147483647 594705 168 | 0.000 % |
1427.41/1427.96 c | 594865 | 18463 86170 286586 | 2147483647 594865 168 | 0.000 % |
1429.01/1429.55 c | 595042 | 18463 86170 286586 | 2147483647 595042 168 | 0.000 % |
1429.71/1430.29 c | 595235 | 18463 86170 286586 | 2147483647 595235 168 | 0.000 % |
1430.20/1430.76 c | 595447 | 18463 86170 286586 | 2147483647 595447 168 | 0.000 % |
1431.51/1432.01 c | 595680 | 18463 86170 286586 | 2147483647 595680 168 | 0.000 % |
1432.72/1433.23 c | 595936 | 18463 86170 286586 | 2147483647 595936 168 | 0.000 % |
1434.61/1435.13 c | 596217 | 18463 86170 286586 | 2147483647 596217 168 | 0.000 % |
1436.41/1436.97 c | 596534 | 18463 86170 286586 | 2147483647 596534 168 | 0.000 % |
1438.51/1439.02 c | 596876 | 18463 86170 286586 | 2147483647 596876 168 | 0.000 % |
1441.11/1441.69 c | 597249 | 18463 86170 286586 | 2147483647 597249 168 | 0.000 % |
1444.81/1445.38 c | 597658 | 18463 86170 286586 | 2147483647 597658 168 | 0.000 % |
1448.80/1449.38 c | 598107 | 18463 86170 286586 | 2147483647 598107 168 | 0.000 % |
1453.40/1453.96 c | 598600 | 18463 86170 286586 | 2147483647 598600 168 | 0.000 % |
1458.00/1458.51 c | 599150 | 18463 86170 286586 | 2147483647 599150 168 | 0.000 % |
1462.51/1463.00 c | 599749 | 18463 86170 286586 | 2147483647 599749 169 | 0.000 % |
1468.50/1469.02 c | 600405 | 18463 86170 286586 | 600000 600405 169 | 0.000 % |
1475.70/1476.25 c | 601126 | 18463 86170 286586 | 600000 532626 167 | 0.000 % |
1479.49/1480.05 c | 601918 | 18463 86170 286586 | 600000 533418 167 | 0.000 % |
1482.20/1482.79 c | 602795 | 18463 86170 286586 | 600000 534295 168 | 0.000 % |
1485.39/1485.93 c | 603755 | 18463 86170 286586 | 600000 535255 168 | 0.000 % |
1488.19/1488.73 c | 604808 | 18463 86170 286586 | 600000 536308 168 | 0.000 % |
1492.79/1493.34 c | 605969 | 18463 86170 286586 | 600000 537469 168 | 0.000 % |
1497.69/1498.29 c | 607242 | 18463 86170 286586 | 600000 538742 169 | 0.000 % |
1506.68/1507.22 c | 608642 | 18463 86170 286586 | 600000 540142 169 | 0.000 % |
1512.88/1513.49 c | 610182 | 18463 86170 286586 | 2147483647 541682 169 | 0.000 % |
1519.09/1519.60 c | 611876 | 18463 86170 286586 | 2147483647 543376 170 | 0.000 % |
1526.99/1527.53 c | 613740 | 18463 86170 286586 | 2147483647 545240 170 | 0.000 % |
1532.38/1532.99 c | 615790 | 18463 86170 286586 | 2147483647 547290 170 | 0.000 % |
1536.28/1536.82 c | 618045 | 18463 86170 286586 | 2147483647 549545 169 | 0.000 % |
1541.88/1542.47 c | 620525 | 18463 86170 286586 | 2147483647 552025 169 | 0.000 % |
1548.48/1549.04 c | 623250 | 18463 86170 286586 | 2147483647 554750 169 | 0.000 % |
1554.08/1554.67 c | 626247 | 18463 86170 286586 | 2147483647 557747 169 | 0.000 % |
1560.98/1561.55 c | 629544 | 18463 86170 286586 | 2147483647 561044 168 | 0.000 % |
1573.37/1573.90 c | 633170 | 18463 86170 286586 | 2147483647 564670 169 | 0.000 % |
1585.47/1586.04 c | 637158 | 18463 86170 286586 | 2147483647 568658 168 | 0.000 % |
1599.46/1600.07 c | 641543 | 18463 86170 286586 | 2147483647 573043 169 | 0.000 % |
1617.76/1618.34 c | 646366 | 18463 86170 286586 | 2147483647 577866 169 | 0.000 % |
1626.36/1626.95 c | 651671 | 18463 86170 286586 | 2147483647 583171 169 | 0.000 % |
1643.25/1643.82 c | 657508 | 18463 86170 286586 | 2147483647 589008 169 | 0.000 % |
1643.95/1644.57 c | 657608 | 18463 86170 286586 | 2147483647 589108 169 | 0.000 % |
1644.25/1644.86 c | 657718 | 18463 86170 286586 | 2147483647 589218 169 | 0.000 % |
1644.75/1645.36 c | 657841 | 18463 86170 286586 | 2147483647 589341 169 | 0.000 % |
1645.15/1645.80 c | 657974 | 18463 86170 286586 | 2147483647 589474 169 | 0.000 % |
1645.55/1646.17 c | 658122 | 18463 86170 286586 | 2147483647 589622 169 | 0.000 % |
1646.05/1646.65 c | 658282 | 18463 86170 286586 | 2147483647 589782 169 | 0.000 % |
1646.45/1647.04 c | 658460 | 18463 86170 286586 | 2147483647 589960 169 | 0.000 % |
1646.75/1647.31 c | 658653 | 18463 86170 286586 | 2147483647 590153 169 | 0.000 % |
1647.15/1647.77 c | 658868 | 18463 86170 286586 | 2147483647 590368 169 | 0.000 % |
1647.75/1648.31 c | 659101 | 18463 86170 286586 | 2147483647 590601 169 | 0.000 % |
1649.05/1649.60 c | 659357 | 18463 86170 286586 | 2147483647 590857 169 | 0.000 % |
1650.65/1651.22 c | 659638 | 18463 86170 286586 | 2147483647 591138 169 | 0.000 % |
1651.45/1652.03 c | 659949 | 18463 86170 286586 | 2147483647 591449 169 | 0.000 % |
1653.35/1653.97 c | 660289 | 18463 86170 286586 | 2147483647 591789 169 | 0.000 % |
1654.95/1655.52 c | 660661 | 18463 86170 286586 | 2147483647 592161 169 | 0.000 % |
1655.65/1656.29 c | 661072 | 18463 86170 286586 | 2147483647 592572 169 | 0.000 % |
1657.84/1658.42 c | 661521 | 18463 86170 286586 | 2147483647 593021 169 | 0.000 % |
1659.25/1659.85 c | 662014 | 18463 86170 286586 | 2147483647 593514 169 | 0.000 % |
1662.34/1662.90 c | 662557 | 18463 86170 286586 | 2147483647 594057 169 | 0.000 % |
1664.04/1664.67 c | 663155 | 18463 86170 286586 | 2147483647 594655 169 | 0.000 % |
1664.94/1665.59 c | 663811 | 18463 86170 286586 | 2147483647 595311 169 | 0.000 % |
1665.95/1666.54 c | 664531 | 18463 86170 286586 | 2147483647 596031 168 | 0.000 % |
1668.24/1668.80 c | 665323 | 18463 86170 286586 | 2147483647 596823 168 | 0.000 % |
1669.14/1669.76 c | 666195 | 18463 86170 286586 | 2147483647 597695 168 | 0.000 % |
1672.64/1673.29 c | 667153 | 18463 86170 286586 | 2147483647 598653 168 | 0.000 % |
1675.94/1676.51 c | 668207 | 18463 86170 286586 | 2147483647 599707 168 | 0.000 % |
1681.04/1681.69 c | 669366 | 18463 86170 286586 | 2147483647 600866 168 | 0.000 % |
1683.83/1684.49 c | 670643 | 18463 86170 286586 | 2147483647 602143 168 | 0.000 % |
1687.93/1688.54 c | 672046 | 18463 86170 286586 | 2147483647 603546 168 | 0.000 % |
1692.13/1692.76 c | 673586 | 18463 86170 286586 | 2147483647 605086 167 | 0.000 % |
1696.32/1696.98 c | 675280 | 18463 86170 286586 | 2147483647 606780 167 | 0.000 % |
1701.43/1702.00 c | 677147 | 18463 86170 286586 | 2147483647 608647 167 | 0.000 % |
1708.42/1709.08 c | 679196 | 18463 86170 286586 | 2147483647 610696 167 | 0.000 % |
1715.83/1716.43 c | 681449 | 18463 86170 286586 | 2147483647 612949 168 | 0.000 % |
1727.22/1727.87 c | 683927 | 18463 86170 286586 | 2147483647 615427 168 | 0.000 % |
1734.22/1734.89 c | 686652 | 18463 86170 286586 | 2147483647 618152 168 | 0.000 % |
1747.32/1747.94 c | 689650 | 18463 86170 286586 | 2147483647 621150 168 | 0.000 % |
1765.81/1766.50 c | 692946 | 18463 86170 286586 | 621501 562206 173 | 0.000 % |
1783.81/1784.41 c | 696571 | 18463 86170 286586 | 621501 565831 172 | 0.000 % |
1795.11/1795.78 c | 700558 | 18463 86170 286586 | 2147483647 569818 172 | 0.000 % |
1834.90/1835.51 c | 704944 | 18463 86170 286586 | 2147483647 574204 173 | 0.000 % |
1875.18/1875.83 c | 709767 | 18463 86170 286586 | 2147483647 579027 174 | 0.000 % |
1924.27/1924.99 c | 715074 | 18463 86170 286586 | 2147483647 584334 175 | 0.000 % |
1954.56/1955.22 c | 720909 | 18463 86170 286586 | 589262 590169 177 | 0.000 % |
2005.05/2005.71 c | 727332 | 18463 86170 286586 | 589262 499581 173 | 0.000 % |
2005.45/2006.19 c | 727433 | 18463 86170 286586 | 589262 499682 173 | 0.000 % |
2006.35/2007.09 c | 727543 | 18463 86170 286586 | 589262 499792 173 | 0.000 % |
2007.15/2007.84 c | 727665 | 18463 86170 286586 | 589262 499914 173 | 0.000 % |
2007.65/2008.39 c | 727798 | 18463 86170 286586 | 589262 500047 173 | 0.000 % |
2008.44/2009.10 c | 727945 | 18463 86170 286586 | 589262 500194 173 | 0.000 % |
2008.84/2009.58 c | 728106 | 18463 86170 286586 | 589262 500355 173 | 0.000 % |
2009.64/2010.34 c | 728282 | 18463 86170 286586 | 589262 500531 173 | 0.000 % |
2010.44/2011.12 c | 728475 | 18463 86170 286586 | 589262 500724 173 | 0.000 % |
2011.15/2011.83 c | 728688 | 18463 86170 286586 | 589262 500937 173 | 0.000 % |
2011.64/2012.39 c | 728922 | 18463 86170 286586 | 589262 501171 173 | 0.000 % |
2012.64/2013.40 c | 729182 | 18463 86170 286586 | 589262 501431 173 | 0.000 % |
2013.94/2014.68 c | 729463 | 18463 86170 286586 | 589262 501712 173 | 0.000 % |
2014.84/2015.52 c | 729772 | 18463 86170 286586 | 589262 502021 173 | 0.000 % |
2015.84/2016.53 c | 730111 | 18463 86170 286586 | 502249 502360 173 | 0.000 % |
2019.04/2019.72 c | 730483 | 18463 86170 286586 | 502249 440849 175 | 0.000 % |
2019.74/2020.42 c | 730893 | 18463 86170 286586 | 502249 441259 174 | 0.000 % |
2021.04/2021.73 c | 731342 | 18463 86170 286586 | 502249 441708 174 | 0.000 % |
2023.04/2023.70 c | 731837 | 18463 86170 286586 | 502249 442203 174 | 0.000 % |
2024.04/2024.70 c | 732380 | 18463 86170 286586 | 502249 442746 174 | 0.000 % |
2026.54/2027.24 c | 732976 | 18463 86170 286586 | 502249 443342 174 | 0.000 % |
2028.54/2029.20 c | 733632 | 18463 86170 286586 | 502249 443998 174 | 0.000 % |
2030.63/2031.33 c | 734352 | 18463 86170 286586 | 502249 444718 174 | 0.000 % |
2032.63/2033.31 c | 735146 | 18463 86170 286586 | 502249 445512 174 | 0.000 % |
2036.44/2037.20 c | 736018 | 18463 86170 286586 | 502249 446384 174 | 0.000 % |
2039.13/2039.88 c | 736976 | 18463 86170 286586 | 502249 447342 174 | 0.000 % |
2042.73/2043.41 c | 738030 | 18463 86170 286586 | 502249 448396 175 | 0.000 % |
2049.03/2049.71 c | 739188 | 18463 86170 286586 | 502249 449554 175 | 0.000 % |
2051.63/2052.33 c | 740461 | 18463 86170 286586 | 2147483647 450827 174 | 0.000 % |
2055.83/2056.57 c | 741861 | 18463 86170 286586 | 2147483647 452227 174 | 0.000 % |
2058.02/2058.72 c | 743408 | 18463 86170 286586 | 2147483647 453774 174 | 0.000 % |
2062.52/2063.21 c | 745102 | 18463 86170 286586 | 2147483647 455468 174 | 0.000 % |
2068.43/2069.10 c | 746965 | 18463 86170 286586 | 2147483647 457331 174 | 0.000 % |
2075.52/2076.26 c | 749016 | 18463 86170 286586 | 2147483647 459382 175 | 0.000 % |
2079.12/2079.88 c | 751269 | 18463 86170 286586 | 2147483647 461635 174 | 0.000 % |
2084.92/2085.65 c | 753747 | 18463 86170 286586 | 2147483647 464113 174 | 0.000 % |
2091.22/2091.99 c | 756474 | 18463 86170 286586 | 2147483647 466840 174 | 0.000 % |
2100.01/2100.79 c | 759471 | 18463 86170 286586 | 2147483647 469837 175 | 0.000 % |
2106.71/2107.50 c | 762770 | 18463 86170 286586 | 2147483647 473136 174 | 0.000 % |
2116.11/2116.88 c | 766395 | 18463 86170 286586 | 2147483647 476761 175 | 0.000 % |
2125.61/2126.31 c | 770382 | 18463 86170 286586 | 2147483647 480748 175 | 0.000 % |
2136.61/2137.31 c | 774768 | 18463 86170 286586 | 2147483647 485134 175 | 0.000 % |
2151.40/2152.16 c | 779591 | 18463 86170 286586 | 2147483647 489957 176 | 0.000 % |
2169.99/2170.72 c | 784896 | 18463 86170 286586 | 490366 495262 178 | 0.000 % |
2186.39/2187.15 c | 790732 | 18463 86170 286586 | 343831 344562 173 | 0.000 % |
2210.38/2211.18 c | 797153 | 18463 86170 286586 | 343831 297095 168 | 0.000 % |
2231.88/2232.64 c | 804212 | 18463 86170 286586 | 2147483647 304154 173 | 0.000 % |
2232.18/2232.98 c | 804313 | 18463 86170 286586 | 2147483647 304255 173 | 0.000 % |
2232.58/2233.37 c | 804424 | 18463 86170 286586 | 2147483647 304366 173 | 0.000 % |
2233.17/2233.90 c | 804545 | 18463 86170 286586 | 2147483647 304487 173 | 0.000 % |
2233.47/2234.25 c | 804681 | 18463 86170 286586 | 2147483647 304623 173 | 0.000 % |
2234.27/2235.06 c | 804827 | 18463 86170 286586 | 2147483647 304769 173 | 0.000 % |
2234.77/2235.56 c | 804987 | 18463 86170 286586 | 2147483647 304929 173 | 0.000 % |
2235.48/2236.29 c | 805163 | 18463 86170 286586 | 2147483647 305105 173 | 0.000 % |
2236.07/2236.87 c | 805356 | 18463 86170 286586 | 2147483647 305298 173 | 0.000 % |
2236.68/2237.45 c | 805570 | 18463 86170 286586 | 2147483647 305512 173 | 0.000 % |
2237.27/2238.08 c | 805805 | 18463 86170 286586 | 2147483647 305747 173 | 0.000 % |
2238.47/2239.22 c | 806061 | 18463 86170 286586 | 2147483647 306003 173 | 0.000 % |
2240.07/2240.84 c | 806356 | 18463 86170 286586 | 2147483647 306298 173 | 0.000 % |
2241.57/2242.33 c | 806668 | 18463 86170 286586 | 2147483647 306610 173 | 0.000 % |
2243.07/2243.83 c | 807009 | 18463 86170 286586 | 2147483647 306951 173 | 0.000 % |
2243.57/2244.37 c | 807381 | 18463 86170 286586 | 2147483647 307323 173 | 0.000 % |
2244.07/2244.88 c | 807790 | 18463 86170 286586 | 2147483647 307732 173 | 0.000 % |
2245.57/2246.32 c | 808239 | 18463 86170 286586 | 2147483647 308181 173 | 0.000 % |
2246.17/2246.95 c | 808733 | 18463 86170 286586 | 2147483647 308675 173 | 0.000 % |
2247.37/2248.18 c | 809275 | 18463 86170 286586 | 2147483647 309217 173 | 0.000 % |
2248.77/2249.51 c | 809873 | 18463 86170 286586 | 2147483647 309815 173 | 0.000 % |
2250.07/2250.90 c | 810528 | 18463 86170 286586 | 2147483647 310470 173 | 0.000 % |
2251.77/2252.54 c | 811248 | 18463 86170 286586 | 2147483647 311190 172 | 0.000 % |
2253.37/2254.16 c | 812040 | 18463 86170 286586 | 2147483647 311982 172 | 0.000 % |
2256.57/2257.35 c | 812913 | 18463 86170 286586 | 2147483647 312855 173 | 0.000 % |
2259.06/2259.86 c | 813877 | 18463 86170 286586 | 2147483647 313819 173 | 0.000 % |
2263.26/2264.08 c | 814931 | 18463 86170 286586 | 2147483647 314873 173 | 0.000 % |
2267.37/2268.15 c | 816089 | 18463 86170 286586 | 2147483647 316031 174 | 0.000 % |
2271.87/2272.60 c | 817369 | 18463 86170 286586 | 2147483647 317311 175 | 0.000 % |
2280.36/2281.15 c | 818772 | 18463 86170 286586 | 2147483647 318714 175 | 0.000 % |
2290.46/2291.24 c | 820314 | 18463 86170 286586 | 2147483647 320256 176 | 0.000 % |
2303.15/2303.99 c | 822008 | 18463 86170 286586 | 2147483647 321950 176 | 0.000 % |
2316.55/2317.31 c | 823872 | 18463 86170 286586 | 2147483647 323814 177 | 0.000 % |
2331.35/2332.16 c | 825921 | 18463 86170 286586 | 2147483647 325863 178 | 0.000 % |
2346.64/2347.40 c | 828176 | 18463 86170 286586 | 2147483647 328118 179 | 0.000 % |
2364.53/2365.37 c | 830656 | 18463 86170 286586 | 2147483647 330598 180 | 0.000 % |
2382.33/2383.10 c | 833390 | 18463 86170 286586 | 2147483647 333332 180 | 0.000 % |
2394.13/2394.99 c | 836387 | 18463 86170 286586 | 2147483647 336329 181 | 0.000 % |
2407.42/2408.20 c | 839683 | 18463 86170 286586 | 2147483647 339625 183 | 0.000 % |
2419.62/2420.46 c | 843310 | 18463 86170 286586 | 2147483647 343252 183 | 0.000 % |
2432.02/2432.84 c | 847297 | 18463 86170 286586 | 2147483647 347239 183 | 0.000 % |
2444.62/2445.45 c | 851682 | 18463 86170 286586 | 2147483647 351624 185 | 0.000 % |
2456.52/2457.35 c | 856508 | 18463 86170 286586 | 2147483647 356450 186 | 0.000 % |
2474.71/2475.53 c | 861815 | 18463 86170 286586 | 2147483647 361757 185 | 0.000 % |
2489.41/2490.25 c | 867651 | 18463 86170 286586 | 2147483647 367593 184 | 0.000 % |
2499.10/2499.94 c | 874069 | 18463 86170 286586 | 2147483647 374011 182 | 0.000 % |
2515.30/2516.14 c | 881129 | 18463 86170 286586 | 2147483647 381071 180 | 0.000 % |
2527.40/2528.24 c | 888893 | 18463 86170 286586 | 2147483647 388835 179 | 0.000 % |
2527.50/2528.38 c | 888995 | 18463 86170 286586 | 2147483647 388937 179 | 0.000 % |
2527.80/2528.69 c | 889105 | 18463 86170 286586 | 2147483647 389047 179 | 0.000 % |
2528.10/2528.94 c | 889226 | 18463 86170 286586 | 2147483647 389168 179 | 0.000 % |
2528.40/2529.27 c | 889359 | 18463 86170 286586 | 2147483647 389301 179 | 0.000 % |
2528.79/2529.62 c | 889506 | 18463 86170 286586 | 2147483647 389448 179 | 0.000 % |
2529.69/2530.53 c | 889667 | 18463 86170 286586 | 2147483647 389609 179 | 0.000 % |
2530.20/2531.01 c | 889844 | 18463 86170 286586 | 2147483647 389786 179 | 0.000 % |
2530.59/2531.42 c | 890037 | 18463 86170 286586 | 2147483647 389979 179 | 0.000 % |
2531.40/2532.29 c | 890249 | 18463 86170 286586 | 2147483647 390191 179 | 0.000 % |
2532.19/2533.04 c | 890483 | 18463 86170 286586 | 2147483647 390425 179 | 0.000 % |
2532.69/2533.58 c | 890740 | 18463 86170 286586 | 2147483647 390682 179 | 0.000 % |
2533.69/2534.51 c | 891021 | 18463 86170 286586 | 2147483647 390963 179 | 0.000 % |
2534.99/2535.81 c | 891331 | 18463 86170 286586 | 2147483647 391273 179 | 0.000 % |
2536.09/2536.98 c | 891670 | 18463 86170 286586 | 2147483647 391612 179 | 0.000 % |
2536.80/2537.66 c | 892044 | 18463 86170 286586 | 2147483647 391986 179 | 0.000 % |
2540.19/2541.04 c | 892453 | 18463 86170 286586 | 2147483647 392395 179 | 0.000 % |
2544.09/2544.90 c | 892903 | 18463 86170 286586 | 2147483647 392845 179 | 0.000 % |
2547.99/2548.82 c | 893397 | 18463 86170 286586 | 2147483647 393339 179 | 0.000 % |
2552.39/2553.27 c | 893940 | 18463 86170 286586 | 2147483647 393882 180 | 0.000 % |
2558.19/2559.06 c | 894550 | 18463 86170 286586 | 2147483647 394492 180 | 0.000 % |
2563.78/2564.60 c | 895209 | 18463 86170 286586 | 2147483647 395151 180 | 0.000 % |
2569.48/2570.38 c | 895931 | 18463 86170 286586 | 2147483647 395873 180 | 0.000 % |
2576.28/2577.14 c | 896723 | 18463 86170 286586 | 2147483647 396665 180 | 0.000 % |
2583.18/2584.04 c | 897598 | 18463 86170 286586 | 2147483647 397540 180 | 0.000 % |
2590.08/2590.94 c | 898556 | 18463 86170 286586 | 2147483647 398498 181 | 0.000 % |
2593.18/2594.05 c | 899610 | 18463 86170 286586 | 2147483647 399552 180 | 0.000 % |
2595.27/2596.14 c | 900768 | 18463 86170 286586 | 2147483647 400710 180 | 0.000 % |
2597.77/2598.64 c | 902041 | 18463 86170 286586 | 2147483647 401983 180 | 0.000 % |
2601.67/2602.56 c | 903442 | 18463 86170 286586 | 2147483647 403384 180 | 0.000 % |
2603.87/2604.71 c | 904983 | 18463 86170 286586 | 2147483647 404925 179 | 0.000 % |
2606.87/2607.71 c | 906678 | 18463 86170 286586 | 2147483647 406620 179 | 0.000 % |
2612.17/2613.04 c | 908542 | 18463 86170 286586 | 2147483647 408484 179 | 0.000 % |
2617.17/2618.06 c | 910596 | 18463 86170 286586 | 2147483647 410538 179 | 0.000 % |
2624.87/2625.72 c | 912849 | 18463 86170 286586 | 2147483647 412791 179 | 0.000 % |
2629.76/2630.69 c | 915327 | 18463 86170 286586 | 2147483647 415269 179 | 0.000 % |
2638.66/2639.52 c | 918053 | 18463 86170 286586 | 2147483647 417995 179 | 0.000 % |
2646.06/2646.92 c | 921050 | 18463 86170 286586 | 2147483647 420992 179 | 0.000 % |
2664.95/2665.89 c | 924347 | 18463 86170 286586 | 2147483647 424289 180 | 0.000 % |
2678.05/2678.98 c | 927973 | 18463 86170 286586 | 2147483647 427915 181 | 0.000 % |
2692.84/2693.78 c | 931963 | 18463 86170 286586 | 2147483647 431905 181 | 0.000 % |
2710.34/2711.26 c | 936348 | 18463 86170 286586 | 2147483647 436290 182 | 0.000 % |
2730.93/2731.82 c | 941171 | 18463 86170 286586 | 2147483647 441113 183 | 0.000 % |
2757.43/2758.38 c | 946479 | 18463 86170 286586 | 2147483647 446421 184 | 0.000 % |
2786.13/2787.09 c | 952316 | 18463 86170 286586 | 2147483647 452258 185 | 0.000 % |
2814.82/2815.76 c | 958737 | 18463 86170 286586 | 2147483647 458679 187 | 0.000 % |
2852.31/2853.20 c | 965800 | 18463 86170 286586 | 2147483647 465742 191 | 0.000 % |
2898.20/2899.11 c | 973568 | 18463 86170 286586 | 2147483647 473510 192 | 0.000 % |
2958.78/2959.76 c | 982108 | 18463 86170 286586 | 2147483647 482050 194 | 0.000 % |
2959.38/2960.35 c | 982210 | 18463 86170 286586 | 2147483647 482152 194 | 0.000 % |
2959.98/2960.98 c | 982321 | 18463 86170 286586 | 2147483647 482263 194 | 0.000 % |
2960.58/2961.58 c | 982443 | 18463 86170 286586 | 2147483647 482385 194 | 0.000 % |
2961.68/2962.60 c | 982576 | 18463 86170 286586 | 2147483647 482518 194 | 0.000 % |
2963.07/2964.09 c | 982724 | 18463 86170 286586 | 2147483647 482666 194 | 0.000 % |
2965.07/2966.01 c | 982889 | 18463 86170 286586 | 2147483647 482831 194 | 0.000 % |
2967.07/2968.03 c | 983069 | 18463 86170 286586 | 2147483647 483011 194 | 0.000 % |
2967.98/2968.90 c | 983262 | 18463 86170 286586 | 2147483647 483204 194 | 0.000 % |
2968.37/2969.35 c | 983474 | 18463 86170 286586 | 2147483647 483416 194 | 0.000 % |
2969.08/2970.05 c | 983709 | 18463 86170 286586 | 2147483647 483651 194 | 0.000 % |
2970.27/2971.29 c | 983966 | 18463 86170 286586 | 2147483647 483908 194 | 0.000 % |
2971.77/2972.76 c | 984248 | 18463 86170 286586 | 2147483647 484190 194 | 0.000 % |
2972.37/2973.34 c | 984557 | 18463 86170 286586 | 2147483647 484499 194 | 0.000 % |
2973.37/2974.39 c | 984896 | 18463 86170 286586 | 2147483647 484838 194 | 0.000 % |
2975.57/2976.51 c | 985268 | 18463 86170 286586 | 2147483647 485210 194 | 0.000 % |
2977.57/2978.58 c | 985679 | 18463 86170 286586 | 2147483647 485621 194 | 0.000 % |
2979.57/2980.56 c | 986134 | 18463 86170 286586 | 2147483647 486076 194 | 0.000 % |
2981.17/2982.16 c | 986628 | 18463 86170 286586 | 2147483647 486570 194 | 0.000 % |
2984.27/2985.23 c | 987170 | 18463 86170 286586 | 2147483647 487112 194 | 0.000 % |
2986.87/2987.87 c | 987770 | 18463 86170 286586 | 2147483647 487712 194 | 0.000 % |
2990.76/2991.77 c | 988425 | 18463 86170 286586 | 2147483647 488367 194 | 0.000 % |
2993.96/2994.92 c | 989145 | 18463 86170 286586 | 2147483647 489087 194 | 0.000 % |
3001.16/3002.11 c | 989937 | 18463 86170 286586 | 2147483647 489879 194 | 0.000 % |
3009.86/3010.86 c | 990815 | 18463 86170 286586 | 2147483647 490757 194 | 0.000 % |
3017.16/3018.15 c | 991773 | 18463 86170 286586 | 2147483647 491715 195 | 0.000 % |
3023.35/3024.32 c | 992827 | 18463 86170 286586 | 2147483647 492769 195 | 0.000 % |
3029.85/3030.86 c | 993985 | 18463 86170 286586 | 2147483647 493927 195 | 0.000 % |
3037.65/3038.70 c | 995260 | 18463 86170 286586 | 2147483647 495202 195 | 0.000 % |
3046.15/3047.18 c | 996660 | 18463 86170 286586 | 2147483647 496602 195 | 0.000 % |
3055.95/3056.91 c | 998201 | 18463 86170 286586 | 2147483647 498143 196 | 0.000 % |
3067.34/3068.34 c | 999896 | 18463 86170 286586 | 2147483647 499838 196 | 0.000 % |
3079.14/3080.18 c | 1001762 | 18463 86170 286586 | 2147483647 501704 196 | 0.000 % |
3090.93/3091.96 c | 1003811 | 18463 86170 286586 | 2147483647 503753 197 | 0.000 % |
3106.63/3107.61 c | 1006064 | 18463 86170 286586 | 2147483647 506006 198 | 0.000 % |
3132.12/3133.10 c | 1008544 | 18463 86170 286586 | 2147483647 508486 198 | 0.000 % |
3142.12/3143.12 c | 1011269 | 18463 86170 286586 | 2147483647 511211 198 | 0.000 % |
3149.51/3150.51 c | 1014266 | 18463 86170 286586 | 2147483647 514208 197 | 0.000 % |
3158.61/3159.64 c | 1017562 | 18463 86170 286586 | 2147483647 517504 197 | 0.000 % |
3177.21/3178.28 c | 1021190 | 18463 86170 286586 | 2147483647 521132 198 | 0.000 % |
3197.90/3198.95 c | 1025177 | 18463 86170 286586 | 2147483647 525119 198 | 0.000 % |
3218.40/3219.43 c | 1029566 | 18463 86170 286586 | 2147483647 529508 199 | 0.000 % |
3235.20/3236.25 c | 1034391 | 18463 86170 286586 | 2147483647 534333 199 | 0.000 % |
3251.79/3252.80 c | 1039696 | 18463 86170 286586 | 2147483647 539638 199 | 0.000 % |
3270.59/3271.65 c | 1045533 | 18463 86170 286586 | 2147483647 545475 199 | 0.000 % |
3299.37/3300.45 c | 1051951 | 18463 86170 286586 | 2147483647 551893 199 | 0.000 % |
3312.97/3314.02 c | 1059015 | 18463 86170 286586 | 2147483647 558957 198 | 0.000 % |
3342.56/3343.64 c | 1066779 | 18463 86170 286586 | 2147483647 566721 200 | 0.000 % |
3386.25/3387.34 c | 1075322 | 18463 86170 286586 | 569943 499424 199 | 0.000 % |
3421.84/3422.99 c | 1084717 | 18463 86170 286586 | 2147483647 508819 200 | 0.000 % |
3422.34/3423.50 c | 1084818 | 18463 86170 286586 | 2147483647 508920 200 | 0.000 % |
3422.84/3423.99 c | 1084928 | 18463 86170 286586 | 2147483647 509030 200 | 0.000 % |
3423.44/3424.53 c | 1085049 | 18463 86170 286586 | 2147483647 509151 200 | 0.000 % |
3425.24/3426.32 c | 1085183 | 18463 86170 286586 | 2147483647 509285 200 | 0.000 % |
3425.74/3426.83 c | 1085329 | 18463 86170 286586 | 2147483647 509431 200 | 0.000 % |
3426.04/3427.15 c | 1085489 | 18463 86170 286586 | 2147483647 509591 200 | 0.000 % |
3427.14/3428.27 c | 1085666 | 18463 86170 286586 | 2147483647 509768 200 | 0.000 % |
3428.44/3429.58 c | 1085861 | 18463 86170 286586 | 2147483647 509963 200 | 0.000 % |
3430.04/3431.11 c | 1086077 | 18463 86170 286586 | 2147483647 510179 200 | 0.000 % |
3432.64/3433.79 c | 1086310 | 18463 86170 286586 | 2147483647 510412 200 | 0.000 % |
3435.63/3436.76 c | 1086572 | 18463 86170 286586 | 2147483647 510674 200 | 0.000 % |
3437.44/3438.56 c | 1086857 | 18463 86170 286586 | 2147483647 510959 200 | 0.000 % |
3439.43/3440.52 c | 1087168 | 18463 86170 286586 | 2147483647 511270 201 | 0.000 % |
3441.94/3443.08 c | 1087507 | 18463 86170 286586 | 2147483647 511609 201 | 0.000 % |
3443.93/3445.03 c | 1087880 | 18463 86170 286586 | 2147483647 511982 201 | 0.000 % |
3445.13/3446.21 c | 1088290 | 18463 86170 286586 | 2147483647 512392 201 | 0.000 % |
3446.13/3447.24 c | 1088739 | 18463 86170 286586 | 2147483647 512841 201 | 0.000 % |
3450.53/3451.61 c | 1089232 | 18463 86170 286586 | 2147483647 513334 201 | 0.000 % |
3452.33/3453.42 c | 1089775 | 18463 86170 286586 | 2147483647 513877 200 | 0.000 % |
3453.33/3454.49 c | 1090373 | 18463 86170 286586 | 2147483647 514475 200 | 0.000 % |
3454.83/3455.97 c | 1091030 | 18463 86170 286586 | 2147483647 515132 200 | 0.000 % |
3457.12/3458.22 c | 1091751 | 18463 86170 286586 | 2147483647 515853 200 | 0.000 % |
3459.82/3460.96 c | 1092543 | 18463 86170 286586 | 2147483647 516645 200 | 0.000 % |
3462.52/3463.65 c | 1093415 | 18463 86170 286586 | 2147483647 517517 200 | 0.000 % |
3466.82/3467.98 c | 1094373 | 18463 86170 286586 | 2147483647 518475 200 | 0.000 % |
3470.22/3471.36 c | 1095426 | 18463 86170 286586 | 2147483647 519528 200 | 0.000 % |
3474.32/3475.48 c | 1096585 | 18463 86170 286586 | 2147483647 520687 199 | 0.000 % |
3478.92/3480.04 c | 1097858 | 18463 86170 286586 | 2147483647 521960 199 | 0.000 % |
3486.42/3487.58 c | 1099258 | 18463 86170 286586 | 2147483647 523360 199 | 0.000 % |
3496.41/3497.54 c | 1100798 | 18463 86170 286586 | 2147483647 524900 199 | 0.000 % |
3504.51/3505.70 c | 1102492 | 18463 86170 286586 | 2147483647 526594 199 | 0.000 % |
3510.92/3512.07 c | 1104355 | 18463 86170 286586 | 2147483647 528457 199 | 0.000 % |
3519.52/3520.64 c | 1106404 | 18463 86170 286586 | 2147483647 530506 200 | 0.000 % |
3526.81/3527.95 c | 1108657 | 18463 86170 286586 | 2147483647 532759 200 | 0.000 % |
3534.61/3535.72 c | 1111135 | 18463 86170 286586 | 2147483647 535237 200 | 0.000 % |
3547.71/3548.89 c | 1113863 | 18463 86170 286586 | 2147483647 537965 201 | 0.000 % |
3560.80/3561.98 c | 1116861 | 18463 86170 286586 | 2147483647 540963 201 | 0.000 % |
3574.90/3576.08 c | 1120158 | 18463 86170 286586 | 2147483647 544260 201 | 0.000 % |
3585.19/3586.33 c | 1123786 | 18463 86170 286586 | 2147483647 547888 202 | 0.000 % |
3599.79/3600.95 c | 1127774 | 18463 86170 286586 | 2147483647 551876 202 | 0.000 % |
3629.48/3630.70 c | 1132159 | 18463 86170 286586 | 554102 455380 196 | 0.000 % |
3651.27/3652.40 c | 1136984 | 18463 86170 286586 | 554102 460205 197 | 0.000 % |
3668.87/3670.05 c | 1142291 | 18463 86170 286586 | 2147483647 465512 199 | 0.000 % |
3699.76/3700.96 c | 1148126 | 18463 86170 286586 | 2147483647 471347 199 | 0.000 % |
3725.05/3726.26 c | 1154544 | 18463 86170 286586 | 2147483647 477765 201 | 0.000 % |
3762.64/3763.82 c | 1161604 | 18463 86170 286586 | 483222 484825 204 | 0.000 % |
3811.53/3812.79 c | 1169370 | 18463 86170 286586 | 483222 440678 200 | 0.000 % |
3860.21/3861.48 c | 1177910 | 18463 86170 286586 | 2147483647 449218 204 | 0.000 % |
3913.90/3915.14 c | 1187305 | 18463 86170 286586 | 2147483647 458613 205 | 0.000 % |
3935.49/3936.78 c | 1197638 | 18463 86170 286586 | 2147483647 468946 202 | 0.000 % |
3935.79/3937.08 c | 1197738 | 18463 86170 286586 | 2147483647 469046 202 | 0.001 % |
3936.59/3937.88 c | 1197851 | 18463 86170 286586 | 2147483647 469159 202 | 0.000 % |
3937.09/3938.36 c | 1197973 | 18463 86170 286586 | 2147483647 469281 202 | 0.000 % |
3937.39/3938.69 c | 1198107 | 18463 86170 286586 | 2147483647 469415 202 | 0.000 % |
3938.19/3939.48 c | 1198254 | 18463 86170 286586 | 2147483647 469562 202 | 0.000 % |
3938.79/3940.08 c | 1198414 | 18463 86170 286586 | 2147483647 469722 202 | 0.000 % |
3939.69/3940.96 c | 1198590 | 18463 86170 286586 | 2147483647 469898 202 | 0.000 % |
3940.99/3942.29 c | 1198783 | 18463 86170 286586 | 2147483647 470091 202 | 0.000 % |
3942.19/3943.42 c | 1198995 | 18463 86170 286586 | 2147483647 470303 202 | 0.000 % |
3943.19/3944.41 c | 1199231 | 18463 86170 286586 | 2147483647 470539 202 | 0.000 % |
3944.39/3945.69 c | 1199487 | 18463 86170 286586 | 2147483647 470795 202 | 0.000 % |
3945.79/3947.08 c | 1199768 | 18463 86170 286586 | 2147483647 471076 202 | 0.000 % |
3947.99/3949.23 c | 1200078 | 18463 86170 286586 | 2147483647 471386 202 | 0.000 % |
3950.29/3951.50 c | 1200421 | 18463 86170 286586 | 2147483647 471729 202 | 0.000 % |
3952.59/3953.87 c | 1200794 | 18463 86170 286586 | 2147483647 472102 202 | 0.000 % |
3954.19/3955.40 c | 1201205 | 18463 86170 286586 | 2147483647 472513 202 | 0.000 % |
3956.59/3957.86 c | 1201656 | 18463 86170 286586 | 2147483647 472964 202 | 0.000 % |
3959.08/3960.37 c | 1202149 | 18463 86170 286586 | 2147483647 473457 203 | 0.000 % |
3962.38/3963.65 c | 1202692 | 18463 86170 286586 | 2147483647 474000 203 | 0.000 % |
3964.08/3965.32 c | 1203294 | 18463 86170 286586 | 2147483647 474602 203 | 0.000 % |
3967.38/3968.60 c | 1203952 | 18463 86170 286586 | 2147483647 475260 203 | 0.000 % |
3970.18/3971.43 c | 1204672 | 18463 86170 286586 | 2147483647 475980 203 | 0.000 % |
3973.98/3975.20 c | 1205465 | 18463 86170 286586 | 2147483647 476773 203 | 0.000 % |
3977.38/3978.66 c | 1206337 | 18463 86170 286586 | 2147483647 477645 203 | 0.000 % |
3980.98/3982.22 c | 1207296 | 18463 86170 286586 | 2147483647 478604 203 | 0.000 % |
3983.68/3984.90 c | 1208354 | 18463 86170 286586 | 2147483647 479662 203 | 0.000 % |
3988.28/3989.60 c | 1209512 | 18463 86170 286586 | 2147483647 480820 203 | 0.000 % |
3997.37/3998.68 c | 1210787 | 18463 86170 286586 | 2147483647 482095 204 | 0.000 % |
4008.78/4010.09 c | 1212188 | 18463 86170 286586 | 2147483647 483496 204 | 0.000 % |
4017.68/4018.99 c | 1213729 | 18463 86170 286586 | 2147483647 485037 204 | 0.000 % |
4029.97/4031.27 c | 1215423 | 18463 86170 286586 | 2147483647 486731 204 | 0.000 % |
4042.77/4044.04 c | 1217286 | 18463 86170 286586 | 2147483647 488594 205 | 0.000 % |
4056.76/4058.06 c | 1219338 | 18463 86170 286586 | 2147483647 490646 206 | 0.000 % |
4072.86/4074.10 c | 1221591 | 18463 86170 286586 | 2147483647 492899 206 | 0.000 % |
4091.65/4092.99 c | 1224069 | 18463 86170 286586 | 2147483647 495377 207 | 0.000 % |
4103.25/4104.53 c | 1226795 | 18463 86170 286586 | 2147483647 498103 207 | 0.000 % |
4116.45/4117.76 c | 1229792 | 18463 86170 286586 | 2147483647 501100 208 | 0.000 % |
4135.54/4136.89 c | 1233088 | 18463 86170 286586 | 2147483647 504396 208 | 0.000 % |
4161.54/4162.82 c | 1236713 | 18463 86170 286586 | 2147483647 508021 209 | 0.000 % |
4195.03/4196.39 c | 1240700 | 18463 86170 286586 | 2147483647 512008 209 | 0.000 % |
4231.11/4232.40 c | 1245086 | 18463 86170 286586 | 2147483647 516394 210 | 0.000 % |
4259.80/4261.15 c | 1249909 | 18463 86170 286586 | 2147483647 521217 211 | 0.000 % |
4291.34/4292.79 c | 1255214 | 18463 86170 286586 | 2147483647 526522 212 | 0.000 % |
4331.82/4333.25 c | 1261051 | 18463 86170 286586 | 2147483647 532359 212 | 0.000 % |
4366.92/4368.35 c | 1267471 | 18463 86170 286586 | 2147483647 538779 213 | 0.000 % |
4399.51/4400.91 c | 1274530 | 18463 86170 286586 | 2147483647 545838 214 | 0.000 % |
4422.20/4423.61 c | 1282296 | 18463 86170 286586 | 2147483647 553604 213 | 0.000 % |
4457.69/4459.10 c | 1290838 | 18463 86170 286586 | 561310 562146 215 | 0.000 % |
4502.88/4504.40 c | 1300232 | 18463 86170 286586 | 487075 487304 217 | 0.000 % |
4560.27/4561.71 c | 1310569 | 18463 86170 286586 | 2147483647 423549 217 | 0.000 % |
4608.15/4609.69 c | 1321937 | 18463 86170 286586 | 2147483647 434917 221 | 0.000 % |
4608.65/4610.17 c | 1322037 | 18463 86170 286586 | 2147483647 435017 221 | 0.000 % |
4609.15/4610.62 c | 1322147 | 18463 86170 286586 | 2147483647 435127 221 | 0.000 % |
4609.55/4611.05 c | 1322268 | 18463 86170 286586 | 2147483647 435248 221 | 0.000 % |
4610.35/4611.81 c | 1322401 | 18463 86170 286586 | 2147483647 435381 221 | 0.000 % |
4610.95/4612.42 c | 1322547 | 18463 86170 286586 | 2147483647 435527 221 | 0.000 % |
4611.85/4613.31 c | 1322708 | 18463 86170 286586 | 2147483647 435688 221 | 0.000 % |
4612.95/4614.40 c | 1322885 | 18463 86170 286586 | 2147483647 435865 221 | 0.000 % |
4613.45/4614.99 c | 1323079 | 18463 86170 286586 | 2147483647 436059 221 | 0.000 % |
4615.25/4616.74 c | 1323295 | 18463 86170 286586 | 2147483647 436275 221 | 0.000 % |
4617.35/4618.85 c | 1323530 | 18463 86170 286586 | 2147483647 436510 221 | 0.000 % |
4619.44/4621.00 c | 1323790 | 18463 86170 286586 | 2147483647 436770 221 | 0.000 % |
4621.64/4623.18 c | 1324074 | 18463 86170 286586 | 2147483647 437054 221 | 0.000 % |
4624.44/4625.93 c | 1324388 | 18463 86170 286586 | 2147483647 437368 221 | 0.000 % |
4627.25/4628.72 c | 1324729 | 18463 86170 286586 | 2147483647 437709 221 | 0.000 % |
4630.24/4631.79 c | 1325107 | 18463 86170 286586 | 2147483647 438087 221 | 0.000 % |
4633.64/4635.16 c | 1325517 | 18463 86170 286586 | 2147483647 438497 221 | 0.000 % |
4637.34/4638.85 c | 1325972 | 18463 86170 286586 | 2147483647 438952 221 | 0.000 % |
4642.54/4644.01 c | 1326468 | 18463 86170 286586 | 2147483647 439448 221 | 0.000 % |
4645.73/4647.26 c | 1327011 | 18463 86170 286586 | 2147483647 439991 221 | 0.000 % |
4648.83/4650.32 c | 1327608 | 18463 86170 286586 | 2147483647 440588 221 | 0.000 % |
4650.93/4652.42 c | 1328264 | 18463 86170 286586 | 2147483647 441244 221 | 0.000 % |
4653.23/4654.70 c | 1328988 | 18463 86170 286586 | 2147483647 441968 221 | 0.000 % |
4656.13/4657.62 c | 1329781 | 18463 86170 286586 | 2147483647 442761 221 | 0.000 % |
4657.94/4659.47 c | 1330652 | 18463 86170 286586 | 2147483647 443632 220 | 0.000 % |
4660.44/4661.98 c | 1331610 | 18463 86170 286586 | 2147483647 444590 220 | 0.000 % |
4663.54/4665.06 c | 1332663 | 18463 86170 286586 | 2147483647 445643 220 | 0.000 % |
4666.84/4668.35 c | 1333822 | 18463 86170 286586 | 2147483647 446802 220 | 0.000 % |
4668.93/4670.46 c | 1335096 | 18463 86170 286586 | 2147483647 448076 220 | 0.000 % |
4673.54/4675.04 c | 1336496 | 18463 86170 286586 | 2147483647 449476 220 | 0.000 % |
4679.13/4680.67 c | 1338036 | 18463 86170 286586 | 2147483647 451016 220 | 0.000 % |
4683.63/4685.16 c | 1339731 | 18463 86170 286586 | 2147483647 452711 220 | 0.000 % |
4686.83/4688.32 c | 1341595 | 18463 86170 286586 | 2147483647 454575 220 | 0.000 % |
4689.83/4691.36 c | 1343644 | 18463 86170 286586 | 2147483647 456624 219 | 0.000 % |
4693.72/4695.25 c | 1345899 | 18463 86170 286586 | 2147483647 458879 219 | 0.000 % |
4702.72/4704.22 c | 1348380 | 18463 86170 286586 | 2147483647 461360 219 | 0.000 % |
4709.83/4711.34 c | 1351105 | 18463 86170 286586 | 2147483647 464085 218 | 0.000 % |
4716.42/4717.98 c | 1354103 | 18463 86170 286586 | 2147483647 467083 218 | 0.000 % |
4725.72/4727.28 c | 1357403 | 18463 86170 286586 | 2147483647 470383 217 | 0.000 % |
4733.01/4734.60 c | 1361028 | 18463 86170 286586 | 2147483647 474008 217 | 0.000 % |
4741.01/4742.59 c | 1365016 | 18463 86170 286586 | 2147483647 477996 217 | 0.000 % |
4749.21/4750.74 c | 1369402 | 18463 86170 286586 | 2147483647 482382 216 | 0.000 % |
4764.81/4766.39 c | 1374226 | 18463 86170 286586 | 2147483647 487206 216 | 0.000 % |
4777.00/4778.56 c | 1379532 | 18463 86170 286586 | 2147483647 492512 216 | 0.000 % |
4795.29/4796.82 c | 1385368 | 18463 86170 286586 | 2147483647 498348 215 | 0.000 % |
4810.79/4812.30 c | 1391786 | 18463 86170 286586 | 2147483647 504766 214 | 0.000 % |
4817.89/4819.49 c | 1398846 | 18463 86170 286586 | 2147483647 511826 212 | 0.000 % |
4832.99/4834.56 c | 1406610 | 18463 86170 286586 | 2147483647 519590 211 | 0.000 % |
4849.98/4851.50 c | 1415150 | 18463 86170 286586 | 2147483647 528130 211 | 0.000 % |
4871.47/4873.00 c | 1424545 | 18463 86170 286586 | 2147483647 537525 210 | 0.000 % |
4949.15/4950.76 c | 1434881 | 18463 86170 286586 | 2147483647 547861 211 | 0.000 % |
4999.34/5000.90 c | 1446248 | 18463 86170 286586 | 552980 490682 204 | 0.000 % |
5020.33/5021.95 c | 1458751 | 18463 86170 286586 | 2147483647 503185 202 | 0.000 % |
5020.43/5022.07 c | 1458852 | 18463 86170 286586 | 2147483647 503286 202 | 0.000 % |
5020.63/5022.26 c | 1458964 | 18463 86170 286586 | 2147483647 503398 202 | 0.000 % |
5020.83/5022.48 c | 1459088 | 18463 86170 286586 | 2147483647 503522 202 | 0.000 % |
5021.43/5023.10 c | 1459223 | 18463 86170 286586 | 2147483647 503657 202 | 0.000 % |
5022.73/5024.30 c | 1459370 | 18463 86170 286586 | 2147483647 503804 202 | 0.000 % |
5023.43/5025.09 c | 1459530 | 18463 86170 286586 | 2147483647 503964 202 | 0.000 % |
5023.93/5025.54 c | 1459707 | 18463 86170 286586 | 2147483647 504141 202 | 0.000 % |
5025.53/5027.11 c | 1459900 | 18463 86170 286586 | 2147483647 504334 202 | 0.000 % |
5026.53/5028.13 c | 1460112 | 18463 86170 286586 | 2147483647 504546 202 | 0.000 % |
5027.93/5029.52 c | 1460345 | 18463 86170 286586 | 2147483647 504779 202 | 0.000 % |
5029.13/5030.79 c | 1460601 | 18463 86170 286586 | 2147483647 505035 202 | 0.000 % |
5030.03/5031.62 c | 1460882 | 18463 86170 286586 | 2147483647 505316 202 | 0.000 % |
5032.03/5033.65 c | 1461192 | 18463 86170 286586 | 2147483647 505626 202 | 0.000 % |
5033.33/5034.94 c | 1461531 | 18463 86170 286586 | 2147483647 505965 202 | 0.000 % |
5035.72/5037.33 c | 1461908 | 18463 86170 286586 | 2147483647 506342 202 | 0.000 % |
5038.22/5039.86 c | 1462317 | 18463 86170 286586 | 2147483647 506751 202 | 0.000 % |
5041.02/5042.60 c | 1462768 | 18463 86170 286586 | 2147483647 507202 202 | 0.000 % |
5043.42/5045.03 c | 1463261 | 18463 86170 286586 | 2147483647 507695 202 | 0.000 % |
5045.13/5046.79 c | 1463804 | 18463 86170 286586 | 2147483647 508238 202 | 0.000 % |
5047.72/5049.33 c | 1464400 | 18463 86170 286586 | 2147483647 508834 202 | 0.000 % |
5050.02/5051.60 c | 1465055 | 18463 86170 286586 | 2147483647 509489 202 | 0.000 % |
5051.92/5053.56 c | 1465775 | 18463 86170 286586 | 2147483647 510209 202 | 0.000 % |
5053.72/5055.38 c | 1466568 | 18463 86170 286586 | 2147483647 511002 202 | 0.000 % |
5057.72/5059.31 c | 1467439 | 18463 86170 286586 | 2147483647 511873 202 | 0.000 % |
5062.72/5064.40 c | 1468397 | 18463 86170 286586 | 2147483647 512831 202 | 0.000 % |
5067.42/5069.00 c | 1469450 | 18463 86170 286586 | 2147483647 513884 202 | 0.000 % |
5070.11/5071.76 c | 1470610 | 18463 86170 286586 | 2147483647 515044 202 | 0.000 % |
5071.91/5073.55 c | 1471884 | 18463 86170 286586 | 2147483647 516318 201 | 0.000 % |
5074.11/5075.78 c | 1473285 | 18463 86170 286586 | 2147483647 517719 201 | 0.000 % |
5079.11/5080.77 c | 1474829 | 18463 86170 286586 | 2147483647 519263 201 | 0.000 % |
5085.91/5087.57 c | 1476524 | 18463 86170 286586 | 2147483647 520958 202 | 0.000 % |
5091.51/5093.19 c | 1478387 | 18463 86170 286586 | 2147483647 522821 201 | 0.000 % |
5098.21/5099.80 c | 1480436 | 18463 86170 286586 | 2147483647 524870 201 | 0.000 % |
5107.10/5108.76 c | 1482689 | 18463 86170 286586 | 2147483647 527123 201 | 0.000 % |
5115.70/5117.37 c | 1485167 | 18463 86170 286586 | 2147483647 529601 202 | 0.000 % |
5125.40/5127.09 c | 1487895 | 18463 86170 286586 | 2147483647 532329 202 | 0.000 % |
5138.19/5139.80 c | 1490894 | 18463 86170 286586 | 2147483647 535328 202 | 0.000 % |
5152.99/5154.62 c | 1494190 | 18463 86170 286586 | 2147483647 538624 202 | 0.000 % |
5172.98/5174.67 c | 1497815 | 18463 86170 286586 | 2147483647 542249 204 | 0.000 % |
5195.58/5197.23 c | 1501803 | 18463 86170 286586 | 2147483647 546237 204 | 0.000 % |
5226.07/5227.75 c | 1506188 | 18463 86170 286586 | 2147483647 550622 205 | 0.000 % |
5251.36/5253.09 c | 1511012 | 18463 86170 286586 | 2147483647 555446 206 | 0.000 % |
5280.25/5281.91 c | 1516321 | 18463 86170 286586 | 2147483647 560755 207 | 0.000 % |
5319.94/5321.62 c | 1522156 | 18463 86170 286586 | 564435 506936 198 | 0.000 % |
5358.83/5360.55 c | 1528576 | 18463 86170 286586 | 564435 513356 199 | 0.000 % |
5401.72/5403.40 c | 1535635 | 18463 86170 286586 | 2147483647 520415 201 | 0.000 % |
5453.21/5454.94 c | 1543401 | 18463 86170 286586 | 2147483647 528181 203 | 0.000 % |
5509.70/5511.50 c | 1551945 | 18463 86170 286586 | 2147483647 536725 205 | 0.000 % |
5567.18/5568.92 c | 1561341 | 18463 86170 286586 | 2147483647 546121 207 | 0.000 % |
5636.96/5638.74 c | 1571677 | 18463 86170 286586 | 554781 556457 209 | 0.000 % |
5720.35/5722.14 c | 1583046 | 18463 86170 286586 | 2147483647 492907 202 | 0.000 % |
5817.12/5818.94 c | 1595548 | 18463 86170 286586 | 2147483647 505409 204 | 0.000 % |
5894.89/5896.77 c | 1609300 | 18463 86170 286586 | 2147483647 519161 206 | 0.000 % |
5895.49/5897.34 c | 1609400 | 18463 86170 286586 | 2147483647 519261 206 | 0.000 % |
5896.09/5897.96 c | 1609513 | 18463 86170 286586 | 2147483647 519374 206 | 0.000 % |
5897.09/5898.95 c | 1609641 | 18463 86170 286586 | 2147483647 519502 206 | 0.000 % |
5898.50/5900.35 c | 1609774 | 18463 86170 286586 | 2147483647 519635 206 | 0.000 % |
5900.09/5901.94 c | 1609923 | 18463 86170 286586 | 2147483647 519784 206 | 0.000 % |
5901.29/5903.15 c | 1610083 | 18463 86170 286586 | 519861 519944 206 | 0.000 % |
5907.39/5909.22 c | 1610261 | 18463 86170 286586 | 519861 459841 205 | 0.000 % |
5908.59/5910.46 c | 1610455 | 18463 86170 286586 | 519861 460035 205 | 0.000 % |
5909.79/5911.62 c | 1610669 | 18463 86170 286586 | 519861 460249 205 | 0.000 % |
5911.09/5912.93 c | 1610903 | 18463 86170 286586 | 519861 460483 205 | 0.000 % |
5912.99/5914.88 c | 1611159 | 18463 86170 286586 | 519861 460739 205 | 0.000 % |
5914.29/5916.18 c | 1611440 | 18463 86170 286586 | 519861 461020 205 | 0.000 % |
5915.79/5917.61 c | 1611751 | 18463 86170 286586 | 519861 461331 205 | 0.000 % |
5917.29/5919.11 c | 1612094 | 18463 86170 286586 | 519861 461674 205 | 0.000 % |
5920.49/5922.37 c | 1612468 | 18463 86170 286586 | 519861 462048 205 | 0.000 % |
5923.98/5925.85 c | 1612877 | 18463 86170 286586 | 519861 462457 205 | 0.000 % |
5926.38/5928.25 c | 1613326 | 18463 86170 286586 | 519861 462906 205 | 0.000 % |
5928.08/5929.98 c | 1613820 | 18463 86170 286586 | 519861 463400 205 | 0.000 % |
5930.18/5932.02 c | 1614362 | 18463 86170 286586 | 519861 463942 205 | 0.000 % |
5932.59/5934.46 c | 1614961 | 18463 86170 286586 | 519861 464541 205 | 0.000 % |
5934.98/5936.80 c | 1615620 | 18463 86170 286586 | 519861 465200 205 | 0.000 % |
5937.58/5939.41 c | 1616340 | 18463 86170 286586 | 519861 465920 205 | 0.000 % |
5939.98/5941.84 c | 1617134 | 18463 86170 286586 | 519861 466714 205 | 0.000 % |
5942.08/5943.95 c | 1618007 | 18463 86170 286586 | 519861 467587 205 | 0.000 % |
5944.48/5946.35 c | 1618967 | 18463 86170 286586 | 519861 468547 205 | 0.000 % |
5947.38/5949.25 c | 1620022 | 18463 86170 286586 | 2147483647 469602 205 | 0.000 % |
5954.38/5956.25 c | 1621180 | 18463 86170 286586 | 2147483647 470760 205 | 0.000 % |
5957.78/5959.60 c | 1622453 | 18463 86170 286586 | 2147483647 472033 205 | 0.000 % |
5962.47/5964.36 c | 1623854 | 18463 86170 286586 | 2147483647 473434 205 | 0.000 % |
5968.57/5970.42 c | 1625395 | 18463 86170 286586 | 2147483647 474975 205 | 0.000 % |
5971.27/5973.12 c | 1627089 | 18463 86170 286586 | 2147483647 476669 205 | 0.000 % |
5980.06/5981.99 c | 1628952 | 18463 86170 286586 | 2147483647 478532 205 | 0.000 % |
5989.56/5991.50 c | 1631001 | 18463 86170 286586 | 479581 480581 205 | 0.000 % |
6000.06/6001.95 c | 1633254 | 18463 86170 286586 | 479581 406094 202 | 0.000 % |
6012.65/6014.58 c | 1635732 | 18463 86170 286586 | 479581 408572 203 | 0.000 % |
6027.85/6029.75 c | 1638457 | 18463 86170 286586 | 479581 411297 203 | 0.000 % |
6044.65/6046.60 c | 1641455 | 18463 86170 286586 | 2147483647 414295 203 | 0.000 % |
6061.04/6062.97 c | 1644752 | 18463 86170 286586 | 2147483647 417592 204 | 0.000 % |
6081.24/6083.14 c | 1648382 | 18463 86170 286586 | 2147483647 421222 205 | 0.000 % |
6104.23/6106.14 c | 1652369 | 18463 86170 286586 | 2147483647 425209 205 | 0.000 % |
6130.63/6132.56 c | 1656754 | 18463 86170 286586 | 2147483647 429594 206 | 0.000 % |
6150.82/6152.77 c | 1661579 | 18463 86170 286586 | 2147483647 434419 210 | 0.000 % |
6164.81/6166.79 c | 1666886 | 18463 86170 286586 | 2147483647 439726 209 | 0.000 % |
6179.81/6181.78 c | 1672721 | 18463 86170 286586 | 2147483647 445561 209 | 0.000 % |
6204.90/6206.89 c | 1679139 | 18463 86170 286586 | 2147483647 451979 210 | 0.000 % |
6227.09/6229.05 c | 1686199 | 18463 86170 286586 | 2147483647 459039 210 | 0.000 % |
6259.48/6261.45 c | 1693967 | 18463 86170 286586 | 2147483647 466807 210 | 0.000 % |
6281.38/6283.36 c | 1702507 | 18463 86170 286586 | 2147483647 475347 211 | 0.000 % |
6324.08/6326.09 c | 1711902 | 18463 86170 286586 | 482841 484742 214 | 0.000 % |
6374.67/6376.64 c | 1722239 | 18463 86170 286586 | 2147483647 409262 209 | 0.000 % |
6422.95/6424.90 c | 1733607 | 18463 86170 286586 | 2147483647 420630 213 | 0.000 % |
6489.13/6491.20 c | 1746109 | 18463 86170 286586 | 2147483647 433132 216 | 0.000 % |
6559.11/6561.13 c | 1759866 | 18463 86170 286586 | 2147483647 446889 219 | 0.000 % |
6651.79/6653.85 c | 1774994 | 18463 86170 286586 | 457023 394387 214 | 0.000 % |
6652.28/6654.37 c | 1775095 | 18463 86170 286586 | 457023 394488 214 | 0.000 % |
6652.89/6654.91 c | 1775205 | 18463 86170 286586 | 457023 394598 214 | 0.000 % |
6653.48/6655.50 c | 1775326 | 18463 86170 286586 | 457023 394719 214 | 0.000 % |
6654.68/6656.71 c | 1775460 | 18463 86170 286586 | 457023 394853 214 | 0.000 % |
6655.78/6657.81 c | 1775607 | 18463 86170 286586 | 457023 395000 214 | 0.000 % |
6656.68/6658.79 c | 1775767 | 18463 86170 286586 | 457023 395160 214 | 0.000 % |
6657.68/6659.80 c | 1775945 | 18463 86170 286586 | 457023 395338 214 | 0.000 % |
6658.88/6660.92 c | 1776142 | 18463 86170 286586 | 457023 395535 214 | 0.000 % |
6660.08/6662.15 c | 1776358 | 18463 86170 286586 | 457023 395751 214 | 0.000 % |
6661.68/6663.70 c | 1776596 | 18463 86170 286586 | 457023 395989 214 | 0.000 % |
6663.38/6665.46 c | 1776854 | 18463 86170 286586 | 457023 396247 214 | 0.000 % |
6665.08/6667.18 c | 1777135 | 18463 86170 286586 | 457023 396528 214 | 0.000 % |
6666.78/6668.85 c | 1777444 | 18463 86170 286586 | 457023 396837 214 | 0.000 % |
6668.78/6670.87 c | 1777784 | 18463 86170 286586 | 457023 397177 214 | 0.000 % |
6670.78/6672.87 c | 1778158 | 18463 86170 286586 | 457023 397551 214 | 0.000 % |
6672.78/6674.86 c | 1778567 | 18463 86170 286586 | 457023 397960 214 | 0.000 % |
6675.58/6677.68 c | 1779020 | 18463 86170 286586 | 457023 398413 214 | 0.000 % |
6678.38/6680.44 c | 1779523 | 18463 86170 286586 | 457023 398916 214 | 0.000 % |
6681.58/6683.67 c | 1780066 | 18463 86170 286586 | 2147483647 399459 214 | 0.000 % |
6684.37/6686.46 c | 1780664 | 18463 86170 286586 | 2147483647 400057 214 | 0.000 % |
6687.87/6689.92 c | 1781320 | 18463 86170 286586 | 2147483647 400713 214 | 0.000 % |
6691.87/6693.99 c | 1782046 | 18463 86170 286586 | 2147483647 401439 215 | 0.000 % |
6694.47/6696.51 c | 1782839 | 18463 86170 286586 | 2147483647 402232 215 | 0.000 % |
6697.87/6699.97 c | 1783711 | 18463 86170 286586 | 2147483647 403104 215 | 0.000 % |
6702.37/6704.47 c | 1784673 | 18463 86170 286586 | 2147483647 404066 215 | 0.000 % |
6706.06/6708.13 c | 1785728 | 18463 86170 286586 | 2147483647 405121 214 | 0.000 % |
6711.27/6713.35 c | 1786891 | 18463 86170 286586 | 2147483647 406284 215 | 0.000 % |
6716.36/6718.48 c | 1788165 | 18463 86170 286586 | 2147483647 407558 215 | 0.000 % |
6721.26/6723.39 c | 1789565 | 18463 86170 286586 | 2147483647 408958 215 | 0.000 % |
6726.96/6729.05 c | 1791105 | 18463 86170 286586 | 2147483647 410498 215 | 0.000 % |
6733.86/6735.92 c | 1792799 | 18463 86170 286586 | 2147483647 412192 215 | 0.000 % |
6740.65/6742.77 c | 1794662 | 18463 86170 286586 | 2147483647 414055 216 | 0.000 % |
6749.55/6751.69 c | 1796711 | 18463 86170 286586 | 2147483647 416104 216 | 0.000 % |
6759.65/6761.73 c | 1798965 | 18463 86170 286586 | 2147483647 418358 216 | 0.000 % |
6775.14/6777.29 c | 1801443 | 18463 86170 286586 | 2147483647 420836 216 | 0.000 % |
6791.24/6793.31 c | 1804168 | 18463 86170 286586 | 2147483647 423561 217 | 0.000 % |
6807.83/6809.95 c | 1807165 | 18463 86170 286586 | 2147483647 426558 217 | 0.000 % |
6828.33/6830.43 c | 1810465 | 18463 86170 286586 | 2147483647 429858 217 | 0.000 % |
6850.82/6852.96 c | 1814092 | 18463 86170 286586 | 2147483647 433485 218 | 0.000 % |
6873.41/6875.57 c | 1818079 | 18463 86170 286586 | 2147483647 437472 219 | 0.000 % |
6901.51/6903.64 c | 1822467 | 18463 86170 286586 | 2147483647 441860 220 | 0.000 % |
6928.30/6930.46 c | 1827290 | 18463 86170 286586 | 2147483647 446683 221 | 0.000 % |
6962.40/6964.53 c | 1832598 | 18463 86170 286586 | 2147483647 451991 222 | 0.000 % |
6999.09/7001.23 c | 1838436 | 18463 86170 286586 | 2147483647 457829 224 | 0.000 % |
7038.17/7040.33 c | 1844859 | 18463 86170 286586 | 2147483647 464252 226 | 0.000 % |
7084.06/7086.27 c | 1851921 | 18463 86170 286586 | 2147483647 471314 227 | 0.000 % |
7130.35/7132.56 c | 1859687 | 18463 86170 286586 | 2147483647 479080 229 | 0.000 % |
7182.63/7184.87 c | 1868228 | 18463 86170 286586 | 2147483647 487621 231 | 0.000 % |
7254.21/7256.45 c | 1877623 | 18463 86170 286586 | 2147483647 497016 232 | 0.000 % |
7338.38/7340.61 c | 1887960 | 18463 86170 286586 | 2147483647 507353 234 | 0.000 % |
7413.46/7415.74 c | 1899330 | 18463 86170 286586 | 2147483647 518723 236 | 0.000 % |
7495.84/7498.18 c | 1911838 | 18463 86170 286586 | 459523 378085 234 | 0.000 % |
7554.93/7557.24 c | 1925591 | 18463 86170 286586 | 2147483647 391838 238 | 0.000 % |
7577.13/7579.43 c | 1940718 | 18463 86170 286586 | 2147483647 406965 234 | 0.000 % |
7636.51/7638.84 c | 1957357 | 18463 86170 286586 | 416250 381729 228 | 0.000 % |
7636.81/7639.17 c | 1957457 | 18463 86170 286586 | 416250 381829 228 | 0.000 % |
7637.21/7639.56 c | 1957567 | 18463 86170 286586 | 416250 381939 228 | 0.000 % |
7637.71/7640.07 c | 1957688 | 18463 86170 286586 | 416250 382060 228 | 0.000 % |
7638.61/7640.97 c | 1957821 | 18463 86170 286586 | 416250 382193 228 | 0.000 % |
7638.91/7641.27 c | 1957968 | 18463 86170 286586 | 416250 382340 228 | 0.000 % |
7639.31/7641.67 c | 1958130 | 18463 86170 286586 | 416250 382502 228 | 0.000 % |
7639.81/7642.15 c | 1958308 | 18463 86170 286586 | 416250 382680 228 | 0.000 % |
7640.11/7642.46 c | 1958503 | 18463 86170 286586 | 416250 382875 227 | 0.000 % |
7641.40/7643.75 c | 1958716 | 18463 86170 286586 | 416250 383088 227 | 0.000 % |
7642.31/7644.64 c | 1958953 | 18463 86170 286586 | 416250 383325 227 | 0.000 % |
7643.01/7645.38 c | 1959209 | 18463 86170 286586 | 416250 383581 227 | 0.000 % |
7643.90/7646.27 c | 1959491 | 18463 86170 286586 | 416250 383863 227 | 0.000 % |
7644.70/7647.08 c | 1959802 | 18463 86170 286586 | 416250 384174 227 | 0.000 % |
7646.30/7648.67 c | 1960143 | 18463 86170 286586 | 2147483647 384515 227 | 0.000 % |
7647.80/7650.11 c | 1960516 | 18463 86170 286586 | 2147483647 384888 227 | 0.000 % |
7649.21/7651.59 c | 1960926 | 18463 86170 286586 | 2147483647 385298 227 | 0.000 % |
7650.31/7652.66 c | 1961376 | 18463 86170 286586 | 2147483647 385748 227 | 0.000 % |
7651.30/7653.62 c | 1961870 | 18463 86170 286586 | 2147483647 386242 227 | 0.000 % |
7652.30/7654.68 c | 1962412 | 18463 86170 286586 | 2147483647 386784 227 | 0.000 % |
7655.90/7658.30 c | 1963010 | 18463 86170 286586 | 2147483647 387382 227 | 0.000 % |
7659.70/7662.05 c | 1963668 | 18463 86170 286586 | 2147483647 388040 227 | 0.000 % |
7663.30/7665.60 c | 1964390 | 18463 86170 286586 | 2147483647 388762 227 | 0.000 % |
7668.30/7670.63 c | 1965191 | 18463 86170 286586 | 2147483647 389563 227 | 0.000 % |
7671.20/7673.60 c | 1966062 | 18463 86170 286586 | 2147483647 390434 227 | 0.000 % |
7678.80/7681.16 c | 1967020 | 18463 86170 286586 | 2147483647 391392 227 | 0.000 % |
7686.19/7688.54 c | 1968073 | 18463 86170 286586 | 2147483647 392445 227 | 0.000 % |
7694.19/7696.55 c | 1969231 | 18463 86170 286586 | 2147483647 393603 227 | 0.000 % |
7702.89/7705.26 c | 1970507 | 18463 86170 286586 | 2147483647 394879 228 | 0.000 % |
7710.69/7713.00 c | 1971909 | 18463 86170 286586 | 2147483647 396281 228 | 0.000 % |
7720.18/7722.53 c | 1973454 | 18463 86170 286586 | 2147483647 397826 228 | 0.000 % |
7731.48/7733.87 c | 1975148 | 18463 86170 286586 | 2147483647 399520 229 | 0.000 % |
7744.07/7746.44 c | 1977011 | 18463 86170 286586 | 2147483647 401383 229 | 0.000 % |
7758.18/7760.57 c | 1979064 | 18463 86170 286586 | 2147483647 403436 229 | 0.000 % |
7773.07/7775.44 c | 1981319 | 18463 86170 286586 | 2147483647 405691 229 | 0.000 % |
7789.06/7791.47 c | 1983800 | 18463 86170 286586 | 2147483647 408172 230 | 0.000 % |
7808.56/7810.99 c | 1986525 | 18463 86170 286586 | 2147483647 410897 230 | 0.000 % |
7831.34/7833.70 c | 1989522 | 18463 86170 286586 | 2147483647 413894 231 | 0.000 % |
7852.74/7855.18 c | 1992819 | 18463 86170 286586 | 2147483647 417191 231 | 0.000 % |
7881.63/7884.05 c | 1996444 | 18463 86170 286586 | 2147483647 420816 232 | 0.000 % |
7912.93/7915.38 c | 2000431 | 18463 86170 286586 | 2147483647 424803 232 | 0.000 % |
7933.72/7936.16 c | 2004817 | 18463 86170 286586 | 2147483647 429189 232 | 0.000 % |
7948.62/7951.08 c | 2009641 | 18463 86170 286586 | 2147483647 434013 232 | 0.000 % |
7956.12/7958.57 c | 2014948 | 18463 86170 286586 | 2147483647 439320 230 | 0.000 % |
7980.91/7983.39 c | 2020783 | 18463 86170 286586 | 2147483647 445155 230 | 0.000 % |
8003.10/8005.54 c | 2027201 | 18463 86170 286586 | 2147483647 451573 231 | 0.000 % |
8031.49/8033.95 c | 2034261 | 18463 86170 286586 | 2147483647 458633 232 | 0.000 % |
8052.58/8055.08 c | 2042025 | 18463 86170 286586 | 2147483647 466397 230 | 0.000 % |
8065.48/8067.93 c | 2050566 | 18463 86170 286586 | 2147483647 474938 227 | 0.000 % |
8092.97/8095.44 c | 2059960 | 18463 86170 286586 | 2147483647 484332 228 | 0.000 % |
8135.86/8138.35 c | 2070297 | 18463 86170 286586 | 494372 494669 229 | 0.000 % |
8188.74/8191.26 c | 2081664 | 18463 86170 286586 | 2147483647 417382 214 | 0.000 % |
8235.93/8238.46 c | 2094167 | 18463 86170 286586 | 2147483647 429885 220 | 0.000 % |
8293.51/8296.00 c | 2107921 | 18463 86170 286586 | 2147483647 443639 223 | 0.000 % |
8372.59/8375.10 c | 2123055 | 18463 86170 286586 | 2147483647 413569 224 | 0.000 % |
8467.77/8470.31 c | 2139694 | 18463 86170 286586 | 2147483647 430208 225 | 0.000 % |
8569.94/8572.56 c | 2157996 | 18463 86170 286586 | 2147483647 448510 229 | 0.000 % |
8570.34/8572.95 c | 2158097 | 18463 86170 286586 | 2147483647 448611 229 | 0.000 % |
8571.44/8574.06 c | 2158207 | 18463 86170 286586 | 2147483647 448721 229 | 0.000 % |
8572.74/8575.32 c | 2158330 | 18463 86170 286586 | 2147483647 448844 229 | 0.000 % |
8573.84/8576.42 c | 2158464 | 18463 86170 286586 | 2147483647 448978 229 | 0.000 % |
8575.04/8577.64 c | 2158613 | 18463 86170 286586 | 2147483647 449127 229 | 0.000 % |
8576.13/8578.77 c | 2158775 | 18463 86170 286586 | 2147483647 449289 229 | 0.000 % |
8577.03/8579.69 c | 2158951 | 18463 86170 286586 | 2147483647 449465 229 | 0.000 % |
8578.44/8581.05 c | 2159147 | 18463 86170 286586 | 2147483647 449661 229 | 0.000 % |
8580.03/8582.66 c | 2159359 | 18463 86170 286586 | 2147483647 449873 229 | 0.000 % |
8581.93/8584.53 c | 2159593 | 18463 86170 286586 | 2147483647 450107 229 | 0.000 % |
8583.73/8586.38 c | 2159849 | 18463 86170 286586 | 2147483647 450363 229 | 0.000 % |
8586.03/8588.63 c | 2160130 | 18463 86170 286586 | 2147483647 450644 229 | 0.000 % |
8587.83/8590.44 c | 2160439 | 18463 86170 286586 | 2147483647 450953 229 | 0.000 % |
8589.44/8592.06 c | 2160778 | 18463 86170 286586 | 2147483647 451292 229 | 0.000 % |
8590.43/8593.07 c | 2161153 | 18463 86170 286586 | 2147483647 451667 229 | 0.000 % |
8591.13/8593.77 c | 2161564 | 18463 86170 286586 | 2147483647 452078 229 | 0.000 % |
8592.93/8595.50 c | 2162013 | 18463 86170 286586 | 2147483647 452527 229 | 0.000 % |
8595.43/8598.02 c | 2162506 | 18463 86170 286586 | 2147483647 453020 229 | 0.000 % |
8597.83/8600.42 c | 2163048 | 18463 86170 286586 | 2147483647 453562 229 | 0.000 % |
8600.23/8602.85 c | 2163644 | 18463 86170 286586 | 2147483647 454158 229 | 0.000 % |
8604.43/8607.09 c | 2164300 | 18463 86170 286586 | 2147483647 454814 229 | 0.000 % |
8608.53/8611.18 c | 2165021 | 18463 86170 286586 | 2147483647 455535 229 | 0.000 % |
8612.53/8615.18 c | 2165813 | 18463 86170 286586 | 2147483647 456327 229 | 0.000 % |
8617.92/8620.60 c | 2166686 | 18463 86170 286586 | 2147483647 457200 229 | 0.000 % |
8625.12/8627.78 c | 2167644 | 18463 86170 286586 | 2147483647 458158 229 | 0.000 % |
8632.52/8635.19 c | 2168701 | 18463 86170 286586 | 2147483647 459215 229 | 0.000 % |
8640.62/8643.24 c | 2169859 | 18463 86170 286586 | 2147483647 460373 229 | 0.000 % |
8650.51/8653.10 c | 2171133 | 18463 86170 286586 | 2147483647 461647 229 | 0.000 % |
8660.41/8663.03 c | 2172535 | 18463 86170 286586 | 2147483647 463049 229 | 0.000 % |
8668.21/8670.88 c | 2174075 | 18463 86170 286586 | 2147483647 464589 230 | 0.000 % |
8675.21/8677.89 c | 2175769 | 18463 86170 286586 | 2147483647 466283 230 | 0.000 % |
8680.82/8683.43 c | 2177632 | 18463 86170 286586 | 2147483647 468146 229 | 0.000 % |
8687.11/8689.75 c | 2179681 | 18463 86170 286586 | 2147483647 470195 229 | 0.000 % |
8696.61/8699.26 c | 2181934 | 18463 86170 286586 | 2147483647 472448 229 | 0.000 % |
8703.11/8705.71 c | 2184412 | 18463 86170 286586 | 2147483647 474926 229 | 0.000 % |
8712.20/8714.80 c | 2187137 | 18463 86170 286586 | 2147483647 477651 228 | 0.000 % |
8719.90/8722.53 c | 2190134 | 18463 86170 286586 | 2147483647 480648 228 | 0.000 % |
8728.40/8731.09 c | 2193430 | 18463 86170 286586 | 2147483647 483944 228 | 0.000 % |
8742.99/8745.64 c | 2197060 | 18463 86170 286586 | 2147483647 487574 228 | 0.000 % |
8760.89/8763.50 c | 2201049 | 18463 86170 286586 | 2147483647 491563 230 | 0.000 % |
8782.88/8785.57 c | 2205434 | 18463 86170 286586 | 2147483647 495948 231 | 0.000 % |
8807.77/8810.45 c | 2210259 | 18463 86170 286586 | 500516 500773 232 | 0.000 % |
8844.57/8847.28 c | 2215567 | 18463 86170 286586 | 500516 427786 225 | 0.000 % |
8877.45/8880.19 c | 2221402 | 18463 86170 286586 | 432219 433621 229 | 0.000 % |
8912.65/8915.36 c | 2227822 | 18463 86170 286586 | 432219 361874 219 | 0.000 % |
8945.64/8948.34 c | 2234881 | 18463 86170 286586 | 2147483647 368933 220 | 0.000 % |
8982.13/8984.86 c | 2242649 | 18463 86170 286586 | 2147483647 376701 222 | 0.000 % |
9024.01/9026.77 c | 2251189 | 18463 86170 286586 | 2147483647 385241 225 | 0.000 % |
9071.90/9074.70 c | 2260583 | 18463 86170 286586 | 394054 394635 230 | 0.000 % |
9123.39/9126.15 c | 2270920 | 18463 86170 286586 | 2147483647 343104 228 | 0.000 % |
9186.87/9189.66 c | 2282287 | 18463 86170 286586 | 2147483647 354471 229 | 0.000 % |
9246.35/9249.18 c | 2294792 | 18463 86170 286586 | 2147483647 366976 233 | 0.000 % |
9327.93/9330.74 c | 2308552 | 18463 86170 286586 | 2147483647 380736 236 | 0.000 % |
9424.41/9427.23 c | 2323681 | 18463 86170 286586 | 2147483647 395865 241 | 0.000 % |
9518.89/9521.77 c | 2340321 | 18463 86170 286586 | 412184 412505 246 | 0.000 % |
9622.86/9625.75 c | 2358625 | 18463 86170 286586 | 2147483647 376980 253 | 0.000 % |
9747.53/9750.41 c | 2378757 | 18463 86170 286586 | 2147483647 397112 258 | 0.000 % |
9748.23/9751.11 c | 2378858 | 18463 86170 286586 | 2147483647 397213 258 | 0.000 % |
9748.83/9751.77 c | 2378972 | 18463 86170 286586 | 2147483647 397327 258 | 0.000 % |
9749.73/9752.62 c | 2379093 | 18463 86170 286586 | 2147483647 397448 258 | 0.000 % |
9750.83/9753.74 c | 2379227 | 18463 86170 286586 | 2147483647 397582 258 | 0.000 % |
9752.32/9755.21 c | 2379373 | 18463 86170 286586 | 2147483647 397728 258 | 0.000 % |
9753.52/9756.47 c | 2379533 | 18463 86170 286586 | 2147483647 397888 258 | 0.000 % |
9755.02/9757.97 c | 2379709 | 18463 86170 286586 | 2147483647 398064 258 | 0.000 % |
9756.62/9759.58 c | 2379904 | 18463 86170 286586 | 2147483647 398259 258 | 0.000 % |
9758.22/9761.17 c | 2380120 | 18463 86170 286586 | 2147483647 398475 258 | 0.000 % |
9759.92/9762.87 c | 2380355 | 18463 86170 286586 | 2147483647 398710 258 | 0.000 % |
9761.72/9764.68 c | 2380615 | 18463 86170 286586 | 2147483647 398970 258 | 0.000 % |
9763.92/9766.87 c | 2380897 | 18463 86170 286586 | 2147483647 399252 258 | 0.000 % |
9766.32/9769.20 c | 2381207 | 18463 86170 286586 | 2147483647 399562 258 | 0.000 % |
9769.12/9772.01 c | 2381552 | 18463 86170 286586 | 2147483647 399907 258 | 0.000 % |
9771.92/9774.80 c | 2381928 | 18463 86170 286586 | 2147483647 400283 258 | 0.000 % |
9775.22/9778.12 c | 2382338 | 18463 86170 286586 | 2147483647 400693 258 | 0.000 % |
9779.11/9782.03 c | 2382787 | 18463 86170 286586 | 2147483647 401142 258 | 0.000 % |
9782.51/9785.48 c | 2383281 | 18463 86170 286586 | 2147483647 401636 258 | 0.000 % |
9787.12/9790.02 c | 2383824 | 18463 86170 286586 | 2147483647 402179 258 | 0.000 % |
9790.61/9793.56 c | 2384423 | 18463 86170 286586 | 2147483647 402778 258 | 0.000 % |
9796.11/9799.00 c | 2385080 | 18463 86170 286586 | 2147483647 403435 258 | 0.000 % |
9801.11/9804.08 c | 2385800 | 18463 86170 286586 | 2147483647 404155 258 | 0.000 % |
9806.81/9809.72 c | 2386595 | 18463 86170 286586 | 2147483647 404950 258 | 0.000 % |
9813.20/9816.19 c | 2387467 | 18463 86170 286586 | 2147483647 405822 258 | 0.000 % |
9818.91/9821.89 c | 2388426 | 18463 86170 286586 | 2147483647 406781 258 | 0.000 % |
9825.20/9828.14 c | 2389481 | 18463 86170 286586 | 2147483647 407836 258 | 0.000 % |
9833.30/9836.24 c | 2390639 | 18463 86170 286586 | 2147483647 408994 259 | 0.000 % |
9841.79/9844.78 c | 2391918 | 18463 86170 286586 | 2147483647 410273 259 | 0.000 % |
9852.09/9855.04 c | 2393318 | 18463 86170 286586 | 2147483647 411673 259 | 0.000 % |
9857.79/9860.72 c | 2394861 | 18463 86170 286586 | 2147483647 413216 259 | 0.000 % |
9865.38/9868.39 c | 2396555 | 18463 86170 286586 | 2147483647 414910 259 | 0.000 % |
9871.98/9874.92 c | 2398419 | 18463 86170 286586 | 2147483647 416774 259 | 0.000 % |
9885.89/9888.88 c | 2400471 | 18463 86170 286586 | 2147483647 418826 259 | 0.000 % |
9902.38/9905.37 c | 2402724 | 18463 86170 286586 | 2147483647 421079 259 | 0.000 % |
9922.48/9925.42 c | 2405202 | 18463 86170 286586 | 2147483647 423557 259 | 0.000 % |
9943.27/9946.27 c | 2407934 | 18463 86170 286586 | 2147483647 426289 260 | 0.000 % |
9964.46/9967.48 c | 2410934 | 18463 86170 286586 | 2147483647 429289 260 | 0.000 % |
9984.96/9987.99 c | 2414236 | 18463 86170 286586 | 2147483647 432591 260 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837292-1242867037/watcher-1837292-1242867037 -o /tmp/evaluation-result-1837292-1242867037/solver-1837292-1242867037 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837292-1242867037.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 19190
/proc/meminfo: memFree=1741024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=0
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314731763 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 221954932818 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/19190/statm: 1339 235 195 169 0 50 0
[pid=19191] ppid=19190 vsize=5356 CPUtime=0
/proc/19191/stat : 19191 (SatELiteGTI) R 19190 19190 19153 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 314731764 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/19191/statm: 1339 238 198 169 0 50 0
[pid=19193] ppid=19191 vsize=0 CPUtime=0
/proc/19193/stat : 19193 (sed) Z 19191 19190 19153 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 314731764 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/19193/statm: 0 0 0 0 0 0 0
[startup+0.0840749 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 19190
/proc/meminfo: memFree=1741024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=0
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731763 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101077 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 19190
/proc/meminfo: memFree=1741024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=0
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731763 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301093 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 19190
/proc/meminfo: memFree=1741024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=0
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731763 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701128 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 19190
/proc/meminfo: memFree=1741024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=0
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731763 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50119 s]
/proc/loadavg: 0.78 0.95 0.93 2/66 19195
/proc/meminfo: memFree=1712784/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=0
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731763 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 237 197 169 0 50 0
[pid=19195] ppid=19190 vsize=28532 CPUtime=1.48
/proc/19195/stat : 19195 (SatELite_releas) R 19190 19190 19153 0 -1 4194304 6791 0 0 0 142 6 0 0 25 0 1 0 314731764 29216768 6130 1992294400 134512640 135223648 4294956128 18446744073709551615 134585532 0 0 4096 3 0 0 0 17 1 0 0
/proc/19195/statm: 7133 6130 76 173 0 6958 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33888
[startup+3.10133 s]
/proc/loadavg: 0.80 0.95 0.93 2/66 19196
/proc/meminfo: memFree=1726800/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=8504 CPUtime=1.47
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 1948 0 0 0 147 0 0 0 25 0 1 0 314731925 8708096 1934 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 2126 1934 77 171 0 1953 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13860
[startup+6.30162 s]
/proc/loadavg: 0.80 0.95 0.93 2/66 19196
/proc/meminfo: memFree=1724368/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=10616 CPUtime=4.68
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 2495 0 0 0 466 2 0 0 25 0 1 0 314731925 10870784 2481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 2654 2481 77 171 0 2481 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15972
[startup+12.7012 s]
/proc/loadavg: 0.83 0.95 0.93 2/66 19196
/proc/meminfo: memFree=1719768/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=15056 CPUtime=11.07
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 3596 0 0 0 1104 3 0 0 25 0 1 0 314731925 15417344 3582 1992294400 134512640 135215339 4294956240 18446744073709551615 134532724 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 3764 3582 77 171 0 3591 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20412
[startup+25.5013 s]
/proc/loadavg: 0.85 0.95 0.93 2/66 19196
/proc/meminfo: memFree=1710808/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=23900 CPUtime=23.87
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 5794 0 0 0 2382 5 0 0 25 0 1 0 314731925 24473600 5780 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 5975 5780 77 171 0 5802 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 29256
[startup+51.1016 s]
/proc/loadavg: 0.90 0.96 0.93 2/66 19196
/proc/meminfo: memFree=1695832/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=39028 CPUtime=49.46
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 9557 0 0 0 4937 9 0 0 25 0 1 0 314731925 39964672 9543 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 9757 9543 77 171 0 9584 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 44384
[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.93 2/66 19196
/proc/meminfo: memFree=1670680/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=64024 CPUtime=100.65
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 15739 0 0 0 10049 16 0 0 25 0 1 0 314731925 65560576 15725 1992294400 134512640 135215339 4294956240 18446744073709551615 134532970 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 16006 15725 77 171 0 15833 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 69380
[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.93 2/66 19196
/proc/meminfo: memFree=1644184/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=90780 CPUtime=160.62
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 22422 0 0 0 16040 22 0 0 25 0 1 0 314731925 92958720 22408 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 22695 22408 77 171 0 22522 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 96136
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 19196
/proc/meminfo: memFree=1619736/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=115088 CPUtime=220.59
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 28410 0 0 0 22031 28 0 0 25 0 1 0 314731925 117850112 28396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 28772 28396 77 171 0 28599 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 120444
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 19196
/proc/meminfo: memFree=1596376/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=138588 CPUtime=280.57
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 34284 0 0 0 28023 34 0 0 25 0 1 0 314731925 141914112 34270 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 34647 34270 77 171 0 34474 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 143944
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 19196
/proc/meminfo: memFree=1575832/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=159324 CPUtime=340.55
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 39323 0 0 0 34015 40 0 0 25 0 1 0 314731925 163147776 39309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 39831 39309 77 171 0 39658 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 164680
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 19196
/proc/meminfo: memFree=1555928/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=179176 CPUtime=400.53
################
# More data... #
################
/proc/19196/statm: 142054 140071 77 171 0 141881 0
Current children cumulated CPU time (s) 9339.53
Current children cumulated vsize (KiB) 573572
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19694
/proc/meminfo: memFree=1120088/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9397.93
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140115 0 0 0 939632 161 0 0 25 0 1 0 314731925 581853184 140071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140071 77 171 0 141881 0
Current children cumulated CPU time (s) 9399.52
Current children cumulated vsize (KiB) 573572
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19694
/proc/meminfo: memFree=1120024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9457.92
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140115 0 0 0 945631 161 0 0 25 0 1 0 314731925 581853184 140071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140071 77 171 0 141881 0
Current children cumulated CPU time (s) 9459.51
Current children cumulated vsize (KiB) 573572
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19694
/proc/meminfo: memFree=1120024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9517.9
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140115 0 0 0 951629 161 0 0 25 0 1 0 314731925 581853184 140071 1992294400 134512640 135215339 4294956240 18446744073709551615 134545533 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140071 77 171 0 141881 0
Current children cumulated CPU time (s) 9519.49
Current children cumulated vsize (KiB) 573572
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19694
/proc/meminfo: memFree=1120024/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9577.88
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140115 0 0 0 957627 161 0 0 25 0 1 0 314731925 581853184 140071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140071 77 171 0 141881 0
Current children cumulated CPU time (s) 9579.47
Current children cumulated vsize (KiB) 573572
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19694
/proc/meminfo: memFree=1119960/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9637.87
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140115 0 0 0 963626 161 0 0 25 0 1 0 314731925 581853184 140071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140071 77 171 0 141881 0
Current children cumulated CPU time (s) 9639.46
Current children cumulated vsize (KiB) 573572
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19694
/proc/meminfo: memFree=1119896/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9697.85
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140117 0 0 0 969624 161 0 0 25 0 1 0 314731925 581853184 140073 1992294400 134512640 135215339 4294956240 18446744073709551615 134538923 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140073 77 171 0 141881 0
Current children cumulated CPU time (s) 9699.44
Current children cumulated vsize (KiB) 573572
[startup+9762.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 19694
/proc/meminfo: memFree=1119832/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9757.83
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140117 0 0 0 975622 161 0 0 25 0 1 0 314731925 581853184 140073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140073 77 171 0 141881 0
Current children cumulated CPU time (s) 9759.42
Current children cumulated vsize (KiB) 573572
[startup+9822.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 19694
/proc/meminfo: memFree=1119832/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568216 CPUtime=9817.81
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140117 0 0 0 981620 161 0 0 25 0 1 0 314731925 581853184 140073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142054 140073 77 171 0 141881 0
Current children cumulated CPU time (s) 9819.4
Current children cumulated vsize (KiB) 573572
[startup+9882.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 19694
/proc/meminfo: memFree=1119512/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568596 CPUtime=9877.79
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140192 0 0 0 987618 161 0 0 25 0 1 0 314731925 582242304 140148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142149 140148 77 171 0 141976 0
Current children cumulated CPU time (s) 9879.38
Current children cumulated vsize (KiB) 573952
[startup+9942.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 19694
/proc/meminfo: memFree=1119448/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568596 CPUtime=9937.78
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140192 0 0 0 993616 162 0 0 25 0 1 0 314731925 582242304 140148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142149 140148 77 171 0 141976 0
Current children cumulated CPU time (s) 9939.37
Current children cumulated vsize (KiB) 573952
[startup+10002.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 19694
/proc/meminfo: memFree=1119448/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568596 CPUtime=9997.77
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140192 0 0 0 999615 162 0 0 25 0 1 0 314731925 582242304 140148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142149 140148 77 171 0 141976 0
Current children cumulated CPU time (s) 9999.36
Current children cumulated vsize (KiB) 573952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 19694
/proc/meminfo: memFree=1119448/2055920 swapFree=4180448/4192956
[pid=19190] ppid=19188 vsize=5356 CPUtime=1.59
/proc/19190/stat : 19190 (SatELiteGTI) S 19188 19190 19153 0 -1 4194304 336 7051 0 0 0 0 152 7 16 0 1 0 314731763 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19190/statm: 1339 239 197 169 0 50 0
[pid=19196] ppid=19190 vsize=568596 CPUtime=9998.47
/proc/19196/stat : 19196 (minisat_static) R 19190 19190 19153 0 -1 4194304 140192 0 0 0 999685 162 0 0 25 0 1 0 314731925 582242304 140148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19196/statm: 142149 140148 77 171 0 141976 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 573952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19190 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=525768
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=80987
# CPU time returned by wait4() is 1.60676
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003
CPU time (s): 10000.1
CPU user time (s): 9998.37
CPU system time (s): 1.69
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 573952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.52577
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 29
runsolver used 11.4333 second user time and 25.1082 second system time
The end
Begin job on node43 at 2009-05-21 02:50:37
IDJOB=1837292
IDBENCH=70817
IDSOLVER=674
FILE ID=node43/1837292-1242867037
PBS_JOBID= 9328555
Free space on /tmp= 66084 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837292-1242867037/watcher-1837292-1242867037 -o /tmp/evaluation-result-1837292-1242867037/solver-1837292-1242867037 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837292-1242867037.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=1203569274
node43.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.237
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.237
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: 1741504 kB
Buffers: 26956 kB
Cached: 249580 kB
SwapCached: 6004 kB
Active: 121216 kB
Inactive: 163440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1741504 kB
SwapTotal: 4192956 kB
SwapFree: 4180448 kB
Dirty: 4300 kB
Writeback: 0 kB
Mapped: 13832 kB
Slab: 15748 kB
Committed_AS: 1153716 kB
PageTables: 1448 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= 66072 MiB
End job on node43 at 2009-05-21 05:37:22