Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.11 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3025_1-sat.opb |
MD5SUM | 0abb96e3692f1c5b344cad06880ed6d2 |
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.12298 |
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 | 5828 |
Total number of constraints | 19158 |
Number of constraints which are clauses | 18786 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 372 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 27 |
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 | 14 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 178 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.05 c PB-wave - v2 0.00/0.05 c command line = ./PB-wave 0.00/0.05 c seed = 75684758 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 5828 #con 19158 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 17484 0.00/0.05 c numatom = 5828, numclause = 19158, numliterals = 48577 0.00/0.05 c wff read in 0.00/0.05 c 0.00/0.05 c lowest final avg noise noise total avg mean mean 0.00/0.05 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.05 c this this this this this this success success until std 0.00/0.05 c try try try try try try rate tries assign dev 0.00/0.05 c 1.10/1.17 c 146 209 270.08 35.51 7.61 1000000 0 2.29/2.30 c 157 263 269.32 33.09 8.14 1000000 0 3.39/3.43 c 157 299 264.39 33.28 7.94 1000000 0 4.49/4.55 c 154 291 262.35 33.82 7.76 1000000 0 5.59/5.67 c 162 341 265.97 33.16 8.02 1000000 0 6.69/6.79 c 161 303 272.57 36.38 7.49 1000000 0 7.89/7.91 c 156 301 264.86 34.77 7.62 1000000 0 8.99/9.04 c 156 268 264.65 33.52 7.90 1000000 0 10.09/10.16 c 146 263 265.94 32.09 8.29 1000000 0 11.19/11.28 c 151 293 266.18 33.37 7.98 1000000 0 12.39/12.41 c 169 260 266.94 34.23 7.80 1000000 0 13.49/13.53 c 157 208 266.27 32.75 8.13 1000000 0 14.59/14.65 c 137 218 261.76 33.26 7.87 1000000 0 15.69/15.78 c 150 233 267.87 33.25 8.06 1000000 0 16.89/16.90 c 163 252 266.36 32.66 8.16 1000000 0 17.99/18.02 c 152 297 265.38 34.14 7.77 1000000 0 19.09/19.14 c 168 258 263.61 31.87 8.27 1000000 0 20.19/20.27 c 138 249 268.95 34.96 7.69 1000000 0 21.29/21.40 c 132 276 268.07 35.80 7.49 1000000 0 22.49/22.52 c 156 247 266.61 36.16 7.37 1000000 0 23.59/23.64 c 163 249 267.41 34.45 7.76 1000000 0 24.69/24.77 c 159 261 269.76 36.16 7.46 1000000 0 25.79/25.89 c 153 250 264.24 34.20 7.73 1000000 0 26.98/27.01 c 163 261 264.78 32.96 8.03 1000000 0 28.08/28.13 c 152 266 264.09 33.91 7.79 1000000 0 29.18/29.26 c 150 284 271.14 34.89 7.77 1000000 0 30.28/30.38 c 150 286 265.44 34.14 7.77 1000000 0 31.48/31.51 c 160 275 270.50 32.99 8.20 1000000 0 32.58/32.63 c 147 201 269.75 35.88 7.52 1000000 0 33.68/33.76 c 147 242 266.78 34.45 7.74 1000000 0 34.78/34.88 c 166 233 268.67 33.69 7.98 1000000 0 35.98/36.00 c 153 284 266.32 33.29 8.00 1000000 0 37.08/37.13 c 156 226 266.26 35.34 7.53 1000000 0 38.18/38.25 c 168 239 270.49 35.73 7.57 1000000 0 39.28/39.37 c 158 289 268.28 37.16 7.22 1000000 0 40.38/40.50 c 147 293 269.31 33.86 7.95 1000000 0 41.58/41.62 c 144 275 266.33 34.39 7.74 1000000 0 42.68/42.74 c 162 251 265.70 34.81 7.63 1000000 0 43.78/43.87 c 169 254 269.05 34.99 7.69 1000000 0 44.88/44.99 c 168 293 270.52 35.33 7.66 1000000 0 46.09/46.11 c 159 297 267.30 33.16 8.06 1000000 0 47.19/47.24 c 151 257 262.75 33.65 7.81 1000000 0 48.29/48.36 c 165 269 264.32 35.15 7.52 1000000 0 49.39/49.48 c 163 194 269.33 37.39 7.20 1000000 0 50.59/50.61 c 159 271 268.25 34.13 7.86 1000000 0 51.69/51.74 c 160 261 269.08 33.09 8.13 1000000 0 52.79/52.86 c 161 264 269.00 34.35 7.83 1000000 0 53.89/53.98 c 157 251 267.47 35.82 7.47 1000000 0 55.08/55.11 c 150 240 271.56 36.47 7.45 1000000 0 56.18/56.23 c 158 247 269.90 34.98 7.72 1000000 0 57.28/57.36 c 141 277 262.84 32.11 8.19 1000000 0 58.38/58.48 c 155 248 266.75 35.53 7.51 1000000 0 59.58/59.60 c 166 292 269.14 34.12 7.89 1000000 0 60.68/60.73 c 157 282 268.98 37.48 7.18 1000000 0 61.78/61.85 c 151 334 269.34 32.98 8.17 1000000 0 62.88/62.97 c 160 232 267.99 35.36 7.58 1000000 0 64.08/64.10 c 160 241 267.76 33.31 8.04 1000000 0 65.18/65.22 c 166 317 266.92 33.85 7.89 1000000 0 66.27/66.35 c 147 305 267.83 35.37 7.57 1000000 0 67.37/67.47 c 153 321 266.86 33.66 7.93 1000000 0 68.47/68.59 c 156 271 273.07 36.12 7.56 1000000 0 69.67/69.71 c 127 283 267.24 36.00 7.42 1000000 0 70.77/70.84 c 151 259 267.71 31.90 8.39 1000000 0 71.87/71.96 c 154 363 263.57 33.29 7.92 1000000 0 72.97/73.08 c 153 303 268.10 33.21 8.07 1000000 0 74.17/74.20 c 157 257 267.06 32.91 8.12 1000000 0 75.27/75.33 c 161 310 265.44 33.56 7.91 1000000 0 76.37/76.45 c 159 285 265.87 35.12 7.57 1000000 0 77.47/77.58 c 139 280 272.09 34.72 7.84 1000000 0 78.67/78.70 c 159 242 266.81 34.65 7.70 1000000 0 79.77/79.82 c 162 231 263.69 33.76 7.81 1000000 0 80.87/80.95 c 149 243 263.64 35.23 7.48 1000000 0 81.97/82.07 c 153 281 266.79 34.40 7.76 1000000 0 83.07/83.19 c 141 249 265.02 34.71 7.64 1000000 0 84.27/84.31 c 153 210 272.39 35.41 7.69 1000000 0 85.37/85.44 c 158 289 261.37 34.94 7.48 1000000 0 86.47/86.56 c 157 214 268.64 36.56 7.35 1000000 0 87.57/87.69 c 165 239 270.86 34.39 7.88 1000000 0 88.77/88.82 c 158 230 266.11 33.11 8.04 1000000 0 89.87/89.94 c 168 216 270.60 34.12 7.93 1000000 0 90.97/91.07 c 157 272 266.81 34.59 7.71 1000000 0 92.07/92.19 c 157 288 271.54 35.19 7.72 1000000 0 93.27/93.31 c 150 230 266.59 33.87 7.87 1000000 0 94.37/94.43 c 158 296 269.19 32.08 8.39 1000000 0 95.47/95.56 c 154 255 267.04 32.94 8.11 1000000 0 96.57/96.68 c 150 328 268.62 33.37 8.05 1000000 0 97.77/97.81 c 152 286 265.61 36.09 7.36 1000000 0 98.87/98.93 c 151 273 266.68 35.12 7.59 1000000 0 99.97/100.05 c 147 295 267.75 32.92 8.13 1000000 0 101.07/101.18 c 159 269 269.53 32.94 8.18 1000000 0 102.17/102.30 c 155 300 260.44 34.34 7.59 1000000 0 103.37/103.42 c 144 293 265.12 33.60 7.89 1000000 0 104.47/104.54 c 160 343 265.53 35.16 7.55 1000000 0 105.57/105.67 c 152 268 265.48 32.11 8.27 1000000 0 106.67/106.79 c 147 249 270.09 34.45 7.84 1000000 0 107.86/107.91 c 154 243 266.64 33.66 7.92 1000000 0 108.96/109.03 c 170 282 265.99 31.62 8.41 1000000 0 110.06/110.15 c 146 229 269.13 36.06 7.46 1000000 0 111.16/111.28 c 164 289 264.73 32.91 8.04 1000000 0 112.36/112.40 c 158 226 264.96 36.47 7.26 1000000 0 113.46/113.52 c 150 220 267.98 34.90 7.68 1000000 0 114.56/114.65 c 144 252 270.94 35.10 7.72 1000000 0 115.66/115.77 c 157 311 270.69 36.67 7.38 1000000 0 116.86/116.90 c 163 261 266.13 33.81 7.87 1000000 0 117.96/118.02 c 160 294 266.84 32.45 8.22 1000000 0 119.06/119.15 c 160 280 265.01 32.18 8.24 1000000 0 120.16/120.27 c 158 263 270.07 36.53 7.39 1000000 0 121.36/121.40 c 127 238 265.52 33.07 8.03 1000000 0 122.46/122.52 c 161 259 264.70 32.31 8.19 1000000 0 123.56/123.64 c 152 266 263.67 33.24 7.93 1000000 0 124.66/124.77 c 149 261 265.02 34.21 7.75 1000000 0 125.76/125.89 c 152 240 265.32 32.76 8.10 1000000 0 126.96/127.01 c 168 301 271.40 34.83 7.79 1000000 0 128.06/128.14 c 138 274 265.43 34.76 7.64 1000000 0 129.16/129.26 c 157 298 266.59 33.19 8.03 1000000 0 130.26/130.39 c 152 257 270.04 34.26 7.88 1000000 0 131.46/131.50 c 164 249 269.34 31.66 8.51 1000000 0 132.56/132.63 c 152 245 266.28 34.91 7.63 1000000 0 133.66/133.75 c 150 339 267.37 34.87 7.67 1000000 0 134.76/134.88 c 151 266 270.84 36.72 7.38 1000000 0 135.96/136.00 c 150 275 269.12 35.97 7.48 1000000 0 137.06/137.13 c 158 236 268.31 34.11 7.87 1000000 0 138.16/138.25 c 155 281 262.60 32.95 7.97 1000000 0 139.26/139.37 c 153 247 266.17 34.41 7.74 1000000 0 140.46/140.50 c 153 298 268.82 33.18 8.10 1000000 0 141.56/141.62 c 161 251 271.55 34.99 7.76 1000000 0 142.65/142.74 c 156 316 264.57 36.65 7.22 1000000 0 143.75/143.87 c 153 290 269.82 34.10 7.91 1000000 0 144.85/144.99 c 154 294 266.25 34.34 7.75 1000000 0 146.05/146.11 c 138 249 271.18 35.41 7.66 1000000 0 147.15/147.23 c 160 278 263.63 34.67 7.60 1000000 0 148.25/148.36 c 143 284 269.46 36.48 7.39 1000000 0 149.35/149.48 c 137 298 266.45 34.06 7.82 1000000 0 150.56/150.60 c 160 250 271.54 34.48 7.87 1000000 0 151.66/151.72 c 157 202 267.39 34.48 7.76 1000000 0 152.76/152.85 c 158 296 268.22 32.73 8.19 1000000 0 153.86/153.97 c 143 276 267.31 35.48 7.53 1000000 0 154.96/155.10 c 156 242 268.20 34.22 7.84 1000000 0 156.16/156.22 c 159 277 267.05 37.31 7.16 1000000 0 157.26/157.35 c 148 258 265.49 36.00 7.37 1000000 0 158.36/158.47 c 144 251 263.19 35.28 7.46 1000000 0 159.55/159.60 c 155 236 265.56 31.57 8.41 1000000 0 160.65/160.72 c 135 250 261.78 33.74 7.76 1000000 0 161.75/161.84 c 158 270 265.35 34.66 7.66 1000000 0 162.85/162.97 c 141 271 268.58 34.26 7.84 1000000 0 163.95/164.09 c 137 278 265.42 34.70 7.65 1000000 0 165.15/165.21 c 151 227 264.70 33.93 7.80 1000000 0 166.25/166.33 c 163 285 267.86 33.87 7.91 1000000 0 167.35/167.45 c 151 242 265.64 34.73 7.65 1000000 0 168.45/168.58 c 160 246 267.04 34.96 7.64 1000000 0 169.65/169.70 c 138 236 265.63 32.63 8.14 1000000 0 170.75/170.82 c 149 257 269.88 34.16 7.90 1000000 0 171.85/171.94 c 140 294 267.10 34.22 7.81 1000000 0 172.95/173.07 c 161 312 264.86 37.63 7.04 1000000 0 174.05/174.19 c 154 229 261.69 33.09 7.91 1000000 0 175.25/175.31 c 139 231 264.03 35.37 7.46 1000000 0 176.35/176.43 c 159 261 268.46 34.70 7.74 1000000 0 177.45/177.56 c 159 240 263.15 33.39 7.88 1000000 0 178.55/178.68 c 163 242 266.95 35.81 7.45 1000000 0 179.75/179.81 c 163 272 268.79 35.04 7.67 1000000 0 180.85/180.93 c 158 245 266.94 32.99 8.09 1000000 0 181.95/182.05 c 158 226 271.22 33.39 8.12 1000000 0 183.05/183.18 c 150 272 266.00 34.56 7.70 1000000 0 184.24/184.30 c 147 286 268.83 32.56 8.26 1000000 0 185.34/185.43 c 158 301 265.13 34.19 7.75 1000000 0 186.44/186.55 c 133 208 265.73 33.81 7.86 1000000 0 187.54/187.67 c 155 205 268.81 37.68 7.13 1000000 0 188.64/188.79 c 149 254 262.99 35.95 7.32 1000000 0 189.84/189.92 c 134 240 270.95 35.90 7.55 1000000 0 190.94/191.04 c 164 282 272.60 35.09 7.77 1000000 0 192.04/192.16 c 146 277 267.23 36.56 7.31 1000000 0 193.14/193.28 c 165 277 270.76 34.87 7.77 1000000 0 194.34/194.41 c 146 214 265.07 34.36 7.72 1000000 0 195.44/195.53 c 151 282 265.98 34.95 7.61 1000000 0 196.54/196.65 c 157 192 267.98 33.17 8.08 1000000 0 197.64/197.78 c 153 203 265.94 36.63 7.26 1000000 0 198.84/198.90 c 162 289 269.87 34.19 7.89 1000000 0 199.94/200.03 c 153 229 268.27 35.12 7.64 1000000 0 201.04/201.15 c 144 219 267.45 35.00 7.64 1000000 0 202.14/202.28 c 152 213 263.65 33.13 7.96 1000000 0 203.35/203.40 c 160 260 269.05 35.51 7.58 1000000 0 204.45/204.53 c 156 276 267.47 36.35 7.36 1000000 0 205.55/205.65 c 159 250 267.91 32.88 8.15 1000000 0 206.65/206.77 c 155 247 265.11 35.37 7.50 1000000 0 207.75/207.90 c 162 262 263.74 32.73 8.06 1000000 0 208.95/209.02 c 164 305 268.94 33.15 8.11 1000000 0 210.05/210.15 c 155 258 264.08 31.52 8.38 1000000 0 211.14/211.27 c 161 252 266.35 35.19 7.57 1000000 0 212.24/212.39 c 151 269 267.65 36.54 7.32 1000000 0 213.44/213.52 c 147 231 267.55 34.18 7.83 1000000 0 214.54/214.64 c 148 319 264.92 36.13 7.33 1000000 0 215.64/215.77 c 149 238 265.01 33.09 8.01 1000000 0 216.74/216.89 c 142 303 268.46 33.69 7.97 1000000 0 217.94/218.02 c 160 289 270.56 35.26 7.67 1000000 0 219.04/219.14 c 148 271 263.76 34.26 7.70 1000000 0 220.14/220.26 c 154 250 267.79 35.63 7.52 1000000 0 221.24/221.39 c 165 281 266.63 35.51 7.51 1000000 0 222.44/222.52 c 166 273 266.91 33.49 7.97 1000000 0 223.54/223.64 c 169 271 269.56 33.93 7.94 1000000 0 224.63/224.76 c 169 305 269.70 34.07 7.92 1000000 0 225.73/225.89 c 146 298 272.42 34.83 7.82 1000000 0 226.93/227.01 c 165 336 268.38 34.75 7.72 1000000 0 228.03/228.14 c 140 246 266.01 33.81 7.87 1000000 0 229.13/229.26 c 158 238 266.95 34.40 7.76 1000000 0 230.23/230.39 c 158 279 268.16 33.73 7.95 1000000 0 231.43/231.51 c 162 318 265.95 34.89 7.62 1000000 0 232.53/232.64 c 155 298 265.86 32.45 8.19 1000000 0 233.63/233.75 c 156 304 269.45 34.73 7.76 1000000 0 234.73/234.88 c 161 256 269.10 35.65 7.55 1000000 0 235.93/236.00 c 151 255 268.66 34.04 7.89 1000000 0 237.03/237.13 c 140 345 268.12 35.02 7.66 1000000 0 238.13/238.25 c 145 266 267.27 34.37 7.78 1000000 0 239.23/239.37 c 155 268 263.68 34.76 7.59 1000000 0 240.33/240.49 c 151 298 270.65 32.99 8.20 1000000 0 241.53/241.61 c 154 259 270.37 35.39 7.64 1000000 0 242.63/242.74 c 148 262 269.68 34.96 7.71 1000000 0 243.73/243.86 c 150 289 271.35 34.39 7.89 1000000 0 244.83/244.98 c 148 265 266.80 34.86 7.65 1000000 0 246.03/246.11 c 160 304 271.20 32.79 8.27 1000000 0 247.13/247.23 c 161 292 266.33 33.61 7.92 1000000 0 248.23/248.35 c 152 247 262.53 32.11 8.18 1000000 0 249.33/249.47 c 167 332 266.33 34.09 7.81 1000000 0 250.43/250.59 c 158 234 266.46 33.30 8.00 1000000 0 251.63/251.71 c 151 298 268.23 34.79 7.71 1000000 0 252.73/252.83 c 146 280 265.11 32.18 8.24 1000000 0 253.83/253.96 c 152 357 269.46 35.55 7.58 1000000 0 254.93/255.08 c 137 234 260.25 32.85 7.92 1000000 0 256.13/256.20 c 163 287 271.30 35.49 7.65 1000000 0 257.23/257.33 c 148 210 266.43 33.73 7.90 1000000 0 258.33/258.46 c 160 251 268.84 34.66 7.76 1000000 0 259.43/259.58 c 172 300 272.33 32.45 8.39 1000000 0 260.53/260.70 c 165 299 265.02 35.01 7.57 1000000 0 261.73/261.83 c 162 246 267.09 35.26 7.58 1000000 0 262.83/262.95 c 160 308 265.53 35.53 7.47 1000000 0 263.93/264.07 c 134 223 268.29 34.92 7.68 1000000 0 265.03/265.19 c 158 276 266.41 34.39 7.75 1000000 0 266.22/266.31 c 159 239 265.49 34.33 7.73 1000000 0 267.32/267.43 c 161 303 267.11 33.19 8.05 1000000 0 268.42/268.56 c 154 311 273.20 34.99 7.81 1000000 0 269.52/269.68 c 145 257 266.91 34.71 7.69 1000000 0 270.72/270.81 c 171 320 268.58 30.79 8.72 1000000 0 271.82/271.93 c 152 272 263.18 33.38 7.88 1000000 0 272.92/273.05 c 169 247 268.20 31.95 8.39 1000000 0 274.02/274.18 c 152 290 267.46 33.75 7.92 1000000 0 275.12/275.29 c 153 204 263.34 33.24 7.92 1000000 0 276.32/276.42 c 143 214 267.63 33.96 7.88 1000000 0 277.42/277.54 c 162 245 268.82 33.44 8.04 1000000 0 278.52/278.66 c 150 250 273.34 34.36 7.96 1000000 0 279.62/279.79 c 153 209 259.06 33.70 7.69 1000000 0 280.82/280.91 c 151 265 267.64 35.67 7.50 1000000 0 281.92/282.04 c 141 233 271.45 35.21 7.71 1000000 0 283.02/283.16 c 165 238 268.01 36.33 7.38 1000000 0 284.12/284.28 c 157 272 264.09 34.27 7.71 1000000 0 285.32/285.41 c 141 249 268.82 34.08 7.89 1000000 0 286.42/286.53 c 156 287 266.45 35.48 7.51 1000000 0 287.52/287.66 c 137 363 265.62 36.50 7.28 1000000 0 288.62/288.78 c 164 299 267.47 35.62 7.51 1000000 0 289.82/289.91 c 142 282 269.40 32.91 8.18 1000000 0 290.92/291.03 c 174 259 270.19 34.76 7.77 1000000 0 292.02/292.16 c 148 248 263.46 32.42 8.13 1000000 0 293.12/293.28 c 144 286 260.19 33.71 7.72 1000000 0 294.32/294.40 c 158 218 269.95 33.84 7.98 1000000 0 295.42/295.52 c 155 240 266.45 35.31 7.55 1000000 0 296.52/296.65 c 165 286 271.34 35.80 7.58 1000000 0 297.62/297.77 c 155 214 270.59 34.28 7.89 1000000 0 298.82/298.90 c 153 228 269.49 33.38 8.07 1000000 0 299.92/300.02 c 156 235 266.18 34.67 7.68 1000000 0 301.02/301.14 c 136 235 263.89 34.63 7.62 1000000 0 302.12/302.26 c 146 215 262.57 34.15 7.69 1000000 0 303.31/303.40 c 150 294 263.74 35.23 7.49 1000000 0 304.41/304.52 c 159 361 267.89 35.95 7.45 1000000 0 305.51/305.64 c 160 270 266.14 34.00 7.83 1000000 0 306.61/306.77 c 150 240 267.44 32.65 8.19 1000000 0 307.71/307.89 c 135 223 263.42 34.38 7.66 1000000 0 308.92/309.01 c 170 312 269.02 33.37 8.06 1000000 0 310.02/310.14 c 161 273 264.40 30.58 8.65 1000000 0 311.12/311.27 c 149 274 267.18 35.04 7.62 1000000 0 312.22/312.39 c 157 283 266.13 34.06 7.81 1000000 0 313.42/313.52 c 155 231 268.67 35.66 7.53 1000000 0 314.52/314.65 c 160 254 268.27 34.37 7.81 1000000 0 315.62/315.77 c 149 239 261.59 33.31 7.85 1000000 0 316.72/316.89 c 147 267 265.04 35.46 7.48 1000000 0 317.91/318.02 c 157 273 269.78 36.16 7.46 1000000 0 319.01/319.15 c 163 311 269.48 32.43 8.31 1000000 0 320.11/320.27 c 148 224 265.32 33.88 7.83 1000000 0 321.21/321.39 c 160 265 270.86 34.43 7.87 1000000 0 322.41/322.52 c 159 216 261.17 31.64 8.25 1000000 0 323.51/323.64 c 154 190 264.77 33.60 7.88 1000000 0 324.61/324.77 c 152 286 267.91 37.69 7.11 1000000 0 325.71/325.89 c 160 229 274.64 35.71 7.69 1000000 0 326.91/327.01 c 149 200 266.20 34.72 7.67 1000000 0 328.01/328.14 c 149 244 265.48 33.65 7.89 1000000 0 329.11/329.26 c 161 325 266.07 36.61 7.27 1000000 0 330.21/330.39 c 147 280 262.85 31.83 8.26 1000000 0 331.41/331.51 c 163 259 264.34 33.14 7.98 1000000 0 332.51/332.63 c 144 269 268.21 34.06 7.87 1000000 0 333.61/333.75 c 157 245 270.16 34.69 7.79 1000000 0 334.71/334.87 c 153 345 269.09 35.79 7.52 1000000 0 335.91/336.00 c 158 252 267.08 34.40 7.76 1000000 0 337.01/337.13 c 144 282 264.92 33.66 7.87 1000000 0 338.11/338.26 c 161 240 273.29 34.62 7.89 1000000 0 339.21/339.38 c 139 243 267.12 31.78 8.41 1000000 0 340.41/340.51 c 153 314 267.37 33.44 8.00 1000000 0 341.51/341.63 c 155 218 263.01 34.28 7.67 1000000 0 342.60/342.75 c 156 264 269.92 35.08 7.69 1000000 0 343.70/343.87 c 157 221 269.81 33.29 8.10 1000000 0 344.90/345.00 c 168 314 269.65 33.32 8.09 1000000 0 346.00/346.12 c 164 247 265.37 33.75 7.86 1000000 0 347.10/347.25 c 149 296 269.14 34.55 7.79 1000000 0 348.20/348.37 c 142 286 264.61 34.21 7.73 1000000 0 349.40/349.50 c 153 328 263.56 35.59 7.41 1000000 0 350.50/350.62 c 159 263 266.37 35.88 7.42 1000000 0 351.60/351.74 c 159 253 265.47 33.03 8.04 1000000 0 352.70/352.87 c 144 213 266.21 38.09 6.99 1000000 0 353.80/353.99 c 162 266 268.52 35.46 7.57 1000000 0 355.00/355.11 c 144 307 269.11 35.82 7.51 1000000 0 356.10/356.23 c 153 255 262.72 33.76 7.78 1000000 0 357.20/357.36 c 156 282 271.66 32.16 8.45 1000000 0 358.30/358.48 c 156 240 261.85 33.35 7.85 1000000 0 359.51/359.60 c 156 229 263.03 34.99 7.52 1000000 0 360.61/360.72 c 139 311 264.29 34.36 7.69 1000000 0 361.71/361.84 c 161 242 266.57 33.76 7.90 1000000 0 362.81/362.97 c 163 258 271.19 35.57 7.62 1000000 0 363.91/364.09 c 160 220 267.62 33.50 7.99 1000000 0 365.11/365.22 c 139 270 263.06 36.79 7.15 1000000 0 366.21/366.34 c 159 225 265.20 33.79 7.85 1000000 0 367.31/367.46 c 149 194 263.43 32.71 8.05 1000000 0 368.40/368.58 c 150 269 263.92 35.58 7.42 1000000 0 369.60/369.70 c 159 230 266.35 31.74 8.39 1000000 0 370.70/370.83 c 164 247 267.60 34.20 7.82 1000000 0 371.80/371.95 c 156 278 265.62 30.83 8.62 1000000 0 372.90/373.07 c 166 306 263.97 32.78 8.05 1000000 0 374.00/374.19 c 161 296 261.90 31.58 8.29 1000000 0 375.20/375.32 c 153 277 264.45 34.38 7.69 1000000 0 376.30/376.44 c 152 251 269.24 34.46 7.81 1000000 0 377.40/377.56 c 158 270 267.74 35.40 7.56 1000000 0 378.50/378.69 c 159 280 271.87 34.33 7.92 1000000 0 379.70/379.81 c 163 277 265.96 32.82 8.10 1000000 0 380.80/380.93 c 160 207 266.61 33.59 7.94 1000000 0 381.89/382.06 c 156 322 271.22 35.39 7.66 1000000 0 382.99/383.19 c 154 243 266.64 33.85 7.88 1000000 0 384.19/384.31 c 146 266 270.62 35.64 7.59 1000000 0 385.29/385.43 c 161 208 272.83 35.62 7.66 1000000 0 386.39/386.56 c 154 238 266.75 36.26 7.36 1000000 0 387.49/387.68 c 157 294 264.85 34.28 7.73 1000000 0 388.69/388.81 c 162 332 269.59 33.71 8.00 1000000 0 389.79/389.93 c 153 253 262.77 33.22 7.91 1000000 0 390.89/391.06 c 151 328 274.36 35.79 7.66 1000000 0 391.99/392.18 c 160 291 268.61 34.49 7.79 1000000 0 393.19/393.31 c 170 232 266.38 33.12 8.04 1000000 0 394.29/394.43 c 146 254 267.61 34.04 7.86 1000000 0 395.39/395.55 c 172 235 266.11 32.58 8.17 1000000 0 396.49/396.68 c 153 299 267.11 33.90 7.88 1000000 0 397.69/397.80 c 153 229 264.14 33.78 7.82 1000000 0 398.79/398.93 c 149 235 267.20 34.60 7.72 1000000 0 399.89/400.05 c 149 295 265.95 34.53 7.70 1000000 0 400.99/401.17 c 159 251 271.13 33.09 8.19 1000000 0 402.19/402.30 c 139 257 266.13 34.04 7.82 1000000 0 403.29/403.42 c 138 224 268.71 33.63 7.99 1000000 0 404.39/404.54 c 154 221 263.18 33.28 7.91 1000000 0 405.49/405.67 c 152 277 268.36 36.26 7.40 1000000 0 406.59/406.79 c 160 276 266.37 32.17 8.28 1000000 0 407.79/407.91 c 147 260 266.56 33.92 7.86 1000000 0 408.89/409.03 c 151 251 267.01 35.10 7.61 1000000 0 409.99/410.15 c 147 227 265.14 35.30 7.51 1000000 0 411.09/411.28 c 150 303 265.06 32.28 8.21 1000000 0 412.29/412.40 c 146 228 263.43 33.34 7.90 1000000 0 413.39/413.52 c 170 277 271.20 33.80 8.02 1000000 0 414.49/414.65 c 147 270 261.81 35.34 7.41 1000000 0 415.59/415.77 c 155 266 263.78 33.96 7.77 1000000 0 416.69/416.90 c 150 303 266.90 36.65 7.28 1000000 0 417.89/418.02 c 139 281 267.17 33.42 7.99 1000000 0 418.99/419.15 c 150 334 266.52 33.64 7.92 1000000 0 420.09/420.27 c 155 324 264.30 32.85 8.04 1000000 0 421.19/421.39 c 154 241 260.33 31.91 8.16 1000000 0 422.38/422.51 c 161 270 266.75 35.01 7.62 1000000 0 423.48/423.64 c 162 277 271.94 35.82 7.59 1000000 0 424.58/424.76 c 167 266 271.88 32.18 8.45 1000000 0 425.68/425.89 c 146 263 267.79 36.63 7.31 1000000 0 426.88/427.01 c 156 264 269.93 35.06 7.70 1000000 0 427.98/428.13 c 149 276 268.60 36.35 7.39 1000000 0 429.08/429.25 c 141 302 267.55 35.44 7.55 1000000 0 430.18/430.37 c 161 315 271.26 35.36 7.67 1000000 0 431.28/431.49 c 158 235 269.07 34.15 7.88 1000000 0 432.48/432.61 c 152 252 265.97 34.79 7.65 1000000 0 433.58/433.74 c 150 287 267.73 33.56 7.98 1000000 0 434.68/434.86 c 154 269 265.42 37.48 7.08 1000000 0 435.78/435.98 c 154 271 266.40 34.95 7.62 1000000 0 436.98/437.11 c 150 295 266.47 36.65 7.27 1000000 0 438.08/438.23 c 153 352 269.85 35.70 7.56 1000000 0 439.18/439.36 c 156 271 264.30 33.45 7.90 1000000 0 440.28/440.48 c 159 269 269.37 35.53 7.58 1000000 0 441.48/441.60 c 165 273 268.80 35.46 7.58 1000000 0 442.57/442.73 c 154 341 264.39 36.76 7.19 1000000 0 443.67/443.86 c 149 245 267.84 35.11 7.63 1000000 0 444.77/444.98 c 149 266 267.31 35.43 7.54 1000000 0 445.97/446.10 c 165 273 270.41 34.35 7.87 1000000 0 447.07/447.23 c 163 260 264.30 34.16 7.74 1000000 0 448.17/448.36 c 154 267 267.38 35.75 7.48 1000000 0 449.27/449.48 c 159 282 264.95 33.46 7.92 1000000 0 450.47/450.60 c 153 318 262.70 34.66 7.58 1000000 0 451.57/451.73 c 157 246 266.50 34.11 7.81 1000000 0 452.67/452.85 c 156 283 270.36 35.93 7.52 1000000 0 453.77/453.97 c 158 251 270.97 36.05 7.52 1000000 0 454.97/455.10 c 155 239 264.19 36.31 7.28 1000000 0 456.07/456.22 c 158 233 264.55 34.20 7.74 1000000 0 457.17/457.34 c 157 207 272.96 34.61 7.89 1000000 0 458.27/458.46 c 159 313 268.76 33.61 8.00 1000000 0 459.37/459.59 c 152 252 262.93 32.48 8.10 1000000 0 460.57/460.71 c 160 284 270.57 36.41 7.43 1000000 0 461.67/461.84 c 159 270 267.77 35.29 7.59 1000000 0 462.77/462.96 c 142 244 266.27 34.01 7.83 1000000 0 463.87/464.09 c 159 311 265.95 33.80 7.87 1000000 0 465.08/465.22 c 144 293 270.30 35.00 7.72 1000000 0 466.18/466.34 c 152 262 263.74 34.15 7.72 1000000 0 467.28/467.46 c 166 266 270.23 35.28 7.66 1000000 0 468.37/468.58 c 148 316 265.73 34.36 7.73 1000000 0 469.47/469.70 c 138 287 268.31 32.77 8.19 1000000 0 470.67/470.82 c 126 285 261.53 33.03 7.92 1000000 0 471.77/471.95 c 153 349 262.49 33.70 7.79 1000000 0 472.87/473.06 c 158 278 265.72 32.91 8.07 1000000 0 473.97/474.19 c 143 247 260.68 31.38 8.31 1000000 0 475.17/475.31 c 149 212 267.44 33.23 8.05 1000000 0 476.27/476.44 c 152 312 269.83 34.04 7.93 1000000 0 477.37/477.56 c 146 245 268.93 34.29 7.84 1000000 0 478.47/478.69 c 160 245 269.79 34.10 7.91 1000000 0 479.67/479.81 c 149 252 268.45 36.41 7.37 1000000 0 480.76/480.94 c 165 275 269.88 34.05 7.93 1000000 0 481.86/482.06 c 161 239 268.35 35.28 7.61 1000000 0 482.96/483.18 c 153 261 266.73 36.43 7.32 1000000 0 484.16/484.31 c 161 260 265.97 32.38 8.21 1000000 0 485.26/485.43 c 135 263 268.51 37.35 7.19 1000000 0 486.36/486.55 c 148 306 266.19 35.47 7.51 1000000 0 487.46/487.67 c 158 300 268.14 33.06 8.11 1000000 0 488.56/488.80 c 145 273 265.88 33.43 7.95 1000000 0 489.76/489.92 c 155 241 267.51 34.01 7.87 1000000 0 490.86/491.04 c 117 337 266.45 33.98 7.84 1000000 0 491.96/492.16 c 144 275 268.76 35.12 7.65 1000000 0 493.06/493.29 c 157 247 267.65 32.42 8.26 1000000 0 494.26/494.41 c 155 221 265.91 37.88 7.02 1000000 0 495.36/495.53 c 154 234 265.49 33.23 7.99 1000000 0 496.46/496.66 c 147 290 263.16 33.67 7.81 1000000 0 497.56/497.78 c 138 248 265.98 33.45 7.95 1000000 0 498.76/498.91 c 150 302 267.54 34.00 7.87 1000000 0 499.86/500.04 c 169 307 268.48 32.50 8.26 1000000 0 500.96/501.16 c 157 285 262.35 32.72 8.02 1000000 0 502.06/502.28 c 148 301 268.06 32.74 8.19 1000000 0 503.16/503.39 c 158 281 266.72 32.73 8.15 1000000 0 504.36/504.52 c 162 241 264.21 32.87 8.04 1000000 0 505.46/505.64 c 161 330 271.02 34.22 7.92 1000000 0 506.56/506.76 c 156 222 266.74 32.86 8.12 1000000 0 507.66/507.88 c 164 259 270.24 34.50 7.83 1000000 0 508.86/509.00 c 165 230 266.46 35.57 7.49 1000000 0 509.96/510.13 c 159 233 269.27 34.85 7.73 1000000 0 511.06/511.25 c 156 234 270.46 37.09 7.29 1000000 0 512.16/512.37 c 173 269 271.55 35.34 7.68 1000000 0 513.26/513.49 c 137 270 268.90 35.15 7.65 1000000 0 514.46/514.61 c 159 189 268.79 33.87 7.93 1000000 0 515.56/515.74 c 155 259 268.50 33.95 7.91 1000000 0 516.66/516.86 c 158 248 266.68 34.61 7.71 1000000 0 517.76/517.98 c 157 276 267.02 35.44 7.54 1000000 0 518.96/519.10 c 151 322 270.81 34.28 7.90 1000000 0 520.06/520.23 c 142 342 263.33 35.65 7.39 1000000 0 521.16/521.35 c 158 264 263.99 33.84 7.80 1000000 0 522.26/522.48 c 160 259 262.83 34.08 7.71 1000000 0 523.36/523.60 c 142 266 268.01 33.27 8.06 1000000 0 524.56/524.72 c 145 215 262.13 32.00 8.19 1000000 0 525.66/525.84 c 150 302 265.09 36.46 7.27 1000000 0 526.76/526.97 c 162 254 269.11 32.45 8.29 1000000 0 527.86/528.09 c 159 260 269.48 34.19 7.88 1000000 0 529.05/529.22 c 147 279 270.00 37.39 7.22 1000000 0 530.15/530.34 c 156 246 260.09 33.24 7.82 1000000 0 531.25/531.46 c 154 237 264.96 32.01 8.28 1000000 0 532.35/532.59 c 157 258 265.20 34.60 7.67 1000000 0 533.55/533.71 c 160 329 268.50 36.10 7.44 1000000 0 534.65/534.84 c 148 249 268.17 34.19 7.84 1000000 0 535.75/535.96 c 151 231 267.82 32.97 8.12 1000000 0 536.85/537.08 c 150 263 268.87 33.94 7.92 1000000 0 538.05/538.21 c 153 240 268.57 33.66 7.98 1000000 0 539.15/539.33 c 125 276 266.84 34.51 7.73 1000000 0 540.25/540.46 c 159 268 265.20 33.75 7.86 1000000 0 541.35/541.58 c 147 286 271.70 34.55 7.86 1000000 0 542.55/542.70 c 155 249 265.25 32.83 8.08 1000000 0 543.65/543.82 c 145 243 265.77 33.17 8.01 1000000 0 544.75/544.95 c 149 233 265.59 34.18 7.77 1000000 0 545.85/546.07 c 171 271 268.56 32.66 8.22 1000000 0 546.95/547.20 c 157 306 267.19 33.66 7.94 1000000 0 548.15/548.32 c 141 211 263.09 33.03 7.96 1000000 0 549.25/549.44 c 165 196 268.34 34.35 7.81 1000000 0 550.35/550.56 c 160 294 268.66 33.31 8.07 1000000 0 551.45/551.69 c 142 288 266.70 33.20 8.03 1000000 0 552.65/552.81 c 158 283 267.76 35.38 7.57 1000000 0 553.74/553.93 c 154 266 263.43 33.81 7.79 1000000 0 554.84/555.06 c 154 277 267.57 36.88 7.25 1000000 0 555.94/556.19 c 150 220 268.66 35.47 7.57 1000000 0 557.14/557.31 c 149 272 273.92 34.90 7.85 1000000 0 558.24/558.44 c 160 282 268.62 34.48 7.79 1000000 0 559.34/559.56 c 168 215 265.68 32.14 8.27 1000000 0 560.44/560.69 c 166 221 272.82 35.88 7.60 1000000 0 561.64/561.81 c 141 252 266.37 35.50 7.50 1000000 0 562.74/562.93 c 169 374 274.33 34.44 7.96 1000000 0 563.84/564.05 c 148 291 265.96 33.58 7.92 1000000 0 564.94/565.18 c 150 337 265.60 34.91 7.61 1000000 0 566.14/566.30 c 146 285 264.80 34.54 7.67 1000000 0 567.24/567.42 c 148 254 267.61 34.56 7.74 1000000 0 568.34/568.54 c 149 276 264.47 33.94 7.79 1000000 0 569.44/569.67 c 154 258 269.22 35.77 7.53 1000000 0 570.65/570.80 c 155 226 266.49 34.71 7.68 1000000 0 571.75/571.92 c 159 239 267.94 34.05 7.87 1000000 0 572.85/573.05 c 154 321 264.93 34.36 7.71 1000000 0 573.95/574.17 c 154 280 269.01 34.48 7.80 1000000 0 575.05/575.29 c 155 254 259.00 34.46 7.52 1000000 0 576.25/576.42 c 152 264 266.32 34.22 7.78 1000000 0 577.35/577.54 c 160 338 265.50 32.81 8.09 1000000 0 578.45/578.66 c 143 253 267.12 33.52 7.97 1000000 0 579.55/579.79 c 148 292 268.39 38.74 6.93 1000000 0 580.74/580.92 c 147 303 269.07 34.16 7.88 1000000 0 581.84/582.04 c 170 254 268.72 34.47 7.80 1000000 0 582.94/583.17 c 156 262 262.86 32.25 8.15 1000000 0 584.04/584.29 c 150 252 269.11 32.95 8.17 1000000 0 585.24/585.41 c 142 286 264.25 34.05 7.76 1000000 0 586.34/586.54 c 157 298 269.47 35.79 7.53 1000000 0 587.44/587.66 c 144 282 265.69 34.12 7.79 1000000 0 588.54/588.79 c 138 291 268.09 36.26 7.39 1000000 0 589.74/589.91 c 165 227 270.99 36.07 7.51 1000000 0 590.84/591.03 c 152 267 265.52 33.94 7.82 1000000 0 591.94/592.16 c 148 333 266.72 32.75 8.14 1000000 0 593.04/593.28 c 157 303 265.81 33.35 7.97 1000000 0 594.24/594.40 c 152 282 266.71 36.11 7.39 1000000 0 595.34/595.52 c 169 259 272.85 33.61 8.12 1000000 0 596.43/596.65 c 156 299 267.25 37.19 7.19 1000000 0 597.53/597.78 c 169 242 272.66 33.81 8.07 1000000 0 598.63/598.90 c 157 320 268.63 33.90 7.92 1000000 0 599.83/600.02 c 145 249 265.97 33.51 7.94 1000000 0 600.93/601.14 c 127 239 268.23 35.58 7.54 1000000 0 602.03/602.27 c 149 221 267.02 34.42 7.76 1000000 0 603.13/603.39 c 177 253 268.60 34.10 7.88 1000000 0 604.33/604.52 c 153 257 266.20 32.14 8.28 1000000 0 605.43/605.64 c 148 238 265.52 36.77 7.22 1000000 0 606.53/606.77 c 150 248 262.76 33.28 7.90 1000000 0 607.63/607.89 c 137 290 265.59 33.06 8.03 1000000 0 608.83/609.01 c 156 278 267.10 35.75 7.47 1000000 0 609.93/610.13 c 155 250 266.22 33.25 8.01 1000000 0 611.03/611.26 c 161 272 268.99 35.23 7.64 1000000 0 612.13/612.39 c 164 279 263.44 33.08 7.96 1000000 0 613.33/613.50 c 152 274 268.69 32.96 8.15 1000000 0 614.43/614.62 c 152 192 269.32 36.20 7.44 1000000 0 615.53/615.74 c 154 281 265.62 33.57 7.91 1000000 0 616.63/616.86 c 147 212 265.93 33.44 7.95 1000000 0 617.73/617.99 c 145 232 262.89 32.84 8.00 1000000 0 618.93/619.11 c 153 265 268.79 35.91 7.49 1000000 0 620.03/620.23 c 144 280 267.23 34.22 7.81 1000000 0 621.13/621.35 c 153 317 271.10 36.30 7.47 1000000 0 622.23/622.48 c 158 272 263.34 35.02 7.52 1000000 0 623.44/623.60 c 159 278 269.32 34.35 7.84 1000000 0 624.54/624.72 c 157 233 268.64 38.21 7.03 1000000 0 625.63/625.85 c 150 271 263.69 32.99 7.99 1000000 0 626.73/626.97 c 163 251 271.84 35.76 7.60 1000000 0 627.83/628.09 c 158 261 268.06 33.82 7.93 1000000 0 629.03/629.21 c 139 248 265.66 33.23 7.99 1000000 0 630.13/630.34 c 162 324 265.12 33.43 7.93 1000000 0 631.23/631.46 c 157 230 267.84 33.60 7.97 1000000 0 632.33/632.58 c 153 308 268.50 33.84 7.93 1000000 0 633.52/633.71 c 144 290 267.78 37.34 7.17 1000000 0 634.62/634.84 c 159 315 269.12 34.14 7.88 1000000 0 635.72/635.96 c 160 208 263.24 34.61 7.61 1000000 0 636.82/637.08 c 137 254 264.16 32.31 8.17 1000000 0 638.02/638.21 c 147 262 267.82 36.57 7.32 1000000 0 639.12/639.33 c 163 276 266.23 35.08 7.59 1000000 0 640.22/640.45 c 151 270 265.73 34.11 7.79 1000000 0 641.32/641.58 c 157 240 263.51 33.52 7.86 1000000 0 642.52/642.70 c 154 300 267.39 34.50 7.75 1000000 0 643.62/643.82 c 163 232 268.81 36.35 7.39 1000000 0 644.72/644.95 c 164 296 268.32 33.50 8.01 1000000 0 645.82/646.07 c 160 321 271.08 36.88 7.35 1000000 0 646.92/647.19 c 156 226 268.03 34.20 7.84 1000000 0 648.12/648.32 c 153 258 270.80 35.90 7.54 1000000 0 649.22/649.44 c 161 290 263.36 35.82 7.35 1000000 0 650.32/650.56 c 154 234 264.37 32.99 8.01 1000000 0 651.42/651.69 c 146 219 262.30 34.98 7.50 1000000 0 652.62/652.81 c 166 270 268.81 36.25 7.41 1000000 0 653.72/653.93 c 158 297 267.17 33.65 7.94 1000000 0 654.82/655.06 c 124 223 263.94 34.77 7.59 1000000 0 655.92/656.19 c 161 270 267.18 36.62 7.30 1000000 0 657.12/657.31 c 149 261 264.97 35.38 7.49 1000000 0 658.22/658.43 c 150 313 266.91 34.58 7.72 1000000 0 659.32/659.55 c 144 213 268.50 35.97 7.47 1000000 0 660.42/660.67 c 154 295 264.25 34.42 7.68 1000000 0 661.62/661.80 c 158 235 265.48 34.20 7.76 1000000 0 662.72/662.93 c 152 283 265.38 35.06 7.57 1000000 0 663.82/664.05 c 161 301 264.29 34.58 7.64 1000000 0 664.91/665.17 c 166 257 265.42 32.62 8.14 1000000 0 666.01/666.29 c 155 174 268.83 33.23 8.09 1000000 0 667.21/667.41 c 151 234 270.90 34.13 7.94 1000000 0 668.31/668.54 c 150 248 265.31 32.92 8.06 1000000 0 669.41/669.66 c 164 285 268.91 34.20 7.86 1000000 0 670.51/670.79 c 146 213 266.38 36.06 7.39 1000000 0 671.71/671.91 c 168 254 264.23 34.07 7.76 1000000 0 672.81/673.03 c 171 270 267.95 33.08 8.10 1000000 0 673.91/674.15 c 161 283 260.65 31.96 8.16 1000000 0 675.01/675.28 c 169 243 265.93 33.71 7.89 1000000 0 676.11/676.40 c 159 307 270.27 34.79 7.77 1000000 0 677.32/677.52 c 142 202 265.35 34.11 7.78 1000000 0 678.42/678.64 c 137 206 265.04 36.24 7.31 1000000 0 679.52/679.77 c 161 313 272.26 34.78 7.83 1000000 0 680.62/680.90 c 160 277 263.86 34.76 7.59 1000000 0 681.82/682.02 c 163 277 264.75 33.02 8.02 1000000 0 682.92/683.14 c 154 238 268.17 33.77 7.94 1000000 0 684.02/684.26 c 148 242 265.11 32.20 8.23 1000000 0 685.12/685.38 c 137 266 265.77 34.46 7.71 1000000 0 686.31/686.50 c 147 290 271.21 37.22 7.29 1000000 0 687.41/687.63 c 159 300 266.26 32.53 8.19 1000000 0 688.51/688.76 c 153 270 267.92 35.38 7.57 1000000 0 689.61/689.88 c 171 305 271.88 31.20 8.71 1000000 0 690.81/691.00 c 166 242 267.45 32.31 8.28 1000000 0 691.91/692.13 c 145 270 268.69 34.52 7.78 1000000 0 693.01/693.25 c 150 278 267.54 34.33 7.79 1000000 0 694.11/694.37 c 154 282 268.46 34.23 7.84 1000000 0 695.21/695.50 c 162 256 269.58 32.58 8.28 1000000 0 696.41/696.62 c 153 229 269.16 37.11 7.25 1000000 0 697.50/697.74 c 145 245 265.36 37.67 7.04 1000000 0 698.60/698.86 c 158 247 268.28 35.31 7.60 1000000 0 699.70/699.98 c 163 237 268.93 36.21 7.43 1000000 0 700.90/701.10 c 161 344 271.18 35.17 7.71 1000000 0 702.00/702.23 c 153 255 267.63 34.70 7.71 1000000 0 703.10/703.35 c 146 183 268.10 36.02 7.44 1000000 0 704.20/704.47 c 134 251 270.85 34.46 7.86 1000000 0 705.30/705.60 c 140 232 266.29 34.01 7.83 1000000 0 706.50/706.72 c 161 262 270.04 36.84 7.33 1000000 0 707.60/707.85 c 165 279 267.20 35.26 7.58 1000000 0 708.70/708.97 c 141 222 266.15 33.83 7.87 1000000 0 709.90/710.10 c 160 259 265.71 34.93 7.61 1000000 0 711.00/711.22 c 155 263 264.75 31.48 8.41 1000000 0 712.10/712.34 c 148 276 264.35 34.50 7.66 1000000 0 713.20/713.46 c 144 259 268.81 35.89 7.49 1000000 0 714.30/714.58 c 165 259 269.95 35.53 7.60 1000000 0 715.50/715.71 c 160 264 262.57 33.28 7.89 1000000 0 716.60/716.83 c 157 311 268.97 35.32 7.61 1000000 0 717.70/717.95 c 145 263 267.60 37.25 7.18 1000000 0 718.80/719.08 c 144 238 268.85 36.34 7.40 1000000 0 720.00/720.20 c 152 316 267.85 34.88 7.68 1000000 0 721.10/721.33 c 154 227 264.04 32.60 8.10 1000000 0 722.20/722.45 c 160 229 270.28 35.22 7.67 1000000 0 723.30/723.58 c 133 209 271.16 36.10 7.51 1000000 0 724.50/724.70 c 151 306 269.48 35.89 7.51 1000000 0 725.60/725.82 c 156 254 267.26 33.89 7.89 1000000 0 726.70/726.95 c 137 258 266.68 34.49 7.73 1000000 0 727.80/728.07 c 159 291 264.41 37.27 7.10 1000000 0 728.90/729.19 c 166 314 267.74 35.24 7.60 1000000 0 730.10/730.32 c 153 285 267.79 33.58 7.97 1000000 0 731.20/731.44 c 163 254 265.28 34.08 7.78 1000000 0 732.30/732.56 c 162 216 263.50 33.92 7.77 1000000 0 733.40/733.69 c 157 240 268.08 34.67 7.73 1000000 0 734.60/734.82 c 159 309 267.13 34.06 7.84 1000000 0 735.70/735.94 c 152 306 267.61 34.15 7.84 1000000 0 736.80/737.06 c 167 276 265.72 31.02 8.57 1000000 0 737.90/738.19 c 153 260 270.37 34.62 7.81 1000000 0 739.09/739.31 c 149 220 269.25 33.57 8.02 1000000 0 740.19/740.43 c 152 230 265.09 32.26 8.22 1000000 0 741.29/741.56 c 161 323 266.26 32.55 8.18 1000000 0 742.39/742.67 c 143 284 266.64 35.06 7.61 1000000 0 743.59/743.80 c 172 268 269.79 33.08 8.16 1000000 0 744.69/744.92 c 144 302 266.25 37.71 7.06 1000000 0 745.79/746.05 c 153 226 266.16 34.45 7.73 1000000 0 746.89/747.17 c 155 255 267.92 35.70 7.51 1000000 0 747.99/748.29 c 149 257 266.15 34.67 7.68 1000000 0 749.19/749.41 c 159 240 268.71 35.57 7.56 1000000 0 750.29/750.54 c 131 294 264.09 35.40 7.46 1000000 0 751.39/751.66 c 141 232 264.84 35.82 7.39 1000000 0 752.49/752.78 c 150 207 265.01 33.68 7.87 1000000 0 753.69/753.90 c 149 280 264.95 33.44 7.92 1000000 0 754.79/755.02 c 156 260 266.52 34.52 7.72 1000000 0 755.89/756.15 c 151 296 268.17 34.93 7.68 1000000 0 756.99/757.27 c 164 240 265.83 34.91 7.61 1000000 0 758.09/758.39 c 155 231 264.49 32.62 8.11 1000000 0 759.30/759.52 c 140 219 265.36 33.39 7.95 1000000 0 760.40/760.64 c 150 229 272.32 34.17 7.97 1000000 0 761.50/761.77 c 164 253 270.14 33.90 7.97 1000000 0 762.60/762.89 c 146 294 268.59 33.15 8.10 1000000 0 763.79/764.01 c 155 253 266.41 35.99 7.40 1000000 0 764.90/765.14 c 159 207 271.85 35.15 7.73 1000000 0 766.00/766.26 c 162 206 263.09 32.02 8.22 1000000 0 767.09/767.39 c 158 257 264.92 32.93 8.04 1000000 0 768.29/768.51 c 155 260 265.71 33.79 7.86 1000000 0 769.39/769.64 c 141 283 264.22 34.92 7.57 1000000 0 770.49/770.76 c 164 232 266.85 34.52 7.73 1000000 0 771.59/771.88 c 161 363 271.66 36.05 7.54 1000000 0 772.79/773.00 c 158 276 267.06 34.93 7.65 1000000 0 773.89/774.12 c 152 257 271.48 33.33 8.15 1000000 0 774.99/775.24 c 157 265 267.66 37.99 7.05 1000000 0 776.09/776.37 c 151 223 268.25 34.49 7.78 1000000 0 777.19/777.49 c 158 196 266.81 33.56 7.95 1000000 0 778.39/778.61 c 151 276 266.83 32.16 8.30 1000000 0 779.49/779.73 c 161 247 266.58 31.87 8.37 1000000 0 780.59/780.86 c 158 237 265.54 32.47 8.18 1000000 0 781.69/781.98 c 151 289 269.47 34.42 7.83 1000000 0 782.90/783.10 c 162 335 266.92 35.59 7.50 1000000 0 784.00/784.23 c 161 236 268.21 35.83 7.49 1000000 0 785.10/785.34 c 144 194 264.10 32.41 8.15 1000000 0 786.20/786.47 c 151 256 266.29 33.58 7.93 1000000 0 787.30/787.59 c 143 227 262.23 33.42 7.85 1000000 0 788.50/788.72 c 162 316 271.93 36.50 7.45 1000000 0 789.59/789.84 c 151 273 266.59 34.55 7.72 1000000 0 790.69/790.96 c 157 255 265.64 34.59 7.68 1000000 0 791.79/792.08 c 167 267 267.47 34.09 7.85 1000000 0 792.99/793.21 c 151 232 264.06 33.86 7.80 1000000 0 794.09/794.33 c 131 315 267.39 33.90 7.89 1000000 0 795.19/795.45 c 166 296 265.35 34.42 7.71 1000000 0 796.29/796.57 c 168 271 261.68 32.78 7.98 1000000 0 797.49/797.70 c 160 256 270.11 33.27 8.12 1000000 0 798.59/798.82 c 149 232 265.95 34.53 7.70 1000000 0 799.68/799.95 c 137 250 267.60 34.67 7.72 1000000 0 800.78/801.07 c 154 280 263.21 33.30 7.91 1000000 0 801.88/802.19 c 153 291 266.67 34.92 7.64 1000000 0 803.08/803.31 c 150 300 266.82 37.79 7.06 1000000 0 804.18/804.44 c 164 266 268.25 34.27 7.83 1000000 0 805.28/805.55 c 147 236 263.43 33.61 7.84 1000000 0 806.38/806.68 c 159 229 266.93 34.60 7.72 1000000 0 807.58/807.80 c 161 225 267.48 33.42 8.00 1000000 0 808.68/808.92 c 160 341 265.83 32.72 8.12 1000000 0 809.78/810.05 c 164 274 269.42 33.49 8.04 1000000 0 810.88/811.17 c 163 232 263.40 31.59 8.34 1000000 0 811.98/812.29 c 158 247 270.32 34.04 7.94 1000000 0 813.18/813.42 c 129 232 270.39 35.80 7.55 1000000 0 814.28/814.54 c 165 227 267.05 34.47 7.75 1000000 0 815.38/815.66 c 166 322 268.61 32.74 8.20 1000000 0 816.48/816.78 c 138 280 267.93 36.92 7.26 1000000 0 817.68/817.91 c 163 323 269.43 35.31 7.63 1000000 0 818.78/819.03 c 164 292 267.51 34.34 7.79 1000000 0 819.88/820.15 c 153 279 268.24 35.28 7.60 1000000 0 820.98/821.27 c 146 247 267.73 33.81 7.92 1000000 0 822.18/822.40 c 152 286 263.83 34.76 7.59 1000000 0 823.28/823.52 c 153 283 269.74 33.80 7.98 1000000 0 824.38/824.65 c 153 280 267.03 33.91 7.88 1000000 0 825.48/825.77 c 159 270 265.71 34.07 7.80 1000000 0 826.58/826.89 c 148 223 269.07 32.40 8.30 1000000 0 827.78/828.02 c 143 272 267.03 33.34 8.01 1000000 0 828.88/829.14 c 151 262 266.18 36.10 7.37 1000000 0 829.98/830.26 c 153 321 272.72 36.07 7.56 1000000 0 831.08/831.38 c 143 336 267.33 35.55 7.52 1000000 0 832.28/832.51 c 152 261 268.01 34.15 7.85 1000000 0 833.38/833.63 c 155 294 262.47 36.04 7.28 1000000 0 834.48/834.75 c 139 267 265.28 33.97 7.81 1000000 0 835.57/835.87 c 161 289 265.91 35.24 7.55 1000000 0 836.67/837.00 c 152 248 263.13 32.36 8.13 1000000 0 837.88/838.13 c 165 311 268.77 33.59 8.00 1000000 0 838.98/839.25 c 154 272 270.51 34.87 7.76 1000000 0 840.08/840.37 c 133 267 267.87 34.84 7.69 1000000 0 841.18/841.49 c 136 260 266.20 34.32 7.76 1000000 0 842.38/842.62 c 158 230 266.83 35.67 7.48 1000000 0 843.48/843.75 c 163 241 265.98 35.55 7.48 1000000 0 844.58/844.87 c 160 257 265.15 31.40 8.44 1000000 0 845.68/846.00 c 126 307 261.63 35.61 7.35 1000000 0 846.87/847.11 c 151 242 265.24 32.40 8.19 1000000 0 847.97/848.24 c 157 278 269.17 35.03 7.68 1000000 0 849.07/849.36 c 177 233 269.01 35.21 7.64 1000000 0 850.17/850.48 c 167 270 268.97 35.17 7.65 1000000 0 851.37/851.61 c 158 231 263.36 32.59 8.08 1000000 0 852.47/852.73 c 158 216 268.19 34.15 7.85 1000000 0 853.57/853.86 c 155 222 270.62 36.27 7.46 1000000 0 854.67/854.98 c 158 264 270.72 33.31 8.13 1000000 0 855.87/856.10 c 151 333 271.38 34.28 7.92 1000000 0 856.97/857.23 c 147 342 261.70 32.03 8.17 1000000 0 858.07/858.35 c 155 271 267.17 35.25 7.58 1000000 0 859.17/859.48 c 157 314 268.19 33.99 7.89 1000000 0 860.37/860.60 c 153 250 265.63 33.95 7.82 1000000 0 861.47/861.72 c 158 230 265.05 33.52 7.91 1000000 0 862.56/862.85 c 152 254 265.14 34.89 7.60 1000000 0 863.66/863.97 c 164 285 262.41 31.25 8.40 1000000 0 864.77/865.09 c 165 248 266.62 34.45 7.74 1000000 0 865.97/866.21 c 163 267 264.68 34.30 7.72 1000000 0 867.07/867.34 c 159 269 263.85 33.28 7.93 1000000 0 868.17/868.46 c 153 273 263.10 33.67 7.81 1000000 0 869.26/869.59 c 159 301 266.00 33.67 7.90 1000000 0 870.46/870.72 c 153 265 266.57 34.76 7.67 1000000 0 871.56/871.84 c 156 280 271.56 32.83 8.27 1000000 0 872.66/872.97 c 155 302 270.71 35.19 7.69 1000000 0 873.86/874.10 c 154 312 269.27 36.46 7.39 1000000 0 874.96/875.21 c 134 317 264.26 34.42 7.68 1000000 0 876.06/876.33 c 155 227 265.85 34.73 7.65 1000000 0 877.16/877.46 c 169 246 268.43 34.62 7.75 1000000 0 878.26/878.58 c 157 322 265.65 33.22 8.00 1000000 0 879.46/879.70 c 154 244 262.16 33.35 7.86 1000000 0 880.56/880.83 c 158 247 266.04 33.20 8.01 1000000 0 881.66/881.95 c 160 219 267.35 31.91 8.38 1000000 0 882.76/883.07 c 157 246 263.20 32.32 8.14 1000000 0 883.86/884.20 c 154 286 267.20 32.94 8.11 1000000 0 885.06/885.32 c 143 263 267.35 33.06 8.09 1000000 0 886.16/886.45 c 145 276 266.28 36.81 7.23 1000000 0 887.26/887.57 c 155 279 267.28 35.88 7.45 1000000 0 888.36/888.70 c 171 320 266.29 31.85 8.36 1000000 0 889.57/889.82 c 154 283 268.54 35.76 7.51 1000000 0 890.67/890.95 c 156 271 271.75 31.05 8.75 1000000 0 891.77/892.07 c 158 247 263.61 34.69 7.60 1000000 0 892.87/893.19 c 146 295 267.11 34.58 7.72 1000000 0 894.07/894.32 c 169 238 266.77 33.30 8.01 1000000 0 895.16/895.44 c 149 233 265.02 34.28 7.73 1000000 0 896.26/896.57 c 146 335 270.12 35.01 7.72 1000000 0 897.36/897.69 c 151 283 268.91 33.88 7.94 1000000 0 898.56/898.81 c 155 209 260.73 31.44 8.29 1000000 0 899.66/899.93 c 162 288 265.93 34.91 7.62 1000000 0 900.76/901.06 c 145 282 268.15 34.64 7.74 1000000 0 901.85/902.19 c 148 267 262.87 34.72 7.57 1000000 0 903.05/903.32 c 162 297 268.15 32.66 8.21 1000000 0 904.15/904.44 c 152 243 264.55 34.85 7.59 1000000 0 905.25/905.57 c 155 276 263.10 33.91 7.76 1000000 0 906.35/906.69 c 166 264 269.60 33.89 7.96 1000000 0 907.55/907.81 c 141 250 262.19 34.08 7.69 1000000 0 908.65/908.93 c 154 246 264.27 32.56 8.12 1000000 0 909.75/910.06 c 150 189 267.70 35.32 7.58 1000000 0 910.85/911.18 c 167 262 270.49 36.42 7.43 1000000 0 912.05/912.30 c 169 291 264.04 34.20 7.72 1000000 0 913.15/913.43 c 150 360 265.80 34.39 7.73 1000000 0 914.25/914.55 c 152 289 261.28 33.92 7.70 1000000 0 915.35/915.68 c 154 297 270.74 35.35 7.66 1000000 0 916.55/916.80 c 162 282 268.42 34.77 7.72 1000000 0 917.65/917.93 c 145 254 269.16 35.36 7.61 1000000 0 918.75/919.05 c 150 302 265.91 34.71 7.66 1000000 0 919.85/920.18 c 150 256 270.31 35.18 7.68 1000000 0 921.05/921.30 c 149 230 264.53 33.48 7.90 1000000 0 922.15/922.43 c 162 252 265.84 33.83 7.86 1000000 0 923.25/923.55 c 148 303 266.77 33.20 8.04 1000000 0 924.35/924.67 c 159 236 267.85 33.98 7.88 1000000 0 925.55/925.80 c 167 256 271.45 34.49 7.87 1000000 0 926.65/926.92 c 158 259 264.32 34.39 7.69 1000000 0 927.75/928.05 c 153 241 264.27 34.65 7.63 1000000 0 928.85/929.17 c 144 215 267.71 34.53 7.75 1000000 0 930.05/930.30 c 159 310 266.44 32.70 8.15 1000000 0 931.15/931.42 c 150 284 267.70 35.73 7.49 1000000 0 932.25/932.55 c 155 247 269.36 33.04 8.15 1000000 0 933.35/933.67 c 162 233 267.93 35.42 7.56 1000000 0 934.44/934.80 c 154 224 266.24 34.10 7.81 1000000 0 935.64/935.92 c 167 297 265.59 33.59 7.91 1000000 0 936.74/937.04 c 131 337 262.74 35.61 7.38 1000000 0 937.84/938.17 c 149 272 268.99 34.37 7.83 1000000 0 938.94/939.29 c 157 326 267.40 38.18 7.00 1000000 0 940.15/940.41 c 155 317 265.62 32.80 8.10 1000000 0 941.25/941.54 c 158 295 270.95 33.60 8.06 1000000 0 942.35/942.66 c 155 243 271.66 35.88 7.57 1000000 0 943.45/943.78 c 165 310 270.95 33.29 8.14 1000000 0 944.65/944.91 c 161 311 267.61 35.85 7.47 1000000 0 945.75/946.03 c 159 241 265.89 34.37 7.74 1000000 0 946.85/947.15 c 171 272 267.12 32.90 8.12 1000000 0 947.95/948.28 c 158 288 267.42 33.41 8.00 1000000 0 949.14/949.40 c 163 248 268.55 31.54 8.51 1000000 0 950.24/950.53 c 161 224 263.50 33.93 7.77 1000000 0 951.34/951.65 c 168 224 272.32 36.89 7.38 1000000 0 952.44/952.78 c 157 255 266.54 35.96 7.41 1000000 0 953.64/953.90 c 164 301 268.78 34.20 7.86 1000000 0 954.74/955.03 c 162 220 267.94 31.70 8.45 1000000 0 955.84/956.15 c 138 239 263.53 34.30 7.68 1000000 0 956.94/957.27 c 150 258 267.39 35.03 7.63 1000000 0 958.04/958.39 c 141 248 266.34 34.90 7.63 1000000 0 959.24/959.52 c 149 273 266.65 33.13 8.05 1000000 0 960.34/960.65 c 155 263 266.71 37.74 7.07 1000000 0 961.44/961.78 c 155 298 271.93 34.74 7.83 1000000 0 962.64/962.90 c 142 262 264.01 35.12 7.52 1000000 0 963.74/964.02 c 154 246 269.32 35.28 7.63 1000000 0 964.84/965.15 c 151 261 265.67 34.11 7.79 1000000 0 965.94/966.27 c 155 271 269.13 34.96 7.70 1000000 0 967.14/967.40 c 124 259 271.76 36.25 7.50 1000000 0 968.24/968.52 c 164 268 269.54 33.97 7.93 1000000 0 969.34/969.64 c 162 240 267.02 33.65 7.94 1000000 0 970.44/970.77 c 166 296 269.97 36.15 7.47 1000000 0 971.54/971.89 c 163 235 264.86 32.96 8.04 1000000 0 972.73/973.01 c 149 275 262.90 34.59 7.60 1000000 0 973.83/974.14 c 153 268 265.79 31.91 8.33 1000000 0 974.93/975.26 c 144 268 269.05 36.09 7.45 1000000 0 976.03/976.39 c 158 239 266.64 32.09 8.31 1000000 0 977.23/977.51 c 151 258 267.76 33.93 7.89 1000000 0 978.33/978.63 c 149 209 266.25 33.38 7.98 1000000 0 979.43/979.75 c 165 226 264.89 34.08 7.77 1000000 0 980.53/980.87 c 142 240 262.89 31.88 8.25 1000000 0 981.63/982.00 c 163 296 271.06 34.37 7.89 1000000 0 982.83/983.12 c 149 226 270.98 33.81 8.01 1000000 0 983.93/984.24 c 156 209 268.33 35.20 7.62 1000000 0 985.03/985.36 c 154 269 267.04 34.37 7.77 1000000 0 986.13/986.49 c 154 280 271.68 35.93 7.56 1000000 0 987.33/987.62 c 161 262 269.48 33.92 7.94 1000000 0 988.43/988.74 c 161 235 266.31 33.24 8.01 1000000 0 989.53/989.87 c 163 244 268.52 34.93 7.69 1000000 0 990.63/990.99 c 150 248 267.09 35.30 7.57 1000000 0 991.84/992.11 c 141 313 268.17 36.59 7.33 1000000 0 992.94/993.24 c 151 201 264.20 32.92 8.03 1000000 0 994.03/994.36 c 154 290 263.66 35.76 7.37 1000000 0 995.13/995.49 c 157 262 266.64 34.78 7.67 1000000 0 996.34/996.61 c 154 239 266.98 33.81 7.90 1000000 0 997.44/997.73 c 160 263 264.37 35.18 7.51 1000000 0 998.53/998.85 c 159 250 268.16 33.26 8.06 1000000 0 999.63/999.98 c 165 278 266.66 32.70 8.16 1000000 0 1000.83/1001.10 c 126 298 263.02 34.92 7.53 1000000 0 1001.93/1002.23 c 152 252 267.97 32.23 8.31 1000000 0 1003.03/1003.35 c 161 330 264.24 33.95 7.78 1000000 0 1004.13/1004.47 c 154 233 266.80 35.24 7.57 1000000 0 1005.23/1005.59 c 157 292 266.63 33.96 7.85 1000000 0 1006.42/1006.71 c 136 322 267.77 39.23 6.83 1000000 0 1007.52/1007.83 c 151 282 268.20 32.98 8.13 1000000 0 1008.62/1008.96 c 145 312 265.78 35.06 7.58 1000000 0 1009.72/1010.08 c 150 307 268.65 35.79 7.51 1000000 0 1010.92/1011.20 c 161 311 268.16 35.60 7.53 1000000 0 1012.02/1012.33 c 156 290 265.27 33.95 7.81 1000000 0 1013.12/1013.45 c 149 278 265.06 34.05 7.78 1000000 0 1014.22/1014.57 c 158 276 267.21 34.04 7.85 1000000 0 1015.42/1015.70 c 156 217 266.47 33.17 8.03 1000000 0 1016.52/1016.82 c 150 281 270.09 35.25 7.66 1000000 0 1017.62/1017.94 c 155 256 266.14 35.43 7.51 1000000 0 1018.72/1019.08 c 165 289 268.60 34.05 7.89 1000000 0 1019.92/1020.20 c 159 353 268.51 33.78 7.95 1000000 0 1021.02/1021.32 c 165 208 267.62 34.62 7.73 1000000 0 1022.12/1022.44 c 161 275 270.54 33.65 8.04 1000000 0 1023.22/1023.57 c 156 271 270.91 34.26 7.91 1000000 0 1024.32/1024.69 c 144 297 261.37 33.43 7.82 1000000 0 1025.52/1025.81 c 141 314 267.57 35.30 7.58 1000000 0 1026.62/1026.94 c 158 262 268.34 34.03 7.89 1000000 0 1027.72/1028.06 c 162 244 268.96 36.18 7.43 1000000 0 1028.82/1029.19 c 160 295 265.86 32.66 8.14 1000000 0 1030.02/1030.32 c 160 319 268.24 32.82 8.17 1000000 0 1031.12/1031.44 c 157 195 267.22 32.28 8.28 1000000 0 1032.22/1032.56 c 160 284 269.26 34.72 7.76 1000000 0 1033.32/1033.68 c 165 231 268.47 34.38 7.81 1000000 0 1034.52/1034.81 c 154 283 264.99 34.05 7.78 1000000 0 1035.62/1035.93 c 147 212 268.22 37.03 7.24 1000000 0 1036.72/1037.05 c 157 308 268.51 34.63 7.75 1000000 0 1037.82/1038.18 c 158 247 261.90 33.34 7.85 1000000 0 1039.02/1039.30 c 133 290 270.45 35.70 7.58 1000000 0 1040.12/1040.43 c 140 237 267.50 33.83 7.91 1000000 0 1041.21/1041.55 c 150 265 266.87 35.23 7.58 1000000 0 1042.31/1042.68 c 150 308 268.40 34.10 7.87 1000000 0 1043.41/1043.80 c 149 269 263.70 33.22 7.94 1000000 0 1044.62/1044.92 c 159 242 266.70 35.01 7.62 1000000 0 1045.72/1046.04 c 131 220 261.84 32.24 8.12 1000000 0 1046.82/1047.17 c 167 240 265.52 32.89 8.07 1000000 0 1047.92/1048.29 c 149 311 262.69 33.33 7.88 1000000 0 1049.12/1049.41 c 152 296 266.72 32.69 8.16 1000000 0 1050.22/1050.53 c 148 301 261.92 33.83 7.74 1000000 0 1051.32/1051.66 c 166 259 267.93 33.76 7.94 1000000 0 1052.42/1052.78 c 159 296 266.78 34.05 7.84 1000000 0 1053.61/1053.90 c 156 275 270.88 35.88 7.55 1000000 0 1054.71/1055.02 c 155 295 265.57 33.70 7.88 1000000 0 1055.81/1056.14 c 150 224 263.51 35.15 7.50 1000000 0 1056.91/1057.27 c 154 241 265.33 34.79 7.63 1000000 0 1058.01/1058.39 c 139 316 264.00 34.79 7.59 1000000 0 1059.21/1059.52 c 150 266 272.24 34.47 7.90 1000000 0 1060.31/1060.64 c 153 289 265.20 32.02 8.28 1000000 0 1061.41/1061.76 c 149 280 264.86 31.69 8.36 1000000 0 1062.51/1062.88 c 153 301 271.29 36.60 7.41 1000000 0 1063.71/1064.00 c 155 290 270.35 33.01 8.19 1000000 0 1064.81/1065.12 c 149 216 265.67 34.11 7.79 1000000 0 1065.91/1066.24 c 150 194 266.17 34.91 7.62 1000000 0 1067.01/1067.37 c 148 235 265.36 35.31 7.51 1000000 0 1068.11/1068.48 c 130 296 266.56 33.44 7.97 1000000 0 1069.31/1069.61 c 167 259 266.44 33.58 7.93 1000000 0 1070.41/1070.74 c 148 264 267.93 34.86 7.69 1000000 0 1071.51/1071.86 c 155 208 268.02 33.52 8.00 1000000 0 1072.61/1072.98 c 144 259 265.32 35.73 7.43 1000000 0 1073.81/1074.11 c 152 308 270.77 33.99 7.97 1000000 0 1074.90/1075.22 c 147 277 263.28 34.71 7.59 1000000 0 1076.00/1076.35 c 158 242 268.75 34.25 7.85 1000000 0 1077.10/1077.46 c 152 283 268.76 35.09 7.66 1000000 0 1078.20/1078.59 c 150 286 270.19 34.59 7.81 1000000 0 1079.40/1079.72 c 152 225 266.99 35.70 7.48 1000000 0 1080.50/1080.84 c 154 229 264.75 34.46 7.68 1000000 0 1081.60/1081.96 c 167 307 264.83 32.10 8.25 1000000 0 1082.70/1083.08 c 162 247 266.72 36.73 7.26 1000000 0 1083.90/1084.21 c 157 271 271.79 35.28 7.70 1000000 0 1085.00/1085.33 c 147 185 265.94 33.23 8.00 1000000 0 1086.10/1086.45 c 162 323 267.77 32.32 8.28 1000000 0 1087.20/1087.58 c 154 271 271.98 36.55 7.44 1000000 0 1088.40/1088.70 c 164 277 264.63 34.18 7.74 1000000 0 1089.50/1089.82 c 161 304 264.89 34.09 7.77 1000000 0 1090.60/1090.94 c 152 301 265.89 36.74 7.24 1000000 0 1091.70/1092.06 c 162 243 267.75 34.74 7.71 1000000 0 1092.80/1093.18 c 157 255 261.94 35.55 7.37 1000000 0 1094.00/1094.31 c 158 263 268.93 33.78 7.96 1000000 0 1095.10/1095.43 c 155 287 266.12 33.20 8.01 1000000 0 1096.20/1096.56 c 159 261 268.23 34.26 7.83 1000000 0 1097.30/1097.68 c 153 250 267.47 36.74 7.28 1000000 0 1098.50/1098.81 c 159 208 271.44 36.49 7.44 1000000 0 1099.60/1099.93 c 155 274 266.78 33.78 7.90 1000000 0 1100.70/1101.05 c 148 249 267.10 32.28 8.28 1000000 0 1101.80/1102.18 c 151 268 264.56 35.66 7.42 1000000 0 1102.90/1103.30 c 152 311 268.75 35.57 7.55 1000000 0 1104.10/1104.42 c 154 334 263.15 35.95 7.32 1000000 0 1105.20/1105.54 c 169 243 265.68 32.71 8.12 1000000 0 1106.30/1106.66 c 152 298 267.86 34.74 7.71 1000000 0 1107.40/1107.79 c 144 249 267.16 35.78 7.47 1000000 0 1108.59/1108.91 c 158 289 265.92 32.86 8.09 1000000 0 1109.69/1110.04 c 150 224 270.52 34.10 7.93 1000000 0 1110.79/1111.16 c 153 260 270.50 34.93 7.74 1000000 0 1111.89/1112.29 c 146 253 270.85 35.52 7.62 1000000 0 1113.09/1113.41 c 139 238 265.68 32.33 8.22 1000000 0 1114.19/1114.54 c 146 300 261.26 32.44 8.05 1000000 0 1115.29/1115.67 c 150 271 264.25 35.78 7.39 1000000 0 1116.39/1116.79 c 147 264 267.52 34.05 7.86 1000000 0 1117.59/1117.91 c 144 312 269.75 36.06 7.48 1000000 0 1118.69/1119.04 c 147 264 265.68 34.60 7.68 1000000 0 1119.79/1120.16 c 170 277 263.27 31.87 8.26 1000000 0 1120.89/1121.29 c 151 314 264.47 33.06 8.00 1000000 0 1122.09/1122.41 c 158 259 265.66 35.92 7.40 1000000 0 1123.19/1123.53 c 156 245 270.27 35.99 7.51 1000000 0 1124.29/1124.65 c 146 288 269.68 35.59 7.58 1000000 0 1125.39/1125.78 c 145 266 269.29 34.50 7.80 1000000 0 1126.59/1126.90 c 145 288 263.23 34.42 7.65 1000000 0 1127.69/1128.03 c 138 279 262.14 34.60 7.58 1000000 0 1128.79/1129.15 c 156 236 266.08 34.87 7.63 1000000 0 1129.89/1130.27 c 147 273 265.01 35.49 7.47 1000000 0 1130.99/1131.40 c 149 262 266.51 35.11 7.59 1000000 0 1132.19/1132.52 c 150 324 265.87 35.86 7.41 1000000 0 1133.29/1133.65 c 152 258 263.44 33.21 7.93 1000000 0 1134.39/1134.77 c 163 286 264.11 35.08 7.53 1000000 0 1135.59/1135.90 c 134 292 270.06 36.22 7.46 1000000 0 1136.69/1137.02 c 170 263 272.17 35.13 7.75 1000000 0 1137.79/1138.15 c 157 258 265.46 33.39 7.95 1000000 0 1138.88/1139.27 c 161 286 267.00 33.80 7.90 1000000 0 1140.08/1140.40 c 163 191 270.68 34.84 7.77 1000000 0 1141.18/1141.52 c 140 268 267.37 33.92 7.88 1000000 0 1142.28/1142.64 c 166 272 270.77 34.49 7.85 1000000 0 1143.38/1143.76 c 148 213 264.55 35.72 7.41 1000000 0 1144.48/1144.88 c 163 232 268.55 34.35 7.82 1000000 0 1145.68/1146.01 c 153 267 267.67 33.32 8.03 1000000 0 1146.78/1147.13 c 146 249 269.29 33.68 8.00 1000000 0 1147.88/1148.25 c 157 267 268.96 35.24 7.63 1000000 0 1148.98/1149.38 c 155 261 267.08 33.11 8.07 1000000 0 1150.19/1150.51 c 163 268 269.21 38.13 7.06 1000000 0 1151.29/1151.63 c 156 289 268.07 34.31 7.81 1000000 0 1152.39/1152.75 c 147 294 264.61 32.67 8.10 1000000 0 1153.49/1153.88 c 150 260 267.37 35.24 7.59 1000000 0 1154.69/1155.01 c 160 235 268.00 34.25 7.82 1000000 0 1155.79/1156.13 c 159 240 271.12 36.18 7.49 1000000 0 1156.89/1157.25 c 156 283 264.77 33.25 7.96 1000000 0 1157.99/1158.37 c 151 264 268.80 31.64 8.50 1000000 0 1159.09/1159.49 c 150 222 262.80 35.21 7.46 1000000 0 1160.28/1160.62 c 166 282 271.25 35.45 7.65 1000000 0 1161.38/1161.74 c 142 346 264.16 36.11 7.32 1000000 0 1162.48/1162.86 c 161 262 269.78 34.26 7.88 1000000 0 1163.58/1163.99 c 165 271 274.02 35.95 7.62 1000000 0 1164.78/1165.11 c 159 255 270.27 36.16 7.47 1000000 0 1165.88/1166.24 c 146 284 268.22 35.39 7.58 1000000 0 1166.98/1167.36 c 162 244 267.44 34.05 7.85 1000000 0 1168.08/1168.49 c 155 275 266.85 33.81 7.89 1000000 0 1169.28/1169.61 c 144 259 270.01 34.90 7.74 1000000 0 1170.38/1170.73 c 150 308 265.87 35.70 7.45 1000000 0 1171.48/1171.86 c 144 257 264.63 33.13 7.99 1000000 0 1172.58/1172.98 c 161 272 265.54 33.65 7.89 1000000 0 1173.78/1174.10 c 153 240 265.17 33.53 7.91 1000000 0 1174.88/1175.22 c 142 283 266.06 32.70 8.14 1000000 0 1175.98/1176.35 c 150 334 266.05 35.62 7.47 1000000 0 1177.08/1177.47 c 139 274 264.57 36.12 7.32 1000000 0 1178.17/1178.59 c 157 308 268.26 35.84 7.49 1000000 0 1179.37/1179.72 c 156 281 265.33 33.72 7.87 1000000 0 1180.47/1180.85 c 156 275 265.90 32.94 8.07 1000000 0 1181.57/1181.97 c 152 304 265.09 34.95 7.58 1000000 0 1182.67/1183.09 c 146 284 265.33 34.58 7.67 1000000 0 1183.87/1184.21 c 121 276 262.80 35.87 7.33 1000000 0 1184.97/1185.33 c 153 225 269.59 34.90 7.73 1000000 0 1186.07/1186.45 c 154 318 265.74 35.81 7.42 1000000 0 1187.17/1187.58 c 151 242 271.82 35.28 7.71 1000000 0 1188.37/1188.71 c 155 287 267.30 34.82 7.68 1000000 0 1189.47/1189.83 c 159 237 266.93 34.13 7.82 1000000 0 1190.57/1190.96 c 150 185 265.04 34.63 7.65 1000000 0 1191.67/1192.08 c 161 283 263.08 34.67 7.59 1000000 0 1192.77/1193.20 c 134 254 260.85 34.07 7.66 1000000 0 1193.97/1194.32 c 145 285 267.98 34.97 7.66 1000000 0 1195.07/1195.45 c 159 289 268.45 37.09 7.24 1000000 0 1196.17/1196.58 c 154 280 266.53 34.11 7.81 1000000 0 1197.37/1197.70 c 160 256 265.00 35.18 7.53 1000000 0 1198.47/1198.82 c 159 226 268.98 35.02 7.68 1000000 0 1199.57/1199.95 c 147 259 266.42 35.33 7.54 1000000 0 1200.67/1201.07 c 150 245 267.82 35.13 7.62 1000000 0 1201.77/1202.19 c 167 273 265.67 34.22 7.76 1000000 0 1202.98/1203.31 c 163 319 266.13 34.53 7.71 1000000 0 1204.07/1204.43 c 146 229 265.08 35.48 7.47 1000000 0 1205.17/1205.55 c 162 331 270.28 33.17 8.15 1000000 0 1206.27/1206.68 c 153 275 266.55 33.37 7.99 1000000 0 1207.37/1207.80 c 162 219 264.74 34.57 7.66 1000000 0 1208.57/1208.92 c 152 250 266.41 36.11 7.38 1000000 0 1209.67/1210.05 c 156 301 266.87 34.25 7.79 1000000 0 1210.77/1211.17 c 143 287 262.40 32.79 8.00 1000000 0 1211.87/1212.29 c 160 321 267.51 33.14 8.07 1000000 0 1213.07/1213.41 c 142 285 263.84 36.62 7.20 1000000 0 1214.17/1214.54 c 151 251 267.18 36.27 7.37 1000000 0 1215.27/1215.66 c 161 243 261.32 32.53 8.03 1000000 0 1216.36/1216.78 c 144 282 263.74 34.11 7.73 1000000 0 1217.56/1217.90 c 151 282 263.72 32.90 8.02 1000000 0 1218.66/1219.03 c 168 281 272.16 33.89 8.03 1000000 0 1219.76/1220.16 c 143 239 268.92 35.30 7.62 1000000 0 1220.86/1221.28 c 151 311 266.24 35.30 7.54 1000000 0 1222.06/1222.41 c 141 285 260.80 33.07 7.89 1000000 0 1223.16/1223.53 c 147 235 266.94 36.34 7.34 1000000 0 1224.26/1224.65 c 157 244 263.67 35.12 7.51 1000000 0 1225.36/1225.77 c 152 215 265.12 35.77 7.41 1000000 0 1226.46/1226.89 c 149 253 268.13 35.65 7.52 1000000 0 1227.66/1228.01 c 135 271 269.80 34.88 7.74 1000000 0 1228.76/1229.13 c 146 269 266.30 32.98 8.07 1000000 0 1229.86/1230.26 c 157 214 263.59 36.46 7.23 1000000 0 1230.96/1231.38 c 158 243 266.31 32.95 8.08 1000000 0 1232.16/1232.50 c 154 242 267.22 35.17 7.60 1000000 0 1233.26/1233.62 c 140 259 264.26 35.51 7.44 1000000 0 1234.36/1234.75 c 164 274 271.24 35.21 7.70 1000000 0 1235.46/1235.87 c 160 245 267.10 33.62 7.95 1000000 0 1236.56/1236.99 c 154 307 268.39 32.93 8.15 1000000 0 1237.75/1238.12 c 164 291 271.04 34.59 7.84 1000000 0 1238.85/1239.25 c 138 230 265.15 35.36 7.50 1000000 0 1239.95/1240.37 c 165 244 267.77 33.85 7.91 1000000 0 1241.05/1241.49 c 155 228 267.32 33.92 7.88 1000000 0 1242.25/1242.61 c 143 238 265.66 34.82 7.63 1000000 0 1243.35/1243.74 c 163 206 268.25 36.72 7.31 1000000 0 1244.45/1244.87 c 163 214 260.57 32.08 8.12 1000000 0 1245.55/1245.99 c 155 270 269.68 37.35 7.22 1000000 0 1246.75/1247.11 c 160 238 265.50 32.80 8.10 1000000 0 1247.85/1248.23 c 144 258 269.06 35.62 7.55 1000000 0 1248.95/1249.36 c 153 271 268.97 33.69 7.98 1000000 0 1250.05/1250.48 c 164 232 266.33 33.60 7.93 1000000 0 1251.25/1251.60 c 159 276 266.34 34.33 7.76 1000000 0 1252.35/1252.72 c 159 208 265.12 33.81 7.84 1000000 0 1253.45/1253.84 c 159 280 265.84 36.10 7.36 1000000 0 1254.55/1254.96 c 148 296 260.87 33.96 7.68 1000000 0 1255.65/1256.08 c 160 234 265.66 35.25 7.54 1000000 0 1256.85/1257.20 c 134 281 270.15 35.60 7.59 1000000 0 1257.95/1258.33 c 147 239 268.22 35.91 7.47 1000000 0 1259.05/1259.45 c 155 207 266.69 33.33 8.00 1000000 0 1260.15/1260.57 c 160 252 265.24 32.88 8.07 1000000 0 1261.25/1261.69 c 166 232 267.54 32.90 8.13 1000000 0 1262.46/1262.82 c 151 267 266.37 34.86 7.64 1000000 0 1263.55/1263.94 c 140 222 263.09 34.06 7.72 1000000 0 1264.65/1265.07 c 153 296 268.51 32.51 8.26 1000000 0 1265.75/1266.19 c 149 217 262.12 33.12 7.91 1000000 0 1266.95/1267.31 c 146 212 270.42 36.21 7.47 1000000 0 1268.05/1268.43 c 152 208 262.90 32.44 8.10 1000000 0 1269.15/1269.55 c 167 227 267.27 34.32 7.79 1000000 0 1270.24/1270.68 c 152 253 264.40 32.09 8.24 1000000 0 1271.34/1271.79 c 160 284 266.97 35.75 7.47 1000000 0 1272.54/1272.92 c 160 296 268.41 34.48 7.78 1000000 0 1273.64/1274.04 c 147 179 261.97 31.75 8.25 1000000 0 1274.74/1275.17 c 164 264 267.57 35.21 7.60 1000000 0 1275.84/1276.29 c 168 253 269.81 33.12 8.15 1000000 0 1277.04/1277.41 c 164 183 274.49 34.45 7.97 1000000 0 1278.14/1278.53 c 158 254 266.55 33.85 7.87 1000000 0 1279.24/1279.66 c 160 255 270.62 35.29 7.67 1000000 0 1280.34/1280.79 c 157 276 265.42 31.38 8.46 1000000 0 1281.54/1281.91 c 161 313 268.51 35.39 7.59 1000000 0 1282.64/1283.04 c 150 287 268.10 32.65 8.21 1000000 0 1283.74/1284.16 c 160 305 266.96 32.85 8.13 1000000 0 1284.84/1285.28 c 154 245 269.77 34.01 7.93 1000000 0 1286.04/1286.40 c 141 271 267.81 35.22 7.60 1000000 0 1287.14/1287.52 c 151 274 267.09 33.90 7.88 1000000 0 1288.24/1288.65 c 153 263 269.09 37.68 7.14 1000000 0 1289.34/1289.77 c 138 286 266.04 34.39 7.74 1000000 0 1290.44/1290.89 c 162 263 269.21 35.55 7.57 1000000 0 1291.64/1292.02 c 153 264 266.93 33.86 7.88 1000000 0 1292.74/1293.14 c 156 325 268.48 34.52 7.78 1000000 0 1293.84/1294.26 c 144 239 266.88 36.46 7.32 1000000 0 1294.94/1295.39 c 150 292 262.33 33.67 7.79 1000000 0 1296.14/1296.51 c 147 263 264.99 36.11 7.34 1000000 0 1297.23/1297.64 c 146 348 268.38 36.18 7.42 1000000 0 1298.33/1298.77 c 156 265 261.55 31.57 8.28 1000000 0 1299.43/1299.89 c 163 280 266.81 32.04 8.33 1000000 0 1300.63/1301.02 c 137 263 266.02 35.15 7.57 1000000 0 1301.73/1302.14 c 150 279 266.74 35.40 7.53 1000000 0 1302.83/1303.26 c 158 205 266.79 35.21 7.58 1000000 0 1303.93/1304.38 c 172 255 264.07 33.77 7.82 1000000 0 1305.13/1305.51 c 145 254 267.36 35.71 7.49 1000000 0 1306.23/1306.63 c 151 254 266.35 36.18 7.36 1000000 0 1307.33/1307.75 c 150 226 261.73 34.55 7.58 1000000 0 1308.43/1308.87 c 154 310 270.31 36.63 7.38 1000000 0 1309.53/1310.00 c 165 276 263.39 34.61 7.61 1000000 0 1310.74/1311.12 c 153 215 263.44 36.17 7.28 1000000 0 1311.84/1312.25 c 152 326 269.65 37.02 7.28 1000000 0 1312.94/1313.37 c 161 332 267.38 37.09 7.21 1000000 0 1314.04/1314.49 c 163 284 273.21 34.71 7.87 1000000 0 1315.24/1315.62 c 148 278 267.06 37.92 7.04 1000000 0 1316.33/1316.74 c 157 245 266.93 33.40 7.99 1000000 0 1317.43/1317.86 c 151 228 261.01 33.63 7.76 1000000 0 1318.53/1318.98 c 157 296 270.68 36.37 7.44 1000000 0 1319.73/1320.10 c 164 197 267.14 32.79 8.15 1000000 0 1320.83/1321.22 c 155 258 264.47 34.08 7.76 1000000 0 1321.93/1322.34 c 148 306 266.58 34.69 7.68 1000000 0 1323.03/1323.46 c 162 274 267.38 32.24 8.29 1000000 0 1324.13/1324.58 c 151 294 268.80 34.39 7.82 1000000 0 1325.33/1325.71 c 154 251 266.70 33.45 7.97 1000000 0 1326.42/1326.83 c 149 279 265.74 33.64 7.90 1000000 0 1327.52/1327.95 c 142 235 268.32 35.48 7.56 1000000 0 1328.62/1329.08 c 153 223 266.72 38.11 7.00 1000000 0 1329.82/1330.20 c 147 308 264.83 34.83 7.60 1000000 0 1330.92/1331.32 c 155 246 261.60 31.89 8.20 1000000 0 1332.02/1332.44 c 154 213 266.55 35.67 7.47 1000000 0 1333.12/1333.56 c 163 346 266.32 34.30 7.77 1000000 0 1334.22/1334.69 c 158 269 268.16 36.92 7.26 1000000 0 1335.42/1335.81 c 156 263 268.97 33.93 7.93 1000000 0 1336.52/1336.94 c 160 274 265.84 34.72 7.66 1000000 0 1337.62/1338.06 c 156 279 265.62 36.16 7.35 1000000 0 1338.72/1339.19 c 148 276 264.37 35.03 7.55 1000000 0 1339.92/1340.31 c 162 224 266.13 33.46 7.95 1000000 0 1341.02/1341.43 c 156 232 265.25 33.27 7.97 1000000 0 1342.12/1342.56 c 151 214 268.36 34.25 7.83 1000000 0 1343.22/1343.68 c 139 266 267.02 35.91 7.44 1000000 0 1344.42/1344.80 c 154 251 270.87 37.72 7.18 1000000 0 1345.52/1345.93 c 166 315 271.71 33.84 8.03 1000000 0 1346.62/1347.06 c 155 201 264.48 33.93 7.79 1000000 0 1347.72/1348.18 c 146 279 262.58 32.72 8.03 1000000 0 1348.92/1349.31 c 153 243 267.07 35.58 7.51 1000000 0 1350.02/1350.44 c 164 314 272.18 34.04 8.00 1000000 0 1351.12/1351.56 c 165 245 264.03 32.37 8.16 1000000 0 1352.22/1352.68 c 156 273 267.57 33.46 8.00 1000000 0 1353.42/1353.80 c 156 358 262.13 35.14 7.46 1000000 0 1354.52/1354.93 c 156 348 270.14 36.14 7.47 1000000 0 1355.61/1356.06 c 159 289 271.33 34.27 7.92 1000000 0 1356.71/1357.18 c 156 248 265.60 36.25 7.33 1000000 0 1357.91/1358.30 c 139 285 262.41 33.88 7.75 1000000 0 1359.01/1359.42 c 138 207 264.91 35.00 7.57 1000000 0 1360.11/1360.54 c 147 349 264.29 36.56 7.23 1000000 0 1361.21/1361.67 c 156 252 266.59 34.25 7.78 1000000 0 1362.31/1362.79 c 163 267 263.47 33.83 7.79 1000000 0 1363.52/1363.91 c 152 260 263.24 33.54 7.85 1000000 0 1364.62/1365.04 c 158 268 267.50 34.98 7.65 1000000 0 1365.72/1366.17 c 144 211 264.62 31.70 8.35 1000000 0 1366.82/1367.29 c 159 264 266.49 31.87 8.36 1000000 0 1368.02/1368.41 c 160 234 259.66 30.96 8.39 1000000 0 1369.12/1369.54 c 150 229 267.88 34.22 7.83 1000000 0 1370.22/1370.67 c 162 242 263.62 33.51 7.87 1000000 0 1371.32/1371.79 c 161 287 266.42 32.05 8.31 1000000 0 1372.51/1372.92 c 146 286 266.71 34.29 7.78 1000000 0 1373.61/1374.04 c 149 289 263.57 33.97 7.76 1000000 0 1374.71/1375.17 c 163 284 267.34 33.01 8.10 1000000 0 1375.81/1376.29 c 148 312 268.88 37.74 7.12 1000000 0 1377.01/1377.41 c 152 268 268.61 32.30 8.32 1000000 0 1378.11/1378.53 c 162 317 271.22 34.96 7.76 1000000 0 1379.21/1379.66 c 164 223 264.41 32.36 8.17 1000000 0 1380.31/1380.79 c 158 260 268.51 33.72 7.96 1000000 0 1381.51/1381.91 c 159 233 270.32 35.84 7.54 1000000 0 1382.61/1383.03 c 166 221 267.18 31.69 8.43 1000000 0 1383.71/1384.16 c 133 281 267.16 33.33 8.02 1000000 0 1384.81/1385.28 c 164 223 263.98 34.40 7.67 1000000 0 1386.01/1386.40 c 152 278 265.41 34.93 7.60 1000000 0 1387.11/1387.52 c 170 258 265.28 30.81 8.61 1000000 0 1388.21/1388.64 c 159 233 270.54 35.99 7.52 1000000 0 1389.31/1389.77 c 169 227 267.58 33.09 8.09 1000000 0 1390.41/1390.89 c 157 312 265.05 34.20 7.75 1000000 0 1391.60/1392.01 c 144 307 266.21 33.71 7.90 1000000 0 1392.70/1393.14 c 157 290 268.53 33.40 8.04 1000000 0 1393.80/1394.26 c 163 296 265.38 33.86 7.84 1000000 0 1394.90/1395.38 c 162 228 267.54 33.61 7.96 1000000 0 1396.10/1396.51 c 153 345 269.04 35.78 7.52 1000000 0 1397.20/1397.63 c 158 255 269.96 36.82 7.33 1000000 0 1398.30/1398.75 c 148 266 269.00 32.88 8.18 1000000 0 1399.40/1399.88 c 157 261 270.04 35.33 7.64 1000000 0 1400.60/1401.00 c 155 310 266.60 33.92 7.86 1000000 0 1401.70/1402.13 c 122 330 260.54 35.32 7.38 1000000 0 1402.80/1403.25 c 152 293 265.59 33.55 7.92 1000000 0 1403.90/1404.37 c 148 229 269.05 35.69 7.54 1000000 0 1405.00/1405.49 c 159 268 269.50 37.62 7.16 1000000 0 1406.20/1406.62 c 162 256 265.03 32.58 8.13 1000000 0 1407.30/1407.74 c 166 262 265.54 32.55 8.16 1000000 0 1408.40/1408.86 c 145 283 267.13 32.80 8.14 1000000 0 1409.50/1409.98 c 160 288 268.61 32.70 8.21 1000000 0 1410.70/1411.10 c 167 277 263.37 31.52 8.35 1000000 0 1411.80/1412.23 c 161 264 270.65 34.50 7.84 1000000 0 1412.90/1413.35 c 158 231 266.31 33.48 7.95 1000000 0 1414.00/1414.47 c 158 239 265.72 36.62 7.26 1000000 0 1415.10/1415.59 c 170 270 272.59 33.99 8.02 1000000 0 1416.30/1416.72 c 171 283 266.16 33.71 7.90 1000000 0 1417.40/1417.84 c 161 246 268.81 33.35 8.06 1000000 0 1418.50/1418.96 c 155 284 266.33 35.98 7.40 1000000 0 1419.60/1420.08 c 144 266 267.56 32.00 8.36 1000000 0 1420.80/1421.21 c 159 309 264.22 32.52 8.13 1000000 0 1421.90/1422.33 c 163 218 268.94 34.55 7.78 1000000 0 1423.00/1423.45 c 151 234 267.00 35.66 7.49 1000000 0 1424.10/1424.58 c 144 327 262.64 35.99 7.30 1000000 0 1425.29/1425.70 c 155 285 267.62 34.35 7.79 1000000 0 1426.39/1426.83 c 152 233 268.09 35.00 7.66 1000000 0 1427.49/1427.95 c 147 273 262.34 35.82 7.32 1000000 0 1428.59/1429.07 c 159 239 270.90 34.12 7.94 1000000 0 1429.69/1430.20 c 139 243 268.90 34.00 7.91 1000000 0 1430.89/1431.32 c 163 310 268.09 37.07 7.23 1000000 0 1431.99/1432.44 c 157 298 268.56 33.79 7.95 1000000 0 1433.09/1433.57 c 153 264 262.14 32.27 8.12 1000000 0 1434.19/1434.69 c 165 275 266.42 33.39 7.98 1000000 0 1435.39/1435.82 c 151 314 267.57 34.78 7.69 1000000 0 1436.49/1436.94 c 157 263 265.01 35.11 7.55 1000000 0 1437.59/1438.07 c 153 203 267.80 33.83 7.92 1000000 0 1438.69/1439.19 c 170 267 270.66 34.47 7.85 1000000 0 1439.89/1440.31 c 155 308 267.42 32.97 8.11 1000000 0 1440.99/1441.43 c 131 195 267.61 34.47 7.76 1000000 0 1442.09/1442.56 c 140 293 264.89 35.04 7.56 1000000 0 1443.19/1443.68 c 152 265 268.55 34.05 7.89 1000000 0 1444.39/1444.80 c 157 248 265.87 37.13 7.16 1000000 0 1445.49/1445.93 c 168 240 266.64 33.94 7.86 1000000 0 1446.59/1447.05 c 160 241 267.60 34.48 7.76 1000000 0 1447.69/1448.18 c 136 271 264.99 35.21 7.53 1000000 0 1448.89/1449.30 c 164 205 269.36 33.52 8.04 1000000 0 1449.99/1450.42 c 162 257 267.75 36.31 7.37 1000000 0 1451.08/1451.54 c 154 374 263.92 33.27 7.93 1000000 0 1452.18/1452.67 c 164 266 264.20 32.85 8.04 1000000 0 1453.28/1453.79 c 165 297 268.03 33.38 8.03 1000000 0 1454.48/1454.91 c 136 222 269.39 35.68 7.55 1000000 0 1455.58/1456.04 c 156 271 265.90 33.49 7.94 1000000 0 1456.68/1457.16 c 164 201 265.24 34.22 7.75 1000000 0 1457.78/1458.29 c 155 260 267.90 35.67 7.51 1000000 0 1458.98/1459.41 c 147 244 268.96 34.40 7.82 1000000 0 1460.08/1460.54 c 160 269 269.16 34.82 7.73 1000000 0 1461.18/1461.65 c 169 303 268.86 34.92 7.70 1000000 0 1462.28/1462.78 c 147 291 266.03 35.06 7.59 1000000 0 1463.48/1463.91 c 155 289 264.99 35.62 7.44 1000000 0 1464.58/1465.04 c 132 266 267.41 35.68 7.49 1000000 0 1465.68/1466.16 c 166 294 266.35 36.91 7.22 1000000 0 1466.78/1467.28 c 153 264 265.05 33.14 8.00 1000000 0 1467.88/1468.40 c 161 221 269.00 35.09 7.67 1000000 0 1469.09/1469.52 c 153 274 267.42 32.81 8.15 1000000 0 1470.19/1470.64 c 159 263 268.25 35.26 7.61 1000000 0 1471.29/1471.77 c 167 290 270.26 33.85 7.98 1000000 0 1472.39/1472.89 c 148 290 267.99 33.29 8.05 1000000 0 1473.58/1474.02 c 146 305 265.26 35.52 7.47 1000000 0 1474.68/1475.14 c 150 288 268.02 37.48 7.15 1000000 0 1475.78/1476.26 c 138 239 267.93 35.07 7.64 1000000 0 1476.88/1477.39 c 155 302 266.81 34.57 7.72 1000000 0 1478.08/1478.51 c 154 217 264.56 32.58 8.12 1000000 0 1479.18/1479.64 c 161 351 267.21 34.81 7.68 1000000 0 1480.28/1480.76 c 150 192 264.57 34.27 7.72 1000000 0 1481.38/1481.88 c 150 289 266.11 34.95 7.61 1000000 0 1482.58/1483.00 c 157 232 272.27 35.58 7.65 1000000 0 1483.68/1484.12 c 164 261 269.56 35.74 7.54 1000000 0 1484.78/1485.25 c 152 306 265.12 34.14 7.77 1000000 0 1485.87/1486.37 c 161 304 268.97 35.33 7.61 1000000 0 1487.07/1487.50 c 162 251 263.80 33.36 7.91 1000000 0 1488.17/1488.62 c 158 254 267.16 35.10 7.61 1000000 0 1489.27/1489.74 c 158 237 269.07 33.10 8.13 1000000 0 1490.37/1490.87 c 166 282 267.16 34.29 7.79 1000000 0 1491.47/1492.00 c 167 269 266.38 33.70 7.91 1000000 0 1492.67/1493.12 c 154 296 268.47 35.69 7.52 1000000 0 1493.77/1494.25 c 162 334 263.05 32.46 8.10 1000000 0 1494.87/1495.37 c 172 276 275.13 36.02 7.64 1000000 0 1495.97/1496.49 c 147 250 268.28 34.53 7.77 1000000 0 1497.17/1497.61 c 164 232 265.67 31.35 8.47 1000000 0 1498.27/1498.73 c 146 284 261.00 34.93 7.47 1000000 0 1499.37/1499.86 c 159 210 270.12 35.87 7.53 1000000 0 1500.47/1500.98 c 150 245 262.73 34.76 7.56 1000000 0 1501.67/1502.11 c 159 268 265.43 34.36 7.72 1000000 0 1502.77/1503.23 c 157 236 264.11 33.65 7.85 1000000 0 1503.87/1504.35 c 156 274 267.13 34.42 7.76 1000000 0 1504.97/1505.48 c 148 220 267.99 34.76 7.71 1000000 0 1506.17/1506.60 c 158 201 261.99 31.41 8.34 1000000 0 1507.27/1507.72 c 146 255 269.83 36.68 7.36 1000000 0 1508.37/1508.85 c 142 305 266.26 32.37 8.22 1000000 0 1509.47/1509.97 c 143 320 270.08 34.46 7.84 1000000 0 1510.57/1511.10 c 151 240 261.24 34.59 7.55 1000000 0 1511.77/1512.22 c 161 275 265.15 31.45 8.43 1000000 0 1512.87/1513.35 c 166 296 272.24 35.88 7.59 1000000 0 1513.97/1514.47 c 149 209 264.83 33.16 7.99 1000000 0 1515.07/1515.59 c 163 291 269.85 34.39 7.85 1000000 0 1516.27/1516.72 c 161 278 265.13 34.18 7.76 1000000 0 1517.37/1517.84 c 157 267 262.26 34.87 7.52 1000000 0 1518.47/1518.96 c 169 301 266.82 32.81 8.13 1000000 0 1519.56/1520.08 c 142 242 264.13 36.95 7.15 1000000 0 1520.66/1521.20 c 152 317 269.44 37.38 7.21 1000000 0 1521.87/1522.33 c 163 208 268.50 33.94 7.91 1000000 0 1522.97/1523.44 c 156 279 263.93 33.94 7.78 1000000 0 1524.07/1524.56 c 145 263 267.80 31.78 8.43 1000000 0 1525.17/1525.69 c 131 278 268.92 35.59 7.56 1000000 0 1526.37/1526.81 c 163 237 271.95 37.01 7.35 1000000 0 1527.47/1527.94 c 168 321 268.43 34.50 7.78 1000000 0 1528.57/1529.06 c 154 284 264.38 32.78 8.07 1000000 0 1529.67/1530.19 c 160 223 266.43 35.21 7.57 1000000 0 1530.86/1531.32 c 158 309 270.35 32.55 8.30 1000000 0 1531.96/1532.44 c 167 327 266.78 31.97 8.34 1000000 0 1533.06/1533.57 c 157 240 266.43 34.98 7.62 1000000 0 1534.16/1534.69 c 162 261 267.24 32.72 8.17 1000000 0 1535.36/1535.81 c 153 263 264.97 34.54 7.67 1000000 0 1536.46/1536.94 c 161 280 266.87 34.16 7.81 1000000 0 1537.56/1538.06 c 159 238 266.71 34.17 7.81 1000000 0 1538.66/1539.18 c 131 245 265.22 34.81 7.62 1000000 0 1539.86/1540.30 c 154 256 266.40 35.62 7.48 1000000 0 1540.96/1541.43 c 165 288 266.09 33.91 7.85 1000000 0 1542.06/1542.55 c 158 276 268.46 33.60 7.99 1000000 0 1543.16/1543.67 c 149 268 268.43 34.25 7.84 1000000 0 1544.26/1544.80 c 148 241 269.25 33.63 8.01 1000000 0 1545.46/1545.92 c 154 192 264.89 36.45 7.27 1000000 0 1546.56/1547.04 c 154 288 262.69 33.09 7.94 1000000 0 1547.66/1548.16 c 167 242 268.53 32.73 8.20 1000000 0 1548.76/1549.29 c 155 230 275.13 33.69 8.17 1000000 0 1549.96/1550.41 c 152 258 268.52 32.67 8.22 1000000 0 1551.06/1551.53 c 160 248 264.86 33.49 7.91 1000000 0 1552.16/1552.65 c 139 238 267.02 34.94 7.64 1000000 0 1553.25/1553.78 c 163 264 264.12 34.84 7.58 1000000 0 1554.45/1554.90 c 153 241 265.29 33.94 7.82 1000000 0 1555.55/1556.03 c 147 276 265.01 31.64 8.38 1000000 0 1556.65/1557.14 c 150 298 265.78 35.76 7.43 1000000 0 1557.75/1558.26 c 152 244 266.48 34.96 7.62 1000000 0 1558.85/1559.39 c 159 280 268.75 33.97 7.91 1000000 0 1560.05/1560.51 c 152 261 264.69 34.18 7.74 1000000 0 1561.15/1561.63 c 162 245 267.15 33.89 7.88 1000000 0 1562.25/1562.75 c 160 252 266.59 33.75 7.90 1000000 0 1563.35/1563.87 c 155 331 271.02 35.29 7.68 1000000 0 1564.45/1565.00 c 155 287 264.28 35.00 7.55 1000000 0 1565.65/1566.12 c 146 271 263.34 33.81 7.79 1000000 0 1566.75/1567.24 c 153 263 272.98 36.30 7.52 1000000 0 1567.85/1568.37 c 148 249 272.28 35.51 7.67 1000000 0 1568.95/1569.49 c 150 281 265.82 34.92 7.61 1000000 0 1570.15/1570.62 c 153 297 266.46 34.06 7.82 1000000 0 1571.25/1571.75 c 155 236 263.63 34.99 7.53 1000000 0 1572.35/1572.87 c 159 259 266.99 33.48 7.97 1000000 0 1573.45/1573.99 c 163 256 266.21 33.93 7.84 1000000 0 1574.65/1575.12 c 151 251 265.64 31.48 8.44 1000000 0 1575.75/1576.24 c 162 235 268.01 34.66 7.73 1000000 0 1576.85/1577.36 c 148 265 266.28 32.62 8.16 1000000 0 1577.95/1578.48 c 161 273 269.14 35.36 7.61 1000000 0 1579.15/1579.60 c 155 313 266.90 34.74 7.68 1000000 0 1580.25/1580.73 c 149 205 268.99 36.53 7.36 1000000 0 1581.35/1581.86 c 159 238 267.34 35.64 7.50 1000000 0 1582.45/1582.98 c 155 274 266.28 32.99 8.07 1000000 0 1583.65/1584.11 c 149 256 266.04 35.32 7.53 1000000 0 1584.75/1585.23 c 161 266 268.18 33.45 8.02 1000000 0 1585.84/1586.36 c 168 304 268.08 33.71 7.95 1000000 0 1586.94/1587.47 c 152 298 269.56 36.01 7.48 1000000 0 1588.04/1588.59 c 162 299 264.13 32.08 8.23 1000000 0 1589.24/1589.72 c 148 240 269.39 34.45 7.82 1000000 0 1590.34/1590.84 c 153 263 262.70 33.11 7.93 1000000 0 1591.44/1591.96 c 169 384 266.14 34.15 7.79 1000000 0 1592.54/1593.08 c 142 267 267.55 34.76 7.70 1000000 0 1593.74/1594.20 c 159 295 266.64 33.94 7.86 1000000 0 1594.84/1595.33 c 146 244 269.71 32.51 8.30 1000000 0 1595.94/1596.45 c 159 247 265.18 32.05 8.27 1000000 0 1597.04/1597.57 c 159 283 261.63 31.90 8.20 1000000 0 1598.14/1598.69 c 161 223 267.44 34.92 7.66 1000000 0 1599.34/1599.82 c 155 284 269.00 32.08 8.38 1000000 0 1600.44/1600.94 c 141 219 264.06 36.72 7.19 1000000 0 1601.54/1602.06 c 158 268 269.23 37.24 7.23 1000000 0 1602.64/1603.18 c 157 243 268.39 34.26 7.83 1000000 0 1603.84/1604.31 c 162 332 267.17 35.45 7.54 1000000 0 1604.94/1605.43 c 148 270 271.15 31.39 8.64 1000000 0 1606.04/1606.56 c 154 363 264.10 32.97 8.01 1000000 0 1607.14/1607.68 c 139 262 263.77 35.26 7.48 1000000 0 1608.34/1608.80 c 149 278 267.89 33.12 8.09 1000000 0 1609.44/1609.92 c 161 222 267.50 35.71 7.49 1000000 0 1610.54/1611.05 c 154 305 269.73 35.39 7.62 1000000 0 1611.64/1612.17 c 161 234 266.67 33.61 7.93 1000000 0 1612.74/1613.30 c 164 261 267.77 34.26 7.82 1000000 0 1613.93/1614.42 c 150 216 266.04 33.59 7.92 1000000 0 1615.03/1615.55 c 174 201 268.30 33.02 8.12 1000000 0 1616.13/1616.67 c 137 265 264.75 34.34 7.71 1000000 0 1617.23/1617.79 c 162 226 265.74 34.60 7.68 1000000 0 1618.43/1618.91 c 155 288 261.51 32.76 7.98 1000000 0 1619.53/1620.04 c 156 238 264.50 33.32 7.94 1000000 0 1620.63/1621.16 c 152 271 266.08 32.26 8.25 1000000 0 1621.73/1622.28 c 158 226 271.88 34.55 7.87 1000000 0 1622.93/1623.40 c 153 309 268.17 33.80 7.93 1000000 0 1624.03/1624.53 c 156 222 268.08 37.75 7.10 1000000 0 1625.13/1625.65 c 149 243 266.75 35.17 7.58 1000000 0 1626.23/1626.78 c 164 279 268.68 33.48 8.03 1000000 0 1627.44/1627.90 c 144 198 267.18 33.31 8.02 1000000 0 1628.54/1629.03 c 161 264 267.32 34.71 7.70 1000000 0 1629.64/1630.15 c 159 271 268.57 33.71 7.97 1000000 0 1630.73/1631.27 c 161 274 266.95 35.24 7.58 1000000 0 1631.83/1632.39 c 136 200 263.50 33.10 7.96 1000000 0 1633.03/1633.51 c 167 274 265.08 30.47 8.70 1000000 0 1634.13/1634.63 c 153 255 270.45 34.21 7.91 1000000 0 1635.23/1635.76 c 149 276 268.44 33.59 7.99 1000000 0 1636.33/1636.88 c 144 249 266.80 32.03 8.33 1000000 0 1637.53/1638.01 c 146 315 268.84 35.40 7.59 1000000 0 1638.63/1639.13 c 139 278 265.78 35.47 7.49 1000000 0 1639.72/1640.25 c 145 304 270.18 36.28 7.45 1000000 0 1640.82/1641.37 c 141 234 271.06 35.14 7.71 1000000 0 1642.02/1642.50 c 140 219 266.69 35.91 7.43 1000000 0 1643.12/1643.62 c 165 216 267.29 34.14 7.83 1000000 0 1644.22/1644.74 c 160 185 266.10 33.26 8.00 1000000 0 1645.32/1645.87 c 151 222 268.40 32.69 8.21 1000000 0 1646.42/1646.99 c 169 283 268.41 34.97 7.67 1000000 0 1647.62/1648.11 c 154 249 260.96 31.75 8.22 1000000 0 1648.72/1649.23 c 155 254 265.65 36.69 7.24 1000000 0 1649.82/1650.36 c 158 323 265.54 31.53 8.42 1000000 0 1650.92/1651.48 c 148 262 267.93 35.67 7.51 1000000 0 1652.12/1652.61 c 139 323 265.87 34.52 7.70 1000000 0 1653.22/1653.74 c 154 200 268.53 35.53 7.56 1000000 0 1654.32/1654.86 c 144 282 270.65 33.43 8.10 1000000 0 1655.42/1655.99 c 161 242 266.41 34.80 7.66 1000000 0 1656.62/1657.11 c 134 283 267.31 36.77 7.27 1000000 0 1657.72/1658.23 c 173 199 267.33 31.44 8.50 1000000 0 1658.82/1659.36 c 147 217 265.98 32.68 8.14 1000000 0 1659.92/1660.48 c 144 406 270.26 36.03 7.50 1000000 0 1661.12/1661.61 c 157 274 267.02 35.04 7.62 1000000 0 1662.22/1662.73 c 153 292 264.48 36.72 7.20 1000000 0 1663.32/1663.86 c 165 270 266.24 31.90 8.34 1000000 0 1664.42/1664.98 c 161 278 262.66 33.57 7.82 1000000 0 1665.62/1666.11 c 155 262 266.79 34.94 7.64 1000000 0 1666.72/1667.23 c 167 305 270.20 33.22 8.13 1000000 0 1667.82/1668.35 c 159 275 267.78 35.27 7.59 1000000 0 1668.92/1669.48 c 151 278 267.87 33.59 7.97 1000000 0 1670.12/1670.60 c 167 230 269.28 32.14 8.38 1000000 0 1671.22/1671.73 c 164 226 268.38 32.65 8.22 1000000 0 1672.32/1672.85 c 142 209 265.68 34.96 7.60 1000000 0 1673.42/1673.97 c 156 277 265.83 32.61 8.15 1000000 0 1674.51/1675.09 c 146 278 268.69 34.70 7.74 1000000 0 1675.71/1676.22 c 168 210 267.22 34.65 7.71 1000000 0 1676.81/1677.34 c 138 295 268.16 35.04 7.65 1000000 0 1677.91/1678.46 c 164 230 268.89 33.83 7.95 1000000 0 1679.01/1679.59 c 152 240 274.31 36.64 7.49 1000000 0 1680.22/1680.71 c 160 222 268.80 33.63 7.99 1000000 0 1681.32/1681.83 c 163 328 268.01 36.22 7.40 1000000 0 1682.42/1682.96 c 161 263 275.70 35.43 7.78 1000000 0 1683.52/1684.09 c 159 221 266.66 34.61 7.71 1000000 0 1684.72/1685.21 c 160 263 267.16 36.61 7.30 1000000 0 1685.82/1686.33 c 172 320 269.18 33.12 8.13 1000000 0 1686.92/1687.46 c 168 286 269.78 35.80 7.54 1000000 0 1688.02/1688.58 c 150 259 262.54 33.57 7.82 1000000 0 1689.21/1689.71 c 150 292 264.96 35.93 7.38 1000000 0 1690.31/1690.83 c 152 329 267.19 33.95 7.87 1000000 0 1691.41/1691.96 c 154 325 270.41 33.80 8.00 1000000 0 1692.51/1693.08 c 162 316 265.92 33.10 8.03 1000000 0 1693.71/1694.20 c 166 197 266.54 34.71 7.68 1000000 0 1694.81/1695.33 c 157 245 267.50 34.22 7.82 1000000 0 1695.91/1696.45 c 164 247 273.84 33.91 8.08 1000000 0 1697.01/1697.58 c 148 279 264.99 33.90 7.82 1000000 0 1698.21/1698.70 c 145 252 265.83 31.98 8.31 1000000 0 1699.31/1699.82 c 167 267 268.65 37.62 7.14 1000000 0 1700.41/1700.94 c 163 283 271.02 33.85 8.01 1000000 0 1701.51/1702.07 c 150 246 264.49 36.50 7.25 1000000 0 1702.61/1703.19 c 159 260 265.49 33.51 7.92 1000000 0 1703.81/1704.30 c 154 304 264.67 34.78 7.61 1000000 0 1704.91/1705.43 c 155 290 265.42 34.58 7.68 1000000 0 1706.01/1706.55 c 148 241 264.88 36.75 7.21 1000000 0 1707.11/1707.68 c 157 233 267.70 36.33 7.37 1000000 0 1708.30/1708.80 c 148 240 270.91 37.94 7.14 1000000 0 1709.41/1709.93 c 148 254 266.26 34.04 7.82 1000000 0 1710.50/1711.05 c 153 257 266.62 34.80 7.66 1000000 0 1711.60/1712.17 c 151 289 264.48 34.44 7.68 1000000 0 1712.70/1713.29 c 154 277 269.53 35.75 7.54 1000000 0 1713.90/1714.42 c 148 265 265.19 33.49 7.92 1000000 0 1715.00/1715.54 c 157 280 269.06 33.93 7.93 1000000 0 1716.10/1716.67 c 140 261 269.08 35.56 7.57 1000000 0 1717.20/1717.79 c 162 262 267.16 33.54 7.97 1000000 0 1718.40/1718.91 c 166 309 268.76 35.52 7.57 1000000 0 1719.50/1720.04 c 136 252 265.91 34.88 7.62 1000000 0 1720.60/1721.16 c 147 295 263.80 34.15 7.73 1000000 0 1721.70/1722.28 c 162 302 264.46 33.25 7.95 1000000 0 1722.90/1723.41 c 166 253 268.81 32.75 8.21 1000000 0 1724.00/1724.53 c 137 285 270.08 35.35 7.64 1000000 0 1725.10/1725.66 c 159 353 264.69 32.64 8.11 1000000 0 1726.20/1726.78 c 152 289 270.86 34.85 7.77 1000000 0 1727.40/1727.90 c 159 207 266.90 35.24 7.57 1000000 0 1728.50/1729.02 c 150 315 264.07 33.69 7.84 1000000 0 1729.60/1730.15 c 165 234 271.88 35.97 7.56 1000000 0 1730.70/1731.27 c 161 313 267.13 36.43 7.33 1000000 0 1731.80/1732.39 c 166 304 264.39 33.99 7.78 1000000 0 1733.00/1733.51 c 157 334 268.88 36.64 7.34 1000000 0 1734.10/1734.64 c 141 241 267.68 33.03 8.10 1000000 0 1735.20/1735.77 c 150 256 268.34 34.85 7.70 1000000 0 1736.30/1736.89 c 141 311 266.71 35.69 7.47 1000000 0 1737.50/1738.01 c 147 259 262.72 35.34 7.43 1000000 0 1738.60/1739.14 c 161 213 267.42 34.71 7.71 1000000 0 1739.70/1740.26 c 153 274 267.72 32.42 8.26 1000000 0 1740.80/1741.38 c 164 251 268.29 34.61 7.75 1000000 0 1741.99/1742.50 c 159 210 264.75 32.25 8.21 1000000 0 1743.09/1743.63 c 159 303 266.05 34.42 7.73 1000000 0 1744.19/1744.75 c 144 287 268.89 33.35 8.06 1000000 0 1745.29/1745.87 c 142 274 263.08 32.75 8.03 1000000 0 1746.49/1747.00 c 151 267 265.32 34.44 7.70 1000000 0 1747.59/1748.12 c 168 290 269.19 33.24 8.10 1000000 0 1748.69/1749.25 c 145 239 269.57 35.92 7.50 1000000 0 1749.79/1750.37 c 153 250 265.85 32.64 8.14 1000000 0 1750.89/1751.49 c 138 279 265.87 32.37 8.21 1000000 0 1752.09/1752.62 c 169 316 272.31 32.64 8.34 1000000 0 1753.19/1753.75 c 166 257 268.00 33.93 7.90 1000000 0 1754.29/1754.87 c 161 226 264.26 32.60 8.11 1000000 0 1755.49/1756.00 c 156 228 268.43 34.12 7.87 1000000 0 1756.59/1757.13 c 152 268 268.02 34.75 7.71 1000000 0 1757.69/1758.25 c 150 293 261.69 34.70 7.54 1000000 0 1758.79/1759.37 c 155 344 268.56 34.05 7.89 1000000 0 1759.99/1760.50 c 157 250 262.61 33.77 7.78 1000000 0 1761.09/1761.62 c 159 241 271.42 34.97 7.76 1000000 0 1762.19/1762.74 c 152 295 271.81 37.92 7.17 1000000 0 1763.29/1763.86 c 135 265 263.78 36.74 7.18 1000000 0 1764.39/1764.99 c 142 306 266.21 33.72 7.89 1000000 0 1765.59/1766.11 c 153 251 269.82 34.97 7.72 1000000 0 1766.69/1767.23 c 170 261 267.95 34.79 7.70 1000000 0 1767.78/1768.35 c 160 228 267.59 33.90 7.89 1000000 0 1768.88/1769.47 c 151 273 264.88 35.51 7.46 1000000 0 1770.08/1770.60 c 157 252 266.53 35.20 7.57 1000000 0 1771.18/1771.72 c 151 208 267.55 34.39 7.78 1000000 0 1772.28/1772.84 c 158 363 266.39 33.88 7.86 1000000 0 1773.38/1773.96 c 151 279 267.37 33.71 7.93 1000000 0 1774.48/1775.09 c 151 254 265.51 35.96 7.38 1000000 0 1775.68/1776.21 c 146 292 269.68 34.57 7.80 1000000 0 1776.78/1777.33 c 151 263 273.80 35.50 7.71 1000000 0 1777.88/1778.46 c 166 240 269.20 34.64 7.77 1000000 0 1778.98/1779.58 c 162 259 268.49 35.03 7.66 1000000 0 1780.18/1780.71 c 153 273 264.98 33.64 7.88 1000000 0 1781.28/1781.83 c 143 240 269.28 36.66 7.34 1000000 0 1782.38/1782.96 c 160 268 267.55 34.45 7.77 1000000 0 1783.48/1784.08 c 166 207 266.87 33.82 7.89 1000000 0 1784.68/1785.20 c 148 330 271.34 37.08 7.32 1000000 0 1785.78/1786.33 c 147 218 268.37 36.57 7.34 1000000 0 1786.88/1787.45 c 161 253 270.51 36.02 7.51 1000000 0 1787.98/1788.58 c 138 248 271.65 35.05 7.75 1000000 0 1789.08/1789.70 c 159 264 266.24 35.08 7.59 1000000 0 1790.28/1790.82 c 159 243 265.33 33.55 7.91 1000000 0 1791.38/1791.95 c 143 256 269.73 35.62 7.57 1000000 0 1792.48/1793.07 c 160 222 268.95 35.23 7.63 1000000 0 1793.58/1794.19 c 154 247 262.92 32.56 8.08 1000000 0 1794.77/1795.31 c 160 230 271.33 33.55 8.09 1000000 0 1795.87/1796.44 c 162 228 266.95 34.94 7.64 1000000 0 1796.97/1797.56 c 145 247 261.05 32.77 7.97 1000000 0 1798.07/1798.68 c 166 201 267.83 31.56 8.49 1000000 0 1799.27/1799.80 c 163 313 268.05 34.50 7.77 1000000 0 1800.09/1800.61 HOME/run: line 2: 18865 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-2684692-1278432587/watcher-2684692-1278432587 -o /tmp/evaluation-result-2684692-1278432587/solver-2684692-1278432587 -C 1800 -W 2000 -M 1800 run HOME/instance-2684692-1278432587.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.65 0.19 0.06 3/105 18864 /proc/meminfo: memFree=1436304/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) R 18862 18864 18544 0 -1 4202496 344 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239094677 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [startup+0.0909321 s] /proc/loadavg: 0.65 0.19 0.06 3/105 18864 /proc/meminfo: memFree=1436304/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100932 s] /proc/loadavg: 0.65 0.19 0.06 3/105 18864 /proc/meminfo: memFree=1436304/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300952 s] /proc/loadavg: 0.65 0.19 0.06 3/105 18864 /proc/meminfo: memFree=1436304/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70099 s] /proc/loadavg: 0.65 0.19 0.06 3/105 18864 /proc/meminfo: memFree=1436304/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50107 s] /proc/loadavg: 0.65 0.19 0.06 2/107 18866 /proc/meminfo: memFree=1432320/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1.49 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 149 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10122 s] /proc/loadavg: 0.65 0.19 0.06 2/107 18866 /proc/meminfo: memFree=1432072/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=3.09 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 309 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30053 s] /proc/loadavg: 0.68 0.20 0.07 2/107 18866 /proc/meminfo: memFree=1432072/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=6.29 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 629 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7012 s] /proc/loadavg: 0.70 0.22 0.07 2/107 18866 /proc/meminfo: memFree=1431948/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=12.69 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 1269 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134519731 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5014 s] /proc/loadavg: 0.77 0.26 0.09 2/107 18866 /proc/meminfo: memFree=1431948/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=25.49 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 2549 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49152 [startup+51.1009 s] /proc/loadavg: 0.85 0.31 0.11 2/107 18868 /proc/meminfo: memFree=1431948/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=51.08 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 5108 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.93 0.42 0.15 2/107 18868 /proc/meminfo: memFree=1431700/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=102.27 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 10227 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134519712 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.97 0.52 0.20 2/107 18870 /proc/meminfo: memFree=1431576/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=162.25 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 16225 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.99 0.61 0.25 2/107 18872 /proc/meminfo: memFree=1431576/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=222.24 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 22224 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 18874 /proc/meminfo: memFree=1431576/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=282.22 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 28222 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.73 0.34 2/107 18876 /proc/meminfo: memFree=1431576/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=342.2 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 34220 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 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.78 0.38 2/107 18876 /proc/meminfo: memFree=1431576/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=402.19 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 40219 0 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134519914 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=18865] ppid=18864 vsize=40452 CPUtime=1062.01 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 106200 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.69 2/107 18899 /proc/meminfo: memFree=1429964/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1121.99 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 112198 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 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: 0.99 0.97 0.70 2/107 18901 /proc/meminfo: memFree=1429840/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1181.97 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 118196 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134537208 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.72 2/107 18903 /proc/meminfo: memFree=1429592/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1241.95 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 124194 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.73 2/107 18903 /proc/meminfo: memFree=1429592/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1301.94 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 130193 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.06 0.99 0.75 2/107 18905 /proc/meminfo: memFree=1429468/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1361.91 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 136190 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.08 1.00 0.77 2/107 18907 /proc/meminfo: memFree=1429468/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1421.9 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 142189 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.09 1.01 0.79 2/107 18909 /proc/meminfo: memFree=1429468/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1481.88 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 148187 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.08 1.03 0.80 2/107 18911 /proc/meminfo: memFree=1429344/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1541.86 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 154185 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.08 1.03 0.82 2/107 18911 /proc/meminfo: memFree=1429220/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1601.84 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 160183 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.07 1.04 0.83 2/107 18913 /proc/meminfo: memFree=1429220/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1661.82 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 166181 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134571256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.18 1.07 0.85 2/107 18915 /proc/meminfo: memFree=1428972/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1721.8 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 172179 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.06 1.06 0.86 2/107 18917 /proc/meminfo: memFree=1428724/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1781.78 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 178177 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.05 0.86 2/107 18917 /proc/meminfo: memFree=1428724/2059040 swapFree=4192956/4192956 [pid=18864] ppid=18862 vsize=8700 CPUtime=0 /proc/18864/stat : 18864 (run) S 18862 18864 18544 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 11467031 8908800 244 1992294400 4194304 4922060 140736008660448 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18864/statm: 2175 244 204 178 0 68 0 [pid=18865] ppid=18864 vsize=40452 CPUtime=1800.09 /proc/18865/stat : 18865 (PB-wave) R 18864 18864 18544 0 -1 4202496 1051 0 0 0 180008 1 0 0 25 0 1 0 11467031 41422848 980 1992294400 134512640 135071400 4289498288 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18865/statm: 10113 980 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.11 CPU user time (s): 1800.08 CPU system time (s): 0.021996 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1424 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= 5671 runsolver used 2.94255 second user time and 8.62969 second system time The end
Begin job on node089 at 2010-07-06 18:09:47 IDJOB=2684692 IDBENCH=73399 IDSOLVER=1171 FILE ID=node089/2684692-1278432587 PBS_JOBID= 11233436 Free space on /tmp= 62556 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_1-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684692-1278432587/watcher-2684692-1278432587 -o /tmp/evaluation-result-2684692-1278432587/solver-2684692-1278432587 -C 1800 -W 2000 -M 1800 run HOME/instance-2684692-1278432587.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0abb96e3692f1c5b344cad06880ed6d2 RANDOM SEED=653273845 node089.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.244 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.48 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.244 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 : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1436824 kB Buffers: 100324 kB Cached: 389944 kB SwapCached: 0 kB Active: 200240 kB Inactive: 350420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1436824 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1516 kB Writeback: 0 kB AnonPages: 60372 kB Mapped: 14760 kB Slab: 49900 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182468 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= 62556 MiB End job on node089 at 2010-07-06 18:39:48