Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.11 | 1800.72 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3031_7-sat.opb |
MD5SUM | 0ff79474564f4c2fd0f3bbe9569d3135 |
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.05599 |
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 | 3844 |
Total number of constraints | 12376 |
Number of constraints which are clauses | 12132 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 244 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
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 | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 216 |
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.03 c PB-wave - v2 0.00/0.03 c command line = ./PB-wave 0.00/0.03 c seed = 61953738 0.00/0.03 c cutoff = 1000000 0.00/0.03 c tries = 1000000 0.00/0.03 c heuristic = c best, noise 50 / 100 0.00/0.03 #var 3844 #con 12376 0.00/0.03 mode is SAT 0.00/0.03 c tail starts after flip = 11532 0.00/0.03 c numatom = 3844, numclause = 12376, numliterals = 33120 0.00/0.03 c wff read in 0.00/0.03 c 0.00/0.03 c lowest final avg noise noise total avg mean mean 0.00/0.03 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.03 c this this this this this this success success until std 0.00/0.03 c try try try try try try rate tries assign dev 0.00/0.03 c 1.10/1.13 c 133 221 246.44 34.22 7.20 1000000 0 2.20/2.24 c 139 275 247.42 34.92 7.08 1000000 0 3.30/3.33 c 124 280 241.62 35.16 6.87 1000000 0 4.39/4.43 c 116 248 247.23 35.50 6.96 1000000 0 5.49/5.53 c 127 255 246.81 32.94 7.49 1000000 0 6.59/6.63 c 140 327 246.31 33.72 7.31 1000000 0 7.69/7.73 c 115 320 246.99 37.90 6.52 1000000 0 8.79/8.83 c 134 218 249.54 35.68 6.99 1000000 0 9.89/9.93 c 129 224 245.22 36.52 6.72 1000000 0 10.99/11.03 c 126 258 241.84 35.13 6.88 1000000 0 12.09/12.13 c 118 229 243.01 33.85 7.18 1000000 0 13.19/13.22 c 130 242 241.96 33.22 7.28 1000000 0 14.29/14.32 c 130 277 244.46 35.25 6.94 1000000 0 15.39/15.42 c 119 228 240.96 34.16 7.05 1000000 0 16.49/16.52 c 137 164 247.90 33.33 7.44 1000000 0 17.58/17.62 c 130 174 242.29 35.50 6.83 1000000 0 18.68/18.72 c 130 306 249.34 34.50 7.23 1000000 0 19.78/19.82 c 126 189 248.08 35.39 7.01 1000000 0 20.88/20.91 c 139 238 247.36 34.54 7.16 1000000 0 21.98/22.01 c 126 208 248.84 37.05 6.72 1000000 0 23.08/23.11 c 133 269 248.39 34.82 7.13 1000000 0 24.18/24.21 c 121 239 244.52 34.99 6.99 1000000 0 25.28/25.31 c 117 173 247.42 35.72 6.93 1000000 0 26.38/26.41 c 115 273 247.12 35.49 6.96 1000000 0 27.48/27.51 c 120 293 247.91 35.84 6.92 1000000 0 28.58/28.61 c 110 240 245.47 34.80 7.05 1000000 0 29.68/29.71 c 115 269 241.64 34.39 7.03 1000000 0 30.78/30.81 c 137 235 248.22 34.64 7.17 1000000 0 31.78/31.90 c 114 224 248.22 33.66 7.37 1000000 0 32.88/33.01 c 127 263 245.71 34.68 7.09 1000000 0 34.08/34.11 c 121 247 245.05 35.62 6.88 1000000 0 35.08/35.20 c 130 192 243.06 33.93 7.16 1000000 0 36.29/36.31 c 135 258 247.76 34.90 7.10 1000000 0 37.29/37.40 c 116 224 247.69 34.68 7.14 1000000 0 38.39/38.50 c 134 248 242.79 33.73 7.20 1000000 0 39.48/39.60 c 114 282 245.72 37.01 6.64 1000000 0 40.59/40.70 c 130 229 240.11 34.24 7.01 1000000 0 41.68/41.80 c 131 250 243.26 35.33 6.89 1000000 0 42.78/42.90 c 124 267 244.99 35.20 6.96 1000000 0 43.88/44.00 c 126 268 244.78 36.16 6.77 1000000 0 44.98/45.09 c 123 176 242.02 34.82 6.95 1000000 0 46.08/46.19 c 114 230 244.60 35.15 6.96 1000000 0 47.18/47.29 c 125 256 247.33 35.15 7.04 1000000 0 48.28/48.39 c 124 234 247.63 34.74 7.13 1000000 0 49.38/49.49 c 104 232 241.49 36.46 6.62 1000000 0 50.48/50.59 c 105 214 243.00 34.17 7.11 1000000 0 51.58/51.69 c 125 219 248.11 35.22 7.05 1000000 0 52.68/52.79 c 131 218 246.81 33.48 7.37 1000000 0 53.78/53.88 c 110 259 242.22 34.84 6.95 1000000 0 54.88/54.98 c 110 219 241.23 34.97 6.90 1000000 0 55.98/56.08 c 116 213 243.59 37.11 6.56 1000000 0 57.08/57.18 c 102 253 248.45 38.51 6.45 1000000 0 58.18/58.28 c 122 264 244.54 33.71 7.25 1000000 0 59.28/59.37 c 128 315 242.61 35.24 6.88 1000000 0 60.38/60.47 c 119 207 246.13 35.12 7.01 1000000 0 61.48/61.57 c 140 294 246.44 35.76 6.89 1000000 0 62.58/62.67 c 120 248 248.98 34.78 7.16 1000000 0 63.68/63.77 c 120 122 246.50 34.81 7.08 1000000 0 64.78/64.87 c 135 215 249.53 33.97 7.35 1000000 0 65.88/65.97 c 105 304 245.00 35.74 6.85 1000000 0 66.98/67.07 c 134 266 244.85 34.11 7.18 1000000 0 68.07/68.16 c 126 294 242.75 35.88 6.77 1000000 0 69.17/69.26 c 134 180 246.51 35.24 6.99 1000000 0 70.27/70.36 c 123 242 247.97 34.05 7.28 1000000 0 71.37/71.47 c 120 230 248.37 35.60 6.98 1000000 0 72.47/72.56 c 142 303 248.50 34.98 7.10 1000000 0 73.57/73.67 c 115 294 245.41 35.12 6.99 1000000 0 74.67/74.76 c 131 267 247.53 34.53 7.17 1000000 0 75.77/75.86 c 131 190 244.39 35.06 6.97 1000000 0 76.87/76.96 c 125 194 244.53 33.54 7.29 1000000 0 77.97/78.06 c 116 237 246.94 38.31 6.45 1000000 0 79.07/79.16 c 128 198 246.49 34.69 7.10 1000000 0 80.17/80.26 c 119 262 246.86 34.01 7.26 1000000 0 81.27/81.36 c 126 291 244.72 36.84 6.64 1000000 0 82.37/82.46 c 118 256 240.86 35.34 6.82 1000000 0 83.47/83.56 c 126 242 248.84 33.31 7.47 1000000 0 84.57/84.66 c 118 343 248.70 36.80 6.76 1000000 0 85.67/85.75 c 116 244 244.80 34.38 7.12 1000000 0 86.77/86.85 c 125 265 250.64 33.89 7.40 1000000 0 87.87/87.95 c 124 259 244.78 34.46 7.10 1000000 0 88.97/89.05 c 131 171 245.56 32.17 7.63 1000000 0 90.07/90.15 c 128 220 250.23 33.09 7.56 1000000 0 91.17/91.25 c 131 268 242.85 35.24 6.89 1000000 0 92.27/92.35 c 123 207 242.85 37.85 6.42 1000000 0 93.37/93.45 c 135 237 249.18 35.11 7.10 1000000 0 94.47/94.55 c 136 237 248.97 32.17 7.74 1000000 0 95.57/95.65 c 145 359 245.28 35.65 6.88 1000000 0 96.67/96.75 c 135 316 249.19 33.77 7.38 1000000 0 97.77/97.85 c 99 216 240.52 33.61 7.16 1000000 0 98.86/98.94 c 125 252 241.88 32.03 7.55 1000000 0 99.96/100.04 c 133 254 246.84 35.51 6.95 1000000 0 101.07/101.14 c 94 243 247.22 35.61 6.94 1000000 0 102.16/102.24 c 134 278 248.82 35.39 7.03 1000000 0 103.26/103.34 c 104 193 241.04 36.86 6.54 1000000 0 104.36/104.44 c 99 227 249.01 35.01 7.11 1000000 0 105.46/105.54 c 127 224 246.49 33.91 7.27 1000000 0 106.56/106.64 c 125 251 246.88 37.49 6.59 1000000 0 107.66/107.74 c 137 242 249.66 37.38 6.68 1000000 0 108.76/108.84 c 119 271 251.13 34.95 7.19 1000000 0 109.86/109.94 c 128 256 243.19 35.43 6.86 1000000 0 110.96/111.04 c 131 238 244.21 33.49 7.29 1000000 0 112.06/112.14 c 132 220 245.02 34.22 7.16 1000000 0 113.16/113.24 c 109 222 247.49 34.16 7.24 1000000 0 114.26/114.34 c 132 209 247.37 35.30 7.01 1000000 0 115.36/115.44 c 132 227 250.97 34.07 7.37 1000000 0 116.46/116.53 c 122 254 247.26 34.44 7.18 1000000 0 117.56/117.63 c 111 264 246.37 35.12 7.02 1000000 0 118.66/118.73 c 112 239 245.60 33.24 7.39 1000000 0 119.76/119.83 c 124 229 246.97 35.02 7.05 1000000 0 120.86/120.93 c 134 243 248.62 34.55 7.20 1000000 0 121.96/122.03 c 117 239 245.87 35.69 6.89 1000000 0 123.06/123.13 c 138 251 252.61 32.92 7.67 1000000 0 124.16/124.23 c 125 263 244.72 33.70 7.26 1000000 0 125.25/125.32 c 129 225 245.59 34.75 7.07 1000000 0 126.35/126.42 c 107 265 244.89 33.78 7.25 1000000 0 127.45/127.52 c 106 165 242.49 34.59 7.01 1000000 0 128.55/128.61 c 109 232 244.16 36.37 6.71 1000000 0 129.65/129.71 c 114 284 241.25 36.62 6.59 1000000 0 130.75/130.81 c 125 266 247.52 35.90 6.89 1000000 0 131.85/131.91 c 132 223 241.56 34.65 6.97 1000000 0 132.95/133.01 c 115 314 244.66 35.25 6.94 1000000 0 134.05/134.11 c 115 280 245.21 35.25 6.96 1000000 0 135.04/135.21 c 130 232 247.74 35.10 7.06 1000000 0 136.14/136.30 c 123 300 247.82 33.75 7.34 1000000 0 137.24/137.40 c 137 237 247.17 33.91 7.29 1000000 0 138.34/138.50 c 120 257 244.11 34.98 6.98 1000000 0 139.44/139.60 c 122 277 248.67 35.92 6.92 1000000 0 140.54/140.70 c 121 243 246.28 37.13 6.63 1000000 0 141.64/141.80 c 106 245 245.17 34.81 7.04 1000000 0 142.74/142.90 c 117 265 246.42 35.97 6.85 1000000 0 143.84/144.00 c 129 260 245.77 35.12 7.00 1000000 0 144.94/145.10 c 137 274 244.63 34.69 7.05 1000000 0 146.04/146.20 c 133 286 245.70 35.39 6.94 1000000 0 147.14/147.30 c 121 263 246.53 37.42 6.59 1000000 0 148.24/148.40 c 133 270 249.93 36.10 6.92 1000000 0 149.34/149.50 c 111 299 248.40 36.29 6.85 1000000 0 150.44/150.60 c 108 261 242.81 36.55 6.64 1000000 0 151.54/151.70 c 116 323 243.53 34.96 6.97 1000000 0 152.64/152.80 c 101 279 246.75 34.94 7.06 1000000 0 153.74/153.89 c 130 259 247.55 34.60 7.15 1000000 0 154.84/154.99 c 113 271 246.39 35.08 7.02 1000000 0 155.94/156.09 c 135 271 245.12 35.97 6.81 1000000 0 157.04/157.19 c 128 231 243.65 35.69 6.83 1000000 0 158.14/158.29 c 131 254 245.05 35.85 6.84 1000000 0 159.24/159.39 c 130 275 245.37 33.84 7.25 1000000 0 160.34/160.49 c 127 281 252.14 34.30 7.35 1000000 0 161.43/161.58 c 122 250 244.13 34.66 7.04 1000000 0 162.53/162.68 c 116 275 249.87 35.85 6.97 1000000 0 163.63/163.78 c 126 195 242.70 36.13 6.72 1000000 0 164.73/164.88 c 111 245 244.30 33.61 7.27 1000000 0 165.83/165.98 c 131 264 241.00 35.26 6.84 1000000 0 166.93/167.08 c 127 268 242.52 36.76 6.60 1000000 0 168.03/168.18 c 136 264 246.79 36.89 6.69 1000000 0 169.13/169.28 c 119 221 243.50 36.70 6.64 1000000 0 170.23/170.38 c 123 217 243.32 34.55 7.04 1000000 0 171.33/171.48 c 147 289 251.79 36.01 6.99 1000000 0 172.43/172.58 c 115 237 242.10 35.30 6.86 1000000 0 173.53/173.68 c 122 276 243.69 33.65 7.24 1000000 0 174.63/174.77 c 121 288 246.77 33.02 7.47 1000000 0 175.73/175.87 c 128 229 247.23 34.62 7.14 1000000 0 176.83/176.97 c 127 209 245.87 34.92 7.04 1000000 0 177.93/178.07 c 132 190 248.28 34.65 7.17 1000000 0 179.03/179.16 c 132 210 246.35 34.95 7.05 1000000 0 180.13/180.26 c 125 239 244.56 35.01 6.99 1000000 0 181.23/181.36 c 108 249 245.82 37.24 6.60 1000000 0 182.33/182.46 c 125 221 245.63 33.38 7.36 1000000 0 183.43/183.56 c 130 272 247.43 36.41 6.80 1000000 0 184.53/184.66 c 105 213 243.25 33.78 7.20 1000000 0 185.63/185.76 c 118 219 245.10 35.51 6.90 1000000 0 186.73/186.86 c 98 247 249.03 35.10 7.09 1000000 0 187.82/187.96 c 138 294 247.74 36.38 6.81 1000000 0 188.92/189.06 c 120 248 244.92 35.45 6.91 1000000 0 190.02/190.16 c 133 267 245.14 34.98 7.01 1000000 0 191.12/191.25 c 118 243 245.84 35.70 6.89 1000000 0 192.22/192.35 c 115 259 250.36 35.11 7.13 1000000 0 193.32/193.45 c 131 256 248.42 36.88 6.74 1000000 0 194.42/194.55 c 117 265 243.89 34.22 7.13 1000000 0 195.52/195.65 c 133 268 244.90 34.51 7.10 1000000 0 196.62/196.75 c 142 236 247.62 32.76 7.56 1000000 0 197.72/197.85 c 117 222 242.88 34.73 6.99 1000000 0 198.82/198.95 c 137 244 248.71 35.28 7.05 1000000 0 199.92/200.05 c 123 212 246.48 35.73 6.90 1000000 0 201.02/201.14 c 104 211 242.83 34.20 7.10 1000000 0 202.12/202.24 c 130 283 244.41 31.55 7.75 1000000 0 203.22/203.34 c 125 197 249.19 34.44 7.24 1000000 0 204.32/204.44 c 145 274 248.18 34.42 7.21 1000000 0 205.42/205.54 c 125 273 250.22 36.58 6.84 1000000 0 206.52/206.64 c 120 228 245.16 36.96 6.63 1000000 0 207.62/207.74 c 109 202 245.41 35.39 6.93 1000000 0 208.72/208.84 c 130 236 245.44 36.66 6.69 1000000 0 209.82/209.93 c 134 244 243.85 35.28 6.91 1000000 0 210.91/211.03 c 130 158 247.09 35.55 6.95 1000000 0 212.02/212.13 c 124 243 244.69 35.17 6.96 1000000 0 213.11/213.23 c 130 311 245.88 33.70 7.30 1000000 0 214.21/214.33 c 114 264 249.46 36.42 6.85 1000000 0 215.31/215.43 c 120 318 247.15 35.97 6.87 1000000 0 216.41/216.53 c 125 234 245.61 34.52 7.11 1000000 0 217.51/217.62 c 135 216 247.40 35.73 6.93 1000000 0 218.61/218.72 c 127 262 244.90 32.61 7.51 1000000 0 219.71/219.82 c 131 305 244.23 33.98 7.19 1000000 0 220.81/220.92 c 126 208 245.66 35.55 6.91 1000000 0 221.91/222.02 c 116 288 247.37 35.22 7.02 1000000 0 223.01/223.12 c 127 273 247.06 35.53 6.95 1000000 0 224.11/224.22 c 113 245 242.60 36.38 6.67 1000000 0 225.21/225.32 c 135 289 244.73 34.30 7.14 1000000 0 226.31/226.42 c 137 217 244.43 34.54 7.08 1000000 0 227.41/227.52 c 115 294 242.97 33.57 7.24 1000000 0 228.51/228.62 c 104 246 243.15 35.69 6.81 1000000 0 229.61/229.72 c 134 282 244.44 33.43 7.31 1000000 0 230.71/230.82 c 119 265 247.31 37.39 6.61 1000000 0 231.81/231.92 c 125 241 247.75 36.27 6.83 1000000 0 232.91/233.01 c 128 239 245.45 35.52 6.91 1000000 0 234.01/234.11 c 117 315 246.59 33.54 7.35 1000000 0 235.11/235.22 c 131 281 244.60 36.44 6.71 1000000 0 236.21/236.31 c 120 258 248.51 35.56 6.99 1000000 0 237.31/237.41 c 111 185 249.56 34.61 7.21 1000000 0 238.40/238.51 c 118 240 247.08 37.92 6.52 1000000 0 239.50/239.61 c 114 229 244.59 35.64 6.86 1000000 0 240.60/240.71 c 123 248 245.72 35.30 6.96 1000000 0 241.70/241.81 c 116 272 243.68 36.20 6.73 1000000 0 242.80/242.91 c 115 253 246.20 34.28 7.18 1000000 0 243.90/244.01 c 125 234 245.72 34.06 7.22 1000000 0 245.00/245.11 c 136 254 244.22 32.84 7.44 1000000 0 246.10/246.20 c 124 228 240.83 34.44 6.99 1000000 0 247.20/247.30 c 111 280 243.06 34.85 6.97 1000000 0 248.30/248.40 c 134 292 246.03 34.08 7.22 1000000 0 249.40/249.50 c 130 234 246.54 36.49 6.76 1000000 0 250.50/250.60 c 136 289 250.27 34.92 7.17 1000000 0 251.60/251.70 c 139 217 249.28 34.41 7.24 1000000 0 252.70/252.80 c 132 271 243.95 33.69 7.24 1000000 0 253.80/253.90 c 113 211 246.17 34.26 7.19 1000000 0 254.90/255.00 c 117 303 242.53 38.16 6.36 1000000 0 256.00/256.10 c 123 219 247.89 34.99 7.08 1000000 0 257.00/257.19 c 134 258 246.12 33.37 7.38 1000000 0 258.10/258.29 c 133 310 245.81 35.12 7.00 1000000 0 259.20/259.39 c 117 243 243.19 36.70 6.63 1000000 0 260.30/260.49 c 120 213 242.33 35.37 6.85 1000000 0 261.40/261.59 c 135 169 245.38 34.00 7.22 1000000 0 262.50/262.69 c 120 271 243.84 36.41 6.70 1000000 0 263.60/263.79 c 130 233 243.14 34.67 7.01 1000000 0 264.69/264.89 c 135 240 245.95 33.28 7.39 1000000 0 265.79/265.99 c 117 227 245.74 36.74 6.69 1000000 0 266.89/267.09 c 129 255 241.81 34.76 6.96 1000000 0 267.99/268.19 c 113 193 245.92 35.75 6.88 1000000 0 269.09/269.29 c 105 239 244.70 35.80 6.84 1000000 0 270.19/270.38 c 134 245 249.43 35.55 7.02 1000000 0 271.29/271.48 c 135 297 244.81 35.02 6.99 1000000 0 272.39/272.58 c 138 222 249.97 34.45 7.26 1000000 0 273.49/273.68 c 126 229 249.59 37.22 6.71 1000000 0 274.59/274.78 c 127 229 245.40 34.20 7.18 1000000 0 275.69/275.88 c 122 269 248.25 36.59 6.78 1000000 0 276.79/276.98 c 130 273 246.53 34.06 7.24 1000000 0 277.89/278.08 c 135 307 251.88 35.20 7.16 1000000 0 278.99/279.18 c 124 263 248.41 33.70 7.37 1000000 0 280.09/280.28 c 106 262 240.56 34.56 6.96 1000000 0 281.19/281.37 c 109 245 250.26 37.02 6.76 1000000 0 282.29/282.48 c 125 225 240.50 34.25 7.02 1000000 0 283.39/283.57 c 120 232 240.65 38.39 6.27 1000000 0 284.49/284.67 c 125 308 245.20 34.48 7.11 1000000 0 285.59/285.77 c 129 238 244.66 34.42 7.11 1000000 0 286.69/286.87 c 123 293 247.17 35.29 7.00 1000000 0 287.79/287.97 c 125 218 248.40 36.10 6.88 1000000 0 288.89/289.07 c 117 230 245.73 35.42 6.94 1000000 0 289.98/290.17 c 125 296 242.79 34.68 7.00 1000000 0 291.08/291.27 c 129 280 248.37 35.90 6.92 1000000 0 292.18/292.37 c 141 253 248.13 34.16 7.26 1000000 0 293.28/293.47 c 120 263 248.96 34.27 7.26 1000000 0 294.38/294.57 c 120 221 254.06 35.41 7.17 1000000 0 295.48/295.67 c 115 256 246.96 35.16 7.02 1000000 0 296.58/296.77 c 137 275 247.65 35.18 7.04 1000000 0 297.68/297.87 c 124 278 248.86 34.63 7.19 1000000 0 298.78/298.97 c 136 204 246.94 34.39 7.18 1000000 0 299.88/300.06 c 130 226 239.40 33.04 7.25 1000000 0 300.98/301.16 c 119 195 245.35 35.93 6.83 1000000 0 302.08/302.26 c 129 241 248.64 34.49 7.21 1000000 0 303.18/303.36 c 127 224 244.72 34.19 7.16 1000000 0 304.28/304.46 c 131 213 246.83 37.47 6.59 1000000 0 305.38/305.56 c 131 244 245.45 33.76 7.27 1000000 0 306.48/306.66 c 128 231 248.54 35.19 7.06 1000000 0 307.58/307.76 c 114 179 247.00 38.59 6.40 1000000 0 308.68/308.86 c 123 256 248.99 34.59 7.20 1000000 0 309.78/309.96 c 115 230 247.13 35.56 6.95 1000000 0 310.88/311.06 c 126 313 248.21 36.54 6.79 1000000 0 311.98/312.16 c 123 248 244.68 32.99 7.42 1000000 0 313.08/313.26 c 130 284 242.44 33.83 7.17 1000000 0 314.18/314.36 c 105 196 248.37 35.01 7.09 1000000 0 315.28/315.46 c 120 245 238.15 34.93 6.82 1000000 0 316.38/316.56 c 125 251 240.36 34.21 7.03 1000000 0 317.48/317.66 c 130 284 244.24 33.44 7.30 1000000 0 318.58/318.76 c 107 252 243.91 34.82 7.01 1000000 0 319.68/319.85 c 121 233 244.27 35.89 6.81 1000000 0 320.78/320.95 c 118 251 250.30 35.56 7.04 1000000 0 321.87/322.05 c 118 242 243.15 35.62 6.83 1000000 0 322.97/323.15 c 125 223 243.92 38.52 6.33 1000000 0 324.07/324.25 c 131 275 246.78 34.70 7.11 1000000 0 325.17/325.35 c 124 247 246.12 36.04 6.83 1000000 0 326.27/326.45 c 125 273 240.39 34.92 6.88 1000000 0 327.37/327.55 c 129 228 247.00 35.28 7.00 1000000 0 328.47/328.64 c 114 224 248.11 34.74 7.14 1000000 0 329.57/329.74 c 126 199 247.28 35.31 7.00 1000000 0 330.67/330.84 c 121 199 242.77 34.31 7.08 1000000 0 331.77/331.94 c 128 282 248.81 35.74 6.96 1000000 0 332.87/333.04 c 136 246 245.70 34.35 7.15 1000000 0 333.97/334.13 c 98 299 243.84 35.18 6.93 1000000 0 335.07/335.23 c 113 224 245.50 35.26 6.96 1000000 0 336.17/336.33 c 104 258 246.48 37.23 6.62 1000000 0 337.27/337.43 c 109 252 243.42 34.71 7.01 1000000 0 338.37/338.53 c 113 207 246.69 35.32 6.98 1000000 0 339.47/339.63 c 122 196 247.01 34.89 7.08 1000000 0 340.57/340.73 c 119 259 248.53 35.84 6.93 1000000 0 341.67/341.83 c 130 247 242.31 37.58 6.45 1000000 0 342.77/342.93 c 115 273 242.21 36.31 6.67 1000000 0 343.87/344.03 c 98 257 245.02 34.58 7.09 1000000 0 344.98/345.12 c 127 169 247.40 35.43 6.98 1000000 0 346.08/346.22 c 140 264 246.12 33.00 7.46 1000000 0 347.17/347.32 c 132 199 247.95 34.10 7.27 1000000 0 348.28/348.42 c 102 270 237.42 34.75 6.83 1000000 0 349.37/349.52 c 125 264 243.21 35.19 6.91 1000000 0 350.47/350.62 c 120 263 240.97 37.03 6.51 1000000 0 351.57/351.72 c 130 245 247.67 34.11 7.26 1000000 0 352.67/352.82 c 123 275 241.89 35.83 6.75 1000000 0 353.77/353.91 c 117 234 247.74 34.38 7.20 1000000 0 354.87/355.01 c 116 257 247.18 34.68 7.13 1000000 0 355.97/356.11 c 115 301 244.57 36.52 6.70 1000000 0 357.07/357.21 c 129 239 245.33 34.37 7.14 1000000 0 358.17/358.31 c 129 261 243.06 34.15 7.12 1000000 0 359.27/359.41 c 126 280 245.65 35.47 6.92 1000000 0 360.37/360.51 c 119 276 248.32 36.39 6.82 1000000 0 361.47/361.61 c 130 238 247.36 32.12 7.70 1000000 0 362.57/362.71 c 130 246 247.50 35.65 6.94 1000000 0 363.67/363.81 c 115 337 241.12 32.03 7.53 1000000 0 364.77/364.91 c 93 255 247.16 38.40 6.44 1000000 0 365.87/366.01 c 116 229 240.86 34.15 7.05 1000000 0 366.97/367.11 c 124 242 244.53 34.17 7.16 1000000 0 368.07/368.21 c 109 246 245.76 35.13 7.00 1000000 0 369.17/369.31 c 132 268 248.98 34.38 7.24 1000000 0 370.27/370.41 c 123 220 247.83 33.78 7.34 1000000 0 371.37/371.51 c 118 237 246.60 37.02 6.66 1000000 0 372.47/372.61 c 130 207 242.62 33.91 7.16 1000000 0 373.57/373.71 c 131 233 244.18 34.47 7.08 1000000 0 374.67/374.81 c 128 271 247.92 36.88 6.72 1000000 0 375.77/375.91 c 130 246 246.23 35.71 6.90 1000000 0 376.87/377.01 c 137 233 248.22 35.00 7.09 1000000 0 377.96/378.11 c 122 331 242.89 36.75 6.61 1000000 0 379.06/379.21 c 125 189 244.32 35.07 6.97 1000000 0 380.16/380.30 c 131 186 241.12 35.95 6.71 1000000 0 381.26/381.40 c 121 268 242.33 34.60 7.00 1000000 0 382.36/382.50 c 116 238 247.24 36.94 6.69 1000000 0 383.46/383.60 c 116 230 242.35 35.69 6.79 1000000 0 384.56/384.70 c 134 183 245.18 34.44 7.12 1000000 0 385.56/385.80 c 104 221 244.73 35.58 6.88 1000000 0 386.76/386.90 c 141 232 244.60 35.04 6.98 1000000 0 387.76/388.00 c 124 227 246.44 37.10 6.64 1000000 0 388.96/389.10 c 113 259 250.39 36.00 6.95 1000000 0 389.96/390.20 c 122 227 249.14 34.50 7.22 1000000 0 391.06/391.29 c 131 329 249.54 35.15 7.10 1000000 0 392.16/392.39 c 125 302 247.72 35.28 7.02 1000000 0 393.26/393.49 c 123 249 244.25 35.27 6.93 1000000 0 394.36/394.59 c 131 351 246.67 34.97 7.05 1000000 0 395.46/395.69 c 113 229 246.90 35.14 7.03 1000000 0 396.56/396.79 c 142 241 246.75 34.45 7.16 1000000 0 397.66/397.89 c 116 245 247.13 37.16 6.65 1000000 0 398.76/398.99 c 115 261 244.74 33.73 7.26 1000000 0 399.86/400.09 c 105 234 245.78 34.88 7.05 1000000 0 400.96/401.19 c 123 272 244.92 35.60 6.88 1000000 0 402.06/402.29 c 129 248 244.52 35.41 6.91 1000000 0 403.16/403.38 c 111 264 244.94 36.21 6.76 1000000 0 404.26/404.48 c 112 181 238.75 34.74 6.87 1000000 0 405.36/405.58 c 115 298 246.27 35.02 7.03 1000000 0 406.46/406.68 c 107 248 243.51 38.59 6.31 1000000 0 407.56/407.78 c 122 220 242.88 35.39 6.86 1000000 0 408.66/408.88 c 124 290 243.47 35.67 6.83 1000000 0 409.75/409.98 c 141 217 246.82 34.47 7.16 1000000 0 410.85/411.08 c 129 281 250.18 35.63 7.02 1000000 0 411.95/412.18 c 136 265 246.37 36.21 6.80 1000000 0 413.05/413.28 c 110 237 243.78 36.04 6.76 1000000 0 414.15/414.37 c 125 222 245.93 33.36 7.37 1000000 0 415.25/415.47 c 129 327 247.77 36.78 6.74 1000000 0 416.35/416.57 c 120 200 252.75 36.89 6.85 1000000 0 417.45/417.67 c 120 221 245.33 34.05 7.20 1000000 0 418.55/418.77 c 128 291 244.88 36.75 6.66 1000000 0 419.65/419.87 c 132 232 247.04 35.58 6.94 1000000 0 420.75/420.97 c 138 213 245.76 36.09 6.81 1000000 0 421.85/422.06 c 133 228 247.66 35.57 6.96 1000000 0 422.95/423.16 c 131 255 245.49 34.27 7.16 1000000 0 424.05/424.26 c 121 292 243.58 35.82 6.80 1000000 0 425.15/425.36 c 131 221 248.08 35.72 6.95 1000000 0 426.25/426.46 c 143 252 248.71 33.88 7.34 1000000 0 427.35/427.56 c 126 265 248.78 35.01 7.11 1000000 0 428.45/428.66 c 127 264 248.54 33.98 7.32 1000000 0 429.55/429.75 c 126 174 248.47 37.05 6.71 1000000 0 430.65/430.85 c 105 259 242.71 35.71 6.80 1000000 0 431.75/431.95 c 131 247 248.95 34.96 7.12 1000000 0 432.85/433.05 c 124 273 242.75 33.79 7.18 1000000 0 433.95/434.15 c 122 237 245.45 32.81 7.48 1000000 0 435.05/435.25 c 132 240 248.31 35.29 7.04 1000000 0 436.14/436.35 c 107 218 245.75 33.78 7.27 1000000 0 437.24/437.45 c 133 295 244.65 34.25 7.14 1000000 0 438.34/438.55 c 120 277 248.32 33.73 7.36 1000000 0 439.44/439.65 c 94 194 244.78 35.44 6.91 1000000 0 440.54/440.75 c 129 259 246.49 35.80 6.89 1000000 0 441.64/441.84 c 135 255 244.72 33.32 7.34 1000000 0 442.74/442.94 c 96 229 243.08 33.37 7.28 1000000 0 443.84/444.04 c 123 311 245.81 33.33 7.37 1000000 0 444.94/445.14 c 135 243 250.84 34.18 7.34 1000000 0 446.04/446.24 c 137 241 249.31 34.76 7.17 1000000 0 447.14/447.34 c 136 228 244.25 33.09 7.38 1000000 0 448.24/448.44 c 136 301 248.08 35.12 7.06 1000000 0 449.34/449.53 c 109 286 244.13 36.83 6.63 1000000 0 450.44/450.64 c 145 253 253.22 33.28 7.61 1000000 0 451.54/451.73 c 137 267 243.42 33.51 7.26 1000000 0 452.64/452.83 c 116 233 244.70 34.91 7.01 1000000 0 453.74/453.93 c 131 242 244.17 35.06 6.96 1000000 0 454.84/455.03 c 130 255 242.82 34.36 7.07 1000000 0 455.94/456.13 c 136 261 245.63 35.07 7.00 1000000 0 457.04/457.23 c 126 255 243.82 34.48 7.07 1000000 0 458.14/458.33 c 130 280 247.50 37.06 6.68 1000000 0 459.24/459.42 c 114 169 247.11 35.77 6.91 1000000 0 460.34/460.52 c 116 242 249.00 36.38 6.84 1000000 0 461.44/461.62 c 112 184 245.00 36.35 6.74 1000000 0 462.54/462.72 c 119 219 243.73 34.69 7.03 1000000 0 463.64/463.82 c 107 261 248.04 36.53 6.79 1000000 0 464.74/464.92 c 115 260 246.92 35.16 7.02 1000000 0 465.83/466.02 c 136 271 244.14 34.94 6.99 1000000 0 466.93/467.12 c 132 286 246.54 33.75 7.30 1000000 0 468.03/468.22 c 123 221 243.80 36.53 6.67 1000000 0 469.13/469.32 c 134 215 245.34 33.79 7.26 1000000 0 470.23/470.42 c 128 279 245.21 34.57 7.09 1000000 0 471.33/471.52 c 111 271 247.13 31.88 7.75 1000000 0 472.43/472.62 c 127 242 244.23 34.92 6.99 1000000 0 473.53/473.72 c 125 246 247.34 35.13 7.04 1000000 0 474.63/474.82 c 124 262 244.27 34.03 7.18 1000000 0 475.73/475.92 c 132 275 247.22 34.49 7.17 1000000 0 476.83/477.02 c 117 223 245.59 36.19 6.79 1000000 0 477.93/478.12 c 116 215 244.29 34.97 6.99 1000000 0 479.03/479.22 c 133 203 246.47 35.20 7.00 1000000 0 480.13/480.31 c 91 232 242.24 36.42 6.65 1000000 0 481.23/481.41 c 116 218 241.49 35.49 6.80 1000000 0 482.33/482.51 c 120 215 250.14 35.57 7.03 1000000 0 483.43/483.61 c 112 270 244.32 36.52 6.69 1000000 0 484.53/484.71 c 111 262 246.57 37.18 6.63 1000000 0 485.63/485.81 c 129 225 243.44 35.30 6.90 1000000 0 486.73/486.91 c 125 248 246.49 34.49 7.15 1000000 0 487.83/488.00 c 119 255 240.41 35.03 6.86 1000000 0 488.93/489.10 c 125 255 243.82 34.33 7.10 1000000 0 490.03/490.20 c 130 239 246.21 35.57 6.92 1000000 0 491.13/491.30 c 114 226 242.94 36.45 6.66 1000000 0 492.22/492.40 c 142 230 246.30 35.39 6.96 1000000 0 493.32/493.50 c 131 265 244.88 34.11 7.18 1000000 0 494.42/494.60 c 111 187 247.23 35.53 6.96 1000000 0 495.52/495.70 c 119 229 248.62 35.11 7.08 1000000 0 496.62/496.80 c 138 272 246.19 33.93 7.26 1000000 0 497.72/497.90 c 135 246 244.29 34.73 7.03 1000000 0 498.82/499.00 c 122 272 248.49 37.54 6.62 1000000 0 499.92/500.10 c 130 202 244.23 35.30 6.92 1000000 0 501.02/501.20 c 130 237 243.92 35.55 6.86 1000000 0 502.02/502.30 c 130 204 244.79 35.19 6.96 1000000 0 503.12/503.39 c 127 270 251.29 35.48 7.08 1000000 0 504.22/504.49 c 115 303 247.82 34.61 7.16 1000000 0 505.32/505.59 c 132 236 244.81 33.44 7.32 1000000 0 506.42/506.69 c 115 202 246.83 36.59 6.75 1000000 0 507.52/507.79 c 125 270 243.65 34.55 7.05 1000000 0 508.62/508.89 c 127 243 243.34 33.73 7.21 1000000 0 509.72/509.99 c 114 250 250.80 35.24 7.12 1000000 0 510.82/511.09 c 133 244 245.53 34.52 7.11 1000000 0 511.92/512.19 c 122 264 245.25 34.00 7.21 1000000 0 513.02/513.28 c 120 252 245.34 34.27 7.16 1000000 0 514.12/514.38 c 112 192 242.45 35.29 6.87 1000000 0 515.22/515.48 c 122 188 244.99 34.38 7.13 1000000 0 516.32/516.58 c 124 250 248.04 34.19 7.26 1000000 0 517.42/517.68 c 126 270 245.61 33.37 7.36 1000000 0 518.52/518.78 c 128 244 245.49 34.78 7.06 1000000 0 519.62/519.87 c 109 266 243.90 35.43 6.88 1000000 0 520.71/520.97 c 130 324 241.67 32.92 7.34 1000000 0 521.81/522.07 c 135 233 243.97 34.99 6.97 1000000 0 522.91/523.17 c 105 243 244.71 35.28 6.94 1000000 0 524.01/524.27 c 134 262 242.44 35.17 6.89 1000000 0 525.11/525.37 c 118 226 243.08 34.43 7.06 1000000 0 526.21/526.47 c 123 277 241.04 35.00 6.89 1000000 0 527.31/527.57 c 129 305 243.82 33.53 7.27 1000000 0 528.41/528.67 c 136 184 246.66 36.03 6.85 1000000 0 529.51/529.77 c 113 239 247.32 37.04 6.68 1000000 0 530.61/530.87 c 133 261 246.86 33.67 7.33 1000000 0 531.71/531.97 c 129 211 243.77 32.46 7.51 1000000 0 532.81/533.07 c 116 234 246.63 33.14 7.44 1000000 0 533.91/534.17 c 120 235 246.17 34.89 7.06 1000000 0 535.01/535.27 c 134 223 240.18 33.18 7.24 1000000 0 536.11/536.37 c 119 315 244.25 36.35 6.72 1000000 0 537.21/537.47 c 118 228 244.89 35.24 6.95 1000000 0 538.31/538.57 c 109 217 243.28 37.69 6.46 1000000 0 539.41/539.67 c 123 285 248.52 36.26 6.85 1000000 0 540.51/540.77 c 109 274 242.81 35.40 6.86 1000000 0 541.61/541.87 c 116 248 247.50 34.18 7.24 1000000 0 542.71/542.97 c 145 205 246.28 33.92 7.26 1000000 0 543.81/544.06 c 128 230 244.57 34.62 7.06 1000000 0 544.91/545.17 c 129 194 248.01 33.07 7.50 1000000 0 546.01/546.27 c 124 128 245.06 36.54 6.71 1000000 0 547.10/547.37 c 108 227 244.07 33.74 7.23 1000000 0 548.20/548.47 c 125 181 242.19 34.66 6.99 1000000 0 549.30/549.57 c 139 282 249.22 34.60 7.20 1000000 0 550.40/550.67 c 129 198 246.11 35.65 6.90 1000000 0 551.50/551.77 c 120 257 242.37 35.23 6.88 1000000 0 552.60/552.88 c 120 266 248.61 35.75 6.95 1000000 0 553.70/553.97 c 143 234 247.44 33.23 7.45 1000000 0 554.80/555.07 c 101 231 245.88 35.76 6.88 1000000 0 555.90/556.17 c 114 219 245.47 32.72 7.50 1000000 0 557.00/557.27 c 125 226 243.30 34.59 7.03 1000000 0 558.10/558.37 c 122 274 242.37 36.55 6.63 1000000 0 559.19/559.48 c 143 229 247.13 33.80 7.31 1000000 0 560.30/560.58 c 100 242 248.23 37.12 6.69 1000000 0 561.40/561.67 c 112 251 245.56 37.48 6.55 1000000 0 562.50/562.77 c 123 276 246.72 35.39 6.97 1000000 0 563.60/563.87 c 125 274 245.69 37.05 6.63 1000000 0 564.70/564.97 c 121 216 242.57 37.13 6.53 1000000 0 565.80/566.07 c 135 297 249.74 37.55 6.65 1000000 0 566.90/567.17 c 131 281 248.62 35.46 7.01 1000000 0 568.00/568.27 c 125 169 249.00 34.97 7.12 1000000 0 569.10/569.37 c 124 250 241.84 35.37 6.84 1000000 0 570.20/570.47 c 113 217 245.68 36.08 6.81 1000000 0 571.30/571.57 c 109 201 241.31 34.46 7.00 1000000 0 572.40/572.67 c 131 218 246.38 36.22 6.80 1000000 0 573.50/573.77 c 103 212 245.28 36.81 6.66 1000000 0 574.60/574.87 c 133 214 243.22 33.54 7.25 1000000 0 575.70/575.97 c 130 171 242.41 35.48 6.83 1000000 0 576.80/577.07 c 115 214 242.31 35.21 6.88 1000000 0 577.90/578.17 c 128 184 242.33 34.20 7.09 1000000 0 579.00/579.27 c 107 252 244.29 34.56 7.07 1000000 0 580.10/580.36 c 121 215 246.85 35.74 6.91 1000000 0 581.19/581.47 c 126 189 248.80 36.03 6.91 1000000 0 582.29/582.57 c 110 256 248.26 37.90 6.55 1000000 0 583.39/583.67 c 119 208 247.39 35.50 6.97 1000000 0 584.49/584.77 c 131 269 246.49 34.07 7.23 1000000 0 585.59/585.87 c 115 181 244.78 35.36 6.92 1000000 0 586.69/586.97 c 113 165 244.00 35.83 6.81 1000000 0 587.79/588.06 c 127 222 246.48 36.41 6.77 1000000 0 588.89/589.16 c 136 315 249.24 36.29 6.87 1000000 0 589.99/590.26 c 132 244 243.18 34.97 6.95 1000000 0 591.09/591.36 c 131 272 243.73 33.93 7.18 1000000 0 592.19/592.46 c 123 258 242.57 32.59 7.44 1000000 0 593.29/593.56 c 124 249 243.99 35.93 6.79 1000000 0 594.39/594.66 c 129 247 244.09 36.44 6.70 1000000 0 595.49/595.76 c 131 263 246.48 34.18 7.21 1000000 0 596.59/596.86 c 131 193 247.01 35.26 7.01 1000000 0 597.68/597.95 c 120 215 245.87 33.79 7.28 1000000 0 598.78/599.05 c 110 287 247.69 36.07 6.87 1000000 0 599.88/600.15 c 120 305 246.06 35.56 6.92 1000000 0 600.98/601.25 c 118 262 250.02 37.27 6.71 1000000 0 602.08/602.35 c 120 297 251.21 36.62 6.86 1000000 0 603.18/603.45 c 117 225 243.50 33.86 7.19 1000000 0 604.28/604.55 c 133 235 244.11 36.15 6.75 1000000 0 605.38/605.65 c 132 215 250.69 35.86 6.99 1000000 0 606.48/606.74 c 124 289 246.11 34.90 7.05 1000000 0 607.58/607.84 c 126 301 243.67 36.39 6.70 1000000 0 608.68/608.94 c 137 274 247.86 34.83 7.12 1000000 0 609.78/610.04 c 139 243 247.62 34.80 7.12 1000000 0 610.88/611.14 c 112 218 244.66 34.18 7.16 1000000 0 611.98/612.24 c 133 243 251.28 34.00 7.39 1000000 0 613.08/613.34 c 125 225 245.65 35.69 6.88 1000000 0 614.18/614.44 c 111 189 242.68 36.73 6.61 1000000 0 615.28/615.53 c 123 156 243.69 34.31 7.10 1000000 0 616.38/616.63 c 104 182 241.64 33.85 7.14 1000000 0 617.48/617.73 c 136 238 245.02 34.06 7.19 1000000 0 618.58/618.83 c 132 250 249.35 35.04 7.12 1000000 0 619.68/619.93 c 135 195 249.96 33.60 7.44 1000000 0 620.78/621.03 c 127 255 248.09 32.37 7.66 1000000 0 621.88/622.13 c 121 195 244.61 33.38 7.33 1000000 0 622.98/623.22 c 126 275 246.85 35.76 6.90 1000000 0 624.07/624.32 c 128 219 247.57 36.85 6.72 1000000 0 625.17/625.42 c 129 249 245.23 34.75 7.06 1000000 0 626.27/626.52 c 105 236 244.84 35.49 6.90 1000000 0 627.37/627.62 c 125 231 242.36 33.48 7.24 1000000 0 628.47/628.72 c 112 284 245.65 39.15 6.27 1000000 0 629.57/629.82 c 115 225 245.09 36.12 6.78 1000000 0 630.67/630.91 c 123 206 244.99 35.47 6.91 1000000 0 631.77/632.01 c 137 226 247.42 33.00 7.50 1000000 0 632.87/633.11 c 139 231 248.37 34.35 7.23 1000000 0 633.97/634.21 c 133 194 244.15 33.24 7.35 1000000 0 635.07/635.30 c 105 245 245.89 35.05 7.01 1000000 0 636.17/636.40 c 117 258 247.77 34.91 7.10 1000000 0 637.27/637.50 c 122 183 243.89 34.75 7.02 1000000 0 638.36/638.60 c 120 216 244.76 35.74 6.85 1000000 0 639.37/639.70 c 103 274 246.19 35.14 7.01 1000000 0 640.46/640.80 c 129 270 242.31 33.45 7.24 1000000 0 641.56/641.90 c 126 222 247.64 35.04 7.07 1000000 0 642.76/643.00 c 126 308 243.88 33.33 7.32 1000000 0 643.76/644.10 c 119 210 244.84 34.73 7.05 1000000 0 644.86/645.19 c 126 238 245.37 35.29 6.95 1000000 0 645.96/646.29 c 120 228 247.87 35.85 6.92 1000000 0 647.06/647.39 c 134 231 245.75 34.71 7.08 1000000 0 648.16/648.49 c 136 159 245.70 34.60 7.10 1000000 0 649.26/649.59 c 128 263 246.62 36.75 6.71 1000000 0 650.36/650.68 c 135 263 246.82 35.54 6.94 1000000 0 651.46/651.78 c 126 216 246.50 36.02 6.84 1000000 0 652.56/652.88 c 123 218 243.97 34.72 7.03 1000000 0 653.66/653.98 c 127 254 246.47 34.56 7.13 1000000 0 654.76/655.08 c 125 280 246.31 34.53 7.13 1000000 0 655.86/656.18 c 114 254 253.33 36.44 6.95 1000000 0 656.96/657.28 c 126 254 243.70 33.90 7.19 1000000 0 658.05/658.38 c 119 241 251.61 36.96 6.81 1000000 0 659.15/659.48 c 133 306 242.82 33.50 7.25 1000000 0 660.25/660.57 c 113 260 250.98 36.47 6.88 1000000 0 661.35/661.67 c 136 281 247.81 37.19 6.66 1000000 0 662.45/662.77 c 131 290 245.10 35.05 6.99 1000000 0 663.55/663.87 c 124 270 243.59 35.17 6.93 1000000 0 664.65/664.97 c 106 329 245.94 35.61 6.91 1000000 0 665.75/666.07 c 121 263 247.75 36.04 6.87 1000000 0 666.85/667.17 c 125 227 244.08 34.75 7.02 1000000 0 667.95/668.27 c 87 213 247.80 37.31 6.64 1000000 0 669.05/669.37 c 141 281 246.37 33.79 7.29 1000000 0 670.15/670.47 c 117 205 248.29 33.93 7.32 1000000 0 671.25/671.57 c 132 240 246.35 32.71 7.53 1000000 0 672.35/672.67 c 131 297 249.38 33.45 7.45 1000000 0 673.45/673.77 c 127 215 248.33 34.19 7.26 1000000 0 674.55/674.87 c 124 197 247.49 35.44 6.98 1000000 0 675.65/675.96 c 122 278 245.66 34.81 7.06 1000000 0 676.75/677.06 c 131 252 249.20 34.89 7.14 1000000 0 677.85/678.16 c 106 241 241.88 35.99 6.72 1000000 0 678.95/679.26 c 129 194 248.65 34.26 7.26 1000000 0 680.05/680.36 c 122 220 251.35 36.12 6.96 1000000 0 681.15/681.46 c 112 238 246.40 35.05 7.03 1000000 0 682.25/682.56 c 131 291 249.53 34.77 7.18 1000000 0 683.35/683.66 c 119 234 246.90 35.01 7.05 1000000 0 684.45/684.76 c 105 274 244.42 34.42 7.10 1000000 0 685.55/685.86 c 124 293 245.89 35.34 6.96 1000000 0 686.65/686.96 c 103 237 252.49 35.37 7.14 1000000 0 687.75/688.06 c 139 265 247.17 35.01 7.06 1000000 0 688.85/689.16 c 124 251 245.15 34.28 7.15 1000000 0 689.95/690.26 c 129 290 244.57 35.84 6.82 1000000 0 691.05/691.36 c 125 293 246.01 34.63 7.10 1000000 0 692.14/692.46 c 114 248 247.49 36.79 6.73 1000000 0 693.24/693.56 c 132 275 246.97 35.66 6.92 1000000 0 694.34/694.66 c 123 245 245.63 35.39 6.94 1000000 0 695.44/695.75 c 124 242 242.21 35.64 6.80 1000000 0 696.54/696.85 c 139 266 249.62 34.60 7.21 1000000 0 697.64/697.95 c 133 203 248.10 35.34 7.02 1000000 0 698.74/699.05 c 133 178 239.92 33.82 7.09 1000000 0 699.84/700.15 c 126 306 247.19 34.81 7.10 1000000 0 700.94/701.25 c 123 197 250.43 35.07 7.14 1000000 0 702.04/702.35 c 140 228 247.31 33.99 7.28 1000000 0 703.14/703.45 c 139 215 249.86 35.45 7.05 1000000 0 704.24/704.55 c 126 267 249.86 34.99 7.14 1000000 0 705.34/705.64 c 130 233 248.76 33.10 7.51 1000000 0 706.44/706.74 c 118 172 248.63 35.51 7.00 1000000 0 707.54/707.84 c 116 282 244.13 35.56 6.86 1000000 0 708.64/708.94 c 130 251 244.54 34.94 7.00 1000000 0 709.74/710.04 c 104 274 242.23 36.00 6.73 1000000 0 710.85/711.14 c 111 221 247.93 38.29 6.48 1000000 0 711.95/712.23 c 99 214 245.97 37.13 6.62 1000000 0 713.05/713.33 c 116 261 240.29 33.68 7.14 1000000 0 714.15/714.43 c 131 227 244.87 36.22 6.76 1000000 0 715.25/715.53 c 113 299 244.30 33.67 7.26 1000000 0 716.35/716.63 c 117 266 245.18 35.84 6.84 1000000 0 717.45/717.72 c 128 216 247.71 33.88 7.31 1000000 0 718.55/718.82 c 126 217 243.87 36.19 6.74 1000000 0 719.65/719.93 c 105 215 248.57 35.46 7.01 1000000 0 720.74/721.03 c 124 214 247.40 35.46 6.98 1000000 0 721.84/722.13 c 116 231 242.51 34.66 7.00 1000000 0 722.94/723.22 c 113 237 244.36 36.51 6.69 1000000 0 724.04/724.32 c 127 231 246.55 33.83 7.29 1000000 0 725.14/725.42 c 121 295 247.82 36.17 6.85 1000000 0 726.24/726.52 c 126 275 251.09 35.26 7.12 1000000 0 727.34/727.62 c 126 192 243.79 34.53 7.06 1000000 0 728.44/728.72 c 119 248 246.65 34.95 7.06 1000000 0 729.54/729.82 c 114 253 248.66 35.40 7.03 1000000 0 730.64/730.92 c 123 255 244.83 36.12 6.78 1000000 0 731.74/732.02 c 127 290 248.72 36.88 6.74 1000000 0 732.84/733.12 c 130 322 245.39 34.74 7.06 1000000 0 733.94/734.22 c 123 251 244.76 36.88 6.64 1000000 0 735.04/735.31 c 130 245 248.90 36.14 6.89 1000000 0 736.14/736.42 c 128 318 248.72 35.37 7.03 1000000 0 737.24/737.52 c 113 188 246.26 37.81 6.51 1000000 0 738.34/738.61 c 121 227 246.65 35.05 7.04 1000000 0 739.44/739.71 c 132 291 244.86 34.24 7.15 1000000 0 740.54/740.81 c 134 239 244.00 36.94 6.60 1000000 0 741.64/741.91 c 130 264 244.97 34.70 7.06 1000000 0 742.74/743.01 c 132 197 242.01 34.01 7.12 1000000 0 743.84/744.11 c 127 253 245.16 34.59 7.09 1000000 0 744.94/745.20 c 125 198 246.42 36.63 6.73 1000000 0 746.03/746.30 c 101 244 244.54 34.39 7.11 1000000 0 747.13/747.40 c 116 245 243.77 35.09 6.95 1000000 0 748.23/748.50 c 122 252 246.32 38.99 6.32 1000000 0 749.33/749.60 c 122 248 248.15 35.43 7.00 1000000 0 750.43/750.70 c 117 164 242.54 35.50 6.83 1000000 0 751.53/751.80 c 146 268 249.25 33.32 7.48 1000000 0 752.53/752.89 c 123 215 245.35 34.64 7.08 1000000 0 753.63/753.99 c 126 203 245.58 35.57 6.90 1000000 0 754.73/755.09 c 120 177 248.30 35.95 6.91 1000000 0 755.83/756.19 c 127 291 242.53 34.95 6.94 1000000 0 756.93/757.29 c 126 253 249.14 34.74 7.17 1000000 0 758.03/758.39 c 116 211 248.18 37.17 6.68 1000000 0 759.13/759.49 c 138 254 243.02 33.67 7.22 1000000 0 760.23/760.59 c 115 306 246.69 33.97 7.26 1000000 0 761.33/761.69 c 119 290 246.12 37.45 6.57 1000000 0 762.43/762.79 c 130 268 244.32 36.42 6.71 1000000 0 763.53/763.89 c 133 212 247.29 36.80 6.72 1000000 0 764.63/764.99 c 123 220 246.96 35.34 6.99 1000000 0 765.73/766.09 c 126 220 247.14 36.36 6.80 1000000 0 766.83/767.19 c 137 282 244.48 33.42 7.31 1000000 0 767.93/768.29 c 130 252 246.88 35.24 7.01 1000000 0 769.03/769.39 c 119 207 239.64 37.43 6.40 1000000 0 770.13/770.49 c 130 194 241.29 35.87 6.73 1000000 0 771.23/771.58 c 120 266 242.26 33.98 7.13 1000000 0 772.33/772.68 c 123 234 243.93 35.80 6.81 1000000 0 773.43/773.78 c 111 256 249.16 35.37 7.04 1000000 0 774.53/774.88 c 132 239 243.80 36.92 6.60 1000000 0 775.63/775.98 c 132 224 242.37 34.07 7.11 1000000 0 776.72/777.08 c 130 225 248.89 36.06 6.90 1000000 0 777.82/778.18 c 124 262 245.21 36.01 6.81 1000000 0 778.92/779.27 c 119 230 241.92 34.83 6.95 1000000 0 780.02/780.37 c 122 251 247.04 34.26 7.21 1000000 0 781.12/781.47 c 129 232 246.58 34.95 7.06 1000000 0 782.22/782.57 c 128 282 245.69 34.69 7.08 1000000 0 783.32/783.67 c 97 210 243.35 35.47 6.86 1000000 0 784.42/784.77 c 140 283 246.95 35.10 7.04 1000000 0 785.52/785.87 c 115 222 243.99 35.32 6.91 1000000 0 786.62/786.97 c 128 179 245.22 33.85 7.24 1000000 0 787.72/788.07 c 128 263 248.96 35.35 7.04 1000000 0 788.82/789.17 c 127 301 245.57 36.93 6.65 1000000 0 789.92/790.26 c 125 168 238.64 33.46 7.13 1000000 0 791.02/791.36 c 120 216 246.23 33.02 7.46 1000000 0 792.12/792.46 c 121 236 248.53 37.77 6.58 1000000 0 793.22/793.56 c 126 201 242.74 34.71 6.99 1000000 0 794.32/794.66 c 137 283 246.01 35.71 6.89 1000000 0 795.42/795.76 c 130 277 242.57 33.11 7.33 1000000 0 796.51/796.86 c 128 289 250.69 37.53 6.68 1000000 0 797.61/797.96 c 124 292 243.39 34.10 7.14 1000000 0 798.71/799.06 c 135 254 244.42 35.52 6.88 1000000 0 799.81/800.16 c 136 293 243.05 33.37 7.28 1000000 0 800.91/801.26 c 129 218 247.30 35.78 6.91 1000000 0 802.02/802.36 c 117 241 249.15 37.12 6.71 1000000 0 803.11/803.45 c 126 271 250.28 35.70 7.01 1000000 0 804.21/804.55 c 95 222 249.96 35.57 7.03 1000000 0 805.31/805.65 c 117 253 245.59 36.07 6.81 1000000 0 806.41/806.75 c 129 261 246.87 34.14 7.23 1000000 0 807.51/807.85 c 123 201 244.29 35.21 6.94 1000000 0 808.61/808.95 c 128 263 247.54 36.96 6.70 1000000 0 809.71/810.05 c 107 254 245.14 35.52 6.90 1000000 0 810.81/811.15 c 126 267 243.34 34.32 7.09 1000000 0 811.91/812.25 c 122 265 241.56 35.51 6.80 1000000 0 813.01/813.35 c 120 232 241.88 36.15 6.69 1000000 0 814.11/814.44 c 98 249 243.45 37.34 6.52 1000000 0 815.21/815.54 c 117 235 249.63 35.25 7.08 1000000 0 816.31/816.64 c 120 280 244.08 37.08 6.58 1000000 0 817.41/817.74 c 136 234 249.45 33.83 7.37 1000000 0 818.51/818.84 c 123 195 249.70 34.07 7.33 1000000 0 819.61/819.94 c 131 278 246.88 35.14 7.03 1000000 0 820.71/821.04 c 125 286 242.39 35.11 6.90 1000000 0 821.81/822.14 c 127 242 252.24 36.34 6.94 1000000 0 822.91/823.24 c 141 243 249.68 34.73 7.19 1000000 0 824.01/824.34 c 120 267 246.65 34.76 7.10 1000000 0 825.11/825.44 c 125 230 248.05 35.35 7.02 1000000 0 826.21/826.54 c 133 268 249.36 37.40 6.67 1000000 0 827.31/827.64 c 138 246 246.16 35.47 6.94 1000000 0 828.41/828.74 c 116 225 242.65 37.10 6.54 1000000 0 829.50/829.84 c 110 214 246.28 34.78 7.08 1000000 0 830.60/830.93 c 108 245 242.87 35.84 6.78 1000000 0 831.70/832.03 c 124 220 242.14 34.16 7.09 1000000 0 832.80/833.13 c 118 249 245.04 36.42 6.73 1000000 0 833.90/834.23 c 118 189 243.34 37.12 6.56 1000000 0 835.00/835.33 c 108 218 247.44 34.95 7.08 1000000 0 836.10/836.43 c 134 200 244.66 33.83 7.23 1000000 0 837.20/837.53 c 117 264 243.48 34.30 7.10 1000000 0 838.30/838.63 c 116 275 252.25 37.09 6.80 1000000 0 839.40/839.72 c 115 244 246.47 34.31 7.18 1000000 0 840.50/840.82 c 118 220 248.59 35.38 7.03 1000000 0 841.60/841.92 c 124 236 246.61 33.84 7.29 1000000 0 842.70/843.02 c 126 257 248.75 33.82 7.35 1000000 0 843.80/844.12 c 129 230 243.62 33.84 7.20 1000000 0 844.90/845.22 c 129 214 248.75 33.65 7.39 1000000 0 846.00/846.32 c 133 290 246.24 36.67 6.71 1000000 0 847.10/847.42 c 130 289 242.94 34.23 7.10 1000000 0 848.20/848.52 c 114 197 241.43 35.46 6.81 1000000 0 849.29/849.62 c 134 291 245.66 36.46 6.74 1000000 0 850.39/850.71 c 128 212 247.55 36.01 6.87 1000000 0 851.49/851.81 c 119 277 243.50 35.33 6.89 1000000 0 852.59/852.91 c 104 268 246.11 35.20 6.99 1000000 0 853.69/854.01 c 129 277 241.78 34.69 6.97 1000000 0 854.79/855.11 c 122 215 245.85 33.59 7.32 1000000 0 855.89/856.21 c 133 214 246.19 34.85 7.07 1000000 0 856.99/857.31 c 129 233 242.04 36.25 6.68 1000000 0 858.09/858.40 c 124 249 248.06 34.82 7.12 1000000 0 859.19/859.50 c 110 229 245.53 34.96 7.02 1000000 0 860.29/860.60 c 128 271 248.79 32.73 7.60 1000000 0 861.29/861.70 c 123 191 239.88 35.07 6.84 1000000 0 862.49/862.80 c 121 273 244.95 35.33 6.93 1000000 0 863.59/863.90 c 126 280 243.53 35.60 6.84 1000000 0 864.69/865.00 c 114 263 244.76 35.42 6.91 1000000 0 865.79/866.10 c 123 180 243.69 35.57 6.85 1000000 0 866.89/867.20 c 118 212 246.80 34.74 7.10 1000000 0 867.99/868.30 c 115 262 245.74 34.41 7.14 1000000 0 869.09/869.40 c 120 208 247.00 35.34 6.99 1000000 0 870.19/870.50 c 133 176 246.96 36.28 6.81 1000000 0 871.29/871.60 c 126 228 240.28 34.53 6.96 1000000 0 872.39/872.70 c 114 243 249.92 34.28 7.29 1000000 0 873.39/873.80 c 143 274 247.85 34.30 7.23 1000000 0 874.49/874.89 c 108 252 245.94 36.31 6.77 1000000 0 875.59/875.99 c 104 222 241.60 35.07 6.89 1000000 0 876.68/877.09 c 132 255 243.58 34.52 7.06 1000000 0 877.78/878.19 c 115 239 241.36 35.02 6.89 1000000 0 878.89/879.29 c 129 261 250.05 34.86 7.17 1000000 0 879.98/880.39 c 117 255 248.02 36.45 6.80 1000000 0 881.08/881.49 c 129 250 240.37 37.24 6.45 1000000 0 882.18/882.59 c 121 225 246.15 36.83 6.68 1000000 0 883.28/883.69 c 130 224 247.94 36.13 6.86 1000000 0 884.38/884.79 c 135 245 244.49 34.31 7.13 1000000 0 885.48/885.89 c 128 319 246.15 34.01 7.24 1000000 0 886.59/886.99 c 144 292 248.14 33.84 7.33 1000000 0 887.69/888.09 c 119 281 243.21 34.32 7.09 1000000 0 888.79/889.18 c 113 269 244.30 35.31 6.92 1000000 0 889.89/890.28 c 123 226 242.75 37.07 6.55 1000000 0 890.99/891.38 c 130 200 248.60 32.85 7.57 1000000 0 892.09/892.48 c 120 193 244.02 34.55 7.06 1000000 0 893.19/893.58 c 93 267 244.27 36.61 6.67 1000000 0 894.29/894.67 c 114 229 245.58 34.25 7.17 1000000 0 895.39/895.77 c 116 238 249.19 33.59 7.42 1000000 0 896.49/896.87 c 118 262 243.06 35.08 6.93 1000000 0 897.59/897.97 c 123 269 246.24 36.59 6.73 1000000 0 898.69/899.07 c 127 285 247.69 35.15 7.05 1000000 0 899.79/900.17 c 126 222 246.61 34.56 7.14 1000000 0 900.89/901.27 c 118 270 244.55 35.68 6.85 1000000 0 901.99/902.37 c 137 214 252.93 36.90 6.85 1000000 0 903.09/903.47 c 122 289 244.80 33.73 7.26 1000000 0 904.19/904.57 c 135 236 243.29 33.22 7.32 1000000 0 905.29/905.66 c 119 233 247.01 36.95 6.68 1000000 0 906.38/906.77 c 141 266 248.86 33.06 7.53 1000000 0 907.48/907.87 c 95 232 240.44 34.79 6.91 1000000 0 908.58/908.97 c 134 270 249.45 33.73 7.40 1000000 0 909.68/910.07 c 129 238 248.39 33.36 7.44 1000000 0 910.78/911.17 c 118 219 244.98 34.71 7.06 1000000 0 911.88/912.27 c 137 262 248.77 35.26 7.06 1000000 0 912.98/913.37 c 119 289 246.05 35.46 6.94 1000000 0 914.08/914.47 c 114 231 245.79 35.27 6.97 1000000 0 915.18/915.56 c 124 267 246.27 34.61 7.12 1000000 0 916.28/916.66 c 106 261 246.25 34.78 7.08 1000000 0 917.38/917.76 c 118 278 244.78 34.67 7.06 1000000 0 918.48/918.86 c 110 217 247.95 34.71 7.14 1000000 0 919.58/919.96 c 131 230 243.32 34.02 7.15 1000000 0 920.68/921.06 c 127 238 247.13 33.49 7.38 1000000 0 921.78/922.16 c 96 283 245.99 34.63 7.10 1000000 0 922.88/923.26 c 132 249 246.31 34.64 7.11 1000000 0 923.98/924.36 c 128 201 244.33 34.36 7.11 1000000 0 925.08/925.45 c 123 241 243.28 35.60 6.83 1000000 0 926.18/926.55 c 128 211 243.50 33.37 7.30 1000000 0 927.28/927.65 c 130 192 244.11 33.61 7.26 1000000 0 928.38/928.75 c 126 237 245.90 35.06 7.01 1000000 0 929.48/929.85 c 127 237 244.60 34.89 7.01 1000000 0 930.58/930.95 c 119 241 244.60 34.27 7.14 1000000 0 931.67/932.05 c 126 196 243.61 33.75 7.22 1000000 0 932.77/933.14 c 127 296 245.06 34.35 7.14 1000000 0 933.87/934.24 c 107 223 244.16 34.85 7.01 1000000 0 934.97/935.34 c 120 253 246.64 33.80 7.30 1000000 0 936.07/936.44 c 128 280 246.90 33.91 7.28 1000000 0 937.17/937.54 c 131 284 243.08 32.31 7.52 1000000 0 938.27/938.64 c 128 274 244.80 34.29 7.14 1000000 0 939.37/939.74 c 97 146 245.81 35.66 6.89 1000000 0 940.47/940.84 c 108 253 244.84 34.44 7.11 1000000 0 941.57/941.94 c 136 200 247.95 35.38 7.01 1000000 0 942.67/943.04 c 109 226 245.14 35.87 6.83 1000000 0 943.77/944.14 c 125 267 241.17 36.74 6.56 1000000 0 944.87/945.23 c 128 222 248.09 34.37 7.22 1000000 0 945.97/946.33 c 117 178 249.38 36.60 6.81 1000000 0 947.07/947.43 c 109 269 244.39 35.74 6.84 1000000 0 948.17/948.53 c 110 277 242.49 31.53 7.69 1000000 0 949.27/949.63 c 126 294 243.63 34.90 6.98 1000000 0 950.37/950.73 c 139 280 246.21 34.35 7.17 1000000 0 951.47/951.82 c 105 251 241.69 33.50 7.22 1000000 0 952.57/952.92 c 110 227 245.72 36.17 6.79 1000000 0 953.67/954.02 c 138 252 249.63 35.81 6.97 1000000 0 954.77/955.12 c 127 224 247.31 35.37 6.99 1000000 0 955.87/956.22 c 143 233 247.46 34.33 7.21 1000000 0 956.97/957.32 c 101 226 242.34 36.69 6.60 1000000 0 958.07/958.42 c 124 279 244.42 34.17 7.15 1000000 0 959.17/959.52 c 121 315 246.68 34.27 7.20 1000000 0 960.27/960.62 c 127 217 243.66 34.95 6.97 1000000 0 961.36/961.72 c 105 258 244.19 34.32 7.12 1000000 0 962.46/962.82 c 128 285 249.74 35.79 6.98 1000000 0 963.56/963.92 c 134 206 247.18 35.23 7.02 1000000 0 964.67/965.01 c 129 261 247.44 36.16 6.84 1000000 0 965.76/966.11 c 122 255 243.96 35.92 6.79 1000000 0 966.86/967.21 c 122 163 246.39 34.40 7.16 1000000 0 967.96/968.31 c 121 214 248.84 36.48 6.82 1000000 0 969.06/969.41 c 120 243 246.52 34.65 7.11 1000000 0 970.16/970.52 c 134 341 247.96 34.32 7.22 1000000 0 971.26/971.61 c 136 218 243.72 36.07 6.76 1000000 0 972.36/972.71 c 139 264 247.52 34.78 7.12 1000000 0 973.46/973.81 c 125 241 246.76 35.79 6.89 1000000 0 974.56/974.91 c 133 235 244.75 34.66 7.06 1000000 0 975.66/976.01 c 119 226 244.09 35.38 6.90 1000000 0 976.76/977.11 c 113 235 246.31 34.65 7.11 1000000 0 977.86/978.21 c 130 242 248.79 36.27 6.86 1000000 0 978.96/979.31 c 112 265 241.66 33.66 7.18 1000000 0 980.06/980.41 c 127 273 246.88 36.52 6.76 1000000 0 981.16/981.51 c 126 230 252.45 35.66 7.08 1000000 0 982.26/982.61 c 138 265 247.41 35.63 6.94 1000000 0 983.36/983.71 c 121 278 244.81 35.20 6.95 1000000 0 984.46/984.80 c 118 207 242.93 36.29 6.69 1000000 0 985.56/985.90 c 115 275 247.00 35.98 6.87 1000000 0 986.66/987.00 c 127 267 241.18 33.01 7.31 1000000 0 987.76/988.10 c 118 232 246.88 37.61 6.56 1000000 0 988.86/989.20 c 134 309 250.35 36.10 6.93 1000000 0 989.96/990.30 c 131 202 246.76 34.99 7.05 1000000 0 991.05/991.40 c 111 304 246.13 34.56 7.12 1000000 0 992.15/992.50 c 128 232 243.54 34.15 7.13 1000000 0 993.25/993.60 c 118 304 239.78 35.30 6.79 1000000 0 994.35/994.70 c 123 245 244.72 35.30 6.93 1000000 0 995.45/995.80 c 127 291 248.30 35.13 7.07 1000000 0 996.55/996.90 c 101 255 247.91 35.15 7.05 1000000 0 997.65/998.00 c 127 285 242.55 35.08 6.91 1000000 0 998.75/999.10 c 122 229 249.36 33.75 7.39 1000000 0 999.85/1000.20 c 128 247 248.90 35.48 7.02 1000000 0 1000.85/1001.30 c 137 253 249.99 34.88 7.17 1000000 0 1002.05/1002.40 c 117 216 245.88 34.93 7.04 1000000 0 1003.15/1003.50 c 121 204 248.56 32.21 7.72 1000000 0 1004.15/1004.60 c 110 219 247.76 36.83 6.73 1000000 0 1005.25/1005.69 c 108 255 245.43 37.06 6.62 1000000 0 1006.35/1006.80 c 133 209 247.57 34.77 7.12 1000000 0 1007.45/1007.89 c 130 246 245.86 36.41 6.75 1000000 0 1008.55/1008.99 c 127 288 246.74 32.62 7.56 1000000 0 1009.65/1010.09 c 119 183 246.63 33.82 7.29 1000000 0 1010.75/1011.19 c 116 257 246.76 34.45 7.16 1000000 0 1011.85/1012.29 c 121 278 244.80 36.16 6.77 1000000 0 1012.95/1013.39 c 129 295 247.98 34.58 7.17 1000000 0 1014.05/1014.49 c 125 232 246.66 34.95 7.06 1000000 0 1015.15/1015.59 c 130 234 249.33 37.20 6.70 1000000 0 1016.25/1016.69 c 121 260 245.42 36.10 6.80 1000000 0 1017.34/1017.78 c 126 170 243.92 35.14 6.94 1000000 0 1018.44/1018.88 c 136 231 246.16 33.48 7.35 1000000 0 1019.54/1019.98 c 116 267 246.02 35.39 6.95 1000000 0 1020.64/1021.08 c 101 266 247.90 36.09 6.87 1000000 0 1021.74/1022.18 c 115 214 248.51 37.48 6.63 1000000 0 1022.84/1023.28 c 130 304 249.17 36.27 6.87 1000000 0 1023.94/1024.38 c 127 268 244.25 33.73 7.24 1000000 0 1025.04/1025.47 c 126 362 247.54 35.27 7.02 1000000 0 1026.14/1026.57 c 120 275 246.20 35.14 7.01 1000000 0 1027.24/1027.67 c 129 258 240.19 34.54 6.95 1000000 0 1028.34/1028.77 c 124 262 253.60 36.61 6.93 1000000 0 1029.44/1029.87 c 135 241 248.30 32.99 7.53 1000000 0 1030.54/1030.97 c 123 233 248.63 35.31 7.04 1000000 0 1031.64/1032.07 c 134 245 247.39 35.55 6.96 1000000 0 1032.74/1033.17 c 115 248 243.85 33.02 7.38 1000000 0 1033.83/1034.27 c 120 194 247.98 39.40 6.29 1000000 0 1034.93/1035.36 c 126 233 245.60 35.12 6.99 1000000 0 1036.03/1036.46 c 111 260 247.89 35.99 6.89 1000000 0 1037.13/1037.56 c 129 205 245.08 34.29 7.15 1000000 0 1038.23/1038.66 c 126 294 241.15 33.70 7.16 1000000 0 1039.33/1039.76 c 112 189 246.07 37.16 6.62 1000000 0 1040.43/1040.86 c 133 257 251.17 35.38 7.10 1000000 0 1041.53/1041.96 c 96 232 244.59 36.78 6.65 1000000 0 1042.63/1043.06 c 128 267 245.72 36.54 6.72 1000000 0 1043.73/1044.16 c 121 264 247.32 36.43 6.79 1000000 0 1044.83/1045.26 c 114 230 246.04 32.63 7.54 1000000 0 1045.93/1046.35 c 125 336 249.60 36.91 6.76 1000000 0 1047.03/1047.45 c 126 186 244.41 36.66 6.67 1000000 0 1048.13/1048.55 c 127 203 247.17 35.57 6.95 1000000 0 1049.23/1049.65 c 133 216 245.62 33.81 7.26 1000000 0 1050.33/1050.75 c 127 173 250.23 35.16 7.12 1000000 0 1051.43/1051.85 c 116 256 247.95 35.65 6.96 1000000 0 1052.53/1052.94 c 136 223 246.06 36.27 6.78 1000000 0 1053.63/1054.05 c 116 159 243.92 34.70 7.03 1000000 0 1054.73/1055.15 c 130 255 245.40 34.71 7.07 1000000 0 1055.83/1056.25 c 128 251 247.26 36.03 6.86 1000000 0 1056.93/1057.35 c 129 252 243.11 36.66 6.63 1000000 0 1058.03/1058.45 c 125 237 244.83 35.67 6.86 1000000 0 1059.13/1059.54 c 132 259 249.80 35.07 7.12 1000000 0 1060.22/1060.64 c 112 231 245.59 34.96 7.02 1000000 0 1061.32/1061.75 c 130 209 242.43 35.38 6.85 1000000 0 1062.42/1062.84 c 132 220 251.77 36.76 6.85 1000000 0 1063.52/1063.94 c 137 214 250.49 34.86 7.18 1000000 0 1064.62/1065.04 c 131 253 244.25 33.45 7.30 1000000 0 1065.72/1066.14 c 123 242 246.25 35.40 6.96 1000000 0 1066.82/1067.24 c 131 268 244.35 33.94 7.20 1000000 0 1067.92/1068.34 c 108 250 245.07 35.24 6.95 1000000 0 1069.02/1069.44 c 110 234 246.79 35.93 6.87 1000000 0 1070.12/1070.54 c 114 217 242.95 36.72 6.62 1000000 0 1071.22/1071.64 c 126 267 247.31 34.71 7.13 1000000 0 1072.32/1072.74 c 132 265 243.33 34.26 7.10 1000000 0 1073.42/1073.84 c 128 269 245.89 33.36 7.37 1000000 0 1074.52/1074.94 c 135 233 249.51 35.07 7.11 1000000 0 1075.62/1076.03 c 122 267 243.58 35.55 6.85 1000000 0 1076.72/1077.13 c 129 275 246.05 32.66 7.53 1000000 0 1077.82/1078.23 c 108 212 251.11 35.58 7.06 1000000 0 1078.92/1079.33 c 132 257 243.67 32.63 7.47 1000000 0 1080.02/1080.43 c 123 244 250.31 36.39 6.88 1000000 0 1081.12/1081.53 c 128 327 243.67 35.12 6.94 1000000 0 1082.22/1082.63 c 123 263 240.21 35.92 6.69 1000000 0 1083.32/1083.73 c 122 229 246.47 33.99 7.25 1000000 0 1084.42/1084.83 c 112 198 244.50 36.18 6.76 1000000 0 1085.52/1085.92 c 127 262 243.78 35.30 6.91 1000000 0 1086.62/1087.02 c 127 230 246.92 34.37 7.18 1000000 0 1087.71/1088.12 c 113 265 244.96 35.59 6.88 1000000 0 1088.81/1089.22 c 114 255 246.97 36.30 6.80 1000000 0 1089.91/1090.32 c 132 288 246.99 33.59 7.35 1000000 0 1091.02/1091.42 c 137 224 246.37 33.61 7.33 1000000 0 1092.12/1092.52 c 131 233 250.90 34.49 7.27 1000000 0 1093.22/1093.62 c 120 341 247.44 35.92 6.89 1000000 0 1094.32/1094.72 c 126 212 246.93 34.27 7.21 1000000 0 1095.42/1095.82 c 126 284 246.86 37.50 6.58 1000000 0 1096.52/1096.92 c 128 229 249.94 34.71 7.20 1000000 0 1097.62/1098.02 c 136 286 248.56 34.34 7.24 1000000 0 1098.72/1099.12 c 129 227 244.41 35.18 6.95 1000000 0 1099.82/1100.22 c 125 195 243.78 33.87 7.20 1000000 0 1100.92/1101.31 c 121 220 243.18 34.66 7.02 1000000 0 1102.02/1102.41 c 127 213 247.66 35.14 7.05 1000000 0 1103.12/1103.51 c 116 277 244.26 35.12 6.95 1000000 0 1104.22/1104.61 c 127 219 244.40 33.49 7.30 1000000 0 1105.32/1105.71 c 119 227 243.12 36.31 6.70 1000000 0 1106.42/1106.81 c 129 315 247.53 35.26 7.02 1000000 0 1107.52/1107.91 c 114 225 251.53 36.85 6.83 1000000 0 1108.62/1109.01 c 104 167 243.95 33.77 7.22 1000000 0 1109.72/1110.11 c 114 168 244.32 36.62 6.67 1000000 0 1110.82/1111.21 c 129 211 244.16 33.87 7.21 1000000 0 1111.92/1112.31 c 122 201 247.91 34.99 7.09 1000000 0 1113.01/1113.41 c 124 264 250.96 36.02 6.97 1000000 0 1114.11/1114.51 c 115 265 239.85 34.68 6.92 1000000 0 1115.21/1115.61 c 128 209 249.75 36.37 6.87 1000000 0 1116.31/1116.71 c 116 297 244.90 35.93 6.82 1000000 0 1117.41/1117.81 c 127 248 245.31 34.66 7.08 1000000 0 1118.51/1118.91 c 120 289 248.55 34.46 7.21 1000000 0 1119.61/1120.01 c 121 296 245.51 34.86 7.04 1000000 0 1120.71/1121.11 c 102 237 247.61 35.17 7.04 1000000 0 1121.81/1122.21 c 122 257 245.46 35.00 7.01 1000000 0 1122.91/1123.30 c 117 273 243.29 34.37 7.08 1000000 0 1124.01/1124.40 c 130 246 248.12 34.06 7.29 1000000 0 1125.11/1125.50 c 124 228 248.42 36.49 6.81 1000000 0 1126.21/1126.60 c 132 190 251.21 34.54 7.27 1000000 0 1127.31/1127.70 c 111 196 243.91 35.05 6.96 1000000 0 1128.41/1128.80 c 127 240 246.32 32.93 7.48 1000000 0 1129.51/1129.90 c 115 234 243.73 35.40 6.89 1000000 0 1130.61/1131.00 c 135 225 247.31 34.46 7.18 1000000 0 1131.71/1132.10 c 123 268 248.14 33.73 7.36 1000000 0 1132.81/1133.20 c 119 180 247.49 34.29 7.22 1000000 0 1133.91/1134.30 c 116 270 243.32 35.98 6.76 1000000 0 1135.01/1135.40 c 134 273 245.37 35.60 6.89 1000000 0 1136.01/1136.50 c 103 246 240.63 36.74 6.55 1000000 0 1137.21/1137.60 c 139 271 244.69 35.61 6.87 1000000 0 1138.31/1138.70 c 113 211 247.60 35.86 6.90 1000000 0 1139.31/1139.79 c 129 309 243.76 35.33 6.90 1000000 0 1140.41/1140.89 c 109 233 240.97 34.29 7.03 1000000 0 1141.51/1141.99 c 107 232 243.59 36.87 6.61 1000000 0 1142.61/1143.09 c 122 248 245.18 35.63 6.88 1000000 0 1143.71/1144.19 c 134 241 245.69 34.35 7.15 1000000 0 1144.80/1145.29 c 120 218 244.60 35.92 6.81 1000000 0 1145.90/1146.39 c 131 252 246.30 33.93 7.26 1000000 0 1147.00/1147.49 c 113 232 247.55 34.96 7.08 1000000 0 1148.10/1148.59 c 118 216 245.53 34.84 7.05 1000000 0 1149.20/1149.69 c 132 213 251.59 36.86 6.83 1000000 0 1150.30/1150.79 c 123 284 246.91 34.07 7.25 1000000 0 1151.40/1151.89 c 125 245 251.84 35.91 7.01 1000000 0 1152.50/1152.99 c 132 245 246.09 35.52 6.93 1000000 0 1153.60/1154.09 c 128 279 246.12 33.39 7.37 1000000 0 1154.70/1155.18 c 124 188 244.09 34.22 7.13 1000000 0 1155.80/1156.28 c 114 291 249.18 37.49 6.65 1000000 0 1156.90/1157.38 c 118 240 244.42 34.62 7.06 1000000 0 1158.00/1158.48 c 127 192 246.41 36.49 6.75 1000000 0 1159.10/1159.58 c 120 279 243.80 35.73 6.82 1000000 0 1160.20/1160.68 c 129 355 242.90 36.74 6.61 1000000 0 1161.30/1161.78 c 121 235 245.85 36.59 6.72 1000000 0 1162.40/1162.88 c 119 219 248.48 34.05 7.30 1000000 0 1163.50/1163.98 c 105 222 244.23 35.31 6.92 1000000 0 1164.59/1165.08 c 129 210 241.80 33.89 7.13 1000000 0 1165.69/1166.18 c 110 219 245.23 35.61 6.89 1000000 0 1166.79/1167.28 c 127 250 247.47 35.81 6.91 1000000 0 1167.89/1168.38 c 138 269 244.72 32.85 7.45 1000000 0 1169.00/1169.48 c 111 241 245.01 35.05 6.99 1000000 0 1170.10/1170.58 c 129 226 246.68 36.60 6.74 1000000 0 1171.19/1171.68 c 127 252 245.94 35.54 6.92 1000000 0 1172.29/1172.78 c 120 252 248.02 34.65 7.16 1000000 0 1173.39/1173.88 c 137 202 247.83 35.53 6.98 1000000 0 1174.49/1174.98 c 126 266 244.43 35.54 6.88 1000000 0 1175.59/1176.07 c 126 267 246.06 34.14 7.21 1000000 0 1176.69/1177.17 c 123 224 245.65 35.18 6.98 1000000 0 1177.79/1178.27 c 114 265 245.32 35.20 6.97 1000000 0 1178.89/1179.37 c 111 291 247.77 33.18 7.47 1000000 0 1179.99/1180.47 c 105 265 244.92 35.99 6.81 1000000 0 1181.09/1181.57 c 132 193 244.85 34.11 7.18 1000000 0 1182.19/1182.67 c 128 262 244.06 37.09 6.58 1000000 0 1183.29/1183.77 c 128 228 245.57 34.75 7.07 1000000 0 1184.39/1184.87 c 120 240 243.05 34.76 6.99 1000000 0 1185.49/1185.97 c 130 228 246.22 35.95 6.85 1000000 0 1186.59/1187.07 c 128 248 244.48 36.06 6.78 1000000 0 1187.69/1188.17 c 117 285 244.58 35.90 6.81 1000000 0 1188.79/1189.27 c 129 245 250.00 36.05 6.94 1000000 0 1189.89/1190.37 c 126 287 244.34 34.64 7.05 1000000 0 1190.98/1191.47 c 131 227 247.74 36.47 6.79 1000000 0 1192.08/1192.57 c 121 269 247.86 35.53 6.98 1000000 0 1193.18/1193.66 c 107 235 246.10 37.66 6.53 1000000 0 1194.28/1194.76 c 130 351 250.42 33.93 7.38 1000000 0 1195.39/1195.86 c 129 218 246.10 35.35 6.96 1000000 0 1196.48/1196.96 c 126 227 247.29 35.45 6.98 1000000 0 1197.58/1198.06 c 132 237 240.95 33.58 7.17 1000000 0 1198.68/1199.16 c 111 179 242.96 33.58 7.23 1000000 0 1199.78/1200.26 c 124 193 246.69 35.23 7.00 1000000 0 1200.88/1201.36 c 121 278 247.12 36.11 6.84 1000000 0 1201.98/1202.46 c 120 222 246.17 34.88 7.06 1000000 0 1203.08/1203.55 c 115 279 248.93 36.28 6.86 1000000 0 1204.18/1204.65 c 127 224 243.27 34.34 7.08 1000000 0 1205.28/1205.75 c 116 194 242.30 34.79 6.96 1000000 0 1206.38/1206.85 c 127 210 246.62 34.83 7.08 1000000 0 1207.48/1207.95 c 126 274 247.07 33.64 7.34 1000000 0 1208.58/1209.05 c 142 193 249.04 32.47 7.67 1000000 0 1209.68/1210.15 c 128 277 245.53 34.27 7.17 1000000 0 1210.78/1211.25 c 142 264 247.51 32.62 7.59 1000000 0 1211.88/1212.34 c 133 230 242.92 33.94 7.16 1000000 0 1212.98/1213.44 c 127 259 248.30 34.75 7.15 1000000 0 1214.08/1214.55 c 116 240 243.49 34.52 7.05 1000000 0 1215.18/1215.64 c 132 232 242.34 35.02 6.92 1000000 0 1216.28/1216.74 c 119 268 246.22 36.66 6.72 1000000 0 1217.38/1217.85 c 110 302 245.48 34.54 7.11 1000000 0 1218.48/1218.95 c 133 317 245.93 35.03 7.02 1000000 0 1219.58/1220.04 c 110 228 243.41 35.92 6.78 1000000 0 1220.68/1221.14 c 136 252 249.91 36.79 6.79 1000000 0 1221.78/1222.24 c 128 257 249.88 35.74 6.99 1000000 0 1222.88/1223.34 c 124 231 245.14 36.00 6.81 1000000 0 1223.97/1224.44 c 133 249 246.47 34.08 7.23 1000000 0 1225.07/1225.54 c 112 215 247.95 36.15 6.86 1000000 0 1226.17/1226.64 c 117 225 245.22 33.26 7.37 1000000 0 1227.27/1227.74 c 102 254 242.00 36.44 6.64 1000000 0 1228.37/1228.84 c 131 213 247.34 35.83 6.90 1000000 0 1229.47/1229.93 c 105 251 242.79 35.36 6.87 1000000 0 1230.57/1231.03 c 102 232 245.72 36.63 6.71 1000000 0 1231.67/1232.13 c 123 287 247.48 36.01 6.87 1000000 0 1232.77/1233.23 c 114 284 246.45 34.05 7.24 1000000 0 1233.87/1234.33 c 130 207 242.05 35.05 6.91 1000000 0 1234.97/1235.43 c 135 292 246.99 32.80 7.53 1000000 0 1236.07/1236.53 c 128 233 240.93 35.71 6.75 1000000 0 1237.17/1237.62 c 112 206 243.74 36.15 6.74 1000000 0 1238.27/1238.72 c 114 236 244.63 38.10 6.42 1000000 0 1239.37/1239.82 c 120 203 244.00 34.02 7.17 1000000 0 1240.47/1240.92 c 113 303 247.25 36.27 6.82 1000000 0 1241.57/1242.02 c 132 233 246.59 35.10 7.02 1000000 0 1242.67/1243.12 c 98 231 242.10 36.38 6.65 1000000 0 1243.77/1244.22 c 135 279 247.88 35.82 6.92 1000000 0 1244.87/1245.32 c 121 243 245.52 33.93 7.24 1000000 0 1245.97/1246.42 c 116 210 239.95 34.22 7.01 1000000 0 1247.07/1247.51 c 125 265 243.43 34.57 7.04 1000000 0 1248.17/1248.61 c 108 213 245.01 37.13 6.60 1000000 0 1249.27/1249.71 c 103 232 244.53 35.88 6.81 1000000 0 1250.37/1250.81 c 129 239 243.79 34.06 7.16 1000000 0 1251.47/1251.91 c 146 252 246.74 33.00 7.48 1000000 0 1252.57/1253.01 c 128 188 247.61 35.55 6.97 1000000 0 1253.67/1254.11 c 130 306 246.81 35.10 7.03 1000000 0 1254.77/1255.21 c 118 290 246.02 35.13 7.00 1000000 0 1255.87/1256.31 c 127 311 248.58 34.10 7.29 1000000 0 1256.96/1257.41 c 106 237 244.98 35.36 6.93 1000000 0 1258.06/1258.50 c 132 255 244.18 33.52 7.28 1000000 0 1259.16/1259.60 c 139 218 246.40 34.25 7.19 1000000 0 1260.26/1260.70 c 108 337 247.59 34.98 7.08 1000000 0 1261.36/1261.80 c 127 232 246.19 35.43 6.95 1000000 0 1262.46/1262.90 c 124 307 245.45 34.91 7.03 1000000 0 1263.56/1264.00 c 112 236 243.03 33.72 7.21 1000000 0 1264.66/1265.10 c 144 216 248.52 32.35 7.68 1000000 0 1265.76/1266.20 c 128 209 246.32 34.88 7.06 1000000 0 1266.86/1267.30 c 133 260 244.73 34.80 7.03 1000000 0 1267.96/1268.40 c 128 270 247.52 35.49 6.97 1000000 0 1268.97/1269.49 c 125 224 247.81 34.62 7.16 1000000 0 1270.07/1270.59 c 104 231 246.76 36.89 6.69 1000000 0 1271.17/1271.69 c 132 243 245.45 35.07 7.00 1000000 0 1272.27/1272.79 c 126 236 247.82 37.48 6.61 1000000 0 1273.36/1273.89 c 134 292 243.31 34.27 7.10 1000000 0 1274.47/1274.99 c 129 214 253.19 35.82 7.07 1000000 0 1275.57/1276.09 c 122 231 248.79 35.85 6.94 1000000 0 1276.66/1277.19 c 122 288 241.48 36.08 6.69 1000000 0 1277.76/1278.29 c 104 178 243.76 37.91 6.43 1000000 0 1278.86/1279.39 c 122 278 249.57 35.58 7.02 1000000 0 1279.96/1280.49 c 100 238 247.09 35.66 6.93 1000000 0 1281.06/1281.59 c 132 212 247.75 33.84 7.32 1000000 0 1282.16/1282.69 c 135 269 247.37 33.25 7.44 1000000 0 1283.26/1283.79 c 126 302 247.45 33.78 7.33 1000000 0 1284.36/1284.89 c 132 231 244.96 36.27 6.75 1000000 0 1285.46/1285.99 c 104 237 247.28 36.92 6.70 1000000 0 1286.56/1287.09 c 128 254 242.88 33.52 7.25 1000000 0 1287.66/1288.19 c 119 223 241.38 37.69 6.40 1000000 0 1288.76/1289.29 c 138 317 248.97 33.35 7.46 1000000 0 1289.86/1290.39 c 108 312 240.25 35.55 6.76 1000000 0 1290.96/1291.49 c 121 203 246.04 34.32 7.17 1000000 0 1292.06/1292.59 c 136 223 244.55 35.25 6.94 1000000 0 1293.16/1293.68 c 110 189 247.19 33.64 7.35 1000000 0 1294.26/1294.78 c 112 339 241.21 34.19 7.05 1000000 0 1295.36/1295.88 c 113 205 246.13 34.12 7.21 1000000 0 1296.46/1296.98 c 124 288 245.06 32.98 7.43 1000000 0 1297.56/1298.08 c 111 275 242.60 36.27 6.69 1000000 0 1298.66/1299.18 c 118 236 250.02 36.90 6.78 1000000 0 1299.76/1300.28 c 133 291 250.30 35.33 7.08 1000000 0 1300.86/1301.38 c 118 275 243.89 34.89 6.99 1000000 0 1301.96/1302.48 c 129 264 244.52 34.99 6.99 1000000 0 1303.05/1303.58 c 128 250 244.65 33.91 7.22 1000000 0 1304.15/1304.68 c 131 207 248.28 35.39 7.02 1000000 0 1305.25/1305.78 c 130 205 245.51 34.22 7.17 1000000 0 1306.35/1306.88 c 112 248 247.06 36.16 6.83 1000000 0 1307.45/1307.98 c 107 220 246.91 35.88 6.88 1000000 0 1308.55/1309.07 c 134 267 241.52 33.91 7.12 1000000 0 1309.65/1310.18 c 132 233 248.02 35.48 6.99 1000000 0 1310.75/1311.27 c 124 184 243.89 34.76 7.02 1000000 0 1311.85/1312.37 c 130 216 247.86 35.17 7.05 1000000 0 1312.95/1313.47 c 129 218 245.08 34.57 7.09 1000000 0 1314.05/1314.57 c 135 279 245.21 33.82 7.25 1000000 0 1315.15/1315.67 c 134 192 242.18 34.18 7.09 1000000 0 1316.25/1316.77 c 118 273 242.25 35.00 6.92 1000000 0 1317.35/1317.87 c 115 292 245.68 35.90 6.84 1000000 0 1318.45/1318.97 c 125 230 245.40 34.71 7.07 1000000 0 1319.55/1320.07 c 121 285 248.07 35.92 6.91 1000000 0 1320.65/1321.17 c 132 236 249.32 35.83 6.96 1000000 0 1321.75/1322.26 c 126 234 247.55 34.64 7.15 1000000 0 1322.85/1323.36 c 124 263 243.91 35.10 6.95 1000000 0 1323.95/1324.46 c 116 268 245.98 35.99 6.84 1000000 0 1325.04/1325.56 c 136 198 246.97 34.36 7.19 1000000 0 1326.15/1326.66 c 136 231 241.12 34.46 7.00 1000000 0 1327.25/1327.76 c 120 243 246.53 36.52 6.75 1000000 0 1328.35/1328.85 c 135 205 248.60 32.86 7.56 1000000 0 1329.44/1329.95 c 129 308 245.90 34.79 7.07 1000000 0 1330.54/1331.05 c 119 227 250.05 36.81 6.79 1000000 0 1331.64/1332.15 c 127 252 244.05 36.54 6.68 1000000 0 1332.74/1333.25 c 129 234 248.29 32.68 7.60 1000000 0 1333.84/1334.34 c 116 262 247.85 34.03 7.28 1000000 0 1334.94/1335.44 c 108 319 246.19 33.23 7.41 1000000 0 1336.04/1336.54 c 117 216 240.54 34.64 6.94 1000000 0 1337.14/1337.64 c 127 210 245.85 35.66 6.89 1000000 0 1338.24/1338.74 c 130 265 244.83 34.68 7.06 1000000 0 1339.34/1339.84 c 116 243 243.71 34.97 6.97 1000000 0 1340.44/1340.94 c 126 261 244.52 34.24 7.14 1000000 0 1341.54/1342.04 c 124 261 248.98 35.56 7.00 1000000 0 1342.64/1343.14 c 129 248 249.28 34.22 7.28 1000000 0 1343.74/1344.24 c 115 178 242.15 34.76 6.97 1000000 0 1344.84/1345.34 c 128 247 247.94 34.73 7.14 1000000 0 1345.94/1346.43 c 119 251 243.14 33.52 7.25 1000000 0 1347.04/1347.54 c 130 229 244.59 31.48 7.77 1000000 0 1348.14/1348.64 c 136 271 245.81 33.63 7.31 1000000 0 1349.23/1349.74 c 117 274 239.50 35.70 6.71 1000000 0 1350.33/1350.84 c 128 232 241.75 34.14 7.08 1000000 0 1351.43/1351.93 c 105 232 246.69 35.47 6.95 1000000 0 1352.53/1353.03 c 125 293 246.63 35.60 6.93 1000000 0 1353.63/1354.13 c 118 201 244.04 36.40 6.70 1000000 0 1354.73/1355.23 c 129 226 241.71 35.23 6.86 1000000 0 1355.83/1356.33 c 140 295 245.00 33.20 7.38 1000000 0 1356.93/1357.43 c 126 241 243.68 34.64 7.03 1000000 0 1358.03/1358.53 c 106 228 242.60 35.11 6.91 1000000 0 1359.13/1359.63 c 126 190 244.14 35.08 6.96 1000000 0 1360.23/1360.73 c 136 285 245.62 34.14 7.19 1000000 0 1361.33/1361.83 c 112 220 249.61 35.58 7.02 1000000 0 1362.43/1362.93 c 119 205 245.22 35.36 6.94 1000000 0 1363.53/1364.02 c 138 266 247.83 35.49 6.98 1000000 0 1364.63/1365.12 c 127 241 249.19 35.50 7.02 1000000 0 1365.73/1366.22 c 123 255 249.14 34.98 7.12 1000000 0 1366.83/1367.32 c 122 219 245.06 34.46 7.11 1000000 0 1367.93/1368.42 c 131 229 246.94 34.51 7.15 1000000 0 1369.03/1369.52 c 113 228 241.44 34.61 6.98 1000000 0 1370.13/1370.62 c 106 265 249.29 38.51 6.47 1000000 0 1371.23/1371.72 c 111 289 242.33 33.90 7.15 1000000 0 1372.33/1372.82 c 141 173 246.15 34.09 7.22 1000000 0 1373.43/1373.92 c 124 297 248.44 34.58 7.18 1000000 0 1374.53/1375.02 c 132 263 243.06 33.78 7.20 1000000 0 1375.62/1376.12 c 123 226 244.76 34.84 7.02 1000000 0 1376.73/1377.22 c 128 238 246.53 34.93 7.06 1000000 0 1377.83/1378.32 c 120 260 242.44 33.44 7.25 1000000 0 1378.93/1379.42 c 106 212 246.74 37.00 6.67 1000000 0 1380.03/1380.51 c 120 268 241.83 34.82 6.95 1000000 0 1381.13/1381.61 c 114 234 246.86 35.47 6.96 1000000 0 1382.23/1382.72 c 126 201 242.24 34.83 6.95 1000000 0 1383.33/1383.81 c 121 258 244.91 36.32 6.74 1000000 0 1384.43/1384.91 c 112 215 244.75 34.97 7.00 1000000 0 1385.53/1386.01 c 104 254 243.95 36.63 6.66 1000000 0 1386.63/1387.12 c 117 286 245.10 37.80 6.48 1000000 0 1387.73/1388.21 c 130 263 243.60 35.18 6.93 1000000 0 1388.83/1389.31 c 141 294 245.79 33.52 7.33 1000000 0 1389.93/1390.41 c 122 232 243.84 35.25 6.92 1000000 0 1391.03/1391.51 c 127 239 247.76 35.49 6.98 1000000 0 1392.13/1392.61 c 120 278 244.07 36.19 6.74 1000000 0 1393.23/1393.71 c 113 243 247.23 34.72 7.12 1000000 0 1394.33/1394.81 c 136 190 248.30 34.73 7.15 1000000 0 1395.43/1395.91 c 138 255 245.62 33.71 7.29 1000000 0 1396.53/1397.01 c 103 269 247.22 35.70 6.93 1000000 0 1397.63/1398.11 c 127 204 242.00 36.12 6.70 1000000 0 1398.73/1399.21 c 129 222 246.38 35.44 6.95 1000000 0 1399.82/1400.31 c 136 279 248.09 32.06 7.74 1000000 0 1400.92/1401.41 c 95 234 246.37 35.85 6.87 1000000 0 1402.02/1402.50 c 131 259 241.23 32.58 7.41 1000000 0 1403.02/1403.60 c 126 227 248.72 33.52 7.42 1000000 0 1404.12/1404.70 c 112 281 245.49 37.08 6.62 1000000 0 1405.22/1405.80 c 117 257 247.07 35.11 7.04 1000000 0 1406.32/1406.90 c 103 230 243.77 36.37 6.70 1000000 0 1407.42/1408.00 c 129 188 244.08 33.77 7.23 1000000 0 1408.52/1409.10 c 128 218 243.18 35.01 6.95 1000000 0 1409.62/1410.20 c 123 267 245.38 34.49 7.11 1000000 0 1410.72/1411.29 c 105 217 243.96 34.83 7.00 1000000 0 1411.82/1412.39 c 110 253 244.52 35.52 6.88 1000000 0 1412.92/1413.49 c 138 234 247.91 32.92 7.53 1000000 0 1414.02/1414.59 c 135 337 249.19 34.35 7.25 1000000 0 1415.12/1415.69 c 122 230 246.27 34.05 7.23 1000000 0 1416.22/1416.79 c 140 245 247.03 35.68 6.92 1000000 0 1417.32/1417.89 c 114 239 246.13 35.88 6.86 1000000 0 1418.42/1418.99 c 114 245 240.74 34.64 6.95 1000000 0 1419.51/1420.09 c 131 253 251.45 34.45 7.30 1000000 0 1420.61/1421.19 c 138 244 245.78 33.74 7.28 1000000 0 1421.71/1422.29 c 132 200 244.75 35.42 6.91 1000000 0 1422.81/1423.39 c 132 174 250.00 32.13 7.78 1000000 0 1423.91/1424.49 c 122 232 243.03 33.85 7.18 1000000 0 1425.01/1425.58 c 142 259 246.12 34.04 7.23 1000000 0 1426.11/1426.68 c 130 195 250.40 37.93 6.60 1000000 0 1427.21/1427.78 c 134 271 245.80 33.67 7.30 1000000 0 1428.31/1428.88 c 103 262 246.61 37.38 6.60 1000000 0 1429.41/1429.98 c 132 261 248.39 33.90 7.33 1000000 0 1430.51/1431.08 c 126 250 240.70 33.94 7.09 1000000 0 1431.61/1432.18 c 137 246 251.19 36.32 6.92 1000000 0 1432.71/1433.28 c 111 249 250.95 37.87 6.63 1000000 0 1433.81/1434.38 c 134 225 248.74 34.98 7.11 1000000 0 1434.91/1435.48 c 119 262 244.62 35.93 6.81 1000000 0 1436.01/1436.58 c 113 242 245.49 35.13 6.99 1000000 0 1437.11/1437.68 c 106 226 244.02 37.66 6.48 1000000 0 1438.21/1438.78 c 128 245 246.01 36.12 6.81 1000000 0 1439.31/1439.88 c 104 258 241.90 34.58 6.99 1000000 0 1440.41/1440.98 c 115 236 245.65 33.84 7.26 1000000 0 1441.51/1442.07 c 126 202 250.30 34.95 7.16 1000000 0 1442.61/1443.17 c 124 217 243.06 34.57 7.03 1000000 0 1443.71/1444.27 c 121 235 246.73 34.92 7.07 1000000 0 1444.81/1445.37 c 135 234 244.93 34.50 7.10 1000000 0 1445.91/1446.47 c 125 284 248.38 35.54 6.99 1000000 0 1447.01/1447.56 c 115 257 244.19 34.60 7.06 1000000 0 1448.10/1448.66 c 124 278 247.08 34.99 7.06 1000000 0 1449.20/1449.76 c 124 178 246.31 36.36 6.77 1000000 0 1450.30/1450.86 c 103 255 250.28 37.05 6.76 1000000 0 1451.40/1451.96 c 102 221 244.84 37.07 6.61 1000000 0 1452.50/1453.06 c 132 287 248.46 33.46 7.43 1000000 0 1453.60/1454.16 c 125 239 251.46 36.35 6.92 1000000 0 1454.70/1455.26 c 131 208 246.13 35.33 6.97 1000000 0 1455.80/1456.35 c 100 199 243.46 37.28 6.53 1000000 0 1456.90/1457.45 c 110 219 248.73 37.48 6.64 1000000 0 1458.00/1458.55 c 110 285 243.24 33.40 7.28 1000000 0 1459.10/1459.65 c 122 232 243.18 35.35 6.88 1000000 0 1460.20/1460.75 c 129 206 247.42 36.87 6.71 1000000 0 1461.30/1461.85 c 118 273 247.70 34.35 7.21 1000000 0 1462.40/1462.94 c 115 281 246.09 35.86 6.86 1000000 0 1463.50/1464.04 c 115 186 242.10 35.51 6.82 1000000 0 1464.60/1465.14 c 128 248 246.45 35.69 6.91 1000000 0 1465.70/1466.24 c 114 219 247.21 35.74 6.92 1000000 0 1466.80/1467.34 c 122 285 247.21 35.68 6.93 1000000 0 1467.90/1468.44 c 121 276 249.22 34.42 7.24 1000000 0 1469.00/1469.54 c 136 226 244.36 34.45 7.09 1000000 0 1470.10/1470.64 c 109 253 245.68 36.92 6.65 1000000 0 1471.20/1471.74 c 119 236 240.98 32.98 7.31 1000000 0 1472.30/1472.84 c 135 263 248.13 35.79 6.93 1000000 0 1473.40/1473.94 c 120 269 245.89 35.98 6.83 1000000 0 1474.49/1475.04 c 133 253 243.70 34.88 6.99 1000000 0 1475.59/1476.13 c 127 234 245.13 34.52 7.10 1000000 0 1476.69/1477.23 c 119 177 246.33 35.86 6.87 1000000 0 1477.80/1478.33 c 124 221 251.75 36.47 6.90 1000000 0 1478.89/1479.43 c 131 294 251.43 35.82 7.02 1000000 0 1479.99/1480.53 c 132 219 248.40 36.57 6.79 1000000 0 1481.09/1481.63 c 133 319 246.37 33.81 7.29 1000000 0 1482.19/1482.72 c 137 374 241.56 34.60 6.98 1000000 0 1483.29/1483.82 c 142 260 247.10 33.99 7.27 1000000 0 1484.39/1484.92 c 129 220 249.52 34.84 7.16 1000000 0 1485.49/1486.02 c 119 208 242.22 34.58 7.00 1000000 0 1486.59/1487.12 c 115 268 242.09 35.80 6.76 1000000 0 1487.69/1488.22 c 104 221 246.07 35.01 7.03 1000000 0 1488.79/1489.32 c 115 274 240.21 35.13 6.84 1000000 0 1489.89/1490.42 c 113 203 245.13 34.94 7.02 1000000 0 1490.99/1491.52 c 116 246 245.54 34.97 7.02 1000000 0 1492.09/1492.62 c 134 252 246.40 33.55 7.34 1000000 0 1493.19/1493.72 c 136 232 245.69 33.61 7.31 1000000 0 1494.29/1494.82 c 108 270 245.78 34.01 7.23 1000000 0 1495.39/1495.92 c 112 280 243.56 35.05 6.95 1000000 0 1496.49/1497.02 c 135 245 246.01 33.55 7.33 1000000 0 1497.59/1498.12 c 94 216 243.05 35.95 6.76 1000000 0 1498.69/1499.22 c 116 258 242.03 34.80 6.95 1000000 0 1499.79/1500.31 c 144 197 250.90 36.40 6.89 1000000 0 1500.88/1501.41 c 139 215 250.89 33.54 7.48 1000000 0 1501.98/1502.51 c 127 283 243.22 34.60 7.03 1000000 0 1503.08/1503.61 c 124 279 245.94 35.29 6.97 1000000 0 1504.18/1504.71 c 117 276 244.87 33.86 7.23 1000000 0 1505.28/1505.81 c 113 200 243.51 34.32 7.10 1000000 0 1506.38/1506.91 c 125 305 246.94 36.87 6.70 1000000 0 1507.48/1508.01 c 114 238 246.37 35.58 6.92 1000000 0 1508.58/1509.11 c 135 260 246.41 35.62 6.92 1000000 0 1509.57/1510.20 c 136 266 245.61 34.88 7.04 1000000 0 1510.67/1511.30 c 122 194 243.59 35.91 6.78 1000000 0 1511.77/1512.40 c 121 172 248.24 36.36 6.83 1000000 0 1512.87/1513.50 c 131 204 242.04 34.22 7.07 1000000 0 1513.97/1514.60 c 135 219 247.96 34.30 7.23 1000000 0 1515.07/1515.70 c 113 314 243.78 35.22 6.92 1000000 0 1516.17/1516.79 c 107 243 245.33 35.51 6.91 1000000 0 1517.27/1517.89 c 121 223 249.41 35.95 6.94 1000000 0 1518.37/1518.99 c 126 153 247.80 35.59 6.96 1000000 0 1519.47/1520.09 c 114 250 243.10 34.67 7.01 1000000 0 1520.57/1521.19 c 131 288 250.04 32.40 7.72 1000000 0 1521.67/1522.29 c 119 228 248.19 35.13 7.06 1000000 0 1522.78/1523.39 c 138 258 249.28 33.50 7.44 1000000 0 1523.88/1524.49 c 106 195 247.81 34.12 7.26 1000000 0 1524.98/1525.59 c 132 206 245.68 37.74 6.51 1000000 0 1526.08/1526.69 c 125 278 244.76 34.97 7.00 1000000 0 1527.18/1527.79 c 127 227 244.38 37.51 6.51 1000000 0 1528.28/1528.89 c 111 196 246.56 36.95 6.67 1000000 0 1529.38/1529.99 c 132 272 242.47 34.00 7.13 1000000 0 1530.48/1531.09 c 99 263 241.10 36.42 6.62 1000000 0 1531.58/1532.18 c 139 223 242.81 34.07 7.13 1000000 0 1532.68/1533.28 c 109 203 245.23 35.37 6.93 1000000 0 1533.78/1534.38 c 119 239 246.96 34.23 7.22 1000000 0 1534.88/1535.48 c 109 297 243.82 36.80 6.63 1000000 0 1535.98/1536.58 c 130 273 246.71 36.73 6.72 1000000 0 1537.08/1537.68 c 129 268 247.72 37.43 6.62 1000000 0 1538.18/1538.78 c 127 276 247.87 34.30 7.23 1000000 0 1539.27/1539.88 c 121 244 245.82 32.58 7.55 1000000 0 1540.37/1540.98 c 107 254 247.42 37.35 6.62 1000000 0 1541.47/1542.08 c 124 301 247.10 34.41 7.18 1000000 0 1542.57/1543.17 c 126 170 241.27 35.94 6.71 1000000 0 1543.67/1544.27 c 117 218 244.57 34.89 7.01 1000000 0 1544.77/1545.37 c 105 256 242.91 37.29 6.51 1000000 0 1545.87/1546.47 c 121 259 244.31 35.61 6.86 1000000 0 1546.97/1547.58 c 133 249 250.07 33.39 7.49 1000000 0 1548.07/1548.68 c 124 198 242.62 35.03 6.93 1000000 0 1549.17/1549.77 c 123 333 246.98 35.75 6.91 1000000 0 1550.27/1550.87 c 123 219 248.30 36.35 6.83 1000000 0 1551.37/1551.97 c 143 271 246.16 35.81 6.87 1000000 0 1552.47/1553.07 c 118 254 246.70 32.85 7.51 1000000 0 1553.57/1554.17 c 118 194 240.64 35.24 6.83 1000000 0 1554.67/1555.27 c 104 305 243.75 33.28 7.32 1000000 0 1555.77/1556.37 c 129 277 248.67 35.83 6.94 1000000 0 1556.87/1557.47 c 123 249 244.63 36.02 6.79 1000000 0 1557.97/1558.56 c 127 256 245.53 34.75 7.07 1000000 0 1559.07/1559.66 c 123 258 243.98 35.35 6.90 1000000 0 1560.17/1560.76 c 127 227 244.03 34.83 7.01 1000000 0 1561.27/1561.86 c 119 199 244.50 33.89 7.21 1000000 0 1562.37/1562.95 c 109 266 246.88 35.11 7.03 1000000 0 1563.47/1564.06 c 134 244 245.27 34.72 7.06 1000000 0 1564.57/1565.15 c 121 265 244.07 36.88 6.62 1000000 0 1565.66/1566.25 c 114 137 244.31 35.06 6.97 1000000 0 1566.76/1567.35 c 128 271 246.89 36.53 6.76 1000000 0 1567.86/1568.45 c 120 249 243.03 34.73 7.00 1000000 0 1568.96/1569.55 c 112 294 248.34 37.33 6.65 1000000 0 1570.06/1570.65 c 133 266 242.09 34.36 7.04 1000000 0 1571.16/1571.74 c 122 248 245.32 35.54 6.90 1000000 0 1572.26/1572.84 c 123 263 248.33 37.94 6.55 1000000 0 1573.36/1573.94 c 116 230 247.84 33.35 7.43 1000000 0 1574.46/1575.04 c 129 215 250.11 34.17 7.32 1000000 0 1575.56/1576.14 c 114 293 243.02 36.89 6.59 1000000 0 1576.66/1577.24 c 123 266 244.26 32.92 7.42 1000000 0 1577.76/1578.34 c 134 255 242.70 34.36 7.06 1000000 0 1578.86/1579.44 c 126 203 243.16 36.22 6.71 1000000 0 1579.96/1580.54 c 139 239 244.34 34.04 7.18 1000000 0 1581.06/1581.64 c 124 316 244.98 34.91 7.02 1000000 0 1582.16/1582.74 c 132 322 246.05 34.51 7.13 1000000 0 1583.26/1583.83 c 118 314 244.80 36.00 6.80 1000000 0 1584.36/1584.93 c 121 230 247.73 34.85 7.11 1000000 0 1585.46/1586.03 c 124 238 252.24 36.19 6.97 1000000 0 1586.56/1587.14 c 113 304 245.64 34.31 7.16 1000000 0 1587.66/1588.24 c 122 245 242.18 36.32 6.67 1000000 0 1588.76/1589.33 c 114 247 245.08 35.11 6.98 1000000 0 1589.86/1590.43 c 137 215 246.51 33.35 7.39 1000000 0 1590.95/1591.53 c 96 227 243.10 37.12 6.55 1000000 0 1592.05/1592.63 c 104 253 241.94 34.60 6.99 1000000 0 1593.15/1593.73 c 123 187 248.48 37.82 6.57 1000000 0 1594.25/1594.83 c 120 296 248.37 35.07 7.08 1000000 0 1595.35/1595.93 c 136 247 247.07 36.74 6.73 1000000 0 1596.45/1597.02 c 125 239 246.89 35.75 6.91 1000000 0 1597.55/1598.12 c 126 259 246.62 38.32 6.44 1000000 0 1598.65/1599.22 c 121 185 241.89 33.66 7.19 1000000 0 1599.75/1600.33 c 104 254 243.33 34.17 7.12 1000000 0 1600.85/1601.42 c 140 250 249.56 35.78 6.98 1000000 0 1601.95/1602.52 c 103 164 245.06 34.99 7.00 1000000 0 1603.05/1603.62 c 108 265 245.46 35.73 6.87 1000000 0 1604.15/1604.72 c 129 262 246.50 33.86 7.28 1000000 0 1605.25/1605.82 c 123 255 244.50 35.16 6.95 1000000 0 1606.35/1606.92 c 123 193 241.71 34.02 7.10 1000000 0 1607.45/1608.02 c 111 237 241.06 34.33 7.02 1000000 0 1608.55/1609.12 c 90 307 247.79 36.75 6.74 1000000 0 1609.65/1610.22 c 125 230 244.40 34.70 7.04 1000000 0 1610.74/1611.32 c 127 293 248.36 33.37 7.44 1000000 0 1611.84/1612.42 c 131 237 243.47 32.83 7.42 1000000 0 1612.94/1613.51 c 111 234 246.45 34.65 7.11 1000000 0 1614.04/1614.61 c 120 228 243.33 34.95 6.96 1000000 0 1615.14/1615.71 c 142 296 246.27 33.49 7.35 1000000 0 1616.24/1616.81 c 121 218 245.01 35.04 6.99 1000000 0 1617.34/1617.90 c 109 257 246.95 32.91 7.50 1000000 0 1618.44/1619.01 c 123 245 246.00 34.76 7.08 1000000 0 1619.54/1620.10 c 113 236 243.87 35.51 6.87 1000000 0 1620.64/1621.21 c 121 224 243.05 34.99 6.95 1000000 0 1621.74/1622.30 c 134 253 244.17 36.12 6.76 1000000 0 1622.84/1623.40 c 115 248 245.25 36.40 6.74 1000000 0 1623.94/1624.50 c 131 200 247.83 35.89 6.91 1000000 0 1625.04/1625.60 c 139 236 250.08 34.21 7.31 1000000 0 1626.14/1626.70 c 126 266 243.80 34.62 7.04 1000000 0 1627.24/1627.80 c 97 253 246.29 35.61 6.92 1000000 0 1628.34/1628.90 c 121 293 247.44 35.96 6.88 1000000 0 1629.44/1630.00 c 129 192 245.62 36.08 6.81 1000000 0 1630.54/1631.10 c 130 283 245.96 35.70 6.89 1000000 0 1631.54/1632.19 c 122 297 245.05 35.75 6.85 1000000 0 1632.63/1633.29 c 131 227 246.05 33.75 7.29 1000000 0 1633.73/1634.39 c 122 231 245.79 37.45 6.56 1000000 0 1634.83/1635.49 c 124 288 243.05 34.04 7.14 1000000 0 1635.93/1636.59 c 129 310 251.22 35.41 7.09 1000000 0 1637.03/1637.69 c 131 281 245.35 37.48 6.55 1000000 0 1638.13/1638.79 c 134 271 243.08 35.89 6.77 1000000 0 1639.23/1639.89 c 139 231 244.80 34.18 7.16 1000000 0 1640.33/1640.99 c 116 235 243.92 35.24 6.92 1000000 0 1641.43/1642.08 c 131 261 247.15 35.54 6.95 1000000 0 1642.53/1643.18 c 115 247 242.03 36.08 6.71 1000000 0 1643.63/1644.28 c 127 281 249.47 32.33 7.72 1000000 0 1644.73/1645.38 c 107 223 248.40 34.39 7.22 1000000 0 1645.83/1646.48 c 141 192 250.91 35.52 7.06 1000000 0 1646.93/1647.58 c 125 213 247.99 36.55 6.79 1000000 0 1648.03/1648.68 c 128 219 247.46 34.20 7.24 1000000 0 1649.13/1649.78 c 110 291 244.32 36.53 6.69 1000000 0 1650.23/1650.88 c 120 240 245.69 33.98 7.23 1000000 0 1651.33/1651.97 c 116 294 242.72 38.99 6.22 1000000 0 1652.43/1653.07 c 124 191 246.55 36.06 6.84 1000000 0 1653.53/1654.18 c 127 266 249.43 36.81 6.78 1000000 0 1654.63/1655.27 c 127 226 245.72 33.96 7.24 1000000 0 1655.73/1656.37 c 115 275 241.72 34.64 6.98 1000000 0 1656.83/1657.47 c 113 251 251.12 35.91 6.99 1000000 0 1657.93/1658.57 c 126 255 244.99 33.00 7.42 1000000 0 1659.03/1659.67 c 114 199 245.89 35.78 6.87 1000000 0 1660.13/1660.77 c 106 221 243.92 36.10 6.76 1000000 0 1661.23/1661.87 c 145 277 242.76 32.61 7.44 1000000 0 1662.33/1662.97 c 121 209 247.65 32.87 7.53 1000000 0 1663.43/1664.06 c 133 301 244.35 35.33 6.92 1000000 0 1664.53/1665.16 c 116 168 246.08 32.78 7.51 1000000 0 1665.63/1666.26 c 144 214 250.75 37.12 6.76 1000000 0 1666.72/1667.36 c 135 223 249.18 33.13 7.52 1000000 0 1667.82/1668.46 c 126 277 241.97 34.19 7.08 1000000 0 1668.92/1669.56 c 136 288 247.64 35.05 7.06 1000000 0 1670.02/1670.66 c 111 189 248.82 34.82 7.15 1000000 0 1671.12/1671.76 c 113 277 244.41 36.60 6.68 1000000 0 1672.22/1672.85 c 95 234 248.84 34.59 7.19 1000000 0 1673.32/1673.95 c 137 258 246.82 33.89 7.28 1000000 0 1674.42/1675.05 c 114 265 244.94 35.51 6.90 1000000 0 1675.53/1676.15 c 127 273 248.67 32.85 7.57 1000000 0 1676.63/1677.25 c 125 221 246.14 38.04 6.47 1000000 0 1677.73/1678.35 c 130 203 243.27 35.42 6.87 1000000 0 1678.83/1679.45 c 134 303 247.85 35.07 7.07 1000000 0 1679.93/1680.55 c 130 174 245.80 34.22 7.18 1000000 0 1681.03/1681.65 c 127 232 244.87 35.94 6.81 1000000 0 1682.13/1682.75 c 122 235 245.80 36.83 6.67 1000000 0 1683.23/1683.85 c 130 253 245.98 35.32 6.96 1000000 0 1684.33/1684.95 c 114 231 246.02 34.85 7.06 1000000 0 1685.43/1686.05 c 112 280 249.70 36.31 6.88 1000000 0 1686.53/1687.15 c 129 274 242.48 35.76 6.78 1000000 0 1687.62/1688.25 c 127 254 248.73 37.47 6.64 1000000 0 1688.72/1689.35 c 137 298 244.97 33.37 7.34 1000000 0 1689.82/1690.45 c 129 253 246.42 36.48 6.76 1000000 0 1690.92/1691.55 c 129 201 248.59 35.66 6.97 1000000 0 1692.02/1692.65 c 122 258 241.28 34.27 7.04 1000000 0 1693.12/1693.74 c 130 310 245.79 36.57 6.72 1000000 0 1694.22/1694.84 c 132 259 247.92 34.39 7.21 1000000 0 1695.32/1695.94 c 115 310 245.57 35.46 6.92 1000000 0 1696.42/1697.04 c 107 257 245.74 36.45 6.74 1000000 0 1697.52/1698.14 c 122 264 246.03 35.71 6.89 1000000 0 1698.62/1699.24 c 127 248 249.19 34.92 7.14 1000000 0 1699.72/1700.34 c 126 321 246.00 35.35 6.96 1000000 0 1700.82/1701.44 c 137 247 249.99 33.02 7.57 1000000 0 1701.92/1702.54 c 128 212 247.08 34.52 7.16 1000000 0 1703.02/1703.63 c 130 243 245.06 36.21 6.77 1000000 0 1704.12/1704.73 c 135 206 247.87 36.97 6.70 1000000 0 1705.22/1705.83 c 113 307 241.72 35.59 6.79 1000000 0 1706.32/1706.93 c 121 199 246.04 33.26 7.40 1000000 0 1707.42/1708.03 c 126 268 243.48 34.33 7.09 1000000 0 1708.52/1709.13 c 137 193 247.73 33.02 7.50 1000000 0 1709.62/1710.23 c 140 263 249.26 36.12 6.90 1000000 0 1710.72/1711.33 c 132 219 245.06 36.44 6.72 1000000 0 1711.81/1712.43 c 118 286 244.95 32.86 7.45 1000000 0 1712.91/1713.53 c 134 215 244.30 34.10 7.16 1000000 0 1714.01/1714.62 c 129 249 245.18 36.26 6.76 1000000 0 1715.11/1715.72 c 114 302 245.31 34.55 7.10 1000000 0 1716.21/1716.82 c 104 235 247.03 35.27 7.00 1000000 0 1717.31/1717.92 c 106 212 243.55 35.50 6.86 1000000 0 1718.41/1719.02 c 119 278 248.37 31.86 7.80 1000000 0 1719.51/1720.12 c 122 242 241.66 35.07 6.89 1000000 0 1720.61/1721.21 c 140 209 248.07 35.07 7.07 1000000 0 1721.71/1722.31 c 132 215 246.46 36.26 6.80 1000000 0 1722.81/1723.41 c 124 191 244.71 36.87 6.64 1000000 0 1723.91/1724.51 c 107 228 243.99 34.13 7.15 1000000 0 1725.01/1725.61 c 130 214 248.13 36.47 6.80 1000000 0 1726.11/1726.71 c 130 252 247.22 35.24 7.02 1000000 0 1727.21/1727.81 c 118 249 252.46 34.83 7.25 1000000 0 1728.31/1728.91 c 125 184 241.59 33.52 7.21 1000000 0 1729.41/1730.00 c 131 315 246.17 34.65 7.10 1000000 0 1730.51/1731.10 c 99 236 240.74 36.25 6.64 1000000 0 1731.61/1732.20 c 119 260 250.00 36.99 6.76 1000000 0 1732.61/1733.30 c 118 326 245.85 35.93 6.84 1000000 0 1733.71/1734.39 c 127 252 247.80 34.22 7.24 1000000 0 1734.81/1735.49 c 128 253 245.97 33.57 7.33 1000000 0 1735.91/1736.59 c 135 282 251.22 34.50 7.28 1000000 0 1737.00/1737.69 c 129 207 244.44 34.58 7.07 1000000 0 1738.10/1738.79 c 116 241 245.30 37.01 6.63 1000000 0 1739.20/1739.89 c 105 257 245.31 36.31 6.76 1000000 0 1740.30/1740.99 c 124 173 248.00 34.65 7.16 1000000 0 1741.40/1742.09 c 135 244 247.60 35.32 7.01 1000000 0 1742.50/1743.19 c 128 200 241.10 34.45 7.00 1000000 0 1743.60/1744.29 c 113 267 241.74 35.28 6.85 1000000 0 1744.70/1745.39 c 103 243 242.56 34.16 7.10 1000000 0 1745.80/1746.49 c 134 213 246.38 33.53 7.35 1000000 0 1746.90/1747.59 c 116 276 247.28 35.68 6.93 1000000 0 1748.00/1748.69 c 118 231 244.91 35.73 6.86 1000000 0 1749.10/1749.79 c 107 233 246.01 35.06 7.02 1000000 0 1750.20/1750.88 c 130 229 244.63 35.98 6.80 1000000 0 1751.30/1751.98 c 125 237 242.33 34.84 6.96 1000000 0 1752.40/1753.08 c 130 250 244.39 35.91 6.81 1000000 0 1753.50/1754.18 c 95 287 245.02 36.09 6.79 1000000 0 1754.60/1755.28 c 139 255 246.67 33.13 7.45 1000000 0 1755.70/1756.38 c 120 277 244.37 36.06 6.78 1000000 0 1756.80/1757.48 c 129 240 243.33 33.47 7.27 1000000 0 1757.90/1758.58 c 130 208 240.50 33.92 7.09 1000000 0 1759.00/1759.68 c 123 255 245.86 36.12 6.81 1000000 0 1760.10/1760.78 c 131 193 245.14 35.52 6.90 1000000 0 1761.19/1761.88 c 117 275 250.69 38.53 6.51 1000000 0 1762.29/1762.98 c 134 246 247.80 34.20 7.25 1000000 0 1763.39/1764.08 c 127 254 246.16 33.26 7.40 1000000 0 1764.49/1765.18 c 114 228 246.18 37.18 6.62 1000000 0 1765.59/1766.28 c 135 196 247.31 34.64 7.14 1000000 0 1766.69/1767.38 c 129 239 241.65 34.00 7.11 1000000 0 1767.79/1768.48 c 117 199 244.92 36.48 6.71 1000000 0 1768.89/1769.58 c 131 281 246.30 33.83 7.28 1000000 0 1769.99/1770.68 c 127 239 244.66 35.95 6.81 1000000 0 1771.09/1771.78 c 114 253 245.37 34.18 7.18 1000000 0 1772.19/1772.87 c 115 284 244.15 33.71 7.24 1000000 0 1773.29/1773.97 c 128 223 242.72 34.94 6.95 1000000 0 1774.39/1775.07 c 118 250 242.89 37.14 6.54 1000000 0 1775.49/1776.17 c 139 246 247.28 34.00 7.27 1000000 0 1776.59/1777.27 c 128 291 243.12 35.47 6.85 1000000 0 1777.69/1778.37 c 100 269 244.48 34.71 7.04 1000000 0 1778.79/1779.47 c 135 205 245.97 34.84 7.06 1000000 0 1779.89/1780.57 c 131 289 251.15 36.23 6.93 1000000 0 1780.99/1781.67 c 125 268 241.87 36.57 6.61 1000000 0 1782.09/1782.76 c 129 239 243.59 35.14 6.93 1000000 0 1783.19/1783.86 c 118 224 241.98 35.46 6.82 1000000 0 1784.29/1784.96 c 122 258 249.45 33.28 7.50 1000000 0 1785.39/1786.06 c 128 192 246.90 37.94 6.51 1000000 0 1786.49/1787.16 c 114 259 247.13 35.12 7.04 1000000 0 1787.59/1788.26 c 120 286 247.04 34.02 7.26 1000000 0 1788.69/1789.36 c 116 280 248.44 36.42 6.82 1000000 0 1789.78/1790.46 c 129 277 246.24 35.29 6.98 1000000 0 1790.88/1791.56 c 120 270 249.67 37.33 6.69 1000000 0 1791.98/1792.66 c 126 223 246.45 35.60 6.92 1000000 0 1793.08/1793.76 c 127 224 242.46 33.88 7.16 1000000 0 1794.19/1794.86 c 120 280 249.32 35.19 7.08 1000000 0 1795.28/1795.96 c 139 202 252.45 34.93 7.23 1000000 0 1796.38/1797.05 c 137 224 244.64 35.50 6.89 1000000 0 1797.48/1798.16 c 121 221 246.81 36.77 6.71 1000000 0 1798.58/1799.26 c 110 249 242.11 34.87 6.94 1000000 0 1799.68/1800.35 c 123 287 245.46 35.99 6.82 1000000 0 1800.10/1800.71 HOME/run: line 2: 22081 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-2684664-1278432573/watcher-2684664-1278432573 -o /tmp/evaluation-result-2684664-1278432573/solver-2684664-1278432573 -C 1800 -W 2000 -M 1800 run HOME/instance-2684664-1278432573.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.19 0.05 0.01 3/106 22080 /proc/meminfo: memFree=1471160/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) R 22078 22080 21783 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060009365 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [startup+0.0580001 s] /proc/loadavg: 0.19 0.05 0.01 3/106 22080 /proc/meminfo: memFree=1471160/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.2 s] /proc/loadavg: 0.19 0.05 0.01 3/106 22080 /proc/meminfo: memFree=1471160/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.400999 s] /proc/loadavg: 0.19 0.05 0.01 3/106 22080 /proc/meminfo: memFree=1471160/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700999 s] /proc/loadavg: 0.19 0.05 0.01 3/106 22080 /proc/meminfo: memFree=1471160/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.501 s] /proc/loadavg: 0.26 0.06 0.02 2/108 22082 /proc/meminfo: memFree=1467548/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1.49 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 149 0 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.101 s] /proc/loadavg: 0.26 0.06 0.02 2/108 22083 /proc/meminfo: memFree=1467300/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=3.09 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 309 0 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526627 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30199 s] /proc/loadavg: 0.32 0.08 0.02 2/108 22083 /proc/meminfo: memFree=1467300/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=6.29 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 629 0 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.701 s] /proc/loadavg: 0.37 0.09 0.03 2/108 22083 /proc/meminfo: memFree=1467176/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=12.68 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 1268 0 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.501 s] /proc/loadavg: 0.51 0.14 0.04 2/108 22083 /proc/meminfo: memFree=1467176/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=25.47 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 2547 0 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 49152 [startup+51.1009 s] /proc/loadavg: 0.68 0.20 0.07 2/108 22083 /proc/meminfo: memFree=1467176/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=51.07 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 5106 1 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.86 0.32 0.11 2/108 22085 /proc/meminfo: memFree=1467052/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=102.26 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 10225 1 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.95 0.44 0.17 2/108 22087 /proc/meminfo: memFree=1466928/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=162.23 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 16222 1 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.98 0.54 0.21 2/108 22088 /proc/meminfo: memFree=1466928/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=222.21 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 22220 1 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134572048 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.62 0.26 2/108 22089 /proc/meminfo: memFree=1466928/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=282.19 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 28218 1 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.69 0.30 2/108 22091 /proc/meminfo: memFree=1466804/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=342.17 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 34216 1 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.35 2/108 22093 /proc/meminfo: memFree=1466680/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=402.16 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 40214 2 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1121.91 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 112185 6 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/108 22116 /proc/meminfo: memFree=1464944/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1181.89 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 118183 6 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.71 2/108 22118 /proc/meminfo: memFree=1464696/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1241.87 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 124181 6 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/108 22120 /proc/meminfo: memFree=1464696/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1301.85 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 130179 6 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.74 2/108 22122 /proc/meminfo: memFree=1464572/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1361.82 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 136176 6 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525710 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/108 22123 /proc/meminfo: memFree=1464572/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1421.81 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 142174 7 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/108 22124 /proc/meminfo: memFree=1464572/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1481.79 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 148172 7 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525733 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/108 22126 /proc/meminfo: memFree=1464448/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1541.77 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 154169 8 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/108 22128 /proc/meminfo: memFree=1464448/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1601.75 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 160167 8 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.80 2/108 22130 /proc/meminfo: memFree=1464324/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1661.73 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 166165 8 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.81 2/108 22131 /proc/meminfo: memFree=1464200/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1721.71 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 172162 9 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/108 22132 /proc/meminfo: memFree=1463952/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1781.69 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 178160 9 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.82 2/108 22133 /proc/meminfo: memFree=1463952/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1800.1 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 180001 9 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525710 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) SSolver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.82 2/108 22133 /proc/meminfo: memFree=1463952/2059040 swapFree=4192956/4192956 [pid=22080] ppid=22078 vsize=8700 CPUtime=0 /proc/22080/stat : 22080 (run) S 22078 22080 21783 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 11470488 8908800 244 1992294400 4194304 4922060 140734530110832 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22080/statm: 2175 244 204 178 0 68 0 [pid=22081] ppid=22080 vsize=40452 CPUtime=1800.1 /proc/22081/stat : 22081 (PB-wave) R 22080 22080 21783 0 -1 4202496 951 0 0 0 180001 9 0 0 25 0 1 0 11470488 41422848 880 1992294400 134512640 135071400 4294395840 18446744073709551615 134525710 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22081/statm: 10113 880 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.11 CPU user time (s): 1800.01 CPU system time (s): 0.100984 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.100984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1324 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= 25644 runsolver used 3.2985 second user time and 8.43672 second system time The end
Begin job on node011 at 2010-07-06 18:09:33 IDJOB=2684664 IDBENCH=73218 IDSOLVER=1171 FILE ID=node011/2684664-1278432573 PBS_JOBID= 11233460 Free space on /tmp= 62444 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3031_7-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684664-1278432573/watcher-2684664-1278432573 -o /tmp/evaluation-result-2684664-1278432573/solver-2684664-1278432573 -C 1800 -W 2000 -M 1800 run HOME/instance-2684664-1278432573.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0ff79474564f4c2fd0f3bbe9569d3135 RANDOM SEED=1076361073 node011.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.212 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1471680 kB Buffers: 104228 kB Cached: 349680 kB SwapCached: 0 kB Active: 177044 kB Inactive: 337636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1471680 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1420 kB Writeback: 0 kB AnonPages: 60728 kB Mapped: 14420 kB Slab: 50900 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180172 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= 62440 MiB End job on node011 at 2010-07-06 18:39:34