Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.04 | 1800.72 |
Name | /DEC-SMALLINT-LIN/oliveras/j90/ normalized-j907_8-unsat.opb |
MD5SUM | 6d22d1a2ad9ad09989fc3383e19b4a9d |
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.138978 |
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 | 10920 |
Total number of constraints | 34033 |
Number of constraints which are clauses | 33797 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 236 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
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 | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 345 |
Number of bits of the biggest sum of numbers | 9 |
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.08 c PB-wave - v2 0.00/0.08 c command line = ./PB-wave 0.00/0.08 c seed = 58027909 0.00/0.08 c cutoff = 1000000 0.00/0.08 c tries = 1000000 0.00/0.08 c heuristic = c best, noise 50 / 100 0.00/0.08 #var 10920 #con 34033 0.00/0.08 mode is SAT 0.00/0.08 c tail starts after flip = 32760 0.00/0.08 c numatom = 10920, numclause = 34033, numliterals = 82736 0.00/0.08 c wff read in 0.00/0.08 c 0.00/0.08 c lowest final avg noise noise total avg mean mean 0.00/0.08 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.08 c this this this this this this success success until std 0.00/0.08 c try try try try try try rate tries assign dev 0.00/0.08 c 1.19/1.23 c 208 353 391.56 80.07 4.89 1000000 0 2.29/2.38 c 194 493 390.60 85.01 4.59 1000000 0 3.49/3.54 c 206 377 394.64 73.10 5.40 1000000 0 4.59/4.70 c 193 442 391.56 70.76 5.53 1000000 0 5.79/5.85 c 198 351 384.82 78.83 4.88 1000000 0 6.99/7.00 c 215 378 392.36 82.07 4.78 1000000 0 8.09/8.16 c 200 475 405.65 80.90 5.01 1000000 0 9.29/9.32 c 211 361 404.41 74.41 5.43 1000000 0 10.39/10.48 c 213 364 403.93 86.32 4.68 1000000 0 11.58/11.63 c 194 406 377.07 78.43 4.81 1000000 0 12.68/12.78 c 206 299 380.37 67.53 5.63 1000000 0 13.88/13.94 c 193 336 391.21 81.64 4.79 1000000 0 14.98/15.09 c 169 394 398.73 83.15 4.80 1000000 0 16.18/16.24 c 216 371 386.92 86.58 4.47 1000000 0 17.38/17.40 c 171 485 398.84 72.62 5.49 1000000 0 18.48/18.55 c 214 395 389.02 66.88 5.82 1000000 0 19.69/19.71 c 213 505 396.15 74.90 5.29 1000000 0 20.79/20.86 c 195 409 396.73 76.91 5.16 1000000 0 21.99/22.01 c 223 333 388.33 71.56 5.43 1000000 0 23.09/23.17 c 191 346 385.53 82.30 4.68 1000000 0 24.28/24.31 c 193 230 368.86 75.11 4.91 1000000 0 25.38/25.47 c 196 405 390.18 95.78 4.07 1000000 0 26.58/26.62 c 182 394 380.47 90.17 4.22 1000000 0 27.68/27.78 c 183 390 402.41 76.86 5.24 1000000 0 28.88/28.94 c 197 409 388.70 83.86 4.64 1000000 0 29.98/30.09 c 185 400 398.86 81.44 4.90 1000000 0 31.17/31.24 c 190 385 379.35 75.25 5.04 1000000 0 32.27/32.40 c 201 395 390.86 79.49 4.92 1000000 0 33.47/33.55 c 166 371 379.55 69.77 5.44 1000000 0 34.67/34.70 c 206 354 384.35 93.24 4.12 1000000 0 35.77/35.85 c 186 240 380.02 82.13 4.63 1000000 0 36.97/37.00 c 188 329 374.58 85.84 4.36 1000000 0 38.07/38.15 c 211 414 383.16 83.86 4.57 1000000 0 39.27/39.30 c 188 439 374.88 70.22 5.34 1000000 0 40.37/40.45 c 213 411 380.33 80.98 4.70 1000000 0 41.57/41.60 c 211 313 399.66 87.52 4.57 1000000 0 42.67/42.75 c 169 309 367.02 75.83 4.84 1000000 0 43.88/43.90 c 202 419 391.20 76.83 5.09 1000000 0 44.98/45.06 c 188 388 390.13 89.58 4.36 1000000 0 46.17/46.21 c 195 420 385.67 102.29 3.77 1000000 0 47.27/47.36 c 199 398 399.51 77.84 5.13 1000000 0 48.47/48.52 c 230 401 392.82 81.12 4.84 1000000 0 49.57/49.68 c 210 377 394.88 86.35 4.57 1000000 0 50.77/50.83 c 202 311 376.48 83.68 4.50 1000000 0 51.86/51.98 c 198 249 400.14 97.98 4.08 1000000 0 53.06/53.14 c 202 449 392.24 76.79 5.11 1000000 0 54.16/54.29 c 206 421 391.07 77.25 5.06 1000000 0 55.36/55.44 c 193 429 388.23 69.33 5.60 1000000 0 56.46/56.59 c 205 370 365.24 84.30 4.33 1000000 0 57.66/57.75 c 216 313 392.10 82.18 4.77 1000000 0 58.86/58.90 c 225 402 389.36 83.82 4.65 1000000 0 59.96/60.05 c 210 342 395.34 80.94 4.88 1000000 0 61.16/61.20 c 227 368 393.74 78.83 4.99 1000000 0 62.26/62.36 c 203 449 397.79 79.94 4.98 1000000 0 63.46/63.51 c 199 356 382.82 77.43 4.94 1000000 0 64.56/64.66 c 239 297 394.65 68.23 5.78 1000000 0 65.76/65.82 c 229 359 396.94 75.49 5.26 1000000 0 66.86/66.97 c 187 385 391.65 75.95 5.16 1000000 0 68.06/68.13 c 181 518 389.67 93.34 4.17 1000000 0 69.16/69.29 c 192 385 408.90 90.79 4.50 1000000 0 70.37/70.44 c 205 347 393.06 83.00 4.74 1000000 0 71.46/71.59 c 198 409 384.75 85.16 4.52 1000000 0 72.66/72.75 c 200 341 386.59 80.14 4.82 1000000 0 73.86/73.91 c 216 314 394.86 89.90 4.39 1000000 0 74.96/75.06 c 213 440 394.53 83.29 4.74 1000000 0 76.16/76.21 c 208 411 390.12 82.01 4.76 1000000 0 77.25/77.37 c 160 328 391.09 93.15 4.20 1000000 0 78.45/78.52 c 143 434 393.76 74.07 5.32 1000000 0 79.55/79.67 c 203 492 393.46 89.90 4.38 1000000 0 80.75/80.83 c 175 347 387.49 73.58 5.27 1000000 0 81.85/81.98 c 193 356 396.86 84.51 4.70 1000000 0 83.05/83.13 c 193 330 390.58 91.85 4.25 1000000 0 84.15/84.29 c 180 368 395.82 94.38 4.19 1000000 0 85.35/85.44 c 202 372 390.99 84.23 4.64 1000000 0 86.45/86.59 c 196 385 393.93 87.98 4.48 1000000 0 87.65/87.75 c 194 277 387.03 79.17 4.89 1000000 0 88.85/88.90 c 213 296 398.36 76.18 5.23 1000000 0 89.95/90.05 c 198 487 396.95 82.39 4.82 1000000 0 91.16/91.21 c 221 431 402.45 72.33 5.56 1000000 0 92.25/92.37 c 203 281 406.96 73.44 5.54 1000000 0 93.46/93.52 c 194 343 386.20 73.36 5.26 1000000 0 94.55/94.67 c 199 384 387.37 88.17 4.39 1000000 0 95.75/95.82 c 179 375 387.29 91.69 4.22 1000000 0 96.85/96.98 c 208 439 392.36 75.52 5.20 1000000 0 98.05/98.13 c 207 446 392.33 78.91 4.97 1000000 0 99.15/99.29 c 180 325 393.83 96.75 4.07 1000000 0 100.35/100.45 c 218 428 404.04 90.60 4.46 1000000 0 101.55/101.60 c 194 406 376.38 78.42 4.80 1000000 0 102.65/102.75 c 205 361 403.55 71.96 5.61 1000000 0 103.85/103.90 c 205 399 381.71 70.35 5.43 1000000 0 104.95/105.06 c 207 389 391.62 76.30 5.13 1000000 0 106.15/106.20 c 176 479 378.56 83.82 4.52 1000000 0 107.25/107.36 c 200 298 381.25 83.34 4.57 1000000 0 108.45/108.51 c 189 430 387.20 71.98 5.38 1000000 0 109.55/109.67 c 210 397 396.42 81.05 4.89 1000000 0 110.75/110.82 c 195 346 384.60 74.03 5.20 1000000 0 111.85/111.97 c 218 405 390.19 93.36 4.18 1000000 0 113.05/113.13 c 198 363 383.63 72.82 5.27 1000000 0 114.15/114.28 c 213 341 395.68 72.07 5.49 1000000 0 115.35/115.43 c 203 321 387.32 78.76 4.92 1000000 0 116.45/116.59 c 184 389 389.77 85.40 4.56 1000000 0 117.65/117.74 c 206 387 398.88 82.32 4.85 1000000 0 118.84/118.90 c 199 362 387.65 78.92 4.91 1000000 0 119.94/120.05 c 196 254 387.64 69.46 5.58 1000000 0 121.15/121.20 c 196 268 379.17 96.71 3.92 1000000 0 122.24/122.36 c 192 311 395.06 72.20 5.47 1000000 0 123.44/123.51 c 192 353 388.11 83.11 4.67 1000000 0 124.54/124.66 c 256 388 396.77 72.61 5.46 1000000 0 125.74/125.82 c 203 335 391.28 93.01 4.21 1000000 0 126.84/126.96 c 176 258 385.07 85.42 4.51 1000000 0 128.04/128.12 c 202 351 378.02 73.32 5.16 1000000 0 129.14/129.27 c 205 463 371.92 78.68 4.73 1000000 0 130.34/130.42 c 189 535 389.29 87.89 4.43 1000000 0 131.44/131.58 c 228 308 400.88 76.91 5.21 1000000 0 132.64/132.73 c 201 387 378.82 72.06 5.26 1000000 0 133.74/133.89 c 196 399 389.49 70.30 5.54 1000000 0 134.94/135.04 c 192 490 391.31 80.61 4.85 1000000 0 136.14/136.20 c 228 324 377.88 77.57 4.87 1000000 0 137.24/137.35 c 193 412 390.31 71.55 5.46 1000000 0 138.44/138.50 c 214 397 382.38 89.13 4.29 1000000 0 139.54/139.66 c 217 324 391.90 71.83 5.46 1000000 0 140.74/140.81 c 166 363 389.41 80.33 4.85 1000000 0 141.84/141.96 c 198 374 390.59 88.38 4.42 1000000 0 143.03/143.12 c 228 470 403.16 73.39 5.49 1000000 0 144.13/144.27 c 227 433 388.35 78.98 4.92 1000000 0 145.33/145.43 c 225 368 390.20 82.02 4.76 1000000 0 146.43/146.59 c 213 494 406.25 76.75 5.29 1000000 0 147.63/147.75 c 211 327 418.96 71.36 5.87 1000000 0 148.83/148.90 c 199 356 401.21 90.91 4.41 1000000 0 149.93/150.05 c 194 340 378.89 64.01 5.92 1000000 0 151.13/151.21 c 204 372 405.30 77.77 5.21 1000000 0 152.23/152.37 c 205 367 400.06 86.29 4.64 1000000 0 153.43/153.52 c 187 401 393.70 78.20 5.03 1000000 0 154.53/154.67 c 174 319 387.06 97.71 3.96 1000000 0 155.73/155.83 c 203 414 382.27 88.82 4.30 1000000 0 156.83/156.97 c 154 369 375.17 80.02 4.69 1000000 0 158.03/158.13 c 188 368 399.25 85.02 4.70 1000000 0 159.13/159.29 c 216 454 397.24 88.09 4.51 1000000 0 160.33/160.44 c 198 418 386.92 92.22 4.20 1000000 0 161.43/161.59 c 160 316 390.23 88.62 4.40 1000000 0 162.63/162.75 c 202 369 401.07 76.52 5.24 1000000 0 163.73/163.90 c 197 429 392.09 73.16 5.36 1000000 0 164.93/165.05 c 175 366 390.34 82.78 4.72 1000000 0 166.13/166.21 c 210 326 383.83 76.30 5.03 1000000 0 167.23/167.37 c 210 429 400.00 76.09 5.26 1000000 0 168.42/168.51 c 223 410 382.59 67.94 5.63 1000000 0 169.52/169.67 c 184 523 389.79 72.87 5.35 1000000 0 170.72/170.82 c 218 295 392.67 63.75 6.16 1000000 0 171.82/171.98 c 200 404 398.56 81.71 4.88 1000000 0 173.02/173.13 c 224 377 402.45 79.72 5.05 1000000 0 174.12/174.29 c 180 441 394.15 80.73 4.88 1000000 0 175.32/175.44 c 170 359 392.23 88.72 4.42 1000000 0 176.52/176.60 c 242 415 417.21 76.87 5.43 1000000 0 177.62/177.76 c 214 445 384.95 83.03 4.64 1000000 0 178.82/178.91 c 235 396 394.51 75.58 5.22 1000000 0 179.92/180.06 c 213 317 398.12 86.58 4.60 1000000 0 181.12/181.21 c 186 378 388.87 82.17 4.73 1000000 0 182.22/182.37 c 179 461 408.19 89.04 4.58 1000000 0 183.42/183.52 c 145 232 369.91 89.84 4.12 1000000 0 184.52/184.68 c 193 349 390.21 87.11 4.48 1000000 0 185.72/185.83 c 194 361 378.56 82.35 4.60 1000000 0 186.82/186.98 c 243 344 400.25 83.24 4.81 1000000 0 188.02/188.13 c 194 390 382.49 82.61 4.63 1000000 0 189.12/189.29 c 230 330 401.10 67.94 5.90 1000000 0 190.32/190.44 c 214 420 386.59 89.51 4.32 1000000 0 191.52/191.60 c 183 304 389.35 86.41 4.51 1000000 0 192.62/192.75 c 181 390 368.68 82.62 4.46 1000000 0 193.81/193.90 c 209 367 385.63 73.29 5.26 1000000 0 194.91/195.05 c 187 370 383.75 81.91 4.68 1000000 0 196.11/196.21 c 219 484 405.30 76.01 5.33 1000000 0 197.21/197.36 c 203 302 387.80 95.69 4.05 1000000 0 198.41/198.52 c 191 485 388.25 81.09 4.79 1000000 0 199.51/199.67 c 168 336 382.72 84.55 4.53 1000000 0 200.71/200.82 c 199 341 407.31 85.96 4.74 1000000 0 201.81/201.98 c 210 365 387.47 77.13 5.02 1000000 0 203.01/203.13 c 210 441 388.00 77.31 5.02 1000000 0 204.11/204.28 c 170 444 381.20 83.85 4.55 1000000 0 205.31/205.44 c 209 336 392.70 68.82 5.71 1000000 0 206.41/206.59 c 219 381 391.31 81.62 4.79 1000000 0 207.61/207.75 c 223 333 389.28 69.19 5.63 1000000 0 208.82/208.90 c 226 437 393.18 71.27 5.52 1000000 0 209.92/210.05 c 209 412 386.52 74.15 5.21 1000000 0 211.01/211.20 c 193 281 369.56 80.77 4.58 1000000 0 212.21/212.35 c 180 372 371.14 75.33 4.93 1000000 0 213.41/213.51 c 157 408 376.51 82.38 4.57 1000000 0 214.51/214.66 c 226 416 388.57 78.60 4.94 1000000 0 215.70/215.82 c 218 391 394.37 75.20 5.24 1000000 0 216.80/216.97 c 237 398 398.06 69.88 5.70 1000000 0 218.00/218.12 c 194 489 389.56 80.32 4.85 1000000 0 219.10/219.27 c 195 316 383.25 75.55 5.07 1000000 0 220.30/220.42 c 174 355 388.73 78.32 4.96 1000000 0 221.40/221.58 c 171 413 394.85 74.57 5.30 1000000 0 222.60/222.73 c 188 329 377.12 81.21 4.64 1000000 0 223.70/223.89 c 218 348 397.45 71.32 5.57 1000000 0 224.90/225.04 c 205 325 399.59 78.52 5.09 1000000 0 226.00/226.19 c 203 377 392.31 78.56 4.99 1000000 0 227.20/227.34 c 216 411 387.53 74.20 5.22 1000000 0 228.40/228.50 c 199 421 384.17 75.59 5.08 1000000 0 229.50/229.65 c 179 297 381.05 84.92 4.49 1000000 0 230.70/230.80 c 215 416 386.31 75.15 5.14 1000000 0 231.80/231.96 c 186 335 400.60 83.68 4.79 1000000 0 233.01/233.11 c 192 391 388.13 102.95 3.77 1000000 0 234.10/234.27 c 213 428 402.28 81.65 4.93 1000000 0 235.31/235.42 c 178 258 383.58 80.06 4.79 1000000 0 236.41/236.57 c 245 439 409.72 78.18 5.24 1000000 0 237.60/237.73 c 173 330 375.80 78.71 4.77 1000000 0 238.70/238.88 c 193 491 389.81 70.29 5.55 1000000 0 239.90/240.03 c 210 460 383.17 74.39 5.15 1000000 0 241.00/241.19 c 209 405 404.95 71.06 5.70 1000000 0 242.20/242.34 c 128 432 375.69 78.29 4.80 1000000 0 243.30/243.49 c 183 316 377.31 71.27 5.29 1000000 0 244.49/244.64 c 210 397 395.50 75.09 5.27 1000000 0 245.59/245.79 c 130 365 369.92 87.13 4.25 1000000 0 246.79/246.94 c 207 389 394.48 87.83 4.49 1000000 0 247.89/248.09 c 211 319 383.59 73.28 5.23 1000000 0 249.09/249.25 c 215 409 390.17 64.22 6.08 1000000 0 250.29/250.40 c 193 336 386.46 88.95 4.34 1000000 0 251.39/251.55 c 147 497 381.90 70.36 5.43 1000000 0 252.59/252.71 c 197 336 394.36 83.65 4.71 1000000 0 253.69/253.87 c 220 315 402.56 73.40 5.48 1000000 0 254.89/255.02 c 230 328 392.48 78.25 5.02 1000000 0 255.99/256.16 c 181 315 367.55 85.00 4.32 1000000 0 257.19/257.32 c 199 384 401.15 83.97 4.78 1000000 0 258.29/258.48 c 226 397 384.73 71.97 5.35 1000000 0 259.49/259.63 c 197 371 401.04 76.97 5.21 1000000 0 260.59/260.78 c 179 335 381.18 87.08 4.38 1000000 0 261.79/261.94 c 224 387 391.38 70.39 5.56 1000000 0 262.89/263.09 c 207 417 382.50 79.20 4.83 1000000 0 264.08/264.23 c 177 427 376.96 78.78 4.79 1000000 0 265.18/265.39 c 199 517 399.11 96.51 4.14 1000000 0 266.38/266.55 c 234 397 406.90 82.90 4.91 1000000 0 267.58/267.70 c 198 392 385.22 90.59 4.25 1000000 0 268.68/268.86 c 204 393 400.84 97.94 4.09 1000000 0 269.88/270.01 c 216 322 384.89 74.34 5.18 1000000 0 270.98/271.17 c 190 473 389.77 76.52 5.09 1000000 0 272.18/272.32 c 201 431 377.88 87.22 4.33 1000000 0 273.28/273.46 c 175 346 378.40 93.26 4.06 1000000 0 274.48/274.62 c 189 531 385.19 89.69 4.29 1000000 0 275.58/275.77 c 206 413 394.90 86.96 4.54 1000000 0 276.78/276.92 c 191 344 386.17 79.04 4.89 1000000 0 277.88/278.07 c 182 426 373.39 76.07 4.91 1000000 0 279.08/279.23 c 204 392 387.36 81.96 4.73 1000000 0 280.18/280.38 c 188 347 391.34 88.14 4.44 1000000 0 281.38/281.54 c 232 355 403.15 69.85 5.77 1000000 0 282.48/282.69 c 164 281 389.83 87.81 4.44 1000000 0 283.69/283.85 c 212 443 384.56 71.30 5.39 1000000 0 284.88/285.00 c 220 402 380.86 73.84 5.16 1000000 0 285.98/286.15 c 163 408 384.03 83.44 4.60 1000000 0 287.18/287.31 c 207 352 395.44 68.70 5.76 1000000 0 288.28/288.46 c 171 429 399.12 88.95 4.49 1000000 0 289.48/289.62 c 212 345 394.89 75.44 5.23 1000000 0 290.58/290.77 c 188 388 401.38 86.13 4.66 1000000 0 291.78/291.92 c 208 365 385.78 80.99 4.76 1000000 0 292.88/293.08 c 207 412 394.53 87.90 4.49 1000000 0 294.08/294.23 c 203 460 400.22 82.18 4.87 1000000 0 295.18/295.39 c 217 333 391.27 75.79 5.16 1000000 0 296.38/296.54 c 184 386 396.57 80.46 4.93 1000000 0 297.58/297.70 c 178 402 384.82 79.67 4.83 1000000 0 298.68/298.85 c 204 466 394.49 85.42 4.62 1000000 0 299.88/300.01 c 209 359 387.08 72.23 5.36 1000000 0 300.98/301.15 c 195 248 375.83 79.26 4.74 1000000 0 302.18/302.31 c 230 410 400.49 95.55 4.19 1000000 0 303.28/303.47 c 192 344 393.00 82.59 4.76 1000000 0 304.48/304.62 c 229 426 406.61 75.97 5.35 1000000 0 305.58/305.78 c 227 506 393.42 77.31 5.09 1000000 0 306.78/306.93 c 201 424 403.11 86.09 4.68 1000000 0 307.88/308.08 c 184 285 382.21 81.64 4.68 1000000 0 309.08/309.24 c 212 367 403.63 92.40 4.37 1000000 0 310.17/310.39 c 203 338 396.22 79.69 4.97 1000000 0 311.37/311.55 c 208 399 390.49 75.16 5.20 1000000 0 312.57/312.70 c 204 376 386.83 74.34 5.20 1000000 0 313.67/313.86 c 209 313 394.60 68.47 5.76 1000000 0 314.87/315.01 c 188 432 377.96 86.11 4.39 1000000 0 315.97/316.15 c 206 397 384.15 73.13 5.25 1000000 0 317.17/317.31 c 210 427 390.82 73.44 5.32 1000000 0 318.27/318.46 c 182 387 379.04 87.52 4.33 1000000 0 319.47/319.61 c 199 376 386.05 78.51 4.92 1000000 0 320.57/320.76 c 195 375 391.13 76.59 5.11 1000000 0 321.77/321.92 c 155 312 400.34 73.45 5.45 1000000 0 322.87/323.07 c 162 506 377.97 88.23 4.28 1000000 0 324.07/324.22 c 172 321 384.77 94.94 4.05 1000000 0 325.17/325.37 c 203 393 380.39 76.24 4.99 1000000 0 326.37/326.52 c 188 395 383.14 81.06 4.73 1000000 0 327.47/327.68 c 214 458 386.66 81.49 4.74 1000000 0 328.67/328.83 c 179 452 409.51 95.68 4.28 1000000 0 329.77/329.99 c 218 511 381.26 75.66 5.04 1000000 0 330.97/331.14 c 192 415 384.26 94.54 4.06 1000000 0 332.07/332.29 c 185 376 388.83 79.53 4.89 1000000 0 333.26/333.45 c 213 415 388.74 88.26 4.40 1000000 0 334.46/334.61 c 201 418 401.76 73.84 5.44 1000000 0 335.56/335.76 c 211 430 391.62 76.01 5.15 1000000 0 336.76/336.91 c 190 331 391.85 90.01 4.35 1000000 0 337.86/338.08 c 212 363 420.08 99.24 4.23 1000000 0 339.06/339.23 c 231 411 400.03 98.69 4.05 1000000 0 340.16/340.39 c 229 449 407.33 104.77 3.89 1000000 0 341.36/341.55 c 178 345 391.25 76.65 5.10 1000000 0 342.56/342.70 c 204 290 389.24 85.72 4.54 1000000 0 343.66/343.85 c 187 348 392.16 99.04 3.96 1000000 0 344.86/345.01 c 178 349 388.38 73.29 5.30 1000000 0 345.96/346.16 c 215 405 402.35 79.64 5.05 1000000 0 347.16/347.32 c 156 497 390.69 91.22 4.28 1000000 0 348.26/348.48 c 193 398 402.30 90.66 4.44 1000000 0 349.45/349.63 c 159 412 377.22 90.79 4.15 1000000 0 350.55/350.78 c 228 412 402.81 67.51 5.97 1000000 0 351.76/351.94 c 201 390 382.91 83.33 4.60 1000000 0 352.86/353.09 c 204 339 379.53 85.53 4.44 1000000 0 354.06/354.24 c 190 361 383.81 83.42 4.60 1000000 0 355.16/355.39 c 228 460 405.71 72.03 5.63 1000000 0 356.35/356.54 c 198 251 377.17 75.77 4.98 1000000 0 357.45/357.69 c 207 323 384.19 77.39 4.96 1000000 0 358.65/358.85 c 200 437 399.81 77.99 5.13 1000000 0 359.85/360.00 c 182 328 387.98 89.84 4.32 1000000 0 360.95/361.15 c 186 312 388.65 81.52 4.77 1000000 0 362.15/362.31 c 222 501 391.35 82.21 4.76 1000000 0 363.25/363.46 c 229 324 403.10 97.63 4.13 1000000 0 364.45/364.62 c 203 364 396.11 69.49 5.70 1000000 0 365.55/365.78 c 217 358 409.71 97.65 4.20 1000000 0 366.75/366.94 c 208 286 407.32 84.50 4.82 1000000 0 367.85/368.09 c 217 409 396.78 91.91 4.32 1000000 0 369.05/369.24 c 197 431 390.15 81.71 4.78 1000000 0 370.25/370.40 c 191 380 394.46 80.48 4.90 1000000 0 371.34/371.55 c 212 429 399.93 71.20 5.62 1000000 0 372.54/372.71 c 206 443 403.43 78.43 5.14 1000000 0 373.64/373.86 c 208 395 379.32 84.57 4.49 1000000 0 374.85/375.02 c 176 382 397.09 84.80 4.68 1000000 0 375.95/376.17 c 203 321 399.49 69.40 5.76 1000000 0 377.15/377.33 c 194 296 397.82 92.63 4.29 1000000 0 378.25/378.49 c 210 373 398.95 78.36 5.09 1000000 0 379.44/379.64 c 181 491 399.66 78.52 5.09 1000000 0 380.54/380.79 c 230 331 398.98 71.12 5.61 1000000 0 381.74/381.95 c 192 396 384.27 77.67 4.95 1000000 0 382.94/383.10 c 221 389 392.34 88.10 4.45 1000000 0 384.04/384.25 c 209 445 388.40 76.70 5.06 1000000 0 385.24/385.41 c 202 413 390.60 94.19 4.15 1000000 0 386.34/386.56 c 200 376 390.59 86.30 4.53 1000000 0 387.54/387.71 c 192 368 380.21 96.07 3.96 1000000 0 388.64/388.86 c 169 389 385.13 80.91 4.76 1000000 0 389.84/390.02 c 208 409 390.58 76.43 5.11 1000000 0 390.94/391.17 c 215 333 403.59 86.74 4.65 1000000 0 392.14/392.33 c 213 393 393.04 78.30 5.02 1000000 0 393.24/393.49 c 215 308 391.94 83.07 4.72 1000000 0 394.44/394.64 c 212 359 384.18 77.25 4.97 1000000 0 395.54/395.79 c 199 351 379.80 79.96 4.75 1000000 0 396.73/396.95 c 204 444 399.55 86.22 4.63 1000000 0 397.94/398.10 c 181 346 365.77 73.21 5.00 1000000 0 399.04/399.25 c 207 393 396.01 83.40 4.75 1000000 0 400.24/400.40 c 216 324 388.80 81.27 4.78 1000000 0 401.34/401.56 c 238 440 400.66 81.53 4.91 1000000 0 402.53/402.71 c 184 365 379.47 82.83 4.58 1000000 0 403.63/403.86 c 190 446 394.88 81.78 4.83 1000000 0 404.83/405.01 c 165 237 370.60 78.39 4.73 1000000 0 405.93/406.16 c 156 455 387.23 92.63 4.18 1000000 0 407.13/407.32 c 200 422 387.09 84.26 4.59 1000000 0 408.23/408.46 c 157 457 380.71 73.29 5.19 1000000 0 409.43/409.62 c 208 341 389.40 80.27 4.85 1000000 0 410.53/410.77 c 190 387 379.21 91.74 4.13 1000000 0 411.73/411.92 c 234 343 387.99 76.66 5.06 1000000 0 412.83/413.08 c 196 309 391.84 79.32 4.94 1000000 0 414.03/414.23 c 214 402 384.92 78.22 4.92 1000000 0 415.13/415.39 c 188 354 391.02 95.73 4.08 1000000 0 416.33/416.54 c 154 469 379.77 86.99 4.37 1000000 0 417.42/417.69 c 191 326 389.49 78.00 4.99 1000000 0 418.62/418.85 c 220 396 391.04 71.95 5.43 1000000 0 419.82/420.01 c 225 404 411.45 84.29 4.88 1000000 0 420.93/421.16 c 193 358 391.17 76.76 5.10 1000000 0 422.13/422.31 c 174 389 386.53 85.27 4.53 1000000 0 423.23/423.47 c 228 486 392.51 69.14 5.68 1000000 0 424.43/424.63 c 240 395 403.82 73.69 5.48 1000000 0 425.53/425.79 c 197 425 396.38 74.88 5.29 1000000 0 426.72/426.94 c 237 374 400.21 74.90 5.34 1000000 0 427.82/428.09 c 198 369 384.54 72.01 5.34 1000000 0 429.02/429.24 c 184 380 384.78 85.92 4.48 1000000 0 430.22/430.40 c 197 283 396.01 85.92 4.61 1000000 0 431.32/431.55 c 205 370 379.33 77.20 4.91 1000000 0 432.52/432.70 c 171 297 395.33 84.87 4.66 1000000 0 433.62/433.86 c 234 406 405.63 77.92 5.21 1000000 0 434.82/435.02 c 181 358 381.04 86.97 4.38 1000000 0 435.92/436.17 c 205 382 388.05 71.87 5.40 1000000 0 437.12/437.32 c 155 349 384.62 81.69 4.71 1000000 0 438.22/438.47 c 191 286 392.63 70.41 5.58 1000000 0 439.42/439.62 c 181 467 384.21 91.45 4.20 1000000 0 440.52/440.77 c 191 354 386.59 71.53 5.40 1000000 0 441.72/441.92 c 162 334 378.36 83.24 4.55 1000000 0 442.81/443.07 c 213 265 380.47 68.60 5.55 1000000 0 444.01/444.22 c 197 391 390.65 85.91 4.55 1000000 0 445.11/445.38 c 171 382 387.07 82.57 4.69 1000000 0 446.32/446.53 c 176 408 390.24 97.09 4.02 1000000 0 447.42/447.68 c 173 317 373.37 73.25 5.10 1000000 0 448.62/448.84 c 172 360 388.75 78.84 4.93 1000000 0 449.73/449.99 c 173 380 370.94 82.89 4.48 1000000 0 450.92/451.14 c 203 328 387.90 81.80 4.74 1000000 0 452.02/452.29 c 186 413 376.16 92.15 4.08 1000000 0 453.22/453.44 c 172 363 376.27 78.89 4.77 1000000 0 454.32/454.59 c 185 447 386.47 69.52 5.56 1000000 0 455.52/455.75 c 176 413 390.33 79.16 4.93 1000000 0 456.72/456.90 c 216 463 391.06 87.50 4.47 1000000 0 457.82/458.06 c 208 369 400.57 85.36 4.69 1000000 0 459.02/459.22 c 201 373 381.37 81.35 4.69 1000000 0 460.12/460.37 c 242 443 401.55 69.56 5.77 1000000 0 461.32/461.52 c 158 414 390.35 88.05 4.43 1000000 0 462.42/462.67 c 217 358 383.50 59.84 6.41 1000000 0 463.62/463.82 c 185 358 383.61 75.72 5.07 1000000 0 464.72/464.97 c 178 440 392.29 70.58 5.56 1000000 0 465.92/466.13 c 202 390 398.52 76.33 5.22 1000000 0 467.02/467.28 c 185 336 388.85 78.03 4.98 1000000 0 468.21/468.44 c 222 392 396.76 90.01 4.41 1000000 0 469.42/469.60 c 190 369 397.19 82.65 4.81 1000000 0 470.52/470.75 c 202 376 397.45 77.40 5.14 1000000 0 471.62/471.90 c 187 304 381.49 72.29 5.28 1000000 0 472.82/473.06 c 233 369 400.28 71.91 5.57 1000000 0 474.01/474.21 c 186 376 372.60 93.16 4.00 1000000 0 475.11/475.36 c 226 314 383.71 67.52 5.68 1000000 0 476.31/476.52 c 203 491 401.68 84.95 4.73 1000000 0 477.41/477.68 c 200 389 400.99 84.00 4.77 1000000 0 478.61/478.83 c 191 428 378.15 90.53 4.18 1000000 0 479.71/479.99 c 174 365 390.51 95.84 4.07 1000000 0 480.91/481.14 c 231 311 393.27 74.84 5.26 1000000 0 482.01/482.29 c 202 331 378.44 69.64 5.43 1000000 0 483.21/483.44 c 188 417 391.81 77.61 5.05 1000000 0 484.41/484.60 c 214 300 399.28 75.22 5.31 1000000 0 485.51/485.75 c 191 382 377.80 87.15 4.34 1000000 0 486.71/486.90 c 213 377 385.45 69.65 5.53 1000000 0 487.81/488.06 c 189 312 393.53 78.57 5.01 1000000 0 489.01/489.21 c 208 352 393.56 81.96 4.80 1000000 0 490.11/490.36 c 215 317 382.27 87.00 4.39 1000000 0 491.30/491.51 c 196 339 376.77 83.96 4.49 1000000 0 492.41/492.67 c 132 377 389.54 80.46 4.84 1000000 0 493.61/493.82 c 208 415 389.29 76.37 5.10 1000000 0 494.71/494.98 c 223 403 396.77 84.39 4.70 1000000 0 495.91/496.13 c 208 355 394.03 85.22 4.62 1000000 0 497.01/497.29 c 186 370 385.55 93.81 4.11 1000000 0 498.20/498.44 c 197 340 384.78 83.99 4.58 1000000 0 499.30/499.59 c 186 495 387.72 77.29 5.02 1000000 0 500.50/500.74 c 144 409 381.65 79.38 4.81 1000000 0 501.70/501.90 c 201 411 388.51 78.65 4.94 1000000 0 502.80/503.05 c 213 365 385.31 68.94 5.59 1000000 0 504.00/504.21 c 231 340 405.62 77.24 5.25 1000000 0 505.10/505.36 c 184 373 392.71 84.16 4.67 1000000 0 506.30/506.52 c 176 421 390.02 93.00 4.19 1000000 0 507.40/507.67 c 237 342 394.82 81.24 4.86 1000000 0 508.60/508.82 c 175 300 383.36 76.79 4.99 1000000 0 509.70/509.98 c 191 411 393.72 77.27 5.10 1000000 0 510.89/511.13 c 180 417 384.54 84.28 4.56 1000000 0 512.00/512.28 c 191 431 396.10 74.96 5.28 1000000 0 513.19/513.43 c 215 315 394.71 84.28 4.68 1000000 0 514.29/514.59 c 212 288 399.71 83.05 4.81 1000000 0 515.49/515.74 c 190 379 383.93 83.27 4.61 1000000 0 516.59/516.89 c 176 363 381.88 81.31 4.70 1000000 0 517.80/518.05 c 217 378 395.12 83.94 4.71 1000000 0 519.00/519.20 c 217 313 400.88 70.96 5.65 1000000 0 520.10/520.36 c 207 432 379.94 74.69 5.09 1000000 0 521.29/521.51 c 182 422 375.87 71.63 5.25 1000000 0 522.39/522.66 c 198 279 394.31 90.25 4.37 1000000 0 523.59/523.82 c 206 436 389.34 75.32 5.17 1000000 0 524.69/524.97 c 235 365 397.20 68.60 5.79 1000000 0 525.89/526.12 c 188 434 384.06 66.79 5.75 1000000 0 526.99/527.28 c 217 366 389.21 74.45 5.23 1000000 0 528.19/528.43 c 182 444 389.29 81.24 4.79 1000000 0 529.29/529.58 c 189 453 378.65 73.49 5.15 1000000 0 530.49/530.73 c 200 380 377.59 71.64 5.27 1000000 0 531.59/531.88 c 177 317 389.68 89.07 4.38 1000000 0 532.79/533.04 c 228 401 401.01 85.12 4.71 1000000 0 533.98/534.20 c 196 374 389.96 83.35 4.68 1000000 0 535.08/535.36 c 198 386 399.39 82.42 4.85 1000000 0 536.28/536.50 c 195 439 372.65 81.83 4.55 1000000 0 537.38/537.66 c 184 295 379.94 73.64 5.16 1000000 0 538.58/538.81 c 211 390 390.81 82.21 4.75 1000000 0 539.68/539.96 c 130 502 386.47 70.10 5.51 1000000 0 540.89/541.12 c 227 364 392.14 70.29 5.58 1000000 0 541.99/542.27 c 214 392 409.13 80.90 5.06 1000000 0 543.19/543.43 c 178 280 391.80 79.37 4.94 1000000 0 544.29/544.58 c 209 476 382.29 76.53 5.00 1000000 0 545.48/545.73 c 224 420 389.21 76.74 5.07 1000000 0 546.58/546.89 c 180 434 396.17 85.04 4.66 1000000 0 547.78/548.05 c 227 456 416.00 78.23 5.32 1000000 0 548.98/549.20 c 179 368 390.96 77.80 5.02 1000000 0 550.08/550.35 c 192 369 383.67 87.53 4.38 1000000 0 551.28/551.50 c 223 310 387.43 72.04 5.38 1000000 0 552.38/552.66 c 208 437 394.67 77.98 5.06 1000000 0 553.57/553.81 c 211 320 377.25 75.25 5.01 1000000 0 554.67/554.96 c 213 450 408.91 85.59 4.78 1000000 0 555.87/556.12 c 192 334 384.16 82.18 4.67 1000000 0 556.97/557.27 c 215 475 381.68 70.75 5.40 1000000 0 558.18/558.42 c 223 365 399.79 69.02 5.79 1000000 0 559.27/559.58 c 175 371 391.15 82.62 4.73 1000000 0 560.47/560.73 c 171 424 398.08 85.26 4.67 1000000 0 561.57/561.89 c 202 404 402.73 84.34 4.78 1000000 0 562.77/563.04 c 228 332 379.75 71.39 5.32 1000000 0 563.87/564.19 c 185 473 398.16 87.55 4.55 1000000 0 565.08/565.35 c 244 382 400.12 77.17 5.18 1000000 0 566.28/566.50 c 222 359 398.27 71.16 5.60 1000000 0 567.38/567.66 c 168 381 388.10 71.84 5.40 1000000 0 568.57/568.81 c 124 398 375.57 82.65 4.54 1000000 0 569.67/569.97 c 216 495 408.49 67.20 6.08 1000000 0 570.87/571.12 c 202 412 391.64 83.39 4.70 1000000 0 571.97/572.27 c 181 375 382.32 78.75 4.85 1000000 0 573.17/573.42 c 197 421 377.16 74.12 5.09 1000000 0 574.27/574.58 c 200 436 386.00 85.71 4.50 1000000 0 575.46/575.73 c 225 313 388.86 81.22 4.79 1000000 0 576.56/576.89 c 209 376 398.58 85.98 4.64 1000000 0 577.76/578.04 c 194 433 389.98 88.64 4.40 1000000 0 578.96/579.20 c 215 386 391.71 76.18 5.14 1000000 0 580.06/580.35 c 220 320 390.46 72.93 5.35 1000000 0 581.26/581.50 c 217 473 389.71 97.71 3.99 1000000 0 582.36/582.66 c 226 391 401.31 78.54 5.11 1000000 0 583.56/583.81 c 175 424 385.97 79.93 4.83 1000000 0 584.66/584.96 c 202 316 373.89 81.22 4.60 1000000 0 585.86/586.13 c 217 350 416.45 70.40 5.92 1000000 0 586.96/587.28 c 220 370 382.80 74.95 5.11 1000000 0 588.17/588.43 c 208 399 394.91 92.37 4.28 1000000 0 589.27/589.59 c 202 410 381.87 89.36 4.27 1000000 0 590.47/590.74 c 179 402 394.66 81.49 4.84 1000000 0 591.66/591.90 c 187 461 410.40 88.79 4.62 1000000 0 592.76/593.05 c 205 445 381.37 84.75 4.50 1000000 0 593.86/594.20 c 151 268 372.18 78.89 4.72 1000000 0 595.06/595.35 c 227 455 406.61 82.03 4.96 1000000 0 596.26/596.50 c 187 268 368.87 87.71 4.21 1000000 0 597.37/597.65 c 175 387 379.26 85.17 4.45 1000000 0 598.57/598.80 c 226 458 400.64 79.68 5.03 1000000 0 599.66/599.96 c 193 368 397.06 80.92 4.91 1000000 0 600.86/601.11 c 188 424 384.43 68.02 5.65 1000000 0 601.96/602.26 c 173 408 373.74 79.80 4.68 1000000 0 603.16/603.41 c 240 399 407.88 77.02 5.30 1000000 0 604.26/604.56 c 195 357 388.66 82.60 4.71 1000000 0 605.46/605.71 c 212 461 381.04 63.27 6.02 1000000 0 606.56/606.87 c 202 372 395.25 78.43 5.04 1000000 0 607.76/608.02 c 160 350 385.22 89.11 4.32 1000000 0 608.86/609.17 c 217 396 385.64 66.75 5.78 1000000 0 610.06/610.33 c 189 341 392.77 66.00 5.95 1000000 0 611.16/611.49 c 191 416 398.79 90.73 4.40 1000000 0 612.36/612.64 c 172 404 387.52 88.10 4.40 1000000 0 613.46/613.79 c 224 353 388.42 77.98 4.98 1000000 0 614.66/614.94 c 225 352 378.57 70.66 5.36 1000000 0 615.86/616.10 c 195 480 391.72 93.06 4.21 1000000 0 616.96/617.26 c 223 323 416.73 78.97 5.28 1000000 0 618.16/618.42 c 226 440 395.63 71.67 5.52 1000000 0 619.26/619.57 c 199 411 389.89 68.43 5.70 1000000 0 620.45/620.72 c 177 409 381.72 83.90 4.55 1000000 0 621.55/621.87 c 191 327 381.74 85.20 4.48 1000000 0 622.75/623.02 c 174 366 388.09 90.13 4.31 1000000 0 623.85/624.18 c 186 388 392.90 81.54 4.82 1000000 0 625.05/625.33 c 203 416 399.30 89.47 4.46 1000000 0 626.15/626.49 c 205 303 396.53 78.18 5.07 1000000 0 627.35/627.64 c 197 339 405.49 72.95 5.56 1000000 0 628.55/628.80 c 163 464 386.76 83.84 4.61 1000000 0 629.65/629.95 c 218 342 386.22 79.07 4.88 1000000 0 630.85/631.10 c 213 404 386.59 87.83 4.40 1000000 0 631.95/632.26 c 200 425 381.05 78.65 4.84 1000000 0 633.15/633.41 c 161 358 397.66 87.14 4.56 1000000 0 634.25/634.56 c 155 316 378.46 83.34 4.54 1000000 0 635.46/635.72 c 209 430 402.65 84.82 4.75 1000000 0 636.56/636.87 c 205 430 394.00 72.87 5.41 1000000 0 637.76/638.02 c 152 347 378.17 67.97 5.56 1000000 0 638.86/639.17 c 153 349 401.99 95.16 4.22 1000000 0 640.05/640.33 c 172 379 402.91 82.18 4.90 1000000 0 641.15/641.48 c 215 345 396.09 93.18 4.25 1000000 0 642.35/642.64 c 221 387 405.08 84.74 4.78 1000000 0 643.55/643.80 c 195 364 391.92 80.45 4.87 1000000 0 644.65/644.95 c 219 351 378.52 64.71 5.85 1000000 0 645.84/646.10 c 169 354 380.53 81.58 4.66 1000000 0 646.94/647.25 c 181 416 379.04 80.02 4.74 1000000 0 648.14/648.40 c 195 372 386.74 84.93 4.55 1000000 0 649.24/649.56 c 194 387 392.31 79.98 4.91 1000000 0 650.44/650.72 c 229 396 412.73 80.99 5.10 1000000 0 651.54/651.87 c 212 356 381.93 76.23 5.01 1000000 0 652.74/653.02 c 211 270 376.29 73.07 5.15 1000000 0 653.84/654.17 c 210 382 397.02 76.26 5.21 1000000 0 655.04/655.33 c 227 485 390.80 70.92 5.51 1000000 0 656.14/656.48 c 197 316 392.44 83.50 4.70 1000000 0 657.34/657.63 c 183 334 382.62 78.26 4.89 1000000 0 658.44/658.79 c 177 383 388.61 82.43 4.71 1000000 0 659.65/659.94 c 200 306 382.61 76.22 5.02 1000000 0 660.74/661.09 c 185 394 382.93 67.55 5.67 1000000 0 661.94/662.24 c 193 341 392.72 72.44 5.42 1000000 0 663.04/663.39 c 206 415 385.04 72.07 5.34 1000000 0 664.24/664.55 c 205 392 395.83 79.70 4.97 1000000 0 665.43/665.70 c 200 457 387.80 75.80 5.12 1000000 0 666.53/666.85 c 178 420 394.82 82.67 4.78 1000000 0 667.73/668.01 c 196 411 393.51 84.32 4.67 1000000 0 668.83/669.16 c 218 435 399.05 70.83 5.63 1000000 0 670.03/670.32 c 208 382 386.41 74.87 5.16 1000000 0 671.13/671.47 c 200 389 393.48 86.64 4.54 1000000 0 672.33/672.63 c 212 350 396.56 76.22 5.20 1000000 0 673.43/673.78 c 170 314 392.29 90.48 4.34 1000000 0 674.63/674.93 c 136 361 382.58 70.70 5.41 1000000 0 675.73/676.08 c 212 403 374.54 71.71 5.22 1000000 0 676.93/677.23 c 194 428 369.43 83.99 4.40 1000000 0 678.03/678.38 c 219 439 391.32 72.91 5.37 1000000 0 679.23/679.54 c 180 330 391.33 86.93 4.50 1000000 0 680.43/680.70 c 210 364 398.17 79.40 5.01 1000000 0 681.53/681.85 c 217 336 402.25 82.09 4.90 1000000 0 682.73/683.01 c 215 368 412.80 80.05 5.16 1000000 0 683.83/684.17 c 195 534 391.69 82.94 4.72 1000000 0 685.04/685.32 c 217 365 389.99 70.28 5.55 1000000 0 686.13/686.47 c 193 376 373.94 63.76 5.86 1000000 0 687.33/687.62 c 184 290 384.44 81.32 4.73 1000000 0 688.43/688.77 c 224 321 391.12 86.41 4.53 1000000 0 689.63/689.92 c 211 353 377.97 83.84 4.51 1000000 0 690.72/691.06 c 178 334 376.12 84.16 4.47 1000000 0 691.92/692.22 c 217 397 390.29 73.31 5.32 1000000 0 693.02/693.37 c 217 388 379.13 76.48 4.96 1000000 0 694.22/694.52 c 201 226 383.32 75.51 5.08 1000000 0 695.32/695.68 c 217 369 391.27 83.34 4.69 1000000 0 696.52/696.83 c 178 373 381.55 82.16 4.64 1000000 0 697.62/697.99 c 198 331 397.01 78.20 5.08 1000000 0 698.82/699.14 c 221 317 376.43 67.30 5.59 1000000 0 699.92/700.30 c 220 437 397.29 82.96 4.79 1000000 0 701.12/701.45 c 161 357 386.96 81.87 4.73 1000000 0 702.32/702.60 c 179 291 382.21 82.03 4.66 1000000 0 703.42/703.75 c 202 449 379.97 70.24 5.41 1000000 0 704.61/704.91 c 210 569 408.44 78.95 5.17 1000000 0 705.72/706.06 c 194 288 387.23 81.31 4.76 1000000 0 706.92/707.21 c 186 364 388.48 86.49 4.49 1000000 0 708.02/708.36 c 173 338 366.67 86.87 4.22 1000000 0 709.23/709.51 c 216 330 384.10 81.04 4.74 1000000 0 710.33/710.67 c 207 295 391.50 75.76 5.17 1000000 0 711.52/711.82 c 197 323 396.30 82.88 4.78 1000000 0 712.62/712.97 c 186 305 395.88 81.33 4.87 1000000 0 713.82/714.13 c 205 339 394.86 83.98 4.70 1000000 0 714.92/715.28 c 206 324 380.10 72.90 5.21 1000000 0 716.12/716.43 c 215 404 381.42 77.66 4.91 1000000 0 717.22/717.59 c 181 380 399.97 87.30 4.58 1000000 0 718.42/718.74 c 219 367 384.43 86.44 4.45 1000000 0 719.52/719.89 c 194 456 390.06 72.15 5.41 1000000 0 720.72/721.04 c 176 458 384.21 85.41 4.50 1000000 0 721.92/722.20 c 206 375 410.00 95.15 4.31 1000000 0 723.02/723.36 c 206 371 387.40 104.94 3.69 1000000 0 724.22/724.51 c 179 462 385.41 69.96 5.51 1000000 0 725.32/725.66 c 222 424 397.00 89.41 4.44 1000000 0 726.52/726.81 c 236 332 398.13 75.77 5.25 1000000 0 727.62/727.96 c 204 455 384.30 78.00 4.93 1000000 0 728.82/729.12 c 209 361 387.67 87.49 4.43 1000000 0 729.92/730.27 c 194 412 389.78 79.94 4.88 1000000 0 731.12/731.43 c 170 425 382.05 83.71 4.56 1000000 0 732.22/732.58 c 236 392 391.95 84.32 4.65 1000000 0 733.42/733.74 c 175 390 383.33 78.10 4.91 1000000 0 734.52/734.89 c 191 481 384.24 77.08 4.98 1000000 0 735.71/736.04 c 178 418 378.43 82.78 4.57 1000000 0 736.81/737.19 c 184 550 378.86 76.01 4.98 1000000 0 738.01/738.34 c 176 376 385.24 76.76 5.02 1000000 0 739.11/739.50 c 237 408 395.98 85.91 4.61 1000000 0 740.31/740.65 c 193 450 394.22 89.86 4.39 1000000 0 741.51/741.80 c 199 375 394.76 90.64 4.36 1000000 0 742.61/742.96 c 197 450 395.25 77.19 5.12 1000000 0 743.81/744.11 c 167 407 386.02 81.58 4.73 1000000 0 744.91/745.26 c 198 339 379.30 95.73 3.96 1000000 0 746.11/746.41 c 205 356 390.63 81.20 4.81 1000000 0 747.21/747.56 c 184 395 383.34 95.21 4.03 1000000 0 748.41/748.71 c 181 479 381.65 72.90 5.24 1000000 0 749.51/749.86 c 205 289 391.02 87.13 4.49 1000000 0 750.71/751.02 c 199 363 385.66 79.70 4.84 1000000 0 751.81/752.17 c 202 393 414.82 79.39 5.22 1000000 0 753.01/753.33 c 221 325 393.22 97.68 4.03 1000000 0 754.11/754.48 c 217 276 395.35 84.47 4.68 1000000 0 755.31/755.65 c 233 344 415.64 79.73 5.21 1000000 0 756.41/756.80 c 208 300 383.17 65.73 5.83 1000000 0 757.61/757.95 c 226 359 383.63 75.96 5.05 1000000 0 758.80/759.10 c 221 382 389.40 76.05 5.12 1000000 0 759.90/760.26 c 204 346 390.02 82.37 4.74 1000000 0 761.10/761.41 c 206 372 404.46 73.75 5.48 1000000 0 762.20/762.56 c 189 485 380.07 90.14 4.22 1000000 0 763.40/763.72 c 226 410 399.24 80.13 4.98 1000000 0 764.50/764.87 c 173 416 378.03 78.56 4.81 1000000 0 765.70/766.03 c 176 421 405.51 84.58 4.79 1000000 0 766.80/767.18 c 199 345 387.82 79.29 4.89 1000000 0 768.00/768.33 c 210 311 383.81 83.13 4.62 1000000 0 769.10/769.49 c 224 418 393.98 73.27 5.38 1000000 0 770.30/770.64 c 186 360 404.86 87.88 4.61 1000000 0 771.40/771.79 c 191 460 368.83 80.65 4.57 1000000 0 772.60/772.94 c 202 425 374.01 76.50 4.89 1000000 0 773.70/774.09 c 201 307 394.26 84.64 4.66 1000000 0 774.90/775.25 c 193 383 387.60 85.20 4.55 1000000 0 776.10/776.41 c 221 356 402.35 66.96 6.01 1000000 0 777.20/777.56 c 211 364 391.53 83.44 4.69 1000000 0 778.40/778.72 c 177 331 394.40 86.06 4.58 1000000 0 779.50/779.87 c 206 436 392.49 84.81 4.63 1000000 0 780.70/781.03 c 178 373 388.55 87.83 4.42 1000000 0 781.80/782.18 c 176 301 396.67 87.74 4.52 1000000 0 782.99/783.34 c 221 334 395.79 79.20 5.00 1000000 0 784.19/784.50 c 179 312 414.21 91.87 4.51 1000000 0 785.29/785.65 c 223 331 386.46 95.51 4.05 1000000 0 786.49/786.80 c 230 348 396.42 71.61 5.54 1000000 0 787.59/787.96 c 175 423 383.07 68.47 5.59 1000000 0 788.79/789.10 c 229 357 388.06 77.18 5.03 1000000 0 789.89/790.26 c 210 377 387.97 69.77 5.56 1000000 0 791.09/791.41 c 206 332 386.05 83.05 4.65 1000000 0 792.19/792.56 c 201 458 374.49 79.50 4.71 1000000 0 793.39/793.71 c 195 378 389.09 80.40 4.84 1000000 0 794.49/794.87 c 206 370 398.82 78.41 5.09 1000000 0 795.69/796.03 c 198 360 389.34 80.70 4.82 1000000 0 796.79/797.18 c 207 363 382.32 64.01 5.97 1000000 0 797.99/798.33 c 186 381 382.85 80.11 4.78 1000000 0 799.09/799.48 c 193 364 367.90 81.67 4.50 1000000 0 800.29/800.63 c 141 366 383.66 94.75 4.05 1000000 0 801.39/801.78 c 182 431 391.36 76.26 5.13 1000000 0 802.59/802.93 c 156 499 370.82 82.16 4.51 1000000 0 803.69/804.08 c 160 311 397.02 75.99 5.22 1000000 0 804.89/805.23 c 191 398 381.17 72.44 5.26 1000000 0 805.99/806.39 c 191 386 388.91 81.81 4.75 1000000 0 807.19/807.53 c 180 368 378.49 83.85 4.51 1000000 0 808.28/808.69 c 209 304 389.98 73.93 5.27 1000000 0 809.48/809.84 c 193 361 403.38 90.11 4.48 1000000 0 810.58/810.99 c 180 212 379.60 90.99 4.17 1000000 0 811.78/812.15 c 217 391 399.94 72.57 5.51 1000000 0 812.98/813.30 c 187 403 389.55 94.73 4.11 1000000 0 814.08/814.46 c 219 316 403.32 94.64 4.26 1000000 0 815.28/815.61 c 195 344 392.33 84.93 4.62 1000000 0 816.38/816.77 c 235 326 403.10 85.18 4.73 1000000 0 817.58/817.93 c 239 366 408.09 78.82 5.18 1000000 0 818.68/819.08 c 195 432 387.53 82.26 4.71 1000000 0 819.88/820.24 c 220 346 398.24 74.25 5.36 1000000 0 821.08/821.40 c 186 343 403.25 93.06 4.33 1000000 0 822.18/822.55 c 156 402 376.78 89.07 4.23 1000000 0 823.38/823.70 c 196 398 395.93 75.06 5.27 1000000 0 824.48/824.85 c 199 322 377.34 79.63 4.74 1000000 0 825.68/826.00 c 195 303 384.42 80.01 4.80 1000000 0 826.78/827.16 c 239 439 401.84 81.84 4.91 1000000 0 827.98/828.32 c 198 366 393.45 77.70 5.06 1000000 0 829.08/829.46 c 159 395 367.33 78.76 4.66 1000000 0 830.27/830.62 c 230 359 390.23 68.39 5.71 1000000 0 831.37/831.77 c 183 486 385.33 77.58 4.97 1000000 0 832.57/832.93 c 216 370 393.66 89.36 4.41 1000000 0 833.67/834.08 c 172 381 375.86 75.50 4.98 1000000 0 834.87/835.23 c 226 296 400.52 88.34 4.53 1000000 0 835.97/836.39 c 211 364 402.62 79.70 5.05 1000000 0 837.17/837.54 c 218 387 396.35 84.87 4.67 1000000 0 838.27/838.69 c 196 456 378.69 78.60 4.82 1000000 0 839.47/839.84 c 194 389 396.54 83.02 4.78 1000000 0 840.67/841.00 c 182 418 392.00 85.06 4.61 1000000 0 841.77/842.15 c 190 341 385.57 76.28 5.05 1000000 0 842.97/843.30 c 223 270 397.41 96.80 4.11 1000000 0 844.07/844.46 c 206 390 390.71 77.98 5.01 1000000 0 845.27/845.61 c 201 349 388.59 82.87 4.69 1000000 0 846.37/846.76 c 206 264 389.80 78.86 4.94 1000000 0 847.57/847.92 c 194 323 408.00 78.35 5.21 1000000 0 848.67/849.07 c 184 425 373.52 77.30 4.83 1000000 0 849.87/850.23 c 224 356 400.00 66.36 6.03 1000000 0 850.97/851.38 c 182 443 388.25 86.50 4.49 1000000 0 852.17/852.53 c 181 348 384.30 88.86 4.32 1000000 0 853.27/853.69 c 193 340 395.01 71.02 5.56 1000000 0 854.46/854.85 c 182 408 392.77 81.86 4.80 1000000 0 855.66/856.00 c 215 389 376.10 76.38 4.92 1000000 0 856.76/857.15 c 199 372 383.95 85.50 4.49 1000000 0 857.96/858.30 c 209 437 386.30 86.53 4.46 1000000 0 859.06/859.45 c 197 297 382.04 79.05 4.83 1000000 0 860.26/860.61 c 199 389 407.61 87.03 4.68 1000000 0 861.36/861.77 c 223 366 405.30 78.73 5.15 1000000 0 862.56/862.93 c 161 344 393.23 85.76 4.59 1000000 0 863.66/864.09 c 217 396 412.97 75.17 5.49 1000000 0 864.86/865.24 c 202 441 396.39 87.65 4.52 1000000 0 866.06/866.40 c 213 292 401.88 93.74 4.29 1000000 0 867.16/867.56 c 177 410 398.41 80.46 4.95 1000000 0 868.36/868.71 c 206 381 389.21 90.39 4.31 1000000 0 869.46/869.86 c 222 351 376.86 67.77 5.56 1000000 0 870.66/871.01 c 185 493 383.19 86.53 4.43 1000000 0 871.76/872.16 c 187 392 381.36 73.61 5.18 1000000 0 872.96/873.32 c 166 450 390.69 85.46 4.57 1000000 0 874.06/874.46 c 166 301 370.14 87.94 4.21 1000000 0 875.26/875.62 c 204 355 386.91 72.62 5.33 1000000 0 876.36/876.76 c 187 395 379.40 72.43 5.24 1000000 0 877.55/877.91 c 199 433 383.09 74.10 5.17 1000000 0 878.65/879.07 c 194 369 394.89 83.91 4.71 1000000 0 879.85/880.22 c 199 411 388.10 90.83 4.27 1000000 0 880.95/881.37 c 213 420 383.33 84.93 4.51 1000000 0 882.15/882.52 c 200 423 379.94 87.25 4.35 1000000 0 883.25/883.67 c 188 290 374.80 98.60 3.80 1000000 0 884.45/884.82 c 218 557 395.86 72.01 5.50 1000000 0 885.55/885.98 c 206 442 392.55 93.63 4.19 1000000 0 886.75/887.13 c 217 306 399.89 77.54 5.16 1000000 0 887.85/888.29 c 195 406 393.83 74.21 5.31 1000000 0 889.05/889.44 c 214 448 404.52 74.42 5.44 1000000 0 890.25/890.60 c 174 396 378.97 86.14 4.40 1000000 0 891.35/891.76 c 207 384 398.75 83.77 4.76 1000000 0 892.55/892.91 c 221 371 394.55 83.79 4.71 1000000 0 893.65/894.07 c 205 427 405.84 91.04 4.46 1000000 0 894.84/895.22 c 183 362 388.65 91.96 4.23 1000000 0 895.94/896.37 c 204 428 385.09 68.39 5.63 1000000 0 897.15/897.52 c 212 395 389.16 77.30 5.03 1000000 0 898.25/898.67 c 190 409 391.60 77.77 5.03 1000000 0 899.45/899.83 c 209 448 394.68 71.11 5.55 1000000 0 900.55/900.99 c 227 401 412.83 79.35 5.20 1000000 0 901.74/902.14 c 220 381 401.03 73.27 5.47 1000000 0 902.94/903.30 c 214 413 394.44 73.65 5.36 1000000 0 904.04/904.45 c 211 433 400.68 74.34 5.39 1000000 0 905.24/905.61 c 194 375 395.50 77.83 5.08 1000000 0 906.34/906.76 c 172 295 378.41 66.55 5.69 1000000 0 907.54/907.91 c 213 395 393.49 80.69 4.88 1000000 0 908.64/909.06 c 174 374 370.72 75.72 4.90 1000000 0 909.84/910.21 c 233 431 392.10 78.45 5.00 1000000 0 910.94/911.36 c 183 391 383.83 85.18 4.51 1000000 0 912.14/912.52 c 230 426 388.77 84.09 4.62 1000000 0 913.24/913.67 c 224 422 399.19 81.93 4.87 1000000 0 914.44/914.83 c 205 346 396.99 75.18 5.28 1000000 0 915.54/915.99 c 169 234 385.72 78.44 4.92 1000000 0 916.74/917.14 c 217 268 389.99 73.44 5.31 1000000 0 917.84/918.29 c 201 317 386.37 73.12 5.28 1000000 0 919.04/919.45 c 214 417 396.89 79.00 5.02 1000000 0 920.24/920.60 c 190 395 379.90 76.60 4.96 1000000 0 921.34/921.75 c 202 356 389.15 78.31 4.97 1000000 0 922.54/922.91 c 204 422 378.65 77.69 4.87 1000000 0 923.64/924.06 c 210 282 393.04 80.47 4.88 1000000 0 924.83/925.21 c 201 379 384.28 78.84 4.87 1000000 0 925.93/926.37 c 213 387 385.85 78.68 4.90 1000000 0 927.13/927.52 c 204 423 389.60 75.69 5.15 1000000 0 928.23/928.68 c 184 354 391.37 91.66 4.27 1000000 0 929.43/929.83 c 198 294 401.58 97.73 4.11 1000000 0 930.53/930.99 c 218 341 392.65 76.35 5.14 1000000 0 931.73/932.14 c 203 370 390.22 74.62 5.23 1000000 0 932.93/933.30 c 214 328 405.89 73.65 5.51 1000000 0 934.03/934.46 c 215 530 399.76 79.80 5.01 1000000 0 935.23/935.61 c 215 351 379.29 80.79 4.69 1000000 0 936.33/936.76 c 193 369 382.35 85.61 4.47 1000000 0 937.53/937.92 c 216 400 392.83 81.27 4.83 1000000 0 938.63/939.07 c 174 378 393.71 75.70 5.20 1000000 0 939.83/940.22 c 202 346 403.56 75.10 5.37 1000000 0 940.93/941.38 c 191 317 393.13 80.25 4.90 1000000 0 942.13/942.53 c 200 487 411.52 83.68 4.92 1000000 0 943.23/943.68 c 188 359 380.08 74.07 5.13 1000000 0 944.44/944.84 c 164 387 381.87 78.30 4.88 1000000 0 945.54/945.99 c 197 425 396.04 86.68 4.57 1000000 0 946.74/947.15 c 208 339 399.63 73.34 5.45 1000000 0 947.93/948.31 c 226 357 384.96 80.53 4.78 1000000 0 949.03/949.46 c 200 439 381.13 79.21 4.81 1000000 0 950.23/950.62 c 179 299 400.61 90.15 4.44 1000000 0 951.33/951.77 c 196 448 381.89 85.73 4.45 1000000 0 952.53/952.92 c 222 356 383.59 67.92 5.65 1000000 0 953.63/954.07 c 232 358 393.73 78.30 5.03 1000000 0 954.83/955.23 c 246 405 399.26 73.18 5.46 1000000 0 955.93/956.39 c 210 349 392.25 79.86 4.91 1000000 0 957.13/957.54 c 191 335 381.76 70.18 5.44 1000000 0 958.23/958.69 c 185 319 378.34 74.69 5.07 1000000 0 959.43/959.84 c 186 328 375.57 84.31 4.45 1000000 0 960.53/960.99 c 183 369 383.59 87.52 4.38 1000000 0 961.73/962.14 c 214 411 390.59 82.53 4.73 1000000 0 962.93/963.30 c 215 414 397.20 68.27 5.82 1000000 0 964.03/964.45 c 185 396 389.93 95.01 4.10 1000000 0 965.23/965.60 c 138 351 376.70 77.31 4.87 1000000 0 966.33/966.76 c 180 433 393.45 85.06 4.63 1000000 0 967.53/967.91 c 219 377 393.93 84.64 4.65 1000000 0 968.63/969.06 c 205 372 387.95 82.15 4.72 1000000 0 969.83/970.21 c 211 312 381.74 82.40 4.63 1000000 0 970.93/971.37 c 197 377 387.51 90.18 4.30 1000000 0 972.12/972.52 c 190 417 382.22 74.85 5.11 1000000 0 973.22/973.67 c 216 459 389.69 71.80 5.43 1000000 0 974.42/974.83 c 220 362 394.97 72.91 5.42 1000000 0 975.52/975.98 c 167 344 378.17 79.63 4.75 1000000 0 976.72/977.14 c 211 376 397.70 73.61 5.40 1000000 0 977.82/978.29 c 194 459 388.80 79.18 4.91 1000000 0 979.02/979.45 c 209 379 408.52 83.19 4.91 1000000 0 980.22/980.60 c 216 360 399.86 82.08 4.87 1000000 0 981.32/981.76 c 195 337 381.04 79.13 4.82 1000000 0 982.52/982.92 c 240 321 415.96 84.00 4.95 1000000 0 983.62/984.07 c 188 405 383.28 80.34 4.77 1000000 0 984.82/985.22 c 218 377 383.79 71.29 5.38 1000000 0 985.92/986.37 c 163 399 375.87 75.27 4.99 1000000 0 987.12/987.52 c 179 428 377.09 66.34 5.68 1000000 0 988.22/988.68 c 203 346 391.60 79.66 4.92 1000000 0 989.42/989.83 c 224 291 392.03 92.34 4.25 1000000 0 990.52/990.98 c 197 321 378.91 71.53 5.30 1000000 0 991.72/992.13 c 201 353 391.78 91.36 4.29 1000000 0 992.82/993.29 c 197 290 410.94 96.62 4.25 1000000 0 994.02/994.44 c 212 420 382.37 89.59 4.27 1000000 0 995.21/995.60 c 223 395 399.70 76.26 5.24 1000000 0 996.31/996.76 c 203 392 393.82 94.03 4.19 1000000 0 997.51/997.90 c 213 346 384.49 86.04 4.47 1000000 0 998.61/999.06 c 215 295 412.70 77.74 5.31 1000000 0 999.81/1000.22 c 169 396 386.49 77.18 5.01 1000000 0 1000.91/1001.37 c 180 376 391.23 79.25 4.94 1000000 0 1002.11/1002.52 c 215 369 396.09 78.14 5.07 1000000 0 1003.21/1003.67 c 209 516 376.38 79.08 4.76 1000000 0 1004.41/1004.83 c 219 340 400.06 77.36 5.17 1000000 0 1005.51/1005.98 c 228 462 405.68 71.83 5.65 1000000 0 1006.71/1007.14 c 195 439 397.31 70.89 5.60 1000000 0 1007.81/1008.29 c 211 350 383.07 75.75 5.06 1000000 0 1009.01/1009.45 c 208 444 387.41 90.67 4.27 1000000 0 1010.21/1010.60 c 227 333 398.85 72.95 5.47 1000000 0 1011.31/1011.76 c 211 288 406.14 78.58 5.17 1000000 0 1012.51/1012.92 c 222 491 405.09 69.72 5.81 1000000 0 1013.60/1014.07 c 182 396 386.02 85.95 4.49 1000000 0 1014.81/1015.23 c 203 391 393.19 86.27 4.56 1000000 0 1015.91/1016.38 c 206 354 384.90 67.02 5.74 1000000 0 1017.11/1017.53 c 205 241 386.78 84.07 4.60 1000000 0 1018.21/1018.69 c 178 448 387.63 73.16 5.30 1000000 0 1019.40/1019.84 c 252 415 400.97 69.28 5.79 1000000 0 1020.50/1021.00 c 219 354 390.78 78.85 4.96 1000000 0 1021.70/1022.15 c 218 347 395.03 87.73 4.50 1000000 0 1022.90/1023.31 c 223 333 393.58 82.59 4.77 1000000 0 1024.00/1024.46 c 191 294 392.27 76.25 5.14 1000000 0 1025.20/1025.61 c 177 337 375.06 74.46 5.04 1000000 0 1026.30/1026.76 c 201 275 394.36 83.89 4.70 1000000 0 1027.50/1027.92 c 223 360 393.95 79.47 4.96 1000000 0 1028.60/1029.07 c 209 350 381.52 81.57 4.68 1000000 0 1029.80/1030.23 c 215 361 400.61 94.82 4.22 1000000 0 1030.90/1031.39 c 220 405 394.07 76.42 5.16 1000000 0 1032.10/1032.54 c 228 315 406.05 91.90 4.42 1000000 0 1033.30/1033.70 c 187 438 392.46 81.46 4.82 1000000 0 1034.40/1034.85 c 186 324 378.45 72.52 5.22 1000000 0 1035.60/1036.00 c 221 331 377.86 76.67 4.93 1000000 0 1036.70/1037.16 c 213 348 394.93 75.37 5.24 1000000 0 1037.90/1038.31 c 202 425 390.58 82.07 4.76 1000000 0 1039.00/1039.46 c 186 394 383.91 82.97 4.63 1000000 0 1040.20/1040.61 c 194 451 369.81 76.85 4.81 1000000 0 1041.30/1041.76 c 193 390 392.47 82.91 4.73 1000000 0 1042.49/1042.91 c 168 427 377.29 81.95 4.60 1000000 0 1043.59/1044.06 c 216 353 383.04 69.03 5.55 1000000 0 1044.79/1045.21 c 201 419 391.02 77.07 5.07 1000000 0 1045.89/1046.37 c 201 343 393.35 79.40 4.95 1000000 0 1047.09/1047.52 c 173 383 389.35 81.27 4.79 1000000 0 1048.19/1048.67 c 190 354 387.90 79.92 4.85 1000000 0 1049.39/1049.82 c 200 416 381.02 77.82 4.90 1000000 0 1050.49/1050.98 c 212 397 399.11 86.04 4.64 1000000 0 1051.69/1052.14 c 195 351 387.25 76.27 5.08 1000000 0 1052.79/1053.29 c 202 375 387.64 81.37 4.76 1000000 0 1053.99/1054.44 c 209 297 395.67 78.47 5.04 1000000 0 1055.19/1055.60 c 162 454 396.39 86.47 4.58 1000000 0 1056.28/1056.75 c 201 319 376.17 72.98 5.15 1000000 0 1057.48/1057.90 c 194 343 398.44 86.45 4.61 1000000 0 1058.58/1059.05 c 219 388 383.16 79.95 4.79 1000000 0 1059.78/1060.20 c 219 367 386.81 74.60 5.19 1000000 0 1060.88/1061.36 c 213 331 389.86 73.38 5.31 1000000 0 1062.09/1062.52 c 199 383 399.39 87.38 4.57 1000000 0 1063.19/1063.67 c 188 435 394.80 69.15 5.71 1000000 0 1064.39/1064.82 c 209 299 388.71 82.09 4.74 1000000 0 1065.49/1065.97 c 162 494 371.26 73.89 5.02 1000000 0 1066.68/1067.12 c 205 322 388.35 76.01 5.11 1000000 0 1067.78/1068.28 c 247 575 406.57 86.62 4.69 1000000 0 1068.98/1069.43 c 157 338 371.37 99.12 3.75 1000000 0 1070.08/1070.58 c 201 407 388.03 81.28 4.77 1000000 0 1071.28/1071.73 c 221 410 380.57 79.50 4.79 1000000 0 1072.38/1072.89 c 210 404 394.80 82.06 4.81 1000000 0 1073.58/1074.04 c 211 374 393.59 82.18 4.79 1000000 0 1074.78/1075.20 c 190 339 393.69 99.97 3.94 1000000 0 1075.88/1076.35 c 212 350 378.81 79.14 4.79 1000000 0 1077.08/1077.50 c 187 391 385.75 82.26 4.69 1000000 0 1078.18/1078.65 c 224 439 387.05 80.47 4.81 1000000 0 1079.38/1079.80 c 183 351 384.53 86.46 4.45 1000000 0 1080.48/1080.96 c 208 416 380.84 75.66 5.03 1000000 0 1081.68/1082.11 c 218 295 401.25 77.44 5.18 1000000 0 1082.78/1083.26 c 191 403 376.21 77.13 4.88 1000000 0 1083.98/1084.41 c 190 338 395.25 77.44 5.10 1000000 0 1085.08/1085.57 c 218 334 396.53 82.85 4.79 1000000 0 1086.28/1086.72 c 195 367 384.57 87.85 4.38 1000000 0 1087.38/1087.88 c 231 394 411.31 89.85 4.58 1000000 0 1088.58/1089.03 c 179 374 373.23 78.67 4.74 1000000 0 1089.68/1090.18 c 182 353 390.58 76.04 5.14 1000000 0 1090.87/1091.34 c 217 495 385.48 77.55 4.97 1000000 0 1092.07/1092.50 c 214 496 401.06 70.25 5.71 1000000 0 1093.17/1093.66 c 216 345 390.86 96.90 4.03 1000000 0 1094.37/1094.81 c 207 401 401.82 88.50 4.54 1000000 0 1095.47/1095.97 c 198 425 390.98 66.05 5.92 1000000 0 1096.67/1097.12 c 201 335 390.46 78.62 4.97 1000000 0 1097.77/1098.27 c 180 341 390.77 86.45 4.52 1000000 0 1098.97/1099.43 c 186 354 405.19 88.76 4.57 1000000 0 1100.07/1100.58 c 203 258 370.68 75.39 4.92 1000000 0 1101.27/1101.74 c 193 371 395.35 88.50 4.47 1000000 0 1102.47/1102.90 c 198 426 403.93 82.94 4.87 1000000 0 1103.57/1104.05 c 211 319 390.77 63.69 6.14 1000000 0 1104.77/1105.21 c 195 361 391.25 81.79 4.78 1000000 0 1105.87/1106.36 c 221 343 380.21 69.18 5.50 1000000 0 1107.06/1107.51 c 215 436 384.73 73.74 5.22 1000000 0 1108.16/1108.66 c 171 360 395.30 88.97 4.44 1000000 0 1109.37/1109.82 c 164 369 393.76 87.02 4.52 1000000 0 1110.47/1110.97 c 189 471 390.28 85.21 4.58 1000000 0 1111.67/1112.12 c 187 319 389.68 92.52 4.21 1000000 0 1112.77/1113.28 c 237 324 397.49 94.51 4.21 1000000 0 1113.96/1114.43 c 173 404 390.57 73.07 5.35 1000000 0 1115.06/1115.58 c 218 430 390.20 69.00 5.66 1000000 0 1116.26/1116.74 c 218 308 411.30 79.58 5.17 1000000 0 1117.36/1117.90 c 196 339 398.24 76.40 5.21 1000000 0 1118.56/1119.05 c 202 347 401.20 85.64 4.68 1000000 0 1119.76/1120.21 c 214 481 392.69 96.50 4.07 1000000 0 1120.86/1121.36 c 219 330 383.63 75.71 5.07 1000000 0 1122.06/1122.52 c 189 467 392.12 85.31 4.60 1000000 0 1123.16/1123.67 c 187 353 400.09 90.44 4.42 1000000 0 1124.36/1124.83 c 227 379 398.99 81.73 4.88 1000000 0 1125.46/1125.98 c 193 369 379.41 83.93 4.52 1000000 0 1126.66/1127.13 c 209 447 386.48 74.93 5.16 1000000 0 1127.76/1128.28 c 189 542 383.94 86.24 4.45 1000000 0 1128.96/1129.44 c 170 341 391.97 79.71 4.92 1000000 0 1130.06/1130.59 c 192 418 403.78 77.71 5.20 1000000 0 1131.26/1131.75 c 205 395 386.32 74.39 5.19 1000000 0 1132.47/1132.90 c 168 423 393.23 87.31 4.50 1000000 0 1133.57/1134.05 c 211 455 382.78 63.89 5.99 1000000 0 1134.77/1135.21 c 198 361 388.96 74.03 5.25 1000000 0 1135.87/1136.36 c 183 366 402.66 82.76 4.87 1000000 0 1137.06/1137.52 c 216 432 398.83 81.37 4.90 1000000 0 1138.16/1138.67 c 181 380 387.89 88.87 4.36 1000000 0 1139.36/1139.82 c 227 365 393.90 86.13 4.57 1000000 0 1140.46/1140.98 c 195 366 383.88 87.68 4.38 1000000 0 1141.66/1142.12 c 167 475 370.70 77.93 4.76 1000000 0 1142.76/1143.28 c 195 392 381.13 85.95 4.43 1000000 0 1143.96/1144.43 c 181 375 389.22 74.36 5.23 1000000 0 1145.06/1145.58 c 223 448 393.08 75.63 5.20 1000000 0 1146.26/1146.74 c 221 517 402.30 82.08 4.90 1000000 0 1147.36/1147.90 c 216 399 396.67 78.70 5.04 1000000 0 1148.55/1149.05 c 203 337 392.29 89.91 4.36 1000000 0 1149.75/1150.20 c 208 392 403.88 73.81 5.47 1000000 0 1150.85/1151.36 c 210 363 387.02 75.98 5.09 1000000 0 1152.05/1152.52 c 190 412 400.32 83.83 4.78 1000000 0 1153.15/1153.67 c 173 360 384.05 75.61 5.08 1000000 0 1154.35/1154.82 c 191 360 388.92 67.51 5.76 1000000 0 1155.45/1155.98 c 202 412 388.80 95.27 4.08 1000000 0 1156.66/1157.13 c 188 400 398.03 90.19 4.41 1000000 0 1157.76/1158.29 c 187 416 376.61 77.21 4.88 1000000 0 1158.96/1159.44 c 204 457 399.64 85.86 4.65 1000000 0 1160.15/1160.60 c 203 375 397.06 77.18 5.14 1000000 0 1161.25/1161.75 c 217 349 380.09 73.89 5.14 1000000 0 1162.45/1162.90 c 206 313 392.18 83.14 4.72 1000000 0 1163.55/1164.05 c 211 342 398.67 76.10 5.24 1000000 0 1164.75/1165.20 c 182 439 378.72 90.75 4.17 1000000 0 1165.85/1166.36 c 209 336 406.57 76.49 5.32 1000000 0 1167.05/1167.51 c 223 305 393.98 67.23 5.86 1000000 0 1168.15/1168.66 c 182 432 383.95 84.37 4.55 1000000 0 1169.35/1169.82 c 225 354 406.72 84.97 4.79 1000000 0 1170.45/1170.98 c 230 492 397.78 74.03 5.37 1000000 0 1171.65/1172.13 c 190 436 388.85 80.43 4.83 1000000 0 1172.75/1173.29 c 205 392 394.10 86.64 4.55 1000000 0 1173.94/1174.44 c 167 308 384.62 93.06 4.13 1000000 0 1175.04/1175.59 c 184 380 381.98 90.53 4.22 1000000 0 1176.24/1176.75 c 188 254 388.66 73.64 5.28 1000000 0 1177.45/1177.90 c 207 420 389.37 80.11 4.86 1000000 0 1178.54/1179.05 c 172 438 393.97 75.14 5.24 1000000 0 1179.75/1180.20 c 213 383 380.21 80.11 4.75 1000000 0 1180.85/1181.35 c 171 301 364.80 72.13 5.06 1000000 0 1181.95/1182.50 c 182 450 380.50 90.49 4.20 1000000 0 1183.15/1183.65 c 191 343 385.17 69.87 5.51 1000000 0 1184.34/1184.81 c 225 468 402.10 81.62 4.93 1000000 0 1185.44/1185.97 c 208 337 417.85 82.84 5.04 1000000 0 1186.64/1187.13 c 230 397 406.59 80.41 5.06 1000000 0 1187.74/1188.28 c 212 451 390.19 75.62 5.16 1000000 0 1188.94/1189.43 c 199 406 381.91 75.31 5.07 1000000 0 1190.04/1190.59 c 213 377 390.71 70.28 5.56 1000000 0 1191.24/1191.74 c 180 279 395.41 78.67 5.03 1000000 0 1192.34/1192.89 c 214 370 395.32 78.23 5.05 1000000 0 1193.53/1194.05 c 215 335 395.95 81.49 4.86 1000000 0 1194.73/1195.20 c 193 288 385.27 72.36 5.32 1000000 0 1195.83/1196.36 c 199 357 391.96 77.17 5.08 1000000 0 1197.03/1197.51 c 228 333 394.20 69.82 5.65 1000000 0 1198.13/1198.67 c 184 402 391.76 85.13 4.60 1000000 0 1199.33/1199.82 c 195 394 393.40 72.06 5.46 1000000 0 1200.43/1200.97 c 167 353 378.06 86.40 4.38 1000000 0 1201.63/1202.13 c 197 370 401.32 74.29 5.40 1000000 0 1202.73/1203.29 c 208 446 397.51 84.65 4.70 1000000 0 1203.94/1204.44 c 209 320 398.37 84.97 4.69 1000000 0 1205.04/1205.59 c 216 528 395.39 85.13 4.64 1000000 0 1206.24/1206.75 c 194 365 386.16 75.84 5.09 1000000 0 1207.43/1207.90 c 212 375 397.85 83.57 4.76 1000000 0 1208.53/1209.05 c 219 376 390.18 82.82 4.71 1000000 0 1209.73/1210.20 c 226 380 397.84 65.64 6.06 1000000 0 1210.83/1211.36 c 155 301 370.43 76.34 4.85 1000000 0 1212.03/1212.51 c 225 343 400.63 71.16 5.63 1000000 0 1213.13/1213.67 c 235 402 392.00 76.37 5.13 1000000 0 1214.33/1214.82 c 188 387 389.35 80.71 4.82 1000000 0 1215.42/1215.98 c 234 362 396.79 72.32 5.49 1000000 0 1216.62/1217.13 c 182 382 379.95 72.01 5.28 1000000 0 1217.72/1218.28 c 225 358 402.65 90.78 4.44 1000000 0 1218.92/1219.44 c 173 380 383.49 82.83 4.63 1000000 0 1220.02/1220.60 c 232 435 403.35 74.25 5.43 1000000 0 1221.22/1221.75 c 227 341 399.51 81.82 4.88 1000000 0 1222.42/1222.90 c 163 402 373.87 69.05 5.41 1000000 0 1223.52/1224.06 c 199 364 414.96 75.85 5.47 1000000 0 1224.72/1225.22 c 156 364 386.38 75.69 5.11 1000000 0 1225.82/1226.37 c 223 357 385.31 87.06 4.43 1000000 0 1227.03/1227.53 c 196 436 405.74 86.63 4.68 1000000 0 1228.13/1228.68 c 203 287 380.34 81.59 4.66 1000000 0 1229.33/1229.83 c 224 449 384.17 78.25 4.91 1000000 0 1230.43/1230.98 c 221 471 402.66 72.92 5.52 1000000 0 1231.62/1232.14 c 219 383 404.85 76.10 5.32 1000000 0 1232.82/1233.30 c 184 374 393.99 69.67 5.66 1000000 0 1233.92/1234.45 c 190 353 387.48 84.56 4.58 1000000 0 1235.12/1235.60 c 187 288 377.80 76.83 4.92 1000000 0 1236.22/1236.75 c 204 317 385.91 92.38 4.18 1000000 0 1237.42/1237.91 c 237 356 389.85 77.77 5.01 1000000 0 1238.52/1239.06 c 201 352 386.89 80.65 4.80 1000000 0 1239.71/1240.22 c 220 357 394.14 78.74 5.01 1000000 0 1240.81/1241.37 c 200 355 387.88 75.14 5.16 1000000 0 1242.01/1242.52 c 188 488 394.88 79.08 4.99 1000000 0 1243.11/1243.68 c 167 431 395.67 88.54 4.47 1000000 0 1244.31/1244.83 c 203 357 380.25 74.70 5.09 1000000 0 1245.41/1245.98 c 209 338 392.81 85.22 4.61 1000000 0 1246.61/1247.14 c 246 376 393.91 70.85 5.56 1000000 0 1247.71/1248.29 c 204 278 393.57 82.71 4.76 1000000 0 1248.91/1249.45 c 220 362 404.67 82.25 4.92 1000000 0 1250.12/1250.60 c 185 411 391.48 90.03 4.35 1000000 0 1251.22/1251.76 c 196 427 396.43 79.47 4.99 1000000 0 1252.42/1252.92 c 216 372 405.64 80.21 5.06 1000000 0 1253.52/1254.07 c 195 436 394.72 70.37 5.61 1000000 0 1254.71/1255.23 c 212 354 379.56 79.32 4.79 1000000 0 1255.81/1256.39 c 168 403 397.64 82.02 4.85 1000000 0 1257.01/1257.54 c 219 290 389.43 66.62 5.85 1000000 0 1258.21/1258.70 c 188 360 388.21 86.25 4.50 1000000 0 1259.31/1259.85 c 181 350 383.14 78.53 4.88 1000000 0 1260.51/1261.00 c 161 318 377.22 81.78 4.61 1000000 0 1261.61/1262.15 c 233 372 403.39 75.79 5.32 1000000 0 1262.81/1263.31 c 239 349 405.73 75.03 5.41 1000000 0 1263.91/1264.47 c 228 376 393.45 80.85 4.87 1000000 0 1265.10/1265.62 c 156 434 386.96 81.09 4.77 1000000 0 1266.20/1266.77 c 194 402 383.43 91.19 4.20 1000000 0 1267.40/1267.92 c 177 298 371.59 71.42 5.20 1000000 0 1268.50/1269.08 c 213 317 402.54 93.72 4.30 1000000 0 1269.70/1270.23 c 229 389 404.79 89.51 4.52 1000000 0 1270.80/1271.39 c 176 445 403.55 91.70 4.40 1000000 0 1272.00/1272.54 c 196 440 374.76 79.09 4.74 1000000 0 1273.10/1273.69 c 194 322 386.07 71.94 5.37 1000000 0 1274.31/1274.85 c 236 404 394.23 83.55 4.72 1000000 0 1275.41/1276.00 c 190 282 378.70 74.07 5.11 1000000 0 1276.61/1277.15 c 199 494 397.01 89.52 4.43 1000000 0 1277.80/1278.31 c 192 450 379.86 75.08 5.06 1000000 0 1278.90/1279.46 c 200 419 390.48 84.92 4.60 1000000 0 1280.10/1280.62 c 219 329 396.84 78.43 5.06 1000000 0 1281.20/1281.77 c 183 400 392.56 80.92 4.85 1000000 0 1282.40/1282.92 c 213 315 384.44 89.53 4.29 1000000 0 1283.50/1284.08 c 188 320 396.14 85.71 4.62 1000000 0 1284.70/1285.23 c 189 403 403.79 85.09 4.75 1000000 0 1285.80/1286.39 c 219 503 405.12 80.88 5.01 1000000 0 1287.00/1287.54 c 182 390 377.19 75.89 4.97 1000000 0 1288.10/1288.69 c 197 329 381.73 74.87 5.10 1000000 0 1289.30/1289.85 c 192 448 396.92 76.86 5.16 1000000 0 1290.49/1291.00 c 220 489 382.15 87.86 4.35 1000000 0 1291.59/1292.16 c 181 396 383.82 79.38 4.84 1000000 0 1292.79/1293.32 c 246 428 413.97 80.59 5.14 1000000 0 1293.89/1294.47 c 219 413 391.57 67.93 5.76 1000000 0 1295.10/1295.62 c 193 378 397.70 71.92 5.53 1000000 0 1296.20/1296.78 c 224 336 388.38 78.75 4.93 1000000 0 1297.41/1297.93 c 205 278 398.73 82.49 4.83 1000000 0 1298.51/1299.09 c 217 348 387.66 71.87 5.39 1000000 0 1299.71/1300.24 c 213 353 382.24 70.51 5.42 1000000 0 1300.90/1301.40 c 213 375 404.31 79.50 5.09 1000000 0 1302.00/1302.55 c 196 390 389.64 81.20 4.80 1000000 0 1303.20/1303.70 c 193 447 383.02 80.11 4.78 1000000 0 1304.30/1304.85 c 207 383 396.35 76.79 5.16 1000000 0 1305.49/1306.01 c 194 335 402.39 66.31 6.07 1000000 0 1306.59/1307.16 c 206 330 384.62 90.01 4.27 1000000 0 1307.79/1308.31 c 198 443 386.25 75.68 5.10 1000000 0 1308.89/1309.47 c 232 310 393.13 78.73 4.99 1000000 0 1310.09/1310.62 c 183 351 383.21 81.86 4.68 1000000 0 1311.19/1311.77 c 211 517 388.76 77.11 5.04 1000000 0 1312.39/1312.92 c 207 338 387.72 74.15 5.23 1000000 0 1313.49/1314.08 c 196 345 380.37 77.55 4.90 1000000 0 1314.69/1315.24 c 226 440 396.40 76.70 5.17 1000000 0 1315.79/1316.39 c 223 376 389.39 79.57 4.89 1000000 0 1316.99/1317.54 c 239 459 392.54 68.96 5.69 1000000 0 1318.19/1318.70 c 180 477 396.04 71.26 5.56 1000000 0 1319.29/1319.85 c 218 294 400.75 75.77 5.29 1000000 0 1320.50/1321.00 c 163 353 370.20 79.06 4.68 1000000 0 1321.60/1322.16 c 184 321 387.56 81.51 4.75 1000000 0 1322.80/1323.31 c 178 439 384.45 80.04 4.80 1000000 0 1323.90/1324.47 c 200 346 396.44 78.86 5.03 1000000 0 1325.09/1325.62 c 225 455 407.80 82.97 4.91 1000000 0 1326.19/1326.78 c 205 450 393.68 78.82 4.99 1000000 0 1327.39/1327.93 c 183 414 386.44 87.32 4.43 1000000 0 1328.49/1329.08 c 203 425 372.60 85.75 4.35 1000000 0 1329.69/1330.23 c 225 352 405.06 76.43 5.30 1000000 0 1330.79/1331.39 c 201 424 392.37 74.72 5.25 1000000 0 1331.98/1332.55 c 189 382 394.80 72.21 5.47 1000000 0 1333.18/1333.70 c 195 381 388.18 64.01 6.06 1000000 0 1334.28/1334.85 c 203 402 376.72 74.19 5.08 1000000 0 1335.48/1336.01 c 226 417 396.87 90.48 4.39 1000000 0 1336.58/1337.16 c 172 435 386.71 79.21 4.88 1000000 0 1337.78/1338.31 c 205 362 382.71 75.69 5.06 1000000 0 1338.88/1339.47 c 160 339 396.29 88.72 4.47 1000000 0 1340.08/1340.62 c 199 366 385.74 76.53 5.04 1000000 0 1341.18/1341.77 c 199 463 390.51 76.06 5.13 1000000 0 1342.38/1342.93 c 193 383 400.04 85.55 4.68 1000000 0 1343.48/1344.08 c 192 345 388.65 81.68 4.76 1000000 0 1344.69/1345.24 c 239 419 394.42 87.75 4.50 1000000 0 1345.79/1346.39 c 184 428 380.98 82.76 4.60 1000000 0 1346.99/1347.55 c 218 363 391.05 75.25 5.20 1000000 0 1348.18/1348.71 c 240 349 412.73 76.20 5.42 1000000 0 1349.28/1349.86 c 173 364 394.82 92.25 4.28 1000000 0 1350.48/1351.02 c 198 389 399.89 84.04 4.76 1000000 0 1351.58/1352.17 c 182 453 393.16 77.47 5.08 1000000 0 1352.78/1353.33 c 191 288 398.55 82.70 4.82 1000000 0 1353.88/1354.48 c 192 328 384.61 75.16 5.12 1000000 0 1355.08/1355.63 c 148 370 369.82 79.03 4.68 1000000 0 1356.18/1356.79 c 194 484 406.83 84.04 4.84 1000000 0 1357.38/1357.95 c 236 400 403.62 85.83 4.70 1000000 0 1358.58/1359.10 c 222 381 391.03 66.92 5.84 1000000 0 1359.68/1360.25 c 182 404 373.04 79.28 4.71 1000000 0 1360.87/1361.40 c 206 336 376.29 77.93 4.83 1000000 0 1361.97/1362.55 c 163 367 385.67 79.46 4.85 1000000 0 1363.17/1363.71 c 204 305 377.16 72.80 5.18 1000000 0 1364.27/1364.86 c 206 378 398.86 74.71 5.34 1000000 0 1365.47/1366.01 c 169 338 402.27 79.54 5.06 1000000 0 1366.57/1367.16 c 160 327 364.16 70.61 5.16 1000000 0 1367.78/1368.31 c 194 446 375.97 83.97 4.48 1000000 0 1368.88/1369.46 c 182 354 382.52 72.59 5.27 1000000 0 1370.08/1370.61 c 208 372 387.35 76.62 5.06 1000000 0 1371.18/1371.77 c 189 369 388.13 90.76 4.28 1000000 0 1372.37/1372.92 c 229 405 399.99 74.21 5.39 1000000 0 1373.47/1374.07 c 200 406 395.71 86.11 4.60 1000000 0 1374.67/1375.22 c 203 340 380.25 82.84 4.59 1000000 0 1375.77/1376.37 c 206 375 387.04 82.44 4.69 1000000 0 1376.97/1377.52 c 209 364 384.94 74.89 5.14 1000000 0 1378.07/1378.67 c 238 361 390.68 73.05 5.35 1000000 0 1379.27/1379.82 c 173 368 389.95 75.06 5.19 1000000 0 1380.37/1380.98 c 175 412 395.08 84.30 4.69 1000000 0 1381.57/1382.13 c 211 390 402.24 83.39 4.82 1000000 0 1382.67/1383.29 c 190 410 378.28 75.14 5.03 1000000 0 1383.87/1384.44 c 193 319 391.18 80.26 4.87 1000000 0 1384.96/1385.59 c 169 455 396.41 77.20 5.13 1000000 0 1386.17/1386.75 c 202 316 408.53 86.68 4.71 1000000 0 1387.36/1387.90 c 211 437 400.50 77.82 5.15 1000000 0 1388.46/1389.06 c 219 296 393.30 90.77 4.33 1000000 0 1389.66/1390.20 c 203 289 373.77 75.88 4.93 1000000 0 1390.76/1391.36 c 213 359 399.49 68.36 5.84 1000000 0 1391.97/1392.52 c 161 306 386.19 92.14 4.19 1000000 0 1393.07/1393.67 c 222 463 394.20 69.53 5.67 1000000 0 1394.27/1394.82 c 219 364 388.37 75.69 5.13 1000000 0 1395.37/1395.98 c 208 452 389.92 82.30 4.74 1000000 0 1396.56/1397.13 c 197 362 391.92 76.82 5.10 1000000 0 1397.66/1398.29 c 200 397 395.63 77.42 5.11 1000000 0 1398.86/1399.44 c 220 423 394.73 69.33 5.69 1000000 0 1400.06/1400.60 c 222 366 390.18 72.95 5.35 1000000 0 1401.16/1401.75 c 192 329 388.89 89.51 4.34 1000000 0 1402.36/1402.91 c 206 363 387.65 89.10 4.35 1000000 0 1403.46/1404.06 c 207 414 383.89 77.82 4.93 1000000 0 1404.66/1405.21 c 187 395 408.84 84.45 4.84 1000000 0 1405.76/1406.37 c 201 409 390.47 64.12 6.09 1000000 0 1406.95/1407.52 c 191 412 382.55 72.09 5.31 1000000 0 1408.05/1408.67 c 204 329 389.65 87.38 4.46 1000000 0 1409.25/1409.83 c 204 435 398.44 73.27 5.44 1000000 0 1410.35/1410.98 c 224 334 400.90 78.49 5.11 1000000 0 1411.55/1412.14 c 236 364 410.97 75.36 5.45 1000000 0 1412.75/1413.30 c 199 398 405.32 76.93 5.27 1000000 0 1413.85/1414.46 c 212 352 398.73 80.47 4.96 1000000 0 1415.06/1415.62 c 195 327 386.72 74.32 5.20 1000000 0 1416.16/1416.77 c 211 264 398.63 89.20 4.47 1000000 0 1417.36/1417.93 c 179 451 401.58 91.31 4.40 1000000 0 1418.46/1419.08 c 211 368 403.04 82.97 4.86 1000000 0 1419.65/1420.23 c 183 528 375.40 74.75 5.02 1000000 0 1420.75/1421.38 c 189 344 367.98 69.10 5.33 1000000 0 1421.95/1422.53 c 187 419 380.35 84.06 4.52 1000000 0 1423.05/1423.69 c 189 372 402.75 84.60 4.76 1000000 0 1424.25/1424.84 c 190 380 401.50 66.33 6.05 1000000 0 1425.45/1426.00 c 212 279 392.43 76.47 5.13 1000000 0 1426.55/1427.15 c 200 482 402.15 78.44 5.13 1000000 0 1427.74/1428.31 c 180 349 396.97 86.95 4.57 1000000 0 1428.84/1429.46 c 198 353 401.84 83.52 4.81 1000000 0 1430.04/1430.61 c 164 386 386.73 85.95 4.50 1000000 0 1431.15/1431.77 c 186 350 392.11 80.04 4.90 1000000 0 1432.34/1432.93 c 174 336 400.19 86.77 4.61 1000000 0 1433.44/1434.08 c 167 407 388.05 84.58 4.59 1000000 0 1434.64/1435.23 c 211 298 395.08 69.76 5.66 1000000 0 1435.74/1436.38 c 198 475 388.69 69.75 5.57 1000000 0 1436.94/1437.54 c 197 350 399.02 91.56 4.36 1000000 0 1438.04/1438.69 c 190 331 375.95 72.45 5.19 1000000 0 1439.25/1439.84 c 188 384 376.21 74.10 5.08 1000000 0 1440.35/1441.00 c 126 307 388.38 95.19 4.08 1000000 0 1441.55/1442.15 c 228 292 381.70 66.90 5.71 1000000 0 1442.74/1443.30 c 230 346 398.45 71.38 5.58 1000000 0 1443.84/1444.45 c 210 372 378.52 95.39 3.97 1000000 0 1445.04/1445.61 c 222 350 397.18 78.73 5.04 1000000 0 1446.14/1446.76 c 226 406 399.93 87.39 4.58 1000000 0 1447.34/1447.91 c 180 358 354.62 81.82 4.33 1000000 0 1448.44/1449.06 c 187 398 387.80 105.24 3.69 1000000 0 1449.64/1450.22 c 202 321 402.84 87.98 4.58 1000000 0 1450.74/1451.37 c 184 416 391.18 84.33 4.64 1000000 0 1451.94/1452.53 c 184 316 389.16 80.18 4.85 1000000 0 1453.04/1453.68 c 179 443 391.43 79.42 4.93 1000000 0 1454.23/1454.83 c 219 388 391.18 71.23 5.49 1000000 0 1455.33/1455.98 c 192 395 387.18 98.79 3.92 1000000 0 1456.54/1457.14 c 228 371 399.38 74.62 5.35 1000000 0 1457.63/1458.29 c 197 412 376.81 81.99 4.60 1000000 0 1458.83/1459.44 c 223 339 399.95 81.01 4.94 1000000 0 1459.93/1460.59 c 218 273 382.22 79.24 4.82 1000000 0 1461.13/1461.75 c 211 292 379.22 71.79 5.28 1000000 0 1462.34/1462.91 c 223 437 392.23 77.36 5.07 1000000 0 1463.44/1464.05 c 184 454 393.80 81.50 4.83 1000000 0 1464.64/1465.21 c 193 378 393.34 92.31 4.26 1000000 0 1465.74/1466.36 c 215 413 396.37 62.99 6.29 1000000 0 1466.93/1467.51 c 196 445 377.94 75.44 5.01 1000000 0 1468.03/1468.67 c 179 344 386.07 77.18 5.00 1000000 0 1469.23/1469.82 c 168 355 390.65 81.02 4.82 1000000 0 1470.33/1470.97 c 183 355 379.60 78.23 4.85 1000000 0 1471.53/1472.12 c 198 298 388.09 72.79 5.33 1000000 0 1472.63/1473.28 c 236 398 407.56 77.20 5.28 1000000 0 1473.83/1474.43 c 175 363 388.38 81.26 4.78 1000000 0 1474.93/1475.59 c 203 377 404.03 76.52 5.28 1000000 0 1476.13/1476.74 c 221 384 390.94 80.40 4.86 1000000 0 1477.23/1477.89 c 137 455 388.36 96.92 4.01 1000000 0 1478.43/1479.05 c 217 524 396.99 69.55 5.71 1000000 0 1479.63/1480.20 c 225 339 396.60 72.02 5.51 1000000 0 1480.72/1481.36 c 194 343 389.05 75.80 5.13 1000000 0 1481.93/1482.51 c 175 547 392.57 76.29 5.15 1000000 0 1483.02/1483.67 c 196 346 402.45 79.44 5.07 1000000 0 1484.22/1484.83 c 224 440 394.14 77.78 5.07 1000000 0 1485.32/1485.98 c 206 463 383.57 74.70 5.13 1000000 0 1486.53/1487.13 c 213 414 390.84 87.09 4.49 1000000 0 1487.63/1488.28 c 225 357 398.38 83.02 4.80 1000000 0 1488.83/1489.44 c 216 389 390.78 77.96 5.01 1000000 0 1489.93/1490.60 c 204 446 384.93 77.31 4.98 1000000 0 1491.12/1491.75 c 194 267 392.35 78.33 5.01 1000000 0 1492.32/1492.90 c 199 316 383.26 78.34 4.89 1000000 0 1493.42/1494.06 c 215 347 399.48 75.95 5.26 1000000 0 1494.62/1495.21 c 195 408 392.94 79.45 4.95 1000000 0 1495.72/1496.37 c 215 334 401.07 84.24 4.76 1000000 0 1496.92/1497.52 c 204 401 378.48 81.46 4.65 1000000 0 1498.02/1498.68 c 202 479 396.84 71.86 5.52 1000000 0 1499.22/1499.83 c 184 354 380.91 70.42 5.41 1000000 0 1500.32/1500.98 c 181 567 383.64 74.95 5.12 1000000 0 1501.52/1502.13 c 168 419 387.56 74.97 5.17 1000000 0 1502.62/1503.28 c 220 266 379.51 73.72 5.15 1000000 0 1503.82/1504.43 c 179 338 380.52 77.05 4.94 1000000 0 1504.92/1505.59 c 230 296 391.70 81.89 4.78 1000000 0 1506.12/1506.74 c 213 468 390.27 71.96 5.42 1000000 0 1507.22/1507.89 c 213 297 389.70 80.77 4.82 1000000 0 1508.41/1509.04 c 188 357 376.50 80.91 4.65 1000000 0 1509.62/1510.20 c 225 403 386.06 71.96 5.36 1000000 0 1510.72/1511.35 c 203 370 375.10 80.61 4.65 1000000 0 1511.82/1512.50 c 243 360 388.70 71.68 5.42 1000000 0 1513.02/1513.65 c 187 444 392.59 82.59 4.75 1000000 0 1514.21/1514.80 c 173 380 386.33 85.21 4.53 1000000 0 1515.31/1515.95 c 220 353 377.12 73.49 5.13 1000000 0 1516.51/1517.10 c 188 489 383.14 77.64 4.94 1000000 0 1517.61/1518.26 c 186 418 392.14 75.75 5.18 1000000 0 1518.81/1519.41 c 200 453 392.88 82.97 4.74 1000000 0 1519.91/1520.57 c 235 371 405.45 82.97 4.89 1000000 0 1521.11/1521.72 c 176 401 394.77 90.36 4.37 1000000 0 1522.21/1522.88 c 197 458 396.95 76.44 5.19 1000000 0 1523.41/1524.03 c 186 398 385.43 85.11 4.53 1000000 0 1524.51/1525.19 c 180 419 389.70 99.59 3.91 1000000 0 1525.71/1526.34 c 198 459 393.29 86.26 4.56 1000000 0 1526.81/1527.49 c 205 330 397.91 78.47 5.07 1000000 0 1528.01/1528.65 c 211 221 391.58 73.95 5.30 1000000 0 1529.21/1529.80 c 173 239 381.51 76.10 5.01 1000000 0 1530.31/1530.96 c 192 432 404.68 77.11 5.25 1000000 0 1531.51/1532.12 c 222 379 405.16 77.87 5.20 1000000 0 1532.61/1533.27 c 209 384 386.33 74.37 5.20 1000000 0 1533.81/1534.42 c 189 354 389.03 88.67 4.39 1000000 0 1534.91/1535.58 c 218 389 396.04 81.19 4.88 1000000 0 1536.11/1536.73 c 187 390 382.64 87.74 4.36 1000000 0 1537.21/1537.88 c 181 264 384.39 81.64 4.71 1000000 0 1538.40/1539.03 c 183 381 394.43 80.64 4.89 1000000 0 1539.50/1540.19 c 217 393 381.70 66.94 5.70 1000000 0 1540.70/1541.34 c 211 450 388.02 86.52 4.48 1000000 0 1541.80/1542.49 c 203 367 393.62 79.35 4.96 1000000 0 1543.00/1543.64 c 175 409 385.93 72.91 5.29 1000000 0 1544.20/1544.80 c 189 361 396.15 72.80 5.44 1000000 0 1545.30/1545.95 c 214 413 397.98 86.80 4.58 1000000 0 1546.50/1547.11 c 206 371 407.14 89.30 4.56 1000000 0 1547.60/1548.26 c 151 337 371.13 81.82 4.54 1000000 0 1548.80/1549.41 c 180 560 391.75 86.16 4.55 1000000 0 1549.90/1550.56 c 221 403 395.80 78.78 5.02 1000000 0 1551.10/1551.72 c 213 317 397.46 84.53 4.70 1000000 0 1552.20/1552.87 c 190 346 377.02 83.36 4.52 1000000 0 1553.40/1554.02 c 187 303 386.74 80.94 4.78 1000000 0 1554.50/1555.18 c 153 378 407.37 100.62 4.05 1000000 0 1555.70/1556.33 c 220 302 388.67 70.24 5.53 1000000 0 1556.80/1557.48 c 185 343 384.04 82.40 4.66 1000000 0 1558.00/1558.64 c 185 399 392.94 89.69 4.38 1000000 0 1559.10/1559.79 c 158 333 363.96 91.60 3.97 1000000 0 1560.30/1560.94 c 223 420 386.54 74.56 5.18 1000000 0 1561.40/1562.09 c 229 300 387.44 78.35 4.95 1000000 0 1562.59/1563.24 c 176 301 374.17 81.71 4.58 1000000 0 1563.70/1564.39 c 181 338 392.41 79.04 4.96 1000000 0 1564.89/1565.54 c 196 386 382.67 78.53 4.87 1000000 0 1566.09/1566.70 c 246 469 413.20 77.32 5.34 1000000 0 1567.19/1567.85 c 158 393 369.97 85.04 4.35 1000000 0 1568.39/1569.00 c 222 362 391.55 70.04 5.59 1000000 0 1569.49/1570.15 c 183 365 391.26 78.30 5.00 1000000 0 1570.69/1571.31 c 201 250 383.79 78.58 4.88 1000000 0 1571.79/1572.46 c 205 391 386.49 84.13 4.59 1000000 0 1572.99/1573.62 c 207 364 396.92 75.43 5.26 1000000 0 1574.09/1574.77 c 217 388 395.52 76.43 5.18 1000000 0 1575.29/1575.93 c 211 268 414.76 99.27 4.18 1000000 0 1576.39/1577.09 c 211 341 398.14 81.70 4.87 1000000 0 1577.59/1578.24 c 198 371 386.52 76.65 5.04 1000000 0 1578.69/1579.40 c 208 371 385.13 79.83 4.82 1000000 0 1579.89/1580.55 c 208 336 400.29 76.71 5.22 1000000 0 1581.10/1581.70 c 225 346 397.75 86.23 4.61 1000000 0 1582.20/1582.86 c 209 320 399.05 86.68 4.60 1000000 0 1583.40/1584.01 c 180 433 377.15 87.51 4.31 1000000 0 1584.50/1585.16 c 219 333 387.36 80.78 4.80 1000000 0 1585.69/1586.31 c 192 281 388.74 78.11 4.98 1000000 0 1586.79/1587.47 c 223 399 400.08 84.26 4.75 1000000 0 1587.99/1588.62 c 200 377 394.20 82.35 4.79 1000000 0 1589.09/1589.77 c 183 306 383.79 73.54 5.22 1000000 0 1590.29/1590.92 c 174 453 386.08 81.49 4.74 1000000 0 1591.39/1592.08 c 195 370 393.49 80.63 4.88 1000000 0 1592.59/1593.23 c 179 369 384.36 91.08 4.22 1000000 0 1593.69/1594.39 c 225 440 399.17 81.41 4.90 1000000 0 1594.89/1595.54 c 201 366 389.36 68.55 5.68 1000000 0 1595.99/1596.69 c 221 335 407.44 84.75 4.81 1000000 0 1597.19/1597.85 c 204 356 388.16 75.19 5.16 1000000 0 1598.39/1599.00 c 206 518 392.48 75.90 5.17 1000000 0 1599.49/1600.15 c 167 435 382.13 87.67 4.36 1000000 0 1600.69/1601.31 c 216 326 395.84 81.97 4.83 1000000 0 1601.79/1602.46 c 167 388 388.12 84.77 4.58 1000000 0 1602.99/1603.61 c 180 230 385.22 84.35 4.57 1000000 0 1604.09/1604.77 c 178 394 391.61 89.89 4.36 1000000 0 1605.29/1605.93 c 212 359 395.06 81.98 4.82 1000000 0 1606.39/1607.08 c 204 418 393.09 87.97 4.47 1000000 0 1607.59/1608.23 c 193 427 387.00 80.15 4.83 1000000 0 1608.69/1609.39 c 202 427 385.32 77.09 5.00 1000000 0 1609.88/1610.54 c 180 298 400.67 91.05 4.40 1000000 0 1611.08/1611.70 c 200 429 383.26 82.34 4.65 1000000 0 1612.18/1612.85 c 212 407 382.60 78.93 4.85 1000000 0 1613.38/1614.01 c 195 353 389.13 79.25 4.91 1000000 0 1614.48/1615.16 c 175 479 389.68 74.64 5.22 1000000 0 1615.68/1616.31 c 187 282 393.37 82.83 4.75 1000000 0 1616.78/1617.47 c 204 347 409.25 77.65 5.27 1000000 0 1617.98/1618.63 c 158 429 389.98 78.35 4.98 1000000 0 1619.08/1619.78 c 223 365 385.95 79.38 4.86 1000000 0 1620.28/1620.93 c 203 358 384.33 71.95 5.34 1000000 0 1621.38/1622.09 c 186 388 404.13 85.04 4.75 1000000 0 1622.58/1623.24 c 202 311 396.80 72.00 5.51 1000000 0 1623.78/1624.40 c 193 308 395.53 72.94 5.42 1000000 0 1624.88/1625.55 c 210 376 375.58 70.43 5.33 1000000 0 1626.08/1626.70 c 180 480 392.94 76.68 5.12 1000000 0 1627.18/1627.85 c 210 366 381.38 83.96 4.54 1000000 0 1628.38/1629.01 c 194 442 390.69 74.50 5.24 1000000 0 1629.48/1630.16 c 195 317 379.54 77.43 4.90 1000000 0 1630.68/1631.31 c 177 381 386.35 66.94 5.77 1000000 0 1631.78/1632.47 c 213 423 391.36 73.04 5.36 1000000 0 1632.97/1633.62 c 189 417 395.15 78.28 5.05 1000000 0 1634.07/1634.77 c 216 308 388.50 75.12 5.17 1000000 0 1635.27/1635.93 c 163 362 401.56 85.90 4.67 1000000 0 1636.37/1637.09 c 223 304 396.97 72.60 5.47 1000000 0 1637.57/1638.25 c 206 409 410.31 82.10 5.00 1000000 0 1638.77/1639.40 c 189 340 398.52 71.93 5.54 1000000 0 1639.87/1640.56 c 215 399 405.64 86.33 4.70 1000000 0 1641.07/1641.71 c 220 426 383.60 77.04 4.98 1000000 0 1642.17/1642.86 c 196 367 389.21 73.29 5.31 1000000 0 1643.37/1644.02 c 212 400 385.72 94.80 4.07 1000000 0 1644.47/1645.17 c 232 403 398.21 72.60 5.48 1000000 0 1645.67/1646.33 c 225 512 404.01 76.19 5.30 1000000 0 1646.77/1647.48 c 184 448 399.62 79.10 5.05 1000000 0 1647.97/1648.63 c 227 437 383.52 72.88 5.26 1000000 0 1649.07/1649.79 c 225 407 396.96 75.38 5.27 1000000 0 1650.27/1650.94 c 196 382 403.01 80.91 4.98 1000000 0 1651.47/1652.10 c 159 385 389.90 87.34 4.46 1000000 0 1652.57/1653.25 c 207 312 379.93 77.65 4.89 1000000 0 1653.77/1654.41 c 184 368 399.46 108.04 3.70 1000000 0 1654.87/1655.56 c 160 381 383.32 78.17 4.90 1000000 0 1656.06/1656.72 c 213 404 403.07 78.42 5.14 1000000 0 1657.16/1657.87 c 202 311 400.09 79.53 5.03 1000000 0 1658.36/1659.03 c 178 310 391.12 80.40 4.86 1000000 0 1659.46/1660.19 c 239 306 399.36 81.31 4.91 1000000 0 1660.66/1661.34 c 211 340 383.05 83.78 4.57 1000000 0 1661.76/1662.49 c 211 422 396.61 78.70 5.04 1000000 0 1662.96/1663.65 c 191 453 393.04 72.47 5.42 1000000 0 1664.16/1664.80 c 214 439 402.56 76.35 5.27 1000000 0 1665.26/1665.96 c 200 398 394.51 85.30 4.62 1000000 0 1666.46/1667.11 c 179 352 365.15 75.67 4.83 1000000 0 1667.56/1668.26 c 203 318 400.04 89.67 4.46 1000000 0 1668.76/1669.42 c 196 413 410.29 86.10 4.77 1000000 0 1669.86/1670.57 c 204 372 375.42 75.59 4.97 1000000 0 1671.06/1671.73 c 221 288 395.39 75.94 5.21 1000000 0 1672.16/1672.89 c 172 404 395.87 88.99 4.45 1000000 0 1673.36/1674.04 c 221 322 398.44 79.84 4.99 1000000 0 1674.56/1675.20 c 198 331 386.92 88.00 4.40 1000000 0 1675.66/1676.35 c 201 370 390.54 75.32 5.19 1000000 0 1676.76/1677.50 c 184 290 401.07 85.72 4.68 1000000 0 1677.96/1678.65 c 226 438 384.02 80.68 4.76 1000000 0 1679.15/1679.80 c 178 330 371.51 73.19 5.08 1000000 0 1680.25/1680.95 c 186 457 390.50 73.62 5.30 1000000 0 1681.45/1682.10 c 172 380 389.76 86.90 4.48 1000000 0 1682.55/1683.26 c 196 200 392.79 69.17 5.68 1000000 0 1683.75/1684.41 c 231 324 392.84 76.82 5.11 1000000 0 1684.85/1685.57 c 203 279 389.23 85.72 4.54 1000000 0 1686.05/1686.72 c 178 479 381.17 80.75 4.72 1000000 0 1687.15/1687.88 c 209 424 410.00 94.31 4.35 1000000 0 1688.35/1689.03 c 185 331 390.66 82.06 4.76 1000000 0 1689.45/1690.18 c 214 528 400.96 82.60 4.85 1000000 0 1690.65/1691.34 c 221 415 390.97 78.18 5.00 1000000 0 1691.75/1692.49 c 218 381 390.49 88.83 4.40 1000000 0 1692.95/1693.64 c 178 335 385.06 72.23 5.33 1000000 0 1694.15/1694.80 c 193 408 393.60 89.36 4.40 1000000 0 1695.25/1695.95 c 220 411 389.79 75.34 5.17 1000000 0 1696.45/1697.10 c 199 414 377.74 62.88 6.01 1000000 0 1697.55/1698.25 c 191 290 398.58 78.48 5.08 1000000 0 1698.75/1699.41 c 191 429 380.51 68.22 5.58 1000000 0 1699.85/1700.56 c 200 366 392.49 71.06 5.52 1000000 0 1701.05/1701.71 c 184 319 380.34 72.80 5.22 1000000 0 1702.15/1702.87 c 201 379 379.35 73.65 5.15 1000000 0 1703.34/1704.02 c 214 275 388.87 74.51 5.22 1000000 0 1704.44/1705.17 c 172 525 390.55 75.60 5.17 1000000 0 1705.64/1706.32 c 197 426 387.03 81.65 4.74 1000000 0 1706.74/1707.48 c 148 391 384.30 79.07 4.86 1000000 0 1707.94/1708.63 c 213 425 386.10 74.24 5.20 1000000 0 1709.04/1709.78 c 227 372 396.52 79.82 4.97 1000000 0 1710.24/1710.93 c 199 352 389.34 69.50 5.60 1000000 0 1711.34/1712.09 c 193 264 392.59 81.52 4.82 1000000 0 1712.54/1713.24 c 187 330 382.04 79.85 4.78 1000000 0 1713.64/1714.40 c 243 384 404.12 75.86 5.33 1000000 0 1714.84/1715.56 c 208 374 401.14 83.59 4.80 1000000 0 1716.04/1716.71 c 197 428 387.09 82.47 4.69 1000000 0 1717.14/1717.86 c 205 525 411.64 82.02 5.02 1000000 0 1718.34/1719.01 c 194 343 388.53 79.42 4.89 1000000 0 1719.44/1720.17 c 224 384 407.84 88.73 4.60 1000000 0 1720.64/1721.33 c 207 402 398.57 63.96 6.23 1000000 0 1721.74/1722.48 c 203 376 395.84 86.30 4.59 1000000 0 1722.94/1723.64 c 225 445 404.25 81.59 4.95 1000000 0 1724.04/1724.79 c 205 417 393.68 71.02 5.54 1000000 0 1725.24/1725.94 c 221 310 390.35 86.44 4.52 1000000 0 1726.34/1727.09 c 155 412 381.40 87.38 4.37 1000000 0 1727.53/1728.24 c 214 342 383.45 74.19 5.17 1000000 0 1728.63/1729.39 c 192 366 370.70 80.37 4.61 1000000 0 1729.83/1730.55 c 141 296 411.18 80.44 5.11 1000000 0 1731.03/1731.71 c 160 297 394.09 88.41 4.46 1000000 0 1732.13/1732.86 c 191 412 388.42 79.11 4.91 1000000 0 1733.33/1734.02 c 214 363 391.32 79.91 4.90 1000000 0 1734.43/1735.18 c 181 339 394.72 88.17 4.48 1000000 0 1735.63/1736.33 c 209 373 380.49 82.30 4.62 1000000 0 1736.73/1737.48 c 202 502 395.07 78.32 5.04 1000000 0 1737.93/1738.64 c 162 404 389.99 83.67 4.66 1000000 0 1739.03/1739.79 c 208 307 392.74 82.69 4.75 1000000 0 1740.23/1740.95 c 164 318 397.33 82.63 4.81 1000000 0 1741.43/1742.10 c 195 301 389.89 88.67 4.40 1000000 0 1742.53/1743.26 c 193 422 386.84 64.29 6.02 1000000 0 1743.73/1744.41 c 200 516 400.27 79.51 5.03 1000000 0 1744.83/1745.57 c 211 423 403.04 72.86 5.53 1000000 0 1746.04/1746.72 c 197 364 373.24 68.12 5.48 1000000 0 1747.13/1747.87 c 216 369 375.69 80.01 4.70 1000000 0 1748.33/1749.02 c 228 371 389.75 77.95 5.00 1000000 0 1749.43/1750.17 c 221 374 382.82 68.61 5.58 1000000 0 1750.62/1751.32 c 204 389 383.55 68.88 5.57 1000000 0 1751.73/1752.48 c 210 352 401.40 82.59 4.86 1000000 0 1752.92/1753.64 c 187 404 391.50 82.00 4.77 1000000 0 1754.02/1754.79 c 179 432 386.43 70.69 5.47 1000000 0 1755.22/1755.94 c 207 328 388.92 80.45 4.83 1000000 0 1756.32/1757.09 c 208 459 382.38 73.14 5.23 1000000 0 1757.52/1758.24 c 210 300 380.23 85.12 4.47 1000000 0 1758.62/1759.39 c 202 378 383.11 71.73 5.34 1000000 0 1759.82/1760.55 c 199 405 400.66 97.73 4.10 1000000 0 1761.02/1761.71 c 198 348 397.20 85.00 4.67 1000000 0 1762.12/1762.86 c 175 480 390.23 76.10 5.13 1000000 0 1763.32/1764.02 c 202 336 395.31 76.29 5.18 1000000 0 1764.42/1765.18 c 204 383 407.53 90.48 4.50 1000000 0 1765.62/1766.33 c 203 323 398.16 83.79 4.75 1000000 0 1766.72/1767.48 c 186 302 386.27 80.90 4.77 1000000 0 1767.92/1768.64 c 218 387 400.41 81.69 4.90 1000000 0 1769.02/1769.79 c 143 459 395.26 94.10 4.20 1000000 0 1770.22/1770.94 c 200 392 383.96 81.98 4.68 1000000 0 1771.32/1772.10 c 226 364 388.07 71.50 5.43 1000000 0 1772.52/1773.26 c 205 380 394.03 82.79 4.76 1000000 0 1773.72/1774.41 c 205 318 383.39 72.40 5.30 1000000 0 1774.81/1775.56 c 206 309 388.86 76.24 5.10 1000000 0 1776.01/1776.72 c 203 328 395.88 71.45 5.54 1000000 0 1777.11/1777.87 c 215 360 400.00 79.48 5.03 1000000 0 1778.31/1779.02 c 205 327 374.43 94.39 3.97 1000000 0 1779.41/1780.18 c 231 430 406.22 85.71 4.74 1000000 0 1780.61/1781.33 c 237 284 400.26 76.64 5.22 1000000 0 1781.71/1782.49 c 211 334 398.44 92.52 4.31 1000000 0 1782.91/1783.64 c 207 381 399.56 94.30 4.24 1000000 0 1784.01/1784.80 c 192 383 389.37 78.26 4.98 1000000 0 1785.21/1785.95 c 224 399 391.65 70.47 5.56 1000000 0 1786.41/1787.10 c 214 414 394.42 81.82 4.82 1000000 0 1787.51/1788.26 c 190 265 394.69 81.92 4.82 1000000 0 1788.71/1789.41 c 205 312 390.78 86.01 4.54 1000000 0 1789.81/1790.57 c 200 349 391.41 77.30 5.06 1000000 0 1791.01/1791.72 c 185 410 378.68 88.87 4.26 1000000 0 1792.11/1792.87 c 214 363 397.71 82.50 4.82 1000000 0 1793.31/1794.02 c 207 317 374.18 74.83 5.00 1000000 0 1794.41/1795.17 c 187 406 390.93 78.54 4.98 1000000 0 1795.62/1796.33 c 221 303 393.90 70.09 5.62 1000000 0 1796.71/1797.49 c 184 305 383.12 80.85 4.74 1000000 0 1797.91/1798.64 c 182 384 383.34 89.16 4.30 1000000 0 1799.11/1799.80 c 224 374 400.77 71.04 5.64 1000000 0 1800.02/1800.71 HOME/run: line 2: 19796 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-2685294-1278440505/watcher-2685294-1278440505 -o /tmp/evaluation-result-2685294-1278440505/solver-2685294-1278440505 -C 1800 -W 2000 -M 1800 run HOME/instance-2685294-1278440505.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: 1.14 1.03 1.05 3/106 19795 /proc/meminfo: memFree=1410808/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) R 19793 19795 18871 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917701013 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [startup+0.034 s] /proc/loadavg: 1.14 1.03 1.05 3/106 19795 /proc/meminfo: memFree=1410808/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.2 s] /proc/loadavg: 1.14 1.03 1.05 3/106 19795 /proc/meminfo: memFree=1410808/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.3 s] /proc/loadavg: 1.14 1.03 1.05 3/106 19795 /proc/meminfo: memFree=1410808/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.8 s] /proc/loadavg: 1.14 1.03 1.05 3/106 19795 /proc/meminfo: memFree=1410808/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5 s] /proc/loadavg: 1.14 1.03 1.05 2/108 19797 /proc/meminfo: memFree=1405832/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1.49 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1275 0 0 0 149 0 0 0 25 0 1 0 12264097 41422848 1204 1992294400 134512640 135071400 4290608672 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1204 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.101 s] /proc/loadavg: 1.14 1.03 1.05 2/108 19797 /proc/meminfo: memFree=1405584/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=3.09 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1275 0 0 0 309 0 0 0 25 0 1 0 12264097 41422848 1204 1992294400 134512640 135071400 4290608672 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1204 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.301 s] /proc/loadavg: 1.13 1.03 1.05 2/108 19797 /proc/meminfo: memFree=1405584/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=6.29 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 629 0 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.701 s] /proc/loadavg: 1.12 1.03 1.05 2/108 19798 /proc/meminfo: memFree=1405584/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=12.68 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 1268 0 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.501 s] /proc/loadavg: 1.09 1.03 1.05 2/108 19798 /proc/meminfo: memFree=1405592/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=25.48 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 2548 0 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.101 s] /proc/loadavg: 1.06 1.03 1.05 2/108 19798 /proc/meminfo: memFree=1405592/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=51.06 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 5106 0 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.02 1.02 1.04 2/108 19800 /proc/meminfo: memFree=1405344/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=102.26 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 10225 1 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.01 1.01 1.04 2/108 19802 /proc/meminfo: memFree=1405096/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=162.23 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 16222 1 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.03 2/108 19803 /proc/meminfo: memFree=1405096/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=222.2 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 22219 1 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 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: 1.00 1.00 1.02 2/108 19804 /proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=282.18 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 28217 1 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 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: 1.00 1.00 1.02 2/108 19806 /proc/meminfo: memFree=1404848/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=342.16 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 34214 2 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.01 2/108 19808 /proc/meminfo: memFree=1404724/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=402.13 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 40211 2 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 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/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1121.86 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 112180 6 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19828 /proc/meminfo: memFree=1403360/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1181.84 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 118177 7 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19830 /proc/meminfo: memFree=1403112/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1241.81 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 124174 7 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19832 /proc/meminfo: memFree=1402988/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1301.8 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 130172 8 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19834 /proc/meminfo: memFree=1402864/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1361.77 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 136169 8 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19835 /proc/meminfo: memFree=1402864/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1421.76 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 142168 8 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19836 /proc/meminfo: memFree=1402616/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1481.72 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 148164 8 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526887 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19838 /proc/meminfo: memFree=1402492/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1541.7 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 154162 8 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19840 /proc/meminfo: memFree=1402492/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1601.69 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 160160 9 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526346 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19842 /proc/meminfo: memFree=1402244/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1661.66 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 166157 9 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19843 /proc/meminfo: memFree=1402120/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1721.64 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 172155 9 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19844 /proc/meminfo: memFree=1401872/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1781.61 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 178152 9 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19845 /proc/meminfo: memFree=1401872/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1800.02 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 179993 9 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526289 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19845 /proc/meminfo: memFree=1401872/2059040 swapFree=4192956/4192956 [pid=19795] ppid=19793 vsize=8700 CPUtime=0 /proc/19795/stat : 19795 (run) S 19793 19795 18871 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12264097 8908800 244 1992294400 4194304 4922060 140736400070256 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19795/statm: 2175 244 204 178 0 68 0 [pid=19796] ppid=19795 vsize=40452 CPUtime=1800.02 /proc/19796/stat : 19796 (PB-wave) R 19795 19795 18871 0 -1 4202496 1276 0 0 0 179993 9 0 0 25 0 1 0 12264097 41422848 1205 1992294400 134512640 135071400 4290608672 18446744073709551615 134526289 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/19796/statm: 10113 1205 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.04 CPU user time (s): 1799.94 CPU system time (s): 0.102984 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.102984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1648 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= 25618 runsolver used 3.82242 second user time and 9.38657 second system time The end
Begin job on node006 at 2010-07-06 20:21:46 IDJOB=2685294 IDBENCH=75253 IDSOLVER=1171 FILE ID=node006/2685294-1278440505 PBS_JOBID= 11233464 Free space on /tmp= 62580 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j907_8-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685294-1278440505/watcher-2685294-1278440505 -o /tmp/evaluation-result-2685294-1278440505/solver-2685294-1278440505 -C 1800 -W 2000 -M 1800 run HOME/instance-2685294-1278440505.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d22d1a2ad9ad09989fc3383e19b4a9d RANDOM SEED=456696698 node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.269 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.269 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1411204 kB Buffers: 111252 kB Cached: 397608 kB SwapCached: 0 kB Active: 193384 kB Inactive: 376020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1411204 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2036 kB Writeback: 16 kB AnonPages: 60480 kB Mapped: 14460 kB Slab: 56464 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180344 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node006 at 2010-07-06 20:51:46