| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.09 | 1800.81 |
| Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j605_10-unsat.opb |
| MD5SUM | ce969cddb569a85677747111590221bd |
| 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 | 7.2269 |
| 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 | 9638 |
| Total number of constraints | 30220 |
| Number of constraints which are clauses | 29908 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 312 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 38 |
| 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 | 20 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 254 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c PB-wave - v2 0.00/0.08 c command line = ./PB-wave 0.00/0.08 c seed = 25276448 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 9638 #con 30220 0.00/0.08 mode is SAT 0.00/0.08 c tail starts after flip = 28914 0.00/0.08 c numatom = 9638, numclause = 30220, numliterals = 73387 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.29/1.34 c 347 470 515.25 56.09 9.19 1000000 0 2.59/2.60 c 356 460 518.53 60.08 8.63 1000000 0 3.79/3.85 c 305 505 514.03 52.15 9.86 1000000 0 5.09/5.11 c 336 558 510.74 51.97 9.83 1000000 0 6.29/6.37 c 367 491 516.90 56.13 9.21 1000000 0 7.59/7.63 c 350 490 511.67 56.72 9.02 1000000 0 8.79/8.89 c 369 523 512.40 52.29 9.80 1000000 0 10.08/10.16 c 362 417 516.17 58.01 8.90 1000000 0 11.38/11.42 c 361 525 516.31 56.48 9.14 1000000 0 12.58/12.68 c 369 449 518.25 60.68 8.54 1000000 0 13.88/13.93 c 358 501 520.24 60.19 8.64 1000000 0 15.08/15.19 c 344 505 506.29 51.95 9.75 1000000 0 16.39/16.45 c 329 380 524.22 58.20 9.01 1000000 0 17.68/17.71 c 350 686 517.85 59.64 8.68 1000000 0 18.88/18.97 c 380 552 522.45 52.86 9.88 1000000 0 20.18/20.23 c 347 489 507.00 52.85 9.59 1000000 0 21.38/21.49 c 367 461 522.79 54.03 9.68 1000000 0 22.68/22.76 c 346 537 508.09 52.82 9.62 1000000 0 23.98/24.02 c 348 596 525.98 64.24 8.19 1000000 0 25.18/25.28 c 354 424 513.34 61.40 8.36 1000000 0 26.48/26.54 c 343 430 514.68 58.63 8.78 1000000 0 27.68/27.79 c 365 611 515.91 54.61 9.45 1000000 0 28.98/29.05 c 360 496 512.63 54.46 9.41 1000000 0 30.28/30.31 c 365 504 518.89 52.96 9.80 1000000 0 31.48/31.58 c 340 499 515.54 65.97 7.82 1000000 0 32.78/32.84 c 314 543 504.29 54.22 9.30 1000000 0 33.98/34.10 c 326 584 509.79 49.85 10.23 1000000 0 35.27/35.35 c 360 504 525.01 60.51 8.68 1000000 0 36.57/36.61 c 329 570 515.99 56.24 9.17 1000000 0 37.77/37.86 c 337 440 512.55 55.99 9.15 1000000 0 39.07/39.12 c 367 530 528.89 59.46 8.89 1000000 0 40.27/40.39 c 361 547 508.00 57.27 8.87 1000000 0 41.57/41.65 c 334 538 507.68 56.48 8.99 1000000 0 42.88/42.91 c 358 499 514.06 52.46 9.80 1000000 0 44.07/44.17 c 333 606 508.20 54.14 9.39 1000000 0 45.37/45.43 c 370 482 510.83 57.80 8.84 1000000 0 46.57/46.69 c 347 583 516.19 59.73 8.64 1000000 0 47.87/47.94 c 350 467 508.12 56.93 8.93 1000000 0 49.17/49.21 c 350 523 508.24 59.84 8.49 1000000 0 50.37/50.46 c 337 567 519.00 58.43 8.88 1000000 0 51.67/51.72 c 326 563 505.34 63.17 8.00 1000000 0 52.87/52.98 c 314 565 512.92 56.99 9.00 1000000 0 54.17/54.24 c 349 551 519.14 57.72 8.99 1000000 0 55.37/55.49 c 348 535 513.98 53.79 9.55 1000000 0 56.67/56.75 c 337 619 523.86 59.75 8.77 1000000 0 57.97/58.01 c 337 411 510.19 53.26 9.58 1000000 0 59.16/59.27 c 369 462 514.28 57.05 9.02 1000000 0 60.47/60.52 c 359 497 508.68 50.76 10.02 1000000 0 61.66/61.78 c 335 400 514.77 54.91 9.38 1000000 0 62.96/63.04 c 341 499 514.31 61.99 8.30 1000000 0 64.26/64.30 c 332 611 512.52 55.09 9.30 1000000 0 65.46/65.56 c 345 566 515.99 58.03 8.89 1000000 0 66.76/66.81 c 364 546 513.90 50.39 10.20 1000000 0 67.96/68.07 c 354 434 512.04 58.10 8.81 1000000 0 69.27/69.33 c 344 516 510.31 54.55 9.35 1000000 0 70.46/70.59 c 328 512 511.68 54.72 9.35 1000000 0 71.76/71.85 c 327 485 502.73 60.08 8.37 1000000 0 73.06/73.11 c 353 509 518.66 56.03 9.26 1000000 0 74.26/74.37 c 333 549 505.43 51.12 9.89 1000000 0 75.56/75.62 c 342 432 518.01 55.78 9.29 1000000 0 76.76/76.88 c 361 473 518.63 51.24 10.12 1000000 0 78.06/78.14 c 348 531 520.79 60.86 8.56 1000000 0 79.36/79.40 c 356 446 531.68 60.46 8.79 1000000 0 80.55/80.66 c 348 542 512.43 58.57 8.75 1000000 0 81.85/81.92 c 346 510 517.27 58.16 8.89 1000000 0 83.05/83.17 c 323 527 510.18 59.25 8.61 1000000 0 84.35/84.43 c 342 494 520.83 56.30 9.25 1000000 0 85.55/85.69 c 359 408 504.01 56.94 8.85 1000000 0 86.86/86.95 c 348 441 509.85 61.11 8.34 1000000 0 88.15/88.22 c 321 583 522.36 53.26 9.81 1000000 0 89.35/89.48 c 358 479 516.59 56.81 9.09 1000000 0 90.65/90.74 c 359 456 522.30 58.95 8.86 1000000 0 91.95/92.00 c 354 455 514.60 62.30 8.26 1000000 0 93.15/93.26 c 355 542 514.87 53.85 9.56 1000000 0 94.46/94.52 c 369 501 520.39 55.62 9.36 1000000 0 95.66/95.78 c 359 574 508.77 52.43 9.70 1000000 0 96.95/97.03 c 347 601 511.37 60.07 8.51 1000000 0 98.15/98.29 c 333 548 514.14 50.99 10.08 1000000 0 99.45/99.55 c 351 491 508.99 57.60 8.84 1000000 0 100.75/100.81 c 331 546 515.19 59.71 8.63 1000000 0 101.95/102.08 c 370 461 524.32 54.94 9.54 1000000 0 103.25/103.33 c 344 617 513.79 51.43 9.99 1000000 0 104.45/104.59 c 355 560 521.46 53.82 9.69 1000000 0 105.74/105.85 c 334 580 518.17 57.41 9.03 1000000 0 107.04/107.11 c 355 519 522.51 55.54 9.41 1000000 0 108.24/108.38 c 365 601 516.99 59.28 8.72 1000000 0 109.54/109.63 c 309 532 520.88 57.51 9.06 1000000 0 110.74/110.90 c 336 536 513.50 54.90 9.35 1000000 0 112.05/112.15 c 358 538 514.95 61.31 8.40 1000000 0 113.34/113.41 c 349 486 509.15 50.72 10.04 1000000 0 114.54/114.67 c 356 469 511.04 60.06 8.51 1000000 0 115.84/115.92 c 333 496 513.68 56.92 9.03 1000000 0 117.04/117.18 c 303 563 508.32 57.44 8.85 1000000 0 118.34/118.44 c 329 566 508.47 54.49 9.33 1000000 0 119.64/119.70 c 319 558 518.48 63.03 8.23 1000000 0 120.85/120.96 c 326 605 521.49 57.41 9.08 1000000 0 122.14/122.22 c 349 558 530.95 49.16 10.80 1000000 0 123.34/123.48 c 356 467 508.71 50.01 10.17 1000000 0 124.64/124.74 c 351 479 520.88 55.17 9.44 1000000 0 125.94/126.00 c 340 569 524.15 52.47 9.99 1000000 0 127.14/127.25 c 332 543 520.67 59.50 8.75 1000000 0 128.44/128.52 c 340 496 515.57 62.87 8.20 1000000 0 129.64/129.78 c 357 548 520.93 51.55 10.11 1000000 0 130.93/131.04 c 356 496 516.73 51.71 9.99 1000000 0 132.23/132.30 c 336 513 523.57 60.90 8.60 1000000 0 133.43/133.56 c 328 472 510.97 48.21 10.60 1000000 0 134.73/134.82 c 345 521 516.58 60.82 8.49 1000000 0 135.93/136.08 c 367 482 517.92 52.22 9.92 1000000 0 137.23/137.34 c 359 530 515.53 61.27 8.41 1000000 0 138.44/138.59 c 364 491 518.52 52.15 9.94 1000000 0 139.73/139.85 c 352 468 500.84 53.43 9.37 1000000 0 141.03/141.11 c 333 458 502.67 54.03 9.30 1000000 0 142.23/142.38 c 372 566 526.07 53.19 9.89 1000000 0 143.53/143.64 c 337 429 522.92 55.53 9.42 1000000 0 144.83/144.90 c 349 525 514.74 52.21 9.86 1000000 0 146.03/146.16 c 292 516 502.27 57.78 8.69 1000000 0 147.34/147.42 c 350 544 512.79 57.82 8.87 1000000 0 148.53/148.68 c 344 503 511.48 59.44 8.60 1000000 0 149.83/149.95 c 356 476 515.48 60.01 8.59 1000000 0 151.13/151.21 c 344 459 516.73 50.21 10.29 1000000 0 152.33/152.47 c 345 476 517.46 55.85 9.26 1000000 0 153.63/153.72 c 338 486 509.14 61.19 8.32 1000000 0 154.83/154.99 c 358 537 508.24 51.00 9.97 1000000 0 156.13/156.24 c 340 508 515.42 60.21 8.56 1000000 0 157.42/157.50 c 340 462 508.95 57.55 8.84 1000000 0 158.62/158.75 c 338 523 505.66 57.35 8.82 1000000 0 159.92/160.01 c 347 502 517.42 55.53 9.32 1000000 0 161.12/161.26 c 338 520 508.05 54.40 9.34 1000000 0 162.42/162.52 c 323 611 513.45 56.46 9.09 1000000 0 163.62/163.78 c 354 572 528.31 53.70 9.84 1000000 0 164.93/165.04 c 340 475 506.67 51.28 9.88 1000000 0 166.12/166.30 c 350 515 517.22 55.79 9.27 1000000 0 167.42/167.55 c 359 461 511.41 58.47 8.75 1000000 0 168.72/168.82 c 357 465 515.51 55.80 9.24 1000000 0 169.92/170.08 c 320 527 513.40 61.54 8.34 1000000 0 171.22/171.34 c 309 597 507.83 57.76 8.79 1000000 0 172.42/172.59 c 368 494 522.79 56.04 9.33 1000000 0 173.72/173.85 c 343 563 510.48 56.66 9.01 1000000 0 175.02/175.11 c 356 498 522.19 57.89 9.02 1000000 0 176.22/176.37 c 327 506 506.15 54.86 9.23 1000000 0 177.52/177.63 c 348 509 504.76 60.64 8.32 1000000 0 178.71/178.89 c 368 405 514.90 54.81 9.39 1000000 0 180.01/180.14 c 349 553 514.43 54.26 9.48 1000000 0 181.32/181.40 c 345 603 524.10 61.93 8.46 1000000 0 182.52/182.66 c 306 474 516.76 60.87 8.49 1000000 0 183.81/183.92 c 363 475 522.68 54.85 9.53 1000000 0 185.01/185.18 c 351 510 506.14 54.95 9.21 1000000 0 186.31/186.43 c 370 469 518.84 59.02 8.79 1000000 0 187.51/187.70 c 351 539 519.20 56.85 9.13 1000000 0 188.81/188.95 c 358 625 514.19 57.76 8.90 1000000 0 190.12/190.21 c 323 578 513.78 50.84 10.11 1000000 0 191.32/191.47 c 355 430 521.08 57.70 9.03 1000000 0 192.61/192.72 c 339 530 522.37 64.55 8.09 1000000 0 193.81/193.99 c 336 554 512.74 56.56 9.07 1000000 0 195.11/195.25 c 320 549 523.77 59.39 8.82 1000000 0 196.41/196.50 c 306 450 516.62 55.46 9.32 1000000 0 197.61/197.77 c 311 458 514.81 61.33 8.39 1000000 0 198.91/199.02 c 352 498 513.35 57.12 8.99 1000000 0 200.11/200.28 c 349 610 513.37 49.02 10.47 1000000 0 201.40/201.54 c 358 499 513.28 57.62 8.91 1000000 0 202.70/202.81 c 369 555 515.48 58.15 8.86 1000000 0 203.90/204.07 c 370 565 518.56 50.96 10.18 1000000 0 205.20/205.33 c 337 499 522.56 57.44 9.10 1000000 0 206.40/206.58 c 349 558 520.19 51.92 10.02 1000000 0 207.71/207.84 c 350 495 514.13 56.41 9.11 1000000 0 209.00/209.10 c 347 536 517.61 53.30 9.71 1000000 0 210.20/210.36 c 303 520 506.31 57.33 8.83 1000000 0 211.50/211.63 c 330 500 507.48 50.15 10.12 1000000 0 212.70/212.88 c 374 582 521.90 51.52 10.13 1000000 0 214.00/214.14 c 334 527 517.44 59.06 8.76 1000000 0 215.30/215.40 c 366 454 519.70 57.48 9.04 1000000 0 216.51/216.66 c 340 500 526.83 59.39 8.87 1000000 0 217.80/217.92 c 348 499 509.76 54.49 9.36 1000000 0 219.00/219.18 c 348 476 518.39 51.53 10.06 1000000 0 220.30/220.43 c 344 523 515.49 56.30 9.16 1000000 0 221.50/221.70 c 356 382 517.42 56.11 9.22 1000000 0 222.80/222.95 c 346 608 508.10 55.03 9.23 1000000 0 224.10/224.21 c 367 468 518.62 51.87 10.00 1000000 0 225.30/225.47 c 353 498 506.73 56.50 8.97 1000000 0 226.60/226.73 c 354 435 518.94 62.30 8.33 1000000 0 227.79/227.99 c 344 394 515.37 54.91 9.39 1000000 0 229.09/229.25 c 335 464 514.37 58.29 8.82 1000000 0 230.39/230.51 c 347 462 510.61 56.51 9.04 1000000 0 231.59/231.77 c 327 540 524.65 64.22 8.17 1000000 0 232.89/233.03 c 335 444 503.64 54.60 9.22 1000000 0 234.10/234.29 c 350 470 510.69 55.12 9.26 1000000 0 235.39/235.55 c 340 548 511.76 55.62 9.20 1000000 0 236.69/236.81 c 355 512 518.63 54.90 9.45 1000000 0 237.89/238.07 c 341 521 519.33 58.73 8.84 1000000 0 239.19/239.33 c 356 525 515.10 61.68 8.35 1000000 0 240.39/240.59 c 358 438 529.09 57.26 9.24 1000000 0 241.69/241.85 c 312 525 501.47 55.76 8.99 1000000 0 243.00/243.11 c 350 528 519.16 62.42 8.32 1000000 0 244.19/244.37 c 365 530 512.20 54.53 9.39 1000000 0 245.49/245.63 c 329 590 518.42 57.96 8.94 1000000 0 246.69/246.89 c 366 523 511.55 58.23 8.79 1000000 0 247.99/248.15 c 379 515 512.67 46.12 11.12 1000000 0 249.29/249.41 c 363 536 525.13 59.20 8.87 1000000 0 250.48/250.67 c 355 598 520.45 56.26 9.25 1000000 0 251.79/251.93 c 351 553 503.49 56.05 8.98 1000000 0 252.98/253.19 c 357 514 511.80 48.27 10.60 1000000 0 254.28/254.45 c 333 599 518.71 55.70 9.31 1000000 0 255.58/255.70 c 334 507 505.68 57.53 8.79 1000000 0 256.78/256.96 c 363 506 516.77 58.69 8.80 1000000 0 258.08/258.22 c 366 575 514.78 53.52 9.62 1000000 0 259.28/259.48 c 361 526 524.04 61.94 8.46 1000000 0 260.59/260.74 c 351 508 524.74 59.07 8.88 1000000 0 261.78/261.99 c 350 489 524.54 60.82 8.62 1000000 0 263.08/263.25 c 364 593 518.41 61.91 8.37 1000000 0 264.38/264.51 c 361 457 521.20 50.77 10.27 1000000 0 265.58/265.77 c 349 504 512.39 54.66 9.37 1000000 0 266.88/267.02 c 370 626 525.94 57.98 9.07 1000000 0 268.08/268.28 c 353 485 520.14 53.77 9.67 1000000 0 269.38/269.54 c 353 556 518.98 54.21 9.57 1000000 0 270.67/270.80 c 356 477 525.78 63.02 8.34 1000000 0 271.87/272.06 c 367 440 519.67 52.27 9.94 1000000 0 273.17/273.32 c 347 502 518.74 58.81 8.82 1000000 0 274.37/274.57 c 357 573 521.41 52.31 9.97 1000000 0 275.67/275.83 c 350 533 510.87 54.24 9.42 1000000 0 276.87/277.08 c 356 431 513.16 50.93 10.08 1000000 0 278.18/278.34 c 357 533 516.69 54.12 9.55 1000000 0 279.47/279.60 c 355 474 517.32 55.41 9.34 1000000 0 280.67/280.86 c 323 532 519.26 64.06 8.11 1000000 0 281.97/282.12 c 354 570 522.11 54.48 9.58 1000000 0 283.17/283.38 c 336 453 525.34 60.68 8.66 1000000 0 284.47/284.63 c 328 579 516.50 58.23 8.87 1000000 0 285.67/285.89 c 331 500 507.36 56.76 8.94 1000000 0 286.98/287.15 c 301 504 516.90 57.37 9.01 1000000 0 288.27/288.41 c 343 453 513.32 61.87 8.30 1000000 0 289.47/289.68 c 341 417 515.61 57.16 9.02 1000000 0 290.77/290.94 c 360 525 516.12 56.09 9.20 1000000 0 291.97/292.20 c 356 525 516.46 53.18 9.71 1000000 0 293.27/293.45 c 346 505 511.28 52.30 9.78 1000000 0 294.57/294.71 c 367 584 516.93 54.13 9.55 1000000 0 295.77/295.97 c 361 553 518.47 54.59 9.50 1000000 0 297.06/297.23 c 338 513 521.30 57.64 9.04 1000000 0 298.26/298.49 c 355 481 519.92 60.09 8.65 1000000 0 299.56/299.74 c 351 487 517.63 50.88 10.17 1000000 0 300.86/301.00 c 310 565 516.28 63.39 8.14 1000000 0 302.06/302.27 c 353 484 520.91 57.21 9.10 1000000 0 303.37/303.53 c 349 606 524.96 57.84 9.08 1000000 0 304.57/304.79 c 328 491 511.92 58.95 8.68 1000000 0 305.86/306.04 c 367 526 511.51 49.76 10.28 1000000 0 307.16/307.30 c 334 537 512.02 53.99 9.48 1000000 0 308.36/308.56 c 344 496 525.64 58.12 9.04 1000000 0 309.66/309.82 c 368 598 515.11 62.76 8.21 1000000 0 310.86/311.08 c 367 504 515.65 52.31 9.86 1000000 0 312.17/312.34 c 357 540 519.94 59.39 8.75 1000000 0 313.46/313.60 c 335 536 516.71 56.80 9.10 1000000 0 314.66/314.86 c 342 525 517.84 53.09 9.75 1000000 0 315.96/316.13 c 353 540 520.18 57.30 9.08 1000000 0 317.16/317.39 c 363 489 516.92 57.51 8.99 1000000 0 318.46/318.65 c 340 436 512.95 62.88 8.16 1000000 0 319.76/319.90 c 359 623 517.52 52.82 9.80 1000000 0 320.96/321.16 c 342 518 516.75 64.76 7.98 1000000 0 322.26/322.42 c 345 515 515.40 62.42 8.26 1000000 0 323.45/323.68 c 336 536 511.82 56.87 9.00 1000000 0 324.75/324.93 c 345 447 502.60 50.69 9.92 1000000 0 325.95/326.19 c 363 540 511.98 51.57 9.93 1000000 0 327.25/327.45 c 337 473 528.16 58.82 8.98 1000000 0 328.55/328.71 c 332 658 511.49 57.79 8.85 1000000 0 329.76/329.97 c 319 527 522.34 54.57 9.57 1000000 0 331.05/331.23 c 379 575 527.40 52.40 10.06 1000000 0 332.25/332.50 c 330 488 515.28 58.28 8.84 1000000 0 333.55/333.75 c 347 557 507.50 58.64 8.66 1000000 0 334.85/335.01 c 357 492 512.25 54.52 9.39 1000000 0 336.05/336.27 c 353 517 502.42 57.85 8.68 1000000 0 337.35/337.53 c 360 621 520.43 54.61 9.53 1000000 0 338.55/338.78 c 333 566 505.73 55.08 9.18 1000000 0 339.85/340.04 c 347 598 510.45 56.65 9.01 1000000 0 341.15/341.30 c 330 506 514.25 58.78 8.75 1000000 0 342.35/342.56 c 340 519 505.59 53.43 9.46 1000000 0 343.64/343.82 c 332 502 518.00 58.73 8.82 1000000 0 344.84/345.09 c 367 492 522.70 53.66 9.74 1000000 0 346.14/346.35 c 363 480 513.78 57.77 8.89 1000000 0 347.45/347.60 c 325 453 521.14 59.93 8.70 1000000 0 348.64/348.87 c 359 616 523.58 52.01 10.07 1000000 0 349.94/350.12 c 344 544 514.25 56.19 9.15 1000000 0 351.14/351.38 c 358 523 522.38 60.05 8.70 1000000 0 352.44/352.65 c 352 555 513.69 58.83 8.73 1000000 0 353.74/353.90 c 354 548 509.85 51.50 9.90 1000000 0 354.94/355.16 c 362 493 515.99 55.49 9.30 1000000 0 356.25/356.42 c 367 578 519.80 58.93 8.82 1000000 0 357.44/357.68 c 357 448 511.76 57.72 8.87 1000000 0 358.74/358.94 c 354 533 520.49 56.71 9.18 1000000 0 359.94/360.19 c 352 634 513.37 53.56 9.58 1000000 0 361.24/361.45 c 349 590 514.73 56.68 9.08 1000000 0 362.54/362.70 c 331 541 515.72 51.14 10.08 1000000 0 363.74/363.96 c 355 398 508.11 50.50 10.06 1000000 0 365.04/365.23 c 298 612 511.42 60.52 8.45 1000000 0 366.24/366.49 c 340 492 505.05 58.83 8.58 1000000 0 367.54/367.75 c 353 632 519.92 60.49 8.60 1000000 0 368.84/369.00 c 341 421 514.56 57.15 9.00 1000000 0 370.03/370.26 c 326 510 506.92 56.30 9.00 1000000 0 371.33/371.52 c 345 532 514.63 54.37 9.46 1000000 0 372.53/372.78 c 344 514 510.71 54.52 9.37 1000000 0 373.84/374.04 c 361 516 517.04 56.28 9.19 1000000 0 375.13/375.30 c 345 570 522.80 54.54 9.59 1000000 0 376.33/376.56 c 358 508 521.94 57.63 9.06 1000000 0 377.63/377.81 c 339 536 514.06 65.22 7.88 1000000 0 378.83/379.07 c 362 516 514.00 52.80 9.73 1000000 0 380.13/380.33 c 343 487 516.67 62.70 8.24 1000000 0 381.33/381.60 c 351 516 513.21 54.91 9.35 1000000 0 382.64/382.86 c 350 513 516.43 56.52 9.14 1000000 0 383.93/384.11 c 334 489 505.75 56.45 8.96 1000000 0 385.13/385.37 c 303 489 511.70 56.67 9.03 1000000 0 386.43/386.63 c 363 511 524.76 51.22 10.25 1000000 0 387.63/387.88 c 327 461 505.25 65.20 7.75 1000000 0 388.93/389.15 c 373 535 520.24 61.95 8.40 1000000 0 390.23/390.41 c 339 504 523.54 54.31 9.64 1000000 0 391.43/391.67 c 350 544 529.08 55.96 9.45 1000000 0 392.73/392.93 c 331 589 510.29 63.66 8.02 1000000 0 393.93/394.19 c 341 539 515.63 58.08 8.88 1000000 0 395.22/395.45 c 341 475 516.83 56.54 9.14 1000000 0 396.52/396.71 c 336 596 514.48 53.70 9.58 1000000 0 397.72/397.97 c 368 481 509.04 53.73 9.47 1000000 0 399.03/399.23 c 342 429 506.83 51.44 9.85 1000000 0 400.23/400.49 c 335 561 520.60 53.02 9.82 1000000 0 401.52/401.75 c 362 548 517.06 53.73 9.62 1000000 0 402.82/403.01 c 381 511 522.38 56.56 9.24 1000000 0 404.02/404.26 c 357 508 521.14 53.10 9.81 1000000 0 405.32/405.52 c 344 500 523.68 53.13 9.86 1000000 0 406.52/406.79 c 349 454 508.64 64.93 7.83 1000000 0 407.83/408.05 c 319 494 521.28 57.20 9.11 1000000 0 409.12/409.31 c 349 497 518.92 55.91 9.28 1000000 0 410.32/410.57 c 317 473 512.49 62.38 8.22 1000000 0 411.62/411.83 c 340 671 511.29 61.17 8.36 1000000 0 412.82/413.09 c 351 452 506.63 58.52 8.66 1000000 0 414.12/414.35 c 366 594 527.06 56.89 9.26 1000000 0 415.42/415.61 c 347 467 510.94 56.28 9.08 1000000 0 416.62/416.87 c 350 374 519.09 56.22 9.23 1000000 0 417.92/418.12 c 320 670 518.29 60.28 8.60 1000000 0 419.12/419.38 c 334 344 517.54 48.87 10.59 1000000 0 420.42/420.64 c 348 528 514.42 65.34 7.87 1000000 0 421.71/421.90 c 335 531 509.57 52.53 9.70 1000000 0 422.91/423.17 c 356 552 528.43 59.80 8.84 1000000 0 424.21/424.43 c 338 546 519.32 50.50 10.28 1000000 0 425.42/425.69 c 330 484 509.61 59.21 8.61 1000000 0 426.71/426.94 c 378 535 520.48 52.59 9.90 1000000 0 428.01/428.21 c 345 532 518.61 59.21 8.76 1000000 0 429.21/429.47 c 365 471 510.98 53.72 9.51 1000000 0 430.51/430.73 c 361 517 517.96 59.51 8.70 1000000 0 431.71/431.99 c 368 403 524.97 58.78 8.93 1000000 0 433.01/433.25 c 358 531 513.40 52.93 9.70 1000000 0 434.32/434.51 c 344 572 518.19 56.54 9.17 1000000 0 435.51/435.77 c 366 487 520.18 55.84 9.32 1000000 0 436.81/437.03 c 374 529 519.78 48.95 10.62 1000000 0 438.01/438.28 c 340 510 514.40 52.70 9.76 1000000 0 439.31/439.54 c 340 543 518.03 59.59 8.69 1000000 0 440.61/440.80 c 344 583 523.42 55.07 9.50 1000000 0 441.81/442.06 c 341 501 513.74 52.42 9.80 1000000 0 443.11/443.31 c 328 502 508.01 53.49 9.50 1000000 0 444.31/444.57 c 334 544 524.45 54.41 9.64 1000000 0 445.61/445.83 c 348 485 517.78 61.09 8.48 1000000 0 446.81/447.10 c 339 447 517.31 54.92 9.42 1000000 0 448.10/448.36 c 371 502 509.70 51.63 9.87 1000000 0 449.40/449.62 c 359 510 519.04 66.89 7.76 1000000 0 450.60/450.88 c 347 498 521.92 54.42 9.59 1000000 0 451.91/452.14 c 346 469 517.40 64.28 8.05 1000000 0 453.20/453.40 c 359 475 510.04 53.83 9.48 1000000 0 454.40/454.66 c 350 480 514.64 58.38 8.82 1000000 0 455.70/455.92 c 348 566 510.58 51.96 9.83 1000000 0 456.90/457.18 c 359 590 514.03 53.39 9.63 1000000 0 458.20/458.43 c 333 501 515.25 56.40 9.13 1000000 0 459.40/459.69 c 363 543 514.58 56.49 9.11 1000000 0 460.70/460.95 c 336 465 511.41 60.07 8.51 1000000 0 462.00/462.21 c 328 421 508.32 61.38 8.28 1000000 0 463.20/463.48 c 325 502 514.04 56.03 9.18 1000000 0 464.50/464.74 c 346 542 504.61 52.07 9.69 1000000 0 465.80/466.00 c 370 547 523.28 50.82 10.30 1000000 0 467.00/467.25 c 352 575 511.71 55.81 9.17 1000000 0 468.30/468.52 c 350 534 511.86 53.87 9.50 1000000 0 469.50/469.78 c 346 537 521.03 58.53 8.90 1000000 0 470.79/471.03 c 355 544 515.00 55.30 9.31 1000000 0 471.99/472.30 c 351 522 506.68 66.33 7.64 1000000 0 473.29/473.55 c 339 453 514.76 57.11 9.01 1000000 0 474.59/474.81 c 324 514 516.72 65.45 7.89 1000000 0 475.79/476.07 c 368 537 513.33 51.88 9.90 1000000 0 477.10/477.34 c 373 561 522.04 54.79 9.53 1000000 0 478.30/478.60 c 365 508 512.98 53.67 9.56 1000000 0 479.59/479.85 c 361 578 516.61 56.64 9.12 1000000 0 480.89/481.11 c 340 521 514.22 56.01 9.18 1000000 0 482.09/482.37 c 321 488 517.57 50.03 10.35 1000000 0 483.39/483.63 c 369 494 517.71 57.22 9.05 1000000 0 484.59/484.89 c 345 445 521.15 54.78 9.51 1000000 0 485.90/486.15 c 351 529 519.59 59.99 8.66 1000000 0 487.19/487.41 c 374 507 516.10 51.59 10.00 1000000 0 488.39/488.67 c 361 569 514.53 56.52 9.10 1000000 0 489.69/489.94 c 355 505 519.91 59.91 8.68 1000000 0 490.99/491.20 c 307 469 510.43 61.09 8.36 1000000 0 492.19/492.46 c 364 490 523.34 55.97 9.35 1000000 0 493.48/493.71 c 361 433 520.84 57.31 9.09 1000000 0 494.69/494.97 c 336 580 503.85 62.85 8.02 1000000 0 495.98/496.23 c 321 540 507.14 58.66 8.65 1000000 0 497.18/497.49 c 333 491 516.02 55.74 9.26 1000000 0 498.48/498.75 c 340 487 517.62 69.04 7.50 1000000 0 499.78/500.00 c 313 487 506.72 56.56 8.96 1000000 0 500.98/501.26 c 361 502 515.18 54.91 9.38 1000000 0 502.28/502.52 c 320 621 512.55 55.17 9.29 1000000 0 503.49/503.79 c 326 503 512.11 59.35 8.63 1000000 0 504.78/505.05 c 369 488 516.77 60.91 8.48 1000000 0 506.08/506.31 c 334 478 516.25 57.97 8.91 1000000 0 507.28/507.57 c 340 453 514.27 56.59 9.09 1000000 0 508.58/508.83 c 367 541 513.85 57.74 8.90 1000000 0 509.78/510.09 c 343 502 511.53 56.48 9.06 1000000 0 511.08/511.35 c 352 518 513.43 50.72 10.12 1000000 0 512.38/512.61 c 339 542 520.37 56.93 9.14 1000000 0 513.58/513.87 c 362 463 518.14 63.06 8.22 1000000 0 514.88/515.13 c 341 442 521.78 60.30 8.65 1000000 0 516.08/516.39 c 329 570 508.84 51.49 9.88 1000000 0 517.38/517.65 c 368 468 520.67 56.67 9.19 1000000 0 518.68/518.91 c 318 527 508.71 58.86 8.64 1000000 0 519.87/520.16 c 336 514 512.28 53.99 9.49 1000000 0 521.18/521.42 c 356 577 517.11 54.16 9.55 1000000 0 522.37/522.68 c 332 571 515.40 57.35 8.99 1000000 0 523.67/523.93 c 331 493 496.16 57.28 8.66 1000000 0 524.97/525.20 c 329 472 509.11 61.76 8.24 1000000 0 526.17/526.46 c 290 413 510.74 58.75 8.69 1000000 0 527.47/527.71 c 353 425 506.45 59.41 8.52 1000000 0 528.67/528.97 c 331 479 504.87 55.67 9.07 1000000 0 529.98/530.23 c 367 492 518.35 51.97 9.97 1000000 0 531.17/531.50 c 353 484 518.91 55.86 9.29 1000000 0 532.47/532.75 c 341 502 505.86 54.12 9.35 1000000 0 533.77/534.01 c 335 467 507.77 55.74 9.11 1000000 0 534.97/535.27 c 341 541 510.26 54.37 9.38 1000000 0 536.27/536.53 c 353 444 523.77 52.93 9.90 1000000 0 537.47/537.79 c 340 497 513.88 60.68 8.47 1000000 0 538.77/539.05 c 368 513 525.98 57.63 9.13 1000000 0 540.07/540.31 c 374 562 511.35 46.82 10.92 1000000 0 541.27/541.57 c 356 482 513.50 51.22 10.02 1000000 0 542.57/542.84 c 330 493 517.74 58.28 8.88 1000000 0 543.87/544.10 c 360 653 520.36 60.22 8.64 1000000 0 545.07/545.36 c 330 549 512.85 55.17 9.30 1000000 0 546.37/546.61 c 318 503 512.69 60.37 8.49 1000000 0 547.57/547.87 c 344 488 520.06 58.45 8.90 1000000 0 548.86/549.12 c 339 502 520.36 55.86 9.32 1000000 0 550.07/550.38 c 341 525 510.62 56.16 9.09 1000000 0 551.37/551.64 c 339 509 496.68 56.21 8.84 1000000 0 552.67/552.90 c 350 542 515.73 59.51 8.67 1000000 0 553.87/554.16 c 343 526 514.44 53.98 9.53 1000000 0 555.18/555.42 c 347 592 512.83 56.91 9.01 1000000 0 556.38/556.68 c 355 468 531.77 61.21 8.69 1000000 0 557.67/557.95 c 343 474 510.65 51.96 9.83 1000000 0 558.97/559.21 c 343 578 511.02 56.14 9.10 1000000 0 560.17/560.47 c 332 561 513.86 61.40 8.37 1000000 0 561.47/561.72 c 358 491 525.65 57.38 9.16 1000000 0 562.67/562.98 c 335 509 525.35 59.68 8.80 1000000 0 563.97/564.24 c 354 554 518.22 49.08 10.56 1000000 0 565.27/565.50 c 318 412 507.95 57.52 8.83 1000000 0 566.47/566.76 c 358 566 519.27 54.14 9.59 1000000 0 567.76/568.01 c 365 589 523.07 54.67 9.57 1000000 0 568.96/569.27 c 343 467 521.28 63.27 8.24 1000000 0 570.26/570.53 c 372 445 529.06 49.90 10.60 1000000 0 571.46/571.80 c 356 477 513.62 56.82 9.04 1000000 0 572.77/573.05 c 343 474 518.74 54.98 9.44 1000000 0 574.06/574.31 c 347 590 513.26 54.81 9.36 1000000 0 575.26/575.57 c 350 557 515.11 49.40 10.43 1000000 0 576.56/576.83 c 319 608 519.67 58.95 8.82 1000000 0 577.86/578.10 c 320 484 520.74 56.76 9.17 1000000 0 579.06/579.35 c 356 540 511.39 57.82 8.85 1000000 0 580.36/580.61 c 346 480 516.41 55.32 9.33 1000000 0 581.57/581.87 c 352 471 515.26 56.05 9.19 1000000 0 582.86/583.13 c 350 453 509.46 61.44 8.29 1000000 0 584.06/584.39 c 365 478 511.43 47.05 10.87 1000000 0 585.36/585.65 c 348 545 525.87 53.62 9.81 1000000 0 586.66/586.91 c 319 470 499.54 54.03 9.24 1000000 0 587.86/588.17 c 365 522 517.12 58.95 8.77 1000000 0 589.16/589.43 c 340 546 518.13 56.63 9.15 1000000 0 590.36/590.69 c 341 479 517.30 60.55 8.54 1000000 0 591.66/591.94 c 353 532 518.67 53.97 9.61 1000000 0 592.95/593.20 c 323 538 526.30 59.67 8.82 1000000 0 594.15/594.46 c 355 529 517.65 60.70 8.53 1000000 0 595.45/595.72 c 341 541 518.65 61.25 8.47 1000000 0 596.65/596.97 c 333 453 518.97 59.14 8.78 1000000 0 597.95/598.23 c 352 505 503.91 53.00 9.51 1000000 0 599.16/599.49 c 322 485 508.46 58.69 8.66 1000000 0 600.45/600.74 c 361 590 513.97 48.85 10.52 1000000 0 601.75/602.01 c 363 475 517.43 56.50 9.16 1000000 0 602.95/603.26 c 345 500 509.04 57.71 8.82 1000000 0 604.25/604.52 c 354 558 520.81 56.98 9.14 1000000 0 605.45/605.78 c 331 546 502.02 54.79 9.16 1000000 0 606.75/607.04 c 366 497 524.17 60.86 8.61 1000000 0 607.96/608.30 c 330 498 517.04 61.02 8.47 1000000 0 609.25/609.56 c 358 583 524.49 53.23 9.85 1000000 0 610.55/610.82 c 348 554 517.59 52.12 9.93 1000000 0 611.75/612.08 c 347 453 509.77 58.10 8.77 1000000 0 613.05/613.34 c 341 529 508.30 62.31 8.16 1000000 0 614.35/614.60 c 333 400 514.60 55.79 9.22 1000000 0 615.55/615.86 c 341 475 521.16 53.45 9.75 1000000 0 616.85/617.12 c 346 526 511.87 56.72 9.02 1000000 0 618.04/618.38 c 344 441 510.13 55.52 9.19 1000000 0 619.34/619.64 c 341 553 509.51 51.51 9.89 1000000 0 620.54/620.90 c 337 499 517.41 58.70 8.81 1000000 0 621.84/622.16 c 340 650 511.74 59.92 8.54 1000000 0 623.14/623.42 c 339 457 490.18 52.44 9.35 1000000 0 624.34/624.67 c 357 623 511.67 52.86 9.68 1000000 0 625.65/625.94 c 327 572 514.93 56.51 9.11 1000000 0 626.84/627.19 c 363 476 519.31 54.81 9.47 1000000 0 628.14/628.45 c 355 452 512.34 47.75 10.73 1000000 0 629.44/629.71 c 327 504 511.46 54.39 9.40 1000000 0 630.64/630.96 c 346 539 518.15 60.39 8.58 1000000 0 631.94/632.23 c 351 549 518.95 51.75 10.03 1000000 0 633.14/633.49 c 346 474 517.68 52.57 9.85 1000000 0 634.45/634.75 c 378 484 523.13 53.78 9.73 1000000 0 635.74/636.01 c 320 540 519.58 57.35 9.06 1000000 0 636.94/637.26 c 320 535 510.62 56.98 8.96 1000000 0 638.24/638.52 c 352 518 518.73 55.07 9.42 1000000 0 639.44/639.78 c 330 437 508.55 57.21 8.89 1000000 0 640.74/641.04 c 339 568 516.92 62.67 8.25 1000000 0 642.04/642.30 c 332 577 525.11 56.73 9.26 1000000 0 643.24/643.56 c 326 518 515.23 52.15 9.88 1000000 0 644.54/644.82 c 337 586 517.93 61.93 8.36 1000000 0 645.73/646.08 c 339 448 514.67 57.98 8.88 1000000 0 647.03/647.34 c 361 560 516.17 59.70 8.65 1000000 0 648.33/648.61 c 360 546 521.19 60.75 8.58 1000000 0 649.53/649.87 c 369 470 524.35 56.81 9.23 1000000 0 650.84/651.13 c 342 567 517.37 55.96 9.25 1000000 0 652.04/652.39 c 359 676 519.90 56.94 9.13 1000000 0 653.33/653.65 c 366 501 513.48 51.30 10.01 1000000 0 654.63/654.92 c 339 521 519.17 51.54 10.07 1000000 0 655.83/656.17 c 323 639 522.22 60.66 8.61 1000000 0 657.13/657.43 c 334 514 508.11 61.53 8.26 1000000 0 658.33/658.69 c 350 496 513.49 62.37 8.23 1000000 0 659.63/659.95 c 352 559 518.35 57.46 9.02 1000000 0 660.93/661.21 c 334 555 517.25 62.04 8.34 1000000 0 662.13/662.47 c 360 492 508.82 54.01 9.42 1000000 0 663.43/663.73 c 314 467 510.07 54.69 9.33 1000000 0 664.63/664.99 c 366 454 518.67 59.41 8.73 1000000 0 665.93/666.24 c 367 505 516.53 57.70 8.95 1000000 0 667.23/667.50 c 307 543 513.83 55.01 9.34 1000000 0 668.43/668.77 c 350 532 511.56 56.65 9.03 1000000 0 669.72/670.02 c 366 498 522.74 58.54 8.93 1000000 0 670.92/671.28 c 336 491 515.14 59.61 8.64 1000000 0 672.22/672.54 c 350 516 514.34 53.95 9.53 1000000 0 673.42/673.80 c 366 544 518.64 53.69 9.66 1000000 0 674.72/675.06 c 354 567 512.89 57.43 8.93 1000000 0 676.02/676.32 c 360 550 513.76 51.83 9.91 1000000 0 677.23/677.58 c 326 506 515.01 54.86 9.39 1000000 0 678.52/678.83 c 300 459 511.03 57.20 8.93 1000000 0 679.72/680.09 c 349 519 519.78 55.38 9.39 1000000 0 681.02/681.35 c 343 470 514.54 55.54 9.26 1000000 0 682.32/682.61 c 345 518 501.20 52.58 9.53 1000000 0 683.52/683.87 c 367 466 522.14 60.03 8.70 1000000 0 684.82/685.13 c 337 507 512.98 58.99 8.70 1000000 0 686.02/686.39 c 351 561 516.01 62.46 8.26 1000000 0 687.32/687.65 c 353 506 505.33 53.40 9.46 1000000 0 688.62/688.91 c 351 438 518.85 61.82 8.39 1000000 0 689.81/690.17 c 346 513 507.42 54.37 9.33 1000000 0 691.11/691.43 c 347 524 517.42 56.72 9.12 1000000 0 692.31/692.69 c 356 497 528.35 55.89 9.45 1000000 0 693.61/693.95 c 352 428 515.68 53.50 9.64 1000000 0 694.92/695.20 c 310 561 515.18 53.95 9.55 1000000 0 696.11/696.46 c 380 475 524.91 52.31 10.03 1000000 0 697.41/697.72 c 326 502 517.23 57.26 9.03 1000000 0 698.61/698.98 c 332 481 509.01 53.67 9.48 1000000 0 699.91/700.24 c 284 556 506.05 59.89 8.45 1000000 0 701.11/701.49 c 368 535 522.12 53.09 9.84 1000000 0 702.41/702.76 c 328 608 517.19 65.67 7.88 1000000 0 703.72/704.01 c 329 532 508.05 53.38 9.52 1000000 0 704.91/705.27 c 341 582 526.72 49.14 10.72 1000000 0 706.21/706.54 c 369 513 514.35 51.65 9.96 1000000 0 707.51/707.80 c 321 536 510.17 55.95 9.12 1000000 0 708.71/709.06 c 329 467 518.43 59.75 8.68 1000000 0 710.01/710.32 c 369 626 521.42 46.46 11.22 1000000 0 711.21/711.58 c 346 509 516.29 52.23 9.89 1000000 0 712.51/712.84 c 364 469 516.21 57.56 8.97 1000000 0 713.81/714.10 c 308 465 511.30 56.63 9.03 1000000 0 715.00/715.36 c 330 526 520.91 52.75 9.87 1000000 0 716.30/716.62 c 314 373 515.68 56.01 9.21 1000000 0 717.50/717.88 c 338 426 508.84 58.87 8.64 1000000 0 718.80/719.14 c 339 509 509.90 55.97 9.11 1000000 0 720.00/720.40 c 343 468 520.67 49.67 10.48 1000000 0 721.31/721.65 c 359 624 512.59 52.58 9.75 1000000 0 722.60/722.91 c 351 449 517.22 56.02 9.23 1000000 0 723.80/724.16 c 297 536 511.32 58.01 8.81 1000000 0 725.10/725.42 c 333 574 505.59 57.35 8.82 1000000 0 726.30/726.68 c 351 556 520.89 67.91 7.67 1000000 0 727.60/727.94 c 363 595 516.34 55.61 9.28 1000000 0 728.91/729.20 c 347 409 516.19 61.84 8.35 1000000 0 730.11/730.46 c 329 460 517.97 57.40 9.02 1000000 0 731.40/731.73 c 355 573 525.28 53.62 9.80 1000000 0 732.60/732.99 c 353 517 509.51 50.38 10.11 1000000 0 733.90/734.24 c 342 493 521.02 62.85 8.29 1000000 0 735.20/735.50 c 355 485 517.01 59.29 8.72 1000000 0 736.40/736.76 c 362 511 519.04 67.00 7.75 1000000 0 737.70/738.02 c 355 489 516.62 57.94 8.92 1000000 0 738.90/739.28 c 346 581 519.35 52.96 9.81 1000000 0 740.19/740.54 c 375 491 519.55 49.62 10.47 1000000 0 741.49/741.80 c 326 459 504.36 55.25 9.13 1000000 0 742.69/743.06 c 342 556 512.17 53.75 9.53 1000000 0 743.99/744.32 c 342 557 513.51 57.77 8.89 1000000 0 745.19/745.58 c 350 535 507.05 54.59 9.29 1000000 0 746.50/746.84 c 331 510 510.07 60.03 8.50 1000000 0 747.79/748.10 c 369 480 510.49 49.86 10.24 1000000 0 748.99/749.37 c 349 527 519.91 56.66 9.18 1000000 0 750.29/750.62 c 349 504 507.31 50.56 10.03 1000000 0 751.49/751.88 c 349 548 516.80 61.14 8.45 1000000 0 752.79/753.14 c 309 475 517.11 50.06 10.33 1000000 0 754.09/754.40 c 335 517 509.33 54.91 9.28 1000000 0 755.29/755.66 c 335 504 525.45 60.49 8.69 1000000 0 756.59/756.92 c 368 440 526.87 58.66 8.98 1000000 0 757.79/758.18 c 355 503 521.32 51.12 10.20 1000000 0 759.09/759.45 c 358 449 532.65 61.03 8.73 1000000 0 760.39/760.70 c 371 558 519.90 54.18 9.60 1000000 0 761.59/761.97 c 358 489 515.66 62.10 8.30 1000000 0 762.89/763.23 c 302 478 508.47 64.56 7.88 1000000 0 764.09/764.49 c 356 562 514.73 58.35 8.82 1000000 0 765.38/765.76 c 340 477 508.91 59.32 8.58 1000000 0 766.68/767.02 c 362 473 515.96 52.94 9.75 1000000 0 767.88/768.28 c 325 441 504.58 60.52 8.34 1000000 0 769.18/769.54 c 352 631 520.38 58.29 8.93 1000000 0 770.48/770.80 c 323 486 507.06 57.71 8.79 1000000 0 771.68/772.06 c 324 473 521.97 54.55 9.57 1000000 0 772.99/773.33 c 335 502 511.04 54.86 9.31 1000000 0 774.18/774.59 c 326 506 504.77 60.90 8.29 1000000 0 775.48/775.85 c 348 513 507.47 49.30 10.29 1000000 0 776.78/777.11 c 341 471 511.67 59.67 8.58 1000000 0 777.98/778.37 c 338 453 516.53 56.02 9.22 1000000 0 779.28/779.63 c 332 428 508.82 55.90 9.10 1000000 0 780.48/780.89 c 364 535 517.19 63.23 8.18 1000000 0 781.78/782.16 c 333 486 508.06 58.74 8.65 1000000 0 783.08/783.41 c 348 475 509.40 57.41 8.87 1000000 0 784.28/784.67 c 326 514 515.75 63.99 8.06 1000000 0 785.58/785.93 c 323 458 514.89 62.51 8.24 1000000 0 786.77/787.19 c 301 445 516.00 57.08 9.04 1000000 0 788.07/788.45 c 348 536 514.22 60.58 8.49 1000000 0 789.38/789.71 c 357 468 512.39 57.60 8.90 1000000 0 790.58/790.97 c 343 372 522.94 58.26 8.98 1000000 0 791.87/792.23 c 346 473 509.66 54.85 9.29 1000000 0 793.07/793.49 c 347 555 509.01 57.62 8.83 1000000 0 794.37/794.75 c 320 504 514.77 53.34 9.65 1000000 0 795.67/796.01 c 354 593 524.35 57.07 9.19 1000000 0 796.87/797.27 c 357 498 515.37 52.47 9.82 1000000 0 798.18/798.53 c 349 581 520.29 55.84 9.32 1000000 0 799.38/799.79 c 350 579 514.70 62.88 8.19 1000000 0 800.67/801.05 c 343 489 514.73 50.42 10.21 1000000 0 801.97/802.31 c 358 470 508.13 58.57 8.68 1000000 0 803.17/803.57 c 340 512 505.39 53.44 9.46 1000000 0 804.47/804.83 c 356 487 509.37 56.03 9.09 1000000 0 805.67/806.09 c 343 534 509.58 50.78 10.04 1000000 0 806.97/807.35 c 356 472 520.62 56.54 9.21 1000000 0 808.27/808.60 c 341 484 516.08 53.91 9.57 1000000 0 809.47/809.87 c 346 392 513.60 51.34 10.00 1000000 0 810.76/811.13 c 326 505 522.48 62.01 8.43 1000000 0 811.96/812.39 c 356 556 521.22 57.01 9.14 1000000 0 813.26/813.66 c 364 518 512.28 55.68 9.20 1000000 0 814.56/814.91 c 344 595 517.50 61.54 8.41 1000000 0 815.77/816.18 c 313 536 509.00 54.03 9.42 1000000 0 817.06/817.44 c 345 460 516.41 62.18 8.31 1000000 0 818.36/818.70 c 352 463 523.99 55.30 9.48 1000000 0 819.56/819.96 c 328 575 523.88 58.71 8.92 1000000 0 820.86/821.22 c 344 452 517.51 56.94 9.09 1000000 0 822.06/822.48 c 360 397 521.82 57.14 9.13 1000000 0 823.36/823.74 c 357 506 524.98 56.76 9.25 1000000 0 824.57/825.00 c 338 583 512.68 55.73 9.20 1000000 0 825.86/826.26 c 361 538 510.51 55.28 9.24 1000000 0 827.16/827.53 c 330 533 513.38 56.53 9.08 1000000 0 828.36/828.78 c 357 607 513.40 55.61 9.23 1000000 0 829.66/830.04 c 358 622 512.16 57.47 8.91 1000000 0 830.96/831.30 c 356 487 507.63 53.59 9.47 1000000 0 832.16/832.56 c 340 452 506.94 56.34 9.00 1000000 0 833.46/833.81 c 354 515 501.12 55.33 9.06 1000000 0 834.66/835.07 c 356 457 519.56 55.70 9.33 1000000 0 835.96/836.33 c 344 555 513.22 57.26 8.96 1000000 0 837.15/837.59 c 366 556 513.92 59.48 8.64 1000000 0 838.45/838.85 c 348 474 510.07 55.82 9.14 1000000 0 839.75/840.10 c 348 541 511.41 50.91 10.05 1000000 0 840.95/841.37 c 348 537 518.49 54.61 9.49 1000000 0 842.26/842.63 c 338 549 511.37 62.00 8.25 1000000 0 843.45/843.89 c 312 356 513.58 57.50 8.93 1000000 0 844.75/845.15 c 361 479 525.92 54.05 9.73 1000000 0 846.05/846.41 c 359 460 513.93 50.25 10.23 1000000 0 847.25/847.66 c 340 505 518.04 59.59 8.69 1000000 0 848.55/848.92 c 357 458 507.58 55.18 9.20 1000000 0 849.75/850.18 c 352 529 511.06 54.33 9.41 1000000 0 851.06/851.44 c 360 549 520.07 52.28 9.95 1000000 0 852.35/852.70 c 370 538 519.61 53.32 9.75 1000000 0 853.55/853.96 c 312 504 512.00 58.55 8.74 1000000 0 854.85/855.22 c 370 463 511.52 48.16 10.62 1000000 0 856.05/856.48 c 362 480 514.77 57.95 8.88 1000000 0 857.35/857.73 c 351 430 503.69 59.90 8.41 1000000 0 858.55/858.99 c 358 531 519.35 51.27 10.13 1000000 0 859.85/860.25 c 353 548 517.47 58.38 8.86 1000000 0 861.15/861.51 c 346 564 519.77 59.01 8.81 1000000 0 862.34/862.77 c 359 526 520.86 55.42 9.40 1000000 0 863.64/864.02 c 346 585 510.90 56.91 8.98 1000000 0 864.84/865.28 c 358 502 505.65 52.38 9.65 1000000 0 866.14/866.54 c 330 402 506.78 57.03 8.89 1000000 0 867.45/867.80 c 344 636 507.43 61.55 8.24 1000000 0 868.65/869.06 c 333 492 505.89 51.78 9.77 1000000 0 869.94/870.32 c 343 561 520.58 58.80 8.85 1000000 0 871.14/871.58 c 312 577 518.78 58.75 8.83 1000000 0 872.44/872.84 c 359 425 511.12 56.88 8.99 1000000 0 873.74/874.11 c 363 598 517.66 60.76 8.52 1000000 0 874.94/875.37 c 339 515 509.31 55.84 9.12 1000000 0 876.25/876.63 c 336 485 506.93 57.36 8.84 1000000 0 877.45/877.88 c 333 470 515.67 61.46 8.39 1000000 0 878.74/879.14 c 327 502 513.16 60.27 8.51 1000000 0 880.04/880.40 c 344 566 524.99 55.60 9.44 1000000 0 881.24/881.66 c 345 475 512.28 54.90 9.33 1000000 0 882.54/882.92 c 341 485 510.05 58.96 8.65 1000000 0 883.74/884.18 c 347 502 512.82 54.58 9.40 1000000 0 885.04/885.44 c 310 497 509.19 62.62 8.13 1000000 0 886.24/886.70 c 341 563 513.11 54.29 9.45 1000000 0 887.54/887.95 c 359 449 514.58 61.68 8.34 1000000 0 888.83/889.22 c 364 501 530.81 61.51 8.63 1000000 0 890.03/890.47 c 355 499 520.67 56.53 9.21 1000000 0 891.33/891.74 c 338 478 513.67 67.64 7.59 1000000 0 892.53/893.00 c 352 459 508.94 54.58 9.32 1000000 0 893.84/894.26 c 362 539 516.57 56.10 9.21 1000000 0 895.13/895.51 c 321 636 517.60 56.69 9.13 1000000 0 896.33/896.78 c 353 568 513.36 57.84 8.88 1000000 0 897.63/898.04 c 342 542 516.18 56.64 9.11 1000000 0 898.93/899.30 c 370 515 521.89 59.07 8.84 1000000 0 900.13/900.56 c 359 497 511.75 59.22 8.64 1000000 0 901.43/901.82 c 353 428 510.59 50.48 10.11 1000000 0 902.64/903.08 c 327 465 513.67 57.16 8.99 1000000 0 903.93/904.33 c 332 509 507.81 57.68 8.80 1000000 0 905.13/905.59 c 327 532 519.51 58.87 8.82 1000000 0 906.43/906.85 c 327 480 509.81 53.88 9.46 1000000 0 907.73/908.11 c 330 525 532.60 62.43 8.53 1000000 0 908.92/909.37 c 342 503 511.92 60.97 8.40 1000000 0 910.22/910.63 c 361 480 518.14 57.47 9.02 1000000 0 911.43/911.89 c 334 586 509.95 54.94 9.28 1000000 0 912.72/913.15 c 318 514 510.50 53.31 9.58 1000000 0 914.02/914.41 c 348 487 511.82 58.20 8.79 1000000 0 915.22/915.66 c 338 431 510.87 52.65 9.70 1000000 0 916.52/916.92 c 339 613 512.74 58.13 8.82 1000000 0 917.72/918.19 c 338 521 518.95 51.49 10.08 1000000 0 919.02/919.45 c 333 386 516.53 57.74 8.95 1000000 0 920.33/920.71 c 350 530 523.09 58.31 8.97 1000000 0 921.52/921.97 c 361 485 518.58 57.96 8.95 1000000 0 922.82/923.23 c 351 557 514.97 57.20 9.00 1000000 0 924.02/924.49 c 355 443 507.86 61.28 8.29 1000000 0 925.32/925.75 c 348 503 518.96 49.10 10.57 1000000 0 926.62/927.01 c 355 488 521.79 57.60 9.06 1000000 0 927.82/928.27 c 360 468 519.10 58.54 8.87 1000000 0 929.12/929.52 c 335 444 510.22 54.53 9.36 1000000 0 930.32/930.78 c 368 490 517.37 56.98 9.08 1000000 0 931.62/932.04 c 346 518 513.36 54.35 9.44 1000000 0 932.91/933.30 c 359 545 527.66 58.10 9.08 1000000 0 934.11/934.56 c 346 532 514.48 53.43 9.63 1000000 0 935.41/935.83 c 361 521 512.93 55.99 9.16 1000000 0 936.61/937.08 c 347 524 515.23 54.42 9.47 1000000 0 937.92/938.35 c 346 524 521.89 57.45 9.08 1000000 0 939.21/939.61 c 358 465 508.08 52.01 9.77 1000000 0 940.41/940.87 c 352 473 507.32 58.61 8.66 1000000 0 941.71/942.13 c 338 459 514.59 55.47 9.28 1000000 0 942.91/943.39 c 340 548 517.85 58.42 8.86 1000000 0 944.21/944.64 c 368 499 521.97 50.94 10.25 1000000 0 945.52/945.91 c 350 555 512.23 52.76 9.71 1000000 0 946.72/947.17 c 357 596 515.03 61.54 8.37 1000000 0 948.01/948.43 c 339 448 520.02 66.33 7.84 1000000 0 949.21/949.69 c 346 569 519.19 56.52 9.19 1000000 0 950.51/950.95 c 353 585 519.39 52.98 9.80 1000000 0 951.81/952.22 c 332 544 511.25 58.57 8.73 1000000 0 953.01/953.47 c 343 456 514.28 53.50 9.61 1000000 0 954.31/954.73 c 343 524 510.54 53.86 9.48 1000000 0 955.51/955.99 c 357 528 519.04 58.88 8.82 1000000 0 956.81/957.25 c 371 387 516.63 49.70 10.39 1000000 0 958.11/958.51 c 354 442 520.27 57.87 8.99 1000000 0 959.31/959.77 c 359 576 522.76 59.03 8.86 1000000 0 960.60/961.03 c 349 445 508.10 53.33 9.53 1000000 0 961.80/962.29 c 355 454 506.14 52.76 9.59 1000000 0 963.11/963.55 c 335 555 513.06 57.94 8.85 1000000 0 964.40/964.81 c 358 459 510.14 51.64 9.88 1000000 0 965.60/966.07 c 332 470 517.87 57.91 8.94 1000000 0 966.90/967.33 c 352 447 521.25 58.92 8.85 1000000 0 968.10/968.59 c 340 524 519.71 55.35 9.39 1000000 0 969.40/969.86 c 352 548 509.12 63.51 8.02 1000000 0 970.70/971.12 c 374 465 524.73 53.15 9.87 1000000 0 971.91/972.38 c 351 499 507.52 53.56 9.48 1000000 0 973.20/973.63 c 309 473 512.74 53.21 9.64 1000000 0 974.40/974.89 c 306 490 514.71 62.31 8.26 1000000 0 975.70/976.15 c 368 528 517.23 54.50 9.49 1000000 0 977.00/977.41 c 336 588 515.05 55.64 9.26 1000000 0 978.20/978.67 c 340 479 513.56 60.73 8.46 1000000 0 979.50/979.92 c 316 565 513.14 56.80 9.03 1000000 0 980.70/981.18 c 332 555 520.74 55.53 9.38 1000000 0 981.99/982.44 c 344 508 515.64 56.15 9.18 1000000 0 983.29/983.71 c 357 573 514.31 53.33 9.64 1000000 0 984.49/984.97 c 333 539 509.56 55.99 9.10 1000000 0 985.79/986.22 c 343 491 508.70 54.84 9.28 1000000 0 986.99/987.47 c 366 521 511.24 57.51 8.89 1000000 0 988.29/988.73 c 341 440 510.00 56.49 9.03 1000000 0 989.50/989.98 c 325 540 509.62 55.50 9.18 1000000 0 990.79/991.25 c 363 504 512.92 54.20 9.46 1000000 0 992.09/992.51 c 321 578 513.03 57.52 8.92 1000000 0 993.29/993.77 c 330 542 520.07 57.63 9.02 1000000 0 994.59/995.02 c 352 534 510.98 56.35 9.07 1000000 0 995.79/996.28 c 373 524 525.16 59.29 8.86 1000000 0 997.09/997.55 c 318 467 511.03 55.66 9.18 1000000 0 998.30/998.80 c 364 425 515.42 56.40 9.14 1000000 0 999.59/1000.06 c 338 567 513.97 57.93 8.87 1000000 0 1000.89/1001.32 c 338 615 517.79 49.14 10.54 1000000 0 1002.09/1002.58 c 336 523 509.93 54.07 9.43 1000000 0 1003.39/1003.84 c 349 467 521.98 61.82 8.44 1000000 0 1004.69/1005.10 c 346 499 519.78 55.95 9.29 1000000 0 1005.89/1006.36 c 343 512 510.23 55.18 9.25 1000000 0 1007.19/1007.61 c 346 445 511.31 58.71 8.71 1000000 0 1008.38/1008.88 c 339 638 517.34 58.75 8.81 1000000 0 1009.68/1010.14 c 358 483 508.66 63.53 8.01 1000000 0 1010.98/1011.40 c 373 555 520.71 47.56 10.95 1000000 0 1012.18/1012.66 c 349 401 510.82 56.28 9.08 1000000 0 1013.48/1013.92 c 354 496 515.13 53.51 9.63 1000000 0 1014.68/1015.18 c 366 564 516.15 60.02 8.60 1000000 0 1015.99/1016.44 c 349 562 523.29 55.97 9.35 1000000 0 1017.28/1017.70 c 350 601 514.99 51.41 10.02 1000000 0 1018.48/1018.97 c 334 527 504.32 59.95 8.41 1000000 0 1019.78/1020.22 c 323 439 515.86 56.29 9.16 1000000 0 1020.98/1021.48 c 340 521 518.45 55.89 9.28 1000000 0 1022.28/1022.75 c 354 499 512.14 53.02 9.66 1000000 0 1023.58/1024.01 c 344 420 514.59 59.45 8.66 1000000 0 1024.78/1025.26 c 316 471 517.40 59.34 8.72 1000000 0 1026.08/1026.52 c 352 568 512.84 50.40 10.18 1000000 0 1027.28/1027.78 c 352 509 515.15 57.48 8.96 1000000 0 1028.58/1029.03 c 364 553 525.78 65.18 8.07 1000000 0 1029.77/1030.29 c 313 506 511.54 52.36 9.77 1000000 0 1031.07/1031.55 c 350 467 522.71 58.62 8.92 1000000 0 1032.38/1032.81 c 357 437 508.10 47.99 10.59 1000000 0 1033.58/1034.07 c 357 504 518.31 54.87 9.45 1000000 0 1034.87/1035.33 c 349 545 512.05 53.27 9.61 1000000 0 1036.07/1036.59 c 362 446 518.15 57.23 9.05 1000000 0 1037.37/1037.85 c 338 587 513.75 60.06 8.55 1000000 0 1038.67/1039.11 c 334 520 520.42 55.44 9.39 1000000 0 1039.87/1040.37 c 358 550 522.36 55.35 9.44 1000000 0 1041.18/1041.63 c 359 460 515.34 51.48 10.01 1000000 0 1042.38/1042.89 c 347 483 512.34 49.63 10.32 1000000 0 1043.67/1044.15 c 334 512 517.79 54.07 9.58 1000000 0 1044.97/1045.41 c 344 537 508.52 53.78 9.46 1000000 0 1046.17/1046.67 c 349 507 518.13 53.94 9.61 1000000 0 1047.47/1047.93 c 332 536 513.49 52.08 9.86 1000000 0 1048.67/1049.18 c 358 571 514.80 57.71 8.92 1000000 0 1049.97/1050.45 c 326 414 516.23 61.95 8.33 1000000 0 1051.27/1051.71 c 362 509 519.58 60.66 8.56 1000000 0 1052.47/1052.96 c 345 545 520.57 57.76 9.01 1000000 0 1053.77/1054.22 c 373 458 517.13 54.83 9.43 1000000 0 1054.96/1055.48 c 359 510 524.16 60.02 8.73 1000000 0 1056.26/1056.74 c 347 534 509.67 53.64 9.50 1000000 0 1057.56/1058.00 c 357 500 517.70 53.52 9.67 1000000 0 1058.77/1059.25 c 348 501 522.47 56.33 9.28 1000000 0 1060.06/1060.51 c 327 541 509.64 54.58 9.34 1000000 0 1061.26/1061.77 c 308 533 507.89 57.35 8.86 1000000 0 1062.56/1063.02 c 340 580 520.38 52.85 9.85 1000000 0 1063.76/1064.28 c 360 515 527.77 57.91 9.11 1000000 0 1065.06/1065.54 c 367 453 518.63 55.82 9.29 1000000 0 1066.36/1066.80 c 364 502 511.77 55.68 9.19 1000000 0 1067.57/1068.06 c 347 556 516.56 59.49 8.68 1000000 0 1068.86/1069.32 c 367 514 522.82 52.75 9.91 1000000 0 1070.06/1070.57 c 347 723 510.36 53.48 9.54 1000000 0 1071.36/1071.83 c 351 509 514.56 57.02 9.02 1000000 0 1072.66/1073.10 c 337 542 514.12 57.95 8.87 1000000 0 1073.86/1074.36 c 345 474 513.16 54.56 9.40 1000000 0 1075.16/1075.61 c 350 463 507.31 53.51 9.48 1000000 0 1076.36/1076.88 c 293 521 513.98 63.64 8.08 1000000 0 1077.66/1078.14 c 347 530 513.34 53.74 9.55 1000000 0 1078.96/1079.40 c 351 496 521.45 53.80 9.69 1000000 0 1080.16/1080.66 c 351 476 516.15 53.64 9.62 1000000 0 1081.45/1081.93 c 362 485 516.25 58.64 8.80 1000000 0 1082.65/1083.18 c 349 489 506.95 54.53 9.30 1000000 0 1083.95/1084.44 c 365 496 518.34 54.41 9.53 1000000 0 1085.16/1085.70 c 348 540 509.89 55.28 9.22 1000000 0 1086.45/1086.96 c 342 472 515.86 58.10 8.88 1000000 0 1087.75/1088.22 c 353 532 516.05 51.78 9.97 1000000 0 1088.95/1089.48 c 327 551 513.23 59.21 8.67 1000000 0 1090.25/1090.74 c 323 562 515.04 55.44 9.29 1000000 0 1091.45/1091.99 c 349 368 508.44 53.62 9.48 1000000 0 1092.75/1093.25 c 372 517 517.28 48.31 10.71 1000000 0 1094.06/1094.51 c 340 605 521.66 62.41 8.36 1000000 0 1095.25/1095.77 c 361 480 510.86 53.94 9.47 1000000 0 1096.55/1097.03 c 355 531 520.01 51.03 10.19 1000000 0 1097.75/1098.29 c 330 540 509.87 58.87 8.66 1000000 0 1099.05/1099.55 c 329 525 520.72 61.03 8.53 1000000 0 1100.35/1100.81 c 327 481 505.56 53.95 9.37 1000000 0 1101.55/1102.06 c 335 516 512.00 60.06 8.52 1000000 0 1102.85/1103.31 c 362 484 521.68 58.43 8.93 1000000 0 1104.05/1104.57 c 364 539 514.81 50.04 10.29 1000000 0 1105.34/1105.83 c 338 536 518.07 54.44 9.52 1000000 0 1106.54/1107.09 c 343 523 516.08 60.73 8.50 1000000 0 1107.84/1108.34 c 364 601 510.52 54.37 9.39 1000000 0 1109.14/1109.60 c 288 576 513.75 57.49 8.94 1000000 0 1110.34/1110.86 c 328 518 523.34 61.45 8.52 1000000 0 1111.65/1112.13 c 356 572 521.12 55.48 9.39 1000000 0 1112.84/1113.39 c 364 446 514.28 54.01 9.52 1000000 0 1114.14/1114.64 c 354 489 523.15 56.87 9.20 1000000 0 1115.44/1115.90 c 362 476 525.48 60.00 8.76 1000000 0 1116.64/1117.17 c 356 598 517.15 56.02 9.23 1000000 0 1117.94/1118.42 c 348 454 506.70 54.86 9.24 1000000 0 1119.14/1119.68 c 376 537 520.19 50.64 10.27 1000000 0 1120.45/1120.94 c 363 550 514.87 59.64 8.63 1000000 0 1121.64/1122.20 c 363 518 514.32 51.07 10.07 1000000 0 1122.94/1123.45 c 359 509 518.21 51.40 10.08 1000000 0 1124.24/1124.71 c 341 498 525.88 53.94 9.75 1000000 0 1125.44/1125.96 c 347 525 520.00 55.15 9.43 1000000 0 1126.74/1127.22 c 329 459 512.07 56.81 9.01 1000000 0 1127.94/1128.48 c 374 576 523.28 49.43 10.59 1000000 0 1129.24/1129.74 c 362 512 518.02 52.05 9.95 1000000 0 1130.54/1131.00 c 314 548 515.07 56.42 9.13 1000000 0 1131.73/1132.26 c 335 534 516.02 55.15 9.36 1000000 0 1133.03/1133.52 c 339 494 518.94 61.34 8.46 1000000 0 1134.23/1134.78 c 317 498 514.56 56.93 9.04 1000000 0 1135.53/1136.04 c 360 477 527.34 55.16 9.56 1000000 0 1136.84/1137.30 c 285 556 509.16 59.65 8.54 1000000 0 1138.04/1138.55 c 331 530 512.85 55.83 9.19 1000000 0 1139.33/1139.81 c 315 566 521.42 62.60 8.33 1000000 0 1140.53/1141.07 c 351 522 518.92 66.13 7.85 1000000 0 1141.83/1142.33 c 319 571 508.79 56.16 9.06 1000000 0 1143.03/1143.59 c 311 496 508.50 62.98 8.07 1000000 0 1144.33/1144.84 c 362 544 518.76 55.26 9.39 1000000 0 1145.63/1146.11 c 341 511 523.94 68.32 7.67 1000000 0 1146.83/1147.37 c 329 479 509.24 54.11 9.41 1000000 0 1148.13/1148.62 c 343 473 517.59 57.53 9.00 1000000 0 1149.33/1149.88 c 361 485 505.53 50.85 9.94 1000000 0 1150.63/1151.14 c 363 542 525.07 59.49 8.83 1000000 0 1151.82/1152.40 c 334 498 504.05 64.78 7.78 1000000 0 1153.12/1153.65 c 339 564 519.99 59.92 8.68 1000000 0 1154.43/1154.92 c 344 451 510.32 58.41 8.74 1000000 0 1155.63/1156.18 c 315 457 518.86 54.12 9.59 1000000 0 1156.92/1157.44 c 326 493 508.94 55.69 9.14 1000000 0 1158.12/1158.69 c 351 451 514.17 53.17 9.67 1000000 0 1159.42/1159.95 c 365 509 525.26 56.58 9.28 1000000 0 1160.72/1161.21 c 338 586 511.77 56.50 9.06 1000000 0 1161.92/1162.47 c 346 556 507.57 49.90 10.17 1000000 0 1163.23/1163.72 c 334 599 512.78 55.88 9.18 1000000 0 1164.43/1164.98 c 332 462 507.40 60.11 8.44 1000000 0 1165.72/1166.24 c 348 495 510.92 52.05 9.82 1000000 0 1167.02/1167.50 c 339 503 515.88 58.01 8.89 1000000 0 1168.22/1168.76 c 321 476 506.47 57.77 8.77 1000000 0 1169.52/1170.02 c 349 517 507.01 61.82 8.20 1000000 0 1170.72/1171.28 c 354 590 511.23 57.36 8.91 1000000 0 1172.02/1172.54 c 350 539 515.84 63.42 8.13 1000000 0 1173.22/1173.80 c 327 522 518.73 65.77 7.89 1000000 0 1174.52/1175.05 c 343 625 512.39 59.77 8.57 1000000 0 1175.82/1176.31 c 336 496 512.52 57.34 8.94 1000000 0 1177.02/1177.57 c 345 613 517.43 57.67 8.97 1000000 0 1178.31/1178.83 c 351 495 519.07 55.87 9.29 1000000 0 1179.51/1180.09 c 357 531 515.18 54.56 9.44 1000000 0 1180.82/1181.35 c 356 433 525.19 59.99 8.75 1000000 0 1182.11/1182.60 c 343 431 521.42 53.83 9.69 1000000 0 1183.31/1183.87 c 338 478 507.66 64.53 7.87 1000000 0 1184.61/1185.12 c 350 558 519.61 56.52 9.19 1000000 0 1185.81/1186.39 c 346 418 512.83 58.67 8.74 1000000 0 1187.11/1187.64 c 371 489 528.74 54.69 9.67 1000000 0 1188.41/1188.91 c 321 462 518.73 58.41 8.88 1000000 0 1189.62/1190.17 c 354 544 512.67 51.78 9.90 1000000 0 1190.91/1191.43 c 329 433 520.05 59.12 8.80 1000000 0 1192.11/1192.69 c 347 503 511.11 55.82 9.16 1000000 0 1193.41/1193.95 c 344 552 513.13 58.81 8.73 1000000 0 1194.71/1195.20 c 359 439 521.99 53.20 9.81 1000000 0 1195.91/1196.46 c 327 526 507.55 59.67 8.51 1000000 0 1197.21/1197.72 c 315 460 514.12 59.55 8.63 1000000 0 1198.41/1198.98 c 346 520 521.64 60.20 8.67 1000000 0 1199.71/1200.24 c 329 549 509.10 55.08 9.24 1000000 0 1201.01/1201.50 c 357 472 523.01 57.14 9.15 1000000 0 1202.21/1202.76 c 359 489 522.89 59.95 8.72 1000000 0 1203.51/1204.01 c 355 527 514.95 59.27 8.69 1000000 0 1204.70/1205.27 c 342 550 509.65 48.41 10.53 1000000 0 1206.00/1206.53 c 353 491 509.76 52.68 9.68 1000000 0 1207.21/1207.79 c 328 533 510.05 54.32 9.39 1000000 0 1208.50/1209.04 c 364 474 519.16 55.37 9.38 1000000 0 1209.80/1210.31 c 330 412 518.11 55.71 9.30 1000000 0 1211.00/1211.57 c 329 545 517.68 51.75 10.00 1000000 0 1212.30/1212.83 c 366 469 515.09 57.64 8.94 1000000 0 1213.50/1214.09 c 325 565 524.86 53.70 9.77 1000000 0 1214.80/1215.36 c 317 564 519.41 59.88 8.67 1000000 0 1216.11/1216.61 c 336 551 519.99 60.01 8.67 1000000 0 1217.30/1217.87 c 325 433 511.24 56.79 9.00 1000000 0 1218.60/1219.13 c 352 510 522.31 54.35 9.61 1000000 0 1219.80/1220.39 c 356 525 522.11 62.11 8.41 1000000 0 1221.10/1221.66 c 351 502 506.67 55.29 9.16 1000000 0 1222.40/1222.92 c 329 447 511.95 57.76 8.86 1000000 0 1223.60/1224.18 c 358 532 511.86 58.20 8.80 1000000 0 1224.90/1225.44 c 360 489 517.63 69.87 7.41 1000000 0 1226.20/1226.70 c 357 458 514.83 63.22 8.14 1000000 0 1227.40/1227.96 c 353 510 509.60 57.16 8.92 1000000 0 1228.70/1229.23 c 341 465 511.41 57.08 8.96 1000000 0 1229.90/1230.48 c 362 551 520.63 59.74 8.71 1000000 0 1231.19/1231.74 c 367 552 519.85 53.78 9.67 1000000 0 1232.50/1233.00 c 341 505 507.51 54.36 9.34 1000000 0 1233.70/1234.26 c 353 552 515.33 54.12 9.52 1000000 0 1234.99/1235.52 c 340 473 516.04 64.21 8.04 1000000 0 1236.19/1236.77 c 360 538 519.02 52.50 9.89 1000000 0 1237.49/1238.04 c 346 500 509.34 55.36 9.20 1000000 0 1238.69/1239.29 c 337 560 509.01 57.56 8.84 1000000 0 1239.99/1240.55 c 358 419 512.88 56.92 9.01 1000000 0 1241.30/1241.81 c 325 522 524.77 62.03 8.46 1000000 0 1242.50/1243.07 c 366 531 527.35 53.20 9.91 1000000 0 1243.79/1244.32 c 336 509 522.71 56.22 9.30 1000000 0 1244.99/1245.58 c 372 532 520.27 49.41 10.53 1000000 0 1246.29/1246.84 c 359 547 522.27 47.47 11.00 1000000 0 1247.59/1248.10 c 335 521 516.59 58.50 8.83 1000000 0 1248.79/1249.36 c 343 424 525.78 54.46 9.66 1000000 0 1250.09/1250.62 c 347 493 510.35 54.68 9.33 1000000 0 1251.29/1251.88 c 349 539 513.64 59.29 8.66 1000000 0 1252.58/1253.14 c 369 467 510.37 53.12 9.61 1000000 0 1253.88/1254.40 c 326 455 502.12 60.78 8.26 1000000 0 1255.08/1255.66 c 345 486 520.90 61.77 8.43 1000000 0 1256.38/1256.92 c 370 398 520.94 53.99 9.65 1000000 0 1257.58/1258.18 c 364 572 527.14 54.36 9.70 1000000 0 1258.89/1259.44 c 341 556 517.50 65.11 7.95 1000000 0 1260.09/1260.69 c 325 565 519.27 52.69 9.86 1000000 0 1261.38/1261.95 c 340 533 512.83 60.15 8.53 1000000 0 1262.68/1263.21 c 369 481 519.24 53.89 9.63 1000000 0 1263.88/1264.47 c 362 655 514.07 50.03 10.28 1000000 0 1265.18/1265.73 c 368 579 526.02 63.40 8.30 1000000 0 1266.38/1266.99 c 333 544 520.89 59.44 8.76 1000000 0 1267.69/1268.25 c 345 509 514.65 51.91 9.92 1000000 0 1268.98/1269.51 c 340 548 514.76 59.56 8.64 1000000 0 1270.18/1270.77 c 330 499 519.31 63.79 8.14 1000000 0 1271.48/1272.03 c 355 521 518.86 49.16 10.55 1000000 0 1272.68/1273.30 c 376 455 516.65 51.83 9.97 1000000 0 1273.98/1274.56 c 363 479 526.50 53.97 9.76 1000000 0 1275.28/1275.82 c 333 500 518.18 52.22 9.92 1000000 0 1276.48/1277.08 c 334 385 510.83 56.37 9.06 1000000 0 1277.78/1278.34 c 332 542 507.23 55.09 9.21 1000000 0 1279.07/1279.60 c 372 475 525.91 57.43 9.16 1000000 0 1280.27/1280.86 c 306 507 517.96 62.18 8.33 1000000 0 1281.57/1282.12 c 346 491 507.91 51.93 9.78 1000000 0 1282.77/1283.38 c 328 475 513.64 56.24 9.13 1000000 0 1284.07/1284.64 c 346 504 506.55 56.09 9.03 1000000 0 1285.28/1285.90 c 340 475 512.72 63.26 8.11 1000000 0 1286.57/1287.16 c 327 589 509.24 57.07 8.92 1000000 0 1287.87/1288.42 c 337 443 513.28 59.25 8.66 1000000 0 1289.07/1289.67 c 352 555 517.61 52.74 9.81 1000000 0 1290.37/1290.94 c 324 494 518.94 62.51 8.30 1000000 0 1291.67/1292.20 c 332 412 505.56 56.31 8.98 1000000 0 1292.87/1293.46 c 350 517 513.44 52.94 9.70 1000000 0 1294.17/1294.72 c 343 512 519.05 60.49 8.58 1000000 0 1295.37/1295.97 c 361 485 516.58 53.99 9.57 1000000 0 1296.67/1297.23 c 361 512 518.96 58.43 8.88 1000000 0 1297.97/1298.50 c 313 387 519.84 53.35 9.74 1000000 0 1299.17/1299.75 c 297 504 518.02 63.64 8.14 1000000 0 1300.47/1301.02 c 340 463 522.37 58.80 8.88 1000000 0 1301.67/1302.28 c 345 517 514.81 55.29 9.31 1000000 0 1302.97/1303.53 c 332 490 513.87 54.68 9.40 1000000 0 1304.16/1304.79 c 335 440 514.36 51.83 9.92 1000000 0 1305.46/1306.05 c 340 434 512.59 55.43 9.25 1000000 0 1306.76/1307.31 c 365 541 514.79 54.54 9.44 1000000 0 1307.96/1308.57 c 363 514 515.78 57.85 8.92 1000000 0 1309.26/1309.83 c 358 615 515.59 65.85 7.83 1000000 0 1310.46/1311.09 c 358 471 526.33 53.15 9.90 1000000 0 1311.77/1312.35 c 350 507 517.69 61.22 8.46 1000000 0 1313.06/1313.61 c 376 517 515.19 46.91 10.98 1000000 0 1314.26/1314.87 c 350 575 511.15 57.74 8.85 1000000 0 1315.56/1316.12 c 348 572 508.15 54.12 9.39 1000000 0 1316.76/1317.38 c 346 499 517.22 59.41 8.71 1000000 0 1318.06/1318.63 c 357 571 510.46 55.40 9.21 1000000 0 1319.26/1319.89 c 357 540 509.24 58.04 8.77 1000000 0 1320.57/1321.15 c 337 510 524.01 57.70 9.08 1000000 0 1321.86/1322.41 c 358 617 509.38 52.69 9.67 1000000 0 1323.06/1323.67 c 340 539 514.20 56.50 9.10 1000000 0 1324.36/1324.93 c 331 570 507.71 51.62 9.84 1000000 0 1325.56/1326.18 c 319 531 510.33 55.12 9.26 1000000 0 1326.86/1327.44 c 351 552 513.32 56.06 9.16 1000000 0 1328.16/1328.70 c 362 455 514.22 62.90 8.17 1000000 0 1329.36/1329.96 c 312 529 516.06 57.21 9.02 1000000 0 1330.65/1331.22 c 341 584 513.59 58.80 8.73 1000000 0 1331.85/1332.48 c 340 532 499.37 49.49 10.09 1000000 0 1333.15/1333.74 c 347 528 498.98 50.23 9.93 1000000 0 1334.35/1335.00 c 353 506 510.72 53.84 9.49 1000000 0 1335.65/1336.25 c 294 570 521.19 61.08 8.53 1000000 0 1336.96/1337.51 c 332 511 506.32 54.76 9.25 1000000 0 1338.16/1338.77 c 339 538 513.43 58.76 8.74 1000000 0 1339.45/1340.03 c 380 481 521.10 50.57 10.30 1000000 0 1340.65/1341.29 c 369 619 511.83 50.84 10.07 1000000 0 1341.95/1342.55 c 362 478 521.54 58.19 8.96 1000000 0 1343.25/1343.81 c 344 474 520.81 53.75 9.69 1000000 0 1344.45/1345.06 c 350 537 504.46 60.07 8.40 1000000 0 1345.75/1346.32 c 337 451 514.26 54.77 9.39 1000000 0 1346.95/1347.58 c 367 492 522.79 50.65 10.32 1000000 0 1348.25/1348.84 c 342 472 511.34 55.28 9.25 1000000 0 1349.55/1350.10 c 320 545 511.76 57.84 8.85 1000000 0 1350.75/1351.36 c 358 462 514.41 54.92 9.37 1000000 0 1352.05/1352.62 c 350 489 507.96 54.70 9.29 1000000 0 1353.25/1353.88 c 352 534 516.54 54.33 9.51 1000000 0 1354.55/1355.14 c 369 490 508.60 50.04 10.16 1000000 0 1355.84/1356.40 c 371 548 524.12 63.95 8.20 1000000 0 1357.04/1357.66 c 342 566 514.63 55.02 9.35 1000000 0 1358.34/1358.92 c 364 525 520.60 61.44 8.47 1000000 0 1359.54/1360.18 c 337 462 518.24 58.71 8.83 1000000 0 1360.84/1361.44 c 348 509 516.94 55.38 9.34 1000000 0 1362.14/1362.70 c 340 574 522.28 59.53 8.77 1000000 0 1363.35/1363.96 c 340 512 506.77 50.02 10.13 1000000 0 1364.64/1365.22 c 351 499 517.20 51.25 10.09 1000000 0 1365.84/1366.48 c 338 447 515.34 56.61 9.10 1000000 0 1367.14/1367.74 c 358 506 514.48 56.13 9.17 1000000 0 1368.44/1369.00 c 301 554 513.30 58.86 8.72 1000000 0 1369.64/1370.26 c 343 519 503.61 52.98 9.51 1000000 0 1370.94/1371.52 c 350 523 510.39 58.74 8.69 1000000 0 1372.14/1372.78 c 324 466 509.89 58.57 8.70 1000000 0 1373.44/1374.04 c 337 484 515.27 56.37 9.14 1000000 0 1374.63/1375.29 c 339 449 517.24 57.78 8.95 1000000 0 1375.93/1376.55 c 328 522 514.81 62.26 8.27 1000000 0 1377.23/1377.81 c 323 594 515.45 57.10 9.03 1000000 0 1378.43/1379.07 c 342 477 517.87 56.45 9.17 1000000 0 1379.73/1380.33 c 355 554 507.42 46.33 10.95 1000000 0 1380.94/1381.59 c 354 470 513.92 55.96 9.18 1000000 0 1382.24/1382.85 c 350 527 511.90 57.66 8.88 1000000 0 1383.54/1384.11 c 358 545 524.73 48.61 10.80 1000000 0 1384.74/1385.37 c 374 451 524.83 48.92 10.73 1000000 0 1386.04/1386.63 c 339 602 517.59 57.79 8.96 1000000 0 1387.24/1387.89 c 316 510 522.36 57.43 9.10 1000000 0 1388.54/1389.15 c 335 623 513.80 58.18 8.83 1000000 0 1389.84/1390.41 c 348 531 511.80 60.38 8.48 1000000 0 1391.04/1391.67 c 343 472 507.79 52.05 9.76 1000000 0 1392.34/1392.93 c 329 484 516.51 55.24 9.35 1000000 0 1393.54/1394.19 c 348 543 517.32 51.83 9.98 1000000 0 1394.83/1395.45 c 345 505 508.61 56.50 9.00 1000000 0 1396.13/1396.71 c 355 623 512.25 57.67 8.88 1000000 0 1397.33/1397.97 c 351 523 512.46 55.94 9.16 1000000 0 1398.64/1399.22 c 335 550 512.77 51.87 9.89 1000000 0 1399.83/1400.48 c 345 559 527.72 61.95 8.52 1000000 0 1401.13/1401.74 c 365 500 514.15 52.75 9.75 1000000 0 1402.43/1403.00 c 301 627 505.70 58.84 8.59 1000000 0 1403.63/1404.26 c 346 473 517.81 60.52 8.56 1000000 0 1404.93/1405.52 c 355 571 508.64 51.53 9.87 1000000 0 1406.13/1406.78 c 340 543 513.60 55.09 9.32 1000000 0 1407.44/1408.04 c 380 534 520.57 51.25 10.16 1000000 0 1408.73/1409.30 c 362 484 529.45 61.17 8.66 1000000 0 1409.93/1410.56 c 358 469 511.95 56.60 9.05 1000000 0 1411.23/1411.82 c 307 533 518.06 65.24 7.94 1000000 0 1412.43/1413.08 c 361 554 511.90 54.06 9.47 1000000 0 1413.73/1414.34 c 377 602 520.14 51.90 10.02 1000000 0 1415.03/1415.60 c 375 584 517.65 54.95 9.42 1000000 0 1416.23/1416.85 c 365 535 513.41 55.47 9.26 1000000 0 1417.53/1418.11 c 345 474 516.15 52.04 9.92 1000000 0 1418.73/1419.38 c 346 502 508.27 58.34 8.71 1000000 0 1420.02/1420.64 c 338 419 508.05 54.77 9.28 1000000 0 1421.32/1421.90 c 356 422 529.41 65.58 8.07 1000000 0 1422.52/1423.16 c 354 501 510.97 60.50 8.45 1000000 0 1423.83/1424.42 c 340 455 512.18 48.99 10.46 1000000 0 1425.03/1425.68 c 362 488 513.17 53.86 9.53 1000000 0 1426.32/1426.93 c 349 498 518.95 51.56 10.07 1000000 0 1427.52/1428.19 c 344 530 515.87 57.40 8.99 1000000 0 1428.82/1429.45 c 334 551 518.51 57.03 9.09 1000000 0 1430.12/1430.71 c 338 464 520.56 53.10 9.80 1000000 0 1431.32/1431.98 c 328 556 521.79 60.03 8.69 1000000 0 1432.63/1433.24 c 357 554 511.81 49.24 10.39 1000000 0 1433.83/1434.49 c 353 541 509.23 54.96 9.27 1000000 0 1435.12/1435.75 c 351 504 512.71 57.30 8.95 1000000 0 1436.42/1437.01 c 355 453 516.19 56.00 9.22 1000000 0 1437.62/1438.27 c 377 560 514.98 52.53 9.80 1000000 0 1438.92/1439.53 c 360 505 517.63 54.91 9.43 1000000 0 1440.12/1440.78 c 315 514 506.00 54.47 9.29 1000000 0 1441.42/1442.04 c 351 519 508.52 53.47 9.51 1000000 0 1442.72/1443.31 c 349 437 499.60 52.01 9.61 1000000 0 1443.92/1444.56 c 337 507 514.34 52.45 9.81 1000000 0 1445.22/1445.82 c 352 588 523.21 57.43 9.11 1000000 0 1446.41/1447.08 c 338 544 508.66 52.40 9.71 1000000 0 1447.71/1448.34 c 348 528 525.71 57.91 9.08 1000000 0 1449.01/1449.60 c 350 542 520.57 58.50 8.90 1000000 0 1450.22/1450.86 c 347 567 524.81 58.24 9.01 1000000 0 1451.51/1452.13 c 324 572 517.49 56.28 9.20 1000000 0 1452.71/1453.39 c 307 516 508.03 52.80 9.62 1000000 0 1454.01/1454.65 c 375 538 515.80 53.87 9.58 1000000 0 1455.31/1455.91 c 326 491 515.30 59.29 8.69 1000000 0 1456.51/1457.17 c 332 551 513.09 56.09 9.15 1000000 0 1457.81/1458.43 c 371 450 514.82 64.76 7.95 1000000 0 1459.02/1459.69 c 336 488 511.36 52.88 9.67 1000000 0 1460.31/1460.95 c 361 433 510.97 54.07 9.45 1000000 0 1461.61/1462.21 c 345 543 507.49 58.15 8.73 1000000 0 1462.81/1463.47 c 347 428 510.23 54.04 9.44 1000000 0 1464.11/1464.72 c 375 445 512.68 57.01 8.99 1000000 0 1465.31/1465.98 c 317 448 513.66 59.84 8.58 1000000 0 1466.61/1467.24 c 358 458 512.13 53.31 9.61 1000000 0 1467.81/1468.50 c 335 473 514.91 60.35 8.53 1000000 0 1469.10/1469.75 c 348 430 518.36 58.42 8.87 1000000 0 1470.40/1471.01 c 355 544 513.75 57.39 8.95 1000000 0 1471.60/1472.27 c 354 603 508.03 55.50 9.15 1000000 0 1472.90/1473.53 c 338 562 509.77 53.67 9.50 1000000 0 1474.10/1474.78 c 360 520 511.42 50.71 10.09 1000000 0 1475.40/1476.05 c 336 473 510.42 60.40 8.45 1000000 0 1476.71/1477.31 c 338 468 518.76 59.91 8.66 1000000 0 1477.90/1478.57 c 325 516 515.91 53.69 9.61 1000000 0 1479.20/1479.82 c 355 505 526.26 55.18 9.54 1000000 0 1480.40/1481.08 c 359 501 517.78 55.19 9.38 1000000 0 1481.70/1482.34 c 339 518 512.01 58.22 8.79 1000000 0 1483.00/1483.60 c 328 526 518.49 60.09 8.63 1000000 0 1484.20/1484.86 c 365 486 513.01 50.57 10.14 1000000 0 1485.51/1486.11 c 314 454 509.59 60.05 8.49 1000000 0 1486.70/1487.37 c 341 528 512.01 53.26 9.61 1000000 0 1488.00/1488.63 c 308 497 516.28 65.18 7.92 1000000 0 1489.20/1489.89 c 345 546 532.09 58.74 9.06 1000000 0 1490.50/1491.15 c 340 517 523.61 52.56 9.96 1000000 0 1491.80/1492.41 c 376 565 531.34 62.92 8.44 1000000 0 1492.99/1493.68 c 345 421 511.33 58.31 8.77 1000000 0 1494.30/1494.93 c 363 532 507.47 54.01 9.40 1000000 0 1495.49/1496.20 c 358 472 525.39 56.64 9.28 1000000 0 1496.79/1497.46 c 377 553 522.73 49.50 10.56 1000000 0 1498.09/1498.72 c 331 509 510.58 57.92 8.81 1000000 0 1499.29/1499.98 c 326 572 511.05 62.35 8.20 1000000 0 1500.59/1501.24 c 345 597 517.50 56.83 9.11 1000000 0 1501.90/1502.50 c 346 407 512.19 56.66 9.04 1000000 0 1503.10/1503.76 c 341 528 500.12 52.11 9.60 1000000 0 1504.39/1505.02 c 360 522 519.96 56.02 9.28 1000000 0 1505.59/1506.28 c 336 573 513.35 56.13 9.15 1000000 0 1506.89/1507.55 c 356 463 517.52 51.12 10.12 1000000 0 1508.19/1508.81 c 348 589 510.99 53.70 9.52 1000000 0 1509.39/1510.07 c 375 448 521.79 46.48 11.23 1000000 0 1510.69/1511.33 c 349 522 512.14 57.05 8.98 1000000 0 1511.89/1512.59 c 345 569 509.54 59.52 8.56 1000000 0 1513.19/1513.85 c 315 498 515.96 57.91 8.91 1000000 0 1514.49/1515.11 c 340 411 506.29 58.62 8.64 1000000 0 1515.69/1516.37 c 357 682 521.16 58.07 8.97 1000000 0 1516.98/1517.63 c 358 440 515.47 51.37 10.03 1000000 0 1518.18/1518.88 c 321 543 509.50 59.98 8.49 1000000 0 1519.49/1520.15 c 360 451 512.63 53.33 9.61 1000000 0 1520.78/1521.41 c 362 409 503.46 55.24 9.11 1000000 0 1521.98/1522.67 c 341 545 515.06 48.48 10.62 1000000 0 1523.28/1523.93 c 359 455 522.15 55.18 9.46 1000000 0 1524.48/1525.19 c 330 569 518.61 62.63 8.28 1000000 0 1525.78/1526.45 c 352 586 522.88 67.17 7.78 1000000 0 1527.08/1527.71 c 331 490 507.89 53.88 9.43 1000000 0 1528.29/1528.97 c 339 473 515.75 58.03 8.89 1000000 0 1529.58/1530.23 c 338 570 520.37 54.30 9.58 1000000 0 1530.78/1531.49 c 356 570 514.64 54.83 9.39 1000000 0 1532.08/1532.76 c 361 488 513.43 55.53 9.25 1000000 0 1533.38/1534.02 c 329 527 512.60 55.75 9.19 1000000 0 1534.58/1535.28 c 354 541 510.17 58.18 8.77 1000000 0 1535.88/1536.54 c 340 474 519.09 63.14 8.22 1000000 0 1537.08/1537.79 c 381 511 524.79 56.29 9.32 1000000 0 1538.38/1539.05 c 346 536 526.44 58.42 9.01 1000000 0 1539.68/1540.32 c 369 579 512.00 51.31 9.98 1000000 0 1540.88/1541.58 c 370 548 515.04 51.84 9.94 1000000 0 1542.17/1542.84 c 353 488 517.86 55.71 9.30 1000000 0 1543.47/1544.10 c 354 472 517.58 63.85 8.11 1000000 0 1544.67/1545.36 c 338 516 511.77 52.12 9.82 1000000 0 1545.98/1546.62 c 339 467 506.63 54.80 9.25 1000000 0 1547.17/1547.88 c 353 536 513.57 59.16 8.68 1000000 0 1548.47/1549.14 c 375 498 515.34 56.78 9.08 1000000 0 1549.77/1550.40 c 362 476 527.06 57.07 9.24 1000000 0 1550.97/1551.66 c 308 449 523.54 59.27 8.83 1000000 0 1552.27/1552.92 c 344 517 507.97 55.01 9.23 1000000 0 1553.47/1554.18 c 338 492 516.75 58.44 8.84 1000000 0 1554.78/1555.44 c 361 483 516.27 50.56 10.21 1000000 0 1556.07/1556.70 c 337 495 508.63 59.17 8.60 1000000 0 1557.27/1557.96 c 361 561 522.44 54.62 9.56 1000000 0 1558.57/1559.22 c 341 515 522.79 53.70 9.74 1000000 0 1559.77/1560.48 c 353 500 517.61 54.76 9.45 1000000 0 1561.07/1561.74 c 327 511 506.83 57.17 8.86 1000000 0 1562.27/1562.99 c 334 425 506.24 55.15 9.18 1000000 0 1563.57/1564.26 c 346 498 514.06 60.98 8.43 1000000 0 1564.87/1565.52 c 359 512 511.53 50.73 10.08 1000000 0 1566.07/1566.78 c 368 503 527.55 63.24 8.34 1000000 0 1567.36/1568.03 c 329 609 512.09 53.61 9.55 1000000 0 1568.66/1569.30 c 348 498 530.66 51.06 10.39 1000000 0 1569.86/1570.56 c 362 621 520.41 52.09 9.99 1000000 0 1571.17/1571.82 c 354 465 519.51 55.28 9.40 1000000 0 1572.37/1573.08 c 320 434 512.39 54.00 9.49 1000000 0 1573.66/1574.33 c 363 408 519.99 53.62 9.70 1000000 0 1574.86/1575.59 c 333 510 520.16 55.75 9.33 1000000 0 1576.16/1576.86 c 349 499 513.42 55.41 9.27 1000000 0 1577.46/1578.12 c 368 520 529.63 56.91 9.31 1000000 0 1578.66/1579.37 c 366 481 514.38 51.32 10.02 1000000 0 1579.97/1580.63 c 324 653 509.96 57.78 8.83 1000000 0 1581.17/1581.89 c 344 420 529.61 60.62 8.74 1000000 0 1582.46/1583.15 c 339 485 519.99 60.37 8.61 1000000 0 1583.76/1584.41 c 338 550 515.69 57.89 8.91 1000000 0 1584.96/1585.66 c 360 526 503.88 56.54 8.91 1000000 0 1586.26/1586.93 c 345 548 525.70 60.23 8.73 1000000 0 1587.46/1588.19 c 336 494 516.81 57.26 9.03 1000000 0 1588.76/1589.44 c 332 481 503.90 53.04 9.50 1000000 0 1590.06/1590.71 c 354 484 523.61 56.44 9.28 1000000 0 1591.26/1591.97 c 344 525 521.05 57.48 9.06 1000000 0 1592.56/1593.22 c 344 480 512.87 55.28 9.28 1000000 0 1593.75/1594.48 c 331 483 513.58 57.37 8.95 1000000 0 1595.05/1595.74 c 363 464 516.36 51.75 9.98 1000000 0 1596.25/1596.99 c 349 463 516.17 51.59 10.01 1000000 0 1597.56/1598.25 c 349 496 506.82 49.98 10.14 1000000 0 1598.85/1599.51 c 322 559 514.29 62.34 8.25 1000000 0 1600.05/1600.77 c 351 501 522.01 55.34 9.43 1000000 0 1601.35/1602.03 c 322 513 519.38 61.76 8.41 1000000 0 1602.55/1603.29 c 368 472 518.77 61.08 8.49 1000000 0 1603.85/1604.55 c 331 556 519.19 69.49 7.47 1000000 0 1605.15/1605.82 c 360 490 512.74 55.61 9.22 1000000 0 1606.36/1607.07 c 352 472 518.11 49.67 10.43 1000000 0 1607.65/1608.34 c 368 551 511.19 53.54 9.55 1000000 0 1608.85/1609.59 c 350 511 505.31 51.90 9.74 1000000 0 1610.15/1610.85 c 369 502 524.82 62.30 8.42 1000000 0 1611.45/1612.11 c 340 487 507.58 56.44 8.99 1000000 0 1612.65/1613.38 c 377 468 525.10 53.82 9.76 1000000 0 1613.94/1614.64 c 339 422 516.95 51.30 10.08 1000000 0 1615.15/1615.90 c 338 497 514.28 62.62 8.21 1000000 0 1616.44/1617.16 c 352 493 527.29 62.07 8.50 1000000 0 1617.74/1618.42 c 314 511 512.49 60.63 8.45 1000000 0 1618.94/1619.68 c 364 534 523.98 62.46 8.39 1000000 0 1620.24/1620.94 c 349 519 519.57 63.11 8.23 1000000 0 1621.54/1622.20 c 355 521 517.66 54.66 9.47 1000000 0 1622.74/1623.46 c 366 493 508.79 53.25 9.56 1000000 0 1624.05/1624.72 c 321 568 524.54 60.47 8.67 1000000 0 1625.24/1625.97 c 349 557 512.28 51.02 10.04 1000000 0 1626.54/1627.24 c 344 511 521.88 61.15 8.54 1000000 0 1627.84/1628.50 c 351 458 519.17 68.71 7.56 1000000 0 1629.04/1629.76 c 328 445 508.76 52.56 9.68 1000000 0 1630.34/1631.02 c 341 477 521.21 57.13 9.12 1000000 0 1631.54/1632.28 c 338 458 516.98 59.00 8.76 1000000 0 1632.85/1633.54 c 303 538 521.91 57.73 9.04 1000000 0 1634.14/1634.80 c 368 561 512.87 56.89 9.02 1000000 0 1635.34/1636.05 c 334 453 515.31 65.53 7.86 1000000 0 1636.64/1637.31 c 354 526 524.57 54.87 9.56 1000000 0 1637.84/1638.57 c 331 443 519.58 56.20 9.25 1000000 0 1639.14/1639.84 c 321 538 506.68 49.89 10.16 1000000 0 1640.44/1641.10 c 350 489 513.61 56.69 9.06 1000000 0 1641.64/1642.36 c 305 488 506.31 59.95 8.45 1000000 0 1642.94/1643.61 c 346 619 521.08 61.75 8.44 1000000 0 1644.13/1644.87 c 345 506 506.31 54.98 9.21 1000000 0 1645.43/1646.14 c 347 471 518.10 56.11 9.23 1000000 0 1646.63/1647.40 c 333 500 510.98 60.71 8.42 1000000 0 1647.93/1648.65 c 330 498 512.14 54.19 9.45 1000000 0 1649.24/1649.92 c 326 452 515.61 54.56 9.45 1000000 0 1650.44/1651.18 c 343 488 513.72 57.62 8.92 1000000 0 1651.73/1652.44 c 312 485 518.96 54.42 9.54 1000000 0 1653.03/1653.70 c 354 534 512.74 54.98 9.33 1000000 0 1654.23/1654.96 c 350 530 524.93 57.85 9.07 1000000 0 1655.53/1656.22 c 342 577 521.46 54.79 9.52 1000000 0 1656.73/1657.48 c 346 594 519.48 55.96 9.28 1000000 0 1658.03/1658.74 c 365 576 513.99 56.37 9.12 1000000 0 1659.33/1660.00 c 267 579 513.29 56.36 9.11 1000000 0 1660.53/1661.26 c 295 557 511.44 59.58 8.58 1000000 0 1661.83/1662.53 c 338 493 511.40 56.08 9.12 1000000 0 1663.03/1663.78 c 334 483 507.75 51.79 9.80 1000000 0 1664.32/1665.05 c 367 549 515.32 52.60 9.80 1000000 0 1665.62/1666.30 c 342 475 508.19 54.73 9.29 1000000 0 1666.83/1667.56 c 329 512 510.71 52.11 9.80 1000000 0 1668.12/1668.82 c 338 454 513.98 56.41 9.11 1000000 0 1669.32/1670.08 c 333 462 525.05 56.37 9.31 1000000 0 1670.62/1671.34 c 354 442 514.97 53.98 9.54 1000000 0 1671.92/1672.60 c 309 485 513.19 57.11 8.99 1000000 0 1673.12/1673.86 c 365 506 510.28 53.18 9.60 1000000 0 1674.42/1675.12 c 340 512 507.37 57.40 8.84 1000000 0 1675.63/1676.38 c 348 465 507.30 54.40 9.33 1000000 0 1676.92/1677.64 c 361 509 516.48 50.66 10.20 1000000 0 1678.22/1678.91 c 353 493 518.31 57.88 8.95 1000000 0 1679.42/1680.16 c 344 495 512.31 55.99 9.15 1000000 0 1680.72/1681.43 c 351 540 507.22 54.63 9.28 1000000 0 1681.92/1682.69 c 372 591 522.55 57.82 9.04 1000000 0 1683.22/1683.94 c 331 495 506.40 48.97 10.34 1000000 0 1684.42/1685.20 c 368 487 517.76 57.83 8.95 1000000 0 1685.72/1686.46 c 344 450 509.05 61.79 8.24 1000000 0 1687.02/1687.72 c 341 543 514.36 61.82 8.32 1000000 0 1688.22/1688.98 c 337 481 509.37 52.31 9.74 1000000 0 1689.51/1690.24 c 357 507 518.93 61.34 8.46 1000000 0 1690.81/1691.51 c 344 407 514.25 52.31 9.83 1000000 0 1692.01/1692.77 c 355 518 517.05 54.49 9.49 1000000 0 1693.32/1694.03 c 290 561 515.53 60.42 8.53 1000000 0 1694.51/1695.29 c 361 538 507.79 52.96 9.59 1000000 0 1695.81/1696.55 c 334 561 510.04 54.79 9.31 1000000 0 1697.11/1697.80 c 355 464 519.74 56.51 9.20 1000000 0 1698.31/1699.06 c 347 442 518.46 57.29 9.05 1000000 0 1699.61/1700.33 c 334 445 506.01 52.91 9.56 1000000 0 1700.81/1701.58 c 356 594 514.53 53.11 9.69 1000000 0 1702.12/1702.84 c 343 551 506.09 51.19 9.89 1000000 0 1703.41/1704.10 c 336 542 512.06 58.06 8.82 1000000 0 1704.61/1705.35 c 335 518 510.44 57.27 8.91 1000000 0 1705.91/1706.61 c 372 550 520.92 59.50 8.76 1000000 0 1707.11/1707.87 c 317 526 511.47 55.69 9.18 1000000 0 1708.41/1709.13 c 338 570 517.32 54.82 9.44 1000000 0 1709.61/1710.39 c 350 453 509.85 52.61 9.69 1000000 0 1710.91/1711.66 c 367 555 514.71 53.22 9.67 1000000 0 1712.21/1712.92 c 327 525 507.81 55.43 9.16 1000000 0 1713.41/1714.18 c 326 534 522.05 59.91 8.71 1000000 0 1714.70/1715.44 c 369 521 512.42 53.67 9.55 1000000 0 1716.00/1716.70 c 373 553 521.32 57.10 9.13 1000000 0 1717.20/1717.96 c 342 518 520.41 64.18 8.11 1000000 0 1718.51/1719.22 c 335 491 514.73 51.60 9.98 1000000 0 1719.71/1720.48 c 340 438 500.02 51.99 9.62 1000000 0 1721.00/1721.74 c 355 492 508.90 50.92 9.99 1000000 0 1722.30/1723.00 c 347 446 515.22 69.84 7.38 1000000 0 1723.50/1724.26 c 344 481 512.77 57.53 8.91 1000000 0 1724.80/1725.52 c 342 401 524.51 58.57 8.96 1000000 0 1726.00/1726.78 c 321 534 514.50 50.44 10.20 1000000 0 1727.31/1728.04 c 323 589 503.38 51.65 9.75 1000000 0 1728.60/1729.30 c 324 558 520.58 57.38 9.07 1000000 0 1729.80/1730.56 c 352 515 519.61 62.30 8.34 1000000 0 1731.10/1731.81 c 353 468 510.54 63.57 8.03 1000000 0 1732.30/1733.07 c 350 543 513.41 63.60 8.07 1000000 0 1733.60/1734.32 c 326 464 516.62 53.77 9.61 1000000 0 1734.80/1735.59 c 313 408 505.81 59.90 8.44 1000000 0 1736.10/1736.84 c 351 503 514.60 57.72 8.92 1000000 0 1737.30/1738.10 c 349 520 516.85 53.12 9.73 1000000 0 1738.59/1739.36 c 357 544 521.65 60.55 8.61 1000000 0 1739.89/1740.62 c 363 516 515.83 49.97 10.32 1000000 0 1741.09/1741.88 c 371 499 522.81 51.71 10.11 1000000 0 1742.39/1743.14 c 314 430 504.55 59.22 8.52 1000000 0 1743.59/1744.40 c 354 570 520.43 56.00 9.29 1000000 0 1744.90/1745.65 c 360 485 507.24 56.80 8.93 1000000 0 1746.19/1746.92 c 324 600 516.13 63.95 8.07 1000000 0 1747.39/1748.18 c 348 452 524.50 58.80 8.92 1000000 0 1748.69/1749.45 c 340 553 517.42 58.40 8.86 1000000 0 1749.99/1750.71 c 353 561 520.67 57.18 9.11 1000000 0 1751.19/1751.98 c 313 519 512.31 56.72 9.03 1000000 0 1752.49/1753.23 c 331 399 497.48 57.16 8.70 1000000 0 1753.69/1754.49 c 353 522 524.38 56.42 9.29 1000000 0 1754.99/1755.75 c 339 496 511.31 49.98 10.23 1000000 0 1756.28/1757.01 c 329 462 514.29 61.00 8.43 1000000 0 1757.48/1758.27 c 334 515 512.18 56.28 9.10 1000000 0 1758.78/1759.53 c 327 425 513.69 61.91 8.30 1000000 0 1759.98/1760.79 c 292 458 511.57 50.70 10.09 1000000 0 1761.28/1762.04 c 349 573 516.28 60.99 8.47 1000000 0 1762.59/1763.31 c 344 553 504.40 50.09 10.07 1000000 0 1763.78/1764.57 c 373 521 525.14 56.00 9.38 1000000 0 1765.08/1765.82 c 312 479 508.06 53.14 9.56 1000000 0 1766.28/1767.08 c 351 512 515.07 57.38 8.98 1000000 0 1767.58/1768.34 c 362 583 506.70 52.40 9.67 1000000 0 1768.88/1769.60 c 330 571 498.56 50.75 9.82 1000000 0 1770.08/1770.87 c 363 452 514.60 50.53 10.18 1000000 0 1771.38/1772.13 c 355 577 506.56 53.46 9.47 1000000 0 1772.68/1773.40 c 363 587 519.27 53.35 9.73 1000000 0 1773.88/1774.66 c 360 484 515.51 54.79 9.41 1000000 0 1775.18/1775.92 c 343 550 519.85 56.94 9.13 1000000 0 1776.37/1777.17 c 328 643 508.84 61.44 8.28 1000000 0 1777.67/1778.44 c 355 456 527.30 59.37 8.88 1000000 0 1778.98/1779.70 c 365 593 519.49 57.19 9.08 1000000 0 1780.18/1780.95 c 336 643 504.38 55.76 9.04 1000000 0 1781.47/1782.21 c 351 513 512.85 58.69 8.74 1000000 0 1782.67/1783.47 c 344 461 520.64 54.15 9.61 1000000 0 1783.97/1784.73 c 343 502 506.65 59.25 8.55 1000000 0 1785.17/1785.99 c 357 413 516.97 56.99 9.07 1000000 0 1786.47/1787.25 c 313 566 509.04 53.25 9.56 1000000 0 1787.78/1788.50 c 344 492 529.89 65.32 8.11 1000000 0 1788.98/1789.77 c 345 485 516.64 58.15 8.88 1000000 0 1790.27/1791.02 c 366 489 519.27 55.55 9.35 1000000 0 1791.47/1792.29 c 373 599 529.42 54.84 9.65 1000000 0 1792.77/1793.54 c 339 529 524.44 58.39 8.98 1000000 0 1794.07/1794.80 c 354 494 523.57 51.90 10.09 1000000 0 1795.27/1796.06 c 330 549 516.79 63.38 8.15 1000000 0 1796.57/1797.32 c 341 493 516.04 53.14 9.71 1000000 0 1797.77/1798.58 c 369 528 514.34 53.48 9.62 1000000 0 1799.07/1799.84 c 362 557 513.46 54.46 9.43 1000000 0 1800.07/1800.80 HOME/run: line 2: 22457 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-2685420-1278441113/watcher-2685420-1278441113 -o /tmp/evaluation-result-2685420-1278441113/solver-2685420-1278441113 -C 1800 -W 2000 -M 1800 run HOME/instance-2685420-1278441113.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.04 1.02 1.00 3/106 22456 /proc/meminfo: memFree=1827236/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) R 22454 22456 21487 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006753173 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [startup+0.083213 s] /proc/loadavg: 1.04 1.02 1.00 3/106 22456 /proc/meminfo: memFree=1827236/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101217 s] /proc/loadavg: 1.04 1.02 1.00 3/106 22456 /proc/meminfo: memFree=1827236/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30126 s] /proc/loadavg: 1.04 1.02 1.00 3/106 22456 /proc/meminfo: memFree=1827236/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701345 s] /proc/loadavg: 1.04 1.02 1.00 3/106 22456 /proc/meminfo: memFree=1827236/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50152 s] /proc/loadavg: 1.04 1.02 1.00 2/108 22458 /proc/meminfo: memFree=1822508/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1.49 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1217 0 0 0 149 0 0 0 25 0 1 0 12324416 41422848 1147 1992294400 134512640 135071400 4287396800 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1147 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10186 s] /proc/loadavg: 1.04 1.02 1.00 2/108 22458 /proc/meminfo: memFree=1822260/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=3.09 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1217 0 0 0 309 0 0 0 25 0 1 0 12324416 41422848 1147 1992294400 134512640 135071400 4287396800 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1147 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30154 s] /proc/loadavg: 1.04 1.02 1.00 2/108 22458 /proc/meminfo: memFree=1822136/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=6.29 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 629 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526807 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7019 s] /proc/loadavg: 1.04 1.02 1.00 2/108 22458 /proc/meminfo: memFree=1822012/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=12.68 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 1268 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5007 s] /proc/loadavg: 1.03 1.02 1.00 2/108 22458 /proc/meminfo: memFree=1822012/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=25.48 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 2548 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1011 s] /proc/loadavg: 1.02 1.02 1.00 2/108 22459 /proc/meminfo: memFree=1822012/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=51.07 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 5107 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/108 22460 /proc/meminfo: memFree=1821764/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=102.25 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 10225 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 22462 /proc/meminfo: memFree=1821640/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=162.22 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 16222 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22464 /proc/meminfo: memFree=1821516/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=222.2 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 22220 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22465 /proc/meminfo: memFree=1821516/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=282.17 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 28217 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526666 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22466 /proc/meminfo: memFree=1821276/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=342.15 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 34215 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22468 /proc/meminfo: memFree=1821152/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=402.12 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 40212 0 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526869 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=22457] ppid=22456 vsize=40452 CPUtime=1061.86 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 106185 1 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22488 /proc/meminfo: memFree=1819788/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1121.84 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 112183 1 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22489 /proc/meminfo: memFree=1819664/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1181.81 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 118180 1 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22490 /proc/meminfo: memFree=1819416/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1241.79 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 124178 1 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22492 /proc/meminfo: memFree=1819168/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1301.77 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 130176 1 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22494 /proc/meminfo: memFree=1819168/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1361.74 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 136173 1 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22496 /proc/meminfo: memFree=1819044/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1421.73 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 142171 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22497 /proc/meminfo: memFree=1818920/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1481.7 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 148168 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22498 /proc/meminfo: memFree=1818672/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1541.68 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 154166 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22500 /proc/meminfo: memFree=1818672/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1601.65 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 160163 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22502 /proc/meminfo: memFree=1818548/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1661.63 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 166161 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22504 /proc/meminfo: memFree=1818424/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1721.6 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 172158 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22514 /proc/meminfo: memFree=1816648/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1781.57 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 178155 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22515 /proc/meminfo: memFree=1816648/2059040 swapFree=4192956/4192956 [pid=22456] ppid=22454 vsize=8700 CPUtime=0 /proc/22456/stat : 22456 (run) S 22454 22456 21487 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12324416 8908800 243 1992294400 4194304 4922060 140734949417024 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22456/statm: 2175 243 204 178 0 68 0 [pid=22457] ppid=22456 vsize=40452 CPUtime=1800.07 /proc/22457/stat : 22457 (PB-wave) R 22456 22456 21487 0 -1 4202496 1218 0 0 0 180005 2 0 0 25 0 1 0 12324416 41422848 1148 1992294400 134512640 135071400 4287396800 18446744073709551615 134526807 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22457/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.81 CPU time (s): 1800.09 CPU user time (s): 1800.06 CPU system time (s): 0.026995 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.026995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1590 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4854 runsolver used 3.12552 second user time and 8.43972 second system time The end
Begin job on node010 at 2010-07-06 20:31:53 IDJOB=2685420 IDBENCH=75765 IDSOLVER=1171 FILE ID=node010/2685420-1278441113 PBS_JOBID= 11233461 Free space on /tmp= 62492 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_10-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685420-1278441113/watcher-2685420-1278441113 -o /tmp/evaluation-result-2685420-1278441113/solver-2685420-1278441113 -C 1800 -W 2000 -M 1800 run HOME/instance-2685420-1278441113.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ce969cddb569a85677747111590221bd RANDOM SEED=1518102366 node010.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.258 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.51 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.258 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1827632 kB Buffers: 15940 kB Cached: 85800 kB SwapCached: 0 kB Active: 66848 kB Inactive: 94612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1827632 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1612 kB Writeback: 0 kB AnonPages: 59780 kB Mapped: 14484 kB Slab: 47904 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180868 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= 62492 MiB End job on node010 at 2010-07-06 21:01:54