0.00/0.00 c Parsing...
4.78/4.85 c ==============================================================================
4.78/4.85 c | | ORIGINAL | LEARNT | |
4.78/4.85 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
4.78/4.85 c ==============================================================================
4.78/4.85 c | 0 | 6069107 17675753 | 1820732 0 0 nan | 0.000 % |
76.27/76.35 c | 0 | 5951176 18559697 | -- 0 -- -- | -- | -117689/887802
76.27/76.36 c ==============================================================================
76.27/76.36 c Result : #vars: 263670 #clauses: 5951176 #literals: 18559697
76.27/76.36 c CPU time: 75.2636 s
76.27/76.36 c ==============================================================================
82.35/82.43 c This is MiniSat 2.0 beta
82.35/82.43 c WARNING: for repeatability, setting FPU to use double precision
82.35/82.43 c ============================[ Problem Statistics ]=============================
82.35/82.43 c | |
82.35/82.43 c | Number of variables: 263670 |
82.35/82.43 c | Number of clauses: 5951176 |
85.94/86.08 c | Parsing time: 3.22 s |
86.14/86.27 c ============================[ Search Statistics ]==============================
86.14/86.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
86.14/86.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
86.14/86.27 c ===============================================================================
86.14/86.27 c | 0 | 263670 5951176 18559697 | 1983725 0 nan | 0.000 % |
86.83/86.92 c | 100 | 263670 5951176 18559697 | 1983725 100 27 | 0.000 % |
86.93/87.09 c | 201 | 263670 5951176 18559697 | 1983725 201 36 | 0.000 % |
87.13/87.29 c | 303 | 263670 5951176 18559697 | 1983725 303 55 | 0.000 % |
87.53/87.65 c | 422 | 263670 5951176 18559697 | 1983725 422 48 | 0.000 % |
88.32/88.47 c | 522 | 263670 5951176 18559697 | 1983725 522 45 | 0.000 % |
89.42/89.55 c | 632 | 263670 5951176 18559697 | 1983725 632 45 | 0.000 % |
89.92/90.06 c | 753 | 263670 5951176 18559697 | 1983725 753 41 | 0.000 % |
90.22/90.39 c | 853 | 263670 5951176 18559697 | 1983725 853 41 | 0.000 % |
90.42/90.58 c | 963 | 263670 5951176 18559697 | 1983725 963 39 | 0.000 % |
90.82/90.92 c | 1084 | 263670 5951176 18559697 | 1983725 1084 38 | 0.000 % |
91.42/91.50 c | 1218 | 263670 5951176 18559697 | 1983725 1218 39 | 0.000 % |
91.92/92.04 c | 1318 | 263670 5951176 18559697 | 1983725 1318 42 | 0.000 % |
92.12/92.25 c | 1429 | 263670 5951176 18559697 | 1983725 1429 44 | 0.000 % |
92.23/92.38 c | 1551 | 263670 5951176 18559697 | 1983725 1551 48 | 0.000 % |
92.92/93.02 c | 1686 | 263670 5951176 18559697 | 1983725 1686 46 | 0.000 % |
93.22/93.36 c | 1832 | 263670 5951176 18559697 | 1983725 1832 46 | 0.000 % |
93.43/93.58 c | 1938 | 263670 5951176 18559697 | 1983725 1938 48 | 0.000 % |
93.62/93.78 c | 2051 | 263670 5951176 18559697 | 1983725 2051 49 | 0.000 % |
94.43/94.59 c | 2174 | 263670 5951176 18559697 | 1983725 2174 48 | 0.000 % |
95.02/95.17 c | 2310 | 263670 5951176 18559697 | 1983725 2310 50 | 0.000 % |
95.32/95.44 c | 2456 | 263670 5951176 18559697 | 1983725 2456 50 | 0.000 % |
95.53/95.68 c | 2616 | 263670 5951176 18559697 | 1983725 2616 50 | 0.000 % |
95.72/95.87 c | 2718 | 263670 5951176 18559697 | 1983725 2718 51 | 0.000 % |
95.92/96.06 c | 2828 | 263670 5951176 18559697 | 1983725 2828 50 | 0.000 % |
96.12/96.27 c | 2955 | 263670 5951176 18559697 | 1983725 2955 50 | 0.000 % |
96.73/96.82 c | 3090 | 263670 5951176 18559697 | 1983725 3090 50 | 0.000 % |
97.33/97.46 c | 3237 | 263670 5951176 18559697 | 1983725 3237 50 | 0.000 % |
99.33/99.45 c | 3398 | 263670 5951176 18559697 | 1983725 3398 49 | 0.000 % |
99.53/99.67 c | 3574 | 263670 5951176 18559697 | 1983725 3574 50 | 0.000 % |
99.93/100.02 c | 3676 | 263670 5951176 18559697 | 1983725 3676 50 | 0.000 % |
100.13/100.26 c | 3786 | 263670 5951176 18559697 | 1983725 3786 49 | 0.000 % |
100.33/100.49 c | 3908 | 263670 5951176 18559697 | 1983725 3908 49 | 0.000 % |
100.63/100.70 c | 4041 | 263670 5951176 18559697 | 1983725 4041 48 | 0.000 % |
101.13/101.24 c | 4187 | 263670 5951176 18559697 | 1983725 4187 49 | 0.000 % |
101.33/101.43 c | 4347 | 263670 5951176 18559697 | 1983725 4347 48 | 0.000 % |
101.83/101.99 c | 4523 | 263670 5951176 18559697 | 1983725 4523 48 | 0.000 % |
102.23/102.39 c | 4718 | 263670 5951176 18559697 | 1983725 4718 47 | 0.000 % |
102.43/102.56 c | 4820 | 263670 5951176 18559697 | 1983725 4820 47 | 0.000 % |
103.23/103.38 c | 4930 | 263670 5951176 18559697 | 1983725 4930 47 | 0.000 % |
103.53/103.63 c | 5052 | 263670 5951176 18559697 | 1983725 5052 46 | 0.000 % |
103.83/103.93 c | 5186 | 263670 5951176 18559697 | 1983725 5186 46 | 0.000 % |
104.43/104.50 c | 5334 | 263670 5951176 18559697 | 1983725 5334 46 | 0.000 % |
104.73/104.81 c | 5497 | 263670 5951176 18559697 | 1983725 5497 47 | 0.000 % |
105.22/105.31 c | 5673 | 263670 5951176 18559697 | 1983725 5673 47 | 0.000 % |
105.82/105.90 c | 5866 | 263670 5951176 18559697 | 1983725 5866 48 | 0.000 % |
106.22/106.32 c | 6078 | 263670 5951176 18559697 | 1983725 6078 48 | 0.000 % |
106.63/106.77 c | 6178 | 263670 5951176 18559697 | 1983725 6178 48 | 0.000 % |
107.02/107.11 c | 6289 | 263670 5951176 18559697 | 1983725 6289 48 | 0.000 % |
107.22/107.33 c | 6410 | 263670 5951176 18559697 | 1983725 6410 48 | 0.000 % |
108.02/108.13 c | 6545 | 263670 5951176 18559697 | 1983725 6545 48 | 0.000 % |
108.62/108.71 c | 6692 | 263670 5951176 18559697 | 1983725 6692 48 | 0.000 % |
109.12/109.20 c | 6854 | 263670 5951176 18559697 | 1983725 6854 48 | 0.000 % |
109.72/109.89 c | 7031 | 263670 5951176 18559697 | 1983725 7031 48 | 0.000 % |
111.82/111.90 c | 7228 | 263670 5951176 18559697 | 1983725 7228 48 | 0.000 % |
113.13/113.24 c | 7440 | 263670 5951176 18559697 | 1983725 7440 48 | 0.000 % |
113.72/113.84 c | 7673 | 263670 5951176 18559697 | 1983725 7673 49 | 0.000 % |
114.22/114.37 c | 7773 | 263670 5951176 18559697 | 1983725 7773 49 | 0.000 % |
114.92/115.00 c | 7883 | 263670 5951176 18559697 | 1983725 7883 49 | 0.000 % |
115.42/115.58 c | 8004 | 263670 5951176 18559697 | 1983725 8004 48 | 0.000 % |
116.02/116.17 c | 8137 | 263670 5951176 18559697 | 1983725 8137 48 | 0.000 % |
116.42/116.59 c | 8284 | 263670 5951176 18559697 | 1983725 8284 49 | 0.000 % |
116.92/117.00 c | 8444 | 263670 5951176 18559697 | 1983725 8444 48 | 0.000 % |
118.12/118.23 c | 8620 | 263670 5951176 18559697 | 1983725 8620 48 | 0.000 % |
118.72/118.81 c | 8813 | 263670 5951176 18559697 | 1983725 8813 48 | 0.000 % |
119.12/119.28 c | 9025 | 263670 5951176 18559697 | 1983725 9025 49 | 0.000 % |
120.22/120.30 c | 9260 | 263670 5951176 18559697 | 1983725 9260 49 | 0.000 % |
120.62/120.79 c | 9516 | 263670 5951176 18559697 | 1983725 9516 50 | 0.000 % |
121.02/121.13 c | 9616 | 263670 5951176 18559697 | 1983725 9616 50 | 0.000 % |
121.32/121.48 c | 9726 | 263670 5951176 18559697 | 1983725 9726 50 | 0.000 % |
121.82/121.94 c | 9848 | 263670 5951176 18559697 | 1983725 9848 50 | 0.000 % |
122.42/122.50 c | 9981 | 263670 5951176 18559697 | 1983725 9981 50 | 0.000 % |
122.72/122.81 c | 10127 | 263670 5951176 18559697 | 2147483647 10127 50 | 0.000 % |
123.02/123.16 c | 10287 | 263670 5951176 18559697 | 2147483647 10287 51 | 0.000 % |
123.32/123.44 c | 10464 | 263670 5951176 18559697 | 2147483647 10464 51 | 0.000 % |
123.52/123.68 c | 10657 | 263670 5951176 18559697 | 2147483647 10657 52 | 0.000 % |
124.02/124.18 c | 10869 | 263670 5951176 18559697 | 2147483647 10869 52 | 0.000 % |
124.42/124.50 c | 11103 | 263670 5951176 18559697 | 2147483647 11103 52 | 0.000 % |
125.42/125.50 c | 11359 | 263670 5951176 18559697 | 2147483647 11359 53 | 0.000 % |
126.12/126.28 c | 11640 | 263670 5951176 18559697 | 2147483647 11640 53 | 0.000 % |
126.42/126.51 c | 11740 | 263670 5951176 18559697 | 2147483647 11740 53 | 0.000 % |
126.71/126.84 c | 11853 | 263670 5951176 18559697 | 2147483647 11853 53 | 0.000 % |
127.01/127.10 c | 11975 | 263670 5951176 18559697 | 2147483647 11975 53 | 0.000 % |
127.11/127.29 c | 12108 | 263670 5951176 18559697 | 2147483647 12108 53 | 0.000 % |
127.52/127.68 c | 12257 | 263670 5951176 18559697 | 2147483647 12257 54 | 0.000 % |
128.01/128.12 c | 12417 | 263670 5951176 18559697 | 2147483647 12417 54 | 0.000 % |
128.21/128.34 c | 12593 | 263670 5951176 18559697 | 2147483647 12593 54 | 0.000 % |
128.91/129.07 c | 12787 | 263670 5951176 18559697 | 2147483647 12787 54 | 0.000 % |
129.31/129.41 c | 13000 | 263670 5951176 18559697 | 2147483647 13000 54 | 0.000 % |
129.91/130.01 c | 13233 | 263670 5951176 18559697 | 2147483647 13233 54 | 0.000 % |
131.21/131.30 c | 13492 | 263670 5951176 18559697 | 2147483647 13492 54 | 0.000 % |
131.51/131.68 c | 13773 | 263670 5951176 18559697 | 2147483647 13773 54 | 0.000 % |
132.02/132.19 c | 14082 | 263670 5951176 18559697 | 2147483647 14082 54 | 0.000 % |
132.62/132.74 c | 14182 | 263670 5951176 18559697 | 2147483647 14182 54 | 0.000 % |
132.93/133.01 c | 14295 | 263670 5951176 18559697 | 2147483647 14295 55 | 0.000 % |
133.12/133.25 c | 14416 | 263670 5951176 18559697 | 2147483647 14416 55 | 0.000 % |
133.52/133.66 c | 14550 | 263670 5951176 18559697 | 2147483647 14550 55 | 0.000 % |
133.92/134.03 c | 14698 | 263670 5951176 18559697 | 2147483647 14698 55 | 0.000 % |
134.22/134.35 c | 14860 | 263670 5951176 18559697 | 2147483647 14860 55 | 0.000 % |
134.42/134.59 c | 15045 | 263670 5951176 18559697 | 2147483647 15045 55 | 0.000 % |
134.72/134.88 c | 15238 | 263670 5951176 18559697 | 2147483647 15238 55 | 0.000 % |
135.12/135.23 c | 15450 | 263670 5951176 18559697 | 2147483647 15450 54 | 0.000 % |
135.52/135.62 c | 15688 | 263670 5951176 18559697 | 2147483647 15688 54 | 0.000 % |
135.92/136.00 c | 15944 | 263670 5951176 18559697 | 2147483647 15944 54 | 0.000 % |
136.32/136.45 c | 16226 | 263670 5951176 18559697 | 2147483647 16226 54 | 0.000 % |
136.82/136.97 c | 16538 | 263670 5951176 18559697 | 2147483647 16538 54 | 0.000 % |
137.42/137.53 c | 16877 | 263670 5951176 18559697 | 2147483647 16877 53 | 0.000 % |
137.52/137.69 c | 16977 | 263670 5951176 18559697 | 2147483647 16977 53 | 0.000 % |
137.92/138.00 c | 17087 | 263670 5951176 18559697 | 2147483647 17087 53 | 0.000 % |
138.12/138.28 c | 17209 | 263670 5951176 18559697 | 2147483647 17209 53 | 0.000 % |
138.42/138.57 c | 17342 | 263670 5951176 18559697 | 2147483647 17342 53 | 0.000 % |
138.62/138.78 c | 17488 | 263670 5951176 18559697 | 2147483647 17488 53 | 0.000 % |
139.82/139.93 c | 17648 | 263670 5951176 18559697 | 2147483647 17648 53 | 0.000 % |
140.12/140.23 c | 17824 | 263670 5951176 18559697 | 2147483647 17824 53 | 0.000 % |
140.32/140.47 c | 18017 | 263670 5951176 18559697 | 2147483647 18017 53 | 0.000 % |
140.72/140.85 c | 18233 | 263670 5951176 18559697 | 2147483647 18233 52 | 0.000 % |
141.12/141.20 c | 18467 | 263670 5951176 18559697 | 2147483647 18467 52 | 0.000 % |
141.32/141.48 c | 18725 | 263670 5951176 18559697 | 2147483647 18725 52 | 0.000 % |
141.61/141.79 c | 19008 | 263670 5951176 18559697 | 2147483647 19008 52 | 0.000 % |
142.31/142.43 c | 19319 | 263670 5951176 18559697 | 2147483647 19319 52 | 0.000 % |
142.61/142.72 c | 19660 | 263670 5951176 18559697 | 2147483647 19660 52 | 0.000 % |
143.11/143.22 c | 20035 | 263670 5951176 18559697 | 2147483647 20035 51 | 0.000 % |
143.41/143.54 c | 20135 | 263670 5951176 18559697 | 2147483647 20135 51 | 0.000 % |
143.71/143.82 c | 20245 | 263670 5951176 18559697 | 2147483647 20245 51 | 0.000 % |
143.92/144.03 c | 20366 | 263670 5951176 18559697 | 2147483647 20366 51 | 0.000 % |
144.11/144.29 c | 20501 | 263670 5951176 18559697 | 2147483647 20501 51 | 0.000 % |
144.51/144.68 c | 20647 | 263670 5951176 18559697 | 2147483647 20647 51 | 0.000 % |
144.81/144.91 c | 20808 | 263670 5951176 18559697 | 2147483647 20808 51 | 0.000 % |
145.12/145.27 c | 20985 | 263670 5951176 18559697 | 2147483647 20985 51 | 0.000 % |
145.51/145.61 c | 21178 | 263670 5951176 18559697 | 2147483647 21178 51 | 0.000 % |
145.71/145.86 c | 21390 | 263670 5951176 18559697 | 2147483647 21390 51 | 0.000 % |
146.12/146.29 c | 21624 | 263670 5951176 18559697 | 2147483647 21624 51 | 0.000 % |
146.51/146.68 c | 21881 | 263670 5951176 18559697 | 2147483647 21881 51 | 0.000 % |
146.81/146.96 c | 22162 | 263670 5951176 18559697 | 2147483647 22162 51 | 0.000 % |
147.32/147.43 c | 22471 | 263670 5951176 18559697 | 2147483647 22471 51 | 0.000 % |
148.01/148.11 c | 22810 | 263670 5951176 18559697 | 2147483647 22810 51 | 0.000 % |
148.41/148.58 c | 23183 | 263670 5951176 18559697 | 2147483647 23183 51 | 0.000 % |
149.11/149.27 c | 23594 | 263670 5951176 18559697 | 2147483647 23594 51 | 0.000 % |
149.51/149.63 c | 23694 | 263670 5951176 18559697 | 2147483647 23694 50 | 0.000 % |
149.71/149.87 c | 23807 | 263670 5951176 18559697 | 2147483647 23807 51 | 0.000 % |
150.01/150.15 c | 23928 | 263670 5951176 18559697 | 2147483647 23928 50 | 0.000 % |
150.21/150.38 c | 24062 | 263670 5951176 18559697 | 2147483647 24062 50 | 0.000 % |
150.91/151.02 c | 24208 | 263670 5951176 18559697 | 2147483647 24208 50 | 0.000 % |
151.11/151.26 c | 24372 | 263670 5951176 18559697 | 2147483647 24372 50 | 0.000 % |
151.71/151.85 c | 24548 | 263670 5951176 18559697 | 2147483647 24548 50 | 0.000 % |
153.11/153.25 c | 24742 | 263670 5951176 18559697 | 2147483647 24742 50 | 0.000 % |
153.61/153.77 c | 24954 | 263670 5951176 18559697 | 2147483647 24954 50 | 0.000 % |
155.01/155.12 c | 25189 | 263670 5951176 18559697 | 2147483647 25189 50 | 0.000 % |
155.31/155.50 c | 25447 | 263670 5951176 18559697 | 2147483647 25447 50 | 0.000 % |
155.71/155.83 c | 25729 | 263670 5951176 18559697 | 2147483647 25729 50 | 0.000 % |
156.01/156.17 c | 26038 | 263670 5951176 18559697 | 2147483647 26038 50 | 0.000 % |
158.21/158.37 c | 26377 | 263670 5951176 18559697 | 2147483647 26377 50 | 0.000 % |
158.61/158.72 c | 26750 | 263670 5951176 18559697 | 2147483647 26750 50 | 0.000 % |
159.01/159.14 c | 27159 | 263670 5951176 18559697 | 2147483647 27159 50 | 0.000 % |
159.81/159.99 c | 27609 | 263670 5951176 18559697 | 2147483647 27609 51 | 0.000 % |
160.31/160.40 c | 27710 | 263670 5951176 18559697 | 2147483647 27710 51 | 0.000 % |
160.42/160.59 c | 27821 | 263670 5951176 18559697 | 2147483647 27821 51 | 0.000 % |
160.81/160.92 c | 27943 | 263670 5951176 18559697 | 2147483647 27943 51 | 0.000 % |
161.21/161.30 c | 28076 | 263670 5951176 18559697 | 2147483647 28076 51 | 0.000 % |
161.71/161.80 c | 28223 | 263670 5951176 18559697 | 2147483647 28223 51 | 0.000 % |
162.21/162.30 c | 28383 | 263670 5951176 18559697 | 2147483647 28383 51 | 0.000 % |
162.51/162.66 c | 28559 | 263670 5951176 18559697 | 2147483647 28559 51 | 0.000 % |
163.11/163.21 c | 28754 | 263670 5951176 18559697 | 2147483647 28754 51 | 0.000 % |
163.31/163.49 c | 28967 | 263670 5951176 18559697 | 2147483647 28967 51 | 0.000 % |
163.81/163.94 c | 29200 | 263670 5951176 18559697 | 2147483647 29200 51 | 0.000 % |
164.31/164.47 c | 29456 | 263670 5951176 18559697 | 2147483647 29456 51 | 0.000 % |
164.71/164.90 c | 29737 | 263670 5951176 18559697 | 2147483647 29737 51 | 0.000 % |
165.21/165.31 c | 30047 | 263670 5951176 18559697 | 2147483647 30047 50 | 0.000 % |
165.71/165.86 c | 30386 | 263670 5951176 18559697 | 2147483647 30386 50 | 0.000 % |
166.11/166.29 c | 30760 | 263670 5951176 18559697 | 2147483647 30760 50 | 0.000 % |
166.71/166.87 c | 31169 | 263670 5951176 18559697 | 2147483647 31169 50 | 0.000 % |
167.41/167.51 c | 31619 | 263670 5951176 18559697 | 2147483647 31619 50 | 0.000 % |
167.91/168.03 c | 32112 | 263670 5951176 18559697 | 2147483647 32112 50 | 0.000 % |
168.11/168.22 c | 32212 | 263670 5951176 18559697 | 2147483647 32212 49 | 0.000 % |
168.31/168.41 c | 32322 | 263670 5951176 18559697 | 2147483647 32322 49 | 0.000 % |
168.51/168.61 c | 32443 | 263670 5951176 18559697 | 2147483647 32443 49 | 0.000 % |
168.91/169.08 c | 32578 | 263670 5951176 18559697 | 2147483647 32578 49 | 0.000 % |
169.21/169.34 c | 32724 | 263670 5951176 18559697 | 2147483647 32724 49 | 0.000 % |
169.71/169.82 c | 32887 | 263670 5951176 18559697 | 2147483647 32887 49 | 0.000 % |
170.20/170.31 c | 33064 | 263670 5951176 18559697 | 2147483647 33064 49 | 0.000 % |
170.70/170.81 c | 33257 | 263670 5951176 18559697 | 2147483647 33257 49 | 0.000 % |
170.90/171.04 c | 33470 | 263670 5951176 18559697 | 2147483647 33470 49 | 0.000 % |
171.41/171.52 c | 33703 | 263670 5951176 18559697 | 2147483647 33703 49 | 0.000 % |
171.80/171.99 c | 33960 | 263670 5951176 18559697 | 2147483647 33960 49 | 0.000 % |
172.61/172.74 c | 34244 | 263670 5951176 18559697 | 2147483647 34244 50 | 0.000 % |
173.10/173.23 c | 34554 | 263670 5951176 18559697 | 2147483647 34554 50 | 0.000 % |
173.61/173.75 c | 34897 | 263670 5951176 18559697 | 2147483647 34897 50 | 0.000 % |
174.10/174.21 c | 35269 | 263670 5951176 18559697 | 2147483647 35269 50 | 0.000 % |
174.60/174.77 c | 35679 | 263670 5951176 18559697 | 2147483647 35679 50 | 0.000 % |
175.00/175.18 c | 36129 | 263670 5951176 18559697 | 2147483647 36129 50 | 0.000 % |
175.81/175.96 c | 36623 | 263670 5951176 18559697 | 2147483647 36623 50 | 0.000 % |
176.50/176.62 c | 37166 | 263670 5951176 18559697 | 2147483647 37166 50 | 0.000 % |
177.20/177.33 c | 37266 | 263670 5951176 18559697 | 2147483647 37266 50 | 0.000 % |
177.40/177.50 c | 37376 | 263670 5951176 18559697 | 2147483647 37376 50 | 0.000 % |
177.70/177.85 c | 37501 | 263670 5951176 18559697 | 2147483647 37501 50 | 0.000 % |
178.50/178.63 c | 37635 | 263670 5951176 18559697 | 2147483647 37635 50 | 0.000 % |
178.91/179.05 c | 37782 | 263670 5951176 18559697 | 2147483647 37782 50 | 0.000 % |
179.41/179.50 c | 37942 | 263670 5951176 18559697 | 2147483647 37942 50 | 0.000 % |
179.61/179.76 c | 38118 | 263670 5951176 18559697 | 2147483647 38118 50 | 0.000 % |
180.01/180.18 c | 38311 | 263670 5951176 18559697 | 2147483647 38311 50 | 0.000 % |
180.91/181.08 c | 38523 | 263670 5951176 18559697 | 2147483647 38523 50 | 0.000 % |
181.51/181.61 c | 38759 | 263670 5951176 18559697 | 2147483647 38759 50 | 0.000 % |
181.71/181.89 c | 39016 | 263670 5951176 18559697 | 2147483647 39016 50 | 0.000 % |
183.11/183.22 c | 39299 | 263670 5951176 18559697 | 2147483647 39299 50 | 0.000 % |
183.41/183.58 c | 39608 | 263670 5951176 18559697 | 2147483647 39608 50 | 0.000 % |
184.91/185.08 c | 39948 | 263670 5951176 18559697 | 2147483647 39948 50 | 0.000 % |
185.81/185.96 c | 40328 | 263670 5951176 18559697 | 2147483647 40328 50 | 0.000 % |
186.60/186.77 c | 40737 | 263670 5951176 18559697 | 2147483647 40737 50 | 0.000 % |
187.80/187.91 c | 41187 | 263670 5951176 18559697 | 2147483647 41187 50 | 0.000 % |
188.01/188.19 c | 41681 | 263670 5951176 18559697 | 2147483647 41681 50 | 0.000 % |
189.50/189.60 c | 42223 | 263670 5951176 18559697 | 2147483647 42223 50 | 0.000 % |
191.21/191.39 c | 42820 | 263670 5951176 18559697 | 2147483647 42820 50 | 0.000 % |
191.50/191.62 c | 42921 | 263670 5951176 18559697 | 2147483647 42921 50 | 0.000 % |
191.80/191.98 c | 43031 | 263670 5951176 18559697 | 2147483647 43031 50 | 0.000 % |
192.70/192.82 c | 43153 | 263670 5951176 18559697 | 2147483647 43153 50 | 0.000 % |
192.90/193.06 c | 43287 | 263670 5951176 18559697 | 2147483647 43287 50 | 0.000 % |
193.30/193.47 c | 43435 | 263670 5951176 18559697 | 2147483647 43435 50 | 0.000 % |
193.70/193.80 c | 43596 | 263670 5951176 18559697 | 2147483647 43596 50 | 0.000 % |
194.30/194.48 c | 43772 | 263670 5951176 18559697 | 2147483647 43772 50 | 0.000 % |
194.70/194.83 c | 43966 | 263670 5951176 18559697 | 2147483647 43966 50 | 0.000 % |
194.90/195.05 c | 44179 | 263670 5951176 18559697 | 2147483647 44179 51 | 0.000 % |
195.20/195.37 c | 44413 | 263670 5951176 18559697 | 2147483647 44413 51 | 0.000 % |
196.20/196.34 c | 44669 | 263670 5951176 18559697 | 2147483647 44669 51 | 0.000 % |
196.70/196.81 c | 44951 | 263670 5951176 18559697 | 2147483647 44951 51 | 0.000 % |
197.10/197.29 c | 45264 | 263670 5951176 18559697 | 2147483647 45264 51 | 0.000 % |
197.70/197.80 c | 45603 | 263670 5951176 18559697 | 2147483647 45603 51 | 0.000 % |
198.10/198.29 c | 45980 | 263670 5951176 18559697 | 2147483647 45980 51 | 0.000 % |
199.40/199.55 c | 46393 | 263670 5951176 18559697 | 2147483647 46393 51 | 0.000 % |
200.60/200.80 c | 46845 | 263670 5951176 18559697 | 2147483647 46845 51 | 0.000 % |
201.20/201.34 c | 47339 | 263670 5951176 18559697 | 2147483647 47339 51 | 0.000 % |
202.40/202.57 c | 47882 | 263670 5951176 18559697 | 2147483647 47882 51 | 0.000 % |
202.90/203.09 c | 48482 | 263670 5951176 18559697 | 2147483647 48482 51 | 0.000 % |
204.30/204.48 c | 49137 | 263670 5951176 18559697 | 2147483647 49137 52 | 0.000 % |
204.60/204.70 c | 49238 | 263670 5951176 18559697 | 2147483647 49238 52 | 0.000 % |
204.90/205.09 c | 49349 | 263670 5951176 18559697 | 2147483647 49349 52 | 0.000 % |
205.20/205.35 c | 49470 | 263670 5951176 18559697 | 2147483647 49470 52 | 0.000 % |
205.40/205.57 c | 49604 | 263670 5951176 18559697 | 2147483647 49604 52 | 0.000 % |
206.00/206.16 c | 49750 | 263670 5951176 18559697 | 2147483647 49750 52 | 0.000 % |
206.61/206.74 c | 49910 | 263670 5951176 18559697 | 2147483647 49910 52 | 0.000 % |
207.00/207.12 c | 50086 | 263670 5951176 18559697 | 2147483647 50086 52 | 0.000 % |
207.50/207.65 c | 50280 | 263670 5951176 18559697 | 2147483647 50280 52 | 0.000 % |
208.10/208.30 c | 50492 | 263670 5951176 18559697 | 2147483647 50492 52 | 0.000 % |
208.50/208.62 c | 50725 | 263670 5951176 18559697 | 2147483647 50725 52 | 0.000 % |
208.80/208.99 c | 50981 | 263670 5951176 18559697 | 2147483647 50981 52 | 0.000 % |
209.50/209.61 c | 51264 | 263670 5951176 18559697 | 2147483647 51264 52 | 0.000 % |
209.90/210.09 c | 51573 | 263670 5951176 18559697 | 2147483647 51573 52 | 0.000 % |
210.80/210.93 c | 51912 | 263670 5951176 18559697 | 2147483647 51912 52 | 0.000 % |
211.30/211.44 c | 52284 | 263670 5951176 18559697 | 2147483647 52284 52 | 0.000 % |
212.10/212.21 c | 52695 | 263670 5951176 18559697 | 2147483647 52695 52 | 0.000 % |
212.60/212.72 c | 53146 | 263670 5951176 18559697 | 2147483647 53146 52 | 0.000 % |
213.30/213.46 c | 53639 | 263670 5951176 18559697 | 2147483647 53639 53 | 0.000 % |
213.69/213.83 c | 54181 | 263670 5951176 18559697 | 2147483647 54181 53 | 0.000 % |
214.69/214.84 c | 54779 | 263670 5951176 18559697 | 2147483647 54779 53 | 0.000 % |
215.50/215.61 c | 55434 | 263670 5951176 18559697 | 2147483647 55434 53 | 0.000 % |
217.80/217.91 c | 56155 | 263670 5951176 18559697 | 2147483647 56155 54 | 0.000 % |
218.00/218.13 c | 56255 | 263670 5951176 18559697 | 2147483647 56255 54 | 0.000 % |
218.20/218.39 c | 56365 | 263670 5951176 18559697 | 2147483647 56365 54 | 0.000 % |
218.70/218.87 c | 56486 | 263670 5951176 18559697 | 2147483647 56486 54 | 0.000 % |
219.80/219.92 c | 56619 | 263670 5951176 18559697 | 2147483647 56619 54 | 0.000 % |
220.10/220.22 c | 56765 | 263670 5951176 18559697 | 2147483647 56765 54 | 0.000 % |
221.00/221.14 c | 56925 | 263670 5951176 18559697 | 2147483647 56925 54 | 0.000 % |
221.20/221.34 c | 57102 | 263670 5951176 18559697 | 2147483647 57102 54 | 0.000 % |
221.70/221.81 c | 57300 | 263670 5951176 18559697 | 2147483647 57300 54 | 0.000 % |
222.60/222.72 c | 57512 | 263670 5951176 18559697 | 2147483647 57512 54 | 0.000 % |
223.50/223.61 c | 57746 | 263670 5951176 18559697 | 2147483647 57746 54 | 0.000 % |
223.90/224.02 c | 58003 | 263670 5951176 18559697 | 2147483647 58003 54 | 0.000 % |
224.30/224.49 c | 58286 | 263670 5951176 18559697 | 2147483647 58286 54 | 0.000 % |
224.89/225.02 c | 58597 | 263670 5951176 18559697 | 2147483647 58597 54 | 0.000 % |
225.30/225.45 c | 58938 | 263670 5951176 18559697 | 2147483647 58938 54 | 0.000 % |
225.69/225.88 c | 59310 | 263670 5951176 18559697 | 2147483647 59310 54 | 0.000 % |
226.19/226.37 c | 59720 | 263670 5951176 18559697 | 2147483647 59720 54 | 0.000 % |
226.69/226.81 c | 60170 | 263670 5951176 18559697 | 2147483647 60170 54 | 0.000 % |
227.29/227.47 c | 60664 | 263670 5951176 18559697 | 2147483647 60664 54 | 0.000 % |
228.00/228.12 c | 61206 | 263670 5951176 18559697 | 2147483647 61206 54 | 0.000 % |
228.60/228.73 c | 61804 | 263670 5951176 18559697 | 2147483647 61804 53 | 0.000 % |
229.30/229.48 c | 62459 | 263670 5951176 18559697 | 2147483647 62459 53 | 0.000 % |
230.00/230.16 c | 63179 | 263670 5951176 18559697 | 2147483647 63179 53 | 0.000 % |
230.80/230.95 c | 63972 | 263670 5951176 18559697 | 2147483647 63972 52 | 0.000 % |
231.00/231.13 c | 64073 | 263670 5951176 18559697 | 2147483647 64073 52 | 0.000 % |
231.20/231.34 c | 64184 | 263670 5951176 18559697 | 2147483647 64184 52 | 0.000 % |
231.39/231.58 c | 64305 | 263670 5951176 18559697 | 2147483647 64305 52 | 0.000 % |
231.59/231.74 c | 64439 | 263670 5951176 18559697 | 2147483647 64439 52 | 0.000 % |
231.79/231.95 c | 64585 | 263670 5951176 18559697 | 2147483647 64585 52 | 0.000 % |
232.00/232.16 c | 64745 | 263670 5951176 18559697 | 2147483647 64745 52 | 0.000 % |
232.39/232.59 c | 64923 | 263670 5951176 18559697 | 2147483647 64923 52 | 0.000 % |
232.69/232.86 c | 65118 | 263670 5951176 18559697 | 2147483647 65118 52 | 0.000 % |
233.00/233.16 c | 65330 | 263670 5951176 18559697 | 2147483647 65330 52 | 0.000 % |
233.39/233.53 c | 65563 | 263670 5951176 18559697 | 2147483647 65563 52 | 0.000 % |
233.69/233.83 c | 65819 | 263670 5951176 18559697 | 2147483647 65819 52 | 0.000 % |
233.89/234.05 c | 66102 | 263670 5951176 18559697 | 2147483647 66102 52 | 0.000 % |
234.29/234.47 c | 66411 | 263670 5951176 18559697 | 2147483647 66411 52 | 0.000 % |
234.69/234.82 c | 66750 | 263670 5951176 18559697 | 2147483647 66750 52 | 0.000 % |
235.09/235.23 c | 67124 | 263670 5951176 18559697 | 2147483647 67124 51 | 0.000 % |
235.49/235.68 c | 67533 | 263670 5951176 18559697 | 2147483647 67533 51 | 0.000 % |
235.89/236.07 c | 67982 | 263670 5951176 18559697 | 2147483647 67982 51 | 0.000 % |
236.49/236.63 c | 68476 | 263670 5951176 18559697 | 2147483647 68476 51 | 0.000 % |
236.99/237.16 c | 69018 | 263670 5951176 18559697 | 2147483647 69018 51 | 0.000 % |
237.59/237.74 c | 69615 | 263670 5951176 18559697 | 2147483647 69615 51 | 0.000 % |
238.29/238.49 c | 70270 | 263670 5951176 18559697 | 2147483647 70270 51 | 0.000 % |
239.29/239.42 c | 70990 | 263670 5951176 18559697 | 2147483647 70990 50 | 0.000 % |
240.09/240.20 c | 71782 | 263670 5951176 18559697 | 2147483647 71782 50 | 0.000 % |
241.19/241.32 c | 72654 | 263670 5951176 18559697 | 2147483647 72654 49 | 0.000 % |
241.39/241.56 c | 72754 | 263670 5951176 18559697 | 2147483647 72754 49 | 0.000 % |
241.59/241.76 c | 72864 | 263670 5951176 18559697 | 2147483647 72864 49 | 0.000 % |
241.89/242.01 c | 72985 | 263670 5951176 18559697 | 2147483647 72985 49 | 0.000 % |
242.09/242.25 c | 73118 | 263670 5951176 18559697 | 2147483647 73118 49 | 0.000 % |
242.39/242.51 c | 73265 | 263670 5951176 18559697 | 2147483647 73265 49 | 0.000 % |
242.79/242.92 c | 73427 | 263670 5951176 18559697 | 2147483647 73427 49 | 0.000 % |
243.69/243.86 c | 73603 | 263670 5951176 18559697 | 2147483647 73603 49 | 0.000 % |
244.39/244.52 c | 73797 | 263670 5951176 18559697 | 2147483647 73797 49 | 0.000 % |
244.69/244.89 c | 74010 | 263670 5951176 18559697 | 2147483647 74010 49 | 0.000 % |
245.59/245.79 c | 74246 | 263670 5951176 18559697 | 2147483647 74246 50 | 0.000 % |
246.19/246.33 c | 74502 | 263670 5951176 18559697 | 2147483647 74502 50 | 0.000 % |
247.49/247.66 c | 74783 | 263670 5951176 18559697 | 2147483647 74783 50 | 0.000 % |
248.59/248.76 c | 75092 | 263670 5951176 18559697 | 2147483647 75092 50 | 0.000 % |
250.89/251.03 c | 75431 | 263670 5951176 18559697 | 2147483647 75431 50 | 0.000 % |
251.80/251.98 c | 75804 | 263670 5951176 18559697 | 2147483647 75804 50 | 0.000 % |
253.29/253.42 c | 76213 | 263670 5951176 18559697 | 2147483647 76213 50 | 0.000 % |
254.09/254.24 c | 76662 | 263670 5951176 18559697 | 2147483647 76662 50 | 0.000 % |
255.79/255.95 c | 77157 | 263670 5951176 18559697 | 2147483647 77157 50 | 0.000 % |
257.09/257.25 c | 77699 | 263670 5951176 18559697 | 2147483647 77699 50 | 0.000 % |
259.09/259.22 c | 78295 | 263670 5951176 18559697 | 2147483647 78295 50 | 0.000 % |
261.09/261.20 c | 78951 | 263670 5951176 18559697 | 2147483647 78951 51 | 0.000 % |
262.89/263.04 c | 79672 | 263670 5951176 18559697 | 2147483647 79672 51 | 0.000 % |
264.99/265.18 c | 80464 | 263670 5951176 18559697 | 2147483647 80464 51 | 0.000 % |
265.99/266.12 c | 81339 | 263670 5951176 18559697 | 2147483647 81339 52 | 0.000 % |
267.89/268.07 c | 82298 | 263670 5951176 18559697 | 2147483647 82298 53 | 0.000 % |
268.19/268.38 c | 82399 | 263670 5951176 18559697 | 2147483647 82399 53 | 0.000 % |
268.79/268.99 c | 82509 | 263670 5951176 18559697 | 2147483647 82509 53 | 0.000 % |
269.79/269.92 c | 82630 | 263670 5951176 18559697 | 2147483647 82630 53 | 0.000 % |
270.19/270.35 c | 82763 | 263670 5951176 18559697 | 2147483647 82763 53 | 0.000 % |
270.68/270.81 c | 82909 | 263670 5951176 18559697 | 2147483647 82909 53 | 0.000 % |
271.68/271.81 c | 83069 | 263670 5951176 18559697 | 2147483647 83069 53 | 0.000 % |
272.69/272.88 c | 83247 | 263670 5951176 18559697 | 2147483647 83247 53 | 0.000 % |
273.28/273.49 c | 83442 | 263670 5951176 18559697 | 2147483647 83442 53 | 0.000 % |
273.79/273.96 c | 83654 | 263670 5951176 18559697 | 2147483647 83654 53 | 0.000 % |
274.79/274.95 c | 83888 | 263670 5951176 18559697 | 2147483647 83888 53 | 0.000 % |
275.48/275.69 c | 84148 | 263670 5951176 18559697 | 2147483647 84148 53 | 0.000 % |
276.48/276.61 c | 84429 | 263670 5951176 18559697 | 2147483647 84429 53 | 0.000 % |
277.98/278.17 c | 84738 | 263670 5951176 18559697 | 2147483647 84738 53 | 0.000 % |
278.68/278.89 c | 85079 | 263670 5951176 18559697 | 2147483647 85079 54 | 0.000 % |
280.18/280.33 c | 85451 | 263670 5951176 18559697 | 2147483647 85451 54 | 0.000 % |
280.78/280.91 c | 85866 | 263670 5951176 18559697 | 2147483647 85866 54 | 0.000 % |
281.28/281.47 c | 86316 | 263670 5951176 18559697 | 2147483647 86316 54 | 0.000 % |
281.78/281.95 c | 86809 | 263670 5951176 18559697 | 2147483647 86809 54 | 0.000 % |
282.78/282.96 c | 87353 | 263670 5951176 18559697 | 2147483647 87353 54 | 0.000 % |
283.68/283.82 c | 87949 | 263670 5951176 18559697 | 2147483647 87949 54 | 0.000 % |
284.68/284.88 c | 88604 | 263670 5951176 18559697 | 2147483647 88604 54 | 0.000 % |
285.78/285.95 c | 89324 | 263670 5951176 18559697 | 2147483647 89324 54 | 0.000 % |
286.88/287.05 c | 90116 | 263670 5951176 18559697 | 2147483647 90116 54 | 0.000 % |
288.18/288.34 c | 90987 | 263670 5951176 18559697 | 2147483647 90987 55 | 0.000 % |
289.19/289.37 c | 91945 | 263670 5951176 18559697 | 2147483647 91945 55 | 0.000 % |
291.39/291.52 c | 92999 | 263670 5951176 18559697 | 2147483647 92999 55 | 0.000 % |
291.58/291.79 c | 93099 | 263670 5951176 18559697 | 2147483647 93099 55 | 0.000 % |
291.98/292.19 c | 93209 | 263670 5951176 18559697 | 2147483647 93209 55 | 0.000 % |
292.39/292.55 c | 93331 | 263670 5951176 18559697 | 2147483647 93331 55 | 0.000 % |
292.68/292.81 c | 93464 | 263670 5951176 18559697 | 2147483647 93464 55 | 0.000 % |
293.08/293.27 c | 93610 | 263670 5951176 18559697 | 2147483647 93610 55 | 0.000 % |
293.48/293.65 c | 93771 | 263670 5951176 18559697 | 2147483647 93771 55 | 0.000 % |
293.88/294.00 c | 93947 | 263670 5951176 18559697 | 2147483647 93947 55 | 0.000 % |
294.28/294.46 c | 94140 | 263670 5951176 18559697 | 2147483647 94140 55 | 0.000 % |
294.58/294.78 c | 94352 | 263670 5951176 18559697 | 2147483647 94352 55 | 0.000 % |
295.18/295.38 c | 94585 | 263670 5951176 18559697 | 2147483647 94585 55 | 0.000 % |
295.78/295.96 c | 94841 | 263670 5951176 18559697 | 2147483647 94841 55 | 0.000 % |
296.48/296.61 c | 95122 | 263670 5951176 18559697 | 2147483647 95122 55 | 0.000 % |
296.98/297.11 c | 95431 | 263670 5951176 18559697 | 2147483647 95431 55 | 0.000 % |
297.68/297.82 c | 95773 | 263670 5951176 18559697 | 2147483647 95773 55 | 0.000 % |
298.38/298.59 c | 96145 | 263670 5951176 18559697 | 2147483647 96145 55 | 0.000 % |
299.18/299.34 c | 96554 | 263670 5951176 18559697 | 2147483647 96554 55 | 0.000 % |
300.78/300.97 c | 97003 | 263670 5951176 18559697 | 2147483647 97003 55 | 0.000 % |
301.68/301.89 c | 97497 | 263670 5951176 18559697 | 2147483647 97497 55 | 0.000 % |
302.58/302.79 c | 98039 | 263670 5951176 18559697 | 2147483647 98039 55 | 0.000 % |
303.87/304.04 c | 98636 | 263670 5951176 18559697 | 2147483647 98636 55 | 0.000 % |
304.67/304.80 c | 99292 | 263670 5951176 18559697 | 2147483647 99292 55 | 0.000 % |
306.78/306.94 c | 100012 | 263670 5951176 18559697 | 2147483647 100012 55 | 0.000 % |
308.58/308.73 c | 100804 | 263670 5951176 18559697 | 2147483647 100804 56 | 0.000 % |
309.68/309.82 c | 101676 | 263670 5951176 18559697 | 2147483647 101676 56 | 0.000 % |
311.48/311.62 c | 102635 | 263670 5951176 18559697 | 2147483647 102635 56 | 0.000 % |
313.18/313.34 c | 103690 | 263670 5951176 18559697 | 2147483647 103690 56 | 0.000 % |
315.48/315.60 c | 104849 | 263670 5951176 18559697 | 2147483647 104849 56 | 0.000 % |
315.77/315.92 c | 104950 | 263670 5951176 18559697 | 2147483647 104950 56 | 0.000 % |
316.07/316.23 c | 105065 | 263670 5951176 18559697 | 2147483647 105065 56 | 0.000 % |
316.47/316.67 c | 105187 | 263670 5951176 18559697 | 2147483647 105187 56 | 0.000 % |
316.87/317.09 c | 105322 | 263670 5951176 18559697 | 2147483647 105322 56 | 0.000 % |
317.17/317.35 c | 105468 | 263670 5951176 18559697 | 2147483647 105468 56 | 0.000 % |
317.47/317.62 c | 105628 | 263670 5951176 18559697 | 2147483647 105628 56 | 0.000 % |
317.87/318.04 c | 105804 | 263670 5951176 18559697 | 2147483647 105804 56 | 0.000 % |
318.17/318.39 c | 105997 | 263670 5951176 18559697 | 2147483647 105997 56 | 0.000 % |
318.97/319.17 c | 106209 | 263670 5951176 18559697 | 2147483647 106209 56 | 0.000 % |
319.27/319.49 c | 106443 | 263670 5951176 18559697 | 2147483647 106443 56 | 0.000 % |
319.77/319.95 c | 106699 | 263670 5951176 18559697 | 2147483647 106699 56 | 0.000 % |
320.27/320.43 c | 106980 | 263670 5951176 18559697 | 2147483647 106980 56 | 0.000 % |
320.87/321.07 c | 107289 | 263670 5951176 18559697 | 2147483647 107289 56 | 0.000 % |
321.87/322.04 c | 107629 | 263670 5951176 18559697 | 2147483647 107629 57 | 0.000 % |
322.47/322.66 c | 108002 | 263670 5951176 18559697 | 2147483647 108002 57 | 0.000 % |
323.57/323.77 c | 108411 | 263670 5951176 18559697 | 2147483647 108411 57 | 0.000 % |
324.27/324.43 c | 108860 | 263670 5951176 18559697 | 2147483647 108860 57 | 0.000 % |
325.37/325.52 c | 109354 | 263670 5951176 18559697 | 2147483647 109354 57 | 0.000 % |
325.97/326.19 c | 109898 | 263670 5951176 18559697 | 2147483647 109898 57 | 0.000 % |
327.17/327.37 c | 110495 | 263670 5951176 18559697 | 2147483647 110495 57 | 0.000 % |
327.98/328.16 c | 111151 | 263670 5951176 18559697 | 2147483647 111151 57 | 0.000 % |
329.58/329.71 c | 111871 | 263670 5951176 18559697 | 2147483647 111871 57 | 0.000 % |
330.77/330.96 c | 112663 | 263670 5951176 18559697 | 2147483647 112663 57 | 0.000 % |
332.07/332.24 c | 113536 | 263670 5951176 18559697 | 2147483647 113536 57 | 0.000 % |
333.07/333.22 c | 114495 | 263670 5951176 18559697 | 2147483647 114495 58 | 0.000 % |
334.06/334.29 c | 115548 | 263670 5951176 18559697 | 2147483647 115548 59 | 0.000 % |
336.37/336.50 c | 116708 | 263670 5951176 18559697 | 2147483647 116708 61 | 0.000 % |
338.57/338.73 c | 117981 | 263670 5951176 18559697 | 2147483647 117981 61 | 0.000 % |
338.87/339.02 c | 118081 | 263670 5951176 18559697 | 2147483647 118081 61 | 0.000 % |
339.27/339.50 c | 118192 | 263670 5951176 18559697 | 2147483647 118192 61 | 0.000 % |
339.56/339.78 c | 118314 | 263670 5951176 18559697 | 2147483647 118314 61 | 0.000 % |
339.96/340.15 c | 118447 | 263670 5951176 18559697 | 2147483647 118447 61 | 0.000 % |
340.36/340.57 c | 118593 | 263670 5951176 18559697 | 2147483647 118593 61 | 0.000 % |
340.96/341.14 c | 118753 | 263670 5951176 18559697 | 2147483647 118753 61 | 0.000 % |
341.26/341.48 c | 118930 | 263670 5951176 18559697 | 2147483647 118930 61 | 0.000 % |
341.76/341.90 c | 119123 | 263670 5951176 18559697 | 2147483647 119123 61 | 0.000 % |
342.06/342.27 c | 119335 | 263670 5951176 18559697 | 2147483647 119335 61 | 0.000 % |
342.66/342.82 c | 119568 | 263670 5951176 18559697 | 2147483647 119568 61 | 0.000 % |
343.46/343.63 c | 119826 | 263670 5951176 18559697 | 2147483647 119826 61 | 0.000 % |
344.08/344.21 c | 120107 | 263670 5951176 18559697 | 2147483647 120107 61 | 0.000 % |
344.77/344.94 c | 120416 | 263670 5951176 18559697 | 2147483647 120416 61 | 0.000 % |
345.37/345.60 c | 120755 | 263670 5951176 18559697 | 2147483647 120755 61 | 0.000 % |
345.97/346.17 c | 121128 | 263670 5951176 18559697 | 2147483647 121128 61 | 0.000 % |
346.77/347.00 c | 121538 | 263670 5951176 18559697 | 2147483647 121538 61 | 0.000 % |
347.77/347.91 c | 121988 | 263670 5951176 18559697 | 2147483647 121988 61 | 0.000 % |
348.97/349.12 c | 122483 | 263670 5951176 18559697 | 2147483647 122483 61 | 0.000 % |
350.07/350.28 c | 123025 | 263670 5951176 18559697 | 2147483647 123025 61 | 0.000 % |
351.27/351.43 c | 123627 | 263670 5951176 18559697 | 2147483647 123627 61 | 0.000 % |
352.67/352.81 c | 124282 | 263670 5951176 18559697 | 2147483647 124282 61 | 0.000 % |
354.86/355.03 c | 125002 | 263670 5951176 18559697 | 2147483647 125002 61 | 0.000 % |
356.46/356.64 c | 125795 | 263670 5951176 18559697 | 2147483647 125795 62 | 0.000 % |
357.76/357.97 c | 126666 | 263670 5951176 18559697 | 2147483647 126666 61 | 0.000 % |
359.57/359.71 c | 127624 | 263670 5951176 18559697 | 2147483647 127624 62 | 0.000 % |
361.26/361.42 c | 128677 | 263670 5951176 18559697 | 2147483647 128677 62 | 0.000 % |
362.96/363.13 c | 129836 | 263670 5951176 18559697 | 2147483647 129836 62 | 0.000 % |
364.36/364.59 c | 131109 | 263670 5951176 18559697 | 2147483647 131109 62 | 0.000 % |
365.76/365.97 c | 132509 | 263670 5951176 18559697 | 2147483647 132509 62 | 0.000 % |
366.26/366.44 c | 132609 | 263670 5951176 18559697 | 2147483647 132609 62 | 0.000 % |
366.46/366.68 c | 132719 | 263670 5951176 18559697 | 2147483647 132719 62 | 0.000 % |
366.76/366.97 c | 132840 | 263670 5951176 18559697 | 2147483647 132840 62 | 0.000 % |
367.16/367.36 c | 132974 | 263670 5951176 18559697 | 2147483647 132974 62 | 0.000 % |
367.56/367.75 c | 133120 | 263670 5951176 18559697 | 2147483647 133120 62 | 0.000 % |
367.86/368.05 c | 133281 | 263670 5951176 18559697 | 2147483647 133281 62 | 0.000 % |
368.26/368.45 c | 133457 | 263670 5951176 18559697 | 2147483647 133457 62 | 0.000 % |
368.56/368.75 c | 133651 | 263670 5951176 18559697 | 2147483647 133651 62 | 0.000 % |
369.06/369.20 c | 133863 | 263670 5951176 18559697 | 2147483647 133863 62 | 0.000 % |
369.66/369.84 c | 134096 | 263670 5951176 18559697 | 2147483647 134096 62 | 0.000 % |
370.56/370.73 c | 134352 | 263670 5951176 18559697 | 2147483647 134352 62 | 0.000 % |
371.16/371.30 c | 134634 | 263670 5951176 18559697 | 2147483647 134634 62 | 0.000 % |
371.76/371.99 c | 134944 | 263670 5951176 18559697 | 2147483647 134944 62 | 0.000 % |
372.36/372.57 c | 135285 | 263670 5951176 18559697 | 2147483647 135285 62 | 0.000 % |
372.86/373.00 c | 135658 | 263670 5951176 18559697 | 2147483647 135658 62 | 0.000 % |
373.56/373.72 c | 136067 | 263670 5951176 18559697 | 2147483647 136067 62 | 0.000 % |
374.76/374.92 c | 136516 | 263670 5951176 18559697 | 2147483647 136516 62 | 0.000 % |
375.56/375.79 c | 137009 | 263670 5951176 18559697 | 2147483647 137009 62 | 0.000 % |
377.17/377.33 c | 137551 | 263670 5951176 18559697 | 2147483647 137551 62 | 0.000 % |
378.27/378.49 c | 138148 | 263670 5951176 18559697 | 2147483647 138148 62 | 0.000 % |
379.27/379.48 c | 138805 | 263670 5951176 18559697 | 2147483647 138805 62 | 0.000 % |
380.56/380.76 c | 139525 | 263670 5951176 18559697 | 2147483647 139525 62 | 0.000 % |
381.96/382.10 c | 140318 | 263670 5951176 18559697 | 2147483647 140318 62 | 0.000 % |
383.46/383.60 c | 141189 | 263670 5951176 18559697 | 2147483647 141189 62 | 0.000 % |
384.96/385.16 c | 142147 | 263670 5951176 18559697 | 2147483647 142147 62 | 0.000 % |
387.06/387.23 c | 143202 | 263670 5951176 18559697 | 2147483647 143202 62 | 0.000 % |
391.46/391.62 c | 144361 | 263670 5951176 18559697 | 2147483647 144361 62 | 0.000 % |
394.25/394.41 c | 145634 | 263670 5951176 18559697 | 2147483647 145634 62 | 0.000 % |
397.65/397.87 c | 147034 | 263670 5951176 18559697 | 2147483647 147034 62 | 0.000 % |
400.85/401.00 c | 148574 | 263670 5951176 18559697 | 2147483647 148574 63 | 0.000 % |
401.15/401.38 c | 148676 | 263670 5951176 18559697 | 2147483647 148676 63 | 0.000 % |
401.85/402.03 c | 148787 | 263670 5951176 18559697 | 2147483647 148787 63 | 0.000 % |
402.35/402.53 c | 148910 | 263670 5951176 18559697 | 2147483647 148910 63 | 0.000 % |
402.65/402.81 c | 149043 | 263670 5951176 18559697 | 2147483647 149043 63 | 0.000 % |
403.15/403.36 c | 149189 | 263670 5951176 18559697 | 2147483647 149189 63 | 0.000 % |
403.66/403.89 c | 149349 | 263670 5951176 18559697 | 2147483647 149349 63 | 0.000 % |
404.06/404.20 c | 149525 | 263670 5951176 18559697 | 2147483647 149525 63 | 0.000 % |
404.36/404.59 c | 149720 | 263670 5951176 18559697 | 2147483647 149720 63 | 0.000 % |
404.96/405.12 c | 149933 | 263670 5951176 18559697 | 2147483647 149933 63 | 0.000 % |
405.46/405.67 c | 150166 | 263670 5951176 18559697 | 2147483647 150166 63 | 0.000 % |
406.06/406.22 c | 150426 | 263670 5951176 18559697 | 2147483647 150426 63 | 0.000 % |
406.56/406.79 c | 150707 | 263670 5951176 18559697 | 2147483647 150707 63 | 0.000 % |
407.26/407.46 c | 151016 | 263670 5951176 18559697 | 2147483647 151016 63 | 0.000 % |
408.36/408.53 c | 151357 | 263670 5951176 18559697 | 2147483647 151357 63 | 0.000 % |
409.06/409.29 c | 151731 | 263670 5951176 18559697 | 2147483647 151731 63 | 0.000 % |
409.76/409.95 c | 152140 | 263670 5951176 18559697 | 2147483647 152140 63 | 0.000 % |
410.46/410.68 c | 152589 | 263670 5951176 18559697 | 2147483647 152589 63 | 0.000 % |
411.36/411.55 c | 153083 | 263670 5951176 18559697 | 2147483647 153083 63 | 0.000 % |
412.96/413.15 c | 153625 | 263670 5951176 18559697 | 2147483647 153625 63 | 0.000 % |
414.05/414.24 c | 154222 | 263670 5951176 18559697 | 2147483647 154222 63 | 0.000 % |
415.05/415.27 c | 154877 | 263670 5951176 18559697 | 2147483647 154877 63 | 0.000 % |
416.05/416.27 c | 155598 | 263670 5951176 18559697 | 2147483647 155598 63 | 0.000 % |
417.35/417.51 c | 156390 | 263670 5951176 18559697 | 2147483647 156390 63 | 0.000 % |
418.45/418.63 c | 157261 | 263670 5951176 18559697 | 2147483647 157261 63 | 0.000 % |
420.05/420.26 c | 158219 | 263670 5951176 18559697 | 2147483647 158219 63 | 0.000 % |
421.65/421.85 c | 159273 | 263670 5951176 18559697 | 2147483647 159273 63 | 0.000 % |
423.25/423.43 c | 160431 | 263670 5951176 18559697 | 2147483647 160431 62 | 0.000 % |
425.04/425.24 c | 161705 | 263670 5951176 18559697 | 2147483647 161705 62 | 0.000 % |
427.15/427.38 c | 163106 | 263670 5951176 18559697 | 2147483647 163106 62 | 0.000 % |
429.45/429.68 c | 164646 | 263670 5951176 18559697 | 2147483647 164646 62 | 0.000 % |
432.24/432.45 c | 166340 | 263670 5951176 18559697 | 2147483647 166340 62 | 0.000 % |
432.44/432.68 c | 166440 | 263670 5951176 18559697 | 2147483647 166440 62 | 0.000 % |
432.74/432.97 c | 166550 | 263670 5951176 18559697 | 2147483647 166550 62 | 0.000 % |
433.54/433.73 c | 166671 | 263670 5951176 18559697 | 2147483647 166671 62 | 0.000 % |
434.44/434.63 c | 166804 | 263670 5951176 18559697 | 2147483647 166804 62 | 0.000 % |
435.54/435.72 c | 166951 | 263670 5951176 18559697 | 2147483647 166951 62 | 0.000 % |
436.24/436.44 c | 167114 | 263670 5951176 18559697 | 2147483647 167114 62 | 0.000 % |
437.14/437.37 c | 167291 | 263670 5951176 18559697 | 2147483647 167291 62 | 0.000 % |
438.24/438.40 c | 167484 | 263670 5951176 18559697 | 2147483647 167484 62 | 0.000 % |
438.65/438.85 c | 167698 | 263670 5951176 18559697 | 2147483647 167698 62 | 0.000 % |
439.75/439.92 c | 167932 | 263670 5951176 18559697 | 2147483647 167932 62 | 0.000 % |
440.24/440.45 c | 168192 | 263670 5951176 18559697 | 2147483647 168192 62 | 0.000 % |
440.74/440.96 c | 168473 | 263670 5951176 18559697 | 2147483647 168473 62 | 0.000 % |
441.64/441.89 c | 168786 | 263670 5951176 18559697 | 2147483647 168786 62 | 0.000 % |
442.44/442.61 c | 169125 | 263670 5951176 18559697 | 2147483647 169125 62 | 0.000 % |
443.74/443.98 c | 169498 | 263670 5951176 18559697 | 2147483647 169498 62 | 0.000 % |
444.84/445.02 c | 169908 | 263670 5951176 18559697 | 2147483647 169908 62 | 0.000 % |
445.45/445.64 c | 170358 | 263670 5951176 18559697 | 2147483647 170358 62 | 0.000 % |
446.65/446.80 c | 170855 | 263670 5951176 18559697 | 2147483647 170855 62 | 0.000 % |
447.95/448.10 c | 171398 | 263670 5951176 18559697 | 2147483647 171398 62 | 0.000 % |
449.45/449.67 c | 171994 | 263670 5951176 18559697 | 2147483647 171994 62 | 0.000 % |
451.04/451.28 c | 172650 | 263670 5951176 18559697 | 2147483647 172650 62 | 0.000 % |
452.24/452.48 c | 173371 | 263670 5951176 18559697 | 2147483647 173371 62 | 0.000 % |
454.54/454.79 c | 174164 | 263670 5951176 18559697 | 2147483647 174164 62 | 0.000 % |
456.74/456.94 c | 175035 | 263670 5951176 18559697 | 2147483647 175035 63 | 0.000 % |
458.14/458.37 c | 175994 | 263670 5951176 18559697 | 2147483647 175994 63 | 0.000 % |
459.44/459.67 c | 177048 | 263670 5951176 18559697 | 2147483647 177048 63 | 0.000 % |
461.04/461.25 c | 178206 | 263670 5951176 18559697 | 2147483647 178206 63 | 0.000 % |
463.24/463.44 c | 179479 | 263670 5951176 18559697 | 2147483647 179479 63 | 0.000 % |
465.15/465.31 c | 180879 | 263670 5951176 18559697 | 2147483647 180879 63 | 0.000 % |
468.34/468.54 c | 182421 | 263670 5951176 18559697 | 2147483647 182421 63 | 0.000 % |
470.84/471.02 c | 184118 | 263670 5951176 18559697 | 2147483647 184118 63 | 0.000 % |
473.85/474.02 c | 185981 | 263670 5951176 18559697 | 2147483647 185981 63 | 0.000 % |
474.04/474.29 c | 186081 | 263670 5951176 18559697 | 2147483647 186081 63 | 0.000 % |
474.64/474.83 c | 186191 | 263670 5951176 18559697 | 2147483647 186191 64 | 0.000 % |
475.14/475.33 c | 186313 | 263670 5951176 18559697 | 2147483647 186313 63 | 0.000 % |
475.54/475.73 c | 186447 | 263670 5951176 18559697 | 2147483647 186447 63 | 0.000 % |
475.94/476.17 c | 186594 | 263670 5951176 18559697 | 2147483647 186594 64 | 0.000 % |
476.54/476.74 c | 186755 | 263670 5951176 18559697 | 2147483647 186755 64 | 0.000 % |
477.04/477.20 c | 186936 | 263670 5951176 18559697 | 2147483647 186936 64 | 0.000 % |
477.54/477.76 c | 187129 | 263670 5951176 18559697 | 2147483647 187129 64 | 0.000 % |
477.94/478.19 c | 187341 | 263670 5951176 18559697 | 2147483647 187341 64 | 0.000 % |
478.54/478.76 c | 187574 | 263670 5951176 18559697 | 2147483647 187574 64 | 0.000 % |
479.14/479.31 c | 187830 | 263670 5951176 18559697 | 2147483647 187830 64 | 0.000 % |
479.64/479.84 c | 188111 | 263670 5951176 18559697 | 2147483647 188111 64 | 0.000 % |
480.34/480.50 c | 188420 | 263670 5951176 18559697 | 2147483647 188420 64 | 0.000 % |
480.94/481.15 c | 188760 | 263670 5951176 18559697 | 2147483647 188760 64 | 0.000 % |
481.54/481.76 c | 189132 | 263670 5951176 18559697 | 2147483647 189132 63 | 0.000 % |
482.34/482.57 c | 189541 | 263670 5951176 18559697 | 2147483647 189541 63 | 0.000 % |
482.94/483.16 c | 189991 | 263670 5951176 18559697 | 2147483647 189991 64 | 0.000 % |
483.84/484.04 c | 190485 | 263670 5951176 18559697 | 2147483647 190485 64 | 0.000 % |
485.03/485.21 c | 191027 | 263670 5951176 18559697 | 2147483647 191027 63 | 0.000 % |
487.43/487.60 c | 191623 | 263670 5951176 18559697 | 2147483647 191623 64 | 0.000 % |
488.53/488.75 c | 192281 | 263670 5951176 18559697 | 2147483647 192281 64 | 0.000 % |
489.43/489.69 c | 193001 | 263670 5951176 18559697 | 2147483647 193001 63 | 0.000 % |
490.63/490.82 c | 193794 | 263670 5951176 18559697 | 2147483647 193794 64 | 0.000 % |
491.93/492.15 c | 194665 | 263670 5951176 18559697 | 2147483647 194665 64 | 0.000 % |
493.24/493.47 c | 195623 | 263670 5951176 18559697 | 2147483647 195623 64 | 0.000 % |
494.84/495.07 c | 196677 | 263670 5951176 18559697 | 2147483647 196677 63 | 0.000 % |
496.74/496.99 c | 197835 | 263670 5951176 18559697 | 2147483647 197835 63 | 0.000 % |
498.74/498.94 c | 199108 | 263670 5951176 18559697 | 2147483647 199108 63 | 0.000 % |
500.63/500.81 c | 200508 | 263670 5951176 18559697 | 2147483647 200508 63 | 0.000 % |
503.03/503.27 c | 202048 | 263670 5951176 18559697 | 2147483647 202048 63 | 0.000 % |
508.43/508.69 c | 203742 | 263670 5951176 18559697 | 2147483647 203742 64 | 0.000 % |
512.13/512.40 c | 205606 | 263670 5951176 18559697 | 2147483647 205606 64 | 0.000 % |
516.53/516.77 c | 207657 | 263670 5951176 18559697 | 2147483647 207657 64 | 0.000 % |
516.74/517.00 c | 207757 | 263670 5951176 18559697 | 2147483647 207757 64 | 0.000 % |
517.13/517.33 c | 207867 | 263670 5951176 18559697 | 2147483647 207867 64 | 0.000 % |
517.43/517.69 c | 207988 | 263670 5951176 18559697 | 2147483647 207988 64 | 0.000 % |
517.83/518.07 c | 208121 | 263670 5951176 18559697 | 2147483647 208121 64 | 0.000 % |
518.13/518.38 c | 208267 | 263670 5951176 18559697 | 2147483647 208267 64 | 0.000 % |
518.73/518.95 c | 208428 | 263670 5951176 18559697 | 2147483647 208428 64 | 0.000 % |
519.23/519.47 c | 208604 | 263670 5951176 18559697 | 2147483647 208604 64 | 0.000 % |
519.93/520.11 c | 208798 | 263670 5951176 18559697 | 2147483647 208798 64 | 0.000 % |
520.43/520.64 c | 209012 | 263670 5951176 18559697 | 2147483647 209012 64 | 0.000 % |
521.13/521.37 c | 209248 | 263670 5951176 18559697 | 2147483647 209248 64 | 0.000 % |
521.83/522.01 c | 209504 | 263670 5951176 18559697 | 2147483647 209504 64 | 0.000 % |
522.53/522.73 c | 209786 | 263670 5951176 18559697 | 2147483647 209786 64 | 0.000 % |
523.23/523.44 c | 210095 | 263670 5951176 18559697 | 2147483647 210095 64 | 0.000 % |
523.93/524.11 c | 210434 | 263670 5951176 18559697 | 2147483647 210434 64 | 0.000 % |
524.63/524.85 c | 210806 | 263670 5951176 18559697 | 2147483647 210806 64 | 0.000 % |
525.43/525.68 c | 211215 | 263670 5951176 18559697 | 2147483647 211215 64 | 0.000 % |
526.43/526.66 c | 211664 | 263670 5951176 18559697 | 2147483647 211664 64 | 0.000 % |
527.32/527.58 c | 212157 | 263670 5951176 18559697 | 2147483647 212157 64 | 0.000 % |
528.72/528.93 c | 212700 | 263670 5951176 18559697 | 2147483647 212700 64 | 0.000 % |
529.82/530.02 c | 213297 | 263670 5951176 18559697 | 2147483647 213297 64 | 0.000 % |
531.42/531.61 c | 213952 | 263670 5951176 18559697 | 2147483647 213952 64 | 0.000 % |
533.02/533.25 c | 214672 | 263670 5951176 18559697 | 2147483647 214672 64 | 0.000 % |
534.32/534.52 c | 215464 | 263670 5951176 18559697 | 2147483647 215464 64 | 0.000 % |
535.62/535.87 c | 216336 | 263670 5951176 18559697 | 2147483647 216336 64 | 0.000 % |
537.32/537.55 c | 217294 | 263670 5951176 18559697 | 2147483647 217294 63 | 0.000 % |
539.32/539.58 c | 218348 | 263670 5951176 18559697 | 2147483647 218348 63 | 0.000 % |
541.42/541.64 c | 219506 | 263670 5951176 18559697 | 2147483647 219506 63 | 0.000 % |
543.03/543.28 c | 220779 | 263670 5951176 18559697 | 2147483647 220779 63 | 0.000 % |
545.22/545.44 c | 222180 | 263670 5951176 18559697 | 2147483647 222180 63 | 0.000 % |
547.63/547.86 c | 223721 | 263670 5951176 18559697 | 2147483647 223721 63 | 0.000 % |
554.22/554.46 c | 225416 | 263670 5951176 18559697 | 2147483647 225416 63 | 0.000 % |
558.22/558.48 c | 227279 | 263670 5951176 18559697 | 2147483647 227279 64 | 0.000 % |
562.32/562.54 c | 229328 | 263670 5951176 18559697 | 2147483647 229328 64 | 0.000 % |
567.62/567.85 c | 231581 | 263670 5951176 18559697 | 2147483647 231581 64 | 0.000 % |
568.42/568.64 c | 231681 | 263670 5951176 18559697 | 2147483647 231681 64 | 0.000 % |
568.72/568.95 c | 231792 | 263670 5951176 18559697 | 2147483647 231792 64 | 0.000 % |
569.12/569.38 c | 231914 | 263670 5951176 18559697 | 2147483647 231914 64 | 0.000 % |
569.42/569.67 c | 232047 | 263670 5951176 18559697 | 2147483647 232047 64 | 0.000 % |
570.11/570.35 c | 232194 | 263670 5951176 18559697 | 2147483647 232194 64 | 0.000 % |
570.62/570.86 c | 232359 | 263670 5951176 18559697 | 2147483647 232359 64 | 0.000 % |
571.01/571.29 c | 232537 | 263670 5951176 18559697 | 2147483647 232537 64 | 0.000 % |
571.72/571.93 c | 232732 | 263670 5951176 18559697 | 2147483647 232732 64 | 0.000 % |
572.21/572.41 c | 232946 | 263670 5951176 18559697 | 2147483647 232946 64 | 0.000 % |
572.82/573.07 c | 233179 | 263670 5951176 18559697 | 2147483647 233179 64 | 0.000 % |
573.41/573.65 c | 233435 | 263670 5951176 18559697 | 2147483647 233435 64 | 0.000 % |
574.11/574.30 c | 233716 | 263670 5951176 18559697 | 2147483647 233716 64 | 0.000 % |
574.61/574.80 c | 234026 | 263670 5951176 18559697 | 2147483647 234026 64 | 0.000 % |
575.51/575.70 c | 234365 | 263670 5951176 18559697 | 2147483647 234365 64 | 0.000 % |
576.21/576.48 c | 234737 | 263670 5951176 18559697 | 2147483647 234737 64 | 0.000 % |
577.21/577.46 c | 235146 | 263670 5951176 18559697 | 2147483647 235146 64 | 0.000 % |
577.92/578.10 c | 235595 | 263670 5951176 18559697 | 2147483647 235595 64 | 0.000 % |
578.81/579.06 c | 236088 | 263670 5951176 18559697 | 2147483647 236088 65 | 0.000 % |
580.01/580.29 c | 236630 | 263670 5951176 18559697 | 2147483647 236630 65 | 0.000 % |
581.31/581.56 c | 237228 | 263670 5951176 18559697 | 2147483647 237228 65 | 0.000 % |
582.82/583.01 c | 237883 | 263670 5951176 18559697 | 2147483647 237883 65 | 0.000 % |
584.21/584.45 c | 238607 | 263670 5951176 18559697 | 2147483647 238607 65 | 0.000 % |
586.61/586.88 c | 239399 | 263670 5951176 18559697 | 2147483647 239399 65 | 0.000 % |
588.61/588.82 c | 240270 | 263670 5951176 18559697 | 2147483647 240270 65 | 0.000 % |
589.91/590.16 c | 241228 | 263670 5951176 18559697 | 2147483647 241228 65 | 0.000 % |
591.51/591.77 c | 242282 | 263670 5951176 18559697 | 2147483647 242282 65 | 0.000 % |
593.41/593.63 c | 243440 | 263670 5951176 18559697 | 2147483647 243440 65 | 0.000 % |
595.51/595.77 c | 244713 | 263670 5951176 18559697 | 2147483647 244713 65 | 0.000 % |
597.81/598.04 c | 246113 | 263670 5951176 18559697 | 2147483647 246113 65 | 0.000 % |
599.81/600.09 c | 247653 | 263670 5951176 18559697 | 2147483647 247653 65 | 0.000 % |
603.01/603.26 c | 249347 | 263670 5951176 18559697 | 2147483647 249347 65 | 0.000 % |
606.00/606.24 c | 251210 | 263670 5951176 18559697 | 2147483647 251210 65 | 0.000 % |
609.11/609.35 c | 253259 | 263670 5951176 18559697 | 2147483647 253259 65 | 0.000 % |
613.21/613.48 c | 255512 | 263670 5951176 18559697 | 2147483647 255512 65 | 0.000 % |
618.20/618.42 c | 257992 | 263670 5951176 18559697 | 2147483647 257992 67 | 0.000 % |
618.70/618.90 c | 258092 | 263670 5951176 18559697 | 2147483647 258092 67 | 0.000 % |
619.40/619.62 c | 258203 | 263670 5951176 18559697 | 2147483647 258203 67 | 0.000 % |
619.80/620.00 c | 258324 | 263670 5951176 18559697 | 2147483647 258324 67 | 0.000 % |
620.11/620.36 c | 258457 | 263670 5951176 18559697 | 2147483647 258457 67 | 0.000 % |
620.40/620.69 c | 258603 | 263670 5951176 18559697 | 2147483647 258603 67 | 0.000 % |
620.80/621.09 c | 258763 | 263670 5951176 18559697 | 2147483647 258763 67 | 0.000 % |
621.31/621.52 c | 258939 | 263670 5951176 18559697 | 2147483647 258939 67 | 0.000 % |
621.70/621.92 c | 259133 | 263670 5951176 18559697 | 2147483647 259133 67 | 0.000 % |
622.10/622.39 c | 259346 | 263670 5951176 18559697 | 2147483647 259346 67 | 0.000 % |
622.70/622.93 c | 259579 | 263670 5951176 18559697 | 2147483647 259579 67 | 0.000 % |
623.30/623.52 c | 259835 | 263670 5951176 18559697 | 2147483647 259835 67 | 0.000 % |
623.80/624.07 c | 260117 | 263670 5951176 18559697 | 2147483647 260117 67 | 0.000 % |
624.50/624.76 c | 260427 | 263670 5951176 18559697 | 2147483647 260427 67 | 0.000 % |
625.30/625.58 c | 260767 | 263670 5951176 18559697 | 2147483647 260767 67 | 0.000 % |
626.10/626.36 c | 261139 | 263670 5951176 18559697 | 2147483647 261139 67 | 0.000 % |
627.00/627.28 c | 261548 | 263670 5951176 18559697 | 2147483647 261548 67 | 0.000 % |
627.80/628.06 c | 261997 | 263670 5951176 18559697 | 2147483647 261997 67 | 0.000 % |
629.10/629.36 c | 262490 | 263670 5951176 18559697 | 2147483647 262490 66 | 0.000 % |
630.10/630.37 c | 263032 | 263670 5951176 18559697 | 2147483647 263032 66 | 0.000 % |
631.40/631.60 c | 263628 | 263670 5951176 18559697 | 2147483647 263628 66 | 0.000 % |
632.90/633.14 c | 264284 | 263670 5951176 18559697 | 2147483647 264284 66 | 0.000 % |
634.50/634.74 c | 265005 | 263670 5951176 18559697 | 2147483647 265005 66 | 0.000 % |
635.90/636.14 c | 265797 | 263670 5951176 18559697 | 2147483647 265797 66 | 0.000 % |
637.71/637.98 c | 266668 | 263670 5951176 18559697 | 2147483647 266668 66 | 0.000 % |
640.40/640.69 c | 267626 | 263670 5951176 18559697 | 2147483647 267626 66 | 0.000 % |
642.30/642.53 c | 268679 | 263670 5951176 18559697 | 2147483647 268679 66 | 0.000 % |
644.50/644.72 c | 269837 | 263670 5951176 18559697 | 2147483647 269837 67 | 0.000 % |
647.40/647.64 c | 271110 | 263670 5951176 18559697 | 2147483647 271110 67 | 0.000 % |
651.69/651.91 c | 272513 | 263670 5951176 18559697 | 2147483647 272513 67 | 0.000 % |
654.80/655.04 c | 274054 | 263670 5951176 18559697 | 2147483647 274054 69 | 0.000 % |
658.79/659.07 c | 275748 | 263670 5951176 18559697 | 2147483647 275748 69 | 0.000 % |
660.60/660.88 c | 277611 | 263670 5951176 18559697 | 2147483647 277611 70 | 0.000 % |
663.49/663.73 c | 279663 | 263670 5951176 18559697 | 2147483647 279663 70 | 0.000 % |
666.29/666.54 c | 281916 | 263670 5951176 18559697 | 2147483647 281916 71 | 0.000 % |
670.49/670.78 c | 284394 | 263670 5951176 18559697 | 2147483647 284394 71 | 0.000 % |
675.39/675.67 c | 287120 | 263670 5951176 18559697 | 2147483647 287120 73 | 0.000 % |
675.69/675.93 c | 287222 | 263670 5951176 18559697 | 2147483647 287222 73 | 0.000 % |
675.99/676.26 c | 287332 | 263670 5951176 18559697 | 2147483647 287332 73 | 0.000 % |
677.39/677.70 c | 287453 | 263670 5951176 18559697 | 2147483647 287453 73 | 0.000 % |
677.79/678.09 c | 287589 | 263670 5951176 18559697 | 2147483647 287589 73 | 0.000 % |
678.29/678.50 c | 287736 | 263670 5951176 18559697 | 2147483647 287736 73 | 0.000 % |
679.09/679.31 c | 287898 | 263670 5951176 18559697 | 2147483647 287898 73 | 0.000 % |
679.79/680.10 c | 288074 | 263670 5951176 18559697 | 2147483647 288074 73 | 0.000 % |
680.49/680.72 c | 288267 | 263670 5951176 18559697 | 2147483647 288267 73 | 0.000 % |
680.89/681.19 c | 288479 | 263670 5951176 18559697 | 2147483647 288479 73 | 0.000 % |
681.79/682.04 c | 288712 | 263670 5951176 18559697 | 2147483647 288712 73 | 0.000 % |
682.28/682.51 c | 288969 | 263670 5951176 18559697 | 2147483647 288969 73 | 0.000 % |
683.58/683.88 c | 289250 | 263670 5951176 18559697 | 2147483647 289250 73 | 0.000 % |
684.28/684.55 c | 289559 | 263670 5951176 18559697 | 2147483647 289559 73 | 0.000 % |
685.39/685.63 c | 289900 | 263670 5951176 18559697 | 2147483647 289900 73 | 0.000 % |
686.20/686.48 c | 290272 | 263670 5951176 18559697 | 2147483647 290272 73 | 0.000 % |
687.30/687.58 c | 290684 | 263670 5951176 18559697 | 2147483647 290684 73 | 0.000 % |
688.19/688.45 c | 291133 | 263670 5951176 18559697 | 2147483647 291133 73 | 0.000 % |
689.09/689.33 c | 291627 | 263670 5951176 18559697 | 2147483647 291627 73 | 0.000 % |
690.19/690.45 c | 292169 | 263670 5951176 18559697 | 2147483647 292169 73 | 0.000 % |
691.59/691.84 c | 292765 | 263670 5951176 18559697 | 2147483647 292765 73 | 0.000 % |
693.19/693.44 c | 293421 | 263670 5951176 18559697 | 2147483647 293421 73 | 0.000 % |
694.39/694.64 c | 294141 | 263670 5951176 18559697 | 2147483647 294141 73 | 0.000 % |
695.89/696.12 c | 294934 | 263670 5951176 18559697 | 2147483647 294934 73 | 0.000 % |
697.59/697.88 c | 295805 | 263670 5951176 18559697 | 2147483647 295805 72 | 0.000 % |
699.29/699.55 c | 296764 | 263670 5951176 18559697 | 2147483647 296764 72 | 0.000 % |
700.99/701.20 c | 297818 | 263670 5951176 18559697 | 2147483647 297818 72 | 0.000 % |
701.88/702.19 c | 298976 | 263670 5951176 18559697 | 2147483647 298976 72 | 0.000 % |
703.39/703.69 c | 300249 | 263670 5951176 18559697 | 2147483647 300249 73 | 0.000 % |
705.58/705.87 c | 301649 | 263670 5951176 18559697 | 2147483647 301649 73 | 0.000 % |
707.78/708.09 c | 303189 | 263670 5951176 18559697 | 2147483647 303189 73 | 0.000 % |
711.28/711.60 c | 304884 | 263670 5951176 18559697 | 2147483647 304884 73 | 0.000 % |
714.28/714.53 c | 306747 | 263670 5951176 18559697 | 2147483647 306747 74 | 0.000 % |
717.28/717.58 c | 308796 | 263670 5951176 18559697 | 2147483647 308796 74 | 0.000 % |
720.08/720.37 c | 311050 | 263670 5951176 18559697 | 2147483647 311050 75 | 0.000 % |
726.17/726.46 c | 313530 | 263670 5951176 18559697 | 2147483647 313530 75 | 0.000 % |
731.47/731.79 c | 316255 | 263670 5951176 18559697 | 2147483647 316255 76 | 0.000 % |
738.98/739.27 c | 319254 | 263670 5951176 18559697 | 2147483647 319254 77 | 0.000 % |
739.48/739.77 c | 319354 | 263670 5951176 18559697 | 2147483647 319354 77 | 0.000 % |
739.77/740.02 c | 319467 | 263670 5951176 18559697 | 2147483647 319467 77 | 0.000 % |
740.37/740.65 c | 319588 | 263670 5951176 18559697 | 2147483647 319588 77 | 0.000 % |
740.97/741.24 c | 319721 | 263670 5951176 18559697 | 2147483647 319721 77 | 0.000 % |
741.77/742.09 c | 319868 | 263670 5951176 18559697 | 2147483647 319868 77 | 0.000 % |
742.28/742.55 c | 320028 | 263670 5951176 18559697 | 2147483647 320028 77 | 0.000 % |
742.97/743.25 c | 320204 | 263670 5951176 18559697 | 2147483647 320204 77 | 0.000 % |
743.57/743.80 c | 320398 | 263670 5951176 18559697 | 2147483647 320398 77 | 0.000 % |
744.07/744.31 c | 320610 | 263670 5951176 18559697 | 2147483647 320610 77 | 0.000 % |
744.57/744.87 c | 320844 | 263670 5951176 18559697 | 2147483647 320844 76 | 0.000 % |
745.27/745.56 c | 321100 | 263670 5951176 18559697 | 2147483647 321100 76 | 0.000 % |
746.58/746.89 c | 321383 | 263670 5951176 18559697 | 2147483647 321383 76 | 0.000 % |
747.57/747.83 c | 321692 | 263670 5951176 18559697 | 2147483647 321692 76 | 0.000 % |
748.17/748.42 c | 322031 | 263670 5951176 18559697 | 2147483647 322031 76 | 0.000 % |
749.07/749.38 c | 322404 | 263670 5951176 18559697 | 2147483647 322404 77 | 0.000 % |
750.17/750.42 c | 322814 | 263670 5951176 18559697 | 2147483647 322814 77 | 0.000 % |
751.17/751.44 c | 323263 | 263670 5951176 18559697 | 2147483647 323263 77 | 0.000 % |
752.17/752.45 c | 323756 | 263670 5951176 18559697 | 2147483647 323756 77 | 0.000 % |
753.17/753.43 c | 324298 | 263670 5951176 18559697 | 2147483647 324298 76 | 0.000 % |
754.47/754.78 c | 324894 | 263670 5951176 18559697 | 2147483647 324894 76 | 0.000 % |
755.77/756.08 c | 325549 | 263670 5951176 18559697 | 2147483647 325549 76 | 0.000 % |
757.47/757.73 c | 326270 | 263670 5951176 18559697 | 2147483647 326270 77 | 0.000 % |
759.27/759.55 c | 327063 | 263670 5951176 18559697 | 2147483647 327063 77 | 0.000 % |
761.07/761.30 c | 327935 | 263670 5951176 18559697 | 2147483647 327935 77 | 0.000 % |
762.77/763.03 c | 328894 | 263670 5951176 18559697 | 2147483647 328894 77 | 0.000 % |
765.86/766.11 c | 329951 | 263670 5951176 18559697 | 2147483647 329951 77 | 0.000 % |
768.96/769.25 c | 331109 | 263670 5951176 18559697 | 2147483647 331109 77 | 0.000 % |
771.06/771.32 c | 332383 | 263670 5951176 18559697 | 2147483647 332383 77 | 0.000 % |
774.07/774.40 c | 333786 | 263670 5951176 18559697 | 2147483647 333786 77 | 0.000 % |
777.86/778.12 c | 335330 | 263670 5951176 18559697 | 2147483647 335330 77 | 0.000 % |
781.76/782.04 c | 337028 | 263670 5951176 18559697 | 2147483647 337028 77 | 0.000 % |
787.76/788.01 c | 338893 | 263670 5951176 18559697 | 2147483647 338893 78 | 0.000 % |
790.67/790.92 c | 340942 | 263670 5951176 18559697 | 2147483647 340942 78 | 0.000 % |
794.86/795.20 c | 343198 | 263670 5951176 18559697 | 2147483647 343198 78 | 0.000 % |
800.65/800.95 c | 345676 | 263670 5951176 18559697 | 2147483647 345676 78 | 0.000 % |
806.06/806.33 c | 348401 | 263670 5951176 18559697 | 2147483647 348401 79 | 0.000 % |
809.45/809.78 c | 351400 | 263670 5951176 18559697 | 2147483647 351400 79 | 0.000 % |
816.65/816.91 c | 354698 | 263670 5951176 18559697 | 2147483647 354698 79 | 0.000 % |
816.85/817.15 c | 354800 | 263670 5951176 18559697 | 2147483647 354800 79 | 0.000 % |
817.55/817.90 c | 354912 | 263670 5951176 18559697 | 2147483647 354912 79 | 0.000 % |
818.05/818.33 c | 355037 | 263670 5951176 18559697 | 2147483647 355037 79 | 0.000 % |
818.95/819.28 c | 355170 | 263670 5951176 18559697 | 2147483647 355170 79 | 0.000 % |
819.66/819.96 c | 355317 | 263670 5951176 18559697 | 2147483647 355317 79 | 0.000 % |
820.26/820.55 c | 355478 | 263670 5951176 18559697 | 2147483647 355478 79 | 0.000 % |
820.75/821.04 c | 355656 | 263670 5951176 18559697 | 2147483647 355656 79 | 0.000 % |
821.25/821.55 c | 355851 | 263670 5951176 18559697 | 2147483647 355851 79 | 0.000 % |
822.05/822.35 c | 356071 | 263670 5951176 18559697 | 2147483647 356071 79 | 0.000 % |
823.05/823.33 c | 356304 | 263670 5951176 18559697 | 2147483647 356304 80 | 0.000 % |
823.75/824.05 c | 356560 | 263670 5951176 18559697 | 2147483647 356560 79 | 0.000 % |
824.65/824.92 c | 356841 | 263670 5951176 18559697 | 2147483647 356841 80 | 0.000 % |
825.35/825.63 c | 357150 | 263670 5951176 18559697 | 2147483647 357150 80 | 0.000 % |
826.25/826.56 c | 357489 | 263670 5951176 18559697 | 2147483647 357489 80 | 0.000 % |
827.05/827.31 c | 357866 | 263670 5951176 18559697 | 2147483647 357866 80 | 0.000 % |
828.14/828.42 c | 358276 | 263670 5951176 18559697 | 2147483647 358276 80 | 0.000 % |
828.84/829.16 c | 358726 | 263670 5951176 18559697 | 2147483647 358726 80 | 0.000 % |
829.74/830.02 c | 359219 | 263670 5951176 18559697 | 2147483647 359219 80 | 0.000 % |
830.84/831.10 c | 359761 | 263670 5951176 18559697 | 2147483647 359761 80 | 0.000 % |
831.74/832.03 c | 360362 | 263670 5951176 18559697 | 2147483647 360362 80 | 0.000 % |
833.65/833.92 c | 361017 | 263670 5951176 18559697 | 2147483647 361017 80 | 0.000 % |
835.65/835.96 c | 361737 | 263670 5951176 18559697 | 2147483647 361737 80 | 0.000 % |
837.35/837.63 c | 362529 | 263670 5951176 18559697 | 2147483647 362529 80 | 0.000 % |
839.55/839.86 c | 363400 | 263670 5951176 18559697 | 2147483647 363400 80 | 0.000 % |
842.45/842.71 c | 364361 | 263670 5951176 18559697 | 2147483647 364361 80 | 0.000 % |
844.74/845.07 c | 365414 | 263670 5951176 18559697 | 2147483647 365414 80 | 0.000 % |
846.44/846.71 c | 366572 | 263670 5951176 18559697 | 2147483647 366572 80 | 0.000 % |
849.14/849.41 c | 367845 | 263670 5951176 18559697 | 2147483647 367845 81 | 0.000 % |
852.04/852.37 c | 369247 | 263670 5951176 18559697 | 2147483647 369247 81 | 0.000 % |
855.34/855.64 c | 370787 | 263670 5951176 18559697 | 2147483647 370787 81 | 0.000 % |
858.44/858.76 c | 372481 | 263670 5951176 18559697 | 2147483647 372481 81 | 0.000 % |
863.84/864.14 c | 374345 | 263670 5951176 18559697 | 2147483647 374345 81 | 0.000 % |
867.83/868.11 c | 376394 | 263670 5951176 18559697 | 2147483647 376394 81 | 0.000 % |
870.84/871.16 c | 378647 | 263670 5951176 18559697 | 2147483647 378647 80 | 0.000 % |
875.24/875.54 c | 381129 | 263670 5951176 18559697 | 2147483647 381129 80 | 0.000 % |
880.03/880.34 c | 383855 | 263670 5951176 18559697 | 2147483647 383855 80 | 0.000 % |
885.43/885.74 c | 386853 | 263670 5951176 18559697 | 2147483647 386853 80 | 0.000 % |
890.93/891.26 c | 390150 | 263670 5951176 18559697 | 2147483647 390150 80 | 0.000 % |
897.92/898.22 c | 393776 | 263670 5951176 18559697 | 2147483647 393776 80 | 0.000 % |
898.12/898.47 c | 393879 | 263670 5951176 18559697 | 2147483647 393879 80 | 0.000 % |
898.43/898.77 c | 393989 | 263670 5951176 18559697 | 2147483647 393989 80 | 0.000 % |
898.72/899.05 c | 394110 | 263670 5951176 18559697 | 2147483647 394110 80 | 0.000 % |
899.02/899.35 c | 394243 | 263670 5951176 18559697 | 2147483647 394243 80 | 0.000 % |
899.43/899.71 c | 394390 | 263670 5951176 18559697 | 2147483647 394390 80 | 0.000 % |
899.82/900.10 c | 394550 | 263670 5951176 18559697 | 2147483647 394550 80 | 0.000 % |
900.42/900.74 c | 394728 | 263670 5951176 18559697 | 2147483647 394728 80 | 0.000 % |
900.82/901.17 c | 394922 | 263670 5951176 18559697 | 2147483647 394922 80 | 0.000 % |
901.22/901.60 c | 395135 | 263670 5951176 18559697 | 2147483647 395135 80 | 0.000 % |
901.72/902.10 c | 395368 | 263670 5951176 18559697 | 2147483647 395368 80 | 0.000 % |
902.63/902.97 c | 395625 | 263670 5951176 18559697 | 2147483647 395625 80 | 0.000 % |
903.73/904.08 c | 395907 | 263670 5951176 18559697 | 2147483647 395907 80 | 0.000 % |
904.53/904.80 c | 396217 | 263670 5951176 18559697 | 2147483647 396217 80 | 0.000 % |
905.52/905.85 c | 396558 | 263670 5951176 18559697 | 2147483647 396558 80 | 0.000 % |
906.82/907.17 c | 396930 | 263670 5951176 18559697 | 2147483647 396930 80 | 0.000 % |
907.82/908.17 c | 397339 | 263670 5951176 18559697 | 2147483647 397339 80 | 0.000 % |
908.72/909.02 c | 397790 | 263670 5951176 18559697 | 2147483647 397790 80 | 0.000 % |
909.82/910.10 c | 398283 | 263670 5951176 18559697 | 2147483647 398283 80 | 0.000 % |
911.02/911.39 c | 398825 | 263670 5951176 18559697 | 2147483647 398825 80 | 0.000 % |
912.32/912.69 c | 399421 | 263670 5951176 18559697 | 2147483647 399421 80 | 0.000 % |
913.92/914.22 c | 400076 | 263670 5951176 18559697 | 2147483647 400076 80 | 0.000 % |
915.62/915.93 c | 400796 | 263670 5951176 18559697 | 2147483647 400796 80 | 0.000 % |
917.22/917.58 c | 401588 | 263670 5951176 18559697 | 2147483647 401588 80 | 0.000 % |
919.12/919.49 c | 402459 | 263670 5951176 18559697 | 2147483647 402459 80 | 0.000 % |
921.43/921.74 c | 403417 | 263670 5951176 18559697 | 2147483647 403417 80 | 0.000 % |
923.12/923.40 c | 404470 | 263670 5951176 18559697 | 2147483647 404470 80 | 0.000 % |
924.92/925.25 c | 405633 | 263670 5951176 18559697 | 2147483647 405633 80 | 0.000 % |
927.82/928.19 c | 406907 | 263670 5951176 18559697 | 2147483647 406907 80 | 0.000 % |
930.62/930.90 c | 408309 | 263670 5951176 18559697 | 2147483647 408309 80 | 0.000 % |
934.21/934.53 c | 409849 | 263670 5951176 18559697 | 2147483647 409849 80 | 0.000 % |
937.81/938.19 c | 411544 | 263670 5951176 18559697 | 2147483647 411544 80 | 0.000 % |
941.80/942.17 c | 413408 | 263670 5951176 18559697 | 2147483647 413408 82 | 0.000 % |
945.31/945.68 c | 415457 | 263670 5951176 18559697 | 2147483647 415457 82 | 0.000 % |
948.80/949.18 c | 417712 | 263670 5951176 18559697 | 2147483647 417712 81 | 0.000 % |
953.90/954.22 c | 420190 | 263670 5951176 18559697 | 2147483647 420190 82 | 0.000 % |
959.29/959.63 c | 422915 | 263670 5951176 18559697 | 2147483647 422915 81 | 0.000 % |
965.40/965.71 c | 425912 | 263670 5951176 18559697 | 2147483647 425912 81 | 0.000 % |
972.70/973.02 c | 429210 | 263670 5951176 18559697 | 2147483647 429210 81 | 0.000 % |
980.39/980.70 c | 432835 | 263670 5951176 18559697 | 2147483647 432835 81 | 0.000 % |
986.90/987.25 c | 436824 | 263670 5951176 18559697 | 2147483647 436824 82 | 0.000 % |
987.40/987.76 c | 436926 | 263670 5951176 18559697 | 2147483647 436926 82 | 0.000 % |
987.99/988.32 c | 437037 | 263670 5951176 18559697 | 2147483647 437037 82 | 0.000 % |
988.69/989.03 c | 437158 | 263670 5951176 18559697 | 2147483647 437158 82 | 0.000 % |
989.09/989.47 c | 437291 | 263670 5951176 18559697 | 2147483647 437291 82 | 0.000 % |
989.49/989.88 c | 437437 | 263670 5951176 18559697 | 2147483647 437437 82 | 0.000 % |
989.99/990.34 c | 437597 | 263670 5951176 18559697 | 2147483647 437597 82 | 0.000 % |
990.49/990.83 c | 437773 | 263670 5951176 18559697 | 2147483647 437773 82 | 0.000 % |
990.99/991.34 c | 437966 | 263670 5951176 18559697 | 2147483647 437966 82 | 0.000 % |
991.59/991.91 c | 438178 | 263670 5951176 18559697 | 2147483647 438178 82 | 0.000 % |
992.09/992.49 c | 438411 | 263670 5951176 18559697 | 2147483647 438411 82 | 0.000 % |
992.79/993.19 c | 438667 | 263670 5951176 18559697 | 2147483647 438667 82 | 0.000 % |
993.59/993.97 c | 438948 | 263670 5951176 18559697 | 2147483647 438948 82 | 0.000 % |
994.39/994.74 c | 439258 | 263670 5951176 18559697 | 2147483647 439258 82 | 0.000 % |
995.09/995.50 c | 439597 | 263670 5951176 18559697 | 2147483647 439597 82 | 0.000 % |
996.29/996.68 c | 439970 | 263670 5951176 18559697 | 2147483647 439970 82 | 0.000 % |
997.99/998.31 c | 440380 | 263670 5951176 18559697 | 2147483647 440380 82 | 0.000 % |
999.08/999.47 c | 440829 | 263670 5951176 18559697 | 2147483647 440829 82 | 0.000 % |
999.78/1000.16 c | 441322 | 263670 5951176 18559697 | 2147483647 441322 82 | 0.000 % |
1000.88/1001.20 c | 441866 | 263670 5951176 18559697 | 2147483647 441866 82 | 0.000 % |
1001.98/1002.31 c | 442463 | 263670 5951176 18559697 | 2147483647 442463 82 | 0.000 % |
1003.29/1003.64 c | 443123 | 263670 5951176 18559697 | 2147483647 443123 82 | 0.000 % |
1004.39/1004.73 c | 443843 | 263670 5951176 18559697 | 2147483647 443843 82 | 0.000 % |
1006.19/1006.59 c | 444637 | 263670 5951176 18559697 | 2147483647 444637 82 | 0.000 % |
1009.39/1009.73 c | 445508 | 263670 5951176 18559697 | 2147483647 445508 82 | 0.000 % |
1011.38/1011.71 c | 446466 | 263670 5951176 18559697 | 2147483647 446466 83 | 0.000 % |
1013.18/1013.53 c | 447519 | 263670 5951176 18559697 | 2147483647 447519 83 | 0.000 % |
1016.18/1016.57 c | 448678 | 263670 5951176 18559697 | 2147483647 448678 83 | 0.000 % |
1019.58/1019.93 c | 449953 | 263670 5951176 18559697 | 2147483647 449953 83 | 0.000 % |
1024.78/1025.11 c | 451353 | 263670 5951176 18559697 | 2147483647 451353 83 | 0.000 % |
1027.18/1027.50 c | 452893 | 263670 5951176 18559697 | 2147483647 452893 84 | 0.000 % |
1030.28/1030.61 c | 454592 | 263670 5951176 18559697 | 2147483647 454592 84 | 0.000 % |
1035.47/1035.86 c | 456456 | 263670 5951176 18559697 | 2147483647 456456 84 | 0.000 % |
1038.97/1039.38 c | 458505 | 263670 5951176 18559697 | 2147483647 458505 84 | 0.000 % |
1045.17/1045.53 c | 460760 | 263670 5951176 18559697 | 2147483647 460760 84 | 0.000 % |
1049.67/1050.07 c | 463238 | 263670 5951176 18559697 | 2147483647 463238 84 | 0.000 % |
1055.07/1055.42 c | 465964 | 263670 5951176 18559697 | 2147483647 465964 84 | 0.000 % |
1061.47/1061.80 c | 468961 | 263670 5951176 18559697 | 2147483647 468961 83 | 0.000 % |
1068.37/1068.72 c | 472257 | 263670 5951176 18559697 | 2147483647 472257 83 | 0.000 % |
1075.66/1076.04 c | 475883 | 263670 5951176 18559697 | 2147483647 475883 83 | 0.000 % |
1082.67/1083.06 c | 479870 | 263670 5951176 18559697 | 2147483647 479870 83 | 0.000 % |
1092.46/1092.89 c | 484255 | 263670 5951176 18559697 | 2147483647 484255 83 | 0.000 % |
1092.86/1093.21 c | 484357 | 263670 5951176 18559697 | 2147483647 484357 83 | 0.000 % |
1093.06/1093.47 c | 484467 | 263670 5951176 18559697 | 2147483647 484467 83 | 0.000 % |
1093.46/1093.84 c | 484589 | 263670 5951176 18559697 | 2147483647 484589 83 | 0.000 % |
1095.16/1095.50 c | 484723 | 263670 5951176 18559697 | 2147483647 484723 83 | 0.000 % |
1095.86/1096.22 c | 484869 | 263670 5951176 18559697 | 2147483647 484869 83 | 0.000 % |
1096.26/1096.66 c | 485034 | 263670 5951176 18559697 | 2147483647 485034 83 | 0.000 % |
1097.26/1097.65 c | 485210 | 263670 5951176 18559697 | 2147483647 485210 83 | 0.000 % |
1098.16/1098.55 c | 485405 | 263670 5951176 18559697 | 2147483647 485405 83 | 0.000 % |
1099.16/1099.51 c | 485621 | 263670 5951176 18559697 | 2147483647 485621 83 | 0.000 % |
1099.85/1100.21 c | 485855 | 263670 5951176 18559697 | 2147483647 485855 83 | 0.000 % |
1100.55/1100.96 c | 486111 | 263670 5951176 18559697 | 2147483647 486111 83 | 0.000 % |
1101.25/1101.67 c | 486393 | 263670 5951176 18559697 | 2147483647 486393 83 | 0.000 % |
1102.16/1102.55 c | 486702 | 263670 5951176 18559697 | 2147483647 486702 83 | 0.000 % |
1103.06/1103.47 c | 487042 | 263670 5951176 18559697 | 2147483647 487042 83 | 0.000 % |
1104.06/1104.47 c | 487414 | 263670 5951176 18559697 | 2147483647 487414 83 | 0.000 % |
1105.16/1105.57 c | 487825 | 263670 5951176 18559697 | 2147483647 487825 83 | 0.000 % |
1106.56/1106.92 c | 488274 | 263670 5951176 18559697 | 2147483647 488274 83 | 0.000 % |
1107.46/1107.81 c | 488767 | 263670 5951176 18559697 | 2147483647 488767 83 | 0.000 % |
1109.06/1109.41 c | 489309 | 263670 5951176 18559697 | 2147483647 489309 83 | 0.000 % |
1110.56/1111.00 c | 489908 | 263670 5951176 18559697 | 2147483647 489908 83 | 0.000 % |
1111.95/1112.38 c | 490563 | 263670 5951176 18559697 | 2147483647 490563 83 | 0.000 % |
1114.25/1114.64 c | 491283 | 263670 5951176 18559697 | 2147483647 491283 83 | 0.000 % |
1115.95/1116.37 c | 492075 | 263670 5951176 18559697 | 2147483647 492075 83 | 0.000 % |
1118.55/1118.99 c | 492948 | 263670 5951176 18559697 | 2147483647 492948 83 | 0.000 % |
1121.75/1122.18 c | 493907 | 263670 5951176 18559697 | 2147483647 493907 83 | 0.000 % |
1124.25/1124.65 c | 494960 | 263670 5951176 18559697 | 2147483647 494960 83 | 0.000 % |
1127.05/1127.45 c | 496118 | 263670 5951176 18559697 | 2147483647 496118 83 | 0.000 % |
1130.65/1131.08 c | 497391 | 263670 5951176 18559697 | 2147483647 497391 83 | 0.000 % |
1134.65/1135.01 c | 498791 | 263670 5951176 18559697 | 2147483647 498791 83 | 0.000 % |
1137.34/1137.76 c | 500331 | 263670 5951176 18559697 | 2147483647 500331 84 | 0.000 % |
1141.64/1142.06 c | 502025 | 263670 5951176 18559697 | 2147483647 502025 84 | 0.000 % |
1145.45/1145.86 c | 503888 | 263670 5951176 18559697 | 2147483647 503888 84 | 0.000 % |
1150.44/1150.81 c | 505938 | 263670 5951176 18559697 | 2147483647 505938 85 | 0.000 % |
1154.54/1154.92 c | 508191 | 263670 5951176 18559697 | 2147483647 508191 85 | 0.000 % |
1160.64/1161.08 c | 510670 | 263670 5951176 18559697 | 2147483647 510670 85 | 0.000 % |
1167.23/1167.65 c | 513396 | 263670 5951176 18559697 | 2147483647 513396 84 | 0.000 % |
1173.35/1173.73 c | 516394 | 263670 5951176 18559697 | 2147483647 516394 84 | 0.000 % |
1179.64/1180.03 c | 519690 | 263670 5951176 18559697 | 2147483647 519690 84 | 0.000 % |
1186.54/1186.91 c | 523316 | 263670 5951176 18559697 | 2147483647 523316 84 | 0.000 % |
1194.33/1194.80 c | 527304 | 263670 5951176 18559697 | 2147483647 527304 83 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832135-1242769513/watcher-1832135-1242769513 -o /tmp/evaluation-result-1832135-1242769513/solver-1832135-1242769513 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832135-1242769513.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 0.97 3/64 16022
/proc/meminfo: memFree=1795928/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) R 16020 16022 15868 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=5356 CPUtime=0
/proc/16026/stat : 16026 (SatELiteGTI) R 16022 16022 15868 0 -1 4194368 7 0 0 0 0 0 0 0 18 0 1 0 304986097 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632597116 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16026/statm: 1339 237 197 169 0 50 0
[startup+0.048181 s]
/proc/loadavg: 1.01 1.00 0.97 3/64 16022
/proc/meminfo: memFree=1795928/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=4684 CPUtime=0.03
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 1043 0 0 0 3 0 0 0 18 0 1 0 304986097 4796416 1029 1992294400 134512640 135223648 4294956128 18446744073709551615 134527978 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 1171 1029 49 173 0 996 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10040
[startup+0.101186 s]
/proc/loadavg: 1.01 1.00 0.97 3/64 16022
/proc/meminfo: memFree=1795928/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=9808 CPUtime=0.08
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 2164 0 0 0 7 1 0 0 18 0 1 0 304986097 10043392 2150 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 2452 2151 49 173 0 2277 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15164
[startup+0.301202 s]
/proc/loadavg: 1.01 1.00 0.97 3/64 16022
/proc/meminfo: memFree=1795928/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=27592 CPUtime=0.29
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 6055 0 0 0 25 4 0 0 19 0 1 0 304986097 28254208 6041 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 6898 6041 49 173 0 6723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32948
[startup+0.701232 s]
/proc/loadavg: 1.01 1.00 0.97 3/64 16022
/proc/meminfo: memFree=1795928/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=59760 CPUtime=0.69
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 13374 0 0 0 59 10 0 0 23 0 1 0 304986097 61194240 13360 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 14940 13361 49 173 0 14765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65116
[startup+1.5023 s]
/proc/loadavg: 1.09 1.02 0.98 2/66 16027
/proc/meminfo: memFree=1722504/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=118644 CPUtime=1.48
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 27269 0 0 0 125 23 0 0 25 0 1 0 304986097 121491456 27255 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 29661 27256 49 173 0 29486 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124000
[startup+3.10143 s]
/proc/loadavg: 1.09 1.02 0.98 2/66 16027
/proc/meminfo: memFree=1649480/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=240824 CPUtime=3.08
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 55454 0 0 0 261 47 0 0 25 0 1 0 304986097 246603776 55440 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 60206 55441 49 173 0 60031 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 246180
[startup+6.30169 s]
/proc/loadavg: 1.09 1.02 0.98 2/66 16027
/proc/meminfo: memFree=1355848/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=502556 CPUtime=6.29
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 110819 0 0 0 551 78 0 0 25 0 1 0 304986097 514617344 110805 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 125639 110805 74 173 0 125464 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 507912
[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 0.98 2/66 16027
/proc/meminfo: memFree=1372936/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=491092 CPUtime=12.68
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 118929 0 0 0 1186 82 0 0 25 0 1 0 304986097 502878208 106313 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 122773 106313 76 173 0 122598 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 496448
[startup+25.5013 s]
/proc/loadavg: 1.06 1.01 0.98 2/66 16027
/proc/meminfo: memFree=1328200/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=532556 CPUtime=25.48
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 128272 0 0 0 2454 94 0 0 25 0 1 0 304986097 545337344 115656 1992294400 134512640 135223648 4294956128 18446744073709551615 134734703 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 133139 115656 76 173 0 132964 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 537912
[startup+51.1013 s]
/proc/loadavg: 1.04 1.01 0.98 2/66 16027
/proc/meminfo: memFree=1277192/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=0
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304986096 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16022/statm: 1339 237 197 169 0 50 0
[pid=16026] ppid=16022 vsize=608808 CPUtime=51.07
/proc/16026/stat : 16026 (SatELite_releas) R 16022 16022 15868 0 -1 4194304 141807 0 0 0 5008 99 0 0 25 0 1 0 304986097 623419392 128283 1992294400 134512640 135223648 4294956128 18446744073709551615 134548581 0 0 4096 3 0 0 0 17 1 0 0
/proc/16026/statm: 152202 128283 76 173 0 152027 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 614164
[startup+102.306 s]
/proc/loadavg: 1.01 1.01 0.98 2/66 16028
/proc/meminfo: memFree=1376840/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=285040 CPUtime=19.85
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 68034 0 0 0 1941 44 0 0 25 0 1 0 304994339 291880960 67962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 71260 67962 77 171 0 71087 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 290396
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1369736/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=292368 CPUtime=79.83
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 69854 0 0 0 7937 46 0 0 25 0 1 0 304994339 299384832 69782 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 73092 69782 77 171 0 72919 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 297724
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1361672/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=300304 CPUtime=139.82
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 71837 0 0 0 13933 49 0 0 25 0 1 0 304994339 307511296 71765 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 75076 71765 77 171 0 74903 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 305660
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1353736/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=308356 CPUtime=199.8
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 73817 0 0 0 19929 51 0 0 25 0 1 0 304994339 315756544 73745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 77089 73745 77 171 0 76916 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 313712
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1342216/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=319652 CPUtime=259.78
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 76637 0 0 0 25923 55 0 0 25 0 1 0 304994339 327323648 76565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 79913 76565 77 171 0 79740 0
Current children cumulated CPU time (s) 342.16
################
# More data... #
################
/proc/16028/statm: 87080 83612 77 171 0 86907 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 353676
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1304648/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=357228 CPUtime=499.73
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 85935 0 0 0 49906 67 0 0 25 0 1 0 304994339 365801472 85863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 89307 85863 77 171 0 89134 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 362584
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1293896/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=367768 CPUtime=559.73
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 88584 0 0 0 55902 71 0 0 25 0 1 0 304994339 376594432 88512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 91942 88512 77 171 0 91769 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 373124
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1277384/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=384264 CPUtime=619.7
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 92751 0 0 0 61895 75 0 0 25 0 1 0 304994339 393486336 92679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 96066 92679 77 171 0 95893 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 389620
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1261640/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=400028 CPUtime=679.69
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 96581 0 0 0 67890 79 0 0 25 0 1 0 304994339 409628672 96509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 100007 96509 77 171 0 99834 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 405384
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1248200/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=413276 CPUtime=739.67
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 99905 0 0 0 73884 83 0 0 25 0 1 0 304994339 423194624 99833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 103319 99833 77 171 0 103146 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 418632
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16028
/proc/meminfo: memFree=1236808/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=424652 CPUtime=799.65
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 102738 0 0 0 79879 86 0 0 25 0 1 0 304994339 434843648 102666 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 106163 102666 77 171 0 105990 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 430008
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16034
/proc/meminfo: memFree=1224896/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=436884 CPUtime=859.62
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 105799 0 0 0 85872 90 0 0 25 0 1 0 304994339 447369216 105727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 109221 105727 77 171 0 109048 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 442240
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16034
/proc/meminfo: memFree=1213576/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=447688 CPUtime=919.6
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 108495 0 0 0 91866 94 0 0 25 0 1 0 304994339 458432512 108423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 111922 108423 77 171 0 111749 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 453044
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16034
/proc/meminfo: memFree=1201032/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=461236 CPUtime=979.59
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 111592 0 0 0 97861 98 0 0 25 0 1 0 304994339 472305664 111520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 115309 111520 77 171 0 115136 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 466592
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16034
/proc/meminfo: memFree=1191560/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=470716 CPUtime=1039.57
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 113940 0 0 0 103856 101 0 0 25 0 1 0 304994339 482013184 113868 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 117679 113868 77 171 0 117506 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 476072
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16034
/proc/meminfo: memFree=1180296/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=481840 CPUtime=1099.56
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 116710 0 0 0 109852 104 0 0 25 0 1 0 304994339 493404160 116638 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 120460 116638 77 171 0 120287 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 487196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 16034
/proc/meminfo: memFree=1178312/2055920 swapFree=4180520/4192956
[pid=16022] ppid=16020 vsize=5356 CPUtime=82.38
/proc/16022/stat : 16022 (SatELiteGTI) S 16020 16022 15868 0 -1 4194304 336 155105 0 0 0 0 8072 166 16 0 1 0 304986096 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 239 197 169 0 50 0
[pid=16028] ppid=16022 vsize=483636 CPUtime=1117.65
/proc/16028/stat : 16028 (minisat_static) R 16022 16022 15868 0 -1 4194304 117189 0 0 0 111661 104 0 0 25 0 1 0 304994339 495243264 117117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16028/statm: 120909 117117 77 171 0 120736 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 488992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16022 and gives
# childrusage.ru_utime.tv_sec=80
# childrusage.ru_utime.tv_usec=726727
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=662747
# CPU time returned by wait4() is 82.3895
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.03
CPU user time (s): 1197.33
CPU system time (s): 2.7
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 614548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.7267
system time used= 1.66275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155441
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= 16
involuntary context switches= 154
runsolver used 1.37479 second user time and 3.06953 second system time
The end
Begin job on node3 at 2009-05-19 23:45:21
IDJOB=1832135
IDBENCH=20580
IDSOLVER=671
FILE ID=node3/1832135-1242769513
PBS_JOBID= 9322295
Free space on /tmp= 66304 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832135-1242769513/watcher-1832135-1242769513 -o /tmp/evaluation-result-1832135-1242769513/solver-1832135-1242769513 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832135-1242769513.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1490069933
node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1796280 kB
Buffers: 11760 kB
Cached: 203696 kB
SwapCached: 6768 kB
Active: 156936 kB
Inactive: 67468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1796280 kB
SwapTotal: 4192956 kB
SwapFree: 4180520 kB
Dirty: 133376 kB
Writeback: 0 kB
Mapped: 13972 kB
Slab: 21192 kB
Committed_AS: 1084196 kB
PageTables: 1400 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66156 MiB
End job on node3 at 2009-05-20 00:05:23