0.00/0.00 c Parsing...
5.11/5.14 c ==============================================================================
5.11/5.14 c | | ORIGINAL | LEARNT | |
5.11/5.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
5.11/5.14 c ==============================================================================
5.11/5.14 c | 0 | 6069107 17675753 | 1820732 0 0 nan | 0.000 % |
111.90/111.96 c | 0 | 5951176 18559697 | -- 0 -- -- | -- | -117689/887802
111.90/111.97 c ==============================================================================
111.90/111.97 c Result : #vars: 263670 #clauses: 5951176 #literals: 18559697
111.90/111.97 c CPU time: 110.93 s
111.90/111.97 c ==============================================================================
118.04/120.53 c This is MiniSat 2.0 beta
118.04/120.53 c WARNING: for repeatability, setting FPU to use double precision
118.04/120.53 c ============================[ Problem Statistics ]=============================
118.04/120.53 c | |
118.04/120.54 c | Number of variables: 263670 |
118.04/120.54 c | Number of clauses: 5951176 |
121.73/124.30 c | Parsing time: 3.35 s |
122.03/124.58 c ============================[ Search Statistics ]==============================
122.03/124.58 c | Conflicts | ORIGINAL | LEARNT | Progress |
122.03/124.58 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
122.03/124.58 c ===============================================================================
122.03/124.58 c | 0 | 263670 5951176 18559697 | 1983725 0 nan | 0.000 % |
122.73/125.25 c | 100 | 263670 5951176 18559697 | 1983725 100 27 | 0.000 % |
122.94/125.42 c | 201 | 263670 5951176 18559697 | 1983725 201 36 | 0.000 % |
123.13/125.64 c | 303 | 263670 5951176 18559697 | 1983725 303 55 | 0.000 % |
123.53/126.01 c | 422 | 263670 5951176 18559697 | 1983725 422 48 | 0.000 % |
124.33/126.88 c | 522 | 263670 5951176 18559697 | 1983725 522 45 | 0.000 % |
125.53/128.01 c | 632 | 263670 5951176 18559697 | 1983725 632 45 | 0.000 % |
126.03/128.54 c | 753 | 263670 5951176 18559697 | 1983725 753 41 | 0.000 % |
126.33/128.88 c | 853 | 263670 5951176 18559697 | 1983725 853 41 | 0.000 % |
126.53/129.08 c | 963 | 263670 5951176 18559697 | 1983725 963 39 | 0.000 % |
126.93/129.42 c | 1084 | 263670 5951176 18559697 | 1983725 1084 38 | 0.000 % |
127.53/130.02 c | 1218 | 263670 5951176 18559697 | 1983725 1218 39 | 0.000 % |
128.03/130.57 c | 1318 | 263670 5951176 18559697 | 1983725 1318 42 | 0.000 % |
128.23/130.78 c | 1429 | 263670 5951176 18559697 | 1983725 1429 44 | 0.000 % |
128.44/130.92 c | 1551 | 263670 5951176 18559697 | 1983725 1551 48 | 0.000 % |
129.03/131.57 c | 1686 | 263670 5951176 18559697 | 1983725 1686 46 | 0.000 % |
129.43/131.92 c | 1832 | 263670 5951176 18559697 | 1983725 1832 46 | 0.000 % |
129.63/132.14 c | 1938 | 263670 5951176 18559697 | 1983725 1938 48 | 0.000 % |
129.83/132.35 c | 2051 | 263670 5951176 18559697 | 1983725 2051 49 | 0.000 % |
130.64/133.17 c | 2174 | 263670 5951176 18559697 | 1983725 2174 48 | 0.000 % |
131.23/133.79 c | 2310 | 263670 5951176 18559697 | 1983725 2310 50 | 0.000 % |
131.53/134.06 c | 2456 | 263670 5951176 18559697 | 1983725 2456 50 | 0.000 % |
131.83/134.31 c | 2616 | 263670 5951176 18559697 | 1983725 2616 50 | 0.000 % |
132.03/134.52 c | 2718 | 263670 5951176 18559697 | 1983725 2718 51 | 0.000 % |
132.23/134.71 c | 2828 | 263670 5951176 18559697 | 1983725 2828 50 | 0.000 % |
132.43/134.93 c | 2955 | 263670 5951176 18559697 | 1983725 2955 50 | 0.000 % |
132.93/135.49 c | 3090 | 263670 5951176 18559697 | 1983725 3090 50 | 0.000 % |
133.63/136.18 c | 3237 | 263670 5951176 18559697 | 1983725 3237 50 | 0.000 % |
135.83/138.34 c | 3398 | 263670 5951176 18559697 | 1983725 3398 49 | 0.000 % |
136.03/138.57 c | 3574 | 263670 5951176 18559697 | 1983725 3574 50 | 0.000 % |
136.43/138.93 c | 3676 | 263670 5951176 18559697 | 1983725 3676 50 | 0.000 % |
136.63/139.18 c | 3786 | 263670 5951176 18559697 | 1983725 3786 49 | 0.000 % |
136.93/139.42 c | 3908 | 263670 5951176 18559697 | 1983725 3908 49 | 0.000 % |
137.13/139.63 c | 4041 | 263670 5951176 18559697 | 1983725 4041 48 | 0.000 % |
137.63/140.16 c | 4187 | 263670 5951176 18559697 | 1983725 4187 49 | 0.000 % |
137.83/140.35 c | 4347 | 263670 5951176 18559697 | 1983725 4347 48 | 0.000 % |
138.43/140.93 c | 4523 | 263670 5951176 18559697 | 1983725 4523 48 | 0.000 % |
138.83/141.34 c | 4718 | 263670 5951176 18559697 | 1983725 4718 47 | 0.000 % |
139.03/141.52 c | 4820 | 263670 5951176 18559697 | 1983725 4820 47 | 0.000 % |
139.83/142.35 c | 4930 | 263670 5951176 18559697 | 1983725 4930 47 | 0.000 % |
140.03/142.59 c | 5052 | 263670 5951176 18559697 | 1983725 5052 46 | 0.000 % |
140.33/142.90 c | 5186 | 263670 5951176 18559697 | 1983725 5186 46 | 0.000 % |
140.93/143.50 c | 5334 | 263670 5951176 18559697 | 1983725 5334 46 | 0.000 % |
141.33/143.82 c | 5497 | 263670 5951176 18559697 | 1983725 5497 47 | 0.000 % |
141.83/144.33 c | 5673 | 263670 5951176 18559697 | 1983725 5673 47 | 0.000 % |
142.43/144.93 c | 5866 | 263670 5951176 18559697 | 1983725 5866 48 | 0.000 % |
142.83/145.36 c | 6078 | 263670 5951176 18559697 | 1983725 6078 48 | 0.000 % |
143.33/145.83 c | 6178 | 263670 5951176 18559697 | 1983725 6178 48 | 0.000 % |
143.63/146.18 c | 6289 | 263670 5951176 18559697 | 1983725 6289 48 | 0.000 % |
143.93/146.42 c | 6410 | 263670 5951176 18559697 | 1983725 6410 48 | 0.000 % |
144.73/147.22 c | 6545 | 263670 5951176 18559697 | 1983725 6545 48 | 0.000 % |
145.33/147.83 c | 6692 | 263670 5951176 18559697 | 1983725 6692 48 | 0.000 % |
145.83/148.34 c | 6854 | 263670 5951176 18559697 | 1983725 6854 48 | 0.000 % |
146.53/149.07 c | 7031 | 263670 5951176 18559697 | 1983725 7031 48 | 0.000 % |
148.73/151.26 c | 7228 | 263670 5951176 18559697 | 1983725 7228 48 | 0.000 % |
150.13/152.68 c | 7440 | 263670 5951176 18559697 | 1983725 7440 48 | 0.000 % |
150.83/153.31 c | 7673 | 263670 5951176 18559697 | 1983725 7673 49 | 0.000 % |
151.33/153.85 c | 7773 | 263670 5951176 18559697 | 1983725 7773 49 | 0.000 % |
151.93/154.50 c | 7883 | 263670 5951176 18559697 | 1983725 7883 49 | 0.000 % |
152.53/155.10 c | 8004 | 263670 5951176 18559697 | 1983725 8004 48 | 0.000 % |
153.13/155.68 c | 8137 | 263670 5951176 18559697 | 1983725 8137 48 | 0.000 % |
153.64/156.13 c | 8284 | 263670 5951176 18559697 | 1983725 8284 49 | 0.000 % |
154.04/156.54 c | 8444 | 263670 5951176 18559697 | 1983725 8444 48 | 0.000 % |
155.34/157.82 c | 8620 | 263670 5951176 18559697 | 1983725 8620 48 | 0.000 % |
155.94/158.42 c | 8813 | 263670 5951176 18559697 | 1983725 8813 48 | 0.000 % |
156.34/158.89 c | 9025 | 263670 5951176 18559697 | 1983725 9025 49 | 0.000 % |
157.44/159.95 c | 9260 | 263670 5951176 18559697 | 1983725 9260 49 | 0.000 % |
157.94/160.45 c | 9516 | 263670 5951176 18559697 | 1983725 9516 50 | 0.000 % |
158.24/160.79 c | 9616 | 263670 5951176 18559697 | 1983725 9616 50 | 0.000 % |
158.64/161.16 c | 9726 | 263670 5951176 18559697 | 1983725 9726 50 | 0.000 % |
159.14/161.64 c | 9848 | 263670 5951176 18559697 | 1983725 9848 50 | 0.000 % |
159.64/162.21 c | 9981 | 263670 5951176 18559697 | 1983725 9981 50 | 0.000 % |
160.04/162.53 c | 10127 | 263670 5951176 18559697 | 2147483647 10127 50 | 0.000 % |
160.34/162.88 c | 10287 | 263670 5951176 18559697 | 2147483647 10287 51 | 0.000 % |
160.64/163.17 c | 10464 | 263670 5951176 18559697 | 2147483647 10464 51 | 0.000 % |
160.84/163.41 c | 10657 | 263670 5951176 18559697 | 2147483647 10657 52 | 0.000 % |
161.44/163.93 c | 10869 | 263670 5951176 18559697 | 2147483647 10869 52 | 0.000 % |
161.74/164.26 c | 11103 | 263670 5951176 18559697 | 2147483647 11103 52 | 0.000 % |
162.84/165.34 c | 11359 | 263670 5951176 18559697 | 2147483647 11359 53 | 0.000 % |
163.64/166.17 c | 11640 | 263670 5951176 18559697 | 2147483647 11640 53 | 0.000 % |
163.84/166.40 c | 11740 | 263670 5951176 18559697 | 2147483647 11740 53 | 0.000 % |
164.24/166.75 c | 11853 | 263670 5951176 18559697 | 2147483647 11853 53 | 0.000 % |
164.54/167.03 c | 11975 | 263670 5951176 18559697 | 2147483647 11975 53 | 0.000 % |
164.64/167.21 c | 12108 | 263670 5951176 18559697 | 2147483647 12108 53 | 0.000 % |
165.04/167.60 c | 12257 | 263670 5951176 18559697 | 2147483647 12257 54 | 0.000 % |
165.54/168.05 c | 12417 | 263670 5951176 18559697 | 2147483647 12417 54 | 0.000 % |
165.74/168.27 c | 12593 | 263670 5951176 18559697 | 2147483647 12593 54 | 0.000 % |
166.54/169.02 c | 12787 | 263670 5951176 18559697 | 2147483647 12787 54 | 0.000 % |
166.84/169.36 c | 13000 | 263670 5951176 18559697 | 2147483647 13000 54 | 0.000 % |
167.44/169.94 c | 13233 | 263670 5951176 18559697 | 2147483647 13233 54 | 0.000 % |
168.74/171.25 c | 13492 | 263670 5951176 18559697 | 2147483647 13492 54 | 0.000 % |
169.14/171.62 c | 13773 | 263670 5951176 18559697 | 2147483647 13773 54 | 0.000 % |
169.64/172.13 c | 14082 | 263670 5951176 18559697 | 2147483647 14082 54 | 0.000 % |
170.24/172.71 c | 14182 | 263670 5951176 18559697 | 2147483647 14182 54 | 0.000 % |
170.44/172.99 c | 14295 | 263670 5951176 18559697 | 2147483647 14295 55 | 0.000 % |
170.74/173.24 c | 14416 | 263670 5951176 18559697 | 2147483647 14416 55 | 0.000 % |
171.14/173.65 c | 14550 | 263670 5951176 18559697 | 2147483647 14550 55 | 0.000 % |
171.54/174.02 c | 14698 | 263670 5951176 18559697 | 2147483647 14698 55 | 0.000 % |
171.84/174.34 c | 14860 | 263670 5951176 18559697 | 2147483647 14860 55 | 0.000 % |
172.04/174.56 c | 15045 | 263670 5951176 18559697 | 2147483647 15045 55 | 0.000 % |
172.34/174.86 c | 15238 | 263670 5951176 18559697 | 2147483647 15238 55 | 0.000 % |
172.64/175.20 c | 15450 | 263670 5951176 18559697 | 2147483647 15450 54 | 0.000 % |
173.04/175.60 c | 15688 | 263670 5951176 18559697 | 2147483647 15688 54 | 0.000 % |
173.44/175.98 c | 15944 | 263670 5951176 18559697 | 2147483647 15944 54 | 0.000 % |
173.94/176.42 c | 16226 | 263670 5951176 18559697 | 2147483647 16226 54 | 0.000 % |
174.44/176.96 c | 16538 | 263670 5951176 18559697 | 2147483647 16538 54 | 0.000 % |
175.04/177.56 c | 16877 | 263670 5951176 18559697 | 2147483647 16877 53 | 0.000 % |
175.24/177.73 c | 16977 | 263670 5951176 18559697 | 2147483647 16977 53 | 0.000 % |
175.54/178.03 c | 17087 | 263670 5951176 18559697 | 2147483647 17087 53 | 0.000 % |
175.84/178.32 c | 17209 | 263670 5951176 18559697 | 2147483647 17209 53 | 0.000 % |
176.14/178.62 c | 17342 | 263670 5951176 18559697 | 2147483647 17342 53 | 0.000 % |
176.34/178.83 c | 17488 | 263670 5951176 18559697 | 2147483647 17488 53 | 0.000 % |
177.44/179.97 c | 17648 | 263670 5951176 18559697 | 2147483647 17648 53 | 0.000 % |
177.74/180.29 c | 17824 | 263670 5951176 18559697 | 2147483647 17824 53 | 0.000 % |
178.04/180.54 c | 18017 | 263670 5951176 18559697 | 2147483647 18017 53 | 0.000 % |
178.44/180.92 c | 18233 | 263670 5951176 18559697 | 2147483647 18233 52 | 0.000 % |
178.74/181.29 c | 18467 | 263670 5951176 18559697 | 2147483647 18467 52 | 0.000 % |
179.04/181.57 c | 18725 | 263670 5951176 18559697 | 2147483647 18725 52 | 0.000 % |
179.34/181.88 c | 19008 | 263670 5951176 18559697 | 2147483647 19008 52 | 0.000 % |
180.04/182.56 c | 19319 | 263670 5951176 18559697 | 2147483647 19319 52 | 0.000 % |
180.34/182.84 c | 19660 | 263670 5951176 18559697 | 2147483647 19660 52 | 0.000 % |
180.84/183.35 c | 20035 | 263670 5951176 18559697 | 2147483647 20035 51 | 0.000 % |
181.14/183.66 c | 20135 | 263670 5951176 18559697 | 2147483647 20135 51 | 0.000 % |
181.44/183.96 c | 20245 | 263670 5951176 18559697 | 2147483647 20245 51 | 0.000 % |
181.64/184.17 c | 20366 | 263670 5951176 18559697 | 2147483647 20366 51 | 0.000 % |
181.94/184.44 c | 20501 | 263670 5951176 18559697 | 2147483647 20501 51 | 0.000 % |
182.34/184.83 c | 20647 | 263670 5951176 18559697 | 2147483647 20647 51 | 0.000 % |
182.54/185.06 c | 20808 | 263670 5951176 18559697 | 2147483647 20808 51 | 0.000 % |
182.94/185.44 c | 20985 | 263670 5951176 18559697 | 2147483647 20985 51 | 0.000 % |
183.24/185.80 c | 21178 | 263670 5951176 18559697 | 2147483647 21178 51 | 0.000 % |
183.54/186.05 c | 21390 | 263670 5951176 18559697 | 2147483647 21390 51 | 0.000 % |
183.94/186.49 c | 21624 | 263670 5951176 18559697 | 2147483647 21624 51 | 0.000 % |
184.34/186.88 c | 21881 | 263670 5951176 18559697 | 2147483647 21881 51 | 0.000 % |
184.64/187.16 c | 22162 | 263670 5951176 18559697 | 2147483647 22162 51 | 0.000 % |
185.14/187.62 c | 22471 | 263670 5951176 18559697 | 2147483647 22471 51 | 0.000 % |
185.74/188.30 c | 22810 | 263670 5951176 18559697 | 2147483647 22810 51 | 0.000 % |
186.24/188.77 c | 23183 | 263670 5951176 18559697 | 2147483647 23183 51 | 0.000 % |
186.94/189.45 c | 23594 | 263670 5951176 18559697 | 2147483647 23594 51 | 0.000 % |
187.34/189.83 c | 23694 | 263670 5951176 18559697 | 2147483647 23694 50 | 0.000 % |
187.54/190.07 c | 23807 | 263670 5951176 18559697 | 2147483647 23807 51 | 0.000 % |
187.84/190.33 c | 23928 | 263670 5951176 18559697 | 2147483647 23928 50 | 0.000 % |
188.04/190.56 c | 24062 | 263670 5951176 18559697 | 2147483647 24062 50 | 0.000 % |
188.64/191.20 c | 24208 | 263670 5951176 18559697 | 2147483647 24208 50 | 0.000 % |
188.94/191.43 c | 24372 | 263670 5951176 18559697 | 2147483647 24372 50 | 0.000 % |
189.54/192.04 c | 24548 | 263670 5951176 18559697 | 2147483647 24548 50 | 0.000 % |
190.94/193.43 c | 24742 | 263670 5951176 18559697 | 2147483647 24742 50 | 0.000 % |
191.44/193.94 c | 24954 | 263670 5951176 18559697 | 2147483647 24954 50 | 0.000 % |
192.74/195.30 c | 25189 | 263670 5951176 18559697 | 2147483647 25189 50 | 0.000 % |
193.14/195.68 c | 25447 | 263670 5951176 18559697 | 2147483647 25447 50 | 0.000 % |
193.54/196.02 c | 25729 | 263670 5951176 18559697 | 2147483647 25729 50 | 0.000 % |
193.84/196.37 c | 26038 | 263670 5951176 18559697 | 2147483647 26038 50 | 0.000 % |
196.14/198.67 c | 26377 | 263670 5951176 18559697 | 2147483647 26377 50 | 0.000 % |
196.54/199.03 c | 26750 | 263670 5951176 18559697 | 2147483647 26750 50 | 0.000 % |
196.94/199.46 c | 27159 | 263670 5951176 18559697 | 2147483647 27159 50 | 0.000 % |
197.84/200.32 c | 27609 | 263670 5951176 18559697 | 2147483647 27609 51 | 0.000 % |
198.24/200.73 c | 27710 | 263670 5951176 18559697 | 2147483647 27710 51 | 0.000 % |
198.44/200.93 c | 27821 | 263670 5951176 18559697 | 2147483647 27821 51 | 0.000 % |
198.74/201.27 c | 27943 | 263670 5951176 18559697 | 2147483647 27943 51 | 0.000 % |
199.14/201.65 c | 28076 | 263670 5951176 18559697 | 2147483647 28076 51 | 0.000 % |
199.64/202.15 c | 28223 | 263670 5951176 18559697 | 2147483647 28223 51 | 0.000 % |
200.14/202.66 c | 28383 | 263670 5951176 18559697 | 2147483647 28383 51 | 0.000 % |
200.44/203.01 c | 28559 | 263670 5951176 18559697 | 2147483647 28559 51 | 0.000 % |
201.04/203.57 c | 28754 | 263670 5951176 18559697 | 2147483647 28754 51 | 0.000 % |
201.34/203.83 c | 28967 | 263670 5951176 18559697 | 2147483647 28967 51 | 0.000 % |
201.74/204.27 c | 29200 | 263670 5951176 18559697 | 2147483647 29200 51 | 0.000 % |
202.34/204.81 c | 29456 | 263670 5951176 18559697 | 2147483647 29456 51 | 0.000 % |
202.74/205.23 c | 29737 | 263670 5951176 18559697 | 2147483647 29737 51 | 0.000 % |
203.14/205.63 c | 30047 | 263670 5951176 18559697 | 2147483647 30047 50 | 0.000 % |
203.64/206.17 c | 30386 | 263670 5951176 18559697 | 2147483647 30386 50 | 0.000 % |
204.04/206.60 c | 30760 | 263670 5951176 18559697 | 2147483647 30760 50 | 0.000 % |
204.64/207.16 c | 31169 | 263670 5951176 18559697 | 2147483647 31169 50 | 0.000 % |
205.24/207.80 c | 31619 | 263670 5951176 18559697 | 2147483647 31619 50 | 0.000 % |
205.74/208.29 c | 32112 | 263670 5951176 18559697 | 2147483647 32112 50 | 0.000 % |
205.94/208.49 c | 32212 | 263670 5951176 18559697 | 2147483647 32212 49 | 0.000 % |
206.14/208.67 c | 32322 | 263670 5951176 18559697 | 2147483647 32322 49 | 0.000 % |
206.34/208.88 c | 32443 | 263670 5951176 18559697 | 2147483647 32443 49 | 0.000 % |
206.84/209.35 c | 32578 | 263670 5951176 18559697 | 2147483647 32578 49 | 0.000 % |
207.04/209.60 c | 32724 | 263670 5951176 18559697 | 2147483647 32724 49 | 0.000 % |
207.54/210.08 c | 32887 | 263670 5951176 18559697 | 2147483647 32887 49 | 0.000 % |
208.04/210.56 c | 33064 | 263670 5951176 18559697 | 2147483647 33064 49 | 0.000 % |
208.54/211.05 c | 33257 | 263670 5951176 18559697 | 2147483647 33257 49 | 0.000 % |
208.74/211.28 c | 33470 | 263670 5951176 18559697 | 2147483647 33470 49 | 0.000 % |
209.24/211.75 c | 33703 | 263670 5951176 18559697 | 2147483647 33703 49 | 0.000 % |
209.74/212.22 c | 33960 | 263670 5951176 18559697 | 2147483647 33960 49 | 0.000 % |
210.44/212.99 c | 34244 | 263670 5951176 18559697 | 2147483647 34244 50 | 0.000 % |
210.94/213.46 c | 34554 | 263670 5951176 18559697 | 2147483647 34554 50 | 0.000 % |
211.44/213.99 c | 34897 | 263670 5951176 18559697 | 2147483647 34897 50 | 0.000 % |
211.94/214.45 c | 35269 | 263670 5951176 18559697 | 2147483647 35269 50 | 0.000 % |
212.54/215.02 c | 35679 | 263670 5951176 18559697 | 2147483647 35679 50 | 0.000 % |
212.94/215.42 c | 36129 | 263670 5951176 18559697 | 2147483647 36129 50 | 0.000 % |
213.74/216.23 c | 36623 | 263670 5951176 18559697 | 2147483647 36623 50 | 0.000 % |
214.34/216.88 c | 37166 | 263670 5951176 18559697 | 2147483647 37166 50 | 0.000 % |
215.14/217.63 c | 37266 | 263670 5951176 18559697 | 2147483647 37266 50 | 0.000 % |
215.34/217.81 c | 37376 | 263670 5951176 18559697 | 2147483647 37376 50 | 0.000 % |
215.64/218.16 c | 37501 | 263670 5951176 18559697 | 2147483647 37501 50 | 0.000 % |
216.44/218.97 c | 37635 | 263670 5951176 18559697 | 2147483647 37635 50 | 0.000 % |
216.84/219.41 c | 37782 | 263670 5951176 18559697 | 2147483647 37782 50 | 0.000 % |
217.34/219.87 c | 37942 | 263670 5951176 18559697 | 2147483647 37942 50 | 0.000 % |
217.64/220.15 c | 38118 | 263670 5951176 18559697 | 2147483647 38118 50 | 0.000 % |
218.04/220.60 c | 38311 | 263670 5951176 18559697 | 2147483647 38311 50 | 0.000 % |
219.04/221.56 c | 38523 | 263670 5951176 18559697 | 2147483647 38523 50 | 0.000 % |
219.54/222.11 c | 38759 | 263670 5951176 18559697 | 2147483647 38759 50 | 0.000 % |
219.84/222.38 c | 39016 | 263670 5951176 18559697 | 2147483647 39016 50 | 0.000 % |
221.24/223.81 c | 39299 | 263670 5951176 18559697 | 2147483647 39299 50 | 0.000 % |
221.64/224.20 c | 39608 | 263670 5951176 18559697 | 2147483647 39608 50 | 0.000 % |
223.34/225.89 c | 39948 | 263670 5951176 18559697 | 2147483647 39948 50 | 0.000 % |
224.34/226.83 c | 40328 | 263670 5951176 18559697 | 2147483647 40328 50 | 0.000 % |
225.14/227.71 c | 40737 | 263670 5951176 18559697 | 2147483647 40737 50 | 0.000 % |
226.34/228.90 c | 41187 | 263670 5951176 18559697 | 2147483647 41187 50 | 0.000 % |
226.64/229.15 c | 41681 | 263670 5951176 18559697 | 2147483647 41681 50 | 0.000 % |
228.04/230.60 c | 42223 | 263670 5951176 18559697 | 2147483647 42223 50 | 0.000 % |
229.94/232.46 c | 42820 | 263670 5951176 18559697 | 2147483647 42820 50 | 0.000 % |
230.14/232.68 c | 42921 | 263670 5951176 18559697 | 2147483647 42921 50 | 0.000 % |
230.54/233.07 c | 43031 | 263670 5951176 18559697 | 2147483647 43031 50 | 0.000 % |
231.44/233.96 c | 43153 | 263670 5951176 18559697 | 2147483647 43153 50 | 0.000 % |
231.64/234.19 c | 43287 | 263670 5951176 18559697 | 2147483647 43287 50 | 0.000 % |
232.14/234.62 c | 43435 | 263670 5951176 18559697 | 2147483647 43435 50 | 0.000 % |
232.44/234.95 c | 43596 | 263670 5951176 18559697 | 2147483647 43596 50 | 0.000 % |
233.14/235.62 c | 43772 | 263670 5951176 18559697 | 2147483647 43772 50 | 0.000 % |
233.44/235.96 c | 43966 | 263670 5951176 18559697 | 2147483647 43966 50 | 0.000 % |
233.64/236.18 c | 44179 | 263670 5951176 18559697 | 2147483647 44179 51 | 0.000 % |
233.94/236.50 c | 44413 | 263670 5951176 18559697 | 2147483647 44413 51 | 0.000 % |
234.94/237.50 c | 44669 | 263670 5951176 18559697 | 2147483647 44669 51 | 0.000 % |
235.44/237.99 c | 44951 | 263670 5951176 18559697 | 2147483647 44951 51 | 0.000 % |
235.94/238.48 c | 45264 | 263670 5951176 18559697 | 2147483647 45264 51 | 0.000 % |
236.44/238.97 c | 45603 | 263670 5951176 18559697 | 2147483647 45603 51 | 0.000 % |
236.94/239.47 c | 45980 | 263670 5951176 18559697 | 2147483647 45980 51 | 0.000 % |
238.24/240.79 c | 46393 | 263670 5951176 18559697 | 2147483647 46393 51 | 0.000 % |
239.55/242.08 c | 46845 | 263670 5951176 18559697 | 2147483647 46845 51 | 0.000 % |
240.04/242.60 c | 47339 | 263670 5951176 18559697 | 2147483647 47339 51 | 0.000 % |
241.34/243.90 c | 47882 | 263670 5951176 18559697 | 2147483647 47882 51 | 0.000 % |
241.84/244.39 c | 48482 | 263670 5951176 18559697 | 2147483647 48482 51 | 0.000 % |
243.34/245.83 c | 49137 | 263670 5951176 18559697 | 2147483647 49137 52 | 0.000 % |
243.54/246.05 c | 49238 | 263670 5951176 18559697 | 2147483647 49238 52 | 0.000 % |
243.95/246.44 c | 49349 | 263670 5951176 18559697 | 2147483647 49349 52 | 0.000 % |
244.14/246.71 c | 49470 | 263670 5951176 18559697 | 2147483647 49470 52 | 0.000 % |
244.44/246.92 c | 49604 | 263670 5951176 18559697 | 2147483647 49604 52 | 0.000 % |
245.05/247.53 c | 49750 | 263670 5951176 18559697 | 2147483647 49750 52 | 0.000 % |
245.64/248.13 c | 49910 | 263670 5951176 18559697 | 2147483647 49910 52 | 0.000 % |
245.94/248.50 c | 50086 | 263670 5951176 18559697 | 2147483647 50086 52 | 0.000 % |
246.54/249.06 c | 50280 | 263670 5951176 18559697 | 2147483647 50280 52 | 0.000 % |
247.14/249.71 c | 50492 | 263670 5951176 18559697 | 2147483647 50492 52 | 0.000 % |
247.54/250.03 c | 50725 | 263670 5951176 18559697 | 2147483647 50725 52 | 0.000 % |
247.84/250.40 c | 50981 | 263670 5951176 18559697 | 2147483647 50981 52 | 0.000 % |
248.54/251.02 c | 51264 | 263670 5951176 18559697 | 2147483647 51264 52 | 0.000 % |
248.94/251.49 c | 51573 | 263670 5951176 18559697 | 2147483647 51573 52 | 0.000 % |
249.84/252.35 c | 51912 | 263670 5951176 18559697 | 2147483647 51912 52 | 0.000 % |
250.34/252.86 c | 52284 | 263670 5951176 18559697 | 2147483647 52284 52 | 0.000 % |
251.14/253.64 c | 52695 | 263670 5951176 18559697 | 2147483647 52695 52 | 0.000 % |
251.65/254.14 c | 53146 | 263670 5951176 18559697 | 2147483647 53146 52 | 0.000 % |
252.34/254.88 c | 53639 | 263670 5951176 18559697 | 2147483647 53639 53 | 0.000 % |
252.75/255.25 c | 54181 | 263670 5951176 18559697 | 2147483647 54181 53 | 0.000 % |
253.74/256.25 c | 54779 | 263670 5951176 18559697 | 2147483647 54779 53 | 0.000 % |
254.54/257.01 c | 55434 | 263670 5951176 18559697 | 2147483647 55434 53 | 0.000 % |
256.74/259.23 c | 56155 | 263670 5951176 18559697 | 2147483647 56155 54 | 0.000 % |
256.94/259.45 c | 56255 | 263670 5951176 18559697 | 2147483647 56255 54 | 0.000 % |
257.24/259.72 c | 56365 | 263670 5951176 18559697 | 2147483647 56365 54 | 0.000 % |
257.74/260.21 c | 56486 | 263670 5951176 18559697 | 2147483647 56486 54 | 0.000 % |
258.74/261.28 c | 56619 | 263670 5951176 18559697 | 2147483647 56619 54 | 0.000 % |
259.04/261.58 c | 56765 | 263670 5951176 18559697 | 2147483647 56765 54 | 0.000 % |
260.04/262.52 c | 56925 | 263670 5951176 18559697 | 2147483647 56925 54 | 0.000 % |
260.14/262.71 c | 57102 | 263670 5951176 18559697 | 2147483647 57102 54 | 0.000 % |
260.64/263.17 c | 57300 | 263670 5951176 18559697 | 2147483647 57300 54 | 0.000 % |
261.55/264.08 c | 57512 | 263670 5951176 18559697 | 2147483647 57512 54 | 0.000 % |
262.44/265.00 c | 57746 | 263670 5951176 18559697 | 2147483647 57746 54 | 0.000 % |
262.84/265.40 c | 58003 | 263670 5951176 18559697 | 2147483647 58003 54 | 0.000 % |
263.34/265.86 c | 58286 | 263670 5951176 18559697 | 2147483647 58286 54 | 0.000 % |
263.84/266.38 c | 58597 | 263670 5951176 18559697 | 2147483647 58597 54 | 0.000 % |
264.24/266.80 c | 58938 | 263670 5951176 18559697 | 2147483647 58938 54 | 0.000 % |
264.64/267.20 c | 59310 | 263670 5951176 18559697 | 2147483647 59310 54 | 0.000 % |
265.14/267.67 c | 59720 | 263670 5951176 18559697 | 2147483647 59720 54 | 0.000 % |
265.54/268.09 c | 60170 | 263670 5951176 18559697 | 2147483647 60170 54 | 0.000 % |
266.24/268.71 c | 60664 | 263670 5951176 18559697 | 2147483647 60664 54 | 0.000 % |
266.84/269.33 c | 61206 | 263670 5951176 18559697 | 2147483647 61206 54 | 0.000 % |
267.34/269.91 c | 61804 | 263670 5951176 18559697 | 2147483647 61804 53 | 0.000 % |
268.05/270.61 c | 62459 | 263670 5951176 18559697 | 2147483647 62459 53 | 0.000 % |
268.75/271.25 c | 63179 | 263670 5951176 18559697 | 2147483647 63179 53 | 0.000 % |
269.45/271.98 c | 63972 | 263670 5951176 18559697 | 2147483647 63972 52 | 0.000 % |
269.65/272.15 c | 64073 | 263670 5951176 18559697 | 2147483647 64073 52 | 0.000 % |
269.85/272.36 c | 64184 | 263670 5951176 18559697 | 2147483647 64184 52 | 0.000 % |
270.05/272.59 c | 64305 | 263670 5951176 18559697 | 2147483647 64305 52 | 0.000 % |
270.25/272.75 c | 64439 | 263670 5951176 18559697 | 2147483647 64439 52 | 0.000 % |
270.45/272.95 c | 64585 | 263670 5951176 18559697 | 2147483647 64585 52 | 0.000 % |
270.65/273.15 c | 64745 | 263670 5951176 18559697 | 2147483647 64745 52 | 0.000 % |
271.05/273.55 c | 64923 | 263670 5951176 18559697 | 2147483647 64923 52 | 0.000 % |
271.25/273.81 c | 65118 | 263670 5951176 18559697 | 2147483647 65118 52 | 0.000 % |
271.55/274.09 c | 65330 | 263670 5951176 18559697 | 2147483647 65330 52 | 0.000 % |
271.95/274.44 c | 65563 | 263670 5951176 18559697 | 2147483647 65563 52 | 0.000 % |
272.25/274.73 c | 65819 | 263670 5951176 18559697 | 2147483647 65819 52 | 0.000 % |
272.45/274.94 c | 66102 | 263670 5951176 18559697 | 2147483647 66102 52 | 0.000 % |
272.85/275.33 c | 66411 | 263670 5951176 18559697 | 2147483647 66411 52 | 0.000 % |
273.15/275.66 c | 66750 | 263670 5951176 18559697 | 2147483647 66750 52 | 0.000 % |
273.55/276.04 c | 67124 | 263670 5951176 18559697 | 2147483647 67124 51 | 0.000 % |
273.95/276.46 c | 67533 | 263670 5951176 18559697 | 2147483647 67533 51 | 0.000 % |
274.35/276.83 c | 67982 | 263670 5951176 18559697 | 2147483647 67982 51 | 0.000 % |
274.85/277.36 c | 68476 | 263670 5951176 18559697 | 2147483647 68476 51 | 0.000 % |
275.35/277.85 c | 69018 | 263670 5951176 18559697 | 2147483647 69018 51 | 0.000 % |
275.85/278.39 c | 69615 | 263670 5951176 18559697 | 2147483647 69615 51 | 0.000 % |
276.55/279.11 c | 70270 | 263670 5951176 18559697 | 2147483647 70270 51 | 0.000 % |
277.45/279.98 c | 70990 | 263670 5951176 18559697 | 2147483647 70990 50 | 0.000 % |
278.15/280.71 c | 71782 | 263670 5951176 18559697 | 2147483647 71782 50 | 0.000 % |
279.25/281.78 c | 72654 | 263670 5951176 18559697 | 2147483647 72654 49 | 0.000 % |
279.55/282.02 c | 72754 | 263670 5951176 18559697 | 2147483647 72754 49 | 0.000 % |
279.75/282.22 c | 72864 | 263670 5951176 18559697 | 2147483647 72864 49 | 0.000 % |
279.95/282.47 c | 72985 | 263670 5951176 18559697 | 2147483647 72985 49 | 0.000 % |
280.15/282.69 c | 73118 | 263670 5951176 18559697 | 2147483647 73118 49 | 0.000 % |
280.45/282.95 c | 73265 | 263670 5951176 18559697 | 2147483647 73265 49 | 0.000 % |
280.85/283.36 c | 73427 | 263670 5951176 18559697 | 2147483647 73427 49 | 0.000 % |
281.75/284.22 c | 73603 | 263670 5951176 18559697 | 2147483647 73603 49 | 0.000 % |
282.35/284.86 c | 73797 | 263670 5951176 18559697 | 2147483647 73797 49 | 0.000 % |
282.75/285.23 c | 74010 | 263670 5951176 18559697 | 2147483647 74010 49 | 0.000 % |
283.65/286.13 c | 74246 | 263670 5951176 18559697 | 2147483647 74246 50 | 0.000 % |
284.15/286.71 c | 74502 | 263670 5951176 18559697 | 2147483647 74502 50 | 0.000 % |
285.45/287.97 c | 74783 | 263670 5951176 18559697 | 2147483647 74783 50 | 0.000 % |
286.55/289.08 c | 75092 | 263670 5951176 18559697 | 2147483647 75092 50 | 0.000 % |
288.95/291.42 c | 75431 | 263670 5951176 18559697 | 2147483647 75431 50 | 0.000 % |
289.85/292.38 c | 75804 | 263670 5951176 18559697 | 2147483647 75804 50 | 0.000 % |
291.15/293.71 c | 76213 | 263670 5951176 18559697 | 2147483647 76213 50 | 0.000 % |
291.95/294.51 c | 76662 | 263670 5951176 18559697 | 2147483647 76662 50 | 0.000 % |
293.85/296.34 c | 77157 | 263670 5951176 18559697 | 2147483647 77157 50 | 0.000 % |
295.15/297.71 c | 77699 | 263670 5951176 18559697 | 2147483647 77699 50 | 0.000 % |
297.35/299.82 c | 78295 | 263670 5951176 18559697 | 2147483647 78295 50 | 0.000 % |
299.45/301.93 c | 78951 | 263670 5951176 18559697 | 2147483647 78951 51 | 0.000 % |
301.35/303.87 c | 79672 | 263670 5951176 18559697 | 2147483647 79672 51 | 0.000 % |
303.65/306.12 c | 80464 | 263670 5951176 18559697 | 2147483647 80464 51 | 0.000 % |
304.55/307.08 c | 81339 | 263670 5951176 18559697 | 2147483647 81339 52 | 0.000 % |
306.55/309.10 c | 82298 | 263670 5951176 18559697 | 2147483647 82298 53 | 0.000 % |
306.95/309.45 c | 82399 | 263670 5951176 18559697 | 2147483647 82399 53 | 0.000 % |
307.55/310.11 c | 82509 | 263670 5951176 18559697 | 2147483647 82509 53 | 0.000 % |
308.55/311.06 c | 82630 | 263670 5951176 18559697 | 2147483647 82630 53 | 0.000 % |
308.95/311.51 c | 82763 | 263670 5951176 18559697 | 2147483647 82763 53 | 0.000 % |
309.55/312.02 c | 82909 | 263670 5951176 18559697 | 2147483647 82909 53 | 0.000 % |
310.55/313.08 c | 83069 | 263670 5951176 18559697 | 2147483647 83069 53 | 0.000 % |
311.65/314.16 c | 83247 | 263670 5951176 18559697 | 2147483647 83247 53 | 0.000 % |
312.25/314.78 c | 83442 | 263670 5951176 18559697 | 2147483647 83442 53 | 0.000 % |
312.75/315.25 c | 83654 | 263670 5951176 18559697 | 2147483647 83654 53 | 0.000 % |
313.75/316.30 c | 83888 | 263670 5951176 18559697 | 2147483647 83888 53 | 0.000 % |
314.55/317.04 c | 84148 | 263670 5951176 18559697 | 2147483647 84148 53 | 0.000 % |
315.45/317.98 c | 84429 | 263670 5951176 18559697 | 2147483647 84429 53 | 0.000 % |
316.95/319.48 c | 84738 | 263670 5951176 18559697 | 2147483647 84738 53 | 0.000 % |
317.65/320.18 c | 85079 | 263670 5951176 18559697 | 2147483647 85079 54 | 0.000 % |
319.15/321.65 c | 85451 | 263670 5951176 18559697 | 2147483647 85451 54 | 0.000 % |
319.75/322.22 c | 85866 | 263670 5951176 18559697 | 2147483647 85866 54 | 0.000 % |
320.25/322.77 c | 86316 | 263670 5951176 18559697 | 2147483647 86316 54 | 0.000 % |
320.75/323.27 c | 86809 | 263670 5951176 18559697 | 2147483647 86809 54 | 0.000 % |
321.75/324.28 c | 87353 | 263670 5951176 18559697 | 2147483647 87353 54 | 0.000 % |
322.65/325.17 c | 87949 | 263670 5951176 18559697 | 2147483647 87949 54 | 0.000 % |
323.75/326.23 c | 88604 | 263670 5951176 18559697 | 2147483647 88604 54 | 0.000 % |
324.75/327.31 c | 89324 | 263670 5951176 18559697 | 2147483647 89324 54 | 0.000 % |
325.95/328.42 c | 90116 | 263670 5951176 18559697 | 2147483647 90116 54 | 0.000 % |
327.15/329.67 c | 90987 | 263670 5951176 18559697 | 2147483647 90987 55 | 0.000 % |
328.15/330.65 c | 91945 | 263670 5951176 18559697 | 2147483647 91945 55 | 0.000 % |
330.25/332.78 c | 92999 | 263670 5951176 18559697 | 2147483647 92999 55 | 0.000 % |
330.55/333.04 c | 93099 | 263670 5951176 18559697 | 2147483647 93099 55 | 0.000 % |
330.95/333.44 c | 93209 | 263670 5951176 18559697 | 2147483647 93209 55 | 0.000 % |
331.35/333.82 c | 93331 | 263670 5951176 18559697 | 2147483647 93331 55 | 0.000 % |
331.55/334.08 c | 93464 | 263670 5951176 18559697 | 2147483647 93464 55 | 0.000 % |
332.05/334.54 c | 93610 | 263670 5951176 18559697 | 2147483647 93610 55 | 0.000 % |
332.35/334.91 c | 93771 | 263670 5951176 18559697 | 2147483647 93771 55 | 0.000 % |
332.75/335.27 c | 93947 | 263670 5951176 18559697 | 2147483647 93947 55 | 0.000 % |
333.25/335.72 c | 94140 | 263670 5951176 18559697 | 2147483647 94140 55 | 0.000 % |
333.55/336.04 c | 94352 | 263670 5951176 18559697 | 2147483647 94352 55 | 0.000 % |
334.15/336.65 c | 94585 | 263670 5951176 18559697 | 2147483647 94585 55 | 0.000 % |
334.75/337.23 c | 94841 | 263670 5951176 18559697 | 2147483647 94841 55 | 0.000 % |
335.35/337.87 c | 95122 | 263670 5951176 18559697 | 2147483647 95122 55 | 0.000 % |
335.85/338.35 c | 95431 | 263670 5951176 18559697 | 2147483647 95431 55 | 0.000 % |
336.55/339.07 c | 95773 | 263670 5951176 18559697 | 2147483647 95773 55 | 0.000 % |
337.35/339.86 c | 96145 | 263670 5951176 18559697 | 2147483647 96145 55 | 0.000 % |
338.15/340.63 c | 96554 | 263670 5951176 18559697 | 2147483647 96554 55 | 0.000 % |
339.75/342.31 c | 97003 | 263670 5951176 18559697 | 2147483647 97003 55 | 0.000 % |
340.76/343.25 c | 97497 | 263670 5951176 18559697 | 2147483647 97497 55 | 0.000 % |
341.65/344.14 c | 98039 | 263670 5951176 18559697 | 2147483647 98039 55 | 0.000 % |
342.85/345.41 c | 98636 | 263670 5951176 18559697 | 2147483647 98636 55 | 0.000 % |
343.65/346.14 c | 99292 | 263670 5951176 18559697 | 2147483647 99292 55 | 0.000 % |
345.85/348.33 c | 100012 | 263670 5951176 18559697 | 2147483647 100012 55 | 0.000 % |
347.65/350.12 c | 100804 | 263670 5951176 18559697 | 2147483647 100804 56 | 0.000 % |
348.65/351.15 c | 101676 | 263670 5951176 18559697 | 2147483647 101676 56 | 0.000 % |
350.45/352.94 c | 102635 | 263670 5951176 18559697 | 2147483647 102635 56 | 0.000 % |
352.05/354.60 c | 103690 | 263670 5951176 18559697 | 2147483647 103690 56 | 0.000 % |
354.35/356.82 c | 104849 | 263670 5951176 18559697 | 2147483647 104849 56 | 0.000 % |
354.65/357.13 c | 104950 | 263670 5951176 18559697 | 2147483647 104950 56 | 0.000 % |
354.95/357.43 c | 105065 | 263670 5951176 18559697 | 2147483647 105065 56 | 0.000 % |
355.35/357.86 c | 105187 | 263670 5951176 18559697 | 2147483647 105187 56 | 0.000 % |
355.75/358.31 c | 105322 | 263670 5951176 18559697 | 2147483647 105322 56 | 0.000 % |
356.05/358.57 c | 105468 | 263670 5951176 18559697 | 2147483647 105468 56 | 0.000 % |
356.35/358.85 c | 105628 | 263670 5951176 18559697 | 2147483647 105628 56 | 0.000 % |
356.75/359.28 c | 105804 | 263670 5951176 18559697 | 2147483647 105804 56 | 0.000 % |
357.15/359.64 c | 105997 | 263670 5951176 18559697 | 2147483647 105997 56 | 0.000 % |
357.95/360.46 c | 106209 | 263670 5951176 18559697 | 2147483647 106209 56 | 0.000 % |
358.25/360.79 c | 106443 | 263670 5951176 18559697 | 2147483647 106443 56 | 0.000 % |
358.75/361.28 c | 106699 | 263670 5951176 18559697 | 2147483647 106699 56 | 0.000 % |
359.25/361.76 c | 106980 | 263670 5951176 18559697 | 2147483647 106980 56 | 0.000 % |
359.95/362.42 c | 107289 | 263670 5951176 18559697 | 2147483647 107289 56 | 0.000 % |
360.95/363.43 c | 107629 | 263670 5951176 18559697 | 2147483647 107629 57 | 0.000 % |
361.55/364.07 c | 108002 | 263670 5951176 18559697 | 2147483647 108002 57 | 0.000 % |
362.65/365.22 c | 108411 | 263670 5951176 18559697 | 2147483647 108411 57 | 0.000 % |
363.35/365.89 c | 108860 | 263670 5951176 18559697 | 2147483647 108860 57 | 0.000 % |
364.55/367.02 c | 109354 | 263670 5951176 18559697 | 2147483647 109354 57 | 0.000 % |
365.25/367.72 c | 109898 | 263670 5951176 18559697 | 2147483647 109898 57 | 0.000 % |
366.45/368.92 c | 110495 | 263670 5951176 18559697 | 2147483647 110495 57 | 0.000 % |
367.25/369.72 c | 111151 | 263670 5951176 18559697 | 2147483647 111151 57 | 0.000 % |
368.85/371.31 c | 111871 | 263670 5951176 18559697 | 2147483647 111871 57 | 0.000 % |
370.05/372.56 c | 112663 | 263670 5951176 18559697 | 2147483647 112663 57 | 0.000 % |
371.35/373.87 c | 113536 | 263670 5951176 18559697 | 2147483647 113536 57 | 0.000 % |
372.35/374.86 c | 114495 | 263670 5951176 18559697 | 2147483647 114495 58 | 0.000 % |
373.45/375.99 c | 115548 | 263670 5951176 18559697 | 2147483647 115548 59 | 0.000 % |
375.65/378.21 c | 116708 | 263670 5951176 18559697 | 2147483647 116708 61 | 0.000 % |
377.85/380.41 c | 117981 | 263670 5951176 18559697 | 2147483647 117981 61 | 0.000 % |
378.16/380.71 c | 118081 | 263670 5951176 18559697 | 2147483647 118081 61 | 0.000 % |
378.65/381.20 c | 118192 | 263670 5951176 18559697 | 2147483647 118192 61 | 0.000 % |
378.95/381.49 c | 118314 | 263670 5951176 18559697 | 2147483647 118314 61 | 0.000 % |
379.35/381.86 c | 118447 | 263670 5951176 18559697 | 2147483647 118447 61 | 0.000 % |
379.75/382.30 c | 118593 | 263670 5951176 18559697 | 2147483647 118593 61 | 0.000 % |
380.36/382.87 c | 118753 | 263670 5951176 18559697 | 2147483647 118753 61 | 0.000 % |
380.75/383.21 c | 118930 | 263670 5951176 18559697 | 2147483647 118930 61 | 0.000 % |
381.05/383.61 c | 119123 | 263670 5951176 18559697 | 2147483647 119123 61 | 0.000 % |
381.46/383.97 c | 119335 | 263670 5951176 18559697 | 2147483647 119335 61 | 0.000 % |
381.96/384.52 c | 119568 | 263670 5951176 18559697 | 2147483647 119568 61 | 0.000 % |
382.86/385.36 c | 119826 | 263670 5951176 18559697 | 2147483647 119826 61 | 0.000 % |
383.46/385.92 c | 120107 | 263670 5951176 18559697 | 2147483647 120107 61 | 0.000 % |
384.16/386.68 c | 120416 | 263670 5951176 18559697 | 2147483647 120416 61 | 0.000 % |
384.76/387.32 c | 120755 | 263670 5951176 18559697 | 2147483647 120755 61 | 0.000 % |
385.36/387.89 c | 121128 | 263670 5951176 18559697 | 2147483647 121128 61 | 0.000 % |
386.16/388.69 c | 121538 | 263670 5951176 18559697 | 2147483647 121538 61 | 0.000 % |
387.16/389.65 c | 121988 | 263670 5951176 18559697 | 2147483647 121988 61 | 0.000 % |
388.36/390.92 c | 122483 | 263670 5951176 18559697 | 2147483647 122483 61 | 0.000 % |
389.66/392.12 c | 123025 | 263670 5951176 18559697 | 2147483647 123025 61 | 0.000 % |
390.76/393.26 c | 123627 | 263670 5951176 18559697 | 2147483647 123627 61 | 0.000 % |
392.16/394.68 c | 124282 | 263670 5951176 18559697 | 2147483647 124282 61 | 0.000 % |
394.46/396.95 c | 125002 | 263670 5951176 18559697 | 2147483647 125002 61 | 0.000 % |
396.06/398.55 c | 125795 | 263670 5951176 18559697 | 2147483647 125795 62 | 0.000 % |
397.26/399.81 c | 126666 | 263670 5951176 18559697 | 2147483647 126666 61 | 0.000 % |
399.16/401.65 c | 127624 | 263670 5951176 18559697 | 2147483647 127624 62 | 0.000 % |
400.96/403.45 c | 128677 | 263670 5951176 18559697 | 2147483647 128677 62 | 0.000 % |
402.66/405.19 c | 129836 | 263670 5951176 18559697 | 2147483647 129836 62 | 0.000 % |
404.16/406.67 c | 131109 | 263670 5951176 18559697 | 2147483647 131109 62 | 0.000 % |
405.56/408.08 c | 132509 | 263670 5951176 18559697 | 2147483647 132509 62 | 0.000 % |
406.06/408.56 c | 132609 | 263670 5951176 18559697 | 2147483647 132609 62 | 0.000 % |
406.26/408.81 c | 132719 | 263670 5951176 18559697 | 2147483647 132719 62 | 0.000 % |
406.56/409.11 c | 132840 | 263670 5951176 18559697 | 2147483647 132840 62 | 0.000 % |
406.96/409.51 c | 132974 | 263670 5951176 18559697 | 2147483647 132974 62 | 0.000 % |
407.36/409.91 c | 133120 | 263670 5951176 18559697 | 2147483647 133120 62 | 0.000 % |
407.66/410.21 c | 133281 | 263670 5951176 18559697 | 2147483647 133281 62 | 0.000 % |
408.06/410.61 c | 133457 | 263670 5951176 18559697 | 2147483647 133457 62 | 0.000 % |
408.36/410.92 c | 133651 | 263670 5951176 18559697 | 2147483647 133651 62 | 0.000 % |
408.86/411.37 c | 133863 | 263670 5951176 18559697 | 2147483647 133863 62 | 0.000 % |
409.46/412.02 c | 134096 | 263670 5951176 18559697 | 2147483647 134096 62 | 0.000 % |
410.46/412.94 c | 134352 | 263670 5951176 18559697 | 2147483647 134352 62 | 0.000 % |
410.96/413.52 c | 134634 | 263670 5951176 18559697 | 2147483647 134634 62 | 0.000 % |
411.76/414.23 c | 134944 | 263670 5951176 18559697 | 2147483647 134944 62 | 0.000 % |
412.26/414.80 c | 135285 | 263670 5951176 18559697 | 2147483647 135285 62 | 0.000 % |
412.76/415.23 c | 135658 | 263670 5951176 18559697 | 2147483647 135658 62 | 0.000 % |
413.45/415.94 c | 136067 | 263670 5951176 18559697 | 2147483647 136067 62 | 0.000 % |
414.65/417.18 c | 136516 | 263670 5951176 18559697 | 2147483647 136516 62 | 0.000 % |
415.45/418.00 c | 137009 | 263670 5951176 18559697 | 2147483647 137009 62 | 0.000 % |
417.05/419.59 c | 137551 | 263670 5951176 18559697 | 2147483647 137551 62 | 0.000 % |
418.25/420.76 c | 138148 | 263670 5951176 18559697 | 2147483647 138148 62 | 0.000 % |
419.25/421.73 c | 138805 | 263670 5951176 18559697 | 2147483647 138805 62 | 0.000 % |
420.45/422.98 c | 139525 | 263670 5951176 18559697 | 2147483647 139525 62 | 0.000 % |
421.85/424.33 c | 140318 | 263670 5951176 18559697 | 2147483647 140318 62 | 0.000 % |
423.35/425.83 c | 141189 | 263670 5951176 18559697 | 2147483647 141189 62 | 0.000 % |
424.85/427.34 c | 142147 | 263670 5951176 18559697 | 2147483647 142147 62 | 0.000 % |
426.85/429.34 c | 143202 | 263670 5951176 18559697 | 2147483647 143202 62 | 0.000 % |
430.95/433.48 c | 144361 | 263670 5951176 18559697 | 2147483647 144361 62 | 0.000 % |
433.85/436.31 c | 145634 | 263670 5951176 18559697 | 2147483647 145634 62 | 0.000 % |
437.45/439.92 c | 147034 | 263670 5951176 18559697 | 2147483647 147034 62 | 0.000 % |
440.75/443.30 c | 148574 | 263670 5951176 18559697 | 2147483647 148574 63 | 0.000 % |
441.15/443.68 c | 148676 | 263670 5951176 18559697 | 2147483647 148676 63 | 0.000 % |
441.85/444.33 c | 148787 | 263670 5951176 18559697 | 2147483647 148787 63 | 0.000 % |
442.35/444.85 c | 148910 | 263670 5951176 18559697 | 2147483647 148910 63 | 0.000 % |
442.65/445.13 c | 149043 | 263670 5951176 18559697 | 2147483647 149043 63 | 0.000 % |
443.15/445.71 c | 149189 | 263670 5951176 18559697 | 2147483647 149189 63 | 0.000 % |
443.75/446.26 c | 149349 | 263670 5951176 18559697 | 2147483647 149349 63 | 0.000 % |
444.05/446.58 c | 149525 | 263670 5951176 18559697 | 2147483647 149525 63 | 0.000 % |
444.45/446.97 c | 149720 | 263670 5951176 18559697 | 2147483647 149720 63 | 0.000 % |
444.95/447.50 c | 149933 | 263670 5951176 18559697 | 2147483647 149933 63 | 0.000 % |
445.55/448.04 c | 150166 | 263670 5951176 18559697 | 2147483647 150166 63 | 0.000 % |
446.05/448.59 c | 150426 | 263670 5951176 18559697 | 2147483647 150426 63 | 0.000 % |
446.65/449.15 c | 150707 | 263670 5951176 18559697 | 2147483647 150707 63 | 0.000 % |
447.35/449.83 c | 151016 | 263670 5951176 18559697 | 2147483647 151016 63 | 0.000 % |
448.35/450.88 c | 151357 | 263670 5951176 18559697 | 2147483647 151357 63 | 0.000 % |
449.05/451.60 c | 151731 | 263670 5951176 18559697 | 2147483647 151731 63 | 0.000 % |
449.75/452.23 c | 152140 | 263670 5951176 18559697 | 2147483647 152140 63 | 0.000 % |
450.45/452.95 c | 152589 | 263670 5951176 18559697 | 2147483647 152589 63 | 0.000 % |
451.35/453.82 c | 153083 | 263670 5951176 18559697 | 2147483647 153083 63 | 0.000 % |
452.95/455.47 c | 153625 | 263670 5951176 18559697 | 2147483647 153625 63 | 0.000 % |
454.05/456.54 c | 154222 | 263670 5951176 18559697 | 2147483647 154222 63 | 0.000 % |
455.05/457.53 c | 154877 | 263670 5951176 18559697 | 2147483647 154877 63 | 0.000 % |
455.95/458.48 c | 155598 | 263670 5951176 18559697 | 2147483647 155598 63 | 0.000 % |
457.25/459.73 c | 156390 | 263670 5951176 18559697 | 2147483647 156390 63 | 0.000 % |
458.35/460.81 c | 157261 | 263670 5951176 18559697 | 2147483647 157261 63 | 0.000 % |
459.95/462.42 c | 158219 | 263670 5951176 18559697 | 2147483647 158219 63 | 0.000 % |
461.45/463.96 c | 159273 | 263670 5951176 18559697 | 2147483647 159273 63 | 0.000 % |
463.05/465.52 c | 160431 | 263670 5951176 18559697 | 2147483647 160431 62 | 0.000 % |
464.75/467.30 c | 161705 | 263670 5951176 18559697 | 2147483647 161705 62 | 0.000 % |
466.85/469.39 c | 163106 | 263670 5951176 18559697 | 2147483647 163106 62 | 0.000 % |
469.15/471.68 c | 164646 | 263670 5951176 18559697 | 2147483647 164646 62 | 0.000 % |
471.85/474.36 c | 166340 | 263670 5951176 18559697 | 2147483647 166340 62 | 0.000 % |
472.05/474.59 c | 166440 | 263670 5951176 18559697 | 2147483647 166440 62 | 0.000 % |
472.35/474.87 c | 166550 | 263670 5951176 18559697 | 2147483647 166550 62 | 0.000 % |
473.15/475.62 c | 166671 | 263670 5951176 18559697 | 2147483647 166671 62 | 0.000 % |
474.05/476.56 c | 166804 | 263670 5951176 18559697 | 2147483647 166804 62 | 0.000 % |
475.15/477.66 c | 166951 | 263670 5951176 18559697 | 2147483647 166951 62 | 0.000 % |
475.85/478.36 c | 167114 | 263670 5951176 18559697 | 2147483647 167114 62 | 0.000 % |
476.85/479.31 c | 167291 | 263670 5951176 18559697 | 2147483647 167291 62 | 0.000 % |
477.85/480.37 c | 167484 | 263670 5951176 18559697 | 2147483647 167484 62 | 0.000 % |
478.35/480.83 c | 167698 | 263670 5951176 18559697 | 2147483647 167698 62 | 0.000 % |
479.45/481.96 c | 167932 | 263670 5951176 18559697 | 2147483647 167932 62 | 0.000 % |
480.05/482.51 c | 168192 | 263670 5951176 18559697 | 2147483647 168192 62 | 0.000 % |
480.55/483.05 c | 168473 | 263670 5951176 18559697 | 2147483647 168473 62 | 0.000 % |
481.45/484.00 c | 168786 | 263670 5951176 18559697 | 2147483647 168786 62 | 0.000 % |
482.25/484.75 c | 169125 | 263670 5951176 18559697 | 2147483647 169125 62 | 0.000 % |
483.65/486.20 c | 169498 | 263670 5951176 18559697 | 2147483647 169498 62 | 0.000 % |
484.75/487.26 c | 169908 | 263670 5951176 18559697 | 2147483647 169908 62 | 0.000 % |
485.35/487.91 c | 170358 | 263670 5951176 18559697 | 2147483647 170358 62 | 0.000 % |
486.55/489.08 c | 170855 | 263670 5951176 18559697 | 2147483647 170855 62 | 0.000 % |
487.95/490.41 c | 171398 | 263670 5951176 18559697 | 2147483647 171398 62 | 0.000 % |
489.55/492.03 c | 171994 | 263670 5951176 18559697 | 2147483647 171994 62 | 0.000 % |
491.15/493.68 c | 172650 | 263670 5951176 18559697 | 2147483647 172650 62 | 0.000 % |
492.35/494.84 c | 173371 | 263670 5951176 18559697 | 2147483647 173371 62 | 0.000 % |
494.76/497.24 c | 174164 | 263670 5951176 18559697 | 2147483647 174164 62 | 0.000 % |
496.96/499.45 c | 175035 | 263670 5951176 18559697 | 2147483647 175035 63 | 0.000 % |
498.46/500.93 c | 175994 | 263670 5951176 18559697 | 2147483647 175994 63 | 0.000 % |
499.76/502.22 c | 177048 | 263670 5951176 18559697 | 2147483647 177048 63 | 0.000 % |
501.36/503.85 c | 178206 | 263670 5951176 18559697 | 2147483647 178206 63 | 0.000 % |
503.46/506.01 c | 179479 | 263670 5951176 18559697 | 2147483647 179479 63 | 0.000 % |
505.36/507.86 c | 180879 | 263670 5951176 18559697 | 2147483647 180879 63 | 0.000 % |
508.66/511.19 c | 182421 | 263670 5951176 18559697 | 2147483647 182421 63 | 0.000 % |
511.16/513.71 c | 184118 | 263670 5951176 18559697 | 2147483647 184118 63 | 0.000 % |
514.26/516.81 c | 185981 | 263670 5951176 18559697 | 2147483647 185981 63 | 0.000 % |
514.56/517.08 c | 186081 | 263670 5951176 18559697 | 2147483647 186081 63 | 0.000 % |
515.16/517.64 c | 186191 | 263670 5951176 18559697 | 2147483647 186191 64 | 0.000 % |
515.66/518.17 c | 186313 | 263670 5951176 18559697 | 2147483647 186313 63 | 0.000 % |
516.06/518.56 c | 186447 | 263670 5951176 18559697 | 2147483647 186447 63 | 0.000 % |
516.46/519.00 c | 186594 | 263670 5951176 18559697 | 2147483647 186594 64 | 0.000 % |
517.06/519.58 c | 186755 | 263670 5951176 18559697 | 2147483647 186755 64 | 0.000 % |
517.56/520.05 c | 186936 | 263670 5951176 18559697 | 2147483647 186936 64 | 0.000 % |
518.06/520.60 c | 187129 | 263670 5951176 18559697 | 2147483647 187129 64 | 0.000 % |
518.56/521.02 c | 187341 | 263670 5951176 18559697 | 2147483647 187341 64 | 0.000 % |
519.06/521.58 c | 187574 | 263670 5951176 18559697 | 2147483647 187574 64 | 0.000 % |
519.66/522.14 c | 187830 | 263670 5951176 18559697 | 2147483647 187830 64 | 0.000 % |
520.16/522.67 c | 188111 | 263670 5951176 18559697 | 2147483647 188111 64 | 0.000 % |
520.86/523.32 c | 188420 | 263670 5951176 18559697 | 2147483647 188420 64 | 0.000 % |
521.46/523.97 c | 188760 | 263670 5951176 18559697 | 2147483647 188760 64 | 0.000 % |
522.06/524.57 c | 189132 | 263670 5951176 18559697 | 2147483647 189132 63 | 0.000 % |
522.86/525.37 c | 189541 | 263670 5951176 18559697 | 2147483647 189541 63 | 0.000 % |
523.46/525.98 c | 189991 | 263670 5951176 18559697 | 2147483647 189991 64 | 0.000 % |
524.36/526.88 c | 190485 | 263670 5951176 18559697 | 2147483647 190485 64 | 0.000 % |
525.56/528.03 c | 191027 | 263670 5951176 18559697 | 2147483647 191027 63 | 0.000 % |
527.96/530.51 c | 191623 | 263670 5951176 18559697 | 2147483647 191623 64 | 0.000 % |
529.16/531.65 c | 192281 | 263670 5951176 18559697 | 2147483647 192281 64 | 0.000 % |
530.06/532.57 c | 193001 | 263670 5951176 18559697 | 2147483647 193001 63 | 0.000 % |
531.26/533.72 c | 193794 | 263670 5951176 18559697 | 2147483647 193794 64 | 0.000 % |
532.56/535.04 c | 194665 | 263670 5951176 18559697 | 2147483647 194665 64 | 0.000 % |
533.86/536.35 c | 195623 | 263670 5951176 18559697 | 2147483647 195623 64 | 0.000 % |
535.46/537.92 c | 196677 | 263670 5951176 18559697 | 2147483647 196677 63 | 0.000 % |
537.26/539.80 c | 197835 | 263670 5951176 18559697 | 2147483647 197835 63 | 0.000 % |
539.26/541.73 c | 199108 | 263670 5951176 18559697 | 2147483647 199108 63 | 0.000 % |
541.06/543.58 c | 200508 | 263670 5951176 18559697 | 2147483647 200508 63 | 0.000 % |
543.56/546.10 c | 202048 | 263670 5951176 18559697 | 2147483647 202048 63 | 0.000 % |
549.26/551.74 c | 203742 | 263670 5951176 18559697 | 2147483647 203742 64 | 0.000 % |
553.06/555.55 c | 205606 | 263670 5951176 18559697 | 2147483647 205606 64 | 0.000 % |
557.56/560.09 c | 207657 | 263670 5951176 18559697 | 2147483647 207657 64 | 0.000 % |
557.86/560.33 c | 207757 | 263670 5951176 18559697 | 2147483647 207757 64 | 0.000 % |
558.16/560.67 c | 207867 | 263670 5951176 18559697 | 2147483647 207867 64 | 0.000 % |
558.56/561.05 c | 207988 | 263670 5951176 18559697 | 2147483647 207988 64 | 0.000 % |
558.96/561.44 c | 208121 | 263670 5951176 18559697 | 2147483647 208121 64 | 0.000 % |
559.26/561.74 c | 208267 | 263670 5951176 18559697 | 2147483647 208267 64 | 0.000 % |
559.86/562.34 c | 208428 | 263670 5951176 18559697 | 2147483647 208428 64 | 0.000 % |
560.36/562.87 c | 208604 | 263670 5951176 18559697 | 2147483647 208604 64 | 0.000 % |
561.06/563.55 c | 208798 | 263670 5951176 18559697 | 2147483647 208798 64 | 0.000 % |
561.56/564.10 c | 209012 | 263670 5951176 18559697 | 2147483647 209012 64 | 0.000 % |
562.36/564.87 c | 209248 | 263670 5951176 18559697 | 2147483647 209248 64 | 0.000 % |
562.96/565.50 c | 209504 | 263670 5951176 18559697 | 2147483647 209504 64 | 0.000 % |
563.76/566.22 c | 209786 | 263670 5951176 18559697 | 2147483647 209786 64 | 0.000 % |
564.46/566.92 c | 210095 | 263670 5951176 18559697 | 2147483647 210095 64 | 0.000 % |
565.06/567.61 c | 210434 | 263670 5951176 18559697 | 2147483647 210434 64 | 0.000 % |
565.86/568.34 c | 210806 | 263670 5951176 18559697 | 2147483647 210806 64 | 0.000 % |
566.66/569.17 c | 211215 | 263670 5951176 18559697 | 2147483647 211215 64 | 0.000 % |
567.66/570.15 c | 211664 | 263670 5951176 18559697 | 2147483647 211664 64 | 0.000 % |
568.56/571.06 c | 212157 | 263670 5951176 18559697 | 2147483647 212157 64 | 0.000 % |
569.86/572.39 c | 212700 | 263670 5951176 18559697 | 2147483647 212700 64 | 0.000 % |
570.96/573.46 c | 213297 | 263670 5951176 18559697 | 2147483647 213297 64 | 0.000 % |
572.46/575.00 c | 213952 | 263670 5951176 18559697 | 2147483647 213952 64 | 0.000 % |
574.16/576.63 c | 214672 | 263670 5951176 18559697 | 2147483647 214672 64 | 0.000 % |
575.36/577.88 c | 215464 | 263670 5951176 18559697 | 2147483647 215464 64 | 0.000 % |
576.66/579.21 c | 216336 | 263670 5951176 18559697 | 2147483647 216336 64 | 0.000 % |
578.37/580.87 c | 217294 | 263670 5951176 18559697 | 2147483647 217294 63 | 0.000 % |
580.36/582.87 c | 218348 | 263670 5951176 18559697 | 2147483647 218348 63 | 0.000 % |
582.46/584.92 c | 219506 | 263670 5951176 18559697 | 2147483647 219506 63 | 0.000 % |
584.06/586.61 c | 220779 | 263670 5951176 18559697 | 2147483647 220779 63 | 0.000 % |
586.26/588.78 c | 222180 | 263670 5951176 18559697 | 2147483647 222180 63 | 0.000 % |
588.76/591.27 c | 223721 | 263670 5951176 18559697 | 2147483647 223721 63 | 0.000 % |
595.56/598.02 c | 225416 | 263670 5951176 18559697 | 2147483647 225416 63 | 0.000 % |
599.65/602.16 c | 227279 | 263670 5951176 18559697 | 2147483647 227279 64 | 0.000 % |
603.85/606.35 c | 229328 | 263670 5951176 18559697 | 2147483647 229328 64 | 0.000 % |
609.35/611.90 c | 231581 | 263670 5951176 18559697 | 2147483647 231581 64 | 0.000 % |
610.16/612.71 c | 231681 | 263670 5951176 18559697 | 2147483647 231681 64 | 0.000 % |
610.56/613.03 c | 231792 | 263670 5951176 18559697 | 2147483647 231792 64 | 0.000 % |
610.96/613.47 c | 231914 | 263670 5951176 18559697 | 2147483647 231914 64 | 0.000 % |
611.26/613.78 c | 232047 | 263670 5951176 18559697 | 2147483647 232047 64 | 0.000 % |
612.06/614.52 c | 232194 | 263670 5951176 18559697 | 2147483647 232194 64 | 0.000 % |
612.56/615.05 c | 232359 | 263670 5951176 18559697 | 2147483647 232359 64 | 0.000 % |
612.96/615.50 c | 232537 | 263670 5951176 18559697 | 2147483647 232537 64 | 0.000 % |
613.66/616.18 c | 232732 | 263670 5951176 18559697 | 2147483647 232732 64 | 0.000 % |
614.16/616.66 c | 232946 | 263670 5951176 18559697 | 2147483647 232946 64 | 0.000 % |
614.86/617.35 c | 233179 | 263670 5951176 18559697 | 2147483647 233179 64 | 0.000 % |
615.46/617.94 c | 233435 | 263670 5951176 18559697 | 2147483647 233435 64 | 0.000 % |
616.06/618.61 c | 233716 | 263670 5951176 18559697 | 2147483647 233716 64 | 0.000 % |
616.66/619.12 c | 234026 | 263670 5951176 18559697 | 2147483647 234026 64 | 0.000 % |
617.56/620.06 c | 234365 | 263670 5951176 18559697 | 2147483647 234365 64 | 0.000 % |
618.36/620.85 c | 234737 | 263670 5951176 18559697 | 2147483647 234737 64 | 0.000 % |
619.36/621.85 c | 235146 | 263670 5951176 18559697 | 2147483647 235146 64 | 0.000 % |
619.96/622.50 c | 235595 | 263670 5951176 18559697 | 2147483647 235595 64 | 0.000 % |
621.06/623.53 c | 236088 | 263670 5951176 18559697 | 2147483647 236088 65 | 0.000 % |
622.36/624.82 c | 236630 | 263670 5951176 18559697 | 2147483647 236630 65 | 0.000 % |
623.66/626.11 c | 237228 | 263670 5951176 18559697 | 2147483647 237228 65 | 0.000 % |
625.16/627.61 c | 237883 | 263670 5951176 18559697 | 2147483647 237883 65 | 0.000 % |
626.56/629.10 c | 238607 | 263670 5951176 18559697 | 2147483647 238607 65 | 0.000 % |
629.16/631.63 c | 239399 | 263670 5951176 18559697 | 2147483647 239399 65 | 0.000 % |
631.16/633.65 c | 240270 | 263670 5951176 18559697 | 2147483647 240270 65 | 0.000 % |
632.46/635.00 c | 241228 | 263670 5951176 18559697 | 2147483647 241228 65 | 0.000 % |
634.16/636.63 c | 242282 | 263670 5951176 18559697 | 2147483647 242282 65 | 0.000 % |
636.06/638.55 c | 243440 | 263670 5951176 18559697 | 2147483647 243440 65 | 0.000 % |
638.26/640.73 c | 244713 | 263670 5951176 18559697 | 2147483647 244713 65 | 0.000 % |
640.56/643.06 c | 246113 | 263670 5951176 18559697 | 2147483647 246113 65 | 0.000 % |
642.66/645.14 c | 247653 | 263670 5951176 18559697 | 2147483647 247653 65 | 0.000 % |
645.96/648.41 c | 249347 | 263670 5951176 18559697 | 2147483647 249347 65 | 0.000 % |
648.96/651.47 c | 251210 | 263670 5951176 18559697 | 2147483647 251210 65 | 0.000 % |
652.16/654.67 c | 253259 | 263670 5951176 18559697 | 2147483647 253259 65 | 0.000 % |
656.46/658.95 c | 255512 | 263670 5951176 18559697 | 2147483647 255512 65 | 0.000 % |
661.66/664.12 c | 257992 | 263670 5951176 18559697 | 2147483647 257992 67 | 0.000 % |
662.16/664.61 c | 258092 | 263670 5951176 18559697 | 2147483647 258092 67 | 0.000 % |
662.86/665.35 c | 258203 | 263670 5951176 18559697 | 2147483647 258203 67 | 0.000 % |
663.26/665.73 c | 258324 | 263670 5951176 18559697 | 2147483647 258324 67 | 0.000 % |
663.56/666.10 c | 258457 | 263670 5951176 18559697 | 2147483647 258457 67 | 0.000 % |
663.96/666.42 c | 258603 | 263670 5951176 18559697 | 2147483647 258603 67 | 0.000 % |
664.36/666.82 c | 258763 | 263670 5951176 18559697 | 2147483647 258763 67 | 0.000 % |
664.76/667.26 c | 258939 | 263670 5951176 18559697 | 2147483647 258939 67 | 0.000 % |
665.16/667.66 c | 259133 | 263670 5951176 18559697 | 2147483647 259133 67 | 0.000 % |
665.66/668.14 c | 259346 | 263670 5951176 18559697 | 2147483647 259346 67 | 0.000 % |
666.16/668.67 c | 259579 | 263670 5951176 18559697 | 2147483647 259579 67 | 0.000 % |
666.76/669.29 c | 259835 | 263670 5951176 18559697 | 2147483647 259835 67 | 0.000 % |
667.36/669.85 c | 260117 | 263670 5951176 18559697 | 2147483647 260117 67 | 0.000 % |
668.06/670.56 c | 260427 | 263670 5951176 18559697 | 2147483647 260427 67 | 0.000 % |
668.86/671.38 c | 260767 | 263670 5951176 18559697 | 2147483647 260767 67 | 0.000 % |
669.66/672.18 c | 261139 | 263670 5951176 18559697 | 2147483647 261139 67 | 0.000 % |
670.56/673.11 c | 261548 | 263670 5951176 18559697 | 2147483647 261548 67 | 0.000 % |
671.46/673.91 c | 261997 | 263670 5951176 18559697 | 2147483647 261997 67 | 0.000 % |
672.66/675.20 c | 262490 | 263670 5951176 18559697 | 2147483647 262490 66 | 0.000 % |
673.66/676.21 c | 263032 | 263670 5951176 18559697 | 2147483647 263032 66 | 0.000 % |
674.96/677.47 c | 263628 | 263670 5951176 18559697 | 2147483647 263628 66 | 0.000 % |
676.46/679.00 c | 264284 | 263670 5951176 18559697 | 2147483647 264284 66 | 0.000 % |
678.06/680.60 c | 265005 | 263670 5951176 18559697 | 2147483647 265005 66 | 0.000 % |
679.56/682.02 c | 265797 | 263670 5951176 18559697 | 2147483647 265797 66 | 0.000 % |
681.36/683.84 c | 266668 | 263670 5951176 18559697 | 2147483647 266668 66 | 0.000 % |
684.06/686.59 c | 267626 | 263670 5951176 18559697 | 2147483647 267626 66 | 0.000 % |
685.96/688.48 c | 268679 | 263670 5951176 18559697 | 2147483647 268679 66 | 0.000 % |
688.26/690.76 c | 269837 | 263670 5951176 18559697 | 2147483647 269837 67 | 0.000 % |
691.26/693.71 c | 271110 | 263670 5951176 18559697 | 2147483647 271110 67 | 0.000 % |
695.56/698.07 c | 272513 | 263670 5951176 18559697 | 2147483647 272513 67 | 0.000 % |
698.96/701.44 c | 274054 | 263670 5951176 18559697 | 2147483647 274054 69 | 0.000 % |
703.26/705.77 c | 275748 | 263670 5951176 18559697 | 2147483647 275748 69 | 0.000 % |
705.16/707.69 c | 277611 | 263670 5951176 18559697 | 2147483647 277611 70 | 0.000 % |
708.17/710.67 c | 279663 | 263670 5951176 18559697 | 2147483647 279663 70 | 0.000 % |
711.06/713.53 c | 281916 | 263670 5951176 18559697 | 2147483647 281916 71 | 0.000 % |
715.46/717.99 c | 284394 | 263670 5951176 18559697 | 2147483647 284394 71 | 0.000 % |
720.56/723.11 c | 287120 | 263670 5951176 18559697 | 2147483647 287120 73 | 0.000 % |
720.86/723.37 c | 287222 | 263670 5951176 18559697 | 2147483647 287222 73 | 0.000 % |
721.26/723.72 c | 287332 | 263670 5951176 18559697 | 2147483647 287332 73 | 0.000 % |
722.66/725.19 c | 287453 | 263670 5951176 18559697 | 2147483647 287453 73 | 0.000 % |
723.16/725.61 c | 287589 | 263670 5951176 18559697 | 2147483647 287589 73 | 0.000 % |
723.57/726.04 c | 287736 | 263670 5951176 18559697 | 2147483647 287736 73 | 0.000 % |
724.46/726.95 c | 287898 | 263670 5951176 18559697 | 2147483647 287898 73 | 0.000 % |
725.27/727.78 c | 288074 | 263670 5951176 18559697 | 2147483647 288074 73 | 0.000 % |
725.87/728.41 c | 288267 | 263670 5951176 18559697 | 2147483647 288267 73 | 0.000 % |
726.37/728.91 c | 288479 | 263670 5951176 18559697 | 2147483647 288479 73 | 0.000 % |
727.27/729.79 c | 288712 | 263670 5951176 18559697 | 2147483647 288712 73 | 0.000 % |
727.77/730.27 c | 288969 | 263670 5951176 18559697 | 2147483647 288969 73 | 0.000 % |
729.27/731.72 c | 289250 | 263670 5951176 18559697 | 2147483647 289250 73 | 0.000 % |
729.97/732.43 c | 289559 | 263670 5951176 18559697 | 2147483647 289559 73 | 0.000 % |
731.07/733.59 c | 289900 | 263670 5951176 18559697 | 2147483647 289900 73 | 0.000 % |
731.97/734.48 c | 290272 | 263670 5951176 18559697 | 2147483647 290272 73 | 0.000 % |
733.17/735.64 c | 290684 | 263670 5951176 18559697 | 2147483647 290684 73 | 0.000 % |
734.07/736.52 c | 291133 | 263670 5951176 18559697 | 2147483647 291133 73 | 0.000 % |
734.97/737.43 c | 291627 | 263670 5951176 18559697 | 2147483647 291627 73 | 0.000 % |
736.07/738.58 c | 292169 | 263670 5951176 18559697 | 2147483647 292169 73 | 0.000 % |
737.57/740.02 c | 292765 | 263670 5951176 18559697 | 2147483647 292765 73 | 0.000 % |
739.17/741.68 c | 293421 | 263670 5951176 18559697 | 2147483647 293421 73 | 0.000 % |
740.37/742.89 c | 294141 | 263670 5951176 18559697 | 2147483647 294141 73 | 0.000 % |
741.87/744.41 c | 294934 | 263670 5951176 18559697 | 2147483647 294934 73 | 0.000 % |
743.67/746.19 c | 295805 | 263670 5951176 18559697 | 2147483647 295805 72 | 0.000 % |
745.37/747.90 c | 296764 | 263670 5951176 18559697 | 2147483647 296764 72 | 0.000 % |
747.17/749.65 c | 297818 | 263670 5951176 18559697 | 2147483647 297818 72 | 0.000 % |
748.17/750.70 c | 298976 | 263670 5951176 18559697 | 2147483647 298976 72 | 0.000 % |
749.67/752.21 c | 300249 | 263670 5951176 18559697 | 2147483647 300249 73 | 0.000 % |
751.97/754.52 c | 301649 | 263670 5951176 18559697 | 2147483647 301649 73 | 0.000 % |
754.17/756.72 c | 303189 | 263670 5951176 18559697 | 2147483647 303189 73 | 0.000 % |
757.87/760.34 c | 304884 | 263670 5951176 18559697 | 2147483647 304884 73 | 0.000 % |
760.87/763.37 c | 306747 | 263670 5951176 18559697 | 2147483647 306747 74 | 0.000 % |
764.07/766.53 c | 308796 | 263670 5951176 18559697 | 2147483647 308796 74 | 0.000 % |
766.97/769.51 c | 311050 | 263670 5951176 18559697 | 2147483647 311050 75 | 0.000 % |
773.66/776.11 c | 313530 | 263670 5951176 18559697 | 2147483647 313530 75 | 0.000 % |
779.26/781.72 c | 316255 | 263670 5951176 18559697 | 2147483647 316255 76 | 0.000 % |
787.16/789.69 c | 319254 | 263670 5951176 18559697 | 2147483647 319254 77 | 0.000 % |
787.76/790.24 c | 319354 | 263670 5951176 18559697 | 2147483647 319354 77 | 0.000 % |
787.96/790.49 c | 319467 | 263670 5951176 18559697 | 2147483647 319467 77 | 0.000 % |
788.66/791.18 c | 319588 | 263670 5951176 18559697 | 2147483647 319588 77 | 0.000 % |
789.26/791.79 c | 319721 | 263670 5951176 18559697 | 2147483647 319721 77 | 0.000 % |
790.16/792.68 c | 319868 | 263670 5951176 18559697 | 2147483647 319868 77 | 0.000 % |
790.66/793.17 c | 320028 | 263670 5951176 18559697 | 2147483647 320028 77 | 0.000 % |
791.36/793.89 c | 320204 | 263670 5951176 18559697 | 2147483647 320204 77 | 0.000 % |
791.96/794.45 c | 320398 | 263670 5951176 18559697 | 2147483647 320398 77 | 0.000 % |
792.46/794.98 c | 320610 | 263670 5951176 18559697 | 2147483647 320610 77 | 0.000 % |
793.06/795.56 c | 320844 | 263670 5951176 18559697 | 2147483647 320844 76 | 0.000 % |
793.76/796.27 c | 321100 | 263670 5951176 18559697 | 2147483647 321100 76 | 0.000 % |
795.16/797.64 c | 321383 | 263670 5951176 18559697 | 2147483647 321383 76 | 0.000 % |
796.16/798.63 c | 321692 | 263670 5951176 18559697 | 2147483647 321692 76 | 0.000 % |
796.76/799.25 c | 322031 | 263670 5951176 18559697 | 2147483647 322031 76 | 0.000 % |
797.76/800.27 c | 322404 | 263670 5951176 18559697 | 2147483647 322404 77 | 0.000 % |
798.86/801.34 c | 322814 | 263670 5951176 18559697 | 2147483647 322814 77 | 0.000 % |
799.86/802.39 c | 323263 | 263670 5951176 18559697 | 2147483647 323263 77 | 0.000 % |
800.96/803.45 c | 323756 | 263670 5951176 18559697 | 2147483647 323756 77 | 0.000 % |
801.96/804.46 c | 324298 | 263670 5951176 18559697 | 2147483647 324298 76 | 0.000 % |
803.36/805.85 c | 324894 | 263670 5951176 18559697 | 2147483647 324894 76 | 0.000 % |
804.66/807.20 c | 325549 | 263670 5951176 18559697 | 2147483647 325549 76 | 0.000 % |
806.46/808.96 c | 326270 | 263670 5951176 18559697 | 2147483647 326270 77 | 0.000 % |
808.36/810.90 c | 327063 | 263670 5951176 18559697 | 2147483647 327063 77 | 0.000 % |
810.26/812.74 c | 327935 | 263670 5951176 18559697 | 2147483647 327935 77 | 0.000 % |
812.06/814.53 c | 328894 | 263670 5951176 18559697 | 2147483647 328894 77 | 0.000 % |
815.36/817.82 c | 329951 | 263670 5951176 18559697 | 2147483647 329951 77 | 0.000 % |
818.56/821.05 c | 331109 | 263670 5951176 18559697 | 2147483647 331109 77 | 0.000 % |
820.66/823.18 c | 332383 | 263670 5951176 18559697 | 2147483647 332383 77 | 0.000 % |
823.86/826.38 c | 333786 | 263670 5951176 18559697 | 2147483647 333786 77 | 0.000 % |
827.56/830.08 c | 335330 | 263670 5951176 18559697 | 2147483647 335330 77 | 0.000 % |
831.66/834.13 c | 337028 | 263670 5951176 18559697 | 2147483647 337028 77 | 0.000 % |
838.06/840.55 c | 338893 | 263670 5951176 18559697 | 2147483647 338893 78 | 0.000 % |
841.07/843.59 c | 340942 | 263670 5951176 18559697 | 2147483647 340942 78 | 0.000 % |
845.47/847.94 c | 343198 | 263670 5951176 18559697 | 2147483647 343198 78 | 0.000 % |
851.47/853.96 c | 345676 | 263670 5951176 18559697 | 2147483647 345676 78 | 0.000 % |
857.07/859.58 c | 348401 | 263670 5951176 18559697 | 2147483647 348401 79 | 0.000 % |
860.67/863.14 c | 351400 | 263670 5951176 18559697 | 2147483647 351400 79 | 0.000 % |
868.07/870.61 c | 354698 | 263670 5951176 18559697 | 2147483647 354698 79 | 0.000 % |
868.37/870.86 c | 354800 | 263670 5951176 18559697 | 2147483647 354800 79 | 0.000 % |
869.17/871.65 c | 354912 | 263670 5951176 18559697 | 2147483647 354912 79 | 0.000 % |
869.57/872.09 c | 355037 | 263670 5951176 18559697 | 2147483647 355037 79 | 0.000 % |
870.57/873.08 c | 355170 | 263670 5951176 18559697 | 2147483647 355170 79 | 0.000 % |
871.37/873.82 c | 355317 | 263670 5951176 18559697 | 2147483647 355317 79 | 0.000 % |
871.97/874.44 c | 355478 | 263670 5951176 18559697 | 2147483647 355478 79 | 0.000 % |
872.47/874.95 c | 355656 | 263670 5951176 18559697 | 2147483647 355656 79 | 0.000 % |
872.97/875.50 c | 355851 | 263670 5951176 18559697 | 2147483647 355851 79 | 0.000 % |
873.87/876.36 c | 356071 | 263670 5951176 18559697 | 2147483647 356071 79 | 0.000 % |
874.97/877.41 c | 356304 | 263670 5951176 18559697 | 2147483647 356304 80 | 0.000 % |
875.67/878.14 c | 356560 | 263670 5951176 18559697 | 2147483647 356560 79 | 0.000 % |
876.57/879.06 c | 356841 | 263670 5951176 18559697 | 2147483647 356841 80 | 0.000 % |
877.27/879.78 c | 357150 | 263670 5951176 18559697 | 2147483647 357150 80 | 0.000 % |
878.27/880.77 c | 357489 | 263670 5951176 18559697 | 2147483647 357489 80 | 0.000 % |
879.07/881.54 c | 357866 | 263670 5951176 18559697 | 2147483647 357866 80 | 0.000 % |
880.27/882.72 c | 358276 | 263670 5951176 18559697 | 2147483647 358276 80 | 0.000 % |
880.97/883.49 c | 358726 | 263670 5951176 18559697 | 2147483647 358726 80 | 0.000 % |
881.97/884.42 c | 359219 | 263670 5951176 18559697 | 2147483647 359219 80 | 0.000 % |
883.07/885.55 c | 359761 | 263670 5951176 18559697 | 2147483647 359761 80 | 0.000 % |
884.07/886.52 c | 360362 | 263670 5951176 18559697 | 2147483647 360362 80 | 0.000 % |
886.07/888.53 c | 361017 | 263670 5951176 18559697 | 2147483647 361017 80 | 0.000 % |
888.17/890.63 c | 361737 | 263670 5951176 18559697 | 2147483647 361737 80 | 0.000 % |
889.87/892.33 c | 362529 | 263670 5951176 18559697 | 2147483647 362529 80 | 0.000 % |
892.17/894.63 c | 363400 | 263670 5951176 18559697 | 2147483647 363400 80 | 0.000 % |
894.97/897.47 c | 364361 | 263670 5951176 18559697 | 2147483647 364361 80 | 0.000 % |
897.37/899.87 c | 365414 | 263670 5951176 18559697 | 2147483647 365414 80 | 0.000 % |
898.97/901.50 c | 366572 | 263670 5951176 18559697 | 2147483647 366572 80 | 0.000 % |
901.87/904.38 c | 367845 | 263670 5951176 18559697 | 2147483647 367845 81 | 0.000 % |
904.97/907.43 c | 369247 | 263670 5951176 18559697 | 2147483647 369247 81 | 0.000 % |
908.37/910.82 c | 370787 | 263670 5951176 18559697 | 2147483647 370787 81 | 0.000 % |
911.57/914.07 c | 372481 | 263670 5951176 18559697 | 2147483647 372481 81 | 0.000 % |
917.27/919.76 c | 374345 | 263670 5951176 18559697 | 2147483647 374345 81 | 0.000 % |
921.37/923.87 c | 376394 | 263670 5951176 18559697 | 2147483647 376394 81 | 0.000 % |
924.57/927.03 c | 378647 | 263670 5951176 18559697 | 2147483647 378647 80 | 0.000 % |
929.07/931.58 c | 381129 | 263670 5951176 18559697 | 2147483647 381129 80 | 0.000 % |
934.17/936.64 c | 383855 | 263670 5951176 18559697 | 2147483647 383855 80 | 0.000 % |
940.07/942.51 c | 386853 | 263670 5951176 18559697 | 2147483647 386853 80 | 0.000 % |
945.78/948.22 c | 390150 | 263670 5951176 18559697 | 2147483647 390150 80 | 0.000 % |
952.97/955.41 c | 393776 | 263670 5951176 18559697 | 2147483647 393776 80 | 0.000 % |
953.17/955.67 c | 393879 | 263670 5951176 18559697 | 2147483647 393879 80 | 0.000 % |
953.48/955.99 c | 393989 | 263670 5951176 18559697 | 2147483647 393989 80 | 0.000 % |
953.78/956.28 c | 394110 | 263670 5951176 18559697 | 2147483647 394110 80 | 0.000 % |
954.08/956.60 c | 394243 | 263670 5951176 18559697 | 2147483647 394243 80 | 0.000 % |
954.48/956.97 c | 394390 | 263670 5951176 18559697 | 2147483647 394390 80 | 0.000 % |
954.88/957.37 c | 394550 | 263670 5951176 18559697 | 2147483647 394550 80 | 0.000 % |
955.58/958.06 c | 394728 | 263670 5951176 18559697 | 2147483647 394728 80 | 0.000 % |
955.98/958.51 c | 394922 | 263670 5951176 18559697 | 2147483647 394922 80 | 0.000 % |
956.48/958.96 c | 395135 | 263670 5951176 18559697 | 2147483647 395135 80 | 0.000 % |
956.98/959.49 c | 395368 | 263670 5951176 18559697 | 2147483647 395368 80 | 0.000 % |
957.88/960.41 c | 395625 | 263670 5951176 18559697 | 2147483647 395625 80 | 0.000 % |
959.08/961.59 c | 395907 | 263670 5951176 18559697 | 2147483647 395907 80 | 0.000 % |
959.88/962.35 c | 396217 | 263670 5951176 18559697 | 2147483647 396217 80 | 0.000 % |
960.98/963.48 c | 396558 | 263670 5951176 18559697 | 2147483647 396558 80 | 0.000 % |
962.38/964.89 c | 396930 | 263670 5951176 18559697 | 2147483647 396930 80 | 0.000 % |
963.48/965.95 c | 397339 | 263670 5951176 18559697 | 2147483647 397339 80 | 0.000 % |
964.28/966.81 c | 397790 | 263670 5951176 18559697 | 2147483647 397790 80 | 0.000 % |
965.48/967.94 c | 398283 | 263670 5951176 18559697 | 2147483647 398283 80 | 0.000 % |
966.78/969.27 c | 398825 | 263670 5951176 18559697 | 2147483647 398825 80 | 0.000 % |
968.08/970.61 c | 399421 | 263670 5951176 18559697 | 2147483647 399421 80 | 0.000 % |
969.68/972.20 c | 400076 | 263670 5951176 18559697 | 2147483647 400076 80 | 0.000 % |
971.58/974.02 c | 400796 | 263670 5951176 18559697 | 2147483647 400796 80 | 0.000 % |
973.28/975.78 c | 401588 | 263670 5951176 18559697 | 2147483647 401588 80 | 0.000 % |
975.38/977.86 c | 402459 | 263670 5951176 18559697 | 2147483647 402459 80 | 0.000 % |
977.78/980.30 c | 403417 | 263670 5951176 18559697 | 2147483647 403417 80 | 0.000 % |
979.58/982.09 c | 404470 | 263670 5951176 18559697 | 2147483647 404470 80 | 0.000 % |
981.58/984.08 c | 405633 | 263670 5951176 18559697 | 2147483647 405633 80 | 0.000 % |
984.78/987.23 c | 406907 | 263670 5951176 18559697 | 2147483647 406907 80 | 0.000 % |
987.68/990.14 c | 408309 | 263670 5951176 18559697 | 2147483647 408309 80 | 0.000 % |
991.48/993.99 c | 409849 | 263670 5951176 18559697 | 2147483647 409849 80 | 0.000 % |
995.28/997.80 c | 411544 | 263670 5951176 18559697 | 2147483647 411544 80 | 0.000 % |
999.68/1002.12 c | 413408 | 263670 5951176 18559697 | 2147483647 413408 82 | 0.000 % |
1003.48/1005.95 c | 415457 | 263670 5951176 18559697 | 2147483647 415457 82 | 0.000 % |
1007.18/1009.65 c | 417712 | 263670 5951176 18559697 | 2147483647 417712 81 | 0.000 % |
1012.58/1015.06 c | 420190 | 263670 5951176 18559697 | 2147483647 420190 82 | 0.000 % |
1018.38/1020.89 c | 422915 | 263670 5951176 18559697 | 2147483647 422915 81 | 0.000 % |
1024.98/1027.43 c | 425912 | 263670 5951176 18559697 | 2147483647 425912 81 | 0.000 % |
1032.69/1035.14 c | 429210 | 263670 5951176 18559697 | 2147483647 429210 81 | 0.000 % |
1040.68/1043.20 c | 432835 | 263670 5951176 18559697 | 2147483647 432835 81 | 0.000 % |
1047.78/1050.22 c | 436824 | 263670 5951176 18559697 | 2147483647 436824 82 | 0.000 % |
1048.28/1050.77 c | 436926 | 263670 5951176 18559697 | 2147483647 436926 82 | 0.000 % |
1048.88/1051.38 c | 437037 | 263670 5951176 18559697 | 2147483647 437037 82 | 0.000 % |
1049.68/1052.12 c | 437158 | 263670 5951176 18559697 | 2147483647 437158 82 | 0.000 % |
1050.08/1052.59 c | 437291 | 263670 5951176 18559697 | 2147483647 437291 82 | 0.000 % |
1050.58/1053.03 c | 437437 | 263670 5951176 18559697 | 2147483647 437437 82 | 0.000 % |
1051.08/1053.51 c | 437597 | 263670 5951176 18559697 | 2147483647 437597 82 | 0.000 % |
1051.58/1054.04 c | 437773 | 263670 5951176 18559697 | 2147483647 437773 82 | 0.000 % |
1052.08/1054.58 c | 437966 | 263670 5951176 18559697 | 2147483647 437966 82 | 0.000 % |
1052.68/1055.19 c | 438178 | 263670 5951176 18559697 | 2147483647 438178 82 | 0.000 % |
1053.28/1055.80 c | 438411 | 263670 5951176 18559697 | 2147483647 438411 82 | 0.000 % |
1054.08/1056.53 c | 438667 | 263670 5951176 18559697 | 2147483647 438667 82 | 0.000 % |
1054.88/1057.34 c | 438948 | 263670 5951176 18559697 | 2147483647 438948 82 | 0.000 % |
1055.68/1058.17 c | 439258 | 263670 5951176 18559697 | 2147483647 439258 82 | 0.000 % |
1056.48/1059.00 c | 439597 | 263670 5951176 18559697 | 2147483647 439597 82 | 0.000 % |
1057.78/1060.25 c | 439970 | 263670 5951176 18559697 | 2147483647 439970 82 | 0.000 % |
1059.58/1062.02 c | 440380 | 263670 5951176 18559697 | 2147483647 440380 82 | 0.000 % |
1060.78/1063.26 c | 440829 | 263670 5951176 18559697 | 2147483647 440829 82 | 0.000 % |
1061.48/1063.99 c | 441322 | 263670 5951176 18559697 | 2147483647 441322 82 | 0.000 % |
1062.58/1065.11 c | 441866 | 263670 5951176 18559697 | 2147483647 441866 82 | 0.000 % |
1063.78/1066.30 c | 442463 | 263670 5951176 18559697 | 2147483647 442463 82 | 0.000 % |
1065.18/1067.71 c | 443123 | 263670 5951176 18559697 | 2147483647 443123 82 | 0.000 % |
1066.38/1068.85 c | 443843 | 263670 5951176 18559697 | 2147483647 443843 82 | 0.000 % |
1068.39/1070.84 c | 444637 | 263670 5951176 18559697 | 2147483647 444637 82 | 0.000 % |
1071.59/1074.10 c | 445508 | 263670 5951176 18559697 | 2147483647 445508 82 | 0.000 % |
1073.79/1076.26 c | 446466 | 263670 5951176 18559697 | 2147483647 446466 83 | 0.000 % |
1075.79/1078.25 c | 447519 | 263670 5951176 18559697 | 2147483647 447519 83 | 0.000 % |
1079.09/1081.55 c | 448678 | 263670 5951176 18559697 | 2147483647 448678 83 | 0.000 % |
1082.59/1085.10 c | 449953 | 263670 5951176 18559697 | 2147483647 449953 83 | 0.000 % |
1088.09/1090.58 c | 451353 | 263670 5951176 18559697 | 2147483647 451353 83 | 0.000 % |
1090.69/1093.13 c | 452893 | 263670 5951176 18559697 | 2147483647 452893 84 | 0.000 % |
1093.99/1096.46 c | 454592 | 263670 5951176 18559697 | 2147483647 454592 84 | 0.000 % |
1099.69/1102.17 c | 456456 | 263670 5951176 18559697 | 2147483647 456456 84 | 0.000 % |
1103.39/1105.89 c | 458505 | 263670 5951176 18559697 | 2147483647 458505 84 | 0.000 % |
1109.99/1112.47 c | 460760 | 263670 5951176 18559697 | 2147483647 460760 84 | 0.000 % |
1114.99/1117.43 c | 463238 | 263670 5951176 18559697 | 2147483647 463238 84 | 0.000 % |
1120.69/1123.17 c | 465964 | 263670 5951176 18559697 | 2147483647 465964 84 | 0.000 % |
1127.49/1129.99 c | 468961 | 263670 5951176 18559697 | 2147483647 468961 83 | 0.000 % |
1134.88/1137.33 c | 472257 | 263670 5951176 18559697 | 2147483647 472257 83 | 0.000 % |
1142.69/1145.13 c | 475883 | 263670 5951176 18559697 | 2147483647 475883 83 | 0.000 % |
1150.48/1152.92 c | 479870 | 263670 5951176 18559697 | 2147483647 479870 83 | 0.000 % |
1160.88/1163.33 c | 484255 | 263670 5951176 18559697 | 2147483647 484255 83 | 0.000 % |
1161.18/1163.68 c | 484357 | 263670 5951176 18559697 | 2147483647 484357 83 | 0.000 % |
1161.48/1163.95 c | 484467 | 263670 5951176 18559697 | 2147483647 484467 83 | 0.000 % |
1161.88/1164.34 c | 484589 | 263670 5951176 18559697 | 2147483647 484589 83 | 0.000 % |
1163.59/1166.08 c | 484723 | 263670 5951176 18559697 | 2147483647 484723 83 | 0.000 % |
1164.38/1166.85 c | 484869 | 263670 5951176 18559697 | 2147483647 484869 83 | 0.000 % |
1164.88/1167.31 c | 485034 | 263670 5951176 18559697 | 2147483647 485034 83 | 0.000 % |
1165.88/1168.38 c | 485210 | 263670 5951176 18559697 | 2147483647 485210 83 | 0.000 % |
1166.89/1169.36 c | 485405 | 263670 5951176 18559697 | 2147483647 485405 83 | 0.000 % |
1167.99/1170.42 c | 485621 | 263670 5951176 18559697 | 2147483647 485621 83 | 0.000 % |
1168.68/1171.17 c | 485855 | 263670 5951176 18559697 | 2147483647 485855 83 | 0.000 % |
1169.48/1171.97 c | 486111 | 263670 5951176 18559697 | 2147483647 486111 83 | 0.000 % |
1170.28/1172.76 c | 486393 | 263670 5951176 18559697 | 2147483647 486393 83 | 0.000 % |
1171.29/1173.74 c | 486702 | 263670 5951176 18559697 | 2147483647 486702 83 | 0.000 % |
1172.28/1174.73 c | 487042 | 263670 5951176 18559697 | 2147483647 487042 83 | 0.000 % |
1173.38/1175.82 c | 487414 | 263670 5951176 18559697 | 2147483647 487414 83 | 0.000 % |
1174.48/1177.00 c | 487825 | 263670 5951176 18559697 | 2147483647 487825 83 | 0.000 % |
1175.98/1178.47 c | 488274 | 263670 5951176 18559697 | 2147483647 488274 83 | 0.000 % |
1176.98/1179.43 c | 488767 | 263670 5951176 18559697 | 2147483647 488767 83 | 0.000 % |
1178.68/1181.13 c | 489309 | 263670 5951176 18559697 | 2147483647 489309 83 | 0.000 % |
1180.28/1182.79 c | 489908 | 263670 5951176 18559697 | 2147483647 489908 83 | 0.000 % |
1181.78/1184.23 c | 490563 | 263670 5951176 18559697 | 2147483647 490563 83 | 0.000 % |
1184.19/1186.71 c | 491283 | 263670 5951176 18559697 | 2147483647 491283 83 | 0.000 % |
1186.19/1188.62 c | 492075 | 263670 5951176 18559697 | 2147483647 492075 83 | 0.000 % |
1188.89/1191.40 c | 492948 | 263670 5951176 18559697 | 2147483647 492948 83 | 0.000 % |
1192.39/1194.85 c | 493907 | 263670 5951176 18559697 | 2147483647 493907 83 | 0.000 % |
1195.09/1197.56 c | 494960 | 263670 5951176 18559697 | 2147483647 494960 83 | 0.000 % |
1198.19/1200.67 c | 496118 | 263670 5951176 18559697 | 2147483647 496118 83 | 0.000 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820680-1242467502/watcher-1820680-1242467502 -o /tmp/evaluation-result-1820680-1242467502/solver-1820680-1242467502 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820680-1242467502.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 2/91 28893
/proc/meminfo: memFree=710612/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) R 28891 28893 9090 0 -1 4194304 354 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494140 3085682548 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=2416 CPUtime=0
/proc/28897/stat : 28897 (SatELiteGTI) R 28893 28893 9090 0 -1 4194368 28 0 0 0 0 0 0 0 25 0 1 0 1011251495 2473984 61 4294967295 134512640 135169312 3218495664 3218494220 134714240 0 0 4 65536 0 0 0 17 1 0 0 0
/proc/28897/statm: 604 76 33 161 0 43 0
[startup+0.035228 s]
/proc/loadavg: 0.93 0.98 0.99 2/91 28893
/proc/meminfo: memFree=710612/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=3968 CPUtime=0.04
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 844 0 0 0 3 1 0 0 25 0 1 0 1011251495 4063232 780 4294967295 134512640 135223648 3219466640 3219465592 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28897/statm: 992 782 46 174 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6384
[startup+0.115212 s]
/proc/loadavg: 0.93 0.98 0.99 2/91 28893
/proc/meminfo: memFree=710612/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=10548 CPUtime=0.12
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 2443 0 0 0 11 1 0 0 25 0 1 0 1011251495 10801152 2379 4294967295 134512640 135223648 3219466640 3219465592 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28897/statm: 2670 2380 46 174 0 2495 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12964
[startup+0.315202 s]
/proc/loadavg: 0.93 0.98 0.99 2/91 28893
/proc/meminfo: memFree=710612/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=28332 CPUtime=0.32
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 6295 0 0 0 25 7 0 0 25 0 1 0 1011251495 29011968 6231 4294967295 134512640 135223648 3219466640 3219465140 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28897/statm: 7083 6231 46 174 0 6908 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30748
[startup+0.715183 s]
/proc/loadavg: 0.93 0.98 0.99 2/91 28893
/proc/meminfo: memFree=710612/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=60500 CPUtime=0.72
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 13577 0 0 0 57 15 0 0 25 0 1 0 1011251495 61952000 13513 4294967295 134512640 135223648 3219466640 3219465208 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28897/statm: 15125 13514 46 174 0 14950 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 62916
[startup+1.51515 s]
/proc/loadavg: 0.93 0.98 0.99 4/93 28898
/proc/meminfo: memFree=636048/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=117140 CPUtime=1.51
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 26834 0 0 0 127 24 0 0 25 0 1 0 1011251495 119951360 26770 4294967295 134512640 135223648 3219466640 3219465600 134528344 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28897/statm: 29285 26770 46 174 0 29110 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 119556
[startup+3.11507 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 28898
/proc/meminfo: memFree=566484/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=214160 CPUtime=3.11
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 52415 0 0 0 264 47 0 0 25 0 1 0 1011251495 219299840 52351 4294967295 134512640 135223648 3219466640 3219465424 134575965 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28897/statm: 53540 52351 46 174 0 53365 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 216576
[startup+6.31492 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 28899
/proc/meminfo: memFree=269876/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=502632 CPUtime=6.31
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 110862 0 0 0 557 74 0 0 25 0 1 0 1011251495 514695168 110798 4294967295 134512640 135223648 3219466640 3219464656 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28897/statm: 125658 110798 71 174 0 125483 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 505048
[startup+12.7146 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 28900
/proc/meminfo: memFree=285084/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=490632 CPUtime=12.7
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 118910 0 0 0 1193 77 0 0 25 0 1 0 1011251495 502407168 106244 4294967295 134512640 135223648 3219466640 3219464432 134549039 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28897/statm: 122658 106244 73 174 0 122483 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 493048
[startup+25.514 s]
/proc/loadavg: 0.95 0.98 0.99 2/93 28906
/proc/meminfo: memFree=268732/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=507580 CPUtime=25.5
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 122450 0 0 0 2463 87 0 0 25 0 1 0 1011251495 519761920 109784 4294967295 134512640 135223648 3219466640 3219464640 134549033 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28897/statm: 126895 109784 73 174 0 126720 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 509996
[startup+51.1228 s]
/proc/loadavg: 0.97 0.98 0.99 2/93 29091
/proc/meminfo: memFree=188528/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=608628 CPUtime=51.11
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 141802 0 0 0 5014 97 0 0 25 0 1 0 1011251495 623235072 128228 4294967295 134512640 135223648 3219466640 3219464448 134549039 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28897/statm: 152157 128228 73 174 0 151982 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 611044
[startup+102.31 s]
/proc/loadavg: 0.98 0.98 0.99 2/93 29095
/proc/meminfo: memFree=188196/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2416 CPUtime=0
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1011251494 2473984 277 4294967295 134512640 135169312 3218495664 3218494200 3085680366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28893/statm: 604 277 235 161 0 43 0
[pid=28897] ppid=28893 vsize=609076 CPUtime=102.3
/proc/28897/stat : 28897 (SatELite_releas) R 28893 28893 9090 0 -1 4202496 141913 0 0 0 10133 97 0 0 25 0 1 0 1011251495 623693824 128339 4294967295 134512640 135223648 3219466640 3219464656 134548161 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28897/statm: 152269 128339 73 174 0 152094 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 611492
[startup+162.317 s]
/proc/loadavg: 1.04 1.00 1.00 3/93 29283
/proc/meminfo: memFree=280700/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=287044 CPUtime=41.78
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 68592 0 0 0 4127 51 0 0 25 0 1 0 1011263548 293933056 68469 4294967295 134512640 135215339 3221058416 3221056704 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 71761 68469 73 172 0 71588 0
Current children cumulated CPU time (s) 159.84
Current children cumulated vsize (KiB) 289464
[startup+222.315 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 29470
/proc/meminfo: memFree=272904/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=294752 CPUtime=101.78
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 70519 0 0 0 10126 52 0 0 25 0 1 0 1011263548 301826048 70396 4294967295 134512640 135215339 3221058416 3221056704 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 73688 70396 73 172 0 73515 0
Current children cumulated CPU time (s) 219.84
Current children cumulated vsize (KiB) 297172
[startup+282.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 29659
/proc/meminfo: memFree=264720/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=302928 CPUtime=161.79
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 72538 0 0 0 16122 57 0 0 25 0 1 0 1011263548 310198272 72415 4294967295 134512640 135215339 3221058416 3221056704 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 75732 72415 73 172 0 75559 0
Current children cumulated CPU time (s) 279.85
Current children cumulated vsize (KiB) 305348
[startup+342.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 29848
/proc/meminfo: memFree=256636/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=311356 CPUtime=221.79
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 74591 0 0 0 22108 71 0 0 25 0 1 0 1011263548 318828544 74468 4294967295 134512640 135215339 3221058416 3221056704 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 77839 74468 73 172 0 77666 0
Current children cumulated CPU time (s) 339.85
################
# More data... #
################
/proc/29279/statm: 87552 84071 73 172 0 87379 0
Current children cumulated CPU time (s) 579.86
Current children cumulated vsize (KiB) 352628
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30791
/proc/meminfo: memFree=207936/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=359748 CPUtime=521.8
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 86633 0 0 0 52080 100 0 0 25 0 1 0 1011263548 368381952 86510 4294967295 134512640 135215339 3221058416 3221056688 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 89937 86510 73 172 0 89764 0
Current children cumulated CPU time (s) 639.86
Current children cumulated vsize (KiB) 362168
[startup+702.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30980
/proc/meminfo: memFree=195164/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=372876 CPUtime=581.8
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 89907 0 0 0 58076 104 0 0 25 0 1 0 1011263548 381825024 89784 4294967295 134512640 135215339 3221058416 3221056704 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 93219 89784 73 172 0 93046 0
Current children cumulated CPU time (s) 699.86
Current children cumulated vsize (KiB) 375296
[startup+762.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 31167
/proc/meminfo: memFree=179500/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=388236 CPUtime=641.81
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 93824 0 0 0 64073 108 0 0 25 0 1 0 1011263548 397553664 93701 4294967295 134512640 135215339 3221058416 3221056416 134532964 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 97059 93701 73 172 0 96886 0
Current children cumulated CPU time (s) 759.87
Current children cumulated vsize (KiB) 390656
[startup+822.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 31358
/proc/meminfo: memFree=166960/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=401228 CPUtime=701.8
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 96902 0 0 0 70067 113 0 0 25 0 1 0 1011263548 410857472 96779 4294967295 134512640 135215339 3221058416 3221056704 134528942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 100307 96779 73 172 0 100134 0
Current children cumulated CPU time (s) 819.86
Current children cumulated vsize (KiB) 403648
[startup+882.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 31547
/proc/meminfo: memFree=153624/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=414412 CPUtime=761.81
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 100205 0 0 0 76063 118 0 0 25 0 1 0 1011263548 424357888 100082 4294967295 134512640 135215339 3221058416 3221056704 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 103603 100082 73 172 0 103430 0
Current children cumulated CPU time (s) 879.87
Current children cumulated vsize (KiB) 416832
[startup+942.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 31734
/proc/meminfo: memFree=142836/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=425324 CPUtime=821.81
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 102940 0 0 0 82061 120 0 0 25 0 1 0 1011263548 435531776 102817 4294967295 134512640 135215339 3221058416 3221056688 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 106331 102817 73 172 0 106158 0
Current children cumulated CPU time (s) 939.87
Current children cumulated vsize (KiB) 427744
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 31923
/proc/meminfo: memFree=131156/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=437088 CPUtime=881.82
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 105857 0 0 0 88061 121 0 0 25 0 1 0 1011263548 447578112 105734 4294967295 134512640 135215339 3221058416 3221056704 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 109272 105734 73 172 0 109099 0
Current children cumulated CPU time (s) 999.88
Current children cumulated vsize (KiB) 439508
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32109
/proc/meminfo: memFree=121508/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=446512 CPUtime=941.82
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 108252 0 0 0 94059 123 0 0 25 0 1 0 1011263548 457228288 108129 4294967295 134512640 135215339 3221058416 3221056704 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 111628 108129 73 172 0 111455 0
Current children cumulated CPU time (s) 1059.88
Current children cumulated vsize (KiB) 448932
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 32297
/proc/meminfo: memFree=108860/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=459368 CPUtime=1001.83
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 111404 0 0 0 100057 126 0 0 25 0 1 0 1011263548 470392832 111281 4294967295 134512640 135215339 3221058416 3221056704 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 114842 111281 73 172 0 114669 0
Current children cumulated CPU time (s) 1119.89
Current children cumulated vsize (KiB) 461788
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32490
/proc/meminfo: memFree=101172/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=468108 CPUtime=1061.82
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 113370 0 0 0 106054 128 0 0 25 0 1 0 1011263548 479342592 113247 4294967295 134512640 135215339 3221058416 3221056704 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 117027 113247 73 172 0 116854 0
Current children cumulated CPU time (s) 1179.88
Current children cumulated vsize (KiB) 470528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.52 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 32674
/proc/meminfo: memFree=96976/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=472060 CPUtime=1082.03
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 114328 0 0 0 108075 128 0 0 25 0 1 0 1011263548 483389440 114205 4294967295 134512640 135215339 3221058416 3221056632 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 118015 114205 73 172 0 117842 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 474480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.52 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 32674
/proc/meminfo: memFree=96976/2074464 swapFree=1953004/1959888
[pid=28893] ppid=28891 vsize=2420 CPUtime=118.06
/proc/28893/stat : 28893 (SatELiteGTI) S 28891 28893 9090 0 -1 4194304 386 155549 0 0 0 0 11665 141 23 0 1 0 1011251494 2478080 278 4294967295 134512640 135169312 3218495664 3218491880 3085680366 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28893/statm: 605 278 235 161 0 44 0
[pid=29279] ppid=28893 vsize=472060 CPUtime=1082.03
/proc/29279/stat : 29279 (minisat_static) R 28893 28893 9090 0 -1 4202496 114328 0 0 0 108075 128 0 0 25 0 1 0 1011263548 483389440 114205 4294967295 134512640 135215339 3221058416 3221056632 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29279/statm: 118015 114205 73 172 0 117842 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 474480
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28893 and gives
# childrusage.ru_utime.tv_sec=116
# childrusage.ru_utime.tv_usec=650000
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=410000
# CPU time returned by wait4() is 118.06
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1202.54
CPU time (s): 1200.09
CPU user time (s): 1197.4
CPU system time (s): 2.69
CPU usage (%): 99.7965
Max. virtual memory (cumulated for all children) (KiB): 611684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.65
system time used= 1.41
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155935
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= 32
involuntary context switches= 764
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-16 11:51:42
IDJOB=1820680
IDBENCH=20580
IDSOLVER=657
FILE ID=tipi19/1820680-1242467502
PBS_JOBID=
Free space on /tmp= 9513 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820680-1242467502/watcher-1820680-1242467502 -o /tmp/evaluation-result-1820680-1242467502/solver-1820680-1242467502 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820680-1242467502.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED= 445820498
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 711000 kB
Buffers: 49584 kB
Cached: 1198628 kB
SwapCached: 3036 kB
Active: 573600 kB
Inactive: 684136 kB
HighTotal: 1178688 kB
HighFree: 173336 kB
LowTotal: 895776 kB
LowFree: 537664 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 133844 kB
Writeback: 0 kB
AnonPages: 8848 kB
Mapped: 3100 kB
Slab: 97288 kB
PageTables: 468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87780 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9369 MiB
End job on tipi19 at 2009-05-16 12:11:56