Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.81 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_10-unsat.opb |
MD5SUM | 42dd40b7036ee1d1ca1e1784551c3e09 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.255961 |
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 | 5456 |
Total number of constraints | 17015 |
Number of constraints which are clauses | 16667 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 348 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 177 |
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 = 21729223 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 5456 #con 17015 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 16368 0.00/0.05 c numatom = 5456, numclause = 17015, numliterals = 43616 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.19/1.22 c 185 315 288.66 33.61 8.59 1000000 0 2.39/2.40 c 177 244 288.16 32.67 8.82 1000000 0 3.49/3.58 c 159 270 284.74 33.26 8.56 1000000 0 4.69/4.76 c 170 326 288.87 35.02 8.25 1000000 0 5.88/5.94 c 170 302 282.76 36.11 7.83 1000000 0 7.08/7.12 c 183 366 285.34 29.87 9.55 1000000 0 8.18/8.29 c 172 289 287.38 35.27 8.15 1000000 0 9.38/9.47 c 170 253 288.91 34.10 8.47 1000000 0 10.58/10.65 c 186 278 287.09 35.58 8.07 1000000 0 11.78/11.82 c 168 311 284.61 34.88 8.16 1000000 0 12.98/13.00 c 177 279 288.76 32.81 8.80 1000000 0 14.08/14.17 c 172 309 282.11 34.96 8.07 1000000 0 15.29/15.35 c 175 266 288.53 34.48 8.37 1000000 0 16.49/16.53 c 181 240 285.01 31.93 8.93 1000000 0 17.68/17.71 c 180 292 282.57 31.14 9.08 1000000 0 18.78/18.88 c 145 252 285.38 33.98 8.40 1000000 0 19.98/20.06 c 153 276 282.25 32.71 8.63 1000000 0 21.18/21.24 c 169 254 284.79 32.10 8.87 1000000 0 22.38/22.41 c 180 284 290.84 32.98 8.82 1000000 0 23.48/23.59 c 175 266 286.28 36.56 7.83 1000000 0 24.68/24.77 c 175 259 287.55 32.78 8.77 1000000 0 25.88/25.95 c 159 289 290.20 34.16 8.49 1000000 0 27.08/27.13 c 176 287 285.82 34.72 8.23 1000000 0 28.28/28.31 c 187 314 289.83 31.97 9.07 1000000 0 29.38/29.49 c 162 275 284.50 29.93 9.50 1000000 0 30.58/30.67 c 173 230 286.14 33.61 8.51 1000000 0 31.78/31.85 c 159 288 281.28 34.19 8.23 1000000 0 32.98/33.03 c 170 240 292.41 33.81 8.65 1000000 0 34.17/34.21 c 182 284 283.29 33.42 8.48 1000000 0 35.27/35.38 c 192 285 289.60 33.06 8.76 1000000 0 36.47/36.55 c 188 247 290.84 32.80 8.87 1000000 0 37.67/37.73 c 174 270 288.77 36.55 7.90 1000000 0 38.87/38.91 c 192 293 286.49 32.34 8.86 1000000 0 39.97/40.08 c 175 347 287.55 33.71 8.53 1000000 0 41.17/41.26 c 181 270 288.59 34.25 8.43 1000000 0 42.37/42.44 c 167 257 284.26 33.08 8.59 1000000 0 43.57/43.62 c 172 258 288.07 31.99 9.00 1000000 0 44.77/44.80 c 178 274 291.25 33.34 8.73 1000000 0 45.87/45.97 c 173 292 287.11 34.58 8.30 1000000 0 47.07/47.15 c 183 311 286.92 32.78 8.75 1000000 0 48.28/48.33 c 190 317 285.92 31.44 9.10 1000000 0 49.48/49.50 c 177 280 290.04 35.43 8.19 1000000 0 50.58/50.69 c 155 329 285.92 33.68 8.49 1000000 0 51.77/51.87 c 178 307 288.25 32.90 8.76 1000000 0 52.97/53.04 c 182 249 287.17 33.28 8.63 1000000 0 54.17/54.21 c 162 298 284.21 32.47 8.75 1000000 0 55.37/55.40 c 170 238 287.49 34.97 8.22 1000000 0 56.47/56.58 c 172 246 287.66 34.53 8.33 1000000 0 57.67/57.76 c 173 258 282.36 34.29 8.23 1000000 0 58.87/58.94 c 175 324 286.79 33.19 8.64 1000000 0 60.07/60.12 c 179 298 284.18 35.71 7.96 1000000 0 61.16/61.29 c 167 311 283.14 32.59 8.69 1000000 0 62.36/62.47 c 175 256 282.21 32.35 8.72 1000000 0 63.56/63.65 c 178 247 285.17 35.85 7.95 1000000 0 64.77/64.83 c 181 331 291.38 33.11 8.80 1000000 0 65.87/66.00 c 171 325 285.95 35.97 7.95 1000000 0 67.07/67.17 c 174 271 285.86 32.52 8.79 1000000 0 68.26/68.35 c 174 232 283.32 33.67 8.42 1000000 0 69.46/69.53 c 163 261 289.66 34.22 8.47 1000000 0 70.66/70.71 c 185 240 291.49 34.86 8.36 1000000 0 71.76/71.88 c 173 299 282.05 34.15 8.26 1000000 0 72.96/73.06 c 190 218 287.03 31.92 8.99 1000000 0 74.16/74.23 c 177 315 283.69 31.79 8.92 1000000 0 75.36/75.40 c 166 273 288.87 34.99 8.25 1000000 0 76.46/76.58 c 184 306 283.31 30.93 9.16 1000000 0 77.66/77.75 c 165 322 283.36 33.60 8.43 1000000 0 78.86/78.93 c 188 315 291.72 36.64 7.96 1000000 0 80.06/80.10 c 162 218 284.86 34.17 8.34 1000000 0 81.16/81.28 c 177 253 288.20 35.81 8.05 1000000 0 82.36/82.45 c 165 249 288.10 35.80 8.05 1000000 0 83.56/83.64 c 175 256 290.08 35.92 8.08 1000000 0 84.76/84.82 c 160 330 283.61 33.20 8.54 1000000 0 85.85/86.00 c 163 301 283.20 36.61 7.74 1000000 0 87.05/87.17 c 174 255 285.17 32.51 8.77 1000000 0 88.25/88.35 c 178 270 286.30 34.72 8.25 1000000 0 89.45/89.52 c 150 252 281.54 33.03 8.52 1000000 0 90.65/90.70 c 184 335 289.80 34.11 8.50 1000000 0 91.75/91.88 c 154 242 287.64 34.45 8.35 1000000 0 92.95/93.06 c 154 264 281.99 34.46 8.18 1000000 0 94.15/94.24 c 179 305 288.31 33.71 8.55 1000000 0 95.35/95.41 c 179 269 292.54 34.36 8.51 1000000 0 96.45/96.58 c 185 293 286.01 33.31 8.59 1000000 0 97.65/97.76 c 160 202 282.24 33.68 8.38 1000000 0 98.85/98.94 c 170 266 283.70 32.87 8.63 1000000 0 100.05/100.12 c 175 301 287.42 33.77 8.51 1000000 0 101.15/101.29 c 170 301 286.09 35.37 8.09 1000000 0 102.35/102.46 c 164 256 284.95 36.83 7.74 1000000 0 103.55/103.64 c 176 265 284.51 33.70 8.44 1000000 0 104.75/104.82 c 168 294 284.69 33.31 8.55 1000000 0 105.84/106.00 c 173 288 287.42 34.86 8.25 1000000 0 107.04/107.18 c 147 280 286.20 35.57 8.05 1000000 0 108.24/108.35 c 169 259 286.01 34.91 8.19 1000000 0 109.44/109.52 c 167 329 285.52 35.36 8.08 1000000 0 110.64/110.70 c 176 272 286.75 35.85 8.00 1000000 0 111.74/111.88 c 179 252 286.53 33.26 8.62 1000000 0 112.94/113.06 c 180 269 284.98 32.85 8.67 1000000 0 114.14/114.25 c 167 280 285.62 33.43 8.54 1000000 0 115.35/115.42 c 180 272 290.54 35.78 8.12 1000000 0 116.45/116.60 c 172 259 289.65 33.60 8.62 1000000 0 117.65/117.78 c 172 270 288.03 34.63 8.32 1000000 0 118.84/118.96 c 175 288 283.15 30.86 9.18 1000000 0 120.04/120.14 c 176 243 288.28 34.19 8.43 1000000 0 121.24/121.32 c 159 249 288.91 35.87 8.05 1000000 0 122.44/122.50 c 179 308 291.69 36.56 7.98 1000000 0 123.54/123.68 c 157 218 284.16 36.95 7.69 1000000 0 124.74/124.86 c 171 297 284.86 33.32 8.55 1000000 0 125.94/126.02 c 164 276 285.60 34.01 8.40 1000000 0 127.14/127.21 c 165 322 287.42 34.21 8.40 1000000 0 128.24/128.38 c 168 243 287.86 30.98 9.29 1000000 0 129.44/129.56 c 167 248 282.93 34.73 8.15 1000000 0 130.64/130.73 c 188 299 288.60 33.43 8.63 1000000 0 131.73/131.90 c 191 381 289.54 34.88 8.30 1000000 0 132.94/133.08 c 174 281 282.28 32.46 8.70 1000000 0 134.14/134.26 c 180 311 284.03 32.71 8.68 1000000 0 135.33/135.43 c 180 316 285.55 36.54 7.81 1000000 0 136.53/136.61 c 164 269 284.32 34.01 8.36 1000000 0 137.63/137.78 c 176 272 282.46 34.29 8.24 1000000 0 138.83/138.96 c 167 337 286.88 33.24 8.63 1000000 0 140.03/140.14 c 171 261 286.61 33.29 8.61 1000000 0 141.23/141.32 c 158 291 286.39 32.66 8.77 1000000 0 142.33/142.49 c 180 288 290.25 35.34 8.21 1000000 0 143.53/143.67 c 176 303 287.71 34.21 8.41 1000000 0 144.73/144.85 c 175 236 284.34 32.86 8.65 1000000 0 145.93/146.03 c 169 297 287.32 33.07 8.69 1000000 0 147.13/147.21 c 171 287 286.75 33.40 8.58 1000000 0 148.23/148.40 c 182 270 289.88 32.26 8.98 1000000 0 149.43/149.57 c 178 302 282.07 33.36 8.45 1000000 0 150.63/150.75 c 177 315 285.22 33.02 8.64 1000000 0 151.83/151.92 c 171 288 284.83 31.52 9.04 1000000 0 153.02/153.10 c 167 352 290.86 34.84 8.35 1000000 0 154.12/154.27 c 183 332 285.94 33.28 8.59 1000000 0 155.32/155.44 c 178 343 287.68 34.40 8.36 1000000 0 156.52/156.62 c 181 193 280.75 33.89 8.28 1000000 0 157.72/157.80 c 160 257 287.88 34.81 8.27 1000000 0 158.82/158.97 c 184 312 286.52 33.06 8.67 1000000 0 160.02/160.15 c 174 232 284.82 34.30 8.30 1000000 0 161.22/161.32 c 169 319 286.07 31.88 8.97 1000000 0 162.42/162.50 c 181 244 285.50 31.18 9.16 1000000 0 163.52/163.68 c 157 258 282.21 34.38 8.21 1000000 0 164.72/164.85 c 175 224 286.10 34.92 8.19 1000000 0 165.93/166.03 c 183 297 284.38 33.40 8.51 1000000 0 167.03/167.20 c 181 279 284.57 33.95 8.38 1000000 0 168.23/168.38 c 164 201 287.98 32.62 8.83 1000000 0 169.42/169.55 c 168 304 289.36 36.14 8.01 1000000 0 170.62/170.73 c 185 332 284.92 31.41 9.07 1000000 0 171.82/171.90 c 170 270 286.34 33.08 8.66 1000000 0 172.92/173.08 c 165 303 285.12 34.60 8.24 1000000 0 174.12/174.25 c 171 241 286.58 34.99 8.19 1000000 0 175.32/175.42 c 173 339 285.25 33.87 8.42 1000000 0 176.52/176.60 c 156 343 291.36 34.78 8.38 1000000 0 177.61/177.78 c 178 265 289.45 33.39 8.67 1000000 0 178.81/178.95 c 187 282 289.72 33.36 8.68 1000000 0 180.01/180.12 c 172 286 281.99 33.70 8.37 1000000 0 181.21/181.30 c 177 296 292.60 32.40 9.03 1000000 0 182.31/182.48 c 149 287 286.70 31.95 8.97 1000000 0 183.52/183.66 c 168 342 278.66 30.80 9.05 1000000 0 184.72/184.83 c 179 374 289.44 33.95 8.53 1000000 0 185.91/186.01 c 183 320 292.21 35.06 8.33 1000000 0 187.01/187.19 c 182 267 288.04 35.46 8.12 1000000 0 188.21/188.36 c 165 327 286.48 37.79 7.58 1000000 0 189.41/189.53 c 161 296 278.20 34.12 8.15 1000000 0 190.61/190.71 c 170 263 287.30 33.55 8.56 1000000 0 191.71/191.88 c 161 269 284.33 35.11 8.10 1000000 0 192.91/193.06 c 146 272 286.69 36.09 7.94 1000000 0 194.11/194.23 c 158 308 285.36 33.92 8.41 1000000 0 195.31/195.41 c 184 279 286.15 34.58 8.27 1000000 0 196.41/196.58 c 185 262 294.09 34.80 8.45 1000000 0 197.61/197.76 c 170 251 281.54 33.48 8.41 1000000 0 198.81/198.93 c 173 262 281.88 34.00 8.29 1000000 0 200.01/200.12 c 177 304 283.14 33.40 8.48 1000000 0 201.11/201.29 c 176 242 287.76 32.84 8.76 1000000 0 202.31/202.47 c 180 319 288.01 32.52 8.86 1000000 0 203.50/203.65 c 179 246 292.20 32.72 8.93 1000000 0 204.70/204.82 c 174 297 285.43 34.69 8.23 1000000 0 205.80/205.99 c 169 274 286.92 33.82 8.48 1000000 0 207.00/207.18 c 168 299 287.50 32.27 8.91 1000000 0 208.20/208.34 c 176 232 287.98 33.30 8.65 1000000 0 209.40/209.52 c 179 270 285.72 34.31 8.33 1000000 0 210.50/210.69 c 172 335 293.07 34.21 8.57 1000000 0 211.70/211.87 c 174 292 287.52 35.84 8.02 1000000 0 212.90/213.05 c 172 321 282.17 30.54 9.24 1000000 0 214.10/214.23 c 171 274 282.50 33.62 8.40 1000000 0 215.30/215.41 c 179 263 285.82 33.36 8.57 1000000 0 216.40/216.58 c 165 283 285.93 31.65 9.04 1000000 0 217.61/217.76 c 176 281 284.03 31.93 8.90 1000000 0 218.80/218.93 c 172 265 280.93 30.76 9.13 1000000 0 220.00/220.11 c 164 288 284.20 33.66 8.44 1000000 0 221.10/221.28 c 185 267 284.79 32.74 8.70 1000000 0 222.30/222.47 c 169 281 282.54 33.03 8.55 1000000 0 223.50/223.64 c 185 248 288.18 34.26 8.41 1000000 0 224.70/224.82 c 174 300 284.42 34.74 8.19 1000000 0 225.90/226.00 c 178 220 289.69 32.37 8.95 1000000 0 227.00/227.17 c 174 308 284.11 33.29 8.54 1000000 0 228.20/228.34 c 166 301 282.30 34.06 8.29 1000000 0 229.39/229.51 c 168 256 284.39 32.90 8.64 1000000 0 230.49/230.69 c 141 262 281.60 34.45 8.17 1000000 0 231.69/231.86 c 176 255 286.91 35.15 8.16 1000000 0 232.89/233.04 c 187 260 284.32 31.53 9.02 1000000 0 234.10/234.21 c 168 268 281.67 33.08 8.51 1000000 0 235.20/235.39 c 174 289 284.16 32.23 8.82 1000000 0 236.40/236.56 c 174 300 288.24 35.05 8.22 1000000 0 237.59/237.73 c 182 279 286.77 30.55 9.39 1000000 0 238.79/238.91 c 161 275 284.00 33.08 8.58 1000000 0 239.89/240.08 c 161 260 282.70 33.22 8.51 1000000 0 241.09/241.25 c 169 279 285.96 33.62 8.50 1000000 0 242.29/242.43 c 152 284 286.77 33.43 8.58 1000000 0 243.49/243.61 c 191 305 288.90 32.30 8.94 1000000 0 244.59/244.78 c 172 325 284.77 32.48 8.77 1000000 0 245.79/245.96 c 179 265 290.04 32.32 8.97 1000000 0 246.99/247.14 c 171 315 287.16 34.10 8.42 1000000 0 248.19/248.32 c 181 252 282.52 33.25 8.50 1000000 0 249.39/249.50 c 168 267 283.51 34.84 8.14 1000000 0 250.49/250.67 c 157 259 283.39 33.91 8.36 1000000 0 251.69/251.85 c 169 301 283.81 33.52 8.47 1000000 0 252.89/253.03 c 169 258 287.44 34.02 8.45 1000000 0 254.08/254.20 c 172 295 286.53 34.18 8.38 1000000 0 255.18/255.38 c 181 267 291.45 34.53 8.44 1000000 0 256.38/256.56 c 173 308 282.40 33.27 8.49 1000000 0 257.58/257.74 c 154 253 283.39 33.85 8.37 1000000 0 258.78/258.92 c 176 258 286.55 32.39 8.85 1000000 0 259.88/260.09 c 183 294 286.41 32.01 8.95 1000000 0 261.08/261.27 c 165 313 288.03 34.09 8.45 1000000 0 262.28/262.45 c 177 295 288.60 34.40 8.39 1000000 0 263.48/263.62 c 186 363 287.96 31.44 9.16 1000000 0 264.68/264.80 c 179 299 287.71 36.26 7.94 1000000 0 265.78/265.97 c 189 260 289.55 34.77 8.33 1000000 0 266.98/267.15 c 162 290 285.88 33.59 8.51 1000000 0 268.19/268.33 c 153 282 284.82 33.19 8.58 1000000 0 269.39/269.51 c 188 305 283.61 31.53 9.00 1000000 0 270.49/270.69 c 179 300 289.60 33.88 8.55 1000000 0 271.68/271.86 c 166 278 288.92 33.53 8.62 1000000 0 272.88/273.04 c 165 272 282.05 32.90 8.57 1000000 0 274.08/274.22 c 167 265 286.97 32.43 8.85 1000000 0 275.28/275.40 c 173 224 284.45 32.82 8.67 1000000 0 276.38/276.58 c 192 258 288.90 32.86 8.79 1000000 0 277.58/277.75 c 187 271 286.64 31.63 9.06 1000000 0 278.78/278.93 c 179 234 288.09 33.15 8.69 1000000 0 279.98/280.11 c 167 288 287.80 33.01 8.72 1000000 0 281.08/281.28 c 179 233 284.27 33.98 8.36 1000000 0 282.28/282.46 c 173 290 282.71 33.54 8.43 1000000 0 283.47/283.64 c 179 258 286.85 35.47 8.09 1000000 0 284.68/284.81 c 154 252 281.34 33.74 8.34 1000000 0 285.78/286.00 c 180 278 284.43 32.50 8.75 1000000 0 286.98/287.17 c 177 220 286.09 32.75 8.74 1000000 0 288.17/288.35 c 144 313 285.57 31.33 9.11 1000000 0 289.37/289.53 c 185 349 292.79 33.98 8.62 1000000 0 290.57/290.70 c 178 279 284.69 33.76 8.43 1000000 0 291.67/291.88 c 183 348 281.37 32.80 8.58 1000000 0 292.87/293.06 c 170 272 287.72 32.71 8.80 1000000 0 294.07/294.24 c 182 299 283.99 32.05 8.86 1000000 0 295.27/295.42 c 167 308 286.46 35.38 8.10 1000000 0 296.37/296.59 c 185 396 286.52 32.94 8.70 1000000 0 297.57/297.77 c 162 310 286.98 34.44 8.33 1000000 0 298.77/298.95 c 172 283 286.68 33.25 8.62 1000000 0 299.97/300.13 c 181 242 285.23 32.41 8.80 1000000 0 301.17/301.31 c 170 288 282.65 34.60 8.17 1000000 0 302.27/302.48 c 166 274 286.80 32.43 8.84 1000000 0 303.47/303.66 c 171 267 284.22 33.93 8.38 1000000 0 304.67/304.84 c 182 291 287.95 34.41 8.37 1000000 0 305.87/306.02 c 168 305 284.68 35.72 7.97 1000000 0 306.97/307.19 c 180 199 281.08 32.84 8.56 1000000 0 308.17/308.37 c 174 334 289.11 33.04 8.75 1000000 0 309.36/309.54 c 177 328 285.46 33.62 8.49 1000000 0 310.56/310.72 c 165 289 285.23 36.47 7.82 1000000 0 311.66/311.89 c 171 275 281.92 33.87 8.32 1000000 0 312.86/313.07 c 180 332 288.41 32.46 8.89 1000000 0 314.06/314.24 c 182 323 285.26 34.23 8.33 1000000 0 315.26/315.42 c 162 290 282.62 32.96 8.58 1000000 0 316.36/316.59 c 169 241 283.04 32.31 8.76 1000000 0 317.56/317.76 c 174 331 287.94 35.86 8.03 1000000 0 318.77/318.94 c 171 265 286.27 32.07 8.93 1000000 0 319.97/320.12 c 172 287 286.75 31.71 9.04 1000000 0 321.16/321.30 c 184 299 289.11 31.65 9.13 1000000 0 322.26/322.48 c 180 243 285.19 34.07 8.37 1000000 0 323.46/323.66 c 162 332 284.60 34.89 8.16 1000000 0 324.66/324.83 c 163 265 289.24 32.76 8.83 1000000 0 325.86/326.01 c 161 292 287.07 35.29 8.13 1000000 0 326.96/327.19 c 172 270 282.85 32.92 8.59 1000000 0 328.16/328.37 c 156 252 285.12 34.09 8.36 1000000 0 329.36/329.56 c 166 334 286.59 34.90 8.21 1000000 0 330.56/330.74 c 164 316 286.77 34.30 8.36 1000000 0 331.76/331.91 c 163 246 284.13 32.98 8.62 1000000 0 332.86/333.09 c 166 357 282.32 33.08 8.54 1000000 0 334.06/334.27 c 170 255 289.38 39.19 7.39 1000000 0 335.26/335.45 c 176 262 283.96 31.63 8.98 1000000 0 336.46/336.62 c 179 232 289.92 33.38 8.69 1000000 0 337.56/337.79 c 171 301 282.63 34.34 8.23 1000000 0 338.75/338.97 c 181 274 294.69 33.92 8.69 1000000 0 339.95/340.15 c 178 289 290.97 35.03 8.31 1000000 0 341.15/341.33 c 177 230 283.40 35.18 8.06 1000000 0 342.35/342.50 c 156 237 284.59 34.29 8.30 1000000 0 343.45/343.68 c 171 237 285.40 32.62 8.75 1000000 0 344.65/344.85 c 179 271 287.04 34.15 8.41 1000000 0 345.85/346.03 c 184 294 285.57 35.99 7.93 1000000 0 347.05/347.20 c 162 267 284.19 33.44 8.50 1000000 0 348.15/348.38 c 179 304 284.26 33.72 8.43 1000000 0 349.35/349.56 c 178 285 284.08 31.45 9.03 1000000 0 350.55/350.73 c 172 275 282.98 31.92 8.87 1000000 0 351.76/351.91 c 180 282 287.68 31.85 9.03 1000000 0 352.86/353.08 c 169 328 287.39 34.18 8.41 1000000 0 354.06/354.25 c 176 290 285.18 33.44 8.53 1000000 0 355.25/355.43 c 173 287 292.82 31.91 9.18 1000000 0 356.45/356.62 c 167 247 282.90 35.68 7.93 1000000 0 357.55/357.79 c 180 330 288.80 33.81 8.54 1000000 0 358.75/358.97 c 179 285 281.92 35.08 8.04 1000000 0 359.95/360.15 c 166 291 286.92 30.13 9.52 1000000 0 361.14/361.33 c 173 380 283.87 33.39 8.50 1000000 0 362.34/362.50 c 164 269 284.77 35.44 8.04 1000000 0 363.44/363.68 c 170 268 286.86 31.95 8.98 1000000 0 364.64/364.86 c 174 250 287.16 35.03 8.20 1000000 0 365.84/366.03 c 180 287 288.64 35.94 8.03 1000000 0 367.04/367.21 c 159 290 283.98 36.03 7.88 1000000 0 368.14/368.38 c 183 287 288.78 33.78 8.55 1000000 0 369.35/369.56 c 182 238 287.01 32.89 8.73 1000000 0 370.55/370.73 c 161 341 286.43 32.47 8.82 1000000 0 371.74/371.91 c 154 291 289.82 33.17 8.74 1000000 0 372.94/373.10 c 171 297 288.47 37.70 7.65 1000000 0 374.04/374.28 c 155 302 284.20 33.40 8.51 1000000 0 375.24/375.46 c 173 345 285.54 35.37 8.07 1000000 0 376.44/376.64 c 174 302 287.49 35.96 7.99 1000000 0 377.64/377.81 c 151 256 284.01 32.78 8.67 1000000 0 378.74/378.99 c 172 226 285.85 34.56 8.27 1000000 0 379.94/380.16 c 177 302 283.80 33.84 8.39 1000000 0 381.14/381.34 c 165 304 285.07 35.08 8.13 1000000 0 382.34/382.52 c 173 283 284.58 35.13 8.10 1000000 0 383.54/383.70 c 181 290 285.57 34.35 8.31 1000000 0 384.64/384.87 c 150 293 286.45 32.36 8.85 1000000 0 385.84/386.06 c 169 267 286.89 32.91 8.72 1000000 0 387.04/387.23 c 180 300 283.55 31.50 9.00 1000000 0 388.23/388.41 c 168 284 283.61 34.25 8.28 1000000 0 389.33/389.59 c 153 307 289.97 35.65 8.13 1000000 0 390.53/390.77 c 179 276 288.94 33.65 8.59 1000000 0 391.73/391.95 c 178 289 281.90 34.58 8.15 1000000 0 392.93/393.12 c 176 320 285.34 32.02 8.91 1000000 0 394.13/394.30 c 179 287 287.92 32.65 8.82 1000000 0 395.23/395.48 c 153 229 285.55 35.33 8.08 1000000 0 396.43/396.66 c 183 253 289.43 35.50 8.15 1000000 0 397.63/397.84 c 178 278 284.66 31.06 9.17 1000000 0 398.83/399.00 c 174 351 284.60 34.56 8.23 1000000 0 399.93/400.18 c 176 289 287.61 36.37 7.91 1000000 0 401.13/401.36 c 161 283 287.71 34.72 8.29 1000000 0 402.34/402.53 c 171 233 281.94 32.01 8.81 1000000 0 403.54/403.70 c 189 258 284.82 32.56 8.75 1000000 0 404.64/404.88 c 177 342 290.81 32.06 9.07 1000000 0 405.83/406.06 c 168 257 285.71 33.81 8.45 1000000 0 407.03/407.24 c 165 283 287.20 33.90 8.47 1000000 0 408.23/408.42 c 170 231 281.17 35.85 7.84 1000000 0 409.33/409.58 c 177 290 285.52 34.46 8.29 1000000 0 410.53/410.76 c 171 352 287.15 33.59 8.55 1000000 0 411.73/411.94 c 166 262 284.36 33.15 8.58 1000000 0 412.93/413.12 c 176 259 286.70 31.98 8.97 1000000 0 414.03/414.29 c 181 307 288.09 35.20 8.18 1000000 0 415.22/415.47 c 166 201 282.92 34.60 8.18 1000000 0 416.42/416.64 c 186 287 285.16 32.19 8.86 1000000 0 417.62/417.81 c 180 260 286.15 34.28 8.35 1000000 0 418.72/418.99 c 181 269 280.90 32.76 8.58 1000000 0 419.93/420.16 c 187 350 289.47 30.93 9.36 1000000 0 421.13/421.34 c 179 270 282.67 31.69 8.92 1000000 0 422.32/422.52 c 154 292 286.42 35.24 8.13 1000000 0 423.42/423.69 c 169 200 288.86 32.80 8.81 1000000 0 424.62/424.87 c 182 264 287.49 35.57 8.08 1000000 0 425.82/426.04 c 172 372 289.98 35.08 8.27 1000000 0 427.02/427.21 c 169 298 287.93 35.50 8.11 1000000 0 428.12/428.39 c 181 241 283.15 33.06 8.57 1000000 0 429.32/429.56 c 180 295 287.41 31.98 8.99 1000000 0 430.52/430.74 c 170 251 279.22 32.88 8.49 1000000 0 431.72/431.91 c 164 254 290.22 37.83 7.67 1000000 0 432.92/433.10 c 181 320 290.11 33.49 8.66 1000000 0 434.02/434.27 c 171 295 285.37 33.16 8.60 1000000 0 435.22/435.45 c 176 241 285.20 34.81 8.19 1000000 0 436.42/436.62 c 182 256 284.79 34.20 8.33 1000000 0 437.52/437.80 c 181 269 294.86 35.21 8.37 1000000 0 438.72/438.98 c 159 289 287.82 36.19 7.95 1000000 0 439.92/440.15 c 177 285 288.23 34.18 8.43 1000000 0 441.12/441.33 c 178 356 289.14 35.27 8.20 1000000 0 442.31/442.50 c 145 304 284.06 32.95 8.62 1000000 0 443.41/443.68 c 184 277 287.48 33.63 8.55 1000000 0 444.61/444.85 c 168 310 285.10 33.01 8.64 1000000 0 445.81/446.03 c 162 262 287.13 34.29 8.37 1000000 0 447.01/447.21 c 159 272 285.81 32.84 8.70 1000000 0 448.11/448.39 c 182 298 286.87 30.97 9.26 1000000 0 449.31/449.56 c 163 257 286.26 32.99 8.68 1000000 0 450.51/450.74 c 183 227 287.44 35.82 8.03 1000000 0 451.71/451.92 c 165 298 286.85 32.24 8.90 1000000 0 452.81/453.09 c 180 325 285.48 33.26 8.58 1000000 0 454.02/454.27 c 162 301 283.06 33.56 8.44 1000000 0 455.22/455.45 c 175 308 292.45 34.40 8.50 1000000 0 456.41/456.63 c 162 317 285.47 34.58 8.26 1000000 0 457.61/457.81 c 171 259 285.28 33.27 8.57 1000000 0 458.71/458.99 c 169 264 285.08 32.64 8.73 1000000 0 459.91/460.16 c 168 267 283.08 32.10 8.82 1000000 0 461.11/461.34 c 183 298 282.38 32.09 8.80 1000000 0 462.31/462.51 c 169 286 285.10 33.66 8.47 1000000 0 463.41/463.68 c 171 297 292.01 32.98 8.85 1000000 0 464.61/464.86 c 164 278 289.73 34.10 8.50 1000000 0 465.81/466.04 c 176 304 286.21 32.59 8.78 1000000 0 467.01/467.21 c 148 331 282.05 37.20 7.58 1000000 0 468.20/468.40 c 173 309 286.03 34.39 8.32 1000000 0 469.30/469.57 c 170 311 283.52 33.95 8.35 1000000 0 470.51/470.75 c 169 252 283.53 33.25 8.53 1000000 0 471.71/471.93 c 178 272 283.94 32.01 8.87 1000000 0 472.90/473.11 c 159 248 287.04 33.03 8.69 1000000 0 474.00/474.29 c 177 352 286.21 34.42 8.31 1000000 0 475.20/475.47 c 161 305 285.17 32.77 8.70 1000000 0 476.40/476.64 c 172 295 286.80 34.44 8.33 1000000 0 477.60/477.82 c 190 293 287.28 34.04 8.44 1000000 0 478.80/479.00 c 178 269 279.03 32.67 8.54 1000000 0 479.90/480.18 c 176 285 287.98 32.81 8.78 1000000 0 481.10/481.35 c 180 320 285.30 33.20 8.59 1000000 0 482.30/482.53 c 162 236 288.40 35.88 8.04 1000000 0 483.50/483.71 c 172 323 288.37 32.72 8.81 1000000 0 484.60/484.88 c 192 296 288.27 32.76 8.80 1000000 0 485.80/486.05 c 168 283 283.16 32.10 8.82 1000000 0 487.01/487.23 c 163 239 285.30 33.89 8.42 1000000 0 488.20/488.41 c 177 259 284.69 34.88 8.16 1000000 0 489.30/489.59 c 178 307 286.58 34.68 8.26 1000000 0 490.50/490.77 c 170 330 285.19 30.36 9.39 1000000 0 491.70/491.95 c 178 282 290.84 33.37 8.72 1000000 0 492.90/493.13 c 177 242 285.33 34.77 8.21 1000000 0 494.09/494.30 c 160 277 287.69 34.44 8.35 1000000 0 495.19/495.48 c 175 308 288.24 34.51 8.35 1000000 0 496.39/496.66 c 176 311 288.14 34.70 8.30 1000000 0 497.59/497.83 c 178 287 290.84 33.81 8.60 1000000 0 498.79/499.01 c 172 263 285.53 32.39 8.82 1000000 0 499.89/500.18 c 162 356 285.16 33.14 8.60 1000000 0 501.09/501.36 c 163 328 288.73 35.76 8.07 1000000 0 502.29/502.53 c 174 281 290.67 37.13 7.83 1000000 0 503.50/503.70 c 181 295 292.60 35.26 8.30 1000000 0 504.60/504.88 c 183 303 290.51 34.63 8.39 1000000 0 505.80/506.05 c 178 290 289.74 32.71 8.86 1000000 0 506.99/507.22 c 174 310 287.44 31.37 9.16 1000000 0 508.19/508.40 c 164 286 282.74 31.39 9.01 1000000 0 509.29/509.57 c 187 247 284.36 33.49 8.49 1000000 0 510.49/510.74 c 186 341 289.38 31.34 9.23 1000000 0 511.69/511.92 c 170 310 283.47 31.59 8.97 1000000 0 512.79/513.09 c 163 299 287.79 33.39 8.62 1000000 0 513.99/514.28 c 177 269 286.98 34.93 8.22 1000000 0 515.19/515.46 c 169 299 286.84 34.82 8.24 1000000 0 516.39/516.63 c 153 235 285.59 35.07 8.14 1000000 0 517.59/517.82 c 183 256 285.55 32.48 8.79 1000000 0 518.69/518.99 c 178 310 285.16 30.55 9.34 1000000 0 519.89/520.17 c 177 269 285.12 34.52 8.26 1000000 0 521.09/521.35 c 179 340 286.96 32.43 8.85 1000000 0 522.29/522.53 c 145 355 285.88 35.20 8.12 1000000 0 523.48/523.71 c 180 251 283.85 32.14 8.83 1000000 0 524.58/524.88 c 186 264 287.56 32.01 8.98 1000000 0 525.78/526.06 c 171 258 285.14 33.52 8.51 1000000 0 526.98/527.23 c 182 281 285.64 35.60 8.02 1000000 0 528.18/528.40 c 181 268 284.66 32.90 8.65 1000000 0 529.28/529.57 c 159 335 286.09 33.88 8.44 1000000 0 530.48/530.75 c 171 277 288.52 33.04 8.73 1000000 0 531.68/531.93 c 182 335 288.50 34.95 8.25 1000000 0 532.88/533.11 c 169 289 284.51 31.34 9.08 1000000 0 533.98/534.28 c 181 282 288.12 32.72 8.80 1000000 0 535.18/535.47 c 167 256 284.80 33.43 8.52 1000000 0 536.38/536.64 c 175 294 284.65 34.73 8.19 1000000 0 537.59/537.82 c 174 299 286.73 34.03 8.42 1000000 0 538.68/539.00 c 175 289 283.01 32.60 8.68 1000000 0 539.88/540.18 c 185 226 286.51 34.46 8.32 1000000 0 541.08/541.35 c 176 297 290.33 33.08 8.78 1000000 0 542.28/542.52 c 179 248 283.41 32.56 8.70 1000000 0 543.48/543.70 c 164 206 284.81 31.57 9.02 1000000 0 544.58/544.88 c 168 245 287.45 33.59 8.56 1000000 0 545.78/546.06 c 181 284 291.45 38.55 7.56 1000000 0 546.97/547.23 c 175 321 283.99 34.47 8.24 1000000 0 548.17/548.41 c 164 336 287.22 34.36 8.36 1000000 0 549.27/549.58 c 188 263 282.90 30.78 9.19 1000000 0 550.47/550.76 c 168 304 286.54 34.58 8.29 1000000 0 551.67/551.94 c 168 283 283.77 35.83 7.92 1000000 0 552.87/553.12 c 178 328 285.77 31.55 9.06 1000000 0 553.97/554.29 c 174 285 285.68 34.46 8.29 1000000 0 555.18/555.47 c 148 274 282.85 37.53 7.54 1000000 0 556.38/556.64 c 176 287 285.28 33.61 8.49 1000000 0 557.57/557.82 c 168 287 282.18 30.53 9.24 1000000 0 558.77/559.00 c 153 253 288.58 35.03 8.24 1000000 0 559.87/560.17 c 172 317 289.61 35.31 8.20 1000000 0 561.07/561.35 c 188 275 292.28 33.81 8.65 1000000 0 562.27/562.53 c 183 291 284.38 32.03 8.88 1000000 0 563.47/563.70 c 167 317 289.43 33.68 8.59 1000000 0 564.57/564.89 c 181 295 287.98 32.24 8.93 1000000 0 565.77/566.06 c 169 322 286.16 33.26 8.60 1000000 0 566.97/567.24 c 170 261 286.37 33.55 8.53 1000000 0 568.17/568.42 c 162 282 284.34 33.94 8.38 1000000 0 569.37/569.60 c 164 285 281.67 33.68 8.36 1000000 0 570.47/570.77 c 165 238 290.38 35.05 8.29 1000000 0 571.67/571.94 c 179 311 292.02 34.94 8.36 1000000 0 572.87/573.12 c 172 263 287.08 33.29 8.62 1000000 0 574.06/574.30 c 175 260 284.26 35.42 8.02 1000000 0 575.16/575.48 c 165 333 289.84 34.49 8.40 1000000 0 576.36/576.66 c 170 277 289.86 34.68 8.36 1000000 0 577.56/577.83 c 182 277 285.45 32.64 8.75 1000000 0 578.76/579.01 c 179 264 288.30 33.07 8.72 1000000 0 579.86/580.18 c 174 291 281.44 34.30 8.21 1000000 0 581.06/581.37 c 171 275 280.97 31.30 8.98 1000000 0 582.26/582.54 c 165 290 282.02 34.16 8.26 1000000 0 583.46/583.72 c 166 285 291.10 34.97 8.32 1000000 0 584.66/584.90 c 179 314 283.82 35.56 7.98 1000000 0 585.76/586.08 c 160 312 286.50 34.36 8.34 1000000 0 586.96/587.25 c 178 304 283.35 32.30 8.77 1000000 0 588.17/588.43 c 174 291 286.41 34.53 8.29 1000000 0 589.36/589.61 c 172 256 284.15 32.36 8.78 1000000 0 590.46/590.79 c 185 287 291.54 35.63 8.18 1000000 0 591.66/591.97 c 173 270 283.25 31.86 8.89 1000000 0 592.86/593.15 c 185 279 291.12 34.37 8.47 1000000 0 594.06/594.32 c 183 295 289.71 33.57 8.63 1000000 0 595.16/595.50 c 161 243 287.09 40.16 7.15 1000000 0 596.36/596.68 c 179 241 282.97 30.46 9.29 1000000 0 597.56/597.85 c 161 301 290.17 35.39 8.20 1000000 0 598.75/599.03 c 185 261 290.10 35.22 8.24 1000000 0 599.95/600.20 c 182 305 289.75 35.93 8.06 1000000 0 601.05/601.38 c 165 266 286.00 32.74 8.73 1000000 0 602.25/602.55 c 166 292 287.05 35.16 8.17 1000000 0 603.45/603.73 c 167 302 284.42 35.26 8.07 1000000 0 604.55/604.90 c 192 320 292.29 31.00 9.43 1000000 0 605.76/606.08 c 186 256 288.10 30.82 9.35 1000000 0 606.96/607.25 c 178 313 284.24 33.09 8.59 1000000 0 608.15/608.43 c 193 294 282.85 33.30 8.49 1000000 0 609.35/609.60 c 179 275 287.13 32.46 8.85 1000000 0 610.45/610.78 c 179 310 286.74 31.88 8.99 1000000 0 611.65/611.96 c 176 259 286.33 34.10 8.40 1000000 0 612.85/613.14 c 172 273 285.99 33.61 8.51 1000000 0 614.05/614.31 c 178 244 285.61 32.99 8.66 1000000 0 615.25/615.50 c 159 297 284.91 34.83 8.18 1000000 0 616.35/616.68 c 184 296 289.54 31.77 9.11 1000000 0 617.55/617.85 c 169 309 287.63 33.73 8.53 1000000 0 618.75/619.03 c 177 257 291.20 34.94 8.33 1000000 0 619.94/620.20 c 184 295 285.22 30.83 9.25 1000000 0 621.04/621.38 c 175 261 290.17 33.22 8.74 1000000 0 622.25/622.55 c 177 278 287.25 34.24 8.39 1000000 0 623.45/623.73 c 173 315 287.61 34.42 8.36 1000000 0 624.64/624.90 c 168 254 283.87 33.47 8.48 1000000 0 625.74/626.08 c 162 271 286.85 34.66 8.28 1000000 0 626.94/627.25 c 165 314 286.94 35.00 8.20 1000000 0 628.14/628.43 c 169 312 287.93 33.14 8.69 1000000 0 629.34/629.60 c 177 324 285.51 33.27 8.58 1000000 0 630.44/630.78 c 176 310 290.48 31.22 9.30 1000000 0 631.64/631.96 c 175 266 279.75 33.45 8.36 1000000 0 632.84/633.13 c 157 243 285.72 33.35 8.57 1000000 0 634.04/634.31 c 169 272 284.26 35.36 8.04 1000000 0 635.14/635.48 c 177 308 287.72 34.01 8.46 1000000 0 636.34/636.65 c 173 270 286.16 33.38 8.57 1000000 0 637.54/637.83 c 167 229 288.63 35.53 8.12 1000000 0 638.64/639.00 c 181 242 291.36 33.42 8.72 1000000 0 639.84/640.18 c 179 271 289.14 35.42 8.16 1000000 0 641.04/641.35 c 158 275 281.56 34.51 8.16 1000000 0 642.24/642.53 c 179 308 286.35 33.54 8.54 1000000 0 643.44/643.71 c 168 270 285.86 32.89 8.69 1000000 0 644.54/644.89 c 173 282 282.04 33.76 8.35 1000000 0 645.73/646.07 c 162 278 287.74 33.57 8.57 1000000 0 646.93/647.25 c 160 250 288.72 34.98 8.25 1000000 0 648.13/648.42 c 177 275 278.34 31.74 8.77 1000000 0 649.33/649.60 c 185 298 285.97 33.39 8.56 1000000 0 650.43/650.78 c 175 284 285.89 34.50 8.29 1000000 0 651.63/651.95 c 176 258 283.60 32.58 8.70 1000000 0 652.83/653.13 c 188 325 287.27 33.98 8.45 1000000 0 654.03/654.30 c 161 291 289.43 33.23 8.71 1000000 0 655.13/655.48 c 172 280 289.70 36.00 8.05 1000000 0 656.34/656.65 c 165 247 284.52 33.71 8.44 1000000 0 657.54/657.83 c 178 276 282.17 32.73 8.62 1000000 0 658.73/659.00 c 179 310 288.37 33.46 8.62 1000000 0 659.83/660.18 c 177 215 285.36 35.61 8.01 1000000 0 661.03/661.36 c 167 348 288.95 35.80 8.07 1000000 0 662.23/662.53 c 177 279 279.40 29.92 9.34 1000000 0 663.43/663.71 c 175 290 283.71 34.60 8.20 1000000 0 664.53/664.89 c 169 259 284.78 33.27 8.56 1000000 0 665.72/666.06 c 176 292 287.62 33.18 8.67 1000000 0 666.92/667.24 c 167 323 282.48 31.35 9.01 1000000 0 668.12/668.42 c 160 270 282.99 33.51 8.45 1000000 0 669.22/669.59 c 170 296 286.19 35.92 7.97 1000000 0 670.42/670.77 c 175 255 285.21 33.27 8.57 1000000 0 671.62/671.95 c 162 314 289.79 34.73 8.34 1000000 0 672.83/673.12 c 166 250 284.83 32.33 8.81 1000000 0 673.93/674.30 c 156 292 281.23 32.26 8.72 1000000 0 675.13/675.48 c 192 339 288.06 30.95 9.31 1000000 0 676.32/676.65 c 190 236 286.87 32.29 8.89 1000000 0 677.52/677.83 c 174 342 281.23 31.97 8.80 1000000 0 678.72/679.00 c 174 256 283.62 32.91 8.62 1000000 0 679.82/680.18 c 172 291 290.01 33.06 8.77 1000000 0 681.02/681.35 c 167 280 286.95 32.86 8.73 1000000 0 682.22/682.53 c 166 302 285.07 31.25 9.12 1000000 0 683.42/683.71 c 173 346 282.65 32.09 8.81 1000000 0 684.52/684.89 c 167 320 289.97 35.70 8.12 1000000 0 685.72/686.06 c 186 272 284.96 31.92 8.93 1000000 0 686.92/687.24 c 173 244 283.85 33.44 8.49 1000000 0 688.12/688.42 c 173 260 281.42 32.79 8.58 1000000 0 689.22/689.59 c 175 269 288.45 32.99 8.74 1000000 0 690.42/690.77 c 178 300 280.53 32.26 8.70 1000000 0 691.62/691.95 c 175 309 286.13 34.11 8.39 1000000 0 692.81/693.12 c 182 287 289.44 34.02 8.51 1000000 0 693.91/694.30 c 154 298 290.85 33.46 8.69 1000000 0 695.11/695.48 c 180 294 288.85 32.56 8.87 1000000 0 696.31/696.66 c 187 309 293.99 36.96 7.96 1000000 0 697.51/697.83 c 174 279 284.11 32.93 8.63 1000000 0 698.71/699.01 c 178 351 287.47 35.58 8.08 1000000 0 699.81/700.18 c 180 288 289.43 32.31 8.96 1000000 0 701.01/701.35 c 187 231 285.50 33.85 8.43 1000000 0 702.21/702.53 c 176 274 284.64 32.37 8.79 1000000 0 703.41/703.71 c 180 217 285.46 33.73 8.46 1000000 0 704.51/704.88 c 171 336 290.07 33.07 8.77 1000000 0 705.71/706.06 c 156 315 283.73 33.25 8.53 1000000 0 706.92/707.24 c 176 310 285.61 32.54 8.78 1000000 0 708.12/708.42 c 189 290 284.07 34.41 8.26 1000000 0 709.31/709.60 c 171 268 282.25 32.86 8.59 1000000 0 710.41/710.77 c 171 274 289.02 31.85 9.08 1000000 0 711.61/711.95 c 168 324 282.12 37.15 7.59 1000000 0 712.81/713.13 c 180 273 284.96 34.42 8.28 1000000 0 714.01/714.31 c 174 253 285.90 35.21 8.12 1000000 0 715.11/715.49 c 163 288 282.37 32.29 8.75 1000000 0 716.30/716.67 c 179 293 289.23 32.50 8.90 1000000 0 717.50/717.85 c 169 311 288.19 33.60 8.58 1000000 0 718.70/719.03 c 177 298 284.45 32.25 8.82 1000000 0 719.90/720.20 c 166 327 288.64 34.25 8.43 1000000 0 721.00/721.38 c 153 319 285.54 33.43 8.54 1000000 0 722.20/722.56 c 192 281 289.32 32.70 8.85 1000000 0 723.41/723.73 c 158 267 284.50 34.86 8.16 1000000 0 724.61/724.91 c 160 304 285.82 29.80 9.59 1000000 0 725.72/726.09 c 163 232 282.03 32.75 8.61 1000000 0 726.91/727.26 c 174 254 292.11 34.65 8.43 1000000 0 728.11/728.44 c 176 253 285.65 33.17 8.61 1000000 0 729.31/729.61 c 152 330 287.41 34.69 8.28 1000000 0 730.41/730.79 c 183 293 285.84 34.18 8.36 1000000 0 731.61/731.98 c 174 269 281.75 34.55 8.15 1000000 0 732.81/733.16 c 189 387 287.12 33.99 8.45 1000000 0 734.01/734.34 c 168 278 287.27 33.03 8.70 1000000 0 735.21/735.51 c 181 353 285.43 33.60 8.50 1000000 0 736.31/736.69 c 146 307 286.52 33.01 8.68 1000000 0 737.51/737.87 c 177 327 285.88 31.46 9.09 1000000 0 738.71/739.05 c 183 254 285.56 34.10 8.38 1000000 0 739.91/740.22 c 176 244 283.83 32.47 8.74 1000000 0 741.01/741.40 c 166 294 283.71 33.72 8.41 1000000 0 742.21/742.58 c 159 253 286.03 34.00 8.41 1000000 0 743.40/743.76 c 163 283 286.78 35.28 8.13 1000000 0 744.60/744.93 c 188 285 285.96 31.83 8.98 1000000 0 745.80/746.11 c 179 351 287.48 32.82 8.76 1000000 0 746.90/747.29 c 156 281 286.10 34.04 8.40 1000000 0 748.10/748.47 c 172 282 290.39 34.45 8.43 1000000 0 749.30/749.65 c 183 275 288.48 32.23 8.95 1000000 0 750.50/750.82 c 163 282 288.69 34.22 8.44 1000000 0 751.70/752.00 c 171 277 288.92 33.10 8.73 1000000 0 752.80/753.18 c 166 291 282.45 32.57 8.67 1000000 0 754.00/754.35 c 165 247 283.12 35.04 8.08 1000000 0 755.20/755.53 c 180 255 284.31 32.17 8.84 1000000 0 756.30/756.70 c 176 329 289.31 36.17 8.00 1000000 0 757.51/757.88 c 173 303 289.01 34.49 8.38 1000000 0 758.71/759.05 c 171 279 288.00 31.14 9.25 1000000 0 759.90/760.23 c 174 269 287.06 32.99 8.70 1000000 0 761.10/761.41 c 167 347 283.20 31.74 8.92 1000000 0 762.20/762.58 c 164 306 287.03 34.88 8.23 1000000 0 763.40/763.77 c 181 307 286.77 34.66 8.27 1000000 0 764.60/764.95 c 180 298 287.89 33.81 8.52 1000000 0 765.80/766.12 c 174 254 285.95 34.16 8.37 1000000 0 766.99/767.30 c 191 333 288.60 34.34 8.40 1000000 0 768.09/768.48 c 165 276 287.90 33.19 8.68 1000000 0 769.29/769.66 c 158 268 287.44 33.93 8.47 1000000 0 770.49/770.83 c 175 305 288.92 31.24 9.25 1000000 0 771.69/772.01 c 165 253 285.33 33.46 8.53 1000000 0 772.79/773.19 c 181 276 288.12 34.48 8.36 1000000 0 774.00/774.37 c 171 330 283.95 31.26 9.08 1000000 0 775.20/775.55 c 176 256 294.56 36.19 8.14 1000000 0 776.39/776.73 c 166 288 283.23 33.24 8.52 1000000 0 777.59/777.91 c 176 273 285.62 35.27 8.10 1000000 0 778.69/779.08 c 181 333 287.46 33.65 8.54 1000000 0 779.89/780.27 c 179 286 286.39 32.21 8.89 1000000 0 781.09/781.44 c 162 291 284.11 35.84 7.93 1000000 0 782.29/782.61 c 179 355 281.42 33.95 8.29 1000000 0 783.39/783.79 c 172 335 286.65 35.03 8.18 1000000 0 784.59/784.96 c 170 254 285.88 34.09 8.39 1000000 0 785.79/786.13 c 173 348 287.66 34.23 8.40 1000000 0 786.99/787.31 c 166 373 283.38 32.21 8.80 1000000 0 788.08/788.48 c 182 368 295.64 35.90 8.23 1000000 0 789.28/789.68 c 175 289 286.38 33.56 8.53 1000000 0 790.49/790.85 c 168 310 287.05 35.53 8.08 1000000 0 791.69/792.03 c 181 350 285.09 33.52 8.51 1000000 0 792.88/793.21 c 167 337 290.00 32.69 8.87 1000000 0 793.98/794.38 c 174 272 286.80 34.24 8.37 1000000 0 795.18/795.56 c 174 319 284.78 31.76 8.97 1000000 0 796.38/796.73 c 171 238 283.20 31.13 9.10 1000000 0 797.58/797.91 c 165 289 289.27 31.58 9.16 1000000 0 798.68/799.09 c 178 287 288.78 32.33 8.93 1000000 0 799.88/800.27 c 182 245 285.81 33.56 8.52 1000000 0 801.08/801.44 c 121 309 286.05 32.24 8.87 1000000 0 802.28/802.62 c 175 284 290.46 35.67 8.14 1000000 0 803.48/803.80 c 172 326 287.79 34.11 8.44 1000000 0 804.58/804.98 c 174 286 290.34 32.58 8.91 1000000 0 805.78/806.16 c 181 216 285.48 32.32 8.83 1000000 0 806.98/807.34 c 172 339 284.93 32.68 8.72 1000000 0 808.18/808.52 c 179 369 283.84 32.68 8.69 1000000 0 809.28/809.68 c 177 252 286.66 32.25 8.89 1000000 0 810.47/810.87 c 174 273 282.27 36.54 7.72 1000000 0 811.67/812.04 c 183 332 289.41 35.47 8.16 1000000 0 812.87/813.22 c 176 285 285.79 32.48 8.80 1000000 0 813.97/814.39 c 174 338 287.79 32.62 8.82 1000000 0 815.17/815.57 c 176 272 284.27 34.21 8.31 1000000 0 816.37/816.74 c 177 333 286.82 35.53 8.07 1000000 0 817.57/817.92 c 162 232 284.75 34.24 8.32 1000000 0 818.67/819.10 c 181 272 285.77 34.55 8.27 1000000 0 819.87/820.28 c 171 275 283.88 37.75 7.52 1000000 0 821.07/821.45 c 149 265 283.48 33.24 8.53 1000000 0 822.27/822.63 c 183 317 286.86 33.25 8.63 1000000 0 823.37/823.80 c 174 340 287.78 34.81 8.27 1000000 0 824.58/824.99 c 165 306 285.34 33.37 8.55 1000000 0 825.78/826.17 c 183 316 290.51 31.58 9.20 1000000 0 826.97/827.34 c 177 281 287.72 32.14 8.95 1000000 0 828.17/828.51 c 160 266 285.37 34.41 8.29 1000000 0 829.27/829.68 c 157 285 286.87 35.94 7.98 1000000 0 830.47/830.86 c 160 261 286.27 33.41 8.57 1000000 0 831.67/832.04 c 159 317 284.37 33.49 8.49 1000000 0 832.87/833.21 c 169 282 289.08 34.88 8.29 1000000 0 833.97/834.39 c 164 244 286.08 33.65 8.50 1000000 0 835.17/835.57 c 186 301 286.51 34.70 8.26 1000000 0 836.36/836.75 c 176 275 283.43 32.68 8.67 1000000 0 837.56/837.92 c 176 306 288.47 31.56 9.14 1000000 0 838.76/839.10 c 183 264 286.29 31.27 9.15 1000000 0 839.86/840.28 c 176 288 286.22 34.07 8.40 1000000 0 841.07/841.46 c 182 220 286.18 31.46 9.10 1000000 0 842.27/842.63 c 167 322 287.86 35.23 8.17 1000000 0 843.46/843.81 c 175 345 281.60 31.47 8.95 1000000 0 844.56/844.99 c 142 278 286.36 32.71 8.76 1000000 0 845.76/846.17 c 175 288 284.48 32.37 8.79 1000000 0 846.96/847.34 c 180 254 286.84 32.77 8.75 1000000 0 848.16/848.52 c 179 245 285.44 32.65 8.74 1000000 0 849.26/849.69 c 170 214 286.58 32.48 8.82 1000000 0 850.46/850.88 c 171 285 283.01 31.50 8.98 1000000 0 851.66/852.05 c 168 251 285.19 34.78 8.20 1000000 0 852.86/853.23 c 168 255 288.22 32.99 8.74 1000000 0 854.06/854.41 c 184 322 282.17 31.76 8.89 1000000 0 855.16/855.58 c 168 311 288.46 34.17 8.44 1000000 0 856.36/856.76 c 171 299 290.46 33.67 8.63 1000000 0 857.56/857.94 c 175 233 285.07 33.73 8.45 1000000 0 858.76/859.12 c 170 314 284.56 33.01 8.62 1000000 0 859.96/860.30 c 180 307 284.68 35.39 8.04 1000000 0 861.06/861.48 c 175 249 287.44 34.14 8.42 1000000 0 862.26/862.66 c 166 337 286.90 33.99 8.44 1000000 0 863.45/863.83 c 151 297 283.59 34.99 8.11 1000000 0 864.65/865.02 c 174 247 288.83 33.74 8.56 1000000 0 865.75/866.19 c 189 293 288.93 34.37 8.41 1000000 0 866.95/867.38 c 177 245 287.07 32.48 8.84 1000000 0 868.15/868.55 c 172 281 287.78 32.70 8.80 1000000 0 869.35/869.73 c 145 282 284.84 35.28 8.07 1000000 0 870.55/870.90 c 181 255 284.35 32.14 8.85 1000000 0 871.65/872.08 c 163 289 283.59 34.27 8.28 1000000 0 872.85/873.26 c 184 286 290.80 33.26 8.74 1000000 0 874.06/874.44 c 176 333 288.02 31.15 9.25 1000000 0 875.26/875.62 c 163 248 285.09 31.48 9.05 1000000 0 876.36/876.79 c 172 300 284.42 34.63 8.21 1000000 0 877.55/877.97 c 178 283 283.71 31.78 8.93 1000000 0 878.75/879.15 c 174 266 282.50 32.19 8.78 1000000 0 879.95/880.32 c 186 319 291.44 32.23 9.04 1000000 0 881.15/881.50 c 169 267 283.47 32.89 8.62 1000000 0 882.25/882.68 c 173 309 288.89 35.67 8.10 1000000 0 883.45/883.85 c 169 301 285.15 32.60 8.75 1000000 0 884.65/885.02 c 179 231 285.85 33.28 8.59 1000000 0 885.85/886.20 c 182 280 289.55 34.81 8.32 1000000 0 886.95/887.38 c 177 267 288.93 34.05 8.49 1000000 0 888.15/888.55 c 179 226 282.59 33.04 8.55 1000000 0 889.34/889.73 c 155 292 285.48 36.48 7.82 1000000 0 890.55/890.91 c 181 224 286.38 33.87 8.46 1000000 0 891.65/892.08 c 188 271 292.21 33.80 8.65 1000000 0 892.85/893.25 c 180 300 288.97 34.21 8.45 1000000 0 894.04/894.43 c 154 308 281.78 34.50 8.17 1000000 0 895.24/895.61 c 183 314 283.39 31.73 8.93 1000000 0 896.34/896.79 c 173 258 279.57 32.78 8.53 1000000 0 897.54/897.96 c 170 306 282.74 34.41 8.22 1000000 0 898.74/899.14 c 183 264 285.99 31.99 8.94 1000000 0 899.94/900.31 c 176 254 282.09 34.12 8.27 1000000 0 901.04/901.50 c 178 368 283.57 32.50 8.72 1000000 0 902.24/902.67 c 163 233 285.51 32.03 8.91 1000000 0 903.44/903.84 c 175 265 285.09 33.04 8.63 1000000 0 904.64/905.02 c 188 344 284.05 32.80 8.66 1000000 0 905.84/906.20 c 169 280 289.23 33.07 8.75 1000000 0 906.94/907.37 c 191 264 287.77 33.23 8.66 1000000 0 908.14/908.55 c 172 239 285.53 33.46 8.53 1000000 0 909.34/909.73 c 180 289 281.92 34.61 8.14 1000000 0 910.54/910.90 c 175 278 287.27 33.58 8.55 1000000 0 911.64/912.08 c 167 309 290.79 34.71 8.38 1000000 0 912.84/913.25 c 174 318 286.14 33.43 8.56 1000000 0 914.03/914.43 c 181 290 285.74 33.09 8.64 1000000 0 915.23/915.60 c 160 297 282.45 31.29 9.03 1000000 0 916.33/916.78 c 171 257 284.58 32.32 8.80 1000000 0 917.53/917.95 c 158 292 286.83 35.01 8.19 1000000 0 918.73/919.12 c 148 197 291.50 35.59 8.19 1000000 0 919.93/920.30 c 183 266 287.00 33.79 8.49 1000000 0 921.03/921.48 c 166 260 286.16 35.44 8.07 1000000 0 922.23/922.65 c 180 313 287.00 34.63 8.29 1000000 0 923.43/923.83 c 163 306 282.30 33.70 8.38 1000000 0 924.53/925.00 c 164 278 287.14 35.45 8.10 1000000 0 925.74/926.18 c 184 270 286.55 32.99 8.69 1000000 0 926.94/927.35 c 173 324 287.22 31.82 9.03 1000000 0 928.13/928.53 c 178 260 285.76 32.55 8.78 1000000 0 929.33/929.71 c 176 269 288.05 33.87 8.50 1000000 0 930.43/930.89 c 179 259 285.70 33.62 8.50 1000000 0 931.63/932.06 c 170 245 282.26 34.03 8.30 1000000 0 932.83/933.24 c 164 333 286.88 32.86 8.73 1000000 0 934.03/934.41 c 171 290 289.88 34.94 8.30 1000000 0 935.22/935.60 c 169 294 293.19 35.48 8.26 1000000 0 936.32/936.77 c 174 322 285.22 33.16 8.60 1000000 0 937.52/937.95 c 182 320 285.21 32.51 8.77 1000000 0 938.72/939.12 c 171 259 284.90 34.42 8.28 1000000 0 939.92/940.30 c 189 302 287.43 29.96 9.60 1000000 0 941.02/941.48 c 190 335 288.63 32.02 9.01 1000000 0 942.23/942.65 c 154 252 287.39 33.17 8.66 1000000 0 943.43/943.83 c 170 247 284.50 34.97 8.14 1000000 0 944.62/945.01 c 167 339 287.94 35.91 8.02 1000000 0 945.72/946.18 c 176 263 280.83 33.87 8.29 1000000 0 946.92/947.36 c 186 297 286.80 36.24 7.91 1000000 0 948.12/948.54 c 161 306 282.45 32.88 8.59 1000000 0 949.32/949.71 c 179 221 281.09 34.37 8.18 1000000 0 950.42/950.89 c 173 308 284.06 33.06 8.59 1000000 0 951.62/952.07 c 163 310 280.64 34.28 8.19 1000000 0 952.82/953.25 c 178 222 283.35 34.79 8.14 1000000 0 954.02/954.42 c 178 279 286.18 31.01 9.23 1000000 0 955.22/955.60 c 166 250 285.89 33.49 8.54 1000000 0 956.32/956.78 c 179 298 284.54 32.71 8.70 1000000 0 957.52/957.95 c 173 249 288.06 32.33 8.91 1000000 0 958.72/959.12 c 172 242 286.27 34.45 8.31 1000000 0 959.92/960.30 c 177 226 287.33 33.07 8.69 1000000 0 961.02/961.48 c 176 300 292.65 35.48 8.25 1000000 0 962.22/962.66 c 178 278 289.22 33.71 8.58 1000000 0 963.42/963.84 c 169 299 287.11 35.15 8.17 1000000 0 964.62/965.02 c 166 303 284.77 33.83 8.42 1000000 0 965.81/966.20 c 172 282 284.45 33.59 8.47 1000000 0 966.91/967.38 c 178 332 284.07 32.37 8.77 1000000 0 968.11/968.55 c 178 325 284.74 32.67 8.72 1000000 0 969.31/969.73 c 189 309 286.30 30.93 9.26 1000000 0 970.51/970.90 c 181 253 290.97 35.10 8.29 1000000 0 971.61/972.08 c 164 280 280.26 33.24 8.43 1000000 0 972.81/973.26 c 184 283 286.88 32.04 8.95 1000000 0 974.01/974.43 c 171 285 282.44 32.40 8.72 1000000 0 975.22/975.61 c 155 234 282.94 36.40 7.77 1000000 0 976.32/976.78 c 164 292 290.01 33.48 8.66 1000000 0 977.52/977.96 c 186 273 284.98 31.86 8.94 1000000 0 978.71/979.13 c 181 253 291.30 34.75 8.38 1000000 0 979.91/980.31 c 159 288 284.81 32.82 8.68 1000000 0 981.01/981.48 c 189 270 291.74 36.19 8.06 1000000 0 982.21/982.66 c 167 272 283.12 36.15 7.83 1000000 0 983.41/983.83 c 182 275 285.08 34.03 8.38 1000000 0 984.61/985.01 c 168 292 285.95 35.06 8.16 1000000 0 985.71/986.18 c 183 279 287.87 33.63 8.56 1000000 0 986.91/987.35 c 180 244 286.45 33.26 8.61 1000000 0 988.11/988.53 c 175 291 284.19 31.13 9.13 1000000 0 989.31/989.71 c 176 324 283.26 32.35 8.76 1000000 0 990.41/990.88 c 174 287 282.66 34.52 8.19 1000000 0 991.61/992.05 c 164 310 284.26 33.43 8.50 1000000 0 992.81/993.23 c 170 304 288.04 34.92 8.25 1000000 0 994.01/994.41 c 182 276 285.49 33.91 8.42 1000000 0 995.11/995.59 c 168 251 282.75 33.82 8.36 1000000 0 996.30/996.76 c 181 254 286.85 32.70 8.77 1000000 0 997.50/997.93 c 177 337 283.04 31.59 8.96 1000000 0 998.70/999.11 c 178 288 284.08 33.70 8.43 1000000 0 999.80/1000.29 c 172 269 282.35 32.98 8.56 1000000 0 1001.00/1001.47 c 174 258 291.90 35.41 8.24 1000000 0 1002.20/1002.64 c 167 265 281.05 33.13 8.48 1000000 0 1003.40/1003.82 c 167 265 286.55 33.93 8.45 1000000 0 1004.50/1004.99 c 164 311 282.84 31.84 8.88 1000000 0 1005.70/1006.18 c 171 261 286.26 33.27 8.60 1000000 0 1006.90/1007.35 c 158 256 284.13 31.86 8.92 1000000 0 1008.10/1008.52 c 163 237 284.38 32.20 8.83 1000000 0 1009.20/1009.70 c 177 192 284.34 32.87 8.65 1000000 0 1010.41/1010.88 c 163 270 289.07 32.96 8.77 1000000 0 1011.61/1012.05 c 171 299 291.02 34.69 8.39 1000000 0 1012.80/1013.23 c 180 244 284.30 33.09 8.59 1000000 0 1014.00/1014.41 c 169 291 289.38 34.19 8.46 1000000 0 1015.10/1015.59 c 185 334 287.89 31.68 9.09 1000000 0 1016.30/1016.76 c 188 270 288.86 32.16 8.98 1000000 0 1017.49/1017.94 c 169 275 291.76 32.46 8.99 1000000 0 1018.69/1019.11 c 176 340 288.22 32.49 8.87 1000000 0 1019.79/1020.29 c 173 305 288.75 33.56 8.60 1000000 0 1020.99/1021.47 c 186 282 290.49 33.50 8.67 1000000 0 1022.19/1022.64 c 155 342 282.93 35.18 8.04 1000000 0 1023.39/1023.81 c 170 290 283.68 32.07 8.84 1000000 0 1024.49/1024.99 c 172 315 288.64 34.03 8.48 1000000 0 1025.69/1026.17 c 175 288 286.81 32.64 8.79 1000000 0 1026.90/1027.35 c 177 318 290.39 34.74 8.36 1000000 0 1028.10/1028.53 c 175 219 281.87 34.33 8.21 1000000 0 1029.29/1029.70 c 179 318 285.91 33.74 8.48 1000000 0 1030.39/1030.88 c 184 324 286.79 33.88 8.47 1000000 0 1031.59/1032.05 c 173 245 284.04 33.94 8.37 1000000 0 1032.79/1033.23 c 162 291 286.87 34.62 8.29 1000000 0 1033.99/1034.41 c 190 339 286.39 32.03 8.94 1000000 0 1035.09/1035.58 c 185 265 285.12 31.16 9.15 1000000 0 1036.28/1036.76 c 150 309 286.91 36.53 7.85 1000000 0 1037.48/1037.94 c 168 294 283.98 33.48 8.48 1000000 0 1038.68/1039.11 c 179 289 283.66 32.97 8.60 1000000 0 1039.78/1040.28 c 177 285 287.17 31.12 9.23 1000000 0 1040.98/1041.45 c 179 290 286.49 34.63 8.27 1000000 0 1042.18/1042.63 c 165 327 281.69 33.17 8.49 1000000 0 1043.39/1043.81 c 179 277 288.46 33.21 8.69 1000000 0 1044.49/1044.99 c 185 302 289.05 33.26 8.69 1000000 0 1045.69/1046.17 c 169 286 280.20 32.62 8.59 1000000 0 1046.88/1047.34 c 177 312 286.90 35.56 8.07 1000000 0 1048.08/1048.52 c 179 274 284.72 33.22 8.57 1000000 0 1049.28/1049.70 c 175 312 285.12 34.62 8.24 1000000 0 1050.38/1050.88 c 172 251 285.13 35.39 8.06 1000000 0 1051.58/1052.05 c 176 287 288.75 33.54 8.61 1000000 0 1052.78/1053.23 c 168 289 281.43 34.07 8.26 1000000 0 1053.98/1054.41 c 165 304 288.21 37.09 7.77 1000000 0 1055.08/1055.59 c 172 291 291.81 33.73 8.65 1000000 0 1056.28/1056.76 c 171 263 284.03 35.83 7.93 1000000 0 1057.48/1057.93 c 184 269 284.65 30.47 9.34 1000000 0 1058.68/1059.11 c 164 236 286.03 34.64 8.26 1000000 0 1059.78/1060.29 c 183 263 284.22 33.01 8.61 1000000 0 1060.98/1061.47 c 175 312 280.73 33.14 8.47 1000000 0 1062.18/1062.64 c 174 247 290.00 31.94 9.08 1000000 0 1063.38/1063.82 c 153 298 288.72 34.28 8.42 1000000 0 1064.48/1064.99 c 183 274 284.80 32.80 8.68 1000000 0 1065.67/1066.17 c 155 270 287.84 33.94 8.48 1000000 0 1066.87/1067.34 c 172 291 285.30 32.74 8.71 1000000 0 1068.07/1068.53 c 165 241 285.67 34.25 8.34 1000000 0 1069.27/1069.71 c 163 284 283.37 33.91 8.36 1000000 0 1070.37/1070.88 c 178 310 285.78 32.57 8.78 1000000 0 1071.57/1072.05 c 183 246 287.27 34.38 8.35 1000000 0 1072.77/1073.23 c 176 311 290.11 34.09 8.51 1000000 0 1073.97/1074.41 c 169 214 286.33 33.91 8.44 1000000 0 1075.07/1075.59 c 174 310 286.33 33.39 8.58 1000000 0 1076.27/1076.77 c 154 254 285.52 33.87 8.43 1000000 0 1077.47/1077.94 c 181 296 288.80 34.27 8.43 1000000 0 1078.68/1079.12 c 161 292 287.89 31.92 9.02 1000000 0 1079.87/1080.30 c 177 279 282.95 33.38 8.48 1000000 0 1080.97/1081.48 c 186 270 286.64 34.47 8.32 1000000 0 1082.17/1082.66 c 184 280 287.11 36.34 7.90 1000000 0 1083.37/1083.83 c 176 281 286.24 32.88 8.71 1000000 0 1084.57/1085.01 c 172 250 285.17 32.52 8.77 1000000 0 1085.66/1086.18 c 153 318 286.59 32.20 8.90 1000000 0 1086.86/1087.36 c 148 298 290.21 35.52 8.17 1000000 0 1088.06/1088.53 c 181 256 276.31 33.19 8.33 1000000 0 1089.26/1089.71 c 164 292 285.98 35.69 8.01 1000000 0 1090.36/1090.88 c 168 266 283.45 35.54 7.98 1000000 0 1091.56/1092.06 c 185 324 287.27 32.16 8.93 1000000 0 1092.76/1093.24 c 178 296 284.79 33.24 8.57 1000000 0 1093.97/1094.42 c 181 275 290.67 33.32 8.72 1000000 0 1095.07/1095.60 c 147 334 281.34 33.99 8.28 1000000 0 1096.27/1096.77 c 185 302 283.59 33.60 8.44 1000000 0 1097.46/1097.95 c 168 326 278.56 32.58 8.55 1000000 0 1098.66/1099.13 c 154 286 285.20 35.27 8.09 1000000 0 1099.86/1100.30 c 174 270 282.67 34.14 8.28 1000000 0 1100.96/1101.48 c 160 338 288.32 32.16 8.96 1000000 0 1102.16/1102.65 c 181 317 285.29 33.61 8.49 1000000 0 1103.36/1103.83 c 150 275 290.83 36.56 7.96 1000000 0 1104.56/1105.01 c 174 272 283.97 34.42 8.25 1000000 0 1105.66/1106.19 c 182 330 284.27 31.98 8.89 1000000 0 1106.86/1107.36 c 166 288 283.53 32.41 8.75 1000000 0 1108.05/1108.53 c 180 271 282.98 32.40 8.73 1000000 0 1109.25/1109.71 c 163 283 286.58 32.88 8.72 1000000 0 1110.35/1110.89 c 167 228 288.66 32.86 8.78 1000000 0 1111.56/1112.07 c 178 243 286.13 33.99 8.42 1000000 0 1112.76/1113.25 c 170 294 285.68 32.17 8.88 1000000 0 1113.95/1114.42 c 189 307 288.85 33.70 8.57 1000000 0 1115.15/1115.60 c 179 295 286.29 32.50 8.81 1000000 0 1116.25/1116.77 c 180 274 282.41 32.49 8.69 1000000 0 1117.45/1117.95 c 158 264 286.19 33.59 8.52 1000000 0 1118.65/1119.12 c 177 322 286.40 34.68 8.26 1000000 0 1119.85/1120.30 c 168 267 287.08 34.46 8.33 1000000 0 1120.95/1121.47 c 170 323 287.11 32.09 8.95 1000000 0 1122.15/1122.65 c 163 333 288.75 36.80 7.85 1000000 0 1123.35/1123.83 c 171 312 283.98 33.37 8.51 1000000 0 1124.55/1125.01 c 181 269 283.90 33.15 8.56 1000000 0 1125.65/1126.19 c 167 301 286.19 34.52 8.29 1000000 0 1126.85/1127.36 c 181 239 286.11 32.56 8.79 1000000 0 1128.05/1128.54 c 172 274 284.98 33.23 8.58 1000000 0 1129.25/1129.72 c 167 291 289.21 33.99 8.51 1000000 0 1130.35/1130.89 c 170 251 285.11 35.45 8.04 1000000 0 1131.54/1132.07 c 176 266 286.04 35.51 8.05 1000000 0 1132.74/1133.25 c 179 249 288.42 33.25 8.67 1000000 0 1133.94/1134.42 c 179 318 287.91 34.04 8.46 1000000 0 1135.14/1135.61 c 182 276 288.17 33.75 8.54 1000000 0 1136.24/1136.79 c 160 310 281.98 32.42 8.70 1000000 0 1137.44/1137.97 c 176 329 285.73 31.17 9.17 1000000 0 1138.64/1139.15 c 185 236 291.03 35.31 8.24 1000000 0 1139.84/1140.33 c 176 263 286.00 33.03 8.66 1000000 0 1141.04/1141.50 c 186 266 285.76 36.88 7.75 1000000 0 1142.14/1142.68 c 174 306 283.04 34.85 8.12 1000000 0 1143.34/1143.86 c 169 296 291.25 32.81 8.88 1000000 0 1144.55/1145.03 c 163 277 286.84 32.66 8.78 1000000 0 1145.74/1146.21 c 168 261 281.35 35.00 8.04 1000000 0 1146.85/1147.39 c 168 253 287.73 32.79 8.78 1000000 0 1148.04/1148.57 c 158 246 290.56 36.01 8.07 1000000 0 1149.24/1149.75 c 155 289 281.81 34.69 8.12 1000000 0 1150.44/1150.92 c 170 270 286.27 31.44 9.11 1000000 0 1151.64/1152.10 c 183 280 282.87 31.15 9.08 1000000 0 1152.73/1153.28 c 177 204 288.73 35.06 8.23 1000000 0 1153.93/1154.46 c 147 263 285.72 31.49 9.07 1000000 0 1155.13/1155.64 c 186 232 284.65 30.94 9.20 1000000 0 1156.33/1156.82 c 167 295 288.49 33.98 8.49 1000000 0 1157.43/1157.99 c 184 309 285.28 34.32 8.31 1000000 0 1158.63/1159.17 c 171 257 288.53 36.19 7.97 1000000 0 1159.83/1160.34 c 161 290 283.20 31.87 8.89 1000000 0 1161.04/1161.52 c 166 239 290.71 33.27 8.74 1000000 0 1162.14/1162.69 c 165 268 282.57 34.37 8.22 1000000 0 1163.34/1163.87 c 168 283 286.37 32.54 8.80 1000000 0 1164.53/1165.05 c 177 308 287.00 33.16 8.65 1000000 0 1165.73/1166.22 c 178 293 284.65 31.34 9.08 1000000 0 1166.93/1167.40 c 167 299 282.56 35.91 7.87 1000000 0 1168.03/1168.58 c 172 296 288.52 34.47 8.37 1000000 0 1169.23/1169.76 c 184 293 287.56 33.15 8.67 1000000 0 1170.43/1170.94 c 186 309 288.63 33.18 8.70 1000000 0 1171.63/1172.12 c 175 309 285.51 33.02 8.65 1000000 0 1172.73/1173.29 c 180 298 286.40 32.96 8.69 1000000 0 1173.93/1174.47 c 163 238 285.15 33.89 8.41 1000000 0 1175.13/1175.65 c 148 241 282.89 33.98 8.33 1000000 0 1176.33/1176.82 c 173 365 284.07 33.42 8.50 1000000 0 1177.43/1178.00 c 164 273 287.69 34.57 8.32 1000000 0 1178.63/1179.17 c 177 352 286.29 32.55 8.80 1000000 0 1179.83/1180.35 c 183 266 280.07 32.48 8.62 1000000 0 1181.02/1181.52 c 172 312 289.12 32.56 8.88 1000000 0 1182.22/1182.70 c 169 275 286.77 32.64 8.79 1000000 0 1183.32/1183.87 c 179 308 284.20 33.89 8.39 1000000 0 1184.52/1185.05 c 170 299 281.75 33.74 8.35 1000000 0 1185.72/1186.22 c 183 310 290.16 32.85 8.83 1000000 0 1186.82/1187.39 c 172 299 289.61 35.70 8.11 1000000 0 1188.02/1188.56 c 178 244 284.90 33.14 8.60 1000000 0 1189.22/1189.74 c 177 267 285.85 35.44 8.07 1000000 0 1190.42/1190.92 c 161 248 284.63 31.78 8.96 1000000 0 1191.52/1192.09 c 175 351 287.59 31.88 9.02 1000000 0 1192.72/1193.27 c 181 232 287.58 34.22 8.40 1000000 0 1193.92/1194.44 c 174 297 284.91 32.00 8.90 1000000 0 1195.12/1195.62 c 163 338 287.39 35.19 8.17 1000000 0 1196.22/1196.80 c 137 281 283.50 34.07 8.32 1000000 0 1197.42/1197.98 c 158 234 285.26 32.08 8.89 1000000 0 1198.61/1199.16 c 170 295 282.69 31.61 8.94 1000000 0 1199.81/1200.34 c 166 314 283.11 33.88 8.36 1000000 0 1201.01/1201.51 c 170 302 285.49 33.76 8.46 1000000 0 1202.11/1202.69 c 169 296 281.77 32.82 8.59 1000000 0 1203.31/1203.87 c 165 291 284.40 33.69 8.44 1000000 0 1204.51/1205.05 c 185 334 289.81 32.44 8.93 1000000 0 1205.71/1206.22 c 159 245 287.17 33.37 8.61 1000000 0 1206.81/1207.39 c 168 292 286.02 37.92 7.54 1000000 0 1208.01/1208.57 c 170 297 284.69 34.50 8.25 1000000 0 1209.21/1209.75 c 152 281 290.37 34.80 8.34 1000000 0 1210.41/1210.93 c 176 259 287.33 32.42 8.86 1000000 0 1211.62/1212.11 c 186 321 285.63 31.29 9.13 1000000 0 1212.72/1213.28 c 179 276 285.98 32.66 8.76 1000000 0 1213.92/1214.46 c 178 272 286.64 32.70 8.76 1000000 0 1215.11/1215.64 c 181 370 283.87 32.34 8.78 1000000 0 1216.31/1216.82 c 180 279 285.48 34.27 8.33 1000000 0 1217.41/1217.99 c 171 279 288.80 36.29 7.96 1000000 0 1218.61/1219.17 c 175 249 283.95 33.81 8.40 1000000 0 1219.81/1220.35 c 170 316 284.36 32.46 8.76 1000000 0 1221.01/1221.53 c 184 344 289.51 31.30 9.25 1000000 0 1222.21/1222.71 c 178 274 288.39 31.06 9.28 1000000 0 1223.31/1223.88 c 178 313 285.70 31.51 9.07 1000000 0 1224.50/1225.05 c 172 270 286.80 34.99 8.20 1000000 0 1225.70/1226.23 c 170 260 283.08 31.22 9.07 1000000 0 1226.90/1227.41 c 168 233 289.02 35.29 8.19 1000000 0 1228.00/1228.59 c 169 329 283.49 33.08 8.57 1000000 0 1229.21/1229.76 c 168 291 281.77 32.14 8.77 1000000 0 1230.41/1230.94 c 174 323 285.75 33.14 8.62 1000000 0 1231.60/1232.11 c 165 265 286.45 32.84 8.72 1000000 0 1232.70/1233.29 c 167 289 289.67 32.24 8.98 1000000 0 1233.90/1234.46 c 181 311 291.32 35.71 8.16 1000000 0 1235.10/1235.64 c 169 277 287.72 34.39 8.37 1000000 0 1236.30/1236.81 c 168 213 284.46 33.61 8.46 1000000 0 1237.40/1237.99 c 189 355 286.72 32.86 8.73 1000000 0 1238.60/1239.16 c 158 294 283.40 36.21 7.83 1000000 0 1239.80/1240.33 c 176 278 282.02 32.65 8.64 1000000 0 1241.00/1241.51 c 179 262 283.97 32.85 8.65 1000000 0 1242.10/1242.69 c 176 331 286.25 32.03 8.94 1000000 0 1243.30/1243.87 c 174 297 287.80 34.76 8.28 1000000 0 1244.50/1245.05 c 187 289 288.13 32.14 8.96 1000000 0 1245.70/1246.22 c 187 245 287.11 32.05 8.96 1000000 0 1246.80/1247.40 c 172 251 287.00 32.89 8.73 1000000 0 1248.00/1248.57 c 171 282 283.94 31.68 8.96 1000000 0 1249.20/1249.74 c 167 345 286.45 33.29 8.60 1000000 0 1250.39/1250.92 c 179 286 286.17 34.44 8.31 1000000 0 1251.49/1252.09 c 175 263 288.12 33.30 8.65 1000000 0 1252.69/1253.27 c 182 273 286.08 31.77 9.00 1000000 0 1253.89/1254.44 c 172 261 286.61 33.74 8.49 1000000 0 1255.09/1255.61 c 180 300 289.49 34.12 8.49 1000000 0 1256.19/1256.79 c 172 314 284.36 34.48 8.25 1000000 0 1257.39/1257.97 c 179 263 289.32 35.91 8.06 1000000 0 1258.59/1259.15 c 175 304 283.51 32.34 8.77 1000000 0 1259.79/1260.32 c 172 328 283.21 32.65 8.67 1000000 0 1260.89/1261.49 c 172 347 287.42 35.44 8.11 1000000 0 1262.09/1262.67 c 172 282 285.93 33.39 8.56 1000000 0 1263.30/1263.86 c 179 247 284.24 32.56 8.73 1000000 0 1264.50/1265.03 c 171 302 281.73 33.30 8.46 1000000 0 1265.69/1266.20 c 181 314 285.76 32.54 8.78 1000000 0 1266.79/1267.38 c 189 308 289.25 34.43 8.40 1000000 0 1267.99/1268.56 c 186 285 283.59 32.02 8.86 1000000 0 1269.19/1269.74 c 169 245 284.10 32.80 8.66 1000000 0 1270.39/1270.91 c 163 300 285.94 33.29 8.59 1000000 0 1271.49/1272.08 c 187 239 284.23 31.64 8.98 1000000 0 1272.69/1273.25 c 169 309 285.40 33.84 8.43 1000000 0 1273.89/1274.43 c 159 322 284.18 34.95 8.13 1000000 0 1275.09/1275.61 c 186 232 285.35 32.74 8.72 1000000 0 1276.18/1276.79 c 162 302 287.70 38.10 7.55 1000000 0 1277.38/1277.96 c 174 223 288.69 35.24 8.19 1000000 0 1278.58/1279.13 c 164 374 280.76 33.35 8.42 1000000 0 1279.79/1280.31 c 179 325 289.09 33.76 8.56 1000000 0 1280.89/1281.49 c 185 301 287.92 32.31 8.91 1000000 0 1282.09/1282.66 c 179 236 284.46 30.44 9.34 1000000 0 1283.28/1283.84 c 161 283 285.54 32.85 8.69 1000000 0 1284.48/1285.01 c 178 273 286.32 32.01 8.95 1000000 0 1285.58/1286.19 c 182 314 285.01 32.96 8.65 1000000 0 1286.78/1287.37 c 173 270 286.28 31.35 9.13 1000000 0 1287.98/1288.54 c 183 274 288.04 31.67 9.09 1000000 0 1289.18/1289.72 c 166 291 290.47 34.51 8.42 1000000 0 1290.38/1290.90 c 179 277 285.82 31.78 8.99 1000000 0 1291.48/1292.07 c 172 323 286.46 34.37 8.34 1000000 0 1292.68/1293.25 c 167 247 285.71 34.11 8.38 1000000 0 1293.88/1294.43 c 172 299 282.11 32.21 8.76 1000000 0 1295.08/1295.61 c 158 413 287.43 33.53 8.57 1000000 0 1296.18/1296.78 c 174 337 281.99 33.43 8.44 1000000 0 1297.38/1297.96 c 166 306 291.10 32.06 9.08 1000000 0 1298.58/1299.13 c 173 262 283.86 32.90 8.63 1000000 0 1299.78/1300.30 c 185 310 289.18 34.82 8.30 1000000 0 1300.87/1301.48 c 163 310 283.24 32.50 8.71 1000000 0 1302.07/1302.66 c 168 269 287.69 33.59 8.57 1000000 0 1303.27/1303.84 c 174 259 287.18 31.72 9.05 1000000 0 1304.47/1305.02 c 167 275 287.26 34.60 8.30 1000000 0 1305.57/1306.19 c 176 262 287.95 34.42 8.37 1000000 0 1306.77/1307.37 c 177 316 287.38 34.54 8.32 1000000 0 1307.97/1308.54 c 186 250 286.72 32.42 8.84 1000000 0 1309.17/1309.72 c 180 261 286.65 32.86 8.72 1000000 0 1310.37/1310.90 c 160 252 284.16 34.44 8.25 1000000 0 1311.47/1312.09 c 172 322 288.17 35.61 8.09 1000000 0 1312.67/1313.26 c 184 274 291.15 32.62 8.93 1000000 0 1313.88/1314.43 c 176 267 285.70 33.11 8.63 1000000 0 1315.08/1315.61 c 168 327 287.77 34.10 8.44 1000000 0 1316.18/1316.79 c 178 275 283.67 33.00 8.60 1000000 0 1317.37/1317.96 c 180 278 285.20 34.74 8.21 1000000 0 1318.57/1319.14 c 161 284 282.24 33.95 8.31 1000000 0 1319.77/1320.31 c 162 279 286.67 31.89 8.99 1000000 0 1320.87/1321.49 c 172 250 286.71 34.47 8.32 1000000 0 1322.07/1322.66 c 166 274 284.76 30.94 9.20 1000000 0 1323.27/1323.84 c 181 262 286.75 32.67 8.78 1000000 0 1324.46/1325.01 c 171 267 289.01 33.93 8.52 1000000 0 1325.56/1326.18 c 171 301 290.54 32.21 9.02 1000000 0 1326.76/1327.36 c 181 314 287.82 35.60 8.08 1000000 0 1327.96/1328.54 c 188 226 290.29 33.49 8.67 1000000 0 1329.16/1329.71 c 166 250 285.72 35.44 8.06 1000000 0 1330.26/1330.89 c 166 362 286.64 33.49 8.56 1000000 0 1331.47/1332.07 c 175 290 286.27 34.65 8.26 1000000 0 1332.67/1333.25 c 181 291 286.43 33.68 8.50 1000000 0 1333.86/1334.42 c 186 298 286.68 33.60 8.53 1000000 0 1334.96/1335.60 c 176 304 285.49 31.29 9.12 1000000 0 1336.16/1336.77 c 180 352 283.67 32.71 8.67 1000000 0 1337.36/1337.95 c 175 267 282.62 31.51 8.97 1000000 0 1338.56/1339.12 c 188 316 285.77 32.04 8.92 1000000 0 1339.66/1340.30 c 170 312 286.13 33.71 8.49 1000000 0 1340.86/1341.47 c 162 260 285.84 32.80 8.71 1000000 0 1342.06/1342.64 c 145 287 283.50 35.16 8.06 1000000 0 1343.26/1343.82 c 145 321 286.41 34.65 8.27 1000000 0 1344.36/1344.99 c 162 323 291.71 31.76 9.19 1000000 0 1345.55/1346.17 c 176 276 285.69 33.80 8.45 1000000 0 1346.75/1347.34 c 175 301 289.17 33.19 8.71 1000000 0 1347.96/1348.52 c 169 296 284.79 34.31 8.30 1000000 0 1349.06/1349.69 c 158 296 291.35 35.86 8.12 1000000 0 1350.26/1350.87 c 175 300 282.92 31.16 9.08 1000000 0 1351.45/1352.05 c 189 285 289.45 35.82 8.08 1000000 0 1352.65/1353.23 c 178 285 282.76 37.06 7.63 1000000 0 1353.85/1354.41 c 186 245 284.03 32.30 8.79 1000000 0 1354.95/1355.58 c 172 245 286.74 33.93 8.45 1000000 0 1356.15/1356.76 c 172 310 285.36 35.38 8.07 1000000 0 1357.35/1357.93 c 179 219 283.34 31.87 8.89 1000000 0 1358.55/1359.12 c 152 308 282.72 33.65 8.40 1000000 0 1359.65/1360.29 c 178 325 282.16 31.44 8.98 1000000 0 1360.85/1361.48 c 164 361 283.69 32.00 8.87 1000000 0 1362.05/1362.66 c 194 250 291.40 33.93 8.59 1000000 0 1363.25/1363.83 c 175 264 286.29 33.63 8.51 1000000 0 1364.45/1365.00 c 182 315 287.45 33.94 8.47 1000000 0 1365.55/1366.18 c 184 287 283.28 32.38 8.75 1000000 0 1366.75/1367.36 c 155 296 284.10 33.89 8.38 1000000 0 1367.95/1368.54 c 155 334 285.50 32.74 8.72 1000000 0 1369.15/1369.71 c 176 217 285.35 33.72 8.46 1000000 0 1370.25/1370.89 c 163 248 290.21 36.44 7.96 1000000 0 1371.44/1372.06 c 165 306 286.26 34.36 8.33 1000000 0 1372.64/1373.24 c 171 264 285.71 36.50 7.83 1000000 0 1373.84/1374.41 c 176 310 285.30 33.40 8.54 1000000 0 1374.94/1375.59 c 179 274 288.71 33.55 8.61 1000000 0 1376.14/1376.77 c 176 260 284.97 34.66 8.22 1000000 0 1377.34/1377.94 c 183 256 286.66 32.75 8.75 1000000 0 1378.54/1379.12 c 174 257 285.66 31.47 9.08 1000000 0 1379.74/1380.30 c 178 283 287.39 33.98 8.46 1000000 0 1380.84/1381.47 c 160 324 287.80 35.24 8.17 1000000 0 1382.05/1382.65 c 163 265 283.81 31.82 8.92 1000000 0 1383.25/1383.83 c 180 252 283.74 34.56 8.21 1000000 0 1384.44/1385.01 c 182 248 283.81 31.69 8.96 1000000 0 1385.54/1386.19 c 186 317 288.91 33.20 8.70 1000000 0 1386.74/1387.37 c 143 251 286.03 35.52 8.05 1000000 0 1387.94/1388.54 c 184 283 286.19 32.25 8.87 1000000 0 1389.14/1389.72 c 170 306 286.09 33.63 8.51 1000000 0 1390.24/1390.89 c 186 298 285.83 31.81 8.99 1000000 0 1391.44/1392.07 c 178 358 286.56 31.51 9.09 1000000 0 1392.64/1393.24 c 180 312 289.32 35.55 8.14 1000000 0 1393.84/1394.42 c 162 320 283.04 33.34 8.49 1000000 0 1395.04/1395.60 c 173 314 286.66 34.39 8.33 1000000 0 1396.14/1396.78 c 172 266 286.94 32.83 8.74 1000000 0 1397.34/1397.96 c 174 273 287.07 32.59 8.81 1000000 0 1398.54/1399.13 c 170 294 287.72 35.29 8.15 1000000 0 1399.74/1400.31 c 170 324 286.64 33.95 8.44 1000000 0 1400.84/1401.49 c 177 278 284.76 34.60 8.23 1000000 0 1402.03/1402.66 c 157 286 287.32 32.63 8.81 1000000 0 1403.23/1403.83 c 186 292 287.69 34.18 8.42 1000000 0 1404.43/1405.01 c 168 312 285.01 34.14 8.35 1000000 0 1405.53/1406.18 c 169 338 289.98 34.30 8.45 1000000 0 1406.73/1407.36 c 165 268 287.34 34.01 8.45 1000000 0 1407.93/1408.54 c 159 287 288.05 33.68 8.55 1000000 0 1409.13/1409.71 c 176 284 284.67 33.46 8.51 1000000 0 1410.23/1410.89 c 186 314 284.96 31.30 9.10 1000000 0 1411.43/1412.07 c 176 291 286.15 32.52 8.80 1000000 0 1412.63/1413.24 c 182 318 284.82 33.77 8.44 1000000 0 1413.83/1414.41 c 189 247 285.89 34.91 8.19 1000000 0 1414.93/1415.59 c 174 306 283.81 36.34 7.81 1000000 0 1416.13/1416.77 c 155 331 285.87 35.44 8.07 1000000 0 1417.33/1417.94 c 151 288 287.51 35.35 8.13 1000000 0 1418.53/1419.11 c 166 273 288.60 37.62 7.67 1000000 0 1419.63/1420.29 c 166 310 285.76 33.07 8.64 1000000 0 1420.83/1421.46 c 187 277 286.88 32.31 8.88 1000000 0 1422.02/1422.65 c 178 297 289.63 34.03 8.51 1000000 0 1423.22/1423.83 c 176 282 286.80 34.17 8.39 1000000 0 1424.42/1425.01 c 174 259 283.82 36.65 7.74 1000000 0 1425.52/1426.18 c 184 287 283.85 33.97 8.36 1000000 0 1426.72/1427.36 c 166 284 286.53 32.93 8.70 1000000 0 1427.92/1428.53 c 171 296 290.74 33.92 8.57 1000000 0 1429.12/1429.71 c 164 314 283.54 34.53 8.21 1000000 0 1430.22/1430.89 c 184 261 284.98 34.14 8.35 1000000 0 1431.42/1432.06 c 184 312 284.02 36.04 7.88 1000000 0 1432.63/1433.24 c 176 305 282.11 34.93 8.08 1000000 0 1433.83/1434.41 c 166 285 286.44 32.95 8.69 1000000 0 1434.93/1435.59 c 184 256 290.11 32.34 8.97 1000000 0 1436.12/1436.76 c 153 244 285.85 33.41 8.56 1000000 0 1437.32/1437.94 c 177 283 290.12 32.97 8.80 1000000 0 1438.52/1439.12 c 168 252 282.98 34.84 8.12 1000000 0 1439.62/1440.29 c 184 231 287.37 31.46 9.13 1000000 0 1440.82/1441.47 c 167 354 286.58 34.46 8.32 1000000 0 1442.02/1442.65 c 165 227 286.53 33.96 8.44 1000000 0 1443.22/1443.82 c 178 295 282.36 32.66 8.65 1000000 0 1444.42/1445.00 c 167 284 283.59 33.90 8.37 1000000 0 1445.52/1446.17 c 185 252 288.90 34.64 8.34 1000000 0 1446.72/1447.35 c 187 356 282.53 32.30 8.75 1000000 0 1447.91/1448.53 c 182 268 287.78 31.68 9.08 1000000 0 1449.01/1449.70 c 172 225 290.83 33.60 8.66 1000000 0 1450.22/1450.88 c 185 323 287.16 34.30 8.37 1000000 0 1451.42/1452.05 c 177 305 284.98 33.97 8.39 1000000 0 1452.61/1453.23 c 166 331 285.93 33.18 8.62 1000000 0 1453.81/1454.41 c 180 195 287.84 33.11 8.69 1000000 0 1454.91/1455.59 c 184 232 290.88 36.53 7.96 1000000 0 1456.11/1456.76 c 172 274 285.64 32.53 8.78 1000000 0 1457.31/1457.94 c 177 299 290.18 33.25 8.73 1000000 0 1458.51/1459.11 c 171 265 288.45 34.49 8.36 1000000 0 1459.61/1460.29 c 187 232 288.97 34.04 8.49 1000000 0 1460.81/1461.47 c 169 269 282.13 34.16 8.26 1000000 0 1462.01/1462.65 c 181 267 286.92 32.85 8.73 1000000 0 1463.21/1463.82 c 177 252 280.79 31.80 8.83 1000000 0 1464.41/1465.00 c 169 292 284.23 32.80 8.66 1000000 0 1465.51/1466.18 c 178 254 281.22 32.03 8.78 1000000 0 1466.72/1467.35 c 171 226 286.44 33.19 8.63 1000000 0 1467.91/1468.53 c 171 287 287.64 36.27 7.93 1000000 0 1469.11/1469.71 c 172 295 286.38 33.37 8.58 1000000 0 1470.21/1470.88 c 173 252 284.64 32.08 8.87 1000000 0 1471.41/1472.06 c 180 302 287.59 31.58 9.11 1000000 0 1472.61/1473.24 c 185 277 288.13 32.86 8.77 1000000 0 1473.81/1474.41 c 185 236 287.74 32.96 8.73 1000000 0 1474.91/1475.59 c 155 337 282.12 33.22 8.49 1000000 0 1476.11/1476.78 c 184 304 288.34 32.87 8.77 1000000 0 1477.31/1477.95 c 153 256 288.58 34.70 8.32 1000000 0 1478.50/1479.12 c 170 321 286.05 33.55 8.53 1000000 0 1479.70/1480.30 c 169 296 289.82 34.39 8.43 1000000 0 1480.80/1481.47 c 163 285 286.45 32.71 8.76 1000000 0 1482.00/1482.65 c 185 267 285.92 31.35 9.12 1000000 0 1483.21/1483.83 c 167 313 285.03 35.12 8.12 1000000 0 1484.41/1485.01 c 172 257 285.96 32.49 8.80 1000000 0 1485.51/1486.19 c 183 284 290.51 33.53 8.66 1000000 0 1486.70/1487.37 c 184 315 283.16 33.98 8.33 1000000 0 1487.90/1488.54 c 185 295 286.23 32.80 8.73 1000000 0 1489.10/1489.72 c 159 263 285.29 35.05 8.14 1000000 0 1490.20/1490.89 c 181 295 284.87 32.75 8.70 1000000 0 1491.40/1492.07 c 170 323 280.17 35.21 7.96 1000000 0 1492.60/1493.25 c 170 228 284.75 35.15 8.10 1000000 0 1493.80/1494.42 c 165 283 281.77 33.03 8.53 1000000 0 1495.00/1495.60 c 187 381 284.58 33.54 8.48 1000000 0 1496.10/1496.78 c 177 251 289.55 33.19 8.73 1000000 0 1497.30/1497.95 c 171 273 285.82 33.33 8.57 1000000 0 1498.49/1499.13 c 186 260 287.95 32.22 8.94 1000000 0 1499.70/1500.31 c 182 303 286.15 32.82 8.72 1000000 0 1500.80/1501.49 c 179 263 290.28 30.05 9.66 1000000 0 1502.00/1502.66 c 170 264 287.27 30.65 9.37 1000000 0 1503.19/1503.84 c 142 284 281.90 32.13 8.77 1000000 0 1504.39/1505.02 c 147 330 287.80 31.17 9.23 1000000 0 1505.49/1506.19 c 182 253 290.10 33.12 8.76 1000000 0 1506.69/1507.37 c 170 270 290.84 36.60 7.95 1000000 0 1507.89/1508.55 c 159 311 283.79 33.05 8.59 1000000 0 1509.09/1509.72 c 151 243 283.22 33.07 8.57 1000000 0 1510.29/1510.90 c 148 296 284.36 33.60 8.46 1000000 0 1511.39/1512.08 c 188 292 286.88 34.69 8.27 1000000 0 1512.59/1513.25 c 161 278 284.30 33.62 8.46 1000000 0 1513.79/1514.44 c 169 304 287.67 34.22 8.41 1000000 0 1514.99/1515.61 c 174 297 284.40 34.23 8.31 1000000 0 1516.09/1516.79 c 168 323 280.06 32.73 8.56 1000000 0 1517.29/1517.97 c 180 265 284.67 33.31 8.55 1000000 0 1518.49/1519.14 c 166 300 284.25 33.07 8.60 1000000 0 1519.68/1520.32 c 174 258 288.10 34.38 8.38 1000000 0 1520.88/1521.50 c 162 282 286.29 33.70 8.49 1000000 0 1521.98/1522.67 c 169 320 286.54 36.96 7.75 1000000 0 1523.18/1523.84 c 175 259 286.57 34.59 8.29 1000000 0 1524.38/1525.03 c 187 342 288.59 33.05 8.73 1000000 0 1525.58/1526.20 c 177 260 285.03 33.72 8.45 1000000 0 1526.68/1527.38 c 178 310 282.85 33.30 8.49 1000000 0 1527.88/1528.56 c 188 266 288.04 34.22 8.42 1000000 0 1529.08/1529.73 c 177 310 288.60 33.36 8.65 1000000 0 1530.28/1530.91 c 172 283 286.05 35.68 8.02 1000000 0 1531.38/1532.09 c 172 296 286.60 33.79 8.48 1000000 0 1532.58/1533.27 c 174 284 290.16 33.02 8.79 1000000 0 1533.79/1534.44 c 173 289 290.20 32.41 8.95 1000000 0 1534.99/1535.62 c 181 252 283.87 33.43 8.49 1000000 0 1536.09/1536.79 c 174 268 282.63 31.34 9.02 1000000 0 1537.28/1537.97 c 151 287 286.66 33.09 8.66 1000000 0 1538.48/1539.15 c 183 253 289.01 35.66 8.11 1000000 0 1539.68/1540.33 c 172 195 290.52 33.28 8.73 1000000 0 1540.88/1541.51 c 178 286 287.26 32.96 8.71 1000000 0 1541.98/1542.68 c 182 307 285.20 35.02 8.14 1000000 0 1543.18/1543.87 c 178 222 289.36 33.49 8.64 1000000 0 1544.37/1545.05 c 153 318 282.78 32.87 8.60 1000000 0 1545.57/1546.22 c 171 368 289.34 33.46 8.65 1000000 0 1546.67/1547.39 c 155 361 281.71 35.76 7.88 1000000 0 1547.87/1548.57 c 158 229 285.39 34.19 8.35 1000000 0 1549.07/1549.74 c 179 309 286.43 39.23 7.30 1000000 0 1550.28/1550.92 c 179 368 287.73 36.72 7.84 1000000 0 1551.38/1552.09 c 162 293 282.73 34.43 8.21 1000000 0 1552.58/1553.27 c 158 281 285.38 33.58 8.50 1000000 0 1553.77/1554.45 c 182 256 290.61 34.53 8.42 1000000 0 1554.97/1555.63 c 170 258 288.54 34.34 8.40 1000000 0 1556.17/1556.81 c 172 300 288.14 34.08 8.46 1000000 0 1557.27/1557.99 c 169 395 285.24 33.08 8.62 1000000 0 1558.47/1559.17 c 172 269 285.19 35.22 8.10 1000000 0 1559.67/1560.35 c 176 253 284.34 34.93 8.14 1000000 0 1560.87/1561.54 c 174 264 285.10 33.30 8.56 1000000 0 1562.07/1562.71 c 182 234 289.79 32.84 8.82 1000000 0 1563.17/1563.89 c 168 275 286.14 36.64 7.81 1000000 0 1564.37/1565.07 c 177 291 285.30 32.57 8.76 1000000 0 1565.57/1566.24 c 175 353 286.54 34.37 8.34 1000000 0 1566.77/1567.42 c 174 318 286.26 34.94 8.19 1000000 0 1567.87/1568.59 c 177 272 285.38 33.89 8.42 1000000 0 1569.07/1569.77 c 173 324 286.70 32.55 8.81 1000000 0 1570.27/1570.95 c 174 315 287.13 32.66 8.79 1000000 0 1571.47/1572.13 c 171 312 284.37 31.90 8.91 1000000 0 1572.66/1573.30 c 172 268 288.81 33.50 8.62 1000000 0 1573.76/1574.47 c 173 238 286.74 33.80 8.48 1000000 0 1574.96/1575.65 c 174 255 287.36 32.78 8.77 1000000 0 1576.16/1576.82 c 163 320 284.15 34.00 8.36 1000000 0 1577.26/1577.99 c 144 316 290.69 34.09 8.53 1000000 0 1578.46/1579.17 c 169 297 287.94 34.96 8.24 1000000 0 1579.66/1580.35 c 161 271 287.90 39.70 7.25 1000000 0 1580.86/1581.53 c 182 326 286.87 34.31 8.36 1000000 0 1582.06/1582.71 c 172 285 279.31 35.94 7.77 1000000 0 1583.16/1583.88 c 175 265 282.84 33.07 8.55 1000000 0 1584.37/1585.06 c 170 283 281.17 32.56 8.64 1000000 0 1585.57/1586.23 c 189 317 290.58 32.10 9.05 1000000 0 1586.76/1587.41 c 174 285 289.03 34.80 8.31 1000000 0 1587.86/1588.59 c 171 281 284.32 37.23 7.64 1000000 0 1589.06/1589.77 c 183 266 287.54 33.54 8.57 1000000 0 1590.26/1590.95 c 188 293 291.19 34.30 8.49 1000000 0 1591.46/1592.12 c 190 258 285.72 32.96 8.67 1000000 0 1592.66/1593.30 c 168 310 285.75 31.62 9.04 1000000 0 1593.76/1594.47 c 165 266 280.99 33.21 8.46 1000000 0 1594.95/1595.66 c 184 256 286.06 35.28 8.11 1000000 0 1596.15/1596.83 c 171 274 290.36 34.28 8.47 1000000 0 1597.35/1598.00 c 178 309 289.76 34.21 8.47 1000000 0 1598.45/1599.17 c 185 289 289.71 35.01 8.28 1000000 0 1599.65/1600.35 c 157 278 286.39 34.37 8.33 1000000 0 1600.86/1601.52 c 181 288 282.86 31.06 9.11 1000000 0 1601.96/1602.70 c 159 319 284.52 33.32 8.54 1000000 0 1603.16/1603.88 c 176 314 290.79 36.28 8.01 1000000 0 1604.35/1605.06 c 173 292 287.30 31.87 9.02 1000000 0 1605.55/1606.23 c 176 245 281.41 34.12 8.25 1000000 0 1606.75/1607.41 c 172 289 285.24 34.46 8.28 1000000 0 1607.85/1608.58 c 171 322 283.44 34.02 8.33 1000000 0 1609.05/1609.75 c 191 325 285.90 31.75 9.01 1000000 0 1610.25/1610.93 c 180 312 281.77 33.59 8.39 1000000 0 1611.45/1612.10 c 179 330 286.17 34.54 8.29 1000000 0 1612.55/1613.28 c 168 241 286.90 33.54 8.55 1000000 0 1613.75/1614.46 c 177 272 285.39 31.84 8.96 1000000 0 1614.95/1615.64 c 181 320 282.50 34.29 8.24 1000000 0 1616.15/1616.81 c 154 223 287.36 34.54 8.32 1000000 0 1617.25/1617.99 c 180 229 285.99 33.25 8.60 1000000 0 1618.45/1619.17 c 149 265 288.74 32.66 8.84 1000000 0 1619.65/1620.34 c 184 300 284.87 30.98 9.20 1000000 0 1620.85/1621.52 c 183 298 289.90 36.94 7.85 1000000 0 1621.95/1622.70 c 184 354 288.71 34.84 8.29 1000000 0 1623.15/1623.87 c 180 256 283.48 31.11 9.11 1000000 0 1624.35/1625.05 c 179 264 283.18 32.91 8.61 1000000 0 1625.54/1626.22 c 172 339 280.87 32.11 8.75 1000000 0 1626.74/1627.40 c 164 311 288.03 34.14 8.44 1000000 0 1627.84/1628.58 c 167 222 281.79 33.87 8.32 1000000 0 1629.04/1629.76 c 170 274 282.69 33.61 8.41 1000000 0 1630.24/1630.94 c 181 290 284.30 33.34 8.53 1000000 0 1631.44/1632.12 c 176 254 288.50 34.38 8.39 1000000 0 1632.64/1633.30 c 182 322 286.33 30.93 9.26 1000000 0 1633.74/1634.49 c 180 287 285.41 32.13 8.88 1000000 0 1634.95/1635.66 c 164 301 289.69 34.96 8.29 1000000 0 1636.15/1636.84 c 170 228 285.07 32.97 8.65 1000000 0 1637.34/1638.02 c 177 289 286.91 34.60 8.29 1000000 0 1638.44/1639.20 c 180 285 291.07 34.63 8.40 1000000 0 1639.64/1640.37 c 169 311 286.17 32.98 8.68 1000000 0 1640.84/1641.54 c 185 232 286.58 31.30 9.16 1000000 0 1642.04/1642.72 c 176 250 283.34 33.52 8.45 1000000 0 1643.24/1643.90 c 165 277 281.06 32.13 8.75 1000000 0 1644.34/1645.08 c 179 325 288.40 34.91 8.26 1000000 0 1645.54/1646.25 c 170 237 288.21 33.12 8.70 1000000 0 1646.74/1647.43 c 161 220 284.44 33.32 8.54 1000000 0 1647.94/1648.61 c 168 269 282.26 34.11 8.27 1000000 0 1649.04/1649.79 c 172 256 278.68 35.27 7.90 1000000 0 1650.23/1650.97 c 176 236 285.34 34.34 8.31 1000000 0 1651.44/1652.15 c 180 258 285.59 33.25 8.59 1000000 0 1652.64/1653.32 c 175 307 284.70 32.98 8.63 1000000 0 1653.83/1654.50 c 164 323 290.59 36.22 8.02 1000000 0 1654.93/1655.68 c 169 250 280.37 33.74 8.31 1000000 0 1656.13/1656.85 c 174 300 285.51 33.42 8.54 1000000 0 1657.33/1658.03 c 165 248 284.65 35.62 7.99 1000000 0 1658.53/1659.21 c 171 268 286.68 35.06 8.18 1000000 0 1659.63/1660.38 c 185 248 286.17 33.83 8.46 1000000 0 1660.83/1661.56 c 178 228 288.98 32.59 8.87 1000000 0 1662.03/1662.74 c 179 290 287.22 32.07 8.96 1000000 0 1663.23/1663.92 c 164 277 289.35 34.58 8.37 1000000 0 1664.33/1665.09 c 177 305 287.83 35.62 8.08 1000000 0 1665.53/1666.27 c 162 270 287.36 34.30 8.38 1000000 0 1666.73/1667.44 c 186 292 285.04 32.47 8.78 1000000 0 1667.94/1668.62 c 165 259 285.42 33.06 8.63 1000000 0 1669.04/1669.79 c 167 284 285.81 33.45 8.54 1000000 0 1670.24/1670.97 c 160 247 282.81 33.85 8.36 1000000 0 1671.43/1672.14 c 167 358 284.71 34.04 8.36 1000000 0 1672.63/1673.32 c 176 243 286.22 33.49 8.55 1000000 0 1673.83/1674.50 c 171 270 281.89 34.66 8.13 1000000 0 1674.93/1675.67 c 172 264 285.96 33.35 8.57 1000000 0 1676.13/1676.85 c 179 280 284.19 33.56 8.47 1000000 0 1677.33/1678.03 c 177 311 285.18 32.51 8.77 1000000 0 1678.42/1679.20 c 182 233 285.24 35.02 8.14 1000000 0 1679.62/1680.37 c 164 289 290.55 35.69 8.14 1000000 0 1680.82/1681.55 c 174 274 286.49 37.06 7.73 1000000 0 1682.02/1682.73 c 165 318 291.15 31.60 9.21 1000000 0 1683.22/1683.91 c 176 315 282.98 33.66 8.41 1000000 0 1684.32/1685.08 c 165 253 284.70 33.23 8.57 1000000 0 1685.53/1686.25 c 179 282 288.64 35.40 8.15 1000000 0 1686.73/1687.42 c 178 277 286.65 35.85 8.00 1000000 0 1687.83/1688.59 c 181 351 287.75 36.43 7.90 1000000 0 1689.02/1689.76 c 170 326 280.73 33.37 8.41 1000000 0 1690.22/1690.94 c 174 341 284.53 33.21 8.57 1000000 0 1691.42/1692.12 c 165 304 279.54 33.39 8.37 1000000 0 1692.52/1693.29 c 159 292 286.72 35.61 8.05 1000000 0 1693.72/1694.47 c 180 300 285.28 32.17 8.87 1000000 0 1694.92/1695.64 c 174 334 283.29 34.12 8.30 1000000 0 1696.12/1696.82 c 168 310 286.74 36.66 7.82 1000000 0 1697.22/1698.00 c 183 290 290.72 35.75 8.13 1000000 0 1698.42/1699.17 c 177 293 289.41 32.37 8.94 1000000 0 1699.62/1700.35 c 183 240 282.86 32.92 8.59 1000000 0 1700.82/1701.53 c 185 287 286.34 33.96 8.43 1000000 0 1701.92/1702.70 c 192 276 295.25 34.01 8.68 1000000 0 1703.12/1703.88 c 177 234 285.27 33.57 8.50 1000000 0 1704.32/1705.05 c 180 263 283.57 32.84 8.64 1000000 0 1705.51/1706.23 c 139 278 289.31 33.61 8.61 1000000 0 1706.71/1707.40 c 173 335 283.20 34.64 8.17 1000000 0 1707.81/1708.58 c 155 314 289.05 33.61 8.60 1000000 0 1709.01/1709.76 c 185 256 284.98 33.62 8.48 1000000 0 1710.21/1710.93 c 180 304 281.35 33.77 8.33 1000000 0 1711.41/1712.10 c 167 286 287.08 33.00 8.70 1000000 0 1712.51/1713.28 c 173 340 284.37 32.61 8.72 1000000 0 1713.71/1714.46 c 184 253 286.21 32.57 8.79 1000000 0 1714.91/1715.64 c 161 248 286.89 32.57 8.81 1000000 0 1716.11/1716.81 c 178 283 287.76 34.13 8.43 1000000 0 1717.21/1717.98 c 168 283 291.08 34.37 8.47 1000000 0 1718.41/1719.15 c 185 197 279.25 31.80 8.78 1000000 0 1719.62/1720.33 c 167 275 286.62 33.31 8.60 1000000 0 1720.82/1721.51 c 168 315 287.11 34.52 8.32 1000000 0 1721.92/1722.68 c 164 295 287.20 34.41 8.35 1000000 0 1723.11/1723.85 c 158 305 279.70 31.90 8.77 1000000 0 1724.31/1725.03 c 160 268 287.65 34.14 8.42 1000000 0 1725.51/1726.21 c 182 285 290.06 33.84 8.57 1000000 0 1726.61/1727.39 c 176 262 283.66 34.41 8.24 1000000 0 1727.80/1728.56 c 172 267 288.07 38.13 7.55 1000000 0 1729.00/1729.74 c 182 350 288.27 37.14 7.76 1000000 0 1730.20/1730.91 c 175 273 280.95 33.99 8.27 1000000 0 1731.30/1732.09 c 168 322 288.42 34.39 8.39 1000000 0 1732.50/1733.27 c 165 279 286.48 34.21 8.38 1000000 0 1733.70/1734.45 c 163 298 289.37 33.42 8.66 1000000 0 1734.90/1735.62 c 163 332 289.64 35.54 8.15 1000000 0 1736.00/1736.79 c 177 251 284.51 31.35 9.08 1000000 0 1737.21/1737.97 c 180 276 287.56 30.73 9.36 1000000 0 1738.41/1739.14 c 170 243 284.07 34.70 8.19 1000000 0 1739.60/1740.32 c 167 282 283.59 33.78 8.39 1000000 0 1740.80/1741.50 c 174 235 282.82 34.44 8.21 1000000 0 1741.90/1742.68 c 171 317 288.86 34.13 8.46 1000000 0 1743.10/1743.85 c 163 296 290.51 31.95 9.09 1000000 0 1744.30/1745.04 c 169 229 291.18 35.86 8.12 1000000 0 1745.50/1746.21 c 166 237 288.39 34.85 8.27 1000000 0 1746.60/1747.39 c 175 310 288.71 32.28 8.94 1000000 0 1747.80/1748.56 c 158 297 284.60 33.23 8.57 1000000 0 1749.00/1749.74 c 168 313 285.00 35.17 8.10 1000000 0 1750.20/1750.92 c 173 391 285.09 34.05 8.37 1000000 0 1751.30/1752.09 c 161 297 290.03 35.16 8.25 1000000 0 1752.50/1753.27 c 185 298 288.62 31.45 9.18 1000000 0 1753.70/1754.45 c 162 283 285.13 33.35 8.55 1000000 0 1754.90/1755.63 c 173 243 282.74 32.53 8.69 1000000 0 1756.10/1756.80 c 177 299 284.66 33.58 8.48 1000000 0 1757.19/1757.98 c 157 257 288.56 37.13 7.77 1000000 0 1758.39/1759.16 c 168 323 281.26 33.82 8.32 1000000 0 1759.59/1760.34 c 187 317 290.14 33.55 8.65 1000000 0 1760.79/1761.51 c 181 275 283.91 32.97 8.61 1000000 0 1761.89/1762.69 c 178 278 282.85 31.87 8.87 1000000 0 1763.09/1763.86 c 169 263 281.87 31.37 8.99 1000000 0 1764.29/1765.04 c 178 359 288.42 32.36 8.91 1000000 0 1765.49/1766.21 c 158 242 284.50 33.54 8.48 1000000 0 1766.59/1767.39 c 174 271 284.20 35.70 7.96 1000000 0 1767.79/1768.57 c 166 273 286.51 32.04 8.94 1000000 0 1768.99/1769.74 c 172 322 287.69 34.33 8.38 1000000 0 1770.20/1770.92 c 182 332 290.55 32.84 8.85 1000000 0 1771.30/1772.09 c 180 279 286.17 33.97 8.43 1000000 0 1772.50/1773.27 c 179 277 288.24 33.34 8.64 1000000 0 1773.69/1774.44 c 191 258 290.21 32.87 8.83 1000000 0 1774.89/1775.62 c 180 275 283.34 34.24 8.27 1000000 0 1775.99/1776.79 c 176 227 282.43 32.61 8.66 1000000 0 1777.19/1777.97 c 178 287 287.03 35.03 8.19 1000000 0 1778.39/1779.14 c 178 292 287.86 31.64 9.10 1000000 0 1779.59/1780.33 c 185 313 286.76 32.81 8.74 1000000 0 1780.79/1781.51 c 185 329 286.79 30.67 9.35 1000000 0 1781.89/1782.69 c 185 322 290.38 32.44 8.95 1000000 0 1783.08/1783.86 c 179 358 286.55 33.14 8.65 1000000 0 1784.28/1785.04 c 170 278 288.74 35.12 8.22 1000000 0 1785.48/1786.22 c 176 271 287.49 35.61 8.07 1000000 0 1786.58/1787.39 c 165 263 289.89 33.78 8.58 1000000 0 1787.79/1788.57 c 170 282 284.58 35.06 8.12 1000000 0 1788.99/1789.74 c 175 289 286.06 31.89 8.97 1000000 0 1790.18/1790.91 c 171 252 285.94 33.23 8.60 1000000 0 1791.28/1792.08 c 175 300 285.42 32.81 8.70 1000000 0 1792.48/1793.26 c 183 245 285.37 30.73 9.29 1000000 0 1793.68/1794.43 c 171 264 282.90 34.30 8.25 1000000 0 1794.88/1795.61 c 163 308 282.88 34.71 8.15 1000000 0 1795.98/1796.79 c 166 236 286.52 34.36 8.34 1000000 0 1797.18/1797.96 c 164 221 283.84 33.10 8.57 1000000 0 1798.38/1799.14 c 179 296 286.10 34.71 8.24 1000000 0 1799.58/1800.32 c 172 218 285.45 34.21 8.34 1000000 0 1800.08/1800.80 HOME/run: line 2: 21447 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-2684496-1278432532/watcher-2684496-1278432532 -o /tmp/evaluation-result-2684496-1278432532/solver-2684496-1278432532 -C 1800 -W 2000 -M 1800 run HOME/instance-2684496-1278432532.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.00 0.00 0.00 2/106 21446 /proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) R 21444 21446 21420 0 -1 4202496 343 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659260821 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [startup+0.0345739 s] /proc/loadavg: 0.00 0.00 0.00 2/106 21446 /proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100587 s] /proc/loadavg: 0.00 0.00 0.00 2/106 21446 /proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300626 s] /proc/loadavg: 0.00 0.00 0.00 2/106 21446 /proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700705 s] /proc/loadavg: 0.00 0.00 0.00 2/106 21446 /proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50086 s] /proc/loadavg: 0.00 0.00 0.00 2/108 21448 /proc/meminfo: memFree=1505300/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1.49 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 149 0 0 0 19 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 952 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10118 s] /proc/loadavg: 0.00 0.00 0.00 2/108 21448 /proc/meminfo: memFree=1505052/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=3.09 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 309 0 0 0 24 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 952 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30081 s] /proc/loadavg: 0.08 0.02 0.01 2/108 21448 /proc/meminfo: memFree=1504928/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=6.28 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 628 0 0 0 25 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 952 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7011 s] /proc/loadavg: 0.15 0.03 0.01 2/108 21448 /proc/meminfo: memFree=1504804/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=12.68 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 1268 0 0 0 25 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 952 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5006 s] /proc/loadavg: 0.34 0.08 0.02 2/108 21448 /proc/meminfo: memFree=1504804/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=25.48 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 2548 0 0 0 25 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 952 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1007 s] /proc/loadavg: 0.56 0.15 0.05 2/108 21449 /proc/meminfo: memFree=1504804/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=51.07 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 5107 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519808 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.81 0.28 0.10 2/108 21450 /proc/meminfo: memFree=1504556/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=102.25 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 10225 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/108 21452 /proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=162.22 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 16222 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/108 21454 /proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=222.2 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 22220 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134572043 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/108 21455 /proc/meminfo: memFree=1504308/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=282.18 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 28218 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/108 21456 /proc/meminfo: memFree=1504184/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=342.15 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 34215 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/108 21458 /proc/meminfo: memFree=1504184/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=402.13 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 40213 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1061.88 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 106187 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.67 2/108 21481 /proc/meminfo: memFree=1502944/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1121.85 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 112184 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134537125 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/108 21482 /proc/meminfo: memFree=1502696/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1181.82 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 118181 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 21483 /proc/meminfo: memFree=1502572/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1241.8 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 124179 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/108 21485 /proc/meminfo: memFree=1502448/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1301.78 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 130177 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 21487 /proc/meminfo: memFree=1502448/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1361.75 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 136174 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/108 21489 /proc/meminfo: memFree=1502324/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1421.73 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 142172 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/108 21490 /proc/meminfo: memFree=1502076/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1481.7 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 148169 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526726 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/108 21491 /proc/meminfo: memFree=1502076/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1541.68 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 154167 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.79 2/108 21493 /proc/meminfo: memFree=1501952/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1601.65 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 160164 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 21495 /proc/meminfo: memFree=1501952/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1661.63 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 166162 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 21497 /proc/meminfo: memFree=1501828/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1721.61 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 172160 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21498 /proc/meminfo: memFree=1501456/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1781.59 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 178158 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21499 /proc/meminfo: memFree=1501456/2059040 swapFree=4192956/4192956 [pid=21446] ppid=21444 vsize=8700 CPUtime=0 /proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21446/statm: 2175 243 204 178 0 68 0 [pid=21447] ppid=21446 vsize=40452 CPUtime=1800.08 /proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 180007 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21447/statm: 10113 953 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.81 CPU time (s): 1800.1 CPU user time (s): 1800.08 CPU system time (s): 0.021996 CPU usage (%): 99.9607 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= 1395 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= 6605 runsolver used 3.2875 second user time and 8.26174 second system time The end
Begin job on node033 at 2010-07-06 18:08:53 IDJOB=2684496 IDBENCH=72683 IDSOLVER=1171 FILE ID=node033/2684496-1278432532 PBS_JOBID= 11233446 Free space on /tmp= 62488 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_10-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684496-1278432532/watcher-2684496-1278432532 -o /tmp/evaluation-result-2684496-1278432532/solver-2684496-1278432532 -C 1800 -W 2000 -M 1800 run HOME/instance-2684496-1278432532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 42dd40b7036ee1d1ca1e1784551c3e09 RANDOM SEED=985293338 node033.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.264 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.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1510284 kB Buffers: 92464 kB Cached: 324752 kB SwapCached: 0 kB Active: 161688 kB Inactive: 315448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1510284 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1340 kB Writeback: 0 kB AnonPages: 59912 kB Mapped: 14352 kB Slab: 49688 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179888 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= 62484 MiB End job on node033 at 2010-07-06 18:38:54