0.00/0.00 c Parsing...
5.69/5.75 c ==============================================================================
5.69/5.75 c | | ORIGINAL | LEARNT | |
5.69/5.75 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
5.69/5.75 c ==============================================================================
5.69/5.75 c | 0 | 7170908 20872418 | 2151272 0 0 nan | 0.000 % |
122.36/122.46 c | 0 | 6994286 21668859 | -- 0 -- -- | -- | -176447/801368
122.36/122.46 c ==============================================================================
122.36/122.46 c Result : #vars: 303312 #clauses: 6994286 #literals: 21668859
122.36/122.46 c CPU time: 121.133 s
122.36/122.46 c ==============================================================================
129.45/129.53 c This is MiniSat 2.0 beta
129.45/129.53 c WARNING: for repeatability, setting FPU to use double precision
129.45/129.53 c ============================[ Problem Statistics ]=============================
129.45/129.53 c | |
129.45/129.53 c | Number of variables: 303312 |
129.45/129.53 c | Number of clauses: 6994286 |
133.84/133.91 c | Parsing time: 3.86 s |
134.04/134.13 c ============================[ Search Statistics ]==============================
134.04/134.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
134.04/134.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
134.04/134.13 c ===============================================================================
134.04/134.13 c | 0 | 303312 6994286 21668859 | 2331428 0 nan | 0.000 % |
134.53/134.64 c | 102 | 303312 6994286 21668859 | 2331428 102 108 | 0.000 % |
135.14/135.25 c | 204 | 303312 6994286 21668859 | 2331428 204 83 | 0.000 % |
135.74/135.81 c | 305 | 303312 6994286 21668859 | 2331428 305 68 | 0.000 % |
136.24/136.40 c | 416 | 303312 6994286 21668859 | 2331428 416 73 | 0.000 % |
136.93/137.02 c | 516 | 303312 6994286 21668859 | 2331428 516 62 | 0.000 % |
137.44/137.53 c | 626 | 303312 6994286 21668859 | 2331428 626 60 | 0.000 % |
138.23/138.39 c | 748 | 303312 6994286 21668859 | 2331428 748 54 | 0.000 % |
138.44/138.59 c | 851 | 303312 6994286 21668859 | 2331428 851 51 | 0.000 % |
138.73/138.89 c | 961 | 303312 6994286 21668859 | 2331428 961 52 | 0.000 % |
138.93/139.06 c | 1085 | 303312 6994286 21668859 | 2331428 1085 52 | 0.000 % |
139.43/139.53 c | 1218 | 303312 6994286 21668859 | 2331428 1218 51 | 0.000 % |
139.73/139.81 c | 1319 | 303312 6994286 21668859 | 2331428 1319 49 | 0.000 % |
139.93/140.09 c | 1432 | 303312 6994286 21668859 | 2331428 1432 48 | 0.000 % |
140.23/140.37 c | 1553 | 303312 6994286 21668859 | 2331428 1553 47 | 0.000 % |
140.64/140.79 c | 1686 | 303312 6994286 21668859 | 2331428 1686 47 | 0.000 % |
141.33/141.42 c | 1832 | 303312 6994286 21668859 | 2331428 1832 46 | 0.000 % |
142.73/142.80 c | 1932 | 303312 6994286 21668859 | 2331428 1932 46 | 0.000 % |
142.94/143.01 c | 2044 | 303312 6994286 21668859 | 2331428 2044 50 | 0.000 % |
143.23/143.32 c | 2165 | 303312 6994286 21668859 | 2331428 2165 53 | 0.000 % |
143.43/143.55 c | 2302 | 303312 6994286 21668859 | 2331428 2302 52 | 0.000 % |
144.03/144.18 c | 2448 | 303312 6994286 21668859 | 2331428 2448 52 | 0.000 % |
144.33/144.49 c | 2608 | 303312 6994286 21668859 | 2331428 2608 53 | 0.000 % |
144.63/144.76 c | 2710 | 303312 6994286 21668859 | 2331428 2710 53 | 0.000 % |
144.83/144.98 c | 2820 | 303312 6994286 21668859 | 2331428 2820 53 | 0.000 % |
145.23/145.30 c | 2944 | 303312 6994286 21668859 | 2331428 2944 54 | 0.000 % |
145.73/145.88 c | 3080 | 303312 6994286 21668859 | 2331428 3080 53 | 0.000 % |
146.73/146.87 c | 3226 | 303312 6994286 21668859 | 2331428 3226 53 | 0.000 % |
147.13/147.26 c | 3386 | 303312 6994286 21668859 | 2331428 3386 55 | 0.000 % |
147.43/147.53 c | 3562 | 303312 6994286 21668859 | 2331428 3562 54 | 0.000 % |
148.33/148.40 c | 3663 | 303312 6994286 21668859 | 2331428 3663 53 | 0.000 % |
148.93/149.02 c | 3773 | 303312 6994286 21668859 | 2331428 3773 52 | 0.000 % |
149.33/149.46 c | 3899 | 303312 6994286 21668859 | 2331428 3899 53 | 0.000 % |
150.13/150.23 c | 4032 | 303312 6994286 21668859 | 2331428 4032 52 | 0.000 % |
151.03/151.19 c | 4180 | 303312 6994286 21668859 | 2331428 4180 52 | 0.000 % |
151.53/151.63 c | 4340 | 303312 6994286 21668859 | 2331428 4340 51 | 0.000 % |
151.83/151.95 c | 4519 | 303312 6994286 21668859 | 2331428 4519 52 | 0.000 % |
153.13/153.24 c | 4714 | 303312 6994286 21668859 | 2331428 4714 53 | 0.000 % |
153.33/153.47 c | 4814 | 303312 6994286 21668859 | 2331428 4814 53 | 0.000 % |
154.63/154.72 c | 4928 | 303312 6994286 21668859 | 2331428 4928 54 | 0.000 % |
154.93/155.03 c | 5049 | 303312 6994286 21668859 | 2331428 5049 53 | 0.000 % |
155.23/155.38 c | 5182 | 303312 6994286 21668859 | 2331428 5182 53 | 0.000 % |
155.33/155.43 c | 5328 | 303312 6994286 21668859 | 2331428 5328 52 | 0.000 % |
155.73/155.84 c | 5488 | 303312 6994286 21668859 | 2331428 5488 52 | 0.000 % |
155.83/155.91 c | 5664 | 303312 6994286 21668859 | 2331428 5664 52 | 0.000 % |
156.32/156.48 c | 5857 | 303312 6994286 21668859 | 2331428 5857 52 | 0.000 % |
157.23/157.36 c | 6071 | 303312 6994286 21668859 | 2331428 6071 53 | 0.000 % |
157.72/157.81 c | 6171 | 303312 6994286 21668859 | 2331428 6171 53 | 0.000 % |
158.03/158.15 c | 6281 | 303312 6994286 21668859 | 2331428 6281 53 | 0.000 % |
158.33/158.50 c | 6402 | 303312 6994286 21668859 | 2331428 6402 52 | 0.000 % |
158.63/158.75 c | 6536 | 303312 6994286 21668859 | 2331428 6536 52 | 0.000 % |
159.63/159.73 c | 6683 | 303312 6994286 21668859 | 2331428 6683 51 | 0.000 % |
159.93/160.09 c | 6844 | 303312 6994286 21668859 | 2331428 6844 51 | 0.000 % |
160.53/160.61 c | 7020 | 303312 6994286 21668859 | 2331428 7020 51 | 0.000 % |
160.83/160.99 c | 7213 | 303312 6994286 21668859 | 2331428 7213 51 | 0.000 % |
161.23/161.33 c | 7426 | 303312 6994286 21668859 | 2331428 7426 52 | 0.000 % |
162.03/162.12 c | 7659 | 303312 6994286 21668859 | 2331428 7659 51 | 0.000 % |
162.43/162.57 c | 7760 | 303312 6994286 21668859 | 2331428 7760 51 | 0.000 % |
162.92/163.07 c | 7870 | 303312 6994286 21668859 | 2331428 7870 51 | 0.000 % |
163.32/163.43 c | 7992 | 303312 6994286 21668859 | 2331428 7992 52 | 0.000 % |
163.73/163.87 c | 8127 | 303312 6994286 21668859 | 2331428 8127 51 | 0.000 % |
164.12/164.21 c | 8279 | 303312 6994286 21668859 | 2331428 8279 51 | 0.000 % |
164.32/164.42 c | 8440 | 303312 6994286 21668859 | 2331428 8440 51 | 0.000 % |
164.72/164.90 c | 8619 | 303312 6994286 21668859 | 2331428 8619 51 | 0.000 % |
166.32/166.43 c | 8812 | 303312 6994286 21668859 | 2331428 8812 51 | 0.000 % |
166.72/166.85 c | 9024 | 303312 6994286 21668859 | 2331428 9024 51 | 0.000 % |
168.52/168.68 c | 9258 | 303312 6994286 21668859 | 2331428 9258 51 | 0.000 % |
169.12/169.21 c | 9514 | 303312 6994286 21668859 | 2331428 9514 51 | 0.000 % |
169.33/169.41 c | 9616 | 303312 6994286 21668859 | 2331428 9616 51 | 0.000 % |
169.72/169.86 c | 9727 | 303312 6994286 21668859 | 2331428 9727 51 | 0.000 % |
170.12/170.22 c | 9850 | 303312 6994286 21668859 | 2331428 9850 51 | 0.000 % |
170.62/170.70 c | 9983 | 303312 6994286 21668859 | 2331428 9983 51 | 0.000 % |
170.82/170.97 c | 10130 | 303312 6994286 21668859 | 2147483647 10130 52 | 0.000 % |
171.33/171.42 c | 10291 | 303312 6994286 21668859 | 2147483647 10291 52 | 0.000 % |
171.53/171.70 c | 10467 | 303312 6994286 21668859 | 2147483647 10467 52 | 0.000 % |
171.73/171.89 c | 10662 | 303312 6994286 21668859 | 2147483647 10662 52 | 0.000 % |
173.03/173.13 c | 10874 | 303312 6994286 21668859 | 2147483647 10874 51 | 0.000 % |
174.23/174.30 c | 11109 | 303312 6994286 21668859 | 2147483647 11109 51 | 0.000 % |
174.53/174.67 c | 11366 | 303312 6994286 21668859 | 2147483647 11366 52 | 0.000 % |
175.13/175.29 c | 11647 | 303312 6994286 21668859 | 2147483647 11647 52 | 0.000 % |
175.43/175.58 c | 11747 | 303312 6994286 21668859 | 2147483647 11747 52 | 0.000 % |
175.73/175.87 c | 11857 | 303312 6994286 21668859 | 2147483647 11857 52 | 0.000 % |
176.13/176.25 c | 11978 | 303312 6994286 21668859 | 2147483647 11978 52 | 0.000 % |
176.43/176.59 c | 12111 | 303312 6994286 21668859 | 2147483647 12111 52 | 0.000 % |
176.82/176.96 c | 12267 | 303312 6994286 21668859 | 2147483647 12267 52 | 0.000 % |
177.12/177.29 c | 12432 | 303312 6994286 21668859 | 2147483647 12432 52 | 0.000 % |
177.82/177.97 c | 12608 | 303312 6994286 21668859 | 2147483647 12608 51 | 0.000 % |
178.42/178.54 c | 12801 | 303312 6994286 21668859 | 2147483647 12801 51 | 0.000 % |
178.82/178.95 c | 13016 | 303312 6994286 21668859 | 2147483647 13016 52 | 0.000 % |
179.62/179.72 c | 13249 | 303312 6994286 21668859 | 2147483647 13249 52 | 0.000 % |
180.12/180.22 c | 13507 | 303312 6994286 21668859 | 2147483647 13507 51 | 0.000 % |
181.33/181.43 c | 13789 | 303312 6994286 21668859 | 2147483647 13789 51 | 0.000 % |
181.62/181.79 c | 14098 | 303312 6994286 21668859 | 2147483647 14098 51 | 0.000 % |
182.02/182.15 c | 14198 | 303312 6994286 21668859 | 2147483647 14198 51 | 0.000 % |
182.52/182.62 c | 14309 | 303312 6994286 21668859 | 2147483647 14309 51 | 0.000 % |
183.02/183.16 c | 14430 | 303312 6994286 21668859 | 2147483647 14430 51 | 0.000 % |
183.42/183.55 c | 14565 | 303312 6994286 21668859 | 2147483647 14565 51 | 0.000 % |
183.62/183.77 c | 14713 | 303312 6994286 21668859 | 2147483647 14713 50 | 0.000 % |
184.62/184.73 c | 14873 | 303312 6994286 21668859 | 2147483647 14873 50 | 0.000 % |
185.22/185.36 c | 15050 | 303312 6994286 21668859 | 2147483647 15050 51 | 0.000 % |
185.82/185.93 c | 15243 | 303312 6994286 21668859 | 2147483647 15243 51 | 0.000 % |
186.22/186.33 c | 15455 | 303312 6994286 21668859 | 2147483647 15455 51 | 0.000 % |
186.72/186.85 c | 15689 | 303312 6994286 21668859 | 2147483647 15689 50 | 0.000 % |
187.12/187.26 c | 15945 | 303312 6994286 21668859 | 2147483647 15945 50 | 0.000 % |
187.52/187.67 c | 16226 | 303312 6994286 21668859 | 2147483647 16226 50 | 0.000 % |
188.42/188.54 c | 16535 | 303312 6994286 21668859 | 2147483647 16535 50 | 0.000 % |
189.12/189.25 c | 16874 | 303312 6994286 21668859 | 2147483647 16874 50 | 0.000 % |
189.82/189.97 c | 16974 | 303312 6994286 21668859 | 2147483647 16974 50 | 0.000 % |
190.22/190.37 c | 17087 | 303312 6994286 21668859 | 2147483647 17087 51 | 0.000 % |
190.61/190.73 c | 17212 | 303312 6994286 21668859 | 2147483647 17212 50 | 0.000 % |
191.11/191.28 c | 17345 | 303312 6994286 21668859 | 2147483647 17345 50 | 0.000 % |
191.22/191.37 c | 17491 | 303312 6994286 21668859 | 2147483647 17491 50 | 0.000 % |
191.71/191.87 c | 17652 | 303312 6994286 21668859 | 2147483647 17652 50 | 0.000 % |
192.01/192.13 c | 17829 | 303312 6994286 21668859 | 2147483647 17829 50 | 0.000 % |
192.52/192.65 c | 18023 | 303312 6994286 21668859 | 2147483647 18023 50 | 0.000 % |
193.02/193.10 c | 18235 | 303312 6994286 21668859 | 2147483647 18235 50 | 0.000 % |
193.12/193.22 c | 18469 | 303312 6994286 21668859 | 2147483647 18469 49 | 0.000 % |
193.91/194.09 c | 18725 | 303312 6994286 21668859 | 2147483647 18725 49 | 0.000 % |
194.52/194.67 c | 19006 | 303312 6994286 21668859 | 2147483647 19006 49 | 0.000 % |
196.01/196.12 c | 19315 | 303312 6994286 21668859 | 2147483647 19315 50 | 0.000 % |
197.11/197.24 c | 19654 | 303312 6994286 21668859 | 2147483647 19654 50 | 0.000 % |
197.82/197.94 c | 20029 | 303312 6994286 21668859 | 2147483647 20029 50 | 0.000 % |
198.31/198.41 c | 20129 | 303312 6994286 21668859 | 2147483647 20129 50 | 0.000 % |
198.51/198.64 c | 20240 | 303312 6994286 21668859 | 2147483647 20240 50 | 0.000 % |
198.91/199.01 c | 20364 | 303312 6994286 21668859 | 2147483647 20364 50 | 0.000 % |
199.11/199.28 c | 20500 | 303312 6994286 21668859 | 2147483647 20500 50 | 0.000 % |
199.51/199.65 c | 20647 | 303312 6994286 21668859 | 2147483647 20647 50 | 0.000 % |
199.91/200.09 c | 20807 | 303312 6994286 21668859 | 2147483647 20807 50 | 0.000 % |
200.41/200.55 c | 20984 | 303312 6994286 21668859 | 2147483647 20984 50 | 0.000 % |
200.71/200.83 c | 21179 | 303312 6994286 21668859 | 2147483647 21179 50 | 0.000 % |
201.01/201.12 c | 21392 | 303312 6994286 21668859 | 2147483647 21392 50 | 0.000 % |
201.41/201.53 c | 21627 | 303312 6994286 21668859 | 2147483647 21627 50 | 0.000 % |
201.81/201.99 c | 21883 | 303312 6994286 21668859 | 2147483647 21883 50 | 0.000 % |
202.51/202.64 c | 22165 | 303312 6994286 21668859 | 2147483647 22165 49 | 0.000 % |
203.01/203.12 c | 22476 | 303312 6994286 21668859 | 2147483647 22476 49 | 0.000 % |
203.51/203.66 c | 22817 | 303312 6994286 21668859 | 2147483647 22817 49 | 0.000 % |
203.81/203.98 c | 23189 | 303312 6994286 21668859 | 2147483647 23189 49 | 0.000 % |
204.20/204.39 c | 23598 | 303312 6994286 21668859 | 2147483647 23598 49 | 0.000 % |
204.60/204.70 c | 23698 | 303312 6994286 21668859 | 2147483647 23698 49 | 0.000 % |
204.80/204.94 c | 23809 | 303312 6994286 21668859 | 2147483647 23809 49 | 0.000 % |
205.10/205.21 c | 23931 | 303312 6994286 21668859 | 2147483647 23931 49 | 0.000 % |
205.30/205.46 c | 24065 | 303312 6994286 21668859 | 2147483647 24065 49 | 0.000 % |
206.00/206.18 c | 24211 | 303312 6994286 21668859 | 2147483647 24211 49 | 0.000 % |
206.30/206.41 c | 24371 | 303312 6994286 21668859 | 2147483647 24371 49 | 0.000 % |
207.10/207.28 c | 24548 | 303312 6994286 21668859 | 2147483647 24548 49 | 0.000 % |
207.71/207.82 c | 24742 | 303312 6994286 21668859 | 2147483647 24742 49 | 0.000 % |
208.10/208.20 c | 24954 | 303312 6994286 21668859 | 2147483647 24954 49 | 0.000 % |
208.41/208.58 c | 25187 | 303312 6994286 21668859 | 2147483647 25187 49 | 0.000 % |
208.71/208.90 c | 25444 | 303312 6994286 21668859 | 2147483647 25444 49 | 0.000 % |
209.21/209.32 c | 25731 | 303312 6994286 21668859 | 2147483647 25731 49 | 0.000 % |
209.61/209.79 c | 26041 | 303312 6994286 21668859 | 2147483647 26041 49 | 0.000 % |
210.21/210.32 c | 26383 | 303312 6994286 21668859 | 2147483647 26383 49 | 0.000 % |
210.81/210.99 c | 26755 | 303312 6994286 21668859 | 2147483647 26755 49 | 0.000 % |
211.41/211.50 c | 27164 | 303312 6994286 21668859 | 2147483647 27164 49 | 0.000 % |
211.81/211.97 c | 27613 | 303312 6994286 21668859 | 2147483647 27613 49 | 0.000 % |
212.11/212.25 c | 27713 | 303312 6994286 21668859 | 2147483647 27713 49 | 0.000 % |
212.41/212.50 c | 27823 | 303312 6994286 21668859 | 2147483647 27823 49 | 0.000 % |
212.71/212.86 c | 27944 | 303312 6994286 21668859 | 2147483647 27944 49 | 0.000 % |
212.91/213.09 c | 28078 | 303312 6994286 21668859 | 2147483647 28078 49 | 0.000 % |
213.31/213.47 c | 28226 | 303312 6994286 21668859 | 2147483647 28226 49 | 0.000 % |
213.61/213.70 c | 28386 | 303312 6994286 21668859 | 2147483647 28386 49 | 0.000 % |
214.01/214.17 c | 28562 | 303312 6994286 21668859 | 2147483647 28562 49 | 0.000 % |
214.51/214.66 c | 28755 | 303312 6994286 21668859 | 2147483647 28755 49 | 0.000 % |
214.81/214.99 c | 28967 | 303312 6994286 21668859 | 2147483647 28967 48 | 0.000 % |
215.31/215.48 c | 29200 | 303312 6994286 21668859 | 2147483647 29200 48 | 0.000 % |
215.70/215.87 c | 29456 | 303312 6994286 21668859 | 2147483647 29456 48 | 0.000 % |
216.40/216.52 c | 29737 | 303312 6994286 21668859 | 2147483647 29737 48 | 0.000 % |
216.90/217.08 c | 30046 | 303312 6994286 21668859 | 2147483647 30046 48 | 0.000 % |
217.50/217.60 c | 30385 | 303312 6994286 21668859 | 2147483647 30385 49 | 0.000 % |
218.30/218.43 c | 30759 | 303312 6994286 21668859 | 2147483647 30759 48 | 0.000 % |
218.71/218.86 c | 31168 | 303312 6994286 21668859 | 2147483647 31168 48 | 0.000 % |
219.60/219.73 c | 31617 | 303312 6994286 21668859 | 2147483647 31617 48 | 0.000 % |
220.40/220.53 c | 32111 | 303312 6994286 21668859 | 2147483647 32111 48 | 0.000 % |
220.60/220.73 c | 32211 | 303312 6994286 21668859 | 2147483647 32211 48 | 0.000 % |
220.80/220.99 c | 32322 | 303312 6994286 21668859 | 2147483647 32322 48 | 0.000 % |
221.10/221.25 c | 32444 | 303312 6994286 21668859 | 2147483647 32444 48 | 0.000 % |
221.80/221.96 c | 32577 | 303312 6994286 21668859 | 2147483647 32577 47 | 0.000 % |
222.40/222.55 c | 32723 | 303312 6994286 21668859 | 2147483647 32723 48 | 0.000 % |
223.00/223.10 c | 32883 | 303312 6994286 21668859 | 2147483647 32883 48 | 0.000 % |
223.50/223.69 c | 33059 | 303312 6994286 21668859 | 2147483647 33059 47 | 0.000 % |
224.39/224.50 c | 33256 | 303312 6994286 21668859 | 2147483647 33256 47 | 0.000 % |
224.89/225.09 c | 33468 | 303312 6994286 21668859 | 2147483647 33468 48 | 0.000 % |
225.40/225.55 c | 33702 | 303312 6994286 21668859 | 2147483647 33702 48 | 0.000 % |
225.99/226.18 c | 33959 | 303312 6994286 21668859 | 2147483647 33959 48 | 0.000 % |
227.50/227.68 c | 34240 | 303312 6994286 21668859 | 2147483647 34240 48 | 0.000 % |
228.69/228.81 c | 34549 | 303312 6994286 21668859 | 2147483647 34549 48 | 0.000 % |
230.19/230.38 c | 34890 | 303312 6994286 21668859 | 2147483647 34890 48 | 0.000 % |
230.69/230.84 c | 35262 | 303312 6994286 21668859 | 2147483647 35262 48 | 0.000 % |
232.39/232.55 c | 35673 | 303312 6994286 21668859 | 2147483647 35673 48 | 0.000 % |
233.40/233.59 c | 36122 | 303312 6994286 21668859 | 2147483647 36122 48 | 0.000 % |
235.10/235.24 c | 36616 | 303312 6994286 21668859 | 2147483647 36616 48 | 0.000 % |
236.99/237.16 c | 37159 | 303312 6994286 21668859 | 2147483647 37159 48 | 0.000 % |
237.29/237.42 c | 37260 | 303312 6994286 21668859 | 2147483647 37260 48 | 0.000 % |
237.69/237.82 c | 37370 | 303312 6994286 21668859 | 2147483647 37370 49 | 0.000 % |
238.19/238.37 c | 37493 | 303312 6994286 21668859 | 2147483647 37493 49 | 0.000 % |
238.99/239.15 c | 37626 | 303312 6994286 21668859 | 2147483647 37626 49 | 0.000 % |
240.29/240.40 c | 37776 | 303312 6994286 21668859 | 2147483647 37776 49 | 0.000 % |
241.29/241.42 c | 37938 | 303312 6994286 21668859 | 2147483647 37938 49 | 0.000 % |
241.79/241.94 c | 38115 | 303312 6994286 21668859 | 2147483647 38115 49 | 0.000 % |
242.19/242.37 c | 38313 | 303312 6994286 21668859 | 2147483647 38313 49 | 0.000 % |
242.69/242.85 c | 38526 | 303312 6994286 21668859 | 2147483647 38526 49 | 0.000 % |
243.29/243.45 c | 38759 | 303312 6994286 21668859 | 2147483647 38759 49 | 0.000 % |
243.79/243.91 c | 39015 | 303312 6994286 21668859 | 2147483647 39015 49 | 0.000 % |
244.49/244.60 c | 39298 | 303312 6994286 21668859 | 2147483647 39298 49 | 0.000 % |
244.89/245.01 c | 39608 | 303312 6994286 21668859 | 2147483647 39608 49 | 0.000 % |
245.29/245.47 c | 39948 | 303312 6994286 21668859 | 2147483647 39948 49 | 0.000 % |
245.89/246.07 c | 40320 | 303312 6994286 21668859 | 2147483647 40320 49 | 0.000 % |
246.49/246.63 c | 40730 | 303312 6994286 21668859 | 2147483647 40730 48 | 0.000 % |
247.08/247.21 c | 41179 | 303312 6994286 21668859 | 2147483647 41179 48 | 0.000 % |
247.88/248.02 c | 41672 | 303312 6994286 21668859 | 2147483647 41672 48 | 0.000 % |
248.68/248.82 c | 42217 | 303312 6994286 21668859 | 2147483647 42217 48 | 0.000 % |
249.38/249.56 c | 42814 | 303312 6994286 21668859 | 2147483647 42814 47 | 0.000 % |
249.68/249.86 c | 42916 | 303312 6994286 21668859 | 2147483647 42916 47 | 0.000 % |
250.08/250.29 c | 43026 | 303312 6994286 21668859 | 2147483647 43026 48 | 0.000 % |
250.68/250.80 c | 43147 | 303312 6994286 21668859 | 2147483647 43147 48 | 0.000 % |
251.18/251.36 c | 43281 | 303312 6994286 21668859 | 2147483647 43281 48 | 0.000 % |
251.48/251.62 c | 43427 | 303312 6994286 21668859 | 2147483647 43427 48 | 0.000 % |
251.98/252.11 c | 43588 | 303312 6994286 21668859 | 2147483647 43588 47 | 0.000 % |
252.58/252.71 c | 43765 | 303312 6994286 21668859 | 2147483647 43765 48 | 0.000 % |
252.98/253.18 c | 43962 | 303312 6994286 21668859 | 2147483647 43962 48 | 0.000 % |
253.28/253.44 c | 44175 | 303312 6994286 21668859 | 2147483647 44175 48 | 0.000 % |
253.58/253.71 c | 44408 | 303312 6994286 21668859 | 2147483647 44408 48 | 0.000 % |
254.48/254.65 c | 44664 | 303312 6994286 21668859 | 2147483647 44664 48 | 0.000 % |
255.58/255.72 c | 44946 | 303312 6994286 21668859 | 2147483647 44946 48 | 0.000 % |
256.59/256.70 c | 45255 | 303312 6994286 21668859 | 2147483647 45255 48 | 0.000 % |
257.29/257.46 c | 45594 | 303312 6994286 21668859 | 2147483647 45594 48 | 0.000 % |
257.89/258.05 c | 45966 | 303312 6994286 21668859 | 2147483647 45966 49 | 0.000 % |
258.48/258.70 c | 46376 | 303312 6994286 21668859 | 2147483647 46376 49 | 0.000 % |
259.08/259.21 c | 46825 | 303312 6994286 21668859 | 2147483647 46825 49 | 0.000 % |
259.78/259.95 c | 47319 | 303312 6994286 21668859 | 2147483647 47319 49 | 0.000 % |
260.38/260.54 c | 47861 | 303312 6994286 21668859 | 2147483647 47861 48 | 0.000 % |
261.08/261.30 c | 48457 | 303312 6994286 21668859 | 2147483647 48457 48 | 0.000 % |
261.78/261.95 c | 49112 | 303312 6994286 21668859 | 2147483647 49112 48 | 0.000 % |
261.98/262.15 c | 49212 | 303312 6994286 21668859 | 2147483647 49212 48 | 0.000 % |
262.18/262.37 c | 49323 | 303312 6994286 21668859 | 2147483647 49323 48 | 0.000 % |
262.38/262.56 c | 49447 | 303312 6994286 21668859 | 2147483647 49447 48 | 0.000 % |
262.69/262.82 c | 49580 | 303312 6994286 21668859 | 2147483647 49580 48 | 0.000 % |
262.88/263.09 c | 49726 | 303312 6994286 21668859 | 2147483647 49726 48 | 0.000 % |
263.18/263.36 c | 49886 | 303312 6994286 21668859 | 2147483647 49886 47 | 0.000 % |
263.38/263.57 c | 50062 | 303312 6994286 21668859 | 2147483647 50062 47 | 0.000 % |
263.68/263.81 c | 50255 | 303312 6994286 21668859 | 2147483647 50255 47 | 0.000 % |
263.98/264.15 c | 50469 | 303312 6994286 21668859 | 2147483647 50469 47 | 0.000 % |
264.28/264.45 c | 50704 | 303312 6994286 21668859 | 2147483647 50704 47 | 0.000 % |
264.68/264.82 c | 50961 | 303312 6994286 21668859 | 2147483647 50961 47 | 0.000 % |
264.98/265.18 c | 51243 | 303312 6994286 21668859 | 2147483647 51243 47 | 0.000 % |
265.38/265.52 c | 51552 | 303312 6994286 21668859 | 2147483647 51552 47 | 0.000 % |
265.78/265.93 c | 51891 | 303312 6994286 21668859 | 2147483647 51891 47 | 0.000 % |
266.28/266.43 c | 52264 | 303312 6994286 21668859 | 2147483647 52264 47 | 0.000 % |
266.78/266.95 c | 52674 | 303312 6994286 21668859 | 2147483647 52674 47 | 0.000 % |
267.38/267.52 c | 53123 | 303312 6994286 21668859 | 2147483647 53123 46 | 0.000 % |
267.98/268.15 c | 53616 | 303312 6994286 21668859 | 2147483647 53616 46 | 0.000 % |
268.68/268.86 c | 54158 | 303312 6994286 21668859 | 2147483647 54158 46 | 0.000 % |
269.38/269.60 c | 54755 | 303312 6994286 21668859 | 2147483647 54755 46 | 0.000 % |
269.98/270.20 c | 55411 | 303312 6994286 21668859 | 2147483647 55411 45 | 0.000 % |
270.87/271.04 c | 56133 | 303312 6994286 21668859 | 2147483647 56133 45 | 0.000 % |
271.07/271.25 c | 56233 | 303312 6994286 21668859 | 2147483647 56233 45 | 0.000 % |
271.37/271.51 c | 56343 | 303312 6994286 21668859 | 2147483647 56343 45 | 0.000 % |
271.58/271.77 c | 56464 | 303312 6994286 21668859 | 2147483647 56464 45 | 0.000 % |
271.87/272.02 c | 56597 | 303312 6994286 21668859 | 2147483647 56597 45 | 0.000 % |
272.07/272.29 c | 56743 | 303312 6994286 21668859 | 2147483647 56743 45 | 0.000 % |
272.47/272.60 c | 56903 | 303312 6994286 21668859 | 2147483647 56903 45 | 0.000 % |
272.68/272.85 c | 57082 | 303312 6994286 21668859 | 2147483647 57082 45 | 0.000 % |
272.97/273.18 c | 57276 | 303312 6994286 21668859 | 2147483647 57276 45 | 0.000 % |
273.37/273.52 c | 57488 | 303312 6994286 21668859 | 2147483647 57488 44 | 0.000 % |
273.68/273.86 c | 57722 | 303312 6994286 21668859 | 2147483647 57722 44 | 0.000 % |
274.17/274.32 c | 57980 | 303312 6994286 21668859 | 2147483647 57980 44 | 0.000 % |
274.57/274.71 c | 58261 | 303312 6994286 21668859 | 2147483647 58261 44 | 0.000 % |
274.97/275.14 c | 58572 | 303312 6994286 21668859 | 2147483647 58572 44 | 0.000 % |
275.47/275.61 c | 58911 | 303312 6994286 21668859 | 2147483647 58911 44 | 0.000 % |
276.27/276.46 c | 59283 | 303312 6994286 21668859 | 2147483647 59283 44 | 0.000 % |
277.47/277.60 c | 59692 | 303312 6994286 21668859 | 2147483647 59692 44 | 0.000 % |
278.27/278.41 c | 60142 | 303312 6994286 21668859 | 2147483647 60142 44 | 0.000 % |
279.57/279.78 c | 60638 | 303312 6994286 21668859 | 2147483647 60638 44 | 0.000 % |
280.27/280.47 c | 61181 | 303312 6994286 21668859 | 2147483647 61181 44 | 0.000 % |
281.57/281.74 c | 61779 | 303312 6994286 21668859 | 2147483647 61779 44 | 0.000 % |
282.67/282.80 c | 62434 | 303312 6994286 21668859 | 2147483647 62434 45 | 0.000 % |
283.77/283.94 c | 63154 | 303312 6994286 21668859 | 2147483647 63154 45 | 0.000 % |
284.78/284.99 c | 63947 | 303312 6994286 21668859 | 2147483647 63947 45 | 0.000 % |
285.17/285.38 c | 64049 | 303312 6994286 21668859 | 2147483647 64049 45 | 0.000 % |
285.47/285.65 c | 64160 | 303312 6994286 21668859 | 2147483647 64160 45 | 0.000 % |
285.87/286.00 c | 64282 | 303312 6994286 21668859 | 2147483647 64282 45 | 0.000 % |
286.77/286.99 c | 64415 | 303312 6994286 21668859 | 2147483647 64415 45 | 0.000 % |
287.87/288.08 c | 64561 | 303312 6994286 21668859 | 2147483647 64561 45 | 0.000 % |
288.67/288.88 c | 64722 | 303312 6994286 21668859 | 2147483647 64722 45 | 0.000 % |
289.47/289.64 c | 64899 | 303312 6994286 21668859 | 2147483647 64899 45 | 0.000 % |
290.17/290.37 c | 65094 | 303312 6994286 21668859 | 2147483647 65094 45 | 0.000 % |
290.77/290.93 c | 65306 | 303312 6994286 21668859 | 2147483647 65306 45 | 0.000 % |
291.17/291.40 c | 65539 | 303312 6994286 21668859 | 2147483647 65539 45 | 0.000 % |
291.56/291.75 c | 65795 | 303312 6994286 21668859 | 2147483647 65795 45 | 0.000 % |
291.96/292.18 c | 66076 | 303312 6994286 21668859 | 2147483647 66076 45 | 0.000 % |
293.57/293.72 c | 66385 | 303312 6994286 21668859 | 2147483647 66385 45 | 0.000 % |
294.26/294.40 c | 66727 | 303312 6994286 21668859 | 2147483647 66727 45 | 0.000 % |
294.96/295.13 c | 67100 | 303312 6994286 21668859 | 2147483647 67100 45 | 0.000 % |
295.46/295.68 c | 67509 | 303312 6994286 21668859 | 2147483647 67509 45 | 0.000 % |
296.46/296.67 c | 67960 | 303312 6994286 21668859 | 2147483647 67960 46 | 0.000 % |
297.06/297.29 c | 68453 | 303312 6994286 21668859 | 2147483647 68453 46 | 0.000 % |
297.97/298.11 c | 68995 | 303312 6994286 21668859 | 2147483647 68995 46 | 0.000 % |
298.86/299.06 c | 69591 | 303312 6994286 21668859 | 2147483647 69591 46 | 0.000 % |
300.86/301.08 c | 70249 | 303312 6994286 21668859 | 2147483647 70249 46 | 0.000 % |
303.56/303.78 c | 70972 | 303312 6994286 21668859 | 2147483647 70972 46 | 0.000 % |
305.56/305.70 c | 71767 | 303312 6994286 21668859 | 2147483647 71767 47 | 0.000 % |
307.06/307.20 c | 72641 | 303312 6994286 21668859 | 2147483647 72641 48 | 0.000 % |
307.45/307.62 c | 72743 | 303312 6994286 21668859 | 2147483647 72743 48 | 0.000 % |
308.35/308.54 c | 72853 | 303312 6994286 21668859 | 2147483647 72853 48 | 0.000 % |
308.86/309.00 c | 72974 | 303312 6994286 21668859 | 2147483647 72974 48 | 0.000 % |
308.96/309.13 c | 73110 | 303312 6994286 21668859 | 2147483647 73110 48 | 0.000 % |
309.65/309.80 c | 73256 | 303312 6994286 21668859 | 2147483647 73256 48 | 0.000 % |
310.25/310.48 c | 73418 | 303312 6994286 21668859 | 2147483647 73418 48 | 0.000 % |
310.95/311.17 c | 73595 | 303312 6994286 21668859 | 2147483647 73595 48 | 0.000 % |
311.65/311.87 c | 73790 | 303312 6994286 21668859 | 2147483647 73790 48 | 0.000 % |
313.05/313.20 c | 74002 | 303312 6994286 21668859 | 2147483647 74002 48 | 0.000 % |
313.65/313.85 c | 74235 | 303312 6994286 21668859 | 2147483647 74235 48 | 0.000 % |
314.05/314.25 c | 74492 | 303312 6994286 21668859 | 2147483647 74492 48 | 0.000 % |
315.35/315.53 c | 74774 | 303312 6994286 21668859 | 2147483647 74774 48 | 0.000 % |
315.75/315.97 c | 75083 | 303312 6994286 21668859 | 2147483647 75083 48 | 0.000 % |
317.15/317.39 c | 75422 | 303312 6994286 21668859 | 2147483647 75422 48 | 0.000 % |
318.15/318.37 c | 75796 | 303312 6994286 21668859 | 2147483647 75796 48 | 0.000 % |
318.86/319.02 c | 76205 | 303312 6994286 21668859 | 2147483647 76205 48 | 0.000 % |
321.46/321.69 c | 76654 | 303312 6994286 21668859 | 2147483647 76654 48 | 0.000 % |
323.46/323.65 c | 77147 | 303312 6994286 21668859 | 2147483647 77147 49 | 0.000 % |
325.65/325.88 c | 77690 | 303312 6994286 21668859 | 2147483647 77690 49 | 0.000 % |
327.05/327.27 c | 78288 | 303312 6994286 21668859 | 2147483647 78288 49 | 0.000 % |
328.55/328.72 c | 78945 | 303312 6994286 21668859 | 2147483647 78945 49 | 0.000 % |
329.95/330.12 c | 79666 | 303312 6994286 21668859 | 2147483647 79666 49 | 0.000 % |
331.45/331.68 c | 80458 | 303312 6994286 21668859 | 2147483647 80458 49 | 0.000 % |
333.25/333.40 c | 81329 | 303312 6994286 21668859 | 2147483647 81329 50 | 0.000 % |
334.45/334.69 c | 82290 | 303312 6994286 21668859 | 2147483647 82290 50 | 0.000 % |
334.85/335.00 c | 82391 | 303312 6994286 21668859 | 2147483647 82391 50 | 0.000 % |
335.15/335.33 c | 82502 | 303312 6994286 21668859 | 2147483647 82502 50 | 0.000 % |
335.65/335.87 c | 82623 | 303312 6994286 21668859 | 2147483647 82623 50 | 0.000 % |
335.95/336.13 c | 82756 | 303312 6994286 21668859 | 2147483647 82756 50 | 0.000 % |
336.25/336.44 c | 82902 | 303312 6994286 21668859 | 2147483647 82902 50 | 0.000 % |
336.75/336.91 c | 83062 | 303312 6994286 21668859 | 2147483647 83062 50 | 0.000 % |
337.14/337.39 c | 83239 | 303312 6994286 21668859 | 2147483647 83239 50 | 0.000 % |
337.55/337.72 c | 83433 | 303312 6994286 21668859 | 2147483647 83433 50 | 0.000 % |
338.65/338.87 c | 83645 | 303312 6994286 21668859 | 2147483647 83645 50 | 0.000 % |
339.66/339.85 c | 83878 | 303312 6994286 21668859 | 2147483647 83878 50 | 0.000 % |
340.45/340.67 c | 84135 | 303312 6994286 21668859 | 2147483647 84135 50 | 0.000 % |
341.25/341.46 c | 84418 | 303312 6994286 21668859 | 2147483647 84418 50 | 0.000 % |
341.75/341.99 c | 84731 | 303312 6994286 21668859 | 2147483647 84731 50 | 0.000 % |
342.45/342.60 c | 85071 | 303312 6994286 21668859 | 2147483647 85071 50 | 0.000 % |
343.75/343.94 c | 85450 | 303312 6994286 21668859 | 2147483647 85450 50 | 0.000 % |
344.95/345.14 c | 85859 | 303312 6994286 21668859 | 2147483647 85859 50 | 0.000 % |
346.55/346.75 c | 86309 | 303312 6994286 21668859 | 2147483647 86309 50 | 0.000 % |
347.15/347.30 c | 86802 | 303312 6994286 21668859 | 2147483647 86802 50 | 0.000 % |
348.55/348.77 c | 87344 | 303312 6994286 21668859 | 2147483647 87344 50 | 0.000 % |
351.25/351.43 c | 87940 | 303312 6994286 21668859 | 2147483647 87940 51 | 0.000 % |
352.35/352.53 c | 88595 | 303312 6994286 21668859 | 2147483647 88595 51 | 0.000 % |
353.64/353.89 c | 89320 | 303312 6994286 21668859 | 2147483647 89320 51 | 0.000 % |
354.74/354.97 c | 90114 | 303312 6994286 21668859 | 2147483647 90114 51 | 0.000 % |
355.85/356.05 c | 90985 | 303312 6994286 21668859 | 2147483647 90985 51 | 0.000 % |
357.85/358.03 c | 91943 | 303312 6994286 21668859 | 2147483647 91943 52 | 0.000 % |
359.75/359.92 c | 92996 | 303312 6994286 21668859 | 2147483647 92996 52 | 0.000 % |
359.95/360.13 c | 93096 | 303312 6994286 21668859 | 2147483647 93096 52 | 0.000 % |
360.35/360.54 c | 93206 | 303312 6994286 21668859 | 2147483647 93206 52 | 0.000 % |
360.75/360.99 c | 93327 | 303312 6994286 21668859 | 2147483647 93327 52 | 0.000 % |
361.15/361.38 c | 93460 | 303312 6994286 21668859 | 2147483647 93460 52 | 0.000 % |
361.55/361.73 c | 93606 | 303312 6994286 21668859 | 2147483647 93606 52 | 0.000 % |
361.95/362.19 c | 93766 | 303312 6994286 21668859 | 2147483647 93766 52 | 0.000 % |
362.45/362.69 c | 93942 | 303312 6994286 21668859 | 2147483647 93942 52 | 0.000 % |
362.75/362.94 c | 94136 | 303312 6994286 21668859 | 2147483647 94136 52 | 0.000 % |
363.24/363.45 c | 94348 | 303312 6994286 21668859 | 2147483647 94348 52 | 0.000 % |
363.74/364.00 c | 94581 | 303312 6994286 21668859 | 2147483647 94581 52 | 0.000 % |
364.64/364.83 c | 94837 | 303312 6994286 21668859 | 2147483647 94837 52 | 0.000 % |
365.74/365.90 c | 95118 | 303312 6994286 21668859 | 2147483647 95118 52 | 0.000 % |
366.54/366.71 c | 95430 | 303312 6994286 21668859 | 2147483647 95430 53 | 0.000 % |
367.34/367.50 c | 95769 | 303312 6994286 21668859 | 2147483647 95769 52 | 0.000 % |
368.04/368.27 c | 96141 | 303312 6994286 21668859 | 2147483647 96141 53 | 0.000 % |
368.54/368.70 c | 96550 | 303312 6994286 21668859 | 2147483647 96550 53 | 0.000 % |
369.94/370.15 c | 96999 | 303312 6994286 21668859 | 2147483647 96999 53 | 0.000 % |
371.24/371.49 c | 97492 | 303312 6994286 21668859 | 2147483647 97492 53 | 0.000 % |
372.94/373.16 c | 98036 | 303312 6994286 21668859 | 2147483647 98036 53 | 0.000 % |
374.44/374.65 c | 98633 | 303312 6994286 21668859 | 2147483647 98633 54 | 0.000 % |
375.04/375.26 c | 99288 | 303312 6994286 21668859 | 2147483647 99288 54 | 0.000 % |
376.04/376.20 c | 100008 | 303312 6994286 21668859 | 2147483647 100008 54 | 0.000 % |
379.13/379.35 c | 100800 | 303312 6994286 21668859 | 2147483647 100800 54 | 0.000 % |
380.83/381.01 c | 101672 | 303312 6994286 21668859 | 2147483647 101672 54 | 0.000 % |
381.84/382.07 c | 102630 | 303312 6994286 21668859 | 2147483647 102630 54 | 0.000 % |
383.14/383.38 c | 103683 | 303312 6994286 21668859 | 2147483647 103683 55 | 0.000 % |
383.74/383.98 c | 104841 | 303312 6994286 21668859 | 2147483647 104841 55 | 0.000 % |
383.94/384.17 c | 104941 | 303312 6994286 21668859 | 2147483647 104941 55 | 0.000 % |
384.34/384.58 c | 105052 | 303312 6994286 21668859 | 2147483647 105052 55 | 0.000 % |
385.34/385.50 c | 105174 | 303312 6994286 21668859 | 2147483647 105174 55 | 0.000 % |
385.64/385.81 c | 105310 | 303312 6994286 21668859 | 2147483647 105310 55 | 0.000 % |
385.94/386.17 c | 105458 | 303312 6994286 21668859 | 2147483647 105458 55 | 0.000 % |
386.73/386.99 c | 105618 | 303312 6994286 21668859 | 2147483647 105618 55 | 0.000 % |
387.63/387.81 c | 105796 | 303312 6994286 21668859 | 2147483647 105796 55 | 0.000 % |
387.93/388.14 c | 105990 | 303312 6994286 21668859 | 2147483647 105990 55 | 0.000 % |
388.33/388.51 c | 106202 | 303312 6994286 21668859 | 2147483647 106202 55 | 0.000 % |
388.73/388.92 c | 106436 | 303312 6994286 21668859 | 2147483647 106436 55 | 0.000 % |
390.24/390.44 c | 106693 | 303312 6994286 21668859 | 2147483647 106693 55 | 0.000 % |
390.83/391.07 c | 106974 | 303312 6994286 21668859 | 2147483647 106974 55 | 0.000 % |
391.33/391.55 c | 107284 | 303312 6994286 21668859 | 2147483647 107284 56 | 0.000 % |
391.93/392.10 c | 107623 | 303312 6994286 21668859 | 2147483647 107623 56 | 0.000 % |
392.73/392.92 c | 107995 | 303312 6994286 21668859 | 2147483647 107995 56 | 0.000 % |
394.42/394.68 c | 108404 | 303312 6994286 21668859 | 2147483647 108404 56 | 0.000 % |
395.62/395.81 c | 108853 | 303312 6994286 21668859 | 2147483647 108853 56 | 0.000 % |
396.42/396.65 c | 109346 | 303312 6994286 21668859 | 2147483647 109346 56 | 0.000 % |
398.12/398.36 c | 109889 | 303312 6994286 21668859 | 2147483647 109889 56 | 0.000 % |
399.22/399.43 c | 110486 | 303312 6994286 21668859 | 2147483647 110486 57 | 0.000 % |
400.03/400.27 c | 111142 | 303312 6994286 21668859 | 2147483647 111142 57 | 0.000 % |
401.73/401.95 c | 111862 | 303312 6994286 21668859 | 2147483647 111862 57 | 0.000 % |
404.43/404.70 c | 112654 | 303312 6994286 21668859 | 2147483647 112654 57 | 0.000 % |
405.83/406.05 c | 113527 | 303312 6994286 21668859 | 2147483647 113527 57 | 0.000 % |
407.53/407.78 c | 114486 | 303312 6994286 21668859 | 2147483647 114486 57 | 0.000 % |
411.02/411.30 c | 115539 | 303312 6994286 21668859 | 2147483647 115539 57 | 0.000 % |
413.52/413.70 c | 116699 | 303312 6994286 21668859 | 2147483647 116699 57 | 0.000 % |
416.83/417.03 c | 117972 | 303312 6994286 21668859 | 2147483647 117972 57 | 0.000 % |
417.13/417.32 c | 118072 | 303312 6994286 21668859 | 2147483647 118072 57 | 0.000 % |
417.42/417.60 c | 118184 | 303312 6994286 21668859 | 2147483647 118184 57 | 0.000 % |
417.92/418.14 c | 118305 | 303312 6994286 21668859 | 2147483647 118305 57 | 0.000 % |
418.22/418.48 c | 118439 | 303312 6994286 21668859 | 2147483647 118439 57 | 0.000 % |
418.72/419.00 c | 118586 | 303312 6994286 21668859 | 2147483647 118586 57 | 0.000 % |
419.52/419.71 c | 118748 | 303312 6994286 21668859 | 2147483647 118748 57 | 0.000 % |
419.82/420.05 c | 118924 | 303312 6994286 21668859 | 2147483647 118924 57 | 0.000 % |
420.42/420.63 c | 119117 | 303312 6994286 21668859 | 2147483647 119117 57 | 0.000 % |
420.92/421.12 c | 119330 | 303312 6994286 21668859 | 2147483647 119330 57 | 0.000 % |
421.32/421.53 c | 119565 | 303312 6994286 21668859 | 2147483647 119565 57 | 0.000 % |
422.02/422.20 c | 119821 | 303312 6994286 21668859 | 2147483647 119821 57 | 0.000 % |
422.32/422.57 c | 120104 | 303312 6994286 21668859 | 2147483647 120104 57 | 0.000 % |
422.72/422.99 c | 120413 | 303312 6994286 21668859 | 2147483647 120413 57 | 0.000 % |
423.22/423.44 c | 120753 | 303312 6994286 21668859 | 2147483647 120753 57 | 0.000 % |
424.02/424.29 c | 121125 | 303312 6994286 21668859 | 2147483647 121125 57 | 0.000 % |
424.62/424.88 c | 121534 | 303312 6994286 21668859 | 2147483647 121534 57 | 0.000 % |
425.52/425.78 c | 121983 | 303312 6994286 21668859 | 2147483647 121983 57 | 0.000 % |
426.41/426.69 c | 122477 | 303312 6994286 21668859 | 2147483647 122477 58 | 0.000 % |
427.41/427.63 c | 123019 | 303312 6994286 21668859 | 2147483647 123019 58 | 0.000 % |
430.02/430.22 c | 123618 | 303312 6994286 21668859 | 2147483647 123618 58 | 0.000 % |
430.82/431.08 c | 124275 | 303312 6994286 21668859 | 2147483647 124275 58 | 0.000 % |
432.72/432.96 c | 124995 | 303312 6994286 21668859 | 2147483647 124995 58 | 0.000 % |
434.12/434.37 c | 125789 | 303312 6994286 21668859 | 2147483647 125789 58 | 0.000 % |
435.91/436.17 c | 126660 | 303312 6994286 21668859 | 2147483647 126660 58 | 0.000 % |
437.52/437.75 c | 127619 | 303312 6994286 21668859 | 2147483647 127619 58 | 0.000 % |
439.01/439.29 c | 128672 | 303312 6994286 21668859 | 2147483647 128672 58 | 0.000 % |
440.51/440.76 c | 129830 | 303312 6994286 21668859 | 2147483647 129830 59 | 0.000 % |
442.51/442.78 c | 131103 | 303312 6994286 21668859 | 2147483647 131103 59 | 0.000 % |
444.12/444.35 c | 132503 | 303312 6994286 21668859 | 2147483647 132503 59 | 0.000 % |
445.32/445.59 c | 132604 | 303312 6994286 21668859 | 2147483647 132604 59 | 0.000 % |
445.91/446.11 c | 132714 | 303312 6994286 21668859 | 2147483647 132714 59 | 0.000 % |
446.31/446.54 c | 132835 | 303312 6994286 21668859 | 2147483647 132835 59 | 0.000 % |
446.71/446.95 c | 132969 | 303312 6994286 21668859 | 2147483647 132969 59 | 0.000 % |
447.01/447.27 c | 133119 | 303312 6994286 21668859 | 2147483647 133119 59 | 0.000 % |
447.51/447.71 c | 133279 | 303312 6994286 21668859 | 2147483647 133279 59 | 0.000 % |
447.81/448.01 c | 133456 | 303312 6994286 21668859 | 2147483647 133456 59 | 0.000 % |
448.31/448.56 c | 133649 | 303312 6994286 21668859 | 2147483647 133649 59 | 0.000 % |
448.91/449.12 c | 133862 | 303312 6994286 21668859 | 2147483647 133862 59 | 0.000 % |
449.41/449.65 c | 134095 | 303312 6994286 21668859 | 2147483647 134095 59 | 0.000 % |
450.11/450.32 c | 134351 | 303312 6994286 21668859 | 2147483647 134351 59 | 0.000 % |
450.61/450.84 c | 134632 | 303312 6994286 21668859 | 2147483647 134632 59 | 0.000 % |
451.61/451.85 c | 134942 | 303312 6994286 21668859 | 2147483647 134942 59 | 0.000 % |
452.61/452.81 c | 135281 | 303312 6994286 21668859 | 2147483647 135281 59 | 0.000 % |
453.41/453.62 c | 135655 | 303312 6994286 21668859 | 2147483647 135655 59 | 0.000 % |
454.71/454.99 c | 136065 | 303312 6994286 21668859 | 2147483647 136065 59 | 0.000 % |
456.11/456.37 c | 136514 | 303312 6994286 21668859 | 2147483647 136514 59 | 0.000 % |
457.81/458.04 c | 137009 | 303312 6994286 21668859 | 2147483647 137009 59 | 0.000 % |
459.80/460.06 c | 137551 | 303312 6994286 21668859 | 2147483647 137551 59 | 0.000 % |
462.00/462.21 c | 138147 | 303312 6994286 21668859 | 2147483647 138147 60 | 0.000 % |
463.40/463.66 c | 138802 | 303312 6994286 21668859 | 2147483647 138802 60 | 0.000 % |
467.20/467.41 c | 139525 | 303312 6994286 21668859 | 2147483647 139525 59 | 0.000 % |
470.10/470.34 c | 140317 | 303312 6994286 21668859 | 2147483647 140317 60 | 0.000 % |
472.50/472.70 c | 141189 | 303312 6994286 21668859 | 2147483647 141189 60 | 0.000 % |
475.10/475.36 c | 142147 | 303312 6994286 21668859 | 2147483647 142147 60 | 0.000 % |
477.60/477.86 c | 143203 | 303312 6994286 21668859 | 2147483647 143203 60 | 0.000 % |
481.50/481.78 c | 144362 | 303312 6994286 21668859 | 2147483647 144362 61 | 0.000 % |
484.10/484.39 c | 145635 | 303312 6994286 21668859 | 2147483647 145635 61 | 0.000 % |
486.80/487.09 c | 147037 | 303312 6994286 21668859 | 2147483647 147037 61 | 0.000 % |
492.50/492.75 c | 148579 | 303312 6994286 21668859 | 2147483647 148579 62 | 0.000 % |
493.29/493.57 c | 148679 | 303312 6994286 21668859 | 2147483647 148679 62 | 0.000 % |
493.70/493.95 c | 148789 | 303312 6994286 21668859 | 2147483647 148789 62 | 0.000 % |
494.39/494.60 c | 148911 | 303312 6994286 21668859 | 2147483647 148911 62 | 0.000 % |
494.59/494.87 c | 149045 | 303312 6994286 21668859 | 2147483647 149045 62 | 0.000 % |
495.49/495.76 c | 149191 | 303312 6994286 21668859 | 2147483647 149191 62 | 0.000 % |
495.80/496.08 c | 149351 | 303312 6994286 21668859 | 2147483647 149351 62 | 0.000 % |
496.90/497.18 c | 149527 | 303312 6994286 21668859 | 2147483647 149527 62 | 0.000 % |
497.79/498.09 c | 149720 | 303312 6994286 21668859 | 2147483647 149720 62 | 0.000 % |
498.39/498.60 c | 149932 | 303312 6994286 21668859 | 2147483647 149932 62 | 0.000 % |
499.29/499.53 c | 150166 | 303312 6994286 21668859 | 2147483647 150166 62 | 0.000 % |
499.88/500.13 c | 150423 | 303312 6994286 21668859 | 2147483647 150423 62 | 0.000 % |
500.38/500.64 c | 150704 | 303312 6994286 21668859 | 2147483647 150704 62 | 0.000 % |
500.88/501.18 c | 151016 | 303312 6994286 21668859 | 2147483647 151016 62 | 0.000 % |
502.58/502.80 c | 151355 | 303312 6994286 21668859 | 2147483647 151355 62 | 0.000 % |
503.49/503.72 c | 151728 | 303312 6994286 21668859 | 2147483647 151728 62 | 0.000 % |
504.08/504.38 c | 152137 | 303312 6994286 21668859 | 2147483647 152137 62 | 0.000 % |
504.69/504.92 c | 152588 | 303312 6994286 21668859 | 2147483647 152588 62 | 0.000 % |
505.98/506.24 c | 153083 | 303312 6994286 21668859 | 2147483647 153083 62 | 0.000 % |
507.18/507.49 c | 153629 | 303312 6994286 21668859 | 2147483647 153629 62 | 0.000 % |
508.88/509.11 c | 154227 | 303312 6994286 21668859 | 2147483647 154227 62 | 0.000 % |
510.38/510.63 c | 154883 | 303312 6994286 21668859 | 2147483647 154883 62 | 0.000 % |
511.39/511.63 c | 155603 | 303312 6994286 21668859 | 2147483647 155603 62 | 0.000 % |
513.59/513.85 c | 156395 | 303312 6994286 21668859 | 2147483647 156395 62 | 0.000 % |
514.68/514.90 c | 157266 | 303312 6994286 21668859 | 2147483647 157266 63 | 0.000 % |
516.28/516.59 c | 158224 | 303312 6994286 21668859 | 2147483647 158224 63 | 0.000 % |
519.08/519.33 c | 159279 | 303312 6994286 21668859 | 2147483647 159279 63 | 0.000 % |
522.28/522.54 c | 160437 | 303312 6994286 21668859 | 2147483647 160437 63 | 0.000 % |
524.28/524.55 c | 161717 | 303312 6994286 21668859 | 2147483647 161717 64 | 0.000 % |
525.97/526.25 c | 163117 | 303312 6994286 21668859 | 2147483647 163117 64 | 0.000 % |
532.28/532.55 c | 164657 | 303312 6994286 21668859 | 2147483647 164657 64 | 0.000 % |
534.47/534.79 c | 166351 | 303312 6994286 21668859 | 2147483647 166351 65 | 0.000 % |
535.38/535.60 c | 166452 | 303312 6994286 21668859 | 2147483647 166452 65 | 0.000 % |
535.78/536.00 c | 166563 | 303312 6994286 21668859 | 2147483647 166563 65 | 0.000 % |
536.67/536.91 c | 166685 | 303312 6994286 21668859 | 2147483647 166685 65 | 0.000 % |
537.17/537.50 c | 166818 | 303312 6994286 21668859 | 2147483647 166818 65 | 0.000 % |
537.47/537.74 c | 166965 | 303312 6994286 21668859 | 2147483647 166965 65 | 0.000 % |
538.07/538.36 c | 167126 | 303312 6994286 21668859 | 2147483647 167126 65 | 0.000 % |
538.37/538.68 c | 167304 | 303312 6994286 21668859 | 2147483647 167304 65 | 0.000 % |
539.37/539.65 c | 167497 | 303312 6994286 21668859 | 2147483647 167497 65 | 0.000 % |
540.07/540.33 c | 167709 | 303312 6994286 21668859 | 2147483647 167709 65 | 0.000 % |
540.97/541.21 c | 167942 | 303312 6994286 21668859 | 2147483647 167942 65 | 0.000 % |
541.67/541.96 c | 168198 | 303312 6994286 21668859 | 2147483647 168198 65 | 0.000 % |
542.07/542.30 c | 168479 | 303312 6994286 21668859 | 2147483647 168479 65 | 0.000 % |
543.47/543.76 c | 168789 | 303312 6994286 21668859 | 2147483647 168789 65 | 0.000 % |
544.17/544.48 c | 169128 | 303312 6994286 21668859 | 2147483647 169128 65 | 0.000 % |
546.67/546.94 c | 169502 | 303312 6994286 21668859 | 2147483647 169502 65 | 0.000 % |
547.57/547.86 c | 169912 | 303312 6994286 21668859 | 2147483647 169912 65 | 0.000 % |
549.27/549.54 c | 170361 | 303312 6994286 21668859 | 2147483647 170361 65 | 0.000 % |
550.97/551.22 c | 170854 | 303312 6994286 21668859 | 2147483647 170854 66 | 0.000 % |
552.07/552.35 c | 171396 | 303312 6994286 21668859 | 2147483647 171396 66 | 0.000 % |
552.67/552.93 c | 171993 | 303312 6994286 21668859 | 2147483647 171993 66 | 0.000 % |
555.57/555.82 c | 172648 | 303312 6994286 21668859 | 2147483647 172648 66 | 0.000 % |
557.57/557.82 c | 173374 | 303312 6994286 21668859 | 2147483647 173374 66 | 0.000 % |
559.57/559.84 c | 174167 | 303312 6994286 21668859 | 2147483647 174167 66 | 0.000 % |
560.68/560.95 c | 175038 | 303312 6994286 21668859 | 2147483647 175038 66 | 0.000 % |
563.07/563.31 c | 175998 | 303312 6994286 21668859 | 2147483647 175998 66 | 0.000 % |
566.07/566.38 c | 177053 | 303312 6994286 21668859 | 2147483647 177053 66 | 0.000 % |
568.06/568.35 c | 178211 | 303312 6994286 21668859 | 2147483647 178211 67 | 0.000 % |
570.77/571.01 c | 179484 | 303312 6994286 21668859 | 2147483647 179484 67 | 0.000 % |
572.87/573.11 c | 180884 | 303312 6994286 21668859 | 2147483647 180884 67 | 0.000 % |
574.97/575.23 c | 182425 | 303312 6994286 21668859 | 2147483647 182425 67 | 0.000 % |
577.36/577.68 c | 184122 | 303312 6994286 21668859 | 2147483647 184122 67 | 0.000 % |
579.47/579.74 c | 185985 | 303312 6994286 21668859 | 2147483647 185985 67 | 0.000 % |
579.76/580.09 c | 186085 | 303312 6994286 21668859 | 2147483647 186085 67 | 0.000 % |
580.26/580.52 c | 186195 | 303312 6994286 21668859 | 2147483647 186195 67 | 0.000 % |
580.76/581.01 c | 186316 | 303312 6994286 21668859 | 2147483647 186316 67 | 0.000 % |
581.66/581.96 c | 186449 | 303312 6994286 21668859 | 2147483647 186449 67 | 0.000 % |
582.26/582.51 c | 186597 | 303312 6994286 21668859 | 2147483647 186597 67 | 0.000 % |
583.56/583.80 c | 186758 | 303312 6994286 21668859 | 2147483647 186758 67 | 0.000 % |
584.16/584.43 c | 186934 | 303312 6994286 21668859 | 2147483647 186934 67 | 0.000 % |
584.96/585.23 c | 187127 | 303312 6994286 21668859 | 2147483647 187127 67 | 0.000 % |
585.46/585.71 c | 187339 | 303312 6994286 21668859 | 2147483647 187339 67 | 0.000 % |
585.76/586.07 c | 187572 | 303312 6994286 21668859 | 2147483647 187572 67 | 0.000 % |
586.56/586.88 c | 187829 | 303312 6994286 21668859 | 2147483647 187829 67 | 0.000 % |
587.16/587.47 c | 188111 | 303312 6994286 21668859 | 2147483647 188111 67 | 0.000 % |
589.16/589.46 c | 188421 | 303312 6994286 21668859 | 2147483647 188421 67 | 0.000 % |
590.56/590.87 c | 188762 | 303312 6994286 21668859 | 2147483647 188762 67 | 0.000 % |
591.95/592.21 c | 189134 | 303312 6994286 21668859 | 2147483647 189134 67 | 0.000 % |
593.15/593.46 c | 189543 | 303312 6994286 21668859 | 2147483647 189543 67 | 0.000 % |
594.55/594.89 c | 189994 | 303312 6994286 21668859 | 2147483647 189994 67 | 0.000 % |
596.45/596.78 c | 190489 | 303312 6994286 21668859 | 2147483647 190489 67 | 0.000 % |
597.85/598.17 c | 191031 | 303312 6994286 21668859 | 2147483647 191031 67 | 0.000 % |
599.55/599.84 c | 191627 | 303312 6994286 21668859 | 2147483647 191627 67 | 0.000 % |
600.55/600.81 c | 192283 | 303312 6994286 21668859 | 2147483647 192283 67 | 0.000 % |
603.35/603.67 c | 193003 | 303312 6994286 21668859 | 2147483647 193003 67 | 0.000 % |
604.65/604.98 c | 193795 | 303312 6994286 21668859 | 2147483647 193795 67 | 0.000 % |
608.15/608.42 c | 194666 | 303312 6994286 21668859 | 2147483647 194666 67 | 0.000 % |
610.95/611.25 c | 195624 | 303312 6994286 21668859 | 2147483647 195624 67 | 0.000 % |
613.46/613.78 c | 196680 | 303312 6994286 21668859 | 2147483647 196680 67 | 0.000 % |
617.15/617.43 c | 197838 | 303312 6994286 21668859 | 2147483647 197838 67 | 0.000 % |
619.24/619.53 c | 199111 | 303312 6994286 21668859 | 2147483647 199111 67 | 0.000 % |
623.75/624.02 c | 200511 | 303312 6994286 21668859 | 2147483647 200511 68 | 0.000 % |
627.85/628.14 c | 202052 | 303312 6994286 21668859 | 2147483647 202052 68 | 0.000 % |
632.54/632.86 c | 203748 | 303312 6994286 21668859 | 2147483647 203748 69 | 0.000 % |
635.14/635.45 c | 205611 | 303312 6994286 21668859 | 2147483647 205611 70 | 0.000 % |
641.64/641.98 c | 207660 | 303312 6994286 21668859 | 2147483647 207660 70 | 0.000 % |
642.44/642.71 c | 207761 | 303312 6994286 21668859 | 2147483647 207761 70 | 0.000 % |
643.25/643.59 c | 207872 | 303312 6994286 21668859 | 2147483647 207872 70 | 0.000 % |
643.84/644.17 c | 207994 | 303312 6994286 21668859 | 2147483647 207994 70 | 0.000 % |
644.44/644.75 c | 208128 | 303312 6994286 21668859 | 2147483647 208128 70 | 0.000 % |
645.24/645.53 c | 208275 | 303312 6994286 21668859 | 2147483647 208275 70 | 0.000 % |
645.54/645.85 c | 208437 | 303312 6994286 21668859 | 2147483647 208437 70 | 0.000 % |
646.45/646.79 c | 208613 | 303312 6994286 21668859 | 2147483647 208613 70 | 0.000 % |
647.34/647.67 c | 208808 | 303312 6994286 21668859 | 2147483647 208808 70 | 0.000 % |
647.84/648.13 c | 209020 | 303312 6994286 21668859 | 2147483647 209020 70 | 0.000 % |
649.24/649.53 c | 209253 | 303312 6994286 21668859 | 2147483647 209253 70 | 0.000 % |
650.04/650.31 c | 209510 | 303312 6994286 21668859 | 2147483647 209510 70 | 0.000 % |
651.94/652.23 c | 209791 | 303312 6994286 21668859 | 2147483647 209791 70 | 0.000 % |
652.64/652.94 c | 210100 | 303312 6994286 21668859 | 2147483647 210100 70 | 0.000 % |
653.74/654.03 c | 210441 | 303312 6994286 21668859 | 2147483647 210441 70 | 0.000 % |
654.44/654.75 c | 210814 | 303312 6994286 21668859 | 2147483647 210814 70 | 0.000 % |
655.84/656.11 c | 211224 | 303312 6994286 21668859 | 2147483647 211224 70 | 0.000 % |
657.93/658.24 c | 211673 | 303312 6994286 21668859 | 2147483647 211673 70 | 0.000 % |
659.43/659.77 c | 212169 | 303312 6994286 21668859 | 2147483647 212169 71 | 0.000 % |
660.54/660.84 c | 212713 | 303312 6994286 21668859 | 2147483647 212713 71 | 0.000 % |
661.34/661.68 c | 213309 | 303312 6994286 21668859 | 2147483647 213309 71 | 0.000 % |
662.84/663.17 c | 213964 | 303312 6994286 21668859 | 2147483647 213964 71 | 0.000 % |
664.34/664.63 c | 214688 | 303312 6994286 21668859 | 2147483647 214688 71 | 0.000 % |
665.33/665.65 c | 215480 | 303312 6994286 21668859 | 2147483647 215480 71 | 0.000 % |
669.13/669.41 c | 216351 | 303312 6994286 21668859 | 2147483647 216351 71 | 0.000 % |
670.93/671.27 c | 217311 | 303312 6994286 21668859 | 2147483647 217311 71 | 0.000 % |
674.33/674.65 c | 218367 | 303312 6994286 21668859 | 2147483647 218367 71 | 0.000 % |
679.43/679.75 c | 219525 | 303312 6994286 21668859 | 2147483647 219525 71 | 0.000 % |
682.83/683.15 c | 220798 | 303312 6994286 21668859 | 2147483647 220798 71 | 0.000 % |
686.52/686.84 c | 222198 | 303312 6994286 21668859 | 2147483647 222198 72 | 0.000 % |
689.23/689.55 c | 223740 | 303312 6994286 21668859 | 2147483647 223740 73 | 0.000 % |
693.23/693.50 c | 225434 | 303312 6994286 21668859 | 2147483647 225434 72 | 0.000 % |
698.23/698.59 c | 227297 | 303312 6994286 21668859 | 2147483647 227297 74 | 0.000 % |
701.13/701.43 c | 229346 | 303312 6994286 21668859 | 2147483647 229346 74 | 0.000 % |
705.32/705.65 c | 231600 | 303312 6994286 21668859 | 2147483647 231600 74 | 0.000 % |
705.72/706.03 c | 231701 | 303312 6994286 21668859 | 2147483647 231701 74 | 0.000 % |
706.12/706.43 c | 231811 | 303312 6994286 21668859 | 2147483647 231811 74 | 0.000 % |
706.42/706.78 c | 231932 | 303312 6994286 21668859 | 2147483647 231932 74 | 0.000 % |
706.82/707.12 c | 232068 | 303312 6994286 21668859 | 2147483647 232068 74 | 0.000 % |
707.42/707.72 c | 232214 | 303312 6994286 21668859 | 2147483647 232214 74 | 0.000 % |
707.72/708.08 c | 232374 | 303312 6994286 21668859 | 2147483647 232374 74 | 0.000 % |
708.22/708.52 c | 232551 | 303312 6994286 21668859 | 2147483647 232551 74 | 0.000 % |
709.22/709.57 c | 232746 | 303312 6994286 21668859 | 2147483647 232746 74 | 0.000 % |
709.82/710.12 c | 232958 | 303312 6994286 21668859 | 2147483647 232958 74 | 0.000 % |
710.42/710.79 c | 233193 | 303312 6994286 21668859 | 2147483647 233193 74 | 0.000 % |
711.02/711.32 c | 233449 | 303312 6994286 21668859 | 2147483647 233449 74 | 0.000 % |
711.43/711.73 c | 233730 | 303312 6994286 21668859 | 2147483647 233730 74 | 0.000 % |
712.32/712.64 c | 234040 | 303312 6994286 21668859 | 2147483647 234040 74 | 0.000 % |
713.72/714.04 c | 234379 | 303312 6994286 21668859 | 2147483647 234379 74 | 0.000 % |
714.92/715.27 c | 234751 | 303312 6994286 21668859 | 2147483647 234751 75 | 0.000 % |
715.82/716.13 c | 235160 | 303312 6994286 21668859 | 2147483647 235160 75 | 0.000 % |
716.62/716.91 c | 235613 | 303312 6994286 21668859 | 2147483647 235613 75 | 0.000 % |
717.82/718.10 c | 236106 | 303312 6994286 21668859 | 2147483647 236106 75 | 0.000 % |
718.92/719.26 c | 236648 | 303312 6994286 21668859 | 2147483647 236648 75 | 0.000 % |
719.82/720.18 c | 237246 | 303312 6994286 21668859 | 2147483647 237246 75 | 0.000 % |
721.51/721.83 c | 237904 | 303312 6994286 21668859 | 2147483647 237904 75 | 0.000 % |
723.12/723.49 c | 238625 | 303312 6994286 21668859 | 2147483647 238625 75 | 0.000 % |
724.42/724.76 c | 239417 | 303312 6994286 21668859 | 2147483647 239417 76 | 0.000 % |
725.92/726.28 c | 240289 | 303312 6994286 21668859 | 2147483647 240289 76 | 0.000 % |
727.32/727.61 c | 241247 | 303312 6994286 21668859 | 2147483647 241247 76 | 0.000 % |
728.71/729.03 c | 242300 | 303312 6994286 21668859 | 2147483647 242300 76 | 0.000 % |
734.81/735.11 c | 243459 | 303312 6994286 21668859 | 2147483647 243459 76 | 0.000 % |
737.62/737.91 c | 244734 | 303312 6994286 21668859 | 2147483647 244734 76 | 0.000 % |
739.81/740.17 c | 246134 | 303312 6994286 21668859 | 2147483647 246134 76 | 0.000 % |
742.21/742.53 c | 247676 | 303312 6994286 21668859 | 2147483647 247676 76 | 0.000 % |
748.41/748.73 c | 249374 | 303312 6994286 21668859 | 2147483647 249374 76 | 0.000 % |
753.31/753.64 c | 251239 | 303312 6994286 21668859 | 2147483647 251239 77 | 0.000 % |
756.30/756.65 c | 253288 | 303312 6994286 21668859 | 2147483647 253288 77 | 0.000 % |
764.01/764.30 c | 255542 | 303312 6994286 21668859 | 2147483647 255542 78 | 0.000 % |
768.11/768.40 c | 258020 | 303312 6994286 21668859 | 2147483647 258020 78 | 0.000 % |
768.81/769.19 c | 258121 | 303312 6994286 21668859 | 2147483647 258121 78 | 0.000 % |
769.21/769.58 c | 258231 | 303312 6994286 21668859 | 2147483647 258231 78 | 0.000 % |
769.71/770.06 c | 258353 | 303312 6994286 21668859 | 2147483647 258353 78 | 0.000 % |
770.21/770.52 c | 258487 | 303312 6994286 21668859 | 2147483647 258487 78 | 0.000 % |
770.81/771.19 c | 258635 | 303312 6994286 21668859 | 2147483647 258635 78 | 0.000 % |
771.41/771.73 c | 258796 | 303312 6994286 21668859 | 2147483647 258796 78 | 0.000 % |
771.81/772.14 c | 258972 | 303312 6994286 21668859 | 2147483647 258972 78 | 0.000 % |
772.31/772.64 c | 259166 | 303312 6994286 21668859 | 2147483647 259166 78 | 0.000 % |
772.81/773.20 c | 259379 | 303312 6994286 21668859 | 2147483647 259379 78 | 0.000 % |
773.31/773.66 c | 259613 | 303312 6994286 21668859 | 2147483647 259613 78 | 0.000 % |
774.01/774.31 c | 259870 | 303312 6994286 21668859 | 2147483647 259870 78 | 0.000 % |
774.50/774.83 c | 260155 | 303312 6994286 21668859 | 2147483647 260155 78 | 0.000 % |
775.21/775.60 c | 260464 | 303312 6994286 21668859 | 2147483647 260464 78 | 0.000 % |
776.10/776.41 c | 260804 | 303312 6994286 21668859 | 2147483647 260804 78 | 0.000 % |
776.90/777.27 c | 261176 | 303312 6994286 21668859 | 2147483647 261176 78 | 0.000 % |
778.00/778.39 c | 261585 | 303312 6994286 21668859 | 2147483647 261585 78 | 0.000 % |
779.30/779.69 c | 262034 | 303312 6994286 21668859 | 2147483647 262034 78 | 0.000 % |
781.30/781.68 c | 262527 | 303312 6994286 21668859 | 2147483647 262527 78 | 0.000 % |
783.70/784.09 c | 263073 | 303312 6994286 21668859 | 2147483647 263073 78 | 0.000 % |
786.20/786.52 c | 263669 | 303312 6994286 21668859 | 2147483647 263669 78 | 0.000 % |
787.31/787.69 c | 264324 | 303312 6994286 21668859 | 2147483647 264324 78 | 0.000 % |
788.10/788.49 c | 265045 | 303312 6994286 21668859 | 2147483647 265045 78 | 0.000 % |
790.00/790.35 c | 265837 | 303312 6994286 21668859 | 2147483647 265837 78 | 0.000 % |
791.90/792.22 c | 266708 | 303312 6994286 21668859 | 2147483647 266708 78 | 0.000 % |
795.60/795.93 c | 267666 | 303312 6994286 21668859 | 2147483647 267666 79 | 0.000 % |
797.40/797.70 c | 268720 | 303312 6994286 21668859 | 2147483647 268720 79 | 0.000 % |
800.10/800.40 c | 269878 | 303312 6994286 21668859 | 2147483647 269878 79 | 0.000 % |
802.09/802.46 c | 271152 | 303312 6994286 21668859 | 2147483647 271152 79 | 0.000 % |
804.50/804.88 c | 272552 | 303312 6994286 21668859 | 2147483647 272552 80 | 0.000 % |
807.99/808.36 c | 274092 | 303312 6994286 21668859 | 2147483647 274092 80 | 0.000 % |
811.29/811.67 c | 275786 | 303312 6994286 21668859 | 2147483647 275786 81 | 0.000 % |
814.69/815.04 c | 277649 | 303312 6994286 21668859 | 2147483647 277649 81 | 0.000 % |
816.79/817.17 c | 279698 | 303312 6994286 21668859 | 2147483647 279698 81 | 0.000 % |
825.59/825.98 c | 281951 | 303312 6994286 21668859 | 2147483647 281951 81 | 0.000 % |
829.29/829.63 c | 284429 | 303312 6994286 21668859 | 2147483647 284429 82 | 0.000 % |
833.50/833.88 c | 287154 | 303312 6994286 21668859 | 2147483647 287154 83 | 0.000 % |
833.79/834.18 c | 287254 | 303312 6994286 21668859 | 2147483647 287254 83 | 0.000 % |
834.09/834.43 c | 287364 | 303312 6994286 21668859 | 2147483647 287364 83 | 0.000 % |
834.29/834.69 c | 287485 | 303312 6994286 21668859 | 2147483647 287485 83 | 0.000 % |
834.99/835.32 c | 287618 | 303312 6994286 21668859 | 2147483647 287618 83 | 0.000 % |
835.59/835.95 c | 287765 | 303312 6994286 21668859 | 2147483647 287765 83 | 0.000 % |
835.99/836.33 c | 287929 | 303312 6994286 21668859 | 2147483647 287929 83 | 0.000 % |
836.99/837.34 c | 288105 | 303312 6994286 21668859 | 2147483647 288105 83 | 0.000 % |
837.69/838.00 c | 288298 | 303312 6994286 21668859 | 2147483647 288298 83 | 0.000 % |
838.29/838.69 c | 288510 | 303312 6994286 21668859 | 2147483647 288510 83 | 0.000 % |
839.09/839.41 c | 288743 | 303312 6994286 21668859 | 2147483647 288743 83 | 0.000 % |
840.19/840.54 c | 288999 | 303312 6994286 21668859 | 2147483647 288999 83 | 0.000 % |
841.68/842.07 c | 289281 | 303312 6994286 21668859 | 2147483647 289281 83 | 0.000 % |
842.78/843.10 c | 289590 | 303312 6994286 21668859 | 2147483647 289590 83 | 0.000 % |
843.78/844.18 c | 289930 | 303312 6994286 21668859 | 2147483647 289930 83 | 0.000 % |
844.78/845.18 c | 290302 | 303312 6994286 21668859 | 2147483647 290302 83 | 0.000 % |
846.78/847.10 c | 290711 | 303312 6994286 21668859 | 2147483647 290711 83 | 0.000 % |
848.89/849.24 c | 291160 | 303312 6994286 21668859 | 2147483647 291160 83 | 0.000 % |
850.68/851.02 c | 291655 | 303312 6994286 21668859 | 2147483647 291655 83 | 0.000 % |
853.68/854.06 c | 292197 | 303312 6994286 21668859 | 2147483647 292197 83 | 0.000 % |
854.88/855.26 c | 292795 | 303312 6994286 21668859 | 2147483647 292795 83 | 0.000 % |
856.48/856.81 c | 293455 | 303312 6994286 21668859 | 2147483647 293455 83 | 0.000 % |
857.78/858.10 c | 294175 | 303312 6994286 21668859 | 2147483647 294175 84 | 0.000 % |
859.08/859.47 c | 294967 | 303312 6994286 21668859 | 2147483647 294967 84 | 0.000 % |
861.77/862.20 c | 295838 | 303312 6994286 21668859 | 2147483647 295838 84 | 0.000 % |
864.28/864.62 c | 296799 | 303312 6994286 21668859 | 2147483647 296799 84 | 0.000 % |
867.68/868.08 c | 297852 | 303312 6994286 21668859 | 2147483647 297852 85 | 0.000 % |
871.58/871.94 c | 299010 | 303312 6994286 21668859 | 2147483647 299010 85 | 0.000 % |
876.88/877.29 c | 300283 | 303312 6994286 21668859 | 2147483647 300283 85 | 0.000 % |
881.07/881.49 c | 301686 | 303312 6994286 21668859 | 2147483647 301686 85 | 0.000 % |
885.37/885.76 c | 303226 | 303312 6994286 21668859 | 2147483647 303226 85 | 0.000 % |
888.07/888.44 c | 304921 | 303312 6994286 21668859 | 2147483647 304921 85 | 0.000 % |
891.37/891.70 c | 306784 | 303312 6994286 21668859 | 2147483647 306784 85 | 0.000 % |
895.47/895.87 c | 308833 | 303312 6994286 21668859 | 2147483647 308833 85 | 0.000 % |
900.27/900.64 c | 311086 | 303312 6994286 21668859 | 2147483647 311086 85 | 0.000 % |
905.27/905.69 c | 313564 | 303312 6994286 21668859 | 2147483647 313564 85 | 0.000 % |
911.57/911.97 c | 316290 | 303312 6994286 21668859 | 2147483647 316290 85 | 0.000 % |
917.16/917.52 c | 319287 | 303312 6994286 21668859 | 2147483647 319287 85 | 0.000 % |
917.46/917.82 c | 319387 | 303312 6994286 21668859 | 2147483647 319387 85 | 0.000 % |
917.76/918.17 c | 319497 | 303312 6994286 21668859 | 2147483647 319497 85 | 0.000 % |
918.26/918.60 c | 319618 | 303312 6994286 21668859 | 2147483647 319618 85 | 0.000 % |
918.56/918.91 c | 319751 | 303312 6994286 21668859 | 2147483647 319751 85 | 0.000 % |
918.96/919.39 c | 319897 | 303312 6994286 21668859 | 2147483647 319897 85 | 0.000 % |
919.36/919.76 c | 320057 | 303312 6994286 21668859 | 2147483647 320057 85 | 0.000 % |
919.86/920.20 c | 320234 | 303312 6994286 21668859 | 2147483647 320234 85 | 0.000 % |
920.26/920.66 c | 320427 | 303312 6994286 21668859 | 2147483647 320427 85 | 0.000 % |
921.16/921.53 c | 320640 | 303312 6994286 21668859 | 2147483647 320640 85 | 0.000 % |
921.86/922.22 c | 320873 | 303312 6994286 21668859 | 2147483647 320873 85 | 0.000 % |
922.56/922.96 c | 321129 | 303312 6994286 21668859 | 2147483647 321129 85 | 0.000 % |
923.26/923.60 c | 321410 | 303312 6994286 21668859 | 2147483647 321410 85 | 0.000 % |
923.97/924.30 c | 321721 | 303312 6994286 21668859 | 2147483647 321721 85 | 0.000 % |
924.57/924.97 c | 322060 | 303312 6994286 21668859 | 2147483647 322060 85 | 0.000 % |
925.57/925.91 c | 322432 | 303312 6994286 21668859 | 2147483647 322432 85 | 0.000 % |
926.07/926.47 c | 322842 | 303312 6994286 21668859 | 2147483647 322842 85 | 0.000 % |
927.16/927.51 c | 323291 | 303312 6994286 21668859 | 2147483647 323291 85 | 0.000 % |
928.07/928.43 c | 323784 | 303312 6994286 21668859 | 2147483647 323784 85 | 0.000 % |
929.07/929.50 c | 324326 | 303312 6994286 21668859 | 2147483647 324326 84 | 0.000 % |
930.17/930.58 c | 324923 | 303312 6994286 21668859 | 2147483647 324923 84 | 0.000 % |
931.37/931.76 c | 325578 | 303312 6994286 21668859 | 2147483647 325578 84 | 0.000 % |
932.76/933.12 c | 326298 | 303312 6994286 21668859 | 2147483647 326298 84 | 0.000 % |
934.46/934.85 c | 327090 | 303312 6994286 21668859 | 2147483647 327090 84 | 0.000 % |
936.66/937.01 c | 327962 | 303312 6994286 21668859 | 2147483647 327962 85 | 0.000 % |
938.16/938.59 c | 328922 | 303312 6994286 21668859 | 2147483647 328922 85 | 0.000 % |
940.66/941.04 c | 329976 | 303312 6994286 21668859 | 2147483647 329976 85 | 0.000 % |
943.16/943.51 c | 331136 | 303312 6994286 21668859 | 2147483647 331136 85 | 0.000 % |
945.56/945.95 c | 332409 | 303312 6994286 21668859 | 2147483647 332409 85 | 0.000 % |
948.75/949.12 c | 333819 | 303312 6994286 21668859 | 2147483647 333819 85 | 0.000 % |
951.45/951.89 c | 335359 | 303312 6994286 21668859 | 2147483647 335359 85 | 0.000 % |
954.95/955.35 c | 337054 | 303312 6994286 21668859 | 2147483647 337054 85 | 0.000 % |
960.96/961.39 c | 338917 | 303312 6994286 21668859 | 2147483647 338917 85 | 0.000 % |
965.65/966.08 c | 340966 | 303312 6994286 21668859 | 2147483647 340966 85 | 0.000 % |
970.15/970.55 c | 343220 | 303312 6994286 21668859 | 2147483647 343220 85 | 0.000 % |
976.05/976.46 c | 345698 | 303312 6994286 21668859 | 2147483647 345698 85 | 0.000 % |
981.35/981.72 c | 348425 | 303312 6994286 21668859 | 2147483647 348425 86 | 0.000 % |
987.14/987.53 c | 351423 | 303312 6994286 21668859 | 2147483647 351423 86 | 0.000 % |
992.35/992.78 c | 354719 | 303312 6994286 21668859 | 2147483647 354719 86 | 0.000 % |
992.74/993.12 c | 354820 | 303312 6994286 21668859 | 2147483647 354820 86 | 0.000 % |
993.14/993.52 c | 354932 | 303312 6994286 21668859 | 2147483647 354932 86 | 0.000 % |
993.34/993.79 c | 355054 | 303312 6994286 21668859 | 2147483647 355054 86 | 0.000 % |
994.14/994.59 c | 355187 | 303312 6994286 21668859 | 2147483647 355187 86 | 0.000 % |
994.84/995.27 c | 355333 | 303312 6994286 21668859 | 2147483647 355333 86 | 0.000 % |
995.44/995.83 c | 355493 | 303312 6994286 21668859 | 2147483647 355493 86 | 0.000 % |
996.54/996.92 c | 355670 | 303312 6994286 21668859 | 2147483647 355670 86 | 0.000 % |
996.94/997.38 c | 355863 | 303312 6994286 21668859 | 2147483647 355863 86 | 0.000 % |
998.54/998.95 c | 356075 | 303312 6994286 21668859 | 2147483647 356075 86 | 0.000 % |
999.24/999.69 c | 356308 | 303312 6994286 21668859 | 2147483647 356308 86 | 0.000 % |
1000.14/1000.58 c | 356566 | 303312 6994286 21668859 | 2147483647 356566 86 | 0.000 % |
1002.04/1002.43 c | 356847 | 303312 6994286 21668859 | 2147483647 356847 86 | 0.000 % |
1002.84/1003.27 c | 357157 | 303312 6994286 21668859 | 2147483647 357157 86 | 0.000 % |
1003.64/1004.08 c | 357496 | 303312 6994286 21668859 | 2147483647 357496 86 | 0.000 % |
1004.44/1004.85 c | 357868 | 303312 6994286 21668859 | 2147483647 357868 86 | 0.000 % |
1005.24/1005.60 c | 358277 | 303312 6994286 21668859 | 2147483647 358277 86 | 0.000 % |
1006.24/1006.60 c | 358726 | 303312 6994286 21668859 | 2147483647 358726 86 | 0.000 % |
1007.33/1007.73 c | 359219 | 303312 6994286 21668859 | 2147483647 359219 86 | 0.000 % |
1008.24/1008.68 c | 359763 | 303312 6994286 21668859 | 2147483647 359763 86 | 0.000 % |
1009.83/1010.22 c | 360360 | 303312 6994286 21668859 | 2147483647 360360 86 | 0.000 % |
1011.13/1011.50 c | 361016 | 303312 6994286 21668859 | 2147483647 361016 86 | 0.000 % |
1013.34/1013.76 c | 361737 | 303312 6994286 21668859 | 2147483647 361737 86 | 0.000 % |
1015.04/1015.40 c | 362531 | 303312 6994286 21668859 | 2147483647 362531 86 | 0.000 % |
1016.73/1017.15 c | 363402 | 303312 6994286 21668859 | 2147483647 363402 86 | 0.000 % |
1018.63/1019.09 c | 364361 | 303312 6994286 21668859 | 2147483647 364361 86 | 0.000 % |
1020.53/1020.97 c | 365415 | 303312 6994286 21668859 | 2147483647 365415 86 | 0.000 % |
1022.33/1022.73 c | 366573 | 303312 6994286 21668859 | 2147483647 366573 86 | 0.000 % |
1024.63/1025.07 c | 367847 | 303312 6994286 21668859 | 2147483647 367847 87 | 0.000 % |
1027.33/1027.72 c | 369248 | 303312 6994286 21668859 | 2147483647 369248 87 | 0.000 % |
1029.33/1029.70 c | 370789 | 303312 6994286 21668859 | 2147483647 370789 86 | 0.000 % |
1032.03/1032.45 c | 372485 | 303312 6994286 21668859 | 2147483647 372485 86 | 0.000 % |
1034.63/1035.00 c | 374349 | 303312 6994286 21668859 | 2147483647 374349 86 | 0.000 % |
1037.23/1037.64 c | 376399 | 303312 6994286 21668859 | 2147483647 376399 86 | 0.000 % |
1040.33/1040.77 c | 378653 | 303312 6994286 21668859 | 2147483647 378653 86 | 0.000 % |
1044.72/1045.17 c | 381132 | 303312 6994286 21668859 | 2147483647 381132 86 | 0.000 % |
1049.12/1049.58 c | 383859 | 303312 6994286 21668859 | 2147483647 383859 86 | 0.000 % |
1053.62/1054.06 c | 386856 | 303312 6994286 21668859 | 2147483647 386856 86 | 0.000 % |
1059.12/1059.58 c | 390154 | 303312 6994286 21668859 | 2147483647 390154 86 | 0.000 % |
1065.42/1065.87 c | 393779 | 303312 6994286 21668859 | 2147483647 393779 85 | 0.000 % |
1065.82/1066.24 c | 393880 | 303312 6994286 21668859 | 2147483647 393880 85 | 0.000 % |
1066.02/1066.49 c | 393990 | 303312 6994286 21668859 | 2147483647 393990 85 | 0.000 % |
1066.42/1066.84 c | 394111 | 303312 6994286 21668859 | 2147483647 394111 85 | 0.000 % |
1066.72/1067.18 c | 394244 | 303312 6994286 21668859 | 2147483647 394244 85 | 0.000 % |
1067.22/1067.64 c | 394390 | 303312 6994286 21668859 | 2147483647 394390 85 | 0.000 % |
1067.62/1068.07 c | 394550 | 303312 6994286 21668859 | 2147483647 394550 85 | 0.000 % |
1068.21/1068.66 c | 394726 | 303312 6994286 21668859 | 2147483647 394726 85 | 0.000 % |
1069.11/1069.54 c | 394920 | 303312 6994286 21668859 | 2147483647 394920 85 | 0.000 % |
1069.92/1070.31 c | 395136 | 303312 6994286 21668859 | 2147483647 395136 85 | 0.000 % |
1070.51/1070.95 c | 395370 | 303312 6994286 21668859 | 2147483647 395370 85 | 0.000 % |
1071.21/1071.66 c | 395626 | 303312 6994286 21668859 | 2147483647 395626 85 | 0.000 % |
1072.21/1072.63 c | 395908 | 303312 6994286 21668859 | 2147483647 395908 85 | 0.000 % |
1072.71/1073.13 c | 396218 | 303312 6994286 21668859 | 2147483647 396218 85 | 0.000 % |
1073.71/1074.13 c | 396559 | 303312 6994286 21668859 | 2147483647 396559 85 | 0.000 % |
1075.01/1075.45 c | 396931 | 303312 6994286 21668859 | 2147483647 396931 85 | 0.000 % |
1076.11/1076.52 c | 397340 | 303312 6994286 21668859 | 2147483647 397340 85 | 0.000 % |
1077.61/1078.06 c | 397790 | 303312 6994286 21668859 | 2147483647 397790 85 | 0.000 % |
1078.91/1079.36 c | 398283 | 303312 6994286 21668859 | 2147483647 398283 85 | 0.000 % |
1080.21/1080.67 c | 398827 | 303312 6994286 21668859 | 2147483647 398827 85 | 0.000 % |
1081.61/1082.04 c | 399426 | 303312 6994286 21668859 | 2147483647 399426 85 | 0.000 % |
1083.41/1083.81 c | 400081 | 303312 6994286 21668859 | 2147483647 400081 85 | 0.000 % |
1085.01/1085.46 c | 400802 | 303312 6994286 21668859 | 2147483647 400802 85 | 0.000 % |
1088.21/1088.62 c | 401597 | 303312 6994286 21668859 | 2147483647 401597 85 | 0.000 % |
1092.31/1092.77 c | 402468 | 303312 6994286 21668859 | 2147483647 402468 85 | 0.000 % |
1094.81/1095.29 c | 403426 | 303312 6994286 21668859 | 2147483647 403426 87 | 0.000 % |
1097.60/1098.08 c | 404480 | 303312 6994286 21668859 | 2147483647 404480 87 | 0.000 % |
1101.20/1101.62 c | 405638 | 303312 6994286 21668859 | 2147483647 405638 87 | 0.000 % |
1103.81/1104.23 c | 406915 | 303312 6994286 21668859 | 2147483647 406915 87 | 0.000 % |
1106.40/1106.82 c | 408315 | 303312 6994286 21668859 | 2147483647 408315 87 | 0.000 % |
1110.20/1110.63 c | 409856 | 303312 6994286 21668859 | 2147483647 409856 88 | 0.000 % |
1115.60/1116.07 c | 411551 | 303312 6994286 21668859 | 2147483647 411551 88 | 0.000 % |
1118.70/1119.15 c | 413414 | 303312 6994286 21668859 | 2147483647 413414 88 | 0.000 % |
1124.49/1124.96 c | 415464 | 303312 6994286 21668859 | 2147483647 415464 88 | 0.000 % |
1127.39/1127.81 c | 417718 | 303312 6994286 21668859 | 2147483647 417718 88 | 0.000 % |
1130.30/1130.76 c | 420197 | 303312 6994286 21668859 | 2147483647 420197 88 | 0.000 % |
1136.89/1137.39 c | 422924 | 303312 6994286 21668859 | 2147483647 422924 89 | 0.000 % |
1139.69/1140.11 c | 425921 | 303312 6994286 21668859 | 2147483647 425921 89 | 0.000 % |
1144.09/1144.58 c | 429218 | 303312 6994286 21668859 | 2147483647 429218 89 | 0.000 % |
1153.59/1154.04 c | 432843 | 303312 6994286 21668859 | 2147483647 432843 90 | 0.000 % |
1161.88/1162.39 c | 436832 | 303312 6994286 21668859 | 2147483647 436832 90 | 0.000 % |
1162.38/1162.87 c | 436932 | 303312 6994286 21668859 | 2147483647 436932 90 | 0.000 % |
1162.98/1163.45 c | 437042 | 303312 6994286 21668859 | 2147483647 437042 90 | 0.000 % |
1163.48/1163.99 c | 437163 | 303312 6994286 21668859 | 2147483647 437163 90 | 0.000 % |
1164.18/1164.62 c | 437296 | 303312 6994286 21668859 | 2147483647 437296 90 | 0.000 % |
1164.98/1165.48 c | 437442 | 303312 6994286 21668859 | 2147483647 437442 90 | 0.000 % |
1165.88/1166.36 c | 437603 | 303312 6994286 21668859 | 2147483647 437603 90 | 0.000 % |
1166.88/1167.36 c | 437780 | 303312 6994286 21668859 | 2147483647 437780 90 | 0.000 % |
1167.98/1168.45 c | 437973 | 303312 6994286 21668859 | 2147483647 437973 90 | 0.000 % |
1168.98/1169.48 c | 438185 | 303312 6994286 21668859 | 2147483647 438185 90 | 0.000 % |
1170.48/1170.97 c | 438418 | 303312 6994286 21668859 | 2147483647 438418 90 | 0.000 % |
1172.08/1172.59 c | 438675 | 303312 6994286 21668859 | 2147483647 438675 90 | 0.000 % |
1172.88/1173.37 c | 438957 | 303312 6994286 21668859 | 2147483647 438957 90 | 0.000 % |
1174.48/1174.92 c | 439266 | 303312 6994286 21668859 | 2147483647 439266 90 | 0.000 % |
1175.38/1175.84 c | 439606 | 303312 6994286 21668859 | 2147483647 439606 90 | 0.000 % |
1176.38/1176.83 c | 439978 | 303312 6994286 21668859 | 2147483647 439978 90 | 0.000 % |
1178.39/1178.84 c | 440390 | 303312 6994286 21668859 | 2147483647 440390 90 | 0.000 % |
1179.48/1179.97 c | 440839 | 303312 6994286 21668859 | 2147483647 440839 90 | 0.000 % |
1181.28/1181.78 c | 441333 | 303312 6994286 21668859 | 2147483647 441333 90 | 0.000 % |
1182.88/1183.32 c | 441875 | 303312 6994286 21668859 | 2147483647 441875 90 | 0.000 % |
1184.28/1184.78 c | 442472 | 303312 6994286 21668859 | 2147483647 442472 90 | 0.000 % |
1185.78/1186.20 c | 443127 | 303312 6994286 21668859 | 2147483647 443127 90 | 0.000 % |
1188.08/1188.55 c | 443847 | 303312 6994286 21668859 | 2147483647 443847 90 | 0.000 % |
1190.38/1190.83 c | 444640 | 303312 6994286 21668859 | 2147483647 444640 90 | 0.000 % |
1192.57/1193.07 c | 445511 | 303312 6994286 21668859 | 2147483647 445511 90 | 0.000 % |
1195.67/1196.17 c | 446469 | 303312 6994286 21668859 | 2147483647 446469 90 | 0.000 % |
1197.37/1197.84 c | 447523 | 303312 6994286 21668859 | 2147483647 447523 90 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832133-1242769406/watcher-1832133-1242769406 -o /tmp/evaluation-result-1832133-1242769406/solver-1832133-1242769406 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832133-1242769406.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.15 1.03 0.95 3/64 6817
/proc/meminfo: memFree=1722184/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[startup+0.071599 s]
/proc/loadavg: 1.15 1.03 0.95 3/64 6817
/proc/meminfo: memFree=1722184/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101604 s]
/proc/loadavg: 1.15 1.03 0.95 3/64 6817
/proc/meminfo: memFree=1722184/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301624 s]
/proc/loadavg: 1.15 1.03 0.95 3/64 6817
/proc/meminfo: memFree=1722184/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701667 s]
/proc/loadavg: 1.15 1.03 0.95 3/64 6817
/proc/meminfo: memFree=1722184/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50175 s]
/proc/loadavg: 1.15 1.03 0.95 2/66 6822
/proc/meminfo: memFree=1646576/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[pid=6821] ppid=6817 vsize=120028 CPUtime=1.48
/proc/6821/stat : 6821 (SatELite_releas) R 6817 6817 6563 0 -1 4194304 27847 0 0 0 127 21 0 0 25 0 1 0 304975104 122908672 27833 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/6821/statm: 30007 27834 49 173 0 29832 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 125384
[startup+3.10191 s]
/proc/loadavg: 1.15 1.03 0.95 2/66 6822
/proc/meminfo: memFree=1567408/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[pid=6821] ppid=6817 vsize=268784 CPUtime=3.09
/proc/6821/stat : 6821 (SatELite_releas) R 6817 6817 6563 0 -1 4194304 57025 0 0 0 264 45 0 0 25 0 1 0 304975104 275234816 57011 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/6821/statm: 67196 57011 49 173 0 67021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 274140
[startup+6.30124 s]
/proc/loadavg: 1.14 1.03 0.95 2/66 6822
/proc/meminfo: memFree=1292080/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[pid=6821] ppid=6817 vsize=561412 CPUtime=6.28
/proc/6821/stat : 6821 (SatELite_releas) R 6817 6817 6563 0 -1 4194304 131237 0 0 0 539 89 0 0 25 0 1 0 304975104 574885888 131223 1992294400 134512640 135223648 4294956128 18446744073709551615 134548161 0 0 4096 3 0 0 0 17 1 0 0
/proc/6821/statm: 140353 131223 74 173 0 140178 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 566768
[startup+12.7019 s]
/proc/loadavg: 1.13 1.03 0.95 2/66 6822
/proc/meminfo: memFree=1225328/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[pid=6821] ppid=6817 vsize=526680 CPUtime=12.68
/proc/6821/stat : 6821 (SatELite_releas) R 6817 6817 6563 0 -1 4194304 139680 0 0 0 1174 94 0 0 25 0 1 0 304975104 539320320 124752 1992294400 134512640 135223648 4294956128 18446744073709551615 134548161 0 0 4096 3 0 0 0 17 1 0 0
/proc/6821/statm: 131670 124752 76 173 0 131495 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 532036
[startup+25.5012 s]
/proc/loadavg: 1.10 1.03 0.95 2/66 6822
/proc/meminfo: memFree=1198264/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[pid=6821] ppid=6817 vsize=581368 CPUtime=25.48
/proc/6821/stat : 6821 (SatELite_releas) R 6817 6817 6563 0 -1 4194304 145483 0 0 0 2447 101 0 0 25 0 1 0 304975104 595320832 130555 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6821/statm: 145342 130555 76 173 0 145167 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 586724
[startup+51.1019 s]
/proc/loadavg: 1.06 1.03 0.95 2/66 6822
/proc/meminfo: memFree=1101816/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[pid=6821] ppid=6817 vsize=708220 CPUtime=51.08
/proc/6821/stat : 6821 (SatELite_releas) R 6817 6817 6563 0 -1 4194304 168526 0 0 0 4987 121 0 0 25 0 1 0 304975104 725217280 152553 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/6821/statm: 177055 152553 76 173 0 176880 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 713576
[startup+102.305 s]
/proc/loadavg: 1.03 1.02 0.95 2/66 6822
/proc/meminfo: memFree=1100920/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=0
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304975103 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6817/statm: 1339 237 197 169 0 50 0
[pid=6821] ppid=6817 vsize=709436 CPUtime=102.27
/proc/6821/stat : 6821 (SatELite_releas) R 6817 6817 6563 0 -1 4194304 168753 0 0 0 10106 121 0 0 25 0 1 0 304975104 726462464 152780 1992294400 134512640 135223648 4294956128 18446744073709551615 134548984 0 0 4096 3 0 0 0 17 1 0 0
/proc/6821/statm: 177359 152780 76 173 0 177184 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 714792
[startup+162.301 s]
/proc/loadavg: 1.06 1.03 0.96 2/66 6823
/proc/meminfo: memFree=1227256/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=325284 CPUtime=32.75
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 79633 0 0 0 3221 54 0 0 25 0 1 0 304988056 333090816 79585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 81321 79585 77 171 0 81148 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 330640
[startup+222.301 s]
/proc/loadavg: 1.02 1.02 0.96 2/66 6823
/proc/meminfo: memFree=1220984/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=331580 CPUtime=92.72
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 81212 0 0 0 9216 56 0 0 25 0 1 0 304988056 339537920 81164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 82895 81164 77 171 0 82722 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 336936
[startup+282.302 s]
/proc/loadavg: 1.00 1.02 0.96 2/66 6823
/proc/meminfo: memFree=1214648/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=338144 CPUtime=152.69
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 82820 0 0 0 15210 59 0 0 25 0 1 0 304988056 346259456 82772 1992294400 134512640 135215339 4294956240 18446744073709551615 134527406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 84536 82772 77 171 0 84363 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 343500
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 6823
/proc/meminfo: memFree=1207352/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=345300 CPUtime=212.67
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 84608 0 0 0 21206 61 0 0 25 0 1 0 304988056 353587200 84560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 86325 84560 77 171 0 86152 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 350656
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 6823
/proc/meminfo: memFree=1197944/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=354752 CPUtime=272.65
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 86952 0 0 0 27201 64 0 0 25 0 1 0 304988056 363266048 86904 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 88688 86904 77 171 0 88515 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 360108
[startup+462.301 s]
################
# More data... #
################
/proc/6823/statm: 95473 93699 77 171 0 95300 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 387248
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6823
/proc/meminfo: memFree=1160696/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=391724 CPUtime=512.57
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 96127 0 0 0 51181 76 0 0 25 0 1 0 304988056 401125376 96079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 97931 96079 77 171 0 97758 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 397080
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6823
/proc/meminfo: memFree=1150520/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=401812 CPUtime=572.55
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 98660 0 0 0 57176 79 0 0 25 0 1 0 304988056 411455488 98612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 100453 98612 77 171 0 100280 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 407168
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6823
/proc/meminfo: memFree=1137720/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=414188 CPUtime=632.53
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 101781 0 0 0 63169 84 0 0 25 0 1 0 304988056 424128512 101733 1992294400 134512640 135215339 4294956240 18446744073709551615 134528903 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 103547 101733 77 171 0 103374 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 419544
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6823
/proc/meminfo: memFree=1125112/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=426748 CPUtime=692.51
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 104925 0 0 0 69163 88 0 0 25 0 1 0 304988056 436989952 104877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 106687 104877 77 171 0 106514 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 432104
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6823
/proc/meminfo: memFree=1112696/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=439036 CPUtime=752.49
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 108009 0 0 0 75158 91 0 0 25 0 1 0 304988056 449572864 107961 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 109759 107961 77 171 0 109586 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 444392
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6823
/proc/meminfo: memFree=1102136/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=450156 CPUtime=812.48
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 110632 0 0 0 81153 95 0 0 25 0 1 0 304988056 460959744 110584 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 112539 110584 77 171 0 112366 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 455512
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6823
/proc/meminfo: memFree=1090168/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=461864 CPUtime=872.46
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 113561 0 0 0 87148 98 0 0 25 0 1 0 304988056 472948736 113513 1992294400 134512640 135215339 4294956240 18446744073709551615 134529171 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 115466 113513 77 171 0 115293 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 467220
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6829
/proc/meminfo: memFree=1078072/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=473536 CPUtime=932.44
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 116535 0 0 0 93141 103 0 0 25 0 1 0 304988056 484900864 116487 1992294400 134512640 135215339 4294956240 18446744073709551615 134538313 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 118384 116487 77 171 0 118211 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 478892
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6829
/proc/meminfo: memFree=1065272/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=486220 CPUtime=992.42
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 119698 0 0 0 99136 106 0 0 25 0 1 0 304988056 497889280 119650 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 121555 119650 77 171 0 121382 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 491576
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6829
/proc/meminfo: memFree=1050360/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=500964 CPUtime=1052.4
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 123423 0 0 0 105130 110 0 0 25 0 1 0 304988056 512987136 123375 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 125241 123375 77 171 0 125068 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 506320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6829
/proc/meminfo: memFree=1047480/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=503644 CPUtime=1070.59
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 124104 0 0 0 106949 110 0 0 25 0 1 0 304988056 515731456 124056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 125911 124056 77 171 0 125738 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 509000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6829
/proc/meminfo: memFree=1047480/2055920 swapFree=4180424/4192956
[pid=6817] ppid=6815 vsize=5356 CPUtime=129.48
/proc/6817/stat : 6817 (SatELiteGTI) S 6815 6817 6563 0 -1 4194304 336 184558 0 0 0 0 12748 200 16 0 1 0 304975103 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6817/statm: 1339 239 197 169 0 50 0
[pid=6823] ppid=6817 vsize=503644 CPUtime=1070.59
/proc/6823/stat : 6823 (minisat_static) R 6817 6817 6563 0 -1 4194304 124104 0 0 0 106949 110 0 0 25 0 1 0 304988056 515731456 124056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6823/statm: 125911 124056 77 171 0 125738 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 509000
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6817 and gives
# childrusage.ru_utime.tv_sec=127
# childrusage.ru_utime.tv_usec=488618
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=4695
# CPU time returned by wait4() is 129.493
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1196.97
CPU system time (s): 3.1
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 714984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.489
system time used= 2.00469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184894
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= 15
involuntary context switches= 297
runsolver used 1.39679 second user time and 3.06953 second system time
The end
Begin job on node24 at 2009-05-19 23:43:36
IDJOB=1832133
IDBENCH=20579
IDSOLVER=671
FILE ID=node24/1832133-1242769406
PBS_JOBID= 9322274
Free space on /tmp= 66168 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832133-1242769406/watcher-1832133-1242769406 -o /tmp/evaluation-result-1832133-1242769406/solver-1832133-1242769406 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832133-1242769406.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=730319482
node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1722600 kB
Buffers: 12400 kB
Cached: 275524 kB
SwapCached: 6720 kB
Active: 215072 kB
Inactive: 81704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722600 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 158080 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 22348 kB
Committed_AS: 1018772 kB
PageTables: 1444 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= 65996 MiB
End job on node24 at 2009-05-20 00:03:38