Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.11 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9010_6-unsat.opb |
MD5SUM | 62425b8c99d21d88f86cd1929c3b9760 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.236963 |
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 | 16744 |
Total number of constraints | 52975 |
Number of constraints which are clauses | 52611 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 364 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 72 |
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 | 41 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 413 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.13 c PB-wave - v2 0.00/0.13 c command line = ./PB-wave 0.00/0.13 c seed = 118615004 0.00/0.13 c cutoff = 1000000 0.00/0.13 c tries = 1000000 0.00/0.13 c heuristic = c best, noise 50 / 100 0.00/0.13 #var 16744 #con 52975 0.00/0.13 mode is SAT 0.00/0.13 c tail starts after flip = 50232 0.00/0.13 c numatom = 16744, numclause = 52975, numliterals = 137267 0.00/0.13 c wff read in 0.00/0.13 c 0.00/0.13 c lowest final avg noise noise total avg mean mean 0.00/0.13 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.13 c this this this this this this success success until std 0.00/0.13 c try try try try try try rate tries assign dev 0.00/0.13 c 1.59/1.61 c 320 523 559.94 94.20 5.94 1000000 0 2.99/3.09 c 369 589 561.27 104.90 5.35 1000000 0 4.49/4.55 c 315 587 537.85 82.40 6.53 1000000 0 5.99/6.02 c 315 566 555.20 106.04 5.24 1000000 0 7.49/7.50 c 347 542 569.73 100.48 5.67 1000000 0 8.89/8.97 c 350 736 560.81 110.83 5.06 1000000 0 10.39/10.44 c 371 617 563.52 87.15 6.47 1000000 0 11.89/11.91 c 302 560 555.10 83.44 6.65 1000000 0 13.29/13.37 c 333 526 528.90 95.40 5.54 1000000 0 14.78/14.84 c 372 545 565.09 104.71 5.40 1000000 0 16.28/16.32 c 335 552 567.19 97.07 5.84 1000000 0 17.78/17.80 c 319 513 561.23 96.30 5.83 1000000 0 19.18/19.27 c 326 564 558.00 103.52 5.39 1000000 0 20.68/20.74 c 305 529 548.43 104.98 5.22 1000000 0 22.18/22.21 c 298 599 543.53 86.74 6.27 1000000 0 23.58/23.67 c 318 428 545.85 87.55 6.24 1000000 0 25.09/25.16 c 385 494 573.98 89.94 6.38 1000000 0 26.59/26.63 c 333 537 561.12 99.06 5.66 1000000 0 28.08/28.10 c 288 476 550.07 91.63 6.00 1000000 0 29.49/29.58 c 394 562 568.99 113.67 5.01 1000000 0 30.98/31.05 c 344 523 548.05 116.51 4.70 1000000 0 32.48/32.52 c 356 585 560.75 104.18 5.38 1000000 0 33.99/34.00 c 315 566 552.46 91.92 6.01 1000000 0 35.38/35.47 c 385 493 567.85 95.07 5.97 1000000 0 36.88/36.95 c 309 507 560.97 118.32 4.74 1000000 0 38.39/38.42 c 340 476 546.42 99.66 5.48 1000000 0 39.78/39.89 c 371 520 561.77 91.49 6.14 1000000 0 41.28/41.37 c 330 402 563.43 98.19 5.74 1000000 0 42.78/42.84 c 314 520 560.60 121.29 4.62 1000000 0 44.28/44.31 c 316 465 537.99 86.46 6.22 1000000 0 45.68/45.79 c 352 588 565.37 114.83 4.92 1000000 0 47.18/47.24 c 347 570 535.47 83.69 6.40 1000000 0 48.67/48.71 c 363 496 551.12 85.58 6.44 1000000 0 50.07/50.18 c 351 522 554.20 88.46 6.26 1000000 0 51.58/51.66 c 357 476 570.39 109.19 5.22 1000000 0 53.07/53.13 c 284 539 560.27 91.71 6.11 1000000 0 54.57/54.60 c 330 634 546.83 107.79 5.07 1000000 0 55.98/56.07 c 369 508 562.91 118.08 4.77 1000000 0 57.47/57.55 c 307 590 549.26 108.71 5.05 1000000 0 58.97/59.03 c 365 555 576.93 98.75 5.84 1000000 0 60.38/60.50 c 326 511 543.01 92.82 5.85 1000000 0 61.87/61.97 c 359 486 556.24 92.93 5.99 1000000 0 63.37/63.44 c 352 491 558.51 98.57 5.67 1000000 0 64.88/64.92 c 312 513 554.55 89.29 6.21 1000000 0 66.27/66.39 c 338 607 564.06 127.07 4.44 1000000 0 67.77/67.87 c 342 546 555.43 98.72 5.63 1000000 0 69.27/69.33 c 320 588 545.29 94.97 5.74 1000000 0 70.77/70.80 c 362 606 556.17 101.42 5.48 1000000 0 72.17/72.28 c 344 465 557.33 99.57 5.60 1000000 0 73.68/73.75 c 295 435 556.85 97.50 5.71 1000000 0 75.17/75.22 c 348 477 542.60 77.41 7.01 1000000 0 76.57/76.68 c 347 492 556.89 100.95 5.52 1000000 0 78.08/78.15 c 356 491 548.71 102.66 5.35 1000000 0 79.57/79.63 c 368 495 554.91 86.22 6.44 1000000 0 81.07/81.11 c 338 429 567.17 109.74 5.17 1000000 0 82.47/82.57 c 340 629 535.20 95.47 5.61 1000000 0 83.96/84.04 c 353 512 553.94 95.10 5.82 1000000 0 85.46/85.52 c 365 561 557.00 96.89 5.75 1000000 0 86.96/87.00 c 357 467 570.51 106.93 5.34 1000000 0 88.36/88.48 c 336 583 565.86 102.64 5.51 1000000 0 89.86/89.95 c 329 670 558.07 94.05 5.93 1000000 0 91.36/91.42 c 388 543 568.21 85.38 6.66 1000000 0 92.77/92.89 c 280 638 557.20 101.31 5.50 1000000 0 94.26/94.36 c 291 592 547.84 95.40 5.74 1000000 0 95.76/95.84 c 309 562 563.15 95.47 5.90 1000000 0 97.26/97.31 c 303 577 550.38 115.22 4.78 1000000 0 98.67/98.78 c 364 481 562.54 105.52 5.33 1000000 0 100.16/100.25 c 329 488 563.87 108.60 5.19 1000000 0 101.66/101.72 c 322 467 549.44 128.79 4.27 1000000 0 103.16/103.20 c 368 507 568.56 112.95 5.03 1000000 0 104.56/104.68 c 317 494 556.71 80.01 6.96 1000000 0 106.06/106.16 c 370 586 569.10 98.52 5.78 1000000 0 107.56/107.62 c 322 544 526.60 91.80 5.74 1000000 0 108.96/109.09 c 357 453 563.45 104.39 5.40 1000000 0 110.46/110.56 c 319 599 536.42 111.03 4.83 1000000 0 111.96/112.02 c 350 473 539.52 104.72 5.15 1000000 0 113.46/113.50 c 343 555 566.41 105.35 5.38 1000000 0 114.86/114.97 c 309 491 545.35 113.25 4.82 1000000 0 116.36/116.44 c 333 544 549.60 90.54 6.07 1000000 0 117.85/117.91 c 316 510 543.22 82.75 6.56 1000000 0 119.25/119.37 c 333 508 550.97 106.08 5.19 1000000 0 120.75/120.84 c 328 554 551.08 105.65 5.22 1000000 0 122.25/122.30 c 310 492 530.60 76.81 6.91 1000000 0 123.66/123.77 c 309 595 547.26 93.00 5.88 1000000 0 125.16/125.23 c 321 496 529.65 93.71 5.65 1000000 0 126.66/126.70 c 315 478 553.58 99.52 5.56 1000000 0 128.06/128.18 c 328 518 562.27 107.96 5.21 1000000 0 129.56/129.65 c 354 498 546.82 92.57 5.91 1000000 0 131.05/131.13 c 370 547 564.95 92.21 6.13 1000000 0 132.55/132.60 c 308 534 554.92 115.22 4.82 1000000 0 133.95/134.06 c 316 508 541.41 87.47 6.19 1000000 0 135.45/135.55 c 354 636 572.97 108.77 5.27 1000000 0 136.95/137.01 c 326 631 545.80 94.62 5.77 1000000 0 138.35/138.48 c 318 486 552.80 95.39 5.80 1000000 0 139.85/139.95 c 347 596 562.54 111.46 5.05 1000000 0 141.35/141.42 c 289 534 540.60 110.16 4.91 1000000 0 142.74/142.89 c 378 565 557.18 78.95 7.06 1000000 0 144.24/144.36 c 374 580 563.67 97.60 5.78 1000000 0 145.74/145.84 c 351 409 564.94 111.93 5.05 1000000 0 147.25/147.31 c 366 573 567.04 94.36 6.01 1000000 0 148.65/148.79 c 364 496 552.21 113.21 4.88 1000000 0 150.15/150.26 c 355 595 548.47 92.80 5.91 1000000 0 151.66/151.74 c 343 540 578.37 126.49 4.57 1000000 0 153.15/153.21 c 326 589 550.85 99.91 5.51 1000000 0 154.55/154.68 c 363 542 546.10 114.59 4.77 1000000 0 156.05/156.15 c 288 517 553.66 106.94 5.18 1000000 0 157.55/157.62 c 333 497 551.43 118.13 4.67 1000000 0 158.95/159.09 c 368 535 556.56 94.31 5.90 1000000 0 160.45/160.56 c 342 530 547.83 95.37 5.74 1000000 0 161.94/162.04 c 343 559 544.03 93.13 5.84 1000000 0 163.44/163.50 c 353 439 539.59 102.79 5.25 1000000 0 164.85/164.97 c 310 497 543.02 99.96 5.43 1000000 0 166.34/166.44 c 365 641 555.34 91.46 6.07 1000000 0 167.84/167.92 c 336 436 553.63 98.58 5.62 1000000 0 169.24/169.39 c 338 538 560.46 103.40 5.42 1000000 0 170.74/170.86 c 345 482 536.65 91.31 5.88 1000000 0 172.24/172.33 c 301 555 557.65 99.94 5.58 1000000 0 173.74/173.80 c 350 457 545.71 109.23 5.00 1000000 0 175.14/175.28 c 356 544 553.07 116.25 4.76 1000000 0 176.63/176.75 c 300 559 564.68 90.62 6.23 1000000 0 178.15/178.22 c 351 584 555.73 106.60 5.21 1000000 0 179.64/179.70 c 326 471 560.45 103.38 5.42 1000000 0 181.04/181.17 c 331 483 553.64 109.46 5.06 1000000 0 182.55/182.64 c 372 619 562.71 91.56 6.15 1000000 0 184.04/184.11 c 352 584 556.02 93.77 5.93 1000000 0 185.44/185.58 c 354 520 563.18 108.91 5.17 1000000 0 186.95/187.05 c 356 444 555.05 111.71 4.97 1000000 0 188.44/188.53 c 351 473 558.39 114.18 4.89 1000000 0 189.94/190.01 c 329 518 558.49 119.78 4.66 1000000 0 191.35/191.48 c 340 387 547.76 99.20 5.52 1000000 0 192.84/192.95 c 333 574 559.87 103.23 5.42 1000000 0 194.34/194.42 c 347 464 551.70 94.08 5.86 1000000 0 195.84/195.90 c 351 561 559.91 115.98 4.83 1000000 0 197.24/197.37 c 355 574 545.69 97.53 5.60 1000000 0 198.73/198.84 c 349 446 536.83 97.23 5.52 1000000 0 200.23/200.31 c 359 475 557.78 97.93 5.70 1000000 0 201.63/201.78 c 333 491 551.23 89.32 6.17 1000000 0 203.13/203.26 c 333 607 571.06 88.25 6.47 1000000 0 204.63/204.73 c 325 615 546.60 91.68 5.96 1000000 0 206.03/206.19 c 344 724 542.47 106.40 5.10 1000000 0 207.53/207.67 c 291 577 561.87 123.91 4.53 1000000 0 209.03/209.15 c 345 539 569.45 103.05 5.53 1000000 0 210.53/210.62 c 315 573 567.11 97.11 5.84 1000000 0 211.93/212.09 c 350 485 547.89 99.19 5.52 1000000 0 213.43/213.56 c 346 592 549.32 93.83 5.85 1000000 0 214.93/215.03 c 350 570 551.88 92.79 5.95 1000000 0 216.42/216.51 c 367 441 559.00 96.87 5.77 1000000 0 217.82/217.98 c 313 609 547.31 105.04 5.21 1000000 0 219.32/219.45 c 329 591 546.75 102.45 5.34 1000000 0 220.82/220.91 c 315 507 553.69 124.05 4.46 1000000 0 222.32/222.40 c 305 558 575.12 108.03 5.32 1000000 0 223.72/223.87 c 378 516 562.71 88.03 6.39 1000000 0 225.22/225.34 c 318 502 560.63 94.31 5.94 1000000 0 226.73/226.81 c 288 566 561.63 128.19 4.38 1000000 0 228.13/228.28 c 323 605 537.92 99.91 5.38 1000000 0 229.63/229.76 c 326 520 569.55 106.54 5.35 1000000 0 231.13/231.23 c 295 489 555.25 82.87 6.70 1000000 0 232.63/232.70 c 356 551 557.66 112.72 4.95 1000000 0 234.02/234.18 c 366 607 565.16 100.95 5.60 1000000 0 235.53/235.65 c 358 512 544.61 103.36 5.27 1000000 0 237.02/237.12 c 320 554 537.77 107.65 5.00 1000000 0 238.42/238.58 c 332 512 532.65 98.68 5.40 1000000 0 239.92/240.05 c 348 510 555.38 93.13 5.96 1000000 0 241.42/241.53 c 338 566 565.10 106.73 5.29 1000000 0 242.93/243.00 c 343 535 559.98 89.45 6.26 1000000 0 244.32/244.47 c 358 656 558.18 112.29 4.97 1000000 0 245.82/245.94 c 324 544 549.13 102.12 5.38 1000000 0 247.32/247.42 c 345 546 552.79 114.27 4.84 1000000 0 248.72/248.89 c 324 605 553.85 109.36 5.06 1000000 0 250.22/250.37 c 355 560 568.16 93.92 6.05 1000000 0 251.72/251.83 c 321 500 543.77 94.30 5.77 1000000 0 253.22/253.31 c 345 505 558.79 103.44 5.40 1000000 0 254.61/254.77 c 274 423 545.08 118.85 4.59 1000000 0 256.12/256.24 c 301 533 544.34 104.98 5.18 1000000 0 257.61/257.71 c 333 542 552.27 100.30 5.51 1000000 0 259.01/259.18 c 371 494 563.39 100.43 5.61 1000000 0 260.52/260.65 c 315 525 549.22 104.48 5.26 1000000 0 262.02/262.14 c 373 421 577.20 98.52 5.86 1000000 0 263.52/263.61 c 323 597 561.46 124.42 4.51 1000000 0 264.92/265.08 c 366 671 561.15 110.91 5.06 1000000 0 266.42/266.56 c 336 512 569.75 94.26 6.04 1000000 0 267.92/268.04 c 380 647 566.83 91.70 6.18 1000000 0 269.42/269.52 c 373 593 566.94 113.54 4.99 1000000 0 270.81/270.99 c 362 516 557.27 104.38 5.34 1000000 0 272.31/272.46 c 341 659 553.06 105.62 5.24 1000000 0 273.82/273.93 c 368 608 548.39 79.54 6.89 1000000 0 275.31/275.40 c 331 599 552.16 102.69 5.38 1000000 0 276.71/276.88 c 333 462 564.18 101.09 5.58 1000000 0 278.22/278.34 c 302 454 539.13 90.44 5.96 1000000 0 279.71/279.81 c 372 576 553.79 85.82 6.45 1000000 0 281.11/281.28 c 314 508 561.53 99.86 5.62 1000000 0 282.61/282.76 c 359 582 554.74 102.07 5.43 1000000 0 284.11/284.23 c 350 489 573.55 106.30 5.40 1000000 0 285.61/285.70 c 304 539 532.53 95.01 5.60 1000000 0 287.01/287.16 c 329 493 550.11 82.13 6.70 1000000 0 288.50/288.63 c 316 525 548.59 95.21 5.76 1000000 0 290.00/290.11 c 352 537 565.21 97.19 5.82 1000000 0 291.41/291.57 c 369 565 540.80 89.56 6.04 1000000 0 292.90/293.04 c 359 658 548.66 93.71 5.86 1000000 0 294.40/294.51 c 320 467 564.00 100.41 5.62 1000000 0 295.81/295.99 c 367 507 558.81 93.62 5.97 1000000 0 297.30/297.45 c 328 489 542.28 116.52 4.65 1000000 0 298.80/298.92 c 314 461 560.82 94.00 5.97 1000000 0 300.30/300.40 c 357 481 557.18 91.54 6.09 1000000 0 301.70/301.87 c 343 548 547.12 122.46 4.47 1000000 0 303.21/303.34 c 310 449 558.54 88.87 6.29 1000000 0 304.71/304.81 c 344 467 548.30 91.01 6.02 1000000 0 306.10/306.27 c 313 470 548.63 99.46 5.52 1000000 0 307.60/307.74 c 335 546 558.30 99.48 5.61 1000000 0 309.10/309.21 c 316 506 554.75 85.70 6.47 1000000 0 310.50/310.68 c 350 625 547.80 91.71 5.97 1000000 0 312.00/312.15 c 357 537 542.72 93.65 5.80 1000000 0 313.50/313.62 c 382 624 562.64 86.92 6.47 1000000 0 314.90/315.09 c 305 615 562.80 107.13 5.25 1000000 0 316.40/316.56 c 309 454 545.73 106.81 5.11 1000000 0 317.90/318.03 c 356 622 565.39 112.64 5.02 1000000 0 319.40/319.50 c 338 650 537.89 89.72 6.00 1000000 0 320.80/320.97 c 337 531 539.78 96.73 5.58 1000000 0 322.30/322.43 c 338 564 547.38 95.98 5.70 1000000 0 323.79/323.90 c 347 424 551.64 94.85 5.82 1000000 0 325.19/325.38 c 375 665 565.70 98.33 5.75 1000000 0 326.69/326.85 c 286 470 554.39 103.85 5.34 1000000 0 328.19/328.33 c 312 493 559.98 109.78 5.10 1000000 0 329.69/329.81 c 340 580 569.76 98.86 5.76 1000000 0 331.09/331.28 c 340 703 570.08 103.77 5.49 1000000 0 332.59/332.75 c 332 473 543.47 90.45 6.01 1000000 0 334.09/334.22 c 363 561 561.01 84.12 6.67 1000000 0 335.59/335.70 c 371 443 568.36 92.76 6.13 1000000 0 336.99/337.18 c 367 555 583.61 102.90 5.67 1000000 0 338.49/338.65 c 319 571 548.87 95.15 5.77 1000000 0 339.99/340.12 c 343 536 536.20 84.31 6.36 1000000 0 341.39/341.58 c 353 510 550.41 93.80 5.87 1000000 0 342.89/343.05 c 337 448 536.87 93.68 5.73 1000000 0 344.40/344.51 c 342 569 540.08 86.25 6.26 1000000 0 345.80/345.97 c 338 603 540.90 84.04 6.44 1000000 0 347.30/347.44 c 324 575 545.38 105.70 5.16 1000000 0 348.79/348.93 c 312 538 577.07 101.45 5.69 1000000 0 350.19/350.39 c 299 582 546.42 89.41 6.11 1000000 0 351.69/351.87 c 342 405 566.89 106.76 5.31 1000000 0 353.19/353.34 c 347 478 545.07 89.23 6.11 1000000 0 354.69/354.82 c 359 608 570.34 86.14 6.62 1000000 0 356.09/356.29 c 351 597 552.26 90.12 6.13 1000000 0 357.59/357.75 c 298 560 547.29 109.17 5.01 1000000 0 359.09/359.22 c 355 427 547.78 110.02 4.98 1000000 0 360.49/360.70 c 298 528 549.70 111.50 4.93 1000000 0 361.99/362.17 c 355 553 552.74 82.77 6.68 1000000 0 363.49/363.64 c 336 582 561.13 109.52 5.12 1000000 0 364.99/365.12 c 389 487 569.62 90.86 6.27 1000000 0 366.39/366.58 c 335 595 538.20 90.99 5.91 1000000 0 367.89/368.05 c 306 694 554.04 107.09 5.17 1000000 0 369.39/369.52 c 354 538 560.91 95.41 5.88 1000000 0 370.89/371.00 c 361 556 567.15 97.22 5.83 1000000 0 372.29/372.47 c 337 635 560.29 113.67 4.93 1000000 0 373.79/373.94 c 328 665 554.58 88.38 6.27 1000000 0 375.28/375.41 c 314 675 544.74 101.84 5.35 1000000 0 376.68/376.87 c 321 508 543.35 102.69 5.29 1000000 0 378.19/378.34 c 339 557 535.19 108.75 4.92 1000000 0 379.68/379.81 c 355 553 543.69 90.06 6.04 1000000 0 381.08/381.27 c 304 479 530.34 118.30 4.48 1000000 0 382.59/382.74 c 345 547 553.21 102.87 5.38 1000000 0 384.08/384.21 c 330 496 536.04 97.79 5.48 1000000 0 385.48/385.67 c 346 531 544.88 84.14 6.48 1000000 0 386.99/387.13 c 335 446 530.21 91.95 5.77 1000000 0 388.48/388.61 c 291 507 560.52 103.10 5.44 1000000 0 389.88/390.08 c 350 509 553.48 106.79 5.18 1000000 0 391.38/391.55 c 344 542 554.59 95.99 5.78 1000000 0 392.88/393.01 c 351 482 551.67 94.01 5.87 1000000 0 394.28/394.49 c 339 487 547.98 104.49 5.24 1000000 0 395.78/395.96 c 339 476 556.03 83.82 6.63 1000000 0 397.27/397.43 c 363 508 557.48 114.67 4.86 1000000 0 398.77/398.91 c 354 485 561.00 94.77 5.92 1000000 0 400.18/400.38 c 348 469 561.32 106.88 5.25 1000000 0 401.67/401.84 c 366 442 544.41 99.65 5.46 1000000 0 403.17/403.31 c 335 525 531.37 93.81 5.66 1000000 0 404.58/404.78 c 372 587 547.22 85.95 6.37 1000000 0 406.07/406.24 c 354 592 536.62 90.49 5.93 1000000 0 407.57/407.71 c 347 457 552.70 94.67 5.84 1000000 0 408.98/409.19 c 347 486 565.13 98.52 5.74 1000000 0 410.47/410.66 c 323 538 562.36 118.02 4.77 1000000 0 411.97/412.14 c 353 467 552.09 99.39 5.55 1000000 0 413.48/413.60 c 340 595 538.86 108.81 4.95 1000000 0 414.87/415.08 c 371 458 553.80 91.42 6.06 1000000 0 416.37/416.55 c 325 525 547.62 93.79 5.84 1000000 0 417.88/418.02 c 309 587 556.39 93.87 5.93 1000000 0 419.37/419.50 c 309 475 551.16 121.69 4.53 1000000 0 420.77/420.96 c 335 624 544.26 84.36 6.45 1000000 0 422.27/422.45 c 378 578 579.66 93.85 6.18 1000000 0 423.77/423.92 c 308 690 546.95 107.71 5.08 1000000 0 425.16/425.39 c 374 557 563.50 93.37 6.04 1000000 0 426.67/426.86 c 357 603 558.23 90.45 6.17 1000000 0 428.16/428.35 c 375 728 573.39 112.71 5.09 1000000 0 429.66/429.82 c 328 602 556.24 96.59 5.76 1000000 0 431.07/431.29 c 357 529 557.89 109.01 5.12 1000000 0 432.56/432.77 c 363 681 568.02 89.32 6.36 1000000 0 434.06/434.24 c 322 559 559.47 99.98 5.60 1000000 0 435.56/435.71 c 309 469 558.86 92.80 6.02 1000000 0 436.97/437.19 c 332 521 552.10 102.82 5.37 1000000 0 438.47/438.67 c 343 572 566.17 117.76 4.81 1000000 0 439.97/440.13 c 325 408 530.46 97.33 5.45 1000000 0 441.47/441.60 c 314 422 554.75 125.71 4.41 1000000 0 442.87/443.07 c 366 524 561.11 100.15 5.60 1000000 0 444.37/444.54 c 353 497 548.42 90.58 6.05 1000000 0 445.87/446.00 c 302 436 543.99 106.28 5.12 1000000 0 447.27/447.47 c 356 578 542.26 86.32 6.28 1000000 0 448.77/448.95 c 360 605 572.60 104.29 5.49 1000000 0 450.26/450.41 c 309 493 543.35 94.62 5.74 1000000 0 451.66/451.89 c 345 587 555.72 89.35 6.22 1000000 0 453.16/453.36 c 321 632 547.19 85.88 6.37 1000000 0 454.66/454.83 c 348 526 557.19 86.17 6.47 1000000 0 456.16/456.31 c 333 604 551.45 98.49 5.60 1000000 0 457.56/457.78 c 373 619 551.96 84.45 6.54 1000000 0 459.06/459.25 c 323 479 567.17 102.82 5.52 1000000 0 460.56/460.72 c 320 506 543.40 99.94 5.44 1000000 0 461.96/462.19 c 354 601 554.47 80.68 6.87 1000000 0 463.46/463.67 c 342 411 565.69 105.44 5.37 1000000 0 464.96/465.14 c 308 666 565.76 114.54 4.94 1000000 0 466.46/466.61 c 331 538 554.61 103.61 5.35 1000000 0 467.86/468.07 c 349 619 538.86 80.81 6.67 1000000 0 469.36/469.54 c 331 503 550.45 89.63 6.14 1000000 0 470.86/471.00 c 276 506 531.55 93.28 5.70 1000000 0 472.26/472.48 c 332 575 555.37 93.70 5.93 1000000 0 473.76/473.94 c 290 538 535.04 107.17 4.99 1000000 0 475.26/475.41 c 354 619 551.11 103.59 5.32 1000000 0 476.66/476.89 c 384 753 557.68 100.86 5.53 1000000 0 478.16/478.35 c 347 533 555.43 86.79 6.40 1000000 0 479.66/479.82 c 336 441 547.01 97.71 5.60 1000000 0 481.05/481.28 c 310 517 529.34 104.04 5.09 1000000 0 482.55/482.75 c 291 646 552.00 107.17 5.15 1000000 0 484.06/484.22 c 336 559 559.83 95.25 5.88 1000000 0 485.45/485.69 c 331 550 539.84 100.89 5.35 1000000 0 486.95/487.17 c 354 610 567.89 98.67 5.76 1000000 0 488.45/488.64 c 349 567 559.67 97.31 5.75 1000000 0 489.95/490.11 c 345 366 548.65 88.12 6.23 1000000 0 491.35/491.58 c 307 544 567.90 101.67 5.59 1000000 0 492.85/493.05 c 353 485 547.99 101.38 5.41 1000000 0 494.35/494.53 c 345 520 554.62 104.90 5.29 1000000 0 495.86/496.01 c 372 562 563.82 89.86 6.27 1000000 0 497.25/497.49 c 363 495 581.63 106.54 5.46 1000000 0 498.75/498.96 c 303 552 563.31 82.25 6.85 1000000 0 500.26/500.44 c 345 374 550.69 93.19 5.91 1000000 0 501.75/501.91 c 372 551 558.50 96.71 5.77 1000000 0 503.15/503.38 c 368 606 557.92 129.75 4.30 1000000 0 504.65/504.85 c 308 481 540.12 101.11 5.34 1000000 0 506.15/506.32 c 320 528 546.85 92.54 5.91 1000000 0 507.55/507.79 c 327 594 553.47 115.88 4.78 1000000 0 509.05/509.26 c 305 532 546.00 101.74 5.37 1000000 0 510.54/510.74 c 314 572 545.04 108.44 5.03 1000000 0 512.04/512.21 c 325 540 564.77 104.52 5.40 1000000 0 513.45/513.68 c 342 559 549.28 102.56 5.36 1000000 0 514.94/515.17 c 375 547 580.72 95.66 6.07 1000000 0 516.44/516.64 c 311 534 550.41 104.28 5.28 1000000 0 517.85/518.10 c 359 541 540.22 101.75 5.31 1000000 0 519.34/519.57 c 364 536 555.42 104.47 5.32 1000000 0 520.84/521.04 c 309 486 555.74 97.48 5.70 1000000 0 522.35/522.51 c 333 579 549.12 100.97 5.44 1000000 0 523.74/523.98 c 362 626 552.28 99.35 5.56 1000000 0 525.24/525.45 c 353 466 554.63 92.37 6.00 1000000 0 526.75/526.93 c 298 431 577.71 107.44 5.38 1000000 0 528.14/528.39 c 291 515 538.07 85.72 6.28 1000000 0 529.64/529.86 c 366 553 552.71 90.28 6.12 1000000 0 531.15/531.33 c 347 432 546.64 82.10 6.66 1000000 0 532.64/532.80 c 333 587 535.31 85.27 6.28 1000000 0 534.04/534.25 c 338 590 528.61 109.18 4.84 1000000 0 535.54/535.72 c 330 567 554.09 108.70 5.10 1000000 0 537.03/537.20 c 284 614 573.38 116.34 4.93 1000000 0 538.43/538.68 c 344 593 555.90 101.80 5.46 1000000 0 539.94/540.15 c 327 433 557.06 111.58 4.99 1000000 0 541.43/541.62 c 374 527 549.70 84.73 6.49 1000000 0 542.83/543.09 c 329 481 542.76 96.78 5.61 1000000 0 544.34/544.56 c 320 516 551.84 106.74 5.17 1000000 0 545.83/546.03 c 297 505 544.02 120.07 4.53 1000000 0 547.33/547.50 c 364 626 565.66 94.73 5.97 1000000 0 548.74/548.98 c 365 589 581.47 105.05 5.54 1000000 0 550.23/550.46 c 365 555 562.83 100.99 5.57 1000000 0 551.73/551.92 c 345 706 555.14 95.41 5.82 1000000 0 553.23/553.40 c 339 459 549.12 93.65 5.86 1000000 0 554.62/554.87 c 345 638 550.65 98.10 5.61 1000000 0 556.13/556.34 c 361 553 560.17 96.29 5.82 1000000 0 557.63/557.81 c 325 482 545.40 121.91 4.47 1000000 0 559.03/559.28 c 322 589 536.58 82.23 6.53 1000000 0 560.53/560.75 c 342 553 563.07 112.44 5.01 1000000 0 562.03/562.22 c 335 484 561.72 102.36 5.49 1000000 0 563.53/563.70 c 348 647 561.79 117.36 4.79 1000000 0 564.93/565.16 c 339 591 537.87 111.59 4.82 1000000 0 566.43/566.63 c 340 566 547.50 90.17 6.07 1000000 0 567.93/568.10 c 302 485 556.23 94.47 5.89 1000000 0 569.33/569.57 c 314 637 541.79 107.12 5.06 1000000 0 570.83/571.04 c 335 576 552.36 99.49 5.55 1000000 0 572.33/572.51 c 337 610 546.30 100.54 5.43 1000000 0 573.73/573.98 c 296 652 557.26 96.04 5.80 1000000 0 575.23/575.45 c 328 495 550.83 87.95 6.26 1000000 0 576.73/576.92 c 344 529 555.04 93.99 5.91 1000000 0 578.13/578.38 c 329 585 538.18 84.62 6.36 1000000 0 579.62/579.85 c 363 619 551.11 94.91 5.81 1000000 0 581.12/581.32 c 330 659 543.46 99.49 5.46 1000000 0 582.52/582.79 c 337 517 547.47 90.98 6.02 1000000 0 584.02/584.26 c 357 564 548.81 105.88 5.18 1000000 0 585.52/585.73 c 353 627 552.89 101.31 5.46 1000000 0 587.02/587.21 c 340 658 570.71 95.42 5.98 1000000 0 588.42/588.67 c 354 538 552.60 96.11 5.75 1000000 0 589.92/590.15 c 308 513 553.89 125.34 4.42 1000000 0 591.42/591.62 c 338 582 556.06 97.63 5.70 1000000 0 592.82/593.09 c 304 619 548.93 103.57 5.30 1000000 0 594.32/594.56 c 354 495 548.89 94.40 5.81 1000000 0 595.82/596.02 c 341 569 538.59 86.69 6.21 1000000 0 597.22/597.49 c 328 460 555.89 118.18 4.70 1000000 0 598.72/598.96 c 296 649 547.06 98.05 5.58 1000000 0 600.21/600.43 c 303 556 548.18 93.27 5.88 1000000 0 601.61/601.89 c 308 586 536.75 92.59 5.80 1000000 0 603.11/603.37 c 343 610 573.66 107.80 5.32 1000000 0 604.61/604.83 c 305 617 537.06 100.84 5.33 1000000 0 606.11/606.30 c 361 557 551.72 107.84 5.12 1000000 0 607.51/607.77 c 309 550 552.24 111.18 4.97 1000000 0 609.01/609.25 c 311 524 557.67 106.83 5.22 1000000 0 610.51/610.72 c 346 591 550.67 98.80 5.57 1000000 0 611.91/612.18 c 341 472 547.73 90.02 6.08 1000000 0 613.41/613.64 c 357 561 540.77 94.49 5.72 1000000 0 614.91/615.11 c 330 556 532.20 102.29 5.20 1000000 0 616.32/616.58 c 343 426 565.10 116.32 4.86 1000000 0 617.81/618.05 c 330 572 562.39 104.83 5.36 1000000 0 619.31/619.53 c 316 561 567.85 115.78 4.90 1000000 0 620.71/620.99 c 323 446 537.50 85.27 6.30 1000000 0 622.21/622.47 c 379 578 576.89 104.14 5.54 1000000 0 623.71/623.94 c 333 500 548.71 95.89 5.72 1000000 0 625.21/625.41 c 314 485 551.25 102.53 5.38 1000000 0 626.61/626.89 c 380 535 564.18 97.37 5.79 1000000 0 628.11/628.36 c 337 516 562.58 88.66 6.35 1000000 0 629.61/629.83 c 305 594 534.46 107.30 4.98 1000000 0 631.01/631.29 c 289 576 556.39 96.88 5.74 1000000 0 632.50/632.77 c 363 592 553.14 95.55 5.79 1000000 0 634.00/634.24 c 301 435 556.09 107.72 5.16 1000000 0 635.51/635.71 c 253 543 550.46 115.59 4.76 1000000 0 636.90/637.19 c 341 470 552.36 107.59 5.13 1000000 0 638.40/638.67 c 361 596 565.18 110.36 5.12 1000000 0 639.91/640.13 c 328 516 551.55 96.34 5.73 1000000 0 641.40/641.60 c 298 482 530.32 101.11 5.24 1000000 0 642.80/643.05 c 336 473 528.72 78.56 6.73 1000000 0 644.31/644.52 c 330 492 535.60 100.80 5.31 1000000 0 645.70/645.99 c 310 575 561.57 108.79 5.16 1000000 0 647.20/647.45 c 316 536 535.98 88.56 6.05 1000000 0 648.71/648.92 c 350 462 549.05 107.17 5.12 1000000 0 650.10/650.38 c 346 629 558.52 89.04 6.27 1000000 0 651.60/651.85 c 358 501 553.14 90.20 6.13 1000000 0 653.10/653.31 c 319 593 544.85 96.47 5.65 1000000 0 654.50/654.79 c 333 523 560.22 84.60 6.62 1000000 0 656.00/656.26 c 304 605 566.03 106.49 5.32 1000000 0 657.50/657.74 c 374 589 551.41 83.92 6.57 1000000 0 659.00/659.20 c 349 543 548.86 95.84 5.73 1000000 0 660.40/660.67 c 330 497 544.41 103.33 5.27 1000000 0 661.91/662.14 c 358 495 551.62 91.78 6.01 1000000 0 663.40/663.61 c 336 546 546.02 98.56 5.54 1000000 0 664.80/665.08 c 304 489 541.97 90.42 5.99 1000000 0 666.31/666.55 c 365 471 563.22 104.21 5.40 1000000 0 667.80/668.02 c 328 532 549.19 114.26 4.81 1000000 0 669.20/669.49 c 371 589 556.50 106.35 5.23 1000000 0 670.71/670.96 c 350 558 555.01 102.44 5.42 1000000 0 672.20/672.43 c 361 477 563.57 102.97 5.47 1000000 0 673.70/673.91 c 389 488 563.36 92.72 6.08 1000000 0 675.10/675.38 c 367 574 554.97 96.36 5.76 1000000 0 676.60/676.86 c 338 516 573.92 103.47 5.55 1000000 0 678.10/678.34 c 335 474 570.39 90.79 6.28 1000000 0 679.60/679.81 c 325 559 550.16 111.08 4.95 1000000 0 681.00/681.28 c 300 605 549.82 96.94 5.67 1000000 0 682.49/682.75 c 351 489 552.23 95.38 5.79 1000000 0 684.00/684.24 c 375 509 571.14 99.65 5.73 1000000 0 685.49/685.71 c 335 473 546.06 118.20 4.62 1000000 0 686.89/687.18 c 341 588 546.96 104.01 5.26 1000000 0 688.40/688.65 c 341 673 551.88 104.43 5.28 1000000 0 689.89/690.12 c 362 648 555.41 95.31 5.83 1000000 0 691.39/691.60 c 377 494 560.56 111.63 5.02 1000000 0 692.80/693.05 c 253 470 517.34 103.37 5.00 1000000 0 694.29/694.53 c 362 505 559.95 92.32 6.07 1000000 0 695.69/695.99 c 281 652 542.50 91.13 5.95 1000000 0 697.20/697.46 c 343 626 555.40 118.58 4.68 1000000 0 698.69/698.92 c 341 523 539.27 122.56 4.40 1000000 0 700.09/700.39 c 335 485 549.49 97.91 5.61 1000000 0 701.60/701.85 c 321 507 552.73 95.30 5.80 1000000 0 703.09/703.33 c 357 556 569.90 101.56 5.61 1000000 0 704.59/704.81 c 331 600 559.93 107.04 5.23 1000000 0 706.00/706.27 c 319 583 542.00 105.13 5.16 1000000 0 707.49/707.73 c 338 592 540.39 89.20 6.06 1000000 0 708.98/709.21 c 351 593 548.77 107.39 5.11 1000000 0 710.39/710.68 c 303 576 558.32 101.77 5.49 1000000 0 711.88/712.15 c 274 507 555.68 99.98 5.56 1000000 0 713.38/713.63 c 342 547 567.16 87.32 6.49 1000000 0 714.88/715.10 c 379 582 574.13 79.65 7.21 1000000 0 716.28/716.58 c 339 594 561.33 91.80 6.11 1000000 0 717.78/718.05 c 321 554 569.06 102.66 5.54 1000000 0 719.28/719.53 c 319 597 559.84 98.77 5.67 1000000 0 720.78/721.00 c 355 498 552.44 86.07 6.42 1000000 0 722.18/722.48 c 359 524 581.97 103.35 5.63 1000000 0 723.68/723.96 c 350 427 574.57 91.74 6.26 1000000 0 725.18/725.43 c 354 435 559.98 95.33 5.87 1000000 0 726.68/726.90 c 281 638 562.95 104.81 5.37 1000000 0 728.08/728.37 c 320 626 548.97 103.51 5.30 1000000 0 729.58/729.84 c 344 452 557.03 102.25 5.45 1000000 0 731.08/731.32 c 297 496 566.87 97.81 5.80 1000000 0 732.48/732.79 c 371 631 549.91 90.86 6.05 1000000 0 733.98/734.26 c 344 518 552.92 86.82 6.37 1000000 0 735.48/735.73 c 382 553 558.03 103.71 5.38 1000000 0 736.97/737.20 c 334 561 546.31 99.60 5.48 1000000 0 738.37/738.66 c 290 380 542.45 113.05 4.80 1000000 0 739.87/740.13 c 347 465 552.95 104.52 5.29 1000000 0 741.37/741.60 c 319 486 549.16 101.81 5.39 1000000 0 742.77/743.07 c 355 571 541.51 95.30 5.68 1000000 0 744.27/744.54 c 278 499 554.54 91.73 6.05 1000000 0 745.77/746.01 c 376 652 552.76 98.43 5.62 1000000 0 747.17/747.48 c 332 501 549.85 86.38 6.37 1000000 0 748.67/748.96 c 381 546 568.06 102.83 5.52 1000000 0 750.17/750.42 c 352 582 548.51 109.99 4.99 1000000 0 751.67/751.90 c 339 617 558.04 98.76 5.65 1000000 0 753.07/753.36 c 357 579 541.58 87.53 6.19 1000000 0 754.57/754.84 c 349 577 561.48 102.31 5.49 1000000 0 756.07/756.31 c 356 522 567.93 104.56 5.43 1000000 0 757.47/757.77 c 315 547 530.48 100.13 5.30 1000000 0 758.97/759.25 c 317 590 570.11 117.38 4.86 1000000 0 760.47/760.73 c 371 572 556.93 85.76 6.49 1000000 0 761.97/762.20 c 325 639 558.48 81.25 6.87 1000000 0 763.36/763.68 c 348 524 554.24 106.47 5.21 1000000 0 764.87/765.15 c 348 503 567.29 87.43 6.49 1000000 0 766.38/766.63 c 296 533 558.60 92.38 6.05 1000000 0 767.77/768.09 c 309 593 534.14 92.76 5.76 1000000 0 769.27/769.56 c 369 496 561.65 113.51 4.95 1000000 0 770.78/771.04 c 334 622 562.08 112.92 4.98 1000000 0 772.27/772.51 c 341 632 553.26 110.63 5.00 1000000 0 773.67/773.98 c 367 524 561.40 99.20 5.66 1000000 0 775.18/775.46 c 383 422 563.94 97.43 5.79 1000000 0 776.67/776.94 c 332 525 560.07 116.53 4.81 1000000 0 778.17/778.42 c 315 449 567.43 110.93 5.12 1000000 0 779.57/779.89 c 355 576 560.65 105.17 5.33 1000000 0 781.07/781.37 c 357 592 571.49 110.36 5.18 1000000 0 782.57/782.84 c 314 447 560.12 118.82 4.71 1000000 0 784.07/784.32 c 342 569 567.07 97.70 5.80 1000000 0 785.47/785.79 c 353 655 538.53 100.41 5.36 1000000 0 786.97/787.25 c 325 448 533.57 95.88 5.57 1000000 0 788.47/788.73 c 355 580 560.40 108.83 5.15 1000000 0 789.96/790.20 c 355 491 544.15 89.81 6.06 1000000 0 791.37/791.67 c 378 578 562.84 102.02 5.52 1000000 0 792.87/793.14 c 338 498 544.24 114.38 4.76 1000000 0 794.36/794.61 c 319 503 553.15 105.78 5.23 1000000 0 795.76/796.07 c 319 451 544.41 100.05 5.44 1000000 0 797.27/797.55 c 311 542 567.93 92.75 6.12 1000000 0 798.76/799.02 c 320 664 546.31 116.61 4.68 1000000 0 800.16/800.47 c 294 625 529.18 92.93 5.69 1000000 0 801.67/801.94 c 341 549 543.23 95.64 5.68 1000000 0 803.16/803.42 c 312 648 567.32 103.31 5.49 1000000 0 804.56/804.87 c 320 494 535.14 99.55 5.38 1000000 0 806.07/806.34 c 358 493 556.63 84.96 6.55 1000000 0 807.56/807.82 c 368 497 562.37 109.79 5.12 1000000 0 808.96/809.29 c 369 473 545.69 94.42 5.78 1000000 0 810.46/810.75 c 337 511 544.34 76.57 7.11 1000000 0 811.96/812.22 c 344 556 555.24 100.46 5.53 1000000 0 813.36/813.69 c 351 590 536.51 87.46 6.13 1000000 0 814.86/815.17 c 377 519 571.61 100.35 5.70 1000000 0 816.36/816.64 c 334 533 557.32 106.47 5.23 1000000 0 817.86/818.12 c 331 564 565.09 102.66 5.50 1000000 0 819.35/819.60 c 352 464 556.63 107.99 5.15 1000000 0 820.75/821.07 c 293 614 549.52 102.90 5.34 1000000 0 822.25/822.54 c 299 632 544.58 104.77 5.20 1000000 0 823.75/824.02 c 375 470 563.37 92.23 6.11 1000000 0 825.15/825.49 c 371 492 562.92 104.66 5.38 1000000 0 826.65/826.95 c 331 507 547.72 99.43 5.51 1000000 0 828.15/828.42 c 319 533 553.71 95.82 5.78 1000000 0 829.65/829.91 c 361 663 588.64 108.10 5.45 1000000 0 831.05/831.38 c 313 533 541.13 92.13 5.87 1000000 0 832.55/832.84 c 313 492 559.07 114.32 4.89 1000000 0 834.05/834.31 c 369 575 558.71 83.04 6.73 1000000 0 835.45/835.79 c 376 594 563.77 78.80 7.15 1000000 0 836.94/837.26 c 353 537 550.67 107.19 5.14 1000000 0 838.44/838.73 c 353 578 539.58 94.41 5.72 1000000 0 839.84/840.19 c 310 556 535.09 86.35 6.20 1000000 0 841.34/841.67 c 392 563 576.13 97.70 5.90 1000000 0 842.84/843.14 c 345 524 552.59 119.79 4.61 1000000 0 844.34/844.61 c 356 507 551.10 93.40 5.90 1000000 0 845.74/846.08 c 364 565 551.00 79.01 6.97 1000000 0 847.24/847.55 c 313 542 548.23 113.79 4.82 1000000 0 848.74/849.02 c 343 399 553.48 114.68 4.83 1000000 0 850.14/850.49 c 353 435 539.39 90.85 5.94 1000000 0 851.64/851.96 c 346 635 552.94 98.96 5.59 1000000 0 853.14/853.43 c 318 549 557.88 107.57 5.19 1000000 0 854.64/854.91 c 371 589 555.27 100.45 5.53 1000000 0 856.04/856.38 c 337 599 561.59 115.34 4.87 1000000 0 857.54/857.85 c 354 495 540.73 97.64 5.54 1000000 0 859.04/859.33 c 392 566 567.11 98.38 5.76 1000000 0 860.54/860.80 c 327 605 550.69 109.42 5.03 1000000 0 861.94/862.27 c 347 475 566.53 85.62 6.62 1000000 0 863.44/863.75 c 327 558 550.68 93.74 5.87 1000000 0 864.94/865.22 c 342 440 551.49 98.45 5.60 1000000 0 866.44/866.70 c 347 576 576.25 126.83 4.54 1000000 0 867.84/868.18 c 356 653 564.63 88.71 6.36 1000000 0 869.33/869.65 c 357 507 559.03 109.18 5.12 1000000 0 870.84/871.13 c 357 634 563.71 106.29 5.30 1000000 0 872.33/872.60 c 343 590 557.38 99.44 5.61 1000000 0 873.74/874.06 c 366 562 538.91 81.00 6.65 1000000 0 875.25/875.53 c 341 505 552.60 96.53 5.72 1000000 0 876.74/877.01 c 388 583 567.49 103.16 5.50 1000000 0 878.14/878.47 c 321 501 534.63 94.31 5.67 1000000 0 879.65/879.93 c 319 628 538.37 103.52 5.20 1000000 0 881.14/881.40 c 356 460 552.63 90.02 6.14 1000000 0 882.54/882.88 c 329 547 555.27 93.29 5.95 1000000 0 884.05/884.36 c 377 592 578.63 93.65 6.18 1000000 0 885.54/885.83 c 306 560 553.12 109.54 5.05 1000000 0 887.04/887.31 c 326 499 557.72 102.88 5.42 1000000 0 888.44/888.78 c 335 562 546.01 82.86 6.59 1000000 0 889.94/890.24 c 320 570 531.93 82.23 6.47 1000000 0 891.44/891.70 c 328 513 547.08 99.58 5.49 1000000 0 892.84/893.17 c 329 589 554.79 88.60 6.26 1000000 0 894.34/894.64 c 337 571 540.69 92.68 5.83 1000000 0 895.83/896.12 c 342 563 563.48 95.93 5.87 1000000 0 897.24/897.59 c 323 632 553.35 117.09 4.73 1000000 0 898.73/899.06 c 322 489 558.07 98.11 5.69 1000000 0 900.23/900.52 c 285 569 541.03 102.22 5.29 1000000 0 901.64/902.00 c 351 487 552.21 93.09 5.93 1000000 0 903.13/903.48 c 335 493 564.23 104.14 5.42 1000000 0 904.63/904.94 c 298 644 547.44 106.30 5.15 1000000 0 906.04/906.40 c 272 475 545.67 100.20 5.45 1000000 0 907.53/907.88 c 301 550 562.13 106.59 5.27 1000000 0 909.03/909.36 c 353 511 567.21 85.21 6.66 1000000 0 910.53/910.83 c 352 494 555.55 98.87 5.62 1000000 0 912.03/912.30 c 344 591 552.43 106.25 5.20 1000000 0 913.42/913.78 c 389 556 568.71 83.70 6.79 1000000 0 914.93/915.26 c 362 646 564.04 91.39 6.17 1000000 0 916.42/916.73 c 296 512 542.00 110.76 4.89 1000000 0 917.82/918.19 c 371 646 547.61 96.00 5.70 1000000 0 919.33/919.67 c 336 510 555.67 110.00 5.05 1000000 0 920.82/921.14 c 347 472 552.97 95.60 5.78 1000000 0 922.32/922.62 c 367 491 564.05 116.05 4.86 1000000 0 923.73/924.08 c 368 644 543.60 99.02 5.49 1000000 0 925.22/925.55 c 315 599 550.73 104.75 5.26 1000000 0 926.72/927.03 c 358 650 582.83 95.09 6.13 1000000 0 928.22/928.50 c 357 541 560.08 101.63 5.51 1000000 0 929.62/929.96 c 350 570 543.72 78.18 6.95 1000000 0 931.13/931.44 c 341 459 562.19 105.45 5.33 1000000 0 932.63/932.91 c 349 520 563.14 101.94 5.52 1000000 0 934.03/934.39 c 360 602 576.95 102.24 5.64 1000000 0 935.53/935.87 c 332 638 555.90 115.51 4.81 1000000 0 937.03/937.32 c 318 550 540.73 90.41 5.98 1000000 0 938.42/938.79 c 345 451 546.05 105.71 5.17 1000000 0 939.92/940.27 c 329 665 559.04 90.54 6.17 1000000 0 941.42/941.75 c 345 536 565.70 101.72 5.56 1000000 0 942.92/943.22 c 358 588 560.73 93.11 6.02 1000000 0 944.32/944.68 c 315 570 539.56 99.22 5.44 1000000 0 945.82/946.15 c 325 518 548.87 107.07 5.13 1000000 0 947.32/947.63 c 322 465 568.24 107.20 5.30 1000000 0 948.82/949.10 c 348 486 562.47 90.32 6.23 1000000 0 950.22/950.57 c 379 601 544.90 90.68 6.01 1000000 0 951.72/952.04 c 320 541 546.04 95.51 5.72 1000000 0 953.22/953.51 c 348 536 559.52 96.86 5.78 1000000 0 954.62/954.99 c 347 618 566.63 115.69 4.90 1000000 0 956.12/956.46 c 339 673 551.30 94.44 5.84 1000000 0 957.62/957.93 c 310 567 539.67 101.53 5.32 1000000 0 959.11/959.40 c 326 513 550.97 110.58 4.98 1000000 0 960.51/960.88 c 333 493 564.34 97.05 5.81 1000000 0 962.01/962.35 c 272 533 559.39 115.52 4.84 1000000 0 963.51/963.82 c 328 567 553.44 100.33 5.52 1000000 0 965.01/965.30 c 367 618 567.06 112.09 5.06 1000000 0 966.41/966.78 c 352 473 560.04 97.58 5.74 1000000 0 967.91/968.24 c 332 637 541.46 90.59 5.98 1000000 0 969.41/969.71 c 341 507 569.07 87.20 6.53 1000000 0 970.81/971.18 c 353 553 541.30 82.30 6.58 1000000 0 972.31/972.65 c 326 615 563.35 97.12 5.80 1000000 0 973.81/974.13 c 348 557 557.41 98.90 5.64 1000000 0 975.31/975.61 c 341 587 561.49 84.18 6.67 1000000 0 976.71/977.08 c 357 531 569.05 97.35 5.85 1000000 0 978.21/978.55 c 335 573 546.76 87.69 6.24 1000000 0 979.71/980.03 c 372 637 562.81 101.60 5.54 1000000 0 981.20/981.50 c 335 499 547.68 86.69 6.32 1000000 0 982.60/982.96 c 348 480 545.64 111.80 4.88 1000000 0 984.12/984.43 c 308 453 550.71 91.02 6.05 1000000 0 985.51/985.89 c 309 662 534.10 104.50 5.11 1000000 0 987.01/987.36 c 325 468 559.46 94.73 5.91 1000000 0 988.52/988.84 c 361 409 560.01 110.14 5.08 1000000 0 990.01/990.30 c 345 643 539.59 84.24 6.41 1000000 0 991.41/991.78 c 339 496 551.68 111.21 4.96 1000000 0 992.92/993.25 c 344 682 560.92 107.75 5.21 1000000 0 994.41/994.72 c 332 469 553.75 98.74 5.61 1000000 0 995.81/996.20 c 335 509 557.20 96.74 5.76 1000000 0 997.32/997.67 c 316 607 561.02 105.80 5.30 1000000 0 998.81/999.14 c 319 478 550.31 92.56 5.95 1000000 0 1000.31/1000.61 c 349 416 564.20 108.15 5.22 1000000 0 1001.71/1002.08 c 331 561 550.92 99.85 5.52 1000000 0 1003.20/1003.55 c 326 484 559.19 92.74 6.03 1000000 0 1004.71/1005.02 c 328 544 534.17 97.42 5.48 1000000 0 1006.11/1006.48 c 341 420 555.86 101.60 5.47 1000000 0 1007.60/1007.96 c 338 572 561.63 102.27 5.49 1000000 0 1009.10/1009.44 c 354 454 566.02 123.45 4.59 1000000 0 1010.61/1010.91 c 334 550 547.78 75.66 7.24 1000000 0 1012.00/1012.37 c 363 558 550.46 90.84 6.06 1000000 0 1013.50/1013.83 c 327 508 538.42 94.73 5.68 1000000 0 1015.01/1015.30 c 330 588 553.78 91.19 6.07 1000000 0 1016.40/1016.77 c 306 425 542.36 95.06 5.71 1000000 0 1017.90/1018.24 c 313 572 558.04 109.15 5.11 1000000 0 1019.41/1019.71 c 345 537 552.96 103.94 5.32 1000000 0 1020.80/1021.19 c 345 508 569.91 99.69 5.72 1000000 0 1022.30/1022.67 c 360 554 564.83 109.39 5.16 1000000 0 1023.80/1024.13 c 368 513 540.94 85.48 6.33 1000000 0 1025.29/1025.60 c 339 542 524.94 106.47 4.93 1000000 0 1026.69/1027.07 c 345 554 554.36 97.79 5.67 1000000 0 1028.20/1028.54 c 308 645 560.88 99.86 5.62 1000000 0 1029.69/1030.02 c 359 649 576.27 108.64 5.30 1000000 0 1031.09/1031.49 c 383 488 561.99 74.99 7.49 1000000 0 1032.60/1032.96 c 325 466 549.66 94.09 5.84 1000000 0 1034.09/1034.45 c 367 524 572.51 105.87 5.41 1000000 0 1035.59/1035.92 c 346 621 565.07 115.07 4.91 1000000 0 1037.00/1037.39 c 321 612 544.23 100.31 5.43 1000000 0 1038.49/1038.86 c 373 609 558.61 88.65 6.30 1000000 0 1039.99/1040.33 c 305 528 557.57 80.17 6.95 1000000 0 1041.49/1041.80 c 345 571 553.63 116.83 4.74 1000000 0 1042.89/1043.27 c 345 582 554.26 102.69 5.40 1000000 0 1044.39/1044.74 c 319 592 541.88 93.67 5.78 1000000 0 1045.89/1046.21 c 330 511 552.11 106.54 5.18 1000000 0 1047.29/1047.68 c 346 595 557.78 102.75 5.43 1000000 0 1048.79/1049.15 c 362 480 549.57 101.34 5.42 1000000 0 1050.28/1050.63 c 335 548 554.90 84.01 6.61 1000000 0 1051.68/1052.09 c 346 430 532.12 106.09 5.02 1000000 0 1053.19/1053.56 c 342 709 545.90 93.77 5.82 1000000 0 1054.69/1055.02 c 328 602 526.81 98.93 5.32 1000000 0 1056.09/1056.49 c 356 623 553.90 90.93 6.09 1000000 0 1057.59/1057.96 c 322 420 544.40 86.12 6.32 1000000 0 1059.09/1059.42 c 348 626 547.74 113.44 4.83 1000000 0 1060.49/1060.89 c 341 463 557.17 105.67 5.27 1000000 0 1061.99/1062.36 c 313 493 543.05 104.56 5.19 1000000 0 1063.49/1063.84 c 352 509 574.46 123.74 4.64 1000000 0 1064.99/1065.31 c 348 488 559.76 95.72 5.85 1000000 0 1066.39/1066.79 c 360 554 564.10 94.36 5.98 1000000 0 1067.89/1068.27 c 362 658 562.34 97.55 5.76 1000000 0 1069.39/1069.74 c 343 514 554.33 111.51 4.97 1000000 0 1070.89/1071.23 c 352 544 586.06 102.97 5.69 1000000 0 1072.29/1072.69 c 346 524 538.22 97.08 5.54 1000000 0 1073.78/1074.16 c 346 435 542.22 85.99 6.31 1000000 0 1075.28/1075.63 c 329 391 545.89 95.52 5.72 1000000 0 1076.78/1077.10 c 341 525 552.02 105.97 5.21 1000000 0 1078.18/1078.58 c 356 550 561.53 104.92 5.35 1000000 0 1079.68/1080.05 c 321 511 555.15 104.10 5.33 1000000 0 1081.18/1081.52 c 281 516 539.06 96.41 5.59 1000000 0 1082.58/1082.99 c 312 487 542.03 105.13 5.16 1000000 0 1084.08/1084.46 c 354 543 545.88 103.49 5.27 1000000 0 1085.58/1085.94 c 319 602 563.70 130.84 4.31 1000000 0 1087.08/1087.41 c 370 544 557.71 83.97 6.64 1000000 0 1088.48/1088.88 c 351 554 553.54 81.68 6.78 1000000 0 1089.98/1090.35 c 327 455 549.97 99.48 5.53 1000000 0 1091.48/1091.82 c 370 597 559.39 92.70 6.03 1000000 0 1092.87/1093.29 c 340 580 545.95 101.30 5.39 1000000 0 1094.37/1094.75 c 333 569 554.30 84.25 6.58 1000000 0 1095.87/1096.22 c 356 594 543.43 83.89 6.48 1000000 0 1097.38/1097.70 c 341 568 569.35 97.06 5.87 1000000 0 1098.77/1099.17 c 332 626 552.19 94.93 5.82 1000000 0 1100.27/1100.64 c 350 505 553.69 98.83 5.60 1000000 0 1101.78/1102.12 c 363 536 565.07 106.88 5.29 1000000 0 1103.17/1103.58 c 313 497 536.78 107.38 5.00 1000000 0 1104.67/1105.07 c 343 596 569.43 99.76 5.71 1000000 0 1106.18/1106.54 c 323 472 555.55 102.92 5.40 1000000 0 1107.67/1108.02 c 347 480 567.75 118.86 4.78 1000000 0 1109.07/1109.49 c 320 471 550.23 92.88 5.92 1000000 0 1110.58/1110.96 c 337 552 558.15 92.91 6.01 1000000 0 1112.07/1112.43 c 358 584 553.71 79.21 6.99 1000000 0 1113.48/1113.89 c 340 512 547.00 80.26 6.82 1000000 0 1114.98/1115.37 c 315 485 548.98 110.14 4.98 1000000 0 1116.47/1116.85 c 368 666 567.25 87.89 6.45 1000000 0 1117.97/1118.33 c 341 501 566.49 115.56 4.90 1000000 0 1119.38/1119.80 c 299 554 552.94 90.34 6.12 1000000 0 1120.87/1121.26 c 320 631 533.22 112.78 4.73 1000000 0 1122.37/1122.72 c 278 404 529.52 80.34 6.59 1000000 0 1123.78/1124.18 c 361 469 538.92 101.18 5.33 1000000 0 1125.27/1125.66 c 350 503 549.27 85.05 6.46 1000000 0 1126.77/1127.13 c 327 571 560.11 123.75 4.53 1000000 0 1128.18/1128.60 c 344 485 555.23 100.35 5.53 1000000 0 1129.67/1130.07 c 336 608 554.31 94.90 5.84 1000000 0 1131.17/1131.54 c 331 412 552.12 93.10 5.93 1000000 0 1132.68/1133.02 c 368 470 563.78 90.78 6.21 1000000 0 1134.07/1134.48 c 334 550 545.20 98.97 5.51 1000000 0 1135.57/1135.95 c 338 526 562.41 103.11 5.45 1000000 0 1137.07/1137.42 c 335 535 547.47 102.64 5.33 1000000 0 1138.46/1138.89 c 327 472 565.51 89.62 6.31 1000000 0 1139.96/1140.36 c 371 543 555.72 88.77 6.26 1000000 0 1141.47/1141.84 c 314 475 557.28 100.40 5.55 1000000 0 1142.96/1143.31 c 334 521 557.11 88.74 6.28 1000000 0 1144.36/1144.79 c 334 563 553.62 108.27 5.11 1000000 0 1145.87/1146.26 c 333 475 558.43 93.41 5.98 1000000 0 1147.36/1147.72 c 295 554 544.13 89.02 6.11 1000000 0 1148.76/1149.19 c 335 517 543.03 90.01 6.03 1000000 0 1150.27/1150.67 c 350 583 563.86 95.83 5.88 1000000 0 1151.76/1152.13 c 350 516 542.83 95.71 5.67 1000000 0 1153.26/1153.61 c 322 595 560.22 123.78 4.53 1000000 0 1154.67/1155.08 c 362 584 550.44 106.61 5.16 1000000 0 1156.16/1156.55 c 343 601 557.25 107.45 5.19 1000000 0 1157.66/1158.01 c 369 516 550.11 82.78 6.65 1000000 0 1159.07/1159.49 c 348 541 566.67 108.64 5.22 1000000 0 1160.56/1160.96 c 360 536 554.98 95.63 5.80 1000000 0 1162.06/1162.44 c 369 608 565.36 113.05 5.00 1000000 0 1163.56/1163.92 c 341 590 571.86 107.03 5.34 1000000 0 1164.95/1165.39 c 327 620 551.22 107.60 5.12 1000000 0 1166.45/1166.85 c 314 557 542.59 96.92 5.60 1000000 0 1167.96/1168.33 c 340 592 561.30 88.50 6.34 1000000 0 1169.45/1169.80 c 348 420 546.60 107.91 5.07 1000000 0 1170.85/1171.26 c 300 626 527.53 85.50 6.17 1000000 0 1172.35/1172.72 c 330 503 540.90 85.84 6.30 1000000 0 1173.75/1174.19 c 368 438 561.28 95.98 5.85 1000000 0 1175.25/1175.66 c 340 451 545.83 109.59 4.98 1000000 0 1176.75/1177.12 c 331 627 540.05 96.28 5.61 1000000 0 1178.15/1178.59 c 343 481 549.77 95.72 5.74 1000000 0 1179.65/1180.06 c 311 508 551.95 88.88 6.21 1000000 0 1181.15/1181.53 c 336 535 542.52 114.46 4.74 1000000 0 1182.55/1182.99 c 368 539 555.28 87.26 6.36 1000000 0 1184.05/1184.46 c 345 456 546.65 101.34 5.39 1000000 0 1185.55/1185.93 c 351 577 549.59 106.87 5.14 1000000 0 1187.05/1187.40 c 342 574 565.97 104.85 5.40 1000000 0 1188.45/1188.86 c 341 539 533.41 104.03 5.13 1000000 0 1189.95/1190.33 c 353 510 553.12 101.72 5.44 1000000 0 1191.45/1191.81 c 305 539 556.51 130.20 4.27 1000000 0 1192.85/1193.28 c 353 578 564.94 82.83 6.82 1000000 0 1194.34/1194.74 c 327 592 515.60 88.27 5.84 1000000 0 1195.84/1196.21 c 294 531 552.53 98.13 5.63 1000000 0 1197.24/1197.69 c 290 595 560.74 100.30 5.59 1000000 0 1198.74/1199.17 c 364 514 568.27 96.98 5.86 1000000 0 1200.24/1200.62 c 344 544 530.74 90.16 5.89 1000000 0 1201.64/1202.09 c 339 541 551.64 87.02 6.34 1000000 0 1203.14/1203.56 c 287 480 555.89 85.70 6.49 1000000 0 1204.64/1205.03 c 352 494 555.07 90.31 6.15 1000000 0 1206.14/1206.50 c 345 606 555.07 87.48 6.34 1000000 0 1207.54/1207.97 c 336 473 548.79 86.47 6.35 1000000 0 1209.05/1209.45 c 332 582 564.28 90.85 6.21 1000000 0 1210.55/1210.91 c 342 433 544.66 91.99 5.92 1000000 0 1211.95/1212.39 c 360 637 565.39 101.15 5.59 1000000 0 1213.45/1213.86 c 297 511 541.23 97.08 5.58 1000000 0 1214.95/1215.33 c 348 544 565.32 96.01 5.89 1000000 0 1216.45/1216.82 c 397 512 573.23 91.42 6.27 1000000 0 1217.84/1218.29 c 328 523 547.69 84.80 6.46 1000000 0 1219.34/1219.76 c 377 516 551.30 92.81 5.94 1000000 0 1220.84/1221.23 c 322 602 555.21 112.11 4.95 1000000 0 1222.34/1222.70 c 355 526 551.99 89.01 6.20 1000000 0 1223.74/1224.17 c 364 476 557.22 103.12 5.40 1000000 0 1225.24/1225.66 c 387 556 572.94 102.25 5.60 1000000 0 1226.74/1227.12 c 336 610 554.10 101.21 5.47 1000000 0 1228.14/1228.59 c 335 501 548.50 93.06 5.89 1000000 0 1229.64/1230.06 c 318 494 561.78 93.02 6.04 1000000 0 1231.14/1231.54 c 358 602 566.11 108.54 5.22 1000000 0 1232.64/1233.01 c 323 642 542.65 106.43 5.10 1000000 0 1234.03/1234.47 c 300 595 528.58 107.82 4.90 1000000 0 1235.53/1235.93 c 342 545 540.84 108.37 4.99 1000000 0 1237.04/1237.40 c 348 553 546.08 91.96 5.94 1000000 0 1238.43/1238.88 c 320 475 560.50 114.08 4.91 1000000 0 1239.93/1240.35 c 364 641 568.99 110.89 5.13 1000000 0 1241.44/1241.82 c 292 571 547.06 91.42 5.98 1000000 0 1242.94/1243.30 c 326 570 566.70 100.61 5.63 1000000 0 1244.34/1244.77 c 350 494 542.34 94.80 5.72 1000000 0 1245.84/1246.23 c 330 483 535.17 96.12 5.57 1000000 0 1247.34/1247.71 c 332 498 558.66 98.07 5.70 1000000 0 1248.74/1249.17 c 308 538 551.38 99.80 5.52 1000000 0 1250.24/1250.64 c 375 453 550.38 79.25 6.95 1000000 0 1251.74/1252.11 c 335 616 541.72 101.57 5.33 1000000 0 1253.14/1253.57 c 311 550 538.44 94.62 5.69 1000000 0 1254.64/1255.04 c 335 571 554.83 107.03 5.18 1000000 0 1256.13/1256.52 c 339 546 559.92 102.72 5.45 1000000 0 1257.53/1257.98 c 313 591 552.76 77.20 7.16 1000000 0 1259.04/1259.46 c 294 518 566.59 112.29 5.05 1000000 0 1260.53/1260.93 c 365 496 558.39 94.32 5.92 1000000 0 1262.03/1262.41 c 300 523 559.65 126.39 4.43 1000000 0 1263.44/1263.87 c 350 506 557.56 86.08 6.48 1000000 0 1264.93/1265.35 c 366 620 556.84 98.44 5.66 1000000 0 1266.43/1266.82 c 355 553 561.88 93.11 6.03 1000000 0 1267.84/1268.29 c 294 560 539.94 85.28 6.33 1000000 0 1269.33/1269.76 c 363 577 557.24 94.56 5.89 1000000 0 1270.83/1271.22 c 328 539 537.54 93.13 5.77 1000000 0 1272.23/1272.70 c 349 530 551.99 104.83 5.27 1000000 0 1273.73/1274.17 c 358 559 553.24 87.99 6.29 1000000 0 1275.23/1275.65 c 293 548 548.29 96.21 5.70 1000000 0 1276.73/1277.12 c 332 649 559.64 94.32 5.93 1000000 0 1278.12/1278.59 c 339 443 548.84 91.89 5.97 1000000 0 1279.63/1280.05 c 319 430 531.67 84.97 6.26 1000000 0 1281.13/1281.52 c 356 495 554.04 74.10 7.48 1000000 0 1282.52/1282.99 c 344 431 563.21 123.72 4.55 1000000 0 1284.02/1284.47 c 300 579 562.13 124.85 4.50 1000000 0 1285.53/1285.94 c 367 503 565.83 81.07 6.98 1000000 0 1287.02/1287.41 c 301 485 549.90 101.86 5.40 1000000 0 1288.42/1288.88 c 305 538 547.12 109.42 5.00 1000000 0 1289.93/1290.35 c 340 481 546.35 98.51 5.55 1000000 0 1291.42/1291.83 c 361 559 573.67 103.54 5.54 1000000 0 1292.92/1293.30 c 309 597 552.93 100.57 5.50 1000000 0 1294.33/1294.77 c 317 523 567.16 112.35 5.05 1000000 0 1295.82/1296.25 c 325 435 556.95 104.60 5.32 1000000 0 1297.32/1297.73 c 362 448 564.03 99.98 5.64 1000000 0 1298.82/1299.20 c 361 541 557.93 103.24 5.40 1000000 0 1300.22/1300.67 c 354 513 551.64 108.25 5.10 1000000 0 1301.72/1302.14 c 322 598 549.68 115.95 4.74 1000000 0 1303.21/1303.62 c 392 467 576.81 100.02 5.77 1000000 0 1304.61/1305.09 c 353 597 553.82 104.11 5.32 1000000 0 1306.11/1306.56 c 355 424 563.79 97.19 5.80 1000000 0 1307.61/1308.04 c 360 494 556.45 105.13 5.29 1000000 0 1309.11/1309.50 c 347 447 539.43 82.46 6.54 1000000 0 1310.51/1310.97 c 346 587 548.89 94.52 5.81 1000000 0 1312.01/1312.45 c 356 502 564.11 108.11 5.22 1000000 0 1313.51/1313.92 c 329 507 542.17 92.73 5.85 1000000 0 1314.91/1315.39 c 330 641 537.62 94.64 5.68 1000000 0 1316.42/1316.86 c 344 613 574.53 99.79 5.76 1000000 0 1317.92/1318.32 c 333 514 549.09 105.04 5.23 1000000 0 1319.32/1319.79 c 315 629 548.83 111.00 4.94 1000000 0 1320.82/1321.26 c 362 468 557.89 102.22 5.46 1000000 0 1322.32/1322.74 c 365 513 569.89 98.77 5.77 1000000 0 1323.81/1324.21 c 325 523 548.07 104.61 5.24 1000000 0 1325.21/1325.68 c 323 643 559.57 90.97 6.15 1000000 0 1326.71/1327.16 c 361 452 563.91 94.52 5.97 1000000 0 1328.21/1328.63 c 344 559 555.99 84.38 6.59 1000000 0 1329.71/1330.10 c 351 539 555.89 112.84 4.93 1000000 0 1331.11/1331.57 c 324 584 550.66 85.33 6.45 1000000 0 1332.61/1333.04 c 343 580 563.22 107.73 5.23 1000000 0 1334.11/1334.51 c 338 536 536.39 108.87 4.93 1000000 0 1335.51/1335.99 c 359 553 564.30 91.68 6.15 1000000 0 1337.01/1337.46 c 368 544 570.16 113.45 5.03 1000000 0 1338.51/1338.93 c 353 525 544.30 94.43 5.76 1000000 0 1340.01/1340.40 c 335 504 549.92 101.70 5.41 1000000 0 1341.41/1341.86 c 330 645 552.36 98.40 5.61 1000000 0 1342.90/1343.33 c 339 526 560.99 93.72 5.99 1000000 0 1344.40/1344.80 c 342 568 546.32 83.07 6.58 1000000 0 1345.80/1346.27 c 303 483 552.49 104.86 5.27 1000000 0 1347.31/1347.75 c 350 589 547.65 100.82 5.43 1000000 0 1348.80/1349.21 c 346 521 548.25 91.24 6.01 1000000 0 1350.20/1350.69 c 344 495 567.40 116.46 4.87 1000000 0 1351.70/1352.16 c 356 600 559.61 105.28 5.32 1000000 0 1353.20/1353.63 c 352 533 557.28 107.23 5.20 1000000 0 1354.71/1355.10 c 324 512 543.59 99.25 5.48 1000000 0 1356.10/1356.57 c 353 498 549.42 85.66 6.41 1000000 0 1357.60/1358.04 c 294 551 552.54 102.45 5.39 1000000 0 1359.10/1359.51 c 357 535 544.90 99.08 5.50 1000000 0 1360.50/1360.98 c 341 680 550.64 108.74 5.06 1000000 0 1362.00/1362.45 c 280 559 550.56 99.77 5.52 1000000 0 1363.51/1363.92 c 358 545 554.36 89.99 6.16 1000000 0 1364.90/1365.39 c 312 630 559.03 98.23 5.69 1000000 0 1366.40/1366.86 c 296 561 553.05 92.00 6.01 1000000 0 1367.91/1368.33 c 315 491 545.95 87.96 6.21 1000000 0 1369.40/1369.80 c 324 600 549.40 112.07 4.90 1000000 0 1370.80/1371.27 c 359 542 551.47 98.37 5.61 1000000 0 1372.31/1372.74 c 325 538 547.96 97.95 5.59 1000000 0 1373.80/1374.21 c 313 511 552.72 101.88 5.43 1000000 0 1375.20/1375.69 c 395 518 575.08 92.08 6.25 1000000 0 1376.70/1377.16 c 380 566 561.72 91.10 6.17 1000000 0 1378.20/1378.63 c 345 665 554.63 88.71 6.25 1000000 0 1379.70/1380.11 c 352 566 558.95 92.64 6.03 1000000 0 1381.10/1381.58 c 338 492 543.41 79.70 6.82 1000000 0 1382.59/1383.05 c 317 524 556.26 109.42 5.08 1000000 0 1384.09/1384.52 c 376 402 561.14 93.79 5.98 1000000 0 1385.50/1386.00 c 361 559 566.10 89.79 6.30 1000000 0 1386.99/1387.48 c 389 478 573.15 98.01 5.85 1000000 0 1388.49/1388.96 c 345 478 570.23 112.59 5.06 1000000 0 1390.00/1390.42 c 322 569 545.69 88.85 6.14 1000000 0 1391.39/1391.89 c 336 567 551.49 108.45 5.09 1000000 0 1392.89/1393.37 c 335 534 567.71 98.43 5.77 1000000 0 1394.40/1394.84 c 335 435 546.03 115.87 4.71 1000000 0 1395.89/1396.30 c 348 585 552.94 90.32 6.12 1000000 0 1397.29/1397.77 c 338 518 555.99 106.82 5.20 1000000 0 1398.80/1399.24 c 342 420 548.35 97.96 5.60 1000000 0 1400.29/1400.72 c 344 367 569.45 104.89 5.43 1000000 0 1401.79/1402.20 c 337 513 553.56 85.41 6.48 1000000 0 1403.20/1403.67 c 358 575 569.50 91.35 6.23 1000000 0 1404.69/1405.14 c 338 492 547.76 98.29 5.57 1000000 0 1406.19/1406.61 c 324 538 559.34 85.71 6.53 1000000 0 1407.59/1408.07 c 342 679 554.68 91.61 6.05 1000000 0 1409.08/1409.54 c 324 482 541.03 95.85 5.64 1000000 0 1410.58/1411.01 c 363 555 558.21 96.59 5.78 1000000 0 1411.99/1412.48 c 340 397 561.80 94.47 5.95 1000000 0 1413.48/1413.95 c 369 520 567.93 95.39 5.95 1000000 0 1414.98/1415.44 c 327 744 569.71 116.33 4.90 1000000 0 1416.39/1416.89 c 356 625 527.99 76.39 6.91 1000000 0 1417.88/1418.37 c 361 634 561.62 95.11 5.90 1000000 0 1419.38/1419.83 c 302 589 539.26 85.49 6.31 1000000 0 1420.88/1421.30 c 316 450 544.32 98.39 5.53 1000000 0 1422.28/1422.77 c 270 522 556.72 91.45 6.09 1000000 0 1423.79/1424.24 c 332 504 554.74 105.43 5.26 1000000 0 1425.29/1425.71 c 349 519 546.02 102.58 5.32 1000000 0 1426.69/1427.18 c 365 565 562.01 95.37 5.89 1000000 0 1428.18/1428.66 c 337 522 567.87 118.75 4.78 1000000 0 1429.68/1430.13 c 318 576 545.01 93.26 5.84 1000000 0 1431.08/1431.59 c 310 530 533.30 125.58 4.25 1000000 0 1432.58/1433.06 c 298 578 547.24 106.78 5.12 1000000 0 1434.08/1434.53 c 345 461 545.27 95.79 5.69 1000000 0 1435.58/1436.00 c 352 455 543.82 85.64 6.35 1000000 0 1436.98/1437.47 c 333 491 556.39 100.50 5.54 1000000 0 1438.48/1438.94 c 373 493 553.76 89.73 6.17 1000000 0 1439.98/1440.41 c 332 486 568.70 104.43 5.45 1000000 0 1441.38/1441.89 c 356 472 558.40 94.65 5.90 1000000 0 1442.88/1443.36 c 355 376 570.67 99.07 5.76 1000000 0 1444.38/1444.83 c 336 537 536.40 86.33 6.21 1000000 0 1445.78/1446.29 c 325 377 542.79 97.13 5.59 1000000 0 1447.28/1447.76 c 340 526 557.34 94.83 5.88 1000000 0 1448.78/1449.23 c 351 596 551.44 108.00 5.11 1000000 0 1450.28/1450.70 c 337 517 557.09 113.95 4.89 1000000 0 1451.68/1452.18 c 360 480 563.96 116.61 4.84 1000000 0 1453.18/1453.66 c 356 607 561.72 111.13 5.05 1000000 0 1454.67/1455.13 c 343 586 551.64 102.70 5.37 1000000 0 1456.07/1456.59 c 347 642 545.90 76.55 7.13 1000000 0 1457.57/1458.06 c 364 571 550.98 90.70 6.07 1000000 0 1459.08/1459.54 c 329 609 550.65 105.56 5.22 1000000 0 1460.57/1461.01 c 341 651 557.60 111.83 4.99 1000000 0 1461.97/1462.48 c 347 510 550.31 105.12 5.24 1000000 0 1463.47/1463.95 c 281 596 560.16 100.02 5.60 1000000 0 1464.97/1465.43 c 371 648 555.56 94.20 5.90 1000000 0 1466.37/1466.89 c 299 591 544.17 99.00 5.50 1000000 0 1467.87/1468.35 c 316 664 544.18 89.83 6.06 1000000 0 1469.37/1469.83 c 317 591 558.06 105.60 5.28 1000000 0 1470.87/1471.30 c 362 483 550.56 116.20 4.74 1000000 0 1472.27/1472.78 c 351 455 570.60 91.19 6.26 1000000 0 1473.76/1474.26 c 370 574 552.04 100.27 5.51 1000000 0 1475.26/1475.74 c 361 550 578.55 107.33 5.39 1000000 0 1476.77/1477.21 c 301 413 561.89 118.29 4.75 1000000 0 1478.16/1478.68 c 325 514 547.00 110.18 4.96 1000000 0 1479.66/1480.15 c 357 593 559.35 85.89 6.51 1000000 0 1481.17/1481.62 c 363 579 566.35 101.50 5.58 1000000 0 1482.56/1483.09 c 337 630 551.36 86.65 6.36 1000000 0 1484.06/1484.55 c 276 537 547.12 102.43 5.34 1000000 0 1485.57/1486.03 c 348 608 570.19 99.34 5.74 1000000 0 1487.06/1487.50 c 347 614 546.92 107.86 5.07 1000000 0 1488.46/1488.96 c 347 485 544.32 97.76 5.57 1000000 0 1489.97/1490.44 c 374 488 576.81 93.62 6.16 1000000 0 1491.46/1491.91 c 308 507 545.59 92.16 5.92 1000000 0 1492.86/1493.37 c 351 527 538.62 94.81 5.68 1000000 0 1494.37/1494.84 c 350 565 537.71 109.22 4.92 1000000 0 1495.86/1496.31 c 378 588 555.47 86.43 6.43 1000000 0 1497.26/1497.79 c 355 666 555.60 106.62 5.21 1000000 0 1498.77/1499.25 c 302 503 552.65 106.31 5.20 1000000 0 1500.27/1500.72 c 379 625 549.08 81.61 6.73 1000000 0 1501.67/1502.19 c 315 423 552.56 96.97 5.70 1000000 0 1503.17/1503.67 c 349 419 554.95 109.27 5.08 1000000 0 1504.66/1505.14 c 333 463 559.00 105.22 5.31 1000000 0 1506.16/1506.62 c 337 576 565.81 98.01 5.77 1000000 0 1507.57/1508.09 c 359 482 553.39 76.94 7.19 1000000 0 1509.06/1509.56 c 309 477 560.37 101.65 5.51 1000000 0 1510.56/1511.03 c 312 542 554.03 98.98 5.60 1000000 0 1512.07/1512.51 c 333 617 559.93 91.59 6.11 1000000 0 1513.46/1513.98 c 364 601 557.04 92.72 6.01 1000000 0 1514.96/1515.45 c 308 570 539.09 108.21 4.98 1000000 0 1516.46/1516.92 c 318 606 548.87 100.12 5.48 1000000 0 1517.96/1518.40 c 347 655 556.86 105.71 5.27 1000000 0 1519.36/1519.87 c 321 527 560.68 116.66 4.81 1000000 0 1520.86/1521.34 c 363 499 545.71 95.93 5.69 1000000 0 1522.35/1522.81 c 292 578 559.09 93.81 5.96 1000000 0 1523.75/1524.29 c 358 529 561.00 96.08 5.84 1000000 0 1525.26/1525.76 c 381 627 564.02 96.89 5.82 1000000 0 1526.75/1527.23 c 349 511 563.98 90.00 6.27 1000000 0 1528.25/1528.70 c 356 475 554.72 83.78 6.62 1000000 0 1529.66/1530.17 c 368 570 560.31 94.38 5.94 1000000 0 1531.15/1531.65 c 319 600 568.42 89.42 6.36 1000000 0 1532.65/1533.12 c 365 470 561.84 94.44 5.95 1000000 0 1534.06/1534.59 c 364 529 567.47 99.72 5.69 1000000 0 1535.55/1536.06 c 262 518 536.83 98.49 5.45 1000000 0 1537.05/1537.54 c 380 549 565.97 102.20 5.54 1000000 0 1538.55/1539.00 c 381 503 552.18 87.41 6.32 1000000 0 1539.94/1540.47 c 329 487 551.41 91.50 6.03 1000000 0 1541.45/1541.95 c 321 460 550.43 97.99 5.62 1000000 0 1542.95/1543.41 c 335 541 540.57 111.83 4.83 1000000 0 1544.35/1544.88 c 334 593 540.25 102.55 5.27 1000000 0 1545.85/1546.35 c 298 456 547.56 91.26 6.00 1000000 0 1547.35/1547.82 c 328 545 548.45 93.86 5.84 1000000 0 1548.75/1549.28 c 308 573 550.30 100.31 5.49 1000000 0 1550.25/1550.75 c 279 464 546.33 103.10 5.30 1000000 0 1551.75/1552.23 c 369 554 562.36 96.17 5.85 1000000 0 1553.25/1553.70 c 351 496 548.00 91.06 6.02 1000000 0 1554.65/1555.18 c 355 506 555.79 111.90 4.97 1000000 0 1556.15/1556.65 c 353 475 552.77 81.81 6.76 1000000 0 1557.65/1558.12 c 315 459 566.52 98.44 5.76 1000000 0 1559.05/1559.59 c 321 463 541.49 98.80 5.48 1000000 0 1560.55/1561.06 c 300 594 542.24 102.61 5.28 1000000 0 1562.05/1562.53 c 341 513 539.25 83.40 6.47 1000000 0 1563.54/1564.00 c 356 451 558.89 97.68 5.72 1000000 0 1564.94/1565.47 c 345 489 554.34 92.05 6.02 1000000 0 1566.44/1566.95 c 356 542 581.57 111.69 5.21 1000000 0 1567.94/1568.42 c 308 481 544.62 104.17 5.23 1000000 0 1569.34/1569.89 c 351 558 551.14 118.95 4.63 1000000 0 1570.84/1571.37 c 347 534 560.12 90.97 6.16 1000000 0 1572.34/1572.83 c 349 361 549.85 91.35 6.02 1000000 0 1573.84/1574.31 c 358 479 555.69 97.71 5.69 1000000 0 1575.24/1575.79 c 359 524 562.87 95.11 5.92 1000000 0 1576.74/1577.26 c 284 483 544.26 96.95 5.61 1000000 0 1578.24/1578.73 c 304 498 557.83 101.14 5.52 1000000 0 1579.74/1580.20 c 314 561 546.33 105.05 5.20 1000000 0 1581.14/1581.67 c 335 606 557.04 114.73 4.86 1000000 0 1582.64/1583.13 c 335 571 533.72 99.20 5.38 1000000 0 1584.14/1584.61 c 333 648 566.51 105.44 5.37 1000000 0 1585.54/1586.08 c 364 632 553.62 92.30 6.00 1000000 0 1587.04/1587.55 c 343 527 543.68 88.58 6.14 1000000 0 1588.53/1589.01 c 342 469 552.09 111.54 4.95 1000000 0 1589.93/1590.49 c 302 456 562.22 114.65 4.90 1000000 0 1591.43/1591.95 c 356 520 543.50 86.14 6.31 1000000 0 1592.93/1593.42 c 329 619 552.55 94.97 5.82 1000000 0 1594.44/1594.90 c 354 501 553.45 92.61 5.98 1000000 0 1595.83/1596.37 c 333 522 555.04 94.51 5.87 1000000 0 1597.33/1597.85 c 336 499 566.26 113.60 4.98 1000000 0 1598.83/1599.32 c 383 537 555.88 100.65 5.52 1000000 0 1600.33/1600.80 c 327 570 567.72 92.97 6.11 1000000 0 1601.74/1602.27 c 360 482 564.38 98.02 5.76 1000000 0 1603.24/1603.74 c 371 581 558.49 90.82 6.15 1000000 0 1604.74/1605.21 c 343 496 548.81 89.27 6.15 1000000 0 1606.14/1606.67 c 343 504 546.25 75.21 7.26 1000000 0 1607.64/1608.15 c 365 535 564.51 126.57 4.46 1000000 0 1609.14/1609.61 c 341 537 532.98 124.03 4.30 1000000 0 1610.54/1611.08 c 327 592 557.06 93.04 5.99 1000000 0 1612.04/1612.56 c 336 461 561.06 99.81 5.62 1000000 0 1613.53/1614.03 c 328 439 555.55 93.51 5.94 1000000 0 1614.93/1615.49 c 337 569 542.18 86.73 6.25 1000000 0 1616.44/1616.95 c 364 440 546.57 91.38 5.98 1000000 0 1617.93/1618.43 c 297 462 550.77 92.80 5.93 1000000 0 1619.43/1619.90 c 351 567 555.16 100.08 5.55 1000000 0 1620.84/1621.37 c 330 555 543.30 96.45 5.63 1000000 0 1622.33/1622.84 c 357 458 557.31 93.30 5.97 1000000 0 1623.83/1624.31 c 384 562 563.76 94.41 5.97 1000000 0 1625.24/1625.78 c 336 553 545.05 91.87 5.93 1000000 0 1626.73/1627.25 c 327 441 549.09 94.26 5.83 1000000 0 1628.23/1628.72 c 354 551 566.21 96.22 5.88 1000000 0 1629.64/1630.19 c 331 482 550.22 125.97 4.37 1000000 0 1631.13/1631.66 c 352 419 550.62 93.21 5.91 1000000 0 1632.63/1633.14 c 340 597 570.74 104.88 5.44 1000000 0 1634.13/1634.60 c 286 564 539.21 90.77 5.94 1000000 0 1635.53/1636.07 c 315 483 552.61 98.19 5.63 1000000 0 1637.03/1637.54 c 359 612 561.51 88.63 6.34 1000000 0 1638.53/1639.03 c 267 672 578.11 120.10 4.81 1000000 0 1639.92/1640.49 c 361 642 537.70 110.09 4.88 1000000 0 1641.42/1641.96 c 316 573 533.95 98.12 5.44 1000000 0 1642.93/1643.43 c 369 537 562.10 123.37 4.56 1000000 0 1644.42/1644.90 c 304 530 552.39 98.83 5.59 1000000 0 1645.82/1646.37 c 317 572 548.56 114.97 4.77 1000000 0 1647.33/1647.83 c 356 554 533.73 79.78 6.69 1000000 0 1648.82/1649.30 c 323 499 554.00 118.21 4.69 1000000 0 1650.22/1650.78 c 322 665 560.04 91.60 6.11 1000000 0 1651.73/1652.25 c 371 509 549.16 81.25 6.76 1000000 0 1653.22/1653.73 c 382 547 577.05 90.09 6.41 1000000 0 1654.72/1655.20 c 335 573 561.97 98.40 5.71 1000000 0 1656.13/1656.67 c 347 602 556.79 109.55 5.08 1000000 0 1657.62/1658.14 c 323 493 558.18 105.60 5.29 1000000 0 1659.12/1659.62 c 337 533 561.46 108.52 5.17 1000000 0 1660.53/1661.08 c 397 536 553.55 86.20 6.42 1000000 0 1662.02/1662.56 c 352 488 574.81 106.49 5.40 1000000 0 1663.52/1664.03 c 313 395 547.75 100.85 5.43 1000000 0 1664.92/1665.49 c 311 416 544.09 104.74 5.19 1000000 0 1666.42/1666.96 c 365 507 556.46 105.80 5.26 1000000 0 1667.92/1668.44 c 370 567 562.49 97.03 5.80 1000000 0 1669.42/1669.91 c 341 646 541.26 104.62 5.17 1000000 0 1670.82/1671.38 c 324 599 544.87 108.85 5.01 1000000 0 1672.32/1672.85 c 339 580 552.60 97.95 5.64 1000000 0 1673.81/1674.32 c 332 574 549.77 85.03 6.47 1000000 0 1675.21/1675.79 c 305 423 548.00 92.34 5.93 1000000 0 1676.71/1677.27 c 374 581 575.30 89.66 6.42 1000000 0 1678.21/1678.74 c 329 527 557.43 81.12 6.87 1000000 0 1679.71/1680.21 c 368 484 560.07 96.70 5.79 1000000 0 1681.11/1681.69 c 347 669 563.74 109.16 5.16 1000000 0 1682.61/1683.17 c 338 536 561.33 116.28 4.83 1000000 0 1684.11/1684.64 c 311 574 548.99 101.81 5.39 1000000 0 1685.61/1686.12 c 329 519 579.59 85.77 6.76 1000000 0 1687.01/1687.59 c 287 595 556.13 99.56 5.59 1000000 0 1688.51/1689.06 c 282 616 545.02 108.83 5.01 1000000 0 1690.01/1690.52 c 360 539 554.06 105.18 5.27 1000000 0 1691.40/1691.99 c 331 619 548.73 99.57 5.51 1000000 0 1692.90/1693.46 c 350 526 552.98 99.43 5.56 1000000 0 1694.40/1694.94 c 378 589 567.80 104.21 5.45 1000000 0 1695.90/1696.42 c 374 611 572.08 113.16 5.06 1000000 0 1697.30/1697.89 c 355 613 553.15 95.59 5.79 1000000 0 1698.80/1699.35 c 337 509 540.77 115.96 4.66 1000000 0 1700.30/1700.83 c 342 476 549.87 121.42 4.53 1000000 0 1701.70/1702.29 c 335 561 550.28 101.05 5.45 1000000 0 1703.20/1703.77 c 358 394 561.15 96.89 5.79 1000000 0 1704.70/1705.23 c 338 503 532.65 93.61 5.69 1000000 0 1706.20/1706.71 c 288 681 557.93 122.92 4.54 1000000 0 1707.60/1708.18 c 337 508 551.32 97.58 5.65 1000000 0 1709.10/1709.65 c 314 511 557.99 109.83 5.08 1000000 0 1710.60/1711.13 c 303 603 561.46 90.73 6.19 1000000 0 1712.10/1712.61 c 364 602 558.06 98.70 5.65 1000000 0 1713.50/1714.08 c 333 574 553.69 113.10 4.90 1000000 0 1715.00/1715.56 c 330 611 570.87 107.59 5.31 1000000 0 1716.51/1717.03 c 303 616 553.86 118.47 4.67 1000000 0 1718.00/1718.50 c 352 391 535.31 87.05 6.15 1000000 0 1719.40/1719.97 c 332 513 553.60 93.31 5.93 1000000 0 1720.91/1721.43 c 314 557 532.96 102.91 5.18 1000000 0 1722.40/1722.90 c 348 598 559.50 88.49 6.32 1000000 0 1723.80/1724.38 c 363 534 561.23 105.57 5.32 1000000 0 1725.31/1725.84 c 341 638 535.44 92.68 5.78 1000000 0 1726.80/1727.30 c 351 586 550.89 95.44 5.77 1000000 0 1728.20/1728.78 c 322 586 553.88 105.59 5.25 1000000 0 1729.71/1730.24 c 359 503 540.03 86.29 6.26 1000000 0 1731.20/1731.72 c 343 570 573.96 108.89 5.27 1000000 0 1732.60/1733.19 c 343 569 550.30 88.94 6.19 1000000 0 1734.10/1734.66 c 347 493 559.21 94.39 5.92 1000000 0 1735.60/1736.14 c 347 652 543.67 105.12 5.17 1000000 0 1737.10/1737.61 c 371 484 571.96 107.56 5.32 1000000 0 1738.50/1739.09 c 339 623 557.29 102.29 5.45 1000000 0 1740.00/1740.56 c 361 445 552.41 94.15 5.87 1000000 0 1741.50/1742.03 c 326 442 554.69 103.63 5.35 1000000 0 1743.00/1743.51 c 353 591 559.29 113.56 4.93 1000000 0 1744.39/1744.99 c 382 628 571.25 114.18 5.00 1000000 0 1745.89/1746.46 c 340 541 563.30 101.56 5.55 1000000 0 1747.40/1747.94 c 348 561 570.28 105.32 5.41 1000000 0 1748.89/1749.41 c 331 404 539.87 90.46 5.97 1000000 0 1750.29/1750.87 c 346 391 548.85 73.77 7.44 1000000 0 1751.80/1752.35 c 383 497 565.31 97.99 5.77 1000000 0 1753.29/1753.81 c 313 450 531.91 97.83 5.44 1000000 0 1754.69/1755.29 c 353 509 549.02 101.46 5.41 1000000 0 1756.20/1756.76 c 361 641 553.95 85.03 6.51 1000000 0 1757.69/1758.22 c 350 409 536.84 101.27 5.30 1000000 0 1759.19/1759.70 c 328 658 558.73 107.01 5.22 1000000 0 1760.59/1761.18 c 339 545 554.62 93.64 5.92 1000000 0 1762.09/1762.66 c 351 564 570.99 105.79 5.40 1000000 0 1763.59/1764.13 c 314 594 544.79 111.38 4.89 1000000 0 1765.09/1765.60 c 334 572 561.88 125.66 4.47 1000000 0 1766.49/1767.07 c 316 528 550.58 104.53 5.27 1000000 0 1767.98/1768.53 c 298 509 527.30 92.48 5.70 1000000 0 1769.48/1770.00 c 331 536 545.62 103.68 5.26 1000000 0 1770.88/1771.46 c 353 559 543.04 91.27 5.95 1000000 0 1772.38/1772.93 c 359 516 549.61 99.71 5.51 1000000 0 1773.88/1774.41 c 353 502 562.23 110.85 5.07 1000000 0 1775.29/1775.88 c 346 600 550.94 89.37 6.16 1000000 0 1776.78/1777.35 c 356 398 548.47 84.88 6.46 1000000 0 1778.28/1778.83 c 358 563 566.65 94.01 6.03 1000000 0 1779.78/1780.30 c 344 648 550.69 93.41 5.90 1000000 0 1781.18/1781.77 c 333 697 564.37 104.88 5.38 1000000 0 1782.68/1783.24 c 369 580 548.54 90.92 6.03 1000000 0 1784.18/1784.71 c 321 496 550.99 92.34 5.97 1000000 0 1785.58/1786.18 c 336 506 545.78 100.94 5.41 1000000 0 1787.08/1787.65 c 373 552 558.01 94.52 5.90 1000000 0 1788.58/1789.13 c 364 507 572.90 94.76 6.05 1000000 0 1790.08/1790.60 c 309 595 561.49 106.48 5.27 1000000 0 1791.48/1792.08 c 280 585 562.19 102.14 5.50 1000000 0 1792.98/1793.55 c 353 541 561.67 82.48 6.81 1000000 0 1794.47/1795.02 c 299 448 544.92 102.69 5.31 1000000 0 1795.87/1796.48 c 322 529 531.27 97.67 5.44 1000000 0 1797.37/1797.96 c 356 564 565.17 120.45 4.69 1000000 0 1798.88/1799.42 c 319 561 543.95 90.92 5.98 1000000 0 1800.10/1800.61 HOME/run: line 2: 18784 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-2685322-1278440566/watcher-2685322-1278440566 -o /tmp/evaluation-result-2685322-1278440566/solver-2685322-1278440566 -C 1800 -W 2000 -M 1800 run HOME/instance-2685322-1278440566.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.94 1.04 0.99 3/106 18783 /proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) R 18781 18783 17370 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316987285 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [startup+0.0210001 s] /proc/loadavg: 0.94 1.04 0.99 3/106 18783 /proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100998 s] /proc/loadavg: 0.94 1.04 0.99 3/106 18783 /proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300995 s] /proc/loadavg: 0.94 1.04 0.99 3/106 18783 /proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700988 s] /proc/loadavg: 0.94 1.04 0.99 3/106 18783 /proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50097 s] /proc/loadavg: 0.94 1.04 0.99 2/108 18785 /proc/meminfo: memFree=1386592/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1.49 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1587 0 0 0 148 1 0 0 23 0 1 0 12269625 41422848 1517 1992294400 134512640 135071400 4293430096 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1517 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10095 s] /proc/loadavg: 0.95 1.04 0.99 2/108 18785 /proc/meminfo: memFree=1386344/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=3.09 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 308 1 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30089 s] /proc/loadavg: 0.95 1.04 0.99 2/108 18785 /proc/meminfo: memFree=1386344/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=6.29 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 628 1 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526832 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7018 s] /proc/loadavg: 0.95 1.03 0.99 2/108 18785 /proc/meminfo: memFree=1386220/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=12.69 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 1268 1 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5006 s] /proc/loadavg: 0.96 1.03 0.99 2/108 18785 /proc/meminfo: memFree=1386220/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=25.49 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 2547 2 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526726 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49152 [startup+51.1001 s] /proc/loadavg: 0.97 1.03 0.99 2/108 18786 /proc/meminfo: memFree=1386220/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=51.07 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 5105 2 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.99 1.02 0.99 2/108 18787 /proc/meminfo: memFree=1386096/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=102.27 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 10223 4 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134571237 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.3 s] /proc/loadavg: 0.99 1.02 0.99 2/108 18789 /proc/meminfo: memFree=1386096/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=162.24 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 16218 6 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.3 s] /proc/loadavg: 0.99 1.01 0.99 2/108 18791 /proc/meminfo: memFree=1385972/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=222.22 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 22215 7 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.3 s] /proc/loadavg: 0.99 1.01 0.99 2/108 18792 /proc/meminfo: memFree=1385972/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=282.21 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 28212 9 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18793 /proc/meminfo: memFree=1385972/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=342.19 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 34209 10 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18795 /proc/meminfo: memFree=1385848/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=402.17 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 40206 11 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526881 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1061.99 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 106178 21 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18815 /proc/meminfo: memFree=1384856/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1121.97 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 112175 22 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526670 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18816 /proc/meminfo: memFree=1384732/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1181.95 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 118173 22 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18817 /proc/meminfo: memFree=1384484/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1241.93 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 124170 23 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18819 /proc/meminfo: memFree=1384360/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1301.92 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 130168 24 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18821 /proc/meminfo: memFree=1384360/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1361.9 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 136164 26 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18823 /proc/meminfo: memFree=1384236/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1421.89 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 142163 26 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18824 /proc/meminfo: memFree=1384112/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1481.86 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 148159 27 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 18825 /proc/meminfo: memFree=1384112/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1541.85 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 154156 29 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134520032 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 1.00 2/108 18827 /proc/meminfo: memFree=1383988/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1601.84 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 160154 30 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.11 1.04 1.00 2/108 18829 /proc/meminfo: memFree=1383864/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1661.82 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 166152 30 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.12 1.04 1.00 2/108 18831 /proc/meminfo: memFree=1383740/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1721.8 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 172149 31 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.10 1.05 1.00 2/108 18832 /proc/meminfo: memFree=1383616/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1781.78 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 178147 31 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.08 1.05 1.00 2/108 18833 /proc/meminfo: memFree=1383616/2059040 swapFree=4192956/4192956 [pid=18783] ppid=18781 vsize=8700 CPUtime=0 /proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18783/statm: 2175 244 204 178 0 68 0 [pid=18784] ppid=18783 vsize=40452 CPUtime=1800.1 /proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 179978 32 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18784/statm: 10113 1525 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.11 CPU user time (s): 1799.78 CPU system time (s): 0.32395 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.32395 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1968 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= 5 involuntary context switches= 33649 runsolver used 4.14637 second user time and 8.96964 second system time The end
Begin job on node012 at 2010-07-06 20:22:46 IDJOB=2685322 IDBENCH=75341 IDSOLVER=1171 FILE ID=node012/2685322-1278440566 PBS_JOBID= 11233459 Free space on /tmp= 62484 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_6-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685322-1278440566/watcher-2685322-1278440566 -o /tmp/evaluation-result-2685322-1278440566/solver-2685322-1278440566 -C 1800 -W 2000 -M 1800 run HOME/instance-2685322-1278440566.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 62425b8c99d21d88f86cd1929c3b9760 RANDOM SEED=1987371849 node012.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.248 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.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1393080 kB Buffers: 111036 kB Cached: 416036 kB SwapCached: 0 kB Active: 244536 kB Inactive: 342744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1393080 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2852 kB Writeback: 0 kB AnonPages: 60204 kB Mapped: 14500 kB Slab: 56684 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181648 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= 62480 MiB End job on node012 at 2010-07-06 20:52:47