Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.81 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3025_7-sat.opb |
MD5SUM | aa398ad728153b81883b8e1b2097cfdd |
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.12498 |
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 | 5952 |
Total number of constraints | 19548 |
Number of constraints which are clauses | 19168 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 380 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 161 |
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.05 c PB-wave - v2 0.00/0.05 c command line = ./PB-wave 0.00/0.05 c seed = 47751565 0.00/0.05 c cutoff = 1000000 0.00/0.05 c tries = 1000000 0.00/0.05 c heuristic = c best, noise 50 / 100 0.00/0.05 #var 5952 #con 19548 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 17856 0.00/0.05 c numatom = 5952, numclause = 19548, numliterals = 49575 0.00/0.05 c wff read in 0.00/0.05 c 0.00/0.05 c lowest final avg noise noise total avg mean mean 0.00/0.05 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.05 c this this this this this this success success until std 0.00/0.05 c try try try try try try rate tries assign dev 0.00/0.05 c 1.10/1.19 c 145 283 260.61 36.02 7.24 1000000 0 2.29/2.34 c 147 303 259.97 34.40 7.56 1000000 0 3.39/3.48 c 144 256 259.44 33.37 7.77 1000000 0 4.59/4.62 c 155 262 260.06 33.10 7.86 1000000 0 5.69/5.77 c 136 268 258.54 35.75 7.23 1000000 0 6.88/6.91 c 132 286 261.54 37.21 7.03 1000000 0 7.98/8.05 c 155 242 263.97 34.33 7.69 1000000 0 9.08/9.20 c 149 234 262.84 35.01 7.51 1000000 0 10.28/10.34 c 133 231 258.17 35.62 7.25 1000000 0 11.38/11.48 c 154 273 259.51 33.56 7.73 1000000 0 12.58/12.62 c 159 233 259.25 32.26 8.04 1000000 0 13.68/13.76 c 129 238 259.81 35.74 7.27 1000000 0 14.88/14.91 c 158 262 262.10 35.56 7.37 1000000 0 15.99/16.05 c 154 231 263.85 34.71 7.60 1000000 0 17.09/17.19 c 147 303 258.82 35.19 7.36 1000000 0 18.29/18.33 c 129 246 261.21 34.63 7.54 1000000 0 19.39/19.48 c 146 282 260.04 36.31 7.16 1000000 0 20.58/20.62 c 142 249 262.43 35.07 7.48 1000000 0 21.69/21.76 c 151 311 260.63 33.45 7.79 1000000 0 22.88/22.90 c 146 265 261.19 32.79 7.97 1000000 0 23.98/24.05 c 136 343 259.91 33.93 7.66 1000000 0 25.08/25.19 c 146 226 262.06 33.67 7.78 1000000 0 26.29/26.33 c 148 245 255.57 33.40 7.65 1000000 0 27.39/27.47 c 147 222 254.10 32.91 7.72 1000000 0 28.59/28.61 c 153 251 257.31 35.36 7.28 1000000 0 29.69/29.76 c 142 251 255.44 34.38 7.43 1000000 0 30.79/30.89 c 138 260 255.91 33.32 7.68 1000000 0 31.98/32.03 c 142 287 256.05 34.48 7.43 1000000 0 33.08/33.18 c 133 269 262.90 34.41 7.64 1000000 0 34.28/34.32 c 145 278 261.58 35.01 7.47 1000000 0 35.38/35.47 c 146 219 257.32 36.15 7.12 1000000 0 36.58/36.61 c 149 254 259.40 32.28 8.04 1000000 0 37.67/37.75 c 133 195 259.18 36.43 7.11 1000000 0 38.77/38.89 c 150 257 260.25 33.56 7.75 1000000 0 39.97/40.04 c 148 255 258.97 34.36 7.54 1000000 0 41.07/41.18 c 152 234 258.59 35.40 7.31 1000000 0 42.27/42.32 c 131 235 266.38 33.97 7.84 1000000 0 43.37/43.47 c 147 303 264.61 36.64 7.22 1000000 0 44.57/44.61 c 154 251 262.57 35.00 7.50 1000000 0 45.67/45.76 c 158 281 262.60 34.46 7.62 1000000 0 46.77/46.90 c 146 209 259.83 34.68 7.49 1000000 0 47.97/48.04 c 158 286 261.91 34.86 7.51 1000000 0 49.07/49.18 c 150 230 258.19 33.49 7.71 1000000 0 50.27/50.32 c 140 252 263.43 35.51 7.42 1000000 0 51.37/51.47 c 148 257 259.75 33.19 7.83 1000000 0 52.57/52.61 c 150 318 260.13 35.16 7.40 1000000 0 53.67/53.76 c 145 278 256.05 33.80 7.58 1000000 0 54.88/54.90 c 145 242 259.98 32.68 7.96 1000000 0 55.98/56.05 c 152 222 258.61 32.57 7.94 1000000 0 57.08/57.19 c 146 283 262.51 35.89 7.31 1000000 0 58.28/58.33 c 148 240 258.46 33.38 7.74 1000000 0 59.37/59.47 c 151 271 254.77 33.04 7.71 1000000 0 60.57/60.62 c 152 284 262.45 34.28 7.66 1000000 0 61.67/61.76 c 149 310 262.95 33.42 7.87 1000000 0 62.87/62.90 c 147 273 259.49 32.84 7.90 1000000 0 63.97/64.04 c 156 287 261.67 33.95 7.71 1000000 0 65.07/65.19 c 150 228 259.39 33.15 7.82 1000000 0 66.26/66.33 c 155 323 263.30 35.30 7.46 1000000 0 67.37/67.47 c 143 266 261.86 34.90 7.50 1000000 0 68.56/68.62 c 163 180 260.89 32.72 7.97 1000000 0 69.66/69.76 c 154 249 260.58 34.12 7.64 1000000 0 70.86/70.90 c 130 223 264.09 34.30 7.70 1000000 0 71.96/72.04 c 138 217 261.54 35.77 7.31 1000000 0 73.06/73.19 c 157 206 265.42 35.05 7.57 1000000 0 74.26/74.33 c 135 243 262.21 34.55 7.59 1000000 0 75.36/75.48 c 155 280 256.59 32.95 7.79 1000000 0 76.56/76.62 c 150 298 256.00 32.86 7.79 1000000 0 77.66/77.76 c 150 226 258.40 33.53 7.71 1000000 0 78.86/78.90 c 140 317 257.82 34.12 7.56 1000000 0 79.96/80.05 c 158 251 259.83 33.95 7.65 1000000 0 81.06/81.19 c 150 314 263.43 35.54 7.41 1000000 0 82.26/82.34 c 147 249 262.15 34.08 7.69 1000000 0 83.36/83.48 c 152 301 260.48 33.37 7.80 1000000 0 84.56/84.62 c 135 266 256.58 35.78 7.17 1000000 0 85.66/85.77 c 149 316 260.53 33.93 7.68 1000000 0 86.86/86.91 c 152 222 263.77 33.17 7.95 1000000 0 87.96/88.05 c 146 277 263.16 34.59 7.61 1000000 0 89.16/89.20 c 151 250 261.96 34.28 7.64 1000000 0 90.26/90.34 c 154 267 261.12 34.20 7.63 1000000 0 91.36/91.49 c 144 247 260.02 35.73 7.28 1000000 0 92.56/92.63 c 134 226 255.46 32.55 7.85 1000000 0 93.65/93.77 c 152 239 258.92 33.02 7.84 1000000 0 94.85/94.91 c 152 262 260.25 33.60 7.75 1000000 0 95.95/96.06 c 151 258 258.09 34.06 7.58 1000000 0 97.15/97.20 c 148 287 266.47 35.45 7.52 1000000 0 98.25/98.35 c 153 238 261.35 35.48 7.37 1000000 0 99.35/99.49 c 150 299 261.06 34.85 7.49 1000000 0 100.55/100.64 c 161 290 262.47 33.01 7.95 1000000 0 101.65/101.78 c 151 257 258.63 35.32 7.32 1000000 0 102.85/102.92 c 147 210 263.71 35.10 7.51 1000000 0 103.95/104.06 c 153 282 260.44 33.07 7.88 1000000 0 105.15/105.20 c 156 255 256.84 34.41 7.46 1000000 0 106.25/106.35 c 142 236 259.21 34.16 7.59 1000000 0 107.35/107.49 c 158 277 260.40 32.92 7.91 1000000 0 108.55/108.63 c 148 264 262.68 32.28 8.14 1000000 0 109.65/109.77 c 162 239 253.87 33.26 7.63 1000000 0 110.85/110.91 c 150 223 262.67 37.79 6.95 1000000 0 111.95/112.06 c 150 250 260.04 35.60 7.30 1000000 0 113.05/113.20 c 152 267 256.39 35.94 7.13 1000000 0 114.25/114.35 c 143 200 256.73 35.67 7.20 1000000 0 115.35/115.49 c 157 238 264.38 33.29 7.94 1000000 0 116.55/116.63 c 153 273 260.87 34.39 7.59 1000000 0 117.65/117.77 c 139 288 254.33 32.46 7.84 1000000 0 118.84/118.92 c 135 271 262.61 35.91 7.31 1000000 0 119.94/120.06 c 152 259 260.75 34.28 7.61 1000000 0 121.14/121.20 c 138 284 259.88 35.49 7.32 1000000 0 122.24/122.35 c 161 224 259.07 32.67 7.93 1000000 0 123.34/123.49 c 157 256 255.57 33.70 7.58 1000000 0 124.54/124.63 c 149 266 262.30 32.39 8.10 1000000 0 125.64/125.77 c 153 302 260.90 34.87 7.48 1000000 0 126.84/126.92 c 152 233 259.04 35.24 7.35 1000000 0 127.94/128.06 c 135 241 256.60 34.86 7.36 1000000 0 129.14/129.21 c 161 313 261.00 34.82 7.50 1000000 0 130.24/130.35 c 158 258 260.39 32.70 7.96 1000000 0 131.34/131.49 c 137 264 262.81 35.12 7.48 1000000 0 132.54/132.64 c 155 253 260.66 34.23 7.62 1000000 0 133.64/133.78 c 162 241 258.12 30.37 8.50 1000000 0 134.84/134.92 c 149 232 263.87 35.54 7.42 1000000 0 135.94/136.07 c 152 319 260.45 33.92 7.68 1000000 0 137.14/137.21 c 141 289 259.09 35.23 7.36 1000000 0 138.24/138.36 c 158 307 260.22 34.64 7.51 1000000 0 139.43/139.50 c 148 318 257.58 32.22 7.99 1000000 0 140.53/140.65 c 162 266 261.83 32.87 7.96 1000000 0 141.63/141.79 c 153 246 256.65 35.47 7.24 1000000 0 142.84/142.93 c 122 247 258.21 35.96 7.18 1000000 0 143.94/144.08 c 151 294 260.58 33.56 7.76 1000000 0 145.14/145.22 c 157 234 264.84 32.83 8.07 1000000 0 146.24/146.37 c 147 321 265.62 36.29 7.32 1000000 0 147.43/147.51 c 132 242 256.92 32.18 7.98 1000000 0 148.53/148.65 c 152 262 256.63 32.25 7.96 1000000 0 149.63/149.80 c 145 306 262.66 34.37 7.64 1000000 0 150.83/150.94 c 138 286 254.81 32.93 7.74 1000000 0 151.93/152.08 c 146 213 260.54 34.37 7.58 1000000 0 153.13/153.23 c 128 278 258.36 31.89 8.10 1000000 0 154.23/154.37 c 147 249 261.20 33.44 7.81 1000000 0 155.43/155.51 c 151 249 260.11 35.58 7.31 1000000 0 156.53/156.65 c 127 264 254.18 34.43 7.38 1000000 0 157.73/157.80 c 147 218 257.70 32.61 7.90 1000000 0 158.83/158.94 c 158 271 261.56 33.90 7.72 1000000 0 159.92/160.09 c 162 231 258.19 34.41 7.50 1000000 0 161.12/161.24 c 139 217 258.81 35.05 7.38 1000000 0 162.22/162.38 c 130 263 258.02 36.87 7.00 1000000 0 163.42/163.52 c 138 224 258.17 34.97 7.38 1000000 0 164.52/164.66 c 157 294 264.56 35.50 7.45 1000000 0 165.72/165.80 c 151 311 259.63 32.16 8.07 1000000 0 166.82/166.94 c 154 222 259.37 35.87 7.23 1000000 0 167.92/168.09 c 156 241 258.41 35.24 7.33 1000000 0 169.12/169.24 c 129 362 261.34 35.78 7.30 1000000 0 170.22/170.38 c 154 225 258.90 33.16 7.81 1000000 0 171.43/171.52 c 163 280 257.35 31.85 8.08 1000000 0 172.53/172.66 c 141 285 259.70 33.05 7.86 1000000 0 173.73/173.81 c 151 231 263.81 34.62 7.62 1000000 0 174.82/174.95 c 156 253 255.49 34.52 7.40 1000000 0 176.02/176.10 c 144 317 258.39 32.21 8.02 1000000 0 177.12/177.24 c 152 302 259.97 34.40 7.56 1000000 0 178.22/178.38 c 155 155 261.25 33.09 7.89 1000000 0 179.42/179.53 c 151 252 253.30 32.93 7.69 1000000 0 180.52/180.67 c 153 276 261.84 35.93 7.29 1000000 0 181.72/181.81 c 155 232 261.86 33.95 7.71 1000000 0 182.82/182.95 c 131 199 260.75 33.95 7.68 1000000 0 183.92/184.09 c 154 295 258.12 37.65 6.86 1000000 0 185.11/185.24 c 147 277 259.62 33.73 7.70 1000000 0 186.21/186.38 c 153 256 261.37 35.25 7.41 1000000 0 187.41/187.52 c 138 231 259.66 34.15 7.60 1000000 0 188.51/188.66 c 126 239 256.48 33.99 7.55 1000000 0 189.71/189.81 c 154 267 259.84 32.76 7.93 1000000 0 190.81/190.95 c 144 237 255.96 32.74 7.82 1000000 0 191.91/192.09 c 145 265 258.02 34.58 7.46 1000000 0 193.11/193.23 c 147 241 263.31 33.91 7.76 1000000 0 194.21/194.38 c 160 222 261.81 33.62 7.79 1000000 0 195.41/195.52 c 159 279 264.14 31.87 8.29 1000000 0 196.51/196.66 c 149 232 256.02 32.98 7.76 1000000 0 197.71/197.81 c 149 265 256.86 31.05 8.27 1000000 0 198.81/198.95 c 132 230 257.51 33.66 7.65 1000000 0 199.91/200.09 c 143 221 258.87 33.04 7.84 1000000 0 201.11/201.23 c 144 306 257.92 36.48 7.07 1000000 0 202.21/202.38 c 153 303 263.30 36.44 7.22 1000000 0 203.42/203.52 c 152 185 258.75 34.31 7.54 1000000 0 204.51/204.67 c 149 269 263.56 33.00 7.99 1000000 0 205.71/205.81 c 160 314 264.39 34.67 7.63 1000000 0 206.81/206.95 c 144 274 261.27 33.38 7.83 1000000 0 207.90/208.09 c 156 251 260.00 32.89 7.91 1000000 0 209.11/209.23 c 151 259 262.04 32.85 7.98 1000000 0 210.20/210.38 c 149 232 262.37 33.27 7.89 1000000 0 211.40/211.52 c 127 266 254.50 32.30 7.88 1000000 0 212.50/212.67 c 155 223 259.56 35.16 7.38 1000000 0 213.70/213.81 c 147 230 262.41 35.37 7.42 1000000 0 214.80/214.95 c 127 219 260.80 35.33 7.38 1000000 0 215.90/216.09 c 154 324 259.81 33.93 7.66 1000000 0 217.10/217.24 c 158 254 262.44 33.09 7.93 1000000 0 218.20/218.38 c 153 281 259.06 34.10 7.60 1000000 0 219.40/219.52 c 156 242 261.22 34.54 7.56 1000000 0 220.50/220.66 c 160 255 257.95 31.77 8.12 1000000 0 221.70/221.80 c 153 264 257.84 34.12 7.56 1000000 0 222.80/222.95 c 149 265 257.66 33.44 7.71 1000000 0 223.90/224.09 c 147 296 259.73 34.19 7.60 1000000 0 225.10/225.24 c 153 259 259.71 33.82 7.68 1000000 0 226.20/226.38 c 152 281 261.03 36.74 7.10 1000000 0 227.40/227.53 c 150 287 263.42 35.71 7.38 1000000 0 228.50/228.67 c 140 303 259.01 35.32 7.33 1000000 0 229.70/229.81 c 162 307 260.93 34.00 7.67 1000000 0 230.80/230.95 c 130 227 258.01 34.06 7.57 1000000 0 231.90/232.10 c 141 300 259.27 35.19 7.37 1000000 0 233.10/233.24 c 150 274 259.55 33.13 7.83 1000000 0 234.20/234.38 c 129 234 256.75 33.83 7.59 1000000 0 235.39/235.53 c 152 209 262.03 35.41 7.40 1000000 0 236.49/236.67 c 148 218 258.99 35.02 7.40 1000000 0 237.69/237.81 c 150 260 258.86 37.36 6.93 1000000 0 238.79/238.96 c 156 307 260.49 34.08 7.64 1000000 0 239.89/240.10 c 144 208 257.65 32.71 7.88 1000000 0 241.09/241.24 c 153 214 257.67 33.13 7.78 1000000 0 242.19/242.38 c 153 335 263.18 36.74 7.16 1000000 0 243.39/243.52 c 166 211 260.04 34.66 7.50 1000000 0 244.49/244.67 c 151 224 258.24 35.35 7.31 1000000 0 245.69/245.81 c 141 265 261.66 34.19 7.65 1000000 0 246.79/246.95 c 149 218 259.80 33.57 7.74 1000000 0 247.99/248.10 c 155 285 261.58 34.89 7.50 1000000 0 249.09/249.25 c 141 227 257.12 32.30 7.96 1000000 0 250.19/250.39 c 141 298 257.56 33.92 7.59 1000000 0 251.39/251.53 c 145 177 260.24 35.76 7.28 1000000 0 252.49/252.68 c 142 278 261.44 35.62 7.34 1000000 0 253.69/253.82 c 147 223 260.13 33.58 7.75 1000000 0 254.79/254.97 c 146 178 260.80 32.65 7.99 1000000 0 255.99/256.11 c 148 235 257.10 33.23 7.74 1000000 0 257.09/257.25 c 153 221 259.08 33.62 7.71 1000000 0 258.19/258.39 c 142 248 258.72 34.24 7.55 1000000 0 259.40/259.53 c 151 308 259.99 35.42 7.34 1000000 0 260.50/260.68 c 152 359 266.94 34.01 7.85 1000000 0 261.70/261.82 c 145 271 261.10 33.48 7.80 1000000 0 262.80/262.96 c 131 300 263.89 34.75 7.59 1000000 0 263.99/264.11 c 138 248 262.45 35.83 7.32 1000000 0 265.09/265.25 c 158 280 257.33 34.21 7.52 1000000 0 266.29/266.40 c 145 305 259.47 34.36 7.55 1000000 0 267.39/267.54 c 150 249 257.64 34.08 7.56 1000000 0 268.49/268.68 c 146 256 259.64 32.95 7.88 1000000 0 269.69/269.83 c 164 311 256.84 33.31 7.71 1000000 0 270.78/270.97 c 147 313 261.16 38.16 6.84 1000000 0 271.98/272.11 c 138 248 255.66 35.26 7.25 1000000 0 273.08/273.25 c 128 320 259.41 33.79 7.68 1000000 0 274.18/274.39 c 136 272 258.92 33.91 7.64 1000000 0 275.39/275.53 c 153 234 259.28 34.13 7.60 1000000 0 276.48/276.67 c 146 238 260.01 33.71 7.71 1000000 0 277.68/277.82 c 147 249 258.62 33.30 7.77 1000000 0 278.78/278.96 c 157 267 261.61 34.77 7.52 1000000 0 279.98/280.11 c 151 266 263.49 31.01 8.50 1000000 0 281.08/281.25 c 137 265 257.91 33.95 7.60 1000000 0 282.18/282.39 c 151 267 260.89 34.62 7.54 1000000 0 283.38/283.54 c 138 248 257.06 34.42 7.47 1000000 0 284.48/284.68 c 158 265 262.96 33.33 7.89 1000000 0 285.68/285.82 c 146 269 261.68 36.94 7.08 1000000 0 286.78/286.97 c 141 240 257.84 33.92 7.60 1000000 0 287.98/288.11 c 157 308 258.64 33.35 7.76 1000000 0 289.08/289.25 c 159 240 263.58 34.89 7.55 1000000 0 290.18/290.39 c 144 277 257.58 33.62 7.66 1000000 0 291.38/291.54 c 153 218 260.08 32.15 8.09 1000000 0 292.48/292.68 c 155 224 259.66 32.45 8.00 1000000 0 293.67/293.82 c 157 253 259.85 33.76 7.70 1000000 0 294.77/294.96 c 159 266 261.07 35.25 7.41 1000000 0 295.97/296.11 c 135 257 256.92 34.45 7.46 1000000 0 297.07/297.25 c 128 288 264.32 33.95 7.79 1000000 0 298.17/298.39 c 149 233 263.86 33.72 7.82 1000000 0 299.37/299.53 c 149 243 257.22 34.85 7.38 1000000 0 300.47/300.68 c 153 190 262.30 36.10 7.27 1000000 0 301.67/301.82 c 149 248 261.43 33.87 7.72 1000000 0 302.77/302.96 c 152 230 257.29 34.47 7.46 1000000 0 303.97/304.11 c 152 230 263.75 32.38 8.15 1000000 0 305.07/305.25 c 147 290 259.12 33.12 7.82 1000000 0 306.17/306.39 c 161 243 260.51 36.25 7.19 1000000 0 307.37/307.54 c 151 321 259.28 33.41 7.76 1000000 0 308.47/308.68 c 157 280 259.07 34.20 7.57 1000000 0 309.67/309.83 c 144 223 260.22 35.09 7.42 1000000 0 310.77/310.97 c 153 221 259.77 33.24 7.81 1000000 0 311.97/312.12 c 158 224 258.86 33.29 7.78 1000000 0 313.07/313.26 c 159 249 262.05 35.87 7.30 1000000 0 314.27/314.40 c 162 254 258.82 35.20 7.35 1000000 0 315.37/315.54 c 152 361 258.95 33.28 7.78 1000000 0 316.46/316.69 c 149 274 256.87 34.37 7.47 1000000 0 317.67/317.83 c 157 344 261.19 33.90 7.70 1000000 0 318.77/318.98 c 149 284 259.63 37.54 6.92 1000000 0 319.97/320.12 c 156 208 262.08 35.82 7.32 1000000 0 321.07/321.26 c 146 215 260.70 34.94 7.46 1000000 0 322.26/322.41 c 157 256 262.18 36.39 7.20 1000000 0 323.36/323.55 c 145 267 263.20 34.60 7.61 1000000 0 324.46/324.69 c 143 239 257.42 32.31 7.97 1000000 0 325.66/325.84 c 143 227 259.83 35.06 7.41 1000000 0 326.76/326.98 c 152 263 262.92 33.50 7.85 1000000 0 327.96/328.13 c 153 267 258.87 33.24 7.79 1000000 0 329.06/329.27 c 156 226 262.54 34.73 7.56 1000000 0 330.26/330.41 c 150 306 258.46 33.23 7.78 1000000 0 331.36/331.55 c 146 275 261.88 34.44 7.60 1000000 0 332.56/332.70 c 155 278 259.23 34.92 7.42 1000000 0 333.66/333.84 c 142 219 259.17 33.37 7.77 1000000 0 334.76/334.99 c 152 315 262.29 35.96 7.29 1000000 0 335.96/336.13 c 155 254 258.96 33.87 7.64 1000000 0 337.06/337.28 c 141 223 258.35 33.99 7.60 1000000 0 338.26/338.42 c 153 222 262.43 34.75 7.55 1000000 0 339.36/339.56 c 155 288 259.27 35.09 7.39 1000000 0 340.56/340.70 c 153 249 261.67 34.77 7.52 1000000 0 341.66/341.84 c 161 244 258.29 31.88 8.10 1000000 0 342.75/342.98 c 151 251 260.37 35.00 7.44 1000000 0 343.95/344.12 c 154 244 259.08 32.78 7.90 1000000 0 345.05/345.27 c 154 259 256.60 31.75 8.08 1000000 0 346.26/346.41 c 153 248 256.40 32.96 7.78 1000000 0 347.36/347.55 c 139 316 259.00 34.54 7.50 1000000 0 348.46/348.70 c 152 250 259.89 34.94 7.44 1000000 0 349.66/349.84 c 163 218 262.41 31.95 8.21 1000000 0 350.76/350.98 c 153 242 264.65 33.54 7.89 1000000 0 351.95/352.12 c 147 271 257.58 33.74 7.63 1000000 0 353.05/353.26 c 147 240 260.71 32.39 8.05 1000000 0 354.25/354.40 c 152 239 263.67 32.78 8.04 1000000 0 355.35/355.54 c 153 267 256.65 35.23 7.29 1000000 0 356.45/356.69 c 153 257 256.61 34.97 7.34 1000000 0 357.65/357.84 c 160 294 259.75 36.18 7.18 1000000 0 358.75/358.98 c 133 180 258.77 35.97 7.19 1000000 0 359.95/360.12 c 135 307 263.69 38.16 6.91 1000000 0 361.05/361.26 c 156 286 257.33 32.03 8.03 1000000 0 362.24/362.41 c 153 181 261.08 34.18 7.64 1000000 0 363.34/363.55 c 150 250 259.59 33.07 7.85 1000000 0 364.44/364.69 c 148 231 258.52 34.59 7.47 1000000 0 365.64/365.83 c 161 269 261.06 32.68 7.99 1000000 0 366.74/366.98 c 148 229 258.98 32.37 8.00 1000000 0 367.94/368.13 c 149 362 257.90 35.41 7.28 1000000 0 369.04/369.27 c 147 246 262.17 32.03 8.18 1000000 0 370.24/370.41 c 143 278 260.91 32.84 7.95 1000000 0 371.34/371.56 c 149 297 257.30 32.53 7.91 1000000 0 372.44/372.70 c 142 344 264.39 35.77 7.39 1000000 0 373.64/373.84 c 151 280 259.68 35.20 7.38 1000000 0 374.74/374.98 c 140 243 258.40 31.95 8.09 1000000 0 375.95/376.12 c 155 283 254.32 32.05 7.94 1000000 0 377.05/377.27 c 131 305 261.38 35.71 7.32 1000000 0 378.25/378.41 c 139 300 258.12 32.34 7.98 1000000 0 379.35/379.55 c 146 239 258.75 32.08 8.07 1000000 0 380.45/380.69 c 149 215 256.91 32.93 7.80 1000000 0 381.64/381.84 c 151 306 257.83 33.27 7.75 1000000 0 382.74/382.98 c 162 302 259.96 34.87 7.45 1000000 0 383.94/384.12 c 154 223 259.88 34.65 7.50 1000000 0 385.04/385.26 c 147 233 260.93 33.37 7.82 1000000 0 386.14/386.39 c 149 266 260.76 34.73 7.51 1000000 0 387.34/387.54 c 149 302 260.82 35.68 7.31 1000000 0 388.43/388.68 c 153 241 255.28 33.30 7.67 1000000 0 389.63/389.82 c 137 271 257.97 34.26 7.53 1000000 0 390.73/390.96 c 149 282 259.17 36.37 7.13 1000000 0 391.93/392.11 c 144 289 259.97 34.82 7.47 1000000 0 393.03/393.25 c 148 231 260.42 35.26 7.39 1000000 0 394.13/394.39 c 140 268 258.29 32.54 7.94 1000000 0 395.33/395.54 c 158 256 258.01 32.62 7.91 1000000 0 396.43/396.69 c 156 239 258.96 32.38 8.00 1000000 0 397.63/397.82 c 162 315 257.92 34.14 7.55 1000000 0 398.73/398.97 c 152 278 260.83 33.32 7.83 1000000 0 399.93/400.11 c 160 248 260.68 36.54 7.13 1000000 0 401.03/401.25 c 142 276 261.22 34.24 7.63 1000000 0 402.13/402.40 c 141 223 259.92 35.57 7.31 1000000 0 403.33/403.54 c 142 251 259.03 35.73 7.25 1000000 0 404.43/404.68 c 159 297 257.75 32.85 7.85 1000000 0 405.63/405.83 c 151 263 257.87 34.49 7.48 1000000 0 406.73/406.97 c 152 276 261.81 34.17 7.66 1000000 0 407.93/408.11 c 157 237 259.25 33.07 7.84 1000000 0 409.03/409.26 c 130 282 259.18 35.14 7.38 1000000 0 410.13/410.39 c 152 262 257.64 34.76 7.41 1000000 0 411.33/411.54 c 148 226 259.23 34.09 7.60 1000000 0 412.43/412.67 c 152 307 261.97 33.67 7.78 1000000 0 413.62/413.82 c 149 266 258.98 34.24 7.56 1000000 0 414.72/414.96 c 126 288 261.95 34.42 7.61 1000000 0 415.92/416.10 c 149 262 261.45 36.36 7.19 1000000 0 417.02/417.25 c 153 276 255.04 34.02 7.50 1000000 0 418.12/418.39 c 143 261 262.33 32.69 8.03 1000000 0 419.32/419.54 c 151 251 257.47 34.20 7.53 1000000 0 420.42/420.68 c 143 246 260.27 35.18 7.40 1000000 0 421.62/421.82 c 133 263 257.60 34.74 7.42 1000000 0 422.72/422.97 c 144 249 263.76 35.67 7.40 1000000 0 423.92/424.11 c 152 175 259.11 36.39 7.12 1000000 0 425.02/425.25 c 145 277 258.20 33.45 7.72 1000000 0 426.12/426.39 c 153 239 265.06 35.37 7.49 1000000 0 427.32/427.54 c 151 263 258.30 35.16 7.35 1000000 0 428.42/428.68 c 149 257 264.05 33.20 7.95 1000000 0 429.62/429.83 c 141 237 256.20 35.56 7.20 1000000 0 430.72/430.97 c 145 242 262.57 36.19 7.25 1000000 0 431.92/432.12 c 143 208 258.20 33.60 7.68 1000000 0 433.02/433.27 c 146 269 261.24 33.19 7.87 1000000 0 434.22/434.41 c 140 200 260.73 37.63 6.93 1000000 0 435.32/435.55 c 155 262 260.62 32.74 7.96 1000000 0 436.42/436.70 c 151 271 259.53 32.98 7.87 1000000 0 437.62/437.84 c 160 253 258.70 35.21 7.35 1000000 0 438.72/438.98 c 132 215 258.59 36.12 7.16 1000000 0 439.91/440.13 c 149 219 256.18 32.53 7.87 1000000 0 441.01/441.27 c 149 253 259.48 35.22 7.37 1000000 0 442.21/442.41 c 152 240 261.39 33.66 7.77 1000000 0 443.31/443.56 c 147 239 262.41 34.48 7.61 1000000 0 444.51/444.70 c 152 279 255.97 33.78 7.58 1000000 0 445.61/445.84 c 154 274 261.05 33.35 7.83 1000000 0 446.71/446.99 c 151 219 257.32 32.82 7.84 1000000 0 447.91/448.13 c 152 249 259.83 33.43 7.77 1000000 0 449.01/449.27 c 139 277 263.01 33.01 7.97 1000000 0 450.21/450.42 c 141 233 262.04 35.30 7.42 1000000 0 451.31/451.56 c 138 277 260.93 34.39 7.59 1000000 0 452.51/452.70 c 157 269 260.35 34.58 7.53 1000000 0 453.61/453.85 c 142 283 261.99 34.26 7.65 1000000 0 454.71/454.99 c 159 256 259.96 33.16 7.84 1000000 0 455.91/456.14 c 145 244 257.25 33.62 7.65 1000000 0 457.01/457.28 c 149 225 261.67 36.18 7.23 1000000 0 458.21/458.43 c 130 298 257.57 33.62 7.66 1000000 0 459.30/459.57 c 149 202 262.19 32.73 8.01 1000000 0 460.50/460.71 c 157 271 260.92 33.00 7.91 1000000 0 461.60/461.85 c 137 234 255.85 33.35 7.67 1000000 0 462.70/462.99 c 153 253 260.23 33.79 7.70 1000000 0 463.91/464.13 c 148 199 257.73 36.72 7.02 1000000 0 465.01/465.27 c 147 260 260.61 37.03 7.04 1000000 0 466.21/466.42 c 135 346 258.03 31.57 8.17 1000000 0 467.31/467.56 c 140 248 257.17 32.13 8.00 1000000 0 468.50/468.71 c 138 260 260.65 35.19 7.41 1000000 0 469.60/469.85 c 138 230 258.97 35.27 7.34 1000000 0 470.70/470.99 c 157 323 258.49 33.57 7.70 1000000 0 471.90/472.13 c 155 267 266.14 34.39 7.74 1000000 0 473.00/473.27 c 138 212 258.57 34.30 7.54 1000000 0 474.20/474.41 c 155 250 260.86 34.83 7.49 1000000 0 475.30/475.56 c 146 289 255.46 35.36 7.22 1000000 0 476.50/476.70 c 155 222 261.13 35.54 7.35 1000000 0 477.60/477.85 c 142 288 258.28 35.76 7.22 1000000 0 478.70/478.99 c 147 221 256.26 33.48 7.65 1000000 0 479.89/480.13 c 155 275 261.98 35.23 7.44 1000000 0 480.99/481.27 c 158 265 256.82 32.42 7.92 1000000 0 482.19/482.42 c 159 226 260.69 32.50 8.02 1000000 0 483.29/483.56 c 165 301 259.99 32.51 8.00 1000000 0 484.49/484.70 c 155 261 258.80 33.24 7.78 1000000 0 485.59/485.84 c 149 264 262.16 33.77 7.76 1000000 0 486.69/486.99 c 152 269 256.36 34.26 7.48 1000000 0 487.89/488.13 c 161 342 257.59 32.73 7.87 1000000 0 488.99/489.27 c 157 277 258.83 34.64 7.47 1000000 0 490.19/490.41 c 141 250 259.10 34.15 7.59 1000000 0 491.29/491.55 c 160 266 257.23 30.69 8.38 1000000 0 492.39/492.69 c 133 221 260.93 33.45 7.80 1000000 0 493.60/493.84 c 134 185 256.60 33.12 7.75 1000000 0 494.69/494.98 c 147 259 259.34 33.92 7.65 1000000 0 495.89/496.13 c 152 291 256.84 33.18 7.74 1000000 0 496.99/497.27 c 134 245 259.29 32.56 7.96 1000000 0 498.19/498.41 c 132 306 258.02 32.26 8.00 1000000 0 499.28/499.55 c 147 203 260.80 35.34 7.38 1000000 0 500.48/500.70 c 138 215 258.48 33.55 7.70 1000000 0 501.58/501.84 c 141 254 258.57 34.63 7.47 1000000 0 502.68/502.98 c 132 238 259.45 32.38 8.01 1000000 0 503.88/504.13 c 160 265 257.53 34.39 7.49 1000000 0 504.98/505.27 c 159 302 258.32 33.25 7.77 1000000 0 506.18/506.41 c 150 244 260.07 33.91 7.67 1000000 0 507.28/507.55 c 145 212 261.41 34.94 7.48 1000000 0 508.38/508.69 c 155 264 259.64 32.66 7.95 1000000 0 509.58/509.84 c 145 261 260.87 33.41 7.81 1000000 0 510.68/510.98 c 144 224 257.32 32.99 7.80 1000000 0 511.88/512.12 c 148 262 263.28 35.36 7.45 1000000 0 512.98/513.26 c 141 284 256.43 36.99 6.93 1000000 0 514.18/514.40 c 140 192 256.47 35.42 7.24 1000000 0 515.28/515.54 c 141 251 258.35 35.99 7.18 1000000 0 516.38/516.68 c 159 196 262.00 32.76 8.00 1000000 0 517.58/517.83 c 147 205 258.21 32.42 7.96 1000000 0 518.68/518.97 c 160 230 264.76 36.47 7.26 1000000 0 519.87/520.12 c 149 257 264.09 37.75 7.00 1000000 0 520.97/521.26 c 162 243 260.21 34.54 7.53 1000000 0 522.18/522.41 c 152 259 258.54 34.85 7.42 1000000 0 523.28/523.55 c 130 209 255.54 33.83 7.55 1000000 0 524.39/524.70 c 151 287 261.26 36.87 7.09 1000000 0 525.59/525.84 c 144 270 260.40 33.91 7.68 1000000 0 526.69/526.98 c 154 237 261.13 32.96 7.92 1000000 0 527.88/528.13 c 144 252 257.28 33.72 7.63 1000000 0 528.98/529.27 c 158 298 256.99 31.06 8.27 1000000 0 530.18/530.41 c 143 271 256.44 33.79 7.59 1000000 0 531.28/531.55 c 156 263 261.59 34.92 7.49 1000000 0 532.48/532.70 c 147 243 262.77 36.31 7.24 1000000 0 533.58/533.84 c 150 249 260.43 33.10 7.87 1000000 0 534.68/534.98 c 157 300 260.64 33.37 7.81 1000000 0 535.88/536.12 c 151 199 257.53 32.17 8.00 1000000 0 536.98/537.27 c 152 216 260.66 35.54 7.33 1000000 0 538.18/538.41 c 155 297 259.24 33.98 7.63 1000000 0 539.28/539.55 c 156 276 258.53 33.42 7.74 1000000 0 540.38/540.69 c 151 289 256.87 33.00 7.78 1000000 0 541.58/541.84 c 144 365 258.69 35.88 7.21 1000000 0 542.68/542.98 c 152 215 256.55 34.01 7.54 1000000 0 543.88/544.12 c 155 257 260.32 35.15 7.41 1000000 0 544.98/545.27 c 156 272 255.84 33.11 7.73 1000000 0 546.17/546.41 c 146 239 262.31 33.96 7.72 1000000 0 547.27/547.55 c 150 262 258.58 35.36 7.31 1000000 0 548.37/548.70 c 159 266 258.56 32.39 7.98 1000000 0 549.57/549.84 c 153 234 259.21 31.81 8.15 1000000 0 550.67/550.98 c 154 282 261.99 32.88 7.97 1000000 0 551.88/552.12 c 150 208 259.17 34.31 7.55 1000000 0 552.98/553.26 c 158 242 258.84 34.33 7.54 1000000 0 554.18/554.41 c 135 249 262.64 35.63 7.37 1000000 0 555.28/555.55 c 162 229 263.28 36.42 7.23 1000000 0 556.38/556.69 c 155 281 261.43 32.38 8.07 1000000 0 557.56/557.84 c 133 304 260.64 34.18 7.63 1000000 0 558.66/558.99 c 157 253 257.12 33.50 7.68 1000000 0 559.86/560.13 c 160 275 260.02 32.77 7.93 1000000 0 560.96/561.27 c 154 210 259.98 31.45 8.27 1000000 0 562.16/562.42 c 150 268 263.33 33.84 7.78 1000000 0 563.26/563.56 c 148 252 262.70 37.82 6.95 1000000 0 564.46/564.71 c 153 263 261.91 32.34 8.10 1000000 0 565.56/565.85 c 151 311 261.36 33.95 7.70 1000000 0 566.66/566.99 c 148 336 260.05 33.67 7.72 1000000 0 567.86/568.13 c 157 276 258.53 33.21 7.78 1000000 0 568.96/569.27 c 149 308 255.63 33.49 7.63 1000000 0 570.16/570.42 c 159 279 262.93 34.74 7.57 1000000 0 571.26/571.56 c 127 244 260.82 32.99 7.91 1000000 0 572.46/572.71 c 154 259 258.51 32.70 7.91 1000000 0 573.56/573.85 c 148 234 261.53 33.79 7.74 1000000 0 574.66/574.99 c 154 248 256.90 34.32 7.48 1000000 0 575.85/576.14 c 146 268 256.25 32.75 7.82 1000000 0 576.95/577.28 c 141 248 263.14 35.60 7.39 1000000 0 578.15/578.43 c 139 266 261.97 35.48 7.38 1000000 0 579.25/579.57 c 139 255 260.56 32.98 7.90 1000000 0 580.46/580.72 c 153 247 255.45 32.35 7.90 1000000 0 581.56/581.86 c 156 207 259.42 34.38 7.55 1000000 0 582.76/583.01 c 154 268 264.30 33.34 7.93 1000000 0 583.86/584.15 c 136 242 259.56 35.46 7.32 1000000 0 584.96/585.29 c 152 250 259.65 34.85 7.45 1000000 0 586.15/586.43 c 148 238 259.66 31.90 8.14 1000000 0 587.25/587.58 c 138 237 258.70 32.84 7.88 1000000 0 588.45/588.72 c 140 206 258.69 35.55 7.28 1000000 0 589.55/589.87 c 159 322 259.48 32.93 7.88 1000000 0 590.75/591.01 c 140 229 260.12 33.27 7.82 1000000 0 591.85/592.16 c 155 278 260.89 35.43 7.36 1000000 0 593.05/593.30 c 154 363 257.16 34.02 7.56 1000000 0 594.15/594.44 c 166 256 263.81 32.82 8.04 1000000 0 595.25/595.58 c 140 228 262.24 35.73 7.34 1000000 0 596.45/596.73 c 149 248 258.47 34.07 7.59 1000000 0 597.55/597.87 c 134 286 252.32 31.96 7.90 1000000 0 598.75/599.01 c 130 284 257.87 34.97 7.37 1000000 0 599.85/600.15 c 157 245 259.09 32.17 8.05 1000000 0 601.05/601.30 c 139 279 263.97 36.84 7.17 1000000 0 602.15/602.44 c 162 277 260.95 34.71 7.52 1000000 0 603.25/603.58 c 121 290 260.86 36.75 7.10 1000000 0 604.45/604.73 c 153 229 259.90 35.63 7.29 1000000 0 605.55/605.87 c 145 257 260.51 36.04 7.23 1000000 0 606.74/607.01 c 143 293 262.63 36.57 7.18 1000000 0 607.84/608.16 c 138 275 263.18 35.59 7.39 1000000 0 608.94/609.30 c 141 195 258.02 34.16 7.55 1000000 0 610.15/610.44 c 142 308 258.52 36.15 7.15 1000000 0 611.25/611.58 c 152 239 259.75 33.76 7.69 1000000 0 612.45/612.73 c 159 260 259.45 33.61 7.72 1000000 0 613.55/613.87 c 139 196 252.72 34.74 7.27 1000000 0 614.74/615.01 c 148 211 263.28 37.30 7.06 1000000 0 615.84/616.15 c 119 180 263.20 36.04 7.30 1000000 0 617.04/617.30 c 152 225 259.45 33.93 7.65 1000000 0 618.14/618.44 c 157 205 258.02 32.72 7.89 1000000 0 619.24/619.59 c 146 246 259.69 34.60 7.51 1000000 0 620.44/620.73 c 142 271 258.41 33.02 7.83 1000000 0 621.54/621.87 c 153 221 261.72 34.71 7.54 1000000 0 622.74/623.02 c 149 322 260.19 32.12 8.10 1000000 0 623.84/624.16 c 141 238 258.76 33.25 7.78 1000000 0 625.04/625.30 c 148 253 257.34 34.50 7.46 1000000 0 626.14/626.45 c 163 283 262.05 31.86 8.22 1000000 0 627.24/627.59 c 151 246 261.91 33.67 7.78 1000000 0 628.44/628.73 c 147 248 256.62 34.29 7.48 1000000 0 629.54/629.88 c 157 324 261.53 34.27 7.63 1000000 0 630.74/631.02 c 147 173 260.78 34.43 7.58 1000000 0 631.83/632.17 c 145 295 263.25 35.51 7.41 1000000 0 633.03/633.31 c 155 324 263.99 33.39 7.91 1000000 0 634.13/634.45 c 159 254 263.46 33.26 7.92 1000000 0 635.23/635.60 c 145 267 257.20 36.10 7.13 1000000 0 636.43/636.74 c 146 227 257.95 33.80 7.63 1000000 0 637.53/637.88 c 118 231 260.51 34.51 7.55 1000000 0 638.74/639.02 c 149 248 259.69 32.87 7.90 1000000 0 639.84/640.17 c 148 224 255.80 32.50 7.87 1000000 0 641.04/641.31 c 168 304 262.80 32.78 8.02 1000000 0 642.14/642.45 c 166 266 260.93 34.30 7.61 1000000 0 643.24/643.59 c 147 257 261.33 32.03 8.16 1000000 0 644.43/644.73 c 161 257 260.36 32.68 7.97 1000000 0 645.53/645.88 c 148 271 256.10 31.48 8.14 1000000 0 646.73/647.02 c 124 249 262.82 36.82 7.14 1000000 0 647.83/648.16 c 160 200 259.64 32.87 7.90 1000000 0 649.03/649.30 c 145 289 262.03 36.35 7.21 1000000 0 650.13/650.45 c 152 235 264.79 35.82 7.39 1000000 0 651.23/651.59 c 154 332 261.46 34.07 7.67 1000000 0 652.42/652.73 c 143 257 259.62 33.40 7.77 1000000 0 653.52/653.88 c 151 271 262.24 38.19 6.87 1000000 0 654.72/655.01 c 156 233 266.33 36.22 7.35 1000000 0 655.82/656.16 c 147 282 261.77 32.31 8.10 1000000 0 656.92/657.29 c 153 263 259.48 33.46 7.76 1000000 0 658.12/658.44 c 144 271 259.12 33.05 7.84 1000000 0 659.22/659.58 c 144 221 255.90 32.84 7.79 1000000 0 660.42/660.72 c 155 253 261.22 33.04 7.91 1000000 0 661.52/661.86 c 153 320 257.51 34.06 7.56 1000000 0 662.72/663.01 c 164 201 259.73 32.98 7.87 1000000 0 663.82/664.15 c 137 309 257.75 32.45 7.94 1000000 0 665.02/665.30 c 155 225 259.89 32.89 7.90 1000000 0 666.12/666.44 c 126 219 261.45 34.85 7.50 1000000 0 667.22/667.58 c 136 268 260.11 35.25 7.38 1000000 0 668.42/668.73 c 145 289 262.92 32.46 8.10 1000000 0 669.52/669.87 c 164 219 259.25 34.97 7.41 1000000 0 670.73/671.02 c 149 230 261.23 32.00 8.16 1000000 0 671.82/672.16 c 162 218 260.43 34.22 7.61 1000000 0 673.02/673.30 c 137 280 253.73 33.06 7.67 1000000 0 674.12/674.45 c 141 240 255.40 32.91 7.76 1000000 0 675.22/675.59 c 153 280 260.55 32.62 7.99 1000000 0 676.42/676.74 c 148 242 263.35 33.12 7.95 1000000 0 677.51/677.88 c 165 285 259.28 33.59 7.72 1000000 0 678.71/679.02 c 154 248 258.83 35.04 7.39 1000000 0 679.81/680.16 c 142 291 257.87 35.33 7.30 1000000 0 681.01/681.30 c 125 233 255.53 36.20 7.06 1000000 0 682.11/682.44 c 156 278 262.72 36.57 7.18 1000000 0 683.21/683.58 c 156 254 259.09 32.36 8.01 1000000 0 684.41/684.73 c 138 304 263.07 36.97 7.12 1000000 0 685.51/685.87 c 141 286 260.99 34.05 7.66 1000000 0 686.71/687.01 c 152 259 260.65 34.97 7.45 1000000 0 687.81/688.16 c 160 271 255.88 32.64 7.84 1000000 0 689.01/689.30 c 154 301 259.92 32.21 8.07 1000000 0 690.11/690.44 c 147 285 254.96 34.30 7.43 1000000 0 691.21/691.58 c 164 266 262.90 32.11 8.19 1000000 0 692.41/692.73 c 153 276 259.24 32.46 7.99 1000000 0 693.51/693.86 c 142 265 261.16 36.13 7.23 1000000 0 694.71/695.01 c 154 248 257.03 32.60 7.88 1000000 0 695.81/696.15 c 147 219 261.24 36.77 7.10 1000000 0 696.91/697.29 c 138 247 254.60 33.18 7.67 1000000 0 698.11/698.43 c 156 248 262.27 34.87 7.52 1000000 0 699.21/699.58 c 152 179 257.59 33.00 7.81 1000000 0 700.41/700.72 c 139 259 260.78 35.55 7.34 1000000 0 701.51/701.86 c 147 226 257.88 34.67 7.44 1000000 0 702.70/703.00 c 151 227 259.04 34.21 7.57 1000000 0 703.80/704.15 c 155 226 262.80 35.26 7.45 1000000 0 704.90/705.29 c 152 247 259.85 31.26 8.31 1000000 0 706.10/706.43 c 154 223 262.91 35.81 7.34 1000000 0 707.20/707.57 c 149 236 260.40 33.11 7.86 1000000 0 708.40/708.72 c 133 246 258.38 34.35 7.52 1000000 0 709.50/709.86 c 143 294 258.34 35.80 7.22 1000000 0 710.70/711.00 c 148 253 258.32 33.74 7.66 1000000 0 711.80/712.14 c 151 192 259.25 34.39 7.54 1000000 0 712.90/713.28 c 160 292 262.12 34.84 7.52 1000000 0 714.10/714.43 c 158 235 257.80 32.23 8.00 1000000 0 715.20/715.57 c 148 295 254.11 35.17 7.22 1000000 0 716.40/716.71 c 137 261 261.67 35.04 7.47 1000000 0 717.49/717.86 c 148 297 259.14 34.75 7.46 1000000 0 718.69/719.00 c 154 276 260.00 34.22 7.60 1000000 0 719.79/720.14 c 153 267 258.23 34.23 7.54 1000000 0 720.89/721.29 c 150 266 262.07 34.47 7.60 1000000 0 722.10/722.43 c 149 273 261.96 35.58 7.36 1000000 0 723.19/723.58 c 148 229 257.84 34.16 7.55 1000000 0 724.39/724.73 c 135 242 261.70 34.70 7.54 1000000 0 725.49/725.87 c 144 263 267.20 36.14 7.39 1000000 0 726.70/727.01 c 162 266 261.81 36.15 7.24 1000000 0 727.80/728.16 c 147 260 262.17 33.88 7.74 1000000 0 728.90/729.30 c 146 255 253.72 32.61 7.78 1000000 0 730.10/730.45 c 151 249 258.97 33.36 7.76 1000000 0 731.20/731.59 c 161 164 261.87 32.09 8.16 1000000 0 732.39/732.74 c 162 278 262.06 36.50 7.18 1000000 0 733.49/733.88 c 157 318 259.54 30.91 8.40 1000000 0 734.69/735.02 c 137 301 258.72 33.66 7.69 1000000 0 735.79/736.16 c 145 302 259.01 34.81 7.44 1000000 0 736.99/737.31 c 150 268 262.97 34.26 7.68 1000000 0 738.09/738.45 c 144 282 260.63 34.71 7.51 1000000 0 739.19/739.59 c 148 298 254.66 33.82 7.53 1000000 0 740.39/740.73 c 144 279 259.20 33.78 7.67 1000000 0 741.49/741.87 c 132 298 258.77 34.63 7.47 1000000 0 742.69/743.02 c 148 258 258.33 34.80 7.42 1000000 0 743.78/744.16 c 138 250 257.46 35.27 7.30 1000000 0 744.98/745.30 c 132 278 260.50 33.20 7.85 1000000 0 746.08/746.45 c 139 258 260.32 34.12 7.63 1000000 0 747.18/747.59 c 148 230 260.19 36.29 7.17 1000000 0 748.38/748.73 c 137 222 260.61 35.18 7.41 1000000 0 749.48/749.88 c 159 222 263.72 35.32 7.47 1000000 0 750.68/751.02 c 156 220 260.00 34.23 7.60 1000000 0 751.78/752.16 c 154 269 258.20 32.14 8.03 1000000 0 752.98/753.31 c 147 288 258.94 33.34 7.77 1000000 0 754.08/754.45 c 150 228 257.55 34.49 7.47 1000000 0 755.18/755.59 c 142 299 259.63 34.90 7.44 1000000 0 756.39/756.74 c 162 342 264.93 33.58 7.89 1000000 0 757.49/757.88 c 156 331 260.11 33.65 7.73 1000000 0 758.68/759.02 c 159 257 258.96 33.72 7.68 1000000 0 759.78/760.16 c 157 304 262.40 35.20 7.46 1000000 0 760.98/761.30 c 151 259 255.62 33.37 7.66 1000000 0 762.08/762.45 c 146 255 263.61 34.97 7.54 1000000 0 763.17/763.59 c 151 296 257.29 34.00 7.57 1000000 0 764.37/764.73 c 146 230 261.81 35.14 7.45 1000000 0 765.47/765.87 c 132 254 257.40 37.10 6.94 1000000 0 766.67/767.01 c 151 206 263.77 34.75 7.59 1000000 0 767.77/768.16 c 153 213 260.26 32.63 7.98 1000000 0 768.97/769.30 c 152 270 260.21 34.26 7.60 1000000 0 770.07/770.45 c 150 234 260.80 36.39 7.17 1000000 0 771.17/771.59 c 147 275 259.86 33.53 7.75 1000000 0 772.37/772.73 c 139 292 257.11 33.72 7.62 1000000 0 773.47/773.88 c 152 227 259.36 33.34 7.78 1000000 0 774.67/775.02 c 148 244 259.03 33.99 7.62 1000000 0 775.77/776.17 c 159 265 260.81 33.01 7.90 1000000 0 776.97/777.31 c 144 242 263.65 38.04 6.93 1000000 0 778.07/778.45 c 154 270 255.92 31.07 8.24 1000000 0 779.17/779.60 c 136 282 256.83 33.23 7.73 1000000 0 780.37/780.74 c 151 240 264.88 34.74 7.62 1000000 0 781.47/781.88 c 146 267 258.14 33.42 7.72 1000000 0 782.67/783.02 c 154 262 256.74 32.37 7.93 1000000 0 783.77/784.17 c 157 223 259.53 33.83 7.67 1000000 0 784.97/785.30 c 163 305 263.56 38.09 6.92 1000000 0 786.07/786.45 c 158 270 261.36 33.54 7.79 1000000 0 787.17/787.59 c 139 257 260.05 34.01 7.65 1000000 0 788.37/788.73 c 158 244 256.51 34.34 7.47 1000000 0 789.47/789.87 c 148 281 261.24 35.06 7.45 1000000 0 790.66/791.01 c 152 252 259.87 32.89 7.90 1000000 0 791.76/792.15 c 130 236 254.76 35.21 7.24 1000000 0 792.86/793.29 c 143 239 258.85 34.35 7.54 1000000 0 794.06/794.43 c 143 325 262.25 32.11 8.17 1000000 0 795.16/795.58 c 148 240 260.73 33.71 7.73 1000000 0 796.36/796.72 c 139 189 256.23 33.75 7.59 1000000 0 797.46/797.86 c 162 342 260.03 33.71 7.71 1000000 0 798.66/799.01 c 143 240 254.95 33.68 7.57 1000000 0 799.76/800.15 c 162 281 263.61 33.56 7.86 1000000 0 800.86/801.29 c 138 246 260.41 33.62 7.74 1000000 0 802.06/802.44 c 142 269 258.32 34.93 7.40 1000000 0 803.16/803.58 c 160 268 255.98 34.93 7.33 1000000 0 804.36/804.72 c 157 325 262.26 33.91 7.73 1000000 0 805.46/805.86 c 156 210 264.92 33.88 7.82 1000000 0 806.66/807.01 c 132 320 259.91 31.41 8.28 1000000 0 807.76/808.15 c 148 231 259.89 34.38 7.56 1000000 0 808.86/809.30 c 150 286 259.18 34.04 7.61 1000000 0 810.05/810.44 c 156 233 262.31 33.25 7.89 1000000 0 811.15/811.58 c 150 245 260.54 33.23 7.84 1000000 0 812.35/812.72 c 124 207 256.64 32.61 7.87 1000000 0 813.45/813.86 c 161 281 258.88 32.57 7.95 1000000 0 814.55/815.00 c 141 286 264.57 35.98 7.35 1000000 0 815.76/816.14 c 145 341 261.08 33.63 7.76 1000000 0 816.86/817.29 c 142 294 261.33 33.11 7.89 1000000 0 818.06/818.43 c 140 289 258.38 34.00 7.60 1000000 0 819.16/819.57 c 163 249 262.62 34.69 7.57 1000000 0 820.35/820.72 c 121 285 258.35 34.35 7.52 1000000 0 821.46/821.86 c 158 310 255.81 31.09 8.23 1000000 0 822.66/823.01 c 158 267 262.72 34.61 7.59 1000000 0 823.76/824.15 c 136 248 256.16 35.56 7.20 1000000 0 824.86/825.29 c 145 198 259.75 35.69 7.28 1000000 0 826.05/826.43 c 155 202 259.30 36.80 7.05 1000000 0 827.15/827.57 c 156 242 259.07 35.37 7.33 1000000 0 828.36/828.71 c 148 276 258.77 35.74 7.24 1000000 0 829.45/829.85 c 136 314 257.52 31.49 8.18 1000000 0 830.55/830.99 c 144 242 261.51 36.40 7.19 1000000 0 831.75/832.13 c 145 313 260.04 35.52 7.32 1000000 0 832.85/833.27 c 144 264 256.06 34.97 7.32 1000000 0 834.05/834.41 c 148 204 263.56 36.89 7.15 1000000 0 835.15/835.56 c 157 231 260.69 35.66 7.31 1000000 0 836.35/836.70 c 156 303 258.12 34.67 7.45 1000000 0 837.45/837.85 c 127 236 257.99 33.62 7.67 1000000 0 838.55/838.99 c 143 257 263.17 34.57 7.61 1000000 0 839.75/840.13 c 138 221 256.95 34.96 7.35 1000000 0 840.85/841.28 c 136 268 260.28 33.03 7.88 1000000 0 842.05/842.42 c 135 253 259.18 32.28 8.03 1000000 0 843.15/843.56 c 144 207 261.10 34.69 7.53 1000000 0 844.35/844.71 c 140 322 264.04 33.94 7.78 1000000 0 845.45/845.85 c 160 226 257.48 32.44 7.94 1000000 0 846.55/846.99 c 162 275 259.31 33.18 7.82 1000000 0 847.75/848.14 c 151 282 258.70 33.61 7.70 1000000 0 848.85/849.28 c 151 239 262.32 36.78 7.13 1000000 0 850.04/850.42 c 147 264 262.86 37.98 6.92 1000000 0 851.14/851.57 c 160 245 260.91 33.22 7.85 1000000 0 852.34/852.71 c 157 218 257.91 32.91 7.84 1000000 0 853.44/853.86 c 149 290 260.77 34.08 7.65 1000000 0 854.64/855.00 c 137 265 260.10 32.99 7.88 1000000 0 855.74/856.14 c 136 316 258.53 33.78 7.65 1000000 0 856.84/857.28 c 151 230 263.07 35.68 7.37 1000000 0 858.04/858.43 c 157 260 259.81 31.83 8.16 1000000 0 859.14/859.57 c 127 304 260.34 34.53 7.54 1000000 0 860.34/860.72 c 147 233 263.27 34.94 7.54 1000000 0 861.44/861.86 c 150 236 256.85 33.56 7.65 1000000 0 862.64/863.00 c 145 244 258.50 37.35 6.92 1000000 0 863.74/864.15 c 141 282 262.14 36.65 7.15 1000000 0 864.84/865.29 c 156 290 263.31 34.20 7.70 1000000 0 866.04/866.43 c 147 284 259.81 31.90 8.14 1000000 0 867.14/867.58 c 141 220 262.56 32.48 8.08 1000000 0 868.34/868.72 c 151 220 258.16 31.93 8.09 1000000 0 869.44/869.86 c 151 256 260.77 34.57 7.54 1000000 0 870.63/871.00 c 155 225 261.77 33.03 7.93 1000000 0 871.73/872.15 c 140 225 259.38 32.84 7.90 1000000 0 872.83/873.29 c 145 216 258.18 32.45 7.96 1000000 0 874.04/874.44 c 143 274 261.92 33.47 7.83 1000000 0 875.14/875.58 c 147 289 261.97 36.86 7.11 1000000 0 876.34/876.72 c 143 298 258.40 34.45 7.50 1000000 0 877.44/877.87 c 146 189 261.30 35.66 7.33 1000000 0 878.63/879.02 c 145 261 260.81 30.81 8.47 1000000 0 879.73/880.16 c 157 278 263.27 32.47 8.11 1000000 0 880.93/881.30 c 131 253 257.26 36.85 6.98 1000000 0 882.03/882.44 c 142 256 259.01 34.68 7.47 1000000 0 883.13/883.59 c 151 229 260.40 33.12 7.86 1000000 0 884.33/884.73 c 148 247 260.43 32.66 7.97 1000000 0 885.43/885.88 c 141 287 258.61 32.82 7.88 1000000 0 886.63/887.02 c 147 224 264.31 36.47 7.25 1000000 0 887.73/888.16 c 142 245 258.96 33.39 7.75 1000000 0 888.93/889.31 c 147 213 260.82 34.04 7.66 1000000 0 890.03/890.45 c 148 295 259.52 33.81 7.68 1000000 0 891.12/891.60 c 137 193 262.04 35.71 7.34 1000000 0 892.32/892.74 c 140 274 262.36 34.77 7.55 1000000 0 893.42/893.88 c 148 221 256.45 33.85 7.58 1000000 0 894.63/895.02 c 161 304 261.06 32.97 7.92 1000000 0 895.72/896.16 c 158 241 260.94 33.05 7.89 1000000 0 896.92/897.30 c 153 284 261.17 37.45 6.97 1000000 0 898.02/898.44 c 151 279 259.69 33.02 7.86 1000000 0 899.12/899.58 c 143 258 258.40 35.59 7.26 1000000 0 900.32/900.72 c 146 258 261.44 34.46 7.59 1000000 0 901.42/901.86 c 130 239 255.53 32.69 7.82 1000000 0 902.63/903.01 c 154 278 260.73 32.50 8.02 1000000 0 903.73/904.15 c 149 282 256.52 33.86 7.58 1000000 0 904.83/905.29 c 160 281 259.31 32.50 7.98 1000000 0 906.03/906.43 c 147 261 261.69 34.75 7.53 1000000 0 907.13/907.57 c 151 231 259.78 33.64 7.72 1000000 0 908.32/908.71 c 136 323 258.09 33.89 7.62 1000000 0 909.42/909.85 c 144 199 257.39 33.68 7.64 1000000 0 910.62/911.00 c 143 274 257.56 39.14 6.58 1000000 0 911.72/912.14 c 136 285 263.68 33.51 7.87 1000000 0 912.82/913.28 c 148 283 261.82 33.48 7.82 1000000 0 914.02/914.43 c 145 338 260.71 33.56 7.77 1000000 0 915.12/915.56 c 152 271 258.21 33.17 7.78 1000000 0 916.31/916.71 c 156 258 261.72 34.49 7.59 1000000 0 917.41/917.85 c 151 279 259.58 34.79 7.46 1000000 0 918.61/919.00 c 159 288 262.63 34.68 7.57 1000000 0 919.71/920.14 c 141 300 261.51 35.19 7.43 1000000 0 920.81/921.28 c 150 236 257.20 33.46 7.69 1000000 0 922.01/922.42 c 156 299 260.56 34.10 7.64 1000000 0 923.11/923.56 c 140 241 259.55 34.64 7.49 1000000 0 924.31/924.71 c 152 284 261.63 33.22 7.88 1000000 0 925.41/925.85 c 160 269 260.96 34.40 7.59 1000000 0 926.61/927.00 c 131 279 257.60 34.73 7.42 1000000 0 927.71/928.14 c 140 247 259.97 36.87 7.05 1000000 0 928.81/929.28 c 162 271 263.28 35.41 7.43 1000000 0 930.01/930.42 c 159 282 259.89 33.85 7.68 1000000 0 931.11/931.57 c 144 313 257.28 33.90 7.59 1000000 0 932.31/932.71 c 157 289 258.71 33.78 7.66 1000000 0 933.41/933.86 c 137 310 256.93 35.68 7.20 1000000 0 934.51/935.00 c 154 214 264.92 33.20 7.98 1000000 0 935.71/936.14 c 148 210 258.04 35.11 7.35 1000000 0 936.81/937.28 c 135 310 259.92 35.69 7.28 1000000 0 938.00/938.42 c 143 217 261.73 33.32 7.85 1000000 0 939.10/939.57 c 135 260 258.90 34.08 7.60 1000000 0 940.30/940.72 c 157 219 262.51 33.67 7.80 1000000 0 941.40/941.86 c 143 295 259.90 34.06 7.63 1000000 0 942.60/943.00 c 160 296 259.65 32.57 7.97 1000000 0 943.70/944.14 c 147 230 256.62 32.40 7.92 1000000 0 944.80/945.28 c 161 302 262.42 33.82 7.76 1000000 0 946.00/946.43 c 145 232 262.13 35.09 7.47 1000000 0 947.10/947.57 c 159 307 257.65 31.84 8.09 1000000 0 948.30/948.71 c 143 299 261.97 34.55 7.58 1000000 0 949.40/949.85 c 136 254 261.09 33.95 7.69 1000000 0 950.50/951.00 c 141 311 256.78 33.61 7.64 1000000 0 951.70/952.14 c 157 263 261.15 32.74 7.98 1000000 0 952.80/953.28 c 144 224 259.01 32.31 8.02 1000000 0 953.99/954.42 c 152 197 259.11 37.16 6.97 1000000 0 955.09/955.57 c 152 265 257.21 31.21 8.24 1000000 0 956.29/956.72 c 151 264 261.02 33.39 7.82 1000000 0 957.39/957.86 c 140 231 255.91 33.28 7.69 1000000 0 958.59/959.01 c 146 278 259.93 34.69 7.49 1000000 0 959.69/960.14 c 154 277 259.39 32.26 8.04 1000000 0 960.79/961.29 c 129 334 261.81 37.10 7.06 1000000 0 961.99/962.43 c 142 300 260.17 34.33 7.58 1000000 0 963.09/963.57 c 162 253 260.66 33.84 7.70 1000000 0 964.30/964.71 c 149 242 257.24 33.61 7.65 1000000 0 965.40/965.86 c 157 252 257.99 33.57 7.69 1000000 0 966.59/967.01 c 145 241 263.28 34.98 7.53 1000000 0 967.68/968.14 c 140 277 258.08 32.02 8.06 1000000 0 968.78/969.28 c 120 215 259.03 38.15 6.79 1000000 0 969.98/970.43 c 141 255 262.98 34.66 7.59 1000000 0 971.08/971.57 c 163 260 259.00 33.17 7.81 1000000 0 972.28/972.71 c 155 249 261.11 35.81 7.29 1000000 0 973.38/973.85 c 141 225 262.04 34.16 7.67 1000000 0 974.58/975.00 c 137 258 259.10 35.83 7.23 1000000 0 975.68/976.14 c 145 262 258.41 35.27 7.33 1000000 0 976.78/977.28 c 146 263 258.35 31.48 8.21 1000000 0 977.98/978.42 c 155 243 263.98 31.79 8.30 1000000 0 979.08/979.57 c 157 283 263.92 33.52 7.87 1000000 0 980.28/980.71 c 157 278 260.19 33.52 7.76 1000000 0 981.39/981.86 c 129 254 260.32 33.33 7.81 1000000 0 982.59/983.00 c 163 276 260.13 32.53 8.00 1000000 0 983.69/984.14 c 134 268 257.16 35.26 7.29 1000000 0 984.79/985.28 c 135 193 260.03 34.61 7.51 1000000 0 985.99/986.42 c 153 330 262.36 36.62 7.16 1000000 0 987.08/987.57 c 151 251 260.67 35.94 7.25 1000000 0 988.28/988.71 c 145 294 260.57 31.63 8.24 1000000 0 989.38/989.85 c 146 179 256.07 32.48 7.88 1000000 0 990.48/991.00 c 152 297 260.38 33.84 7.70 1000000 0 991.69/992.14 c 154 318 258.55 33.05 7.82 1000000 0 992.79/993.28 c 146 259 259.08 33.97 7.63 1000000 0 993.99/994.42 c 159 229 259.85 32.51 7.99 1000000 0 995.09/995.56 c 149 272 258.57 33.89 7.63 1000000 0 996.28/996.71 c 150 242 257.30 35.11 7.33 1000000 0 997.38/997.85 c 147 248 262.71 34.11 7.70 1000000 0 998.48/998.99 c 154 289 257.16 32.22 7.98 1000000 0 999.68/1000.14 c 130 242 261.26 33.98 7.69 1000000 0 1000.78/1001.28 c 143 227 259.32 34.04 7.62 1000000 0 1001.98/1002.42 c 142 297 259.82 34.01 7.64 1000000 0 1003.08/1003.57 c 143 248 261.15 37.00 7.06 1000000 0 1004.28/1004.71 c 144 182 260.69 36.38 7.17 1000000 0 1005.38/1005.84 c 144 266 255.12 34.91 7.31 1000000 0 1006.48/1006.98 c 143 229 255.00 34.15 7.47 1000000 0 1007.68/1008.13 c 158 269 264.20 35.73 7.39 1000000 0 1008.78/1009.27 c 134 246 262.41 33.05 7.94 1000000 0 1009.98/1010.41 c 159 248 261.55 37.37 7.00 1000000 0 1011.08/1011.55 c 158 278 260.56 33.30 7.82 1000000 0 1012.18/1012.69 c 153 229 258.96 34.27 7.56 1000000 0 1013.37/1013.83 c 149 254 255.82 33.26 7.69 1000000 0 1014.47/1014.97 c 152 292 260.09 33.88 7.68 1000000 0 1015.67/1016.12 c 151 246 262.25 35.98 7.29 1000000 0 1016.77/1017.26 c 153 227 259.28 32.84 7.90 1000000 0 1017.97/1018.40 c 151 237 258.24 31.74 8.14 1000000 0 1019.07/1019.54 c 147 282 256.93 33.20 7.74 1000000 0 1020.17/1020.68 c 147 259 262.27 35.22 7.45 1000000 0 1021.38/1021.83 c 155 223 258.54 35.63 7.26 1000000 0 1022.48/1022.97 c 146 250 261.76 35.24 7.43 1000000 0 1023.68/1024.11 c 153 244 257.99 34.20 7.54 1000000 0 1024.78/1025.26 c 155 322 262.10 35.39 7.41 1000000 0 1025.97/1026.40 c 154 291 264.12 36.31 7.27 1000000 0 1027.07/1027.54 c 142 284 261.46 34.27 7.63 1000000 0 1028.17/1028.69 c 160 294 260.86 34.70 7.52 1000000 0 1029.37/1029.83 c 153 268 261.79 34.60 7.57 1000000 0 1030.47/1030.97 c 155 304 258.05 32.55 7.93 1000000 0 1031.67/1032.11 c 143 247 260.30 36.47 7.14 1000000 0 1032.77/1033.25 c 158 274 263.00 34.90 7.54 1000000 0 1033.96/1034.40 c 138 202 262.29 34.72 7.55 1000000 0 1035.06/1035.54 c 150 228 256.34 33.04 7.76 1000000 0 1036.16/1036.68 c 160 241 263.41 34.08 7.73 1000000 0 1037.36/1037.82 c 151 257 260.59 33.09 7.87 1000000 0 1038.46/1038.97 c 152 200 260.78 34.66 7.52 1000000 0 1039.66/1040.11 c 153 248 261.05 34.81 7.50 1000000 0 1040.76/1041.25 c 137 236 253.91 34.64 7.33 1000000 0 1041.86/1042.39 c 154 254 267.45 34.56 7.74 1000000 0 1043.06/1043.54 c 152 290 259.77 35.09 7.40 1000000 0 1044.16/1044.68 c 145 255 256.99 31.74 8.10 1000000 0 1045.36/1045.82 c 147 252 256.59 35.09 7.31 1000000 0 1046.46/1046.96 c 125 235 260.87 35.85 7.28 1000000 0 1047.66/1048.10 c 154 238 258.59 36.01 7.18 1000000 0 1048.76/1049.25 c 155 227 258.56 34.65 7.46 1000000 0 1049.86/1050.39 c 145 266 258.36 34.35 7.52 1000000 0 1051.06/1051.53 c 138 202 263.24 35.55 7.40 1000000 0 1052.17/1052.67 c 156 234 261.77 32.70 8.00 1000000 0 1053.36/1053.81 c 156 267 257.79 33.43 7.71 1000000 0 1054.46/1054.96 c 124 277 263.97 36.29 7.27 1000000 0 1055.66/1056.10 c 146 239 259.34 35.46 7.31 1000000 0 1056.76/1057.24 c 148 280 257.80 31.62 8.15 1000000 0 1057.85/1058.39 c 149 217 259.67 36.52 7.11 1000000 0 1059.05/1059.53 c 152 332 257.61 34.43 7.48 1000000 0 1060.15/1060.67 c 158 264 264.11 35.44 7.45 1000000 0 1061.35/1061.81 c 153 232 261.57 35.35 7.40 1000000 0 1062.45/1062.95 c 161 191 260.66 33.13 7.87 1000000 0 1063.55/1064.09 c 146 232 258.79 34.27 7.55 1000000 0 1064.75/1065.24 c 158 291 259.38 32.51 7.98 1000000 0 1065.85/1066.38 c 139 264 260.02 35.07 7.41 1000000 0 1067.05/1067.52 c 155 282 262.63 35.41 7.42 1000000 0 1068.15/1068.67 c 147 248 259.87 35.27 7.37 1000000 0 1069.35/1069.81 c 148 304 258.66 34.68 7.46 1000000 0 1070.45/1070.95 c 146 231 256.27 32.70 7.84 1000000 0 1071.55/1072.09 c 153 254 258.75 32.28 8.02 1000000 0 1072.75/1073.23 c 134 201 260.75 38.98 6.69 1000000 0 1073.85/1074.37 c 157 249 261.46 32.95 7.94 1000000 0 1075.05/1075.51 c 157 276 256.43 32.82 7.81 1000000 0 1076.15/1076.66 c 143 279 258.52 33.98 7.61 1000000 0 1077.35/1077.80 c 144 235 261.65 34.27 7.64 1000000 0 1078.45/1078.95 c 165 286 257.93 33.42 7.72 1000000 0 1079.54/1080.09 c 148 253 259.70 35.15 7.39 1000000 0 1080.75/1081.23 c 138 242 255.32 35.08 7.28 1000000 0 1081.85/1082.37 c 150 224 253.76 31.80 7.98 1000000 0 1083.05/1083.52 c 149 251 259.66 33.67 7.71 1000000 0 1084.15/1084.66 c 144 225 258.31 34.12 7.57 1000000 0 1085.34/1085.80 c 155 246 258.58 32.66 7.92 1000000 0 1086.44/1086.95 c 154 218 260.15 32.67 7.96 1000000 0 1087.54/1088.09 c 152 285 258.87 34.37 7.53 1000000 0 1088.74/1089.23 c 154 239 256.51 31.80 8.07 1000000 0 1089.84/1090.37 c 158 268 262.87 33.91 7.75 1000000 0 1091.04/1091.51 c 146 277 262.25 34.75 7.55 1000000 0 1092.14/1092.66 c 149 278 256.67 32.82 7.82 1000000 0 1093.34/1093.80 c 150 240 261.80 35.85 7.30 1000000 0 1094.44/1094.94 c 163 220 264.77 32.97 8.03 1000000 0 1095.54/1096.08 c 135 206 260.60 36.31 7.18 1000000 0 1096.74/1097.23 c 146 274 256.20 32.60 7.86 1000000 0 1097.84/1098.37 c 157 241 259.63 33.02 7.86 1000000 0 1099.03/1099.51 c 144 289 261.13 34.36 7.60 1000000 0 1100.13/1100.65 c 154 224 260.40 35.64 7.31 1000000 0 1101.23/1101.79 c 157 257 258.73 32.12 8.06 1000000 0 1102.43/1102.94 c 149 274 258.96 32.65 7.93 1000000 0 1103.53/1104.08 c 160 273 264.10 35.76 7.39 1000000 0 1104.73/1105.23 c 150 245 255.39 33.48 7.63 1000000 0 1105.83/1106.37 c 154 271 264.53 35.38 7.48 1000000 0 1107.03/1107.51 c 161 255 264.82 34.14 7.76 1000000 0 1108.13/1108.66 c 154 274 264.81 35.70 7.42 1000000 0 1109.23/1109.80 c 144 264 255.66 33.35 7.67 1000000 0 1110.43/1110.94 c 143 317 259.63 35.22 7.37 1000000 0 1111.53/1112.08 c 148 294 257.96 35.02 7.37 1000000 0 1112.73/1113.23 c 139 191 257.96 33.39 7.73 1000000 0 1113.83/1114.37 c 152 219 256.22 33.39 7.67 1000000 0 1115.03/1115.51 c 147 245 258.83 33.93 7.63 1000000 0 1116.13/1116.66 c 133 241 260.60 33.63 7.75 1000000 0 1117.32/1117.80 c 148 291 261.24 33.61 7.77 1000000 0 1118.42/1118.95 c 159 339 266.71 33.92 7.86 1000000 0 1119.62/1120.10 c 162 276 264.20 34.03 7.76 1000000 0 1120.72/1121.25 c 140 262 262.57 34.67 7.57 1000000 0 1121.82/1122.39 c 134 289 256.11 33.01 7.76 1000000 0 1123.02/1123.53 c 136 228 263.22 35.10 7.50 1000000 0 1124.12/1124.67 c 160 323 259.60 37.10 7.00 1000000 0 1125.32/1125.82 c 133 270 262.32 37.68 6.96 1000000 0 1126.42/1126.96 c 161 285 255.85 31.28 8.18 1000000 0 1127.62/1128.10 c 151 292 255.24 31.96 7.99 1000000 0 1128.72/1129.24 c 153 285 259.47 30.50 8.51 1000000 0 1129.82/1130.38 c 165 268 258.53 33.98 7.61 1000000 0 1131.02/1131.52 c 143 231 257.68 34.21 7.53 1000000 0 1132.12/1132.67 c 142 231 256.25 34.68 7.39 1000000 0 1133.32/1133.81 c 162 206 259.13 32.45 7.98 1000000 0 1134.41/1134.95 c 141 206 258.44 34.79 7.43 1000000 0 1135.51/1136.09 c 154 246 259.77 35.02 7.42 1000000 0 1136.71/1137.24 c 153 223 264.63 37.19 7.11 1000000 0 1137.81/1138.38 c 151 248 261.78 33.99 7.70 1000000 0 1139.02/1139.53 c 150 246 264.80 35.80 7.40 1000000 0 1140.12/1140.67 c 162 218 259.19 34.28 7.56 1000000 0 1141.32/1141.81 c 147 273 261.71 33.39 7.84 1000000 0 1142.42/1142.95 c 157 256 259.53 34.32 7.56 1000000 0 1143.52/1144.10 c 138 242 258.01 32.56 7.93 1000000 0 1144.71/1145.24 c 142 247 259.52 33.38 7.77 1000000 0 1145.81/1146.38 c 152 243 260.31 33.09 7.87 1000000 0 1147.01/1147.52 c 154 286 258.73 32.37 7.99 1000000 0 1148.11/1148.66 c 147 283 253.65 32.22 7.87 1000000 0 1149.31/1149.82 c 157 265 261.75 31.87 8.21 1000000 0 1150.41/1150.96 c 145 287 260.69 34.59 7.54 1000000 0 1151.61/1152.11 c 151 313 259.41 34.11 7.60 1000000 0 1152.71/1153.25 c 155 334 258.74 31.59 8.19 1000000 0 1153.81/1154.38 c 153 293 260.18 34.71 7.50 1000000 0 1155.01/1155.53 c 152 195 259.25 33.19 7.81 1000000 0 1156.11/1156.67 c 155 252 256.08 31.64 8.09 1000000 0 1157.31/1157.82 c 158 253 262.68 33.65 7.81 1000000 0 1158.41/1158.96 c 153 253 259.12 33.34 7.77 1000000 0 1159.60/1160.10 c 138 228 255.57 35.83 7.13 1000000 0 1160.70/1161.24 c 140 247 256.83 32.48 7.91 1000000 0 1161.80/1162.38 c 144 264 262.99 35.55 7.40 1000000 0 1163.00/1163.52 c 148 266 258.37 33.32 7.76 1000000 0 1164.10/1164.66 c 155 293 260.93 35.46 7.36 1000000 0 1165.30/1165.80 c 145 244 256.95 36.68 7.00 1000000 0 1166.40/1166.94 c 149 289 258.87 32.55 7.95 1000000 0 1167.50/1168.08 c 155 251 255.70 32.53 7.86 1000000 0 1168.71/1169.22 c 139 204 257.00 34.67 7.41 1000000 0 1169.81/1170.37 c 156 285 261.74 35.30 7.41 1000000 0 1171.01/1171.51 c 143 278 258.49 34.52 7.49 1000000 0 1172.11/1172.65 c 148 290 257.93 32.17 8.02 1000000 0 1173.21/1173.79 c 156 299 265.47 37.70 7.04 1000000 0 1174.40/1174.93 c 161 275 260.25 32.42 8.03 1000000 0 1175.50/1176.07 c 153 256 259.82 32.91 7.89 1000000 0 1176.70/1177.22 c 149 318 255.58 34.09 7.50 1000000 0 1177.79/1178.36 c 152 288 258.19 33.78 7.64 1000000 0 1178.99/1179.50 c 139 269 258.21 34.04 7.59 1000000 0 1180.09/1180.65 c 147 226 259.47 35.28 7.35 1000000 0 1181.19/1181.79 c 146 345 257.01 33.53 7.67 1000000 0 1182.39/1182.93 c 147 212 262.22 34.21 7.67 1000000 0 1183.49/1184.07 c 136 226 258.55 33.12 7.81 1000000 0 1184.69/1185.21 c 151 242 256.52 33.05 7.76 1000000 0 1185.79/1186.35 c 143 195 259.35 36.56 7.09 1000000 0 1186.89/1187.49 c 146 214 259.55 35.36 7.34 1000000 0 1188.09/1188.63 c 146 212 256.07 33.05 7.75 1000000 0 1189.19/1189.78 c 142 217 263.23 36.82 7.15 1000000 0 1190.39/1190.92 c 144 294 259.82 33.77 7.69 1000000 0 1191.49/1192.07 c 158 209 264.32 35.48 7.45 1000000 0 1192.69/1193.21 c 151 210 263.00 35.94 7.32 1000000 0 1193.79/1194.35 c 152 246 259.41 34.93 7.43 1000000 0 1194.99/1195.50 c 152 235 259.42 37.35 6.95 1000000 0 1196.10/1196.64 c 149 248 258.57 33.96 7.61 1000000 0 1197.20/1197.78 c 149 232 259.13 33.99 7.62 1000000 0 1198.40/1198.93 c 130 235 256.56 33.01 7.77 1000000 0 1199.50/1200.07 c 148 220 257.80 34.11 7.56 1000000 0 1200.70/1201.22 c 144 228 260.07 35.07 7.42 1000000 0 1201.80/1202.36 c 156 251 263.27 35.22 7.47 1000000 0 1202.99/1203.50 c 147 275 262.48 34.37 7.64 1000000 0 1204.09/1204.64 c 146 284 259.09 36.47 7.10 1000000 0 1205.19/1205.78 c 155 284 258.40 32.32 7.99 1000000 0 1206.39/1206.92 c 156 357 264.65 33.47 7.91 1000000 0 1207.49/1208.06 c 153 281 259.62 34.34 7.56 1000000 0 1208.69/1209.21 c 153 245 260.38 34.14 7.63 1000000 0 1209.79/1210.35 c 158 234 262.33 33.90 7.74 1000000 0 1210.99/1211.50 c 151 302 260.89 33.66 7.75 1000000 0 1212.09/1212.64 c 166 334 266.04 32.89 8.09 1000000 0 1213.19/1213.78 c 156 215 258.57 33.74 7.66 1000000 0 1214.39/1214.92 c 140 296 260.85 34.05 7.66 1000000 0 1215.49/1216.06 c 143 256 259.61 32.72 7.93 1000000 0 1216.69/1217.21 c 143 268 258.34 33.02 7.82 1000000 0 1217.79/1218.35 c 148 258 258.23 31.24 8.26 1000000 0 1218.89/1219.50 c 140 254 259.84 35.46 7.33 1000000 0 1220.09/1220.64 c 161 264 261.51 32.49 8.05 1000000 0 1221.19/1221.78 c 150 281 259.37 34.88 7.44 1000000 0 1222.39/1222.92 c 161 250 263.07 33.36 7.89 1000000 0 1223.49/1224.07 c 158 256 259.97 33.65 7.72 1000000 0 1224.69/1225.21 c 145 256 260.50 35.18 7.41 1000000 0 1225.78/1226.35 c 162 212 265.21 34.75 7.63 1000000 0 1226.88/1227.49 c 153 227 259.08 34.37 7.54 1000000 0 1228.09/1228.64 c 162 282 257.36 31.65 8.13 1000000 0 1229.19/1229.78 c 144 271 260.35 33.55 7.76 1000000 0 1230.39/1230.92 c 138 244 255.46 34.89 7.32 1000000 0 1231.49/1232.07 c 141 222 257.19 34.04 7.55 1000000 0 1232.68/1233.21 c 140 296 262.45 35.15 7.47 1000000 0 1233.78/1234.35 c 151 289 264.64 35.91 7.37 1000000 0 1234.88/1235.48 c 136 276 257.67 34.20 7.53 1000000 0 1236.08/1236.63 c 136 247 261.35 35.97 7.27 1000000 0 1237.18/1237.77 c 152 253 259.37 33.86 7.66 1000000 0 1238.38/1238.92 c 144 267 261.68 34.43 7.60 1000000 0 1239.48/1240.06 c 135 304 258.83 35.55 7.28 1000000 0 1240.68/1241.21 c 136 318 261.88 35.98 7.28 1000000 0 1241.78/1242.35 c 129 278 257.44 32.79 7.85 1000000 0 1242.88/1243.49 c 147 256 262.51 34.96 7.51 1000000 0 1244.08/1244.63 c 148 249 260.01 34.13 7.62 1000000 0 1245.18/1245.78 c 149 243 259.15 32.81 7.90 1000000 0 1246.37/1246.92 c 149 242 260.73 35.42 7.36 1000000 0 1247.47/1248.06 c 160 283 261.56 33.22 7.87 1000000 0 1248.67/1249.20 c 160 261 260.32 35.30 7.37 1000000 0 1249.77/1250.34 c 140 311 259.71 33.18 7.83 1000000 0 1250.87/1251.48 c 165 299 261.46 32.78 7.98 1000000 0 1252.07/1252.63 c 145 314 258.46 35.27 7.33 1000000 0 1253.17/1253.78 c 156 194 257.72 33.85 7.61 1000000 0 1254.37/1254.92 c 142 280 256.42 32.35 7.93 1000000 0 1255.47/1256.07 c 147 191 260.77 33.72 7.73 1000000 0 1256.68/1257.21 c 145 238 261.34 33.22 7.87 1000000 0 1257.78/1258.35 c 137 231 258.46 33.82 7.64 1000000 0 1258.88/1259.50 c 129 247 257.80 35.28 7.31 1000000 0 1260.08/1260.64 c 139 332 261.67 34.52 7.58 1000000 0 1261.17/1261.78 c 169 191 255.74 31.67 8.08 1000000 0 1262.37/1262.92 c 136 251 261.74 37.88 6.91 1000000 0 1263.47/1264.07 c 138 264 261.74 34.39 7.61 1000000 0 1264.67/1265.21 c 157 274 260.19 33.57 7.75 1000000 0 1265.77/1266.35 c 151 274 261.72 37.76 6.93 1000000 0 1266.87/1267.49 c 146 312 257.62 34.48 7.47 1000000 0 1268.07/1268.64 c 154 289 258.34 34.70 7.44 1000000 0 1269.17/1269.78 c 152 326 260.39 32.83 7.93 1000000 0 1270.36/1270.92 c 132 271 257.36 34.40 7.48 1000000 0 1271.46/1272.06 c 156 235 258.90 31.58 8.20 1000000 0 1272.66/1273.21 c 155 243 260.26 34.13 7.63 1000000 0 1273.76/1274.35 c 136 255 255.33 33.14 7.71 1000000 0 1274.96/1275.50 c 154 237 261.23 34.71 7.53 1000000 0 1276.06/1276.64 c 154 251 262.39 35.09 7.48 1000000 0 1277.16/1277.79 c 154 222 256.22 32.25 7.94 1000000 0 1278.36/1278.94 c 156 277 265.95 34.75 7.65 1000000 0 1279.46/1280.08 c 154 228 256.15 34.23 7.48 1000000 0 1280.66/1281.23 c 147 251 257.65 35.29 7.30 1000000 0 1281.76/1282.37 c 143 272 261.52 34.59 7.56 1000000 0 1282.96/1283.51 c 129 281 255.26 32.48 7.86 1000000 0 1284.06/1284.65 c 154 240 261.29 33.47 7.81 1000000 0 1285.16/1285.80 c 168 284 260.28 32.91 7.91 1000000 0 1286.36/1286.94 c 142 280 258.29 35.04 7.37 1000000 0 1287.46/1288.08 c 146 273 262.53 35.52 7.39 1000000 0 1288.66/1289.22 c 153 214 263.03 35.07 7.50 1000000 0 1289.76/1290.37 c 139 247 261.96 36.39 7.20 1000000 0 1290.95/1291.52 c 139 211 255.35 34.97 7.30 1000000 0 1292.05/1292.66 c 144 205 259.59 35.74 7.26 1000000 0 1293.25/1293.80 c 158 239 259.83 35.22 7.38 1000000 0 1294.35/1294.95 c 141 294 264.53 34.10 7.76 1000000 0 1295.45/1296.08 c 150 347 264.36 36.35 7.27 1000000 0 1296.65/1297.23 c 143 257 258.87 33.71 7.68 1000000 0 1297.75/1298.37 c 147 242 258.01 33.71 7.65 1000000 0 1298.95/1299.52 c 158 257 259.95 33.96 7.66 1000000 0 1300.05/1300.66 c 146 245 261.47 35.17 7.43 1000000 0 1301.25/1301.80 c 142 259 266.65 35.59 7.49 1000000 0 1302.35/1302.95 c 142 220 263.30 34.36 7.66 1000000 0 1303.45/1304.09 c 156 181 264.00 34.72 7.60 1000000 0 1304.65/1305.23 c 135 214 256.54 33.26 7.71 1000000 0 1305.75/1306.37 c 135 321 254.42 33.07 7.69 1000000 0 1306.95/1307.51 c 131 276 254.22 33.91 7.50 1000000 0 1308.05/1308.65 c 150 260 257.66 31.31 8.23 1000000 0 1309.25/1309.80 c 146 197 260.04 31.99 8.13 1000000 0 1310.35/1310.94 c 130 236 257.11 36.67 7.01 1000000 0 1311.45/1312.09 c 148 223 259.77 35.14 7.39 1000000 0 1312.65/1313.23 c 152 250 257.44 33.00 7.80 1000000 0 1313.75/1314.37 c 156 277 258.05 33.27 7.76 1000000 0 1314.95/1315.52 c 155 229 260.07 32.94 7.90 1000000 0 1316.05/1316.66 c 147 241 259.14 34.15 7.59 1000000 0 1317.25/1317.80 c 142 261 260.78 33.53 7.78 1000000 0 1318.35/1318.95 c 151 235 259.86 36.01 7.22 1000000 0 1319.45/1320.09 c 142 231 259.65 33.53 7.74 1000000 0 1320.64/1321.23 c 159 252 261.46 35.48 7.37 1000000 0 1321.74/1322.38 c 134 271 257.35 34.34 7.49 1000000 0 1322.94/1323.52 c 161 219 261.50 34.15 7.66 1000000 0 1324.04/1324.66 c 143 248 258.69 35.84 7.22 1000000 0 1325.24/1325.81 c 143 223 259.08 32.85 7.89 1000000 0 1326.34/1326.95 c 144 207 264.84 37.62 7.04 1000000 0 1327.44/1328.09 c 134 283 262.74 35.79 7.34 1000000 0 1328.64/1329.24 c 156 243 262.46 36.46 7.20 1000000 0 1329.74/1330.38 c 160 211 260.32 32.93 7.90 1000000 0 1330.94/1331.52 c 146 338 258.46 34.54 7.48 1000000 0 1332.04/1332.67 c 152 298 257.30 33.74 7.63 1000000 0 1333.24/1333.81 c 139 222 260.42 36.17 7.20 1000000 0 1334.34/1334.96 c 134 261 255.72 34.15 7.49 1000000 0 1335.54/1336.10 c 141 272 259.46 33.57 7.73 1000000 0 1336.64/1337.24 c 147 249 262.83 32.94 7.98 1000000 0 1337.73/1338.38 c 153 252 259.51 35.95 7.22 1000000 0 1338.93/1339.52 c 150 247 257.53 36.96 6.97 1000000 0 1340.03/1340.67 c 144 279 259.84 35.71 7.28 1000000 0 1341.24/1341.81 c 134 262 257.74 36.22 7.12 1000000 0 1342.33/1342.96 c 161 251 262.09 34.01 7.71 1000000 0 1343.43/1344.10 c 145 267 258.98 35.42 7.31 1000000 0 1344.64/1345.25 c 144 264 260.98 31.79 8.21 1000000 0 1345.74/1346.39 c 137 234 257.88 33.15 7.78 1000000 0 1346.94/1347.53 c 151 236 257.54 33.14 7.77 1000000 0 1348.04/1348.67 c 155 303 257.01 35.82 7.18 1000000 0 1349.23/1349.82 c 142 331 257.05 33.89 7.58 1000000 0 1350.33/1350.96 c 130 266 260.48 35.73 7.29 1000000 0 1351.53/1352.10 c 142 196 261.30 33.40 7.82 1000000 0 1352.63/1353.25 c 159 261 258.79 32.51 7.96 1000000 0 1353.73/1354.39 c 165 239 259.93 31.97 8.13 1000000 0 1354.93/1355.54 c 149 260 262.89 35.28 7.45 1000000 0 1356.03/1356.68 c 153 241 258.81 33.97 7.62 1000000 0 1357.23/1357.82 c 149 309 256.94 31.72 8.10 1000000 0 1358.33/1358.96 c 150 277 258.02 33.15 7.78 1000000 0 1359.53/1360.11 c 150 266 259.31 34.51 7.51 1000000 0 1360.63/1361.25 c 151 319 262.61 36.72 7.15 1000000 0 1361.72/1362.39 c 156 264 264.36 34.98 7.56 1000000 0 1362.92/1363.53 c 152 242 258.90 33.42 7.75 1000000 0 1364.02/1364.67 c 150 223 264.34 35.85 7.37 1000000 0 1365.22/1365.82 c 150 307 256.55 35.02 7.33 1000000 0 1366.32/1366.96 c 150 259 262.31 35.51 7.39 1000000 0 1367.52/1368.10 c 139 289 262.57 37.40 7.02 1000000 0 1368.62/1369.25 c 150 277 265.30 36.63 7.24 1000000 0 1369.72/1370.39 c 144 257 260.75 33.41 7.80 1000000 0 1370.92/1371.54 c 151 218 258.49 33.30 7.76 1000000 0 1372.02/1372.68 c 144 311 256.05 35.03 7.31 1000000 0 1373.23/1373.83 c 151 251 260.70 33.14 7.87 1000000 0 1374.33/1374.97 c 137 241 259.03 32.65 7.93 1000000 0 1375.53/1376.11 c 142 250 257.62 34.58 7.45 1000000 0 1376.63/1377.25 c 148 259 260.68 35.42 7.36 1000000 0 1377.72/1378.39 c 157 308 260.59 33.39 7.81 1000000 0 1378.92/1379.53 c 154 240 263.30 35.19 7.48 1000000 0 1380.02/1380.68 c 146 223 258.67 33.48 7.73 1000000 0 1381.22/1381.82 c 144 270 258.83 37.08 6.98 1000000 0 1382.32/1382.96 c 136 304 262.66 36.05 7.29 1000000 0 1383.51/1384.10 c 148 230 265.86 31.57 8.42 1000000 0 1384.61/1385.24 c 147 294 256.91 33.70 7.62 1000000 0 1385.71/1386.38 c 139 250 263.36 37.45 7.03 1000000 0 1386.92/1387.52 c 154 230 257.44 33.64 7.65 1000000 0 1388.01/1388.66 c 154 246 262.48 36.58 7.18 1000000 0 1389.21/1389.81 c 153 239 255.67 31.83 8.03 1000000 0 1390.31/1390.95 c 141 237 259.95 34.27 7.59 1000000 0 1391.41/1392.09 c 157 259 259.15 30.96 8.37 1000000 0 1392.61/1393.24 c 147 262 264.06 34.94 7.56 1000000 0 1393.71/1394.38 c 140 225 255.60 33.13 7.71 1000000 0 1394.91/1395.52 c 144 244 259.69 35.54 7.31 1000000 0 1396.01/1396.67 c 149 259 259.04 33.55 7.72 1000000 0 1397.21/1397.81 c 149 249 257.47 32.61 7.89 1000000 0 1398.31/1398.95 c 140 185 258.06 32.70 7.89 1000000 0 1399.51/1400.10 c 145 234 260.44 35.99 7.24 1000000 0 1400.61/1401.24 c 132 274 258.11 35.25 7.32 1000000 0 1401.71/1402.38 c 151 256 260.80 35.07 7.44 1000000 0 1402.91/1403.53 c 159 315 262.41 33.52 7.83 1000000 0 1404.01/1404.67 c 147 291 262.45 36.82 7.13 1000000 0 1405.21/1405.81 c 149 207 256.27 33.72 7.60 1000000 0 1406.31/1406.96 c 158 251 259.38 33.94 7.64 1000000 0 1407.51/1408.10 c 145 226 257.98 33.88 7.61 1000000 0 1408.60/1409.24 c 156 277 260.06 34.81 7.47 1000000 0 1409.70/1410.38 c 153 285 263.34 35.77 7.36 1000000 0 1410.90/1411.53 c 153 260 256.23 35.41 7.24 1000000 0 1412.00/1412.67 c 140 255 255.69 31.41 8.14 1000000 0 1413.20/1413.81 c 155 255 258.45 33.79 7.65 1000000 0 1414.30/1414.95 c 148 233 260.76 35.13 7.42 1000000 0 1415.40/1416.09 c 141 264 260.47 33.11 7.87 1000000 0 1416.60/1417.23 c 138 291 254.88 33.54 7.60 1000000 0 1417.70/1418.38 c 155 304 262.25 34.62 7.57 1000000 0 1418.90/1419.52 c 151 268 261.14 34.19 7.64 1000000 0 1420.00/1420.66 c 136 263 261.47 35.61 7.34 1000000 0 1421.20/1421.80 c 158 266 262.19 36.75 7.13 1000000 0 1422.30/1422.94 c 156 250 261.72 35.58 7.35 1000000 0 1423.40/1424.08 c 159 232 259.97 32.11 8.10 1000000 0 1424.60/1425.22 c 162 265 261.55 32.53 8.04 1000000 0 1425.70/1426.37 c 161 297 263.81 35.78 7.37 1000000 0 1426.90/1427.51 c 155 272 257.61 31.87 8.08 1000000 0 1428.00/1428.65 c 144 364 262.77 33.42 7.86 1000000 0 1429.10/1429.79 c 132 293 260.62 35.34 7.37 1000000 0 1430.30/1430.93 c 160 223 258.96 34.90 7.42 1000000 0 1431.40/1432.08 c 133 276 257.90 34.00 7.59 1000000 0 1432.60/1433.22 c 145 259 255.03 32.97 7.73 1000000 0 1433.70/1434.37 c 152 247 258.31 33.45 7.72 1000000 0 1434.90/1435.52 c 150 235 262.85 36.33 7.24 1000000 0 1436.00/1436.66 c 155 236 255.83 31.12 8.22 1000000 0 1437.19/1437.80 c 153 267 258.38 35.11 7.36 1000000 0 1438.29/1438.95 c 155 298 256.08 32.91 7.78 1000000 0 1439.39/1440.09 c 137 273 258.70 34.10 7.59 1000000 0 1440.59/1441.24 c 143 254 260.00 34.05 7.64 1000000 0 1441.69/1442.38 c 160 245 262.62 35.62 7.37 1000000 0 1442.89/1443.52 c 157 260 263.42 36.18 7.28 1000000 0 1443.99/1444.67 c 158 243 262.06 34.78 7.54 1000000 0 1445.20/1445.81 c 135 268 261.25 34.93 7.48 1000000 0 1446.30/1446.96 c 131 291 261.38 35.01 7.47 1000000 0 1447.49/1448.10 c 153 240 261.48 34.96 7.48 1000000 0 1448.59/1449.24 c 152 252 261.50 34.23 7.64 1000000 0 1449.69/1450.39 c 144 270 257.98 36.37 7.09 1000000 0 1450.89/1451.53 c 145 258 255.89 33.59 7.62 1000000 0 1451.99/1452.67 c 146 286 258.39 31.93 8.09 1000000 0 1453.19/1453.81 c 147 240 258.86 33.48 7.73 1000000 0 1454.29/1454.95 c 151 211 259.69 33.49 7.75 1000000 0 1455.49/1456.10 c 148 262 258.43 33.26 7.77 1000000 0 1456.59/1457.24 c 151 308 254.35 32.63 7.80 1000000 0 1457.69/1458.39 c 144 271 260.32 34.12 7.63 1000000 0 1458.89/1459.53 c 158 284 260.62 33.82 7.71 1000000 0 1459.99/1460.67 c 152 254 259.04 34.37 7.54 1000000 0 1461.20/1461.82 c 141 330 255.82 32.91 7.77 1000000 0 1462.30/1462.97 c 132 253 256.52 35.22 7.28 1000000 0 1463.50/1464.11 c 150 256 259.36 32.73 7.93 1000000 0 1464.60/1465.25 c 156 319 258.29 30.89 8.36 1000000 0 1465.70/1466.39 c 135 243 256.98 33.91 7.58 1000000 0 1466.89/1467.53 c 145 283 261.82 32.47 8.06 1000000 0 1467.99/1468.67 c 158 275 256.14 32.95 7.77 1000000 0 1469.19/1469.82 c 152 258 265.18 35.85 7.40 1000000 0 1470.28/1470.96 c 153 187 264.59 35.78 7.39 1000000 0 1471.48/1472.10 c 140 269 261.60 34.46 7.59 1000000 0 1472.58/1473.25 c 147 328 258.22 34.43 7.50 1000000 0 1473.68/1474.39 c 149 215 256.90 32.85 7.82 1000000 0 1474.88/1475.54 c 146 300 260.70 34.54 7.55 1000000 0 1475.98/1476.68 c 124 301 260.49 39.06 6.67 1000000 0 1477.18/1477.82 c 130 308 256.36 38.91 6.59 1000000 0 1478.28/1478.96 c 157 321 265.38 33.56 7.91 1000000 0 1479.48/1480.10 c 132 274 263.91 36.15 7.30 1000000 0 1480.58/1481.24 c 131 224 261.21 35.56 7.35 1000000 0 1481.68/1482.39 c 156 242 258.04 33.76 7.64 1000000 0 1482.88/1483.53 c 121 252 261.50 32.75 7.98 1000000 0 1483.98/1484.68 c 145 224 262.44 34.65 7.57 1000000 0 1485.18/1485.82 c 150 197 260.62 33.35 7.81 1000000 0 1486.28/1486.96 c 158 265 260.64 34.57 7.54 1000000 0 1487.48/1488.10 c 148 295 265.60 37.26 7.13 1000000 0 1488.58/1489.24 c 154 203 258.57 33.77 7.66 1000000 0 1489.68/1490.39 c 149 250 256.33 33.04 7.76 1000000 0 1490.88/1491.53 c 154 252 257.78 33.33 7.73 1000000 0 1491.98/1492.67 c 140 234 259.12 34.18 7.58 1000000 0 1493.18/1493.81 c 127 239 261.88 33.28 7.87 1000000 0 1494.28/1494.96 c 164 220 260.88 34.56 7.55 1000000 0 1495.47/1496.10 c 136 199 257.58 35.13 7.33 1000000 0 1496.57/1497.24 c 149 234 257.60 34.19 7.53 1000000 0 1497.67/1498.38 c 150 244 258.79 34.59 7.48 1000000 0 1498.87/1499.52 c 150 203 255.62 33.88 7.54 1000000 0 1499.97/1500.67 c 154 254 261.04 34.85 7.49 1000000 0 1501.17/1501.81 c 148 258 257.05 30.82 8.34 1000000 0 1502.27/1502.95 c 145 285 263.05 35.00 7.52 1000000 0 1503.37/1504.09 c 145 268 259.78 31.97 8.13 1000000 0 1504.57/1505.24 c 146 303 259.84 35.50 7.32 1000000 0 1505.67/1506.38 c 121 255 261.07 34.39 7.59 1000000 0 1506.87/1507.52 c 146 258 255.69 34.15 7.49 1000000 0 1507.97/1508.66 c 143 224 258.89 34.64 7.47 1000000 0 1509.17/1509.80 c 152 262 267.23 36.37 7.35 1000000 0 1510.27/1510.95 c 156 355 262.24 35.74 7.34 1000000 0 1511.37/1512.09 c 141 269 262.97 37.59 7.00 1000000 0 1512.57/1513.23 c 161 247 263.74 31.98 8.25 1000000 0 1513.67/1514.38 c 155 212 264.48 34.50 7.67 1000000 0 1514.87/1515.52 c 144 245 256.96 30.81 8.34 1000000 0 1515.97/1516.66 c 139 284 259.61 33.36 7.78 1000000 0 1517.17/1517.80 c 137 280 262.39 36.09 7.27 1000000 0 1518.27/1518.94 c 138 300 259.80 32.50 7.99 1000000 0 1519.37/1520.09 c 140 256 261.45 31.91 8.19 1000000 0 1520.57/1521.23 c 150 217 256.74 33.51 7.66 1000000 0 1521.67/1522.37 c 140 238 259.77 33.40 7.78 1000000 0 1522.87/1523.52 c 147 306 261.22 36.06 7.24 1000000 0 1523.97/1524.66 c 159 298 262.31 33.16 7.91 1000000 0 1525.16/1525.80 c 148 289 263.81 33.59 7.85 1000000 0 1526.26/1526.95 c 156 265 257.40 34.19 7.53 1000000 0 1527.36/1528.09 c 159 180 262.40 31.35 8.37 1000000 0 1528.56/1529.24 c 150 249 260.13 36.00 7.23 1000000 0 1529.66/1530.38 c 150 308 259.57 32.46 8.00 1000000 0 1530.86/1531.52 c 152 270 257.14 33.70 7.63 1000000 0 1531.96/1532.66 c 160 307 267.09 34.90 7.65 1000000 0 1533.16/1533.81 c 152 252 256.99 34.65 7.42 1000000 0 1534.26/1534.95 c 159 215 259.87 33.26 7.81 1000000 0 1535.36/1536.09 c 155 215 261.82 35.12 7.45 1000000 0 1536.56/1537.23 c 152 265 257.87 32.26 7.99 1000000 0 1537.66/1538.37 c 142 265 262.25 35.87 7.31 1000000 0 1538.86/1539.51 c 123 238 255.24 33.06 7.72 1000000 0 1539.96/1540.65 c 153 266 258.60 36.43 7.10 1000000 0 1541.06/1541.79 c 143 185 259.29 33.92 7.64 1000000 0 1542.26/1542.94 c 149 212 264.53 35.81 7.39 1000000 0 1543.36/1544.08 c 153 252 262.60 33.71 7.79 1000000 0 1544.56/1545.23 c 153 292 263.35 34.27 7.68 1000000 0 1545.65/1546.37 c 152 271 260.15 35.96 7.23 1000000 0 1546.85/1547.51 c 142 228 260.60 31.92 8.16 1000000 0 1547.95/1548.66 c 157 291 260.39 35.33 7.37 1000000 0 1549.05/1549.80 c 149 224 259.30 33.73 7.69 1000000 0 1550.26/1550.94 c 149 249 258.43 32.64 7.92 1000000 0 1551.36/1552.08 c 129 273 258.84 32.88 7.87 1000000 0 1552.56/1553.23 c 140 227 258.88 34.07 7.60 1000000 0 1553.66/1554.37 c 144 296 258.77 35.16 7.36 1000000 0 1554.85/1555.51 c 151 306 260.24 33.98 7.66 1000000 0 1555.95/1556.65 c 154 274 257.82 34.55 7.46 1000000 0 1557.05/1557.79 c 148 312 262.27 33.48 7.83 1000000 0 1558.25/1558.94 c 150 321 258.02 33.64 7.67 1000000 0 1559.35/1560.08 c 150 260 266.04 34.84 7.63 1000000 0 1560.55/1561.22 c 150 197 263.54 35.99 7.32 1000000 0 1561.65/1562.37 c 152 270 258.88 32.17 8.05 1000000 0 1562.85/1563.51 c 154 178 257.48 35.14 7.33 1000000 0 1563.95/1564.65 c 150 287 258.79 32.02 8.08 1000000 0 1565.05/1565.80 c 151 214 264.97 37.56 7.06 1000000 0 1566.24/1566.94 c 148 256 262.09 32.20 8.14 1000000 0 1567.34/1568.08 c 130 306 261.50 34.35 7.61 1000000 0 1568.54/1569.22 c 141 285 259.62 33.17 7.83 1000000 0 1569.65/1570.37 c 132 287 254.39 34.30 7.42 1000000 0 1570.84/1571.51 c 121 235 260.18 34.20 7.61 1000000 0 1571.94/1572.65 c 154 234 263.73 33.08 7.97 1000000 0 1573.04/1573.79 c 145 320 261.60 35.53 7.36 1000000 0 1574.24/1574.94 c 150 206 262.60 35.57 7.38 1000000 0 1575.34/1576.08 c 147 245 259.23 34.17 7.59 1000000 0 1576.54/1577.23 c 133 234 254.62 34.06 7.48 1000000 0 1577.64/1578.37 c 156 290 257.47 32.45 7.93 1000000 0 1578.85/1579.51 c 156 244 260.38 33.70 7.73 1000000 0 1579.95/1580.65 c 144 268 262.84 33.64 7.81 1000000 0 1581.05/1581.80 c 154 300 257.26 30.96 8.31 1000000 0 1582.25/1582.95 c 152 241 258.09 34.40 7.50 1000000 0 1583.35/1584.09 c 151 237 259.84 33.99 7.64 1000000 0 1584.54/1585.24 c 133 315 265.42 36.34 7.30 1000000 0 1585.64/1586.38 c 149 264 260.18 40.37 6.45 1000000 0 1586.84/1587.52 c 153 251 261.77 35.04 7.47 1000000 0 1587.94/1588.66 c 144 257 259.08 33.01 7.85 1000000 0 1589.14/1589.81 c 154 286 259.06 31.52 8.22 1000000 0 1590.24/1590.95 c 157 260 259.68 33.63 7.72 1000000 0 1591.33/1592.09 c 139 292 258.91 31.99 8.09 1000000 0 1592.53/1593.24 c 151 283 262.07 33.12 7.91 1000000 0 1593.63/1594.38 c 140 280 256.93 34.58 7.43 1000000 0 1594.83/1595.52 c 151 259 258.26 32.12 8.04 1000000 0 1595.93/1596.66 c 145 232 257.55 33.36 7.72 1000000 0 1597.13/1597.80 c 146 267 260.72 32.74 7.96 1000000 0 1598.23/1598.95 c 126 275 258.99 36.47 7.10 1000000 0 1599.33/1600.09 c 146 256 260.25 33.63 7.74 1000000 0 1600.53/1601.24 c 138 262 264.45 35.75 7.40 1000000 0 1601.63/1602.38 c 159 326 259.61 33.40 7.77 1000000 0 1602.83/1603.52 c 134 368 261.73 36.31 7.21 1000000 0 1603.93/1604.66 c 137 252 260.51 34.12 7.63 1000000 0 1605.13/1605.81 c 148 311 262.11 34.86 7.52 1000000 0 1606.23/1606.95 c 133 198 257.10 36.38 7.07 1000000 0 1607.33/1608.09 c 143 269 257.17 33.52 7.67 1000000 0 1608.53/1609.24 c 147 259 256.35 34.02 7.53 1000000 0 1609.63/1610.38 c 145 262 257.34 33.22 7.75 1000000 0 1610.83/1611.52 c 141 281 260.18 33.09 7.86 1000000 0 1611.93/1612.67 c 136 282 258.68 35.28 7.33 1000000 0 1613.12/1613.81 c 143 238 259.94 35.78 7.27 1000000 0 1614.22/1614.95 c 152 235 258.51 33.12 7.81 1000000 0 1615.33/1616.09 c 158 282 261.52 36.62 7.14 1000000 0 1616.52/1617.24 c 152 226 259.18 34.08 7.60 1000000 0 1617.62/1618.38 c 156 312 260.39 32.12 8.11 1000000 0 1618.82/1619.53 c 157 293 258.17 33.29 7.75 1000000 0 1619.92/1620.67 c 144 239 261.00 36.36 7.18 1000000 0 1621.12/1621.81 c 148 253 259.63 36.29 7.15 1000000 0 1622.22/1622.95 c 155 224 260.98 34.27 7.62 1000000 0 1623.32/1624.09 c 155 282 258.04 33.21 7.77 1000000 0 1624.52/1625.24 c 143 281 260.83 34.00 7.67 1000000 0 1625.62/1626.38 c 153 237 261.73 34.06 7.68 1000000 0 1626.82/1627.52 c 144 234 254.97 33.09 7.71 1000000 0 1627.92/1628.67 c 143 285 261.70 34.74 7.53 1000000 0 1629.12/1629.81 c 139 220 258.58 33.32 7.76 1000000 0 1630.22/1630.95 c 140 230 260.39 33.10 7.87 1000000 0 1631.42/1632.10 c 144 230 259.50 33.37 7.78 1000000 0 1632.52/1633.24 c 161 291 258.91 32.77 7.90 1000000 0 1633.62/1634.38 c 157 230 258.16 33.21 7.77 1000000 0 1634.82/1635.53 c 150 336 259.06 33.00 7.85 1000000 0 1635.92/1636.67 c 138 216 257.58 33.19 7.76 1000000 0 1637.12/1637.81 c 145 287 263.73 36.64 7.20 1000000 0 1638.22/1638.95 c 145 260 261.43 35.15 7.44 1000000 0 1639.32/1640.09 c 143 245 260.92 34.12 7.65 1000000 0 1640.52/1641.24 c 142 333 261.27 35.76 7.31 1000000 0 1641.62/1642.38 c 141 216 262.68 34.99 7.51 1000000 0 1642.81/1643.52 c 154 284 259.20 33.14 7.82 1000000 0 1643.91/1644.66 c 155 256 260.72 35.41 7.36 1000000 0 1645.11/1645.81 c 149 238 255.75 34.88 7.33 1000000 0 1646.21/1646.95 c 155 283 260.84 36.29 7.19 1000000 0 1647.41/1648.10 c 166 241 257.46 31.13 8.27 1000000 0 1648.51/1649.24 c 152 239 261.19 35.59 7.34 1000000 0 1649.61/1650.38 c 136 263 256.99 31.61 8.13 1000000 0 1650.81/1651.52 c 153 290 260.22 35.29 7.37 1000000 0 1651.91/1652.66 c 153 254 260.85 34.61 7.54 1000000 0 1653.11/1653.80 c 131 250 260.35 35.10 7.42 1000000 0 1654.21/1654.95 c 148 260 261.62 34.36 7.61 1000000 0 1655.31/1656.09 c 158 278 258.95 35.19 7.36 1000000 0 1656.51/1657.23 c 153 263 259.97 34.08 7.63 1000000 0 1657.60/1658.37 c 154 257 261.69 34.46 7.59 1000000 0 1658.80/1659.52 c 162 270 259.21 31.33 8.27 1000000 0 1659.90/1660.66 c 148 219 259.95 34.66 7.50 1000000 0 1661.00/1661.80 c 163 248 259.83 33.02 7.87 1000000 0 1662.20/1662.94 c 157 244 255.73 34.16 7.49 1000000 0 1663.30/1664.08 c 156 298 260.19 33.68 7.72 1000000 0 1664.50/1665.23 c 144 227 258.58 32.77 7.89 1000000 0 1665.60/1666.37 c 133 328 260.19 32.91 7.91 1000000 0 1666.81/1667.51 c 156 300 263.03 33.43 7.87 1000000 0 1667.91/1668.65 c 137 264 260.54 36.02 7.23 1000000 0 1669.01/1669.79 c 137 214 259.28 33.94 7.64 1000000 0 1670.21/1670.94 c 155 239 256.38 34.70 7.39 1000000 0 1671.31/1672.08 c 153 255 261.51 33.93 7.71 1000000 0 1672.50/1673.22 c 151 234 260.37 35.71 7.29 1000000 0 1673.60/1674.37 c 139 243 258.32 33.87 7.63 1000000 0 1674.80/1675.51 c 158 295 262.31 31.92 8.22 1000000 0 1675.90/1676.65 c 145 272 263.16 35.19 7.48 1000000 0 1677.00/1677.79 c 138 254 253.01 32.88 7.70 1000000 0 1678.20/1678.93 c 144 217 253.59 33.44 7.58 1000000 0 1679.30/1680.07 c 145 235 258.81 36.06 7.18 1000000 0 1680.50/1681.22 c 151 292 257.87 33.60 7.67 1000000 0 1681.60/1682.36 c 151 253 255.83 31.64 8.08 1000000 0 1682.69/1683.49 c 135 289 257.98 33.63 7.67 1000000 0 1683.89/1684.64 c 151 248 259.85 37.82 6.87 1000000 0 1684.99/1685.79 c 146 242 263.63 33.93 7.77 1000000 0 1686.19/1686.93 c 148 290 260.60 33.09 7.88 1000000 0 1687.29/1688.07 c 155 257 260.83 32.88 7.93 1000000 0 1688.49/1689.21 c 158 256 262.64 33.48 7.85 1000000 0 1689.59/1690.36 c 155 271 255.77 33.36 7.67 1000000 0 1690.79/1691.51 c 147 298 257.90 33.07 7.80 1000000 0 1691.89/1692.65 c 134 261 260.69 33.70 7.74 1000000 0 1692.99/1693.79 c 142 226 256.35 33.03 7.76 1000000 0 1694.19/1694.93 c 139 256 259.44 32.53 7.98 1000000 0 1695.29/1696.07 c 147 287 259.83 36.77 7.07 1000000 0 1696.50/1697.22 c 152 310 258.38 33.17 7.79 1000000 0 1697.60/1698.36 c 145 308 259.08 34.96 7.41 1000000 0 1698.70/1699.50 c 147 301 259.57 32.35 8.02 1000000 0 1699.90/1700.64 c 161 248 263.30 34.89 7.55 1000000 0 1701.00/1701.78 c 153 295 259.74 32.01 8.11 1000000 0 1702.19/1702.92 c 139 228 255.27 34.01 7.50 1000000 0 1703.29/1704.07 c 138 294 264.68 34.64 7.64 1000000 0 1704.49/1705.21 c 156 324 262.31 32.45 8.08 1000000 0 1705.59/1706.35 c 133 202 259.82 32.48 8.00 1000000 0 1706.69/1707.50 c 154 258 259.76 33.27 7.81 1000000 0 1707.88/1708.64 c 147 226 257.40 35.41 7.27 1000000 0 1708.98/1709.78 c 157 274 262.26 34.75 7.55 1000000 0 1710.18/1710.92 c 157 251 262.02 34.73 7.54 1000000 0 1711.28/1712.06 c 140 249 263.59 34.69 7.60 1000000 0 1712.38/1713.20 c 145 276 256.07 33.50 7.64 1000000 0 1713.58/1714.34 c 153 236 260.36 36.98 7.04 1000000 0 1714.68/1715.49 c 141 304 259.37 33.82 7.67 1000000 0 1715.88/1716.63 c 129 273 262.37 33.07 7.93 1000000 0 1716.98/1717.77 c 155 302 258.42 35.06 7.37 1000000 0 1718.18/1718.91 c 153 232 260.47 34.63 7.52 1000000 0 1719.28/1720.05 c 145 247 256.15 33.87 7.56 1000000 0 1720.39/1721.19 c 151 270 261.45 37.96 6.89 1000000 0 1721.59/1722.34 c 159 276 261.86 34.64 7.56 1000000 0 1722.69/1723.48 c 161 268 266.46 38.40 6.94 1000000 0 1723.89/1724.62 c 152 265 262.86 34.30 7.66 1000000 0 1724.99/1725.76 c 134 269 259.91 35.89 7.24 1000000 0 1726.08/1726.90 c 143 306 260.89 34.99 7.46 1000000 0 1727.29/1728.04 c 134 260 261.17 34.80 7.50 1000000 0 1728.39/1729.18 c 131 257 257.81 34.68 7.43 1000000 0 1729.59/1730.33 c 150 227 259.75 34.54 7.52 1000000 0 1730.69/1731.47 c 140 299 260.03 34.54 7.53 1000000 0 1731.88/1732.62 c 151 268 259.68 32.81 7.91 1000000 0 1732.98/1733.76 c 155 278 264.28 37.24 7.10 1000000 0 1734.18/1734.90 c 140 263 258.34 31.26 8.27 1000000 0 1735.28/1736.05 c 147 265 260.34 35.07 7.42 1000000 0 1736.38/1737.19 c 159 224 265.28 36.18 7.33 1000000 0 1737.58/1738.33 c 150 226 263.16 34.88 7.54 1000000 0 1738.68/1739.47 c 145 229 257.97 34.41 7.50 1000000 0 1739.88/1740.61 c 150 225 258.46 33.92 7.62 1000000 0 1740.98/1741.75 c 145 228 262.38 33.40 7.86 1000000 0 1742.08/1742.89 c 156 253 259.44 34.54 7.51 1000000 0 1743.28/1744.04 c 150 236 263.89 36.14 7.30 1000000 0 1744.38/1745.18 c 148 179 258.44 33.52 7.71 1000000 0 1745.58/1746.33 c 152 250 260.38 34.31 7.59 1000000 0 1746.68/1747.47 c 160 260 265.54 33.91 7.83 1000000 0 1747.88/1748.61 c 142 275 259.47 34.69 7.48 1000000 0 1748.98/1749.75 c 147 339 261.91 34.87 7.51 1000000 0 1750.07/1750.89 c 154 316 258.40 33.35 7.75 1000000 0 1751.27/1752.04 c 151 227 254.98 31.90 7.99 1000000 0 1752.37/1753.18 c 153 225 255.92 33.89 7.55 1000000 0 1753.57/1754.32 c 152 179 258.25 33.38 7.74 1000000 0 1754.67/1755.46 c 151 215 261.94 35.64 7.35 1000000 0 1755.77/1756.60 c 139 275 257.29 33.77 7.62 1000000 0 1756.98/1757.75 c 141 319 265.35 33.64 7.89 1000000 0 1758.08/1758.89 c 155 253 260.81 33.76 7.73 1000000 0 1759.28/1760.04 c 142 246 257.03 39.89 6.44 1000000 0 1760.38/1761.18 c 151 320 262.21 35.58 7.37 1000000 0 1761.57/1762.33 c 136 248 257.70 32.67 7.89 1000000 0 1762.67/1763.47 c 140 266 258.42 34.49 7.49 1000000 0 1763.87/1764.62 c 151 252 259.26 35.85 7.23 1000000 0 1764.97/1765.75 c 153 231 258.98 32.93 7.86 1000000 0 1766.17/1766.90 c 139 272 261.04 33.49 7.80 1000000 0 1767.27/1768.04 c 148 280 256.92 34.38 7.47 1000000 0 1768.37/1769.18 c 154 280 260.61 33.82 7.71 1000000 0 1769.57/1770.32 c 145 228 257.98 34.21 7.54 1000000 0 1770.67/1771.47 c 139 263 258.60 32.25 8.02 1000000 0 1771.87/1772.61 c 167 235 260.61 34.12 7.64 1000000 0 1772.97/1773.75 c 152 272 260.52 34.48 7.56 1000000 0 1774.06/1774.89 c 133 269 257.64 33.24 7.75 1000000 0 1775.26/1776.04 c 156 342 259.92 34.22 7.60 1000000 0 1776.36/1777.18 c 141 268 254.64 33.87 7.52 1000000 0 1777.56/1778.33 c 141 246 256.70 32.89 7.80 1000000 0 1778.66/1779.47 c 126 302 257.14 33.76 7.62 1000000 0 1779.86/1780.61 c 154 304 259.44 31.94 8.12 1000000 0 1780.96/1781.76 c 139 272 261.39 35.35 7.39 1000000 0 1782.16/1782.90 c 144 293 259.74 32.37 8.03 1000000 0 1783.26/1784.04 c 162 220 262.68 35.61 7.38 1000000 0 1784.36/1785.18 c 148 230 258.29 32.48 7.95 1000000 0 1785.57/1786.32 c 146 259 258.22 32.65 7.91 1000000 0 1786.67/1787.47 c 142 305 257.16 33.70 7.63 1000000 0 1787.87/1788.61 c 155 292 260.05 34.25 7.59 1000000 0 1788.97/1789.75 c 133 267 259.14 33.36 7.77 1000000 0 1790.07/1790.89 c 148 204 260.17 35.76 7.28 1000000 0 1791.26/1792.03 c 141 214 261.37 37.53 6.96 1000000 0 1792.36/1793.17 c 149 210 260.05 34.08 7.63 1000000 0 1793.56/1794.32 c 147 294 260.13 31.85 8.17 1000000 0 1794.66/1795.46 c 148 295 260.31 32.87 7.92 1000000 0 1795.86/1796.60 c 155 210 264.18 35.21 7.50 1000000 0 1796.96/1797.75 c 153 300 262.16 35.37 7.41 1000000 0 1798.06/1798.89 c 132 242 260.74 34.71 7.51 1000000 0 1799.25/1800.03 c 142 236 261.22 34.06 7.67 1000000 0 1800.06/1800.80 HOME/run: line 2: 18993 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-2684608-1278432559/watcher-2684608-1278432559 -o /tmp/evaluation-result-2684608-1278432559/solver-2684608-1278432559 -C 1800 -W 2000 -M 1800 run HOME/instance-2684608-1278432559.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.21 0.05 0.01 2/106 18992 /proc/meminfo: memFree=1488360/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [startup+0.0569999 s] /proc/loadavg: 0.21 0.05 0.01 2/106 18992 /proc/meminfo: memFree=1488360/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.200999 s] /proc/loadavg: 0.21 0.05 0.01 2/106 18992 /proc/meminfo: memFree=1488360/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300999 s] /proc/loadavg: 0.21 0.05 0.01 2/106 18992 /proc/meminfo: memFree=1488360/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 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.21 0.05 0.01 2/106 18992 /proc/meminfo: memFree=1488360/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.502 s] /proc/loadavg: 0.28 0.06 0.02 2/108 18994 /proc/meminfo: memFree=1484252/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1.49 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 149 0 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134547300 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 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.28 0.06 0.02 2/108 18994 /proc/meminfo: memFree=1484004/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=3.09 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 309 0 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 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.33 0.08 0.02 2/108 18995 /proc/meminfo: memFree=1484004/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=6.29 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 629 0 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 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.39 0.09 0.03 2/108 18995 /proc/meminfo: memFree=1483756/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=12.68 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 1268 0 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526116 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 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.52 0.14 0.04 2/108 18995 /proc/meminfo: memFree=1483756/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=25.48 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 2547 1 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1009 s] /proc/loadavg: 0.68 0.20 0.07 2/108 18995 /proc/meminfo: memFree=1483632/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=51.07 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 5106 1 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.31 s] /proc/loadavg: 0.86 0.33 0.11 2/108 18997 /proc/meminfo: memFree=1483384/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=102.26 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 10225 1 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 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.45 0.17 2/108 18999 /proc/meminfo: memFree=1483136/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=162.22 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 16221 1 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.98 0.54 0.22 2/108 19000 /proc/meminfo: memFree=1483136/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=222.2 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 22219 1 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.62 0.26 2/108 19001 /proc/meminfo: memFree=1483012/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=282.18 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 28216 2 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.69 0.31 2/108 19003 /proc/meminfo: memFree=1482888/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=342.15 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 34213 2 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134525654 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 0.99 0.74 0.35 2/108 19005 /proc/meminfo: memFree=1482764/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=402.13 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 40211 2 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526693 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1061.85 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 106179 6 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.68 2/108 19027 /proc/meminfo: memFree=1481276/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1121.82 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 112176 6 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/108 19028 /proc/meminfo: memFree=1481152/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1181.79 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 118173 6 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 19030 /proc/meminfo: memFree=1480904/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1241.78 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 124171 7 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134519935 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/108 19032 /proc/meminfo: memFree=1480780/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1301.76 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 130169 7 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 19034 /proc/meminfo: memFree=1480780/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1361.72 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 136165 7 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/108 19035 /proc/meminfo: memFree=1480656/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1421.71 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 142164 7 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/108 19036 /proc/meminfo: memFree=1480532/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1481.68 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 148160 8 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.78 2/108 19038 /proc/meminfo: memFree=1480532/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1541.66 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 154158 8 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134525971 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.79 2/108 19040 /proc/meminfo: memFree=1480408/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1601.63 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 160155 8 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 19042 /proc/meminfo: memFree=1480408/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1661.6 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 166152 8 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526706 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 19043 /proc/meminfo: memFree=1480160/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1721.59 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 172150 9 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 19044 /proc/meminfo: memFree=1479912/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1781.56 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 178147 9 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.97 0.82 2/108 19045 /proc/meminfo: memFree=1479912/2059040 swapFree=4192956/4192956 [pid=18992] ppid=18990 vsize=8700 CPUtime=0 /proc/18992/stat : 18992 (run) S 18990 18992 18871 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11469469 8908800 243 1992294400 4194304 4922060 140736805575648 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18992/statm: 2175 243 204 178 0 68 0 [pid=18993] ppid=18992 vsize=40452 CPUtime=1800.06 /proc/18993/stat : 18993 (PB-wave) R 18992 18992 18871 0 -1 4202496 1058 0 0 0 179997 9 0 0 25 0 1 0 11469470 41422848 988 1992294400 134512640 135071400 4289645376 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18993/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) SSolver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.81 CPU time (s): 1800.07 CPU user time (s): 1799.98 CPU system time (s): 0.094985 CPU usage (%): 99.9591 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.094985 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1430 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= 3 involuntary context switches= 14155 runsolver used 3.17952 second user time and 8.42772 second system time The end
Begin job on node006 at 2010-07-06 18:09:19 IDJOB=2684608 IDBENCH=73181 IDSOLVER=1171 FILE ID=node006/2684608-1278432559 PBS_JOBID= 11233464 Free space on /tmp= 62580 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_7-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684608-1278432559/watcher-2684608-1278432559 -o /tmp/evaluation-result-2684608-1278432559/solver-2684608-1278432559 -C 1800 -W 2000 -M 1800 run HOME/instance-2684608-1278432559.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aa398ad728153b81883b8e1b2097cfdd RANDOM SEED=904393660 node006.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.269 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.53 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.269 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1488756 kB Buffers: 101300 kB Cached: 337076 kB SwapCached: 0 kB Active: 164688 kB Inactive: 333968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1488756 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1416 kB Writeback: 0 kB AnonPages: 60208 kB Mapped: 14400 kB Slab: 49700 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178768 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= 62580 MiB End job on node006 at 2010-07-06 18:39:20