Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.81 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_9-sat.opb |
MD5SUM | 13e804dc51f4c233057894b7e80e9077 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.154976 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3968 |
Total number of constraints | 12403 |
Number of constraints which are clauses | 12151 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 171 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.04 c PB-wave - v2 0.00/0.04 c command line = ./PB-wave 0.00/0.04 c seed = 40817521 0.00/0.04 c cutoff = 1000000 0.00/0.04 c tries = 1000000 0.00/0.04 c heuristic = c best, noise 50 / 100 0.00/0.04 #var 3968 #con 12403 0.00/0.04 mode is SAT 0.00/0.04 c tail starts after flip = 11904 0.00/0.04 c numatom = 3968, numclause = 12403, numliterals = 31707 0.00/0.04 c wff read in 0.00/0.04 c 0.00/0.04 c lowest final avg noise noise total avg mean mean 0.00/0.04 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.04 c this this this this this this success success until std 0.00/0.04 c try try try try try try rate tries assign dev 0.00/0.04 c 1.09/1.13 c 93 180 185.64 29.97 6.19 1000000 0 2.19/2.23 c 99 198 187.78 28.20 6.66 1000000 0 3.29/3.33 c 99 168 184.70 27.28 6.77 1000000 0 4.39/4.42 c 94 207 184.11 28.65 6.43 1000000 0 5.49/5.52 c 92 165 184.95 28.44 6.50 1000000 0 6.59/6.62 c 98 206 185.63 27.97 6.64 1000000 0 7.69/7.71 c 96 204 183.91 27.86 6.60 1000000 0 8.79/8.81 c 92 157 185.69 28.57 6.50 1000000 0 9.89/9.91 c 97 196 186.99 29.20 6.40 1000000 0 10.99/11.01 c 95 206 185.01 28.45 6.50 1000000 0 12.09/12.11 c 93 151 182.85 28.06 6.52 1000000 0 13.18/13.21 c 98 156 186.91 27.18 6.88 1000000 0 14.18/14.30 c 82 117 185.73 27.34 6.79 1000000 0 15.28/15.40 c 90 213 188.37 28.01 6.72 1000000 0 16.38/16.50 c 103 212 186.17 28.77 6.47 1000000 0 17.48/17.59 c 94 217 183.89 27.42 6.71 1000000 0 18.58/18.69 c 92 149 185.58 27.97 6.63 1000000 0 19.68/19.78 c 89 215 183.49 26.96 6.81 1000000 0 20.78/20.88 c 95 279 184.67 28.94 6.38 1000000 0 21.88/21.98 c 86 221 185.15 29.28 6.32 1000000 0 22.98/23.07 c 90 192 184.21 29.26 6.30 1000000 0 24.08/24.17 c 95 183 185.75 27.75 6.69 1000000 0 25.18/25.27 c 93 161 185.39 27.63 6.71 1000000 0 26.28/26.36 c 94 184 186.99 28.33 6.60 1000000 0 27.38/27.46 c 96 179 186.88 28.39 6.58 1000000 0 28.48/28.56 c 100 123 182.75 28.60 6.39 1000000 0 29.58/29.65 c 87 175 186.33 29.54 6.31 1000000 0 30.68/30.75 c 97 169 184.83 27.24 6.78 1000000 0 31.78/31.85 c 100 195 184.75 27.41 6.74 1000000 0 32.88/32.94 c 94 204 184.27 27.21 6.77 1000000 0 33.98/34.04 c 101 221 183.78 26.91 6.83 1000000 0 35.08/35.13 c 94 169 184.96 27.43 6.74 1000000 0 36.18/36.23 c 92 145 185.51 28.79 6.44 1000000 0 37.28/37.33 c 95 156 184.43 27.50 6.71 1000000 0 38.38/38.43 c 100 161 184.97 28.49 6.49 1000000 0 39.47/39.52 c 100 194 187.07 28.28 6.62 1000000 0 40.57/40.62 c 85 178 186.40 28.77 6.48 1000000 0 41.67/41.71 c 95 172 186.09 27.93 6.66 1000000 0 42.77/42.81 c 94 183 188.69 30.28 6.23 1000000 0 43.87/43.91 c 95 163 183.49 29.43 6.23 1000000 0 44.97/45.00 c 100 191 185.33 27.00 6.87 1000000 0 46.07/46.10 c 101 214 186.44 29.24 6.38 1000000 0 47.06/47.19 c 102 178 186.24 28.46 6.54 1000000 0 48.16/48.29 c 85 144 182.41 26.83 6.80 1000000 0 49.26/49.39 c 103 227 184.90 26.81 6.90 1000000 0 50.36/50.49 c 101 207 187.07 28.34 6.60 1000000 0 51.46/51.58 c 91 130 187.45 29.60 6.33 1000000 0 52.56/52.68 c 99 180 186.50 29.19 6.39 1000000 0 53.66/53.78 c 99 146 188.13 28.49 6.60 1000000 0 54.76/54.87 c 100 181 185.74 27.47 6.76 1000000 0 55.86/55.97 c 84 199 186.18 28.17 6.61 1000000 0 56.96/57.06 c 94 178 183.32 26.85 6.83 1000000 0 58.06/58.16 c 101 168 184.49 28.44 6.49 1000000 0 59.16/59.26 c 94 121 184.46 27.80 6.63 1000000 0 60.26/60.35 c 92 187 182.22 27.12 6.72 1000000 0 61.36/61.45 c 97 134 187.71 28.76 6.53 1000000 0 62.46/62.55 c 92 202 188.87 28.90 6.54 1000000 0 63.56/63.64 c 93 174 184.91 28.58 6.47 1000000 0 64.66/64.74 c 100 189 186.36 26.54 7.02 1000000 0 65.76/65.83 c 89 178 185.83 27.77 6.69 1000000 0 66.86/66.93 c 88 149 188.42 28.67 6.57 1000000 0 67.96/68.03 c 88 132 186.48 29.63 6.29 1000000 0 69.06/69.13 c 93 164 184.61 26.49 6.97 1000000 0 70.16/70.22 c 95 181 183.72 27.76 6.62 1000000 0 71.26/71.32 c 97 144 186.92 28.28 6.61 1000000 0 72.35/72.41 c 94 149 186.08 28.67 6.49 1000000 0 73.45/73.51 c 100 188 186.61 28.43 6.56 1000000 0 74.55/74.61 c 106 209 185.33 27.42 6.76 1000000 0 75.65/75.70 c 95 146 186.54 27.92 6.68 1000000 0 76.75/76.80 c 90 186 188.24 30.00 6.27 1000000 0 77.85/77.90 c 97 222 185.37 27.20 6.82 1000000 0 78.95/79.00 c 88 222 186.17 29.75 6.26 1000000 0 79.95/80.09 c 90 190 186.48 29.53 6.31 1000000 0 81.05/81.19 c 97 180 184.00 26.68 6.90 1000000 0 82.15/82.29 c 95 227 186.16 28.73 6.48 1000000 0 83.25/83.39 c 94 151 185.17 28.29 6.55 1000000 0 84.35/84.48 c 96 207 181.02 26.95 6.72 1000000 0 85.45/85.58 c 88 184 183.04 27.29 6.71 1000000 0 86.55/86.68 c 93 165 186.81 28.66 6.52 1000000 0 87.65/87.77 c 93 159 182.85 28.19 6.49 1000000 0 88.75/88.87 c 105 214 186.74 28.98 6.44 1000000 0 89.85/89.97 c 92 137 185.95 28.47 6.53 1000000 0 90.95/91.07 c 101 161 183.34 27.49 6.67 1000000 0 92.05/92.16 c 93 209 184.79 27.19 6.80 1000000 0 93.15/93.26 c 82 252 183.55 28.75 6.38 1000000 0 94.25/94.35 c 89 203 185.23 28.03 6.61 1000000 0 95.35/95.45 c 95 194 186.39 29.05 6.42 1000000 0 96.45/96.55 c 92 177 185.34 28.37 6.53 1000000 0 97.55/97.64 c 95 226 184.64 27.53 6.71 1000000 0 98.65/98.74 c 88 189 186.14 28.23 6.59 1000000 0 99.74/99.84 c 90 193 185.10 26.35 7.03 1000000 0 100.84/100.93 c 93 145 186.38 28.18 6.61 1000000 0 101.94/102.03 c 100 160 185.27 27.43 6.75 1000000 0 103.04/103.13 c 96 211 186.05 26.89 6.92 1000000 0 104.14/104.23 c 93 153 184.72 27.74 6.66 1000000 0 105.24/105.32 c 96 189 181.74 28.09 6.47 1000000 0 106.34/106.42 c 81 182 186.01 27.22 6.83 1000000 0 107.44/107.52 c 96 153 184.34 27.98 6.59 1000000 0 108.54/108.61 c 93 230 186.09 27.40 6.79 1000000 0 109.64/109.71 c 98 212 184.90 28.15 6.57 1000000 0 110.74/110.80 c 98 223 185.34 27.74 6.68 1000000 0 111.84/111.90 c 89 170 183.86 27.83 6.61 1000000 0 112.94/113.00 c 90 179 187.13 28.78 6.50 1000000 0 113.94/114.09 c 81 206 182.13 27.26 6.68 1000000 0 115.04/115.19 c 97 207 187.76 28.43 6.60 1000000 0 116.14/116.28 c 101 220 185.31 26.99 6.87 1000000 0 117.24/117.38 c 92 165 185.66 26.73 6.95 1000000 0 118.34/118.47 c 92 205 186.96 29.55 6.33 1000000 0 119.44/119.57 c 95 170 183.54 27.87 6.59 1000000 0 120.54/120.67 c 98 159 184.00 27.73 6.63 1000000 0 121.64/121.76 c 92 220 185.60 29.23 6.35 1000000 0 122.74/122.86 c 98 260 189.17 27.99 6.76 1000000 0 123.84/123.95 c 89 149 187.86 28.97 6.48 1000000 0 124.94/125.05 c 105 180 188.69 27.68 6.82 1000000 0 126.03/126.15 c 96 200 186.67 27.77 6.72 1000000 0 127.13/127.24 c 92 219 185.54 27.79 6.68 1000000 0 128.23/128.34 c 103 174 187.61 28.95 6.48 1000000 0 129.33/129.43 c 97 178 185.70 29.42 6.31 1000000 0 130.43/130.53 c 82 200 184.71 27.14 6.81 1000000 0 131.53/131.63 c 93 155 187.51 29.23 6.42 1000000 0 132.63/132.73 c 102 201 186.65 27.06 6.90 1000000 0 133.73/133.82 c 91 230 184.53 28.57 6.46 1000000 0 134.83/134.92 c 89 179 186.56 27.98 6.67 1000000 0 135.93/136.01 c 94 176 184.77 27.18 6.80 1000000 0 137.03/137.11 c 71 200 185.71 28.04 6.62 1000000 0 138.13/138.20 c 99 224 184.99 26.89 6.88 1000000 0 139.23/139.30 c 96 184 184.54 27.34 6.75 1000000 0 140.23/140.39 c 90 166 185.02 28.68 6.45 1000000 0 141.33/141.49 c 95 175 186.39 28.90 6.45 1000000 0 142.43/142.59 c 100 179 184.18 27.06 6.81 1000000 0 143.53/143.69 c 97 178 184.23 29.82 6.18 1000000 0 144.63/144.78 c 91 257 186.65 27.52 6.78 1000000 0 145.73/145.88 c 78 192 186.12 27.22 6.84 1000000 0 146.83/146.97 c 97 207 182.28 24.97 7.30 1000000 0 147.93/148.07 c 94 208 184.75 28.12 6.57 1000000 0 149.03/149.17 c 99 209 185.80 27.16 6.84 1000000 0 150.13/150.26 c 100 208 184.49 26.13 7.06 1000000 0 151.23/151.36 c 98 219 188.98 27.67 6.83 1000000 0 152.32/152.45 c 93 212 183.52 26.96 6.81 1000000 0 153.42/153.55 c 93 131 182.55 27.18 6.72 1000000 0 154.52/154.65 c 96 239 188.98 27.69 6.82 1000000 0 155.62/155.74 c 96 168 188.27 28.76 6.55 1000000 0 156.72/156.84 c 101 184 185.55 28.47 6.52 1000000 0 157.82/157.93 c 85 197 186.86 28.23 6.62 1000000 0 158.92/159.03 c 90 194 185.86 28.61 6.50 1000000 0 160.02/160.12 c 101 202 188.71 30.53 6.18 1000000 0 161.12/161.22 c 85 224 181.69 26.12 6.96 1000000 0 162.22/162.31 c 94 218 186.12 26.69 6.97 1000000 0 163.32/163.41 c 94 204 187.98 29.35 6.40 1000000 0 164.42/164.51 c 102 154 188.21 28.39 6.63 1000000 0 165.52/165.60 c 95 169 182.40 29.53 6.18 1000000 0 166.62/166.70 c 98 143 184.71 27.80 6.65 1000000 0 167.62/167.80 c 85 198 186.47 27.52 6.78 1000000 0 168.72/168.89 c 90 135 187.27 29.11 6.43 1000000 0 169.82/169.99 c 77 141 187.44 29.30 6.40 1000000 0 170.92/171.09 c 100 185 188.19 28.92 6.51 1000000 0 172.01/172.19 c 75 173 183.95 27.11 6.79 1000000 0 173.11/173.28 c 99 139 185.37 26.86 6.90 1000000 0 174.21/174.38 c 93 205 187.36 27.02 6.93 1000000 0 175.31/175.48 c 92 167 186.04 27.93 6.66 1000000 0 176.41/176.57 c 96 159 185.16 27.63 6.70 1000000 0 177.51/177.67 c 100 191 189.49 27.63 6.86 1000000 0 178.61/178.77 c 93 211 186.67 27.97 6.67 1000000 0 179.71/179.87 c 93 184 186.74 28.06 6.66 1000000 0 180.81/180.96 c 100 154 183.49 27.55 6.66 1000000 0 181.91/182.06 c 89 185 187.15 28.14 6.65 1000000 0 183.01/183.16 c 104 177 187.00 26.70 7.00 1000000 0 184.11/184.25 c 91 177 186.41 29.96 6.22 1000000 0 185.21/185.35 c 98 208 185.07 27.61 6.70 1000000 0 186.31/186.44 c 85 195 188.95 30.40 6.21 1000000 0 187.41/187.54 c 86 204 186.30 28.39 6.56 1000000 0 188.51/188.64 c 98 220 185.92 28.38 6.55 1000000 0 189.61/189.73 c 99 194 185.22 26.67 6.95 1000000 0 190.71/190.83 c 93 175 184.72 27.33 6.76 1000000 0 191.81/191.93 c 92 191 187.35 30.81 6.08 1000000 0 192.91/193.02 c 94 198 186.95 30.97 6.04 1000000 0 194.01/194.12 c 94 174 185.16 28.62 6.47 1000000 0 195.11/195.22 c 105 189 189.23 29.40 6.44 1000000 0 196.21/196.31 c 98 231 184.49 27.66 6.67 1000000 0 197.31/197.41 c 103 167 186.99 27.66 6.76 1000000 0 198.40/198.51 c 104 189 187.89 29.11 6.45 1000000 0 199.50/199.61 c 88 165 184.13 27.44 6.71 1000000 0 200.60/200.70 c 100 129 185.85 27.65 6.72 1000000 0 201.70/201.80 c 97 195 188.28 27.53 6.84 1000000 0 202.70/202.89 c 89 234 185.81 27.62 6.73 1000000 0 203.80/203.99 c 91 226 183.49 28.68 6.40 1000000 0 204.90/205.09 c 97 222 186.26 26.48 7.03 1000000 0 206.00/206.18 c 91 200 185.95 27.74 6.70 1000000 0 207.10/207.28 c 100 144 185.95 27.38 6.79 1000000 0 208.20/208.38 c 86 205 184.01 28.84 6.38 1000000 0 209.30/209.48 c 94 210 182.91 27.76 6.59 1000000 0 210.40/210.57 c 88 186 185.54 29.17 6.36 1000000 0 211.50/211.67 c 98 156 183.90 26.84 6.85 1000000 0 212.60/212.76 c 90 144 186.62 27.87 6.70 1000000 0 213.70/213.86 c 90 217 190.83 29.06 6.57 1000000 0 214.80/214.96 c 88 187 183.77 28.19 6.52 1000000 0 215.90/216.05 c 95 209 184.49 27.91 6.61 1000000 0 217.00/217.15 c 102 213 186.87 28.00 6.67 1000000 0 218.10/218.24 c 95 169 184.47 27.98 6.59 1000000 0 219.20/219.34 c 98 187 184.14 28.33 6.50 1000000 0 220.30/220.43 c 77 172 184.31 28.01 6.58 1000000 0 221.40/221.53 c 96 189 189.21 28.76 6.58 1000000 0 222.50/222.63 c 92 190 187.04 26.57 7.04 1000000 0 223.60/223.73 c 88 168 183.85 27.10 6.78 1000000 0 224.69/224.82 c 97 169 183.37 28.27 6.49 1000000 0 225.79/225.92 c 98 233 186.30 29.23 6.37 1000000 0 226.89/227.02 c 88 181 184.06 27.72 6.64 1000000 0 227.99/228.11 c 92 213 187.24 28.68 6.53 1000000 0 229.09/229.21 c 94 133 188.58 30.75 6.13 1000000 0 230.19/230.31 c 88 247 188.57 28.30 6.66 1000000 0 231.29/231.41 c 96 226 185.98 29.54 6.30 1000000 0 232.39/232.50 c 86 180 185.69 26.39 7.04 1000000 0 233.49/233.60 c 93 191 184.20 28.34 6.50 1000000 0 234.49/234.69 c 101 151 186.37 28.43 6.55 1000000 0 235.59/235.79 c 99 140 186.62 27.63 6.75 1000000 0 236.69/236.89 c 90 186 185.05 27.68 6.69 1000000 0 237.79/237.98 c 83 163 187.13 28.89 6.48 1000000 0 238.89/239.08 c 90 228 186.19 28.52 6.53 1000000 0 239.99/240.18 c 88 196 188.15 29.94 6.28 1000000 0 241.09/241.27 c 99 186 185.06 28.09 6.59 1000000 0 242.19/242.37 c 100 252 185.37 28.71 6.46 1000000 0 243.29/243.46 c 88 161 183.83 28.39 6.48 1000000 0 244.39/244.56 c 101 176 184.46 27.76 6.65 1000000 0 245.49/245.65 c 96 200 186.88 26.73 6.99 1000000 0 246.59/246.75 c 84 162 185.89 27.94 6.65 1000000 0 247.69/247.84 c 96 170 185.90 25.98 7.16 1000000 0 248.79/248.94 c 99 160 185.45 28.15 6.59 1000000 0 249.88/250.04 c 91 189 186.62 30.31 6.16 1000000 0 250.98/251.14 c 93 170 186.35 29.02 6.42 1000000 0 252.08/252.23 c 94 218 187.21 28.25 6.63 1000000 0 253.18/253.33 c 89 210 187.28 28.75 6.51 1000000 0 254.28/254.42 c 91 209 186.85 30.01 6.23 1000000 0 255.38/255.52 c 91 217 186.75 30.43 6.14 1000000 0 256.48/256.62 c 88 167 186.39 29.77 6.26 1000000 0 257.58/257.71 c 99 181 186.13 27.61 6.74 1000000 0 258.68/258.81 c 94 201 186.32 29.05 6.41 1000000 0 259.78/259.91 c 82 284 182.49 28.60 6.38 1000000 0 260.88/261.00 c 98 152 183.62 27.73 6.62 1000000 0 261.88/262.10 c 95 156 186.49 28.84 6.47 1000000 0 262.98/263.19 c 89 137 186.67 27.49 6.79 1000000 0 264.08/264.29 c 92 191 186.98 30.37 6.16 1000000 0 265.18/265.38 c 102 180 183.68 29.30 6.27 1000000 0 266.28/266.47 c 104 172 184.43 27.32 6.75 1000000 0 267.39/267.57 c 106 180 186.88 27.55 6.78 1000000 0 268.49/268.67 c 90 182 184.69 27.32 6.76 1000000 0 269.59/269.76 c 82 182 184.08 27.78 6.63 1000000 0 270.69/270.86 c 101 227 187.87 26.95 6.97 1000000 0 271.79/271.96 c 92 202 183.09 27.73 6.60 1000000 0 272.89/273.06 c 100 174 187.97 28.36 6.63 1000000 0 273.98/274.15 c 92 182 186.80 31.11 6.00 1000000 0 275.08/275.25 c 87 217 185.92 29.02 6.41 1000000 0 276.18/276.35 c 93 211 186.12 27.69 6.72 1000000 0 277.28/277.44 c 103 188 185.47 26.76 6.93 1000000 0 278.38/278.54 c 93 176 184.78 27.76 6.66 1000000 0 279.48/279.63 c 90 166 187.32 27.88 6.72 1000000 0 280.58/280.73 c 105 215 187.51 29.54 6.35 1000000 0 281.68/281.82 c 103 175 182.30 26.88 6.78 1000000 0 282.78/282.92 c 92 197 186.04 28.88 6.44 1000000 0 283.88/284.01 c 95 192 184.81 27.77 6.66 1000000 0 284.98/285.11 c 99 164 184.30 26.93 6.84 1000000 0 286.08/286.20 c 98 148 183.40 26.23 6.99 1000000 0 287.18/287.30 c 97 189 185.15 26.15 7.08 1000000 0 288.18/288.40 c 96 181 186.25 28.79 6.47 1000000 0 289.28/289.49 c 92 196 184.66 27.41 6.74 1000000 0 290.37/290.59 c 98 170 187.81 28.56 6.58 1000000 0 291.47/291.69 c 99 203 184.95 27.20 6.80 1000000 0 292.57/292.79 c 93 177 187.77 29.76 6.31 1000000 0 293.67/293.88 c 92 185 184.04 28.13 6.54 1000000 0 294.77/294.98 c 103 187 186.67 27.64 6.75 1000000 0 295.87/296.08 c 90 174 184.13 27.45 6.71 1000000 0 296.97/297.17 c 90 169 181.20 28.41 6.38 1000000 0 298.07/298.27 c 91 183 182.64 26.53 6.89 1000000 0 299.17/299.37 c 87 208 184.70 27.96 6.61 1000000 0 300.27/300.46 c 84 134 184.71 28.61 6.46 1000000 0 301.37/301.56 c 94 203 185.33 26.99 6.87 1000000 0 302.47/302.66 c 103 165 187.83 28.80 6.52 1000000 0 303.57/303.75 c 90 155 185.50 27.65 6.71 1000000 0 304.67/304.85 c 95 177 185.53 29.92 6.20 1000000 0 305.77/305.94 c 93 202 187.75 29.46 6.37 1000000 0 306.87/307.04 c 90 209 184.17 28.10 6.55 1000000 0 307.97/308.14 c 90 221 188.48 29.59 6.37 1000000 0 309.07/309.23 c 99 149 187.69 29.22 6.42 1000000 0 310.17/310.33 c 91 194 183.33 26.42 6.94 1000000 0 311.27/311.42 c 94 179 189.04 27.74 6.82 1000000 0 312.37/312.52 c 94 146 184.76 27.12 6.81 1000000 0 313.47/313.61 c 99 170 187.50 27.82 6.74 1000000 0 314.57/314.71 c 91 165 183.50 29.47 6.23 1000000 0 315.67/315.81 c 95 217 182.57 26.91 6.78 1000000 0 316.77/316.91 c 99 155 182.69 27.78 6.58 1000000 0 317.87/318.00 c 97 188 183.29 27.14 6.75 1000000 0 318.97/319.10 c 86 144 186.50 29.19 6.39 1000000 0 319.97/320.19 c 99 165 183.94 26.99 6.81 1000000 0 321.07/321.29 c 86 196 186.58 28.35 6.58 1000000 0 322.17/322.39 c 93 131 183.39 28.64 6.40 1000000 0 323.27/323.48 c 84 119 187.61 30.06 6.24 1000000 0 324.37/324.58 c 96 173 185.08 29.14 6.35 1000000 0 325.47/325.68 c 90 206 183.67 28.09 6.54 1000000 0 326.57/326.77 c 95 167 185.57 28.36 6.54 1000000 0 327.67/327.87 c 98 204 185.83 27.90 6.66 1000000 0 328.77/328.97 c 93 171 187.56 29.05 6.46 1000000 0 329.87/330.07 c 101 184 187.57 27.86 6.73 1000000 0 330.97/331.16 c 106 230 187.39 26.30 7.13 1000000 0 332.07/332.26 c 82 218 187.07 28.67 6.52 1000000 0 333.17/333.35 c 98 209 185.98 27.57 6.75 1000000 0 334.27/334.45 c 98 191 187.51 28.15 6.66 1000000 0 335.37/335.55 c 94 186 186.90 27.39 6.82 1000000 0 336.47/336.64 c 96 195 184.06 28.51 6.46 1000000 0 337.57/337.74 c 93 200 186.74 26.79 6.97 1000000 0 338.67/338.83 c 101 195 185.78 27.84 6.67 1000000 0 339.76/339.93 c 98 207 185.18 28.88 6.41 1000000 0 340.86/341.03 c 87 166 185.99 27.79 6.69 1000000 0 341.96/342.13 c 88 193 187.04 29.26 6.39 1000000 0 343.06/343.22 c 97 166 185.46 27.67 6.70 1000000 0 344.16/344.32 c 93 201 185.87 28.09 6.62 1000000 0 345.26/345.41 c 92 185 183.45 27.85 6.59 1000000 0 346.36/346.51 c 97 172 185.17 27.35 6.77 1000000 0 347.46/347.61 c 99 129 184.64 27.65 6.68 1000000 0 348.56/348.71 c 83 151 187.66 27.76 6.76 1000000 0 349.56/349.80 c 93 140 186.57 28.96 6.44 1000000 0 350.66/350.90 c 104 177 185.32 29.98 6.18 1000000 0 351.76/352.00 c 89 190 188.39 27.19 6.93 1000000 0 352.86/353.09 c 95 183 185.39 27.34 6.78 1000000 0 353.96/354.19 c 93 158 183.03 27.69 6.61 1000000 0 355.06/355.28 c 90 157 184.16 27.08 6.80 1000000 0 356.16/356.38 c 98 159 186.82 27.87 6.70 1000000 0 357.26/357.48 c 93 189 187.64 26.88 6.98 1000000 0 358.36/358.58 c 88 188 182.64 26.17 6.98 1000000 0 359.46/359.67 c 102 257 186.35 27.41 6.80 1000000 0 360.56/360.77 c 105 184 183.87 27.46 6.70 1000000 0 361.66/361.87 c 91 164 184.80 27.27 6.78 1000000 0 362.76/362.97 c 89 210 186.87 28.11 6.65 1000000 0 363.86/364.06 c 89 192 185.60 27.73 6.69 1000000 0 364.95/365.16 c 91 165 185.95 29.84 6.23 1000000 0 366.05/366.26 c 99 143 186.53 27.37 6.81 1000000 0 367.15/367.35 c 99 194 186.87 27.90 6.70 1000000 0 368.25/368.45 c 105 161 185.56 27.20 6.82 1000000 0 369.35/369.54 c 102 192 187.73 29.73 6.31 1000000 0 370.45/370.64 c 80 197 185.08 27.50 6.73 1000000 0 371.55/371.74 c 92 176 184.94 29.03 6.37 1000000 0 372.65/372.84 c 90 185 185.92 27.08 6.87 1000000 0 373.75/373.93 c 89 217 186.94 27.67 6.76 1000000 0 374.85/375.03 c 88 230 185.50 26.51 7.00 1000000 0 375.95/376.13 c 94 192 185.26 28.11 6.59 1000000 0 377.05/377.22 c 89 187 186.23 27.12 6.87 1000000 0 378.15/378.32 c 93 209 184.33 27.65 6.67 1000000 0 379.25/379.41 c 102 159 187.28 28.63 6.54 1000000 0 380.35/380.51 c 94 186 185.34 28.07 6.60 1000000 0 381.45/381.61 c 90 214 184.76 29.60 6.24 1000000 0 382.55/382.70 c 101 139 188.05 28.02 6.71 1000000 0 383.54/383.80 c 74 163 186.86 28.84 6.48 1000000 0 384.64/384.89 c 89 193 185.77 29.08 6.39 1000000 0 385.74/385.99 c 95 180 184.70 27.58 6.70 1000000 0 386.84/387.08 c 90 249 185.87 29.16 6.38 1000000 0 387.94/388.18 c 93 208 189.41 30.20 6.27 1000000 0 389.04/389.27 c 102 198 183.56 28.78 6.38 1000000 0 390.14/390.37 c 83 159 186.15 29.44 6.32 1000000 0 391.24/391.47 c 93 170 184.90 28.64 6.46 1000000 0 392.34/392.57 c 102 216 184.78 26.91 6.87 1000000 0 393.44/393.66 c 94 189 183.04 26.80 6.83 1000000 0 394.54/394.76 c 104 195 186.32 26.31 7.08 1000000 0 395.63/395.86 c 94 185 187.38 28.30 6.62 1000000 0 396.73/396.95 c 95 185 187.77 30.00 6.26 1000000 0 397.83/398.05 c 83 211 186.39 28.70 6.49 1000000 0 398.93/399.15 c 107 223 187.27 27.60 6.79 1000000 0 400.03/400.24 c 92 169 183.10 28.09 6.52 1000000 0 401.13/401.34 c 89 254 183.96 25.92 7.10 1000000 0 402.23/402.44 c 99 184 183.99 28.79 6.39 1000000 0 403.33/403.53 c 91 149 188.85 29.24 6.46 1000000 0 404.43/404.63 c 88 182 188.25 28.54 6.60 1000000 0 405.53/405.73 c 101 189 184.16 27.51 6.69 1000000 0 406.63/406.82 c 98 149 184.97 27.72 6.67 1000000 0 407.73/407.92 c 95 201 181.20 27.10 6.69 1000000 0 408.83/409.02 c 95 188 186.23 29.44 6.33 1000000 0 409.93/410.11 c 92 176 185.72 28.60 6.49 1000000 0 411.03/411.21 c 96 229 185.72 28.05 6.62 1000000 0 412.13/412.30 c 99 189 185.79 27.37 6.79 1000000 0 413.23/413.40 c 95 194 183.94 26.44 6.96 1000000 0 414.33/414.50 c 83 170 185.45 28.84 6.43 1000000 0 415.43/415.60 c 95 167 186.85 26.56 7.04 1000000 0 416.43/416.69 c 92 190 182.65 27.90 6.55 1000000 0 417.53/417.79 c 103 211 188.69 28.74 6.56 1000000 0 418.63/418.88 c 97 145 189.36 27.99 6.76 1000000 0 419.73/419.98 c 102 211 183.37 26.93 6.81 1000000 0 420.82/421.08 c 99 178 186.71 30.38 6.15 1000000 0 421.92/422.17 c 104 158 184.79 28.98 6.38 1000000 0 423.02/423.27 c 99 196 185.51 27.58 6.73 1000000 0 424.12/424.37 c 94 187 184.76 27.52 6.71 1000000 0 425.22/425.46 c 89 197 186.50 28.81 6.47 1000000 0 426.32/426.56 c 87 178 182.42 27.00 6.76 1000000 0 427.42/427.65 c 97 211 185.15 26.54 6.98 1000000 0 428.52/428.75 c 86 185 182.92 26.98 6.78 1000000 0 429.62/429.84 c 96 211 185.21 26.46 7.00 1000000 0 430.72/430.94 c 94 213 185.06 29.52 6.27 1000000 0 431.82/432.03 c 91 194 184.52 28.72 6.43 1000000 0 432.92/433.13 c 95 182 185.54 27.28 6.80 1000000 0 434.02/434.22 c 91 188 184.06 28.24 6.52 1000000 0 435.12/435.32 c 102 187 185.95 28.53 6.52 1000000 0 436.22/436.41 c 101 169 185.32 27.79 6.67 1000000 0 437.32/437.51 c 96 193 185.52 28.56 6.50 1000000 0 438.42/438.61 c 109 152 187.58 26.97 6.96 1000000 0 439.52/439.70 c 95 188 184.75 26.41 6.99 1000000 0 440.52/440.79 c 81 159 182.88 26.65 6.86 1000000 0 441.62/441.89 c 100 202 187.07 29.02 6.45 1000000 0 442.72/442.98 c 95 219 185.01 26.76 6.91 1000000 0 443.82/444.08 c 101 193 185.46 26.29 7.06 1000000 0 444.92/445.18 c 94 173 187.69 27.77 6.76 1000000 0 446.02/446.27 c 98 148 184.24 26.74 6.89 1000000 0 447.12/447.37 c 91 162 184.19 27.24 6.76 1000000 0 448.21/448.47 c 96 245 184.72 27.55 6.70 1000000 0 449.31/449.57 c 95 164 184.19 28.08 6.56 1000000 0 450.41/450.67 c 96 181 184.95 26.65 6.94 1000000 0 451.51/451.76 c 104 221 187.96 28.78 6.53 1000000 0 452.61/452.86 c 99 186 184.34 27.53 6.70 1000000 0 453.71/453.96 c 82 189 181.80 27.34 6.65 1000000 0 454.81/455.05 c 97 184 183.38 28.61 6.41 1000000 0 455.91/456.15 c 98 169 185.00 26.96 6.86 1000000 0 457.01/457.24 c 102 149 184.93 27.29 6.78 1000000 0 458.11/458.34 c 91 171 186.02 28.38 6.55 1000000 0 459.21/459.43 c 99 182 185.54 27.90 6.65 1000000 0 460.31/460.53 c 90 218 186.75 27.38 6.82 1000000 0 461.41/461.63 c 103 155 184.23 27.88 6.61 1000000 0 462.51/462.72 c 90 175 186.39 29.35 6.35 1000000 0 463.61/463.82 c 91 197 184.52 27.51 6.71 1000000 0 464.71/464.92 c 104 159 186.17 26.99 6.90 1000000 0 465.81/466.01 c 98 243 185.21 26.78 6.92 1000000 0 466.91/467.11 c 89 162 185.32 27.19 6.82 1000000 0 468.01/468.21 c 103 173 187.74 29.42 6.38 1000000 0 469.11/469.31 c 95 181 187.09 28.55 6.55 1000000 0 470.21/470.40 c 94 174 181.96 27.61 6.59 1000000 0 471.21/471.50 c 101 190 188.24 28.55 6.59 1000000 0 472.30/472.59 c 79 193 182.30 27.62 6.60 1000000 0 473.40/473.69 c 97 204 182.84 27.38 6.68 1000000 0 474.50/474.79 c 97 229 185.02 27.49 6.73 1000000 0 475.60/475.88 c 89 139 187.61 28.55 6.57 1000000 0 476.70/476.98 c 82 206 186.81 29.16 6.41 1000000 0 477.80/478.08 c 99 177 187.75 28.61 6.56 1000000 0 478.90/479.17 c 81 214 190.13 30.58 6.22 1000000 0 480.00/480.27 c 102 209 185.32 27.96 6.63 1000000 0 481.10/481.36 c 96 154 183.21 26.37 6.95 1000000 0 482.20/482.46 c 88 213 185.43 27.22 6.81 1000000 0 483.30/483.55 c 97 163 185.07 27.56 6.72 1000000 0 484.40/484.65 c 101 176 185.35 27.94 6.63 1000000 0 485.50/485.75 c 98 202 187.04 28.17 6.64 1000000 0 486.60/486.85 c 95 152 183.43 26.74 6.86 1000000 0 487.70/487.94 c 98 184 184.90 30.68 6.03 1000000 0 488.80/489.04 c 104 234 187.20 28.62 6.54 1000000 0 489.90/490.14 c 93 183 185.80 28.27 6.57 1000000 0 491.00/491.23 c 94 216 186.88 27.08 6.90 1000000 0 492.10/492.33 c 94 174 187.72 27.14 6.92 1000000 0 493.20/493.43 c 100 185 183.81 29.22 6.29 1000000 0 494.29/494.52 c 90 212 187.06 28.14 6.65 1000000 0 495.39/495.62 c 89 181 181.59 26.75 6.79 1000000 0 496.49/496.72 c 75 189 182.90 26.06 7.02 1000000 0 497.59/497.81 c 101 154 184.21 27.64 6.66 1000000 0 498.69/498.91 c 95 154 185.25 27.26 6.79 1000000 0 499.79/500.01 c 103 162 188.80 29.25 6.45 1000000 0 500.89/501.11 c 86 190 183.54 27.62 6.64 1000000 0 501.99/502.20 c 97 226 184.97 28.30 6.54 1000000 0 503.09/503.30 c 104 200 186.64 29.18 6.40 1000000 0 504.19/504.40 c 101 180 185.51 27.80 6.67 1000000 0 505.19/505.49 c 103 182 183.15 28.39 6.45 1000000 0 506.29/506.59 c 104 204 186.62 27.69 6.74 1000000 0 507.39/507.69 c 98 164 184.75 26.26 7.04 1000000 0 508.49/508.78 c 96 214 185.33 29.00 6.39 1000000 0 509.59/509.88 c 98 173 184.59 26.26 7.03 1000000 0 510.69/510.97 c 104 179 186.87 28.24 6.62 1000000 0 511.79/512.07 c 97 172 188.23 28.98 6.50 1000000 0 512.89/513.17 c 96 159 187.60 28.49 6.59 1000000 0 513.99/514.26 c 84 161 186.63 27.28 6.84 1000000 0 515.09/515.36 c 93 200 186.37 27.87 6.69 1000000 0 516.19/516.46 c 96 166 184.91 28.51 6.49 1000000 0 517.29/517.55 c 88 216 187.21 28.38 6.60 1000000 0 518.39/518.65 c 100 174 187.56 27.57 6.80 1000000 0 519.49/519.75 c 98 148 186.57 27.66 6.75 1000000 0 520.59/520.84 c 93 213 186.79 29.10 6.42 1000000 0 521.69/521.94 c 81 215 186.47 29.25 6.37 1000000 0 522.78/523.03 c 96 201 188.92 28.44 6.64 1000000 0 523.88/524.13 c 92 136 187.52 28.91 6.49 1000000 0 524.98/525.22 c 96 209 187.73 29.47 6.37 1000000 0 526.08/526.32 c 94 133 185.50 27.35 6.78 1000000 0 527.18/527.41 c 94 172 185.05 28.30 6.54 1000000 0 528.28/528.51 c 78 181 188.49 28.90 6.52 1000000 0 529.38/529.61 c 95 194 184.15 27.01 6.82 1000000 0 530.48/530.71 c 83 191 185.81 27.63 6.73 1000000 0 531.58/531.80 c 99 191 185.80 26.99 6.88 1000000 0 532.68/532.90 c 94 194 186.39 28.15 6.62 1000000 0 533.68/533.99 c 101 138 187.41 27.09 6.92 1000000 0 534.78/535.09 c 96 214 185.29 27.66 6.70 1000000 0 535.88/536.18 c 92 132 183.24 29.14 6.29 1000000 0 536.98/537.28 c 102 190 185.05 26.90 6.88 1000000 0 538.08/538.38 c 94 197 183.35 28.24 6.49 1000000 0 539.18/539.48 c 91 192 185.38 28.51 6.50 1000000 0 540.28/540.57 c 95 187 184.97 25.84 7.16 1000000 0 541.38/541.67 c 100 177 187.05 28.33 6.60 1000000 0 542.48/542.76 c 96 218 182.00 26.35 6.91 1000000 0 543.58/543.86 c 99 167 186.89 27.64 6.76 1000000 0 544.68/544.96 c 93 179 188.80 30.40 6.21 1000000 0 545.78/546.05 c 103 150 188.27 28.43 6.62 1000000 0 546.87/547.15 c 98 138 185.05 26.85 6.89 1000000 0 547.97/548.24 c 100 183 186.10 28.57 6.51 1000000 0 549.07/549.34 c 92 178 183.77 27.16 6.77 1000000 0 550.17/550.43 c 99 174 183.63 25.85 7.10 1000000 0 551.27/551.53 c 97 176 186.06 28.29 6.58 1000000 0 552.37/552.63 c 104 165 184.01 27.59 6.67 1000000 0 553.47/553.72 c 93 171 184.69 28.76 6.42 1000000 0 554.57/554.82 c 100 170 189.31 27.79 6.81 1000000 0 555.67/555.92 c 99 151 185.63 26.77 6.93 1000000 0 556.77/557.01 c 96 197 183.14 27.67 6.62 1000000 0 557.87/558.11 c 91 173 186.01 26.98 6.89 1000000 0 558.97/559.20 c 90 148 184.00 30.36 6.06 1000000 0 560.07/560.30 c 97 221 183.36 29.17 6.29 1000000 0 561.17/561.40 c 89 200 185.37 29.97 6.18 1000000 0 562.17/562.50 c 100 195 184.89 27.13 6.82 1000000 0 563.27/563.59 c 98 225 187.86 27.03 6.95 1000000 0 564.37/564.69 c 86 142 188.17 27.41 6.86 1000000 0 565.47/565.78 c 102 202 184.66 27.94 6.61 1000000 0 566.57/566.88 c 95 181 184.53 28.34 6.51 1000000 0 567.67/567.98 c 102 199 183.28 26.53 6.91 1000000 0 568.77/569.08 c 93 222 185.91 26.81 6.94 1000000 0 569.86/570.18 c 91 171 187.45 29.36 6.38 1000000 0 570.96/571.28 c 86 166 182.72 27.46 6.65 1000000 0 572.06/572.37 c 101 147 185.24 27.48 6.74 1000000 0 573.16/573.47 c 91 243 187.17 28.40 6.59 1000000 0 574.26/574.56 c 95 220 183.74 27.03 6.80 1000000 0 575.36/575.66 c 93 204 183.05 27.39 6.68 1000000 0 576.46/576.76 c 93 167 183.73 27.38 6.71 1000000 0 577.56/577.85 c 80 161 186.25 27.72 6.72 1000000 0 578.66/578.95 c 89 182 184.76 28.01 6.60 1000000 0 579.76/580.05 c 98 176 187.02 27.96 6.69 1000000 0 580.86/581.14 c 94 163 184.14 27.00 6.82 1000000 0 581.96/582.24 c 101 207 186.29 28.99 6.43 1000000 0 583.06/583.34 c 96 186 183.66 28.38 6.47 1000000 0 584.16/584.43 c 95 193 185.58 26.80 6.92 1000000 0 585.26/585.53 c 86 197 183.08 27.64 6.62 1000000 0 586.36/586.63 c 89 136 186.11 28.08 6.63 1000000 0 587.46/587.72 c 90 121 185.84 28.13 6.61 1000000 0 588.56/588.82 c 100 185 184.61 27.67 6.67 1000000 0 589.66/589.91 c 104 177 186.80 27.51 6.79 1000000 0 590.76/591.01 c 91 159 187.90 27.59 6.81 1000000 0 591.86/592.11 c 96 193 187.42 26.81 6.99 1000000 0 592.96/593.20 c 100 143 187.56 26.95 6.96 1000000 0 594.06/594.30 c 91 179 187.12 31.77 5.89 1000000 0 595.06/595.40 c 101 157 184.34 27.63 6.67 1000000 0 596.16/596.49 c 95 221 186.08 29.23 6.37 1000000 0 597.26/597.59 c 87 210 187.82 28.54 6.58 1000000 0 598.35/598.69 c 100 150 188.56 28.42 6.64 1000000 0 599.45/599.78 c 102 156 185.64 26.88 6.91 1000000 0 600.55/600.88 c 103 176 188.07 28.22 6.66 1000000 0 601.65/601.98 c 96 176 183.99 28.24 6.52 1000000 0 602.75/603.08 c 91 141 184.03 29.72 6.19 1000000 0 603.85/604.17 c 92 151 189.73 30.05 6.31 1000000 0 604.95/605.27 c 93 157 186.03 27.96 6.65 1000000 0 606.05/606.36 c 93 174 185.84 28.19 6.59 1000000 0 607.15/607.46 c 91 123 186.75 27.79 6.72 1000000 0 608.25/608.55 c 103 187 183.13 27.10 6.76 1000000 0 609.35/609.65 c 80 204 182.34 27.49 6.63 1000000 0 610.45/610.75 c 97 217 184.91 27.67 6.68 1000000 0 611.55/611.84 c 99 218 187.08 28.42 6.58 1000000 0 612.65/612.94 c 75 160 184.44 28.32 6.51 1000000 0 613.75/614.04 c 94 209 185.99 27.82 6.69 1000000 0 614.85/615.14 c 96 178 184.01 26.31 6.99 1000000 0 615.95/616.24 c 85 265 183.60 28.69 6.40 1000000 0 617.05/617.33 c 95 191 182.76 27.62 6.62 1000000 0 618.15/618.42 c 97 120 184.33 27.09 6.80 1000000 0 619.24/619.52 c 93 203 184.70 28.15 6.56 1000000 0 620.34/620.61 c 101 168 186.72 26.69 7.00 1000000 0 621.44/621.71 c 99 166 182.40 26.30 6.94 1000000 0 622.54/622.81 c 91 191 185.76 26.57 6.99 1000000 0 623.64/623.91 c 95 226 185.35 27.34 6.78 1000000 0 624.74/625.00 c 101 161 188.69 27.42 6.88 1000000 0 625.84/626.10 c 102 182 184.71 26.34 7.01 1000000 0 626.84/627.19 c 83 166 185.24 27.18 6.82 1000000 0 627.94/628.29 c 102 201 187.39 27.70 6.77 1000000 0 629.04/629.39 c 91 165 186.27 26.95 6.91 1000000 0 630.14/630.48 c 88 145 183.99 28.80 6.39 1000000 0 631.24/631.58 c 97 173 186.69 27.05 6.90 1000000 0 632.34/632.68 c 102 183 186.95 27.03 6.92 1000000 0 633.44/633.77 c 94 155 187.56 28.09 6.68 1000000 0 634.54/634.87 c 91 173 186.49 27.90 6.68 1000000 0 635.64/635.97 c 88 204 183.88 28.79 6.39 1000000 0 636.74/637.07 c 101 237 185.80 28.39 6.55 1000000 0 637.84/638.17 c 101 174 188.90 28.13 6.71 1000000 0 638.94/639.26 c 99 130 188.47 28.62 6.59 1000000 0 640.04/640.36 c 98 178 186.57 26.32 7.09 1000000 0 641.14/641.45 c 90 236 183.97 28.90 6.36 1000000 0 642.24/642.55 c 99 208 185.57 28.54 6.50 1000000 0 643.34/643.65 c 100 137 184.97 27.52 6.72 1000000 0 644.44/644.74 c 88 162 184.81 26.83 6.89 1000000 0 645.54/645.84 c 95 204 188.13 27.98 6.72 1000000 0 646.64/646.93 c 91 142 187.85 28.48 6.60 1000000 0 647.74/648.03 c 91 269 189.46 28.33 6.69 1000000 0 648.84/649.12 c 100 186 185.17 28.02 6.61 1000000 0 649.93/650.22 c 88 240 185.50 28.50 6.51 1000000 0 651.03/651.32 c 93 172 185.75 28.85 6.44 1000000 0 652.13/652.42 c 94 191 186.00 29.84 6.23 1000000 0 653.23/653.52 c 101 235 186.31 27.84 6.69 1000000 0 654.33/654.61 c 92 201 184.13 27.48 6.70 1000000 0 655.43/655.71 c 92 223 184.22 27.50 6.70 1000000 0 656.53/656.80 c 95 169 184.91 27.90 6.63 1000000 0 657.63/657.90 c 93 158 188.68 29.11 6.48 1000000 0 658.73/659.00 c 96 212 185.94 29.33 6.34 1000000 0 659.74/660.09 c 102 200 185.87 26.45 7.03 1000000 0 660.84/661.19 c 102 130 184.39 29.48 6.26 1000000 0 661.94/662.28 c 94 186 184.61 28.79 6.41 1000000 0 663.04/663.38 c 95 166 186.27 27.25 6.84 1000000 0 664.14/664.48 c 102 215 185.75 28.26 6.57 1000000 0 665.23/665.57 c 100 233 186.96 26.17 7.14 1000000 0 666.33/666.67 c 87 131 186.40 27.41 6.80 1000000 0 667.43/667.77 c 96 136 185.66 27.01 6.87 1000000 0 668.53/668.87 c 99 168 184.53 27.29 6.76 1000000 0 669.63/669.96 c 99 163 184.45 27.81 6.63 1000000 0 670.73/671.06 c 102 174 186.60 26.52 7.04 1000000 0 671.83/672.15 c 95 168 186.39 27.44 6.79 1000000 0 672.93/673.25 c 87 164 186.85 26.67 7.01 1000000 0 674.03/674.35 c 93 176 186.15 30.36 6.13 1000000 0 675.13/675.44 c 83 162 184.13 27.60 6.67 1000000 0 676.23/676.54 c 94 155 182.96 27.56 6.64 1000000 0 677.33/677.64 c 87 186 184.72 28.69 6.44 1000000 0 678.43/678.73 c 110 179 184.82 26.09 7.09 1000000 0 679.53/679.83 c 99 173 188.16 31.23 6.03 1000000 0 680.63/680.93 c 100 170 188.48 29.02 6.50 1000000 0 681.73/682.02 c 89 182 186.61 27.12 6.88 1000000 0 682.83/683.12 c 97 176 185.30 27.52 6.73 1000000 0 683.93/684.22 c 99 239 184.50 26.98 6.84 1000000 0 685.03/685.31 c 91 171 186.41 29.25 6.37 1000000 0 686.13/686.41 c 87 156 183.53 27.16 6.76 1000000 0 687.13/687.50 c 96 169 182.47 27.09 6.74 1000000 0 688.23/688.60 c 95 159 184.92 27.11 6.82 1000000 0 689.33/689.70 c 107 212 185.98 27.37 6.80 1000000 0 690.42/690.79 c 80 205 184.25 29.04 6.34 1000000 0 691.52/691.89 c 76 221 184.96 27.71 6.67 1000000 0 692.62/692.99 c 93 170 188.12 27.84 6.76 1000000 0 693.72/694.08 c 96 170 186.02 27.62 6.74 1000000 0 694.82/695.18 c 96 157 185.44 28.19 6.58 1000000 0 695.92/696.27 c 100 196 187.61 27.88 6.73 1000000 0 697.02/697.37 c 97 221 183.85 28.05 6.56 1000000 0 698.12/698.46 c 86 168 187.53 28.06 6.68 1000000 0 699.22/699.56 c 98 166 187.86 28.01 6.71 1000000 0 700.32/700.65 c 102 194 186.01 27.37 6.80 1000000 0 701.42/701.75 c 95 187 184.86 26.47 6.98 1000000 0 702.52/702.84 c 92 205 185.32 28.16 6.58 1000000 0 703.62/703.94 c 95 131 184.06 26.61 6.92 1000000 0 704.72/705.04 c 87 198 183.72 29.15 6.30 1000000 0 705.82/706.14 c 81 186 184.88 28.12 6.57 1000000 0 706.92/707.24 c 96 210 184.63 29.22 6.32 1000000 0 708.02/708.33 c 103 181 185.55 28.81 6.44 1000000 0 709.12/709.43 c 86 170 187.65 28.39 6.61 1000000 0 710.22/710.53 c 101 179 186.16 29.06 6.41 1000000 0 711.31/711.63 c 103 212 183.86 27.05 6.80 1000000 0 712.41/712.72 c 93 178 186.07 27.31 6.81 1000000 0 713.51/713.82 c 92 171 187.13 27.84 6.72 1000000 0 714.61/714.91 c 99 157 185.98 26.69 6.97 1000000 0 715.71/716.01 c 99 130 186.83 28.34 6.59 1000000 0 716.81/717.11 c 90 157 182.30 28.32 6.44 1000000 0 717.91/718.21 c 90 214 186.25 27.05 6.89 1000000 0 719.01/719.30 c 102 231 184.88 27.81 6.65 1000000 0 720.01/720.40 c 92 209 188.34 27.60 6.82 1000000 0 721.10/721.49 c 90 254 184.49 27.69 6.66 1000000 0 722.20/722.59 c 102 154 189.10 28.22 6.70 1000000 0 723.30/723.69 c 85 167 190.51 30.28 6.29 1000000 0 724.40/724.78 c 95 176 184.53 28.89 6.39 1000000 0 725.50/725.88 c 83 152 183.89 27.13 6.78 1000000 0 726.60/726.98 c 104 165 186.83 26.67 7.00 1000000 0 727.70/728.07 c 104 212 186.92 28.13 6.65 1000000 0 728.80/729.17 c 95 201 183.61 28.27 6.49 1000000 0 729.90/730.26 c 95 210 186.52 27.68 6.74 1000000 0 731.00/731.36 c 88 232 187.32 27.57 6.79 1000000 0 732.10/732.46 c 98 241 186.86 30.84 6.06 1000000 0 733.20/733.55 c 95 166 183.91 28.31 6.50 1000000 0 734.30/734.65 c 97 154 186.93 27.70 6.75 1000000 0 735.40/735.75 c 86 190 182.97 27.86 6.57 1000000 0 736.50/736.84 c 92 186 183.66 27.48 6.68 1000000 0 737.60/737.94 c 97 142 186.78 26.73 6.99 1000000 0 738.70/739.04 c 87 195 187.27 29.32 6.39 1000000 0 739.80/740.13 c 103 161 184.85 27.47 6.73 1000000 0 740.90/741.23 c 102 187 188.91 28.46 6.64 1000000 0 742.00/742.33 c 90 168 185.56 26.54 6.99 1000000 0 743.10/743.43 c 84 189 184.69 28.24 6.54 1000000 0 744.19/744.52 c 101 154 185.18 27.83 6.65 1000000 0 745.29/745.62 c 91 163 184.46 28.08 6.57 1000000 0 746.39/746.72 c 98 178 183.84 28.33 6.49 1000000 0 747.49/747.81 c 95 175 186.74 26.35 7.09 1000000 0 748.59/748.91 c 101 255 187.06 28.78 6.50 1000000 0 749.69/750.01 c 100 199 186.46 27.13 6.87 1000000 0 750.79/751.10 c 103 174 186.00 29.36 6.34 1000000 0 751.79/752.20 c 82 197 185.51 28.32 6.55 1000000 0 752.89/753.29 c 93 197 180.95 26.15 6.92 1000000 0 753.99/754.39 c 95 166 187.25 28.25 6.63 1000000 0 755.09/755.48 c 103 170 187.05 29.02 6.45 1000000 0 756.19/756.58 c 91 156 184.80 28.65 6.45 1000000 0 757.29/757.68 c 96 202 186.15 28.64 6.50 1000000 0 758.39/758.77 c 90 256 184.55 27.78 6.64 1000000 0 759.49/759.87 c 101 147 187.95 27.15 6.92 1000000 0 760.59/760.96 c 104 203 186.01 29.80 6.24 1000000 0 761.69/762.06 c 94 164 186.88 27.29 6.85 1000000 0 762.79/763.16 c 87 232 185.03 29.94 6.18 1000000 0 763.89/764.26 c 88 188 185.78 28.13 6.60 1000000 0 764.99/765.36 c 108 218 187.34 28.13 6.66 1000000 0 766.09/766.45 c 91 192 185.37 27.30 6.79 1000000 0 767.19/767.55 c 104 177 184.67 28.05 6.58 1000000 0 768.29/768.64 c 89 173 185.08 28.08 6.59 1000000 0 769.39/769.74 c 84 151 187.01 27.12 6.90 1000000 0 770.48/770.83 c 90 149 186.18 28.67 6.49 1000000 0 771.58/771.93 c 91 185 185.71 28.80 6.45 1000000 0 772.68/773.02 c 102 185 188.45 27.47 6.86 1000000 0 773.78/774.12 c 96 177 185.10 26.78 6.91 1000000 0 774.88/775.22 c 95 187 179.29 26.04 6.88 1000000 0 775.98/776.32 c 106 208 185.44 27.59 6.72 1000000 0 777.08/777.41 c 73 178 187.00 29.15 6.42 1000000 0 778.18/778.51 c 93 187 185.56 28.27 6.56 1000000 0 779.28/779.60 c 86 161 186.58 28.78 6.48 1000000 0 780.28/780.70 c 94 211 187.39 29.04 6.45 1000000 0 781.38/781.79 c 101 223 187.90 28.74 6.54 1000000 0 782.48/782.89 c 90 206 187.48 28.29 6.63 1000000 0 783.58/783.99 c 89 199 184.97 28.97 6.38 1000000 0 784.68/785.09 c 105 165 185.50 27.65 6.71 1000000 0 785.78/786.18 c 92 155 183.65 27.23 6.74 1000000 0 786.88/787.28 c 97 150 186.62 26.42 7.06 1000000 0 787.98/788.37 c 97 162 186.26 28.25 6.59 1000000 0 789.08/789.47 c 91 220 188.21 29.55 6.37 1000000 0 790.18/790.56 c 99 192 183.36 28.74 6.38 1000000 0 791.28/791.66 c 91 186 183.37 27.35 6.71 1000000 0 792.38/792.75 c 95 192 184.53 28.00 6.59 1000000 0 793.48/793.85 c 103 219 186.31 28.41 6.56 1000000 0 794.58/794.95 c 98 243 186.96 27.38 6.83 1000000 0 795.68/796.04 c 98 163 187.16 27.96 6.69 1000000 0 796.77/797.14 c 86 184 185.14 29.05 6.37 1000000 0 797.87/798.24 c 85 160 184.98 27.88 6.63 1000000 0 798.97/799.33 c 100 174 187.63 28.66 6.55 1000000 0 800.07/800.43 c 92 191 184.02 27.86 6.60 1000000 0 801.17/801.53 c 91 234 185.36 28.72 6.45 1000000 0 802.27/802.62 c 90 147 184.18 27.90 6.60 1000000 0 803.37/803.72 c 93 168 188.74 27.97 6.75 1000000 0 804.47/804.81 c 87 168 187.70 27.52 6.82 1000000 0 805.57/805.91 c 95 218 187.77 28.88 6.50 1000000 0 806.67/807.01 c 100 118 183.87 28.95 6.35 1000000 0 807.77/808.10 c 92 164 186.21 29.14 6.39 1000000 0 808.87/809.20 c 93 214 186.88 29.02 6.44 1000000 0 809.87/810.30 c 90 209 187.27 27.52 6.80 1000000 0 810.97/811.40 c 81 178 185.34 29.40 6.30 1000000 0 812.07/812.49 c 97 203 184.33 27.78 6.64 1000000 0 813.17/813.58 c 99 234 189.57 29.36 6.46 1000000 0 814.27/814.68 c 94 162 189.63 27.68 6.85 1000000 0 815.37/815.77 c 93 216 180.23 26.47 6.81 1000000 0 816.47/816.87 c 96 165 186.77 29.03 6.43 1000000 0 817.57/817.97 c 90 206 186.44 27.08 6.89 1000000 0 818.67/819.06 c 83 186 184.95 27.51 6.72 1000000 0 819.77/820.17 c 92 203 182.96 28.35 6.45 1000000 0 820.87/821.26 c 95 187 188.06 28.57 6.58 1000000 0 821.96/822.36 c 101 174 186.43 27.53 6.77 1000000 0 823.06/823.45 c 94 157 186.20 27.87 6.68 1000000 0 824.16/824.55 c 95 175 184.49 27.97 6.60 1000000 0 825.26/825.64 c 94 183 183.36 28.41 6.45 1000000 0 826.36/826.74 c 97 203 184.27 29.94 6.15 1000000 0 827.46/827.84 c 95 176 183.54 26.92 6.82 1000000 0 828.56/828.93 c 95 149 187.86 29.94 6.27 1000000 0 829.66/830.03 c 87 178 185.17 27.00 6.86 1000000 0 830.76/831.13 c 90 156 184.89 26.85 6.89 1000000 0 831.86/832.22 c 90 130 180.45 25.86 6.98 1000000 0 832.96/833.32 c 96 150 183.98 25.42 7.24 1000000 0 834.06/834.41 c 84 183 185.15 27.95 6.62 1000000 0 835.16/835.51 c 84 197 183.52 26.45 6.94 1000000 0 836.26/836.61 c 98 163 186.39 26.36 7.07 1000000 0 837.36/837.71 c 95 182 183.88 27.37 6.72 1000000 0 838.46/838.80 c 92 192 184.32 28.17 6.54 1000000 0 839.46/839.89 c 87 203 183.56 27.17 6.76 1000000 0 840.56/840.99 c 99 153 185.52 27.93 6.64 1000000 0 841.66/842.09 c 89 194 186.52 28.69 6.50 1000000 0 842.76/843.18 c 100 193 187.44 28.85 6.50 1000000 0 843.86/844.28 c 100 189 183.07 26.83 6.82 1000000 0 844.96/845.37 c 94 143 183.98 29.38 6.26 1000000 0 846.06/846.47 c 91 243 187.33 28.93 6.47 1000000 0 847.15/847.57 c 101 145 185.81 27.48 6.76 1000000 0 848.25/848.66 c 91 223 184.08 28.61 6.43 1000000 0 849.35/849.76 c 93 200 187.35 27.35 6.85 1000000 0 850.45/850.85 c 87 157 184.84 27.38 6.75 1000000 0 851.55/851.95 c 91 174 183.71 27.87 6.59 1000000 0 852.65/853.04 c 101 224 183.10 27.24 6.72 1000000 0 853.75/854.14 c 89 174 188.65 28.60 6.60 1000000 0 854.85/855.23 c 84 235 186.96 27.57 6.78 1000000 0 855.95/856.33 c 94 232 186.22 29.59 6.29 1000000 0 857.05/857.43 c 78 201 184.01 27.64 6.66 1000000 0 858.15/858.52 c 93 181 183.28 28.40 6.45 1000000 0 859.25/859.62 c 92 183 185.73 27.36 6.79 1000000 0 860.35/860.72 c 85 162 185.27 28.54 6.49 1000000 0 861.45/861.81 c 102 211 190.30 29.88 6.37 1000000 0 862.55/862.91 c 85 160 185.24 29.23 6.34 1000000 0 863.65/864.00 c 94 213 189.79 28.86 6.58 1000000 0 864.75/865.10 c 93 179 184.76 27.69 6.67 1000000 0 865.85/866.20 c 91 143 188.09 29.39 6.40 1000000 0 866.85/867.30 c 90 191 184.22 28.28 6.51 1000000 0 867.95/868.39 c 88 188 184.61 28.85 6.40 1000000 0 869.05/869.49 c 99 154 186.97 28.07 6.66 1000000 0 870.15/870.59 c 96 160 184.49 30.15 6.12 1000000 0 871.25/871.69 c 89 149 185.58 28.05 6.62 1000000 0 872.35/872.78 c 90 188 182.00 27.40 6.64 1000000 0 873.44/873.88 c 85 183 186.41 30.88 6.04 1000000 0 874.54/874.98 c 87 177 184.07 27.54 6.68 1000000 0 875.64/876.07 c 91 175 182.74 27.12 6.74 1000000 0 876.74/877.17 c 95 182 187.90 27.68 6.79 1000000 0 877.84/878.26 c 93 236 185.45 27.66 6.71 1000000 0 878.94/879.36 c 98 221 186.75 29.79 6.27 1000000 0 880.04/880.46 c 84 222 184.91 30.31 6.10 1000000 0 881.14/881.55 c 88 192 188.29 29.89 6.30 1000000 0 882.24/882.65 c 102 171 187.97 27.98 6.72 1000000 0 883.34/883.75 c 77 217 182.12 29.01 6.28 1000000 0 884.44/884.85 c 79 217 189.01 29.29 6.45 1000000 0 885.54/885.94 c 93 167 183.71 27.44 6.69 1000000 0 886.64/887.04 c 94 207 183.95 29.36 6.26 1000000 0 887.74/888.14 c 93 204 185.47 27.10 6.85 1000000 0 888.84/889.24 c 101 173 186.43 27.96 6.67 1000000 0 889.94/890.34 c 98 191 183.61 26.55 6.92 1000000 0 891.04/891.44 c 96 150 188.65 29.17 6.47 1000000 0 892.14/892.53 c 101 149 186.55 27.45 6.80 1000000 0 893.24/893.62 c 112 183 186.01 26.29 7.08 1000000 0 894.34/894.72 c 93 309 187.09 26.46 7.07 1000000 0 895.43/895.82 c 95 175 184.92 27.42 6.74 1000000 0 896.53/896.92 c 82 167 188.44 28.88 6.53 1000000 0 897.63/898.01 c 90 172 185.57 28.04 6.62 1000000 0 898.73/899.11 c 95 160 186.25 29.43 6.33 1000000 0 899.83/900.20 c 99 162 185.37 28.37 6.53 1000000 0 900.93/901.30 c 89 251 186.56 28.40 6.57 1000000 0 902.03/902.40 c 94 224 184.80 26.98 6.85 1000000 0 903.03/903.49 c 84 169 187.30 28.64 6.54 1000000 0 904.13/904.59 c 94 193 186.24 28.09 6.63 1000000 0 905.23/905.68 c 97 177 180.92 28.34 6.38 1000000 0 906.33/906.78 c 95 215 185.53 28.58 6.49 1000000 0 907.43/907.87 c 93 209 184.19 27.90 6.60 1000000 0 908.53/908.97 c 90 162 184.27 28.49 6.47 1000000 0 909.63/910.06 c 94 219 183.15 27.37 6.69 1000000 0 910.73/911.16 c 96 197 186.08 28.17 6.61 1000000 0 911.83/912.25 c 99 191 185.19 28.68 6.46 1000000 0 912.93/913.35 c 100 169 188.33 28.77 6.55 1000000 0 914.03/914.45 c 103 195 186.02 27.85 6.68 1000000 0 915.13/915.54 c 95 145 187.83 27.78 6.76 1000000 0 916.23/916.64 c 94 153 183.09 26.71 6.86 1000000 0 917.33/917.74 c 95 220 184.06 26.20 7.03 1000000 0 918.43/918.83 c 91 201 186.58 27.03 6.90 1000000 0 919.53/919.92 c 95 167 184.14 28.62 6.43 1000000 0 920.63/921.02 c 89 203 188.31 28.76 6.55 1000000 0 921.72/922.12 c 91 175 184.08 27.09 6.80 1000000 0 922.82/923.22 c 103 179 185.43 28.17 6.58 1000000 0 923.92/924.31 c 99 174 183.79 28.76 6.39 1000000 0 925.02/925.40 c 96 147 185.32 27.75 6.68 1000000 0 926.12/926.50 c 103 164 185.27 26.52 6.99 1000000 0 927.22/927.60 c 86 153 186.55 29.39 6.35 1000000 0 928.22/928.69 c 95 260 185.27 28.29 6.55 1000000 0 929.32/929.79 c 93 204 185.97 28.07 6.63 1000000 0 930.42/930.89 c 97 219 179.15 27.42 6.53 1000000 0 931.52/931.99 c 99 210 184.89 27.70 6.68 1000000 0 932.62/933.08 c 94 196 186.70 28.64 6.52 1000000 0 933.72/934.18 c 100 145 185.01 27.05 6.84 1000000 0 934.82/935.27 c 94 196 183.42 27.72 6.62 1000000 0 935.92/936.37 c 90 157 185.07 28.42 6.51 1000000 0 937.02/937.46 c 80 173 187.66 28.76 6.53 1000000 0 938.12/938.56 c 101 209 184.42 26.92 6.85 1000000 0 939.22/939.66 c 104 186 189.65 28.21 6.72 1000000 0 940.32/940.76 c 103 210 186.82 28.37 6.58 1000000 0 941.42/941.85 c 97 203 186.07 29.76 6.25 1000000 0 942.52/942.95 c 102 164 184.92 27.59 6.70 1000000 0 943.62/944.05 c 97 180 187.16 27.72 6.75 1000000 0 944.72/945.14 c 101 197 185.48 27.32 6.79 1000000 0 945.82/946.24 c 101 168 184.05 28.00 6.57 1000000 0 946.92/947.34 c 93 167 182.33 27.36 6.66 1000000 0 948.01/948.43 c 97 216 183.72 28.82 6.37 1000000 0 949.11/949.53 c 99 209 183.46 28.51 6.44 1000000 0 950.21/950.63 c 93 168 181.73 28.04 6.48 1000000 0 951.31/951.72 c 84 191 184.61 27.96 6.60 1000000 0 952.41/952.82 c 98 142 184.38 30.40 6.06 1000000 0 953.51/953.92 c 94 195 186.02 27.28 6.82 1000000 0 954.61/955.01 c 101 150 184.75 27.63 6.69 1000000 0 955.71/956.11 c 96 168 185.78 29.17 6.37 1000000 0 956.81/957.21 c 91 173 187.39 30.03 6.24 1000000 0 957.91/958.30 c 95 181 186.70 27.32 6.83 1000000 0 959.01/959.40 c 105 220 183.47 26.45 6.94 1000000 0 960.01/960.49 c 86 193 189.16 28.75 6.58 1000000 0 961.11/961.59 c 89 240 184.77 28.45 6.50 1000000 0 962.21/962.69 c 87 195 184.42 28.53 6.46 1000000 0 963.31/963.78 c 94 178 182.08 28.11 6.48 1000000 0 964.41/964.88 c 92 170 188.52 27.86 6.77 1000000 0 965.51/965.98 c 94 191 184.91 27.62 6.70 1000000 0 966.61/967.08 c 102 214 186.50 28.63 6.51 1000000 0 967.71/968.17 c 92 207 185.48 27.77 6.68 1000000 0 968.81/969.27 c 94 178 186.70 25.81 7.23 1000000 0 969.90/970.37 c 60 183 182.50 28.03 6.51 1000000 0 971.00/971.47 c 92 162 186.02 28.64 6.50 1000000 0 972.10/972.56 c 95 197 184.19 27.99 6.58 1000000 0 973.20/973.66 c 101 213 184.74 28.34 6.52 1000000 0 974.30/974.76 c 107 253 183.83 26.28 7.00 1000000 0 975.40/975.85 c 81 182 184.81 28.35 6.52 1000000 0 976.50/976.95 c 93 194 183.61 27.13 6.77 1000000 0 977.60/978.05 c 97 198 188.00 28.93 6.50 1000000 0 978.70/979.14 c 91 140 185.48 28.93 6.41 1000000 0 979.80/980.24 c 95 184 185.69 28.68 6.47 1000000 0 980.90/981.34 c 93 204 184.88 28.38 6.51 1000000 0 982.00/982.44 c 96 157 184.19 26.75 6.89 1000000 0 983.10/983.53 c 88 191 185.65 29.29 6.34 1000000 0 984.20/984.63 c 98 226 186.82 28.71 6.51 1000000 0 985.30/985.73 c 94 184 183.21 25.53 7.18 1000000 0 986.40/986.82 c 95 173 185.21 29.33 6.31 1000000 0 987.50/987.92 c 99 251 184.91 27.03 6.84 1000000 0 988.60/989.02 c 104 180 187.51 27.48 6.82 1000000 0 989.70/990.11 c 88 163 185.73 29.73 6.25 1000000 0 990.80/991.21 c 90 207 182.86 27.39 6.67 1000000 0 991.90/992.30 c 97 183 184.00 27.75 6.63 1000000 0 993.00/993.40 c 82 159 187.79 28.04 6.70 1000000 0 994.00/994.50 c 87 143 187.92 29.06 6.47 1000000 0 995.10/995.59 c 97 254 188.79 29.61 6.38 1000000 0 996.20/996.69 c 94 216 186.86 29.07 6.43 1000000 0 997.30/997.78 c 99 193 187.39 28.95 6.47 1000000 0 998.40/998.88 c 93 222 186.98 27.50 6.80 1000000 0 999.50/999.98 c 99 186 186.89 27.95 6.69 1000000 0 1000.60/1001.07 c 92 213 182.83 28.47 6.42 1000000 0 1001.70/1002.17 c 82 198 185.90 27.89 6.66 1000000 0 1002.80/1003.26 c 88 198 188.49 27.80 6.78 1000000 0 1003.90/1004.36 c 96 187 186.77 28.84 6.48 1000000 0 1005.00/1005.45 c 101 144 185.82 26.78 6.94 1000000 0 1006.10/1006.55 c 101 185 185.26 26.07 7.11 1000000 0 1007.20/1007.64 c 88 206 184.57 27.04 6.83 1000000 0 1008.30/1008.74 c 96 190 186.61 27.27 6.84 1000000 0 1009.40/1009.84 c 92 197 184.00 28.60 6.43 1000000 0 1010.50/1010.94 c 92 248 187.55 27.02 6.94 1000000 0 1011.60/1012.03 c 93 231 185.77 28.21 6.59 1000000 0 1012.70/1013.13 c 90 191 184.43 29.56 6.24 1000000 0 1013.80/1014.22 c 99 174 186.34 27.60 6.75 1000000 0 1014.89/1015.32 c 87 168 185.43 28.03 6.62 1000000 0 1015.99/1016.42 c 98 237 186.52 29.58 6.31 1000000 0 1017.09/1017.52 c 93 212 184.63 28.02 6.59 1000000 0 1018.19/1018.61 c 77 214 184.13 27.48 6.70 1000000 0 1019.29/1019.71 c 102 201 185.87 27.30 6.81 1000000 0 1020.39/1020.81 c 82 232 184.01 27.44 6.71 1000000 0 1021.49/1021.91 c 87 162 184.67 28.54 6.47 1000000 0 1022.49/1023.00 c 86 196 182.45 27.65 6.60 1000000 0 1023.59/1024.10 c 97 184 183.52 29.65 6.19 1000000 0 1024.69/1025.20 c 94 204 185.48 26.52 6.99 1000000 0 1025.79/1026.29 c 80 145 184.87 27.84 6.64 1000000 0 1026.89/1027.38 c 101 177 186.03 27.80 6.69 1000000 0 1027.99/1028.48 c 94 210 186.17 30.43 6.12 1000000 0 1029.09/1029.57 c 93 164 184.04 27.78 6.62 1000000 0 1030.19/1030.67 c 92 193 187.12 28.83 6.49 1000000 0 1031.29/1031.77 c 88 167 185.33 32.28 5.74 1000000 0 1032.39/1032.87 c 100 211 184.08 28.03 6.57 1000000 0 1033.49/1033.96 c 93 176 185.86 28.17 6.60 1000000 0 1034.59/1035.06 c 101 181 186.40 27.20 6.85 1000000 0 1035.69/1036.15 c 106 211 189.08 29.51 6.41 1000000 0 1036.79/1037.25 c 89 139 184.06 27.48 6.70 1000000 0 1037.89/1038.35 c 96 169 184.24 27.78 6.63 1000000 0 1038.99/1039.45 c 91 214 186.61 27.14 6.88 1000000 0 1040.08/1040.54 c 107 227 183.80 26.06 7.05 1000000 0 1041.18/1041.64 c 84 153 187.51 31.09 6.03 1000000 0 1042.28/1042.74 c 92 210 187.54 28.06 6.68 1000000 0 1043.38/1043.83 c 95 190 185.75 28.43 6.53 1000000 0 1044.48/1044.93 c 96 194 185.84 26.75 6.95 1000000 0 1045.58/1046.03 c 93 180 187.98 29.39 6.39 1000000 0 1046.68/1047.12 c 87 187 184.72 29.00 6.37 1000000 0 1047.78/1048.22 c 87 175 187.61 28.42 6.60 1000000 0 1048.88/1049.32 c 96 230 186.04 29.08 6.40 1000000 0 1049.98/1050.41 c 95 205 184.62 28.45 6.49 1000000 0 1051.08/1051.51 c 94 159 183.55 29.38 6.25 1000000 0 1052.18/1052.61 c 99 146 184.30 27.39 6.73 1000000 0 1053.28/1053.71 c 90 216 186.58 27.84 6.70 1000000 0 1054.38/1054.80 c 84 235 188.56 28.80 6.55 1000000 0 1055.48/1055.90 c 83 159 186.07 27.46 6.78 1000000 0 1056.47/1056.99 c 87 209 184.11 27.01 6.82 1000000 0 1057.57/1058.09 c 99 171 185.57 29.22 6.35 1000000 0 1058.67/1059.19 c 93 178 187.02 27.20 6.88 1000000 0 1059.77/1060.29 c 97 212 186.82 28.20 6.63 1000000 0 1060.87/1061.39 c 98 130 185.98 28.58 6.51 1000000 0 1061.97/1062.48 c 93 197 186.53 29.44 6.33 1000000 0 1063.07/1063.58 c 91 151 185.79 28.03 6.63 1000000 0 1064.17/1064.68 c 85 145 184.06 27.70 6.64 1000000 0 1065.27/1065.77 c 91 151 186.63 28.85 6.47 1000000 0 1066.36/1066.87 c 91 196 187.23 27.85 6.72 1000000 0 1067.46/1067.96 c 91 155 186.61 27.39 6.81 1000000 0 1068.56/1069.06 c 83 178 186.59 29.22 6.39 1000000 0 1069.66/1070.16 c 84 149 182.35 28.00 6.51 1000000 0 1070.76/1071.26 c 80 141 185.14 28.39 6.52 1000000 0 1071.86/1072.35 c 83 180 186.20 28.83 6.46 1000000 0 1072.96/1073.45 c 91 197 185.61 28.98 6.40 1000000 0 1074.06/1074.55 c 91 176 186.73 28.76 6.49 1000000 0 1075.16/1075.65 c 90 215 185.38 27.56 6.73 1000000 0 1076.26/1076.74 c 92 200 189.80 30.15 6.30 1000000 0 1077.36/1077.84 c 98 216 185.33 27.87 6.65 1000000 0 1078.46/1078.93 c 102 216 182.74 27.23 6.71 1000000 0 1079.56/1080.03 c 96 224 187.87 29.04 6.47 1000000 0 1080.66/1081.12 c 98 187 183.78 27.00 6.81 1000000 0 1081.76/1082.22 c 104 135 183.55 26.29 6.98 1000000 0 1082.86/1083.32 c 97 200 184.80 27.39 6.75 1000000 0 1083.96/1084.41 c 87 170 186.37 28.75 6.48 1000000 0 1085.06/1085.51 c 103 169 184.65 27.64 6.68 1000000 0 1086.16/1086.60 c 99 173 184.90 26.80 6.90 1000000 0 1087.26/1087.70 c 99 163 187.03 27.06 6.91 1000000 0 1088.26/1088.80 c 92 167 184.92 28.81 6.42 1000000 0 1089.36/1089.89 c 96 223 184.65 27.40 6.74 1000000 0 1090.46/1090.99 c 102 192 183.09 27.25 6.72 1000000 0 1091.55/1092.09 c 89 193 185.05 26.84 6.89 1000000 0 1092.65/1093.18 c 93 231 188.77 29.71 6.35 1000000 0 1093.75/1094.28 c 98 180 186.35 28.57 6.52 1000000 0 1094.85/1095.38 c 89 203 186.24 28.23 6.60 1000000 0 1095.95/1096.47 c 88 210 189.03 29.28 6.46 1000000 0 1097.05/1097.57 c 89 143 185.07 30.14 6.14 1000000 0 1098.15/1098.66 c 93 138 184.59 27.39 6.74 1000000 0 1099.25/1099.76 c 93 182 188.00 30.02 6.26 1000000 0 1100.35/1100.86 c 89 203 185.80 27.75 6.70 1000000 0 1101.45/1101.96 c 86 224 182.87 27.80 6.58 1000000 0 1102.55/1103.05 c 95 211 188.55 29.24 6.45 1000000 0 1103.65/1104.15 c 104 200 185.03 27.66 6.69 1000000 0 1104.75/1105.25 c 98 197 185.67 28.85 6.44 1000000 0 1105.85/1106.34 c 98 197 186.53 27.48 6.79 1000000 0 1106.95/1107.44 c 92 199 183.62 28.67 6.40 1000000 0 1108.05/1108.54 c 85 199 186.18 28.88 6.45 1000000 0 1109.15/1109.64 c 99 181 185.93 28.82 6.45 1000000 0 1110.25/1110.73 c 99 232 188.52 30.76 6.13 1000000 0 1111.35/1111.83 c 97 160 184.91 27.35 6.76 1000000 0 1112.45/1112.92 c 101 209 186.09 26.74 6.96 1000000 0 1113.55/1114.02 c 99 270 185.51 29.17 6.36 1000000 0 1114.65/1115.11 c 80 143 185.14 30.97 5.98 1000000 0 1115.75/1116.21 c 98 154 186.23 27.78 6.70 1000000 0 1116.85/1117.31 c 99 206 185.17 28.93 6.40 1000000 0 1117.95/1118.40 c 94 187 184.74 28.00 6.60 1000000 0 1119.04/1119.50 c 92 196 184.08 28.70 6.41 1000000 0 1120.14/1120.60 c 90 220 184.68 27.20 6.79 1000000 0 1121.24/1121.70 c 103 187 184.37 27.46 6.71 1000000 0 1122.24/1122.79 c 93 150 185.73 27.68 6.71 1000000 0 1123.34/1123.89 c 87 238 185.19 27.74 6.68 1000000 0 1124.44/1124.99 c 104 169 186.82 26.88 6.95 1000000 0 1125.54/1126.09 c 86 157 184.52 27.88 6.62 1000000 0 1126.64/1127.18 c 88 166 184.68 26.88 6.87 1000000 0 1127.74/1128.28 c 102 212 182.70 27.13 6.73 1000000 0 1128.84/1129.37 c 94 186 185.47 29.48 6.29 1000000 0 1129.94/1130.47 c 97 196 184.75 26.52 6.97 1000000 0 1131.04/1131.57 c 95 211 185.20 26.71 6.93 1000000 0 1132.14/1132.66 c 93 233 186.38 28.08 6.64 1000000 0 1133.24/1133.76 c 100 192 182.52 26.58 6.87 1000000 0 1134.34/1134.85 c 94 176 183.55 26.71 6.87 1000000 0 1135.44/1135.95 c 102 221 187.42 27.65 6.78 1000000 0 1136.54/1137.05 c 92 206 187.82 28.34 6.63 1000000 0 1137.64/1138.14 c 105 192 185.54 27.15 6.83 1000000 0 1138.74/1139.24 c 95 170 185.41 27.71 6.69 1000000 0 1139.84/1140.34 c 102 200 184.50 27.78 6.64 1000000 0 1140.94/1141.43 c 93 178 186.88 28.55 6.54 1000000 0 1142.04/1142.53 c 97 155 182.48 26.89 6.79 1000000 0 1143.14/1143.63 c 98 161 184.63 28.73 6.43 1000000 0 1144.24/1144.72 c 93 171 185.69 29.87 6.22 1000000 0 1145.33/1145.82 c 95 211 182.68 27.87 6.55 1000000 0 1146.43/1146.91 c 103 174 185.20 27.82 6.66 1000000 0 1147.53/1148.01 c 100 163 185.73 27.94 6.65 1000000 0 1148.63/1149.11 c 95 217 190.05 29.12 6.53 1000000 0 1149.73/1150.20 c 90 157 181.95 29.12 6.25 1000000 0 1150.83/1151.30 c 93 210 186.22 26.78 6.95 1000000 0 1151.83/1152.39 c 94 183 184.22 29.07 6.34 1000000 0 1152.93/1153.49 c 96 150 183.40 27.13 6.76 1000000 0 1154.03/1154.58 c 87 165 183.38 28.10 6.53 1000000 0 1155.13/1155.68 c 96 222 184.91 29.38 6.29 1000000 0 1156.23/1156.78 c 96 171 187.77 27.62 6.80 1000000 0 1157.33/1157.88 c 100 187 189.54 28.85 6.57 1000000 0 1158.43/1158.98 c 86 165 185.84 27.64 6.72 1000000 0 1159.53/1160.07 c 91 174 185.39 28.75 6.45 1000000 0 1160.63/1161.17 c 99 202 188.27 27.92 6.74 1000000 0 1161.73/1162.26 c 101 163 186.05 28.80 6.46 1000000 0 1162.83/1163.36 c 92 176 182.29 29.54 6.17 1000000 0 1163.93/1164.46 c 91 189 186.68 27.60 6.76 1000000 0 1165.03/1165.55 c 108 226 189.88 29.19 6.50 1000000 0 1166.13/1166.65 c 88 158 187.62 29.67 6.32 1000000 0 1167.23/1167.75 c 94 204 187.52 27.67 6.78 1000000 0 1168.33/1168.84 c 95 215 184.44 26.19 7.04 1000000 0 1169.43/1169.94 c 81 204 183.40 28.60 6.41 1000000 0 1170.52/1171.04 c 100 138 182.39 26.14 6.98 1000000 0 1171.62/1172.13 c 94 158 184.90 29.02 6.37 1000000 0 1172.72/1173.23 c 87 163 182.80 28.04 6.52 1000000 0 1173.82/1174.32 c 93 226 183.04 29.01 6.31 1000000 0 1174.92/1175.42 c 99 139 189.24 29.22 6.48 1000000 0 1176.02/1176.51 c 91 161 184.04 28.65 6.42 1000000 0 1177.12/1177.61 c 105 158 186.88 27.46 6.81 1000000 0 1178.22/1178.71 c 92 200 186.69 28.26 6.61 1000000 0 1179.32/1179.81 c 98 175 183.86 26.27 7.00 1000000 0 1180.42/1180.90 c 98 168 185.83 27.57 6.74 1000000 0 1181.52/1182.00 c 87 171 183.22 27.99 6.55 1000000 0 1182.52/1183.09 c 105 174 187.21 28.02 6.68 1000000 0 1183.62/1184.19 c 102 147 188.01 30.11 6.24 1000000 0 1184.72/1185.28 c 95 182 189.67 29.86 6.35 1000000 0 1185.82/1186.38 c 90 194 186.40 25.26 7.38 1000000 0 1186.92/1187.48 c 96 185 185.70 28.38 6.54 1000000 0 1188.02/1188.57 c 102 212 185.28 26.42 7.01 1000000 0 1189.12/1189.67 c 100 165 186.27 27.03 6.89 1000000 0 1190.22/1190.77 c 91 149 187.66 27.88 6.73 1000000 0 1191.32/1191.86 c 96 203 182.16 26.53 6.87 1000000 0 1192.42/1192.96 c 92 181 184.38 28.31 6.51 1000000 0 1193.52/1194.06 c 100 191 184.69 28.09 6.58 1000000 0 1194.61/1195.16 c 99 242 187.38 27.62 6.78 1000000 0 1195.71/1196.25 c 92 214 185.87 30.80 6.03 1000000 0 1196.81/1197.35 c 99 223 181.31 25.36 7.15 1000000 0 1197.91/1198.44 c 98 207 186.84 28.31 6.60 1000000 0 1199.01/1199.54 c 94 236 186.15 28.21 6.60 1000000 0 1200.11/1200.63 c 106 138 183.25 27.79 6.59 1000000 0 1201.21/1201.73 c 95 211 183.04 27.18 6.73 1000000 0 1202.31/1202.82 c 91 188 186.68 27.97 6.68 1000000 0 1203.41/1203.92 c 102 183 186.67 28.70 6.50 1000000 0 1204.51/1205.02 c 91 135 182.95 27.88 6.56 1000000 0 1205.61/1206.11 c 104 181 187.05 27.62 6.77 1000000 0 1206.71/1207.21 c 101 190 184.24 27.71 6.65 1000000 0 1207.81/1208.31 c 76 218 185.79 27.08 6.86 1000000 0 1208.91/1209.40 c 93 188 185.47 27.77 6.68 1000000 0 1210.01/1210.51 c 88 181 179.20 25.69 6.98 1000000 0 1211.11/1211.60 c 101 168 183.98 27.23 6.76 1000000 0 1212.21/1212.70 c 90 150 183.37 28.04 6.54 1000000 0 1213.31/1213.80 c 89 177 185.59 27.81 6.67 1000000 0 1214.31/1214.89 c 98 169 188.22 27.60 6.82 1000000 0 1215.41/1215.99 c 87 185 183.24 26.61 6.89 1000000 0 1216.51/1217.08 c 100 199 185.47 27.80 6.67 1000000 0 1217.60/1218.18 c 95 162 188.96 30.14 6.27 1000000 0 1218.70/1219.27 c 94 210 185.74 27.87 6.67 1000000 0 1219.80/1220.36 c 101 159 185.55 27.64 6.71 1000000 0 1220.90/1221.46 c 101 145 186.48 28.04 6.65 1000000 0 1222.00/1222.55 c 92 163 185.21 28.20 6.57 1000000 0 1223.10/1223.65 c 83 222 188.92 27.81 6.79 1000000 0 1224.20/1224.75 c 88 264 183.48 28.65 6.40 1000000 0 1225.30/1225.84 c 94 162 187.83 28.99 6.48 1000000 0 1226.40/1226.93 c 102 155 188.95 29.44 6.42 1000000 0 1227.50/1228.03 c 96 183 185.24 28.95 6.40 1000000 0 1228.60/1229.13 c 92 186 184.63 27.74 6.66 1000000 0 1229.70/1230.22 c 97 211 186.55 27.87 6.69 1000000 0 1230.80/1231.32 c 98 155 186.35 28.38 6.57 1000000 0 1231.90/1232.42 c 101 196 185.15 27.56 6.72 1000000 0 1233.00/1233.52 c 91 190 181.68 27.62 6.58 1000000 0 1234.10/1234.62 c 84 184 187.58 28.90 6.49 1000000 0 1235.20/1235.71 c 87 227 183.41 27.30 6.72 1000000 0 1236.30/1236.80 c 99 235 185.78 29.01 6.40 1000000 0 1237.40/1237.90 c 102 172 184.27 29.21 6.31 1000000 0 1238.50/1239.00 c 89 187 185.35 27.47 6.75 1000000 0 1239.60/1240.10 c 101 163 185.05 26.30 7.04 1000000 0 1240.60/1241.19 c 100 175 186.88 25.96 7.20 1000000 0 1241.70/1242.29 c 92 203 186.96 30.07 6.22 1000000 0 1242.80/1243.39 c 103 164 185.86 27.34 6.80 1000000 0 1243.89/1244.48 c 90 197 185.43 29.24 6.34 1000000 0 1244.99/1245.58 c 101 150 186.50 29.05 6.42 1000000 0 1246.09/1246.67 c 92 229 184.05 29.83 6.17 1000000 0 1247.19/1247.77 c 101 234 187.02 27.90 6.70 1000000 0 1248.29/1248.87 c 92 192 183.85 28.11 6.54 1000000 0 1249.39/1249.96 c 97 146 183.78 27.82 6.61 1000000 0 1250.49/1251.06 c 99 182 183.02 28.38 6.45 1000000 0 1251.59/1252.16 c 90 216 184.46 26.80 6.88 1000000 0 1252.69/1253.26 c 95 180 183.38 28.45 6.44 1000000 0 1253.79/1254.35 c 102 157 185.66 26.93 6.89 1000000 0 1254.89/1255.45 c 100 173 187.59 29.00 6.47 1000000 0 1255.99/1256.55 c 87 192 184.03 27.73 6.64 1000000 0 1257.09/1257.65 c 91 159 185.55 28.30 6.56 1000000 0 1258.19/1258.74 c 91 191 185.20 26.88 6.89 1000000 0 1259.29/1259.84 c 88 154 186.04 27.20 6.84 1000000 0 1260.39/1260.93 c 94 203 185.25 25.76 7.19 1000000 0 1261.49/1262.03 c 92 218 186.73 28.54 6.54 1000000 0 1262.59/1263.12 c 100 183 182.67 26.05 7.01 1000000 0 1263.69/1264.22 c 96 179 183.61 27.59 6.66 1000000 0 1264.79/1265.32 c 100 172 182.26 27.97 6.52 1000000 0 1265.89/1266.42 c 101 208 186.69 28.32 6.59 1000000 0 1266.99/1267.51 c 98 169 186.63 29.43 6.34 1000000 0 1268.09/1268.61 c 97 150 183.27 27.95 6.56 1000000 0 1269.19/1269.70 c 84 229 184.67 27.65 6.68 1000000 0 1270.28/1270.80 c 97 156 185.17 26.81 6.91 1000000 0 1271.38/1271.90 c 94 165 185.80 28.37 6.55 1000000 0 1272.48/1273.00 c 95 195 187.46 30.23 6.20 1000000 0 1273.48/1274.09 c 92 206 184.00 28.65 6.42 1000000 0 1274.58/1275.19 c 91 147 185.39 27.57 6.72 1000000 0 1275.68/1276.28 c 93 193 185.87 29.08 6.39 1000000 0 1276.78/1277.38 c 86 213 183.36 27.28 6.72 1000000 0 1277.88/1278.47 c 81 220 185.76 27.32 6.80 1000000 0 1278.98/1279.57 c 99 167 183.01 25.22 7.26 1000000 0 1280.08/1280.66 c 97 161 185.02 27.47 6.74 1000000 0 1281.18/1281.75 c 100 190 186.24 28.20 6.60 1000000 0 1282.28/1282.85 c 95 187 187.24 29.00 6.46 1000000 0 1283.38/1283.95 c 91 161 184.47 28.35 6.51 1000000 0 1284.48/1285.04 c 93 180 183.39 27.58 6.65 1000000 0 1285.58/1286.14 c 93 173 184.73 27.70 6.67 1000000 0 1286.68/1287.23 c 99 192 183.34 26.89 6.82 1000000 0 1287.78/1288.33 c 95 207 183.74 27.80 6.61 1000000 0 1288.88/1289.42 c 99 201 183.63 27.90 6.58 1000000 0 1289.98/1290.52 c 97 176 185.17 25.20 7.35 1000000 0 1291.08/1291.62 c 100 209 187.61 27.36 6.86 1000000 0 1292.18/1292.71 c 100 156 185.18 29.39 6.30 1000000 0 1293.28/1293.80 c 91 172 182.87 30.14 6.07 1000000 0 1294.37/1294.90 c 82 181 185.82 29.29 6.34 1000000 0 1295.47/1296.00 c 96 229 185.27 27.70 6.69 1000000 0 1296.47/1297.10 c 102 212 184.45 28.76 6.41 1000000 0 1297.57/1298.19 c 91 246 185.65 27.23 6.82 1000000 0 1298.67/1299.29 c 102 180 188.16 28.18 6.68 1000000 0 1299.77/1300.38 c 91 179 187.60 28.30 6.63 1000000 0 1300.87/1301.47 c 99 202 187.61 29.46 6.37 1000000 0 1301.97/1302.57 c 89 204 185.54 29.09 6.38 1000000 0 1303.07/1303.67 c 85 141 182.01 26.71 6.81 1000000 0 1304.17/1304.77 c 99 195 186.47 28.81 6.47 1000000 0 1305.27/1305.86 c 105 158 186.81 27.01 6.92 1000000 0 1306.37/1306.96 c 98 164 184.45 29.56 6.24 1000000 0 1307.47/1308.06 c 79 176 181.53 27.50 6.60 1000000 0 1308.57/1309.15 c 96 171 184.65 27.16 6.80 1000000 0 1309.67/1310.25 c 104 200 186.93 27.07 6.91 1000000 0 1310.77/1311.34 c 103 198 187.90 27.76 6.77 1000000 0 1311.87/1312.44 c 94 175 183.86 27.70 6.64 1000000 0 1312.97/1313.54 c 81 158 183.97 27.72 6.64 1000000 0 1314.07/1314.63 c 98 224 187.15 27.24 6.87 1000000 0 1315.17/1315.73 c 88 179 184.90 27.95 6.62 1000000 0 1316.27/1316.82 c 91 249 187.26 28.91 6.48 1000000 0 1317.37/1317.92 c 94 137 185.15 28.02 6.61 1000000 0 1318.47/1319.01 c 100 212 183.72 27.60 6.66 1000000 0 1319.57/1320.11 c 87 162 187.01 26.34 7.10 1000000 0 1320.67/1321.21 c 94 193 185.61 27.00 6.87 1000000 0 1321.77/1322.30 c 96 164 184.03 28.27 6.51 1000000 0 1322.86/1323.40 c 86 173 187.88 29.55 6.36 1000000 0 1323.87/1324.49 c 94 153 186.92 26.59 7.03 1000000 0 1324.97/1325.59 c 91 188 184.38 27.60 6.68 1000000 0 1326.07/1326.69 c 91 164 186.71 28.02 6.66 1000000 0 1327.17/1327.78 c 100 172 189.20 29.96 6.31 1000000 0 1328.27/1328.88 c 95 178 184.61 28.08 6.57 1000000 0 1329.37/1329.98 c 103 158 186.32 26.60 7.00 1000000 0 1330.47/1331.08 c 97 154 186.13 27.86 6.68 1000000 0 1331.57/1332.17 c 92 186 186.59 27.24 6.85 1000000 0 1332.67/1333.27 c 90 182 185.66 29.17 6.36 1000000 0 1333.77/1334.36 c 97 182 181.42 25.51 7.11 1000000 0 1334.87/1335.46 c 93 168 184.72 27.38 6.75 1000000 0 1335.97/1336.56 c 85 193 184.20 28.81 6.39 1000000 0 1337.07/1337.66 c 90 193 186.06 29.62 6.28 1000000 0 1338.17/1338.75 c 96 182 184.92 27.19 6.80 1000000 0 1339.27/1339.85 c 97 164 184.26 28.03 6.57 1000000 0 1340.36/1340.95 c 86 200 186.37 30.13 6.18 1000000 0 1341.46/1342.04 c 104 154 182.32 26.90 6.78 1000000 0 1342.56/1343.14 c 100 181 186.33 29.06 6.41 1000000 0 1343.66/1344.24 c 100 147 185.45 27.26 6.80 1000000 0 1344.76/1345.33 c 92 210 184.58 28.22 6.54 1000000 0 1345.86/1346.43 c 97 171 186.22 28.52 6.53 1000000 0 1346.96/1347.52 c 103 167 185.69 26.99 6.88 1000000 0 1348.06/1348.62 c 92 188 186.60 29.30 6.37 1000000 0 1349.16/1349.71 c 103 196 187.19 28.34 6.61 1000000 0 1350.26/1350.81 c 97 212 185.47 27.63 6.71 1000000 0 1351.36/1351.91 c 90 157 184.39 28.76 6.41 1000000 0 1352.46/1353.00 c 90 199 183.33 27.15 6.75 1000000 0 1353.46/1354.10 c 105 169 187.25 26.81 6.98 1000000 0 1354.56/1355.20 c 86 165 184.18 26.79 6.88 1000000 0 1355.66/1356.29 c 92 194 186.29 27.65 6.74 1000000 0 1356.76/1357.39 c 92 239 185.50 27.69 6.70 1000000 0 1357.86/1358.49 c 99 198 182.70 28.12 6.50 1000000 0 1358.96/1359.58 c 98 164 186.07 27.06 6.88 1000000 0 1360.06/1360.68 c 80 186 183.69 28.48 6.45 1000000 0 1361.16/1361.78 c 100 188 183.02 26.14 7.00 1000000 0 1362.26/1362.87 c 92 138 184.76 28.09 6.58 1000000 0 1363.36/1363.97 c 87 196 185.46 29.88 6.21 1000000 0 1364.46/1365.07 c 92 218 184.45 28.21 6.54 1000000 0 1365.55/1366.17 c 91 215 184.44 28.91 6.38 1000000 0 1366.65/1367.27 c 92 175 187.01 27.69 6.75 1000000 0 1367.75/1368.36 c 92 196 187.70 28.67 6.55 1000000 0 1368.85/1369.46 c 90 158 185.81 27.88 6.66 1000000 0 1369.95/1370.56 c 100 157 184.28 26.93 6.84 1000000 0 1371.05/1371.66 c 103 205 184.73 28.24 6.54 1000000 0 1372.15/1372.75 c 91 194 186.28 31.37 5.94 1000000 0 1373.25/1373.85 c 87 217 186.58 28.53 6.54 1000000 0 1374.35/1374.95 c 103 169 189.05 29.64 6.38 1000000 0 1375.45/1376.04 c 86 164 184.53 27.90 6.61 1000000 0 1376.55/1377.14 c 97 166 187.98 26.27 7.15 1000000 0 1377.65/1378.24 c 101 227 184.06 27.54 6.68 1000000 0 1378.75/1379.34 c 91 225 183.95 28.21 6.52 1000000 0 1379.85/1380.44 c 103 201 183.53 26.31 6.97 1000000 0 1380.95/1381.54 c 90 189 185.21 27.68 6.69 1000000 0 1382.05/1382.63 c 82 193 185.61 28.26 6.57 1000000 0 1383.15/1383.73 c 98 204 184.47 27.14 6.80 1000000 0 1384.25/1384.83 c 102 194 185.08 27.62 6.70 1000000 0 1385.35/1385.92 c 94 161 185.53 27.06 6.86 1000000 0 1386.45/1387.02 c 97 206 181.88 25.81 7.05 1000000 0 1387.55/1388.12 c 92 159 186.83 28.42 6.57 1000000 0 1388.65/1389.21 c 100 205 183.99 27.74 6.63 1000000 0 1389.75/1390.31 c 99 184 185.61 26.84 6.92 1000000 0 1390.84/1391.41 c 100 208 185.70 27.42 6.77 1000000 0 1391.94/1392.50 c 85 246 185.46 28.12 6.59 1000000 0 1392.94/1393.59 c 93 235 183.62 27.87 6.59 1000000 0 1394.04/1394.69 c 92 196 185.65 27.58 6.73 1000000 0 1395.14/1395.79 c 90 167 189.27 28.42 6.66 1000000 0 1396.23/1396.88 c 92 160 186.15 29.43 6.33 1000000 0 1397.33/1397.98 c 92 148 187.63 29.95 6.27 1000000 0 1398.43/1399.07 c 99 192 186.35 27.71 6.72 1000000 0 1399.53/1400.17 c 95 177 187.36 27.76 6.75 1000000 0 1400.63/1401.26 c 95 215 185.05 26.67 6.94 1000000 0 1401.73/1402.36 c 82 152 186.31 27.35 6.81 1000000 0 1402.83/1403.46 c 99 175 183.03 27.79 6.59 1000000 0 1403.93/1404.56 c 105 196 183.49 27.06 6.78 1000000 0 1405.03/1405.65 c 90 161 186.89 28.12 6.65 1000000 0 1406.13/1406.75 c 92 145 184.85 30.21 6.12 1000000 0 1407.23/1407.85 c 100 225 186.70 28.47 6.56 1000000 0 1408.33/1408.94 c 81 154 184.35 26.12 7.06 1000000 0 1409.43/1410.04 c 91 194 183.85 27.37 6.72 1000000 0 1410.53/1411.14 c 100 191 187.68 29.69 6.32 1000000 0 1411.63/1412.23 c 92 152 188.01 30.10 6.25 1000000 0 1412.73/1413.33 c 104 169 188.10 29.22 6.44 1000000 0 1413.83/1414.43 c 94 231 187.29 30.61 6.12 1000000 0 1414.93/1415.53 c 100 134 187.63 27.76 6.76 1000000 0 1416.03/1416.62 c 89 149 181.53 27.72 6.55 1000000 0 1417.13/1417.72 c 94 241 185.77 28.78 6.45 1000000 0 1418.23/1418.82 c 85 177 186.13 26.40 7.05 1000000 0 1419.33/1419.92 c 99 178 185.49 27.88 6.65 1000000 0 1420.43/1421.01 c 93 201 184.61 27.03 6.83 1000000 0 1421.52/1422.10 c 97 166 187.11 29.31 6.38 1000000 0 1422.62/1423.20 c 91 157 183.83 29.05 6.33 1000000 0 1423.72/1424.30 c 84 259 184.87 27.79 6.65 1000000 0 1424.72/1425.39 c 94 224 182.50 28.01 6.52 1000000 0 1425.82/1426.49 c 93 167 186.34 27.55 6.76 1000000 0 1426.92/1427.58 c 93 232 184.76 28.94 6.38 1000000 0 1428.02/1428.68 c 88 225 184.72 26.24 7.04 1000000 0 1429.12/1429.77 c 99 192 184.93 27.60 6.70 1000000 0 1430.22/1430.87 c 79 181 186.80 26.85 6.96 1000000 0 1431.32/1431.97 c 95 211 184.32 28.23 6.53 1000000 0 1432.42/1433.07 c 94 236 187.85 27.43 6.85 1000000 0 1433.52/1434.16 c 91 213 185.21 27.18 6.81 1000000 0 1434.62/1435.26 c 96 179 185.44 27.26 6.80 1000000 0 1435.72/1436.35 c 83 187 182.93 27.07 6.76 1000000 0 1436.82/1437.45 c 86 208 185.26 27.35 6.77 1000000 0 1437.92/1438.55 c 91 208 185.23 27.10 6.83 1000000 0 1439.02/1439.65 c 99 164 185.63 28.91 6.42 1000000 0 1440.12/1440.74 c 99 200 183.76 27.61 6.65 1000000 0 1441.22/1441.84 c 98 203 188.47 28.91 6.52 1000000 0 1442.32/1442.93 c 97 132 183.55 27.11 6.77 1000000 0 1443.42/1444.03 c 85 159 186.62 26.64 7.01 1000000 0 1444.52/1445.13 c 92 175 185.26 29.60 6.26 1000000 0 1445.62/1446.23 c 94 201 187.36 28.73 6.52 1000000 0 1446.72/1447.32 c 94 198 184.99 27.35 6.76 1000000 0 1447.82/1448.42 c 92 222 183.22 27.23 6.73 1000000 0 1448.92/1449.51 c 91 170 187.46 29.47 6.36 1000000 0 1450.01/1450.61 c 92 149 185.94 28.25 6.58 1000000 0 1451.11/1451.70 c 80 140 184.38 27.86 6.62 1000000 0 1452.11/1452.79 c 94 162 183.39 29.84 6.15 1000000 0 1453.21/1453.89 c 94 198 186.80 28.40 6.58 1000000 0 1454.31/1454.99 c 90 170 185.06 27.00 6.85 1000000 0 1455.41/1456.08 c 93 239 185.81 28.90 6.43 1000000 0 1456.51/1457.18 c 84 195 186.78 27.70 6.74 1000000 0 1457.61/1458.27 c 95 144 189.03 28.81 6.56 1000000 0 1458.71/1459.37 c 92 191 186.54 28.78 6.48 1000000 0 1459.81/1460.46 c 92 206 185.34 29.14 6.36 1000000 0 1460.91/1461.56 c 86 162 185.22 29.90 6.19 1000000 0 1462.01/1462.66 c 92 198 187.95 27.33 6.88 1000000 0 1463.11/1463.75 c 98 191 185.19 28.21 6.56 1000000 0 1464.21/1464.85 c 92 187 186.82 28.54 6.55 1000000 0 1465.31/1465.94 c 102 169 188.43 29.35 6.42 1000000 0 1466.41/1467.04 c 99 226 188.42 30.38 6.20 1000000 0 1467.51/1468.14 c 81 213 183.65 27.80 6.61 1000000 0 1468.61/1469.24 c 95 209 183.33 26.37 6.95 1000000 0 1469.71/1470.33 c 99 183 186.87 26.21 7.13 1000000 0 1470.81/1471.43 c 80 136 186.32 29.27 6.37 1000000 0 1471.91/1472.52 c 107 190 187.95 27.66 6.79 1000000 0 1473.01/1473.62 c 79 185 183.63 27.86 6.59 1000000 0 1474.10/1474.72 c 97 212 189.56 28.33 6.69 1000000 0 1475.20/1475.82 c 99 193 183.68 27.20 6.75 1000000 0 1476.30/1476.91 c 92 165 187.75 28.27 6.64 1000000 0 1477.40/1478.01 c 93 220 184.08 27.67 6.65 1000000 0 1478.50/1479.10 c 93 196 186.28 28.92 6.44 1000000 0 1479.60/1480.20 c 90 162 183.10 27.62 6.63 1000000 0 1480.60/1481.29 c 93 191 185.32 26.50 6.99 1000000 0 1481.70/1482.39 c 99 209 185.00 27.77 6.66 1000000 0 1482.80/1483.49 c 95 155 189.35 29.32 6.46 1000000 0 1483.90/1484.58 c 94 154 187.14 26.20 7.14 1000000 0 1485.00/1485.68 c 95 222 182.79 27.07 6.75 1000000 0 1486.10/1486.77 c 96 231 183.58 26.37 6.96 1000000 0 1487.20/1487.87 c 99 189 187.02 29.24 6.40 1000000 0 1488.30/1488.97 c 98 181 184.76 26.58 6.95 1000000 0 1489.40/1490.06 c 96 252 183.91 28.13 6.54 1000000 0 1490.50/1491.16 c 93 190 185.84 27.89 6.66 1000000 0 1491.60/1492.26 c 86 153 184.93 28.28 6.54 1000000 0 1492.70/1493.36 c 104 193 188.74 28.44 6.64 1000000 0 1493.80/1494.45 c 92 152 184.67 28.17 6.55 1000000 0 1494.90/1495.55 c 92 184 184.82 28.51 6.48 1000000 0 1496.00/1496.65 c 98 171 184.70 28.21 6.55 1000000 0 1497.10/1497.75 c 101 143 183.21 28.37 6.46 1000000 0 1498.20/1498.84 c 90 151 183.13 27.89 6.57 1000000 0 1499.30/1499.94 c 103 155 185.61 26.87 6.91 1000000 0 1500.39/1501.03 c 95 188 183.97 27.09 6.79 1000000 0 1501.49/1502.13 c 98 155 184.00 28.66 6.42 1000000 0 1502.59/1503.23 c 87 229 187.09 27.70 6.75 1000000 0 1503.69/1504.32 c 108 250 187.91 28.57 6.58 1000000 0 1504.79/1505.42 c 86 179 185.39 27.87 6.65 1000000 0 1505.89/1506.51 c 89 178 186.28 28.40 6.56 1000000 0 1506.99/1507.61 c 81 169 186.86 28.95 6.46 1000000 0 1508.09/1508.70 c 85 203 185.10 27.52 6.73 1000000 0 1509.19/1509.80 c 95 227 187.57 28.31 6.63 1000000 0 1510.19/1510.89 c 97 181 184.10 28.34 6.50 1000000 0 1511.29/1511.99 c 88 174 183.40 28.79 6.37 1000000 0 1512.39/1513.08 c 96 157 185.03 27.03 6.85 1000000 0 1513.49/1514.18 c 73 189 184.25 28.82 6.39 1000000 0 1514.59/1515.28 c 103 200 185.37 26.57 6.98 1000000 0 1515.69/1516.37 c 103 157 186.30 29.92 6.23 1000000 0 1516.79/1517.47 c 103 212 185.99 28.22 6.59 1000000 0 1517.89/1518.57 c 97 175 186.05 27.03 6.88 1000000 0 1518.99/1519.66 c 96 181 186.31 27.41 6.80 1000000 0 1520.09/1520.76 c 97 178 186.85 28.53 6.55 1000000 0 1521.19/1521.86 c 104 187 188.06 27.71 6.79 1000000 0 1522.29/1522.95 c 95 212 185.31 27.69 6.69 1000000 0 1523.39/1524.05 c 102 162 185.36 26.75 6.93 1000000 0 1524.49/1525.14 c 96 198 185.59 28.62 6.48 1000000 0 1525.59/1526.24 c 91 143 181.78 26.83 6.77 1000000 0 1526.68/1527.34 c 81 153 182.60 28.77 6.35 1000000 0 1527.78/1528.44 c 95 191 185.60 28.01 6.63 1000000 0 1528.88/1529.53 c 99 162 186.42 29.00 6.43 1000000 0 1529.98/1530.63 c 94 202 185.61 27.76 6.69 1000000 0 1531.08/1531.73 c 97 185 186.90 29.08 6.43 1000000 0 1532.18/1532.82 c 93 189 185.25 26.71 6.94 1000000 0 1533.28/1533.92 c 66 205 182.51 27.12 6.73 1000000 0 1534.38/1535.02 c 102 186 186.85 29.10 6.42 1000000 0 1535.48/1536.11 c 96 153 186.41 29.71 6.27 1000000 0 1536.58/1537.21 c 76 127 184.70 30.15 6.13 1000000 0 1537.68/1538.31 c 101 165 185.77 26.74 6.95 1000000 0 1538.78/1539.40 c 99 157 189.19 30.56 6.19 1000000 0 1539.88/1540.50 c 101 163 186.68 30.76 6.07 1000000 0 1540.88/1541.59 c 95 228 183.38 27.15 6.75 1000000 0 1541.98/1542.69 c 95 177 186.36 27.99 6.66 1000000 0 1543.08/1543.79 c 92 202 185.26 26.17 7.08 1000000 0 1544.18/1544.88 c 92 164 184.43 27.18 6.79 1000000 0 1545.28/1545.98 c 94 170 186.51 27.48 6.79 1000000 0 1546.38/1547.08 c 97 174 184.78 27.67 6.68 1000000 0 1547.48/1548.17 c 103 185 185.32 28.33 6.54 1000000 0 1548.58/1549.27 c 88 191 187.59 28.05 6.69 1000000 0 1549.68/1550.37 c 100 171 184.80 27.33 6.76 1000000 0 1550.78/1551.47 c 98 213 186.27 28.22 6.60 1000000 0 1551.88/1552.56 c 85 186 184.15 29.21 6.31 1000000 0 1552.97/1553.66 c 103 163 184.98 28.72 6.44 1000000 0 1554.07/1554.76 c 95 165 185.64 28.65 6.48 1000000 0 1555.17/1555.85 c 82 221 186.31 28.99 6.43 1000000 0 1556.27/1556.95 c 103 151 185.39 26.65 6.96 1000000 0 1557.37/1558.04 c 92 195 185.13 28.58 6.48 1000000 0 1558.47/1559.14 c 94 133 185.81 27.82 6.68 1000000 0 1559.57/1560.24 c 95 197 185.06 27.73 6.67 1000000 0 1560.67/1561.34 c 96 153 185.96 27.47 6.77 1000000 0 1561.77/1562.43 c 86 154 185.42 26.83 6.91 1000000 0 1562.87/1563.53 c 85 160 181.89 26.84 6.78 1000000 0 1563.97/1564.62 c 79 197 184.55 28.23 6.54 1000000 0 1565.07/1565.72 c 92 201 183.42 27.50 6.67 1000000 0 1566.17/1566.82 c 79 213 186.82 26.52 7.04 1000000 0 1567.27/1567.91 c 94 172 184.05 27.13 6.78 1000000 0 1568.37/1569.01 c 99 225 185.30 27.52 6.73 1000000 0 1569.47/1570.11 c 104 190 185.60 26.90 6.90 1000000 0 1570.57/1571.20 c 91 198 189.04 27.34 6.91 1000000 0 1571.67/1572.30 c 98 163 185.24 26.61 6.96 1000000 0 1572.67/1573.40 c 101 189 185.53 27.52 6.74 1000000 0 1573.77/1574.49 c 98 170 186.16 27.89 6.67 1000000 0 1574.87/1575.59 c 91 181 185.35 27.99 6.62 1000000 0 1575.97/1576.68 c 99 162 184.79 27.07 6.83 1000000 0 1577.07/1577.78 c 95 208 188.40 30.42 6.19 1000000 0 1578.17/1578.87 c 97 169 185.44 27.48 6.75 1000000 0 1579.26/1579.96 c 96 204 183.71 27.28 6.74 1000000 0 1580.36/1581.06 c 97 214 183.00 28.06 6.52 1000000 0 1581.46/1582.15 c 97 184 186.27 27.44 6.79 1000000 0 1582.56/1583.25 c 91 177 183.30 28.00 6.55 1000000 0 1583.66/1584.34 c 106 280 186.70 27.40 6.81 1000000 0 1584.76/1585.44 c 98 161 186.17 29.26 6.36 1000000 0 1585.86/1586.54 c 93 241 186.71 26.88 6.94 1000000 0 1586.96/1587.64 c 92 214 184.57 26.08 7.08 1000000 0 1588.06/1588.74 c 97 163 185.97 27.36 6.80 1000000 0 1589.16/1589.83 c 98 229 187.57 27.29 6.87 1000000 0 1590.26/1590.93 c 91 162 183.08 27.18 6.74 1000000 0 1591.36/1592.02 c 92 228 185.32 27.64 6.70 1000000 0 1592.46/1593.12 c 92 201 186.59 28.22 6.61 1000000 0 1593.56/1594.22 c 95 177 185.04 27.96 6.62 1000000 0 1594.66/1595.31 c 91 196 184.64 28.58 6.46 1000000 0 1595.76/1596.41 c 90 232 183.59 28.71 6.39 1000000 0 1596.86/1597.51 c 103 146 185.89 28.22 6.59 1000000 0 1597.96/1598.60 c 84 203 185.55 28.26 6.57 1000000 0 1599.06/1599.70 c 91 171 185.45 28.42 6.52 1000000 0 1600.06/1600.79 c 99 237 185.65 26.53 7.00 1000000 0 1601.16/1601.89 c 87 155 188.61 29.74 6.34 1000000 0 1602.26/1602.98 c 101 186 188.05 30.37 6.19 1000000 0 1603.36/1604.08 c 101 195 184.81 28.12 6.57 1000000 0 1604.45/1605.18 c 90 235 186.56 27.26 6.84 1000000 0 1605.55/1606.28 c 89 253 185.54 28.27 6.56 1000000 0 1606.65/1607.37 c 81 119 184.56 27.61 6.69 1000000 0 1607.75/1608.47 c 97 236 183.07 27.96 6.55 1000000 0 1608.85/1609.56 c 100 135 183.80 26.52 6.93 1000000 0 1609.95/1610.66 c 94 185 184.44 26.01 7.09 1000000 0 1611.05/1611.75 c 92 253 185.29 27.66 6.70 1000000 0 1612.15/1612.85 c 96 185 185.16 27.28 6.79 1000000 0 1613.25/1613.94 c 92 206 183.77 30.07 6.11 1000000 0 1614.35/1615.04 c 99 204 185.49 27.84 6.66 1000000 0 1615.45/1616.14 c 93 205 184.16 27.65 6.66 1000000 0 1616.55/1617.23 c 94 203 183.36 28.45 6.45 1000000 0 1617.65/1618.33 c 98 152 184.61 27.89 6.62 1000000 0 1618.75/1619.42 c 90 175 187.49 26.37 7.11 1000000 0 1619.85/1620.52 c 93 158 186.81 27.62 6.76 1000000 0 1620.95/1621.61 c 97 192 183.51 27.72 6.62 1000000 0 1622.05/1622.71 c 91 216 186.18 29.98 6.21 1000000 0 1623.15/1623.80 c 97 159 184.19 26.49 6.95 1000000 0 1624.25/1624.90 c 90 173 187.93 27.82 6.75 1000000 0 1625.25/1626.00 c 94 187 182.77 27.61 6.62 1000000 0 1626.35/1627.09 c 84 180 185.19 28.05 6.60 1000000 0 1627.45/1628.19 c 95 172 186.61 30.32 6.15 1000000 0 1628.55/1629.28 c 85 198 187.53 26.65 7.04 1000000 0 1629.64/1630.38 c 99 181 184.70 27.05 6.83 1000000 0 1630.74/1631.48 c 94 202 184.21 27.87 6.61 1000000 0 1631.84/1632.57 c 94 201 187.58 28.78 6.52 1000000 0 1632.94/1633.67 c 95 163 184.64 27.17 6.80 1000000 0 1634.04/1634.77 c 96 230 182.37 27.39 6.66 1000000 0 1635.14/1635.86 c 87 164 186.13 28.06 6.63 1000000 0 1636.24/1636.96 c 81 240 182.50 27.93 6.53 1000000 0 1637.34/1638.06 c 97 165 184.05 28.25 6.52 1000000 0 1638.44/1639.15 c 87 186 185.79 28.92 6.42 1000000 0 1639.54/1640.25 c 98 265 187.08 28.96 6.46 1000000 0 1640.64/1641.34 c 106 136 185.91 27.05 6.87 1000000 0 1641.74/1642.44 c 94 194 184.06 28.97 6.35 1000000 0 1642.84/1643.53 c 94 168 184.94 27.47 6.73 1000000 0 1643.94/1644.63 c 96 159 186.58 28.91 6.45 1000000 0 1645.04/1645.72 c 91 215 184.75 29.00 6.37 1000000 0 1646.14/1646.82 c 91 177 183.77 28.09 6.54 1000000 0 1647.24/1647.92 c 93 134 183.65 29.11 6.31 1000000 0 1648.34/1649.01 c 101 205 186.92 29.19 6.40 1000000 0 1649.43/1650.11 c 98 179 184.64 27.05 6.83 1000000 0 1650.53/1651.21 c 94 185 186.00 28.13 6.61 1000000 0 1651.63/1652.31 c 99 200 186.90 27.50 6.80 1000000 0 1652.73/1653.40 c 106 162 186.69 28.81 6.48 1000000 0 1653.83/1654.50 c 87 183 182.80 28.25 6.47 1000000 0 1654.84/1655.59 c 99 167 187.94 28.96 6.49 1000000 0 1655.94/1656.69 c 97 175 187.65 27.54 6.81 1000000 0 1657.04/1657.79 c 96 231 183.53 26.71 6.87 1000000 0 1658.14/1658.88 c 99 212 185.68 28.14 6.60 1000000 0 1659.24/1659.98 c 102 185 186.91 27.92 6.69 1000000 0 1660.34/1661.07 c 99 145 186.19 27.36 6.80 1000000 0 1661.44/1662.17 c 89 182 184.23 29.49 6.25 1000000 0 1662.54/1663.27 c 97 163 184.96 30.19 6.13 1000000 0 1663.64/1664.36 c 105 141 186.12 28.07 6.63 1000000 0 1664.74/1665.46 c 94 143 183.76 27.60 6.66 1000000 0 1665.84/1666.55 c 86 249 185.67 28.58 6.50 1000000 0 1666.94/1667.65 c 94 220 186.94 28.14 6.64 1000000 0 1668.04/1668.74 c 100 171 188.28 27.93 6.74 1000000 0 1669.14/1669.84 c 87 178 182.68 27.83 6.56 1000000 0 1670.23/1670.93 c 94 216 187.04 30.11 6.21 1000000 0 1671.33/1672.03 c 90 217 185.65 26.99 6.88 1000000 0 1672.43/1673.13 c 94 249 183.69 27.76 6.62 1000000 0 1673.53/1674.22 c 94 218 186.61 29.08 6.42 1000000 0 1674.63/1675.32 c 78 210 184.88 28.90 6.40 1000000 0 1675.73/1676.41 c 88 199 187.15 29.17 6.42 1000000 0 1676.83/1677.51 c 94 214 186.62 28.39 6.57 1000000 0 1677.93/1678.61 c 98 200 185.94 28.91 6.43 1000000 0 1678.93/1679.70 c 86 174 185.07 27.34 6.77 1000000 0 1680.03/1680.80 c 102 214 188.45 28.30 6.66 1000000 0 1681.13/1681.89 c 101 145 185.96 27.11 6.86 1000000 0 1682.23/1682.99 c 95 178 183.19 28.45 6.44 1000000 0 1683.33/1684.08 c 94 215 183.83 29.29 6.28 1000000 0 1684.43/1685.18 c 91 205 186.67 28.21 6.62 1000000 0 1685.53/1686.27 c 93 180 184.20 28.87 6.38 1000000 0 1686.63/1687.37 c 94 173 185.71 28.31 6.56 1000000 0 1687.73/1688.46 c 87 185 185.10 27.81 6.66 1000000 0 1688.83/1689.56 c 99 177 185.00 27.40 6.75 1000000 0 1689.93/1690.65 c 91 227 186.26 27.34 6.81 1000000 0 1691.02/1691.75 c 91 213 186.01 28.17 6.60 1000000 0 1692.12/1692.85 c 88 217 184.65 27.77 6.65 1000000 0 1693.22/1693.95 c 84 199 183.86 27.14 6.77 1000000 0 1694.32/1695.04 c 93 179 187.91 27.66 6.79 1000000 0 1695.42/1696.14 c 97 170 185.53 29.41 6.31 1000000 0 1696.52/1697.23 c 95 191 186.81 28.15 6.64 1000000 0 1697.62/1698.33 c 88 115 183.73 26.61 6.91 1000000 0 1698.72/1699.43 c 102 181 187.78 27.80 6.76 1000000 0 1699.82/1700.52 c 93 158 184.91 27.57 6.71 1000000 0 1700.92/1701.62 c 100 194 187.07 27.15 6.89 1000000 0 1702.02/1702.72 c 82 200 184.00 27.78 6.62 1000000 0 1703.12/1703.82 c 96 185 185.27 28.59 6.48 1000000 0 1704.22/1704.91 c 94 176 185.31 26.92 6.88 1000000 0 1705.32/1706.01 c 92 165 182.90 26.96 6.78 1000000 0 1706.42/1707.11 c 98 158 184.83 27.85 6.64 1000000 0 1707.52/1708.20 c 94 179 185.66 28.07 6.61 1000000 0 1708.62/1709.30 c 91 258 185.22 28.74 6.44 1000000 0 1709.61/1710.39 c 97 188 186.48 28.34 6.58 1000000 0 1710.71/1711.49 c 94 212 185.97 27.37 6.80 1000000 0 1711.81/1712.59 c 89 204 186.09 27.17 6.85 1000000 0 1712.91/1713.68 c 90 174 188.00 27.88 6.74 1000000 0 1714.01/1714.78 c 95 158 185.76 26.42 7.03 1000000 0 1715.11/1715.88 c 98 200 189.03 27.83 6.79 1000000 0 1716.21/1716.97 c 95 164 184.20 28.50 6.46 1000000 0 1717.31/1718.07 c 97 204 184.91 28.58 6.47 1000000 0 1718.41/1719.16 c 102 226 188.57 26.94 7.00 1000000 0 1719.51/1720.26 c 94 180 184.97 28.12 6.58 1000000 0 1720.60/1721.35 c 105 170 184.34 27.80 6.63 1000000 0 1721.70/1722.45 c 100 170 187.15 29.77 6.29 1000000 0 1722.80/1723.55 c 91 215 185.01 27.75 6.67 1000000 0 1723.90/1724.65 c 98 128 185.34 26.93 6.88 1000000 0 1725.00/1725.74 c 87 197 186.09 28.78 6.47 1000000 0 1726.10/1726.84 c 101 214 185.22 27.26 6.79 1000000 0 1727.20/1727.94 c 100 191 185.65 30.20 6.15 1000000 0 1728.30/1729.03 c 101 221 185.60 28.39 6.54 1000000 0 1729.40/1730.13 c 92 244 183.24 26.52 6.91 1000000 0 1730.50/1731.23 c 102 226 186.96 28.23 6.62 1000000 0 1731.60/1732.33 c 86 239 185.22 28.17 6.58 1000000 0 1732.70/1733.42 c 90 220 187.55 28.86 6.50 1000000 0 1733.80/1734.52 c 94 220 188.00 28.60 6.57 1000000 0 1734.90/1735.62 c 98 157 186.85 28.49 6.56 1000000 0 1736.00/1736.71 c 83 177 186.22 29.61 6.29 1000000 0 1737.10/1737.81 c 98 163 189.03 29.44 6.42 1000000 0 1738.20/1738.91 c 103 190 188.89 28.48 6.63 1000000 0 1739.30/1740.01 c 101 208 184.34 27.06 6.81 1000000 0 1740.40/1741.10 c 95 160 182.93 27.48 6.66 1000000 0 1741.50/1742.20 c 92 209 185.69 28.58 6.50 1000000 0 1742.60/1743.30 c 100 171 188.50 28.63 6.58 1000000 0 1743.60/1744.39 c 90 201 187.43 27.73 6.76 1000000 0 1744.70/1745.49 c 99 183 185.07 26.83 6.90 1000000 0 1745.80/1746.58 c 100 186 185.11 28.38 6.52 1000000 0 1746.89/1747.68 c 97 215 189.61 29.18 6.50 1000000 0 1747.99/1748.77 c 101 193 182.41 26.79 6.81 1000000 0 1749.09/1749.87 c 107 210 187.01 27.81 6.73 1000000 0 1750.19/1750.97 c 102 216 184.90 27.36 6.76 1000000 0 1751.29/1752.07 c 108 174 186.14 26.45 7.04 1000000 0 1752.39/1753.16 c 93 195 185.46 27.62 6.71 1000000 0 1753.49/1754.26 c 88 200 185.35 28.14 6.59 1000000 0 1754.59/1755.36 c 92 188 188.01 27.53 6.83 1000000 0 1755.69/1756.45 c 99 151 186.27 27.55 6.76 1000000 0 1756.79/1757.55 c 100 180 185.03 27.44 6.74 1000000 0 1757.89/1758.65 c 95 195 185.95 29.26 6.36 1000000 0 1758.99/1759.74 c 96 208 185.57 28.27 6.57 1000000 0 1760.09/1760.83 c 89 210 185.12 28.04 6.60 1000000 0 1761.19/1761.93 c 81 228 185.13 29.73 6.23 1000000 0 1762.29/1763.03 c 80 152 188.39 29.18 6.46 1000000 0 1763.39/1764.12 c 93 235 187.37 29.02 6.46 1000000 0 1764.49/1765.22 c 93 169 185.33 27.16 6.82 1000000 0 1765.59/1766.31 c 95 172 186.66 27.87 6.70 1000000 0 1766.69/1767.41 c 95 208 184.77 27.77 6.65 1000000 0 1767.79/1768.51 c 92 162 185.29 28.84 6.43 1000000 0 1768.89/1769.60 c 94 175 184.51 26.89 6.86 1000000 0 1769.98/1770.70 c 103 137 185.78 28.12 6.61 1000000 0 1770.98/1771.80 c 104 156 186.36 26.85 6.94 1000000 0 1772.08/1772.89 c 99 157 183.07 27.68 6.61 1000000 0 1773.18/1773.99 c 106 183 184.43 28.16 6.55 1000000 0 1774.28/1775.08 c 89 143 186.40 27.49 6.78 1000000 0 1775.38/1776.18 c 101 154 184.54 27.03 6.83 1000000 0 1776.48/1777.28 c 86 167 186.14 28.06 6.63 1000000 0 1777.58/1778.37 c 86 212 185.43 27.52 6.74 1000000 0 1778.68/1779.47 c 99 206 186.14 28.26 6.59 1000000 0 1779.78/1780.56 c 93 206 183.61 27.52 6.67 1000000 0 1780.88/1781.66 c 88 197 186.48 27.95 6.67 1000000 0 1781.98/1782.76 c 91 194 183.45 27.48 6.67 1000000 0 1783.08/1783.86 c 94 222 187.64 28.55 6.57 1000000 0 1784.18/1784.95 c 96 177 189.74 30.06 6.31 1000000 0 1785.28/1786.05 c 98 167 185.67 26.00 7.14 1000000 0 1786.38/1787.15 c 98 188 183.31 27.29 6.72 1000000 0 1787.48/1788.25 c 92 146 184.75 27.00 6.84 1000000 0 1788.58/1789.34 c 95 156 185.82 27.16 6.84 1000000 0 1789.68/1790.44 c 97 160 184.12 27.61 6.67 1000000 0 1790.78/1791.54 c 94 187 186.57 28.98 6.44 1000000 0 1791.88/1792.63 c 85 189 185.40 28.23 6.57 1000000 0 1792.98/1793.73 c 96 209 183.66 27.10 6.78 1000000 0 1794.08/1794.82 c 98 147 184.19 26.79 6.87 1000000 0 1795.18/1795.92 c 102 219 184.41 26.42 6.98 1000000 0 1796.28/1797.01 c 92 239 187.93 28.56 6.58 1000000 0 1797.37/1798.10 c 83 197 183.43 26.48 6.93 1000000 0 1798.47/1799.20 c 72 163 187.98 28.34 6.63 1000000 0 1799.57/1800.30 c 94 130 183.86 26.81 6.86 1000000 0 1800.08/1800.80 HOME/run: line 2: 21605 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684580-1278432552/watcher-2684580-1278432552 -o /tmp/evaluation-result-2684580-1278432552/solver-2684580-1278432552 -C 1800 -W 2000 -M 1800 run HOME/instance-2684580-1278432552.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.20 0.05 0.01 3/106 21604 /proc/meminfo: memFree=1491704/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) R 21602 21604 21487 0 -1 4202496 342 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006753173 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [startup+0.0237391 s] /proc/loadavg: 0.20 0.05 0.01 3/106 21604 /proc/meminfo: memFree=1491704/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100755 s] /proc/loadavg: 0.20 0.05 0.01 3/106 21604 /proc/meminfo: memFree=1491704/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300797 s] /proc/loadavg: 0.20 0.05 0.01 3/106 21604 /proc/meminfo: memFree=1491704/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700883 s] /proc/loadavg: 0.20 0.05 0.01 3/106 21604 /proc/meminfo: memFree=1491704/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50105 s] /proc/loadavg: 0.20 0.05 0.01 2/108 21606 /proc/meminfo: memFree=1487968/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1.49 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 149 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10139 s] /proc/loadavg: 0.20 0.05 0.01 2/108 21606 /proc/meminfo: memFree=1487720/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=3.09 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 309 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30107 s] /proc/loadavg: 0.27 0.06 0.02 2/108 21606 /proc/meminfo: memFree=1487720/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=6.28 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 628 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7014 s] /proc/loadavg: 0.32 0.08 0.02 2/108 21606 /proc/meminfo: memFree=1487472/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=12.68 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 1268 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526157 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5012 s] /proc/loadavg: 0.47 0.12 0.04 2/108 21606 /proc/meminfo: memFree=1487472/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=25.47 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 2547 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 49152 [startup+51.1006 s] /proc/loadavg: 0.65 0.19 0.06 2/108 21606 /proc/meminfo: memFree=1487348/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=51.06 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 5106 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.85 0.31 0.11 2/108 21608 /proc/meminfo: memFree=1487100/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=102.25 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 10225 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.94 0.44 0.16 2/108 21610 /proc/meminfo: memFree=1486976/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=162.22 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 16222 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526812 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 0.98 0.54 0.21 2/108 21612 /proc/meminfo: memFree=1486852/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=222.2 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 22220 0 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 0.99 0.62 0.26 2/108 21613 /proc/meminfo: memFree=1486852/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=282.18 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 28217 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 0.99 0.68 0.30 2/108 21614 /proc/meminfo: memFree=1486728/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=342.16 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 34215 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.34 2/108 21616 /proc/meminfo: memFree=1486604/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=402.13 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 40212 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1061.87 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 106186 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.67 2/108 21639 /proc/meminfo: memFree=1485364/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1121.84 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 112183 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/108 21640 /proc/meminfo: memFree=1485240/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1181.82 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 118181 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 21641 /proc/meminfo: memFree=1484992/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1241.8 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 124179 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/108 21643 /proc/meminfo: memFree=1484744/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1301.78 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 130177 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 21645 /proc/meminfo: memFree=1484868/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1361.75 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 136174 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/108 21647 /proc/meminfo: memFree=1484744/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1421.73 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 142172 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134572022 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/108 21648 /proc/meminfo: memFree=1484620/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1481.7 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 148169 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134571231 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/108 21649 /proc/meminfo: memFree=1484620/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1541.68 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 154167 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134526733 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.79 2/108 21651 /proc/meminfo: memFree=1484372/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1601.66 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 160165 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134519770 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 21653 /proc/meminfo: memFree=1484372/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1661.63 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 166162 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 21655 /proc/meminfo: memFree=1484248/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1721.6 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 172159 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21656 /proc/meminfo: memFree=1483876/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1781.58 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 178157 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21657 /proc/meminfo: memFree=1483876/2059040 swapFree=4192956/4192956 [pid=21604] ppid=21602 vsize=8700 CPUtime=0 /proc/21604/stat : 21604 (run) S 21602 21604 21487 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468370 8908800 243 1992294400 4194304 4922060 140735731329616 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21604/statm: 2175 243 204 178 0 68 0 [pid=21605] ppid=21604 vsize=40452 CPUtime=1800.08 /proc/21605/stat : 21605 (PB-wave) R 21604 21604 21487 0 -1 4202496 946 0 0 0 180007 1 0 0 25 0 1 0 11468370 41422848 876 1992294400 134512640 135071400 4290047472 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21605/statm: 10113 876 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.81 CPU time (s): 1800.1 CPU user time (s): 1800.08 CPU system time (s): 0.020996 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.020996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1317 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= 4 involuntary context switches= 21087 runsolver used 3.05054 second user time and 8.5337 second system time The end
Begin job on node010 at 2010-07-06 18:09:12 IDJOB=2684580 IDBENCH=73074 IDSOLVER=1171 FILE ID=node010/2684580-1278432552 PBS_JOBID= 11233461 Free space on /tmp= 62492 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_9-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684580-1278432552/watcher-2684580-1278432552 -o /tmp/evaluation-result-2684580-1278432552/solver-2684580-1278432552 -C 1800 -W 2000 -M 1800 run HOME/instance-2684580-1278432552.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 13e804dc51f4c233057894b7e80e9077 RANDOM SEED=904393660 node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1492100 kB Buffers: 106848 kB Cached: 327868 kB SwapCached: 0 kB Active: 161320 kB Inactive: 333132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1492100 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1404 kB Writeback: 0 kB AnonPages: 59648 kB Mapped: 14420 kB Slab: 50640 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180868 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62492 MiB End job on node010 at 2010-07-06 18:39:13