0.00/0.00 c Parsing...
0.00/0.11 c ==============================================================================
0.00/0.11 c | | ORIGINAL | LEARNT | |
0.00/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.11 c ==============================================================================
0.00/0.11 c | 0 | 191788 572017 | 57536 0 0 nan | 0.000 % |
2.79/2.80 c | 0 | 190510 837828 | -- 0 -- -- | -- | -1278/265811
2.79/2.80 c ==============================================================================
2.79/2.80 c Result : #vars: 1262 #clauses: 190510 #literals: 837828
2.79/2.80 c CPU time: 2.76958 s
2.79/2.80 c ==============================================================================
2.99/3.05 c This is MiniSat 2.0 beta
2.99/3.05 c WARNING: for repeatability, setting FPU to use double precision
2.99/3.05 c ============================[ Problem Statistics ]=============================
2.99/3.05 c | |
2.99/3.05 c | Number of variables: 1262 |
2.99/3.05 c | Number of clauses: 190510 |
3.04/3.15 c | Parsing time: 0.09 s |
3.04/3.16 c ============================[ Search Statistics ]==============================
3.04/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.04/3.16 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.04/3.16 c ===============================================================================
3.04/3.16 c | 0 | 1262 190510 837828 | 63503 0 nan | 0.000 % |
3.04/3.27 c | 100 | 1262 190510 837828 | 63503 100 48 | 0.000 % |
3.28/3.40 c | 202 | 1262 190510 837828 | 63503 202 48 | 0.000 % |
3.38/3.45 c | 303 | 1262 190510 837828 | 63503 303 51 | 0.000 % |
3.48/3.58 c | 414 | 1262 190510 837828 | 63503 414 50 | 0.000 % |
3.58/3.67 c | 514 | 1262 190510 837828 | 63503 514 46 | 0.000 % |
3.78/3.83 c | 624 | 1262 190510 837828 | 63503 624 50 | 0.000 % |
3.88/3.98 c | 746 | 1262 190510 837828 | 63503 746 53 | 0.000 % |
3.98/4.06 c | 846 | 1262 190510 837828 | 63503 846 53 | 0.000 % |
4.18/4.21 c | 956 | 1262 190510 837828 | 63503 956 54 | 0.000 % |
4.28/4.34 c | 1078 | 1262 190510 837828 | 63503 1078 55 | 0.000 % |
4.38/4.47 c | 1211 | 1262 190510 837828 | 63503 1211 56 | 0.000 % |
4.48/4.58 c | 1313 | 1262 190510 837828 | 63503 1313 56 | 0.000 % |
4.58/4.64 c | 1424 | 1262 190510 837828 | 63503 1424 56 | 0.000 % |
4.68/4.77 c | 1546 | 1262 190510 837828 | 63503 1546 56 | 0.000 % |
4.77/4.87 c | 1679 | 1262 190510 837828 | 63503 1679 56 | 0.000 % |
4.87/4.93 c | 1826 | 1262 190510 837828 | 63503 1826 56 | 0.000 % |
4.87/4.99 c | 1928 | 1262 190510 837828 | 63503 1928 56 | 0.000 % |
4.97/5.03 c | 2038 | 1262 190510 837828 | 63503 2038 56 | 0.000 % |
5.07/5.15 c | 2159 | 1262 190510 837828 | 63503 2159 57 | 0.000 % |
5.17/5.26 c | 2294 | 1262 190510 837828 | 63503 2294 58 | 0.000 % |
5.27/5.34 c | 2440 | 1262 190510 837828 | 63503 2440 58 | 0.000 % |
5.37/5.42 c | 2600 | 1262 190510 837828 | 63503 2600 57 | 0.000 % |
5.37/5.50 c | 2701 | 1262 190510 837828 | 63503 2701 57 | 0.000 % |
5.47/5.59 c | 2811 | 1262 190510 837828 | 63503 2811 56 | 0.000 % |
5.67/5.70 c | 2933 | 1262 190510 837828 | 63503 2933 56 | 0.000 % |
5.77/5.83 c | 3066 | 1262 190510 837828 | 63503 3066 56 | 0.000 % |
5.97/6.00 c | 3214 | 1262 190510 837828 | 63503 3214 56 | 0.000 % |
6.07/6.12 c | 3374 | 1262 190510 837828 | 63503 3374 56 | 0.000 % |
6.27/6.32 c | 3551 | 1262 190510 837828 | 63503 3551 56 | 0.000 % |
6.27/6.40 c | 3651 | 1262 190510 837828 | 63503 3651 56 | 0.000 % |
6.37/6.49 c | 3763 | 1262 190510 837828 | 63503 3763 56 | 0.000 % |
6.57/6.61 c | 3887 | 1262 190510 837828 | 63503 3887 56 | 0.000 % |
6.57/6.66 c | 4022 | 1262 190510 837828 | 63503 4022 56 | 0.000 % |
6.67/6.72 c | 4168 | 1262 190510 837828 | 63503 4168 56 | 0.000 % |
6.87/6.92 c | 4328 | 1262 190510 837828 | 63503 4328 56 | 0.000 % |
6.97/7.09 c | 4504 | 1262 190510 837828 | 63503 4504 56 | 0.000 % |
7.17/7.25 c | 4698 | 1262 190510 837828 | 63503 4698 56 | 0.000 % |
7.27/7.32 c | 4798 | 1262 190510 837828 | 63503 4798 56 | 0.000 % |
7.27/7.36 c | 4911 | 1262 190510 837828 | 63503 4911 56 | 0.000 % |
7.37/7.48 c | 5032 | 1262 190510 837828 | 63503 5032 57 | 0.000 % |
7.47/7.59 c | 5169 | 1262 190510 837828 | 63503 5169 57 | 0.000 % |
7.57/7.69 c | 5315 | 1262 190510 837828 | 63503 5315 57 | 0.000 % |
7.77/7.82 c | 5475 | 1262 190510 837828 | 63503 5475 57 | 0.000 % |
7.87/7.99 c | 5651 | 1262 190510 837828 | 63503 5651 57 | 0.000 % |
7.97/8.09 c | 5844 | 1262 190510 837828 | 63503 5844 57 | 0.000 % |
8.18/8.21 c | 6056 | 1262 190510 837828 | 63503 6056 57 | 0.000 % |
8.18/8.28 c | 6156 | 1262 190510 837828 | 63503 6156 57 | 0.000 % |
8.28/8.36 c | 6267 | 1262 190510 837828 | 63503 6267 57 | 0.000 % |
8.38/8.42 c | 6388 | 1262 190510 837828 | 63503 6388 57 | 0.000 % |
8.38/8.48 c | 6521 | 1262 190510 837828 | 63503 6521 57 | 0.000 % |
8.48/8.55 c | 6667 | 1262 190510 837828 | 63503 6667 57 | 0.000 % |
8.58/8.62 c | 6827 | 1262 190510 837828 | 63503 6827 57 | 0.000 % |
8.58/8.69 c | 7003 | 1262 190510 837828 | 63503 7003 57 | 0.001 % |
8.78/8.81 c | 7197 | 1262 190510 837828 | 63503 7197 57 | 0.000 % |
8.88/8.93 c | 7412 | 1262 190510 837828 | 63503 7412 57 | 0.000 % |
8.98/9.04 c | 7645 | 1262 190510 837828 | 63503 7645 57 | 0.000 % |
8.98/9.08 c | 7745 | 1262 190510 837828 | 63503 7745 57 | 0.000 % |
9.08/9.13 c | 7855 | 1262 190510 837828 | 63503 7855 57 | 0.000 % |
9.08/9.19 c | 7979 | 1262 190510 837828 | 63503 7979 57 | 0.000 % |
9.18/9.29 c | 8114 | 1262 190510 837828 | 63503 8114 57 | 0.000 % |
9.28/9.38 c | 8261 | 1262 190510 837828 | 63503 8261 57 | 0.000 % |
9.38/9.46 c | 8421 | 1262 190510 837828 | 63503 8421 57 | 0.000 % |
9.48/9.57 c | 8597 | 1262 190510 837828 | 63503 8597 56 | 0.000 % |
9.58/9.67 c | 8790 | 1262 190510 837828 | 63503 8790 56 | 0.000 % |
9.67/9.78 c | 9004 | 1262 190510 837828 | 63503 9004 56 | 0.000 % |
9.88/9.96 c | 9238 | 1262 190510 837828 | 63503 9238 56 | 0.000 % |
10.07/10.10 c | 9495 | 1262 190510 837828 | 63503 9495 56 | 0.000 % |
10.07/10.16 c | 9596 | 1262 190510 837828 | 63503 9596 56 | 0.000 % |
10.17/10.24 c | 9706 | 1262 190510 837828 | 63503 9706 56 | 0.000 % |
10.27/10.31 c | 9827 | 1262 190510 837828 | 63503 9827 56 | 0.000 % |
10.27/10.38 c | 9961 | 1262 190510 837828 | 63503 9961 56 | 0.000 % |
10.37/10.46 c | 10110 | 1262 190510 837828 | 2147483647 10110 56 | 0.000 % |
10.47/10.59 c | 10271 | 1262 190510 837828 | 2147483647 10271 56 | 0.000 % |
10.57/10.69 c | 10448 | 1262 190510 837828 | 2147483647 10448 56 | 0.000 % |
10.77/10.83 c | 10643 | 1262 190510 837828 | 2147483647 10643 56 | 0.000 % |
10.87/10.96 c | 10855 | 1262 190510 837828 | 2147483647 10855 56 | 0.000 % |
11.08/11.13 c | 11089 | 1262 190510 837828 | 2147483647 11089 56 | 0.000 % |
11.27/11.30 c | 11345 | 1262 190510 837828 | 2147483647 11345 56 | 0.000 % |
11.37/11.48 c | 11627 | 1262 190510 837828 | 2147483647 11627 56 | 0.000 % |
11.47/11.56 c | 11727 | 1262 190510 837828 | 2147483647 11727 56 | 0.000 % |
11.57/11.64 c | 11837 | 1262 190510 837828 | 2147483647 11837 56 | 0.000 % |
11.67/11.73 c | 11960 | 1262 190510 837828 | 2147483647 11960 56 | 0.000 % |
11.77/11.82 c | 12093 | 1262 190510 837828 | 2147483647 12093 56 | 0.000 % |
11.77/11.89 c | 12239 | 1262 190510 837828 | 2147483647 12239 56 | 0.000 % |
11.97/12.02 c | 12400 | 1262 190510 837828 | 2147483647 12400 56 | 0.000 % |
12.08/12.16 c | 12576 | 1262 190510 837828 | 2147483647 12576 56 | 0.000 % |
12.27/12.31 c | 12771 | 1262 190510 837828 | 2147483647 12771 56 | 0.000 % |
12.37/12.48 c | 12984 | 1262 190510 837828 | 2147483647 12984 56 | 0.001 % |
12.67/12.71 c | 13218 | 1262 190510 837828 | 2147483647 13218 55 | 0.000 % |
12.87/12.97 c | 13476 | 1262 190510 837828 | 2147483647 13476 55 | 0.000 % |
13.18/13.20 c | 13758 | 1262 190510 837828 | 2147483647 13758 55 | 0.000 % |
13.47/13.51 c | 14069 | 1262 190510 837828 | 2147483647 14069 55 | 0.000 % |
13.57/13.60 c | 14169 | 1262 190510 837828 | 2147483647 14169 55 | 0.000 % |
13.67/13.70 c | 14279 | 1262 190510 837828 | 2147483647 14279 55 | 0.000 % |
13.77/13.85 c | 14400 | 1262 190510 837828 | 2147483647 14400 55 | 0.000 % |
13.97/14.01 c | 14533 | 1262 190510 837828 | 2147483647 14533 55 | 0.000 % |
14.07/14.18 c | 14680 | 1262 190510 837828 | 2147483647 14680 55 | 0.002 % |
14.47/14.50 c | 14840 | 1262 190510 837828 | 2147483647 14840 55 | 0.000 % |
14.57/14.68 c | 15017 | 1262 190510 837828 | 2147483647 15017 55 | 0.000 % |
14.97/15.06 c | 15210 | 1262 190510 837828 | 2147483647 15210 55 | 0.000 % |
15.17/15.26 c | 15422 | 1262 190510 837828 | 2147483647 15422 55 | 0.000 % |
15.38/15.43 c | 15655 | 1262 190510 837828 | 2147483647 15655 55 | 0.000 % |
15.57/15.61 c | 15912 | 1262 190510 837828 | 2147483647 15912 55 | 0.000 % |
16.07/16.18 c | 16193 | 1262 190510 837828 | 2147483647 16193 55 | 0.000 % |
16.57/16.67 c | 16502 | 1262 190510 837828 | 2147483647 16502 55 | 0.000 % |
17.27/17.39 c | 16841 | 1262 190510 837828 | 2147483647 16841 55 | 0.000 % |
17.47/17.56 c | 16941 | 1262 190510 837828 | 2147483647 16941 56 | 0.000 % |
17.67/17.73 c | 17051 | 1262 190510 837828 | 2147483647 17051 56 | 0.000 % |
17.87/17.96 c | 17172 | 1262 190510 837828 | 2147483647 17172 56 | 0.000 % |
18.17/18.21 c | 17305 | 1262 190510 837828 | 2147483647 17305 56 | 0.000 % |
18.37/18.49 c | 17454 | 1262 190510 837828 | 2147483647 17454 56 | 0.000 % |
18.57/18.68 c | 17614 | 1262 190510 837828 | 2147483647 17614 56 | 0.000 % |
18.87/18.93 c | 17790 | 1262 190510 837828 | 2147483647 17790 56 | 0.000 % |
19.07/19.17 c | 17985 | 1262 190510 837828 | 2147483647 17985 56 | 0.000 % |
19.47/19.50 c | 18197 | 1262 190510 837828 | 2147483647 18197 56 | 0.000 % |
19.77/19.87 c | 18431 | 1262 190510 837828 | 2147483647 18431 56 | 0.000 % |
20.07/20.19 c | 18687 | 1262 190510 837828 | 2147483647 18687 56 | 0.000 % |
20.37/20.47 c | 18969 | 1262 190510 837828 | 2147483647 18969 56 | 0.000 % |
21.07/21.11 c | 19280 | 1262 190510 837828 | 2147483647 19280 56 | 0.000 % |
21.57/21.60 c | 19620 | 1262 190510 837828 | 2147483647 19620 56 | 0.000 % |
22.17/22.26 c | 19993 | 1262 190510 837828 | 2147483647 19993 56 | 0.000 % |
22.37/22.45 c | 20093 | 1262 190510 837828 | 2147483647 20093 56 | 0.000 % |
22.57/22.68 c | 20204 | 1262 190510 837828 | 2147483647 20204 56 | 0.000 % |
22.77/22.86 c | 20325 | 1262 190510 837828 | 2147483647 20325 56 | 0.000 % |
23.07/23.16 c | 20458 | 1262 190510 837828 | 2147483647 20458 56 | 0.000 % |
23.47/23.50 c | 20605 | 1262 190510 837828 | 2147483647 20605 56 | 0.000 % |
23.77/23.85 c | 20765 | 1262 190510 837828 | 2147483647 20765 56 | 0.000 % |
24.07/24.18 c | 20941 | 1262 190510 837828 | 2147483647 20941 56 | 0.000 % |
24.47/24.55 c | 21134 | 1262 190510 837828 | 2147483647 21134 56 | 0.000 % |
24.77/24.87 c | 21348 | 1262 190510 837828 | 2147483647 21348 56 | 0.000 % |
25.27/25.32 c | 21581 | 1262 190510 837828 | 2147483647 21581 56 | 0.000 % |
25.76/25.82 c | 21837 | 1262 190510 837828 | 2147483647 21837 56 | 0.000 % |
26.06/26.16 c | 22119 | 1262 190510 837828 | 2147483647 22119 56 | 0.000 % |
26.56/26.62 c | 22430 | 1262 190510 837828 | 2147483647 22430 56 | 0.000 % |
27.36/27.45 c | 22770 | 1262 190510 837828 | 2147483647 22770 56 | 0.000 % |
28.16/28.21 c | 23143 | 1262 190510 837828 | 2147483647 23143 56 | 0.000 % |
28.86/28.94 c | 23552 | 1262 190510 837828 | 2147483647 23552 55 | 0.000 % |
28.96/29.09 c | 23653 | 1262 190510 837828 | 2147483647 23653 55 | 0.000 % |
29.26/29.31 c | 23766 | 1262 190510 837828 | 2147483647 23766 55 | 0.000 % |
29.46/29.56 c | 23887 | 1262 190510 837828 | 2147483647 23887 55 | 0.000 % |
29.77/29.86 c | 24020 | 1262 190510 837828 | 2147483647 24020 55 | 0.000 % |
30.16/30.26 c | 24166 | 1262 190510 837828 | 2147483647 24166 55 | 0.000 % |
30.46/30.59 c | 24327 | 1262 190510 837828 | 2147483647 24327 55 | 0.000 % |
30.77/30.90 c | 24504 | 1262 190510 837828 | 2147483647 24504 55 | 0.000 % |
31.27/31.31 c | 24698 | 1262 190510 837828 | 2147483647 24698 55 | 0.000 % |
31.57/31.69 c | 24912 | 1262 190510 837828 | 2147483647 24912 55 | 0.000 % |
32.06/32.15 c | 25145 | 1262 190510 837828 | 2147483647 25145 55 | 0.000 % |
32.46/32.50 c | 25402 | 1262 190510 837828 | 2147483647 25402 55 | 0.000 % |
32.86/32.94 c | 25685 | 1262 190510 837828 | 2147483647 25685 55 | 0.000 % |
33.26/33.37 c | 25997 | 1262 190510 837828 | 2147483647 25997 55 | 0.000 % |
33.76/33.84 c | 26336 | 1262 190510 837828 | 2147483647 26336 55 | 0.000 % |
34.46/34.54 c | 26709 | 1262 190510 837828 | 2147483647 26709 55 | 0.000 % |
35.17/35.27 c | 27118 | 1262 190510 837828 | 2147483647 27118 55 | 0.000 % |
36.16/36.30 c | 27568 | 1262 190510 837828 | 2147483647 27568 55 | 0.000 % |
36.55/36.62 c | 27668 | 1262 190510 837828 | 2147483647 27668 55 | 0.000 % |
36.85/36.94 c | 27779 | 1262 190510 837828 | 2147483647 27779 55 | 0.000 % |
37.25/37.34 c | 27901 | 1262 190510 837828 | 2147483647 27901 55 | 0.000 % |
37.55/37.61 c | 28034 | 1262 190510 837828 | 2147483647 28034 55 | 0.000 % |
37.95/38.03 c | 28180 | 1262 190510 837828 | 2147483647 28180 55 | 0.000 % |
38.46/38.54 c | 28341 | 1262 190510 837828 | 2147483647 28341 55 | 0.000 % |
38.85/38.98 c | 28518 | 1262 190510 837828 | 2147483647 28518 55 | 0.000 % |
39.35/39.49 c | 28712 | 1262 190510 837828 | 2147483647 28712 55 | 0.000 % |
39.85/39.97 c | 28925 | 1262 190510 837828 | 2147483647 28925 55 | 0.000 % |
40.66/40.71 c | 29158 | 1262 190510 837828 | 2147483647 29158 55 | 0.000 % |
41.15/41.28 c | 29414 | 1262 190510 837828 | 2147483647 29414 55 | 0.000 % |
41.75/41.80 c | 29695 | 1262 190510 837828 | 2147483647 29695 55 | 0.000 % |
42.35/42.40 c | 30004 | 1262 190510 837828 | 2147483647 30004 55 | 0.000 % |
43.35/43.46 c | 30343 | 1262 190510 837828 | 2147483647 30343 55 | 0.000 % |
44.35/44.49 c | 30716 | 1262 190510 837828 | 2147483647 30716 55 | 0.000 % |
45.45/45.50 c | 31127 | 1262 190510 837828 | 2147483647 31127 55 | 0.000 % |
46.25/46.35 c | 31578 | 1262 190510 837828 | 2147483647 31578 55 | 0.000 % |
47.35/47.48 c | 32072 | 1262 190510 837828 | 2147483647 32072 55 | 0.000 % |
47.55/47.69 c | 32173 | 1262 190510 837828 | 2147483647 32173 55 | 0.000 % |
47.95/48.03 c | 32283 | 1262 190510 837828 | 2147483647 32283 55 | 0.000 % |
48.14/48.24 c | 32406 | 1262 190510 837828 | 2147483647 32406 55 | 0.000 % |
48.45/48.54 c | 32539 | 1262 190510 837828 | 2147483647 32539 55 | 0.000 % |
48.84/48.95 c | 32685 | 1262 190510 837828 | 2147483647 32685 55 | 0.000 % |
49.45/49.53 c | 32845 | 1262 190510 837828 | 2147483647 32845 55 | 0.000 % |
49.84/49.95 c | 33022 | 1262 190510 837828 | 2147483647 33022 55 | 0.000 % |
50.45/50.58 c | 33216 | 1262 190510 837828 | 2147483647 33216 55 | 0.000 % |
50.95/51.04 c | 33429 | 1262 190510 837828 | 2147483647 33429 55 | 0.000 % |
51.66/51.74 c | 33663 | 1262 190510 837828 | 2147483647 33663 55 | 0.000 % |
52.35/52.46 c | 33919 | 1262 190510 837828 | 2147483647 33919 55 | 0.000 % |
53.15/53.20 c | 34201 | 1262 190510 837828 | 2147483647 34201 55 | 0.000 % |
53.86/53.96 c | 34512 | 1262 190510 837828 | 2147483647 34512 55 | 0.000 % |
54.96/55.05 c | 34851 | 1262 190510 837828 | 2147483647 34851 54 | 0.000 % |
55.85/55.93 c | 35224 | 1262 190510 837828 | 2147483647 35224 54 | 0.000 % |
56.85/56.94 c | 35634 | 1262 190510 837828 | 2147483647 35634 54 | 0.000 % |
58.55/58.62 c | 36085 | 1262 190510 837828 | 2147483647 36085 54 | 0.000 % |
60.25/60.32 c | 36578 | 1262 190510 837828 | 2147483647 36578 54 | 0.000 % |
62.15/62.28 c | 37120 | 1262 190510 837828 | 2147483647 37120 54 | 0.000 % |
62.55/62.64 c | 37221 | 1262 190510 837828 | 2147483647 37221 54 | 0.000 % |
62.85/62.96 c | 37333 | 1262 190510 837828 | 2147483647 37333 54 | 0.000 % |
63.15/63.23 c | 37454 | 1262 190510 837828 | 2147483647 37454 54 | 0.000 % |
63.55/63.66 c | 37587 | 1262 190510 837828 | 2147483647 37587 54 | 0.000 % |
64.04/64.11 c | 37735 | 1262 190510 837828 | 2147483647 37735 54 | 0.001 % |
64.54/64.67 c | 37895 | 1262 190510 837828 | 2147483647 37895 54 | 0.000 % |
65.04/65.16 c | 38071 | 1262 190510 837828 | 2147483647 38071 54 | 0.000 % |
65.54/65.67 c | 38265 | 1262 190510 837828 | 2147483647 38265 54 | 0.000 % |
66.14/66.23 c | 38478 | 1262 190510 837828 | 2147483647 38478 54 | 0.000 % |
66.94/67.09 c | 38712 | 1262 190510 837828 | 2147483647 38712 54 | 0.000 % |
67.64/67.72 c | 38969 | 1262 190510 837828 | 2147483647 38969 54 | 0.000 % |
68.44/68.51 c | 39250 | 1262 190510 837828 | 2147483647 39250 54 | 0.000 % |
69.44/69.59 c | 39559 | 1262 190510 837828 | 2147483647 39559 54 | 0.000 % |
70.64/70.71 c | 39899 | 1262 190510 837828 | 2147483647 39899 54 | 0.000 % |
71.84/71.93 c | 40273 | 1262 190510 837828 | 2147483647 40273 54 | 0.000 % |
73.54/73.60 c | 40682 | 1262 190510 837828 | 2147483647 40682 54 | 0.000 % |
74.94/75.07 c | 41132 | 1262 190510 837828 | 2147483647 41132 54 | 0.000 % |
76.83/76.98 c | 41625 | 1262 190510 837828 | 2147483647 41625 54 | 0.000 % |
79.03/79.17 c | 42168 | 1262 190510 837828 | 2147483647 42168 54 | 0.000 % |
81.23/81.37 c | 42764 | 1262 190510 837828 | 2147483647 42764 54 | 0.000 % |
81.73/81.87 c | 42864 | 1262 190510 837828 | 2147483647 42864 54 | 0.000 % |
82.03/82.18 c | 42974 | 1262 190510 837828 | 2147483647 42974 54 | 0.000 % |
82.43/82.51 c | 43096 | 1262 190510 837828 | 2147483647 43096 54 | 0.000 % |
83.23/83.30 c | 43231 | 1262 190510 837828 | 2147483647 43231 54 | 0.000 % |
83.73/83.87 c | 43379 | 1262 190510 837828 | 2147483647 43379 54 | 0.000 % |
84.43/84.59 c | 43539 | 1262 190510 837828 | 2147483647 43539 54 | 0.000 % |
85.23/85.31 c | 43717 | 1262 190510 837828 | 2147483647 43717 54 | 0.000 % |
85.93/86.03 c | 43910 | 1262 190510 837828 | 2147483647 43910 54 | 0.000 % |
86.83/86.93 c | 44122 | 1262 190510 837828 | 2147483647 44122 54 | 0.000 % |
87.83/87.92 c | 44355 | 1262 190510 837828 | 2147483647 44355 54 | 0.000 % |
88.83/88.98 c | 44612 | 1262 190510 837828 | 2147483647 44612 54 | 0.000 % |
90.03/90.10 c | 44893 | 1262 190510 837828 | 2147483647 44893 54 | 0.000 % |
91.12/91.24 c | 45202 | 1262 190510 837828 | 2147483647 45202 54 | 0.000 % |
92.12/92.29 c | 45542 | 1262 190510 837828 | 2147483647 45542 54 | 0.000 % |
93.72/93.86 c | 45915 | 1262 190510 837828 | 2147483647 45915 54 | 0.000 % |
95.32/95.48 c | 46324 | 1262 190510 837828 | 2147483647 46324 54 | 0.000 % |
96.92/97.04 c | 46773 | 1262 190510 837828 | 2147483647 46773 54 | 0.000 % |
98.63/98.74 c | 47267 | 1262 190510 837828 | 2147483647 47267 54 | 0.000 % |
100.73/100.88 c | 47809 | 1262 190510 837828 | 2147483647 47809 54 | 0.000 % |
102.83/102.91 c | 48406 | 1262 190510 837828 | 2147483647 48406 53 | 0.000 % |
104.83/104.90 c | 49062 | 1262 190510 837828 | 2147483647 49062 53 | 0.000 % |
105.03/105.16 c | 49165 | 1262 190510 837828 | 2147483647 49165 53 | 0.000 % |
105.43/105.57 c | 49276 | 1262 190510 837828 | 2147483647 49276 53 | 0.000 % |
105.83/105.92 c | 49399 | 1262 190510 837828 | 2147483647 49399 53 | 0.000 % |
106.33/106.40 c | 49535 | 1262 190510 837828 | 2147483647 49535 53 | 0.000 % |
107.03/107.11 c | 49682 | 1262 190510 837828 | 2147483647 49682 53 | 0.000 % |
107.63/107.71 c | 49842 | 1262 190510 837828 | 2147483647 49842 53 | 0.000 % |
108.33/108.43 c | 50018 | 1262 190510 837828 | 2147483647 50018 53 | 0.000 % |
108.93/109.10 c | 50211 | 1262 190510 837828 | 2147483647 50211 53 | 0.000 % |
109.62/109.71 c | 50423 | 1262 190510 837828 | 2147483647 50423 53 | 0.000 % |
110.42/110.54 c | 50657 | 1262 190510 837828 | 2147483647 50657 53 | 0.000 % |
110.92/111.06 c | 50913 | 1262 190510 837828 | 2147483647 50913 53 | 0.000 % |
112.13/112.24 c | 51195 | 1262 190510 837828 | 2147483647 51195 53 | 0.000 % |
113.12/113.27 c | 51506 | 1262 190510 837828 | 2147483647 51506 53 | 0.000 % |
114.33/114.49 c | 51845 | 1262 190510 837828 | 2147483647 51845 53 | 0.000 % |
115.53/115.66 c | 52218 | 1262 190510 837828 | 2147483647 52218 53 | 0.000 % |
116.52/116.62 c | 52628 | 1262 190510 837828 | 2147483647 52628 53 | 0.000 % |
119.62/119.71 c | 53078 | 1262 190510 837828 | 2147483647 53078 53 | 0.000 % |
123.22/123.37 c | 53571 | 1262 190510 837828 | 2147483647 53571 53 | 0.000 % |
126.12/126.29 c | 54115 | 1262 190510 837828 | 2147483647 54115 53 | 0.000 % |
127.02/127.16 c | 54711 | 1262 190510 837828 | 2147483647 54711 53 | 0.000 % |
131.52/131.62 c | 55367 | 1262 190510 837828 | 2147483647 55367 53 | 0.000 % |
134.61/134.73 c | 56087 | 1262 190510 837828 | 2147483647 56087 53 | 0.000 % |
135.51/135.65 c | 56188 | 1262 190510 837828 | 2147483647 56188 53 | 0.000 % |
136.01/136.17 c | 56298 | 1262 190510 837828 | 2147483647 56298 53 | 0.000 % |
137.01/137.11 c | 56420 | 1262 190510 837828 | 2147483647 56420 53 | 0.000 % |
137.42/137.53 c | 56554 | 1262 190510 837828 | 2147483647 56554 53 | 0.000 % |
138.52/138.67 c | 56700 | 1262 190510 837828 | 2147483647 56700 53 | 0.000 % |
139.51/139.65 c | 56861 | 1262 190510 837828 | 2147483647 56861 53 | 0.000 % |
139.91/140.05 c | 57038 | 1262 190510 837828 | 2147483647 57038 53 | 0.000 % |
141.61/141.73 c | 57233 | 1262 190510 837828 | 2147483647 57233 53 | 0.000 % |
143.11/143.26 c | 57446 | 1262 190510 837828 | 2147483647 57446 53 | 0.000 % |
145.11/145.25 c | 57680 | 1262 190510 837828 | 2147483647 57680 53 | 0.000 % |
146.91/147.06 c | 57938 | 1262 190510 837828 | 2147483647 57938 54 | 0.000 % |
148.71/148.83 c | 58221 | 1262 190510 837828 | 2147483647 58221 54 | 0.000 % |
150.21/150.35 c | 58532 | 1262 190510 837828 | 2147483647 58532 54 | 0.000 % |
152.51/152.63 c | 58872 | 1262 190510 837828 | 2147483647 58872 54 | 0.000 % |
155.30/155.43 c | 59244 | 1262 190510 837828 | 2147483647 59244 54 | 0.000 % |
158.00/158.13 c | 59653 | 1262 190510 837828 | 2147483647 59653 54 | 0.000 % |
159.41/159.56 c | 60102 | 1262 190510 837828 | 2147483647 60102 54 | 0.000 % |
162.40/162.54 c | 60598 | 1262 190510 837828 | 2147483647 60598 54 | 0.000 % |
165.10/165.25 c | 61141 | 1262 190510 837828 | 2147483647 61141 54 | 0.000 % |
169.50/169.64 c | 61742 | 1262 190510 837828 | 2147483647 61742 54 | 0.000 % |
174.40/174.56 c | 62397 | 1262 190510 837828 | 2147483647 62397 54 | 0.000 % |
180.00/180.17 c | 63118 | 1262 190510 837828 | 2147483647 63118 54 | 0.000 % |
185.00/185.17 c | 63911 | 1262 190510 837828 | 2147483647 63911 54 | 0.000 % |
185.90/186.02 c | 64014 | 1262 190510 837828 | 2147483647 64014 54 | 0.000 % |
186.80/187.00 c | 64126 | 1262 190510 837828 | 2147483647 64126 54 | 0.000 % |
187.80/187.93 c | 64247 | 1262 190510 837828 | 2147483647 64247 54 | 0.000 % |
188.60/188.74 c | 64381 | 1262 190510 837828 | 2147483647 64381 54 | 0.000 % |
190.20/190.34 c | 64527 | 1262 190510 837828 | 2147483647 64527 54 | 0.000 % |
190.69/190.80 c | 64687 | 1262 190510 837828 | 2147483647 64687 54 | 0.000 % |
192.19/192.39 c | 64864 | 1262 190510 837828 | 2147483647 64864 54 | 0.000 % |
193.99/194.17 c | 65060 | 1262 190510 837828 | 2147483647 65060 54 | 0.000 % |
195.99/196.13 c | 65272 | 1262 190510 837828 | 2147483647 65272 54 | 0.000 % |
197.29/197.48 c | 65506 | 1262 190510 837828 | 2147483647 65506 54 | 0.000 % |
199.49/199.65 c | 65762 | 1262 190510 837828 | 2147483647 65762 54 | 0.000 % |
201.69/201.85 c | 66044 | 1262 190510 837828 | 2147483647 66044 54 | 0.000 % |
204.79/204.90 c | 66355 | 1262 190510 837828 | 2147483647 66355 54 | 0.000 % |
207.69/207.83 c | 66694 | 1262 190510 837828 | 2147483647 66694 54 | 0.000 % |
211.19/211.33 c | 67068 | 1262 190510 837828 | 2147483647 67068 54 | 0.000 % |
214.88/215.03 c | 67478 | 1262 190510 837828 | 2147483647 67478 55 | 0.000 % |
218.38/218.52 c | 67928 | 1262 190510 837828 | 2147483647 67928 55 | 0.000 % |
222.28/222.45 c | 68424 | 1262 190510 837828 | 2147483647 68424 55 | 0.000 % |
226.68/226.89 c | 68968 | 1262 190510 837828 | 2147483647 68968 55 | 0.000 % |
231.68/231.82 c | 69565 | 1262 190510 837828 | 2147483647 69565 55 | 0.000 % |
236.28/236.47 c | 70221 | 1262 190510 837828 | 70000 70221 55 | 0.000 % |
241.68/241.85 c | 70944 | 1262 190510 837828 | 70000 60084 54 | 0.000 % |
246.58/246.72 c | 71737 | 1262 190510 837828 | 70000 60877 54 | 0.000 % |
252.58/252.79 c | 72609 | 1262 190510 837828 | 70000 61749 54 | 0.000 % |
253.08/253.22 c | 72709 | 1262 190510 837828 | 70000 61849 54 | 0.000 % |
253.38/253.58 c | 72820 | 1262 190510 837828 | 70000 61960 54 | 0.000 % |
253.98/254.19 c | 72941 | 1262 190510 837828 | 70000 62081 54 | 0.000 % |
254.98/255.11 c | 73075 | 1262 190510 837828 | 70000 62215 54 | 0.000 % |
256.48/256.61 c | 73221 | 1262 190510 837828 | 70000 62361 54 | 0.000 % |
257.87/258.08 c | 73383 | 1262 190510 837828 | 70000 62523 54 | 0.000 % |
259.38/259.57 c | 73562 | 1262 190510 837828 | 70000 62702 54 | 0.000 % |
259.77/259.98 c | 73755 | 1262 190510 837828 | 70000 62895 54 | 0.000 % |
261.87/262.02 c | 73967 | 1262 190510 837828 | 70000 63107 54 | 0.000 % |
263.37/263.58 c | 74203 | 1262 190510 837828 | 70000 63343 54 | 0.000 % |
266.08/266.22 c | 74459 | 1262 190510 837828 | 70000 63599 54 | 0.000 % |
267.37/267.51 c | 74740 | 1262 190510 837828 | 70000 63880 54 | 0.000 % |
270.27/270.46 c | 75049 | 1262 190510 837828 | 70000 64189 54 | 0.000 % |
273.87/274.03 c | 75389 | 1262 190510 837828 | 70000 64529 54 | 0.000 % |
276.27/276.42 c | 75765 | 1262 190510 837828 | 70000 64905 54 | 0.000 % |
279.67/279.83 c | 76174 | 1262 190510 837828 | 70000 65314 54 | 0.000 % |
283.37/283.52 c | 76625 | 1262 190510 837828 | 70000 65765 54 | 0.000 % |
287.37/287.52 c | 77119 | 1262 190510 837828 | 70000 66259 54 | 0.000 % |
292.76/292.92 c | 77661 | 1262 190510 837828 | 70000 66801 54 | 0.000 % |
297.46/297.65 c | 78258 | 1262 190510 837828 | 70000 67398 54 | 0.000 % |
302.86/303.04 c | 78913 | 1262 190510 837828 | 70000 68053 54 | 0.000 % |
308.46/308.68 c | 79633 | 1262 190510 837828 | 70000 68773 54 | 0.000 % |
316.16/316.36 c | 80426 | 1262 190510 837828 | 69141 55734 54 | 0.000 % |
321.96/322.18 c | 81297 | 1262 190510 837828 | 69141 56605 54 | 0.000 % |
327.85/328.06 c | 82257 | 1262 190510 837828 | 69141 57565 54 | 0.000 % |
328.55/328.76 c | 82357 | 1262 190510 837828 | 69141 57665 54 | 0.000 % |
329.45/329.61 c | 82467 | 1262 190510 837828 | 69141 57775 54 | 0.000 % |
330.35/330.60 c | 82589 | 1262 190510 837828 | 69141 57897 54 | 0.000 % |
331.45/331.61 c | 82723 | 1262 190510 837828 | 69141 58031 54 | 0.000 % |
332.55/332.72 c | 82869 | 1262 190510 837828 | 69141 58177 54 | 0.000 % |
333.75/333.95 c | 83029 | 1262 190510 837828 | 69141 58337 54 | 0.000 % |
335.05/335.25 c | 83205 | 1262 190510 837828 | 69141 58513 54 | 0.000 % |
336.55/336.77 c | 83398 | 1262 190510 837828 | 69141 58706 54 | 0.000 % |
338.05/338.28 c | 83610 | 1262 190510 837828 | 69141 58918 54 | 0.000 % |
339.75/339.97 c | 83844 | 1262 190510 837828 | 69141 59152 54 | 0.000 % |
341.75/341.97 c | 84101 | 1262 190510 837828 | 69141 59409 54 | 0.000 % |
343.55/343.76 c | 84382 | 1262 190510 837828 | 69141 59690 54 | 0.000 % |
345.35/345.54 c | 84691 | 1262 190510 837828 | 69141 59999 54 | 0.000 % |
347.15/347.37 c | 85032 | 1262 190510 837828 | 69141 60340 54 | 0.000 % |
349.25/349.49 c | 85405 | 1262 190510 837828 | 69141 60713 54 | 0.000 % |
351.85/352.07 c | 85816 | 1262 190510 837828 | 69141 61124 54 | 0.000 % |
355.04/355.24 c | 86265 | 1262 190510 837828 | 69141 61573 54 | 0.000 % |
357.64/357.80 c | 86759 | 1262 190510 837828 | 69141 62067 54 | 0.000 % |
361.04/361.29 c | 87302 | 1262 190510 837828 | 69141 62610 54 | 0.000 % |
364.74/364.91 c | 87900 | 1262 190510 837828 | 69141 63208 54 | 0.000 % |
368.64/368.85 c | 88557 | 1262 190510 837828 | 69141 63865 54 | 0.000 % |
372.64/372.82 c | 89278 | 1262 190510 837828 | 69141 64586 54 | 0.000 % |
376.34/376.56 c | 90071 | 1262 190510 837828 | 65308 65379 54 | 0.000 % |
379.64/379.80 c | 90944 | 1262 190510 837828 | 65308 56144 54 | 0.000 % |
383.74/383.93 c | 91902 | 1262 190510 837828 | 65308 57102 54 | 0.000 % |
387.83/388.08 c | 92956 | 1262 190510 837828 | 65308 58156 54 | 0.000 % |
388.24/388.50 c | 93056 | 1262 190510 837828 | 65308 58256 54 | 0.000 % |
388.93/389.14 c | 93166 | 1262 190510 837828 | 65308 58366 54 | 0.000 % |
389.53/389.78 c | 93289 | 1262 190510 837828 | 65308 58489 54 | 0.000 % |
390.43/390.67 c | 93426 | 1262 190510 837828 | 65308 58626 54 | 0.000 % |
391.13/391.36 c | 93574 | 1262 190510 837828 | 65308 58774 54 | 0.000 % |
392.13/392.37 c | 93734 | 1262 190510 837828 | 65308 58934 54 | 0.000 % |
392.93/393.19 c | 93911 | 1262 190510 837828 | 65308 59111 54 | 0.000 % |
393.93/394.18 c | 94104 | 1262 190510 837828 | 65308 59304 54 | 0.000 % |
394.93/395.15 c | 94318 | 1262 190510 837828 | 65308 59518 54 | 0.000 % |
395.93/396.12 c | 94551 | 1262 190510 837828 | 65308 59751 54 | 0.000 % |
397.23/397.40 c | 94807 | 1262 190510 837828 | 65308 60007 54 | 0.000 % |
398.43/398.61 c | 95088 | 1262 190510 837828 | 65308 60288 54 | 0.000 % |
399.83/400.06 c | 95398 | 1262 190510 837828 | 65308 60598 54 | 0.000 % |
401.53/401.77 c | 95738 | 1262 190510 837828 | 65308 60938 54 | 0.000 % |
403.33/403.57 c | 96110 | 1262 190510 837828 | 65308 61310 54 | 0.000 % |
404.93/405.10 c | 96520 | 1262 190510 837828 | 65308 61720 54 | 0.000 % |
406.93/407.16 c | 96970 | 1262 190510 837828 | 65308 62170 54 | 0.000 % |
409.13/409.38 c | 97466 | 1262 190510 837828 | 65308 62666 54 | 0.000 % |
411.72/411.91 c | 98008 | 1262 190510 837828 | 65308 63208 54 | 0.000 % |
414.22/414.44 c | 98605 | 1262 190510 837828 | 65308 63805 54 | 0.000 % |
417.12/417.34 c | 99261 | 1262 190510 837828 | 65308 64461 54 | 0.000 % |
420.22/420.41 c | 99981 | 1262 190510 837828 | 65308 65181 54 | 0.000 % |
423.72/423.91 c | 100775 | 1262 190510 837828 | 2147483647 65975 54 | 0.000 % |
427.21/427.46 c | 101650 | 1262 190510 837828 | 2147483647 66850 54 | 0.000 % |
432.81/433.07 c | 102608 | 1262 190510 837828 | 2147483647 67808 54 | 0.000 % |
438.61/438.83 c | 103662 | 1262 190510 837828 | 2147483647 68862 54 | 0.000 % |
445.21/445.44 c | 104820 | 1262 190510 837828 | 2147483647 70020 54 | 0.000 % |
445.91/446.19 c | 104920 | 1262 190510 837828 | 2147483647 70120 54 | 0.000 % |
446.61/446.84 c | 105030 | 1262 190510 837828 | 2147483647 70230 54 | 0.000 % |
447.41/447.64 c | 105151 | 1262 190510 837828 | 2147483647 70351 54 | 0.000 % |
448.41/448.64 c | 105284 | 1262 190510 837828 | 2147483647 70484 54 | 0.000 % |
449.41/449.62 c | 105431 | 1262 190510 837828 | 2147483647 70631 54 | 0.000 % |
450.71/450.97 c | 105593 | 1262 190510 837828 | 2147483647 70793 54 | 0.000 % |
452.21/452.41 c | 105770 | 1262 190510 837828 | 2147483647 70970 54 | 0.000 % |
453.61/453.85 c | 105964 | 1262 190510 837828 | 2147483647 71164 54 | 0.000 % |
455.21/455.48 c | 106176 | 1262 190510 837828 | 2147483647 71376 54 | 0.000 % |
457.01/457.29 c | 106410 | 1262 190510 837828 | 2147483647 71610 54 | 0.000 % |
458.80/459.06 c | 106667 | 1262 190510 837828 | 2147483647 71867 54 | 0.000 % |
460.20/460.42 c | 106949 | 1262 190510 837828 | 2147483647 72149 54 | 0.000 % |
461.70/461.99 c | 107261 | 1262 190510 837828 | 2147483647 72461 54 | 0.000 % |
463.60/463.84 c | 107600 | 1262 190510 837828 | 2147483647 72800 54 | 0.000 % |
465.30/465.59 c | 107972 | 1262 190510 837828 | 2147483647 73172 54 | 0.000 % |
467.80/468.02 c | 108383 | 1262 190510 837828 | 2147483647 73583 54 | 0.000 % |
470.60/470.84 c | 108832 | 1262 190510 837828 | 2147483647 74032 53 | 0.000 % |
473.40/473.64 c | 109327 | 1262 190510 837828 | 2147483647 74527 53 | 0.000 % |
475.91/476.16 c | 109869 | 1262 190510 837828 | 2147483647 75069 53 | 0.000 % |
478.61/478.87 c | 110465 | 1262 190510 837828 | 75200 66423 54 | 0.000 % |
480.91/481.12 c | 111120 | 1262 190510 837828 | 75200 67078 54 | 0.000 % |
483.40/483.67 c | 111840 | 1262 190510 837828 | 75200 67798 54 | 0.000 % |
486.20/486.50 c | 112635 | 1262 190510 837828 | 75200 68593 53 | 0.000 % |
488.00/488.30 c | 113507 | 1262 190510 837828 | 75200 69465 53 | 0.000 % |
492.00/492.27 c | 114465 | 1262 190510 837828 | 75200 70423 54 | 0.000 % |
495.91/496.12 c | 115519 | 1262 190510 837828 | 75200 71477 54 | 0.000 % |
499.80/500.05 c | 116677 | 1262 190510 837828 | 75200 72635 54 | 0.000 % |
502.90/503.18 c | 117953 | 1262 190510 837828 | 75200 73911 54 | 0.000 % |
503.80/504.05 c | 118055 | 1262 190510 837828 | 75200 74013 54 | 0.000 % |
504.60/504.80 c | 118165 | 1262 190510 837828 | 75200 74123 54 | 0.000 % |
505.60/505.85 c | 118286 | 1262 190510 837828 | 75200 74244 54 | 0.000 % |
506.70/506.92 c | 118420 | 1262 190510 837828 | 75200 74378 54 | 0.000 % |
508.00/508.22 c | 118566 | 1262 190510 837828 | 75200 74524 54 | 0.000 % |
508.99/509.30 c | 118727 | 1262 190510 837828 | 75200 74685 54 | 0.000 % |
510.20/510.46 c | 118903 | 1262 190510 837828 | 75200 74861 54 | 0.000 % |
511.59/511.86 c | 119096 | 1262 190510 837828 | 75200 75054 54 | 0.000 % |
512.99/513.26 c | 119308 | 1262 190510 837828 | 75200 75266 54 | 0.000 % |
515.39/515.62 c | 119543 | 1262 190510 837828 | 75200 67975 54 | 0.000 % |
517.49/517.77 c | 119799 | 1262 190510 837828 | 75200 68231 54 | 0.000 % |
519.29/519.55 c | 120081 | 1262 190510 837828 | 2147483647 68513 54 | 0.000 % |
520.29/520.57 c | 120391 | 1262 190510 837828 | 2147483647 68823 54 | 0.000 % |
521.99/522.25 c | 120733 | 1262 190510 837828 | 2147483647 69165 54 | 0.000 % |
522.59/522.87 c | 121106 | 1262 190510 837828 | 2147483647 69538 54 | 0.000 % |
525.59/525.81 c | 121515 | 1262 190510 837828 | 2147483647 69947 54 | 0.000 % |
529.29/529.57 c | 121965 | 1262 190510 837828 | 2147483647 70397 54 | 0.000 % |
531.89/532.11 c | 122459 | 1262 190510 837828 | 2147483647 70891 54 | 0.000 % |
536.49/536.75 c | 123007 | 1262 190510 837828 | 2147483647 71439 54 | 0.000 % |
539.99/540.28 c | 123603 | 1262 190510 837828 | 2147483647 72035 54 | 0.000 % |
543.08/543.38 c | 124259 | 1262 190510 837828 | 2147483647 72691 54 | 0.000 % |
545.98/546.26 c | 124979 | 1262 190510 837828 | 2147483647 73411 54 | 0.000 % |
549.98/550.28 c | 125773 | 1262 190510 837828 | 2147483647 74205 54 | 0.000 % |
557.18/557.44 c | 126646 | 1262 190510 837828 | 2147483647 75078 54 | 0.000 % |
564.18/564.41 c | 127604 | 1262 190510 837828 | 2147483647 76036 55 | 0.000 % |
572.38/572.69 c | 128658 | 1262 190510 837828 | 2147483647 77090 55 | 0.000 % |
581.37/581.60 c | 129816 | 1262 190510 837828 | 2147483647 78248 55 | 0.000 % |
588.87/589.15 c | 131090 | 1262 190510 837828 | 2147483647 79522 55 | 0.000 % |
599.17/599.46 c | 132490 | 1262 190510 837828 | 2147483647 80922 55 | 0.000 % |
600.17/600.47 c | 132591 | 1262 190510 837828 | 2147483647 81023 55 | 0.000 % |
601.27/601.52 c | 132701 | 1262 190510 837828 | 2147483647 81133 55 | 0.000 % |
602.37/602.62 c | 132825 | 1262 190510 837828 | 2147483647 81257 55 | 0.000 % |
603.57/603.86 c | 132959 | 1262 190510 837828 | 2147483647 81391 55 | 0.000 % |
603.97/604.23 c | 133106 | 1262 190510 837828 | 2147483647 81538 55 | 0.000 % |
604.97/605.28 c | 133266 | 1262 190510 837828 | 2147483647 81698 55 | 0.000 % |
606.37/606.61 c | 133443 | 1262 190510 837828 | 2147483647 81875 55 | 0.000 % |
608.17/608.42 c | 133637 | 1262 190510 837828 | 2147483647 82069 55 | 0.000 % |
609.27/609.50 c | 133850 | 1262 190510 837828 | 2147483647 82282 55 | 0.000 % |
611.07/611.40 c | 134084 | 1262 190510 837828 | 2147483647 82516 55 | 0.000 % |
613.57/613.84 c | 134341 | 1262 190510 837828 | 2147483647 82773 55 | 0.000 % |
616.36/616.60 c | 134622 | 1262 190510 837828 | 2147483647 83054 55 | 0.000 % |
618.57/618.86 c | 134931 | 1262 190510 837828 | 2147483647 83363 55 | 0.000 % |
621.16/621.46 c | 135271 | 1262 190510 837828 | 2147483647 83703 55 | 0.000 % |
624.76/625.07 c | 135643 | 1262 190510 837828 | 2147483647 84075 55 | 0.000 % |
628.66/628.99 c | 136052 | 1262 190510 837828 | 2147483647 84484 55 | 0.000 % |
632.06/632.34 c | 136501 | 1262 190510 837828 | 2147483647 84933 55 | 0.000 % |
635.96/636.25 c | 136996 | 1262 190510 837828 | 2147483647 85428 55 | 0.000 % |
640.46/640.74 c | 137538 | 1262 190510 837828 | 2147483647 85970 55 | 0.000 % |
644.05/644.30 c | 138136 | 1262 190510 837828 | 2147483647 86568 55 | 0.000 % |
646.75/647.08 c | 138791 | 1262 190510 837828 | 2147483647 87223 55 | 0.000 % |
651.85/652.10 c | 139512 | 1262 190510 837828 | 2147483647 87944 55 | 0.000 % |
660.05/660.31 c | 140304 | 1262 190510 837828 | 88434 75397 54 | 0.000 % |
668.04/668.32 c | 141177 | 1262 190510 837828 | 88434 76270 54 | 0.000 % |
674.24/674.58 c | 142137 | 1262 190510 837828 | 88434 77230 54 | 0.000 % |
679.44/679.71 c | 143191 | 1262 190510 837828 | 88434 78284 54 | 0.000 % |
684.84/685.19 c | 144350 | 1262 190510 837828 | 88434 79443 54 | 0.000 % |
694.04/694.38 c | 145627 | 1262 190510 837828 | 88434 80720 54 | 0.000 % |
701.94/702.22 c | 147028 | 1262 190510 837828 | 88434 82121 54 | 0.000 % |
710.83/711.15 c | 148569 | 1262 190510 837828 | 88434 83662 54 | 0.000 % |
711.23/711.60 c | 148670 | 1262 190510 837828 | 88434 83763 54 | 0.000 % |
711.63/711.99 c | 148780 | 1262 190510 837828 | 88434 83873 54 | 0.000 % |
712.33/712.60 c | 148901 | 1262 190510 837828 | 88434 83994 54 | 0.000 % |
712.64/712.93 c | 149034 | 1262 190510 837828 | 88434 84127 54 | 0.000 % |
714.13/714.41 c | 149181 | 1262 190510 837828 | 88434 84274 54 | 0.000 % |
715.53/715.83 c | 149342 | 1262 190510 837828 | 88434 84435 54 | 0.000 % |
716.73/717.06 c | 149520 | 1262 190510 837828 | 88434 84613 54 | 0.000 % |
717.73/718.03 c | 149715 | 1262 190510 837828 | 88434 84808 54 | 0.000 % |
719.24/719.58 c | 149927 | 1262 190510 837828 | 88434 85020 54 | 0.000 % |
720.54/720.82 c | 150161 | 1262 190510 837828 | 85096 85254 54 | 0.000 % |
722.94/723.29 c | 150417 | 1262 190510 837828 | 85096 75226 53 | 0.000 % |
724.94/725.22 c | 150698 | 1262 190510 837828 | 85096 75507 53 | 0.000 % |
726.54/726.88 c | 151007 | 1262 190510 837828 | 85096 75816 53 | 0.000 % |
728.34/728.66 c | 151349 | 1262 190510 837828 | 85096 76158 53 | 0.000 % |
730.04/730.33 c | 151722 | 1262 190510 837828 | 85096 76531 53 | 0.000 % |
731.84/732.13 c | 152131 | 1262 190510 837828 | 85096 76940 53 | 0.000 % |
734.54/734.85 c | 152580 | 1262 190510 837828 | 85096 77389 53 | 0.000 % |
737.03/737.40 c | 153077 | 1262 190510 837828 | 85096 77886 53 | 0.000 % |
739.24/739.57 c | 153619 | 1262 190510 837828 | 85096 78428 53 | 0.000 % |
741.53/741.80 c | 154216 | 1262 190510 837828 | 85096 79025 54 | 0.000 % |
743.93/744.22 c | 154871 | 1262 190510 837828 | 85096 79680 54 | 0.000 % |
746.73/747.04 c | 155591 | 1262 190510 837828 | 85096 80400 54 | 0.000 % |
749.73/750.00 c | 156384 | 1262 190510 837828 | 85096 81193 54 | 0.000 % |
753.43/753.71 c | 157257 | 1262 190510 837828 | 85096 82066 54 | 0.000 % |
756.43/756.79 c | 158217 | 1262 190510 837828 | 85096 83026 54 | 0.000 % |
760.13/760.45 c | 159270 | 1262 190510 837828 | 85096 84079 54 | 0.000 % |
765.13/765.49 c | 160428 | 1262 190510 837828 | 2147483647 85237 54 | 0.000 % |
771.72/772.01 c | 161701 | 1262 190510 837828 | 2147483647 86510 54 | 0.000 % |
778.02/778.31 c | 163102 | 1262 190510 837828 | 2147483647 87911 54 | 0.000 % |
782.12/782.44 c | 164642 | 1262 190510 837828 | 2147483647 89451 54 | 0.000 % |
787.42/787.76 c | 166337 | 1262 190510 837828 | 2147483647 91146 53 | 0.000 % |
788.22/788.55 c | 166438 | 1262 190510 837828 | 2147483647 91247 53 | 0.000 % |
788.62/788.93 c | 166549 | 1262 190510 837828 | 2147483647 91358 53 | 0.000 % |
789.42/789.75 c | 166672 | 1262 190510 837828 | 2147483647 91481 53 | 0.000 % |
790.12/790.49 c | 166808 | 1262 190510 837828 | 2147483647 91617 53 | 0.000 % |
790.92/791.27 c | 166956 | 1262 190510 837828 | 2147483647 91765 53 | 0.000 % |
792.12/792.43 c | 167116 | 1262 190510 837828 | 2147483647 91925 53 | 0.000 % |
793.12/793.43 c | 167293 | 1262 190510 837828 | 2147483647 92102 53 | 0.000 % |
794.12/794.42 c | 167489 | 1262 190510 837828 | 2147483647 92298 53 | 0.000 % |
795.22/795.56 c | 167701 | 1262 190510 837828 | 2147483647 92510 53 | 0.000 % |
796.41/796.73 c | 167934 | 1262 190510 837828 | 2147483647 92743 53 | 0.000 % |
797.61/797.96 c | 168191 | 1262 190510 837828 | 2147483647 93000 53 | 0.000 % |
798.92/799.28 c | 168475 | 1262 190510 837828 | 2147483647 93284 53 | 0.000 % |
799.61/799.95 c | 168786 | 1262 190510 837828 | 2147483647 93595 53 | 0.000 % |
801.01/801.35 c | 169127 | 1262 190510 837828 | 2147483647 93936 53 | 0.000 % |
802.11/802.45 c | 169499 | 1262 190510 837828 | 2147483647 94308 53 | 0.000 % |
803.51/803.84 c | 169908 | 1262 190510 837828 | 2147483647 94717 53 | 0.000 % |
805.41/805.74 c | 170359 | 1262 190510 837828 | 2147483647 95168 53 | 0.000 % |
807.41/807.75 c | 170854 | 1262 190510 837828 | 2147483647 95663 53 | 0.000 % |
810.81/811.11 c | 171397 | 1262 190510 837828 | 2147483647 96206 53 | 0.000 % |
814.01/814.31 c | 171996 | 1262 190510 837828 | 2147483647 96805 53 | 0.000 % |
816.31/816.69 c | 172651 | 1262 190510 837828 | 2147483647 97460 53 | 0.000 % |
819.70/820.00 c | 173371 | 1262 190510 837828 | 2147483647 98180 53 | 0.000 % |
823.80/824.19 c | 174164 | 1262 190510 837828 | 2147483647 98973 53 | 0.000 % |
828.40/828.77 c | 175036 | 1262 190510 837828 | 2147483647 99845 53 | 0.000 % |
833.80/834.19 c | 175995 | 1262 190510 837828 | 2147483647 100804 53 | 0.000 % |
839.20/839.56 c | 177048 | 1262 190510 837828 | 2147483647 101857 53 | 0.002 % |
844.40/844.71 c | 178206 | 1262 190510 837828 | 2147483647 103015 53 | 0.000 % |
850.01/850.40 c | 179480 | 1262 190510 837828 | 2147483647 104289 53 | 0.000 % |
855.40/855.79 c | 180882 | 1262 190510 837828 | 2147483647 105691 53 | 0.000 % |
862.69/863.03 c | 182424 | 1262 190510 837828 | 2147483647 107233 53 | 0.000 % |
871.19/871.50 c | 184120 | 1262 190510 837828 | 2147483647 108929 53 | 0.000 % |
878.99/879.34 c | 185985 | 1262 190510 837828 | 2147483647 110794 53 | 0.000 % |
879.89/880.21 c | 186086 | 1262 190510 837828 | 2147483647 110895 53 | 0.000 % |
880.69/881.09 c | 186198 | 1262 190510 837828 | 2147483647 111007 53 | 0.000 % |
881.38/881.72 c | 186320 | 1262 190510 837828 | 2147483647 111129 53 | 0.000 % |
882.38/882.72 c | 186455 | 1262 190510 837828 | 2147483647 111264 53 | 0.000 % |
882.68/883.07 c | 186601 | 1262 190510 837828 | 2147483647 111410 53 | 0.000 % |
884.28/884.68 c | 186765 | 1262 190510 837828 | 2147483647 111574 53 | 0.000 % |
885.08/885.43 c | 186941 | 1262 190510 837828 | 2147483647 111750 53 | 0.000 % |
886.88/887.27 c | 187134 | 1262 190510 837828 | 2147483647 111943 53 | 0.000 % |
888.69/889.04 c | 187348 | 1262 190510 837828 | 2147483647 112157 53 | 0.000 % |
890.69/891.08 c | 187581 | 1262 190510 837828 | 2147483647 112390 53 | 0.000 % |
892.19/892.53 c | 187838 | 1262 190510 837828 | 2147483647 112647 53 | 0.000 % |
894.28/894.63 c | 188121 | 1262 190510 837828 | 2147483647 112930 53 | 0.000 % |
896.98/897.38 c | 188430 | 1262 190510 837828 | 2147483647 113239 53 | 0.000 % |
900.28/900.65 c | 188769 | 1262 190510 837828 | 2147483647 113578 53 | 0.000 % |
901.38/901.70 c | 189143 | 1262 190510 837828 | 2147483647 113952 53 | 0.000 % |
905.88/906.22 c | 189552 | 1262 190510 837828 | 2147483647 114361 53 | 0.000 % |
911.48/911.83 c | 190007 | 1262 190510 837828 | 114809 114816 53 | 0.000 % |
919.68/920.01 c | 190500 | 1262 190510 837828 | 114809 98793 53 | 0.000 % |
923.07/923.41 c | 191045 | 1262 190510 837828 | 114809 99338 53 | 0.000 % |
928.27/928.60 c | 191642 | 1262 190510 837828 | 114809 99935 53 | 0.000 % |
932.77/933.14 c | 192297 | 1262 190510 837828 | 114809 100590 53 | 0.000 % |
937.97/938.32 c | 193017 | 1262 190510 837828 | 114809 101310 53 | 0.000 % |
943.97/944.32 c | 193811 | 1262 190510 837828 | 114809 102104 53 | 0.000 % |
949.57/949.94 c | 194682 | 1262 190510 837828 | 114809 102975 54 | 0.000 % |
956.27/956.66 c | 195640 | 1262 190510 837828 | 114809 103933 54 | 0.000 % |
965.57/966.00 c | 196695 | 1262 190510 837828 | 114809 104988 54 | 0.000 % |
973.76/974.19 c | 197854 | 1262 190510 837828 | 114809 106147 54 | 0.000 % |
983.06/983.44 c | 199130 | 1262 190510 837828 | 114809 107423 54 | 0.000 % |
996.45/996.87 c | 200531 | 1262 190510 837828 | 108294 84605 54 | 0.000 % |
1006.35/1006.75 c | 202072 | 1262 190510 837828 | 108294 86146 54 | 0.000 % |
1016.55/1016.93 c | 203768 | 1262 190510 837828 | 108294 87842 54 | 0.000 % |
1027.35/1027.73 c | 205633 | 1262 190510 837828 | 108294 89707 54 | 0.000 % |
1037.44/1037.85 c | 207682 | 1262 190510 837828 | 108294 91756 54 | 0.000 % |
1038.15/1038.58 c | 207785 | 1262 190510 837828 | 108294 91859 54 | 0.000 % |
1039.04/1039.48 c | 207895 | 1262 190510 837828 | 108294 91969 54 | 0.000 % |
1040.14/1040.54 c | 208017 | 1262 190510 837828 | 108294 92091 54 | 0.000 % |
1041.34/1041.74 c | 208151 | 1262 190510 837828 | 108294 92225 54 | 0.000 % |
1042.44/1042.89 c | 208297 | 1262 190510 837828 | 108294 92371 54 | 0.000 % |
1043.74/1044.11 c | 208457 | 1262 190510 837828 | 108294 92531 54 | 0.000 % |
1044.74/1045.13 c | 208633 | 1262 190510 837828 | 108294 92707 54 | 0.000 % |
1046.34/1046.75 c | 208827 | 1262 190510 837828 | 108294 92901 54 | 0.000 % |
1047.94/1048.33 c | 209039 | 1262 190510 837828 | 108294 93113 54 | 0.000 % |
1050.04/1050.50 c | 209273 | 1262 190510 837828 | 108294 93347 54 | 0.000 % |
1052.24/1052.63 c | 209529 | 1262 190510 837828 | 108294 93603 54 | 0.000 % |
1054.94/1055.30 c | 209810 | 1262 190510 837828 | 108294 93884 54 | 0.000 % |
1056.23/1056.64 c | 210121 | 1262 190510 837828 | 94075 94195 54 | 0.000 % |
1058.73/1059.14 c | 210461 | 1262 190510 837828 | 94075 78689 54 | 0.000 % |
1060.73/1061.11 c | 210834 | 1262 190510 837828 | 94075 79062 54 | 0.002 % |
1062.73/1063.15 c | 211243 | 1262 190510 837828 | 94075 79471 53 | 0.000 % |
1065.83/1066.29 c | 211695 | 1262 190510 837828 | 94075 79923 53 | 0.000 % |
1068.23/1068.67 c | 212190 | 1262 190510 837828 | 94075 80418 53 | 0.000 % |
1071.53/1071.95 c | 212735 | 1262 190510 837828 | 94075 80963 53 | 0.000 % |
1074.63/1075.08 c | 213333 | 1262 190510 837828 | 94075 81561 53 | 0.000 % |
1078.63/1079.05 c | 213989 | 1262 190510 837828 | 94075 82217 53 | 0.000 % |
1080.63/1081.09 c | 214710 | 1262 190510 837828 | 94075 82938 53 | 0.000 % |
1084.82/1085.22 c | 215502 | 1262 190510 837828 | 94075 83730 53 | 0.000 % |
1089.92/1090.37 c | 216373 | 1262 190510 837828 | 94075 84601 53 | 0.000 % |
1095.62/1096.01 c | 217331 | 1262 190510 837828 | 94075 85559 54 | 0.000 % |
1101.02/1101.45 c | 218384 | 1262 190510 837828 | 94075 86612 54 | 0.000 % |
1108.52/1109.00 c | 219544 | 1262 190510 837828 | 94075 87772 54 | 0.000 % |
1116.41/1116.83 c | 220817 | 1262 190510 837828 | 88228 75736 53 | 0.000 % |
1125.21/1125.65 c | 222217 | 1262 190510 837828 | 88228 77136 53 | 0.000 % |
1133.81/1134.24 c | 223757 | 1262 190510 837828 | 88228 78676 53 | 0.000 % |
1143.01/1143.45 c | 225451 | 1262 190510 837828 | 88228 80370 53 | 0.000 % |
1151.41/1151.89 c | 227315 | 1262 190510 837828 | 88228 82234 53 | 0.000 % |
1164.10/1164.58 c | 229369 | 1262 190510 837828 | 88228 84288 53 | 0.000 % |
1175.30/1175.78 c | 231622 | 1262 190510 837828 | 84919 73203 53 | 0.000 % |
1175.80/1176.30 c | 231723 | 1262 190510 837828 | 84919 73304 53 | 0.000 % |
1176.50/1177.00 c | 231835 | 1262 190510 837828 | 84919 73416 53 | 0.000 % |
1177.30/1177.77 c | 231956 | 1262 190510 837828 | 84919 73537 53 | 0.000 % |
1178.20/1178.61 c | 232089 | 1262 190510 837828 | 84919 73670 53 | 0.000 % |
1178.90/1179.34 c | 232236 | 1262 190510 837828 | 84919 73817 53 | 0.000 % |
1179.90/1180.37 c | 232397 | 1262 190510 837828 | 84919 73978 53 | 0.000 % |
1181.29/1181.78 c | 232576 | 1262 190510 837828 | 84919 74157 53 | 0.000 % |
1182.59/1183.09 c | 232769 | 1262 190510 837828 | 84919 74350 53 | 0.000 % |
1184.10/1184.52 c | 232981 | 1262 190510 837828 | 84919 74562 53 | 0.000 % |
1185.59/1186.02 c | 233215 | 1262 190510 837828 | 84919 74796 53 | 0.000 % |
1187.19/1187.62 c | 233472 | 1262 190510 837828 | 84919 75053 53 | 0.000 % |
1188.89/1189.35 c | 233754 | 1262 190510 837828 | 84919 75335 53 | 0.000 % |
1190.79/1191.20 c | 234064 | 1262 190510 837828 | 84919 75645 53 | 0.000 % |
1193.10/1193.58 c | 234406 | 1262 190510 837828 | 84919 75987 53 | 0.000 % |
1195.29/1195.76 c | 234781 | 1262 190510 837828 | 84919 76362 53 | 0.000 % |
1197.29/1197.73 c | 235191 | 1262 190510 837828 | 84919 76772 53 | 0.000 % |
1199.59/1200.08 c | 235640 | 1262 190510 837828 | 84919 77221 53 | 0.000 % |
1201.99/1202.46 c | 236136 | 1262 190510 837828 | 84919 77717 53 | 0.000 % |
1205.38/1205.82 c | 236678 | 1262 190510 837828 | 84919 78259 53 | 0.000 % |
1208.08/1208.51 c | 237275 | 1262 190510 837828 | 84919 78856 53 | 0.000 % |
1210.48/1210.94 c | 237930 | 1262 190510 837828 | 84919 79511 53 | 0.000 % |
1215.18/1215.68 c | 238650 | 1262 190510 837828 | 84919 80231 53 | 0.000 % |
1219.18/1219.67 c | 239442 | 1262 190510 837828 | 84919 81023 53 | 0.000 % |
1223.88/1224.30 c | 240313 | 1262 190510 837828 | 81581 73711 53 | 0.000 % |
1228.18/1228.63 c | 241272 | 1262 190510 837828 | 81581 74670 53 | 0.000 % |
1232.88/1233.33 c | 242326 | 1262 190510 837828 | 81581 75724 53 | 0.000 % |
1237.48/1237.94 c | 243484 | 1262 190510 837828 | 81581 76882 53 | 0.000 % |
1243.47/1243.96 c | 244758 | 1262 190510 837828 | 81581 78156 53 | 0.000 % |
1247.47/1247.96 c | 246158 | 1262 190510 837828 | 81581 79556 53 | 0.000 % |
1252.17/1252.67 c | 247700 | 1262 190510 837828 | 81581 81098 53 | 0.000 % |
1257.47/1257.99 c | 249394 | 1262 190510 837828 | 81581 74615 53 | 0.000 % |
1264.18/1264.63 c | 251257 | 1262 190510 837828 | 2147483647 76478 53 | 0.000 % |
1270.97/1271.48 c | 253308 | 1262 190510 837828 | 2147483647 78529 52 | 0.000 % |
1279.77/1280.23 c | 255562 | 1262 190510 837828 | 2147483647 80783 52 | 0.000 % |
1288.77/1289.27 c | 258041 | 1262 190510 837828 | 2147483647 83262 52 | 0.000 % |
1289.17/1289.65 c | 258141 | 1262 190510 837828 | 2147483647 83362 52 | 0.000 % |
1289.67/1290.10 c | 258251 | 1262 190510 837828 | 2147483647 83472 52 | 0.000 % |
1290.17/1290.63 c | 258372 | 1262 190510 837828 | 2147483647 83593 52 | 0.000 % |
1290.87/1291.30 c | 258505 | 1262 190510 837828 | 2147483647 83726 52 | 0.000 % |
1291.67/1292.12 c | 258656 | 1262 190510 837828 | 2147483647 83877 52 | 0.000 % |
1292.37/1292.83 c | 258816 | 1262 190510 837828 | 2147483647 84037 52 | 0.000 % |
1293.17/1293.69 c | 258993 | 1262 190510 837828 | 2147483647 84214 52 | 0.000 % |
1294.07/1294.54 c | 259186 | 1262 190510 837828 | 2147483647 84407 52 | 0.000 % |
1295.07/1295.55 c | 259401 | 1262 190510 837828 | 2147483647 84622 52 | 0.000 % |
1296.17/1296.65 c | 259635 | 1262 190510 837828 | 2147483647 84856 52 | 0.000 % |
1297.17/1297.65 c | 259895 | 1262 190510 837828 | 2147483647 85116 52 | 0.000 % |
1298.67/1299.14 c | 260177 | 1262 190510 837828 | 2147483647 85398 52 | 0.000 % |
1299.87/1300.36 c | 260486 | 1262 190510 837828 | 2147483647 85707 52 | 0.000 % |
1301.37/1301.83 c | 260825 | 1262 190510 837828 | 2147483647 86046 52 | 0.000 % |
1303.57/1304.06 c | 261199 | 1262 190510 837828 | 2147483647 86420 52 | 0.000 % |
1305.16/1305.67 c | 261609 | 1262 190510 837828 | 2147483647 86830 52 | 0.000 % |
1307.36/1307.83 c | 262058 | 1262 190510 837828 | 2147483647 87279 51 | 0.000 % |
1309.36/1309.80 c | 262551 | 1262 190510 837828 | 2147483647 87772 51 | 0.000 % |
1310.66/1311.11 c | 263095 | 1262 190510 837828 | 2147483647 88316 51 | 0.000 % |
1312.46/1312.91 c | 263693 | 1262 190510 837828 | 2147483647 88914 51 | 0.000 % |
1313.86/1314.33 c | 264349 | 1262 190510 837828 | 2147483647 89570 51 | 0.000 % |
1316.06/1316.53 c | 265070 | 1262 190510 837828 | 2147483647 90291 51 | 0.000 % |
1317.96/1318.43 c | 265865 | 1262 190510 837828 | 2147483647 91086 51 | 0.000 % |
1319.46/1319.90 c | 266736 | 1262 190510 837828 | 2147483647 91957 51 | 0.000 % |
1320.86/1321.34 c | 267694 | 1262 190510 837828 | 2147483647 92915 51 | 0.000 % |
1322.16/1322.65 c | 268747 | 1262 190510 837828 | 2147483647 93968 51 | 0.000 % |
1323.86/1324.31 c | 269905 | 1262 190510 837828 | 2147483647 95126 51 | 0.000 % |
1325.66/1326.10 c | 271178 | 1262 190510 837828 | 2147483647 96399 51 | 0.000 % |
1327.56/1328.05 c | 272578 | 1262 190510 837828 | 2147483647 97799 51 | 0.000 % |
1331.35/1331.80 c | 274119 | 1262 190510 837828 | 2147483647 99340 51 | 0.000 % |
1334.15/1334.64 c | 275813 | 1262 190510 837828 | 2147483647 101034 52 | 0.000 % |
1337.35/1337.87 c | 277676 | 1262 190510 837828 | 2147483647 102897 52 | 0.000 % |
1340.35/1340.83 c | 279728 | 1262 190510 837828 | 2147483647 104949 52 | 0.000 % |
1344.55/1345.04 c | 281983 | 1262 190510 837828 | 2147483647 107204 52 | 0.000 % |
1350.35/1350.86 c | 284464 | 1262 190510 837828 | 2147483647 109685 52 | 0.000 % |
1354.75/1355.21 c | 287189 | 1262 190510 837828 | 2147483647 112410 52 | 0.000 % |
1355.05/1355.55 c | 287289 | 1262 190510 837828 | 2147483647 112510 52 | 0.000 % |
1355.45/1355.93 c | 287400 | 1262 190510 837828 | 2147483647 112621 52 | 0.000 % |
1355.85/1356.35 c | 287523 | 1262 190510 837828 | 2147483647 112744 52 | 0.000 % |
1356.45/1356.90 c | 287657 | 1262 190510 837828 | 2147483647 112878 52 | 0.000 % |
1356.95/1357.42 c | 287807 | 1262 190510 837828 | 2147483647 113028 52 | 0.000 % |
1357.55/1358.01 c | 287967 | 1262 190510 837828 | 2147483647 113188 52 | 0.000 % |
1358.15/1358.69 c | 288143 | 1262 190510 837828 | 2147483647 113364 52 | 0.000 % |
1358.84/1359.35 c | 288338 | 1262 190510 837828 | 2147483647 113559 52 | 0.000 % |
1359.64/1360.11 c | 288552 | 1262 190510 837828 | 2147483647 113773 52 | 0.000 % |
1360.44/1360.93 c | 288786 | 1262 190510 837828 | 2147483647 114007 52 | 0.000 % |
1361.35/1361.89 c | 289043 | 1262 190510 837828 | 2147483647 114264 52 | 0.000 % |
1362.45/1362.93 c | 289324 | 1262 190510 837828 | 2147483647 114545 52 | 0.000 % |
1363.34/1363.80 c | 289633 | 1262 190510 837828 | 2147483647 114854 52 | 0.000 % |
1364.34/1364.82 c | 289975 | 1262 190510 837828 | 2147483647 115196 52 | 0.000 % |
1365.34/1365.88 c | 290347 | 1262 190510 837828 | 2147483647 115568 52 | 0.000 % |
1366.74/1367.20 c | 290756 | 1262 190510 837828 | 2147483647 115977 52 | 0.000 % |
1368.24/1368.72 c | 291206 | 1262 190510 837828 | 2147483647 116427 52 | 0.000 % |
1370.15/1370.65 c | 291699 | 1262 190510 837828 | 2147483647 116920 52 | 0.000 % |
1371.94/1372.43 c | 292241 | 1262 190510 837828 | 2147483647 117462 52 | 0.000 % |
1374.14/1374.63 c | 292837 | 1262 190510 837828 | 2147483647 118058 52 | 0.000 % |
1376.84/1377.36 c | 293493 | 1262 190510 837828 | 2147483647 118714 52 | 0.000 % |
1379.44/1379.99 c | 294214 | 1262 190510 837828 | 2147483647 119435 52 | 0.000 % |
1382.73/1383.20 c | 295008 | 1262 190510 837828 | 2147483647 120229 53 | 0.000 % |
1386.53/1387.05 c | 295879 | 1262 190510 837828 | 2147483647 121100 53 | 0.000 % |
1390.23/1390.79 c | 296838 | 1262 190510 837828 | 2147483647 122059 53 | 0.000 % |
1394.73/1395.26 c | 297891 | 1262 190510 837828 | 2147483647 123112 53 | 0.000 % |
1399.83/1400.37 c | 299051 | 1262 190510 837828 | 2147483647 124272 53 | 0.000 % |
1404.52/1405.09 c | 300325 | 1262 190510 837828 | 2147483647 125546 53 | 0.000 % |
1409.84/1410.33 c | 301727 | 1262 190510 837828 | 2147483647 126948 53 | 0.000 % |
1416.73/1417.21 c | 303267 | 1262 190510 837828 | 2147483647 128488 52 | 0.000 % |
1423.73/1424.28 c | 304964 | 1262 190510 837828 | 2147483647 130185 52 | 0.000 % |
1430.73/1431.28 c | 306829 | 1262 190510 837828 | 2147483647 132050 52 | 0.000 % |
1435.32/1435.85 c | 308878 | 1262 190510 837828 | 2147483647 134099 53 | 0.000 % |
1440.92/1441.44 c | 311133 | 1262 190510 837828 | 2147483647 136354 53 | 0.000 % |
1446.62/1447.18 c | 313611 | 1262 190510 837828 | 2147483647 138832 53 | 0.000 % |
1453.82/1454.33 c | 316338 | 1262 190510 837828 | 2147483647 141559 53 | 0.000 % |
1460.91/1461.46 c | 319335 | 1262 190510 837828 | 2147483647 144556 53 | 0.000 % |
1461.42/1461.92 c | 319435 | 1262 190510 837828 | 2147483647 144656 53 | 0.000 % |
1461.71/1462.29 c | 319547 | 1262 190510 837828 | 2147483647 144768 53 | 0.000 % |
1462.41/1462.93 c | 319668 | 1262 190510 837828 | 2147483647 144889 53 | 0.000 % |
1462.71/1463.27 c | 319801 | 1262 190510 837828 | 2147483647 145022 53 | 0.000 % |
1463.31/1463.84 c | 319947 | 1262 190510 837828 | 2147483647 145168 53 | 0.000 % |
1463.91/1464.41 c | 320107 | 1262 190510 837828 | 2147483647 145328 53 | 0.000 % |
1464.41/1464.97 c | 320283 | 1262 190510 837828 | 2147483647 145504 53 | 0.000 % |
1464.82/1465.34 c | 320478 | 1262 190510 837828 | 2147483647 145699 53 | 0.000 % |
1465.61/1466.17 c | 320691 | 1262 190510 837828 | 2147483647 145912 53 | 0.000 % |
1466.61/1467.16 c | 320924 | 1262 190510 837828 | 2147483647 146145 53 | 0.000 % |
1467.81/1468.38 c | 321181 | 1262 190510 837828 | 2147483647 146402 53 | 0.000 % |
1468.71/1469.27 c | 321464 | 1262 190510 837828 | 2147483647 146685 53 | 0.000 % |
1469.71/1470.21 c | 321774 | 1262 190510 837828 | 2147483647 146995 53 | 0.000 % |
1470.81/1471.38 c | 322113 | 1262 190510 837828 | 2147483647 147334 53 | 0.000 % |
1472.01/1472.58 c | 322486 | 1262 190510 837828 | 2147483647 147707 53 | 0.000 % |
1473.11/1473.68 c | 322896 | 1262 190510 837828 | 2147483647 148117 53 | 0.000 % |
1474.62/1475.12 c | 323346 | 1262 190510 837828 | 2147483647 148567 53 | 0.000 % |
1476.21/1476.76 c | 323840 | 1262 190510 837828 | 2147483647 149061 53 | 0.000 % |
1477.91/1478.43 c | 324383 | 1262 190510 837828 | 2147483647 149604 53 | 0.000 % |
1479.61/1480.14 c | 324979 | 1262 190510 837828 | 2147483647 150200 53 | 0.000 % |
1481.71/1482.20 c | 325636 | 1262 190510 837828 | 2147483647 150857 53 | 0.000 % |
1484.30/1484.83 c | 326357 | 1262 190510 837828 | 2147483647 151578 54 | 0.000 % |
1488.21/1488.70 c | 327149 | 1262 190510 837828 | 2147483647 152370 54 | 0.000 % |
1490.81/1491.32 c | 328021 | 1262 190510 837828 | 2147483647 153242 54 | 0.000 % |
1494.20/1494.74 c | 328980 | 1262 190510 837828 | 2147483647 154201 54 | 0.000 % |
1498.40/1498.99 c | 330034 | 1262 190510 837828 | 2147483647 155255 54 | 0.000 % |
1503.20/1503.71 c | 331193 | 1262 190510 837828 | 2147483647 156414 54 | 0.000 % |
1507.99/1508.55 c | 332468 | 1262 190510 837828 | 2147483647 157689 54 | 0.000 % |
1513.69/1514.23 c | 333869 | 1262 190510 837828 | 2147483647 159090 54 | 0.000 % |
1519.69/1520.22 c | 335409 | 1262 190510 837828 | 2147483647 160630 54 | 0.000 % |
1525.49/1526.09 c | 337104 | 1262 190510 837828 | 2147483647 162325 54 | 0.000 % |
1531.99/1532.59 c | 338967 | 1262 190510 837828 | 2147483647 164188 54 | 0.000 % |
1543.49/1544.10 c | 341016 | 1262 190510 837828 | 165223 147846 54 | 0.000 % |
1553.09/1553.66 c | 343269 | 1262 190510 837828 | 165223 150099 54 | 0.000 % |
1563.78/1564.30 c | 345747 | 1262 190510 837828 | 165223 152577 54 | 0.000 % |
1574.78/1575.31 c | 348473 | 1262 190510 837828 | 165223 155303 54 | 0.000 % |
1590.77/1591.35 c | 351472 | 1262 190510 837828 | 156830 137244 53 | 0.000 % |
1599.37/1599.95 c | 354770 | 1262 190510 837828 | 156830 140542 54 | 0.000 % |
1600.57/1601.10 c | 354870 | 1262 190510 837828 | 156830 140642 54 | 0.000 % |
1601.57/1602.14 c | 354981 | 1262 190510 837828 | 156830 140753 54 | 0.000 % |
1602.87/1603.45 c | 355102 | 1262 190510 837828 | 156830 140874 54 | 0.000 % |
1604.66/1605.21 c | 355236 | 1262 190510 837828 | 156830 141008 54 | 0.000 % |
1605.66/1606.25 c | 355385 | 1262 190510 837828 | 156830 141157 54 | 0.000 % |
1608.06/1608.64 c | 355545 | 1262 190510 837828 | 156830 141317 54 | 0.000 % |
1610.06/1610.64 c | 355722 | 1262 190510 837828 | 156830 141494 54 | 0.000 % |
1611.96/1612.51 c | 355915 | 1262 190510 837828 | 156830 141687 54 | 0.000 % |
1614.86/1615.42 c | 356128 | 1262 190510 837828 | 156830 141900 54 | 0.000 % |
1617.26/1617.81 c | 356362 | 1262 190510 837828 | 156830 142134 54 | 0.000 % |
1620.57/1621.19 c | 356619 | 1262 190510 837828 | 156830 142391 54 | 0.000 % |
1623.37/1623.97 c | 356901 | 1262 190510 837828 | 156830 142673 54 | 0.001 % |
1627.47/1628.03 c | 357210 | 1262 190510 837828 | 156830 142982 54 | 0.000 % |
1630.97/1631.57 c | 357550 | 1262 190510 837828 | 156830 143322 54 | 0.000 % |
1636.16/1636.79 c | 357922 | 1262 190510 837828 | 156830 143694 54 | 0.000 % |
1641.06/1641.63 c | 358332 | 1262 190510 837828 | 156830 144104 54 | 0.000 % |
1647.66/1648.26 c | 358781 | 1262 190510 837828 | 156830 144553 54 | 0.000 % |
1652.46/1653.02 c | 359274 | 1262 190510 837828 | 156830 145046 54 | 0.000 % |
1658.66/1659.23 c | 359816 | 1262 190510 837828 | 156830 145588 54 | 0.000 % |
1668.05/1668.65 c | 360414 | 1262 190510 837828 | 145772 116277 54 | 0.000 % |
1676.15/1676.76 c | 361071 | 1262 190510 837828 | 145772 116934 55 | 0.000 % |
1684.15/1684.77 c | 361791 | 1262 190510 837828 | 145772 117654 54 | 0.000 % |
1692.05/1692.64 c | 362585 | 1262 190510 837828 | 145772 118448 54 | 0.000 % |
1696.04/1696.60 c | 363456 | 1262 190510 837828 | 145772 119319 54 | 0.000 % |
1698.84/1699.40 c | 364417 | 1262 190510 837828 | 145772 120280 55 | 0.002 % |
1711.04/1711.60 c | 365470 | 1262 190510 837828 | 145772 121333 55 | 0.000 % |
1722.14/1722.79 c | 366628 | 1262 190510 837828 | 145772 122491 55 | 0.000 % |
1739.23/1739.86 c | 367901 | 1262 190510 837828 | 145772 123764 55 | 0.000 % |
1755.72/1756.30 c | 369304 | 1262 190510 837828 | 145772 125167 55 | 0.000 % |
1778.32/1778.97 c | 370844 | 1262 190510 837828 | 125863 93741 57 | 0.000 % |
1799.51/1800.18 c | 372538 | 1262 190510 837828 | 125863 95435 57 | 0.000 % |
1820.21/1820.86 c | 374401 | 1262 190510 837828 | 125863 97298 57 | 0.000 % |
1840.10/1840.74 c | 376450 | 1262 190510 837828 | 125863 99347 57 | 0.000 % |
1867.09/1867.71 c | 378703 | 1262 190510 837828 | 125863 101600 57 | 0.000 % |
1899.98/1900.68 c | 381181 | 1262 190510 837828 | 102900 74511 58 | 0.000 % |
1915.98/1916.60 c | 383906 | 1262 190510 837828 | 102900 77236 58 | 0.000 % |
1942.77/1943.41 c | 386903 | 1262 190510 837828 | 102900 80233 58 | 0.000 % |
1970.37/1971.02 c | 390200 | 1262 190510 837828 | 83331 83530 58 | 0.000 % |
1994.17/1994.86 c | 393825 | 1262 190510 837828 | 83331 65739 57 | 0.000 % |
1994.97/1995.65 c | 393925 | 1262 190510 837828 | 83331 65839 57 | 0.000 % |
1995.57/1996.20 c | 394036 | 1262 190510 837828 | 83331 65950 57 | 0.000 % |
1996.47/1997.14 c | 394157 | 1262 190510 837828 | 83331 66071 57 | 0.000 % |
1997.47/1998.10 c | 394290 | 1262 190510 837828 | 83331 66204 57 | 0.000 % |
1998.37/1999.09 c | 394437 | 1262 190510 837828 | 83331 66351 57 | 0.000 % |
1999.67/2000.33 c | 394597 | 1262 190510 837828 | 83331 66511 57 | 0.000 % |
2000.97/2001.65 c | 394775 | 1262 190510 837828 | 83331 66689 57 | 0.000 % |
2002.27/2002.96 c | 394971 | 1262 190510 837828 | 83331 66885 57 | 0.000 % |
2003.47/2004.11 c | 395183 | 1262 190510 837828 | 83331 67097 57 | 0.000 % |
2004.47/2005.16 c | 395416 | 1262 190510 837828 | 83331 67330 57 | 0.000 % |
2005.77/2006.49 c | 395672 | 1262 190510 837828 | 83331 67586 57 | 0.000 % |
2007.66/2008.34 c | 395954 | 1262 190510 837828 | 83331 67868 57 | 0.000 % |
2009.36/2010.08 c | 396264 | 1262 190510 837828 | 83331 68178 57 | 0.000 % |
2011.66/2012.36 c | 396603 | 1262 190510 837828 | 83331 68517 57 | 0.000 % |
2013.76/2014.46 c | 396976 | 1262 190510 837828 | 83331 68890 57 | 0.000 % |
2016.16/2016.84 c | 397387 | 1262 190510 837828 | 83331 69301 57 | 0.000 % |
2019.06/2019.75 c | 397836 | 1262 190510 837828 | 83331 69750 57 | 0.000 % |
2021.56/2022.23 c | 398329 | 1262 190510 837828 | 83331 70243 57 | 0.000 % |
2026.16/2026.83 c | 398871 | 1262 190510 837828 | 83331 70785 57 | 0.000 % |
2030.16/2030.87 c | 399471 | 1262 190510 837828 | 83331 71385 57 | 0.000 % |
2033.66/2034.33 c | 400126 | 1262 190510 837828 | 71918 72040 57 | 0.000 % |
2038.15/2038.86 c | 400846 | 1262 190510 837828 | 71918 60647 57 | 0.000 % |
2043.05/2043.74 c | 401639 | 1262 190510 837828 | 71918 61440 57 | 0.000 % |
2048.55/2049.21 c | 402510 | 1262 190510 837828 | 71918 62311 57 | 0.000 % |
2054.05/2054.79 c | 403468 | 1262 190510 837828 | 71918 63269 57 | 0.000 % |
2060.25/2060.96 c | 404522 | 1262 190510 837828 | 71918 64323 57 | 0.000 % |
2066.84/2067.52 c | 405680 | 1262 190510 837828 | 71918 65481 57 | 0.000 % |
2074.94/2075.68 c | 406953 | 1262 190510 837828 | 71918 66754 57 | 0.000 % |
2084.64/2085.37 c | 408356 | 1262 190510 837828 | 71918 68157 57 | 0.000 % |
2094.03/2094.73 c | 409898 | 1262 190510 837828 | 71918 69699 57 | 0.000 % |
2105.73/2106.44 c | 411593 | 1262 190510 837828 | 69802 62850 57 | 0.000 % |
2115.93/2116.67 c | 413456 | 1262 190510 837828 | 69802 64713 57 | 0.000 % |
2126.73/2127.50 c | 415505 | 1262 190510 837828 | 69802 66762 57 | 0.000 % |
2139.82/2140.58 c | 417764 | 1262 190510 837828 | 69802 69021 57 | 0.000 % |
2152.82/2153.58 c | 420245 | 1262 190510 837828 | 2147483647 64501 57 | 0.000 % |
2164.01/2164.80 c | 422970 | 1262 190510 837828 | 2147483647 67226 57 | 0.000 % |
2176.32/2177.03 c | 425968 | 1262 190510 837828 | 2147483647 70224 56 | 0.000 % |
2185.81/2186.56 c | 429264 | 1262 190510 837828 | 2147483647 73520 57 | 0.000 % |
2209.60/2210.38 c | 432892 | 1262 190510 837828 | 2147483647 77148 57 | 0.000 % |
2234.19/2234.90 c | 436879 | 1262 190510 837828 | 2147483647 81135 58 | 0.000 % |
2235.19/2235.90 c | 436979 | 1262 190510 837828 | 2147483647 81235 58 | 0.000 % |
2235.39/2236.14 c | 437089 | 1262 190510 837828 | 2147483647 81345 58 | 0.000 % |
2236.49/2237.24 c | 437210 | 1262 190510 837828 | 2147483647 81466 58 | 0.000 % |
2237.59/2238.39 c | 437343 | 1262 190510 837828 | 2147483647 81599 58 | 0.000 % |
2238.49/2239.23 c | 437490 | 1262 190510 837828 | 2147483647 81746 58 | 0.000 % |
2239.79/2240.55 c | 437652 | 1262 190510 837828 | 2147483647 81908 58 | 0.000 % |
2241.20/2241.91 c | 437829 | 1262 190510 837828 | 2147483647 82085 58 | 0.000 % |
2242.30/2243.08 c | 438025 | 1262 190510 837828 | 2147483647 82281 58 | 0.000 % |
2244.50/2245.21 c | 438237 | 1262 190510 837828 | 2147483647 82493 58 | 0.000 % |
2246.29/2247.02 c | 438471 | 1262 190510 837828 | 2147483647 82727 58 | 0.000 % |
2249.39/2250.13 c | 438728 | 1262 190510 837828 | 2147483647 82984 58 | 0.000 % |
2251.59/2252.39 c | 439009 | 1262 190510 837828 | 2147483647 83265 58 | 0.000 % |
2254.99/2255.75 c | 439319 | 1262 190510 837828 | 2147483647 83575 58 | 0.000 % |
2255.69/2256.41 c | 439658 | 1262 190510 837828 | 2147483647 83914 58 | 0.000 % |
2257.19/2257.96 c | 440030 | 1262 190510 837828 | 2147483647 84286 58 | 0.000 % |
2261.29/2262.00 c | 440440 | 1262 190510 837828 | 2147483647 84696 58 | 0.000 % |
2264.68/2265.40 c | 440890 | 1262 190510 837828 | 2147483647 85146 58 | 0.000 % |
2267.28/2268.09 c | 441384 | 1262 190510 837828 | 2147483647 85640 58 | 0.000 % |
2271.18/2271.91 c | 441926 | 1262 190510 837828 | 2147483647 86182 58 | 0.000 % |
2275.19/2275.98 c | 442522 | 1262 190510 837828 | 2147483647 86778 58 | 0.000 % |
2280.09/2280.80 c | 443178 | 1262 190510 837828 | 2147483647 87434 58 | 0.000 % |
2285.09/2285.86 c | 443901 | 1262 190510 837828 | 2147483647 88157 58 | 0.000 % |
2290.89/2291.70 c | 444693 | 1262 190510 837828 | 2147483647 88949 58 | 0.000 % |
2295.79/2296.59 c | 445564 | 1262 190510 837828 | 2147483647 89820 58 | 0.000 % |
2302.28/2303.03 c | 446523 | 1262 190510 837828 | 2147483647 90779 58 | 0.000 % |
2309.68/2310.46 c | 447576 | 1262 190510 837828 | 2147483647 91832 58 | 0.000 % |
2317.08/2317.80 c | 448734 | 1262 190510 837828 | 2147483647 92990 58 | 0.000 % |
2322.88/2323.69 c | 450007 | 1262 190510 837828 | 2147483647 94263 58 | 0.000 % |
2335.68/2336.50 c | 451407 | 1262 190510 837828 | 2147483647 95663 58 | 0.000 % |
2347.77/2348.59 c | 452949 | 1262 190510 837828 | 2147483647 97205 58 | 0.000 % |
2360.66/2361.48 c | 454644 | 1262 190510 837828 | 2147483647 98900 58 | 0.000 % |
2376.06/2376.80 c | 456507 | 1262 190510 837828 | 2147483647 100763 58 | 0.000 % |
2396.05/2396.81 c | 458558 | 1262 190510 837828 | 2147483647 102814 58 | 0.000 % |
2415.75/2416.54 c | 460813 | 1262 190510 837828 | 104257 86139 58 | 0.000 % |
2432.64/2433.43 c | 463293 | 1262 190510 837828 | 104257 88619 58 | 0.000 % |
2454.54/2455.33 c | 466018 | 1262 190510 837828 | 104257 91344 58 | 0.000 % |
2477.03/2477.89 c | 469016 | 1262 190510 837828 | 104257 94342 58 | 0.000 % |
2493.03/2493.82 c | 472313 | 1262 190510 837828 | 95328 80405 58 | 0.000 % |
2510.82/2511.64 c | 475938 | 1262 190510 837828 | 95328 84030 58 | 0.000 % |
2530.71/2531.55 c | 479927 | 1262 190510 837828 | 95328 88019 58 | 0.000 % |
2550.71/2551.51 c | 484312 | 1262 190510 837828 | 88095 82012 57 | 0.000 % |
2551.11/2551.98 c | 484413 | 1262 190510 837828 | 88095 82113 57 | 0.000 % |
2551.71/2552.57 c | 484526 | 1262 190510 837828 | 88095 82226 57 | 0.000 % |
2552.41/2553.22 c | 484648 | 1262 190510 837828 | 88095 82348 57 | 0.000 % |
2552.91/2553.79 c | 484781 | 1262 190510 837828 | 88095 82481 57 | 0.000 % |
2553.51/2554.38 c | 484929 | 1262 190510 837828 | 88095 82629 57 | 0.000 % |
2554.21/2555.00 c | 485089 | 1262 190510 837828 | 88095 82789 57 | 0.000 % |
2554.91/2555.72 c | 485266 | 1262 190510 837828 | 88095 82966 57 | 0.000 % |
2555.51/2556.38 c | 485460 | 1262 190510 837828 | 88095 83160 57 | 0.000 % |
2556.31/2557.12 c | 485672 | 1262 190510 837828 | 88095 83372 57 | 0.000 % |
2557.51/2558.35 c | 485905 | 1262 190510 837828 | 88095 83605 57 | 0.000 % |
2558.71/2559.50 c | 486161 | 1262 190510 837828 | 88095 83861 57 | 0.000 % |
2559.71/2560.58 c | 486442 | 1262 190510 837828 | 88095 84142 57 | 0.000 % |
2561.21/2562.00 c | 486751 | 1262 190510 837828 | 88095 84451 57 | 0.000 % |
2562.80/2563.60 c | 487090 | 1262 190510 837828 | 88095 84790 57 | 0.000 % |
2564.10/2564.91 c | 487462 | 1262 190510 837828 | 88095 85162 57 | 0.000 % |
2565.70/2566.50 c | 487872 | 1262 190510 837828 | 88095 85572 57 | 0.000 % |
2568.10/2568.99 c | 488323 | 1262 190510 837828 | 88095 86023 57 | 0.000 % |
2571.30/2572.17 c | 488816 | 1262 190510 837828 | 88095 86516 57 | 0.000 % |
2574.00/2574.83 c | 489358 | 1262 190510 837828 | 88095 87058 57 | 0.000 % |
2578.30/2579.19 c | 489955 | 1262 190510 837828 | 88095 87655 57 | 0.000 % |
2583.00/2583.84 c | 490610 | 1262 190510 837828 | 2147483647 88310 57 | 0.000 % |
2589.59/2590.46 c | 491330 | 1262 190510 837828 | 2147483647 89030 57 | 0.000 % |
2594.89/2595.78 c | 492122 | 1262 190510 837828 | 2147483647 89822 57 | 0.000 % |
2601.39/2602.26 c | 492993 | 1262 190510 837828 | 2147483647 90693 58 | 0.000 % |
2611.39/2612.22 c | 493951 | 1262 190510 837828 | 2147483647 91651 58 | 0.000 % |
2618.79/2619.61 c | 495004 | 1262 190510 837828 | 2147483647 92704 58 | 0.000 % |
2628.88/2629.71 c | 496162 | 1262 190510 837828 | 2147483647 93862 58 | 0.000 % |
2638.78/2639.60 c | 497435 | 1262 190510 837828 | 2147483647 95135 58 | 0.000 % |
2652.57/2653.45 c | 498837 | 1262 190510 837828 | 2147483647 96537 58 | 0.000 % |
2665.67/2666.54 c | 500377 | 1262 190510 837828 | 97700 75418 58 | 0.000 % |
2677.37/2678.24 c | 502073 | 1262 190510 837828 | 97700 77114 58 | 0.000 % |
2690.66/2691.52 c | 503936 | 1262 190510 837828 | 97700 78977 58 | 0.000 % |
2704.26/2705.17 c | 505985 | 1262 190510 837828 | 97700 81026 58 | 0.000 % |
2715.65/2716.50 c | 508239 | 1262 190510 837828 | 97700 83280 58 | 0.000 % |
2735.95/2736.89 c | 510717 | 1262 190510 837828 | 85042 67117 57 | 0.000 % |
2754.54/2755.41 c | 513443 | 1262 190510 837828 | 85042 69843 57 | 0.000 % |
2772.45/2773.31 c | 516440 | 1262 190510 837828 | 85042 72840 57 | 0.000 % |
2790.95/2791.88 c | 519737 | 1262 190510 837828 | 85042 76137 57 | 0.000 % |
2815.24/2816.18 c | 523362 | 1262 190510 837828 | 76400 65062 57 | 0.000 % |
2838.93/2839.85 c | 527350 | 1262 190510 837828 | 76400 69050 56 | 0.000 % |
2857.83/2858.79 c | 531735 | 1262 190510 837828 | 71700 62041 56 | 0.000 % |
2874.52/2875.50 c | 536561 | 1262 190510 837828 | 71700 66867 56 | 0.000 % |
2874.92/2875.88 c | 536661 | 1262 190510 837828 | 71700 66967 56 | 0.000 % |
2875.82/2876.73 c | 536772 | 1262 190510 837828 | 71700 67078 56 | 0.000 % |
2876.52/2877.43 c | 536894 | 1262 190510 837828 | 71700 67200 56 | 0.000 % |
2877.32/2878.26 c | 537027 | 1262 190510 837828 | 71700 67333 56 | 0.000 % |
2878.12/2879.06 c | 537174 | 1262 190510 837828 | 71700 67480 56 | 0.000 % |
2879.12/2880.00 c | 537334 | 1262 190510 837828 | 71700 67640 56 | 0.000 % |
2879.82/2880.73 c | 537512 | 1262 190510 837828 | 71700 67818 56 | 0.000 % |
2881.02/2881.92 c | 537705 | 1262 190510 837828 | 71700 68011 56 | 0.000 % |
2882.02/2882.97 c | 537918 | 1262 190510 837828 | 71700 68224 56 | 0.000 % |
2882.92/2883.83 c | 538151 | 1262 190510 837828 | 71700 68457 56 | 0.000 % |
2884.52/2885.42 c | 538407 | 1262 190510 837828 | 71700 68713 56 | 0.000 % |
2886.01/2886.96 c | 538688 | 1262 190510 837828 | 71700 68994 56 | 0.000 % |
2887.21/2888.10 c | 538998 | 1262 190510 837828 | 71700 69304 56 | 0.000 % |
2888.71/2889.63 c | 539337 | 1262 190510 837828 | 71700 69643 56 | 0.000 % |
2890.21/2891.17 c | 539710 | 1262 190510 837828 | 71700 70016 56 | 0.000 % |
2892.22/2893.14 c | 540120 | 1262 190510 837828 | 2147483647 70426 56 | 0.000 % |
2893.91/2894.89 c | 540572 | 1262 190510 837828 | 2147483647 70878 56 | 0.000 % |
2896.11/2897.01 c | 541065 | 1262 190510 837828 | 2147483647 71371 56 | 0.000 % |
2898.21/2899.18 c | 541608 | 1262 190510 837828 | 2147483647 71914 56 | 0.000 % |
2900.01/2900.91 c | 542204 | 1262 190510 837828 | 2147483647 72510 56 | 0.000 % |
2903.01/2903.92 c | 542859 | 1262 190510 837828 | 2147483647 73165 56 | 0.000 % |
2906.21/2907.11 c | 543579 | 1262 190510 837828 | 2147483647 73885 56 | 0.000 % |
2909.91/2910.89 c | 544371 | 1262 190510 837828 | 2147483647 74677 56 | 0.000 % |
2913.40/2914.34 c | 545243 | 1262 190510 837828 | 2147483647 75549 56 | 0.000 % |
2916.50/2917.49 c | 546201 | 1262 190510 837828 | 2147483647 76507 56 | 0.000 % |
2920.10/2921.02 c | 547254 | 1262 190510 837828 | 2147483647 77560 56 | 0.001 % |
2924.70/2925.65 c | 548415 | 1262 190510 837828 | 2147483647 78721 56 | 0.000 % |
2931.10/2932.06 c | 549688 | 1262 190510 837828 | 2147483647 79994 56 | 0.000 % |
2938.10/2939.04 c | 551090 | 1262 190510 837828 | 2147483647 81396 56 | 0.000 % |
2944.09/2945.08 c | 552630 | 1262 190510 837828 | 2147483647 82936 56 | 0.000 % |
2949.59/2950.50 c | 554326 | 1262 190510 837828 | 2147483647 84632 56 | 0.000 % |
2956.69/2957.64 c | 556191 | 1262 190510 837828 | 2147483647 86497 56 | 0.000 % |
2963.89/2964.85 c | 558240 | 1262 190510 837828 | 2147483647 88546 56 | 0.000 % |
2971.29/2972.21 c | 560493 | 1262 190510 837828 | 2147483647 90799 56 | 0.000 % |
2983.08/2984.06 c | 562972 | 1262 190510 837828 | 2147483647 93278 56 | 0.000 % |
2997.98/2998.96 c | 565697 | 1262 190510 837828 | 2147483647 96003 56 | 0.000 % |
3010.98/3011.97 c | 568695 | 1262 190510 837828 | 2147483647 99001 56 | 0.000 % |
3023.37/3024.36 c | 571991 | 1262 190510 837828 | 100309 91081 56 | 0.000 % |
3038.87/3039.81 c | 575616 | 1262 190510 837828 | 100309 94706 56 | 0.000 % |
3053.77/3054.77 c | 579604 | 1262 190510 837828 | 100309 98694 56 | 0.000 % |
3067.36/3068.37 c | 583989 | 1262 190510 837828 | 2147483647 103079 55 | 0.000 % |
3080.95/3081.90 c | 588814 | 1262 190510 837828 | 2147483647 107904 55 | 0.000 % |
3094.05/3095.03 c | 594120 | 1262 190510 837828 | 2147483647 113210 54 | 0.000 % |
3094.45/3095.40 c | 594220 | 1262 190510 837828 | 2147483647 113310 54 | 0.000 % |
3094.75/3095.73 c | 594330 | 1262 190510 837828 | 2147483647 113420 54 | 0.000 % |
3095.05/3096.02 c | 594451 | 1262 190510 837828 | 2147483647 113541 54 | 0.000 % |
3095.35/3096.34 c | 594585 | 1262 190510 837828 | 2147483647 113675 54 | 0.000 % |
3095.85/3096.82 c | 594732 | 1262 190510 837828 | 2147483647 113822 54 | 0.000 % |
3096.45/3097.42 c | 594893 | 1262 190510 837828 | 2147483647 113983 54 | 0.000 % |
3097.05/3098.09 c | 595069 | 1262 190510 837828 | 2147483647 114159 54 | 0.000 % |
3097.75/3098.72 c | 595262 | 1262 190510 837828 | 2147483647 114352 54 | 0.000 % |
3098.25/3099.29 c | 595475 | 1262 190510 837828 | 2147483647 114565 54 | 0.000 % |
3098.85/3099.81 c | 595708 | 1262 190510 837828 | 2147483647 114798 54 | 0.000 % |
3099.65/3100.60 c | 595964 | 1262 190510 837828 | 2147483647 115054 54 | 0.000 % |
3100.45/3101.47 c | 596245 | 1262 190510 837828 | 2147483647 115335 54 | 0.000 % |
3101.25/3102.24 c | 596555 | 1262 190510 837828 | 2147483647 115645 54 | 0.000 % |
3101.95/3102.98 c | 596896 | 1262 190510 837828 | 2147483647 115986 54 | 0.000 % |
3103.45/3104.46 c | 597269 | 1262 190510 837828 | 2147483647 116359 54 | 0.000 % |
3107.25/3108.27 c | 597678 | 1262 190510 837828 | 2147483647 116768 54 | 0.000 % |
3113.15/3114.17 c | 598130 | 1262 190510 837828 | 2147483647 117220 54 | 0.000 % |
3119.05/3120.08 c | 598626 | 1262 190510 837828 | 2147483647 117716 54 | 0.000 % |
3125.45/3126.45 c | 599169 | 1262 190510 837828 | 2147483647 118259 53 | 0.000 % |
3126.75/3127.71 c | 599765 | 1262 190510 837828 | 2147483647 118855 53 | 0.000 % |
3128.04/3129.06 c | 600420 | 1262 190510 837828 | 2147483647 119510 53 | 0.000 % |
3129.34/3130.34 c | 601141 | 1262 190510 837828 | 2147483647 120231 53 | 0.000 % |
3130.75/3131.78 c | 601935 | 1262 190510 837828 | 2147483647 121025 53 | 0.000 % |
3132.34/3133.39 c | 602806 | 1262 190510 837828 | 2147483647 121896 53 | 0.000 % |
3134.15/3135.12 c | 603765 | 1262 190510 837828 | 2147483647 122855 53 | 0.000 % |
3135.44/3136.41 c | 604818 | 1262 190510 837828 | 2147483647 123908 53 | 0.000 % |
3136.44/3137.42 c | 605976 | 1262 190510 837828 | 2147483647 125066 53 | 0.000 % |
3152.14/3153.19 c | 607249 | 1262 190510 837828 | 2147483647 126339 53 | 0.000 % |
3173.43/3174.41 c | 608649 | 1262 190510 837828 | 2147483647 127739 53 | 0.000 % |
3178.33/3179.32 c | 610191 | 1262 190510 837828 | 2147483647 129281 53 | 0.000 % |
3202.62/3203.66 c | 611885 | 1262 190510 837828 | 2147483647 130975 53 | 0.000 % |
3221.92/3222.92 c | 613749 | 1262 190510 837828 | 2147483647 132839 53 | 0.000 % |
3247.01/3248.00 c | 615798 | 1262 190510 837828 | 2147483647 134888 53 | 0.000 % |
3268.80/3269.87 c | 618054 | 1262 190510 837828 | 2147483647 137144 52 | 0.000 % |
3275.40/3276.48 c | 620535 | 1262 190510 837828 | 2147483647 139625 53 | 0.000 % |
3316.49/3317.52 c | 623261 | 1262 190510 837828 | 2147483647 142351 53 | 0.000 % |
3351.98/3353.06 c | 626260 | 1262 190510 837828 | 2147483647 145350 53 | 0.000 % |
3357.08/3358.17 c | 629561 | 1262 190510 837828 | 2147483647 148651 52 | 0.000 % |
3403.77/3404.85 c | 633186 | 1262 190510 837828 | 2147483647 152276 53 | 0.000 % |
3461.75/3462.83 c | 637173 | 1262 190510 837828 | 2147483647 156263 53 | 0.000 % |
3528.13/3529.29 c | 641561 | 1262 190510 837828 | 2147483647 160651 52 | 0.000 % |
3569.63/3570.78 c | 646384 | 1262 190510 837828 | 2147483647 165474 53 | 0.000 % |
3633.01/3634.19 c | 651691 | 1262 190510 837828 | 169095 151608 52 | 0.000 % |
3669.40/3670.53 c | 657526 | 1262 190510 837828 | 169095 157443 52 | 0.000 % |
3669.60/3670.77 c | 657626 | 1262 190510 837828 | 169095 157543 52 | 0.000 % |
3669.70/3670.88 c | 657736 | 1262 190510 837828 | 169095 157653 52 | 0.000 % |
3671.10/3672.22 c | 657857 | 1262 190510 837828 | 169095 157774 52 | 0.000 % |
3671.50/3672.65 c | 657993 | 1262 190510 837828 | 169095 157910 52 | 0.000 % |
3672.20/3673.37 c | 658139 | 1262 190510 837828 | 169095 158056 52 | 0.000 % |
3673.00/3674.15 c | 658299 | 1262 190510 837828 | 169095 158216 52 | 0.000 % |
3675.20/3676.37 c | 658476 | 1262 190510 837828 | 169095 158393 52 | 0.000 % |
3677.90/3679.09 c | 658670 | 1262 190510 837828 | 169095 158587 52 | 0.000 % |
3680.00/3681.13 c | 658885 | 1262 190510 837828 | 169095 158802 52 | 0.000 % |
3682.19/3683.39 c | 659120 | 1262 190510 837828 | 169095 159037 52 | 0.000 % |
3684.00/3685.14 c | 659377 | 1262 190510 837828 | 169095 159294 52 | 0.000 % |
3686.20/3687.32 c | 659658 | 1262 190510 837828 | 169095 159575 52 | 0.000 % |
3688.99/3690.16 c | 659967 | 1262 190510 837828 | 169095 159884 52 | 0.000 % |
3693.90/3695.08 c | 660307 | 1262 190510 837828 | 2147483647 160224 52 | 0.000 % |
3696.10/3697.27 c | 660679 | 1262 190510 837828 | 2147483647 160596 52 | 0.000 % |
3696.49/3697.63 c | 661088 | 1262 190510 837828 | 2147483647 161005 52 | 0.000 % |
3701.49/3702.64 c | 661538 | 1262 190510 837828 | 2147483647 161455 52 | 0.000 % |
3702.89/3704.01 c | 662032 | 1262 190510 837828 | 2147483647 161949 52 | 0.000 % |
3704.79/3705.91 c | 662576 | 1262 190510 837828 | 2147483647 162493 52 | 0.000 % |
3711.79/3712.98 c | 663172 | 1262 190510 837828 | 2147483647 163089 52 | 0.000 % |
3717.28/3718.45 c | 663828 | 1262 190510 837828 | 2147483647 163745 52 | 0.000 % |
3725.08/3726.29 c | 664552 | 1262 190510 837828 | 2147483647 164469 52 | 0.000 % |
3730.48/3731.63 c | 665344 | 1262 190510 837828 | 2147483647 165261 52 | 0.000 % |
3737.08/3738.27 c | 666216 | 1262 190510 837828 | 2147483647 166133 52 | 0.000 % |
3747.78/3748.95 c | 667176 | 1262 190510 837828 | 2147483647 167093 52 | 0.000 % |
3758.97/3760.12 c | 668229 | 1262 190510 837828 | 2147483647 168146 52 | 0.000 % |
3770.47/3771.64 c | 669388 | 1262 190510 837828 | 2147483647 169305 52 | 0.000 % |
3786.06/3787.29 c | 670661 | 1262 190510 837828 | 2147483647 170578 52 | 0.000 % |
3803.26/3804.46 c | 672061 | 1262 190510 837828 | 2147483647 171978 52 | 0.000 % |
3806.66/3807.85 c | 673603 | 1262 190510 837828 | 2147483647 173520 52 | 0.000 % |
3827.86/3829.09 c | 675297 | 1262 190510 837828 | 2147483647 175214 52 | 0.000 % |
3846.65/3847.80 c | 677161 | 1262 190510 837828 | 2147483647 177078 52 | 0.000 % |
3875.54/3876.80 c | 679210 | 1262 190510 837828 | 2147483647 179127 52 | 0.000 % |
3900.83/3902.00 c | 681463 | 1262 190510 837828 | 2147483647 181380 52 | 0.000 % |
3936.12/3937.39 c | 683941 | 1262 190510 837828 | 2147483647 183858 53 | 0.000 % |
3971.12/3972.34 c | 686668 | 1262 190510 837828 | 2147483647 186585 53 | 0.000 % |
3979.81/3981.05 c | 689667 | 1262 190510 837828 | 2147483647 189584 53 | 0.000 % |
3984.22/3985.47 c | 692963 | 1262 190510 837828 | 2147483647 192880 53 | 0.000 % |
3993.71/3994.97 c | 696588 | 1262 190510 837828 | 2147483647 196505 53 | 0.000 % |
4035.80/4037.08 c | 700577 | 1262 190510 837828 | 2147483647 200494 53 | 0.000 % |
4087.98/4089.21 c | 704962 | 1262 190510 837828 | 2147483647 204879 53 | 0.000 % |
4141.86/4143.18 c | 709786 | 1262 190510 837828 | 2147483647 209703 54 | 0.000 % |
4190.36/4191.62 c | 715092 | 1262 190510 837828 | 209917 189638 54 | 0.000 % |
4237.25/4238.58 c | 720929 | 1262 190510 837828 | 2147483647 195475 54 | 0.000 % |
4295.93/4297.22 c | 727351 | 1262 190510 837828 | 2147483647 201897 54 | 0.000 % |
4296.73/4298.08 c | 727453 | 1262 190510 837828 | 2147483647 201999 54 | 0.000 % |
4297.73/4299.02 c | 727566 | 1262 190510 837828 | 2147483647 202112 54 | 0.000 % |
4298.33/4299.63 c | 727687 | 1262 190510 837828 | 2147483647 202233 54 | 0.000 % |
4299.93/4301.24 c | 727824 | 1262 190510 837828 | 2147483647 202370 54 | 0.000 % |
4302.03/4303.37 c | 727972 | 1262 190510 837828 | 2147483647 202518 54 | 0.000 % |
4304.13/4305.45 c | 728133 | 1262 190510 837828 | 2147483647 202679 54 | 0.000 % |
4305.72/4307.06 c | 728310 | 1262 190510 837828 | 2147483647 202856 54 | 0.000 % |
4306.33/4307.70 c | 728505 | 1262 190510 837828 | 2147483647 203051 54 | 0.000 % |
4308.72/4310.05 c | 728717 | 1262 190510 837828 | 2147483647 203263 54 | 0.000 % |
4311.12/4312.40 c | 728950 | 1262 190510 837828 | 2147483647 203496 54 | 0.000 % |
4313.62/4314.93 c | 729206 | 1262 190510 837828 | 2147483647 203752 54 | 0.000 % |
4316.42/4317.73 c | 729489 | 1262 190510 837828 | 2147483647 204035 54 | 0.000 % |
4319.82/4321.10 c | 729798 | 1262 190510 837828 | 2147483647 204344 54 | 0.000 % |
4321.92/4323.25 c | 730137 | 1262 190510 837828 | 2147483647 204683 54 | 0.000 % |
4323.12/4324.46 c | 730510 | 1262 190510 837828 | 2147483647 205056 54 | 0.000 % |
4327.82/4329.16 c | 730920 | 1262 190510 837828 | 2147483647 205466 54 | 0.000 % |
4332.31/4333.69 c | 731371 | 1262 190510 837828 | 2147483647 205917 54 | 0.000 % |
4337.31/4338.67 c | 731866 | 1262 190510 837828 | 2147483647 206412 54 | 0.000 % |
4343.01/4344.37 c | 732409 | 1262 190510 837828 | 2147483647 206955 54 | 0.000 % |
4346.31/4347.67 c | 733005 | 1262 190510 837828 | 2147483647 207551 54 | 0.000 % |
4352.11/4353.47 c | 733660 | 1262 190510 837828 | 2147483647 208206 54 | 0.000 % |
4358.91/4360.25 c | 734380 | 1262 190510 837828 | 2147483647 208926 54 | 0.000 % |
4363.81/4365.19 c | 735173 | 1262 190510 837828 | 2147483647 209719 54 | 0.000 % |
4366.91/4368.21 c | 736044 | 1262 190510 837828 | 2147483647 210590 54 | 0.000 % |
4375.10/4376.47 c | 737002 | 1262 190510 837828 | 2147483647 211548 55 | 0.000 % |
4382.90/4384.28 c | 738057 | 1262 190510 837828 | 2147483647 212603 55 | 0.000 % |
4393.70/4395.05 c | 739215 | 1262 190510 837828 | 2147483647 213761 55 | 0.000 % |
4405.70/4407.09 c | 740488 | 1262 190510 837828 | 2147483647 215034 55 | 0.000 % |
4420.29/4421.61 c | 741891 | 1262 190510 837828 | 2147483647 216437 55 | 0.000 % |
4431.99/4433.35 c | 743432 | 1262 190510 837828 | 2147483647 217978 55 | 0.000 % |
4448.58/4449.91 c | 745127 | 1262 190510 837828 | 2147483647 219673 55 | 0.000 % |
4463.79/4465.14 c | 746991 | 1262 190510 837828 | 2147483647 221537 55 | 0.000 % |
4481.19/4482.60 c | 749040 | 1262 190510 837828 | 2147483647 223586 55 | 0.000 % |
4503.87/4505.22 c | 751293 | 1262 190510 837828 | 224546 195617 56 | 0.000 % |
4513.97/4515.37 c | 753775 | 1262 190510 837828 | 224546 198099 56 | 0.000 % |
4533.67/4535.10 c | 756500 | 1262 190510 837828 | 224546 200824 56 | 0.000 % |
4558.86/4560.22 c | 759501 | 1262 190510 837828 | 224546 203825 56 | 0.000 % |
4600.25/4601.64 c | 762798 | 1262 190510 837828 | 2147483647 207122 57 | 0.000 % |
4640.74/4642.16 c | 766424 | 1262 190510 837828 | 2147483647 210748 56 | 0.000 % |
4680.82/4682.23 c | 770412 | 1262 190510 837828 | 2147483647 214736 56 | 0.000 % |
4714.01/4715.40 c | 774797 | 1262 190510 837828 | 2147483647 219121 56 | 0.000 % |
4746.40/4747.88 c | 779620 | 1262 190510 837828 | 2147483647 223944 56 | 0.000 % |
4777.79/4779.24 c | 784926 | 1262 190510 837828 | 2147483647 229250 55 | 0.000 % |
4809.29/4810.72 c | 790765 | 1262 190510 837828 | 2147483647 235089 55 | 0.000 % |
4852.68/4854.14 c | 797183 | 1262 190510 837828 | 2147483647 241507 54 | 0.000 % |
4894.17/4895.63 c | 804243 | 1262 190510 837828 | 2147483647 248567 54 | 0.000 % |
4894.87/4896.39 c | 804343 | 1262 190510 837828 | 2147483647 248667 54 | 0.000 % |
4895.77/4897.29 c | 804453 | 1262 190510 837828 | 2147483647 248777 54 | 0.000 % |
4896.27/4897.75 c | 804574 | 1262 190510 837828 | 2147483647 248898 54 | 0.000 % |
4898.07/4899.57 c | 804711 | 1262 190510 837828 | 2147483647 249035 54 | 0.000 % |
4899.96/4901.49 c | 804858 | 1262 190510 837828 | 2147483647 249182 54 | 0.000 % |
4901.27/4902.70 c | 805018 | 1262 190510 837828 | 2147483647 249342 54 | 0.000 % |
4901.96/4903.43 c | 805196 | 1262 190510 837828 | 2147483647 249520 54 | 0.000 % |
4903.57/4905.06 c | 805389 | 1262 190510 837828 | 2147483647 249713 54 | 0.000 % |
4905.36/4906.82 c | 805602 | 1262 190510 837828 | 2147483647 249926 54 | 0.000 % |
4908.36/4909.81 c | 805836 | 1262 190510 837828 | 2147483647 250160 54 | 0.000 % |
4910.96/4912.43 c | 806095 | 1262 190510 837828 | 2147483647 250419 54 | 0.000 % |
4913.36/4914.85 c | 806376 | 1262 190510 837828 | 2147483647 250700 54 | 0.000 % |
4917.26/4918.71 c | 806686 | 1262 190510 837828 | 2147483647 251010 54 | 0.000 % |
4920.26/4921.78 c | 807027 | 1262 190510 837828 | 2147483647 251351 54 | 0.000 % |
4922.66/4924.15 c | 807399 | 1262 190510 837828 | 2147483647 251723 54 | 0.000 % |
4926.86/4928.31 c | 807808 | 1262 190510 837828 | 2147483647 252132 54 | 0.000 % |
4931.46/4932.98 c | 808258 | 1262 190510 837828 | 2147483647 252582 54 | 0.000 % |
4935.16/4936.65 c | 808751 | 1262 190510 837828 | 2147483647 253075 54 | 0.000 % |
4939.16/4940.67 c | 809296 | 1262 190510 837828 | 2147483647 253620 54 | 0.000 % |
4945.56/4947.06 c | 809893 | 1262 190510 837828 | 2147483647 254217 54 | 0.000 % |
4950.45/4951.97 c | 810548 | 1262 190510 837828 | 2147483647 254872 54 | 0.000 % |
4961.75/4963.29 c | 811269 | 1262 190510 837828 | 2147483647 255593 54 | 0.000 % |
4969.95/4971.43 c | 812061 | 1262 190510 837828 | 2147483647 256385 54 | 0.000 % |
4977.54/4979.01 c | 812932 | 1262 190510 837828 | 2147483647 257256 54 | 0.000 % |
4981.75/4983.23 c | 813892 | 1262 190510 837828 | 2147483647 258216 54 | 0.000 % |
4993.44/4994.99 c | 814948 | 1262 190510 837828 | 2147483647 259272 54 | 0.000 % |
5005.74/5007.26 c | 816106 | 1262 190510 837828 | 2147483647 260430 54 | 0.000 % |
5021.84/5023.31 c | 817381 | 1262 190510 837828 | 2147483647 261705 54 | 0.000 % |
5034.03/5035.55 c | 818781 | 1262 190510 837828 | 2147483647 263105 54 | 0.000 % |
5054.33/5055.84 c | 820321 | 1262 190510 837828 | 2147483647 264645 54 | 0.000 % |
5074.42/5075.97 c | 822015 | 1262 190510 837828 | 2147483647 266339 54 | 0.000 % |
5088.62/5090.17 c | 823879 | 1262 190510 837828 | 2147483647 268203 54 | 0.000 % |
5103.10/5104.67 c | 825929 | 1262 190510 837828 | 2147483647 270253 54 | 0.000 % |
5124.50/5126.10 c | 828182 | 1262 190510 837828 | 2147483647 272506 54 | 0.000 % |
5156.89/5158.46 c | 830661 | 1262 190510 837828 | 274325 223853 54 | 0.000 % |
5187.18/5188.74 c | 833387 | 1262 190510 837828 | 274325 226579 54 | 0.000 % |
5207.67/5209.23 c | 836384 | 1262 190510 837828 | 274325 229576 54 | 0.000 % |
5225.58/5227.20 c | 839681 | 1262 190510 837828 | 274325 232873 54 | 0.000 % |
5248.67/5250.23 c | 843306 | 1262 190510 837828 | 2147483647 236498 54 | 0.000 % |
5270.87/5272.49 c | 847294 | 1262 190510 837828 | 2147483647 240486 55 | 0.000 % |
5297.26/5298.84 c | 851679 | 1262 190510 837828 | 2147483647 244871 55 | 0.000 % |
5319.65/5321.26 c | 856502 | 1262 190510 837828 | 2147483647 249694 55 | 0.000 % |
5359.04/5360.61 c | 861808 | 1262 190510 837828 | 2147483647 255000 55 | 0.000 % |
5419.52/5421.19 c | 867643 | 1262 190510 837828 | 2147483647 260835 55 | 0.000 % |
5490.60/5492.25 c | 874061 | 1262 190510 837828 | 2147483647 267253 55 | 0.000 % |
5557.38/5559.07 c | 881120 | 1262 190510 837828 | 273194 245988 55 | 0.000 % |
5619.97/5621.68 c | 888885 | 1262 190510 837828 | 273194 253753 55 | 0.000 % |
5620.77/5622.40 c | 888987 | 1262 190510 837828 | 273194 253855 55 | 0.000 % |
5621.97/5623.60 c | 889099 | 1262 190510 837828 | 273194 253967 55 | 0.000 % |
5622.87/5624.51 c | 889221 | 1262 190510 837828 | 273194 254089 55 | 0.000 % |
5623.97/5625.63 c | 889356 | 1262 190510 837828 | 273194 254224 55 | 0.000 % |
5624.88/5626.52 c | 889503 | 1262 190510 837828 | 273194 254371 55 | 0.000 % |
5626.57/5628.21 c | 889664 | 1262 190510 837828 | 273194 254532 55 | 0.000 % |
5628.47/5630.10 c | 889840 | 1262 190510 837828 | 273194 254708 55 | 0.000 % |
5630.17/5631.86 c | 890033 | 1262 190510 837828 | 2147483647 254901 55 | 0.000 % |
5631.97/5633.68 c | 890246 | 1262 190510 837828 | 2147483647 255114 55 | 0.000 % |
5634.17/5635.88 c | 890481 | 1262 190510 837828 | 2147483647 255349 55 | 0.000 % |
5636.47/5638.14 c | 890738 | 1262 190510 837828 | 2147483647 255606 55 | 0.000 % |
5638.97/5640.68 c | 891024 | 1262 190510 837828 | 2147483647 255892 55 | 0.000 % |
5642.16/5643.89 c | 891334 | 1262 190510 837828 | 2147483647 256202 55 | 0.000 % |
5645.26/5646.93 c | 891674 | 1262 190510 837828 | 2147483647 256542 55 | 0.000 % |
5648.66/5650.36 c | 892046 | 1262 190510 837828 | 2147483647 256914 55 | 0.000 % |
5653.57/5655.24 c | 892457 | 1262 190510 837828 | 2147483647 257325 55 | 0.000 % |
5658.96/5660.64 c | 892906 | 1262 190510 837828 | 2147483647 257774 55 | 0.000 % |
5661.56/5663.24 c | 893399 | 1262 190510 837828 | 2147483647 258267 55 | 0.000 % |
5665.96/5667.69 c | 893941 | 1262 190510 837828 | 2147483647 258809 55 | 0.000 % |
5672.76/5674.43 c | 894538 | 1262 190510 837828 | 2147483647 259406 55 | 0.000 % |
5680.06/5681.72 c | 895195 | 1262 190510 837828 | 2147483647 260063 55 | 0.000 % |
5687.85/5689.60 c | 895917 | 1262 190510 837828 | 2147483647 260785 55 | 0.000 % |
5692.95/5694.69 c | 896709 | 1262 190510 837828 | 2147483647 261577 55 | 0.000 % |
5701.65/5703.34 c | 897580 | 1262 190510 837828 | 2147483647 262448 55 | 0.000 % |
5710.35/5712.05 c | 898538 | 1262 190510 837828 | 2147483647 263406 55 | 0.000 % |
5724.74/5726.41 c | 899592 | 1262 190510 837828 | 2147483647 264460 55 | 0.000 % |
5738.44/5740.14 c | 900752 | 1262 190510 837828 | 2147483647 265620 55 | 0.000 % |
5747.74/5749.49 c | 902026 | 1262 190510 837828 | 2147483647 266894 55 | 0.000 % |
5758.43/5760.18 c | 903427 | 1262 190510 837828 | 2147483647 268295 55 | 0.000 % |
5768.23/5769.95 c | 904968 | 1262 190510 837828 | 2147483647 269836 56 | 0.000 % |
5783.53/5785.21 c | 906662 | 1262 190510 837828 | 2147483647 271530 56 | 0.000 % |
5789.22/5790.92 c | 908528 | 1262 190510 837828 | 2147483647 273396 56 | 0.000 % |
5814.51/5816.24 c | 910580 | 1262 190510 837828 | 2147483647 275448 56 | 0.000 % |
5832.91/5834.64 c | 912833 | 1262 190510 837828 | 2147483647 277701 56 | 0.000 % |
5857.51/5859.26 c | 915311 | 1262 190510 837828 | 2147483647 280179 56 | 0.000 % |
5877.90/5879.61 c | 918036 | 1262 190510 837828 | 2147483647 282904 56 | 0.000 % |
5902.59/5904.31 c | 921033 | 1262 190510 837828 | 2147483647 285901 56 | 0.000 % |
5927.98/5929.72 c | 924329 | 1262 190510 837828 | 2147483647 289197 56 | 0.000 % |
5957.68/5959.47 c | 927954 | 1262 190510 837828 | 2147483647 292822 56 | 0.000 % |
5978.68/5980.48 c | 931944 | 1262 190510 837828 | 2147483647 296812 56 | 0.000 % |
6003.17/6004.97 c | 936330 | 1262 190510 837828 | 2147483647 301198 56 | 0.000 % |
6057.65/6059.40 c | 941153 | 1262 190510 837828 | 304868 234533 57 | 0.000 % |
6100.94/6102.76 c | 946458 | 1262 190510 837828 | 304868 239838 58 | 0.000 % |
6133.13/6134.96 c | 952293 | 1262 190510 837828 | 2147483647 245673 57 | 0.000 % |
6166.82/6168.69 c | 958714 | 1262 190510 837828 | 2147483647 252094 57 | 0.000 % |
6205.81/6207.68 c | 965774 | 1262 190510 837828 | 2147483647 259154 57 | 0.000 % |
6263.70/6265.59 c | 973540 | 1262 190510 837828 | 2147483647 266920 57 | 0.000 % |
6356.87/6358.70 c | 982080 | 1262 190510 837828 | 2147483647 275460 57 | 0.000 % |
6357.87/6359.73 c | 982180 | 1262 190510 837828 | 2147483647 275560 57 | 0.000 % |
6358.87/6360.77 c | 982290 | 1262 190510 837828 | 2147483647 275670 57 | 0.000 % |
6359.87/6361.78 c | 982411 | 1262 190510 837828 | 2147483647 275791 57 | 0.000 % |
6361.07/6362.94 c | 982546 | 1262 190510 837828 | 2147483647 275926 57 | 0.000 % |
6362.67/6364.55 c | 982693 | 1262 190510 837828 | 2147483647 276073 57 | 0.000 % |
6363.77/6365.69 c | 982857 | 1262 190510 837828 | 2147483647 276237 57 | 0.000 % |
6365.07/6366.98 c | 983034 | 1262 190510 837828 | 2147483647 276414 57 | 0.000 % |
6367.87/6369.72 c | 983229 | 1262 190510 837828 | 2147483647 276609 57 | 0.000 % |
6369.37/6371.23 c | 983441 | 1262 190510 837828 | 2147483647 276821 57 | 0.000 % |
6371.37/6373.26 c | 983674 | 1262 190510 837828 | 2147483647 277054 57 | 0.000 % |
6373.27/6375.17 c | 983930 | 1262 190510 837828 | 2147483647 277310 57 | 0.000 % |
6375.47/6377.31 c | 984213 | 1262 190510 837828 | 2147483647 277593 57 | 0.000 % |
6378.87/6380.77 c | 984522 | 1262 190510 837828 | 2147483647 277902 57 | 0.000 % |
6382.57/6384.45 c | 984862 | 1262 190510 837828 | 2147483647 278242 57 | 0.000 % |
6385.56/6387.46 c | 985235 | 1262 190510 837828 | 2147483647 278615 57 | 0.000 % |
6389.36/6391.26 c | 985647 | 1262 190510 837828 | 2147483647 279027 57 | 0.000 % |
6393.16/6395.05 c | 986097 | 1262 190510 837828 | 2147483647 279477 57 | 0.000 % |
6398.06/6399.98 c | 986592 | 1262 190510 837828 | 2147483647 279972 57 | 0.000 % |
6402.46/6404.33 c | 987134 | 1262 190510 837828 | 2147483647 280514 57 | 0.000 % |
6407.86/6409.74 c | 987731 | 1262 190510 837828 | 2147483647 281111 57 | 0.000 % |
6412.85/6414.71 c | 988387 | 1262 190510 837828 | 2147483647 281767 57 | 0.000 % |
6416.46/6418.38 c | 989109 | 1262 190510 837828 | 2147483647 282489 57 | 0.000 % |
6418.86/6420.73 c | 989902 | 1262 190510 837828 | 2147483647 283282 57 | 0.000 % |
6425.16/6427.04 c | 990774 | 1262 190510 837828 | 2147483647 284154 57 | 0.000 % |
6433.35/6435.26 c | 991736 | 1262 190510 837828 | 2147483647 285116 57 | 0.000 % |
6440.95/6442.88 c | 992789 | 1262 190510 837828 | 2147483647 286169 57 | 0.000 % |
6450.85/6452.77 c | 993947 | 1262 190510 837828 | 2147483647 287327 57 | 0.000 % |
6459.75/6461.68 c | 995223 | 1262 190510 837828 | 2147483647 288603 57 | 0.000 % |
6471.94/6473.82 c | 996625 | 1262 190510 837828 | 2147483647 290005 57 | 0.000 % |
6482.84/6484.78 c | 998167 | 1262 190510 837828 | 2147483647 291547 57 | 0.000 % |
6494.14/6496.04 c | 999861 | 1262 190510 837828 | 2147483647 293241 57 | 0.000 % |
6504.93/6506.82 c | 1001726 | 1262 190510 837828 | 293380 251543 57 | 0.000 % |
6516.63/6518.59 c | 1003775 | 1262 190510 837828 | 293380 253592 57 | 0.000 % |
6529.83/6531.74 c | 1006029 | 1262 190510 837828 | 293380 255846 57 | 0.000 % |
6547.52/6549.42 c | 1008508 | 1262 190510 837828 | 293380 258325 57 | 0.000 % |
6565.32/6567.26 c | 1011239 | 1262 190510 837828 | 2147483647 261056 57 | 0.000 % |
6584.91/6586.88 c | 1014237 | 1262 190510 837828 | 2147483647 264054 57 | 0.000 % |
6609.90/6611.81 c | 1017534 | 1262 190510 837828 | 2147483647 267351 57 | 0.000 % |
6644.30/6646.25 c | 1021159 | 1262 190510 837828 | 2147483647 270976 57 | 0.000 % |
6674.88/6676.83 c | 1025149 | 1262 190510 837828 | 2147483647 274966 57 | 0.000 % |
6700.88/6702.84 c | 1029536 | 1262 190510 837828 | 2147483647 279353 57 | 0.000 % |
6728.77/6730.74 c | 1034360 | 1262 190510 837828 | 2147483647 284177 57 | 0.000 % |
6764.26/6766.23 c | 1039666 | 1262 190510 837828 | 2147483647 289483 57 | 0.000 % |
6799.15/6801.14 c | 1045502 | 1262 190510 837828 | 2147483647 295319 57 | 0.000 % |
6850.04/6852.05 c | 1051920 | 1262 190510 837828 | 2147483647 301737 57 | 0.000 % |
6901.92/6903.94 c | 1058981 | 1262 190510 837828 | 2147483647 308798 57 | 0.000 % |
6965.11/6967.10 c | 1066746 | 1262 190510 837828 | 2147483647 316563 57 | 0.000 % |
7043.19/7045.21 c | 1075288 | 1262 190510 837828 | 2147483647 325105 57 | 0.000 % |
7121.37/7123.45 c | 1084683 | 1262 190510 837828 | 2147483647 334500 57 | 0.000 % |
7122.17/7124.22 c | 1084783 | 1262 190510 837828 | 2147483647 334600 57 | 0.000 % |
7123.27/7125.36 c | 1084894 | 1262 190510 837828 | 2147483647 334711 57 | 0.000 % |
7124.56/7126.65 c | 1085018 | 1262 190510 837828 | 2147483647 334835 57 | 0.000 % |
7126.36/7128.42 c | 1085153 | 1262 190510 837828 | 2147483647 334970 57 | 0.000 % |
7127.96/7130.07 c | 1085299 | 1262 190510 837828 | 2147483647 335116 57 | 0.000 % |
7129.56/7131.63 c | 1085459 | 1262 190510 837828 | 2147483647 335276 57 | 0.000 % |
7131.47/7133.53 c | 1085635 | 1262 190510 837828 | 2147483647 335452 57 | 0.000 % |
7133.56/7135.61 c | 1085829 | 1262 190510 837828 | 2147483647 335646 57 | 0.000 % |
7135.86/7137.92 c | 1086041 | 1262 190510 837828 | 2147483647 335858 57 | 0.000 % |
7138.36/7140.43 c | 1086277 | 1262 190510 837828 | 2147483647 336094 57 | 0.000 % |
7141.16/7143.22 c | 1086533 | 1262 190510 837828 | 2147483647 336350 57 | 0.000 % |
7144.66/7146.80 c | 1086814 | 1262 190510 837828 | 2147483647 336631 57 | 0.000 % |
7148.15/7150.25 c | 1087123 | 1262 190510 837828 | 2147483647 336940 57 | 0.000 % |
7151.65/7153.74 c | 1087463 | 1262 190510 837828 | 2147483647 337280 57 | 0.000 % |
7155.46/7157.55 c | 1087839 | 1262 190510 837828 | 2147483647 337656 57 | 0.000 % |
7160.36/7162.41 c | 1088251 | 1262 190510 837828 | 2147483647 338068 57 | 0.000 % |
7165.26/7167.31 c | 1088700 | 1262 190510 837828 | 2147483647 338517 57 | 0.000 % |
7170.66/7172.74 c | 1089194 | 1262 190510 837828 | 2147483647 339011 57 | 0.000 % |
7175.95/7178.03 c | 1089738 | 1262 190510 837828 | 2147483647 339555 57 | 0.000 % |
7182.95/7185.08 c | 1090334 | 1262 190510 837828 | 339817 306156 57 | 0.000 % |
7189.75/7191.80 c | 1090990 | 1262 190510 837828 | 339817 306812 57 | 0.000 % |
7196.65/7198.71 c | 1091710 | 1262 190510 837828 | 339817 307532 57 | 0.000 % |
7204.75/7206.87 c | 1092502 | 1262 190510 837828 | 339817 308324 57 | 0.000 % |
7214.05/7216.12 c | 1093373 | 1262 190510 837828 | 339817 309195 57 | 0.000 % |
7225.14/7227.22 c | 1094334 | 1262 190510 837828 | 339817 310156 57 | 0.000 % |
7236.64/7238.73 c | 1095388 | 1262 190510 837828 | 339817 311210 57 | 0.000 % |
7246.83/7248.96 c | 1096547 | 1262 190510 837828 | 339817 312369 57 | 0.000 % |
7259.33/7261.47 c | 1097822 | 1262 190510 837828 | 339817 313644 57 | 0.000 % |
7270.83/7272.92 c | 1099222 | 1262 190510 837828 | 339817 315044 57 | 0.000 % |
7285.92/7288.04 c | 1100763 | 1262 190510 837828 | 315822 276589 58 | 0.000 % |
7298.72/7300.89 c | 1102458 | 1262 190510 837828 | 315822 278284 58 | 0.000 % |
7313.42/7315.50 c | 1104323 | 1262 190510 837828 | 315822 280149 58 | 0.000 % |
7329.52/7331.65 c | 1106372 | 1262 190510 837828 | 315822 282198 58 | 0.000 % |
7347.81/7349.98 c | 1108629 | 1262 190510 837828 | 315822 284455 57 | 0.000 % |
7365.80/7367.99 c | 1111107 | 1262 190510 837828 | 2147483647 286933 57 | 0.000 % |
7383.20/7385.30 c | 1113835 | 1262 190510 837828 | 2147483647 289661 57 | 0.000 % |
7402.00/7404.11 c | 1116834 | 1262 190510 837828 | 2147483647 292660 57 | 0.000 % |
7421.48/7423.67 c | 1120131 | 1262 190510 837828 | 2147483647 295957 57 | 0.000 % |
7448.07/7450.28 c | 1123756 | 1262 190510 837828 | 2147483647 299582 57 | 0.000 % |
7480.87/7483.08 c | 1127744 | 1262 190510 837828 | 2147483647 303570 57 | 0.000 % |
7505.67/7507.83 c | 1132129 | 1262 190510 837828 | 2147483647 307955 57 | 0.000 % |
7548.16/7550.34 c | 1136952 | 1262 190510 837828 | 2147483647 312778 57 | 0.000 % |
7607.34/7609.54 c | 1142257 | 1262 190510 837828 | 315826 262381 58 | 0.000 % |
7656.82/7659.09 c | 1148093 | 1262 190510 837828 | 315826 268217 58 | 0.000 % |
7706.71/7708.91 c | 1154511 | 1262 190510 837828 | 270125 218397 58 | 0.000 % |
7743.70/7745.97 c | 1161571 | 1262 190510 837828 | 2147483647 225457 59 | 0.000 % |
7809.28/7811.51 c | 1169336 | 1262 190510 837828 | 2147483647 233222 59 | 0.000 % |
7870.87/7873.17 c | 1177876 | 1262 190510 837828 | 2147483647 241762 59 | 0.000 % |
7931.25/7933.50 c | 1187270 | 1262 190510 837828 | 2147483647 251156 58 | 0.000 % |
7980.54/7982.84 c | 1197603 | 1262 190510 837828 | 2147483647 261489 58 | 0.000 % |
7981.04/7983.32 c | 1197705 | 1262 190510 837828 | 2147483647 261591 58 | 0.000 % |
7981.54/7983.88 c | 1197815 | 1262 190510 837828 | 2147483647 261701 58 | 0.000 % |
7982.14/7984.45 c | 1197938 | 1262 190510 837828 | 2147483647 261824 58 | 0.000 % |
7982.74/7985.06 c | 1198072 | 1262 190510 837828 | 2147483647 261958 58 | 0.000 % |
7984.14/7986.46 c | 1198218 | 1262 190510 837828 | 2147483647 262104 58 | 0.000 % |
7985.64/7987.97 c | 1198378 | 1262 190510 837828 | 2147483647 262264 58 | 0.000 % |
7987.14/7989.45 c | 1198555 | 1262 190510 837828 | 2147483647 262441 58 | 0.000 % |
7988.94/7991.20 c | 1198748 | 1262 190510 837828 | 2147483647 262634 58 | 0.000 % |
7990.34/7992.62 c | 1198964 | 1262 190510 837828 | 2147483647 262850 58 | 0.000 % |
7992.14/7994.44 c | 1199198 | 1262 190510 837828 | 2147483647 263084 58 | 0.000 % |
7993.13/7995.49 c | 1199455 | 1262 190510 837828 | 2147483647 263341 58 | 0.000 % |
7994.33/7996.64 c | 1199740 | 1262 190510 837828 | 2147483647 263626 58 | 0.000 % |
7995.43/7997.73 c | 1200050 | 1262 190510 837828 | 2147483647 263936 58 | 0.000 % |
7999.03/8001.30 c | 1200389 | 1262 190510 837828 | 2147483647 264275 58 | 0.000 % |
8001.13/8003.44 c | 1200764 | 1262 190510 837828 | 2147483647 264650 58 | 0.000 % |
8004.53/8006.85 c | 1201173 | 1262 190510 837828 | 2147483647 265059 58 | 0.000 % |
8007.63/8009.96 c | 1201622 | 1262 190510 837828 | 2147483647 265508 58 | 0.000 % |
8010.83/8013.17 c | 1202115 | 1262 190510 837828 | 2147483647 266001 58 | 0.000 % |
8013.93/8016.29 c | 1202657 | 1262 190510 837828 | 2147483647 266543 58 | 0.000 % |
8017.13/8019.44 c | 1203253 | 1262 190510 837828 | 2147483647 267139 58 | 0.000 % |
8021.03/8023.37 c | 1203908 | 1262 190510 837828 | 2147483647 267794 58 | 0.000 % |
8024.53/8026.86 c | 1204628 | 1262 190510 837828 | 2147483647 268514 58 | 0.000 % |
8029.82/8032.19 c | 1205422 | 1262 190510 837828 | 2147483647 269308 58 | 0.000 % |
8034.02/8036.36 c | 1206294 | 1262 190510 837828 | 2147483647 270180 58 | 0.000 % |
8039.12/8041.45 c | 1207253 | 1262 190510 837828 | 2147483647 271139 58 | 0.000 % |
8044.62/8046.96 c | 1208310 | 1262 190510 837828 | 2147483647 272196 58 | 0.000 % |
8054.22/8056.51 c | 1209470 | 1262 190510 837828 | 2147483647 273356 58 | 0.000 % |
8065.91/8068.25 c | 1210744 | 1262 190510 837828 | 2147483647 274630 58 | 0.000 % |
8073.41/8075.71 c | 1212144 | 1262 190510 837828 | 2147483647 276030 58 | 0.000 % |
8085.90/8088.27 c | 1213684 | 1262 190510 837828 | 2147483647 277570 58 | 0.000 % |
8097.60/8099.91 c | 1215380 | 1262 190510 837828 | 2147483647 279266 58 | 0.000 % |
8111.20/8113.50 c | 1217244 | 1262 190510 837828 | 2147483647 281130 58 | 0.000 % |
8123.40/8125.79 c | 1219294 | 1262 190510 837828 | 2147483647 283180 58 | 0.000 % |
8134.19/8136.53 c | 1221552 | 1262 190510 837828 | 2147483647 285438 58 | 0.001 % |
8153.49/8155.81 c | 1224031 | 1262 190510 837828 | 2147483647 287917 58 | 0.000 % |
8172.78/8175.15 c | 1226757 | 1262 190510 837828 | 2147483647 290643 58 | 0.000 % |
8193.37/8195.76 c | 1229755 | 1262 190510 837828 | 2147483647 293641 58 | 0.000 % |
8208.97/8211.30 c | 1233053 | 1262 190510 837828 | 2147483647 296939 58 | 0.000 % |
8237.66/8240.07 c | 1236679 | 1262 190510 837828 | 2147483647 300565 58 | 0.000 % |
8272.35/8274.78 c | 1240667 | 1262 190510 837828 | 2147483647 304553 58 | 0.000 % |
8311.64/8314.06 c | 1245054 | 1262 190510 837828 | 2147483647 308940 58 | 0.000 % |
8352.13/8354.52 c | 1249877 | 1262 190510 837828 | 2147483647 313763 58 | 0.000 % |
8394.43/8396.86 c | 1255182 | 1262 190510 837828 | 2147483647 319068 58 | 0.000 % |
8441.01/8443.41 c | 1261018 | 1262 190510 837828 | 2147483647 324904 59 | 0.000 % |
8493.90/8496.33 c | 1267436 | 1262 190510 837828 | 2147483647 331322 59 | 0.000 % |
8546.98/8549.45 c | 1274496 | 1262 190510 837828 | 2147483647 338382 59 | 0.000 % |
8590.67/8593.17 c | 1282261 | 1262 190510 837828 | 2147483647 346147 59 | 0.000 % |
8642.36/8644.87 c | 1290801 | 1262 190510 837828 | 2147483647 354687 58 | 0.000 % |
8708.44/8710.94 c | 1300195 | 1262 190510 837828 | 2147483647 364081 58 | 0.000 % |
8773.92/8776.49 c | 1310532 | 1262 190510 837828 | 2147483647 374418 58 | 0.000 % |
8872.59/8875.18 c | 1321900 | 1262 190510 837828 | 2147483647 385786 58 | 0.000 % |
8873.69/8876.29 c | 1322001 | 1262 190510 837828 | 2147483647 385887 58 | 0.000 % |
8875.19/8877.73 c | 1322111 | 1262 190510 837828 | 2147483647 385997 58 | 0.000 % |
8876.59/8879.17 c | 1322232 | 1262 190510 837828 | 2147483647 386118 58 | 0.000 % |
8877.79/8880.34 c | 1322369 | 1262 190510 837828 | 2147483647 386255 58 | 0.000 % |
8879.49/8882.09 c | 1322523 | 1262 190510 837828 | 2147483647 386409 58 | 0.000 % |
8881.39/8883.97 c | 1322686 | 1262 190510 837828 | 2147483647 386572 58 | 0.000 % |
8882.98/8885.58 c | 1322864 | 1262 190510 837828 | 2147483647 386750 58 | 0.000 % |
8884.68/8887.29 c | 1323057 | 1262 190510 837828 | 2147483647 386943 58 | 0.000 % |
8887.38/8889.94 c | 1323270 | 1262 190510 837828 | 2147483647 387156 58 | 0.000 % |
8889.48/8892.01 c | 1323503 | 1262 190510 837828 | 2147483647 387389 58 | 0.000 % |
8892.98/8895.59 c | 1323759 | 1262 190510 837828 | 2147483647 387645 58 | 0.000 % |
8895.98/8898.55 c | 1324041 | 1262 190510 837828 | 2147483647 387927 58 | 0.000 % |
8899.88/8902.46 c | 1324351 | 1262 190510 837828 | 2147483647 388237 58 | 0.000 % |
8903.28/8905.89 c | 1324690 | 1262 190510 837828 | 2147483647 388576 58 | 0.000 % |
8907.58/8910.14 c | 1325063 | 1262 190510 837828 | 2147483647 388949 58 | 0.000 % |
8911.37/8913.93 c | 1325472 | 1262 190510 837828 | 2147483647 389358 58 | 0.000 % |
8917.17/8919.71 c | 1325924 | 1262 190510 837828 | 2147483647 389810 58 | 0.000 % |
8921.87/8924.49 c | 1326417 | 1262 190510 837828 | 2147483647 390303 58 | 0.000 % |
8927.77/8930.32 c | 1326959 | 1262 190510 837828 | 2147483647 390845 58 | 0.000 % |
8933.77/8936.35 c | 1327555 | 1262 190510 837828 | 2147483647 391441 58 | 0.000 % |
8942.26/8944.81 c | 1328210 | 1262 190510 837828 | 2147483647 392096 58 | 0.000 % |
8949.66/8952.27 c | 1328932 | 1262 190510 837828 | 2147483647 392818 58 | 0.000 % |
8958.37/8960.90 c | 1329724 | 1262 190510 837828 | 2147483647 393610 58 | 0.000 % |
8968.36/8970.95 c | 1330597 | 1262 190510 837828 | 393886 332105 58 | 0.000 % |
8979.06/8981.67 c | 1331555 | 1262 190510 837828 | 393886 333063 58 | 0.000 % |
8990.96/8993.50 c | 1332609 | 1262 190510 837828 | 393886 334117 58 | 0.000 % |
9002.06/9004.60 c | 1333768 | 1262 190510 837828 | 393886 335276 58 | 0.000 % |
9013.45/9016.09 c | 1335043 | 1262 190510 837828 | 393886 336551 58 | 0.000 % |
9025.55/9028.12 c | 1336443 | 1262 190510 837828 | 393886 337951 58 | 0.000 % |
9035.44/9038.09 c | 1337983 | 1262 190510 837828 | 393886 339491 58 | 0.000 % |
9046.04/9048.61 c | 1339680 | 1262 190510 837828 | 393886 341188 58 | 0.000 % |
9058.74/9061.32 c | 1341543 | 1262 190510 837828 | 341509 306894 58 | 0.000 % |
9072.93/9075.50 c | 1343595 | 1262 190510 837828 | 341509 308946 58 | 0.000 % |
9089.93/9092.60 c | 1345849 | 1262 190510 837828 | 341509 311200 58 | 0.000 % |
9101.92/9104.59 c | 1348327 | 1262 190510 837828 | 341509 313678 58 | 0.000 % |
9123.12/9125.71 c | 1351054 | 1262 190510 837828 | 2147483647 316405 58 | 0.000 % |
9144.31/9146.96 c | 1354051 | 1262 190510 837828 | 2147483647 319402 58 | 0.000 % |
9166.70/9169.40 c | 1357347 | 1262 190510 837828 | 2147483647 322698 58 | 0.000 % |
9184.10/9186.77 c | 1360972 | 1262 190510 837828 | 2147483647 326323 58 | 0.000 % |
9204.09/9206.74 c | 1364960 | 1262 190510 837828 | 2147483647 330311 58 | 0.000 % |
9230.49/9233.13 c | 1369345 | 1262 190510 837828 | 2147483647 334696 58 | 0.000 % |
9258.38/9261.07 c | 1374171 | 1262 190510 837828 | 2147483647 339522 58 | 0.000 % |
9287.67/9290.34 c | 1379478 | 1262 190510 837828 | 2147483647 344829 58 | 0.000 % |
9333.07/9335.73 c | 1385315 | 1262 190510 837828 | 2147483647 350666 58 | 0.000 % |
9388.55/9391.28 c | 1391733 | 1262 190510 837828 | 2147483647 357084 58 | 0.000 % |
9443.23/9445.90 c | 1398795 | 1262 190510 837828 | 2147483647 364146 58 | 0.000 % |
9488.92/9491.65 c | 1406560 | 1262 190510 837828 | 2147483647 371911 58 | 0.000 % |
9560.21/9562.93 c | 1415101 | 1262 190510 837828 | 2147483647 380452 58 | 0.000 % |
9632.88/9635.61 c | 1424495 | 1262 190510 837828 | 2147483647 389846 58 | 0.000 % |
9686.37/9689.15 c | 1434829 | 1262 190510 837828 | 2147483647 400180 58 | 0.000 % |
9753.16/9755.92 c | 1446197 | 1262 190510 837828 | 2147483647 411548 58 | 0.000 % |
9878.11/9880.94 c | 1458699 | 1262 190510 837828 | 2147483647 424050 58 | 0.000 % |
9879.62/9882.49 c | 1458802 | 1262 190510 837828 | 2147483647 424153 58 | 0.000 % |
9881.21/9884.01 c | 1458912 | 1262 190510 837828 | 2147483647 424263 58 | 0.000 % |
9883.02/9885.82 c | 1459033 | 1262 190510 837828 | 2147483647 424384 58 | 0.000 % |
9884.71/9887.54 c | 1459167 | 1262 190510 837828 | 2147483647 424518 58 | 0.000 % |
9885.81/9888.67 c | 1459313 | 1262 190510 837828 | 2147483647 424664 58 | 0.000 % |
9887.51/9890.32 c | 1459474 | 1262 190510 837828 | 2147483647 424825 58 | 0.000 % |
9889.31/9892.18 c | 1459651 | 1262 190510 837828 | 2147483647 425002 58 | 0.000 % |
9892.11/9894.96 c | 1459844 | 1262 190510 837828 | 2147483647 425195 58 | 0.000 % |
9895.11/9897.90 c | 1460059 | 1262 190510 837828 | 425352 425410 58 | 0.000 % |
9902.71/9905.57 c | 1460293 | 1262 190510 837828 | 425352 303575 57 | 0.000 % |
9904.41/9907.25 c | 1460549 | 1262 190510 837828 | 425352 303831 57 | 0.000 % |
9907.41/9910.21 c | 1460830 | 1262 190510 837828 | 425352 304112 57 | 0.000 % |
9909.60/9912.43 c | 1461139 | 1262 190510 837828 | 425352 304421 57 | 0.000 % |
9912.40/9915.28 c | 1461478 | 1262 190510 837828 | 425352 304760 57 | 0.000 % |
9915.10/9917.99 c | 1461851 | 1262 190510 837828 | 425352 305133 57 | 0.000 % |
9917.20/9920.07 c | 1462261 | 1262 190510 837828 | 425352 305543 58 | 0.000 % |
9920.41/9923.27 c | 1462713 | 1262 190510 837828 | 425352 305995 58 | 0.000 % |
9925.50/9928.31 c | 1463207 | 1262 190510 837828 | 425352 306489 58 | 0.000 % |
9930.60/9933.47 c | 1463749 | 1262 190510 837828 | 425352 307031 58 | 0.000 % |
9935.90/9938.73 c | 1464346 | 1262 190510 837828 | 425352 307628 58 | 0.000 % |
9940.60/9943.40 c | 1465001 | 1262 190510 837828 | 425352 308283 58 | 0.000 % |
9946.70/9949.55 c | 1465721 | 1262 190510 837828 | 425352 309003 58 | 0.000 % |
9952.30/9955.17 c | 1466514 | 1262 190510 837828 | 425352 309796 58 | 0.000 % |
9957.90/9960.80 c | 1467389 | 1262 190510 837828 | 425352 310671 58 | 0.000 % |
9965.70/9968.57 c | 1468349 | 1262 190510 837828 | 425352 311631 58 | 0.000 % |
9972.60/9975.49 c | 1469402 | 1262 190510 837828 | 425352 312684 58 | 0.000 % |
9980.90/9983.73 c | 1470566 | 1262 190510 837828 | 2147483647 313848 58 | 0.000 % |
9990.39/9993.24 c | 1471839 | 1262 190510 837828 | 2147483647 315121 58 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837528-1242876967/watcher-1837528-1242876967 -o /tmp/evaluation-result-1837528-1242876967/solver-1837528-1242876967 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837528-1242876967.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: 1.00 1.00 1.00 3/64 16706
/proc/meminfo: memFree=1794984/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=0
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315724919 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16706/statm: 1339 237 197 169 0 50 0
[startup+0.101998 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16706
/proc/meminfo: memFree=1794984/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=0
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315724919 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16706/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.202008 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16706
/proc/meminfo: memFree=1794984/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=0
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315724919 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16706/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302019 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16706
/proc/meminfo: memFree=1794984/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=0
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315724919 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16706/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701063 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16706
/proc/meminfo: memFree=1794984/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=0
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315724919 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16706/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50115 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16711
/proc/meminfo: memFree=1774552/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=0
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315724919 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16706/statm: 1339 237 197 169 0 50 0
[pid=16710] ppid=16706 vsize=22168 CPUtime=1.49
/proc/16710/stat : 16710 (SatELite_releas) R 16706 16706 16669 0 -1 4194304 4839 0 0 0 146 3 0 0 25 0 1 0 315724920 22700032 4825 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/16710/statm: 5542 4825 76 173 0 5367 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27524
[startup+3.10234 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16711
/proc/meminfo: memFree=1774424/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 5356
[startup+6.30168 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 16712
/proc/meminfo: memFree=1777696/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=12640 CPUtime=3.23
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 3025 0 0 0 322 1 0 0 25 0 1 0 315725224 12943360 3011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 3160 3011 77 171 0 2987 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17996
[startup+12.7014 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 16712
/proc/meminfo: memFree=1775080/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=15172 CPUtime=9.63
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 3672 0 0 0 961 2 0 0 25 0 1 0 315725224 15536128 3658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 3793 3658 77 171 0 3620 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20528
[startup+25.5018 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 16712
/proc/meminfo: memFree=1772648/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=17664 CPUtime=22.43
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 4271 0 0 0 2241 2 0 0 25 0 1 0 315725224 18087936 4257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 4416 4257 77 171 0 4243 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23020
[startup+51.1016 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 16712
/proc/meminfo: memFree=1769640/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=20876 CPUtime=48.01
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 5047 0 0 0 4797 4 0 0 25 0 1 0 315725224 21377024 5033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 5219 5033 77 171 0 5046 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 26232
[startup+102.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 16712
/proc/meminfo: memFree=1765800/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=24608 CPUtime=99.19
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 5974 0 0 0 9914 5 0 0 25 0 1 0 315725224 25198592 5960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 6152 5960 77 171 0 5979 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 29964
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16712
/proc/meminfo: memFree=1761704/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=28836 CPUtime=159.16
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 7003 0 0 0 15911 5 0 0 25 0 1 0 315725224 29528064 6989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 7209 6989 77 171 0 7036 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 34192
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16712
/proc/meminfo: memFree=1759528/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=30944 CPUtime=219.15
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 7529 0 0 0 21909 6 0 0 25 0 1 0 315725224 31686656 7515 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 7736 7515 77 171 0 7563 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 36300
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16712
/proc/meminfo: memFree=1758888/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=31632 CPUtime=279.13
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 7690 0 0 0 27906 7 0 0 25 0 1 0 315725224 32391168 7676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 7908 7676 77 171 0 7735 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 36988
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16712
/proc/meminfo: memFree=1758696/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=31808 CPUtime=339.11
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 7723 0 0 0 33904 7 0 0 25 0 1 0 315725224 32571392 7709 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 7952 7709 77 171 0 7779 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 37164
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16712
/proc/meminfo: memFree=1758120/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=32352 CPUtime=399.09
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 7849 0 0 0 39902 7 0 0 25 0 1 0 315725224 33128448 7835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 8088 7835 77 171 0 7915 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 37708
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16712
/proc/meminfo: memFree=1757416/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
################
# More data... #
################
/proc/16712/statm: 37062 35587 77 171 0 36889 0
Current children cumulated CPU time (s) 9339.67
Current children cumulated vsize (KiB) 153604
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1642280/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=148248 CPUtime=9396.61
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 35686 0 0 0 939607 54 0 0 25 0 1 0 315725224 151805952 35595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 37062 35595 77 171 0 36889 0
Current children cumulated CPU time (s) 9399.65
Current children cumulated vsize (KiB) 153604
[startup+9462.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1642216/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=148248 CPUtime=9456.59
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 35697 0 0 0 945605 54 0 0 25 0 1 0 315725224 151805952 35606 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 37062 35606 77 171 0 36889 0
Current children cumulated CPU time (s) 9459.63
Current children cumulated vsize (KiB) 153604
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1642088/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=148328 CPUtime=9516.57
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 35720 0 0 0 951603 54 0 0 25 0 1 0 315725224 151887872 35629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 37082 35629 77 171 0 36909 0
Current children cumulated CPU time (s) 9519.61
Current children cumulated vsize (KiB) 153684
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1641704/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=148816 CPUtime=9576.56
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 35817 0 0 0 957601 55 0 0 25 0 1 0 315725224 152387584 35726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 37204 35726 77 171 0 37031 0
Current children cumulated CPU time (s) 9579.6
Current children cumulated vsize (KiB) 154172
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1641064/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=149480 CPUtime=9636.54
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 35966 0 0 0 963599 55 0 0 25 0 1 0 315725224 153067520 35875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 37370 35875 77 171 0 37197 0
Current children cumulated CPU time (s) 9639.58
Current children cumulated vsize (KiB) 154836
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1639976/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=150536 CPUtime=9696.53
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 36232 0 0 0 969597 56 0 0 25 0 1 0 315725224 154148864 36141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 37634 36141 77 171 0 37461 0
Current children cumulated CPU time (s) 9699.57
Current children cumulated vsize (KiB) 155892
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1637544/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=152912 CPUtime=9756.51
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 36843 0 0 0 975594 57 0 0 25 0 1 0 315725224 156581888 36752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 38228 36752 77 171 0 38055 0
Current children cumulated CPU time (s) 9759.55
Current children cumulated vsize (KiB) 158268
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1635944/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=154364 CPUtime=9816.49
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 37224 0 0 0 981592 57 0 0 25 0 1 0 315725224 158068736 37133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 38591 37133 77 171 0 38418 0
Current children cumulated CPU time (s) 9819.53
Current children cumulated vsize (KiB) 159720
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1634344/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=156200 CPUtime=9876.47
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 37627 0 0 0 987590 57 0 0 25 0 1 0 315725224 159948800 37536 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 39050 37536 77 171 0 38877 0
Current children cumulated CPU time (s) 9879.51
Current children cumulated vsize (KiB) 161556
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1633704/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=156860 CPUtime=9936.46
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 37767 0 0 0 993589 57 0 0 25 0 1 0 315725224 160624640 37676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 39215 37676 77 171 0 39042 0
Current children cumulated CPU time (s) 9939.5
Current children cumulated vsize (KiB) 162216
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1633512/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=157072 CPUtime=9996.45
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 37810 0 0 0 999587 58 0 0 25 0 1 0 315725224 160841728 37719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 39268 37719 77 171 0 39095 0
Current children cumulated CPU time (s) 9999.49
Current children cumulated vsize (KiB) 162428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16736
/proc/meminfo: memFree=1633512/2055920 swapFree=4178792/4192956
[pid=16706] ppid=16704 vsize=5356 CPUtime=3.04
/proc/16706/stat : 16706 (SatELiteGTI) S 16704 16706 16669 0 -1 4194304 336 5091 0 0 0 0 299 5 16 0 1 0 315724919 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16706/statm: 1339 239 197 169 0 50 0
[pid=16712] ppid=16706 vsize=157072 CPUtime=9997.05
/proc/16712/stat : 16712 (minisat_static) R 16706 16706 16669 0 -1 4194304 37810 0 0 0 999647 58 0 0 25 0 1 0 315725224 160841728 37719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16712/statm: 39268 37719 77 171 0 39095 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 162428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16706 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=995544
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=55991
# CPU time returned by wait4() is 3.05153
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9999.46
CPU system time (s): 0.63
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 162428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.99554
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5427
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= 13
involuntary context switches= 15
runsolver used 10.9323 second user time and 25.5961 second system time
The end
Begin job on node42 at 2009-05-21 05:36:07
IDJOB=1837528
IDBENCH=71080
IDSOLVER=674
FILE ID=node42/1837528-1242876967
PBS_JOBID= 9328634
Free space on /tmp= 66316 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837528-1242876967/watcher-1837528-1242876967 -o /tmp/evaluation-result-1837528-1242876967/solver-1837528-1242876967 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837528-1242876967.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 54c22a62e5d0a640d4ea8d185b9b1fc7
RANDOM SEED=904524766
node42.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.232
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1795472 kB
Buffers: 44936 kB
Cached: 164408 kB
SwapCached: 8800 kB
Active: 39488 kB
Inactive: 180276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1795472 kB
SwapTotal: 4192956 kB
SwapFree: 4178792 kB
Dirty: 4904 kB
Writeback: 0 kB
Mapped: 14432 kB
Slab: 26780 kB
Committed_AS: 1144720 kB
PageTables: 1396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node42 at 2009-05-21 08:22:52