Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.05 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3037_5-sat.opb |
MD5SUM | 28411513b07977217060c23e558ed937 |
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.085986 |
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 | 5022 |
Total number of constraints | 17060 |
Number of constraints which are clauses | 16740 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 320 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
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 | 12 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 106 |
Number of bits of the biggest sum of numbers | 7 |
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 = 27086794 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 5022 #con 17060 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 15066 0.00/0.05 c numatom = 5022, numclause = 17060, numliterals = 40456 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.18/1.22 c 167 272 267.86 32.91 8.14 1000000 0 2.28/2.39 c 145 285 266.55 35.38 7.53 1000000 0 3.48/3.56 c 135 266 268.11 35.96 7.46 1000000 0 4.68/4.73 c 144 251 268.49 34.54 7.77 1000000 0 5.88/5.90 c 154 283 267.34 35.55 7.52 1000000 0 6.98/7.07 c 156 292 270.52 34.81 7.77 1000000 0 8.18/8.24 c 159 186 263.93 32.78 8.05 1000000 0 9.38/9.41 c 146 240 268.67 35.18 7.64 1000000 0 10.48/10.58 c 147 323 267.01 35.44 7.53 1000000 0 11.68/11.76 c 144 264 265.06 35.33 7.50 1000000 0 12.88/12.93 c 149 307 267.01 36.27 7.36 1000000 0 14.08/14.10 c 147 293 266.42 35.56 7.49 1000000 0 15.18/15.27 c 146 220 271.63 33.52 8.10 1000000 0 16.39/16.45 c 135 321 269.07 36.68 7.34 1000000 0 17.59/17.62 c 147 335 270.36 37.02 7.30 1000000 0 18.69/18.79 c 134 230 268.95 35.76 7.52 1000000 0 19.88/19.96 c 144 367 270.34 34.83 7.76 1000000 0 21.08/21.13 c 145 346 265.92 34.07 7.81 1000000 0 22.28/22.30 c 147 276 263.59 33.31 7.91 1000000 0 23.38/23.47 c 141 219 268.52 36.17 7.42 1000000 0 24.58/24.64 c 132 266 264.59 32.46 8.15 1000000 0 25.78/25.81 c 137 303 267.48 34.19 7.82 1000000 0 26.88/26.99 c 140 273 265.96 34.52 7.70 1000000 0 28.08/28.16 c 150 273 264.11 34.54 7.65 1000000 0 29.28/29.33 c 156 227 265.71 32.94 8.07 1000000 0 30.48/30.50 c 162 222 270.92 35.49 7.63 1000000 0 31.58/31.67 c 150 276 265.33 33.35 7.96 1000000 0 32.78/32.84 c 148 293 263.67 35.69 7.39 1000000 0 33.98/34.01 c 157 279 264.94 36.72 7.22 1000000 0 35.08/35.18 c 147 258 265.27 35.78 7.41 1000000 0 36.28/36.35 c 147 281 264.49 34.69 7.62 1000000 0 37.47/37.52 c 145 219 268.53 36.37 7.38 1000000 0 38.57/38.69 c 159 225 270.96 35.78 7.57 1000000 0 39.77/39.86 c 153 292 270.47 38.30 7.06 1000000 0 40.97/41.03 c 157 283 269.11 35.19 7.65 1000000 0 42.17/42.21 c 150 240 266.89 34.86 7.66 1000000 0 43.27/43.38 c 146 242 265.91 36.85 7.22 1000000 0 44.47/44.55 c 146 237 267.05 35.59 7.50 1000000 0 45.67/45.72 c 149 306 268.43 34.02 7.89 1000000 0 46.77/46.89 c 161 281 264.86 32.97 8.03 1000000 0 47.97/48.06 c 158 267 269.04 34.50 7.80 1000000 0 49.17/49.24 c 133 285 267.12 35.45 7.54 1000000 0 50.37/50.41 c 160 264 269.06 33.57 8.01 1000000 0 51.47/51.57 c 137 289 265.58 35.35 7.51 1000000 0 52.68/52.74 c 151 256 269.29 37.55 7.17 1000000 0 53.88/53.91 c 158 238 267.53 34.68 7.71 1000000 0 54.98/55.08 c 146 223 264.35 33.52 7.89 1000000 0 56.17/56.25 c 152 266 263.60 35.50 7.43 1000000 0 57.37/57.42 c 156 270 270.45 35.79 7.56 1000000 0 58.47/58.59 c 133 205 269.07 34.84 7.72 1000000 0 59.67/59.76 c 148 285 268.93 36.01 7.47 1000000 0 60.87/60.93 c 145 263 269.31 34.28 7.86 1000000 0 62.07/62.10 c 140 256 265.55 32.71 8.12 1000000 0 63.17/63.27 c 144 262 266.69 36.42 7.32 1000000 0 64.37/64.44 c 154 330 268.97 34.69 7.75 1000000 0 65.57/65.61 c 158 254 268.33 33.02 8.13 1000000 0 66.67/66.78 c 151 222 268.07 35.59 7.53 1000000 0 67.87/67.95 c 157 272 266.31 34.73 7.67 1000000 0 69.07/69.12 c 167 269 271.17 33.42 8.11 1000000 0 70.17/70.29 c 143 319 269.35 36.54 7.37 1000000 0 71.37/71.47 c 150 278 269.36 36.71 7.34 1000000 0 72.57/72.64 c 156 188 263.65 34.81 7.57 1000000 0 73.76/73.81 c 148 308 267.74 34.18 7.83 1000000 0 74.86/74.99 c 146 309 264.15 36.93 7.15 1000000 0 76.06/76.15 c 150 251 267.48 35.30 7.58 1000000 0 77.26/77.32 c 158 305 270.68 36.21 7.48 1000000 0 78.36/78.49 c 151 196 266.46 34.93 7.63 1000000 0 79.56/79.67 c 146 296 267.64 35.77 7.48 1000000 0 80.76/80.84 c 151 250 270.17 34.85 7.75 1000000 0 81.96/82.01 c 150 276 263.59 34.54 7.63 1000000 0 83.06/83.18 c 159 211 267.50 33.06 8.09 1000000 0 84.26/84.35 c 143 246 266.82 34.47 7.74 1000000 0 85.46/85.52 c 155 308 268.13 36.61 7.32 1000000 0 86.56/86.69 c 135 311 263.54 35.05 7.52 1000000 0 87.76/87.86 c 145 348 268.08 35.88 7.47 1000000 0 88.97/89.03 c 157 275 267.69 35.18 7.61 1000000 0 90.17/90.20 c 155 254 264.57 35.36 7.48 1000000 0 91.27/91.38 c 155 311 266.06 35.36 7.53 1000000 0 92.46/92.55 c 156 255 268.08 35.71 7.51 1000000 0 93.66/93.72 c 138 292 266.85 38.03 7.02 1000000 0 94.76/94.89 c 149 240 265.44 35.78 7.42 1000000 0 95.96/96.06 c 153 266 270.71 34.44 7.86 1000000 0 97.16/97.23 c 153 236 265.17 37.14 7.14 1000000 0 98.36/98.40 c 156 254 269.87 35.76 7.55 1000000 0 99.46/99.57 c 134 229 268.36 35.82 7.49 1000000 0 100.66/100.74 c 143 260 267.20 32.45 8.23 1000000 0 101.86/101.91 c 140 295 266.10 35.84 7.42 1000000 0 102.96/103.08 c 153 274 269.83 37.33 7.23 1000000 0 104.16/104.25 c 143 244 264.40 34.59 7.64 1000000 0 105.36/105.42 c 157 327 271.24 35.55 7.63 1000000 0 106.46/106.59 c 147 249 268.58 34.11 7.87 1000000 0 107.66/107.76 c 154 222 266.20 35.39 7.52 1000000 0 108.86/108.93 c 165 328 266.62 33.70 7.91 1000000 0 110.06/110.10 c 163 227 266.32 33.52 7.95 1000000 0 111.16/111.27 c 130 333 265.12 35.68 7.43 1000000 0 112.35/112.44 c 136 253 265.98 35.95 7.40 1000000 0 113.55/113.61 c 153 279 265.80 38.49 6.91 1000000 0 114.65/114.78 c 161 270 267.35 35.98 7.43 1000000 0 115.85/115.96 c 137 227 273.01 36.56 7.47 1000000 0 117.05/117.13 c 149 255 268.88 35.18 7.64 1000000 0 118.25/118.30 c 155 240 266.32 35.86 7.43 1000000 0 119.35/119.47 c 157 256 269.47 34.11 7.90 1000000 0 120.55/120.64 c 149 277 265.02 34.24 7.74 1000000 0 121.75/121.81 c 161 227 275.13 34.61 7.95 1000000 0 122.85/122.98 c 153 287 265.95 35.30 7.53 1000000 0 124.05/124.16 c 149 310 264.36 32.93 8.03 1000000 0 125.26/125.33 c 157 288 268.10 34.71 7.72 1000000 0 126.36/126.50 c 142 310 263.29 36.33 7.25 1000000 0 127.56/127.67 c 145 256 265.41 35.86 7.40 1000000 0 128.75/128.84 c 158 329 267.99 34.68 7.73 1000000 0 129.95/130.01 c 140 215 264.39 35.76 7.39 1000000 0 131.05/131.18 c 156 206 265.16 34.25 7.74 1000000 0 132.25/132.35 c 140 273 267.28 34.22 7.81 1000000 0 133.45/133.52 c 147 305 264.71 35.14 7.53 1000000 0 134.55/134.69 c 143 278 267.99 33.45 8.01 1000000 0 135.75/135.86 c 141 202 263.20 33.97 7.75 1000000 0 136.95/137.03 c 154 247 271.19 36.67 7.40 1000000 0 138.15/138.21 c 125 258 265.05 34.88 7.60 1000000 0 139.25/139.37 c 140 279 267.20 34.93 7.65 1000000 0 140.45/140.54 c 149 235 266.50 34.26 7.78 1000000 0 141.65/141.72 c 149 281 268.21 35.68 7.52 1000000 0 142.75/142.89 c 147 260 267.75 33.28 8.05 1000000 0 143.95/144.06 c 146 281 263.53 34.05 7.74 1000000 0 145.15/145.23 c 139 234 268.00 34.61 7.74 1000000 0 146.25/146.40 c 150 349 263.72 35.94 7.34 1000000 0 147.45/147.57 c 140 251 271.47 37.57 7.23 1000000 0 148.65/148.73 c 151 256 262.08 33.01 7.94 1000000 0 149.85/149.91 c 150 370 271.88 36.18 7.52 1000000 0 150.95/151.07 c 157 247 262.87 33.61 7.82 1000000 0 152.14/152.24 c 156 202 265.74 36.75 7.23 1000000 0 153.34/153.42 c 141 309 268.62 32.62 8.24 1000000 0 154.44/154.59 c 142 267 268.22 35.46 7.56 1000000 0 155.64/155.75 c 143 241 261.82 35.21 7.44 1000000 0 156.84/156.92 c 142 235 266.86 35.64 7.49 1000000 0 157.94/158.09 c 157 254 266.01 33.29 7.99 1000000 0 159.14/159.26 c 161 298 270.10 33.92 7.96 1000000 0 160.34/160.43 c 153 226 267.34 33.58 7.96 1000000 0 161.55/161.60 c 143 168 265.85 35.05 7.58 1000000 0 162.65/162.77 c 158 303 266.61 35.14 7.59 1000000 0 163.85/163.94 c 160 238 265.03 31.36 8.45 1000000 0 165.04/165.11 c 151 267 263.85 35.40 7.45 1000000 0 166.14/166.28 c 141 246 266.14 37.31 7.13 1000000 0 167.34/167.45 c 155 266 265.62 33.73 7.87 1000000 0 168.54/168.62 c 142 251 267.29 34.36 7.78 1000000 0 169.64/169.79 c 160 300 268.02 33.58 7.98 1000000 0 170.84/170.96 c 161 306 266.45 33.24 8.02 1000000 0 172.04/172.14 c 148 228 264.84 33.33 7.95 1000000 0 173.24/173.31 c 145 341 266.56 36.23 7.36 1000000 0 174.34/174.48 c 162 288 265.34 33.98 7.81 1000000 0 175.54/175.65 c 149 248 269.73 33.37 8.08 1000000 0 176.74/176.82 c 149 278 264.89 33.72 7.85 1000000 0 177.84/177.99 c 141 345 264.25 36.06 7.33 1000000 0 179.04/179.16 c 156 290 272.69 34.29 7.95 1000000 0 180.24/180.33 c 148 261 269.66 33.45 8.06 1000000 0 181.34/181.50 c 159 329 267.78 33.52 7.99 1000000 0 182.54/182.67 c 150 325 265.88 35.44 7.50 1000000 0 183.74/183.84 c 151 271 269.90 34.83 7.75 1000000 0 184.94/185.01 c 145 250 267.20 34.55 7.73 1000000 0 186.04/186.18 c 101 297 270.11 36.03 7.50 1000000 0 187.24/187.35 c 161 265 268.17 35.68 7.52 1000000 0 188.44/188.52 c 151 251 269.01 34.71 7.75 1000000 0 189.54/189.69 c 133 236 263.48 36.61 7.20 1000000 0 190.74/190.86 c 155 283 267.78 34.50 7.76 1000000 0 191.93/192.03 c 157 271 267.35 34.30 7.79 1000000 0 193.13/193.20 c 152 300 265.63 34.58 7.68 1000000 0 194.23/194.37 c 149 259 266.80 34.82 7.66 1000000 0 195.43/195.54 c 111 319 267.72 36.97 7.24 1000000 0 196.63/196.71 c 160 258 266.37 34.21 7.79 1000000 0 197.73/197.88 c 127 285 266.73 34.86 7.65 1000000 0 198.94/199.05 c 152 206 270.20 34.05 7.93 1000000 0 200.14/200.22 c 139 299 261.55 36.96 7.08 1000000 0 201.24/201.39 c 140 263 269.40 34.52 7.81 1000000 0 202.43/202.56 c 143 248 261.67 36.03 7.26 1000000 0 203.63/203.73 c 135 255 269.69 37.45 7.20 1000000 0 204.83/204.90 c 150 311 266.82 36.34 7.34 1000000 0 205.93/206.07 c 149 267 268.75 35.58 7.55 1000000 0 207.13/207.23 c 150 240 267.11 33.53 7.97 1000000 0 208.33/208.40 c 135 259 264.71 33.67 7.86 1000000 0 209.43/209.57 c 145 235 268.71 33.71 7.97 1000000 0 210.63/210.74 c 163 273 268.69 32.44 8.28 1000000 0 211.83/211.91 c 156 305 268.65 36.62 7.34 1000000 0 212.93/213.08 c 156 287 265.76 36.12 7.36 1000000 0 214.13/214.25 c 141 280 263.79 34.69 7.60 1000000 0 215.33/215.42 c 149 237 270.66 34.73 7.79 1000000 0 216.43/216.59 c 152 263 265.79 37.30 7.13 1000000 0 217.63/217.76 c 172 349 272.81 34.28 7.96 1000000 0 218.83/218.94 c 151 187 267.36 35.97 7.43 1000000 0 220.03/220.11 c 146 254 268.24 34.87 7.69 1000000 0 221.13/221.28 c 152 282 261.34 32.76 7.98 1000000 0 222.33/222.45 c 166 218 272.98 36.94 7.39 1000000 0 223.53/223.63 c 156 231 264.65 32.64 8.11 1000000 0 224.63/224.80 c 146 222 268.07 34.48 7.77 1000000 0 225.83/225.96 c 151 194 266.61 36.62 7.28 1000000 0 227.03/227.14 c 135 284 267.91 35.08 7.64 1000000 0 228.22/228.31 c 151 290 266.89 35.09 7.61 1000000 0 229.32/229.48 c 128 248 267.84 34.01 7.87 1000000 0 230.52/230.65 c 154 216 265.00 32.44 8.17 1000000 0 231.72/231.83 c 152 246 267.95 36.26 7.39 1000000 0 232.82/232.99 c 145 240 265.89 35.37 7.52 1000000 0 234.02/234.16 c 143 319 259.84 35.23 7.38 1000000 0 235.23/235.33 c 151 246 271.73 35.76 7.60 1000000 0 236.43/236.50 c 144 262 269.37 35.75 7.53 1000000 0 237.53/237.67 c 134 240 262.62 34.01 7.72 1000000 0 238.72/238.84 c 151 281 268.24 35.11 7.64 1000000 0 239.92/240.01 c 156 262 261.57 33.95 7.70 1000000 0 241.02/241.18 c 160 312 269.86 35.62 7.58 1000000 0 242.22/242.35 c 155 284 268.95 33.86 7.94 1000000 0 243.42/243.52 c 140 283 262.11 35.99 7.28 1000000 0 244.52/244.69 c 144 307 266.28 34.12 7.80 1000000 0 245.72/245.86 c 156 298 269.75 34.58 7.80 1000000 0 246.92/247.03 c 146 272 266.35 35.47 7.51 1000000 0 248.12/248.20 c 160 288 269.56 35.21 7.66 1000000 0 249.22/249.37 c 160 278 268.66 34.92 7.69 1000000 0 250.42/250.54 c 135 183 264.04 33.30 7.93 1000000 0 251.62/251.71 c 136 268 269.41 35.36 7.62 1000000 0 252.72/252.88 c 159 307 268.21 33.98 7.89 1000000 0 253.92/254.05 c 149 284 261.58 37.32 7.01 1000000 0 255.13/255.22 c 153 269 274.06 36.19 7.57 1000000 0 256.23/256.39 c 155 285 267.74 35.12 7.62 1000000 0 257.42/257.56 c 150 305 265.72 33.72 7.88 1000000 0 258.62/258.72 c 147 199 265.79 34.24 7.76 1000000 0 259.72/259.89 c 139 234 272.23 36.67 7.42 1000000 0 260.92/261.07 c 161 215 267.98 35.20 7.61 1000000 0 262.12/262.24 c 142 218 267.41 33.05 8.09 1000000 0 263.31/263.41 c 148 283 269.02 35.74 7.53 1000000 0 264.41/264.58 c 161 275 270.95 34.00 7.97 1000000 0 265.61/265.74 c 153 392 267.38 36.56 7.31 1000000 0 266.81/266.92 c 143 267 266.12 35.43 7.51 1000000 0 267.92/268.09 c 144 254 263.22 36.09 7.29 1000000 0 269.12/269.26 c 134 222 265.95 35.72 7.45 1000000 0 270.31/270.43 c 152 257 268.24 35.20 7.62 1000000 0 271.52/271.60 c 160 278 266.74 34.62 7.70 1000000 0 272.62/272.77 c 155 304 266.91 36.10 7.39 1000000 0 273.82/273.94 c 162 244 265.00 33.75 7.85 1000000 0 275.01/275.11 c 140 242 267.46 34.97 7.65 1000000 0 276.11/276.28 c 142 310 271.15 35.66 7.60 1000000 0 277.31/277.45 c 144 239 268.67 35.10 7.65 1000000 0 278.51/278.62 c 156 291 270.82 33.71 8.03 1000000 0 279.61/279.80 c 158 235 269.43 35.57 7.57 1000000 0 280.81/280.97 c 164 251 268.77 36.50 7.36 1000000 0 282.01/282.14 c 145 292 271.88 37.50 7.25 1000000 0 283.21/283.31 c 127 341 266.56 33.05 8.07 1000000 0 284.31/284.48 c 148 292 265.31 34.24 7.75 1000000 0 285.51/285.66 c 157 226 267.65 33.27 8.04 1000000 0 286.71/286.83 c 131 347 267.82 36.92 7.25 1000000 0 287.81/287.99 c 140 304 265.54 32.28 8.23 1000000 0 289.01/289.17 c 144 224 264.11 35.65 7.41 1000000 0 290.22/290.34 c 147 210 264.62 34.24 7.73 1000000 0 291.42/291.51 c 150 352 269.22 34.75 7.75 1000000 0 292.52/292.68 c 150 276 268.87 36.32 7.40 1000000 0 293.71/293.85 c 149 272 267.28 36.27 7.37 1000000 0 294.91/295.02 c 151 256 268.15 33.95 7.90 1000000 0 296.01/296.19 c 151 256 268.19 35.68 7.52 1000000 0 297.21/297.36 c 159 321 271.78 34.37 7.91 1000000 0 298.41/298.54 c 151 317 264.17 34.01 7.77 1000000 0 299.61/299.71 c 161 225 266.56 33.65 7.92 1000000 0 300.71/300.88 c 143 289 265.94 34.25 7.77 1000000 0 301.91/302.05 c 139 276 262.47 34.84 7.53 1000000 0 303.11/303.22 c 143 242 267.63 32.58 8.21 1000000 0 304.21/304.39 c 140 273 270.22 34.39 7.86 1000000 0 305.40/305.56 c 146 259 264.98 34.31 7.72 1000000 0 306.60/306.74 c 148 349 265.54 35.37 7.51 1000000 0 307.81/307.91 c 136 344 266.75 34.49 7.73 1000000 0 308.91/309.08 c 138 235 268.10 35.18 7.62 1000000 0 310.11/310.25 c 154 230 263.12 33.17 7.93 1000000 0 311.30/311.42 c 142 213 270.65 35.27 7.67 1000000 0 312.40/312.59 c 129 307 266.70 33.71 7.91 1000000 0 313.60/313.76 c 137 270 266.58 33.83 7.88 1000000 0 314.80/314.93 c 143 295 265.18 34.44 7.70 1000000 0 315.90/316.09 c 143 235 265.48 36.05 7.36 1000000 0 317.10/317.26 c 143 312 269.96 35.05 7.70 1000000 0 318.30/318.43 c 155 248 271.07 35.84 7.56 1000000 0 319.50/319.61 c 150 260 268.27 37.73 7.11 1000000 0 320.60/320.78 c 154 341 264.97 34.98 7.57 1000000 0 321.80/321.95 c 148 250 263.57 32.90 8.01 1000000 0 323.00/323.12 c 138 255 267.71 34.53 7.75 1000000 0 324.10/324.29 c 146 242 267.65 36.47 7.34 1000000 0 325.30/325.47 c 157 277 267.15 35.50 7.52 1000000 0 326.51/326.64 c 141 225 270.06 36.89 7.32 1000000 0 327.71/327.81 c 141 309 266.60 33.57 7.94 1000000 0 328.81/328.98 c 150 252 264.70 35.01 7.56 1000000 0 330.00/330.15 c 145 293 268.82 35.11 7.66 1000000 0 331.20/331.32 c 152 265 268.14 34.27 7.82 1000000 0 332.30/332.49 c 154 209 263.36 34.26 7.69 1000000 0 333.50/333.67 c 137 234 262.73 34.25 7.67 1000000 0 334.70/334.83 c 143 266 263.71 35.92 7.34 1000000 0 335.90/336.01 c 156 281 265.87 35.24 7.55 1000000 0 337.00/337.17 c 159 253 271.31 34.34 7.90 1000000 0 338.20/338.34 c 152 235 268.88 35.67 7.54 1000000 0 339.40/339.52 c 157 280 267.75 35.80 7.48 1000000 0 340.50/340.69 c 148 289 266.77 35.10 7.60 1000000 0 341.70/341.87 c 151 267 261.75 33.17 7.89 1000000 0 342.90/343.04 c 157 307 272.34 36.13 7.54 1000000 0 344.10/344.21 c 150 328 267.48 36.41 7.35 1000000 0 345.20/345.38 c 145 273 264.87 35.33 7.50 1000000 0 346.40/346.55 c 140 229 266.11 33.70 7.90 1000000 0 347.59/347.72 c 153 281 267.42 35.12 7.62 1000000 0 348.69/348.89 c 161 329 266.15 34.22 7.78 1000000 0 349.89/350.06 c 149 233 266.54 33.96 7.85 1000000 0 351.09/351.23 c 159 294 269.29 33.81 7.96 1000000 0 352.29/352.40 c 165 296 268.10 33.18 8.08 1000000 0 353.39/353.57 c 159 232 263.88 35.29 7.48 1000000 0 354.59/354.74 c 147 261 265.84 33.93 7.84 1000000 0 355.79/355.91 c 156 263 268.06 35.12 7.63 1000000 0 356.89/357.09 c 152 274 266.50 33.82 7.88 1000000 0 358.09/358.26 c 144 239 266.10 35.48 7.50 1000000 0 359.29/359.43 c 162 242 267.73 35.26 7.59 1000000 0 360.49/360.60 c 164 324 267.83 35.72 7.50 1000000 0 361.59/361.78 c 149 257 267.20 33.90 7.88 1000000 0 362.80/362.94 c 149 284 267.83 33.62 7.97 1000000 0 364.00/364.11 c 159 275 264.65 33.81 7.83 1000000 0 365.10/365.28 c 150 214 264.51 34.58 7.65 1000000 0 366.29/366.45 c 144 218 265.51 34.33 7.73 1000000 0 367.49/367.62 c 151 255 267.21 34.66 7.71 1000000 0 368.59/368.79 c 149 214 268.57 35.09 7.65 1000000 0 369.79/369.96 c 152 237 266.98 35.98 7.42 1000000 0 370.99/371.13 c 160 257 266.94 35.51 7.52 1000000 0 372.19/372.30 c 159 338 266.84 34.43 7.75 1000000 0 373.29/373.47 c 132 197 265.52 36.68 7.24 1000000 0 374.49/374.64 c 156 245 269.40 34.94 7.71 1000000 0 375.69/375.81 c 156 299 270.32 36.46 7.41 1000000 0 376.79/376.98 c 153 369 263.08 33.53 7.85 1000000 0 377.99/378.15 c 151 232 265.29 36.96 7.18 1000000 0 379.19/379.32 c 150 238 270.21 33.11 8.16 1000000 0 380.29/380.48 c 135 286 263.74 33.68 7.83 1000000 0 381.49/381.66 c 156 262 267.51 35.02 7.64 1000000 0 382.69/382.83 c 138 229 267.53 37.74 7.09 1000000 0 383.88/384.00 c 157 310 268.56 33.21 8.09 1000000 0 384.98/385.17 c 154 319 266.76 35.15 7.59 1000000 0 386.18/386.34 c 152 286 269.11 34.33 7.84 1000000 0 387.38/387.50 c 150 279 265.35 36.62 7.25 1000000 0 388.48/388.67 c 134 249 262.76 33.35 7.88 1000000 0 389.68/389.84 c 161 274 266.20 37.08 7.18 1000000 0 390.88/391.01 c 158 228 270.52 33.72 8.02 1000000 0 391.98/392.18 c 155 315 267.93 35.18 7.62 1000000 0 393.18/393.35 c 135 220 265.98 35.74 7.44 1000000 0 394.38/394.52 c 153 241 264.78 34.28 7.72 1000000 0 395.48/395.69 c 164 265 267.09 32.31 8.27 1000000 0 396.68/396.86 c 136 323 267.24 34.17 7.82 1000000 0 397.88/398.02 c 151 222 269.07 35.40 7.60 1000000 0 398.98/399.20 c 154 253 266.81 33.75 7.90 1000000 0 400.19/400.37 c 161 224 267.58 33.96 7.88 1000000 0 401.39/401.54 c 153 240 267.03 35.87 7.45 1000000 0 402.58/402.71 c 158 288 272.18 35.77 7.61 1000000 0 403.68/403.88 c 134 274 265.96 37.32 7.13 1000000 0 404.88/405.05 c 154 265 265.95 36.01 7.39 1000000 0 406.08/406.22 c 143 274 267.13 35.18 7.59 1000000 0 407.18/407.39 c 149 230 266.50 32.98 8.08 1000000 0 408.38/408.56 c 143 253 267.12 36.83 7.25 1000000 0 409.58/409.73 c 141 302 270.17 36.94 7.31 1000000 0 410.78/410.91 c 151 218 267.07 34.87 7.66 1000000 0 411.88/412.08 c 158 270 267.86 34.68 7.72 1000000 0 413.08/413.25 c 144 279 268.36 35.92 7.47 1000000 0 414.28/414.42 c 142 235 265.86 39.55 6.72 1000000 0 415.38/415.59 c 133 269 265.58 35.52 7.48 1000000 0 416.58/416.76 c 147 257 267.41 35.21 7.59 1000000 0 417.78/417.93 c 140 263 265.45 34.16 7.77 1000000 0 418.88/419.10 c 155 291 269.72 35.78 7.54 1000000 0 420.08/420.27 c 143 299 269.00 35.59 7.56 1000000 0 421.28/421.45 c 130 213 265.87 32.94 8.07 1000000 0 422.48/422.62 c 149 264 265.35 34.12 7.78 1000000 0 423.58/423.79 c 165 255 265.43 35.36 7.51 1000000 0 424.77/424.96 c 153 243 264.57 35.89 7.37 1000000 0 425.97/426.13 c 163 241 271.50 33.01 8.23 1000000 0 427.17/427.30 c 132 244 269.45 34.69 7.77 1000000 0 428.27/428.47 c 160 232 264.99 34.34 7.72 1000000 0 429.47/429.64 c 142 267 263.17 35.84 7.34 1000000 0 430.67/430.81 c 157 294 268.59 34.48 7.79 1000000 0 431.77/431.98 c 159 275 266.52 36.10 7.38 1000000 0 432.97/433.15 c 159 256 274.31 35.98 7.62 1000000 0 434.17/434.32 c 149 304 266.37 35.48 7.51 1000000 0 435.27/435.49 c 161 255 267.17 33.97 7.87 1000000 0 436.48/436.66 c 148 266 267.21 33.94 7.87 1000000 0 437.68/437.83 c 136 254 264.97 35.89 7.38 1000000 0 438.87/439.00 c 146 270 266.06 36.25 7.34 1000000 0 439.97/440.17 c 138 299 274.21 37.42 7.33 1000000 0 441.17/441.34 c 150 237 270.16 36.17 7.47 1000000 0 442.37/442.51 c 143 288 263.24 34.88 7.55 1000000 0 443.47/443.68 c 146 306 264.91 35.10 7.55 1000000 0 444.67/444.85 c 154 314 267.77 34.74 7.71 1000000 0 445.87/446.02 c 152 258 267.13 35.95 7.43 1000000 0 446.97/447.19 c 149 214 268.54 35.19 7.63 1000000 0 448.17/448.36 c 149 232 264.97 34.04 7.78 1000000 0 449.37/449.53 c 163 306 267.75 34.64 7.73 1000000 0 450.57/450.70 c 156 272 264.57 33.95 7.79 1000000 0 451.67/451.87 c 132 289 264.56 35.15 7.53 1000000 0 452.87/453.04 c 138 292 266.69 33.39 7.99 1000000 0 454.07/454.21 c 152 239 262.46 34.25 7.66 1000000 0 455.17/455.38 c 159 243 266.87 36.33 7.35 1000000 0 456.37/456.56 c 153 268 268.34 34.76 7.72 1000000 0 457.57/457.72 c 140 244 266.33 35.52 7.50 1000000 0 458.67/458.89 c 158 231 270.79 35.90 7.54 1000000 0 459.87/460.07 c 151 213 265.22 34.49 7.69 1000000 0 461.07/461.24 c 148 330 266.95 37.05 7.20 1000000 0 462.27/462.41 c 149 224 265.04 35.99 7.36 1000000 0 463.37/463.58 c 148 315 268.57 36.83 7.29 1000000 0 464.57/464.75 c 157 229 267.80 36.16 7.41 1000000 0 465.77/465.92 c 148 256 262.41 33.78 7.77 1000000 0 466.87/467.09 c 148 234 270.24 36.42 7.42 1000000 0 468.06/468.26 c 151 343 266.63 36.10 7.39 1000000 0 469.26/469.43 c 152 264 269.57 34.51 7.81 1000000 0 470.46/470.60 c 131 310 269.01 37.07 7.26 1000000 0 471.56/471.77 c 134 330 265.97 35.83 7.42 1000000 0 472.77/472.95 c 142 265 271.24 35.46 7.65 1000000 0 473.97/474.12 c 154 222 259.11 32.61 7.95 1000000 0 475.07/475.29 c 143 280 263.95 34.72 7.60 1000000 0 476.26/476.45 c 162 276 268.22 33.04 8.12 1000000 0 477.46/477.62 c 155 274 264.76 35.02 7.56 1000000 0 478.56/478.79 c 141 202 263.48 35.02 7.52 1000000 0 479.76/479.96 c 152 205 268.36 35.84 7.49 1000000 0 480.96/481.13 c 144 290 266.36 33.33 7.99 1000000 0 482.16/482.30 c 149 277 264.87 32.24 8.22 1000000 0 483.26/483.47 c 148 252 265.52 34.66 7.66 1000000 0 484.46/484.65 c 139 279 267.82 33.13 8.08 1000000 0 485.66/485.82 c 144 269 263.54 36.79 7.16 1000000 0 486.76/486.99 c 162 278 269.36 33.69 7.99 1000000 0 487.96/488.16 c 140 266 266.29 34.18 7.79 1000000 0 489.16/489.33 c 157 269 270.98 34.49 7.86 1000000 0 490.26/490.49 c 145 228 265.61 35.63 7.46 1000000 0 491.47/491.66 c 133 299 265.63 36.76 7.23 1000000 0 492.67/492.83 c 164 246 266.48 34.00 7.84 1000000 0 493.86/494.00 c 136 195 265.08 37.19 7.13 1000000 0 494.96/495.17 c 167 300 268.25 35.55 7.55 1000000 0 496.16/496.34 c 160 264 271.84 35.49 7.66 1000000 0 497.36/497.51 c 147 231 266.43 36.00 7.40 1000000 0 498.46/498.68 c 133 224 265.02 34.66 7.65 1000000 0 499.66/499.85 c 158 264 265.21 35.20 7.53 1000000 0 500.86/501.02 c 149 276 263.68 34.64 7.61 1000000 0 501.95/502.19 c 156 262 269.53 36.85 7.31 1000000 0 503.15/503.37 c 150 276 266.15 33.08 8.05 1000000 0 504.35/504.54 c 144 305 266.63 35.22 7.57 1000000 0 505.55/505.71 c 153 265 265.90 33.54 7.93 1000000 0 506.65/506.88 c 148 292 262.82 34.14 7.70 1000000 0 507.85/508.05 c 143 263 270.69 34.93 7.75 1000000 0 509.06/509.22 c 141 283 267.33 36.74 7.28 1000000 0 510.16/510.39 c 147 297 266.58 34.22 7.79 1000000 0 511.36/511.57 c 148 239 272.09 36.28 7.50 1000000 0 512.55/512.74 c 153 332 264.03 34.18 7.73 1000000 0 513.75/513.91 c 131 273 263.15 37.25 7.07 1000000 0 514.85/515.08 c 157 302 269.19 34.79 7.74 1000000 0 516.05/516.25 c 146 251 267.11 35.28 7.57 1000000 0 517.25/517.42 c 161 252 274.27 35.14 7.81 1000000 0 518.35/518.60 c 153 293 267.57 34.85 7.68 1000000 0 519.55/519.77 c 156 326 266.25 33.16 8.03 1000000 0 520.75/520.94 c 162 293 271.92 33.30 8.17 1000000 0 521.95/522.10 c 156 314 265.76 34.57 7.69 1000000 0 523.05/523.28 c 118 317 266.44 35.17 7.58 1000000 0 524.25/524.45 c 161 261 267.71 35.06 7.64 1000000 0 525.45/525.62 c 157 246 266.11 35.13 7.57 1000000 0 526.55/526.79 c 152 234 266.67 34.69 7.69 1000000 0 527.76/527.96 c 158 314 265.37 33.89 7.83 1000000 0 528.96/529.14 c 146 247 266.63 36.01 7.41 1000000 0 530.15/530.31 c 141 298 265.60 33.54 7.92 1000000 0 531.25/531.48 c 159 231 268.94 34.59 7.78 1000000 0 532.45/532.65 c 158 224 269.67 35.63 7.57 1000000 0 533.65/533.82 c 115 241 264.84 36.13 7.33 1000000 0 534.75/534.98 c 148 334 266.92 35.25 7.57 1000000 0 535.95/536.16 c 149 290 266.80 33.85 7.88 1000000 0 537.15/537.33 c 157 249 269.61 35.52 7.59 1000000 0 538.35/538.50 c 151 235 264.55 34.78 7.61 1000000 0 539.45/539.67 c 143 248 264.80 34.93 7.58 1000000 0 540.65/540.84 c 143 296 267.18 35.51 7.52 1000000 0 541.85/542.01 c 147 285 267.01 35.40 7.54 1000000 0 542.95/543.18 c 150 298 266.19 32.56 8.18 1000000 0 544.15/544.35 c 161 278 266.86 34.57 7.72 1000000 0 545.35/545.52 c 154 349 267.39 34.13 7.84 1000000 0 546.45/546.69 c 148 243 267.15 35.11 7.61 1000000 0 547.65/547.87 c 154 273 269.81 36.67 7.36 1000000 0 548.84/549.04 c 149 240 264.76 32.85 8.06 1000000 0 550.04/550.21 c 149 283 265.17 35.39 7.49 1000000 0 551.14/551.38 c 147 266 269.28 33.93 7.94 1000000 0 552.34/552.55 c 152 274 266.27 33.28 8.00 1000000 0 553.54/553.72 c 131 159 262.32 34.71 7.56 1000000 0 554.64/554.89 c 152 373 264.82 34.71 7.63 1000000 0 555.84/556.06 c 133 312 260.91 35.09 7.43 1000000 0 557.04/557.23 c 162 283 263.45 32.90 8.01 1000000 0 558.24/558.40 c 154 218 266.48 36.31 7.34 1000000 0 559.34/559.57 c 153 243 271.94 34.86 7.80 1000000 0 560.54/560.74 c 152 331 270.51 33.52 8.07 1000000 0 561.74/561.91 c 155 241 261.39 34.22 7.64 1000000 0 562.84/563.08 c 154 237 263.94 33.48 7.88 1000000 0 564.05/564.26 c 159 256 270.56 35.42 7.64 1000000 0 565.25/565.43 c 148 264 267.31 35.17 7.60 1000000 0 566.44/566.60 c 151 252 269.15 34.85 7.72 1000000 0 567.54/567.77 c 154 254 265.31 33.18 8.00 1000000 0 568.74/568.94 c 159 290 269.84 34.03 7.93 1000000 0 569.94/570.11 c 163 264 264.73 34.54 7.67 1000000 0 571.04/571.28 c 138 277 266.47 37.14 7.17 1000000 0 572.24/572.45 c 145 196 266.30 37.03 7.19 1000000 0 573.44/573.62 c 150 277 266.15 37.11 7.17 1000000 0 574.54/574.79 c 146 260 270.20 35.08 7.70 1000000 0 575.74/575.96 c 146 260 268.41 37.94 7.07 1000000 0 576.94/577.13 c 143 295 265.03 34.31 7.73 1000000 0 578.14/578.31 c 142 281 270.74 37.25 7.27 1000000 0 579.24/579.48 c 147 257 265.48 34.73 7.64 1000000 0 580.44/580.65 c 153 330 268.44 36.97 7.26 1000000 0 581.64/581.82 c 147 248 271.40 34.97 7.76 1000000 0 582.74/582.99 c 161 245 267.69 35.67 7.50 1000000 0 583.94/584.16 c 156 223 266.73 32.15 8.30 1000000 0 585.14/585.33 c 146 242 266.81 35.08 7.61 1000000 0 586.33/586.50 c 147 200 265.25 34.26 7.74 1000000 0 587.43/587.67 c 141 244 269.67 37.20 7.25 1000000 0 588.63/588.84 c 149 270 266.28 33.05 8.06 1000000 0 589.83/590.01 c 136 261 269.21 37.41 7.20 1000000 0 590.93/591.18 c 150 238 265.30 35.69 7.43 1000000 0 592.13/592.36 c 133 306 265.64 37.60 7.06 1000000 0 593.33/593.53 c 159 305 267.18 34.72 7.70 1000000 0 594.53/594.70 c 154 277 265.39 35.43 7.49 1000000 0 595.63/595.88 c 152 256 270.04 34.26 7.88 1000000 0 596.83/597.04 c 148 314 265.59 33.86 7.84 1000000 0 598.03/598.21 c 154 294 269.30 33.68 8.00 1000000 0 599.13/599.39 c 146 243 268.84 36.63 7.34 1000000 0 600.34/600.56 c 147 271 264.27 33.61 7.86 1000000 0 601.54/601.73 c 147 321 265.09 36.10 7.34 1000000 0 602.73/602.90 c 132 238 267.16 35.70 7.48 1000000 0 603.83/604.07 c 118 291 265.71 33.65 7.90 1000000 0 605.03/605.24 c 147 273 263.23 32.57 8.08 1000000 0 606.23/606.41 c 146 254 266.29 36.04 7.39 1000000 0 607.33/607.58 c 157 290 271.52 34.80 7.80 1000000 0 608.53/608.75 c 138 240 268.16 37.60 7.13 1000000 0 609.73/609.93 c 161 275 268.41 33.93 7.91 1000000 0 610.93/611.10 c 155 199 265.32 32.98 8.04 1000000 0 612.03/612.27 c 132 300 265.27 34.03 7.79 1000000 0 613.23/613.44 c 161 279 269.40 32.03 8.41 1000000 0 614.43/614.61 c 148 247 267.98 36.43 7.36 1000000 0 615.53/615.77 c 147 302 265.55 34.24 7.76 1000000 0 616.73/616.95 c 144 309 269.89 34.33 7.86 1000000 0 617.93/618.13 c 159 247 270.12 33.55 8.05 1000000 0 619.03/619.30 c 148 249 266.94 33.51 7.97 1000000 0 620.23/620.47 c 157 312 264.14 36.38 7.26 1000000 0 621.42/621.64 c 156 297 262.97 34.92 7.53 1000000 0 622.62/622.81 c 155 264 268.53 34.81 7.71 1000000 0 623.72/623.98 c 140 263 269.06 36.44 7.38 1000000 0 624.92/625.15 c 139 231 267.23 35.16 7.60 1000000 0 626.12/626.32 c 154 267 267.24 34.49 7.75 1000000 0 627.22/627.49 c 153 306 267.85 33.99 7.88 1000000 0 628.42/628.66 c 146 256 263.28 34.60 7.61 1000000 0 629.62/629.83 c 148 224 268.93 34.52 7.79 1000000 0 630.82/631.00 c 140 230 266.80 36.94 7.22 1000000 0 631.92/632.17 c 136 242 266.46 34.90 7.63 1000000 0 633.12/633.34 c 150 259 267.22 33.78 7.91 1000000 0 634.32/634.51 c 154 323 267.22 34.99 7.64 1000000 0 635.42/635.68 c 163 250 271.95 35.77 7.60 1000000 0 636.63/636.85 c 150 272 262.85 34.28 7.67 1000000 0 637.83/638.02 c 146 294 262.23 34.27 7.65 1000000 0 638.93/639.19 c 138 270 264.00 34.65 7.62 1000000 0 640.12/640.36 c 148 282 266.20 34.42 7.73 1000000 0 641.32/641.53 c 142 267 270.88 36.98 7.33 1000000 0 642.52/642.71 c 146 301 270.50 33.92 7.97 1000000 0 643.62/643.87 c 161 380 267.17 32.93 8.11 1000000 0 644.82/645.05 c 157 228 266.33 34.76 7.66 1000000 0 646.02/646.21 c 127 273 265.06 35.30 7.51 1000000 0 647.12/647.38 c 142 275 270.09 36.01 7.50 1000000 0 648.32/648.56 c 155 258 269.19 33.78 7.97 1000000 0 649.52/649.72 c 128 248 265.35 36.33 7.30 1000000 0 650.72/650.90 c 143 290 271.60 36.27 7.49 1000000 0 651.82/652.06 c 156 266 267.56 34.66 7.72 1000000 0 653.02/653.23 c 136 247 264.44 35.99 7.35 1000000 0 654.22/654.41 c 154 232 263.06 33.44 7.87 1000000 0 655.32/655.58 c 155 219 264.54 34.57 7.65 1000000 0 656.52/656.75 c 164 288 271.05 33.19 8.17 1000000 0 657.72/657.93 c 146 238 269.68 34.24 7.88 1000000 0 658.81/659.09 c 152 309 267.49 36.36 7.36 1000000 0 660.01/660.26 c 159 253 268.61 34.04 7.89 1000000 0 661.21/661.44 c 155 310 268.03 35.12 7.63 1000000 0 662.41/662.61 c 130 287 263.56 35.87 7.35 1000000 0 663.51/663.78 c 157 263 268.66 35.60 7.55 1000000 0 664.71/664.95 c 153 287 271.48 33.65 8.07 1000000 0 665.91/666.12 c 158 243 269.40 37.56 7.17 1000000 0 667.01/667.29 c 165 317 269.47 32.39 8.32 1000000 0 668.21/668.46 c 154 278 265.57 34.68 7.66 1000000 0 669.41/669.63 c 140 244 266.95 35.18 7.59 1000000 0 670.51/670.79 c 152 256 264.74 32.22 8.22 1000000 0 671.71/671.96 c 153 304 265.29 33.19 7.99 1000000 0 672.92/673.14 c 148 227 265.22 34.52 7.68 1000000 0 674.12/674.31 c 147 246 265.14 35.67 7.43 1000000 0 675.22/675.48 c 141 273 270.72 36.90 7.34 1000000 0 676.41/676.64 c 156 254 263.01 33.86 7.77 1000000 0 677.61/677.81 c 153 264 271.59 36.28 7.49 1000000 0 678.71/678.99 c 162 277 267.94 34.34 7.80 1000000 0 679.91/680.15 c 159 202 263.25 36.84 7.15 1000000 0 681.11/681.32 c 158 270 264.27 34.96 7.56 1000000 0 682.21/682.49 c 134 312 269.26 35.50 7.58 1000000 0 683.41/683.66 c 160 225 269.98 34.76 7.77 1000000 0 684.61/684.83 c 153 248 272.16 36.21 7.52 1000000 0 685.81/686.00 c 150 276 268.33 34.75 7.72 1000000 0 686.91/687.17 c 151 268 269.47 35.05 7.69 1000000 0 688.11/688.34 c 154 247 269.13 35.20 7.65 1000000 0 689.31/689.51 c 151 255 270.20 36.76 7.35 1000000 0 690.41/690.68 c 153 332 270.39 37.92 7.13 1000000 0 691.61/691.85 c 161 226 266.61 35.12 7.59 1000000 0 692.81/693.02 c 150 250 267.39 34.37 7.78 1000000 0 693.91/694.20 c 159 258 267.35 34.40 7.77 1000000 0 695.11/695.36 c 137 234 266.47 34.69 7.68 1000000 0 696.31/696.53 c 155 294 268.92 35.94 7.48 1000000 0 697.50/697.71 c 153 222 265.28 33.80 7.85 1000000 0 698.60/698.88 c 122 218 265.58 36.38 7.30 1000000 0 699.80/700.05 c 157 284 263.02 36.59 7.19 1000000 0 701.00/701.23 c 144 243 266.76 34.65 7.70 1000000 0 702.10/702.40 c 153 251 268.42 36.91 7.27 1000000 0 703.30/703.57 c 141 248 268.08 34.49 7.77 1000000 0 704.50/704.74 c 147 299 268.32 33.52 8.01 1000000 0 705.70/705.91 c 147 251 266.77 37.67 7.08 1000000 0 706.80/707.08 c 157 238 267.82 34.31 7.81 1000000 0 708.00/708.25 c 157 265 268.64 35.47 7.57 1000000 0 709.21/709.42 c 151 240 266.09 32.86 8.10 1000000 0 710.31/710.59 c 154 317 268.09 34.89 7.68 1000000 0 711.51/711.76 c 119 268 268.36 36.77 7.30 1000000 0 712.70/712.93 c 143 246 265.77 33.79 7.87 1000000 0 713.90/714.10 c 143 306 268.62 34.26 7.84 1000000 0 715.00/715.28 c 145 321 267.36 34.48 7.75 1000000 0 716.20/716.44 c 139 270 268.17 34.98 7.67 1000000 0 717.40/717.62 c 148 249 265.90 35.52 7.49 1000000 0 718.50/718.79 c 149 221 265.82 33.48 7.94 1000000 0 719.70/719.96 c 157 272 270.01 36.30 7.44 1000000 0 720.90/721.13 c 127 356 265.06 34.50 7.68 1000000 0 722.10/722.30 c 170 302 268.63 32.51 8.26 1000000 0 723.20/723.46 c 156 241 266.18 33.72 7.89 1000000 0 724.40/724.64 c 150 290 268.54 37.03 7.25 1000000 0 725.60/725.81 c 156 336 265.22 33.82 7.84 1000000 0 726.70/726.98 c 154 287 268.03 34.39 7.79 1000000 0 727.90/728.15 c 161 244 266.93 33.60 7.95 1000000 0 729.10/729.32 c 156 246 268.97 37.67 7.14 1000000 0 730.20/730.49 c 154 273 268.57 33.94 7.91 1000000 0 731.40/731.66 c 139 248 268.26 36.02 7.45 1000000 0 732.59/732.83 c 156 203 268.10 33.98 7.89 1000000 0 733.79/734.00 c 147 302 267.27 37.21 7.18 1000000 0 734.89/735.17 c 151 294 271.78 34.26 7.93 1000000 0 736.09/736.34 c 152 264 264.59 34.95 7.57 1000000 0 737.29/737.51 c 153 253 263.01 34.29 7.67 1000000 0 738.39/738.68 c 139 240 265.58 36.39 7.30 1000000 0 739.59/739.85 c 152 269 267.19 36.34 7.35 1000000 0 740.79/741.02 c 148 297 265.12 35.32 7.51 1000000 0 741.89/742.19 c 160 263 268.22 32.28 8.31 1000000 0 743.09/743.36 c 146 343 270.38 35.57 7.60 1000000 0 744.29/744.53 c 158 230 268.17 35.26 7.61 1000000 0 745.50/745.70 c 151 232 264.75 35.69 7.42 1000000 0 746.60/746.87 c 145 269 267.16 35.04 7.62 1000000 0 747.80/748.04 c 133 294 262.06 37.22 7.04 1000000 0 748.99/749.21 c 161 281 268.75 35.04 7.67 1000000 0 750.09/750.38 c 147 283 262.74 35.26 7.45 1000000 0 751.29/751.54 c 157 238 266.01 33.03 8.05 1000000 0 752.49/752.72 c 151 382 265.32 33.54 7.91 1000000 0 753.59/753.89 c 147 261 267.42 33.82 7.91 1000000 0 754.79/755.06 c 167 284 265.07 34.04 7.79 1000000 0 755.99/756.23 c 155 283 266.25 36.07 7.38 1000000 0 757.19/757.40 c 143 213 266.69 35.86 7.44 1000000 0 758.29/758.57 c 153 257 265.68 36.28 7.32 1000000 0 759.49/759.74 c 140 299 267.36 34.74 7.70 1000000 0 760.69/760.91 c 152 230 268.19 36.33 7.38 1000000 0 761.79/762.08 c 156 255 267.87 34.77 7.70 1000000 0 762.99/763.24 c 156 269 266.00 33.34 7.98 1000000 0 764.19/764.41 c 159 256 266.02 34.48 7.71 1000000 0 765.29/765.58 c 151 245 269.52 34.21 7.88 1000000 0 766.49/766.76 c 142 294 269.75 36.51 7.39 1000000 0 767.69/767.93 c 163 275 267.05 34.67 7.70 1000000 0 768.89/769.10 c 149 311 268.38 33.51 8.01 1000000 0 769.98/770.27 c 149 251 265.44 35.07 7.57 1000000 0 771.18/771.44 c 145 304 266.26 33.79 7.88 1000000 0 772.38/772.61 c 150 262 267.23 34.68 7.71 1000000 0 773.48/773.79 c 149 255 266.42 34.07 7.82 1000000 0 774.68/774.96 c 149 240 267.15 35.66 7.49 1000000 0 775.88/776.13 c 133 286 267.13 36.34 7.35 1000000 0 777.08/777.30 c 145 255 267.05 33.31 8.02 1000000 0 778.18/778.47 c 153 264 265.02 34.76 7.62 1000000 0 779.38/779.64 c 135 327 267.48 34.38 7.78 1000000 0 780.58/780.81 c 173 286 270.97 36.52 7.42 1000000 0 781.68/781.98 c 156 243 264.53 34.09 7.76 1000000 0 782.89/783.15 c 161 330 263.40 34.45 7.64 1000000 0 784.09/784.32 c 117 325 264.75 34.61 7.65 1000000 0 785.19/785.49 c 135 230 261.78 35.00 7.48 1000000 0 786.38/786.66 c 160 286 271.43 34.14 7.95 1000000 0 787.58/787.83 c 142 271 267.66 35.77 7.48 1000000 0 788.78/789.00 c 161 255 272.70 34.78 7.84 1000000 0 789.88/790.17 c 159 277 270.32 34.85 7.76 1000000 0 791.08/791.35 c 165 282 266.73 34.99 7.62 1000000 0 792.28/792.51 c 149 209 267.67 35.79 7.48 1000000 0 793.38/793.68 c 150 299 264.54 35.69 7.41 1000000 0 794.58/794.85 c 143 248 264.16 34.65 7.62 1000000 0 795.78/796.03 c 155 342 265.47 33.98 7.81 1000000 0 796.88/797.19 c 151 252 263.79 33.33 7.91 1000000 0 798.08/798.37 c 150 246 265.74 34.28 7.75 1000000 0 799.28/799.54 c 160 283 270.98 34.50 7.85 1000000 0 800.48/800.71 c 144 247 267.19 35.05 7.62 1000000 0 801.58/801.88 c 137 274 262.68 34.77 7.55 1000000 0 802.78/803.05 c 161 350 266.42 33.75 7.89 1000000 0 803.98/804.22 c 154 225 270.44 34.54 7.83 1000000 0 805.18/805.40 c 144 287 266.07 36.46 7.30 1000000 0 806.28/806.57 c 159 235 266.63 36.13 7.38 1000000 0 807.48/807.74 c 139 308 262.81 35.43 7.42 1000000 0 808.68/808.91 c 148 284 271.49 33.50 8.10 1000000 0 809.77/810.08 c 148 263 269.36 35.58 7.57 1000000 0 810.97/811.25 c 156 279 265.50 34.61 7.67 1000000 0 812.17/812.42 c 150 286 268.16 36.63 7.32 1000000 0 813.27/813.60 c 143 214 268.47 36.07 7.44 1000000 0 814.47/814.77 c 150 284 268.54 34.43 7.80 1000000 0 815.67/815.94 c 150 267 265.99 37.18 7.15 1000000 0 816.87/817.10 c 134 200 268.90 34.78 7.73 1000000 0 817.97/818.27 c 163 256 266.64 32.54 8.19 1000000 0 819.18/819.44 c 156 243 268.39 35.74 7.51 1000000 0 820.38/820.61 c 145 274 268.16 34.98 7.67 1000000 0 821.48/821.78 c 146 265 264.78 37.70 7.02 1000000 0 822.67/822.96 c 152 268 274.62 36.43 7.54 1000000 0 823.87/824.13 c 161 307 267.01 33.47 7.98 1000000 0 825.07/825.30 c 154 269 269.54 33.82 7.97 1000000 0 826.17/826.47 c 152 213 267.74 33.33 8.03 1000000 0 827.37/827.64 c 141 232 269.91 34.74 7.77 1000000 0 828.57/828.81 c 146 246 268.82 36.30 7.41 1000000 0 829.67/829.98 c 154 251 263.58 33.88 7.78 1000000 0 830.87/831.16 c 143 278 266.04 34.09 7.80 1000000 0 832.07/832.33 c 151 278 269.92 35.17 7.68 1000000 0 833.27/833.50 c 147 292 271.56 36.31 7.48 1000000 0 834.37/834.67 c 141 305 261.35 34.46 7.58 1000000 0 835.57/835.84 c 145 274 267.39 35.64 7.50 1000000 0 836.77/837.01 c 154 308 265.46 34.71 7.65 1000000 0 837.87/838.18 c 119 308 267.64 36.77 7.28 1000000 0 839.07/839.35 c 145 204 268.44 34.06 7.88 1000000 0 840.27/840.52 c 158 268 269.46 34.00 7.92 1000000 0 841.37/841.69 c 159 308 263.42 33.41 7.88 1000000 0 842.57/842.86 c 167 284 271.69 33.94 8.00 1000000 0 843.77/844.03 c 150 189 259.78 32.92 7.89 1000000 0 844.97/845.20 c 149 279 271.40 38.18 7.11 1000000 0 846.07/846.38 c 159 351 267.49 34.66 7.72 1000000 0 847.27/847.55 c 155 271 269.55 36.17 7.45 1000000 0 848.47/848.72 c 133 236 268.67 35.75 7.51 1000000 0 849.56/849.89 c 155 260 263.31 34.34 7.67 1000000 0 850.76/851.06 c 140 298 266.59 34.25 7.78 1000000 0 851.96/852.23 c 167 256 270.26 34.11 7.92 1000000 0 853.16/853.40 c 128 277 269.72 34.68 7.78 1000000 0 854.26/854.57 c 148 243 264.06 35.14 7.51 1000000 0 855.47/855.74 c 160 302 262.68 33.64 7.81 1000000 0 856.67/856.90 c 151 296 264.30 33.96 7.78 1000000 0 857.77/858.07 c 145 271 267.46 35.60 7.51 1000000 0 858.96/859.24 c 149 274 267.74 35.72 7.49 1000000 0 860.16/860.41 c 154 276 270.93 36.45 7.43 1000000 0 861.26/861.59 c 150 239 268.62 35.19 7.63 1000000 0 862.46/862.75 c 165 271 266.62 34.15 7.81 1000000 0 863.66/863.93 c 161 298 269.31 34.60 7.78 1000000 0 864.76/865.10 c 158 322 265.43 35.44 7.49 1000000 0 865.96/866.27 c 144 246 271.01 37.70 7.19 1000000 0 867.16/867.44 c 147 255 265.29 34.87 7.61 1000000 0 868.36/868.61 c 144 275 266.13 36.57 7.28 1000000 0 869.46/869.78 c 139 274 269.13 35.93 7.49 1000000 0 870.66/870.95 c 160 301 265.41 33.02 8.04 1000000 0 871.86/872.12 c 151 223 268.41 36.24 7.41 1000000 0 872.96/873.29 c 136 335 265.85 36.27 7.33 1000000 0 874.17/874.46 c 151 252 272.28 36.88 7.38 1000000 0 875.37/875.63 c 141 238 265.97 34.48 7.71 1000000 0 876.56/876.80 c 153 243 268.04 34.25 7.83 1000000 0 877.66/877.97 c 145 239 260.94 36.12 7.22 1000000 0 878.86/879.14 c 151 331 264.04 33.83 7.80 1000000 0 880.06/880.31 c 147 268 266.92 35.02 7.62 1000000 0 881.16/881.48 c 143 239 264.93 35.74 7.41 1000000 0 882.36/882.65 c 151 217 267.43 36.86 7.25 1000000 0 883.56/883.81 c 156 327 263.58 34.82 7.57 1000000 0 884.66/884.98 c 151 288 265.85 35.52 7.48 1000000 0 885.86/886.15 c 150 177 264.90 34.43 7.69 1000000 0 887.06/887.32 c 147 255 264.97 36.30 7.30 1000000 0 888.15/888.49 c 156 235 272.19 35.23 7.73 1000000 0 889.35/889.66 c 136 266 266.94 36.32 7.35 1000000 0 890.55/890.83 c 144 228 267.49 34.21 7.82 1000000 0 891.76/892.00 c 144 305 268.15 35.77 7.50 1000000 0 892.86/893.17 c 161 260 269.28 33.56 8.02 1000000 0 894.06/894.34 c 149 226 265.65 34.43 7.72 1000000 0 895.25/895.51 c 160 265 265.32 33.62 7.89 1000000 0 896.35/896.68 c 143 292 269.69 34.73 7.77 1000000 0 897.55/897.86 c 134 274 266.37 36.11 7.38 1000000 0 898.75/899.03 c 156 314 268.44 36.30 7.40 1000000 0 899.95/900.20 c 154 212 264.51 35.46 7.46 1000000 0 901.05/901.37 c 151 218 266.71 35.64 7.48 1000000 0 902.25/902.54 c 146 204 263.38 35.37 7.45 1000000 0 903.45/903.71 c 155 241 271.45 35.64 7.62 1000000 0 904.55/904.88 c 160 266 266.93 32.75 8.15 1000000 0 905.75/906.05 c 159 234 266.75 32.39 8.23 1000000 0 906.95/907.22 c 147 273 267.81 38.41 6.97 1000000 0 908.05/908.39 c 160 250 268.27 34.03 7.88 1000000 0 909.25/909.56 c 161 244 264.45 33.29 7.94 1000000 0 910.46/910.73 c 136 226 268.89 37.10 7.25 1000000 0 911.56/911.90 c 142 273 268.10 33.82 7.93 1000000 0 912.76/913.07 c 155 256 268.45 34.67 7.74 1000000 0 913.95/914.24 c 149 268 268.50 37.33 7.19 1000000 0 915.15/915.42 c 148 285 266.40 33.96 7.84 1000000 0 916.25/916.59 c 158 283 267.40 35.90 7.45 1000000 0 917.45/917.76 c 153 251 263.58 33.56 7.85 1000000 0 918.65/918.93 c 143 271 265.11 35.15 7.54 1000000 0 919.75/920.10 c 139 323 263.23 35.62 7.39 1000000 0 920.95/921.26 c 133 248 272.25 34.15 7.97 1000000 0 922.15/922.44 c 156 262 263.32 33.75 7.80 1000000 0 923.35/923.61 c 134 276 268.18 36.49 7.35 1000000 0 924.45/924.78 c 143 296 261.14 34.17 7.64 1000000 0 925.65/925.95 c 139 219 266.87 35.10 7.60 1000000 0 926.85/927.12 c 149 202 265.70 34.09 7.79 1000000 0 927.94/928.29 c 151 254 269.19 35.09 7.67 1000000 0 929.15/929.46 c 137 265 269.61 37.45 7.20 1000000 0 930.35/930.63 c 148 309 269.12 37.26 7.22 1000000 0 931.54/931.80 c 148 241 267.75 34.50 7.76 1000000 0 932.64/932.97 c 166 279 268.23 34.31 7.82 1000000 0 933.84/934.14 c 147 237 265.80 36.15 7.35 1000000 0 935.04/935.31 c 145 297 267.02 34.70 7.69 1000000 0 936.14/936.48 c 152 283 263.11 33.86 7.77 1000000 0 937.34/937.65 c 149 223 264.01 33.35 7.92 1000000 0 938.54/938.82 c 147 325 263.07 34.87 7.54 1000000 0 939.64/939.99 c 146 264 268.66 35.39 7.59 1000000 0 940.84/941.16 c 149 325 268.30 36.72 7.31 1000000 0 942.04/942.33 c 167 265 268.68 34.87 7.70 1000000 0 943.24/943.51 c 142 295 268.34 35.28 7.61 1000000 0 944.34/944.68 c 142 231 265.11 33.97 7.80 1000000 0 945.54/945.85 c 151 254 265.78 35.33 7.52 1000000 0 946.75/947.02 c 135 277 262.14 34.11 7.68 1000000 0 947.85/948.19 c 155 175 267.97 34.34 7.80 1000000 0 949.05/949.36 c 152 247 265.86 33.67 7.90 1000000 0 950.24/950.53 c 158 227 266.40 34.31 7.76 1000000 0 951.34/951.69 c 124 242 265.30 36.58 7.25 1000000 0 952.54/952.87 c 150 231 266.09 35.17 7.57 1000000 0 953.74/954.03 c 157 255 266.67 35.76 7.46 1000000 0 954.94/955.20 c 155 232 267.60 34.73 7.70 1000000 0 956.04/956.37 c 148 247 268.52 34.40 7.80 1000000 0 957.24/957.55 c 152 251 267.63 35.06 7.63 1000000 0 958.44/958.72 c 151 262 275.76 36.65 7.52 1000000 0 959.54/959.89 c 142 328 267.49 34.00 7.87 1000000 0 960.74/961.06 c 162 195 267.03 34.92 7.65 1000000 0 961.94/962.23 c 150 247 266.90 34.81 7.67 1000000 0 963.14/963.40 c 147 202 267.66 36.17 7.40 1000000 0 964.24/964.57 c 142 246 268.13 34.36 7.80 1000000 0 965.44/965.74 c 148 234 267.63 38.35 6.98 1000000 0 966.64/966.91 c 162 282 269.61 32.65 8.26 1000000 0 967.74/968.08 c 130 254 265.67 35.84 7.41 1000000 0 968.93/969.25 c 139 249 267.38 34.35 7.78 1000000 0 970.13/970.43 c 157 271 260.53 31.83 8.18 1000000 0 971.23/971.59 c 146 335 268.58 36.66 7.33 1000000 0 972.43/972.76 c 147 247 266.55 34.57 7.71 1000000 0 973.63/973.93 c 156 213 264.74 33.65 7.87 1000000 0 974.83/975.10 c 146 327 269.92 35.10 7.69 1000000 0 975.93/976.27 c 152 253 267.26 36.99 7.22 1000000 0 977.13/977.44 c 144 265 268.34 34.96 7.68 1000000 0 978.33/978.61 c 134 229 265.97 34.30 7.76 1000000 0 979.43/979.78 c 142 208 264.66 34.57 7.66 1000000 0 980.63/980.95 c 147 166 271.85 36.32 7.48 1000000 0 981.83/982.12 c 160 258 268.00 32.51 8.24 1000000 0 982.93/983.29 c 158 260 271.75 32.80 8.28 1000000 0 984.14/984.46 c 163 238 265.84 35.53 7.48 1000000 0 985.34/985.63 c 134 262 267.83 33.98 7.88 1000000 0 986.53/986.80 c 149 220 263.30 35.16 7.49 1000000 0 987.63/987.97 c 159 211 268.55 34.36 7.82 1000000 0 988.83/989.14 c 147 228 267.20 35.23 7.58 1000000 0 990.03/990.31 c 161 229 265.82 32.84 8.09 1000000 0 991.13/991.48 c 165 309 270.18 34.90 7.74 1000000 0 992.33/992.64 c 161 244 267.82 34.23 7.82 1000000 0 993.53/993.81 c 138 367 266.53 39.43 6.76 1000000 0 994.63/994.98 c 160 255 268.97 32.69 8.23 1000000 0 995.83/996.15 c 137 274 267.92 34.23 7.83 1000000 0 997.03/997.32 c 149 226 272.97 36.01 7.58 1000000 0 998.13/998.49 c 141 255 266.64 35.16 7.58 1000000 0 999.33/999.66 c 160 235 270.42 34.63 7.81 1000000 0 1000.53/1000.83 c 143 220 265.19 33.73 7.86 1000000 0 1001.63/1002.00 c 146 232 268.81 32.85 8.18 1000000 0 1002.83/1003.17 c 148 301 266.66 34.97 7.62 1000000 0 1004.03/1004.34 c 148 231 267.76 35.05 7.64 1000000 0 1005.23/1005.51 c 146 262 267.19 35.54 7.52 1000000 0 1006.33/1006.69 c 153 296 264.11 35.44 7.45 1000000 0 1007.52/1007.86 c 144 242 265.04 34.69 7.64 1000000 0 1008.72/1009.03 c 156 231 267.62 36.40 7.35 1000000 0 1009.92/1010.20 c 140 198 266.49 34.73 7.67 1000000 0 1011.02/1011.37 c 150 209 269.31 33.68 8.00 1000000 0 1012.22/1012.54 c 156 243 269.24 34.20 7.87 1000000 0 1013.42/1013.71 c 151 278 267.26 36.43 7.34 1000000 0 1014.52/1014.88 c 145 298 268.17 35.30 7.60 1000000 0 1015.72/1016.05 c 133 285 266.43 36.57 7.29 1000000 0 1016.92/1017.22 c 139 228 263.84 37.62 7.01 1000000 0 1018.02/1018.39 c 144 252 268.69 36.05 7.45 1000000 0 1019.22/1019.56 c 155 237 268.60 35.80 7.50 1000000 0 1020.43/1020.73 c 152 298 268.60 36.16 7.43 1000000 0 1021.53/1021.90 c 146 263 265.63 33.58 7.91 1000000 0 1022.73/1023.06 c 146 277 264.02 34.39 7.68 1000000 0 1023.92/1024.24 c 154 242 264.49 35.14 7.53 1000000 0 1025.12/1025.41 c 143 215 266.27 34.86 7.64 1000000 0 1026.22/1026.58 c 164 261 265.26 33.21 7.99 1000000 0 1027.42/1027.75 c 168 314 269.50 32.98 8.17 1000000 0 1028.62/1028.93 c 150 301 264.03 35.00 7.54 1000000 0 1029.72/1030.09 c 153 214 264.85 34.47 7.68 1000000 0 1030.92/1031.26 c 149 283 268.22 35.01 7.66 1000000 0 1032.12/1032.44 c 150 248 270.60 34.75 7.79 1000000 0 1033.32/1033.60 c 148 295 266.19 37.31 7.13 1000000 0 1034.42/1034.77 c 150 326 266.33 36.64 7.27 1000000 0 1035.62/1035.94 c 159 234 266.58 35.28 7.56 1000000 0 1036.82/1037.11 c 146 292 267.06 33.77 7.91 1000000 0 1037.92/1038.28 c 161 277 269.53 36.22 7.44 1000000 0 1039.12/1039.45 c 163 177 265.46 32.94 8.06 1000000 0 1040.32/1040.62 c 144 211 265.33 35.89 7.39 1000000 0 1041.42/1041.80 c 152 254 269.17 33.91 7.94 1000000 0 1042.62/1042.96 c 137 291 265.49 35.08 7.57 1000000 0 1043.82/1044.13 c 155 239 268.43 36.54 7.35 1000000 0 1045.02/1045.30 c 157 176 269.20 34.33 7.84 1000000 0 1046.11/1046.47 c 151 316 263.24 32.68 8.05 1000000 0 1047.31/1047.64 c 152 311 262.74 34.42 7.63 1000000 0 1048.51/1048.81 c 147 311 267.86 35.66 7.51 1000000 0 1049.61/1049.99 c 162 241 274.04 35.52 7.72 1000000 0 1050.81/1051.16 c 131 346 266.58 35.92 7.42 1000000 0 1052.01/1052.33 c 159 242 270.58 34.49 7.84 1000000 0 1053.21/1053.50 c 163 273 268.10 35.88 7.47 1000000 0 1054.31/1054.66 c 156 246 266.76 34.24 7.79 1000000 0 1055.51/1055.83 c 151 227 267.57 36.56 7.32 1000000 0 1056.72/1057.01 c 163 204 265.56 32.03 8.29 1000000 0 1057.82/1058.18 c 152 251 263.56 35.00 7.53 1000000 0 1059.02/1059.35 c 157 286 263.68 34.41 7.66 1000000 0 1060.21/1060.52 c 147 262 269.45 36.72 7.34 1000000 0 1061.31/1061.68 c 124 295 263.04 34.93 7.53 1000000 0 1062.51/1062.86 c 153 274 268.81 33.72 7.97 1000000 0 1063.71/1064.03 c 158 294 265.95 34.21 7.77 1000000 0 1064.91/1065.20 c 165 229 274.17 35.01 7.83 1000000 0 1066.01/1066.37 c 158 315 270.61 35.58 7.61 1000000 0 1067.21/1067.54 c 171 284 271.46 33.20 8.18 1000000 0 1068.41/1068.71 c 136 280 268.12 34.35 7.81 1000000 0 1069.51/1069.88 c 148 237 270.39 38.10 7.10 1000000 0 1070.71/1071.05 c 148 309 265.72 35.87 7.41 1000000 0 1071.91/1072.22 c 158 271 264.11 34.37 7.68 1000000 0 1073.01/1073.38 c 148 309 265.89 35.02 7.59 1000000 0 1074.21/1074.55 c 126 299 265.97 33.96 7.83 1000000 0 1075.41/1075.72 c 148 299 265.62 33.96 7.82 1000000 0 1076.51/1076.90 c 132 251 270.04 36.79 7.34 1000000 0 1077.71/1078.07 c 144 316 266.12 34.34 7.75 1000000 0 1078.91/1079.24 c 162 286 266.27 34.17 7.79 1000000 0 1080.11/1080.41 c 142 300 266.37 35.19 7.57 1000000 0 1081.21/1081.58 c 157 231 266.63 35.98 7.41 1000000 0 1082.41/1082.75 c 159 321 266.41 33.96 7.84 1000000 0 1083.60/1083.92 c 160 237 267.58 36.35 7.36 1000000 0 1084.70/1085.10 c 141 238 265.35 35.88 7.39 1000000 0 1085.90/1086.27 c 157 330 267.22 33.43 7.99 1000000 0 1087.10/1087.44 c 128 255 264.04 36.04 7.33 1000000 0 1088.30/1088.61 c 154 279 267.26 35.55 7.52 1000000 0 1089.40/1089.78 c 157 233 266.02 35.87 7.42 1000000 0 1090.60/1090.95 c 147 295 263.29 33.98 7.75 1000000 0 1091.80/1092.11 c 150 253 263.11 33.44 7.87 1000000 0 1092.90/1093.28 c 153 233 266.02 34.04 7.81 1000000 0 1094.11/1094.45 c 154 309 269.41 35.25 7.64 1000000 0 1095.31/1095.63 c 156 247 267.07 32.90 8.12 1000000 0 1096.41/1096.80 c 151 230 265.98 34.87 7.63 1000000 0 1097.60/1097.97 c 150 286 270.54 35.51 7.62 1000000 0 1098.80/1099.14 c 147 252 266.78 36.45 7.32 1000000 0 1100.00/1100.31 c 144 306 267.20 33.21 8.05 1000000 0 1101.10/1101.48 c 117 265 263.83 36.92 7.15 1000000 0 1102.30/1102.65 c 140 247 262.88 35.83 7.34 1000000 0 1103.50/1103.82 c 148 291 270.60 35.45 7.63 1000000 0 1104.60/1105.00 c 161 211 265.02 34.64 7.65 1000000 0 1105.80/1106.17 c 158 249 266.05 34.07 7.81 1000000 0 1107.00/1107.34 c 150 331 266.99 36.18 7.38 1000000 0 1108.20/1108.51 c 136 237 268.50 35.28 7.61 1000000 0 1109.30/1109.67 c 142 254 265.27 36.09 7.35 1000000 0 1110.50/1110.85 c 152 224 268.43 34.84 7.70 1000000 0 1111.70/1112.01 c 156 244 269.63 36.27 7.43 1000000 0 1112.80/1113.18 c 146 288 264.92 34.07 7.78 1000000 0 1114.00/1114.35 c 154 249 266.28 32.56 8.18 1000000 0 1115.20/1115.53 c 155 207 271.49 36.66 7.40 1000000 0 1116.40/1116.70 c 152 241 266.56 33.02 8.07 1000000 0 1117.50/1117.87 c 160 296 272.85 34.04 8.02 1000000 0 1118.69/1119.04 c 164 231 267.68 35.46 7.55 1000000 0 1119.89/1120.21 c 152 290 266.39 38.68 6.89 1000000 0 1120.99/1121.38 c 149 255 266.93 35.64 7.49 1000000 0 1122.19/1122.55 c 145 292 265.09 34.10 7.77 1000000 0 1123.39/1123.73 c 146 250 269.17 33.56 8.02 1000000 0 1124.59/1124.90 c 146 234 265.51 32.93 8.06 1000000 0 1125.69/1126.07 c 148 381 265.37 34.47 7.70 1000000 0 1126.89/1127.24 c 150 261 267.88 36.24 7.39 1000000 0 1128.09/1128.41 c 155 293 267.73 34.61 7.74 1000000 0 1129.19/1129.58 c 141 284 259.49 33.85 7.67 1000000 0 1130.40/1130.75 c 148 223 267.47 37.63 7.11 1000000 0 1131.60/1131.93 c 118 271 269.74 36.59 7.37 1000000 0 1132.79/1133.10 c 151 259 266.81 34.73 7.68 1000000 0 1133.89/1134.27 c 167 287 266.09 33.26 8.00 1000000 0 1135.09/1135.44 c 147 240 268.45 34.85 7.70 1000000 0 1136.29/1136.61 c 154 222 265.58 33.75 7.87 1000000 0 1137.39/1137.79 c 158 270 269.69 34.78 7.75 1000000 0 1138.59/1138.95 c 160 228 268.76 33.93 7.92 1000000 0 1139.79/1140.12 c 154 310 268.26 34.88 7.69 1000000 0 1140.99/1141.30 c 159 241 266.94 35.37 7.55 1000000 0 1142.09/1142.47 c 153 296 273.33 37.91 7.21 1000000 0 1143.29/1143.64 c 144 225 267.36 34.67 7.71 1000000 0 1144.49/1144.81 c 146 249 267.34 34.07 7.85 1000000 0 1145.59/1145.98 c 157 280 265.40 32.74 8.11 1000000 0 1146.79/1147.15 c 151 261 265.70 37.07 7.17 1000000 0 1147.99/1148.32 c 148 308 266.53 37.08 7.19 1000000 0 1149.09/1149.49 c 154 238 263.20 35.50 7.41 1000000 0 1150.29/1150.66 c 147 233 262.94 35.53 7.40 1000000 0 1151.49/1151.83 c 134 269 263.04 32.51 8.09 1000000 0 1152.68/1153.00 c 147 251 264.89 35.03 7.56 1000000 0 1153.78/1154.17 c 150 303 267.80 34.25 7.82 1000000 0 1154.98/1155.34 c 159 235 268.30 34.33 7.82 1000000 0 1156.18/1156.51 c 155 299 266.15 32.58 8.17 1000000 0 1157.28/1157.68 c 159 376 271.28 36.85 7.36 1000000 0 1158.48/1158.85 c 155 260 266.92 34.60 7.71 1000000 0 1159.68/1160.02 c 136 220 266.91 34.66 7.70 1000000 0 1160.88/1161.20 c 140 254 261.12 32.49 8.04 1000000 0 1161.98/1162.36 c 162 220 269.28 33.18 8.11 1000000 0 1163.18/1163.54 c 157 246 267.89 36.32 7.38 1000000 0 1164.38/1164.71 c 139 296 268.72 35.49 7.57 1000000 0 1165.48/1165.88 c 139 253 271.18 33.53 8.09 1000000 0 1166.69/1167.05 c 155 248 266.60 33.36 7.99 1000000 0 1167.89/1168.22 c 157 276 267.31 36.12 7.40 1000000 0 1168.99/1169.39 c 161 322 264.46 34.32 7.70 1000000 0 1170.18/1170.56 c 144 278 267.34 36.04 7.42 1000000 0 1171.38/1171.73 c 144 236 268.25 36.69 7.31 1000000 0 1172.58/1172.90 c 133 315 263.93 36.84 7.16 1000000 0 1173.68/1174.07 c 160 308 268.26 35.83 7.49 1000000 0 1174.88/1175.24 c 150 239 265.03 33.73 7.86 1000000 0 1176.08/1176.41 c 159 287 270.04 34.10 7.92 1000000 0 1177.18/1177.58 c 154 247 268.13 34.55 7.76 1000000 0 1178.38/1178.75 c 140 225 262.41 33.27 7.89 1000000 0 1179.58/1179.92 c 155 262 269.40 34.03 7.92 1000000 0 1180.68/1181.10 c 165 307 270.43 36.73 7.36 1000000 0 1181.88/1182.27 c 124 252 262.55 34.82 7.54 1000000 0 1183.08/1183.44 c 142 255 265.15 34.38 7.71 1000000 0 1184.28/1184.61 c 153 237 266.48 36.89 7.22 1000000 0 1185.38/1185.78 c 154 256 265.40 34.55 7.68 1000000 0 1186.58/1186.95 c 152 264 270.42 36.79 7.35 1000000 0 1187.78/1188.12 c 132 243 267.09 36.42 7.33 1000000 0 1188.88/1189.29 c 151 286 266.79 35.23 7.57 1000000 0 1190.08/1190.46 c 149 274 265.09 35.32 7.51 1000000 0 1191.28/1191.63 c 158 310 265.90 34.24 7.77 1000000 0 1192.48/1192.80 c 148 218 267.99 34.09 7.86 1000000 0 1193.58/1193.97 c 143 249 268.40 35.52 7.56 1000000 0 1194.77/1195.14 c 144 211 267.36 33.22 8.05 1000000 0 1195.97/1196.32 c 154 335 271.01 37.07 7.31 1000000 0 1197.07/1197.48 c 142 235 266.47 34.39 7.75 1000000 0 1198.27/1198.65 c 153 291 264.92 34.10 7.77 1000000 0 1199.47/1199.83 c 158 323 268.31 34.13 7.86 1000000 0 1200.57/1200.99 c 157 237 267.08 33.85 7.89 1000000 0 1201.77/1202.17 c 155 257 266.30 34.45 7.73 1000000 0 1202.98/1203.34 c 154 274 269.01 34.58 7.78 1000000 0 1204.18/1204.51 c 138 343 268.14 32.70 8.20 1000000 0 1205.28/1205.68 c 159 237 267.49 34.65 7.72 1000000 0 1206.47/1206.85 c 135 273 267.03 34.80 7.67 1000000 0 1207.67/1208.02 c 151 289 267.24 33.92 7.88 1000000 0 1208.77/1209.19 c 146 300 270.50 34.91 7.75 1000000 0 1209.97/1210.36 c 160 285 270.80 32.82 8.25 1000000 0 1211.17/1211.54 c 141 317 268.92 35.13 7.66 1000000 0 1212.37/1212.71 c 150 287 264.65 35.33 7.49 1000000 0 1213.47/1213.88 c 133 328 265.24 37.22 7.13 1000000 0 1214.67/1215.05 c 152 269 267.07 34.69 7.70 1000000 0 1215.87/1216.22 c 150 337 266.91 34.47 7.74 1000000 0 1216.97/1217.39 c 154 222 266.29 34.79 7.65 1000000 0 1218.17/1218.56 c 142 341 266.78 36.44 7.32 1000000 0 1219.37/1219.74 c 151 303 264.10 32.98 8.01 1000000 0 1220.57/1220.92 c 142 293 266.83 35.88 7.44 1000000 0 1221.67/1222.08 c 150 272 264.97 35.96 7.37 1000000 0 1222.87/1223.25 c 152 301 268.08 34.69 7.73 1000000 0 1224.07/1224.43 c 167 294 268.90 34.02 7.91 1000000 0 1225.27/1225.60 c 144 320 267.11 34.11 7.83 1000000 0 1226.37/1226.77 c 131 269 267.67 35.19 7.61 1000000 0 1227.57/1227.94 c 144 253 268.59 35.15 7.64 1000000 0 1228.77/1229.11 c 147 238 268.23 32.98 8.13 1000000 0 1229.87/1230.28 c 158 318 266.73 35.96 7.42 1000000 0 1231.06/1231.45 c 146 234 264.76 34.12 7.76 1000000 0 1232.26/1232.62 c 150 286 267.33 37.41 7.15 1000000 0 1233.36/1233.79 c 148 269 268.77 33.93 7.92 1000000 0 1234.56/1234.96 c 145 258 262.63 33.55 7.83 1000000 0 1235.76/1236.13 c 157 305 264.91 33.60 7.88 1000000 0 1236.96/1237.30 c 159 260 267.01 32.92 8.11 1000000 0 1238.06/1238.47 c 138 233 265.98 36.72 7.24 1000000 0 1239.27/1239.64 c 154 226 266.79 35.26 7.57 1000000 0 1240.47/1240.81 c 157 334 269.44 36.08 7.47 1000000 0 1241.57/1241.99 c 151 238 268.05 37.35 7.18 1000000 0 1242.76/1243.16 c 153 192 267.36 36.55 7.31 1000000 0 1243.96/1244.33 c 145 267 267.38 34.47 7.76 1000000 0 1245.16/1245.50 c 146 259 270.70 33.98 7.97 1000000 0 1246.26/1246.67 c 140 294 268.65 35.33 7.60 1000000 0 1247.46/1247.84 c 145 241 267.85 35.23 7.60 1000000 0 1248.66/1249.01 c 162 280 266.87 33.10 8.06 1000000 0 1249.76/1250.18 c 160 291 270.17 33.66 8.03 1000000 0 1250.96/1251.35 c 151 279 271.90 34.11 7.97 1000000 0 1252.16/1252.52 c 154 293 270.53 36.07 7.50 1000000 0 1253.26/1253.69 c 143 347 268.11 35.39 7.58 1000000 0 1254.46/1254.85 c 134 218 263.98 35.83 7.37 1000000 0 1255.66/1256.02 c 143 259 266.70 35.08 7.60 1000000 0 1256.76/1257.19 c 165 255 271.90 34.43 7.90 1000000 0 1257.97/1258.36 c 145 280 269.45 36.91 7.30 1000000 0 1259.17/1259.54 c 138 237 269.35 34.36 7.84 1000000 0 1260.36/1260.71 c 143 345 267.13 35.24 7.58 1000000 0 1261.46/1261.88 c 155 296 268.80 34.62 7.76 1000000 0 1262.66/1263.05 c 137 222 267.91 35.34 7.58 1000000 0 1263.86/1264.22 c 158 301 268.95 35.36 7.61 1000000 0 1264.96/1265.39 c 154 284 263.34 33.70 7.81 1000000 0 1266.16/1266.56 c 136 245 270.29 34.50 7.83 1000000 0 1267.36/1267.73 c 150 229 270.96 35.54 7.62 1000000 0 1268.56/1268.90 c 134 207 263.77 37.94 6.95 1000000 0 1269.66/1270.07 c 146 283 264.00 35.87 7.36 1000000 0 1270.86/1271.24 c 155 225 271.82 35.54 7.65 1000000 0 1272.05/1272.41 c 145 326 266.37 33.17 8.03 1000000 0 1273.15/1273.58 c 150 317 269.65 35.35 7.63 1000000 0 1274.35/1274.75 c 148 259 266.60 36.98 7.21 1000000 0 1275.56/1275.92 c 143 273 274.64 34.01 8.08 1000000 0 1276.66/1277.10 c 156 263 270.54 34.35 7.87 1000000 0 1277.86/1278.27 c 148 300 268.08 34.08 7.87 1000000 0 1279.05/1279.44 c 148 207 268.31 34.95 7.68 1000000 0 1280.25/1280.62 c 151 265 265.24 34.74 7.64 1000000 0 1281.35/1281.79 c 144 282 265.73 36.06 7.37 1000000 0 1282.55/1282.96 c 152 255 266.85 36.95 7.22 1000000 0 1283.75/1284.12 c 136 254 266.25 35.22 7.56 1000000 0 1284.95/1285.30 c 147 227 270.08 36.99 7.30 1000000 0 1286.05/1286.47 c 155 223 266.46 31.94 8.34 1000000 0 1287.25/1287.64 c 156 237 263.50 35.25 7.48 1000000 0 1288.45/1288.81 c 143 350 271.96 34.39 7.91 1000000 0 1289.55/1289.98 c 152 264 267.86 33.16 8.08 1000000 0 1290.75/1291.15 c 130 241 266.98 34.63 7.71 1000000 0 1291.95/1292.33 c 141 275 264.26 36.95 7.15 1000000 0 1293.16/1293.50 c 148 266 269.96 38.15 7.08 1000000 0 1294.26/1294.67 c 164 303 270.02 32.33 8.35 1000000 0 1295.46/1295.84 c 144 267 268.62 33.77 7.95 1000000 0 1296.65/1297.01 c 151 284 265.89 33.64 7.90 1000000 0 1297.75/1298.18 c 159 268 265.86 34.25 7.76 1000000 0 1298.95/1299.34 c 138 247 265.79 33.62 7.91 1000000 0 1300.15/1300.51 c 141 333 267.02 33.99 7.86 1000000 0 1301.25/1301.69 c 162 243 268.24 33.95 7.90 1000000 0 1302.45/1302.86 c 159 227 268.34 36.43 7.37 1000000 0 1303.65/1304.04 c 140 253 269.46 34.75 7.75 1000000 0 1304.85/1305.21 c 158 249 263.06 33.96 7.75 1000000 0 1305.95/1306.38 c 145 303 266.23 35.26 7.55 1000000 0 1307.15/1307.55 c 137 254 264.24 34.62 7.63 1000000 0 1308.35/1308.72 c 169 272 268.97 33.18 8.11 1000000 0 1309.45/1309.89 c 156 324 267.34 34.58 7.73 1000000 0 1310.65/1311.05 c 147 329 266.31 35.45 7.51 1000000 0 1311.85/1312.23 c 164 274 263.62 34.33 7.68 1000000 0 1312.95/1313.39 c 166 278 271.45 36.14 7.51 1000000 0 1314.15/1314.56 c 165 278 272.10 36.87 7.38 1000000 0 1315.34/1315.73 c 150 242 265.64 34.13 7.78 1000000 0 1316.54/1316.90 c 154 258 268.28 35.31 7.60 1000000 0 1317.64/1318.08 c 147 236 267.95 34.57 7.75 1000000 0 1318.84/1319.25 c 130 279 264.51 35.08 7.54 1000000 0 1320.04/1320.41 c 148 249 265.35 33.61 7.89 1000000 0 1321.14/1321.58 c 137 293 267.76 37.15 7.21 1000000 0 1322.34/1322.76 c 147 274 269.40 39.37 6.84 1000000 0 1323.54/1323.93 c 158 285 268.54 35.50 7.56 1000000 0 1324.74/1325.10 c 155 248 268.61 34.00 7.90 1000000 0 1325.84/1326.27 c 149 281 267.42 36.26 7.37 1000000 0 1327.04/1327.44 c 153 296 268.05 35.03 7.65 1000000 0 1328.24/1328.61 c 151 328 270.41 32.85 8.23 1000000 0 1329.34/1329.78 c 147 226 267.67 35.17 7.61 1000000 0 1330.55/1330.95 c 145 215 265.14 35.77 7.41 1000000 0 1331.75/1332.12 c 146 250 269.27 35.45 7.60 1000000 0 1332.85/1333.29 c 145 272 269.16 35.01 7.69 1000000 0 1334.04/1334.46 c 143 274 269.35 35.29 7.63 1000000 0 1335.24/1335.63 c 155 240 269.47 32.75 8.23 1000000 0 1336.44/1336.80 c 146 298 268.65 33.00 8.14 1000000 0 1337.54/1337.97 c 155 257 266.47 34.19 7.79 1000000 0 1338.74/1339.14 c 170 203 271.31 33.70 8.05 1000000 0 1339.94/1340.31 c 144 221 264.65 35.14 7.53 1000000 0 1341.04/1341.49 c 153 265 267.55 34.39 7.78 1000000 0 1342.24/1342.65 c 132 296 272.01 34.93 7.79 1000000 0 1343.44/1343.82 c 155 218 270.46 34.08 7.94 1000000 0 1344.54/1344.99 c 148 270 267.65 34.52 7.75 1000000 0 1345.74/1346.16 c 163 274 264.31 33.35 7.93 1000000 0 1346.94/1347.33 c 156 257 267.72 34.83 7.69 1000000 0 1348.14/1348.51 c 163 294 266.51 34.40 7.75 1000000 0 1349.24/1349.68 c 142 312 265.40 34.82 7.62 1000000 0 1350.44/1350.85 c 142 221 264.30 34.51 7.66 1000000 0 1351.63/1352.03 c 161 318 269.84 34.30 7.87 1000000 0 1352.83/1353.20 c 150 220 267.31 34.63 7.72 1000000 0 1353.93/1354.37 c 150 258 265.20 34.70 7.64 1000000 0 1355.13/1355.54 c 158 289 265.28 34.99 7.58 1000000 0 1356.33/1356.72 c 155 264 269.82 36.57 7.38 1000000 0 1357.43/1357.89 c 145 273 266.82 36.01 7.41 1000000 0 1358.63/1359.06 c 163 264 268.67 36.28 7.41 1000000 0 1359.83/1360.23 c 142 244 265.86 32.24 8.25 1000000 0 1361.03/1361.41 c 150 295 270.38 36.26 7.46 1000000 0 1362.13/1362.57 c 151 228 270.43 34.69 7.80 1000000 0 1363.33/1363.75 c 149 295 265.64 34.57 7.68 1000000 0 1364.53/1364.92 c 148 225 264.14 35.56 7.43 1000000 0 1365.63/1366.09 c 164 333 270.39 34.49 7.84 1000000 0 1366.84/1367.26 c 127 264 269.01 35.16 7.65 1000000 0 1368.04/1368.43 c 156 298 269.90 36.06 7.48 1000000 0 1369.23/1369.60 c 151 249 267.75 34.86 7.68 1000000 0 1370.33/1370.77 c 151 199 261.95 33.77 7.76 1000000 0 1371.53/1371.94 c 163 260 265.37 35.71 7.43 1000000 0 1372.73/1373.11 c 150 228 263.96 33.89 7.79 1000000 0 1373.83/1374.28 c 148 292 269.33 34.79 7.74 1000000 0 1375.03/1375.45 c 157 222 269.80 37.19 7.26 1000000 0 1376.23/1376.62 c 149 315 268.74 33.21 8.09 1000000 0 1377.33/1377.79 c 150 357 265.28 36.12 7.35 1000000 0 1378.53/1378.96 c 144 261 266.33 36.76 7.24 1000000 0 1379.73/1380.13 c 145 281 267.61 34.83 7.68 1000000 0 1380.93/1381.30 c 123 269 268.28 36.13 7.42 1000000 0 1382.03/1382.47 c 152 240 266.55 35.02 7.61 1000000 0 1383.23/1383.64 c 160 255 268.21 34.33 7.81 1000000 0 1384.43/1384.81 c 138 224 265.67 35.87 7.41 1000000 0 1385.53/1385.99 c 162 198 268.95 34.01 7.91 1000000 0 1386.73/1387.16 c 150 203 267.91 34.30 7.81 1000000 0 1387.93/1388.33 c 156 373 268.52 35.63 7.54 1000000 0 1389.13/1389.50 c 156 311 262.13 36.29 7.22 1000000 0 1390.23/1390.67 c 157 257 266.97 33.28 8.02 1000000 0 1391.42/1391.84 c 145 268 270.25 34.12 7.92 1000000 0 1392.62/1393.01 c 146 210 265.42 34.72 7.64 1000000 0 1393.72/1394.19 c 146 253 269.84 35.04 7.70 1000000 0 1394.92/1395.36 c 150 264 264.96 33.37 7.94 1000000 0 1396.12/1396.53 c 151 260 267.06 34.39 7.76 1000000 0 1397.22/1397.69 c 150 272 266.04 34.07 7.81 1000000 0 1398.42/1398.86 c 143 223 261.57 34.49 7.58 1000000 0 1399.62/1400.03 c 148 329 265.31 33.70 7.87 1000000 0 1400.82/1401.20 c 162 287 266.47 33.47 7.96 1000000 0 1401.92/1402.37 c 148 263 271.00 35.00 7.74 1000000 0 1403.13/1403.54 c 151 255 268.13 33.49 8.01 1000000 0 1404.33/1404.71 c 149 274 263.68 34.89 7.56 1000000 0 1405.43/1405.88 c 136 268 267.60 35.37 7.57 1000000 0 1406.62/1407.05 c 160 226 266.69 35.27 7.56 1000000 0 1407.82/1408.22 c 161 286 268.60 34.31 7.83 1000000 0 1408.92/1409.39 c 136 240 263.98 34.52 7.65 1000000 0 1410.12/1410.56 c 158 294 267.15 33.65 7.94 1000000 0 1411.32/1411.74 c 150 303 269.33 35.53 7.58 1000000 0 1412.52/1412.91 c 149 284 269.91 34.95 7.72 1000000 0 1413.62/1414.08 c 141 317 266.11 35.74 7.45 1000000 0 1414.82/1415.25 c 142 265 263.23 34.00 7.74 1000000 0 1416.02/1416.42 c 130 266 267.81 35.08 7.63 1000000 0 1417.12/1417.59 c 151 232 262.22 33.76 7.77 1000000 0 1418.32/1418.76 c 130 230 265.55 35.85 7.41 1000000 0 1419.52/1419.93 c 137 299 267.98 35.19 7.61 1000000 0 1420.62/1421.10 c 159 220 268.09 33.42 8.02 1000000 0 1421.82/1422.27 c 148 318 266.10 35.05 7.59 1000000 0 1423.02/1423.44 c 157 282 266.77 32.82 8.13 1000000 0 1424.22/1424.61 c 165 241 266.28 34.93 7.62 1000000 0 1425.32/1425.78 c 130 268 265.49 34.13 7.78 1000000 0 1426.52/1426.95 c 154 272 267.34 35.07 7.62 1000000 0 1427.72/1428.12 c 161 317 273.90 34.66 7.90 1000000 0 1428.82/1429.29 c 154 242 261.20 35.08 7.45 1000000 0 1430.02/1430.46 c 162 234 274.51 32.68 8.40 1000000 0 1431.22/1431.63 c 157 296 269.22 35.87 7.51 1000000 0 1432.42/1432.80 c 154 187 268.56 36.05 7.45 1000000 0 1433.52/1433.97 c 146 292 266.36 37.54 7.09 1000000 0 1434.71/1435.14 c 157 258 264.14 36.50 7.24 1000000 0 1435.91/1436.31 c 164 244 266.50 32.53 8.19 1000000 0 1437.01/1437.48 c 150 237 265.35 35.15 7.55 1000000 0 1438.21/1438.65 c 168 218 267.47 35.07 7.63 1000000 0 1439.42/1439.82 c 162 254 269.68 33.76 7.99 1000000 0 1440.52/1440.99 c 158 282 268.79 33.86 7.94 1000000 0 1441.72/1442.16 c 144 285 269.68 35.46 7.61 1000000 0 1442.91/1443.33 c 140 262 268.91 35.60 7.55 1000000 0 1444.11/1444.50 c 148 237 266.00 33.76 7.88 1000000 0 1445.21/1445.67 c 156 336 264.18 33.04 8.00 1000000 0 1446.41/1446.84 c 144 248 266.45 36.45 7.31 1000000 0 1447.61/1448.01 c 149 248 266.77 35.91 7.43 1000000 0 1448.71/1449.18 c 159 196 271.29 34.68 7.82 1000000 0 1449.91/1450.35 c 158 258 269.61 33.44 8.06 1000000 0 1451.11/1451.52 c 168 331 269.48 32.94 8.18 1000000 0 1452.21/1452.69 c 154 270 269.90 37.63 7.17 1000000 0 1453.41/1453.86 c 150 236 264.38 33.78 7.83 1000000 0 1454.61/1455.03 c 149 234 267.03 35.43 7.54 1000000 0 1455.81/1456.21 c 163 324 270.40 34.74 7.78 1000000 0 1456.91/1457.38 c 158 184 262.15 34.81 7.53 1000000 0 1458.12/1458.55 c 164 252 271.29 33.59 8.08 1000000 0 1459.32/1459.72 c 159 259 268.27 33.96 7.90 1000000 0 1460.41/1460.89 c 142 261 263.26 37.31 7.06 1000000 0 1461.61/1462.06 c 145 232 266.91 34.06 7.84 1000000 0 1462.82/1463.23 c 161 240 266.68 34.32 7.77 1000000 0 1464.02/1464.40 c 134 212 265.83 34.92 7.61 1000000 0 1465.12/1465.57 c 132 286 269.35 35.07 7.68 1000000 0 1466.32/1466.74 c 164 295 268.70 35.01 7.68 1000000 0 1467.51/1467.91 c 146 238 269.94 37.04 7.29 1000000 0 1468.61/1469.08 c 159 314 271.15 33.51 8.09 1000000 0 1469.81/1470.25 c 150 285 266.37 36.04 7.39 1000000 0 1471.01/1471.42 c 157 286 264.61 35.25 7.51 1000000 0 1472.11/1472.59 c 133 236 260.39 33.63 7.74 1000000 0 1473.31/1473.76 c 149 263 271.84 34.30 7.93 1000000 0 1474.51/1474.93 c 141 295 267.41 37.43 7.14 1000000 0 1475.72/1476.10 c 148 259 267.35 34.80 7.68 1000000 0 1476.82/1477.27 c 163 249 271.84 35.13 7.74 1000000 0 1478.02/1478.44 c 158 199 269.33 34.48 7.81 1000000 0 1479.21/1479.61 c 150 278 267.67 35.06 7.63 1000000 0 1480.31/1480.78 c 137 219 267.43 35.25 7.59 1000000 0 1481.51/1481.95 c 143 258 268.37 33.99 7.89 1000000 0 1482.71/1483.12 c 130 229 265.49 36.10 7.35 1000000 0 1483.81/1484.29 c 141 304 269.92 35.06 7.70 1000000 0 1485.01/1485.46 c 157 269 270.80 35.31 7.67 1000000 0 1486.21/1486.63 c 154 229 270.24 34.79 7.77 1000000 0 1487.41/1487.80 c 165 347 266.84 32.42 8.23 1000000 0 1488.51/1488.97 c 133 228 266.05 35.84 7.42 1000000 0 1489.71/1490.14 c 138 213 266.79 33.07 8.07 1000000 0 1490.91/1491.31 c 160 281 269.03 36.76 7.32 1000000 0 1492.01/1492.48 c 161 270 269.03 36.13 7.45 1000000 0 1493.21/1493.65 c 133 249 266.43 36.03 7.39 1000000 0 1494.41/1494.82 c 155 298 270.01 33.16 8.14 1000000 0 1495.51/1495.99 c 143 294 268.89 37.94 7.09 1000000 0 1496.71/1497.16 c 158 230 265.96 32.94 8.08 1000000 0 1497.91/1498.33 c 143 283 267.29 34.38 7.77 1000000 0 1499.11/1499.50 c 159 310 267.14 35.49 7.53 1000000 0 1500.21/1500.67 c 146 289 267.66 37.40 7.16 1000000 0 1501.41/1501.84 c 151 290 270.39 36.18 7.47 1000000 0 1502.60/1503.01 c 138 283 265.80 35.96 7.39 1000000 0 1503.70/1504.18 c 160 287 267.91 33.30 8.04 1000000 0 1504.90/1505.35 c 128 310 268.19 35.68 7.52 1000000 0 1506.10/1506.51 c 151 268 270.16 34.34 7.87 1000000 0 1507.20/1507.68 c 149 229 266.89 36.32 7.35 1000000 0 1508.40/1508.86 c 153 256 266.27 34.31 7.76 1000000 0 1509.60/1510.03 c 145 260 264.77 35.45 7.47 1000000 0 1510.80/1511.20 c 145 280 266.19 35.59 7.48 1000000 0 1511.90/1512.37 c 150 259 266.78 35.56 7.50 1000000 0 1513.11/1513.54 c 137 286 268.46 34.80 7.71 1000000 0 1514.31/1514.71 c 163 282 270.99 36.82 7.36 1000000 0 1515.41/1515.88 c 140 294 268.54 36.48 7.36 1000000 0 1516.60/1517.05 c 157 275 267.79 35.87 7.47 1000000 0 1517.80/1518.21 c 150 285 264.00 33.06 7.99 1000000 0 1518.90/1519.38 c 141 279 267.09 36.41 7.34 1000000 0 1520.10/1520.55 c 154 305 265.67 35.13 7.56 1000000 0 1521.30/1521.72 c 142 321 266.22 37.19 7.16 1000000 0 1522.40/1522.89 c 158 238 267.84 34.26 7.82 1000000 0 1523.60/1524.06 c 140 244 264.83 37.57 7.05 1000000 0 1524.80/1525.23 c 161 226 267.72 33.91 7.89 1000000 0 1526.00/1526.40 c 140 242 266.77 34.42 7.75 1000000 0 1527.10/1527.57 c 152 249 270.08 35.60 7.59 1000000 0 1528.30/1528.74 c 139 258 264.48 34.29 7.71 1000000 0 1529.50/1529.91 c 161 268 266.86 34.76 7.68 1000000 0 1530.60/1531.09 c 159 289 270.96 34.49 7.86 1000000 0 1531.80/1532.26 c 138 283 266.99 38.55 6.93 1000000 0 1533.00/1533.42 c 138 278 267.26 37.25 7.17 1000000 0 1534.10/1534.59 c 155 282 267.85 36.90 7.26 1000000 0 1535.30/1535.76 c 157 265 268.00 34.77 7.71 1000000 0 1536.50/1536.93 c 163 245 268.46 33.87 7.93 1000000 0 1537.70/1538.10 c 116 237 266.83 33.20 8.04 1000000 0 1538.80/1539.27 c 145 249 267.02 34.36 7.77 1000000 0 1539.99/1540.44 c 149 259 268.53 33.85 7.93 1000000 0 1541.20/1541.62 c 161 262 267.38 33.27 8.04 1000000 0 1542.30/1542.79 c 147 278 267.06 36.08 7.40 1000000 0 1543.50/1543.96 c 162 249 270.15 35.73 7.56 1000000 0 1544.70/1545.13 c 153 298 269.47 35.94 7.50 1000000 0 1545.89/1546.30 c 151 256 268.35 34.65 7.74 1000000 0 1546.99/1547.48 c 160 273 269.59 33.28 8.10 1000000 0 1548.19/1548.65 c 138 242 269.04 36.20 7.43 1000000 0 1549.40/1549.82 c 143 236 263.85 35.33 7.47 1000000 0 1550.50/1550.99 c 160 280 270.06 33.98 7.95 1000000 0 1551.70/1552.16 c 139 278 267.48 35.62 7.51 1000000 0 1552.89/1553.33 c 143 249 266.44 33.91 7.86 1000000 0 1554.09/1554.50 c 138 274 265.92 34.67 7.67 1000000 0 1555.19/1555.67 c 141 259 266.45 34.97 7.62 1000000 0 1556.39/1556.84 c 148 302 267.97 37.72 7.10 1000000 0 1557.59/1558.01 c 157 246 270.92 34.60 7.83 1000000 0 1558.69/1559.18 c 147 299 273.76 36.07 7.59 1000000 0 1559.89/1560.35 c 149 243 266.10 34.48 7.72 1000000 0 1561.09/1561.53 c 160 242 265.14 33.42 7.93 1000000 0 1562.29/1562.70 c 157 320 268.35 32.83 8.17 1000000 0 1563.39/1563.87 c 138 253 268.71 34.92 7.69 1000000 0 1564.59/1565.04 c 152 272 266.42 35.31 7.55 1000000 0 1565.79/1566.21 c 154 274 265.11 36.53 7.26 1000000 0 1566.89/1567.39 c 139 263 267.43 36.22 7.38 1000000 0 1568.10/1568.56 c 155 252 269.24 33.86 7.95 1000000 0 1569.30/1569.73 c 148 284 269.14 34.08 7.90 1000000 0 1570.49/1570.90 c 157 273 265.83 34.09 7.80 1000000 0 1571.59/1572.07 c 146 319 268.05 35.08 7.64 1000000 0 1572.79/1573.24 c 152 308 271.04 35.07 7.73 1000000 0 1573.99/1574.41 c 160 217 266.10 35.30 7.54 1000000 0 1575.09/1575.57 c 148 257 266.60 38.67 6.89 1000000 0 1576.29/1576.74 c 139 257 267.70 34.21 7.82 1000000 0 1577.49/1577.91 c 151 216 269.52 36.04 7.48 1000000 0 1578.59/1579.08 c 123 290 264.85 35.79 7.40 1000000 0 1579.78/1580.25 c 138 281 268.70 35.19 7.64 1000000 0 1580.98/1581.42 c 140 311 263.96 36.03 7.33 1000000 0 1582.08/1582.59 c 132 236 264.24 35.62 7.42 1000000 0 1583.28/1583.76 c 144 232 264.19 35.81 7.38 1000000 0 1584.48/1584.93 c 122 270 268.82 33.88 7.94 1000000 0 1585.69/1586.10 c 153 285 271.86 37.45 7.26 1000000 0 1586.79/1587.27 c 144 207 264.87 33.84 7.83 1000000 0 1587.99/1588.44 c 146 255 266.36 35.56 7.49 1000000 0 1589.18/1589.61 c 133 308 270.83 37.56 7.21 1000000 0 1590.28/1590.78 c 139 270 271.07 35.83 7.57 1000000 0 1591.48/1591.95 c 149 271 264.97 34.96 7.58 1000000 0 1592.68/1593.12 c 169 323 272.07 33.19 8.20 1000000 0 1593.78/1594.29 c 162 270 270.96 37.00 7.32 1000000 0 1594.98/1595.47 c 159 211 265.67 33.65 7.90 1000000 0 1596.18/1596.64 c 133 362 265.74 34.40 7.73 1000000 0 1597.38/1597.80 c 157 270 266.33 34.03 7.83 1000000 0 1598.48/1598.97 c 140 275 264.35 36.84 7.18 1000000 0 1599.68/1600.14 c 144 250 265.13 35.32 7.51 1000000 0 1600.88/1601.31 c 159 299 264.99 35.51 7.46 1000000 0 1601.98/1602.48 c 137 286 263.46 35.40 7.44 1000000 0 1603.18/1603.65 c 164 305 268.50 33.99 7.90 1000000 0 1604.39/1604.82 c 144 265 267.78 34.59 7.74 1000000 0 1605.49/1606.00 c 152 297 268.48 34.00 7.90 1000000 0 1606.69/1607.17 c 161 305 273.36 37.65 7.26 1000000 0 1607.88/1608.34 c 165 292 266.78 37.31 7.15 1000000 0 1609.08/1609.51 c 134 246 263.77 34.97 7.54 1000000 0 1610.18/1610.68 c 162 236 268.48 32.46 8.27 1000000 0 1611.38/1611.85 c 146 272 264.50 36.45 7.26 1000000 0 1612.58/1613.02 c 155 308 267.81 36.07 7.43 1000000 0 1613.68/1614.19 c 149 255 269.88 34.87 7.74 1000000 0 1614.88/1615.37 c 165 263 266.94 35.56 7.51 1000000 0 1616.08/1616.54 c 160 192 268.52 34.54 7.77 1000000 0 1617.28/1617.71 c 139 327 265.73 36.41 7.30 1000000 0 1618.38/1618.88 c 156 252 268.24 34.53 7.77 1000000 0 1619.58/1620.05 c 147 195 266.71 34.44 7.74 1000000 0 1620.78/1621.22 c 166 284 268.24 35.12 7.64 1000000 0 1621.88/1622.39 c 159 261 266.35 32.57 8.18 1000000 0 1623.08/1623.56 c 148 263 269.77 36.47 7.40 1000000 0 1624.28/1624.73 c 152 307 268.66 33.99 7.90 1000000 0 1625.47/1625.90 c 149 250 267.36 34.77 7.69 1000000 0 1626.57/1627.07 c 145 256 266.57 34.62 7.70 1000000 0 1627.77/1628.24 c 150 294 265.15 34.35 7.72 1000000 0 1628.97/1629.41 c 147 233 265.76 35.36 7.52 1000000 0 1630.07/1630.58 c 137 201 265.45 33.97 7.81 1000000 0 1631.27/1631.75 c 166 231 270.24 33.65 8.03 1000000 0 1632.47/1632.92 c 138 240 270.83 37.03 7.31 1000000 0 1633.57/1634.09 c 136 282 267.72 35.80 7.48 1000000 0 1634.77/1635.26 c 155 255 262.67 33.01 7.96 1000000 0 1635.97/1636.43 c 142 265 265.04 36.70 7.22 1000000 0 1637.17/1637.60 c 141 275 267.49 36.87 7.26 1000000 0 1638.27/1638.78 c 154 246 265.62 34.64 7.67 1000000 0 1639.47/1639.94 c 142 240 263.62 35.57 7.41 1000000 0 1640.68/1641.11 c 151 287 261.85 33.51 7.81 1000000 0 1641.78/1642.28 c 147 247 265.55 33.78 7.86 1000000 0 1642.98/1643.45 c 155 260 268.78 35.10 7.66 1000000 0 1644.17/1644.62 c 144 247 264.72 34.15 7.75 1000000 0 1645.27/1645.79 c 139 269 269.13 38.33 7.02 1000000 0 1646.47/1646.96 c 158 250 269.65 34.58 7.80 1000000 0 1647.67/1648.13 c 128 243 267.29 36.99 7.23 1000000 0 1648.87/1649.30 c 140 270 261.04 33.08 7.89 1000000 0 1649.97/1650.47 c 163 279 267.20 34.16 7.82 1000000 0 1651.17/1651.64 c 142 255 263.85 35.37 7.46 1000000 0 1652.37/1652.81 c 163 319 266.89 36.27 7.36 1000000 0 1653.47/1653.98 c 148 289 268.04 35.58 7.53 1000000 0 1654.67/1655.16 c 138 279 267.83 33.91 7.90 1000000 0 1655.87/1656.33 c 144 205 263.75 35.85 7.36 1000000 0 1657.07/1657.50 c 145 343 270.25 35.91 7.53 1000000 0 1658.16/1658.67 c 145 255 259.92 35.39 7.34 1000000 0 1659.37/1659.84 c 156 262 269.07 32.96 8.16 1000000 0 1660.57/1661.01 c 158 258 267.15 34.21 7.81 1000000 0 1661.67/1662.18 c 148 288 269.76 35.26 7.65 1000000 0 1662.87/1663.35 c 151 241 270.05 36.36 7.43 1000000 0 1664.07/1664.52 c 156 275 264.04 33.75 7.82 1000000 0 1665.16/1665.69 c 154 269 268.31 34.40 7.80 1000000 0 1666.36/1666.87 c 147 253 269.99 33.78 7.99 1000000 0 1667.56/1668.04 c 143 310 266.84 35.30 7.56 1000000 0 1668.76/1669.21 c 165 313 270.00 35.25 7.66 1000000 0 1669.86/1670.38 c 151 256 266.42 36.51 7.30 1000000 0 1671.06/1671.55 c 144 228 264.83 35.18 7.53 1000000 0 1672.26/1672.72 c 144 289 262.48 34.50 7.61 1000000 0 1673.36/1673.88 c 153 262 268.56 35.82 7.50 1000000 0 1674.56/1675.05 c 144 232 263.94 33.71 7.83 1000000 0 1675.76/1676.23 c 137 272 264.79 36.73 7.21 1000000 0 1676.97/1677.40 c 156 246 264.99 33.07 8.01 1000000 0 1678.07/1678.57 c 137 336 268.02 36.10 7.42 1000000 0 1679.27/1679.74 c 144 261 268.99 36.76 7.32 1000000 0 1680.46/1680.91 c 154 250 264.74 34.25 7.73 1000000 0 1681.56/1682.08 c 157 242 267.49 37.73 7.09 1000000 0 1682.76/1683.25 c 158 294 269.93 35.40 7.62 1000000 0 1683.96/1684.42 c 137 217 264.12 35.54 7.43 1000000 0 1685.06/1685.59 c 159 260 270.87 35.82 7.56 1000000 0 1686.26/1686.77 c 159 280 269.70 35.51 7.60 1000000 0 1687.46/1687.94 c 148 242 263.48 33.41 7.89 1000000 0 1688.66/1689.11 c 151 291 268.00 34.72 7.72 1000000 0 1689.76/1690.28 c 139 261 267.17 35.01 7.63 1000000 0 1690.96/1691.45 c 134 283 268.56 37.08 7.24 1000000 0 1692.16/1692.62 c 162 253 267.07 35.35 7.56 1000000 0 1693.26/1693.79 c 150 228 267.05 34.50 7.74 1000000 0 1694.46/1694.96 c 159 233 267.91 34.37 7.79 1000000 0 1695.66/1696.13 c 150 259 265.68 35.18 7.55 1000000 0 1696.86/1697.30 c 145 249 267.40 34.13 7.83 1000000 0 1697.96/1698.48 c 152 271 269.22 35.47 7.59 1000000 0 1699.15/1699.65 c 156 270 267.83 32.39 8.27 1000000 0 1700.35/1700.82 c 150 241 264.29 32.85 8.05 1000000 0 1701.45/1701.99 c 155 296 268.73 35.67 7.53 1000000 0 1702.65/1703.16 c 155 249 271.05 34.95 7.76 1000000 0 1703.85/1704.33 c 146 249 266.80 35.63 7.49 1000000 0 1705.05/1705.50 c 156 253 266.49 35.49 7.51 1000000 0 1706.15/1706.67 c 150 332 269.16 35.28 7.63 1000000 0 1707.35/1707.84 c 152 283 263.84 34.86 7.57 1000000 0 1708.55/1709.01 c 141 243 266.04 33.58 7.92 1000000 0 1709.65/1710.18 c 139 276 266.33 36.89 7.22 1000000 0 1710.85/1711.36 c 142 248 270.27 36.19 7.47 1000000 0 1712.05/1712.53 c 151 322 264.99 36.32 7.30 1000000 0 1713.15/1713.70 c 134 211 270.89 37.98 7.13 1000000 0 1714.36/1714.86 c 143 320 266.87 34.87 7.65 1000000 0 1715.56/1716.03 c 146 277 265.67 34.26 7.75 1000000 0 1716.75/1717.20 c 121 281 264.64 36.25 7.30 1000000 0 1717.85/1718.37 c 150 254 269.63 34.38 7.84 1000000 0 1719.05/1719.54 c 144 306 264.53 33.99 7.78 1000000 0 1720.25/1720.71 c 163 254 271.37 35.64 7.61 1000000 0 1721.35/1721.88 c 164 238 273.20 34.11 8.01 1000000 0 1722.55/1723.05 c 146 313 263.93 34.41 7.67 1000000 0 1723.75/1724.22 c 149 240 267.22 33.44 7.99 1000000 0 1724.85/1725.39 c 154 239 271.39 35.31 7.69 1000000 0 1726.05/1726.56 c 151 375 266.26 36.31 7.33 1000000 0 1727.25/1727.73 c 161 281 268.80 36.48 7.37 1000000 0 1728.45/1728.90 c 154 277 267.52 33.62 7.96 1000000 0 1729.55/1730.07 c 143 246 263.69 35.38 7.45 1000000 0 1730.75/1731.24 c 140 232 264.47 37.93 6.97 1000000 0 1731.95/1732.41 c 150 309 264.33 35.97 7.35 1000000 0 1733.05/1733.58 c 163 286 269.77 34.89 7.73 1000000 0 1734.25/1734.75 c 151 289 267.86 35.13 7.62 1000000 0 1735.45/1735.92 c 152 319 267.99 34.34 7.80 1000000 0 1736.55/1737.09 c 155 254 268.96 34.12 7.88 1000000 0 1737.75/1738.27 c 151 277 265.16 34.99 7.58 1000000 0 1738.95/1739.44 c 163 301 270.64 34.43 7.86 1000000 0 1740.15/1740.61 c 158 303 268.19 37.86 7.08 1000000 0 1741.25/1741.78 c 151 257 268.61 34.90 7.70 1000000 0 1742.44/1742.96 c 138 261 270.90 36.28 7.47 1000000 0 1743.64/1744.13 c 162 299 271.06 34.59 7.84 1000000 0 1744.74/1745.29 c 161 268 266.77 33.76 7.90 1000000 0 1745.94/1746.46 c 156 269 270.33 35.10 7.70 1000000 0 1747.14/1747.63 c 143 290 265.36 35.02 7.58 1000000 0 1748.34/1748.80 c 135 351 264.88 35.24 7.52 1000000 0 1749.44/1749.98 c 143 200 271.60 37.99 7.15 1000000 0 1750.65/1751.15 c 145 281 266.89 33.83 7.89 1000000 0 1751.85/1752.32 c 150 299 268.83 34.34 7.83 1000000 0 1752.95/1753.49 c 131 210 265.02 36.87 7.19 1000000 0 1754.14/1754.66 c 151 284 266.00 35.91 7.41 1000000 0 1755.34/1755.83 c 156 301 266.37 33.24 8.01 1000000 0 1756.54/1757.01 c 158 242 266.06 34.22 7.77 1000000 0 1757.64/1758.17 c 150 288 264.55 33.82 7.82 1000000 0 1758.84/1759.34 c 161 262 264.13 32.73 8.07 1000000 0 1760.04/1760.51 c 154 318 263.59 34.13 7.72 1000000 0 1761.14/1761.68 c 141 269 266.08 33.43 7.96 1000000 0 1762.34/1762.85 c 145 250 268.35 32.78 8.19 1000000 0 1763.54/1764.03 c 154 328 266.81 35.96 7.42 1000000 0 1764.74/1765.20 c 151 255 262.59 33.64 7.81 1000000 0 1765.84/1766.37 c 153 241 271.98 36.07 7.54 1000000 0 1767.04/1767.54 c 151 195 266.37 35.24 7.56 1000000 0 1768.24/1768.71 c 141 269 267.84 35.20 7.61 1000000 0 1769.34/1769.88 c 157 231 266.92 34.25 7.79 1000000 0 1770.54/1771.05 c 143 294 270.08 35.48 7.61 1000000 0 1771.74/1772.22 c 153 257 263.96 34.58 7.63 1000000 0 1772.84/1773.39 c 150 238 263.37 33.69 7.82 1000000 0 1774.04/1774.56 c 155 227 270.85 37.38 7.25 1000000 0 1775.24/1775.73 c 141 294 267.34 36.26 7.37 1000000 0 1776.43/1776.90 c 157 311 265.66 35.11 7.57 1000000 0 1777.53/1778.07 c 148 182 263.80 34.64 7.61 1000000 0 1778.73/1779.24 c 150 277 266.10 34.99 7.61 1000000 0 1779.93/1780.41 c 157 208 266.10 33.41 7.97 1000000 0 1781.03/1781.57 c 154 276 266.69 35.90 7.43 1000000 0 1782.23/1782.75 c 153 235 266.34 36.32 7.33 1000000 0 1783.43/1783.92 c 154 220 269.15 34.28 7.85 1000000 0 1784.53/1785.09 c 162 329 269.87 32.69 8.26 1000000 0 1785.73/1786.26 c 150 296 267.11 34.91 7.65 1000000 0 1786.94/1787.43 c 147 279 266.94 33.63 7.94 1000000 0 1788.04/1788.60 c 125 347 265.80 36.41 7.30 1000000 0 1789.24/1789.77 c 140 279 268.00 35.60 7.53 1000000 0 1790.43/1790.94 c 165 262 272.12 33.70 8.08 1000000 0 1791.63/1792.11 c 141 245 266.12 33.63 7.91 1000000 0 1792.73/1793.28 c 147 225 268.14 34.08 7.87 1000000 0 1793.93/1794.45 c 149 271 268.35 35.55 7.55 1000000 0 1795.13/1795.62 c 154 296 264.30 34.59 7.64 1000000 0 1796.23/1796.78 c 159 208 265.39 33.91 7.83 1000000 0 1797.43/1797.95 c 147 308 260.39 35.44 7.35 1000000 0 1798.63/1799.12 c 155 279 267.50 34.74 7.70 1000000 0 1799.73/1800.29 c 160 218 270.60 34.63 7.81 1000000 0 1800.04/1800.51 HOME/run: line 2: 23339 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-2684524-1278432538/watcher-2684524-1278432538 -o /tmp/evaluation-result-2684524-1278432538/solver-2684524-1278432538 -C 1800 -W 2000 -M 1800 run HOME/instance-2684524-1278432538.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.08 0.02 0.01 2/106 23337 /proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) R 23335 23337 23285 0 -1 4194304 223 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 126 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158436048 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23337/statm: 2175 141 115 178 0 68 0 [startup+0.0869741 s] /proc/loadavg: 0.08 0.02 0.01 2/106 23337 /proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100973 s] /proc/loadavg: 0.08 0.02 0.01 2/106 23337 /proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300993 s] /proc/loadavg: 0.08 0.02 0.01 2/106 23337 /proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701033 s] /proc/loadavg: 0.08 0.02 0.01 2/106 23337 /proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50111 s] /proc/loadavg: 0.15 0.03 0.01 2/108 23339 /proc/meminfo: memFree=1495068/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1.48 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 148 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134526304 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 941 69 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.10127 s] /proc/loadavg: 0.15 0.03 0.01 2/108 23339 /proc/meminfo: memFree=1494820/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=3.08 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 308 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 941 69 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30059 s] /proc/loadavg: 0.15 0.03 0.01 2/108 23339 /proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=6.28 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 628 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134519716 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 941 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7012 s] /proc/loadavg: 0.28 0.06 0.02 2/108 23340 /proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=12.68 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 1268 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 941 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5005 s] /proc/loadavg: 0.39 0.09 0.03 2/108 23340 /proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=25.48 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 2548 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 941 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1011 s] /proc/loadavg: 0.60 0.17 0.05 2/108 23341 /proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=51.07 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 5107 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 941 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.84 0.30 0.11 2/108 23342 /proc/meminfo: memFree=1494448/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=102.26 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 10226 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 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.94 0.43 0.16 2/108 23344 /proc/meminfo: memFree=1494324/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=162.24 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 16224 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.98 0.53 0.21 2/108 23345 /proc/meminfo: memFree=1494324/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=222.23 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 22223 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.61 0.26 2/108 23347 /proc/meminfo: memFree=1494324/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=282.21 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 28221 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.68 0.30 2/108 23349 /proc/meminfo: memFree=1494200/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=342.2 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 34220 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526385 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.34 2/108 23350 /proc/meminfo: memFree=1494076/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=402.18 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 40218 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1121.99 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 112199 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/108 23374 /proc/meminfo: memFree=1492712/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1181.98 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 118198 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 23376 /proc/meminfo: memFree=1492464/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1241.96 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 124196 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134571200 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/108 23377 /proc/meminfo: memFree=1492340/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1301.96 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 130196 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 23379 /proc/meminfo: memFree=1492216/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1361.93 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 136193 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/108 23380 /proc/meminfo: memFree=1492216/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1421.92 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 142192 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134547285 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/108 23382 /proc/meminfo: memFree=1492092/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1481.91 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 148190 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/108 23384 /proc/meminfo: memFree=1491968/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1541.9 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 154189 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.79 2/108 23385 /proc/meminfo: memFree=1491844/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1601.88 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 160187 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 23387 /proc/meminfo: memFree=1491720/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1661.87 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 166186 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 23388 /proc/meminfo: memFree=1491596/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1721.85 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 172184 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 23390 /proc/meminfo: memFree=1491472/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1781.83 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 178182 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.82 2/108 23390 /proc/meminfo: memFree=1491472/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1800.04 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 180003 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.82 2/108 23390 /proc/meminfo: memFree=1491472/2059040 swapFree=4192956/4192956 [pid=23337] ppid=23335 vsize=8700 CPUtime=0 /proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23337/statm: 2175 243 204 178 0 68 0 [pid=23339] ppid=23337 vsize=40452 CPUtime=1800.04 /proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 180003 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23339/statm: 10113 942 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1800.03 CPU system time (s): 0.013997 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.013997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1385 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 6147 runsolver used 2.97155 second user time and 8.5777 second system time The end
Begin job on node017 at 2010-07-06 18:08:59 IDJOB=2684524 IDBENCH=72863 IDSOLVER=1171 FILE ID=node017/2684524-1278432538 PBS_JOBID= 11233455 Free space on /tmp= 62476 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3037_5-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684524-1278432538/watcher-2684524-1278432538 -o /tmp/evaluation-result-2684524-1278432538/solver-2684524-1278432538 -C 1800 -W 2000 -M 1800 run HOME/instance-2684524-1278432538.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28411513b07977217060c23e558ed937 RANDOM SEED=2057861938 node017.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.220 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.44 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.220 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1499448 kB Buffers: 102824 kB Cached: 324112 kB SwapCached: 0 kB Active: 164268 kB Inactive: 322696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1499448 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1424 kB Writeback: 0 kB AnonPages: 60052 kB Mapped: 14420 kB Slab: 50760 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179412 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= 62476 MiB End job on node017 at 2010-07-06 18:38:59