0.00/0.00 c Parsing...
0.00/0.19 c ==============================================================================
0.00/0.19 c | | ORIGINAL | LEARNT | |
0.00/0.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.19 c ==============================================================================
0.00/0.19 c | 0 | 226528 587013 | 67958 0 0 nan | 0.000 % |
1.18/1.25 c | 0 | 163587 553632 | -- 0 -- -- | -- | -62941/-33381
1.18/1.25 c ==============================================================================
1.18/1.25 c Result : #vars: 28546 #clauses: 163587 #literals: 553632
1.18/1.25 c CPU time: 1.19482 s
1.18/1.25 c ==============================================================================
1.38/1.46 c This is MiniSat 2.0 beta
1.38/1.46 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.46 c ============================[ Problem Statistics ]=============================
1.38/1.46 c | |
1.38/1.46 c | Number of variables: 28546 |
1.38/1.46 c | Number of clauses: 163587 |
1.45/1.56 c | Parsing time: 0.08 s |
1.45/1.57 c ============================[ Search Statistics ]==============================
1.45/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.45/1.57 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.45/1.57 c ===============================================================================
1.45/1.57 c | 0 | 28546 163587 553632 | 54529 0 nan | 0.000 % |
1.45/1.63 c | 100 | 28540 163587 553632 | 54529 94 9 | 0.032 % |
1.45/2.05 c | 200 | 28540 163587 553632 | 54529 194 50 | 0.032 % |
2.68/2.71 c | 300 | 28540 163587 553632 | 54529 294 69 | 0.032 % |
3.18/3.28 c | 410 | 28537 163514 553414 | 54529 398 87 | 0.032 % |
3.77/3.87 c | 510 | 28537 163514 553414 | 54529 498 98 | 0.032 % |
4.17/4.27 c | 620 | 28537 163514 553414 | 54529 608 93 | 0.032 % |
4.88/4.99 c | 741 | 28537 163514 553414 | 54529 729 99 | 0.032 % |
5.27/5.39 c | 842 | 28537 163514 553414 | 54529 830 99 | 0.032 % |
6.17/6.20 c | 953 | 28537 163514 553414 | 54529 941 103 | 0.032 % |
6.67/6.70 c | 1075 | 28537 163514 553414 | 54529 1063 94 | 0.032 % |
7.27/7.38 c | 1208 | 28535 163489 553337 | 54529 1194 93 | 0.039 % |
7.68/7.76 c | 1308 | 28532 163471 553288 | 54529 1293 91 | 0.049 % |
7.87/7.97 c | 1420 | 28530 163471 553288 | 54529 1404 88 | 0.056 % |
7.97/8.03 c | 1542 | 28530 163471 553288 | 54529 1526 82 | 0.056 % |
8.27/8.35 c | 1675 | 28528 163471 553288 | 54529 1658 81 | 0.063 % |
8.87/8.94 c | 1821 | 28528 163471 553288 | 54529 1804 84 | 0.063 % |
9.37/9.47 c | 1921 | 28528 163451 553238 | 54529 1904 84 | 0.063 % |
9.88/9.93 c | 2033 | 28528 163451 553238 | 54529 2016 85 | 0.063 % |
10.47/10.51 c | 2155 | 28528 163451 553238 | 54529 2138 86 | 0.063 % |
10.87/10.99 c | 2288 | 28528 163451 553238 | 54529 2271 87 | 0.063 % |
11.97/12.03 c | 2434 | 28528 163451 553238 | 54529 2417 82 | 0.063 % |
13.08/13.17 c | 2595 | 28528 163451 553238 | 54529 2578 86 | 0.063 % |
13.88/13.99 c | 2695 | 28528 163451 553238 | 54529 2678 90 | 0.063 % |
14.88/14.97 c | 2805 | 28524 163419 553139 | 54529 2786 93 | 0.077 % |
15.87/15.93 c | 2927 | 28524 163419 553139 | 54529 2908 96 | 0.077 % |
16.88/16.96 c | 3060 | 28524 163419 553139 | 54529 3041 93 | 0.077 % |
17.87/17.93 c | 3206 | 28524 163419 553139 | 54529 3187 96 | 0.077 % |
18.97/19.03 c | 3367 | 28524 163419 553139 | 54529 3348 92 | 0.077 % |
20.07/20.11 c | 3544 | 28524 163419 553139 | 54529 3525 94 | 0.077 % |
20.78/20.83 c | 3644 | 28524 163419 553139 | 54529 3625 96 | 0.077 % |
20.88/20.95 c | 3755 | 28524 163419 553139 | 54529 3736 94 | 0.077 % |
21.27/21.34 c | 3877 | 28524 163419 553139 | 54529 3858 92 | 0.077 % |
21.27/21.38 c | 4010 | 28524 163419 553139 | 54529 3991 89 | 0.077 % |
21.37/21.40 c | 4156 | 28524 163419 553139 | 54529 4137 86 | 0.077 % |
22.57/22.68 c | 4316 | 28524 163419 553139 | 54529 4297 84 | 0.077 % |
23.57/23.67 c | 4492 | 28524 163419 553139 | 54529 4473 85 | 0.077 % |
25.37/25.48 c | 4686 | 28524 163419 553139 | 54529 4667 88 | 0.077 % |
25.97/26.02 c | 4787 | 28524 163419 553139 | 54529 4768 89 | 0.077 % |
26.37/26.43 c | 4897 | 28520 163387 553040 | 54529 4876 89 | 0.091 % |
27.27/27.36 c | 5019 | 28520 163387 553040 | 54529 4998 90 | 0.091 % |
27.77/27.82 c | 5152 | 28520 163387 553040 | 54529 5131 89 | 0.091 % |
28.27/28.37 c | 5298 | 28520 163387 553040 | 54529 5277 89 | 0.091 % |
29.67/29.76 c | 5458 | 28520 163387 553040 | 54529 5437 92 | 0.091 % |
30.97/31.07 c | 5634 | 28520 163387 553040 | 54529 5613 90 | 0.091 % |
32.17/32.26 c | 5827 | 28520 163387 553040 | 54529 5806 91 | 0.091 % |
33.27/33.33 c | 6040 | 28520 163387 553040 | 54529 6019 91 | 0.091 % |
33.67/33.78 c | 6140 | 28520 163387 553040 | 54529 6119 90 | 0.091 % |
34.57/34.67 c | 6252 | 28520 163387 553040 | 54529 6231 91 | 0.091 % |
35.47/35.51 c | 6374 | 28520 163387 553040 | 54529 6353 90 | 0.091 % |
35.47/35.59 c | 6507 | 28520 163387 553040 | 54529 6486 89 | 0.091 % |
35.87/35.91 c | 6655 | 28520 163387 553040 | 54529 6634 87 | 0.091 % |
36.07/36.13 c | 6815 | 28520 163387 553040 | 54529 6794 86 | 0.091 % |
36.37/36.42 c | 6992 | 28510 163382 553028 | 54529 6968 85 | 0.126 % |
37.37/37.44 c | 7186 | 28510 163382 553028 | 54529 7162 86 | 0.126 % |
38.07/38.17 c | 7399 | 28510 163382 553028 | 54529 7375 85 | 0.126 % |
38.97/39.07 c | 7632 | 28510 163340 552920 | 54529 7605 86 | 0.126 % |
39.27/39.32 c | 7732 | 28510 163340 552920 | 54529 7705 85 | 0.126 % |
39.67/39.75 c | 7842 | 28510 163340 552920 | 54529 7815 85 | 0.126 % |
40.17/40.28 c | 7963 | 28510 163340 552920 | 54529 7936 85 | 0.126 % |
40.77/40.80 c | 8097 | 28506 163323 552876 | 54529 8069 85 | 0.140 % |
41.57/41.69 c | 8244 | 28506 163323 552876 | 54529 8216 85 | 0.140 % |
42.26/42.37 c | 8405 | 28506 163323 552876 | 54529 8377 85 | 0.140 % |
43.46/43.56 c | 8581 | 28506 163323 552876 | 54529 8553 87 | 0.140 % |
44.76/44.89 c | 8774 | 28506 163323 552876 | 54529 8746 86 | 0.140 % |
45.66/45.76 c | 8986 | 28506 163323 552876 | 54529 8958 86 | 0.140 % |
46.76/46.87 c | 9220 | 28506 163323 552876 | 54529 9192 87 | 0.140 % |
48.76/48.87 c | 9476 | 28506 163323 552876 | 54529 9448 89 | 0.140 % |
49.26/49.38 c | 9576 | 28506 163323 552876 | 54529 9548 89 | 0.140 % |
50.06/50.14 c | 9687 | 28506 163323 552876 | 54529 9659 90 | 0.140 % |
50.26/50.35 c | 9809 | 28506 163323 552876 | 54529 9781 90 | 0.140 % |
50.66/50.71 c | 9943 | 28506 163323 552876 | 54529 9915 89 | 0.140 % |
51.36/51.49 c | 10089 | 28506 163323 552876 | 2147483647 10061 90 | 0.140 % |
51.97/52.06 c | 10250 | 28506 163323 552876 | 2147483647 10222 90 | 0.140 % |
52.87/52.91 c | 10426 | 28506 163323 552876 | 2147483647 10398 89 | 0.140 % |
53.87/53.99 c | 10620 | 28506 163323 552876 | 2147483647 10592 90 | 0.140 % |
54.87/55.00 c | 10832 | 28506 163323 552876 | 2147483647 10804 90 | 0.140 % |
56.26/56.33 c | 11069 | 28506 163323 552876 | 2147483647 11041 91 | 0.140 % |
56.86/56.97 c | 11326 | 28506 163323 552876 | 2147483647 11298 89 | 0.140 % |
58.66/58.79 c | 11610 | 28506 163323 552876 | 2147483647 11582 90 | 0.140 % |
59.46/59.53 c | 11711 | 28506 163323 552876 | 2147483647 11683 91 | 0.140 % |
59.86/59.93 c | 11821 | 28506 163323 552876 | 2147483647 11793 91 | 0.140 % |
60.66/60.71 c | 11943 | 28506 163323 552876 | 2147483647 11915 91 | 0.140 % |
61.66/61.72 c | 12077 | 28506 163323 552876 | 2147483647 12049 90 | 0.140 % |
62.56/62.67 c | 12223 | 28506 163323 552876 | 2147483647 12195 90 | 0.140 % |
63.36/63.45 c | 12384 | 28506 163323 552876 | 2147483647 12356 90 | 0.140 % |
64.06/64.15 c | 12560 | 28506 163323 552876 | 2147483647 12532 90 | 0.140 % |
64.96/65.03 c | 12754 | 28506 163323 552876 | 2147483647 12726 91 | 0.140 % |
65.46/65.56 c | 12966 | 28506 163323 552876 | 2147483647 12938 90 | 0.140 % |
66.06/66.18 c | 13200 | 28506 163323 552876 | 2147483647 13172 89 | 0.140 % |
67.56/67.68 c | 13457 | 28506 163323 552876 | 2147483647 13429 90 | 0.140 % |
69.05/69.17 c | 13738 | 28506 163323 552876 | 2147483647 13710 90 | 0.140 % |
69.85/69.91 c | 14047 | 28506 163323 552876 | 2147483647 14019 90 | 0.140 % |
70.36/70.49 c | 14147 | 28506 163323 552876 | 2147483647 14119 90 | 0.140 % |
71.25/71.35 c | 14257 | 28506 163323 552876 | 2147483647 14229 90 | 0.140 % |
71.96/72.06 c | 14379 | 28506 163323 552876 | 2147483647 14351 90 | 0.140 % |
72.57/72.69 c | 14512 | 28506 163323 552876 | 2147483647 14484 90 | 0.140 % |
72.66/72.77 c | 14659 | 28506 163323 552876 | 2147483647 14631 89 | 0.140 % |
73.66/73.79 c | 14819 | 28506 163323 552876 | 2147483647 14791 90 | 0.140 % |
74.46/74.59 c | 14995 | 28506 163323 552876 | 2147483647 14967 90 | 0.140 % |
75.06/75.18 c | 15189 | 28506 163323 552876 | 2147483647 15161 90 | 0.140 % |
76.06/76.18 c | 15401 | 28506 163323 552876 | 2147483647 15373 90 | 0.140 % |
76.56/76.67 c | 15634 | 28506 163323 552876 | 2147483647 15606 90 | 0.140 % |
77.96/78.02 c | 15890 | 28506 163323 552876 | 2147483647 15862 90 | 0.140 % |
78.76/78.89 c | 16172 | 28506 163323 552876 | 2147483647 16144 90 | 0.140 % |
81.06/81.18 c | 16482 | 28506 163323 552876 | 2147483647 16454 91 | 0.140 % |
82.66/82.78 c | 16822 | 28506 163323 552876 | 2147483647 16794 91 | 0.140 % |
83.56/83.61 c | 16922 | 28506 163323 552876 | 2147483647 16894 91 | 0.140 % |
83.86/83.99 c | 17032 | 28506 163323 552876 | 2147483647 17004 91 | 0.140 % |
84.66/84.73 c | 17154 | 28506 163323 552876 | 2147483647 17126 92 | 0.140 % |
84.96/85.10 c | 17287 | 28506 163323 552876 | 2147483647 17259 91 | 0.140 % |
85.76/85.82 c | 17433 | 28506 163323 552876 | 2147483647 17405 91 | 0.140 % |
86.35/86.47 c | 17593 | 28506 163323 552876 | 2147483647 17565 91 | 0.140 % |
87.15/87.24 c | 17770 | 28506 163323 552876 | 2147483647 17742 91 | 0.140 % |
88.15/88.27 c | 17965 | 28506 163323 552876 | 2147483647 17937 92 | 0.140 % |
89.25/89.39 c | 18178 | 28506 163323 552876 | 2147483647 18150 92 | 0.140 % |
90.05/90.18 c | 18412 | 28506 163323 552876 | 2147483647 18384 92 | 0.140 % |
91.25/91.37 c | 18668 | 28506 163323 552876 | 2147483647 18640 92 | 0.140 % |
93.06/93.14 c | 18950 | 28506 163323 552876 | 2147483647 18922 93 | 0.140 % |
94.65/94.75 c | 19259 | 28506 163323 552876 | 2147483647 19231 93 | 0.140 % |
96.85/96.97 c | 19599 | 28506 163323 552876 | 2147483647 19571 94 | 0.140 % |
98.75/98.80 c | 19971 | 28506 163323 552876 | 2147483647 19943 95 | 0.140 % |
99.25/99.31 c | 20072 | 28506 163323 552876 | 2147483647 20044 95 | 0.140 % |
99.85/100.00 c | 20182 | 28506 163323 552876 | 2147483647 20154 95 | 0.140 % |
100.65/100.78 c | 20303 | 28506 163323 552876 | 2147483647 20275 95 | 0.140 % |
101.45/101.52 c | 20436 | 28506 163323 552876 | 2147483647 20408 95 | 0.140 % |
102.45/102.53 c | 20583 | 28506 163323 552876 | 2147483647 20555 95 | 0.140 % |
103.05/103.15 c | 20744 | 28506 163323 552876 | 2147483647 20716 95 | 0.140 % |
104.35/104.44 c | 20920 | 28506 163323 552876 | 2147483647 20892 95 | 0.140 % |
105.34/105.43 c | 21117 | 28506 163323 552876 | 2147483647 21089 95 | 0.140 % |
106.24/106.34 c | 21332 | 28506 163323 552876 | 2147483647 21304 95 | 0.140 % |
107.54/107.68 c | 21566 | 28506 163323 552876 | 2147483647 21538 95 | 0.140 % |
108.85/108.90 c | 21822 | 28505 163318 552864 | 2147483647 21792 95 | 0.144 % |
110.25/110.34 c | 22103 | 28505 163318 552864 | 2147483647 22073 96 | 0.144 % |
112.15/112.30 c | 22412 | 28505 163318 552864 | 2147483647 22382 96 | 0.144 % |
113.75/113.90 c | 22751 | 28505 163318 552864 | 2147483647 22721 97 | 0.144 % |
115.75/115.85 c | 23123 | 28505 163318 552864 | 2147483647 23093 97 | 0.144 % |
117.65/117.75 c | 23533 | 28505 163318 552864 | 2147483647 23503 97 | 0.144 % |
118.15/118.25 c | 23633 | 28505 163318 552864 | 2147483647 23603 97 | 0.144 % |
118.75/118.87 c | 23743 | 28505 163318 552864 | 2147483647 23713 97 | 0.144 % |
119.25/119.36 c | 23864 | 28505 163318 552864 | 2147483647 23834 97 | 0.144 % |
119.75/119.86 c | 23998 | 28505 163318 552864 | 2147483647 23968 97 | 0.144 % |
120.74/120.88 c | 24145 | 28505 163318 552864 | 2147483647 24115 97 | 0.144 % |
121.64/121.78 c | 24306 | 28505 163318 552864 | 2147483647 24276 97 | 0.144 % |
122.44/122.50 c | 24483 | 28505 163318 552864 | 2147483647 24453 98 | 0.144 % |
123.74/123.87 c | 24676 | 28505 163318 552864 | 2147483647 24646 97 | 0.144 % |
124.64/124.77 c | 24889 | 28505 163318 552864 | 2147483647 24859 97 | 0.144 % |
126.04/126.20 c | 25123 | 28505 163318 552864 | 2147483647 25093 98 | 0.144 % |
127.34/127.43 c | 25380 | 28505 163318 552864 | 2147483647 25350 98 | 0.144 % |
128.54/128.65 c | 25662 | 28505 163318 552864 | 2147483647 25632 97 | 0.144 % |
131.24/131.32 c | 25972 | 28505 163318 552864 | 2147483647 25942 98 | 0.144 % |
132.84/132.90 c | 26312 | 28505 163318 552864 | 2147483647 26282 98 | 0.144 % |
135.34/135.44 c | 26686 | 28505 163318 552864 | 2147483647 26656 98 | 0.144 % |
137.74/137.82 c | 27096 | 28505 163318 552864 | 2147483647 27066 99 | 0.144 % |
140.04/140.17 c | 27546 | 28505 163318 552864 | 2147483647 27516 99 | 0.144 % |
140.33/140.47 c | 27646 | 28505 163318 552864 | 2147483647 27616 99 | 0.144 % |
141.13/141.23 c | 27757 | 28505 163318 552864 | 2147483647 27727 99 | 0.144 % |
141.53/141.64 c | 27878 | 28505 163318 552864 | 2147483647 27848 99 | 0.144 % |
142.84/142.95 c | 28012 | 28505 163318 552864 | 2147483647 27982 99 | 0.144 % |
143.73/143.89 c | 28159 | 28505 163318 552864 | 2147483647 28129 99 | 0.144 % |
145.04/145.20 c | 28320 | 28505 163318 552864 | 2147483647 28290 99 | 0.144 % |
146.33/146.41 c | 28496 | 28505 163318 552864 | 2147483647 28466 100 | 0.144 % |
147.63/147.76 c | 28690 | 28505 163318 552864 | 2147483647 28660 100 | 0.144 % |
149.33/149.42 c | 28902 | 28505 163318 552864 | 2147483647 28872 99 | 0.144 % |
150.74/150.86 c | 29135 | 28505 163318 552864 | 2147483647 29105 100 | 0.144 % |
152.44/152.55 c | 29393 | 28505 163318 552864 | 2147483647 29363 100 | 0.144 % |
154.73/154.81 c | 29674 | 28505 163318 552864 | 2147483647 29644 100 | 0.144 % |
156.33/156.43 c | 29985 | 28505 163318 552864 | 2147483647 29955 100 | 0.144 % |
159.03/159.17 c | 30324 | 28505 163318 552864 | 2147483647 30294 101 | 0.144 % |
160.73/160.85 c | 30697 | 28505 163318 552864 | 2147483647 30667 101 | 0.144 % |
162.73/162.82 c | 31106 | 28505 163318 552864 | 2147483647 31076 100 | 0.144 % |
165.93/166.03 c | 31555 | 28505 163318 552864 | 2147483647 31525 101 | 0.144 % |
167.63/167.80 c | 32048 | 28505 163318 552864 | 2147483647 32018 101 | 0.144 % |
167.93/168.04 c | 32148 | 28505 163318 552864 | 2147483647 32118 101 | 0.144 % |
168.33/168.49 c | 32260 | 28505 163318 552864 | 2147483647 32230 101 | 0.144 % |
169.03/169.14 c | 32381 | 28505 163318 552864 | 2147483647 32351 101 | 0.144 % |
169.63/169.77 c | 32514 | 28505 163318 552864 | 2147483647 32484 101 | 0.144 % |
170.63/170.74 c | 32661 | 28505 163318 552864 | 2147483647 32631 101 | 0.144 % |
171.43/171.57 c | 32821 | 28505 163318 552864 | 2147483647 32791 101 | 0.144 % |
172.42/172.57 c | 32999 | 28505 163318 552864 | 2147483647 32969 101 | 0.144 % |
173.63/173.70 c | 33192 | 28505 163318 552864 | 2147483647 33162 101 | 0.144 % |
175.22/175.32 c | 33405 | 28505 163318 552864 | 2147483647 33375 101 | 0.144 % |
175.52/175.69 c | 33638 | 28505 163318 552864 | 2147483647 33608 101 | 0.144 % |
177.22/177.36 c | 33894 | 28505 163318 552864 | 2147483647 33864 101 | 0.144 % |
178.52/178.69 c | 34175 | 28505 163318 552864 | 2147483647 34145 101 | 0.144 % |
180.22/180.38 c | 34485 | 28505 163318 552864 | 2147483647 34455 100 | 0.144 % |
182.93/183.09 c | 34825 | 28505 163318 552864 | 2147483647 34795 100 | 0.144 % |
185.92/186.06 c | 35198 | 28505 163318 552864 | 2147483647 35168 100 | 0.144 % |
187.93/188.07 c | 35608 | 28505 163318 552864 | 2147483647 35578 99 | 0.144 % |
191.52/191.62 c | 36057 | 28505 163318 552864 | 2147483647 36027 100 | 0.144 % |
193.92/194.02 c | 36552 | 28505 163318 552864 | 2147483647 36522 99 | 0.144 % |
197.92/198.01 c | 37094 | 28505 163318 552864 | 2147483647 37064 100 | 0.144 % |
198.61/198.77 c | 37196 | 28505 163318 552864 | 2147483647 37166 100 | 0.144 % |
199.11/199.20 c | 37306 | 28505 163318 552864 | 2147483647 37276 100 | 0.144 % |
200.12/200.25 c | 37427 | 28505 163318 552864 | 2147483647 37397 100 | 0.144 % |
201.11/201.20 c | 37560 | 28505 163318 552864 | 2147483647 37530 100 | 0.144 % |
202.11/202.20 c | 37707 | 28505 163318 552864 | 2147483647 37677 100 | 0.144 % |
203.21/203.30 c | 37867 | 28505 163318 552864 | 2147483647 37837 100 | 0.144 % |
203.81/203.92 c | 38045 | 28505 163318 552864 | 2147483647 38015 99 | 0.144 % |
205.01/205.10 c | 38238 | 28505 163318 552864 | 2147483647 38208 100 | 0.144 % |
206.61/206.80 c | 38451 | 28505 163318 552864 | 2147483647 38421 99 | 0.144 % |
207.91/208.09 c | 38685 | 28505 163318 552864 | 2147483647 38655 99 | 0.144 % |
209.61/209.75 c | 38941 | 28505 163318 552864 | 2147483647 38911 100 | 0.144 % |
210.60/210.79 c | 39222 | 28505 163318 552864 | 2147483647 39192 99 | 0.144 % |
212.80/212.91 c | 39531 | 28505 163318 552864 | 2147483647 39501 100 | 0.144 % |
214.70/214.85 c | 39870 | 28505 163318 552864 | 2147483647 39840 99 | 0.144 % |
216.90/217.00 c | 40243 | 28505 163318 552864 | 2147483647 40213 100 | 0.144 % |
218.90/219.00 c | 40653 | 28505 163318 552864 | 2147483647 40623 100 | 0.144 % |
223.00/223.16 c | 41103 | 28505 163318 552864 | 2147483647 41073 99 | 0.144 % |
226.20/226.37 c | 41597 | 28505 163318 552864 | 2147483647 41567 100 | 0.144 % |
229.60/229.76 c | 42140 | 28505 163318 552864 | 2147483647 42110 100 | 0.144 % |
232.90/233.09 c | 42736 | 28505 163318 552864 | 2147483647 42706 101 | 0.144 % |
233.80/233.92 c | 42837 | 28505 163318 552864 | 2147483647 42807 101 | 0.144 % |
234.10/234.27 c | 42947 | 28505 163318 552864 | 2147483647 42917 101 | 0.144 % |
235.10/235.21 c | 43068 | 28505 163318 552864 | 2147483647 43038 101 | 0.144 % |
236.00/236.13 c | 43202 | 28505 163318 552864 | 2147483647 43172 101 | 0.144 % |
237.00/237.16 c | 43348 | 28505 163318 552864 | 2147483647 43318 101 | 0.144 % |
238.30/238.48 c | 43508 | 28505 163318 552864 | 2147483647 43478 100 | 0.144 % |
240.00/240.14 c | 43685 | 28505 163318 552864 | 2147483647 43655 101 | 0.144 % |
241.49/241.69 c | 43880 | 28505 163318 552864 | 2147483647 43850 101 | 0.144 % |
243.00/243.13 c | 44092 | 28505 163318 552864 | 2147483647 44062 101 | 0.144 % |
244.10/244.22 c | 44325 | 28505 163318 552864 | 2147483647 44295 101 | 0.144 % |
246.09/246.27 c | 44581 | 28505 163318 552864 | 2147483647 44551 101 | 0.144 % |
248.29/248.42 c | 44863 | 28505 163318 552864 | 2147483647 44833 101 | 0.144 % |
249.99/250.10 c | 45172 | 28505 163318 552864 | 2147483647 45142 101 | 0.144 % |
252.39/252.58 c | 45511 | 28505 163318 552864 | 2147483647 45481 100 | 0.144 % |
253.09/253.27 c | 45884 | 28505 163318 552864 | 2147483647 45854 100 | 0.144 % |
256.10/256.22 c | 46294 | 28505 163318 552864 | 2147483647 46264 100 | 0.144 % |
256.79/256.97 c | 46744 | 28505 163318 552864 | 2147483647 46714 100 | 0.144 % |
260.29/260.44 c | 47237 | 28505 163318 552864 | 2147483647 47207 101 | 0.144 % |
263.09/263.24 c | 47783 | 28505 163318 552864 | 2147483647 47753 101 | 0.144 % |
265.79/265.94 c | 48381 | 28505 163318 552864 | 2147483647 48351 100 | 0.144 % |
269.88/270.09 c | 49037 | 28505 163318 552864 | 2147483647 49007 99 | 0.144 % |
270.58/270.71 c | 49137 | 28505 163318 552864 | 2147483647 49107 99 | 0.144 % |
271.18/271.32 c | 49248 | 28505 163318 552864 | 2147483647 49218 99 | 0.144 % |
272.08/272.26 c | 49369 | 28505 163318 552864 | 2147483647 49339 99 | 0.144 % |
272.78/272.98 c | 49502 | 28505 163318 552864 | 2147483647 49472 99 | 0.144 % |
273.78/273.96 c | 49648 | 28505 163318 552864 | 2147483647 49618 99 | 0.144 % |
274.68/274.81 c | 49809 | 28505 163318 552864 | 2147483647 49779 99 | 0.144 % |
275.79/275.92 c | 49986 | 28505 163318 552864 | 2147483647 49956 99 | 0.144 % |
277.09/277.27 c | 50182 | 28505 163318 552864 | 2147483647 50152 99 | 0.144 % |
278.19/278.37 c | 50395 | 28505 163318 552864 | 2147483647 50365 99 | 0.144 % |
279.49/279.68 c | 50629 | 28505 163318 552864 | 2147483647 50599 99 | 0.144 % |
281.19/281.37 c | 50885 | 28505 163318 552864 | 2147483647 50855 99 | 0.144 % |
283.08/283.23 c | 51168 | 28505 163318 552864 | 2147483647 51138 99 | 0.144 % |
285.28/285.49 c | 51477 | 28505 163318 552864 | 2147483647 51447 99 | 0.144 % |
287.58/287.70 c | 51818 | 28505 163318 552864 | 2147483647 51788 100 | 0.144 % |
288.68/288.86 c | 52193 | 28505 163318 552864 | 2147483647 52163 99 | 0.144 % |
291.47/291.60 c | 52603 | 28505 163318 552864 | 2147483647 52573 100 | 0.144 % |
294.68/294.87 c | 53053 | 28505 163318 552864 | 2147483647 53023 100 | 0.144 % |
297.17/297.34 c | 53546 | 28505 163318 552864 | 2147483647 53516 100 | 0.144 % |
301.07/301.30 c | 54091 | 28505 163318 552864 | 2147483647 54061 100 | 0.144 % |
305.27/305.46 c | 54687 | 28505 163318 552864 | 2147483647 54657 101 | 0.144 % |
309.48/309.65 c | 55342 | 28505 163318 552864 | 2147483647 55312 100 | 0.144 % |
314.67/314.89 c | 56062 | 28505 163318 552864 | 2147483647 56032 100 | 0.144 % |
315.57/315.71 c | 56162 | 28505 163318 552864 | 2147483647 56132 100 | 0.144 % |
315.87/316.01 c | 56274 | 28505 163318 552864 | 2147483647 56244 100 | 0.144 % |
316.57/316.70 c | 56395 | 28505 163318 552864 | 2147483647 56365 100 | 0.144 % |
317.07/317.22 c | 56529 | 28505 163318 552864 | 2147483647 56499 100 | 0.144 % |
318.17/318.36 c | 56675 | 28505 163318 552864 | 2147483647 56645 100 | 0.144 % |
318.87/319.02 c | 56835 | 28505 163318 552864 | 2147483647 56805 100 | 0.144 % |
320.07/320.29 c | 57013 | 28505 163318 552864 | 2147483647 56983 100 | 0.144 % |
321.77/321.99 c | 57207 | 28505 163318 552864 | 2147483647 57177 100 | 0.144 % |
323.87/324.07 c | 57419 | 28505 163318 552864 | 2147483647 57389 100 | 0.144 % |
325.77/325.94 c | 57653 | 28505 163318 552864 | 2147483647 57623 100 | 0.144 % |
327.67/327.88 c | 57909 | 28505 163318 552864 | 2147483647 57879 100 | 0.144 % |
329.07/329.23 c | 58190 | 28505 163318 552864 | 2147483647 58160 100 | 0.144 % |
331.46/331.60 c | 58499 | 28505 163318 552864 | 2147483647 58469 100 | 0.144 % |
334.66/334.84 c | 58839 | 28505 163318 552864 | 2147483647 58809 101 | 0.144 % |
337.66/337.81 c | 59211 | 28505 163318 552864 | 2147483647 59181 100 | 0.144 % |
340.86/341.03 c | 59620 | 28505 163318 552864 | 2147483647 59590 101 | 0.144 % |
343.46/343.64 c | 60069 | 28505 163318 552864 | 2147483647 60039 101 | 0.144 % |
346.95/347.15 c | 60562 | 28505 163318 552864 | 2147483647 60532 101 | 0.144 % |
350.36/350.52 c | 61105 | 28505 163318 552864 | 2147483647 61075 101 | 0.144 % |
353.76/353.94 c | 61702 | 28505 163318 552864 | 2147483647 61672 102 | 0.144 % |
357.85/358.07 c | 62357 | 28505 163318 552864 | 2147483647 62327 102 | 0.144 % |
361.25/361.46 c | 63078 | 28505 163318 552864 | 2147483647 63048 101 | 0.144 % |
366.05/366.22 c | 63870 | 28505 163318 552864 | 2147483647 63840 101 | 0.144 % |
366.65/366.84 c | 63970 | 28505 163318 552864 | 2147483647 63940 101 | 0.144 % |
367.25/367.47 c | 64080 | 28505 163318 552864 | 2147483647 64050 101 | 0.144 % |
367.75/368.00 c | 64203 | 28505 163318 552864 | 2147483647 64173 101 | 0.144 % |
368.46/368.67 c | 64336 | 28505 163318 552864 | 2147483647 64306 101 | 0.144 % |
369.56/369.75 c | 64482 | 28505 163318 552864 | 2147483647 64452 101 | 0.144 % |
370.85/371.04 c | 64643 | 28505 163318 552864 | 2147483647 64613 101 | 0.144 % |
371.66/371.83 c | 64820 | 28505 163318 552864 | 2147483647 64790 101 | 0.144 % |
372.95/373.16 c | 65013 | 28505 163318 552864 | 2147483647 64983 101 | 0.144 % |
374.25/374.45 c | 65227 | 28505 163318 552864 | 2147483647 65197 101 | 0.144 % |
375.46/375.61 c | 65462 | 28505 163318 552864 | 2147483647 65432 101 | 0.144 % |
376.45/376.66 c | 65719 | 28505 163318 552864 | 2147483647 65689 101 | 0.144 % |
378.25/378.48 c | 66001 | 28505 163318 552864 | 2147483647 65971 101 | 0.144 % |
379.85/380.08 c | 66311 | 28505 163318 552864 | 2147483647 66281 101 | 0.144 % |
381.25/381.50 c | 66650 | 28505 163318 552864 | 2147483647 66620 101 | 0.144 % |
383.65/383.81 c | 67022 | 28505 163318 552864 | 2147483647 66992 101 | 0.144 % |
386.35/386.52 c | 67432 | 28505 163318 552864 | 2147483647 67402 101 | 0.144 % |
389.15/389.39 c | 67881 | 28505 163318 552864 | 2147483647 67851 101 | 0.144 % |
391.84/392.02 c | 68374 | 28505 163318 552864 | 2147483647 68344 101 | 0.144 % |
395.04/395.24 c | 68917 | 28505 163318 552864 | 2147483647 68887 102 | 0.144 % |
399.64/399.86 c | 69513 | 28505 163318 552864 | 2147483647 69483 102 | 0.144 % |
404.35/404.56 c | 70169 | 28505 163318 552864 | 2147483647 70139 102 | 0.144 % |
408.65/408.81 c | 70891 | 28505 163318 552864 | 2147483647 70861 102 | 0.144 % |
412.64/412.86 c | 71684 | 28505 163318 552864 | 2147483647 71654 102 | 0.144 % |
417.85/418.05 c | 72556 | 28505 163318 552864 | 2147483647 72526 102 | 0.144 % |
418.24/418.40 c | 72656 | 28505 163318 552864 | 2147483647 72626 102 | 0.144 % |
418.95/419.18 c | 72766 | 28505 163318 552864 | 2147483647 72736 102 | 0.144 % |
420.04/420.29 c | 72887 | 28505 163318 552864 | 2147483647 72857 102 | 0.144 % |
421.14/421.38 c | 73020 | 28505 163318 552864 | 2147483647 72990 102 | 0.144 % |
422.24/422.44 c | 73167 | 28505 163318 552864 | 2147483647 73137 102 | 0.144 % |
423.34/423.53 c | 73327 | 28505 163318 552864 | 2147483647 73297 102 | 0.144 % |
424.24/424.50 c | 73503 | 28505 163318 552864 | 2147483647 73473 102 | 0.144 % |
425.14/425.34 c | 73698 | 28505 163318 552864 | 2147483647 73668 102 | 0.144 % |
426.84/427.04 c | 73911 | 28505 163318 552864 | 2147483647 73881 102 | 0.144 % |
427.53/427.75 c | 74144 | 28505 163318 552864 | 2147483647 74114 102 | 0.144 % |
429.33/429.53 c | 74401 | 28505 163318 552864 | 2147483647 74371 102 | 0.144 % |
430.73/430.97 c | 74683 | 28505 163318 552864 | 2147483647 74653 102 | 0.144 % |
432.83/433.04 c | 74992 | 28505 163318 552864 | 2147483647 74962 102 | 0.144 % |
435.23/435.45 c | 75333 | 28505 163318 552864 | 2147483647 75303 101 | 0.144 % |
437.43/437.64 c | 75705 | 28505 163318 552864 | 2147483647 75675 101 | 0.144 % |
440.84/441.07 c | 76115 | 28505 163318 552864 | 2147483647 76085 102 | 0.144 % |
443.44/443.67 c | 76565 | 28505 163318 552864 | 2147483647 76535 101 | 0.144 % |
446.44/446.68 c | 77058 | 28505 163318 552864 | 2147483647 77028 102 | 0.144 % |
450.43/450.66 c | 77601 | 28505 163318 552864 | 2147483647 77571 102 | 0.144 % |
452.63/452.81 c | 78197 | 28505 163318 552864 | 2147483647 78167 102 | 0.144 % |
456.03/456.26 c | 78852 | 28505 163318 552864 | 2147483647 78822 102 | 0.144 % |
459.12/459.34 c | 79572 | 28505 163318 552864 | 2147483647 79542 102 | 0.144 % |
461.83/462.01 c | 80366 | 28505 163318 552864 | 2147483647 80336 101 | 0.144 % |
466.92/467.19 c | 81237 | 28505 163318 552864 | 2147483647 81207 101 | 0.144 % |
473.33/473.53 c | 82195 | 28505 163318 552864 | 2147483647 82165 101 | 0.144 % |
474.13/474.34 c | 82295 | 28505 163318 552864 | 2147483647 82265 101 | 0.144 % |
474.93/475.20 c | 82405 | 28505 163318 552864 | 2147483647 82375 101 | 0.144 % |
475.93/476.12 c | 82528 | 28505 163318 552864 | 2147483647 82498 101 | 0.144 % |
477.32/477.56 c | 82661 | 28505 163318 552864 | 2147483647 82631 101 | 0.144 % |
478.33/478.56 c | 82808 | 28505 163318 552864 | 2147483647 82778 102 | 0.144 % |
479.92/480.17 c | 82968 | 28505 163318 552864 | 2147483647 82938 102 | 0.144 % |
480.72/480.99 c | 83147 | 28505 163318 552864 | 2147483647 83117 102 | 0.144 % |
481.62/481.83 c | 83342 | 28505 163318 552864 | 2147483647 83312 101 | 0.144 % |
482.82/483.01 c | 83554 | 28505 163318 552864 | 2147483647 83524 101 | 0.144 % |
484.42/484.60 c | 83787 | 28505 163318 552864 | 2147483647 83757 101 | 0.144 % |
485.62/485.88 c | 84043 | 28505 163318 552864 | 2147483647 84013 101 | 0.144 % |
487.22/487.44 c | 84325 | 28504 163313 552852 | 2147483647 84293 101 | 0.147 % |
488.72/488.97 c | 84635 | 28504 163313 552852 | 2147483647 84603 101 | 0.147 % |
490.32/490.57 c | 84974 | 28504 163313 552852 | 2147483647 84942 101 | 0.147 % |
492.22/492.47 c | 85347 | 28504 163313 552852 | 2147483647 85315 101 | 0.147 % |
495.32/495.53 c | 85757 | 28504 163313 552852 | 2147483647 85725 101 | 0.147 % |
498.81/499.07 c | 86206 | 28504 163313 552852 | 2147483647 86174 101 | 0.147 % |
503.62/503.88 c | 86699 | 28504 163313 552852 | 2147483647 86667 101 | 0.147 % |
509.01/509.20 c | 87241 | 28504 163313 552852 | 2147483647 87209 100 | 0.147 % |
513.01/513.24 c | 87837 | 28504 163313 552852 | 2147483647 87805 101 | 0.147 % |
518.11/518.39 c | 88492 | 28504 163313 552852 | 2147483647 88460 100 | 0.147 % |
521.91/522.10 c | 89212 | 28504 163313 552852 | 2147483647 89180 100 | 0.147 % |
526.21/526.46 c | 90004 | 28504 163313 552852 | 2147483647 89972 100 | 0.147 % |
532.50/532.73 c | 90877 | 28504 163313 552852 | 2147483647 90845 100 | 0.147 % |
537.10/537.36 c | 91836 | 28504 163313 552852 | 2147483647 91804 100 | 0.147 % |
543.80/544.05 c | 92889 | 28504 163313 552852 | 2147483647 92857 101 | 0.147 % |
544.60/544.87 c | 92989 | 28504 163313 552852 | 2147483647 92957 101 | 0.147 % |
545.10/545.37 c | 93101 | 28504 163313 552852 | 2147483647 93069 100 | 0.147 % |
545.70/545.97 c | 93223 | 28504 163313 552852 | 2147483647 93191 100 | 0.147 % |
546.70/546.93 c | 93356 | 28504 163313 552852 | 2147483647 93324 100 | 0.147 % |
547.69/547.91 c | 93503 | 28504 163313 552852 | 2147483647 93471 100 | 0.147 % |
549.09/549.36 c | 93663 | 28504 163313 552852 | 2147483647 93631 100 | 0.147 % |
550.09/550.36 c | 93839 | 28504 163313 552852 | 2147483647 93807 101 | 0.147 % |
550.99/551.23 c | 94033 | 28504 163313 552852 | 2147483647 94001 100 | 0.147 % |
552.59/552.81 c | 94248 | 28504 163313 552852 | 2147483647 94216 100 | 0.147 % |
554.69/554.96 c | 94482 | 28504 163313 552852 | 2147483647 94450 100 | 0.147 % |
556.59/556.84 c | 94738 | 28504 163313 552852 | 2147483647 94706 101 | 0.147 % |
558.19/558.44 c | 95020 | 28504 163313 552852 | 2147483647 94988 100 | 0.147 % |
560.89/561.14 c | 95330 | 28504 163313 552852 | 2147483647 95298 101 | 0.147 % |
563.69/563.91 c | 95670 | 28504 163313 552852 | 2147483647 95638 101 | 0.147 % |
566.49/566.71 c | 96042 | 28504 163313 552852 | 2147483647 96010 101 | 0.147 % |
569.79/570.01 c | 96451 | 28504 163313 552852 | 2147483647 96419 101 | 0.147 % |
572.69/572.93 c | 96900 | 28504 163313 552852 | 2147483647 96868 100 | 0.147 % |
575.89/576.13 c | 97394 | 28504 163313 552852 | 2147483647 97362 101 | 0.147 % |
579.29/579.60 c | 97937 | 28504 163313 552852 | 2147483647 97905 100 | 0.147 % |
582.49/582.71 c | 98533 | 28504 163313 552852 | 2147483647 98501 100 | 0.147 % |
586.69/586.91 c | 99188 | 28504 163313 552852 | 2147483647 99156 100 | 0.147 % |
589.89/590.19 c | 99909 | 28504 163313 552852 | 2147483647 99877 100 | 0.147 % |
594.89/595.16 c | 100701 | 28504 163313 552852 | 2147483647 100669 100 | 0.147 % |
600.28/600.50 c | 101573 | 28504 163313 552852 | 2147483647 101541 100 | 0.147 % |
607.68/607.94 c | 102531 | 28504 163313 552852 | 2147483647 102499 101 | 0.147 % |
614.68/614.95 c | 103584 | 28504 163313 552852 | 2147483647 103552 101 | 0.147 % |
621.68/621.95 c | 104742 | 28504 163313 552852 | 2147483647 104710 100 | 0.147 % |
622.28/622.54 c | 104842 | 28504 163313 552852 | 2147483647 104810 101 | 0.147 % |
623.17/623.41 c | 104952 | 28504 163313 552852 | 2147483647 104920 101 | 0.147 % |
623.77/624.03 c | 105073 | 28504 163313 552852 | 2147483647 105041 101 | 0.147 % |
624.57/624.86 c | 105207 | 28504 163313 552852 | 2147483647 105175 101 | 0.147 % |
626.07/626.32 c | 105354 | 28504 163313 552852 | 2147483647 105322 101 | 0.147 % |
627.17/627.44 c | 105516 | 28504 163313 552852 | 2147483647 105484 101 | 0.147 % |
628.27/628.53 c | 105692 | 28504 163313 552852 | 2147483647 105660 101 | 0.147 % |
629.97/630.27 c | 105885 | 28504 163313 552852 | 2147483647 105853 101 | 0.147 % |
631.57/631.89 c | 106097 | 28504 163313 552852 | 2147483647 106065 101 | 0.147 % |
633.37/633.65 c | 106330 | 28504 163313 552852 | 2147483647 106298 101 | 0.147 % |
635.36/635.66 c | 106586 | 28504 163313 552852 | 2147483647 106554 101 | 0.147 % |
637.16/637.45 c | 106867 | 28504 163313 552852 | 2147483647 106835 101 | 0.147 % |
639.96/640.25 c | 107176 | 28504 163313 552852 | 2147483647 107144 101 | 0.147 % |
641.86/642.18 c | 107516 | 28504 163313 552852 | 2147483647 107484 100 | 0.147 % |
644.66/644.90 c | 107888 | 28504 163313 552852 | 2147483647 107856 101 | 0.147 % |
648.36/648.60 c | 108297 | 28504 163313 552852 | 2147483647 108265 101 | 0.147 % |
651.76/652.09 c | 108746 | 28504 163313 552852 | 2147483647 108714 101 | 0.147 % |
654.85/655.18 c | 109240 | 28504 163313 552852 | 2147483647 109208 101 | 0.147 % |
658.75/659.06 c | 109782 | 28504 163313 552852 | 2147483647 109750 101 | 0.147 % |
662.66/662.96 c | 110378 | 28504 163313 552852 | 2147483647 110346 101 | 0.147 % |
666.76/667.06 c | 111033 | 28504 163313 552852 | 2147483647 111001 101 | 0.147 % |
670.05/670.39 c | 111754 | 28504 163313 552852 | 2147483647 111722 102 | 0.147 % |
674.55/674.83 c | 112549 | 28504 163313 552852 | 2147483647 112517 101 | 0.147 % |
679.45/679.72 c | 113420 | 28504 163313 552852 | 2147483647 113388 101 | 0.147 % |
682.95/683.26 c | 114379 | 28504 163313 552852 | 2147483647 114347 101 | 0.147 % |
688.84/689.14 c | 115432 | 28504 163313 552852 | 2147483647 115400 101 | 0.147 % |
697.55/697.84 c | 116591 | 28503 163305 552824 | 2147483647 116556 101 | 0.151 % |
707.34/707.69 c | 117864 | 28503 163305 552824 | 2147483647 117829 102 | 0.151 % |
708.24/708.51 c | 117964 | 28503 163305 552824 | 2147483647 117929 102 | 0.151 % |
709.25/709.52 c | 118074 | 28503 163305 552824 | 2147483647 118039 102 | 0.151 % |
709.94/710.22 c | 118195 | 28503 163305 552824 | 2147483647 118160 102 | 0.151 % |
711.44/711.76 c | 118329 | 28503 163305 552824 | 2147483647 118294 102 | 0.151 % |
713.04/713.32 c | 118476 | 28503 163305 552824 | 2147483647 118441 102 | 0.151 % |
714.34/714.65 c | 118637 | 28503 163305 552824 | 2147483647 118602 102 | 0.151 % |
716.04/716.37 c | 118813 | 28503 163305 552824 | 2147483647 118778 102 | 0.151 % |
717.44/717.78 c | 119006 | 28503 163305 552824 | 2147483647 118971 102 | 0.151 % |
719.53/719.85 c | 119218 | 28503 163305 552824 | 2147483647 119183 102 | 0.151 % |
721.43/721.73 c | 119452 | 28503 163305 552824 | 2147483647 119417 102 | 0.151 % |
722.84/723.15 c | 119709 | 28503 163305 552824 | 2147483647 119674 102 | 0.151 % |
725.24/725.51 c | 119991 | 28503 163305 552824 | 2147483647 119956 102 | 0.151 % |
726.74/727.05 c | 120300 | 28503 163305 552824 | 2147483647 120265 102 | 0.151 % |
729.44/729.71 c | 120639 | 28503 163305 552824 | 2147483647 120604 102 | 0.151 % |
731.54/731.84 c | 121013 | 28503 163305 552824 | 2147483647 120978 102 | 0.151 % |
733.54/733.84 c | 121424 | 28503 163305 552824 | 2147483647 121389 102 | 0.151 % |
735.93/736.21 c | 121873 | 28503 163305 552824 | 2147483647 121838 102 | 0.151 % |
740.13/740.45 c | 122366 | 28503 163305 552824 | 2147483647 122331 102 | 0.151 % |
744.33/744.69 c | 122908 | 28503 163305 552824 | 2147483647 122873 102 | 0.151 % |
747.53/747.84 c | 123505 | 28503 163305 552824 | 2147483647 123470 101 | 0.151 % |
752.32/752.60 c | 124160 | 28503 163305 552824 | 2147483647 124125 102 | 0.151 % |
756.83/757.18 c | 124880 | 28503 163305 552824 | 2147483647 124845 101 | 0.151 % |
762.23/762.53 c | 125673 | 28503 163305 552824 | 2147483647 125638 101 | 0.151 % |
767.73/768.07 c | 126546 | 28503 163305 552824 | 2147483647 126511 102 | 0.151 % |
774.22/774.58 c | 127504 | 28503 163305 552824 | 2147483647 127469 101 | 0.151 % |
779.32/779.70 c | 128558 | 28503 163305 552824 | 2147483647 128523 101 | 0.151 % |
786.72/787.08 c | 129716 | 28503 163305 552824 | 2147483647 129681 100 | 0.151 % |
796.81/797.17 c | 130990 | 28503 163305 552824 | 2147483647 130955 101 | 0.151 % |
806.42/806.76 c | 132391 | 28503 163305 552824 | 2147483647 132356 101 | 0.151 % |
806.91/807.23 c | 132492 | 28503 163305 552824 | 2147483647 132457 101 | 0.151 % |
807.12/807.43 c | 132602 | 28503 163305 552824 | 2147483647 132567 101 | 0.151 % |
807.12/807.46 c | 132724 | 28503 163305 552824 | 2147483647 132689 101 | 0.151 % |
807.71/808.10 c | 132858 | 28503 163305 552824 | 2147483647 132823 101 | 0.151 % |
808.81/809.12 c | 133004 | 28503 163305 552824 | 2147483647 132969 101 | 0.151 % |
809.91/810.28 c | 133164 | 28503 163305 552824 | 2147483647 133129 101 | 0.151 % |
811.21/811.55 c | 133340 | 28503 163305 552824 | 2147483647 133305 101 | 0.151 % |
813.21/813.58 c | 133533 | 28503 163305 552824 | 2147483647 133498 101 | 0.151 % |
814.91/815.25 c | 133745 | 28503 163305 552824 | 2147483647 133710 101 | 0.151 % |
816.51/816.85 c | 133979 | 28503 163305 552824 | 2147483647 133944 101 | 0.151 % |
818.01/818.35 c | 134236 | 28503 163305 552824 | 2147483647 134201 101 | 0.151 % |
820.31/820.62 c | 134517 | 28503 163305 552824 | 2147483647 134482 101 | 0.151 % |
822.90/823.25 c | 134827 | 28503 163305 552824 | 2147483647 134792 101 | 0.151 % |
824.80/825.13 c | 135167 | 28503 163305 552824 | 2147483647 135132 101 | 0.151 % |
827.90/828.25 c | 135540 | 28503 163305 552824 | 2147483647 135505 101 | 0.151 % |
830.50/830.88 c | 135950 | 28503 163305 552824 | 2147483647 135915 101 | 0.151 % |
834.30/834.65 c | 136399 | 28498 163280 552760 | 2147483647 136347 101 | 0.168 % |
837.60/837.97 c | 136892 | 28498 163280 552760 | 2147483647 136840 101 | 0.168 % |
842.40/842.77 c | 137435 | 28498 163280 552760 | 2147483647 137383 101 | 0.168 % |
846.60/846.96 c | 138033 | 28498 163280 552760 | 2147483647 137981 101 | 0.168 % |
852.29/852.62 c | 138690 | 28498 163280 552760 | 2147483647 138638 101 | 0.168 % |
857.19/857.56 c | 139410 | 28498 163280 552760 | 2147483647 139358 101 | 0.168 % |
864.20/864.56 c | 140204 | 28498 163280 552760 | 2147483647 140152 102 | 0.168 % |
869.89/870.20 c | 141076 | 28498 163280 552760 | 2147483647 141024 101 | 0.168 % |
875.59/875.92 c | 142035 | 28498 163280 552760 | 2147483647 141983 101 | 0.168 % |
883.28/883.67 c | 143089 | 28498 163280 552760 | 2147483647 143037 101 | 0.168 % |
893.29/893.61 c | 144247 | 28498 163280 552760 | 2147483647 144195 102 | 0.168 % |
901.98/902.32 c | 145523 | 28498 163280 552760 | 2147483647 145471 102 | 0.168 % |
914.17/914.50 c | 146924 | 28498 163280 552760 | 2147483647 146872 103 | 0.168 % |
925.87/926.22 c | 148465 | 28498 163280 552760 | 2147483647 148413 102 | 0.168 % |
926.37/926.77 c | 148565 | 28498 163280 552760 | 2147483647 148513 102 | 0.168 % |
927.17/927.55 c | 148675 | 28498 163280 552760 | 2147483647 148623 102 | 0.168 % |
928.27/928.62 c | 148796 | 28498 163280 552760 | 2147483647 148744 102 | 0.168 % |
929.57/929.93 c | 148929 | 28498 163280 552760 | 2147483647 148877 102 | 0.168 % |
930.57/930.98 c | 149076 | 28498 163280 552760 | 2147483647 149024 102 | 0.168 % |
931.67/932.03 c | 149238 | 28498 163280 552760 | 2147483647 149186 102 | 0.168 % |
932.97/933.36 c | 149414 | 28498 163280 552760 | 2147483647 149362 102 | 0.168 % |
934.48/934.82 c | 149607 | 28498 163280 552760 | 2147483647 149555 102 | 0.168 % |
935.97/936.33 c | 149821 | 28498 163280 552760 | 2147483647 149769 102 | 0.168 % |
938.07/938.42 c | 150057 | 28498 163280 552760 | 2147483647 150005 102 | 0.168 % |
940.37/940.76 c | 150314 | 28498 163280 552760 | 2147483647 150262 102 | 0.168 % |
943.48/943.83 c | 150595 | 28498 163280 552760 | 2147483647 150543 102 | 0.168 % |
945.47/945.86 c | 150904 | 28498 163280 552760 | 2147483647 150852 102 | 0.168 % |
947.57/947.97 c | 151246 | 28498 163280 552760 | 2147483647 151194 102 | 0.168 % |
950.57/950.92 c | 151618 | 28498 163280 552760 | 2147483647 151566 102 | 0.168 % |
953.07/953.40 c | 152029 | 28498 163280 552760 | 2147483647 151977 102 | 0.168 % |
957.16/957.52 c | 152478 | 28498 163280 552760 | 2147483647 152426 102 | 0.168 % |
961.36/961.75 c | 152972 | 28498 163280 552760 | 2147483647 152920 102 | 0.168 % |
966.36/966.70 c | 153514 | 28498 163280 552760 | 2147483647 153462 102 | 0.168 % |
971.35/971.79 c | 154111 | 28498 163280 552760 | 2147483647 154059 102 | 0.168 % |
974.36/974.74 c | 154766 | 28498 163280 552760 | 2147483647 154714 102 | 0.168 % |
979.86/980.21 c | 155488 | 28498 163280 552760 | 2147483647 155436 102 | 0.168 % |
987.16/987.51 c | 156281 | 28498 163280 552760 | 2147483647 156229 102 | 0.168 % |
993.45/993.84 c | 157152 | 28498 163280 552760 | 2147483647 157100 102 | 0.168 % |
1001.85/1002.24 c | 158110 | 28498 163280 552760 | 2147483647 158058 103 | 0.168 % |
1009.75/1010.15 c | 159163 | 28498 163280 552760 | 2147483647 159111 103 | 0.168 % |
1018.95/1019.31 c | 160322 | 28498 163280 552760 | 2147483647 160270 103 | 0.168 % |
1029.84/1030.22 c | 161595 | 28498 163280 552760 | 2147483647 161543 103 | 0.168 % |
1041.54/1041.94 c | 162997 | 28498 163280 552760 | 2147483647 162945 103 | 0.168 % |
1050.84/1051.20 c | 164538 | 28498 163280 552760 | 2147483647 164486 103 | 0.168 % |
1062.64/1063.04 c | 166232 | 28498 163280 552760 | 2147483647 166180 103 | 0.168 % |
1063.24/1063.62 c | 166332 | 28498 163280 552760 | 2147483647 166280 103 | 0.168 % |
1063.74/1064.10 c | 166442 | 28498 163280 552760 | 2147483647 166390 103 | 0.168 % |
1064.74/1065.12 c | 166563 | 28498 163280 552760 | 2147483647 166511 103 | 0.168 % |
1065.54/1065.92 c | 166697 | 28498 163280 552760 | 2147483647 166645 103 | 0.168 % |
1066.94/1067.31 c | 166843 | 28498 163280 552760 | 2147483647 166791 103 | 0.168 % |
1068.04/1068.46 c | 167003 | 28498 163280 552760 | 2147483647 166951 103 | 0.168 % |
1068.54/1068.92 c | 167180 | 28498 163280 552760 | 2147483647 167128 103 | 0.168 % |
1068.64/1069.00 c | 167373 | 28498 163280 552760 | 2147483647 167321 103 | 0.168 % |
1068.64/1069.05 c | 167585 | 28498 163280 552760 | 2147483647 167533 103 | 0.168 % |
1068.64/1069.09 c | 167818 | 28498 163280 552760 | 2147483647 167766 102 | 0.168 % |
1070.03/1070.44 c | 168075 | 28498 163280 552760 | 2147483647 168023 102 | 0.168 % |
1071.33/1071.77 c | 168356 | 28498 163280 552760 | 2147483647 168304 102 | 0.168 % |
1072.73/1073.17 c | 168665 | 28498 163280 552760 | 2147483647 168613 102 | 0.168 % |
1073.33/1073.73 c | 169004 | 28498 163280 552760 | 2147483647 168952 102 | 0.168 % |
1076.44/1076.86 c | 169377 | 28498 163280 552760 | 2147483647 169325 102 | 0.168 % |
1080.33/1080.76 c | 169787 | 28498 163280 552760 | 2147483647 169735 102 | 0.168 % |
1082.53/1082.95 c | 170237 | 28498 163280 552760 | 2147483647 170185 102 | 0.168 % |
1086.23/1086.64 c | 170730 | 28498 163280 552760 | 2147483647 170678 102 | 0.168 % |
1090.12/1090.55 c | 171272 | 28498 163280 552760 | 2147483647 171220 102 | 0.168 % |
1093.72/1094.19 c | 171868 | 28498 163280 552760 | 2147483647 171816 102 | 0.168 % |
1099.22/1099.67 c | 172524 | 28498 163280 552760 | 2147483647 172472 102 | 0.168 % |
1103.12/1103.56 c | 173244 | 28498 163280 552760 | 2147483647 173192 102 | 0.168 % |
1109.92/1110.32 c | 174037 | 28498 163280 552760 | 2147483647 173985 102 | 0.168 % |
1115.61/1116.06 c | 174908 | 28498 163280 552760 | 2147483647 174856 102 | 0.168 % |
1123.72/1124.15 c | 175867 | 28498 163280 552760 | 2147483647 175815 103 | 0.168 % |
1129.41/1129.82 c | 176920 | 28498 163280 552760 | 2147483647 176868 103 | 0.168 % |
1137.21/1137.69 c | 178079 | 28498 163280 552760 | 2147483647 178027 102 | 0.168 % |
1147.81/1148.24 c | 179353 | 28498 163280 552760 | 2147483647 179301 103 | 0.168 % |
1159.91/1160.37 c | 180755 | 28498 163280 552760 | 2147483647 180703 103 | 0.168 % |
1170.70/1171.13 c | 182298 | 28498 163280 552760 | 2147483647 182246 103 | 0.168 % |
1185.10/1185.50 c | 183993 | 28498 163280 552760 | 2147483647 183941 103 | 0.168 % |
1201.40/1201.84 c | 185857 | 28498 163280 552760 | 2147483647 185805 104 | 0.168 % |
1202.20/1202.60 c | 185960 | 28498 163280 552760 | 2147483647 185908 104 | 0.168 % |
1203.40/1203.85 c | 186070 | 28498 163280 552760 | 2147483647 186018 104 | 0.168 % |
1204.10/1204.55 c | 186192 | 28498 163280 552760 | 2147483647 186140 104 | 0.168 % |
1205.20/1205.65 c | 186325 | 28498 163280 552760 | 2147483647 186273 104 | 0.168 % |
1206.20/1206.65 c | 186473 | 28498 163280 552760 | 2147483647 186421 104 | 0.168 % |
1207.49/1207.91 c | 186633 | 28498 163280 552760 | 2147483647 186581 104 | 0.168 % |
1208.89/1209.33 c | 186809 | 28498 163280 552760 | 2147483647 186757 104 | 0.168 % |
1210.79/1211.24 c | 187002 | 28498 163280 552760 | 2147483647 186950 104 | 0.168 % |
1211.09/1211.58 c | 187214 | 28498 163280 552760 | 2147483647 187162 103 | 0.168 % |
1213.39/1213.80 c | 187448 | 28498 163280 552760 | 2147483647 187396 103 | 0.168 % |
1215.39/1215.83 c | 187704 | 28498 163280 552760 | 2147483647 187652 103 | 0.168 % |
1218.09/1218.57 c | 187986 | 28498 163280 552760 | 2147483647 187934 103 | 0.168 % |
1220.89/1221.35 c | 188295 | 28498 163280 552760 | 2147483647 188243 104 | 0.168 % |
1223.79/1224.22 c | 188634 | 28498 163280 552760 | 2147483647 188582 104 | 0.168 % |
1226.98/1227.47 c | 189007 | 28498 163280 552760 | 2147483647 188955 104 | 0.168 % |
1231.49/1231.99 c | 189416 | 28498 163280 552760 | 2147483647 189364 104 | 0.168 % |
1234.98/1235.41 c | 189866 | 28498 163280 552760 | 2147483647 189814 104 | 0.168 % |
1237.78/1238.28 c | 190359 | 28498 163280 552760 | 2147483647 190307 103 | 0.168 % |
1241.78/1242.26 c | 190901 | 28498 163280 552760 | 2147483647 190849 104 | 0.168 % |
1247.68/1248.15 c | 191499 | 28498 163280 552760 | 2147483647 191447 104 | 0.168 % |
1253.58/1254.09 c | 192154 | 28498 163280 552760 | 2147483647 192102 104 | 0.168 % |
1260.47/1260.91 c | 192875 | 28498 163280 552760 | 2147483647 192823 104 | 0.168 % |
1267.67/1268.15 c | 193667 | 28498 163280 552760 | 2147483647 193615 104 | 0.168 % |
1273.27/1273.72 c | 194540 | 28498 163280 552760 | 2147483647 194488 104 | 0.168 % |
1278.07/1278.53 c | 195498 | 28498 163280 552760 | 2147483647 195446 104 | 0.168 % |
1285.48/1285.95 c | 196551 | 28498 163280 552760 | 2147483647 196499 104 | 0.168 % |
1294.57/1295.02 c | 197710 | 28498 163280 552760 | 2147483647 197658 104 | 0.168 % |
1304.86/1305.33 c | 198983 | 28498 163280 552760 | 2147483647 198931 104 | 0.168 % |
1313.56/1314.00 c | 200383 | 28498 163280 552760 | 2147483647 200331 104 | 0.168 % |
1325.26/1325.77 c | 201924 | 28498 163280 552760 | 2147483647 201872 103 | 0.168 % |
1335.56/1336.02 c | 203618 | 28498 163280 552760 | 2147483647 203566 103 | 0.168 % |
1349.95/1350.49 c | 205482 | 28498 163280 552760 | 2147483647 205430 104 | 0.168 % |
1363.05/1363.57 c | 207531 | 28498 163280 552760 | 2147483647 207479 103 | 0.168 % |
1363.65/1364.17 c | 207632 | 28498 163280 552760 | 2147483647 207580 103 | 0.168 % |
1364.85/1365.30 c | 207742 | 28498 163280 552760 | 2147483647 207690 103 | 0.168 % |
1365.75/1366.21 c | 207863 | 28498 163280 552760 | 2147483647 207811 103 | 0.168 % |
1367.05/1367.57 c | 207996 | 28498 163280 552760 | 2147483647 207944 103 | 0.168 % |
1368.25/1368.76 c | 208142 | 28498 163280 552760 | 2147483647 208090 103 | 0.168 % |
1369.84/1370.32 c | 208303 | 28498 163280 552760 | 2147483647 208251 103 | 0.168 % |
1371.34/1371.90 c | 208479 | 28498 163280 552760 | 2147483647 208427 103 | 0.168 % |
1372.74/1373.24 c | 208672 | 28498 163280 552760 | 2147483647 208620 103 | 0.168 % |
1374.44/1374.91 c | 208885 | 28498 163280 552760 | 2147483647 208833 103 | 0.168 % |
1375.54/1376.10 c | 209118 | 28498 163280 552760 | 2147483647 209066 103 | 0.168 % |
1377.03/1377.54 c | 209375 | 28498 163280 552760 | 2147483647 209323 103 | 0.168 % |
1379.43/1379.99 c | 209656 | 28498 163280 552760 | 2147483647 209604 103 | 0.168 % |
1381.83/1382.30 c | 209965 | 28498 163280 552760 | 2147483647 209913 103 | 0.168 % |
1383.73/1384.25 c | 210305 | 28498 163280 552760 | 2147483647 210253 103 | 0.168 % |
1386.63/1387.16 c | 210678 | 28498 163280 552760 | 2147483647 210626 103 | 0.168 % |
1390.43/1390.94 c | 211089 | 28498 163280 552760 | 2147483647 211037 103 | 0.168 % |
1394.34/1394.88 c | 211539 | 28498 163280 552760 | 2147483647 211487 103 | 0.168 % |
1397.64/1398.18 c | 212032 | 28498 163280 552760 | 2147483647 211980 103 | 0.168 % |
1402.03/1402.51 c | 212574 | 28498 163280 552760 | 2147483647 212522 103 | 0.168 % |
1405.83/1406.31 c | 213170 | 28498 163280 552760 | 2147483647 213118 103 | 0.168 % |
1410.42/1411.00 c | 213825 | 28498 163280 552760 | 2147483647 213773 103 | 0.168 % |
1415.02/1415.53 c | 214546 | 28498 163280 552760 | 2147483647 214494 103 | 0.168 % |
1421.93/1422.49 c | 215339 | 28498 163280 552760 | 2147483647 215287 103 | 0.168 % |
1428.62/1429.17 c | 216212 | 28498 163280 552760 | 2147483647 216160 103 | 0.168 % |
1437.72/1438.25 c | 217171 | 28498 163280 552760 | 2147483647 217119 103 | 0.168 % |
1446.41/1446.95 c | 218224 | 28498 163280 552760 | 2147483647 218172 103 | 0.168 % |
1455.81/1456.32 c | 219383 | 28498 163280 552760 | 2147483647 219331 103 | 0.168 % |
1467.61/1468.16 c | 220656 | 28498 163280 552760 | 2147483647 220604 103 | 0.168 % |
1480.11/1480.65 c | 222056 | 28498 163280 552760 | 2147483647 222004 103 | 0.168 % |
1492.01/1492.58 c | 223597 | 28498 163280 552760 | 2147483647 223545 103 | 0.168 % |
1506.20/1506.78 c | 225291 | 28498 163280 552760 | 2147483647 225239 103 | 0.168 % |
1519.20/1519.79 c | 227155 | 28498 163280 552760 | 2147483647 227103 103 | 0.168 % |
1531.29/1531.89 c | 229205 | 28498 163280 552760 | 2147483647 229153 103 | 0.168 % |
1545.79/1546.32 c | 231458 | 28498 163280 552760 | 2147483647 231406 104 | 0.168 % |
1546.59/1547.12 c | 231559 | 28498 163280 552760 | 2147483647 231507 104 | 0.168 % |
1547.19/1547.77 c | 231671 | 28498 163280 552760 | 2147483647 231619 104 | 0.168 % |
1547.99/1548.52 c | 231792 | 28498 163280 552760 | 2147483647 231740 104 | 0.168 % |
1548.59/1549.17 c | 231926 | 28498 163280 552760 | 2147483647 231874 104 | 0.168 % |
1548.89/1549.50 c | 232072 | 28498 163280 552760 | 2147483647 232020 104 | 0.168 % |
1550.29/1550.81 c | 232232 | 28498 163280 552760 | 2147483647 232180 104 | 0.168 % |
1551.79/1552.39 c | 232408 | 28498 163280 552760 | 2147483647 232356 104 | 0.168 % |
1553.59/1554.16 c | 232602 | 28498 163280 552760 | 2147483647 232550 104 | 0.168 % |
1555.29/1555.88 c | 232817 | 28498 163280 552760 | 2147483647 232765 104 | 0.168 % |
1557.68/1558.21 c | 233051 | 28498 163280 552760 | 2147483647 232999 104 | 0.168 % |
1560.18/1560.76 c | 233309 | 28498 163280 552760 | 2147483647 233257 104 | 0.168 % |
1563.28/1563.86 c | 233590 | 28498 163280 552760 | 2147483647 233538 104 | 0.168 % |
1566.08/1566.68 c | 233900 | 28498 163280 552760 | 2147483647 233848 104 | 0.168 % |
1569.38/1569.95 c | 234241 | 28498 163280 552760 | 2147483647 234189 104 | 0.168 % |
1572.28/1572.88 c | 234613 | 28498 163280 552760 | 2147483647 234561 104 | 0.168 % |
1573.88/1574.44 c | 235022 | 28498 163280 552760 | 2147483647 234970 104 | 0.168 % |
1579.08/1579.62 c | 235471 | 28498 163280 552760 | 2147483647 235419 104 | 0.168 % |
1583.38/1583.92 c | 235965 | 28498 163280 552760 | 2147483647 235913 104 | 0.168 % |
1588.38/1588.98 c | 236507 | 28498 163280 552760 | 2147483647 236455 104 | 0.168 % |
1593.68/1594.22 c | 237104 | 28498 163280 552760 | 2147483647 237052 104 | 0.168 % |
1599.67/1600.29 c | 237760 | 28498 163280 552760 | 2147483647 237708 104 | 0.168 % |
1606.17/1606.75 c | 238481 | 28498 163280 552760 | 2147483647 238429 104 | 0.168 % |
1612.27/1612.85 c | 239273 | 28498 163280 552760 | 2147483647 239221 104 | 0.168 % |
1620.56/1621.12 c | 240144 | 28498 163280 552760 | 2147483647 240092 105 | 0.168 % |
1629.06/1629.67 c | 241104 | 28498 163280 552760 | 2147483647 241052 104 | 0.168 % |
1637.46/1638.00 c | 242157 | 28498 163280 552760 | 2147483647 242105 104 | 0.168 % |
1646.35/1646.99 c | 243315 | 28498 163280 552760 | 2147483647 243263 105 | 0.168 % |
1654.96/1655.58 c | 244589 | 28498 163280 552760 | 2147483647 244537 105 | 0.168 % |
1664.36/1664.90 c | 245989 | 28498 163280 552760 | 2147483647 245937 105 | 0.168 % |
1675.55/1676.12 c | 247530 | 28498 163280 552760 | 2147483647 247478 104 | 0.168 % |
1691.74/1692.38 c | 249225 | 28498 163280 552760 | 2147483647 249173 105 | 0.168 % |
1706.65/1707.26 c | 251088 | 28498 163280 552760 | 2147483647 251036 105 | 0.168 % |
1723.34/1723.98 c | 253137 | 28498 163280 552760 | 2147483647 253085 105 | 0.168 % |
1740.53/1741.16 c | 255392 | 28498 163280 552760 | 2147483647 255340 104 | 0.168 % |
1761.73/1762.39 c | 257870 | 28498 163280 552760 | 2147483647 257818 105 | 0.168 % |
1762.63/1763.29 c | 257971 | 28498 163280 552760 | 2147483647 257919 105 | 0.168 % |
1763.63/1764.26 c | 258081 | 28498 163280 552760 | 2147483647 258029 105 | 0.168 % |
1764.63/1765.27 c | 258203 | 28498 163280 552760 | 2147483647 258151 105 | 0.168 % |
1766.13/1766.70 c | 258336 | 28498 163280 552760 | 2147483647 258284 105 | 0.168 % |
1767.03/1767.67 c | 258482 | 28498 163280 552760 | 2147483647 258430 105 | 0.168 % |
1768.13/1768.71 c | 258642 | 28498 163280 552760 | 2147483647 258590 105 | 0.168 % |
1769.73/1770.30 c | 258819 | 28498 163280 552760 | 2147483647 258767 105 | 0.168 % |
1771.22/1771.81 c | 259012 | 28498 163280 552760 | 2147483647 258960 105 | 0.168 % |
1773.22/1773.85 c | 259225 | 28498 163280 552760 | 2147483647 259173 105 | 0.168 % |
1776.72/1777.30 c | 259458 | 28498 163280 552760 | 2147483647 259406 105 | 0.168 % |
1778.62/1779.26 c | 259715 | 28498 163280 552760 | 2147483647 259663 105 | 0.168 % |
1781.12/1781.72 c | 259996 | 28498 163280 552760 | 2147483647 259944 105 | 0.168 % |
1783.62/1784.26 c | 260305 | 28498 163280 552760 | 2147483647 260253 105 | 0.168 % |
1787.42/1788.05 c | 260644 | 28498 163280 552760 | 2147483647 260592 105 | 0.168 % |
1791.12/1791.72 c | 261016 | 28498 163280 552760 | 2147483647 260964 105 | 0.168 % |
1794.11/1794.71 c | 261425 | 28498 163280 552760 | 2147483647 261373 105 | 0.168 % |
1796.61/1797.29 c | 261875 | 28498 163280 552760 | 2147483647 261823 105 | 0.168 % |
1800.12/1800.73 c | 262368 | 28498 163280 552760 | 2147483647 262316 104 | 0.168 % |
1806.31/1806.94 c | 262910 | 28498 163280 552760 | 2147483647 262858 105 | 0.168 % |
1810.72/1811.32 c | 263506 | 28498 163280 552760 | 2147483647 263454 105 | 0.168 % |
1817.72/1818.38 c | 264163 | 28498 163280 552760 | 2147483647 264111 105 | 0.168 % |
1824.31/1824.93 c | 264884 | 28498 163280 552760 | 2147483647 264832 105 | 0.168 % |
1832.10/1832.72 c | 265677 | 28498 163280 552760 | 2147483647 265625 105 | 0.168 % |
1839.30/1839.95 c | 266548 | 28498 163280 552760 | 2147483647 266496 105 | 0.168 % |
1848.51/1849.12 c | 267508 | 28498 163280 552760 | 2147483647 267456 105 | 0.168 % |
1860.20/1860.83 c | 268562 | 28498 163280 552760 | 2147483647 268510 105 | 0.168 % |
1870.90/1871.53 c | 269721 | 28498 163280 552760 | 2147483647 269669 105 | 0.168 % |
1881.59/1882.25 c | 270994 | 28498 163280 552760 | 2147483647 270942 105 | 0.168 % |
1892.79/1893.46 c | 272395 | 28498 163280 552760 | 2147483647 272343 105 | 0.168 % |
1905.38/1906.05 c | 273936 | 28498 163280 552760 | 2147483647 273884 105 | 0.168 % |
1916.98/1917.60 c | 275630 | 28498 163280 552760 | 2147483647 275578 105 | 0.168 % |
1928.08/1928.77 c | 277495 | 28498 163280 552760 | 2147483647 277443 104 | 0.168 % |
1948.37/1949.10 c | 279545 | 28498 163280 552760 | 2147483647 279493 105 | 0.168 % |
1967.07/1967.70 c | 281798 | 28498 163280 552760 | 2147483647 281746 105 | 0.168 % |
1989.46/1990.13 c | 284277 | 28498 163280 552760 | 2147483647 284225 105 | 0.168 % |
2018.35/2019.01 c | 287004 | 28498 163280 552760 | 2147483647 286952 106 | 0.168 % |
2019.15/2019.84 c | 287105 | 28498 163280 552760 | 2147483647 287053 106 | 0.168 % |
2019.75/2020.41 c | 287216 | 28498 163280 552760 | 2147483647 287164 106 | 0.168 % |
2020.75/2021.45 c | 287337 | 28498 163280 552760 | 2147483647 287285 106 | 0.168 % |
2021.95/2022.61 c | 287470 | 28498 163280 552760 | 2147483647 287418 106 | 0.168 % |
2023.65/2024.35 c | 287616 | 28498 163280 552760 | 2147483647 287564 106 | 0.168 % |
2025.25/2025.98 c | 287778 | 28498 163280 552760 | 2147483647 287726 106 | 0.168 % |
2026.55/2027.25 c | 287954 | 28498 163280 552760 | 2147483647 287902 106 | 0.168 % |
2027.85/2028.55 c | 288147 | 28498 163280 552760 | 2147483647 288095 106 | 0.168 % |
2029.25/2029.99 c | 288360 | 28498 163280 552760 | 2147483647 288308 106 | 0.168 % |
2032.25/2032.94 c | 288593 | 28498 163280 552760 | 2147483647 288541 106 | 0.168 % |
2035.36/2036.02 c | 288849 | 28498 163280 552760 | 2147483647 288797 106 | 0.168 % |
2037.85/2038.52 c | 289130 | 28498 163280 552760 | 2147483647 289078 106 | 0.168 % |
2039.65/2040.37 c | 289440 | 28498 163280 552760 | 2147483647 289388 106 | 0.168 % |
2042.45/2043.12 c | 289779 | 28498 163280 552760 | 2147483647 289727 106 | 0.168 % |
2045.54/2046.28 c | 290153 | 28498 163280 552760 | 2147483647 290101 106 | 0.168 % |
2049.75/2050.43 c | 290562 | 28498 163280 552760 | 2147483647 290510 106 | 0.168 % |
2052.64/2053.38 c | 291012 | 28498 163280 552760 | 2147483647 290960 106 | 0.168 % |
2058.55/2059.30 c | 291505 | 28498 163280 552760 | 2147483647 291453 106 | 0.168 % |
2065.54/2066.28 c | 292047 | 28498 163280 552760 | 2147483647 291995 106 | 0.168 % |
2070.74/2071.45 c | 292643 | 28498 163280 552760 | 2147483647 292591 106 | 0.168 % |
2077.04/2077.78 c | 293299 | 28498 163280 552760 | 2147483647 293247 106 | 0.168 % |
2084.14/2084.86 c | 294019 | 28498 163280 552760 | 2147483647 293967 106 | 0.168 % |
2090.44/2091.16 c | 294811 | 28498 163280 552760 | 2147483647 294759 106 | 0.168 % |
2096.83/2097.56 c | 295685 | 28498 163280 552760 | 2147483647 295633 106 | 0.168 % |
2104.42/2105.18 c | 296643 | 28498 163280 552760 | 2147483647 296591 106 | 0.168 % |
2114.43/2115.18 c | 297698 | 28498 163280 552760 | 2147483647 297646 106 | 0.168 % |
2126.13/2126.89 c | 298856 | 28498 163280 552760 | 2147483647 298804 106 | 0.168 % |
2136.62/2137.33 c | 300129 | 28498 163280 552760 | 2147483647 300077 106 | 0.168 % |
2148.91/2149.65 c | 301529 | 28498 163280 552760 | 2147483647 301477 106 | 0.168 % |
2163.92/2164.67 c | 303069 | 28498 163280 552760 | 2147483647 303017 106 | 0.168 % |
2174.81/2175.51 c | 304764 | 28498 163280 552760 | 2147483647 304712 106 | 0.168 % |
2190.60/2191.37 c | 306627 | 28498 163280 552760 | 2147483647 306575 106 | 0.168 % |
2212.20/2212.91 c | 308676 | 28498 163280 552760 | 2147483647 308624 106 | 0.168 % |
2233.49/2234.20 c | 310929 | 28498 163280 552760 | 2147483647 310877 106 | 0.168 % |
2256.39/2257.16 c | 313408 | 28498 163280 552760 | 2147483647 313356 107 | 0.168 % |
2282.58/2283.33 c | 316133 | 28498 163280 552760 | 2147483647 316081 107 | 0.168 % |
2311.77/2312.57 c | 319131 | 28498 163280 552760 | 2147483647 319079 107 | 0.168 % |
2312.97/2313.71 c | 319232 | 28498 163280 552760 | 2147483647 319180 107 | 0.168 % |
2314.07/2314.87 c | 319342 | 28498 163280 552760 | 2147483647 319290 107 | 0.168 % |
2314.87/2315.63 c | 319464 | 28498 163280 552760 | 2147483647 319412 107 | 0.168 % |
2315.37/2316.20 c | 319597 | 28498 163280 552760 | 2147483647 319545 107 | 0.168 % |
2317.47/2318.23 c | 319744 | 28498 163280 552760 | 2147483647 319692 107 | 0.168 % |
2319.37/2320.15 c | 319904 | 28498 163280 552760 | 2147483647 319852 107 | 0.168 % |
2321.07/2321.81 c | 320080 | 28498 163280 552760 | 2147483647 320028 107 | 0.168 % |
2323.27/2324.04 c | 320273 | 28498 163280 552760 | 2147483647 320221 107 | 0.168 % |
2324.77/2325.58 c | 320486 | 28498 163280 552760 | 2147483647 320434 107 | 0.168 % |
2327.67/2328.49 c | 320720 | 28498 163280 552760 | 2147483647 320668 107 | 0.168 % |
2331.27/2332.03 c | 320977 | 28498 163280 552760 | 2147483647 320925 108 | 0.168 % |
2334.47/2335.28 c | 321259 | 28498 163280 552760 | 2147483647 321207 107 | 0.168 % |
2337.17/2337.99 c | 321568 | 28498 163280 552760 | 2147483647 321516 107 | 0.168 % |
2341.37/2342.13 c | 321909 | 28498 163280 552760 | 2147483647 321857 107 | 0.168 % |
2345.97/2346.74 c | 322282 | 28498 163280 552760 | 2147483647 322230 108 | 0.168 % |
2350.27/2351.01 c | 322691 | 28498 163280 552760 | 2147483647 322639 108 | 0.168 % |
2354.46/2355.29 c | 323140 | 28498 163280 552760 | 2147483647 323088 107 | 0.168 % |
2359.46/2360.29 c | 323634 | 28498 163280 552760 | 2147483647 323582 108 | 0.168 % |
2365.46/2366.20 c | 324177 | 28498 163280 552760 | 2147483647 324125 107 | 0.168 % |
2372.35/2373.13 c | 324773 | 28498 163280 552760 | 2147483647 324721 108 | 0.168 % |
2377.95/2378.70 c | 325429 | 28498 163280 552760 | 2147483647 325377 108 | 0.168 % |
2384.15/2384.94 c | 326149 | 28498 163280 552760 | 2147483647 326097 107 | 0.168 % |
2393.65/2394.40 c | 326942 | 28498 163280 552760 | 2147483647 326890 108 | 0.168 % |
2401.35/2402.17 c | 327814 | 28498 163280 552760 | 2147483647 327762 108 | 0.168 % |
2410.24/2411.06 c | 328772 | 28498 163280 552760 | 2147483647 328720 108 | 0.168 % |
2421.44/2422.24 c | 329825 | 28498 163280 552760 | 2147483647 329773 108 | 0.168 % |
2429.74/2430.54 c | 330984 | 28498 163280 552760 | 2147483647 330932 108 | 0.168 % |
2439.14/2439.96 c | 332257 | 28498 163280 552760 | 2147483647 332205 108 | 0.168 % |
2448.93/2449.77 c | 333658 | 28498 163280 552760 | 2147483647 333606 108 | 0.168 % |
2460.93/2461.76 c | 335198 | 28498 163280 552760 | 2147483647 335146 107 | 0.168 % |
2474.33/2475.18 c | 336892 | 28498 163280 552760 | 2147483647 336840 107 | 0.168 % |
2487.12/2487.97 c | 338755 | 28498 163280 552760 | 2147483647 338703 107 | 0.168 % |
2507.61/2508.40 c | 340804 | 28498 163280 552760 | 2147483647 340752 107 | 0.168 % |
2530.51/2531.38 c | 343057 | 28498 163280 552760 | 2147483647 343005 107 | 0.168 % |
2558.00/2558.83 c | 345535 | 28498 163280 552760 | 2147483647 345483 107 | 0.168 % |
2587.20/2588.04 c | 348261 | 28498 163280 552760 | 2147483647 348209 107 | 0.168 % |
2616.89/2617.78 c | 351259 | 28498 163280 552760 | 2147483647 351207 108 | 0.168 % |
2641.38/2642.27 c | 354555 | 28498 163280 552760 | 2147483647 354503 107 | 0.168 % |
2642.78/2643.62 c | 354656 | 28498 163280 552760 | 2147483647 354604 107 | 0.168 % |
2644.17/2645.07 c | 354767 | 28498 163280 552760 | 2147483647 354715 107 | 0.168 % |
2645.17/2646.03 c | 354889 | 28498 163280 552760 | 2147483647 354837 107 | 0.168 % |
2647.17/2648.02 c | 355022 | 28498 163280 552760 | 2147483647 354970 107 | 0.168 % |
2649.17/2650.05 c | 355168 | 28498 163280 552760 | 2147483647 355116 107 | 0.168 % |
2650.87/2651.75 c | 355328 | 28498 163280 552760 | 2147483647 355276 107 | 0.168 % |
2652.88/2653.77 c | 355505 | 28498 163280 552760 | 2147483647 355453 107 | 0.168 % |
2654.78/2655.66 c | 355699 | 28498 163280 552760 | 2147483647 355647 107 | 0.168 % |
2657.28/2658.19 c | 355912 | 28498 163280 552760 | 2147483647 355860 107 | 0.168 % |
2659.68/2660.51 c | 356145 | 28498 163280 552760 | 2147483647 356093 107 | 0.168 % |
2662.38/2663.24 c | 356401 | 28498 163280 552760 | 2147483647 356349 107 | 0.168 % |
2665.88/2666.77 c | 356682 | 28498 163280 552760 | 2147483647 356630 107 | 0.168 % |
2670.07/2671.00 c | 356992 | 28498 163280 552760 | 2147483647 356940 107 | 0.168 % |
2674.17/2675.03 c | 357331 | 28498 163280 552760 | 2147483647 357279 107 | 0.168 % |
2676.07/2676.99 c | 357705 | 28498 163280 552760 | 2147483647 357653 107 | 0.168 % |
2678.07/2678.94 c | 358116 | 28498 163280 552760 | 2147483647 358064 107 | 0.168 % |
2682.57/2683.42 c | 358565 | 28498 163280 552760 | 2147483647 358513 107 | 0.168 % |
2687.27/2688.13 c | 359059 | 28498 163280 552760 | 2147483647 359007 107 | 0.168 % |
2690.26/2691.12 c | 359602 | 28498 163280 552760 | 2147483647 359550 107 | 0.168 % |
2695.36/2696.22 c | 360199 | 28498 163280 552760 | 2147483647 360147 107 | 0.168 % |
2702.16/2703.04 c | 360854 | 28498 163280 552760 | 2147483647 360802 107 | 0.168 % |
2712.87/2713.72 c | 361574 | 28498 163280 552760 | 2147483647 361522 107 | 0.168 % |
2719.66/2720.51 c | 362368 | 28498 163280 552760 | 2147483647 362316 107 | 0.168 % |
2730.26/2731.15 c | 363240 | 28498 163280 552760 | 2147483647 363188 107 | 0.168 % |
2740.26/2741.17 c | 364198 | 28498 163280 552760 | 2147483647 364146 107 | 0.168 % |
2750.65/2751.56 c | 365252 | 28498 163280 552760 | 2147483647 365200 107 | 0.168 % |
2763.24/2764.14 c | 366410 | 28498 163280 552760 | 2147483647 366358 107 | 0.168 % |
2780.14/2781.00 c | 367684 | 28498 163280 552760 | 2147483647 367632 107 | 0.168 % |
2794.74/2795.65 c | 369084 | 28498 163280 552760 | 2147483647 369032 107 | 0.168 % |
2810.53/2811.42 c | 370625 | 28498 163280 552760 | 2147483647 370573 107 | 0.168 % |
2831.12/2832.09 c | 372319 | 28498 163280 552760 | 2147483647 372267 107 | 0.168 % |
2850.42/2851.38 c | 374183 | 28498 163280 552760 | 2147483647 374131 108 | 0.168 % |
2869.21/2870.10 c | 376233 | 28498 163280 552760 | 2147483647 376181 107 | 0.168 % |
2893.91/2894.89 c | 378486 | 28498 163280 552760 | 2147483647 378434 108 | 0.168 % |
2914.70/2915.66 c | 380965 | 28498 163280 552760 | 2147483647 380913 108 | 0.168 % |
2944.19/2945.18 c | 383690 | 28498 163280 552760 | 2147483647 383638 108 | 0.168 % |
2970.28/2971.22 c | 386687 | 28498 163280 552760 | 2147483647 386635 108 | 0.168 % |
3006.48/3007.48 c | 389984 | 28498 163280 552760 | 2147483647 389932 109 | 0.168 % |
3044.57/3045.57 c | 393609 | 28498 163280 552760 | 2147483647 393557 108 | 0.168 % |
3045.57/3046.59 c | 393711 | 28498 163280 552760 | 2147483647 393659 108 | 0.168 % |
3047.47/3048.42 c | 393822 | 28498 163280 552760 | 2147483647 393770 108 | 0.168 % |
3049.27/3050.25 c | 393944 | 28498 163280 552760 | 2147483647 393892 108 | 0.168 % |
3050.17/3051.12 c | 394078 | 28498 163280 552760 | 2147483647 394026 108 | 0.168 % |
3051.57/3052.57 c | 394224 | 28498 163280 552760 | 2147483647 394172 108 | 0.168 % |
3053.37/3054.35 c | 394385 | 28498 163280 552760 | 2147483647 394333 108 | 0.168 % |
3055.46/3056.40 c | 394561 | 28498 163280 552760 | 2147483647 394509 108 | 0.168 % |
3058.26/3059.22 c | 394754 | 28498 163280 552760 | 2147483647 394702 108 | 0.168 % |
3060.76/3061.79 c | 394967 | 28498 163280 552760 | 2147483647 394915 108 | 0.168 % |
3063.86/3064.82 c | 395200 | 28498 163280 552760 | 2147483647 395148 108 | 0.168 % |
3067.36/3068.31 c | 395456 | 28498 163280 552760 | 2147483647 395404 108 | 0.168 % |
3070.06/3071.04 c | 395738 | 28498 163280 552760 | 2147483647 395686 108 | 0.168 % |
3073.36/3074.36 c | 396047 | 28498 163280 552760 | 2147483647 395995 108 | 0.168 % |
3077.16/3078.10 c | 396387 | 28498 163280 552760 | 2147483647 396335 108 | 0.168 % |
3080.95/3081.98 c | 396761 | 28498 163280 552760 | 2147483647 396709 108 | 0.168 % |
3084.55/3085.59 c | 397170 | 28498 163280 552760 | 2147483647 397118 108 | 0.168 % |
3090.85/3091.80 c | 397619 | 28498 163280 552760 | 2147483647 397567 108 | 0.168 % |
3096.04/3097.08 c | 398112 | 28498 163280 552760 | 2147483647 398060 108 | 0.168 % |
3102.34/3103.30 c | 398656 | 28498 163280 552760 | 2147483647 398604 108 | 0.168 % |
3109.85/3110.83 c | 399252 | 28498 163280 552760 | 2147483647 399200 108 | 0.168 % |
3116.14/3117.11 c | 399908 | 28498 163280 552760 | 2147483647 399856 108 | 0.168 % |
3123.24/3124.26 c | 400629 | 28498 163280 552760 | 2147483647 400577 108 | 0.168 % |
3132.74/3133.75 c | 401421 | 28498 163280 552760 | 2147483647 401369 108 | 0.168 % |
3141.34/3142.36 c | 402293 | 28498 163280 552760 | 2147483647 402241 108 | 0.168 % |
3150.93/3151.99 c | 403251 | 28498 163280 552760 | 2147483647 403199 108 | 0.168 % |
3162.83/3163.84 c | 404305 | 28498 163280 552760 | 2147483647 404253 108 | 0.168 % |
3174.53/3175.55 c | 405463 | 28498 163280 552760 | 2147483647 405411 108 | 0.168 % |
3190.22/3191.22 c | 406736 | 28498 163280 552760 | 2147483647 406684 108 | 0.168 % |
3205.91/3206.98 c | 408137 | 28498 163280 552760 | 2147483647 408085 108 | 0.168 % |
3224.52/3225.57 c | 409677 | 28498 163280 552760 | 2147483647 409625 109 | 0.168 % |
3241.90/3242.95 c | 411372 | 28498 163280 552760 | 2147483647 411320 109 | 0.168 % |
3261.31/3262.39 c | 413236 | 28498 163280 552760 | 2147483647 413184 109 | 0.168 % |
3280.70/3281.74 c | 415285 | 28498 163280 552760 | 2147483647 415233 109 | 0.168 % |
3304.39/3305.46 c | 417539 | 28498 163280 552760 | 2147483647 417487 109 | 0.168 % |
3329.79/3330.80 c | 420020 | 28498 163280 552760 | 2147483647 419968 109 | 0.168 % |
3355.28/3356.39 c | 422746 | 28498 163280 552760 | 2147483647 422694 109 | 0.168 % |
3389.17/3390.22 c | 425745 | 28498 163280 552760 | 2147483647 425693 109 | 0.168 % |
3431.35/3432.43 c | 429041 | 28498 163280 552760 | 2147483647 428989 110 | 0.168 % |
3470.05/3471.15 c | 432666 | 28498 163280 552760 | 2147483647 432614 110 | 0.168 % |
3517.93/3519.00 c | 436654 | 28498 163280 552760 | 2147483647 436602 110 | 0.168 % |
3519.23/3520.32 c | 436754 | 28498 163280 552760 | 2147483647 436702 110 | 0.168 % |
3520.93/3522.08 c | 436864 | 28498 163280 552760 | 2147483647 436812 110 | 0.168 % |
3522.33/3523.46 c | 436985 | 28498 163280 552760 | 2147483647 436933 110 | 0.168 % |
3524.33/3525.40 c | 437118 | 28498 163280 552760 | 2147483647 437066 110 | 0.168 % |
3525.93/3527.06 c | 437264 | 28498 163280 552760 | 2147483647 437212 110 | 0.168 % |
3527.33/3528.42 c | 437424 | 28498 163280 552760 | 2147483647 437372 110 | 0.168 % |
3529.52/3530.69 c | 437600 | 28498 163280 552760 | 2147483647 437548 110 | 0.168 % |
3532.13/3533.23 c | 437793 | 28498 163280 552760 | 2147483647 437741 110 | 0.168 % |
3534.63/3535.80 c | 438007 | 28498 163280 552760 | 2147483647 437955 110 | 0.168 % |
3537.43/3538.58 c | 438240 | 28498 163280 552760 | 2147483647 438188 110 | 0.168 % |
3540.63/3541.78 c | 438496 | 28498 163280 552760 | 2147483647 438444 110 | 0.168 % |
3544.62/3545.79 c | 438778 | 28498 163280 552760 | 2147483647 438726 110 | 0.168 % |
3547.43/3548.50 c | 439087 | 28498 163280 552760 | 2147483647 439035 110 | 0.168 % |
3550.12/3551.26 c | 439427 | 28498 163280 552760 | 2147483647 439375 110 | 0.168 % |
3555.72/3556.84 c | 439800 | 28498 163280 552760 | 2147483647 439748 110 | 0.168 % |
3560.22/3561.36 c | 440211 | 28498 163280 552760 | 2147483647 440159 110 | 0.168 % |
3566.52/3567.60 c | 440660 | 28498 163280 552760 | 2147483647 440608 110 | 0.168 % |
3571.62/3572.79 c | 441153 | 28498 163280 552760 | 2147483647 441101 110 | 0.168 % |
3577.61/3578.76 c | 441695 | 28498 163280 552760 | 2147483647 441643 110 | 0.168 % |
3583.91/3585.00 c | 442291 | 28498 163280 552760 | 2147483647 442239 110 | 0.168 % |
3591.71/3592.85 c | 442946 | 28498 163280 552760 | 2147483647 442894 110 | 0.168 % |
3598.51/3599.61 c | 443667 | 28498 163280 552760 | 2147483647 443615 110 | 0.168 % |
3608.21/3609.30 c | 444460 | 28498 163280 552760 | 2147483647 444408 110 | 0.168 % |
3618.20/3619.37 c | 445332 | 28498 163280 552760 | 2147483647 445280 111 | 0.168 % |
3628.70/3629.82 c | 446291 | 28498 163280 552760 | 2147483647 446239 110 | 0.168 % |
3641.49/3642.61 c | 447344 | 28498 163280 552760 | 2147483647 447292 111 | 0.168 % |
3652.50/3653.61 c | 448502 | 28498 163280 552760 | 2147483647 448450 111 | 0.168 % |
3665.49/3666.68 c | 449776 | 28498 163280 552760 | 2147483647 449724 111 | 0.168 % |
3681.99/3683.18 c | 451177 | 28498 163280 552760 | 2147483647 451125 111 | 0.168 % |
3697.48/3698.63 c | 452717 | 28498 163280 552760 | 2147483647 452665 111 | 0.168 % |
3717.98/3719.12 c | 454412 | 28498 163280 552760 | 2147483647 454360 111 | 0.168 % |
3738.07/3739.21 c | 456275 | 28498 163280 552760 | 2147483647 456223 111 | 0.168 % |
3759.77/3760.99 c | 458325 | 28498 163280 552760 | 2147483647 458273 111 | 0.168 % |
3786.66/3787.85 c | 460578 | 28498 163280 552760 | 2147483647 460526 111 | 0.168 % |
3813.34/3814.59 c | 463056 | 28498 163280 552760 | 2147483647 463004 111 | 0.168 % |
3841.34/3842.58 c | 465783 | 28498 163280 552760 | 2147483647 465731 111 | 0.168 % |
3876.93/3878.18 c | 468783 | 28498 163280 552760 | 2147483647 468731 111 | 0.168 % |
3914.02/3915.26 c | 472079 | 28498 163280 552760 | 2147483647 472027 111 | 0.168 % |
3963.90/3965.15 c | 475704 | 28498 163280 552760 | 2147483647 475652 112 | 0.168 % |
4003.90/4005.11 c | 479692 | 28498 163280 552760 | 2147483647 479640 112 | 0.168 % |
4032.99/4034.26 c | 484077 | 28498 163280 552760 | 2147483647 484025 111 | 0.168 % |
4034.29/4035.53 c | 484177 | 28498 163280 552760 | 2147483647 484125 111 | 0.168 % |
4035.39/4036.65 c | 484287 | 28498 163280 552760 | 2147483647 484235 111 | 0.168 % |
4035.79/4037.00 c | 484408 | 28498 163280 552760 | 2147483647 484356 111 | 0.168 % |
4036.89/4038.17 c | 484542 | 28498 163280 552760 | 2147483647 484490 111 | 0.168 % |
4038.78/4040.01 c | 484691 | 28498 163280 552760 | 2147483647 484639 111 | 0.168 % |
4040.09/4041.35 c | 484851 | 28498 163280 552760 | 2147483647 484799 111 | 0.168 % |
4041.98/4043.24 c | 485027 | 28498 163280 552760 | 2147483647 484975 111 | 0.168 % |
4044.08/4045.30 c | 485220 | 28498 163280 552760 | 2147483647 485168 111 | 0.168 % |
4047.08/4048.39 c | 485432 | 28498 163280 552760 | 2147483647 485380 111 | 0.168 % |
4049.98/4051.24 c | 485665 | 28498 163280 552760 | 2147483647 485613 111 | 0.168 % |
4052.88/4054.15 c | 485922 | 28498 163280 552760 | 2147483647 485870 111 | 0.168 % |
4056.18/4057.47 c | 486203 | 28498 163280 552760 | 2147483647 486151 111 | 0.168 % |
4058.68/4060.00 c | 486513 | 28498 163280 552760 | 2147483647 486461 111 | 0.168 % |
4063.28/4064.52 c | 486852 | 28498 163280 552760 | 2147483647 486800 111 | 0.168 % |
4068.47/4069.76 c | 487224 | 28498 163280 552760 | 2147483647 487172 111 | 0.168 % |
4072.98/4074.30 c | 487635 | 28498 163280 552760 | 2147483647 487583 111 | 0.168 % |
4078.58/4079.85 c | 488084 | 28498 163280 552760 | 2147483647 488032 111 | 0.168 % |
4082.18/4083.43 c | 488577 | 28498 163280 552760 | 2147483647 488525 111 | 0.168 % |
4089.07/4090.31 c | 489120 | 28498 163280 552760 | 2147483647 489068 111 | 0.168 % |
4096.67/4097.91 c | 489718 | 28498 163280 552760 | 2147483647 489666 111 | 0.168 % |
4102.97/4104.21 c | 490373 | 28498 163280 552760 | 2147483647 490321 111 | 0.168 % |
4110.27/4111.52 c | 491093 | 28498 163280 552760 | 2147483647 491041 111 | 0.168 % |
4119.36/4120.61 c | 491885 | 28498 163280 552760 | 2147483647 491833 111 | 0.168 % |
4129.46/4130.70 c | 492756 | 28498 163280 552760 | 2147483647 492704 111 | 0.168 % |
4137.97/4139.24 c | 493715 | 28498 163280 552760 | 2147483647 493663 111 | 0.168 % |
4150.56/4151.80 c | 494768 | 28498 163280 552760 | 2147483647 494716 111 | 0.168 % |
4165.25/4166.51 c | 495927 | 28498 163280 552760 | 2147483647 495875 111 | 0.168 % |
4178.54/4179.85 c | 497200 | 28498 163280 552760 | 2147483647 497148 111 | 0.168 % |
4195.74/4197.10 c | 498601 | 28498 163280 552760 | 2147483647 498549 111 | 0.168 % |
4215.34/4216.61 c | 500141 | 28498 163280 552760 | 2147483647 500089 111 | 0.168 % |
4234.83/4236.11 c | 501835 | 28498 163280 552760 | 2147483647 501783 111 | 0.168 % |
4254.32/4255.63 c | 503698 | 28498 163280 552760 | 2147483647 503646 111 | 0.168 % |
4277.42/4278.79 c | 505748 | 28498 163280 552760 | 2147483647 505696 111 | 0.168 % |
4302.36/4303.75 c | 508001 | 28498 163280 552760 | 2147483647 507949 111 | 0.168 % |
4328.35/4329.76 c | 510481 | 28498 163280 552760 | 2147483647 510429 111 | 0.168 % |
4353.34/4354.71 c | 513207 | 28498 163280 552760 | 2147483647 513155 111 | 0.168 % |
4390.73/4392.13 c | 516204 | 28498 163280 552760 | 2147483647 516152 111 | 0.168 % |
4428.83/4430.26 c | 519502 | 28498 163280 552760 | 2147483647 519450 111 | 0.168 % |
4467.61/4469.06 c | 523128 | 28498 163280 552760 | 2147483647 523076 111 | 0.168 % |
4515.20/4516.65 c | 527116 | 28498 163280 552760 | 2147483647 527064 111 | 0.168 % |
4562.68/4564.17 c | 531501 | 28498 163280 552760 | 2147483647 531449 111 | 0.168 % |
4624.27/4625.72 c | 536325 | 28498 163280 552760 | 2147483647 536273 112 | 0.168 % |
4625.47/4626.92 c | 536425 | 28498 163280 552760 | 2147483647 536373 112 | 0.168 % |
4626.47/4627.96 c | 536535 | 28498 163280 552760 | 2147483647 536483 112 | 0.168 % |
4628.06/4629.51 c | 536657 | 28498 163280 552760 | 2147483647 536605 112 | 0.168 % |
4629.26/4630.78 c | 536791 | 28498 163280 552760 | 2147483647 536739 112 | 0.168 % |
4630.76/4632.21 c | 536938 | 28498 163280 552760 | 2147483647 536886 112 | 0.168 % |
4632.77/4634.25 c | 537098 | 28498 163280 552760 | 2147483647 537046 112 | 0.168 % |
4635.66/4637.11 c | 537275 | 28498 163280 552760 | 2147483647 537223 112 | 0.168 % |
4637.96/4639.43 c | 537468 | 28498 163280 552760 | 2147483647 537416 112 | 0.168 % |
4641.56/4643.04 c | 537681 | 28498 163280 552760 | 2147483647 537629 112 | 0.168 % |
4643.66/4645.18 c | 537916 | 28498 163280 552760 | 2147483647 537864 112 | 0.168 % |
4647.06/4648.53 c | 538172 | 28498 163280 552760 | 2147483647 538120 112 | 0.168 % |
4650.76/4652.29 c | 538453 | 28498 163280 552760 | 2147483647 538401 112 | 0.168 % |
4654.46/4655.91 c | 538763 | 28498 163280 552760 | 2147483647 538711 112 | 0.168 % |
4657.96/4659.47 c | 539102 | 28498 163280 552760 | 2147483647 539050 112 | 0.168 % |
4661.86/4663.39 c | 539474 | 28498 163280 552760 | 2147483647 539422 112 | 0.168 % |
4667.66/4669.17 c | 539883 | 28498 163280 552760 | 2147483647 539831 112 | 0.168 % |
4675.46/4676.99 c | 540333 | 28498 163280 552760 | 2147483647 540281 112 | 0.168 % |
4682.15/4683.61 c | 540826 | 28498 163280 552760 | 2147483647 540774 112 | 0.168 % |
4688.45/4689.95 c | 541368 | 28498 163280 552760 | 2147483647 541316 111 | 0.168 % |
4695.55/4697.08 c | 541964 | 28498 163280 552760 | 2147483647 541912 112 | 0.168 % |
4705.05/4706.55 c | 542620 | 28498 163280 552760 | 2147483647 542568 111 | 0.168 % |
4715.14/4716.64 c | 543340 | 28498 163280 552760 | 2147483647 543288 111 | 0.168 % |
4721.74/4723.29 c | 544132 | 28498 163280 552760 | 2147483647 544080 111 | 0.168 % |
4729.54/4731.05 c | 545004 | 28498 163280 552760 | 2147483647 544952 111 | 0.168 % |
4742.64/4744.19 c | 545963 | 28498 163280 552760 | 2147483647 545911 111 | 0.168 % |
4754.33/4755.87 c | 547017 | 28498 163280 552760 | 2147483647 546965 112 | 0.168 % |
4764.13/4765.65 c | 548175 | 28498 163280 552760 | 2147483647 548123 112 | 0.168 % |
4780.53/4782.05 c | 549448 | 28498 163280 552760 | 2147483647 549396 111 | 0.168 % |
4797.82/4799.33 c | 550848 | 28498 163280 552760 | 2147483647 550796 112 | 0.168 % |
4812.61/4814.16 c | 552390 | 28498 163280 552760 | 2147483647 552338 111 | 0.168 % |
4838.51/4840.04 c | 554084 | 28498 163280 552760 | 2147483647 554032 111 | 0.168 % |
4856.41/4857.99 c | 555948 | 28498 163280 552760 | 2147483647 555896 111 | 0.168 % |
4875.70/4877.25 c | 557997 | 28498 163280 552760 | 2147483647 557945 111 | 0.168 % |
4903.79/4905.34 c | 560252 | 28498 163280 552760 | 2147483647 560200 111 | 0.168 % |
4941.08/4942.66 c | 562732 | 28498 163280 552760 | 2147483647 562680 112 | 0.168 % |
4976.57/4978.14 c | 565459 | 28498 163280 552760 | 2147483647 565407 112 | 0.168 % |
5010.96/5012.60 c | 568459 | 28498 163280 552760 | 2147483647 568407 112 | 0.168 % |
5045.46/5047.04 c | 571755 | 28498 163280 552760 | 2147483647 571703 111 | 0.168 % |
5094.13/5095.71 c | 575380 | 28498 163280 552760 | 2147483647 575328 112 | 0.168 % |
5132.32/5133.92 c | 579367 | 28498 163280 552760 | 2147483647 579315 112 | 0.168 % |
5176.12/5177.74 c | 583753 | 28498 163280 552760 | 2147483647 583701 111 | 0.168 % |
5232.49/5234.17 c | 588576 | 28498 163280 552760 | 2147483647 588524 112 | 0.168 % |
5271.89/5273.55 c | 593881 | 28498 163280 552760 | 2147483647 593829 111 | 0.168 % |
5273.89/5275.51 c | 593982 | 28498 163280 552760 | 2147483647 593930 111 | 0.168 % |
5275.49/5277.16 c | 594093 | 28498 163280 552760 | 2147483647 594041 111 | 0.168 % |
5277.49/5279.17 c | 594214 | 28498 163280 552760 | 2147483647 594162 111 | 0.168 % |
5279.79/5281.46 c | 594348 | 28498 163280 552760 | 2147483647 594296 111 | 0.168 % |
5281.89/5283.52 c | 594495 | 28498 163280 552760 | 2147483647 594443 111 | 0.168 % |
5288.59/5290.21 c | 594656 | 28498 163280 552760 | 2147483647 594604 111 | 0.168 % |
5290.98/5292.64 c | 594833 | 28498 163280 552760 | 2147483647 594781 111 | 0.168 % |
5294.38/5296.08 c | 595028 | 28498 163280 552760 | 2147483647 594976 111 | 0.168 % |
5297.88/5299.52 c | 595240 | 28498 163280 552760 | 2147483647 595188 111 | 0.168 % |
5301.68/5303.33 c | 595473 | 28498 163280 552760 | 2147483647 595421 111 | 0.168 % |
5305.78/5307.45 c | 595729 | 28498 163280 552760 | 2147483647 595677 111 | 0.168 % |
5309.47/5311.16 c | 596011 | 28498 163280 552760 | 2147483647 595959 111 | 0.168 % |
5314.07/5315.79 c | 596321 | 28498 163280 552760 | 2147483647 596269 111 | 0.168 % |
5318.57/5320.22 c | 596662 | 28498 163280 552760 | 2147483647 596610 111 | 0.168 % |
5322.97/5324.65 c | 597034 | 28498 163280 552760 | 2147483647 596982 111 | 0.168 % |
5325.97/5327.64 c | 597443 | 28498 163280 552760 | 2147483647 597391 111 | 0.168 % |
5331.77/5333.49 c | 597893 | 28498 163280 552760 | 2147483647 597841 111 | 0.168 % |
5337.47/5339.19 c | 598386 | 28498 163280 552760 | 2147483647 598334 111 | 0.168 % |
5344.87/5346.54 c | 598928 | 28498 163280 552760 | 2147483647 598876 111 | 0.168 % |
5352.66/5354.34 c | 599524 | 28498 163280 552760 | 2147483647 599472 111 | 0.168 % |
5361.26/5362.97 c | 600181 | 28498 163280 552760 | 2147483647 600129 111 | 0.168 % |
5371.16/5372.89 c | 600902 | 28498 163280 552760 | 2147483647 600850 111 | 0.168 % |
5383.96/5385.70 c | 601695 | 28498 163280 552760 | 2147483647 601643 111 | 0.168 % |
5396.05/5397.80 c | 602567 | 28498 163280 552760 | 2147483647 602515 111 | 0.168 % |
5409.64/5411.32 c | 603526 | 28498 163280 552760 | 2147483647 603474 111 | 0.168 % |
5425.15/5426.84 c | 604579 | 28498 163280 552760 | 2147483647 604527 111 | 0.168 % |
5440.14/5441.83 c | 605737 | 28498 163280 552760 | 2147483647 605685 111 | 0.168 % |
5455.63/5457.33 c | 607010 | 28498 163280 552760 | 2147483647 606958 111 | 0.168 % |
5473.03/5474.71 c | 608411 | 28498 163280 552760 | 2147483647 608359 111 | 0.168 % |
5490.23/5491.96 c | 609952 | 28498 163280 552760 | 2147483647 609900 111 | 0.168 % |
5511.32/5513.08 c | 611646 | 28498 163280 552760 | 2147483647 611594 111 | 0.168 % |
5536.31/5538.01 c | 613510 | 28498 163280 552760 | 2147483647 613458 112 | 0.168 % |
5564.21/5566.00 c | 615559 | 28498 163280 552760 | 2147483647 615507 112 | 0.168 % |
5588.19/5589.91 c | 617813 | 28498 163280 552760 | 2147483647 617761 112 | 0.168 % |
5619.49/5621.21 c | 620291 | 28498 163280 552760 | 2147483647 620239 111 | 0.168 % |
5654.27/5656.03 c | 623016 | 28498 163280 552760 | 2147483647 622964 111 | 0.168 % |
5691.77/5693.53 c | 626014 | 28498 163280 552760 | 2147483647 625962 112 | 0.168 % |
5748.36/5750.17 c | 629310 | 28498 163280 552760 | 2147483647 629258 111 | 0.168 % |
5795.44/5797.26 c | 632935 | 28498 163280 552760 | 2147483647 632883 112 | 0.168 % |
5841.43/5843.22 c | 636922 | 28498 163280 552760 | 2147483647 636870 111 | 0.168 % |
5893.01/5894.88 c | 641307 | 28498 163280 552760 | 2147483647 641255 111 | 0.168 % |
5958.40/5960.21 c | 646130 | 28498 163280 552760 | 2147483647 646078 111 | 0.168 % |
6029.58/6031.43 c | 651435 | 28498 163280 552760 | 2147483647 651383 112 | 0.168 % |
6107.35/6109.21 c | 657271 | 28498 163280 552760 | 2147483647 657219 112 | 0.168 % |
6107.85/6109.77 c | 657372 | 28498 163280 552760 | 2147483647 657320 112 | 0.168 % |
6109.05/6110.96 c | 657484 | 28498 163280 552760 | 2147483647 657432 112 | 0.168 % |
6111.45/6113.36 c | 657606 | 28498 163280 552760 | 2147483647 657554 112 | 0.168 % |
6113.06/6114.92 c | 657739 | 28498 163280 552760 | 2147483647 657687 112 | 0.168 % |
6114.85/6116.77 c | 657885 | 28498 163280 552760 | 2147483647 657833 112 | 0.168 % |
6117.15/6119.08 c | 658045 | 28498 163280 552760 | 2147483647 657993 112 | 0.168 % |
6120.05/6121.94 c | 658222 | 28498 163280 552760 | 2147483647 658170 112 | 0.168 % |
6123.45/6125.32 c | 658416 | 28498 163280 552760 | 2147483647 658364 112 | 0.168 % |
6125.85/6127.71 c | 658628 | 28498 163280 552760 | 2147483647 658576 112 | 0.168 % |
6129.84/6131.76 c | 658862 | 28498 163280 552760 | 2147483647 658810 112 | 0.168 % |
6134.44/6136.39 c | 659118 | 28498 163280 552760 | 2147483647 659066 112 | 0.168 % |
6139.14/6141.03 c | 659400 | 28498 163280 552760 | 2147483647 659348 112 | 0.168 % |
6142.74/6144.62 c | 659709 | 28498 163280 552760 | 2147483647 659657 112 | 0.168 % |
6147.14/6149.07 c | 660049 | 28498 163280 552760 | 2147483647 659997 112 | 0.168 % |
6154.43/6156.30 c | 660423 | 28498 163280 552760 | 2147483647 660371 112 | 0.168 % |
6160.14/6162.01 c | 660833 | 28498 163280 552760 | 2147483647 660781 112 | 0.168 % |
6167.53/6169.43 c | 661282 | 28498 163280 552760 | 2147483647 661230 112 | 0.168 % |
6174.23/6176.16 c | 661776 | 28498 163280 552760 | 2147483647 661724 112 | 0.168 % |
6182.43/6184.39 c | 662318 | 28498 163280 552760 | 2147483647 662266 112 | 0.168 % |
6191.53/6193.44 c | 662914 | 28498 163280 552760 | 2147483647 662862 112 | 0.168 % |
6198.12/6200.04 c | 663569 | 28498 163280 552760 | 2147483647 663517 112 | 0.168 % |
6204.82/6206.70 c | 664289 | 28498 163280 552760 | 2147483647 664237 112 | 0.168 % |
6212.72/6214.62 c | 665082 | 28498 163280 552760 | 2147483647 665030 112 | 0.168 % |
6225.51/6227.47 c | 665954 | 28498 163280 552760 | 2147483647 665902 112 | 0.168 % |
6238.71/6240.61 c | 666913 | 28498 163280 552760 | 2147483647 666861 112 | 0.168 % |
6255.51/6257.43 c | 667966 | 28498 163280 552760 | 2147483647 667914 112 | 0.168 % |
6275.20/6277.12 c | 669124 | 28498 163280 552760 | 2147483647 669072 112 | 0.168 % |
6292.40/6294.39 c | 670397 | 28498 163280 552760 | 2147483647 670345 112 | 0.168 % |
6307.00/6308.99 c | 671797 | 28498 163280 552760 | 2147483647 671745 112 | 0.168 % |
6326.89/6328.89 c | 673338 | 28498 163280 552760 | 2147483647 673286 112 | 0.168 % |
6352.78/6354.70 c | 675032 | 28498 163280 552760 | 2147483647 674980 112 | 0.168 % |
6378.18/6380.14 c | 676895 | 28498 163280 552760 | 2147483647 676843 112 | 0.168 % |
6407.47/6409.49 c | 678946 | 28498 163280 552760 | 2147483647 678894 112 | 0.168 % |
6436.06/6438.07 c | 681200 | 28498 163280 552760 | 2147483647 681148 113 | 0.168 % |
6471.45/6473.41 c | 683678 | 28498 163280 552760 | 2147483647 683626 113 | 0.168 % |
6503.54/6505.60 c | 686403 | 28498 163280 552760 | 2147483647 686351 113 | 0.168 % |
6544.03/6546.05 c | 689401 | 28498 163280 552760 | 2147483647 689349 113 | 0.168 % |
6589.81/6591.84 c | 692697 | 28498 163280 552760 | 2147483647 692645 113 | 0.168 % |
6637.20/6639.23 c | 696322 | 28498 163280 552760 | 2147483647 696270 113 | 0.168 % |
6682.79/6684.81 c | 700309 | 28498 163280 552760 | 2147483647 700257 112 | 0.168 % |
6743.67/6745.71 c | 704694 | 28498 163280 552760 | 2147483647 704642 113 | 0.168 % |
6808.55/6810.67 c | 709518 | 28498 163280 552760 | 2147483647 709466 113 | 0.168 % |
6867.24/6869.35 c | 714824 | 28498 163280 552760 | 2147483647 714772 112 | 0.168 % |
6956.11/6958.20 c | 720660 | 28498 163280 552760 | 2147483647 720608 113 | 0.168 % |
7058.69/7060.82 c | 727078 | 28498 163280 552760 | 2147483647 727026 113 | 0.168 % |
7060.48/7062.62 c | 727179 | 28498 163280 552760 | 2147483647 727127 113 | 0.168 % |
7062.28/7064.42 c | 727290 | 28498 163280 552760 | 2147483647 727238 113 | 0.168 % |
7064.98/7067.12 c | 727412 | 28498 163280 552760 | 2147483647 727360 113 | 0.168 % |
7066.78/7068.91 c | 727545 | 28498 163280 552760 | 2147483647 727493 113 | 0.168 % |
7069.18/7071.36 c | 727691 | 28498 163280 552760 | 2147483647 727639 113 | 0.168 % |
7070.98/7073.16 c | 727851 | 28498 163280 552760 | 2147483647 727799 113 | 0.168 % |
7073.28/7075.41 c | 728027 | 28498 163280 552760 | 2147483647 727975 113 | 0.168 % |
7076.58/7078.79 c | 728220 | 28498 163280 552760 | 2147483647 728168 113 | 0.168 % |
7080.08/7082.28 c | 728433 | 28498 163280 552760 | 2147483647 728381 113 | 0.168 % |
7084.58/7086.78 c | 728667 | 28498 163280 552760 | 2147483647 728615 113 | 0.168 % |
7087.97/7090.15 c | 728923 | 28498 163280 552760 | 2147483647 728871 113 | 0.168 % |
7092.67/7094.85 c | 729204 | 28498 163280 552760 | 2147483647 729152 113 | 0.168 % |
7098.48/7100.64 c | 729513 | 28498 163280 552760 | 2147483647 729461 113 | 0.168 % |
7104.88/7107.09 c | 729854 | 28498 163280 552760 | 2147483647 729802 113 | 0.168 % |
7110.77/7112.92 c | 730226 | 28498 163280 552760 | 729949 730174 113 | 0.168 % |
7120.07/7122.28 c | 730636 | 28498 163280 552760 | 729949 657567 111 | 0.168 % |
7125.77/7127.97 c | 731085 | 28498 163280 552760 | 729949 658016 111 | 0.168 % |
7132.67/7134.88 c | 731578 | 28498 163280 552760 | 729949 658509 111 | 0.168 % |
7141.87/7144.09 c | 732120 | 28498 163280 552760 | 729949 659051 111 | 0.168 % |
7151.36/7153.56 c | 732717 | 28498 163280 552760 | 729949 659648 111 | 0.168 % |
7160.36/7162.51 c | 733373 | 28498 163280 552760 | 729949 660304 111 | 0.168 % |
7170.06/7172.24 c | 734093 | 28498 163280 552760 | 729949 661024 111 | 0.168 % |
7179.76/7181.93 c | 734886 | 28498 163280 552760 | 729949 661817 111 | 0.168 % |
7193.35/7195.50 c | 735761 | 28498 163280 552760 | 729949 662692 111 | 0.168 % |
7204.75/7206.95 c | 736721 | 28498 163280 552760 | 729949 663652 111 | 0.168 % |
7219.64/7221.89 c | 737774 | 28497 163272 552732 | 729949 664689 111 | 0.172 % |
7232.44/7234.70 c | 738932 | 28497 163272 552732 | 729949 665847 111 | 0.172 % |
7247.23/7249.47 c | 740206 | 28497 163272 552732 | 2147483647 667121 111 | 0.172 % |
7262.73/7264.98 c | 741607 | 28497 163272 552732 | 2147483647 668522 111 | 0.172 % |
7279.32/7281.59 c | 743147 | 28497 163272 552732 | 2147483647 670062 111 | 0.172 % |
7302.51/7304.79 c | 744842 | 28497 163272 552732 | 2147483647 671757 111 | 0.172 % |
7337.11/7339.38 c | 746705 | 28497 163272 552732 | 2147483647 673620 111 | 0.172 % |
7363.90/7366.16 c | 748756 | 28497 163272 552732 | 2147483647 675671 111 | 0.172 % |
7388.09/7390.32 c | 751010 | 28497 163272 552732 | 2147483647 677925 111 | 0.172 % |
7424.58/7426.89 c | 753489 | 28497 163272 552732 | 2147483647 680404 111 | 0.172 % |
7463.77/7466.02 c | 756216 | 28497 163272 552732 | 2147483647 683131 111 | 0.172 % |
7503.87/7506.10 c | 759213 | 28497 163272 552732 | 2147483647 686128 111 | 0.172 % |
7547.85/7550.16 c | 762509 | 28497 163272 552732 | 2147483647 689424 111 | 0.172 % |
7601.13/7603.42 c | 766134 | 28497 163272 552732 | 2147483647 693049 112 | 0.172 % |
7658.42/7660.78 c | 770123 | 28497 163272 552732 | 2147483647 697038 112 | 0.172 % |
7719.61/7721.95 c | 774508 | 28497 163272 552732 | 2147483647 701423 112 | 0.172 % |
7789.49/7791.82 c | 779332 | 28497 163272 552732 | 2147483647 706247 112 | 0.172 % |
7860.06/7862.46 c | 784637 | 28497 163272 552732 | 2147483647 711552 112 | 0.172 % |
7940.93/7943.37 c | 790473 | 28497 163272 552732 | 2147483647 717388 113 | 0.172 % |
8027.11/8029.60 c | 796892 | 28497 163272 552732 | 2147483647 723807 113 | 0.172 % |
8132.09/8134.55 c | 803952 | 28497 163272 552732 | 2147483647 730867 113 | 0.172 % |
8133.19/8135.67 c | 804052 | 28497 163272 552732 | 2147483647 730967 113 | 0.172 % |
8134.88/8137.38 c | 804164 | 28497 163272 552732 | 2147483647 731079 113 | 0.172 % |
8137.08/8139.52 c | 804285 | 28497 163272 552732 | 2147483647 731200 113 | 0.172 % |
8138.58/8141.07 c | 804419 | 28497 163272 552732 | 2147483647 731334 113 | 0.172 % |
8141.58/8144.03 c | 804565 | 28497 163272 552732 | 2147483647 731480 113 | 0.172 % |
8143.87/8146.36 c | 804726 | 28497 163272 552732 | 2147483647 731641 113 | 0.172 % |
8146.17/8148.62 c | 804902 | 28497 163272 552732 | 2147483647 731817 113 | 0.172 % |
8149.77/8152.21 c | 805095 | 28497 163272 552732 | 2147483647 732010 113 | 0.172 % |
8152.07/8154.57 c | 805307 | 28497 163272 552732 | 2147483647 732222 113 | 0.172 % |
8155.87/8158.40 c | 805540 | 28497 163272 552732 | 2147483647 732455 113 | 0.172 % |
8160.27/8162.78 c | 805796 | 28497 163272 552732 | 2147483647 732711 113 | 0.172 % |
8165.97/8168.49 c | 806077 | 28497 163272 552732 | 2147483647 732992 113 | 0.172 % |
8168.56/8171.06 c | 806386 | 28497 163272 552732 | 2147483647 733301 113 | 0.172 % |
8172.86/8175.38 c | 806725 | 28497 163272 552732 | 2147483647 733640 113 | 0.172 % |
8178.36/8180.89 c | 807097 | 28497 163272 552732 | 2147483647 734012 113 | 0.172 % |
8186.96/8189.47 c | 807507 | 28497 163272 552732 | 2147483647 734422 113 | 0.172 % |
8194.77/8197.26 c | 807956 | 28497 163272 552732 | 2147483647 734871 113 | 0.172 % |
8203.57/8206.02 c | 808449 | 28497 163272 552732 | 2147483647 735364 113 | 0.172 % |
8212.86/8215.39 c | 808991 | 28497 163272 552732 | 2147483647 735906 113 | 0.172 % |
8221.06/8223.51 c | 809587 | 28497 163272 552732 | 2147483647 736502 113 | 0.172 % |
8231.35/8233.81 c | 810242 | 28497 163272 552732 | 2147483647 737157 113 | 0.172 % |
8242.05/8244.53 c | 810963 | 28497 163272 552732 | 2147483647 737878 113 | 0.172 % |
8254.65/8257.18 c | 811756 | 28497 163272 552732 | 2147483647 738671 113 | 0.172 % |
8269.14/8271.60 c | 812627 | 28497 163272 552732 | 2147483647 739542 113 | 0.172 % |
8283.04/8285.52 c | 813585 | 28497 163272 552732 | 2147483647 740500 113 | 0.172 % |
8299.93/8302.44 c | 814639 | 28497 163272 552732 | 2147483647 741554 113 | 0.172 % |
8315.82/8318.36 c | 815797 | 28497 163272 552732 | 2147483647 742712 113 | 0.172 % |
8335.62/8338.11 c | 817070 | 28497 163272 552732 | 2147483647 743985 113 | 0.172 % |
8359.91/8362.41 c | 818471 | 28497 163272 552732 | 2147483647 745386 113 | 0.172 % |
8383.91/8386.41 c | 820011 | 28497 163272 552732 | 746916 746926 113 | 0.172 % |
8410.00/8412.53 c | 821705 | 28497 163272 552732 | 746916 748620 114 | 0.172 % |
8444.19/8446.79 c | 823568 | 28497 163272 552732 | 746916 646385 111 | 0.172 % |
8472.59/8475.10 c | 825618 | 28497 163272 552732 | 746916 648435 111 | 0.172 % |
8504.38/8506.91 c | 827872 | 28497 163272 552732 | 746916 650689 111 | 0.172 % |
8536.57/8539.17 c | 830350 | 28497 163272 552732 | 2147483647 653167 111 | 0.172 % |
8576.16/8578.71 c | 833076 | 28497 163272 552732 | 2147483647 655893 111 | 0.172 % |
8614.85/8617.44 c | 836074 | 28497 163272 552732 | 2147483647 658891 111 | 0.172 % |
8658.94/8661.55 c | 839370 | 28497 163272 552732 | 2147483647 662187 111 | 0.172 % |
8708.33/8710.96 c | 842995 | 28497 163272 552732 | 2147483647 665812 111 | 0.172 % |
8753.71/8756.33 c | 846982 | 28497 163272 552732 | 2147483647 669799 111 | 0.172 % |
8809.79/8812.45 c | 851368 | 28497 163272 552732 | 2147483647 674185 111 | 0.172 % |
8870.87/8873.57 c | 856193 | 28497 163272 552732 | 2147483647 679010 112 | 0.172 % |
8922.06/8924.78 c | 861498 | 28497 163272 552732 | 2147483647 684315 111 | 0.172 % |
9007.94/9010.67 c | 867333 | 28497 163272 552732 | 2147483647 690150 112 | 0.172 % |
9100.41/9103.16 c | 873752 | 28497 163272 552732 | 2147483647 696569 112 | 0.172 % |
9208.88/9211.68 c | 880813 | 28497 163272 552732 | 2147483647 703630 112 | 0.172 % |
9311.76/9314.57 c | 888578 | 28497 163272 552732 | 2147483647 711395 113 | 0.172 % |
9313.46/9316.21 c | 888679 | 28497 163272 552732 | 2147483647 711496 113 | 0.172 % |
9315.56/9318.32 c | 888789 | 28497 163272 552732 | 2147483647 711606 113 | 0.172 % |
9317.56/9320.35 c | 888910 | 28497 163272 552732 | 2147483647 711727 113 | 0.172 % |
9320.16/9322.95 c | 889045 | 28497 163272 552732 | 2147483647 711862 113 | 0.172 % |
9323.16/9325.97 c | 889192 | 28497 163272 552732 | 2147483647 712009 113 | 0.172 % |
9325.95/9328.75 c | 889352 | 28497 163272 552732 | 2147483647 712169 113 | 0.172 % |
9328.46/9331.24 c | 889528 | 28497 163272 552732 | 2147483647 712345 113 | 0.172 % |
9331.95/9334.73 c | 889721 | 28497 163272 552732 | 2147483647 712538 113 | 0.172 % |
9334.55/9337.38 c | 889933 | 28497 163272 552732 | 2147483647 712750 113 | 0.172 % |
9337.35/9340.19 c | 890167 | 28497 163272 552732 | 712818 712984 113 | 0.172 % |
9344.25/9347.00 c | 890423 | 28497 163272 552732 | 712818 623887 108 | 0.172 % |
9348.85/9351.64 c | 890704 | 28497 163272 552732 | 712818 624168 108 | 0.172 % |
9354.14/9356.97 c | 891014 | 28497 163272 552732 | 712818 624478 108 | 0.172 % |
9359.54/9362.35 c | 891354 | 28497 163272 552732 | 712818 624818 108 | 0.172 % |
9365.04/9367.89 c | 891727 | 28497 163272 552732 | 712818 625191 108 | 0.172 % |
9372.14/9374.95 c | 892136 | 28497 163272 552732 | 712818 625600 108 | 0.172 % |
9376.84/9379.64 c | 892585 | 28497 163272 552732 | 712818 626049 108 | 0.172 % |
9384.33/9387.12 c | 893079 | 28497 163272 552732 | 712818 626543 108 | 0.172 % |
9390.63/9393.42 c | 893622 | 28497 163272 552732 | 712818 627086 108 | 0.172 % |
9399.23/9402.06 c | 894219 | 28497 163272 552732 | 712818 627683 108 | 0.172 % |
9407.32/9410.18 c | 894874 | 28497 163272 552732 | 712818 628338 108 | 0.172 % |
9417.42/9420.27 c | 895595 | 28497 163272 552732 | 712818 629059 108 | 0.172 % |
9427.42/9430.27 c | 896388 | 28497 163272 552732 | 712818 629852 108 | 0.172 % |
9438.02/9440.81 c | 897260 | 28497 163272 552732 | 712818 630724 108 | 0.172 % |
9450.81/9453.66 c | 898218 | 28497 163272 552732 | 712818 631682 108 | 0.172 % |
9458.71/9461.52 c | 899271 | 28497 163272 552732 | 712818 632735 108 | 0.172 % |
9474.71/9477.57 c | 900429 | 28497 163272 552732 | 2147483647 633893 108 | 0.172 % |
9494.50/9497.38 c | 901703 | 28497 163272 552732 | 2147483647 635167 108 | 0.172 % |
9515.59/9518.48 c | 903103 | 28497 163272 552732 | 2147483647 636567 108 | 0.172 % |
9534.49/9537.39 c | 904643 | 28497 163272 552732 | 2147483647 638107 108 | 0.172 % |
9563.19/9566.06 c | 906339 | 28497 163272 552732 | 2147483647 639803 108 | 0.172 % |
9593.38/9596.27 c | 908202 | 28497 163272 552732 | 2147483647 641666 108 | 0.172 % |
9624.17/9627.09 c | 910251 | 28497 163272 552732 | 2147483647 643715 108 | 0.172 % |
9654.66/9657.59 c | 912505 | 28497 163272 552732 | 2147483647 645969 108 | 0.172 % |
9681.15/9684.04 c | 914984 | 28497 163272 552732 | 2147483647 648448 108 | 0.172 % |
9722.24/9725.14 c | 917710 | 28497 163272 552732 | 2147483647 651174 108 | 0.172 % |
9762.83/9765.78 c | 920707 | 28497 163272 552732 | 2147483647 654171 109 | 0.172 % |
9808.62/9811.51 c | 924003 | 28497 163272 552732 | 2147483647 657467 109 | 0.172 % |
9861.20/9864.14 c | 927628 | 28497 163272 552732 | 2147483647 661092 109 | 0.172 % |
9911.69/9914.65 c | 931615 | 28497 163272 552732 | 2147483647 665079 109 | 0.172 % |
9967.37/9970.32 c | 936000 | 28497 163272 552732 | 2147483647 669464 109 | 0.172 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837294-1242867038/watcher-1837294-1242867038 -o /tmp/evaluation-result-1837294-1242867038/solver-1837294-1242867038 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837294-1242867038.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
[startup+0.096773 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101772 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301796 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701844 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50195 s]
/proc/loadavg: 0.78 0.95 0.98 2/66 7516
/proc/meminfo: memFree=1709984/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 5356
[startup+3.10113 s]
/proc/loadavg: 0.78 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1730144/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=12872 CPUtime=1.63
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 2976 0 0 0 161 2 0 0 25 0 1 0 314736597 13180928 2962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3218 2962 76 171 0 3045 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18228
[startup+6.30152 s]
/proc/loadavg: 0.80 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1729248/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=13268 CPUtime=4.82
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 3093 0 0 0 479 3 0 0 25 0 1 0 314736597 13586432 3079 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3317 3079 76 171 0 3144 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18624
[startup+12.7013 s]
/proc/loadavg: 0.81 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1728880/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=13932 CPUtime=11.23
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 3255 0 0 0 1119 4 0 0 25 0 1 0 314736597 14266368 3241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3483 3241 77 171 0 3310 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19288
[startup+25.5028 s]
/proc/loadavg: 0.85 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1727920/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=14864 CPUtime=24.02
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 3478 0 0 0 2398 4 0 0 25 0 1 0 314736597 15220736 3464 1992294400 134512640 135215339 4294956240 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3716 3464 77 171 0 3543 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 20220
[startup+51.1029 s]
/proc/loadavg: 0.90 0.96 0.98 2/66 7517
/proc/meminfo: memFree=1725872/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=17000 CPUtime=49.61
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 4003 0 0 0 4956 5 0 0 25 0 1 0 314736597 17408000 3989 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 4250 3989 77 171 0 4077 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22356
[startup+102.307 s]
/proc/loadavg: 0.96 0.96 0.98 2/66 7517
/proc/meminfo: memFree=1721328/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=21544 CPUtime=100.8
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 5144 0 0 0 10072 8 0 0 25 0 1 0 314736597 22061056 5130 1992294400 134512640 135215339 4294956240 18446744073709551615 134532964 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 5386 5130 77 171 0 5213 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26900
[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1716336/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=26460 CPUtime=160.78
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 6376 0 0 0 16068 10 0 0 25 0 1 0 314736597 27095040 6362 1992294400 134512640 135215339 4294956240 18446744073709551615 134529102 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 6615 6362 77 171 0 6442 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31816
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1712112/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=30632 CPUtime=220.75
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 7418 0 0 0 22064 11 0 0 25 0 1 0 314736597 31367168 7404 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 7658 7404 77 171 0 7485 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 35988
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1707696/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=34988 CPUtime=280.73
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 8511 0 0 0 28059 14 0 0 25 0 1 0 314736597 35827712 8497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 8747 8497 77 171 0 8574 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 40344
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1703536/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=39088 CPUtime=340.71
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 9530 0 0 0 34056 15 0 0 25 0 1 0 314736597 40026112 9516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 9772 9516 77 171 0 9599 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 44444
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1698800/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=43828 CPUtime=400.69
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 10696 0 0 0 40052 17 0 0 25 0 1 0 314736597 44879872 10682 1992294400 134512640 135215339 4294956240 18446744073709551615 134538030 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 10957 10682 77 171 0 10784 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49184
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1694448/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
################
# More data... #
################
/proc/7517/statm: 95715 94714 77 171 0 95542 0
Current children cumulated CPU time (s) 9339.55
Current children cumulated vsize (KiB) 388216
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316208/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9398.08
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94729 0 0 0 939664 144 0 0 25 0 1 0 314736597 392048640 94715 1992294400 134512640 135215339 4294956240 18446744073709551615 134539400 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94715 77 171 0 95542 0
Current children cumulated CPU time (s) 9399.53
Current children cumulated vsize (KiB) 388216
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316144/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9458.06
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94730 0 0 0 945662 144 0 0 25 0 1 0 314736597 392048640 94716 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94716 77 171 0 95542 0
Current children cumulated CPU time (s) 9459.51
Current children cumulated vsize (KiB) 388216
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316144/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9518.04
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94730 0 0 0 951660 144 0 0 25 0 1 0 314736597 392048640 94716 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94716 77 171 0 95542 0
Current children cumulated CPU time (s) 9519.49
Current children cumulated vsize (KiB) 388216
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316080/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9578.03
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94736 0 0 0 957658 145 0 0 25 0 1 0 314736597 392048640 94722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94722 77 171 0 95542 0
Current children cumulated CPU time (s) 9579.48
Current children cumulated vsize (KiB) 388216
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315952/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9638.01
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94769 0 0 0 963656 145 0 0 25 0 1 0 314736597 392216576 94755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94755 77 171 0 95583 0
Current children cumulated CPU time (s) 9639.46
Current children cumulated vsize (KiB) 388380
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315888/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9698
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 969655 145 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9699.45
Current children cumulated vsize (KiB) 388380
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315824/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9757.98
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 975653 145 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9759.43
Current children cumulated vsize (KiB) 388380
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9817.97
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 981651 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9819.42
Current children cumulated vsize (KiB) 388380
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9877.95
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 987649 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9879.4
Current children cumulated vsize (KiB) 388380
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9937.93
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 993647 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134532778 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9939.38
Current children cumulated vsize (KiB) 388380
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9997.92
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 999646 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9999.37
Current children cumulated vsize (KiB) 388380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9998.62
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 999716 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 388380
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 7511 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=375790
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=82987
# CPU time returned by wait4() is 1.45878
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003
CPU time (s): 10000.1
CPU user time (s): 9998.53
CPU system time (s): 1.54
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 388380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37579
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10475
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= 8
runsolver used 11.7552 second user time and 24.6453 second system time
The end
Begin job on node33 at 2009-05-21 02:50:38
IDJOB=1837294
IDBENCH=70819
IDSOLVER=674
FILE ID=node33/1837294-1242867038
PBS_JOBID= 9328564
Free space on /tmp= 66256 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-15.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837294-1242867038/watcher-1837294-1242867038 -o /tmp/evaluation-result-1837294-1242867038/solver-1837294-1242867038 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837294-1242867038.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c8a05d1e76535706c430a6b42d191d4b
RANDOM SEED=900857511
node33.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.212
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.212
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: 1750168 kB
Buffers: 38224 kB
Cached: 228872 kB
SwapCached: 7352 kB
Active: 98244 kB
Inactive: 177428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1750168 kB
SwapTotal: 4192956 kB
SwapFree: 4179668 kB
Dirty: 5984 kB
Writeback: 0 kB
Mapped: 13796 kB
Slab: 16188 kB
Committed_AS: 1077044 kB
PageTables: 1392 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= 66248 MiB
End job on node33 at 2009-05-21 05:37:23