0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 57446 170514 | 17233 0 0 nan | 0.000 % |
0.00/0.41 c | 0 | 56659 238983 | -- 0 -- -- | -- | -787/68469
0.00/0.41 c ==============================================================================
0.00/0.41 c Result : #vars: 636 #clauses: 56659 #literals: 238983
0.00/0.41 c CPU time: 0.39194 s
0.00/0.41 c ==============================================================================
0.00/0.48 c This is MiniSat 2.0 beta
0.00/0.48 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.48 c ============================[ Problem Statistics ]=============================
0.00/0.48 c | |
0.00/0.48 c | Number of variables: 636 |
0.00/0.48 c | Number of clauses: 56659 |
0.47/0.51 c | Parsing time: 0.03 s |
0.47/0.51 c ============================[ Search Statistics ]==============================
0.47/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.47/0.51 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.47/0.51 c ===============================================================================
0.47/0.51 c | 0 | 636 56659 238983 | 18886 0 nan | 0.000 % |
0.47/0.53 c | 101 | 636 56659 238983 | 18886 101 33 | 0.000 % |
0.47/0.55 c | 201 | 636 56659 238983 | 18886 201 30 | 0.000 % |
0.47/0.58 c | 301 | 636 56659 238983 | 18886 301 28 | 0.000 % |
0.47/0.61 c | 411 | 636 56659 238983 | 18886 411 27 | 0.000 % |
0.47/0.63 c | 516 | 636 56659 238983 | 18886 516 26 | 0.000 % |
0.47/0.66 c | 627 | 636 56659 238983 | 18886 627 26 | 0.000 % |
0.47/0.69 c | 749 | 636 56659 238983 | 18886 749 27 | 0.000 % |
0.47/0.71 c | 849 | 636 56659 238983 | 18886 849 27 | 0.000 % |
0.47/0.74 c | 960 | 636 56659 238983 | 18886 960 27 | 0.000 % |
0.47/0.78 c | 1081 | 636 56659 238983 | 18886 1081 27 | 0.000 % |
0.47/0.81 c | 1214 | 636 56659 238983 | 18886 1214 27 | 0.000 % |
0.47/0.84 c | 1315 | 636 56659 238983 | 18886 1315 26 | 0.000 % |
0.47/0.87 c | 1428 | 636 56659 238983 | 18886 1428 26 | 0.000 % |
0.47/0.90 c | 1549 | 636 56659 238983 | 18886 1549 25 | 0.000 % |
0.47/0.94 c | 1684 | 636 56659 238983 | 18886 1684 26 | 0.000 % |
0.47/0.98 c | 1832 | 636 56659 238983 | 18886 1832 25 | 0.000 % |
0.98/1.01 c | 1933 | 636 56659 238983 | 18886 1933 25 | 0.000 % |
0.98/1.04 c | 2044 | 636 56659 238983 | 18886 2044 25 | 0.002 % |
0.98/1.08 c | 2165 | 636 56659 238983 | 18886 2165 25 | 0.000 % |
1.08/1.11 c | 2298 | 636 56659 238983 | 18886 2298 25 | 0.000 % |
1.08/1.15 c | 2449 | 636 56659 238983 | 18886 2449 25 | 0.000 % |
1.08/1.19 c | 2611 | 636 56659 238983 | 18886 2611 25 | 0.000 % |
1.17/1.22 c | 2711 | 636 56659 238983 | 18886 2711 24 | 0.000 % |
1.17/1.25 c | 2824 | 636 56659 238983 | 18886 2824 24 | 0.000 % |
1.17/1.28 c | 2946 | 636 56659 238983 | 18886 2946 24 | 0.000 % |
1.27/1.32 c | 3079 | 636 56659 238983 | 18886 3079 24 | 0.000 % |
1.27/1.35 c | 3225 | 636 56659 238983 | 18886 3225 24 | 0.000 % |
1.27/1.39 c | 3386 | 636 56659 238983 | 18886 3386 24 | 0.000 % |
1.37/1.45 c | 3564 | 636 56659 238983 | 18886 3564 24 | 0.000 % |
1.37/1.48 c | 3665 | 636 56659 238983 | 18886 3665 24 | 0.000 % |
1.47/1.51 c | 3777 | 636 56659 238983 | 18886 3777 24 | 0.000 % |
1.47/1.54 c | 3898 | 636 56659 238983 | 18886 3898 24 | 0.000 % |
1.47/1.57 c | 4031 | 636 56659 238983 | 18886 4031 24 | 0.000 % |
1.57/1.61 c | 4178 | 636 56659 238983 | 18886 4178 24 | 0.000 % |
1.57/1.65 c | 4338 | 636 56659 238983 | 18886 4338 24 | 0.000 % |
1.67/1.70 c | 4514 | 636 56659 238983 | 18886 4514 24 | 0.000 % |
1.67/1.76 c | 4709 | 636 56659 238983 | 18886 4709 25 | 0.000 % |
1.67/1.78 c | 4811 | 636 56659 238983 | 18886 4811 25 | 0.000 % |
1.77/1.81 c | 4922 | 636 56659 238983 | 18886 4922 25 | 0.000 % |
1.77/1.83 c | 5044 | 636 56659 238983 | 18886 5044 25 | 0.000 % |
1.77/1.87 c | 5181 | 636 56659 238983 | 18886 5181 26 | 0.000 % |
1.87/1.91 c | 5328 | 636 56659 238983 | 18886 5328 26 | 0.000 % |
1.87/1.96 c | 5488 | 636 56659 238983 | 18886 5488 26 | 0.000 % |
1.97/2.01 c | 5664 | 636 56659 238983 | 18886 5664 26 | 0.000 % |
1.97/2.08 c | 5857 | 636 56659 238983 | 18886 5857 25 | 0.000 % |
2.07/2.15 c | 6070 | 636 56659 238983 | 18886 6070 25 | 0.000 % |
2.07/2.18 c | 6170 | 636 56659 238983 | 18886 6170 25 | 0.000 % |
2.18/2.21 c | 6281 | 636 56659 238983 | 18886 6281 25 | 0.000 % |
2.18/2.25 c | 6403 | 636 56659 238983 | 18886 6403 25 | 0.002 % |
2.18/2.29 c | 6537 | 636 56659 238983 | 18886 6537 25 | 0.000 % |
2.28/2.34 c | 6683 | 636 56659 238983 | 18886 6683 25 | 0.000 % |
2.28/2.38 c | 6844 | 636 56659 238983 | 18886 6844 25 | 0.002 % |
2.38/2.42 c | 7020 | 636 56659 238983 | 18886 7020 25 | 0.000 % |
2.38/2.47 c | 7213 | 636 56659 238983 | 18886 7213 26 | 0.000 % |
2.48/2.53 c | 7428 | 636 56659 238983 | 18886 7428 26 | 0.000 % |
2.48/2.58 c | 7661 | 636 56659 238983 | 18886 7661 26 | 0.000 % |
2.58/2.60 c | 7761 | 636 56659 238983 | 18886 7761 26 | 0.000 % |
2.58/2.63 c | 7874 | 636 56659 238983 | 18886 7874 26 | 0.000 % |
2.58/2.66 c | 7997 | 636 56659 238983 | 18886 7997 26 | 0.000 % |
2.58/2.69 c | 8131 | 636 56659 238983 | 18886 8131 27 | 0.000 % |
2.67/2.72 c | 8277 | 636 56659 238983 | 18886 8277 27 | 0.000 % |
2.67/2.76 c | 8439 | 636 56659 238983 | 18886 8439 27 | 0.000 % |
2.77/2.81 c | 8616 | 636 56659 238983 | 18886 8616 27 | 0.000 % |
2.77/2.86 c | 8810 | 636 56659 238983 | 18886 8810 27 | 0.000 % |
2.87/2.92 c | 9024 | 636 56659 238983 | 18886 9024 27 | 0.000 % |
2.87/3.00 c | 9257 | 636 56659 238983 | 18886 9257 27 | 0.000 % |
2.97/3.06 c | 9513 | 636 56659 238983 | 18886 9513 28 | 0.000 % |
2.97/3.09 c | 9615 | 636 56659 238983 | 18886 9615 28 | 0.000 % |
3.07/3.13 c | 9727 | 636 56659 238983 | 18886 9727 28 | 0.000 % |
3.07/3.18 c | 9848 | 636 56659 238983 | 18886 9848 28 | 0.000 % |
3.18/3.23 c | 9981 | 636 56659 238983 | 18886 9981 28 | 0.000 % |
3.18/3.29 c | 10127 | 636 56659 238983 | 2147483647 10127 28 | 0.000 % |
3.28/3.35 c | 10290 | 636 56659 238983 | 2147483647 10290 28 | 0.000 % |
3.37/3.41 c | 10466 | 636 56659 238983 | 2147483647 10466 28 | 0.000 % |
3.37/3.48 c | 10659 | 636 56659 238983 | 2147483647 10659 28 | 0.000 % |
3.47/3.56 c | 10871 | 636 56659 238983 | 2147483647 10871 28 | 0.000 % |
3.57/3.63 c | 11110 | 636 56659 238983 | 2147483647 11110 28 | 0.000 % |
3.67/3.73 c | 11367 | 636 56659 238983 | 2147483647 11367 27 | 0.000 % |
3.77/3.84 c | 11649 | 636 56659 238983 | 2147483647 11649 27 | 0.000 % |
3.77/3.88 c | 11750 | 636 56659 238983 | 2147483647 11750 27 | 0.000 % |
3.87/3.91 c | 11861 | 636 56659 238983 | 2147483647 11861 27 | 0.000 % |
3.87/3.95 c | 11982 | 636 56659 238983 | 2147483647 11982 27 | 0.000 % |
3.97/4.00 c | 12118 | 636 56659 238983 | 2147483647 12118 27 | 0.000 % |
3.97/4.05 c | 12265 | 636 56659 238983 | 2147483647 12265 27 | 0.000 % |
4.07/4.11 c | 12425 | 636 56659 238983 | 2147483647 12425 27 | 0.000 % |
4.07/4.17 c | 12602 | 636 56659 238983 | 2147483647 12602 27 | 0.000 % |
4.17/4.25 c | 12797 | 636 56659 238983 | 2147483647 12797 27 | 0.000 % |
4.27/4.32 c | 13014 | 636 56659 238983 | 2147483647 13014 27 | 0.000 % |
4.37/4.41 c | 13247 | 636 56659 238983 | 2147483647 13247 27 | 0.000 % |
4.37/4.49 c | 13505 | 636 56659 238983 | 2147483647 13505 27 | 0.000 % |
4.47/4.60 c | 13788 | 636 56659 238983 | 2147483647 13788 27 | 0.000 % |
4.67/4.73 c | 14100 | 636 56659 238983 | 2147483647 14100 27 | 0.000 % |
4.67/4.76 c | 14201 | 636 56659 238983 | 2147483647 14201 27 | 0.000 % |
4.67/4.79 c | 14311 | 636 56659 238983 | 2147483647 14311 27 | 0.000 % |
4.77/4.83 c | 14433 | 636 56659 238983 | 2147483647 14433 27 | 0.000 % |
4.77/4.87 c | 14568 | 636 56659 238983 | 2147483647 14568 27 | 0.000 % |
4.87/4.93 c | 14717 | 636 56659 238983 | 2147483647 14717 27 | 0.000 % |
4.87/4.98 c | 14877 | 636 56659 238983 | 2147483647 14877 27 | 0.000 % |
4.97/5.06 c | 15053 | 636 56659 238983 | 2147483647 15053 27 | 0.000 % |
5.07/5.13 c | 15246 | 636 56659 238983 | 2147483647 15246 27 | 0.000 % |
5.18/5.22 c | 15459 | 636 56659 238983 | 2147483647 15459 27 | 0.000 % |
5.28/5.32 c | 15693 | 636 56659 238983 | 2147483647 15693 27 | 0.000 % |
5.38/5.42 c | 15949 | 636 56659 238983 | 2147483647 15949 27 | 0.000 % |
5.48/5.56 c | 16234 | 636 56659 238983 | 2147483647 16234 27 | 0.000 % |
5.58/5.68 c | 16545 | 636 56659 238983 | 2147483647 16545 27 | 0.000 % |
5.78/5.82 c | 16884 | 636 56659 238983 | 2147483647 16884 27 | 0.000 % |
5.78/5.87 c | 16984 | 636 56659 238983 | 2147483647 16984 27 | 0.000 % |
5.88/5.92 c | 17096 | 636 56659 238983 | 2147483647 17096 27 | 0.000 % |
5.88/5.98 c | 17219 | 636 56659 238983 | 2147483647 17219 27 | 0.000 % |
5.98/6.04 c | 17352 | 636 56659 238983 | 2147483647 17352 27 | 0.000 % |
6.08/6.12 c | 17502 | 636 56659 238983 | 2147483647 17502 27 | 0.000 % |
6.08/6.19 c | 17662 | 636 56659 238983 | 2147483647 17662 27 | 0.000 % |
6.18/6.25 c | 17838 | 636 56659 238983 | 2147483647 17838 27 | 0.000 % |
6.28/6.32 c | 18031 | 636 56659 238983 | 2147483647 18031 27 | 0.000 % |
6.38/6.40 c | 18244 | 636 56659 238983 | 2147483647 18244 28 | 0.000 % |
6.38/6.50 c | 18478 | 636 56659 238983 | 2147483647 18478 28 | 0.000 % |
6.48/6.60 c | 18734 | 636 56659 238983 | 2147483647 18734 28 | 0.000 % |
6.68/6.73 c | 19019 | 636 56659 238983 | 2147483647 19019 28 | 0.000 % |
6.78/6.86 c | 19328 | 636 56659 238983 | 2147483647 19328 28 | 0.000 % |
6.97/7.01 c | 19667 | 636 56659 238983 | 2147483647 19667 28 | 0.000 % |
7.07/7.18 c | 20040 | 636 56659 238983 | 2147483647 20040 28 | 0.000 % |
7.17/7.22 c | 20140 | 636 56659 238983 | 2147483647 20140 28 | 0.000 % |
7.17/7.27 c | 20250 | 636 56659 238983 | 2147483647 20250 28 | 0.000 % |
7.27/7.33 c | 20371 | 636 56659 238983 | 2147483647 20371 28 | 0.000 % |
7.27/7.38 c | 20504 | 636 56659 238983 | 2147483647 20504 28 | 0.000 % |
7.37/7.46 c | 20650 | 636 56659 238983 | 2147483647 20650 28 | 0.000 % |
7.47/7.52 c | 20810 | 636 56659 238983 | 2147483647 20810 28 | 0.000 % |
7.47/7.59 c | 20986 | 636 56659 238983 | 2147483647 20986 28 | 0.000 % |
7.57/7.67 c | 21183 | 636 56659 238983 | 2147483647 21183 27 | 0.000 % |
7.67/7.75 c | 21397 | 636 56659 238983 | 2147483647 21397 27 | 0.000 % |
7.77/7.88 c | 21630 | 636 56659 238983 | 2147483647 21630 27 | 0.000 % |
7.87/7.99 c | 21887 | 636 56659 238983 | 2147483647 21887 27 | 0.000 % |
8.07/8.14 c | 22168 | 636 56659 238983 | 2147483647 22168 27 | 0.000 % |
8.17/8.25 c | 22478 | 636 56659 238983 | 2147483647 22478 27 | 0.000 % |
8.27/8.37 c | 22818 | 636 56659 238983 | 2147483647 22818 27 | 0.000 % |
8.47/8.52 c | 23193 | 636 56659 238983 | 2147483647 23193 27 | 0.000 % |
8.57/8.66 c | 23603 | 636 56659 238983 | 2147483647 23603 27 | 0.000 % |
8.57/8.70 c | 23703 | 636 56659 238983 | 2147483647 23703 28 | 0.000 % |
8.67/8.73 c | 23813 | 636 56659 238983 | 2147483647 23813 28 | 0.000 % |
8.67/8.77 c | 23934 | 636 56659 238983 | 2147483647 23934 28 | 0.000 % |
8.77/8.81 c | 24067 | 636 56659 238983 | 2147483647 24067 28 | 0.000 % |
8.77/8.89 c | 24213 | 636 56659 238983 | 2147483647 24213 28 | 0.000 % |
8.87/8.95 c | 24373 | 636 56659 238983 | 2147483647 24373 28 | 0.000 % |
8.97/9.02 c | 24551 | 636 56659 238983 | 2147483647 24551 28 | 0.000 % |
9.07/9.12 c | 24747 | 636 56659 238983 | 2147483647 24747 28 | 0.000 % |
9.17/9.24 c | 24961 | 636 56659 238983 | 2147483647 24961 28 | 0.000 % |
9.27/9.37 c | 25194 | 636 56659 238983 | 2147483647 25194 28 | 0.000 % |
9.47/9.50 c | 25450 | 636 56659 238983 | 2147483647 25450 28 | 0.000 % |
9.56/9.65 c | 25731 | 636 56659 238983 | 2147483647 25731 28 | 0.000 % |
9.66/9.79 c | 26040 | 636 56659 238983 | 2147483647 26040 27 | 0.000 % |
9.87/9.99 c | 26380 | 636 56659 238983 | 2147483647 26380 28 | 0.000 % |
10.06/10.18 c | 26753 | 636 56659 238983 | 2147483647 26753 28 | 0.000 % |
10.36/10.42 c | 27165 | 636 56659 238983 | 2147483647 27165 27 | 0.000 % |
10.56/10.65 c | 27614 | 636 56659 238983 | 2147483647 27614 27 | 0.000 % |
10.66/10.71 c | 27714 | 636 56659 238983 | 2147483647 27714 27 | 0.000 % |
10.66/10.77 c | 27826 | 636 56659 238983 | 2147483647 27826 27 | 0.000 % |
10.76/10.85 c | 27949 | 636 56659 238983 | 2147483647 27949 27 | 0.000 % |
10.87/10.92 c | 28082 | 636 56659 238983 | 2147483647 28082 27 | 0.000 % |
10.87/11.00 c | 28228 | 636 56659 238983 | 2147483647 28228 27 | 0.000 % |
10.98/11.08 c | 28391 | 636 56659 238983 | 2147483647 28391 27 | 0.000 % |
11.07/11.17 c | 28567 | 636 56659 238983 | 2147483647 28567 27 | 0.000 % |
11.17/11.29 c | 28761 | 636 56659 238983 | 2147483647 28761 28 | 0.000 % |
11.37/11.41 c | 28973 | 636 56659 238983 | 2147483647 28973 28 | 0.000 % |
11.47/11.52 c | 29206 | 636 56659 238983 | 2147483647 29206 28 | 0.000 % |
11.57/11.61 c | 29462 | 636 56659 238983 | 2147483647 29462 28 | 0.000 % |
11.67/11.72 c | 29745 | 636 56659 238983 | 2147483647 29745 28 | 0.000 % |
11.77/11.82 c | 30055 | 636 56659 238983 | 2147483647 30055 28 | 0.000 % |
11.97/12.03 c | 30394 | 636 56659 238983 | 2147483647 30394 28 | 0.000 % |
12.17/12.28 c | 30766 | 636 56659 238983 | 2147483647 30766 28 | 0.000 % |
12.47/12.50 c | 31175 | 636 56659 238983 | 2147483647 31175 28 | 0.000 % |
12.67/12.77 c | 31627 | 636 56659 238983 | 2147483647 31627 28 | 0.000 % |
12.97/13.06 c | 32120 | 636 56659 238983 | 2147483647 32120 28 | 0.000 % |
13.07/13.12 c | 32223 | 636 56659 238983 | 2147483647 32223 28 | 0.000 % |
13.07/13.18 c | 32334 | 636 56659 238983 | 2147483647 32334 28 | 0.000 % |
13.17/13.24 c | 32455 | 636 56659 238983 | 2147483647 32455 27 | 0.000 % |
13.17/13.29 c | 32591 | 636 56659 238983 | 2147483647 32591 27 | 0.000 % |
13.37/13.40 c | 32737 | 636 56659 238983 | 2147483647 32737 27 | 0.000 % |
13.47/13.51 c | 32897 | 636 56659 238983 | 2147483647 32897 27 | 0.000 % |
13.57/13.62 c | 33076 | 636 56659 238983 | 2147483647 33076 27 | 0.000 % |
13.67/13.75 c | 33270 | 636 56659 238983 | 2147483647 33270 28 | 0.000 % |
13.77/13.88 c | 33483 | 636 56659 238983 | 2147483647 33483 28 | 0.000 % |
13.97/14.03 c | 33717 | 636 56659 238983 | 2147483647 33717 28 | 0.000 % |
14.06/14.20 c | 33976 | 636 56659 238983 | 2147483647 33976 28 | 0.000 % |
14.27/14.38 c | 34257 | 636 56659 238983 | 2147483647 34257 28 | 0.000 % |
14.47/14.57 c | 34569 | 636 56659 238983 | 2147483647 34569 27 | 0.000 % |
14.76/14.80 c | 34909 | 636 56659 238983 | 2147483647 34909 28 | 0.000 % |
14.96/15.02 c | 35281 | 636 56659 238983 | 2147483647 35281 28 | 0.000 % |
15.16/15.23 c | 35692 | 636 56659 238983 | 2147483647 35692 27 | 0.000 % |
15.37/15.47 c | 36144 | 636 56659 238983 | 2147483647 36144 27 | 0.000 % |
15.76/15.83 c | 36637 | 636 56659 238983 | 2147483647 36637 27 | 0.000 % |
16.06/16.18 c | 37180 | 636 56659 238983 | 2147483647 37180 27 | 0.000 % |
16.16/16.25 c | 37280 | 636 56659 238983 | 2147483647 37280 27 | 0.000 % |
16.26/16.34 c | 37394 | 636 56659 238983 | 2147483647 37394 27 | 0.000 % |
16.37/16.41 c | 37515 | 636 56659 238983 | 2147483647 37515 27 | 0.000 % |
16.47/16.54 c | 37648 | 636 56659 238983 | 2147483647 37648 27 | 0.000 % |
16.56/16.61 c | 37795 | 636 56659 238983 | 2147483647 37795 27 | 0.000 % |
16.66/16.71 c | 37955 | 636 56659 238983 | 2147483647 37955 27 | 0.000 % |
16.76/16.83 c | 38132 | 636 56659 238983 | 2147483647 38132 27 | 0.000 % |
16.86/16.95 c | 38326 | 636 56659 238983 | 2147483647 38326 27 | 0.000 % |
16.96/17.09 c | 38542 | 636 56659 238983 | 2147483647 38542 27 | 0.000 % |
17.16/17.26 c | 38775 | 636 56659 238983 | 2147483647 38775 27 | 0.000 % |
17.36/17.45 c | 39032 | 636 56659 238983 | 2147483647 39032 27 | 0.000 % |
17.57/17.67 c | 39314 | 636 56659 238983 | 2147483647 39314 27 | 0.000 % |
17.76/17.87 c | 39623 | 636 56659 238983 | 2147483647 39623 27 | 0.000 % |
18.06/18.10 c | 39962 | 636 56659 238983 | 2147483647 39962 27 | 0.000 % |
18.26/18.35 c | 40334 | 636 56659 238983 | 2147483647 40334 28 | 0.000 % |
18.57/18.64 c | 40744 | 636 56659 238983 | 2147483647 40744 28 | 0.000 % |
18.86/18.95 c | 41193 | 636 56659 238983 | 2147483647 41193 28 | 0.000 % |
19.26/19.31 c | 41686 | 636 56659 238983 | 2147483647 41686 28 | 0.000 % |
19.56/19.70 c | 42228 | 636 56659 238983 | 2147483647 42228 28 | 0.000 % |
19.96/20.10 c | 42824 | 636 56659 238983 | 2147483647 42824 28 | 0.000 % |
20.06/20.16 c | 42930 | 636 56659 238983 | 2147483647 42930 28 | 0.000 % |
20.16/20.24 c | 43044 | 636 56659 238983 | 2147483647 43044 28 | 0.000 % |
20.26/20.35 c | 43166 | 636 56659 238983 | 2147483647 43166 28 | 0.000 % |
20.36/20.45 c | 43299 | 636 56659 238983 | 2147483647 43299 28 | 0.000 % |
20.46/20.55 c | 43445 | 636 56659 238983 | 2147483647 43445 28 | 0.000 % |
20.56/20.66 c | 43605 | 636 56659 238983 | 2147483647 43605 28 | 0.000 % |
20.65/20.79 c | 43781 | 636 56659 238983 | 2147483647 43781 28 | 0.000 % |
20.86/20.94 c | 43975 | 636 56659 238983 | 2147483647 43975 28 | 0.000 % |
20.96/21.10 c | 44189 | 636 56659 238983 | 2147483647 44189 28 | 0.000 % |
21.16/21.25 c | 44422 | 636 56659 238983 | 2147483647 44422 28 | 0.000 % |
21.36/21.43 c | 44678 | 636 56659 238983 | 2147483647 44678 28 | 0.000 % |
21.56/21.62 c | 44960 | 636 56659 238983 | 2147483647 44960 28 | 0.000 % |
21.76/21.83 c | 45270 | 636 56659 238983 | 2147483647 45270 28 | 0.000 % |
21.97/22.07 c | 45611 | 636 56659 238983 | 2147483647 45611 27 | 0.000 % |
22.26/22.33 c | 45983 | 636 56659 238983 | 2147483647 45983 27 | 0.000 % |
22.56/22.61 c | 46394 | 636 56659 238983 | 2147483647 46394 27 | 0.000 % |
22.76/22.90 c | 46846 | 636 56659 238983 | 2147483647 46846 27 | 0.000 % |
23.16/23.25 c | 47339 | 636 56659 238983 | 2147483647 47339 27 | 0.000 % |
23.56/23.66 c | 47881 | 636 56659 238983 | 2147483647 47881 27 | 0.000 % |
24.07/24.14 c | 48478 | 636 56659 238983 | 2147483647 48478 27 | 0.000 % |
24.56/24.61 c | 49135 | 636 56659 238983 | 2147483647 49135 27 | 0.000 % |
24.56/24.69 c | 49236 | 636 56659 238983 | 2147483647 49236 27 | 0.000 % |
24.66/24.78 c | 49346 | 636 56659 238983 | 2147483647 49346 27 | 0.000 % |
24.76/24.89 c | 49471 | 636 56659 238983 | 2147483647 49471 27 | 0.000 % |
24.86/24.99 c | 49604 | 636 56659 238983 | 2147483647 49604 27 | 0.000 % |
25.06/25.10 c | 49750 | 636 56659 238983 | 2147483647 49750 27 | 0.000 % |
25.17/25.25 c | 49911 | 636 56659 238983 | 2147483647 49911 27 | 0.000 % |
25.36/25.40 c | 50089 | 636 56659 238983 | 2147483647 50089 27 | 0.000 % |
25.46/25.58 c | 50283 | 636 56659 238983 | 2147483647 50283 27 | 0.000 % |
25.66/25.74 c | 50496 | 636 56659 238983 | 2147483647 50496 27 | 0.000 % |
25.86/25.92 c | 50732 | 636 56659 238983 | 2147483647 50732 27 | 0.000 % |
26.06/26.10 c | 50988 | 636 56659 238983 | 2147483647 50988 27 | 0.000 % |
26.27/26.32 c | 51269 | 636 56659 238983 | 2147483647 51269 27 | 0.000 % |
26.46/26.54 c | 51580 | 636 56659 238983 | 2147483647 51580 27 | 0.000 % |
26.76/26.88 c | 51919 | 636 56659 238983 | 2147483647 51919 27 | 0.000 % |
27.06/27.19 c | 52295 | 636 56659 238983 | 2147483647 52295 27 | 0.000 % |
27.46/27.54 c | 52704 | 636 56659 238983 | 2147483647 52704 27 | 0.000 % |
27.86/27.94 c | 53154 | 636 56659 238983 | 2147483647 53154 27 | 0.000 % |
28.26/28.36 c | 53647 | 636 56659 238983 | 2147483647 53647 27 | 0.000 % |
28.76/28.81 c | 54189 | 636 56659 238983 | 2147483647 54189 27 | 0.000 % |
29.26/29.35 c | 54786 | 636 56659 238983 | 2147483647 54786 27 | 0.000 % |
29.76/29.88 c | 55442 | 636 56659 238983 | 2147483647 55442 27 | 0.000 % |
30.36/30.48 c | 56170 | 636 56659 238983 | 2147483647 56170 27 | 0.000 % |
30.46/30.56 c | 56270 | 636 56659 238983 | 2147483647 56270 27 | 0.000 % |
30.56/30.64 c | 56383 | 636 56659 238983 | 2147483647 56383 27 | 0.000 % |
30.66/30.74 c | 56505 | 636 56659 238983 | 2147483647 56505 27 | 0.000 % |
30.76/30.88 c | 56638 | 636 56659 238983 | 2147483647 56638 27 | 0.000 % |
30.86/30.99 c | 56784 | 636 56659 238983 | 2147483647 56784 27 | 0.000 % |
31.06/31.13 c | 56944 | 636 56659 238983 | 2147483647 56944 27 | 0.000 % |
31.16/31.26 c | 57120 | 636 56659 238983 | 2147483647 57120 27 | 0.000 % |
31.26/31.40 c | 57313 | 636 56659 238983 | 2147483647 57313 27 | 0.000 % |
31.45/31.55 c | 57525 | 636 56659 238983 | 2147483647 57525 27 | 0.000 % |
31.66/31.80 c | 57758 | 636 56659 238983 | 2147483647 57758 27 | 0.000 % |
31.96/32.03 c | 58015 | 636 56659 238983 | 2147483647 58015 27 | 0.000 % |
32.26/32.34 c | 58296 | 636 56659 238983 | 2147483647 58296 27 | 0.000 % |
32.56/32.66 c | 58608 | 636 56659 238983 | 2147483647 58608 27 | 0.000 % |
32.86/32.97 c | 58947 | 636 56659 238983 | 2147483647 58947 27 | 0.000 % |
33.25/33.32 c | 59322 | 636 56659 238983 | 2147483647 59322 27 | 0.000 % |
33.55/33.68 c | 59731 | 636 56659 238983 | 2147483647 59731 27 | 0.000 % |
33.96/34.06 c | 60180 | 636 56659 238983 | 2147483647 60180 27 | 0.000 % |
34.45/34.54 c | 60675 | 636 56659 238983 | 2147483647 60675 27 | 0.000 % |
34.95/35.07 c | 61217 | 636 56659 238983 | 2147483647 61217 28 | 0.000 % |
35.55/35.67 c | 61813 | 636 56659 238983 | 2147483647 61813 28 | 0.000 % |
36.25/36.32 c | 62468 | 636 56659 238983 | 2147483647 62468 28 | 0.000 % |
36.95/37.01 c | 63189 | 636 56659 238983 | 2147483647 63189 28 | 0.000 % |
37.65/37.74 c | 63983 | 636 56659 238983 | 2147483647 63983 28 | 0.000 % |
37.75/37.83 c | 64086 | 636 56659 238983 | 2147483647 64086 28 | 0.000 % |
37.85/37.97 c | 64197 | 636 56659 238983 | 2147483647 64197 28 | 0.000 % |
37.95/38.09 c | 64318 | 636 56659 238983 | 2147483647 64318 28 | 0.000 % |
38.15/38.23 c | 64452 | 636 56659 238983 | 2147483647 64452 28 | 0.000 % |
38.25/38.39 c | 64600 | 636 56659 238983 | 2147483647 64600 28 | 0.000 % |
38.45/38.57 c | 64761 | 636 56659 238983 | 2147483647 64761 28 | 0.000 % |
38.65/38.78 c | 64937 | 636 56659 238983 | 2147483647 64937 28 | 0.000 % |
38.95/39.01 c | 65131 | 636 56659 238983 | 2147483647 65131 28 | 0.000 % |
39.15/39.25 c | 65345 | 636 56659 238983 | 2147483647 65345 28 | 0.000 % |
39.35/39.49 c | 65578 | 636 56659 238983 | 2147483647 65578 28 | 0.000 % |
39.75/39.81 c | 65835 | 636 56659 238983 | 2147483647 65835 28 | 0.000 % |
40.04/40.15 c | 66118 | 636 56659 238983 | 2147483647 66118 28 | 0.000 % |
40.34/40.47 c | 66427 | 636 56659 238983 | 2147483647 66427 28 | 0.000 % |
40.65/40.79 c | 66766 | 636 56659 238983 | 2147483647 66766 28 | 0.000 % |
41.04/41.19 c | 67138 | 636 56659 238983 | 2147483647 67138 28 | 0.000 % |
41.54/41.64 c | 67548 | 636 56659 238983 | 2147483647 67548 28 | 0.000 % |
42.14/42.20 c | 67998 | 636 56659 238983 | 2147483647 67998 28 | 0.000 % |
42.54/42.65 c | 68495 | 636 56659 238983 | 2147483647 68495 28 | 0.000 % |
43.14/43.26 c | 69037 | 636 56659 238983 | 2147483647 69037 28 | 0.000 % |
43.94/44.06 c | 69635 | 636 56659 238983 | 2147483647 69635 28 | 0.000 % |
44.75/44.88 c | 70292 | 636 56659 238983 | 2147483647 70292 28 | 0.000 % |
45.65/45.71 c | 71013 | 636 56659 238983 | 2147483647 71013 28 | 0.000 % |
46.65/46.76 c | 71806 | 636 56659 238983 | 2147483647 71806 28 | 0.000 % |
47.45/47.59 c | 72677 | 636 56659 238983 | 2147483647 72677 28 | 0.000 % |
47.55/47.69 c | 72779 | 636 56659 238983 | 2147483647 72779 28 | 0.000 % |
47.65/47.79 c | 72891 | 636 56659 238983 | 2147483647 72891 28 | 0.000 % |
47.85/47.95 c | 73012 | 636 56659 238983 | 2147483647 73012 28 | 0.000 % |
48.05/48.19 c | 73146 | 636 56659 238983 | 2147483647 73146 28 | 0.000 % |
48.25/48.39 c | 73293 | 636 56659 238983 | 2147483647 73293 28 | 0.000 % |
48.45/48.57 c | 73456 | 636 56659 238983 | 2147483647 73456 28 | 0.000 % |
48.65/48.77 c | 73632 | 636 56659 238983 | 2147483647 73632 28 | 0.000 % |
48.85/48.99 c | 73828 | 636 56659 238983 | 2147483647 73828 28 | 0.000 % |
49.15/49.21 c | 74043 | 636 56659 238983 | 2147483647 74043 28 | 0.000 % |
49.45/49.58 c | 74276 | 636 56659 238983 | 2147483647 74276 28 | 0.000 % |
49.75/49.88 c | 74536 | 636 56659 238983 | 2147483647 74536 28 | 0.000 % |
50.14/50.29 c | 74817 | 636 56659 238983 | 2147483647 74817 28 | 0.000 % |
50.55/50.65 c | 75127 | 636 56659 238983 | 2147483647 75127 28 | 0.000 % |
50.94/51.00 c | 75468 | 636 56659 238983 | 2147483647 75468 28 | 0.000 % |
51.24/51.38 c | 75841 | 636 56659 238983 | 2147483647 75841 28 | 0.000 % |
51.74/51.89 c | 76250 | 636 56659 238983 | 2147483647 76250 28 | 0.000 % |
52.44/52.54 c | 76702 | 636 56659 238983 | 2147483647 76702 28 | 0.000 % |
52.94/53.05 c | 77198 | 636 56659 238983 | 2147483647 77198 28 | 0.000 % |
53.54/53.67 c | 77741 | 636 56659 238983 | 2147483647 77741 28 | 0.000 % |
54.24/54.33 c | 78337 | 636 56659 238983 | 2147483647 78337 28 | 0.000 % |
54.94/55.02 c | 78992 | 636 56659 238983 | 2147483647 78992 28 | 0.000 % |
55.74/55.81 c | 79712 | 636 56659 238983 | 2147483647 79712 28 | 0.000 % |
56.54/56.69 c | 80505 | 636 56659 238983 | 2147483647 80505 28 | 0.000 % |
57.84/57.94 c | 81376 | 636 56659 238983 | 2147483647 81376 28 | 0.000 % |
59.04/59.10 c | 82335 | 636 56659 238983 | 2147483647 82335 28 | 0.000 % |
59.14/59.27 c | 82437 | 636 56659 238983 | 2147483647 82437 28 | 0.000 % |
59.34/59.41 c | 82547 | 636 56659 238983 | 2147483647 82547 28 | 0.000 % |
59.54/59.62 c | 82671 | 636 56659 238983 | 2147483647 82671 28 | 0.000 % |
59.74/59.82 c | 82811 | 636 56659 238983 | 2147483647 82811 28 | 0.000 % |
59.94/60.03 c | 82958 | 636 56659 238983 | 2147483647 82958 28 | 0.000 % |
60.13/60.26 c | 83118 | 636 56659 238983 | 2147483647 83118 28 | 0.000 % |
60.34/60.45 c | 83294 | 636 56659 238983 | 2147483647 83294 28 | 0.000 % |
60.53/60.69 c | 83487 | 636 56659 238983 | 2147483647 83487 28 | 0.000 % |
60.83/60.95 c | 83699 | 636 56659 238983 | 2147483647 83699 28 | 0.000 % |
61.13/61.24 c | 83932 | 636 56659 238983 | 2147483647 83932 28 | 0.000 % |
61.54/61.62 c | 84189 | 636 56659 238983 | 2147483647 84189 28 | 0.000 % |
61.83/61.97 c | 84472 | 636 56659 238983 | 2147483647 84472 28 | 0.000 % |
62.23/62.31 c | 84781 | 636 56659 238983 | 2147483647 84781 28 | 0.000 % |
62.54/62.70 c | 85123 | 636 56659 238983 | 2147483647 85123 28 | 0.000 % |
63.03/63.11 c | 85496 | 636 56659 238983 | 2147483647 85496 28 | 0.000 % |
63.53/63.64 c | 85905 | 636 56659 238983 | 2147483647 85905 28 | 0.000 % |
64.13/64.25 c | 86355 | 636 56659 238983 | 2147483647 86355 28 | 0.000 % |
64.74/64.86 c | 86848 | 636 56659 238983 | 2147483647 86848 28 | 0.000 % |
65.43/65.52 c | 87390 | 636 56659 238983 | 2147483647 87390 28 | 0.000 % |
66.03/66.17 c | 87987 | 636 56659 238983 | 2147483647 87987 28 | 0.000 % |
66.83/66.91 c | 88643 | 636 56659 238983 | 2147483647 88643 28 | 0.000 % |
67.83/67.94 c | 89363 | 636 56659 238983 | 2147483647 89363 28 | 0.000 % |
68.83/68.93 c | 90155 | 636 56659 238983 | 2147483647 90155 28 | 0.000 % |
70.03/70.10 c | 91031 | 636 56659 238983 | 2147483647 91031 28 | 0.000 % |
71.43/71.51 c | 91990 | 636 56659 238983 | 2147483647 91990 28 | 0.000 % |
73.03/73.14 c | 93043 | 636 56659 238983 | 2147483647 93043 28 | 0.000 % |
73.23/73.34 c | 93143 | 636 56659 238983 | 2147483647 93143 28 | 0.000 % |
73.43/73.56 c | 93254 | 636 56659 238983 | 2147483647 93254 28 | 0.000 % |
73.64/73.73 c | 93377 | 636 56659 238983 | 2147483647 93377 28 | 0.000 % |
73.83/73.95 c | 93513 | 636 56659 238983 | 2147483647 93513 28 | 0.000 % |
74.13/74.24 c | 93659 | 636 56659 238983 | 2147483647 93659 28 | 0.000 % |
74.43/74.50 c | 93819 | 636 56659 238983 | 2147483647 93819 28 | 0.000 % |
74.64/74.76 c | 93997 | 636 56659 238983 | 2147483647 93997 28 | 0.000 % |
74.93/75.04 c | 94190 | 636 56659 238983 | 2147483647 94190 28 | 0.000 % |
75.23/75.33 c | 94404 | 636 56659 238983 | 2147483647 94404 28 | 0.000 % |
75.53/75.64 c | 94637 | 636 56659 238983 | 2147483647 94637 28 | 0.000 % |
75.93/76.02 c | 94893 | 636 56659 238983 | 2147483647 94893 28 | 0.000 % |
76.33/76.48 c | 95176 | 636 56659 238983 | 2147483647 95176 28 | 0.000 % |
76.73/76.86 c | 95485 | 636 56659 238983 | 2147483647 95485 28 | 0.000 % |
77.23/77.33 c | 95826 | 636 56659 238983 | 2147483647 95826 28 | 0.000 % |
77.83/77.96 c | 96200 | 636 56659 238983 | 2147483647 96200 28 | 0.000 % |
78.43/78.55 c | 96609 | 636 56659 238983 | 2147483647 96609 28 | 0.000 % |
79.04/79.20 c | 97059 | 636 56659 238983 | 2147483647 97059 28 | 0.000 % |
79.93/80.01 c | 97553 | 636 56659 238983 | 2147483647 97553 28 | 0.000 % |
80.93/81.03 c | 98095 | 636 56659 238983 | 2147483647 98095 28 | 0.000 % |
82.03/82.10 c | 98691 | 636 56659 238983 | 2147483647 98691 28 | 0.000 % |
83.13/83.23 c | 99347 | 636 56659 238983 | 2147483647 99347 28 | 0.000 % |
84.33/84.44 c | 100067 | 636 56659 238983 | 2147483647 100067 28 | 0.000 % |
85.73/85.89 c | 100859 | 636 56659 238983 | 2147483647 100859 28 | 0.000 % |
87.12/87.22 c | 101730 | 636 56659 238983 | 2147483647 101730 28 | 0.000 % |
88.93/89.03 c | 102689 | 636 56659 238983 | 2147483647 102689 28 | 0.000 % |
90.32/90.46 c | 103744 | 636 56659 238983 | 2147483647 103744 28 | 0.000 % |
92.02/92.15 c | 104903 | 636 56659 238983 | 2147483647 104903 28 | 0.000 % |
92.12/92.28 c | 105004 | 636 56659 238983 | 2147483647 105004 28 | 0.000 % |
92.42/92.58 c | 105115 | 636 56659 238983 | 2147483647 105115 28 | 0.000 % |
92.72/92.85 c | 105237 | 636 56659 238983 | 2147483647 105237 28 | 0.000 % |
92.92/93.05 c | 105371 | 636 56659 238983 | 2147483647 105371 28 | 0.000 % |
93.12/93.27 c | 105521 | 636 56659 238983 | 2147483647 105521 28 | 0.000 % |
93.42/93.57 c | 105681 | 636 56659 238983 | 2147483647 105681 28 | 0.000 % |
93.72/93.88 c | 105861 | 636 56659 238983 | 2147483647 105861 28 | 0.000 % |
94.02/94.16 c | 106054 | 636 56659 238983 | 2147483647 106054 28 | 0.000 % |
94.62/94.71 c | 106266 | 636 56659 238983 | 2147483647 106266 28 | 0.000 % |
95.02/95.19 c | 106499 | 636 56659 238983 | 2147483647 106499 28 | 0.000 % |
95.52/95.63 c | 106755 | 636 56659 238983 | 2147483647 106755 28 | 0.000 % |
95.92/96.09 c | 107041 | 636 56659 238983 | 2147483647 107041 28 | 0.000 % |
96.52/96.66 c | 107352 | 636 56659 238983 | 2147483647 107352 28 | 0.000 % |
97.12/97.21 c | 107691 | 636 56659 238983 | 2147483647 107691 28 | 0.000 % |
97.62/97.79 c | 108064 | 636 56659 238983 | 2147483647 108064 28 | 0.000 % |
98.42/98.59 c | 108476 | 636 56659 238983 | 2147483647 108476 28 | 0.000 % |
99.22/99.38 c | 108927 | 636 56659 238983 | 2147483647 108927 28 | 0.000 % |
100.02/100.19 c | 109421 | 636 56659 238983 | 2147483647 109421 28 | 0.000 % |
100.92/101.04 c | 109965 | 636 56659 238983 | 2147483647 109965 28 | 0.000 % |
101.81/101.99 c | 110562 | 636 56659 238983 | 2147483647 110562 28 | 0.000 % |
103.22/103.32 c | 111217 | 636 56659 238983 | 2147483647 111217 28 | 0.000 % |
104.51/104.67 c | 111938 | 636 56659 238983 | 2147483647 111938 28 | 0.000 % |
106.01/106.18 c | 112730 | 636 56659 238983 | 2147483647 112730 28 | 0.000 % |
107.51/107.66 c | 113602 | 636 56659 238983 | 2147483647 113602 28 | 0.000 % |
109.11/109.27 c | 114560 | 636 56659 238983 | 2147483647 114560 28 | 0.000 % |
111.51/111.65 c | 115613 | 636 56659 238983 | 2147483647 115613 28 | 0.000 % |
113.81/113.92 c | 116772 | 636 56659 238983 | 2147483647 116772 28 | 0.000 % |
116.30/116.43 c | 118047 | 636 56659 238983 | 2147483647 118047 28 | 0.000 % |
116.60/116.73 c | 118150 | 636 56659 238983 | 2147483647 118150 28 | 0.000 % |
116.80/116.99 c | 118260 | 636 56659 238983 | 2147483647 118260 28 | 0.000 % |
117.10/117.20 c | 118383 | 636 56659 238983 | 2147483647 118383 28 | 0.000 % |
117.31/117.42 c | 118518 | 636 56659 238983 | 2147483647 118518 28 | 0.000 % |
117.61/117.78 c | 118665 | 636 56659 238983 | 2147483647 118665 28 | 0.000 % |
117.90/118.09 c | 118825 | 636 56659 238983 | 2147483647 118825 28 | 0.000 % |
118.30/118.48 c | 119003 | 636 56659 238983 | 2147483647 119003 28 | 0.000 % |
118.80/118.92 c | 119199 | 636 56659 238983 | 2147483647 119199 28 | 0.000 % |
119.20/119.35 c | 119411 | 636 56659 238983 | 2147483647 119411 28 | 0.000 % |
119.71/119.85 c | 119647 | 636 56659 238983 | 2147483647 119647 28 | 0.000 % |
120.20/120.39 c | 119906 | 636 56659 238983 | 2147483647 119906 28 | 0.000 % |
120.71/120.86 c | 120189 | 636 56659 238983 | 2147483647 120189 28 | 0.000 % |
121.41/121.52 c | 120498 | 636 56659 238983 | 2147483647 120498 28 | 0.000 % |
122.21/122.38 c | 120839 | 636 56659 238983 | 2147483647 120839 28 | 0.000 % |
123.11/123.22 c | 121212 | 636 56659 238983 | 2147483647 121212 28 | 0.000 % |
123.81/123.94 c | 121622 | 636 56659 238983 | 2147483647 121622 28 | 0.000 % |
124.51/124.68 c | 122071 | 636 56659 238983 | 2147483647 122071 28 | 0.000 % |
125.71/125.86 c | 122564 | 636 56659 238983 | 2147483647 122564 28 | 0.000 % |
126.91/127.05 c | 123106 | 636 56659 238983 | 2147483647 123106 28 | 0.000 % |
128.01/128.17 c | 123702 | 636 56659 238983 | 2147483647 123702 28 | 0.000 % |
129.41/129.56 c | 124359 | 636 56659 238983 | 2147483647 124359 28 | 0.000 % |
130.81/130.95 c | 125080 | 636 56659 238983 | 2147483647 125080 28 | 0.000 % |
132.60/132.71 c | 125874 | 636 56659 238983 | 2147483647 125874 28 | 0.000 % |
134.60/134.76 c | 126746 | 636 56659 238983 | 2147483647 126746 28 | 0.000 % |
136.80/136.97 c | 127707 | 636 56659 238983 | 2147483647 127707 28 | 0.000 % |
139.00/139.16 c | 128761 | 636 56659 238983 | 2147483647 128761 28 | 0.000 % |
141.30/141.49 c | 129919 | 636 56659 238983 | 2147483647 129919 28 | 0.000 % |
144.20/144.35 c | 131193 | 636 56659 238983 | 2147483647 131193 28 | 0.000 % |
147.40/147.54 c | 132595 | 636 56659 238983 | 2147483647 132595 28 | 0.000 % |
147.60/147.74 c | 132695 | 636 56659 238983 | 2147483647 132695 28 | 0.000 % |
147.80/147.98 c | 132806 | 636 56659 238983 | 2147483647 132806 28 | 0.000 % |
148.00/148.17 c | 132928 | 636 56659 238983 | 2147483647 132928 28 | 0.000 % |
148.30/148.45 c | 133061 | 636 56659 238983 | 2147483647 133061 28 | 0.000 % |
148.60/148.70 c | 133210 | 636 56659 238983 | 2147483647 133210 28 | 0.000 % |
148.80/148.98 c | 133370 | 636 56659 238983 | 2147483647 133370 28 | 0.000 % |
149.10/149.29 c | 133546 | 636 56659 238983 | 2147483647 133546 28 | 0.000 % |
149.40/149.59 c | 133742 | 636 56659 238983 | 2147483647 133742 28 | 0.000 % |
149.80/149.99 c | 133954 | 636 56659 238983 | 2147483647 133954 28 | 0.000 % |
150.30/150.40 c | 134187 | 636 56659 238983 | 2147483647 134187 28 | 0.000 % |
150.70/150.84 c | 134443 | 636 56659 238983 | 2147483647 134443 28 | 0.000 % |
151.20/151.40 c | 134725 | 636 56659 238983 | 2147483647 134725 28 | 0.000 % |
151.80/151.98 c | 135034 | 636 56659 238983 | 2147483647 135034 28 | 0.000 % |
152.30/152.45 c | 135373 | 636 56659 238983 | 2147483647 135373 28 | 0.000 % |
152.70/152.85 c | 135745 | 636 56659 238983 | 2147483647 135745 28 | 0.000 % |
153.10/153.30 c | 136156 | 636 56659 238983 | 2147483647 136156 28 | 0.000 % |
155.09/155.28 c | 136607 | 636 56659 238983 | 2147483647 136607 28 | 0.000 % |
156.99/157.15 c | 137102 | 636 56659 238983 | 2147483647 137102 27 | 0.000 % |
157.79/157.93 c | 137644 | 636 56659 238983 | 2147483647 137644 27 | 0.000 % |
159.40/159.59 c | 138240 | 636 56659 238983 | 2147483647 138240 27 | 0.000 % |
161.19/161.33 c | 138895 | 636 56659 238983 | 2147483647 138895 27 | 0.000 % |
163.19/163.35 c | 139618 | 636 56659 238983 | 2147483647 139618 27 | 0.000 % |
164.79/164.96 c | 140410 | 636 56659 238983 | 2147483647 140410 27 | 0.000 % |
167.69/167.81 c | 141282 | 636 56659 238983 | 2147483647 141282 27 | 0.000 % |
170.99/171.19 c | 142241 | 636 56659 238983 | 2147483647 142241 27 | 0.000 % |
173.69/173.87 c | 143295 | 636 56659 238983 | 2147483647 143295 27 | 0.000 % |
176.79/176.99 c | 144455 | 636 56659 238983 | 2147483647 144455 27 | 0.000 % |
177.99/178.14 c | 145733 | 636 56659 238983 | 2147483647 145733 27 | 0.000 % |
179.48/179.67 c | 147136 | 636 56659 238983 | 2147483647 147136 27 | 0.002 % |
186.18/186.31 c | 148679 | 636 56659 238983 | 2147483647 148679 27 | 0.000 % |
186.38/186.57 c | 148782 | 636 56659 238983 | 2147483647 148782 27 | 0.000 % |
186.68/186.87 c | 148893 | 636 56659 238983 | 2147483647 148893 27 | 0.000 % |
186.89/187.08 c | 149015 | 636 56659 238983 | 2147483647 149015 27 | 0.000 % |
187.78/187.96 c | 149148 | 636 56659 238983 | 2147483647 149148 27 | 0.000 % |
188.68/188.84 c | 149295 | 636 56659 238983 | 2147483647 149295 27 | 0.000 % |
189.58/189.75 c | 149457 | 636 56659 238983 | 2147483647 149457 27 | 0.000 % |
190.48/190.68 c | 149634 | 636 56659 238983 | 2147483647 149634 27 | 0.000 % |
191.78/191.91 c | 149829 | 636 56659 238983 | 2147483647 149829 27 | 0.000 % |
192.78/192.93 c | 150041 | 636 56659 238983 | 150000 150041 27 | 0.000 % |
193.98/194.18 c | 150275 | 636 56659 238983 | 150000 125119 27 | 0.000 % |
195.68/195.82 c | 150532 | 636 56659 238983 | 150000 125376 27 | 0.000 % |
196.68/196.81 c | 150815 | 636 56659 238983 | 150000 125659 27 | 0.000 % |
197.88/198.04 c | 151125 | 636 56659 238983 | 150000 125969 27 | 0.000 % |
198.18/198.36 c | 151464 | 636 56659 238983 | 150000 126308 27 | 0.000 % |
198.58/198.72 c | 151837 | 636 56659 238983 | 150000 126681 27 | 0.000 % |
199.08/199.21 c | 152247 | 636 56659 238983 | 150000 127091 27 | 0.000 % |
201.08/201.24 c | 152696 | 636 56659 238983 | 150000 127540 27 | 0.000 % |
203.87/204.02 c | 153189 | 636 56659 238983 | 150000 128033 27 | 0.000 % |
204.77/204.99 c | 153731 | 636 56659 238983 | 150000 128575 27 | 0.000 % |
207.97/208.17 c | 154327 | 636 56659 238983 | 150000 129171 27 | 0.000 % |
211.77/211.97 c | 154982 | 636 56659 238983 | 150000 129826 27 | 0.000 % |
216.07/216.28 c | 155702 | 636 56659 238983 | 150000 130546 27 | 0.000 % |
220.67/220.90 c | 156494 | 636 56659 238983 | 150000 131338 27 | 0.000 % |
226.67/226.88 c | 157365 | 636 56659 238983 | 150000 132209 27 | 0.000 % |
232.27/232.45 c | 158328 | 636 56659 238983 | 150000 133172 27 | 0.000 % |
238.06/238.27 c | 159381 | 636 56659 238983 | 150000 134225 27 | 0.000 % |
246.46/246.64 c | 160541 | 636 56659 238983 | 134844 97140 26 | 0.000 % |
252.26/252.44 c | 161814 | 636 56659 238983 | 134844 98413 26 | 0.000 % |
258.06/258.30 c | 163214 | 636 56659 238983 | 134844 99813 26 | 0.000 % |
264.46/264.62 c | 164754 | 636 56659 238983 | 134844 101353 26 | 0.000 % |
271.56/271.76 c | 166448 | 636 56659 238983 | 134844 103047 26 | 0.000 % |
271.95/272.16 c | 166550 | 636 56659 238983 | 134844 103149 26 | 0.000 % |
272.66/272.82 c | 166663 | 636 56659 238983 | 134844 103262 26 | 0.000 % |
273.05/273.29 c | 166785 | 636 56659 238983 | 134844 103384 26 | 0.000 % |
273.35/273.57 c | 166918 | 636 56659 238983 | 134844 103517 26 | 0.000 % |
274.05/274.27 c | 167066 | 636 56659 238983 | 134844 103665 26 | 0.000 % |
274.25/274.45 c | 167229 | 636 56659 238983 | 134844 103828 26 | 0.000 % |
274.65/274.82 c | 167407 | 636 56659 238983 | 134844 104006 26 | 0.000 % |
274.76/274.99 c | 167600 | 636 56659 238983 | 134844 104199 26 | 0.000 % |
274.95/275.14 c | 167812 | 636 56659 238983 | 134844 104411 26 | 0.000 % |
275.15/275.34 c | 168045 | 636 56659 238983 | 134844 104644 26 | 0.000 % |
276.05/276.21 c | 168301 | 636 56659 238983 | 134844 104900 26 | 0.000 % |
277.35/277.53 c | 168582 | 636 56659 238983 | 134844 105181 26 | 0.000 % |
278.05/278.28 c | 168891 | 636 56659 238983 | 134844 105490 26 | 0.000 % |
279.75/279.97 c | 169231 | 636 56659 238983 | 134844 105830 26 | 0.000 % |
281.75/281.93 c | 169603 | 636 56659 238983 | 134844 106202 26 | 0.000 % |
283.25/283.47 c | 170012 | 636 56659 238983 | 106603 106611 26 | 0.000 % |
285.95/286.18 c | 170461 | 636 56659 238983 | 106603 78975 25 | 0.000 % |
287.45/287.63 c | 170954 | 636 56659 238983 | 106603 79468 25 | 0.000 % |
288.25/288.41 c | 171496 | 636 56659 238983 | 106603 80010 25 | 0.000 % |
289.65/289.87 c | 172095 | 636 56659 238983 | 106603 80609 25 | 0.000 % |
291.55/291.72 c | 172750 | 636 56659 238983 | 106603 81264 25 | 0.000 % |
292.85/293.08 c | 173471 | 636 56659 238983 | 106603 81985 25 | 0.000 % |
295.15/295.31 c | 174263 | 636 56659 238983 | 106603 82777 25 | 0.000 % |
298.04/298.29 c | 175134 | 636 56659 238983 | 106603 83648 25 | 0.000 % |
299.94/300.11 c | 176093 | 636 56659 238983 | 106603 84607 25 | 0.000 % |
303.44/303.64 c | 177147 | 636 56659 238983 | 106603 85661 25 | 0.000 % |
306.94/307.16 c | 178306 | 636 56659 238983 | 106603 86820 26 | 0.000 % |
309.54/309.70 c | 179580 | 636 56659 238983 | 106603 88094 26 | 0.000 % |
313.34/313.54 c | 180981 | 636 56659 238983 | 88514 67554 25 | 0.000 % |
316.74/316.91 c | 182521 | 636 56659 238983 | 88514 69094 26 | 0.000 % |
319.13/319.32 c | 184216 | 636 56659 238983 | 88514 70789 26 | 0.000 % |
322.93/323.12 c | 186079 | 636 56659 238983 | 88514 72652 26 | 0.000 % |
323.14/323.35 c | 186179 | 636 56659 238983 | 88514 72752 26 | 0.000 % |
323.33/323.59 c | 186289 | 636 56659 238983 | 88514 72862 26 | 0.000 % |
323.63/323.84 c | 186411 | 636 56659 238983 | 88514 72984 26 | 0.000 % |
323.83/324.09 c | 186544 | 636 56659 238983 | 88514 73117 26 | 0.000 % |
324.23/324.48 c | 186690 | 636 56659 238983 | 88514 73263 26 | 0.000 % |
324.63/324.82 c | 186851 | 636 56659 238983 | 88514 73424 26 | 0.000 % |
325.03/325.21 c | 187028 | 636 56659 238983 | 88514 73601 26 | 0.000 % |
325.43/325.64 c | 187221 | 636 56659 238983 | 88514 73794 26 | 0.000 % |
325.93/326.12 c | 187433 | 636 56659 238983 | 88514 74006 26 | 0.000 % |
326.43/326.66 c | 187666 | 636 56659 238983 | 88514 74239 26 | 0.000 % |
327.03/327.20 c | 187925 | 636 56659 238983 | 88514 74498 26 | 0.000 % |
327.53/327.76 c | 188208 | 636 56659 238983 | 88514 74781 26 | 0.000 % |
328.13/328.35 c | 188518 | 636 56659 238983 | 88514 75091 26 | 0.000 % |
328.93/329.16 c | 188859 | 636 56659 238983 | 88514 75432 26 | 0.000 % |
329.73/329.96 c | 189231 | 636 56659 238983 | 88514 75804 26 | 0.000 % |
330.63/330.88 c | 189643 | 636 56659 238983 | 88514 76216 26 | 0.000 % |
331.63/331.83 c | 190093 | 636 56659 238983 | 2147483647 76666 26 | 0.000 % |
332.83/333.04 c | 190586 | 636 56659 238983 | 2147483647 77159 26 | 0.000 % |
334.33/334.58 c | 191131 | 636 56659 238983 | 2147483647 77704 26 | 0.000 % |
334.93/335.20 c | 191730 | 636 56659 238983 | 2147483647 78303 26 | 0.000 % |
336.63/336.84 c | 192385 | 636 56659 238983 | 2147483647 78958 26 | 0.000 % |
338.33/338.55 c | 193105 | 636 56659 238983 | 2147483647 79678 27 | 0.000 % |
340.43/340.62 c | 193897 | 636 56659 238983 | 2147483647 80470 27 | 0.000 % |
342.53/342.71 c | 194768 | 636 56659 238983 | 2147483647 81341 27 | 0.000 % |
344.52/344.73 c | 195729 | 636 56659 238983 | 2147483647 82302 27 | 0.000 % |
346.72/346.92 c | 196785 | 636 56659 238983 | 2147483647 83358 27 | 0.000 % |
349.22/349.46 c | 197947 | 636 56659 238983 | 2147483647 84520 26 | 0.000 % |
352.12/352.34 c | 199220 | 636 56659 238983 | 2147483647 85793 26 | 0.000 % |
355.32/355.58 c | 200621 | 636 56659 238983 | 2147483647 87194 26 | 0.000 % |
358.12/358.37 c | 202161 | 636 56659 238983 | 2147483647 88734 26 | 0.000 % |
361.32/361.54 c | 203857 | 636 56659 238983 | 2147483647 90430 26 | 0.000 % |
364.82/365.04 c | 205722 | 636 56659 238983 | 2147483647 92295 26 | 0.000 % |
369.71/369.98 c | 207771 | 636 56659 238983 | 2147483647 94344 26 | 0.000 % |
370.01/370.23 c | 207874 | 636 56659 238983 | 2147483647 94447 26 | 0.002 % |
370.31/370.51 c | 207985 | 636 56659 238983 | 2147483647 94558 26 | 0.000 % |
370.52/370.78 c | 208109 | 636 56659 238983 | 2147483647 94682 26 | 0.000 % |
370.81/371.08 c | 208242 | 636 56659 238983 | 2147483647 94815 26 | 0.000 % |
371.21/371.44 c | 208388 | 636 56659 238983 | 2147483647 94961 26 | 0.000 % |
371.62/371.87 c | 208549 | 636 56659 238983 | 2147483647 95122 26 | 0.000 % |
372.11/372.37 c | 208725 | 636 56659 238983 | 2147483647 95298 26 | 0.000 % |
372.51/372.78 c | 208918 | 636 56659 238983 | 2147483647 95491 26 | 0.000 % |
373.11/373.31 c | 209131 | 636 56659 238983 | 2147483647 95704 26 | 0.000 % |
373.72/373.97 c | 209367 | 636 56659 238983 | 2147483647 95940 27 | 0.000 % |
374.31/374.58 c | 209623 | 636 56659 238983 | 2147483647 96196 27 | 0.000 % |
375.01/375.27 c | 209908 | 636 56659 238983 | 2147483647 96481 27 | 0.000 % |
375.71/375.99 c | 210219 | 636 56659 238983 | 2147483647 96792 27 | 0.000 % |
376.61/376.80 c | 210558 | 636 56659 238983 | 2147483647 97131 27 | 0.000 % |
377.51/377.71 c | 210931 | 636 56659 238983 | 2147483647 97504 27 | 0.000 % |
378.12/378.31 c | 211340 | 636 56659 238983 | 2147483647 97913 27 | 0.000 % |
379.41/379.64 c | 211789 | 636 56659 238983 | 2147483647 98362 27 | 0.000 % |
380.71/380.94 c | 212284 | 636 56659 238983 | 2147483647 98857 27 | 0.000 % |
381.91/382.17 c | 212827 | 636 56659 238983 | 2147483647 99400 27 | 0.000 % |
383.31/383.54 c | 213423 | 636 56659 238983 | 2147483647 99996 27 | 0.000 % |
384.81/385.07 c | 214078 | 636 56659 238983 | 2147483647 100651 27 | 0.000 % |
386.81/387.01 c | 214800 | 636 56659 238983 | 2147483647 101373 27 | 0.000 % |
388.71/388.90 c | 215592 | 636 56659 238983 | 2147483647 102165 27 | 0.000 % |
391.11/391.34 c | 216463 | 636 56659 238983 | 2147483647 103036 27 | 0.000 % |
393.51/393.76 c | 217421 | 636 56659 238983 | 2147483647 103994 27 | 0.000 % |
396.10/396.32 c | 218474 | 636 56659 238983 | 2147483647 105047 27 | 0.000 % |
399.01/399.24 c | 219635 | 636 56659 238983 | 2147483647 106208 27 | 0.000 % |
401.80/402.05 c | 220909 | 636 56659 238983 | 106576 96797 27 | 0.000 % |
404.40/404.65 c | 222310 | 636 56659 238983 | 106576 98198 27 | 0.000 % |
406.90/407.16 c | 223851 | 636 56659 238983 | 106576 99739 27 | 0.000 % |
409.80/410.07 c | 225546 | 636 56659 238983 | 106576 101434 27 | 0.000 % |
413.60/413.80 c | 227409 | 636 56659 238983 | 106576 103297 27 | 0.000 % |
417.60/417.87 c | 229459 | 636 56659 238983 | 106576 105347 27 | 0.000 % |
421.90/422.15 c | 231713 | 636 56659 238983 | 2147483647 107601 27 | 0.000 % |
422.11/422.33 c | 231814 | 636 56659 238983 | 2147483647 107702 27 | 0.000 % |
422.30/422.57 c | 231924 | 636 56659 238983 | 2147483647 107812 27 | 0.000 % |
422.60/422.82 c | 232049 | 636 56659 238983 | 2147483647 107937 27 | 0.000 % |
422.90/423.12 c | 232183 | 636 56659 238983 | 2147483647 108071 27 | 0.000 % |
423.10/423.40 c | 232329 | 636 56659 238983 | 2147483647 108217 27 | 0.000 % |
423.50/423.75 c | 232489 | 636 56659 238983 | 2147483647 108377 27 | 0.000 % |
423.90/424.14 c | 232667 | 636 56659 238983 | 2147483647 108555 27 | 0.000 % |
424.20/424.49 c | 232860 | 636 56659 238983 | 2147483647 108748 27 | 0.000 % |
424.70/424.90 c | 233072 | 636 56659 238983 | 2147483647 108960 27 | 0.000 % |
425.20/425.49 c | 233305 | 636 56659 238983 | 2147483647 109193 27 | 0.000 % |
425.80/426.05 c | 233563 | 636 56659 238983 | 2147483647 109451 27 | 0.000 % |
426.40/426.67 c | 233844 | 636 56659 238983 | 2147483647 109732 27 | 0.000 % |
427.00/427.25 c | 234153 | 636 56659 238983 | 2147483647 110041 27 | 0.000 % |
427.71/427.91 c | 234493 | 636 56659 238983 | 2147483647 110381 27 | 0.000 % |
428.40/428.64 c | 234866 | 636 56659 238983 | 2147483647 110754 27 | 0.000 % |
429.20/429.44 c | 235275 | 636 56659 238983 | 2147483647 111163 27 | 0.000 % |
430.00/430.28 c | 235724 | 636 56659 238983 | 2147483647 111612 27 | 0.000 % |
431.00/431.24 c | 236218 | 636 56659 238983 | 2147483647 112106 27 | 0.000 % |
431.90/432.15 c | 236761 | 636 56659 238983 | 2147483647 112649 27 | 0.000 % |
433.30/433.55 c | 237359 | 636 56659 238983 | 2147483647 113247 27 | 0.000 % |
434.80/435.07 c | 238014 | 636 56659 238983 | 2147483647 113902 27 | 0.000 % |
436.40/436.70 c | 238736 | 636 56659 238983 | 2147483647 114624 27 | 0.000 % |
438.00/438.25 c | 239530 | 636 56659 238983 | 2147483647 115418 27 | 0.000 % |
439.90/440.19 c | 240403 | 636 56659 238983 | 2147483647 116291 27 | 0.000 % |
442.10/442.36 c | 241361 | 636 56659 238983 | 2147483647 117249 27 | 0.000 % |
444.29/444.59 c | 242416 | 636 56659 238983 | 2147483647 118304 27 | 0.000 % |
446.89/447.16 c | 243575 | 636 56659 238983 | 2147483647 119463 27 | 0.000 % |
449.89/450.18 c | 244848 | 636 56659 238983 | 2147483647 120736 27 | 0.000 % |
452.49/452.75 c | 246252 | 636 56659 238983 | 2147483647 122140 27 | 0.000 % |
456.09/456.36 c | 247794 | 636 56659 238983 | 2147483647 123682 27 | 0.000 % |
459.69/459.94 c | 249488 | 636 56659 238983 | 2147483647 125376 27 | 0.000 % |
464.39/464.68 c | 251351 | 636 56659 238983 | 2147483647 127239 27 | 0.000 % |
469.29/469.59 c | 253401 | 636 56659 238983 | 2147483647 129289 27 | 0.000 % |
475.08/475.34 c | 255654 | 636 56659 238983 | 2147483647 131542 27 | 0.000 % |
481.18/481.46 c | 258134 | 636 56659 238983 | 2147483647 134022 27 | 0.000 % |
481.38/481.68 c | 258235 | 636 56659 238983 | 2147483647 134123 27 | 0.000 % |
481.68/481.97 c | 258348 | 636 56659 238983 | 2147483647 134236 27 | 0.000 % |
481.98/482.22 c | 258469 | 636 56659 238983 | 2147483647 134357 27 | 0.000 % |
482.28/482.54 c | 258602 | 636 56659 238983 | 2147483647 134490 27 | 0.000 % |
482.69/482.90 c | 258748 | 636 56659 238983 | 2147483647 134636 27 | 0.000 % |
482.98/483.23 c | 258911 | 636 56659 238983 | 2147483647 134799 27 | 0.000 % |
483.38/483.68 c | 259089 | 636 56659 238983 | 2147483647 134977 27 | 0.000 % |
483.98/484.28 c | 259284 | 636 56659 238983 | 2147483647 135172 27 | 0.000 % |
484.58/484.86 c | 259498 | 636 56659 238983 | 2147483647 135386 27 | 0.000 % |
485.28/485.56 c | 259731 | 636 56659 238983 | 2147483647 135619 27 | 0.001 % |
485.99/486.24 c | 259989 | 636 56659 238983 | 2147483647 135877 27 | 0.000 % |
486.88/487.19 c | 260270 | 636 56659 238983 | 135888 122508 27 | 0.000 % |
487.58/487.80 c | 260582 | 636 56659 238983 | 135888 122820 27 | 0.000 % |
488.28/488.57 c | 260925 | 636 56659 238983 | 135888 123163 27 | 0.000 % |
489.18/489.47 c | 261297 | 636 56659 238983 | 135888 123535 27 | 0.000 % |
490.18/490.48 c | 261706 | 636 56659 238983 | 135888 123944 27 | 0.000 % |
491.28/491.52 c | 262155 | 636 56659 238983 | 135888 124393 27 | 0.000 % |
492.18/492.40 c | 262648 | 636 56659 238983 | 135888 124886 27 | 0.000 % |
493.08/493.31 c | 263190 | 636 56659 238983 | 135888 125428 27 | 0.000 % |
494.18/494.48 c | 263786 | 636 56659 238983 | 135888 126024 27 | 0.000 % |
495.38/495.64 c | 264441 | 636 56659 238983 | 135888 126679 27 | 0.000 % |
497.17/497.40 c | 265161 | 636 56659 238983 | 135888 127399 27 | 0.000 % |
498.47/498.78 c | 265956 | 636 56659 238983 | 135888 128194 27 | 0.000 % |
500.18/500.46 c | 266828 | 636 56659 238983 | 135888 129066 27 | 0.000 % |
501.87/502.16 c | 267786 | 636 56659 238983 | 135888 130024 27 | 0.000 % |
503.07/503.31 c | 268840 | 636 56659 238983 | 135888 131078 27 | 0.002 % |
504.27/504.51 c | 269999 | 636 56659 238983 | 135888 132237 27 | 0.002 % |
507.57/507.81 c | 271272 | 636 56659 238983 | 2147483647 133510 27 | 0.002 % |
511.67/511.91 c | 272673 | 636 56659 238983 | 2147483647 134911 27 | 0.002 % |
516.37/516.68 c | 274215 | 636 56659 238983 | 2147483647 136453 27 | 0.000 % |
521.86/522.13 c | 275911 | 636 56659 238983 | 2147483647 138149 27 | 0.000 % |
526.36/526.60 c | 277775 | 636 56659 238983 | 2147483647 140013 27 | 0.000 % |
528.76/529.07 c | 279824 | 636 56659 238983 | 2147483647 142062 27 | 0.000 % |
531.56/531.82 c | 282081 | 636 56659 238983 | 2147483647 144319 27 | 0.000 % |
544.65/544.90 c | 284559 | 636 56659 238983 | 2147483647 146797 27 | 0.000 % |
558.15/558.49 c | 287287 | 636 56659 238983 | 2147483647 149525 27 | 0.000 % |
558.65/559.00 c | 287387 | 636 56659 238983 | 2147483647 149625 27 | 0.000 % |
559.15/559.44 c | 287497 | 636 56659 238983 | 2147483647 149735 27 | 0.000 % |
559.85/560.12 c | 287618 | 636 56659 238983 | 2147483647 149856 27 | 0.000 % |
560.05/560.30 c | 287752 | 636 56659 238983 | 2147483647 149990 27 | 0.000 % |
560.15/560.47 c | 287901 | 636 56659 238983 | 2147483647 150139 27 | 0.000 % |
560.35/560.67 c | 288062 | 636 56659 238983 | 2147483647 150300 27 | 0.000 % |
561.25/561.58 c | 288239 | 636 56659 238983 | 2147483647 150477 27 | 0.000 % |
562.35/562.60 c | 288432 | 636 56659 238983 | 2147483647 150670 27 | 0.000 % |
563.55/563.89 c | 288644 | 636 56659 238983 | 2147483647 150882 27 | 0.000 % |
564.85/565.19 c | 288879 | 636 56659 238983 | 2147483647 151117 27 | 0.000 % |
566.54/566.85 c | 289137 | 636 56659 238983 | 2147483647 151375 27 | 0.000 % |
568.14/568.50 c | 289419 | 636 56659 238983 | 2147483647 151657 27 | 0.000 % |
569.74/570.09 c | 289731 | 636 56659 238983 | 2147483647 151969 27 | 0.000 % |
571.65/571.97 c | 290070 | 636 56659 238983 | 152238 152308 27 | 0.000 % |
574.54/574.89 c | 290444 | 636 56659 238983 | 152238 109695 26 | 0.000 % |
576.54/576.82 c | 290854 | 636 56659 238983 | 152238 110105 26 | 0.000 % |
578.24/578.57 c | 291305 | 636 56659 238983 | 152238 110556 26 | 0.000 % |
580.34/580.62 c | 291798 | 636 56659 238983 | 152238 111049 26 | 0.000 % |
582.14/582.43 c | 292341 | 636 56659 238983 | 152238 111592 26 | 0.000 % |
584.34/584.62 c | 292943 | 636 56659 238983 | 152238 112194 26 | 0.000 % |
586.84/587.13 c | 293600 | 636 56659 238983 | 152238 112851 26 | 0.000 % |
589.74/590.05 c | 294320 | 636 56659 238983 | 152238 113571 26 | 0.000 % |
592.04/592.39 c | 295113 | 636 56659 238983 | 152238 114364 26 | 0.000 % |
592.84/593.19 c | 295988 | 636 56659 238983 | 152238 115239 26 | 0.000 % |
593.84/594.13 c | 296946 | 636 56659 238983 | 152238 116197 26 | 0.000 % |
596.34/596.68 c | 297999 | 636 56659 238983 | 152238 117250 26 | 0.000 % |
601.53/601.89 c | 299158 | 636 56659 238983 | 152238 118409 26 | 0.000 % |
607.03/607.37 c | 300432 | 636 56659 238983 | 119253 97350 25 | 0.000 % |
611.24/611.51 c | 301832 | 636 56659 238983 | 119253 98750 25 | 0.000 % |
615.44/615.76 c | 303372 | 636 56659 238983 | 119253 100290 25 | 0.000 % |
616.84/617.15 c | 305066 | 636 56659 238983 | 119253 101984 25 | 0.000 % |
623.54/623.80 c | 306929 | 636 56659 238983 | 119253 103847 25 | 0.000 % |
631.04/631.37 c | 308980 | 636 56659 238983 | 119253 105898 26 | 0.000 % |
638.53/638.82 c | 311234 | 636 56659 238983 | 106919 88206 25 | 0.000 % |
644.73/645.06 c | 313712 | 636 56659 238983 | 106919 90684 26 | 0.002 % |
651.43/651.73 c | 316438 | 636 56659 238983 | 106919 93410 26 | 0.000 % |
658.33/658.69 c | 319437 | 636 56659 238983 | 106919 96409 26 | 0.000 % |
658.53/658.90 c | 319537 | 636 56659 238983 | 106919 96509 26 | 0.000 % |
659.02/659.32 c | 319648 | 636 56659 238983 | 106919 96620 26 | 0.000 % |
659.12/659.44 c | 319769 | 636 56659 238983 | 106919 96741 26 | 0.000 % |
659.52/659.86 c | 319904 | 636 56659 238983 | 106919 96876 26 | 0.000 % |
659.92/660.23 c | 320051 | 636 56659 238983 | 96972 97023 26 | 0.000 % |
660.83/661.14 c | 320212 | 636 56659 238983 | 96972 75402 25 | 0.000 % |
661.12/661.41 c | 320389 | 636 56659 238983 | 96972 75579 25 | 0.000 % |
661.42/661.73 c | 320583 | 636 56659 238983 | 96972 75773 25 | 0.000 % |
661.72/662.06 c | 320795 | 636 56659 238983 | 96972 75985 25 | 0.000 % |
662.02/662.36 c | 321028 | 636 56659 238983 | 96972 76218 25 | 0.000 % |
662.32/662.69 c | 321284 | 636 56659 238983 | 96972 76474 25 | 0.000 % |
662.93/663.26 c | 321568 | 636 56659 238983 | 96972 76758 26 | 0.000 % |
663.52/663.89 c | 321877 | 636 56659 238983 | 96972 77067 26 | 0.000 % |
664.22/664.54 c | 322216 | 636 56659 238983 | 96972 77406 26 | 0.000 % |
664.92/665.21 c | 322589 | 636 56659 238983 | 96972 77779 26 | 0.000 % |
665.32/665.67 c | 322998 | 636 56659 238983 | 96972 78188 26 | 0.000 % |
666.32/666.60 c | 323447 | 636 56659 238983 | 96972 78637 26 | 0.000 % |
667.12/667.42 c | 323940 | 636 56659 238983 | 96972 79130 26 | 0.000 % |
668.02/668.34 c | 324483 | 636 56659 238983 | 96972 79673 26 | 0.002 % |
669.22/669.59 c | 325081 | 636 56659 238983 | 96972 80271 26 | 0.000 % |
670.32/670.67 c | 325737 | 636 56659 238983 | 96972 80927 26 | 0.000 % |
671.02/671.34 c | 326457 | 636 56659 238983 | 96972 81647 26 | 0.000 % |
672.02/672.38 c | 327249 | 636 56659 238983 | 96972 82439 26 | 0.000 % |
673.42/673.73 c | 328121 | 636 56659 238983 | 96972 83311 26 | 0.000 % |
674.62/674.92 c | 329079 | 636 56659 238983 | 96972 84269 26 | 0.000 % |
676.81/677.15 c | 330136 | 636 56659 238983 | 2147483647 85326 26 | 0.000 % |
678.01/678.33 c | 331294 | 636 56659 238983 | 2147483647 86484 26 | 0.000 % |
679.81/680.18 c | 332569 | 636 56659 238983 | 2147483647 87759 26 | 0.000 % |
681.72/682.04 c | 333969 | 636 56659 238983 | 2147483647 89159 26 | 0.000 % |
684.11/684.46 c | 335511 | 636 56659 238983 | 2147483647 90701 26 | 0.000 % |
687.11/687.49 c | 337206 | 636 56659 238983 | 2147483647 92396 26 | 0.000 % |
691.11/691.41 c | 339070 | 636 56659 238983 | 2147483647 94260 26 | 0.000 % |
695.21/695.59 c | 341119 | 636 56659 238983 | 2147483647 96309 27 | 0.000 % |
700.41/700.79 c | 343372 | 636 56659 238983 | 2147483647 98562 27 | 0.000 % |
705.11/705.45 c | 345851 | 636 56659 238983 | 2147483647 101041 27 | 0.000 % |
709.61/709.94 c | 348576 | 636 56659 238983 | 2147483647 103766 26 | 0.000 % |
714.30/714.67 c | 351575 | 636 56659 238983 | 2147483647 106765 27 | 0.000 % |
718.80/719.10 c | 354871 | 636 56659 238983 | 2147483647 110061 27 | 0.000 % |
719.01/719.36 c | 354973 | 636 56659 238983 | 2147483647 110163 27 | 0.000 % |
719.30/719.62 c | 355083 | 636 56659 238983 | 2147483647 110273 27 | 0.000 % |
719.60/719.91 c | 355205 | 636 56659 238983 | 2147483647 110395 27 | 0.000 % |
719.90/720.25 c | 355338 | 636 56659 238983 | 2147483647 110528 27 | 0.000 % |
720.21/720.58 c | 355485 | 636 56659 238983 | 2147483647 110675 27 | 0.000 % |
720.70/721.02 c | 355649 | 636 56659 238983 | 2147483647 110839 27 | 0.000 % |
721.10/721.42 c | 355829 | 636 56659 238983 | 2147483647 111019 27 | 0.000 % |
721.60/721.94 c | 356022 | 636 56659 238983 | 2147483647 111212 27 | 0.000 % |
722.20/722.56 c | 356235 | 636 56659 238983 | 2147483647 111425 27 | 0.000 % |
722.80/723.18 c | 356470 | 636 56659 238983 | 2147483647 111660 27 | 0.000 % |
723.40/723.76 c | 356726 | 636 56659 238983 | 2147483647 111916 27 | 0.000 % |
723.80/724.20 c | 357007 | 636 56659 238983 | 2147483647 112197 27 | 0.000 % |
724.60/724.99 c | 357316 | 636 56659 238983 | 2147483647 112506 27 | 0.000 % |
725.40/725.70 c | 357656 | 636 56659 238983 | 2147483647 112846 27 | 0.000 % |
726.00/726.35 c | 358028 | 636 56659 238983 | 2147483647 113218 27 | 0.000 % |
727.00/727.36 c | 358437 | 636 56659 238983 | 2147483647 113627 27 | 0.000 % |
728.10/728.41 c | 358886 | 636 56659 238983 | 2147483647 114076 27 | 0.000 % |
728.70/729.05 c | 359379 | 636 56659 238983 | 2147483647 114569 27 | 0.000 % |
729.40/729.71 c | 359921 | 636 56659 238983 | 2147483647 115111 27 | 0.000 % |
730.20/730.57 c | 360517 | 636 56659 238983 | 2147483647 115707 27 | 0.000 % |
731.69/732.07 c | 361172 | 636 56659 238983 | 2147483647 116362 27 | 0.000 % |
732.59/732.96 c | 361896 | 636 56659 238983 | 2147483647 117086 27 | 0.000 % |
733.59/733.95 c | 362690 | 636 56659 238983 | 2147483647 117880 27 | 0.000 % |
734.69/735.07 c | 363563 | 636 56659 238983 | 2147483647 118753 27 | 0.000 % |
737.19/737.57 c | 364522 | 636 56659 238983 | 2147483647 119712 27 | 0.000 % |
740.29/740.63 c | 365576 | 636 56659 238983 | 2147483647 120766 27 | 0.000 % |
743.09/743.47 c | 366734 | 636 56659 238983 | 2147483647 121924 27 | 0.000 % |
746.29/746.61 c | 368011 | 636 56659 238983 | 2147483647 123201 27 | 0.000 % |
749.69/750.09 c | 369413 | 636 56659 238983 | 2147483647 124603 27 | 0.000 % |
753.19/753.53 c | 370956 | 636 56659 238983 | 2147483647 126146 27 | 0.000 % |
757.89/758.20 c | 372657 | 636 56659 238983 | 2147483647 127847 27 | 0.000 % |
761.99/762.33 c | 374520 | 636 56659 238983 | 2147483647 129710 27 | 0.000 % |
766.78/767.12 c | 376569 | 636 56659 238983 | 2147483647 131759 27 | 0.000 % |
771.89/772.21 c | 378824 | 636 56659 238983 | 2147483647 134014 27 | 0.000 % |
778.48/778.84 c | 381302 | 636 56659 238983 | 135195 121807 28 | 0.000 % |
783.38/783.75 c | 384028 | 636 56659 238983 | 135195 124533 28 | 0.000 % |
788.78/789.15 c | 387025 | 636 56659 238983 | 135195 127530 28 | 0.000 % |
796.27/796.60 c | 390321 | 636 56659 238983 | 2147483647 130826 28 | 0.000 % |
803.37/803.73 c | 393946 | 636 56659 238983 | 2147483647 134451 28 | 0.000 % |
803.57/803.95 c | 394046 | 636 56659 238983 | 2147483647 134551 27 | 0.000 % |
803.97/804.39 c | 394156 | 636 56659 238983 | 2147483647 134661 28 | 0.000 % |
804.37/804.71 c | 394278 | 636 56659 238983 | 2147483647 134783 27 | 0.000 % |
804.67/805.05 c | 394411 | 636 56659 238983 | 2147483647 134916 27 | 0.000 % |
804.97/805.37 c | 394557 | 636 56659 238983 | 2147483647 135062 27 | 0.000 % |
805.47/805.86 c | 394719 | 636 56659 238983 | 2147483647 135224 27 | 0.000 % |
805.87/806.22 c | 394895 | 636 56659 238983 | 2147483647 135400 27 | 0.000 % |
806.27/806.66 c | 395089 | 636 56659 238983 | 2147483647 135594 27 | 0.000 % |
806.77/807.18 c | 395301 | 636 56659 238983 | 2147483647 135806 27 | 0.000 % |
807.37/807.74 c | 395535 | 636 56659 238983 | 2147483647 136040 27 | 0.000 % |
808.07/808.50 c | 395791 | 636 56659 238983 | 2147483647 136296 27 | 0.000 % |
808.67/809.08 c | 396072 | 636 56659 238983 | 2147483647 136577 27 | 0.000 % |
809.57/809.94 c | 396381 | 636 56659 238983 | 2147483647 136886 27 | 0.000 % |
810.47/810.80 c | 396720 | 636 56659 238983 | 2147483647 137225 27 | 0.000 % |
811.26/811.61 c | 397095 | 636 56659 238983 | 2147483647 137600 27 | 0.000 % |
812.06/812.46 c | 397505 | 636 56659 238983 | 2147483647 138010 27 | 0.000 % |
813.36/813.78 c | 397954 | 636 56659 238983 | 2147483647 138459 27 | 0.000 % |
814.46/814.90 c | 398449 | 636 56659 238983 | 2147483647 138954 27 | 0.000 % |
815.46/815.89 c | 398992 | 636 56659 238983 | 2147483647 139497 27 | 0.000 % |
816.76/817.15 c | 399588 | 636 56659 238983 | 2147483647 140093 27 | 0.000 % |
818.36/818.70 c | 400247 | 636 56659 238983 | 2147483647 140752 27 | 0.000 % |
819.86/820.26 c | 400968 | 636 56659 238983 | 2147483647 141473 27 | 0.000 % |
821.46/821.87 c | 401760 | 636 56659 238983 | 2147483647 142265 27 | 0.000 % |
823.06/823.43 c | 402632 | 636 56659 238983 | 2147483647 143137 27 | 0.000 % |
824.96/825.30 c | 403590 | 636 56659 238983 | 2147483647 144095 27 | 0.000 % |
827.36/827.72 c | 404647 | 636 56659 238983 | 2147483647 145152 27 | 0.000 % |
829.96/830.30 c | 405807 | 636 56659 238983 | 2147483647 146312 27 | 0.000 % |
832.56/832.99 c | 407082 | 636 56659 238983 | 2147483647 147587 27 | 0.000 % |
836.06/836.43 c | 408487 | 636 56659 238983 | 2147483647 148992 27 | 0.000 % |
839.85/840.26 c | 410027 | 636 56659 238983 | 2147483647 150532 27 | 0.000 % |
844.05/844.50 c | 411721 | 636 56659 238983 | 2147483647 152226 27 | 0.000 % |
848.76/849.19 c | 413586 | 636 56659 238983 | 2147483647 154091 27 | 0.000 % |
854.05/854.41 c | 415635 | 636 56659 238983 | 2147483647 156140 27 | 0.000 % |
857.45/857.81 c | 417892 | 636 56659 238983 | 2147483647 158397 27 | 0.000 % |
864.05/864.43 c | 420371 | 636 56659 238983 | 2147483647 160876 27 | 0.002 % |
870.76/871.13 c | 423096 | 636 56659 238983 | 2147483647 163601 27 | 0.000 % |
887.75/888.19 c | 426095 | 636 56659 238983 | 2147483647 166600 27 | 0.000 % |
901.94/902.37 c | 429391 | 636 56659 238983 | 2147483647 169896 27 | 0.000 % |
919.03/919.46 c | 433019 | 636 56659 238983 | 170506 131017 27 | 0.000 % |
925.03/925.40 c | 437006 | 636 56659 238983 | 170506 135004 27 | 0.000 % |
925.63/926.04 c | 437107 | 636 56659 238983 | 170506 135105 27 | 0.000 % |
926.23/926.61 c | 437221 | 636 56659 238983 | 170506 135219 27 | 0.000 % |
926.83/927.22 c | 437342 | 636 56659 238983 | 170506 135340 27 | 0.000 % |
927.23/927.65 c | 437476 | 636 56659 238983 | 170506 135474 27 | 0.000 % |
928.03/928.47 c | 437622 | 636 56659 238983 | 170506 135620 27 | 0.000 % |
928.83/929.26 c | 437782 | 636 56659 238983 | 170506 135780 27 | 0.000 % |
929.83/930.21 c | 437958 | 636 56659 238983 | 170506 135956 27 | 0.000 % |
930.73/931.17 c | 438151 | 636 56659 238983 | 170506 136149 27 | 0.000 % |
931.83/932.20 c | 438363 | 636 56659 238983 | 170506 136361 27 | 0.000 % |
933.13/933.57 c | 438600 | 636 56659 238983 | 170506 136598 27 | 0.000 % |
934.23/934.65 c | 438856 | 636 56659 238983 | 170506 136854 27 | 0.000 % |
935.83/936.20 c | 439140 | 636 56659 238983 | 170506 137138 27 | 0.000 % |
937.53/937.98 c | 439451 | 636 56659 238983 | 170506 137449 27 | 0.000 % |
939.03/939.45 c | 439790 | 636 56659 238983 | 170506 137788 27 | 0.000 % |
942.62/943.07 c | 440162 | 636 56659 238983 | 137998 107651 26 | 0.000 % |
943.22/943.66 c | 440571 | 636 56659 238983 | 137998 108060 26 | 0.000 % |
945.32/945.73 c | 441022 | 636 56659 238983 | 137998 108511 26 | 0.000 % |
947.02/947.49 c | 441515 | 636 56659 238983 | 137998 109004 26 | 0.000 % |
949.12/949.55 c | 442064 | 636 56659 238983 | 137998 109553 26 | 0.000 % |
951.62/952.03 c | 442661 | 636 56659 238983 | 137998 110150 26 | 0.000 % |
954.12/954.57 c | 443316 | 636 56659 238983 | 137998 110805 26 | 0.000 % |
957.72/958.17 c | 444036 | 636 56659 238983 | 137998 111525 26 | 0.000 % |
961.32/961.76 c | 444828 | 636 56659 238983 | 137998 112317 26 | 0.000 % |
964.42/964.89 c | 445700 | 636 56659 238983 | 137998 113189 26 | 0.000 % |
967.32/967.77 c | 446661 | 636 56659 238983 | 137998 114150 26 | 0.000 % |
970.31/970.72 c | 447714 | 636 56659 238983 | 137998 115203 26 | 0.000 % |
971.51/971.95 c | 448873 | 636 56659 238983 | 137998 116362 26 | 0.000 % |
974.71/975.17 c | 450147 | 636 56659 238983 | 117490 91844 25 | 0.000 % |
978.31/978.70 c | 451548 | 636 56659 238983 | 117490 93245 25 | 0.000 % |
984.41/984.86 c | 453090 | 636 56659 238983 | 117490 94787 25 | 0.000 % |
990.91/991.31 c | 454787 | 636 56659 238983 | 117490 96484 26 | 0.000 % |
996.11/996.57 c | 456650 | 636 56659 238983 | 117490 98347 26 | 0.000 % |
1001.20/1001.65 c | 458699 | 636 56659 238983 | 117490 100396 26 | 0.000 % |
1008.60/1009.05 c | 460954 | 636 56659 238983 | 101698 82086 25 | 0.000 % |
1014.60/1015.09 c | 463432 | 636 56659 238983 | 101698 84564 25 | 0.000 % |
1020.30/1020.73 c | 466158 | 636 56659 238983 | 101698 87290 24 | 0.000 % |
1023.10/1023.52 c | 469158 | 636 56659 238983 | 101698 90290 24 | 0.000 % |
1029.59/1030.01 c | 472454 | 636 56659 238983 | 2147483647 93586 24 | 0.000 % |
1037.80/1038.25 c | 476080 | 636 56659 238983 | 2147483647 97212 24 | 0.000 % |
1049.60/1050.00 c | 480067 | 636 56659 238983 | 101134 101199 25 | 0.000 % |
1060.59/1061.06 c | 484453 | 636 56659 238983 | 101134 94113 25 | 0.000 % |
1060.79/1061.26 c | 484556 | 636 56659 238983 | 101134 94216 25 | 0.000 % |
1061.10/1061.51 c | 484666 | 636 56659 238983 | 101134 94326 25 | 0.000 % |
1061.39/1061.80 c | 484787 | 636 56659 238983 | 101134 94447 25 | 0.000 % |
1061.69/1062.14 c | 484920 | 636 56659 238983 | 101134 94580 25 | 0.000 % |
1061.99/1062.48 c | 485067 | 636 56659 238983 | 101134 94727 25 | 0.000 % |
1062.49/1062.93 c | 485227 | 636 56659 238983 | 101134 94887 25 | 0.000 % |
1062.89/1063.30 c | 485404 | 636 56659 238983 | 101134 95064 25 | 0.000 % |
1063.39/1063.83 c | 485599 | 636 56659 238983 | 101134 95259 25 | 0.000 % |
1063.79/1064.20 c | 485812 | 636 56659 238983 | 101134 95472 25 | 0.000 % |
1063.99/1064.49 c | 486046 | 636 56659 238983 | 101134 95706 25 | 0.000 % |
1064.79/1065.25 c | 486303 | 636 56659 238983 | 101134 95963 25 | 0.000 % |
1065.50/1065.99 c | 486584 | 636 56659 238983 | 101134 96244 25 | 0.000 % |
1066.09/1066.60 c | 486893 | 636 56659 238983 | 101134 96553 25 | 0.000 % |
1067.09/1067.51 c | 487232 | 636 56659 238983 | 101134 96892 25 | 0.000 % |
1067.99/1068.46 c | 487605 | 636 56659 238983 | 101134 97265 25 | 0.000 % |
1069.19/1069.60 c | 488014 | 636 56659 238983 | 101134 97674 25 | 0.000 % |
1070.39/1070.80 c | 488464 | 636 56659 238983 | 101134 98124 25 | 0.000 % |
1071.39/1071.85 c | 488957 | 636 56659 238983 | 101134 98617 25 | 0.000 % |
1072.79/1073.26 c | 489499 | 636 56659 238983 | 101134 99159 25 | 0.000 % |
1074.49/1074.96 c | 490098 | 636 56659 238983 | 99664 86245 26 | 0.000 % |
1075.79/1076.26 c | 490753 | 636 56659 238983 | 99664 86900 26 | 0.000 % |
1076.89/1077.32 c | 491474 | 636 56659 238983 | 99664 87621 26 | 0.000 % |
1078.19/1078.67 c | 492266 | 636 56659 238983 | 99664 88413 26 | 0.000 % |
1079.39/1079.88 c | 493139 | 636 56659 238983 | 99664 89286 26 | 0.000 % |
1080.69/1081.10 c | 494097 | 636 56659 238983 | 99664 90244 26 | 0.000 % |
1082.78/1083.21 c | 495151 | 636 56659 238983 | 99664 91298 26 | 0.000 % |
1084.39/1084.82 c | 496309 | 636 56659 238983 | 99664 92456 26 | 0.000 % |
1086.08/1086.59 c | 497582 | 636 56659 238983 | 99664 93729 26 | 0.000 % |
1088.18/1088.64 c | 498982 | 636 56659 238983 | 99664 95129 26 | 0.000 % |
1090.48/1090.90 c | 500522 | 636 56659 238983 | 2147483647 96669 26 | 0.000 % |
1093.78/1094.21 c | 502220 | 636 56659 238983 | 2147483647 98367 26 | 0.000 % |
1096.88/1097.36 c | 504083 | 636 56659 238983 | 2147483647 100230 26 | 0.000 % |
1100.58/1101.01 c | 506134 | 636 56659 238983 | 2147483647 102281 26 | 0.000 % |
1104.38/1104.86 c | 508388 | 636 56659 238983 | 2147483647 104535 26 | 0.000 % |
1108.88/1109.37 c | 510867 | 636 56659 238983 | 2147483647 107014 26 | 0.000 % |
1113.78/1114.21 c | 513593 | 636 56659 238983 | 2147483647 109740 26 | 0.000 % |
1119.07/1119.54 c | 516590 | 636 56659 238983 | 2147483647 112737 25 | 0.000 % |
1125.57/1126.04 c | 519886 | 636 56659 238983 | 2147483647 116033 25 | 0.000 % |
1131.77/1132.28 c | 523512 | 636 56659 238983 | 2147483647 119659 25 | 0.000 % |
1136.67/1137.14 c | 527500 | 636 56659 238983 | 2147483647 123647 25 | 0.000 % |
1141.97/1142.41 c | 531887 | 636 56659 238983 | 2147483647 128034 26 | 0.000 % |
1147.36/1147.88 c | 536711 | 636 56659 238983 | 2147483647 132858 26 | 0.000 % |
1147.87/1148.40 c | 536813 | 636 56659 238983 | 2147483647 132960 26 | 0.000 % |
1148.06/1148.56 c | 536925 | 636 56659 238983 | 2147483647 133072 26 | 0.002 % |
1148.26/1148.76 c | 537046 | 636 56659 238983 | 2147483647 133193 26 | 0.002 % |
1148.66/1149.10 c | 537179 | 636 56659 238983 | 2147483647 133326 26 | 0.000 % |
1148.97/1149.44 c | 537326 | 636 56659 238983 | 2147483647 133473 26 | 0.000 % |
1149.26/1149.75 c | 537487 | 636 56659 238983 | 2147483647 133634 26 | 0.000 % |
1149.66/1150.15 c | 537664 | 636 56659 238983 | 2147483647 133811 26 | 0.000 % |
1150.07/1150.60 c | 537858 | 636 56659 238983 | 2147483647 134005 26 | 0.000 % |
1150.56/1151.02 c | 538072 | 636 56659 238983 | 2147483647 134219 26 | 0.000 % |
1151.06/1151.51 c | 538306 | 636 56659 238983 | 2147483647 134453 26 | 0.000 % |
1151.56/1152.04 c | 538563 | 636 56659 238983 | 2147483647 134710 26 | 0.000 % |
1152.16/1152.65 c | 538845 | 636 56659 238983 | 2147483647 134992 26 | 0.000 % |
1152.76/1153.23 c | 539158 | 636 56659 238983 | 2147483647 135305 26 | 0.000 % |
1153.37/1153.88 c | 539498 | 636 56659 238983 | 2147483647 135645 26 | 0.000 % |
1153.96/1154.40 c | 539871 | 636 56659 238983 | 2147483647 136018 26 | 0.049 % |
1157.46/1157.92 c | 540282 | 636 56659 238983 | 136147 100507 26 | 0.000 % |
1158.56/1159.07 c | 540731 | 636 56659 238983 | 136147 100956 26 | 0.000 % |
1159.26/1159.75 c | 541225 | 636 56659 238983 | 136147 101450 26 | 0.000 % |
1161.66/1162.14 c | 541768 | 636 56659 238983 | 136147 101993 27 | 0.000 % |
1164.56/1165.06 c | 542364 | 636 56659 238983 | 136147 102589 27 | 0.000 % |
1167.36/1167.82 c | 543021 | 636 56659 238983 | 136147 103246 27 | 0.000 % |
1171.55/1172.08 c | 543742 | 636 56659 238983 | 136147 103967 27 | 0.000 % |
1175.46/1175.97 c | 544534 | 636 56659 238983 | 136147 104759 27 | 0.000 % |
1181.35/1181.85 c | 545406 | 636 56659 238983 | 136147 105631 27 | 0.000 % |
1187.15/1187.69 c | 546366 | 636 56659 238983 | 136147 106591 27 | 0.000 % |
1192.85/1193.37 c | 547420 | 636 56659 238983 | 136147 107645 27 | 0.000 % |
1194.15/1194.63 c | 548579 | 636 56659 238983 | 136147 108804 27 | 0.000 % |
1201.75/1202.26 c | 549854 | 636 56659 238983 | 136147 110079 27 | 0.000 % |
1209.34/1209.81 c | 551254 | 636 56659 238983 | 110225 75756 27 | 0.000 % |
1214.95/1215.40 c | 552796 | 636 56659 238983 | 110225 77298 27 | 0.000 % |
1220.84/1221.37 c | 554490 | 636 56659 238983 | 110225 78992 27 | 0.000 % |
1227.64/1228.16 c | 556354 | 636 56659 238983 | 110225 80856 27 | 0.002 % |
1235.54/1236.06 c | 558404 | 636 56659 238983 | 110225 82906 27 | 0.000 % |
1245.53/1246.06 c | 560658 | 636 56659 238983 | 84502 65607 27 | 0.000 % |
1252.23/1252.71 c | 563138 | 636 56659 238983 | 84502 68087 27 | 0.000 % |
1259.93/1260.44 c | 565863 | 636 56659 238983 | 84502 70812 27 | 0.000 % |
1268.42/1268.98 c | 568861 | 636 56659 238983 | 84502 73810 27 | 0.000 % |
1277.42/1277.95 c | 572157 | 636 56659 238983 | 74949 66570 27 | 0.000 % |
1286.22/1286.73 c | 575783 | 636 56659 238983 | 74949 70196 27 | 0.000 % |
1293.71/1294.29 c | 579770 | 636 56659 238983 | 74949 74183 27 | 0.000 % |
1299.01/1299.54 c | 584155 | 636 56659 238983 | 2147483647 78568 27 | 0.000 % |
1311.71/1312.29 c | 588983 | 636 56659 238983 | 2147483647 83396 27 | 0.000 % |
1325.51/1326.00 c | 594289 | 636 56659 238983 | 2147483647 88702 27 | 0.000 % |
1325.81/1326.31 c | 594390 | 636 56659 238983 | 2147483647 88803 27 | 0.000 % |
1326.01/1326.60 c | 594500 | 636 56659 238983 | 2147483647 88913 27 | 0.000 % |
1326.30/1326.89 c | 594622 | 636 56659 238983 | 2147483647 89035 27 | 0.000 % |
1326.50/1327.08 c | 594756 | 636 56659 238983 | 2147483647 89169 27 | 0.000 % |
1326.70/1327.26 c | 594903 | 636 56659 238983 | 2147483647 89316 27 | 0.000 % |
1326.90/1327.47 c | 595063 | 636 56659 238983 | 2147483647 89476 27 | 0.000 % |
1327.50/1328.07 c | 595240 | 636 56659 238983 | 2147483647 89653 27 | 0.000 % |
1328.10/1328.69 c | 595436 | 636 56659 238983 | 2147483647 89849 27 | 0.000 % |
1328.80/1329.39 c | 595648 | 636 56659 238983 | 2147483647 90061 27 | 0.000 % |
1329.20/1329.75 c | 595881 | 636 56659 238983 | 2147483647 90294 27 | 0.000 % |
1330.00/1330.50 c | 596137 | 636 56659 238983 | 2147483647 90550 27 | 0.000 % |
1330.70/1331.22 c | 596418 | 636 56659 238983 | 2147483647 90831 27 | 0.000 % |
1331.61/1332.15 c | 596727 | 636 56659 238983 | 2147483647 91140 27 | 0.000 % |
1332.50/1333.06 c | 597066 | 636 56659 238983 | 2147483647 91479 27 | 0.000 % |
1333.30/1333.83 c | 597440 | 636 56659 238983 | 2147483647 91853 27 | 0.000 % |
1334.20/1334.73 c | 597851 | 636 56659 238983 | 2147483647 92264 27 | 0.000 % |
1335.30/1335.87 c | 598301 | 636 56659 238983 | 2147483647 92714 27 | 0.000 % |
1336.60/1337.14 c | 598795 | 636 56659 238983 | 2147483647 93208 27 | 0.000 % |
1338.10/1338.62 c | 599337 | 636 56659 238983 | 2147483647 93750 27 | 0.000 % |
1339.80/1340.38 c | 599933 | 636 56659 238983 | 2147483647 94346 27 | 0.000 % |
1341.00/1341.55 c | 600588 | 636 56659 238983 | 94415 84273 28 | 0.000 % |
1342.80/1343.33 c | 601309 | 636 56659 238983 | 94415 84994 28 | 0.000 % |
1344.70/1345.24 c | 602101 | 636 56659 238983 | 94415 85786 28 | 0.000 % |
1346.60/1347.17 c | 602972 | 636 56659 238983 | 94415 86657 28 | 0.000 % |
1349.00/1349.55 c | 603931 | 636 56659 238983 | 94415 87616 28 | 0.000 % |
1351.40/1351.92 c | 604984 | 636 56659 238983 | 94415 88669 28 | 0.000 % |
1354.19/1354.79 c | 606143 | 636 56659 238983 | 94415 89828 28 | 0.000 % |
1356.90/1357.44 c | 607417 | 636 56659 238983 | 94415 91102 28 | 0.000 % |
1360.29/1360.86 c | 608817 | 636 56659 238983 | 94415 92502 28 | 0.000 % |
1363.19/1363.75 c | 610362 | 636 56659 238983 | 2147483647 94047 28 | 0.000 % |
1367.09/1367.63 c | 612056 | 636 56659 238983 | 2147483647 95741 28 | 0.000 % |
1370.59/1371.10 c | 613920 | 636 56659 238983 | 2147483647 97605 28 | 0.000 % |
1375.09/1375.65 c | 615971 | 636 56659 238983 | 2147483647 99656 28 | 0.000 % |
1380.59/1381.11 c | 618225 | 636 56659 238983 | 2147483647 101910 28 | 0.000 % |
1385.78/1386.38 c | 620704 | 636 56659 238983 | 2147483647 104389 28 | 0.000 % |
1391.99/1392.59 c | 623432 | 636 56659 238983 | 2147483647 107117 28 | 0.000 % |
1399.08/1399.68 c | 626435 | 636 56659 238983 | 2147483647 110120 27 | 0.000 % |
1407.48/1408.07 c | 629734 | 636 56659 238983 | 2147483647 113419 27 | 0.000 % |
1416.37/1416.95 c | 633360 | 636 56659 238983 | 2147483647 117045 27 | 0.000 % |
1426.67/1427.20 c | 637349 | 636 56659 238983 | 2147483647 121034 27 | 0.000 % |
1435.26/1435.81 c | 641736 | 636 56659 238983 | 123689 110098 27 | 0.000 % |
1443.36/1443.90 c | 646559 | 636 56659 238983 | 123689 114921 27 | 0.000 % |
1453.46/1454.05 c | 651865 | 636 56659 238983 | 2147483647 120227 27 | 0.000 % |
1461.85/1462.49 c | 657700 | 636 56659 238983 | 2147483647 126062 27 | 0.000 % |
1462.15/1462.73 c | 657801 | 636 56659 238983 | 2147483647 126163 27 | 0.000 % |
1462.36/1462.97 c | 657912 | 636 56659 238983 | 2147483647 126274 27 | 0.024 % |
1462.95/1463.52 c | 658033 | 636 56659 238983 | 2147483647 126395 27 | 0.000 % |
1463.25/1463.80 c | 658166 | 636 56659 238983 | 2147483647 126528 27 | 0.000 % |
1463.65/1464.24 c | 658313 | 636 56659 238983 | 2147483647 126675 27 | 0.000 % |
1464.15/1464.70 c | 658475 | 636 56659 238983 | 2147483647 126837 27 | 0.000 % |
1464.56/1465.12 c | 658651 | 636 56659 238983 | 2147483647 127013 27 | 0.000 % |
1465.05/1465.65 c | 658844 | 636 56659 238983 | 2147483647 127206 27 | 0.000 % |
1465.55/1466.19 c | 659058 | 636 56659 238983 | 2147483647 127420 27 | 0.000 % |
1466.15/1466.79 c | 659291 | 636 56659 238983 | 2147483647 127653 27 | 0.000 % |
1466.87/1467.47 c | 659550 | 636 56659 238983 | 2147483647 127912 27 | 0.000 % |
1467.66/1468.24 c | 659831 | 636 56659 238983 | 2147483647 128193 27 | 0.000 % |
1468.36/1469.00 c | 660140 | 636 56659 238983 | 2147483647 128502 27 | 0.000 % |
1469.66/1470.28 c | 660479 | 636 56659 238983 | 2147483647 128841 27 | 0.000 % |
1471.06/1471.69 c | 660851 | 636 56659 238983 | 2147483647 129213 27 | 0.000 % |
1472.46/1473.01 c | 661260 | 636 56659 238983 | 2147483647 129622 27 | 0.000 % |
1474.46/1475.09 c | 661710 | 636 56659 238983 | 2147483647 130072 27 | 0.000 % |
1476.26/1476.88 c | 662204 | 636 56659 238983 | 2147483647 130566 27 | 0.000 % |
1479.36/1479.95 c | 662747 | 636 56659 238983 | 2147483647 131109 27 | 0.000 % |
1481.76/1482.30 c | 663344 | 636 56659 238983 | 2147483647 131706 27 | 0.000 % |
1483.15/1483.71 c | 663999 | 636 56659 238983 | 2147483647 132361 27 | 0.000 % |
1484.95/1485.54 c | 664719 | 636 56659 238983 | 2147483647 133081 27 | 0.000 % |
1488.35/1488.99 c | 665511 | 636 56659 238983 | 2147483647 133873 27 | 0.000 % |
1492.75/1493.34 c | 666382 | 636 56659 238983 | 2147483647 134744 27 | 0.000 % |
1498.25/1498.84 c | 667341 | 636 56659 238983 | 2147483647 135703 27 | 0.000 % |
1503.05/1503.63 c | 668394 | 636 56659 238983 | 2147483647 136756 27 | 0.000 % |
1508.95/1509.55 c | 669553 | 636 56659 238983 | 2147483647 137915 27 | 0.000 % |
1516.74/1517.33 c | 670827 | 636 56659 238983 | 138363 88618 27 | 0.000 % |
1523.14/1523.72 c | 672227 | 636 56659 238983 | 138363 90018 27 | 0.000 % |
1530.04/1530.60 c | 673771 | 636 56659 238983 | 138363 91562 27 | 0.000 % |
1536.74/1537.35 c | 675465 | 636 56659 238983 | 138363 93256 27 | 0.002 % |
1544.34/1544.97 c | 677328 | 636 56659 238983 | 138363 95119 27 | 0.000 % |
1552.93/1553.53 c | 679377 | 636 56659 238983 | 138363 97168 27 | 0.000 % |
1561.03/1561.68 c | 681630 | 636 56659 238983 | 97791 71394 27 | 0.000 % |
1568.83/1569.48 c | 684108 | 636 56659 238983 | 97791 73872 27 | 0.000 % |
1575.32/1575.94 c | 686836 | 636 56659 238983 | 97791 76600 27 | 0.002 % |
1579.62/1580.21 c | 689837 | 636 56659 238983 | 97791 79601 27 | 0.000 % |
1585.12/1585.74 c | 693135 | 636 56659 238983 | 79764 72133 27 | 0.000 % |
1591.42/1592.04 c | 696760 | 636 56659 238983 | 79764 75758 27 | 0.000 % |
1600.82/1601.41 c | 700747 | 636 56659 238983 | 2147483647 79745 26 | 0.000 % |
1605.11/1605.75 c | 705133 | 636 56659 238983 | 2147483647 84131 27 | 0.000 % |
1613.41/1614.00 c | 709956 | 636 56659 238983 | 2147483647 88954 27 | 0.000 % |
1628.41/1629.07 c | 715261 | 636 56659 238983 | 2147483647 94259 27 | 0.000 % |
1637.70/1638.33 c | 721097 | 636 56659 238983 | 2147483647 100095 27 | 0.000 % |
1645.10/1645.75 c | 727515 | 636 56659 238983 | 2147483647 106513 27 | 0.000 % |
1645.50/1646.11 c | 727615 | 636 56659 238983 | 2147483647 106613 27 | 0.000 % |
1645.80/1646.49 c | 727725 | 636 56659 238983 | 2147483647 106723 27 | 0.000 % |
1646.10/1646.75 c | 727846 | 636 56659 238983 | 2147483647 106844 27 | 0.000 % |
1646.60/1647.28 c | 727982 | 636 56659 238983 | 2147483647 106980 27 | 0.000 % |
1647.00/1647.61 c | 728128 | 636 56659 238983 | 2147483647 107126 27 | 0.000 % |
1647.40/1648.01 c | 728288 | 636 56659 238983 | 2147483647 107286 27 | 0.000 % |
1647.80/1648.44 c | 728464 | 636 56659 238983 | 2147483647 107462 27 | 0.000 % |
1648.00/1648.63 c | 728659 | 636 56659 238983 | 2147483647 107657 27 | 0.000 % |
1648.31/1648.96 c | 728871 | 636 56659 238983 | 2147483647 107869 27 | 0.000 % |
1648.90/1649.58 c | 729105 | 636 56659 238983 | 2147483647 108103 27 | 0.000 % |
1649.40/1650.00 c | 729361 | 636 56659 238983 | 2147483647 108359 27 | 0.000 % |
1650.00/1650.63 c | 729644 | 636 56659 238983 | 2147483647 108642 27 | 0.000 % |
1650.70/1651.30 c | 729955 | 636 56659 238983 | 2147483647 108953 27 | 0.000 % |
1651.80/1652.47 c | 730295 | 636 56659 238983 | 2147483647 109293 27 | 0.000 % |
1652.60/1653.29 c | 730667 | 636 56659 238983 | 2147483647 109665 27 | 0.000 % |
1653.90/1654.58 c | 731076 | 636 56659 238983 | 2147483647 110074 27 | 0.000 % |
1655.00/1655.64 c | 731527 | 636 56659 238983 | 2147483647 110525 27 | 0.000 % |
1656.60/1657.26 c | 732021 | 636 56659 238983 | 2147483647 111019 27 | 0.000 % |
1658.00/1658.69 c | 732563 | 636 56659 238983 | 2147483647 111561 27 | 0.000 % |
1659.60/1660.28 c | 733162 | 636 56659 238983 | 2147483647 112160 27 | 0.000 % |
1661.60/1662.20 c | 733818 | 636 56659 238983 | 2147483647 112816 27 | 0.000 % |
1662.50/1663.13 c | 734538 | 636 56659 238983 | 2147483647 113536 27 | 0.000 % |
1664.80/1665.49 c | 735335 | 636 56659 238983 | 2147483647 114333 27 | 0.000 % |
1666.29/1666.91 c | 736206 | 636 56659 238983 | 2147483647 115204 27 | 0.000 % |
1669.10/1669.75 c | 737164 | 636 56659 238983 | 2147483647 116162 27 | 0.000 % |
1672.19/1672.89 c | 738218 | 636 56659 238983 | 2147483647 117216 27 | 0.000 % |
1675.29/1675.99 c | 739378 | 636 56659 238983 | 2147483647 118376 27 | 0.000 % |
1678.89/1679.59 c | 740654 | 636 56659 238983 | 119000 104440 27 | 0.000 % |
1681.39/1682.00 c | 742054 | 636 56659 238983 | 119000 105840 27 | 0.000 % |
1684.89/1685.53 c | 743594 | 636 56659 238983 | 119000 107380 27 | 0.006 % |
1688.99/1689.69 c | 745292 | 636 56659 238983 | 119000 109078 27 | 0.000 % |
1692.58/1693.20 c | 747156 | 636 56659 238983 | 119000 110942 28 | 0.000 % |
1696.28/1696.98 c | 749205 | 636 56659 238983 | 119000 112991 28 | 0.000 % |
1700.48/1701.15 c | 751465 | 636 56659 238983 | 113786 103645 28 | 0.000 % |
1704.28/1704.91 c | 753944 | 636 56659 238983 | 113786 106124 28 | 0.000 % |
1708.28/1708.94 c | 756669 | 636 56659 238983 | 113786 108849 28 | 0.000 % |
1712.58/1713.23 c | 759668 | 636 56659 238983 | 113786 111848 28 | 0.000 % |
1717.78/1718.42 c | 762964 | 636 56659 238983 | 2147483647 115144 28 | 0.000 % |
1723.98/1724.68 c | 766591 | 636 56659 238983 | 2147483647 118771 27 | 0.000 % |
1731.27/1731.90 c | 770579 | 636 56659 238983 | 2147483647 122759 27 | 0.000 % |
1739.57/1740.28 c | 774964 | 636 56659 238983 | 2147483647 127144 28 | 0.000 % |
1749.27/1749.90 c | 779788 | 636 56659 238983 | 2147483647 131968 27 | 0.000 % |
1755.26/1755.98 c | 785094 | 636 56659 238983 | 2147483647 137274 27 | 0.002 % |
1776.86/1777.55 c | 790932 | 636 56659 238983 | 2147483647 143112 27 | 0.000 % |
1804.55/1805.23 c | 797350 | 636 56659 238983 | 2147483647 149530 27 | 0.002 % |
1814.55/1815.24 c | 804410 | 636 56659 238983 | 152180 120230 27 | 0.049 % |
1814.65/1815.32 c | 804510 | 636 56659 238983 | 152180 120330 27 | 0.000 % |
1815.15/1815.87 c | 804621 | 636 56659 238983 | 152180 120441 27 | 0.000 % |
1815.85/1816.54 c | 804742 | 636 56659 238983 | 152180 120562 27 | 0.000 % |
1816.56/1817.25 c | 804879 | 636 56659 238983 | 152180 120699 27 | 0.000 % |
1817.15/1817.89 c | 805032 | 636 56659 238983 | 152180 120852 27 | 0.000 % |
1818.35/1819.06 c | 805192 | 636 56659 238983 | 152180 121012 27 | 0.000 % |
1818.95/1819.61 c | 805368 | 636 56659 238983 | 152180 121188 27 | 0.000 % |
1820.05/1820.72 c | 805562 | 636 56659 238983 | 152180 121382 27 | 0.000 % |
1820.55/1821.24 c | 805774 | 636 56659 238983 | 152180 121594 27 | 0.000 % |
1821.95/1822.64 c | 806007 | 636 56659 238983 | 152180 121827 27 | 0.000 % |
1822.95/1823.65 c | 806264 | 636 56659 238983 | 152180 122084 27 | 0.000 % |
1823.25/1823.93 c | 806546 | 636 56659 238983 | 152180 122366 27 | 0.000 % |
1824.85/1825.51 c | 806856 | 636 56659 238983 | 152180 122676 27 | 0.000 % |
1825.75/1826.42 c | 807195 | 636 56659 238983 | 152180 123015 27 | 0.000 % |
1827.65/1828.34 c | 807568 | 636 56659 238983 | 152180 123388 28 | 0.000 % |
1829.25/1829.92 c | 807977 | 636 56659 238983 | 152180 123797 28 | 0.000 % |
1830.85/1831.51 c | 808426 | 636 56659 238983 | 152180 124246 28 | 0.000 % |
1833.05/1833.75 c | 808919 | 636 56659 238983 | 152180 124739 28 | 0.000 % |
1835.74/1836.43 c | 809462 | 636 56659 238983 | 152180 125282 28 | 0.000 % |
1838.24/1838.97 c | 810058 | 636 56659 238983 | 125821 125878 28 | 0.000 % |
1842.34/1843.06 c | 810716 | 636 56659 238983 | 125821 86611 27 | 0.000 % |
1844.94/1845.61 c | 811437 | 636 56659 238983 | 125821 87332 27 | 0.000 % |
1847.24/1847.99 c | 812231 | 636 56659 238983 | 125821 88126 27 | 0.000 % |
1850.44/1851.17 c | 813104 | 636 56659 238983 | 125821 88999 27 | 0.000 % |
1853.44/1854.17 c | 814062 | 636 56659 238983 | 125821 89957 27 | 0.002 % |
1856.44/1857.19 c | 815118 | 636 56659 238983 | 125821 91013 27 | 0.000 % |
1857.74/1858.43 c | 816276 | 636 56659 238983 | 125821 92171 27 | 0.000 % |
1861.04/1861.74 c | 817550 | 636 56659 238983 | 125821 93445 27 | 0.000 % |
1865.53/1866.26 c | 818950 | 636 56659 238983 | 125821 94845 27 | 0.000 % |
1869.03/1869.70 c | 820492 | 636 56659 238983 | 95896 82004 27 | 0.000 % |
1873.43/1874.12 c | 822189 | 636 56659 238983 | 95896 83701 27 | 0.002 % |
1875.73/1876.40 c | 824054 | 636 56659 238983 | 95896 85566 26 | 0.002 % |
1879.63/1880.31 c | 826103 | 636 56659 238983 | 95896 87615 27 | 0.000 % |
1882.03/1882.79 c | 828356 | 636 56659 238983 | 95896 89868 27 | 0.000 % |
1884.73/1885.42 c | 830836 | 636 56659 238983 | 2147483647 92348 27 | 0.002 % |
1887.33/1888.05 c | 833563 | 636 56659 238983 | 2147483647 95075 26 | 0.002 % |
1894.63/1895.36 c | 836562 | 636 56659 238983 | 2147483647 98074 27 | 0.000 % |
1904.32/1905.00 c | 839858 | 636 56659 238983 | 2147483647 101370 27 | 0.000 % |
1913.02/1913.72 c | 843483 | 636 56659 238983 | 2147483647 104995 27 | 0.000 % |
1920.82/1921.54 c | 847470 | 636 56659 238983 | 2147483647 108982 27 | 0.000 % |
1932.31/1933.06 c | 851856 | 636 56659 238983 | 2147483647 113368 26 | 0.000 % |
1941.81/1942.55 c | 856679 | 636 56659 238983 | 2147483647 118191 26 | 0.000 % |
1952.70/1953.44 c | 861984 | 636 56659 238983 | 2147483647 123496 26 | 0.000 % |
1962.90/1963.61 c | 867819 | 636 56659 238983 | 2147483647 129331 26 | 0.000 % |
1972.00/1972.72 c | 874238 | 636 56659 238983 | 2147483647 135750 26 | 0.002 % |
1990.89/1991.66 c | 881298 | 636 56659 238983 | 2147483647 142810 26 | 0.000 % |
2011.99/2012.76 c | 889064 | 636 56659 238983 | 2147483647 150576 26 | 0.000 % |
2012.39/2013.15 c | 889164 | 636 56659 238983 | 2147483647 150676 26 | 0.000 % |
2012.79/2013.50 c | 889274 | 636 56659 238983 | 2147483647 150786 26 | 0.000 % |
2013.19/2013.98 c | 889395 | 636 56659 238983 | 2147483647 150907 26 | 0.000 % |
2013.78/2014.51 c | 889537 | 636 56659 238983 | 2147483647 151049 26 | 0.000 % |
2014.18/2014.90 c | 889684 | 636 56659 238983 | 2147483647 151196 26 | 0.000 % |
2014.78/2015.59 c | 889844 | 636 56659 238983 | 2147483647 151356 26 | 0.000 % |
2015.38/2016.16 c | 890020 | 636 56659 238983 | 151516 151532 26 | 0.000 % |
2016.98/2017.73 c | 890214 | 636 56659 238983 | 151516 135310 26 | 0.000 % |
2017.58/2018.35 c | 890427 | 636 56659 238983 | 151516 135523 26 | 0.000 % |
2018.28/2019.02 c | 890660 | 636 56659 238983 | 151516 135756 26 | 0.000 % |
2018.98/2019.77 c | 890917 | 636 56659 238983 | 151516 136013 26 | 0.000 % |
2019.78/2020.53 c | 891198 | 636 56659 238983 | 151516 136294 26 | 0.000 % |
2020.18/2020.95 c | 891508 | 636 56659 238983 | 151516 136604 26 | 0.000 % |
2021.18/2021.93 c | 891848 | 636 56659 238983 | 151516 136944 26 | 0.000 % |
2022.09/2022.85 c | 892220 | 636 56659 238983 | 151516 137316 26 | 0.000 % |
2023.29/2024.09 c | 892630 | 636 56659 238983 | 151516 137726 26 | 0.000 % |
2024.48/2025.26 c | 893084 | 636 56659 238983 | 151516 138180 26 | 0.000 % |
2025.88/2026.62 c | 893579 | 636 56659 238983 | 151516 138675 26 | 0.000 % |
2026.98/2027.76 c | 894121 | 636 56659 238983 | 151516 139217 26 | 0.000 % |
2028.58/2029.39 c | 894717 | 636 56659 238983 | 151516 139813 26 | 0.000 % |
2030.68/2031.40 c | 895372 | 636 56659 238983 | 151516 140468 26 | 0.000 % |
2032.18/2032.96 c | 896093 | 636 56659 238983 | 151516 141189 26 | 0.001 % |
2034.18/2034.94 c | 896887 | 636 56659 238983 | 151516 141983 26 | 0.000 % |
2036.58/2037.31 c | 897759 | 636 56659 238983 | 151516 142855 26 | 0.000 % |
2038.88/2039.60 c | 898723 | 636 56659 238983 | 151516 143819 26 | 0.000 % |
2040.98/2041.71 c | 899780 | 636 56659 238983 | 151516 144876 26 | 0.000 % |
2043.78/2044.54 c | 900938 | 636 56659 238983 | 145097 124159 26 | 0.000 % |
2045.78/2046.55 c | 902214 | 636 56659 238983 | 145097 125435 26 | 0.000 % |
2048.17/2048.96 c | 903614 | 636 56659 238983 | 145097 126835 26 | 0.001 % |
2050.78/2051.53 c | 905158 | 636 56659 238983 | 145097 128379 26 | 0.000 % |
2053.77/2054.58 c | 906853 | 636 56659 238983 | 145097 130074 26 | 0.000 % |
2056.87/2057.67 c | 908719 | 636 56659 238983 | 145097 131940 26 | 0.000 % |
2060.37/2061.15 c | 910768 | 636 56659 238983 | 2147483647 133989 26 | 0.000 % |
2064.27/2065.09 c | 913023 | 636 56659 238983 | 2147483647 136244 26 | 0.000 % |
2068.97/2069.70 c | 915501 | 636 56659 238983 | 2147483647 138722 26 | 0.000 % |
2073.87/2074.63 c | 918228 | 636 56659 238983 | 2147483647 141449 26 | 0.000 % |
2079.27/2080.03 c | 921226 | 636 56659 238983 | 2147483647 144447 26 | 0.000 % |
2085.66/2086.40 c | 924523 | 636 56659 238983 | 2147483647 147744 26 | 0.000 % |
2093.57/2094.32 c | 928149 | 636 56659 238983 | 2147483647 151370 26 | 0.000 % |
2102.06/2102.84 c | 932142 | 636 56659 238983 | 2147483647 155363 26 | 0.000 % |
2111.36/2112.15 c | 936536 | 636 56659 238983 | 2147483647 159757 26 | 0.000 % |
2117.65/2118.45 c | 941359 | 636 56659 238983 | 2147483647 164580 26 | 0.000 % |
2136.94/2137.73 c | 946664 | 636 56659 238983 | 2147483647 169885 26 | 0.000 % |
2161.45/2162.27 c | 952500 | 636 56659 238983 | 173222 134120 25 | 0.002 % |
2170.84/2171.69 c | 958919 | 636 56659 238983 | 173222 140539 26 | 0.000 % |
2197.24/2198.06 c | 965978 | 636 56659 238983 | 141622 119458 26 | 0.000 % |
2223.93/2224.78 c | 973746 | 636 56659 238983 | 123480 93832 27 | 0.000 % |
2246.72/2247.54 c | 982286 | 636 56659 238983 | 100087 83573 27 | 0.000 % |
2246.92/2247.77 c | 982386 | 636 56659 238983 | 100087 83673 27 | 0.002 % |
2247.22/2248.04 c | 982496 | 636 56659 238983 | 100087 83783 27 | 0.000 % |
2247.42/2248.30 c | 982622 | 636 56659 238983 | 100087 83909 27 | 0.000 % |
2247.72/2248.59 c | 982755 | 636 56659 238983 | 100087 84042 27 | 0.000 % |
2248.02/2248.88 c | 982904 | 636 56659 238983 | 100087 84191 27 | 0.000 % |
2248.42/2249.22 c | 983064 | 636 56659 238983 | 100087 84351 27 | 0.000 % |
2248.82/2249.62 c | 983241 | 636 56659 238983 | 100087 84528 27 | 0.000 % |
2249.12/2249.99 c | 983434 | 636 56659 238983 | 100087 84721 27 | 0.000 % |
2249.62/2250.41 c | 983648 | 636 56659 238983 | 100087 84935 27 | 0.000 % |
2249.92/2250.74 c | 983882 | 636 56659 238983 | 100087 85169 27 | 0.000 % |
2250.42/2251.21 c | 984139 | 636 56659 238983 | 100087 85426 27 | 0.000 % |
2250.92/2251.72 c | 984420 | 636 56659 238983 | 100087 85707 27 | 0.000 % |
2251.72/2252.52 c | 984731 | 636 56659 238983 | 100087 86018 27 | 0.000 % |
2252.42/2253.22 c | 985072 | 636 56659 238983 | 100087 86359 27 | 0.000 % |
2253.22/2254.05 c | 985444 | 636 56659 238983 | 100087 86731 27 | 0.000 % |
2254.42/2255.24 c | 985853 | 636 56659 238983 | 100087 87140 27 | 0.000 % |
2255.32/2256.17 c | 986302 | 636 56659 238983 | 100087 87589 27 | 0.000 % |
2256.52/2257.30 c | 986795 | 636 56659 238983 | 100087 88082 27 | 0.000 % |
2258.11/2258.94 c | 987337 | 636 56659 238983 | 100087 88624 27 | 0.000 % |
2259.91/2260.73 c | 987933 | 636 56659 238983 | 100087 89220 27 | 0.000 % |
2261.61/2262.46 c | 988588 | 636 56659 238983 | 100087 89875 27 | 0.000 % |
2263.61/2264.47 c | 989310 | 636 56659 238983 | 100087 90597 27 | 0.000 % |
2266.11/2266.94 c | 990105 | 636 56659 238983 | 91288 71567 27 | 0.000 % |
2267.51/2268.31 c | 990977 | 636 56659 238983 | 91288 72439 27 | 0.000 % |
2268.81/2269.64 c | 991935 | 636 56659 238983 | 91288 73397 27 | 0.000 % |
2270.31/2271.11 c | 992988 | 636 56659 238983 | 91288 74450 27 | 0.000 % |
2271.51/2272.40 c | 994146 | 636 56659 238983 | 91288 75608 27 | 0.002 % |
2273.21/2274.05 c | 995422 | 636 56659 238983 | 91288 76884 27 | 0.002 % |
2275.01/2275.81 c | 996825 | 636 56659 238983 | 91288 78287 27 | 0.002 % |
2277.21/2278.09 c | 998370 | 636 56659 238983 | 91288 79832 27 | 0.002 % |
2279.81/2280.61 c | 1000067 | 636 56659 238983 | 2147483647 81529 26 | 0.002 % |
2283.11/2283.94 c | 1001930 | 636 56659 238983 | 2147483647 83392 27 | 0.000 % |
2286.20/2287.09 c | 1003979 | 636 56659 238983 | 2147483647 85441 27 | 0.000 % |
2289.71/2290.55 c | 1006233 | 636 56659 238983 | 2147483647 87695 27 | 0.000 % |
2293.60/2294.42 c | 1008711 | 636 56659 238983 | 2147483647 90173 26 | 0.000 % |
2298.20/2299.05 c | 1011437 | 636 56659 238983 | 2147483647 92899 26 | 0.000 % |
2303.10/2303.98 c | 1014437 | 636 56659 238983 | 2147483647 95899 26 | 0.000 % |
2309.80/2310.66 c | 1017735 | 636 56659 238983 | 2147483647 99197 26 | 0.000 % |
2316.20/2317.05 c | 1021360 | 636 56659 238983 | 2147483647 102822 26 | 0.002 % |
2323.99/2324.80 c | 1025348 | 636 56659 238983 | 2147483647 106810 26 | 0.002 % |
2332.09/2332.95 c | 1029734 | 636 56659 238983 | 2147483647 111196 26 | 0.002 % |
2340.19/2341.08 c | 1034559 | 636 56659 238983 | 2147483647 116021 25 | 0.000 % |
2352.68/2353.53 c | 1039864 | 636 56659 238983 | 2147483647 121326 26 | 0.000 % |
2365.58/2366.43 c | 1045699 | 636 56659 238983 | 2147483647 127161 26 | 0.000 % |
2382.27/2383.17 c | 1052121 | 636 56659 238983 | 2147483647 133583 26 | 0.002 % |
2397.67/2398.55 c | 1059180 | 636 56659 238983 | 2147483647 140642 25 | 0.002 % |
2411.37/2412.28 c | 1066944 | 636 56659 238983 | 2147483647 148406 25 | 0.002 % |
2431.26/2432.16 c | 1075485 | 636 56659 238983 | 2147483647 156947 25 | 0.000 % |
2454.65/2455.53 c | 1084879 | 636 56659 238983 | 161463 139329 25 | 0.000 % |
2454.85/2455.74 c | 1084979 | 636 56659 238983 | 161463 139429 25 | 0.000 % |
2455.05/2455.97 c | 1085090 | 636 56659 238983 | 161463 139540 25 | 0.002 % |
2455.45/2456.33 c | 1085215 | 636 56659 238983 | 161463 139665 25 | 0.000 % |
2455.95/2456.82 c | 1085349 | 636 56659 238983 | 161463 139799 25 | 0.000 % |
2456.25/2457.13 c | 1085496 | 636 56659 238983 | 161463 139946 25 | 0.000 % |
2456.65/2457.51 c | 1085656 | 636 56659 238983 | 161463 140106 25 | 0.000 % |
2457.05/2457.96 c | 1085834 | 636 56659 238983 | 161463 140284 25 | 0.000 % |
2457.45/2458.39 c | 1086028 | 636 56659 238983 | 161463 140478 25 | 0.000 % |
2458.25/2459.13 c | 1086240 | 636 56659 238983 | 161463 140690 25 | 0.000 % |
2458.85/2459.75 c | 1086473 | 636 56659 238983 | 161463 140923 25 | 0.000 % |
2459.55/2460.48 c | 1086730 | 636 56659 238983 | 161463 141180 25 | 0.000 % |
2460.65/2461.53 c | 1087014 | 636 56659 238983 | 161463 141464 25 | 0.000 % |
2461.75/2462.62 c | 1087324 | 636 56659 238983 | 161463 141774 25 | 0.000 % |
2462.65/2463.53 c | 1087663 | 636 56659 238983 | 161463 142113 25 | 0.000 % |
2463.45/2464.34 c | 1088035 | 636 56659 238983 | 161463 142485 25 | 0.000 % |
2465.05/2465.96 c | 1088445 | 636 56659 238983 | 161463 142895 25 | 0.001 % |
2466.65/2467.55 c | 1088894 | 636 56659 238983 | 161463 143344 25 | 0.000 % |
2467.94/2468.82 c | 1089389 | 636 56659 238983 | 161463 143839 25 | 0.000 % |
2469.65/2470.60 c | 1089933 | 636 56659 238983 | 161463 144383 25 | 0.000 % |
2471.95/2472.82 c | 1090530 | 636 56659 238983 | 144450 112887 24 | 0.002 % |
2473.44/2474.30 c | 1091186 | 636 56659 238983 | 144450 113543 24 | 0.000 % |
2474.94/2475.84 c | 1091906 | 636 56659 238983 | 144450 114263 24 | 0.000 % |
2476.54/2477.48 c | 1092698 | 636 56659 238983 | 144450 115055 24 | 0.000 % |
2478.45/2479.37 c | 1093569 | 636 56659 238983 | 144450 115926 24 | 0.000 % |
2480.74/2481.65 c | 1094529 | 636 56659 238983 | 144450 116886 25 | 0.000 % |
2483.54/2484.40 c | 1095582 | 636 56659 238983 | 144450 117939 25 | 0.000 % |
2485.84/2486.77 c | 1096740 | 636 56659 238983 | 144450 119097 25 | 0.000 % |
2488.24/2489.18 c | 1098013 | 636 56659 238983 | 144450 120370 25 | 0.000 % |
2491.04/2491.91 c | 1099416 | 636 56659 238983 | 144450 121773 25 | 0.000 % |
2493.94/2494.85 c | 1100956 | 636 56659 238983 | 122360 105498 25 | 0.000 % |
2496.43/2497.36 c | 1102653 | 636 56659 238983 | 122360 107195 25 | 0.000 % |
2499.63/2500.59 c | 1104518 | 636 56659 238983 | 122360 109060 25 | 0.000 % |
2503.43/2504.34 c | 1106569 | 636 56659 238983 | 122360 111111 25 | 0.000 % |
2507.63/2508.52 c | 1108823 | 636 56659 238983 | 122360 113365 26 | 0.000 % |
2512.73/2513.67 c | 1111302 | 636 56659 238983 | 2147483647 115844 26 | 0.000 % |
2517.23/2518.14 c | 1114027 | 636 56659 238983 | 2147483647 118569 26 | 0.000 % |
2523.33/2524.24 c | 1117029 | 636 56659 238983 | 2147483647 121571 26 | 0.000 % |
2530.02/2530.97 c | 1120327 | 636 56659 238983 | 124544 111984 27 | 0.000 % |
2536.32/2537.25 c | 1123952 | 636 56659 238983 | 124544 115609 27 | 0.000 % |
2542.22/2543.20 c | 1127939 | 636 56659 238983 | 124544 119596 27 | 0.000 % |
2550.82/2551.76 c | 1132326 | 636 56659 238983 | 2147483647 123983 27 | 0.000 % |
2560.11/2561.07 c | 1137149 | 636 56659 238983 | 2147483647 128806 27 | 0.000 % |
2570.21/2571.16 c | 1142455 | 636 56659 238983 | 2147483647 134112 27 | 0.000 % |
2581.51/2582.43 c | 1148290 | 636 56659 238983 | 2147483647 139947 27 | 0.000 % |
2594.51/2595.43 c | 1154712 | 636 56659 238983 | 2147483647 146369 27 | 0.000 % |
2607.01/2607.95 c | 1161772 | 636 56659 238983 | 2147483647 153429 27 | 0.002 % |
2620.60/2621.50 c | 1169536 | 636 56659 238983 | 2147483647 161193 26 | 0.002 % |
2645.50/2646.46 c | 1178077 | 636 56659 238983 | 2147483647 169734 27 | 0.000 % |
2671.39/2672.39 c | 1187472 | 636 56659 238983 | 171657 140165 28 | 0.000 % |
2693.68/2694.65 c | 1197805 | 636 56659 238983 | 142694 123443 28 | 0.000 % |
2693.99/2694.91 c | 1197907 | 636 56659 238983 | 142694 123545 28 | 0.002 % |
2694.18/2695.13 c | 1198017 | 636 56659 238983 | 142694 123655 28 | 0.000 % |
2694.48/2695.48 c | 1198138 | 636 56659 238983 | 142694 123776 28 | 0.000 % |
2694.98/2695.94 c | 1198273 | 636 56659 238983 | 142694 123911 28 | 0.000 % |
2695.28/2696.21 c | 1198419 | 636 56659 238983 | 142694 124057 28 | 0.000 % |
2695.78/2696.77 c | 1198580 | 636 56659 238983 | 142694 124218 28 | 0.000 % |
2696.48/2697.42 c | 1198757 | 636 56659 238983 | 142694 124395 28 | 0.000 % |
2697.18/2698.12 c | 1198951 | 636 56659 238983 | 142694 124589 28 | 0.000 % |
2697.58/2698.56 c | 1199163 | 636 56659 238983 | 142694 124801 28 | 0.000 % |
2697.98/2698.91 c | 1199396 | 636 56659 238983 | 142694 125034 28 | 0.002 % |
2698.58/2699.57 c | 1199652 | 636 56659 238983 | 142694 125290 28 | 0.049 % |
2699.38/2700.32 c | 1199934 | 636 56659 238983 | 142694 125572 28 | 0.000 % |
2700.18/2701.11 c | 1200244 | 636 56659 238983 | 125641 125882 28 | 0.000 % |
2701.08/2702.04 c | 1200585 | 636 56659 238983 | 125641 108439 27 | 0.000 % |
2701.98/2702.92 c | 1200957 | 636 56659 238983 | 125641 108811 27 | 0.000 % |
2702.88/2703.83 c | 1201368 | 636 56659 238983 | 125641 109222 27 | 0.000 % |
2703.78/2704.73 c | 1201819 | 636 56659 238983 | 125641 109673 27 | 0.002 % |
2704.77/2705.71 c | 1202312 | 636 56659 238983 | 125641 110166 27 | 0.000 % |
2705.77/2706.75 c | 1202855 | 636 56659 238983 | 125641 110709 27 | 0.000 % |
2706.87/2707.88 c | 1203452 | 636 56659 238983 | 125641 111306 27 | 0.002 % |
2707.97/2708.90 c | 1204107 | 636 56659 238983 | 125641 111961 27 | 0.000 % |
2709.17/2710.10 c | 1204827 | 636 56659 238983 | 125641 112681 27 | 0.000 % |
2710.77/2711.74 c | 1205620 | 636 56659 238983 | 125641 113474 27 | 0.000 % |
2713.27/2714.23 c | 1206493 | 636 56659 238983 | 125641 114347 27 | 0.000 % |
2716.08/2717.05 c | 1207453 | 636 56659 238983 | 125641 115307 27 | 0.000 % |
2719.37/2720.33 c | 1208515 | 636 56659 238983 | 125641 116369 27 | 0.000 % |
2722.47/2723.43 c | 1209676 | 636 56659 238983 | 125641 117530 27 | 0.000 % |
2725.17/2726.17 c | 1210952 | 636 56659 238983 | 117854 98547 25 | 0.000 % |
2727.57/2728.57 c | 1212352 | 636 56659 238983 | 117854 99947 25 | 0.002 % |
2729.87/2730.86 c | 1213893 | 636 56659 238983 | 117854 101488 25 | 0.000 % |
2732.57/2733.55 c | 1215588 | 636 56659 238983 | 117854 103183 25 | 0.000 % |
2736.16/2737.16 c | 1217451 | 636 56659 238983 | 117854 105046 26 | 0.000 % |
2740.27/2741.28 c | 1219501 | 636 56659 238983 | 117854 107096 26 | 0.000 % |
2744.76/2745.75 c | 1221754 | 636 56659 238983 | 2147483647 109349 26 | 0.000 % |
2749.46/2750.41 c | 1224232 | 636 56659 238983 | 2147483647 111827 26 | 0.000 % |
2754.66/2755.68 c | 1226959 | 636 56659 238983 | 2147483647 114554 26 | 0.000 % |
2759.75/2760.71 c | 1229956 | 636 56659 238983 | 2147483647 117551 26 | 0.000 % |
2765.05/2766.01 c | 1233253 | 636 56659 238983 | 2147483647 120848 26 | 0.000 % |
2771.95/2772.94 c | 1236878 | 636 56659 238983 | 2147483647 124473 26 | 0.000 % |
2778.95/2779.96 c | 1240867 | 636 56659 238983 | 2147483647 128462 26 | 0.000 % |
2787.35/2788.38 c | 1245252 | 636 56659 238983 | 2147483647 132847 25 | 0.000 % |
2796.44/2797.43 c | 1250076 | 636 56659 238983 | 137595 137671 26 | 0.000 % |
2806.44/2807.49 c | 1255381 | 636 56659 238983 | 137595 126251 26 | 0.000 % |
2817.74/2818.78 c | 1261216 | 636 56659 238983 | 2147483647 132086 25 | 0.000 % |
2829.73/2830.73 c | 1267634 | 636 56659 238983 | 2147483647 138504 25 | 0.002 % |
2844.83/2845.81 c | 1274693 | 636 56659 238983 | 2147483647 145563 25 | 0.002 % |
2861.23/2862.27 c | 1282457 | 636 56659 238983 | 150873 137434 25 | 0.003 % |
2880.02/2881.04 c | 1290997 | 636 56659 238983 | 2147483647 145974 25 | 0.000 % |
2900.01/2901.01 c | 1300391 | 636 56659 238983 | 2147483647 155368 24 | 0.000 % |
2920.81/2921.80 c | 1310725 | 636 56659 238983 | 2147483647 165702 24 | 0.002 % |
2944.60/2945.60 c | 1322094 | 635 56082 237256 | 2147483647 147522 25 | 0.157 % |
2944.90/2945.94 c | 1322197 | 635 56082 237256 | 2147483647 147625 25 | 0.157 % |
2945.20/2946.25 c | 1322308 | 635 56082 237256 | 2147483647 147736 25 | 0.157 % |
2945.60/2946.66 c | 1322431 | 635 56082 237256 | 2147483647 147859 25 | 0.157 % |
2946.10/2947.18 c | 1322564 | 635 56082 237256 | 2147483647 147992 25 | 0.157 % |
2946.50/2947.59 c | 1322710 | 635 56082 237256 | 2147483647 148138 25 | 0.157 % |
2946.80/2947.83 c | 1322872 | 635 56082 237256 | 2147483647 148300 25 | 0.157 % |
2947.10/2948.15 c | 1323048 | 635 56082 237256 | 2147483647 148476 25 | 0.159 % |
2947.60/2948.65 c | 1323241 | 635 56082 237256 | 2147483647 148669 25 | 0.157 % |
2948.10/2949.19 c | 1323453 | 635 56082 237256 | 2147483647 148881 25 | 0.157 % |
2948.80/2949.90 c | 1323687 | 635 56082 237256 | 2147483647 149115 25 | 0.157 % |
2949.50/2950.59 c | 1323944 | 635 56082 237256 | 2147483647 149372 25 | 0.157 % |
2950.30/2951.36 c | 1324226 | 635 56082 237256 | 2147483647 149654 25 | 0.157 % |
2951.00/2952.06 c | 1324536 | 635 56082 237256 | 2147483647 149964 25 | 0.157 % |
2952.10/2953.11 c | 1324875 | 635 56082 237256 | 2147483647 150303 25 | 0.157 % |
2952.80/2953.81 c | 1325248 | 635 56082 237256 | 2147483647 150676 25 | 0.157 % |
2954.20/2955.23 c | 1325658 | 635 56082 237256 | 2147483647 151086 25 | 0.157 % |
2955.81/2956.83 c | 1326107 | 635 56082 237256 | 2147483647 151535 25 | 0.157 % |
2957.20/2958.27 c | 1326605 | 635 56082 237256 | 2147483647 152033 25 | 0.157 % |
2958.60/2959.62 c | 1327148 | 635 56082 237256 | 2147483647 152576 25 | 0.157 % |
2960.60/2961.60 c | 1327745 | 635 56082 237256 | 2147483647 153173 25 | 0.157 % |
2962.40/2963.49 c | 1328403 | 635 56082 237256 | 2147483647 153831 25 | 0.157 % |
2964.10/2965.15 c | 1329123 | 635 56082 237256 | 2147483647 154551 25 | 0.159 % |
2966.30/2967.32 c | 1329918 | 635 56082 237256 | 2147483647 155346 25 | 0.159 % |
2969.40/2970.41 c | 1330790 | 635 56082 237256 | 155428 129283 24 | 0.157 % |
2971.90/2972.95 c | 1331748 | 635 56082 237256 | 155428 130241 24 | 0.159 % |
2974.60/2975.68 c | 1332802 | 635 56082 237256 | 155428 131295 24 | 0.159 % |
2977.49/2978.54 c | 1333961 | 635 56082 237256 | 155428 132454 23 | 0.160 % |
2980.69/2981.75 c | 1335235 | 635 56082 237256 | 155428 133728 23 | 0.160 % |
2983.99/2985.00 c | 1336635 | 635 56082 237256 | 155428 135128 23 | 0.160 % |
2988.09/2989.11 c | 1338175 | 635 56082 237256 | 155428 136668 23 | 0.159 % |
2991.29/2992.32 c | 1339870 | 635 56082 237256 | 155428 138363 23 | 0.159 % |
2994.29/2995.37 c | 1341734 | 635 56082 237256 | 138493 124034 22 | 0.157 % |
2997.39/2998.42 c | 1343785 | 635 56082 237256 | 138493 126085 22 | 0.159 % |
3000.59/3001.68 c | 1346039 | 635 56082 237256 | 138493 128339 22 | 0.157 % |
3006.89/3007.92 c | 1348518 | 635 56082 237256 | 138493 130818 22 | 0.157 % |
3011.89/3012.99 c | 1351243 | 635 56082 237256 | 2147483647 133543 23 | 0.157 % |
3017.78/3018.87 c | 1354240 | 635 56082 237256 | 2147483647 136540 23 | 0.157 % |
3024.18/3025.29 c | 1357536 | 635 56082 237256 | 2147483647 139836 23 | 0.157 % |
3032.88/3033.90 c | 1361161 | 635 56082 237256 | 2147483647 143461 23 | 0.157 % |
3042.28/3043.35 c | 1365148 | 635 56082 237256 | 2147483647 147448 23 | 0.157 % |
3052.07/3053.14 c | 1369534 | 635 56082 237256 | 2147483647 151834 23 | 0.157 % |
3061.17/3062.28 c | 1374357 | 635 56082 237256 | 152300 137349 22 | 0.157 % |
3071.47/3072.58 c | 1379662 | 635 56082 237256 | 152300 142654 22 | 0.160 % |
3083.66/3084.71 c | 1385497 | 635 56082 237256 | 2147483647 148489 22 | 0.158 % |
3097.36/3098.41 c | 1391915 | 635 56082 237256 | 152993 137703 22 | 0.157 % |
3110.65/3111.76 c | 1398974 | 635 56082 237256 | 152993 144762 22 | 0.158 % |
3126.25/3127.32 c | 1406739 | 635 56082 237256 | 2147483647 152527 22 | 0.157 % |
3143.04/3144.12 c | 1415279 | 635 56082 237256 | 155788 138528 22 | 0.158 % |
3161.24/3162.32 c | 1424674 | 635 56082 237256 | 2147483647 147923 21 | 0.157 % |
3179.23/3180.38 c | 1435007 | 635 56082 237256 | 153250 140561 22 | 0.166 % |
3201.42/3202.51 c | 1446373 | 635 56082 237256 | 2147483647 151927 21 | 0.161 % |
3206.12/3207.22 c ===============================================================================
3206.12/3207.22 c restarts : 1379
3206.12/3207.22 c conflicts : 1447714 (452 /sec)
3206.12/3207.22 c decisions : 1811587 (1.75 % random) (565 /sec)
3206.12/3207.23 c propagations : 129563893 (40419 /sec)
3206.12/3207.23 c conflict literals : 37966432 (21.95 % deleted)
3206.12/3207.23 c Memory used : 47.91 MB
3206.12/3207.23 c CPU time : 3205.53 s
3206.12/3207.23 c
3206.12/3207.23 s UNSATISFIABLE
3206.12/3207.23 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837544-1242877050/watcher-1837544-1242877050 -o /tmp/evaluation-result-1837544-1242877050/solver-1837544-1242877050 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837544-1242877050.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.93 0.98 0.99 3/65 27886
/proc/meminfo: memFree=1690600/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 315734024 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27886/statm: 1339 237 197 169 0 50 0
[startup+0.0527409 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 27886
/proc/meminfo: memFree=1690600/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 315734024 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27886/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101745 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 27886
/proc/meminfo: memFree=1690600/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 315734024 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27886/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301767 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 27886
/proc/meminfo: memFree=1690600/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 315734024 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27886/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701817 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 27886
/proc/meminfo: memFree=1690600/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1684632/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=5212 CPUtime=1
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 1205 0 0 0 100 0 0 0 25 0 1 0 315734072 5337088 1191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 1303 1191 77 171 0 1130 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10568
[startup+3.10106 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1683864/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=6136 CPUtime=2.6
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 1429 0 0 0 259 1 0 0 25 0 1 0 315734072 6283264 1415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 1534 1415 77 171 0 1361 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11492
[startup+6.30239 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1682328/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=7336 CPUtime=5.81
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 1742 0 0 0 579 2 0 0 25 0 1 0 315734072 7512064 1728 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 1834 1728 77 171 0 1661 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12692
[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1680104/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=9500 CPUtime=12.2
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 2252 0 0 0 1217 3 0 0 25 0 1 0 315734072 9728000 2238 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 2375 2238 77 171 0 2202 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14856
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1677160/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=12416 CPUtime=24.99
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 2968 0 0 0 2495 4 0 0 25 0 1 0 315734072 12713984 2954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 3104 2954 77 171 0 2931 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 17772
[startup+51.1011 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1673192/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=16460 CPUtime=50.57
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 3975 0 0 0 5052 5 0 0 25 0 1 0 315734072 16855040 3961 1992294400 134512640 135215339 4294956240 18446744073709551615 134532646 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 4115 3961 77 171 0 3942 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 21816
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1667432/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=22324 CPUtime=101.75
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 5374 0 0 0 10169 6 0 0 25 0 1 0 315734072 22859776 5360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 5581 5360 77 171 0 5408 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 27680
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1661864/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=28268 CPUtime=161.72
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 6768 0 0 0 16165 7 0 0 25 0 1 0 315734072 28946432 6746 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 7067 6746 77 171 0 6894 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 33624
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1660008/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=30216 CPUtime=221.7
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 7218 0 0 0 22163 7 0 0 25 0 1 0 315734072 30941184 7196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 7554 7196 77 171 0 7381 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 35572
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1659944/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=30352 CPUtime=281.68
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 7228 0 0 0 28161 7 0 0 25 0 1 0 315734072 31080448 7206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 7588 7206 77 171 0 7415 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 35708
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27892
/proc/meminfo: memFree=1659816/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=30352 CPUtime=341.66
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 7252 0 0 0 34159 7 0 0 25 0 1 0 315734072 31080448 7230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 7588 7230 77 171 0 7415 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 35708
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27894
/proc/meminfo: memFree=1659304/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=30856 CPUtime=401.63
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 7357 0 0 0 40156 7 0 0 25 0 1 0 315734072 31596544 7335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 7714 7335 77 171 0 7541 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 36212
[startup+462.301 s]
################
# More data... #
################
[startup+2922.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1642280/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=48404 CPUtime=2920.83
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11288 0 0 0 292068 15 0 0 25 0 1 0 315734072 49565696 11184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12101 11184 77 171 0 11928 0
Current children cumulated CPU time (s) 2921.3
Current children cumulated vsize (KiB) 53760
[startup+2982.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1642216/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=48404 CPUtime=2980.82
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11290 0 0 0 298066 16 0 0 25 0 1 0 315734072 49565696 11186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12101 11186 77 171 0 11928 0
Current children cumulated CPU time (s) 2981.29
Current children cumulated vsize (KiB) 53760
[startup+3042.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1642088/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=48568 CPUtime=3040.81
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11317 0 0 0 304065 16 0 0 25 0 1 0 315734072 49733632 11213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12142 11213 77 171 0 11969 0
Current children cumulated CPU time (s) 3041.28
Current children cumulated vsize (KiB) 53924
[startup+3102.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1642024/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=48568 CPUtime=3100.79
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11325 0 0 0 310063 16 0 0 25 0 1 0 315734072 49733632 11221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12142 11221 77 171 0 11969 0
Current children cumulated CPU time (s) 3101.26
Current children cumulated vsize (KiB) 53924
[startup+3162.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1642024/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=48568 CPUtime=3160.77
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11325 0 0 0 316061 16 0 0 25 0 1 0 315734072 49733632 11221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12142 11221 77 171 0 11969 0
Current children cumulated CPU time (s) 3161.24
Current children cumulated vsize (KiB) 53924
Solver just ended. Dumping a history of the last processes samples
[startup+3174.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641768/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=48812 CPUtime=3172.76
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11370 0 0 0 317260 16 0 0 25 0 1 0 315734072 49983488 11266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12203 11266 77 171 0 12030 0
Current children cumulated CPU time (s) 3173.23
Current children cumulated vsize (KiB) 54168
[startup+3187.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3185.56
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11422 0 0 0 318540 16 0 0 25 0 1 0 315734072 50233344 11318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11318 77 171 0 12091 0
Current children cumulated CPU time (s) 3186.03
Current children cumulated vsize (KiB) 54412
[startup+3199.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3198.36
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11423 0 0 0 319820 16 0 0 25 0 1 0 315734072 50233344 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11319 77 171 0 12091 0
Current children cumulated CPU time (s) 3198.83
Current children cumulated vsize (KiB) 54412
[startup+3203.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3201.56
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11423 0 0 0 320140 16 0 0 25 0 1 0 315734072 50233344 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134526326 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11319 77 171 0 12091 0
Current children cumulated CPU time (s) 3202.03
Current children cumulated vsize (KiB) 54412
[startup+3204.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3203.15
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11423 0 0 0 320299 16 0 0 25 0 1 0 315734072 50233344 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134526326 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11319 77 171 0 12091 0
Current children cumulated CPU time (s) 3203.62
Current children cumulated vsize (KiB) 54412
[startup+3206.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3204.75
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11423 0 0 0 320459 16 0 0 25 0 1 0 315734072 50233344 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11319 77 171 0 12091 0
Current children cumulated CPU time (s) 3205.22
Current children cumulated vsize (KiB) 54412
[startup+3206.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3205.15
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11423 0 0 0 320499 16 0 0 25 0 1 0 315734072 50233344 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11319 77 171 0 12091 0
Current children cumulated CPU time (s) 3205.62
Current children cumulated vsize (KiB) 54412
[startup+3207.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3205.55
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11423 0 0 0 320539 16 0 0 25 0 1 0 315734072 50233344 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11319 77 171 0 12091 0
Current children cumulated CPU time (s) 3206.02
Current children cumulated vsize (KiB) 54412
[startup+3207.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27900
/proc/meminfo: memFree=1641576/2055912 swapFree=4178808/4192956
[pid=27886] ppid=27884 vsize=5356 CPUtime=0.47
/proc/27886/stat : 27886 (SatELiteGTI) S 27884 27886 27815 0 -1 4194304 336 1839 0 0 0 0 45 2 16 0 1 0 315734024 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27886/statm: 1339 239 197 169 0 50 0
[pid=27892] ppid=27886 vsize=49056 CPUtime=3205.65
/proc/27892/stat : 27892 (minisat_static) R 27886 27886 27815 0 -1 4194304 11423 0 0 0 320549 16 0 0 25 0 1 0 315734072 50233344 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27892/statm: 12264 11319 77 171 0 12091 0
Current children cumulated CPU time (s) 3206.12
Current children cumulated vsize (KiB) 54412
Child status: 20
Real time (s): 3207.25
CPU time (s): 3206.19
CPU user time (s): 3205.98
CPU system time (s): 0.201969
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 54412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3205.98
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13759
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= 46
involuntary context switches= 8190
runsolver used 2.93655 second user time and 8.86965 second system time
The end
Begin job on node78 at 2009-05-21 05:37:30
IDJOB=1837544
IDBENCH=71091
IDSOLVER=674
FILE ID=node78/1837544-1242877050
PBS_JOBID= 9328638
Free space on /tmp= 126572 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837544-1242877050/watcher-1837544-1242877050 -o /tmp/evaluation-result-1837544-1242877050/solver-1837544-1242877050 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837544-1242877050.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED=1975217390
node78.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.243
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.243
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: 2055912 kB
MemFree: 1691016 kB
Buffers: 46596 kB
Cached: 267968 kB
SwapCached: 7620 kB
Active: 136520 kB
Inactive: 186980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1691016 kB
SwapTotal: 4192956 kB
SwapFree: 4178808 kB
Dirty: 2540 kB
Writeback: 0 kB
Mapped: 14152 kB
Slab: 27092 kB
Committed_AS: 867508 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126572 MiB
End job on node78 at 2009-05-21 06:30:57