Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.03 | 1800.72 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1203_2-sat.opb |
MD5SUM | 29d0ff02cb083aadcb6230e81463c8e0 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.307953 |
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 | 21538 |
Total number of constraints | 67936 |
Number of constraints which are clauses | 67584 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 352 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
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 | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 192 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.17 c PB-wave - v2 0.00/0.17 c command line = ./PB-wave 0.00/0.17 c seed = 69777152 0.00/0.17 c cutoff = 1000000 0.00/0.17 c tries = 1000000 0.00/0.17 c heuristic = c best, noise 50 / 100 0.00/0.17 #var 21538 #con 67936 0.00/0.17 mode is SAT 0.00/0.17 c tail starts after flip = 64614 0.00/0.17 c numatom = 21538, numclause = 67936, numliterals = 155149 0.00/0.17 c wff read in 0.00/0.17 c 0.00/0.17 c lowest final avg noise noise total avg mean mean 0.00/0.17 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.17 c this this this this this this success success until std 0.00/0.17 c try try try try try try rate tries assign dev 0.00/0.17 c 1.69/1.79 c 634 803 872.07 172.79 5.05 1000000 0 3.29/3.39 c 555 764 817.48 165.36 4.94 1000000 0 4.99/5.01 c 600 813 835.58 190.84 4.38 1000000 0 6.59/6.63 c 577 816 857.17 146.92 5.83 1000000 0 8.18/8.25 c 604 749 845.60 175.90 4.81 1000000 0 9.79/9.86 c 563 829 858.50 175.41 4.89 1000000 0 11.38/11.48 c 564 801 862.53 180.65 4.77 1000000 0 13.09/13.11 c 609 774 870.64 185.85 4.68 1000000 0 14.68/14.74 c 609 883 878.48 192.53 4.56 1000000 0 16.28/16.36 c 596 761 854.38 162.97 5.24 1000000 0 17.88/17.99 c 629 764 880.19 195.26 4.51 1000000 0 19.58/19.62 c 577 780 848.35 171.92 4.93 1000000 0 21.18/21.24 c 621 815 858.91 179.10 4.80 1000000 0 22.78/22.86 c 590 874 846.28 187.66 4.51 1000000 0 24.38/24.46 c 525 847 816.69 188.65 4.33 1000000 0 25.98/26.08 c 548 700 873.29 183.31 4.76 1000000 0 27.58/27.69 c 611 807 847.55 174.47 4.86 1000000 0 29.28/29.32 c 575 830 870.17 195.13 4.46 1000000 0 30.87/30.93 c 557 688 834.40 201.15 4.15 1000000 0 32.47/32.56 c 566 975 845.84 178.56 4.74 1000000 0 34.08/34.18 c 590 818 873.31 188.50 4.63 1000000 0 35.77/35.80 c 553 708 849.74 152.86 5.56 1000000 0 37.38/37.41 c 555 745 816.56 200.36 4.08 1000000 0 38.97/39.03 c 556 865 870.26 167.25 5.20 1000000 0 40.58/40.64 c 556 762 849.03 178.83 4.75 1000000 0 42.17/42.26 c 522 837 852.22 204.21 4.17 1000000 0 43.77/43.85 c 577 857 816.58 164.77 4.96 1000000 0 45.37/45.47 c 541 776 847.66 173.68 4.88 1000000 0 46.97/47.08 c 520 691 828.91 182.43 4.54 1000000 0 48.67/48.70 c 578 935 854.70 167.89 5.09 1000000 0 50.27/50.31 c 555 661 837.49 180.20 4.65 1000000 0 51.87/51.92 c 562 830 840.91 182.77 4.60 1000000 0 53.47/53.53 c 565 815 834.35 189.11 4.41 1000000 0 55.06/55.16 c 558 885 860.45 181.60 4.74 1000000 0 56.66/56.77 c 578 863 839.47 223.44 3.76 1000000 0 58.27/58.39 c 585 734 846.19 203.04 4.17 1000000 0 59.96/60.00 c 559 666 852.59 200.48 4.25 1000000 0 61.57/61.62 c 563 849 836.77 182.71 4.58 1000000 0 63.16/63.24 c 605 852 866.02 202.03 4.29 1000000 0 64.77/64.87 c 511 873 861.66 224.82 3.83 1000000 0 66.36/66.48 c 583 840 837.61 147.15 5.69 1000000 0 68.07/68.11 c 609 687 862.30 158.31 5.45 1000000 0 69.66/69.74 c 615 780 866.26 139.54 6.21 1000000 0 71.26/71.36 c 601 919 862.72 176.46 4.89 1000000 0 72.86/72.99 c 590 825 855.26 207.52 4.12 1000000 0 74.46/74.60 c 524 745 833.20 163.42 5.10 1000000 0 76.16/76.21 c 527 698 842.26 169.24 4.98 1000000 0 77.76/77.81 c 550 884 803.47 172.17 4.67 1000000 0 79.36/79.42 c 604 764 854.91 177.87 4.81 1000000 0 80.96/81.02 c 514 803 827.23 147.44 5.61 1000000 0 82.56/82.64 c 578 926 851.28 178.65 4.77 1000000 0 84.16/84.26 c 553 780 855.69 198.15 4.32 1000000 0 85.76/85.88 c 600 842 867.06 181.05 4.79 1000000 0 87.45/87.51 c 614 783 868.93 179.24 4.85 1000000 0 89.06/89.13 c 557 865 839.08 177.22 4.73 1000000 0 90.65/90.74 c 564 785 847.44 160.82 5.27 1000000 0 92.26/92.35 c 529 764 846.12 166.27 5.09 1000000 0 93.85/93.96 c 503 753 844.69 182.42 4.63 1000000 0 95.45/95.57 c 534 925 824.53 151.79 5.43 1000000 0 97.05/97.19 c 592 745 870.18 161.13 5.40 1000000 0 98.75/98.81 c 544 758 847.05 135.56 6.25 1000000 0 100.35/100.43 c 540 722 841.66 181.64 4.63 1000000 0 101.95/102.05 c 604 836 857.79 180.00 4.77 1000000 0 103.55/103.66 c 562 766 847.62 195.85 4.33 1000000 0 105.15/105.28 c 577 1021 862.35 191.76 4.50 1000000 0 106.75/106.89 c 578 811 840.46 175.26 4.80 1000000 0 108.45/108.51 c 561 874 857.22 170.95 5.01 1000000 0 110.04/110.14 c 622 891 865.02 196.32 4.41 1000000 0 111.64/111.75 c 551 734 835.51 166.05 5.03 1000000 0 113.25/113.38 c 660 792 871.59 147.41 5.91 1000000 0 114.84/114.98 c 521 810 837.67 157.98 5.30 1000000 0 116.55/116.61 c 613 884 883.89 197.44 4.48 1000000 0 118.14/118.22 c 539 814 844.28 178.47 4.73 1000000 0 119.75/119.83 c 515 699 841.73 182.64 4.61 1000000 0 121.34/121.45 c 598 785 857.84 159.37 5.38 1000000 0 122.94/123.07 c 585 862 856.87 183.70 4.66 1000000 0 124.54/124.68 c 582 757 850.11 185.45 4.58 1000000 0 126.14/126.29 c 624 724 839.68 141.52 5.93 1000000 0 127.84/127.92 c 611 942 853.41 188.68 4.52 1000000 0 129.44/129.54 c 611 794 872.51 172.62 5.05 1000000 0 131.04/131.16 c 546 937 833.91 193.28 4.31 1000000 0 132.64/132.78 c 626 783 860.66 181.06 4.75 1000000 0 134.24/134.40 c 592 880 864.26 187.14 4.62 1000000 0 135.94/136.02 c 601 768 865.15 174.35 4.96 1000000 0 137.53/137.63 c 540 747 850.30 174.38 4.88 1000000 0 139.13/139.26 c 592 873 860.53 186.11 4.62 1000000 0 140.74/140.87 c 553 753 839.85 206.57 4.07 1000000 0 142.33/142.49 c 555 894 851.52 186.09 4.58 1000000 0 144.04/144.12 c 597 862 875.03 173.54 5.04 1000000 0 145.63/145.72 c 581 786 822.93 163.52 5.03 1000000 0 147.24/147.33 c 597 723 831.32 177.04 4.70 1000000 0 148.83/148.95 c 570 922 867.47 158.92 5.46 1000000 0 150.43/150.58 c 590 811 854.22 164.20 5.20 1000000 0 152.13/152.20 c 566 683 847.35 213.08 3.98 1000000 0 153.73/153.83 c 601 944 888.47 202.92 4.38 1000000 0 155.33/155.44 c 588 762 848.77 169.23 5.02 1000000 0 156.93/157.05 c 472 724 837.86 186.16 4.50 1000000 0 158.52/158.67 c 569 841 846.67 177.70 4.76 1000000 0 160.12/160.28 c 584 819 847.58 165.11 5.13 1000000 0 161.82/161.90 c 633 720 867.19 174.42 4.97 1000000 0 163.42/163.51 c 594 782 838.27 181.94 4.61 1000000 0 165.02/165.13 c 619 880 873.67 187.76 4.65 1000000 0 166.62/166.75 c 567 846 857.36 196.08 4.37 1000000 0 168.23/168.37 c 610 877 829.52 128.67 6.45 1000000 0 169.82/169.99 c 608 932 857.56 180.98 4.74 1000000 0 171.43/171.60 c 526 716 833.76 183.56 4.54 1000000 0 173.12/173.23 c 514 804 870.33 168.73 5.16 1000000 0 174.73/174.84 c 511 714 861.41 196.96 4.37 1000000 0 176.32/176.44 c 551 838 836.75 157.09 5.33 1000000 0 177.92/178.07 c 561 804 861.40 178.01 4.84 1000000 0 179.52/179.68 c 526 856 845.77 165.29 5.12 1000000 0 181.22/181.31 c 565 848 864.94 177.33 4.88 1000000 0 182.82/182.93 c 620 927 876.03 160.48 5.46 1000000 0 184.41/184.55 c 561 757 847.48 177.06 4.79 1000000 0 186.01/186.16 c 590 762 855.54 172.16 4.97 1000000 0 187.61/187.77 c 573 793 833.75 163.08 5.11 1000000 0 189.31/189.40 c 572 887 862.93 184.17 4.69 1000000 0 190.91/191.01 c 532 698 850.75 160.63 5.30 1000000 0 192.51/192.63 c 636 915 871.79 154.60 5.64 1000000 0 194.11/194.25 c 576 940 844.47 181.31 4.66 1000000 0 195.72/195.87 c 554 920 852.15 181.63 4.69 1000000 0 197.31/197.48 c 539 726 838.27 195.00 4.30 1000000 0 198.92/199.10 c 576 793 856.89 183.26 4.68 1000000 0 200.61/200.70 c 581 850 838.49 156.89 5.34 1000000 0 202.21/202.32 c 608 768 851.25 167.23 5.09 1000000 0 203.81/203.94 c 533 735 844.38 167.21 5.05 1000000 0 205.41/205.57 c 585 789 878.35 232.63 3.78 1000000 0 207.01/207.18 c 570 759 841.00 166.10 5.06 1000000 0 208.61/208.79 c 593 811 844.25 152.37 5.54 1000000 0 210.31/210.41 c 542 842 846.08 189.48 4.47 1000000 0 211.90/212.02 c 543 857 831.32 201.56 4.12 1000000 0 213.50/213.64 c 563 741 841.22 171.99 4.89 1000000 0 215.10/215.24 c 578 814 826.79 178.66 4.63 1000000 0 216.70/216.86 c 614 878 867.06 194.72 4.45 1000000 0 218.30/218.48 c 577 882 857.33 167.46 5.12 1000000 0 220.00/220.10 c 593 705 856.24 157.94 5.42 1000000 0 221.60/221.72 c 570 693 863.53 175.00 4.93 1000000 0 223.21/223.35 c 600 731 866.86 198.20 4.37 1000000 0 224.80/224.96 c 558 872 830.22 155.53 5.34 1000000 0 226.41/226.56 c 582 851 818.40 148.12 5.53 1000000 0 228.00/228.16 c 518 724 813.22 166.73 4.88 1000000 0 229.60/229.78 c 606 787 851.83 162.83 5.23 1000000 0 231.30/231.42 c 579 790 890.35 200.69 4.44 1000000 0 232.90/233.04 c 525 759 844.27 216.78 3.89 1000000 0 234.50/234.65 c 568 789 849.33 152.31 5.58 1000000 0 236.10/236.27 c 575 796 865.85 152.59 5.67 1000000 0 237.69/237.89 c 567 732 846.85 161.14 5.26 1000000 0 239.39/239.50 c 627 795 849.80 165.78 5.13 1000000 0 240.99/241.11 c 559 815 846.77 179.97 4.71 1000000 0 242.59/242.72 c 565 794 851.10 171.47 4.96 1000000 0 244.19/244.34 c 560 878 848.54 152.02 5.58 1000000 0 245.79/245.96 c 578 787 860.51 170.48 5.05 1000000 0 247.40/247.58 c 581 781 847.50 157.88 5.37 1000000 0 249.09/249.20 c 575 854 859.23 158.13 5.43 1000000 0 250.60/250.80 c 564 723 802.71 161.91 4.96 1000000 0 252.29/252.41 c 565 787 816.16 197.81 4.13 1000000 0 253.90/254.03 c 527 731 844.59 163.48 5.17 1000000 0 255.49/255.65 c 580 695 867.14 178.58 4.86 1000000 0 257.09/257.26 c 609 865 829.00 139.95 5.92 1000000 0 258.69/258.87 c 554 700 848.75 174.56 4.86 1000000 0 260.29/260.49 c 499 602 853.01 163.06 5.23 1000000 0 261.89/262.09 c 513 738 814.35 193.86 4.20 1000000 0 263.59/263.72 c 532 799 860.99 216.46 3.98 1000000 0 265.19/265.32 c 568 702 813.74 181.58 4.48 1000000 0 266.79/266.94 c 603 1115 864.20 157.37 5.49 1000000 0 268.38/268.56 c 556 879 853.86 153.84 5.55 1000000 0 269.98/270.19 c 623 682 880.70 188.72 4.67 1000000 0 271.68/271.81 c 623 692 850.00 178.61 4.76 1000000 0 273.28/273.41 c 532 824 824.13 162.97 5.06 1000000 0 274.89/275.05 c 596 803 884.99 191.79 4.61 1000000 0 276.48/276.67 c 619 782 848.79 205.37 4.13 1000000 0 278.09/278.29 c 578 1042 843.11 203.23 4.15 1000000 0 279.78/279.90 c 617 792 863.62 182.50 4.73 1000000 0 281.39/281.53 c 604 730 880.94 186.58 4.72 1000000 0 282.98/283.14 c 578 765 830.69 189.04 4.39 1000000 0 284.58/284.77 c 620 781 880.64 182.97 4.81 1000000 0 286.18/286.38 c 552 806 841.67 164.36 5.12 1000000 0 287.78/287.99 c 575 697 851.11 160.72 5.30 1000000 0 289.48/289.61 c 606 797 850.67 190.49 4.47 1000000 0 291.08/291.22 c 580 786 852.09 162.55 5.24 1000000 0 292.68/292.84 c 500 714 856.13 160.31 5.34 1000000 0 294.27/294.46 c 592 935 848.44 172.19 4.93 1000000 0 295.87/296.07 c 556 714 822.64 166.44 4.94 1000000 0 297.47/297.68 c 567 891 843.76 143.07 5.90 1000000 0 299.08/299.28 c 575 848 829.63 190.99 4.34 1000000 0 300.77/300.91 c 594 948 872.38 186.47 4.68 1000000 0 302.38/302.52 c 572 810 846.41 181.66 4.66 1000000 0 303.97/304.14 c 564 845 847.86 183.89 4.61 1000000 0 305.58/305.77 c 609 860 879.87 165.79 5.31 1000000 0 307.27/307.40 c 568 887 892.34 174.39 5.12 1000000 0 308.87/309.03 c 593 789 871.64 186.62 4.67 1000000 0 310.47/310.64 c 594 661 834.85 171.74 4.86 1000000 0 312.06/312.26 c 571 774 864.40 172.74 5.00 1000000 0 313.66/313.88 c 580 895 875.53 182.67 4.79 1000000 0 315.36/315.50 c 559 809 856.92 192.06 4.46 1000000 0 316.96/317.13 c 595 853 850.07 200.51 4.24 1000000 0 318.56/318.73 c 552 740 838.00 159.06 5.27 1000000 0 320.16/320.34 c 589 747 821.49 132.75 6.19 1000000 0 321.76/321.96 c 617 751 855.40 188.82 4.53 1000000 0 323.36/323.57 c 604 836 844.52 175.68 4.81 1000000 0 324.96/325.19 c 573 849 849.20 157.21 5.40 1000000 0 326.66/326.81 c 598 791 854.27 194.27 4.40 1000000 0 328.26/328.41 c 520 790 816.98 158.67 5.15 1000000 0 329.87/330.03 c 572 871 867.42 183.81 4.72 1000000 0 331.46/331.65 c 641 729 858.44 137.58 6.24 1000000 0 333.07/333.27 c 599 953 848.39 188.88 4.49 1000000 0 334.66/334.88 c 580 876 851.96 166.12 5.13 1000000 0 336.26/336.49 c 538 837 860.49 185.01 4.65 1000000 0 337.96/338.11 c 546 727 860.56 160.50 5.36 1000000 0 339.56/339.72 c 513 803 840.00 170.74 4.92 1000000 0 341.16/341.33 c 607 840 851.40 150.41 5.66 1000000 0 342.76/342.96 c 640 762 882.82 186.47 4.73 1000000 0 344.36/344.58 c 581 793 854.73 182.99 4.67 1000000 0 345.96/346.19 c 513 696 825.16 169.31 4.87 1000000 0 347.66/347.81 c 581 767 857.99 141.34 6.07 1000000 0 349.26/349.42 c 537 845 833.52 171.97 4.85 1000000 0 350.86/351.04 c 623 667 856.17 173.87 4.92 1000000 0 352.46/352.65 c 559 748 825.18 191.94 4.30 1000000 0 354.07/354.28 c 598 738 870.35 173.71 5.01 1000000 0 355.76/355.90 c 498 760 832.06 196.71 4.23 1000000 0 357.36/357.52 c 588 690 851.31 186.23 4.57 1000000 0 358.96/359.14 c 572 760 850.98 185.94 4.58 1000000 0 360.56/360.76 c 607 848 866.49 187.69 4.62 1000000 0 362.16/362.38 c 586 846 857.34 202.07 4.24 1000000 0 363.86/364.00 c 542 842 854.88 193.23 4.42 1000000 0 365.45/365.61 c 532 796 845.82 175.14 4.83 1000000 0 367.05/367.21 c 557 788 813.25 211.65 3.84 1000000 0 368.65/368.84 c 605 888 885.21 166.54 5.32 1000000 0 370.25/370.46 c 544 847 844.55 202.61 4.17 1000000 0 371.85/372.08 c 618 741 855.90 190.53 4.49 1000000 0 373.55/373.70 c 586 842 844.53 176.89 4.77 1000000 0 375.15/375.32 c 590 792 856.31 172.72 4.96 1000000 0 376.75/376.93 c 585 800 838.51 162.21 5.17 1000000 0 378.35/378.55 c 606 809 850.81 196.45 4.33 1000000 0 379.95/380.16 c 538 868 831.75 184.84 4.50 1000000 0 381.56/381.78 c 602 1020 863.37 155.74 5.54 1000000 0 383.25/383.41 c 596 806 871.08 186.09 4.68 1000000 0 384.86/385.04 c 599 782 868.66 177.33 4.90 1000000 0 386.45/386.64 c 574 741 840.01 161.65 5.20 1000000 0 388.05/388.25 c 558 799 851.63 201.78 4.22 1000000 0 389.65/389.88 c 637 703 871.13 167.03 5.22 1000000 0 391.35/391.50 c 566 759 862.64 194.09 4.44 1000000 0 392.94/393.14 c 633 883 890.79 169.60 5.25 1000000 0 394.54/394.77 c 607 756 865.00 153.84 5.62 1000000 0 396.14/396.39 c 569 918 863.31 186.24 4.64 1000000 0 397.84/398.01 c 578 840 865.49 181.24 4.78 1000000 0 399.44/399.62 c 574 801 822.29 165.00 4.98 1000000 0 401.04/401.24 c 534 886 858.58 169.41 5.07 1000000 0 402.64/402.86 c 562 786 850.83 187.06 4.55 1000000 0 404.24/404.48 c 625 811 880.66 154.35 5.71 1000000 0 405.94/406.11 c 574 892 869.68 162.68 5.35 1000000 0 407.54/407.73 c 569 785 854.84 173.24 4.93 1000000 0 409.14/409.35 c 590 819 863.48 189.27 4.56 1000000 0 410.74/410.94 c 529 676 806.61 174.52 4.62 1000000 0 412.35/412.56 c 584 821 851.57 199.76 4.26 1000000 0 413.94/414.17 c 549 764 836.23 191.05 4.38 1000000 0 415.54/415.79 c 581 911 863.44 179.73 4.80 1000000 0 417.24/417.40 c 513 852 853.26 179.37 4.76 1000000 0 418.84/419.01 c 529 652 841.92 183.37 4.59 1000000 0 420.44/420.63 c 590 929 838.06 162.09 5.17 1000000 0 422.03/422.25 c 584 830 869.88 169.09 5.14 1000000 0 423.63/423.87 c 520 771 859.30 181.67 4.73 1000000 0 425.23/425.48 c 558 822 830.27 175.44 4.73 1000000 0 426.83/427.09 c 559 806 828.95 160.23 5.17 1000000 0 428.53/428.71 c 586 679 858.37 196.40 4.37 1000000 0 430.13/430.32 c 552 801 846.77 185.17 4.57 1000000 0 431.73/431.93 c 577 797 837.99 182.18 4.60 1000000 0 433.33/433.53 c 572 914 850.01 159.64 5.32 1000000 0 434.93/435.15 c 567 835 854.77 173.81 4.92 1000000 0 436.54/436.78 c 601 765 867.53 185.20 4.68 1000000 0 438.23/438.40 c 599 871 867.19 189.29 4.58 1000000 0 439.84/440.03 c 612 749 875.37 187.52 4.67 1000000 0 441.43/441.64 c 535 753 818.75 176.26 4.65 1000000 0 443.03/443.26 c 541 853 869.46 159.30 5.46 1000000 0 444.63/444.88 c 632 750 849.77 188.07 4.52 1000000 0 446.33/446.51 c 580 850 869.78 166.40 5.23 1000000 0 447.92/448.12 c 502 907 856.95 182.50 4.70 1000000 0 449.52/449.74 c 614 858 853.38 160.18 5.33 1000000 0 451.12/451.35 c 555 889 849.05 181.57 4.68 1000000 0 452.72/452.96 c 595 774 831.78 167.91 4.95 1000000 0 454.32/454.58 c 600 763 857.35 167.06 5.13 1000000 0 456.02/456.20 c 604 771 853.10 159.41 5.35 1000000 0 457.62/457.81 c 600 842 855.52 165.17 5.18 1000000 0 459.22/459.44 c 603 824 852.45 170.33 5.00 1000000 0 460.82/461.06 c 605 677 860.14 154.91 5.55 1000000 0 462.42/462.68 c 532 943 868.47 149.64 5.80 1000000 0 464.02/464.29 c 565 703 834.04 171.60 4.86 1000000 0 465.62/465.89 c 603 829 835.41 183.03 4.56 1000000 0 467.22/467.50 c 544 855 824.02 150.96 5.46 1000000 0 468.91/469.12 c 490 742 847.51 212.97 3.98 1000000 0 470.52/470.72 c 547 755 814.13 179.77 4.53 1000000 0 472.11/472.34 c 603 916 832.70 198.38 4.20 1000000 0 473.71/473.96 c 587 899 883.32 207.58 4.26 1000000 0 475.31/475.57 c 586 1003 842.62 144.97 5.81 1000000 0 476.91/477.19 c 611 883 860.98 166.06 5.18 1000000 0 478.61/478.81 c 578 819 855.71 165.92 5.16 1000000 0 480.21/480.43 c 592 683 853.20 178.16 4.79 1000000 0 481.81/482.05 c 568 830 854.36 177.70 4.81 1000000 0 483.41/483.66 c 476 808 835.09 174.68 4.78 1000000 0 485.01/485.26 c 546 794 823.58 177.38 4.64 1000000 0 486.61/486.87 c 592 800 834.82 186.67 4.47 1000000 0 488.21/488.48 c 568 828 851.95 190.99 4.46 1000000 0 489.91/490.10 c 538 795 866.05 186.30 4.65 1000000 0 491.51/491.72 c 601 830 854.02 182.09 4.69 1000000 0 493.11/493.33 c 591 732 843.84 154.77 5.45 1000000 0 494.71/494.92 c 562 715 820.77 152.65 5.38 1000000 0 496.30/496.54 c 575 997 847.13 156.11 5.43 1000000 0 497.90/498.18 c 611 820 890.22 215.15 4.14 1000000 0 499.60/499.81 c 514 697 859.75 167.96 5.12 1000000 0 501.20/501.42 c 510 835 845.50 218.42 3.87 1000000 0 502.80/503.04 c 606 858 850.17 167.21 5.08 1000000 0 504.40/504.67 c 606 682 878.94 176.53 4.98 1000000 0 506.00/506.29 c 593 794 862.00 164.59 5.24 1000000 0 507.70/507.90 c 601 738 851.43 169.12 5.03 1000000 0 509.30/509.52 c 602 710 845.76 164.80 5.13 1000000 0 510.90/511.12 c 611 769 830.96 155.63 5.34 1000000 0 512.50/512.75 c 585 791 873.23 174.76 5.00 1000000 0 514.10/514.37 c 593 803 848.65 177.87 4.77 1000000 0 515.70/515.98 c 576 789 832.42 169.56 4.91 1000000 0 517.30/517.58 c 504 803 816.75 168.51 4.85 1000000 0 518.90/519.20 c 593 905 874.87 167.22 5.23 1000000 0 520.59/520.82 c 571 779 857.89 202.21 4.24 1000000 0 522.20/522.44 c 602 682 846.55 141.95 5.96 1000000 0 523.79/524.07 c 566 835 869.16 202.16 4.30 1000000 0 525.39/525.69 c 603 751 855.05 161.10 5.31 1000000 0 527.09/527.31 c 546 892 855.94 203.33 4.21 1000000 0 528.69/528.93 c 627 772 873.47 175.40 4.98 1000000 0 530.29/530.55 c 569 883 835.91 169.25 4.94 1000000 0 531.89/532.17 c 541 943 858.03 161.75 5.30 1000000 0 533.49/533.79 c 599 778 869.57 170.59 5.10 1000000 0 535.19/535.41 c 572 950 852.19 158.00 5.39 1000000 0 536.79/537.04 c 619 724 881.44 193.63 4.55 1000000 0 538.39/538.66 c 572 679 849.20 194.12 4.37 1000000 0 539.99/540.26 c 587 772 835.26 169.64 4.92 1000000 0 541.59/541.89 c 596 908 866.45 182.82 4.74 1000000 0 543.29/543.51 c 590 827 860.50 180.51 4.77 1000000 0 544.89/545.13 c 608 881 858.59 165.26 5.20 1000000 0 546.49/546.73 c 580 828 823.64 151.82 5.43 1000000 0 548.09/548.34 c 613 902 841.87 171.54 4.91 1000000 0 549.69/549.96 c 547 824 853.24 173.99 4.90 1000000 0 551.28/551.58 c 590 718 865.89 158.43 5.47 1000000 0 552.99/553.21 c 588 761 886.53 219.66 4.04 1000000 0 554.58/554.84 c 573 798 861.59 180.47 4.77 1000000 0 556.18/556.46 c 589 819 856.56 216.24 3.96 1000000 0 557.78/558.07 c 614 757 847.25 164.53 5.15 1000000 0 559.38/559.68 c 576 728 831.75 182.56 4.56 1000000 0 561.08/561.30 c 633 878 867.40 160.58 5.40 1000000 0 562.68/562.93 c 627 900 873.15 171.96 5.08 1000000 0 564.28/564.54 c 577 828 843.67 188.76 4.47 1000000 0 565.88/566.15 c 578 728 842.19 186.64 4.51 1000000 0 567.48/567.77 c 598 687 841.02 179.80 4.68 1000000 0 569.08/569.38 c 591 815 833.38 159.32 5.23 1000000 0 570.68/570.99 c 561 772 842.09 167.31 5.03 1000000 0 572.38/572.61 c 618 880 863.94 175.01 4.94 1000000 0 573.98/574.21 c 563 790 842.67 158.98 5.30 1000000 0 575.57/575.83 c 580 812 854.66 169.06 5.06 1000000 0 577.18/577.46 c 615 810 885.59 158.08 5.60 1000000 0 578.77/579.09 c 612 848 854.07 156.98 5.44 1000000 0 580.48/580.70 c 532 743 833.47 180.55 4.62 1000000 0 582.07/582.33 c 583 771 862.83 182.03 4.74 1000000 0 583.67/583.95 c 569 847 867.42 219.22 3.96 1000000 0 585.27/585.57 c 503 694 834.68 199.53 4.18 1000000 0 586.87/587.17 c 552 859 820.95 172.08 4.77 1000000 0 588.47/588.78 c 594 890 842.20 185.16 4.55 1000000 0 590.17/590.40 c 590 801 854.63 176.70 4.84 1000000 0 591.77/592.03 c 598 789 879.91 179.54 4.90 1000000 0 593.37/593.66 c 560 933 860.57 196.49 4.38 1000000 0 594.97/595.27 c 584 740 844.95 171.13 4.94 1000000 0 596.57/596.89 c 587 710 840.59 183.50 4.58 1000000 0 598.27/598.50 c 634 768 865.23 147.23 5.88 1000000 0 599.86/600.11 c 593 868 840.62 170.09 4.94 1000000 0 601.47/601.74 c 595 819 847.12 209.97 4.03 1000000 0 603.07/603.34 c 579 839 832.81 177.81 4.68 1000000 0 604.67/604.93 c 597 782 821.10 144.42 5.69 1000000 0 606.26/606.55 c 608 788 859.41 198.08 4.34 1000000 0 607.86/608.16 c 553 695 849.38 186.93 4.54 1000000 0 609.46/609.79 c 585 934 857.79 177.68 4.83 1000000 0 611.16/611.40 c 597 751 854.96 150.84 5.67 1000000 0 612.76/613.02 c 497 827 849.89 205.89 4.13 1000000 0 614.36/614.65 c 512 785 852.26 186.13 4.58 1000000 0 615.96/616.26 c 553 712 841.17 183.70 4.58 1000000 0 617.56/617.88 c 558 927 857.25 149.61 5.73 1000000 0 619.16/619.49 c 594 810 844.91 184.14 4.59 1000000 0 620.86/621.12 c 590 772 876.92 198.52 4.42 1000000 0 622.46/622.73 c 561 823 841.16 189.10 4.45 1000000 0 624.06/624.34 c 546 717 810.93 185.98 4.36 1000000 0 625.66/625.95 c 609 771 847.07 149.80 5.65 1000000 0 627.26/627.56 c 589 699 838.10 166.97 5.02 1000000 0 628.86/629.19 c 573 786 868.04 195.69 4.44 1000000 0 630.55/630.83 c 602 659 890.52 211.19 4.22 1000000 0 632.16/632.46 c 532 773 866.28 166.32 5.21 1000000 0 633.85/634.10 c 526 827 857.20 163.72 5.24 1000000 0 635.46/635.71 c 557 811 846.44 154.46 5.48 1000000 0 637.05/637.33 c 609 683 853.00 188.77 4.52 1000000 0 638.65/638.95 c 582 816 853.72 170.33 5.01 1000000 0 640.25/640.55 c 506 802 838.38 181.32 4.62 1000000 0 641.85/642.18 c 615 806 861.31 169.57 5.08 1000000 0 643.45/643.79 c 510 725 830.92 192.31 4.32 1000000 0 645.04/645.40 c 483 904 828.38 188.68 4.39 1000000 0 646.74/647.02 c 600 907 868.12 199.18 4.36 1000000 0 648.34/648.64 c 581 760 858.55 187.89 4.57 1000000 0 649.94/650.26 c 597 811 858.81 176.92 4.85 1000000 0 651.54/651.89 c 597 841 888.25 193.52 4.59 1000000 0 653.24/653.51 c 582 781 846.84 159.35 5.31 1000000 0 654.84/655.14 c 621 757 860.50 193.15 4.46 1000000 0 656.45/656.75 c 529 770 842.95 198.31 4.25 1000000 0 658.04/658.36 c 613 870 839.39 176.08 4.77 1000000 0 659.65/659.97 c 613 783 853.81 162.66 5.25 1000000 0 661.34/661.60 c 596 825 864.02 168.84 5.12 1000000 0 662.94/663.22 c 587 804 858.89 170.67 5.03 1000000 0 664.54/664.84 c 550 843 843.11 198.05 4.26 1000000 0 666.14/666.45 c 578 803 838.57 186.61 4.49 1000000 0 667.74/668.05 c 556 810 835.06 167.96 4.97 1000000 0 669.33/669.68 c 595 886 873.79 167.68 5.21 1000000 0 670.93/671.28 c 539 815 811.25 146.86 5.52 1000000 0 672.53/672.89 c 624 797 853.97 192.75 4.43 1000000 0 674.23/674.52 c 594 846 876.27 164.40 5.33 1000000 0 675.83/676.15 c 584 862 855.61 177.48 4.82 1000000 0 677.43/677.75 c 537 931 799.78 158.05 5.06 1000000 0 679.03/679.37 c 597 689 857.06 162.48 5.27 1000000 0 680.64/680.99 c 600 920 845.66 166.16 5.09 1000000 0 682.33/682.60 c 547 703 836.92 177.62 4.71 1000000 0 683.94/684.21 c 454 729 833.53 181.98 4.58 1000000 0 685.53/685.81 c 576 812 826.97 206.79 4.00 1000000 0 687.14/687.45 c 568 714 876.65 207.36 4.23 1000000 0 688.73/689.06 c 564 761 838.31 190.41 4.40 1000000 0 690.33/690.69 c 579 717 866.82 179.15 4.84 1000000 0 692.03/692.30 c 578 903 840.85 155.23 5.42 1000000 0 693.63/693.91 c 573 817 841.38 187.03 4.50 1000000 0 695.23/695.53 c 584 723 862.82 213.32 4.04 1000000 0 696.83/697.15 c 578 752 861.36 191.16 4.51 1000000 0 698.42/698.78 c 636 736 885.64 155.04 5.71 1000000 0 700.12/700.41 c 582 848 873.45 207.86 4.20 1000000 0 701.72/702.02 c 544 682 822.70 168.81 4.87 1000000 0 703.32/703.64 c 574 936 869.77 223.18 3.90 1000000 0 704.92/705.25 c 609 782 846.14 168.53 5.02 1000000 0 706.52/706.88 c 607 793 875.32 172.81 5.07 1000000 0 708.13/708.49 c 586 777 836.77 152.32 5.49 1000000 0 709.82/710.11 c 570 773 855.62 181.90 4.70 1000000 0 711.43/711.74 c 563 881 873.75 224.43 3.89 1000000 0 713.02/713.36 c 522 964 861.15 166.75 5.16 1000000 0 714.62/714.97 c 518 820 858.74 184.85 4.65 1000000 0 716.22/716.58 c 555 860 819.44 182.49 4.49 1000000 0 717.82/718.18 c 521 895 810.80 174.22 4.65 1000000 0 719.52/719.80 c 632 803 873.06 189.68 4.60 1000000 0 721.11/721.42 c 563 745 847.20 167.09 5.07 1000000 0 722.71/723.04 c 582 858 845.58 143.38 5.90 1000000 0 724.31/724.65 c 571 795 831.54 173.75 4.79 1000000 0 725.91/726.25 c 494 794 831.14 197.39 4.21 1000000 0 727.51/727.86 c 575 747 831.34 169.73 4.90 1000000 0 729.11/729.49 c 587 914 868.51 197.28 4.40 1000000 0 730.81/731.11 c 508 981 852.52 217.80 3.91 1000000 0 732.41/732.74 c 553 675 857.11 191.46 4.48 1000000 0 734.01/734.35 c 577 743 830.53 147.75 5.62 1000000 0 735.62/735.96 c 578 714 825.55 180.70 4.57 1000000 0 737.21/737.58 c 543 673 857.63 199.40 4.30 1000000 0 738.82/739.20 c 574 782 854.36 189.66 4.50 1000000 0 740.51/740.82 c 527 800 850.14 163.80 5.19 1000000 0 742.12/742.45 c 594 925 871.32 194.20 4.49 1000000 0 743.71/744.07 c 597 859 848.05 182.44 4.65 1000000 0 745.31/745.68 c 601 779 823.95 172.48 4.78 1000000 0 746.91/747.29 c 552 879 861.43 179.54 4.80 1000000 0 748.61/748.92 c 540 810 843.14 223.52 3.77 1000000 0 750.20/750.54 c 602 887 859.72 174.53 4.93 1000000 0 751.80/752.16 c 599 808 853.81 184.31 4.63 1000000 0 753.40/753.78 c 610 812 861.89 188.92 4.56 1000000 0 755.10/755.40 c 558 836 855.33 195.87 4.37 1000000 0 756.70/757.01 c 611 785 858.51 182.26 4.71 1000000 0 758.30/758.63 c 571 783 847.83 163.47 5.19 1000000 0 759.90/760.24 c 518 781 848.63 176.64 4.80 1000000 0 761.50/761.85 c 513 969 832.14 162.71 5.11 1000000 0 763.11/763.47 c 588 802 862.16 206.79 4.17 1000000 0 764.70/765.07 c 590 940 850.92 150.40 5.66 1000000 0 766.31/766.68 c 575 814 830.41 167.97 4.94 1000000 0 768.00/768.30 c 577 738 841.19 169.60 4.96 1000000 0 769.61/769.92 c 583 805 853.36 189.92 4.49 1000000 0 771.20/771.52 c 554 762 807.35 158.46 5.09 1000000 0 772.80/773.13 c 544 758 835.57 176.64 4.73 1000000 0 774.40/774.74 c 539 714 852.20 186.55 4.57 1000000 0 775.99/776.37 c 607 913 876.15 188.06 4.66 1000000 0 777.59/777.98 c 527 721 833.06 178.98 4.65 1000000 0 779.19/779.59 c 595 812 835.00 184.22 4.53 1000000 0 780.89/781.20 c 566 750 840.00 180.35 4.66 1000000 0 782.49/782.80 c 569 865 813.88 163.23 4.99 1000000 0 784.09/784.43 c 622 782 877.36 187.92 4.67 1000000 0 785.69/786.05 c 607 849 856.14 169.81 5.04 1000000 0 787.30/787.67 c 585 785 853.68 160.59 5.32 1000000 0 788.99/789.31 c 601 784 889.58 172.26 5.16 1000000 0 790.60/790.92 c 541 709 850.05 176.00 4.83 1000000 0 792.19/792.53 c 523 862 839.27 176.92 4.74 1000000 0 793.79/794.14 c 597 811 835.43 172.65 4.84 1000000 0 795.39/795.76 c 594 831 855.90 150.15 5.70 1000000 0 796.99/797.36 c 545 779 838.47 203.58 4.12 1000000 0 798.59/798.97 c 578 814 830.53 177.84 4.67 1000000 0 800.19/800.59 c 599 724 840.92 180.47 4.66 1000000 0 801.88/802.20 c 553 908 850.89 186.90 4.55 1000000 0 803.48/803.83 c 603 839 863.16 191.39 4.51 1000000 0 805.08/805.44 c 540 715 831.70 181.84 4.57 1000000 0 806.68/807.07 c 544 826 868.29 226.77 3.83 1000000 0 808.28/808.68 c 547 807 849.37 170.65 4.98 1000000 0 809.98/810.30 c 536 705 849.12 183.88 4.62 1000000 0 811.58/811.93 c 589 736 880.19 216.24 4.07 1000000 0 813.18/813.55 c 581 812 855.41 173.84 4.92 1000000 0 814.79/815.18 c 616 793 857.77 186.50 4.60 1000000 0 816.48/816.80 c 586 856 864.82 179.35 4.82 1000000 0 818.09/818.43 c 563 913 869.22 193.34 4.50 1000000 0 819.68/820.06 c 570 957 874.26 191.67 4.56 1000000 0 821.29/821.67 c 539 841 838.20 173.31 4.84 1000000 0 822.88/823.29 c 607 706 856.33 162.63 5.27 1000000 0 824.58/824.91 c 620 639 852.38 162.25 5.25 1000000 0 826.18/826.53 c 624 861 874.87 160.45 5.45 1000000 0 827.78/828.15 c 619 683 850.40 176.04 4.83 1000000 0 829.37/829.75 c 598 853 822.02 131.28 6.26 1000000 0 830.97/831.37 c 576 871 848.25 163.49 5.19 1000000 0 832.57/832.98 c 594 948 845.11 185.55 4.55 1000000 0 834.27/834.60 c 626 855 842.41 158.88 5.30 1000000 0 835.87/836.22 c 589 916 850.70 190.56 4.46 1000000 0 837.47/837.84 c 543 835 855.02 188.42 4.54 1000000 0 839.07/839.45 c 534 896 848.63 165.83 5.12 1000000 0 840.67/841.06 c 558 813 844.16 187.37 4.51 1000000 0 842.28/842.68 c 619 872 857.72 160.83 5.33 1000000 0 843.97/844.30 c 560 662 866.11 193.83 4.47 1000000 0 845.58/845.92 c 568 736 851.13 196.03 4.34 1000000 0 847.17/847.52 c 543 820 828.07 148.38 5.58 1000000 0 848.77/849.13 c 604 897 849.85 166.86 5.09 1000000 0 850.37/850.75 c 535 682 854.14 190.33 4.49 1000000 0 851.97/852.38 c 595 977 867.63 154.81 5.60 1000000 0 853.57/853.99 c 609 849 857.38 189.79 4.52 1000000 0 855.26/855.61 c 525 850 846.98 179.03 4.73 1000000 0 856.86/857.22 c 567 776 837.03 158.04 5.30 1000000 0 858.46/858.84 c 591 865 844.33 167.42 5.04 1000000 0 860.06/860.45 c 545 875 848.24 175.93 4.82 1000000 0 861.66/862.07 c 611 813 855.79 152.28 5.62 1000000 0 863.26/863.69 c 615 813 862.95 159.80 5.40 1000000 0 864.86/865.29 c 543 830 812.84 133.55 6.09 1000000 0 866.56/866.90 c 584 860 839.97 197.24 4.26 1000000 0 868.16/868.53 c 583 842 861.22 168.02 5.13 1000000 0 869.77/870.15 c 590 936 853.77 197.61 4.32 1000000 0 871.36/871.77 c 638 842 844.15 158.37 5.33 1000000 0 872.96/873.39 c 602 853 850.21 174.57 4.87 1000000 0 874.66/875.02 c 593 625 860.48 206.22 4.17 1000000 0 876.26/876.64 c 557 678 853.35 171.33 4.98 1000000 0 877.86/878.25 c 582 809 831.73 159.93 5.20 1000000 0 879.46/879.87 c 547 815 859.79 196.73 4.37 1000000 0 881.06/881.49 c 537 820 849.35 183.45 4.63 1000000 0 882.75/883.11 c 532 699 859.54 177.23 4.85 1000000 0 884.35/884.72 c 569 765 854.52 187.53 4.56 1000000 0 885.95/886.34 c 612 675 848.87 141.94 5.98 1000000 0 887.55/887.96 c 555 777 866.43 174.20 4.97 1000000 0 889.15/889.59 c 600 774 871.41 170.33 5.12 1000000 0 890.85/891.20 c 566 755 838.29 152.30 5.50 1000000 0 892.45/892.81 c 592 674 821.52 149.88 5.48 1000000 0 894.05/894.43 c 551 859 861.40 191.26 4.50 1000000 0 895.65/896.05 c 613 741 851.33 177.31 4.80 1000000 0 897.26/897.68 c 587 820 854.81 188.11 4.54 1000000 0 898.85/899.29 c 556 831 852.17 187.79 4.54 1000000 0 900.46/900.90 c 527 821 837.92 162.13 5.17 1000000 0 902.15/902.52 c 588 833 859.52 173.98 4.94 1000000 0 903.75/904.14 c 567 763 841.47 158.83 5.30 1000000 0 905.35/905.75 c 627 681 856.56 152.16 5.63 1000000 0 906.95/907.37 c 550 783 870.40 188.03 4.63 1000000 0 908.55/908.99 c 546 775 857.84 183.20 4.68 1000000 0 910.24/910.60 c 593 760 857.01 158.76 5.40 1000000 0 911.84/912.21 c 532 716 828.90 200.56 4.13 1000000 0 913.44/913.84 c 629 875 882.40 182.80 4.83 1000000 0 915.04/915.46 c 560 828 858.30 193.27 4.44 1000000 0 916.64/917.07 c 531 921 826.17 167.78 4.92 1000000 0 918.24/918.68 c 566 821 849.09 155.89 5.45 1000000 0 919.84/920.29 c 567 609 833.63 187.93 4.44 1000000 0 921.54/921.91 c 626 803 850.22 206.29 4.12 1000000 0 923.14/923.53 c 608 869 853.84 161.40 5.29 1000000 0 924.75/925.15 c 587 795 840.71 164.44 5.11 1000000 0 926.34/926.75 c 562 787 820.75 146.39 5.61 1000000 0 927.95/928.37 c 557 700 871.83 182.69 4.77 1000000 0 929.54/929.98 c 564 684 819.43 159.55 5.14 1000000 0 931.14/931.59 c 550 682 819.92 170.96 4.80 1000000 0 932.84/933.21 c 610 772 867.35 152.97 5.67 1000000 0 934.44/934.82 c 551 810 813.25 177.42 4.58 1000000 0 936.04/936.45 c 578 740 863.58 185.49 4.66 1000000 0 937.64/938.06 c 625 728 862.49 187.41 4.60 1000000 0 939.23/939.68 c 578 730 842.72 170.38 4.95 1000000 0 940.83/941.28 c 535 838 831.70 156.20 5.32 1000000 0 942.43/942.90 c 570 645 845.15 139.21 6.07 1000000 0 944.13/944.50 c 551 769 830.83 180.12 4.61 1000000 0 945.73/946.12 c 571 665 840.29 202.05 4.16 1000000 0 947.33/947.72 c 544 802 843.54 160.25 5.26 1000000 0 948.93/949.33 c 579 824 839.76 160.20 5.24 1000000 0 950.53/950.94 c 511 701 832.35 201.96 4.12 1000000 0 952.13/952.56 c 544 659 844.48 164.82 5.12 1000000 0 953.72/954.17 c 558 704 837.96 166.65 5.03 1000000 0 955.32/955.79 c 575 706 842.40 169.07 4.98 1000000 0 956.92/957.39 c 571 822 820.61 203.60 4.03 1000000 0 958.62/959.00 c 590 863 837.67 169.49 4.94 1000000 0 960.22/960.60 c 530 830 817.87 158.55 5.16 1000000 0 961.82/962.21 c 573 784 828.90 173.14 4.79 1000000 0 963.42/963.84 c 610 838 871.52 175.53 4.97 1000000 0 965.02/965.48 c 631 764 882.99 171.43 5.15 1000000 0 966.72/967.10 c 628 882 874.82 191.19 4.58 1000000 0 968.32/968.71 c 582 924 861.26 165.95 5.19 1000000 0 969.92/970.33 c 592 862 859.70 189.29 4.54 1000000 0 971.52/971.96 c 521 697 860.97 204.30 4.21 1000000 0 973.12/973.58 c 568 881 860.54 170.40 5.05 1000000 0 974.82/975.20 c 554 754 856.88 218.78 3.92 1000000 0 976.42/976.81 c 531 642 827.99 163.98 5.05 1000000 0 978.02/978.43 c 592 824 839.60 172.15 4.88 1000000 0 979.62/980.06 c 559 859 884.68 214.55 4.12 1000000 0 981.21/981.68 c 600 755 846.18 165.74 5.11 1000000 0 982.92/983.30 c 631 767 865.49 165.51 5.23 1000000 0 984.51/984.92 c 623 997 858.63 181.20 4.74 1000000 0 986.11/986.52 c 560 750 837.90 177.97 4.71 1000000 0 987.71/988.14 c 560 795 854.84 155.91 5.48 1000000 0 989.31/989.76 c 624 959 851.81 156.71 5.44 1000000 0 990.91/991.37 c 574 688 850.77 176.60 4.82 1000000 0 992.51/992.99 c 610 704 847.50 153.05 5.54 1000000 0 994.21/994.61 c 576 811 869.44 180.48 4.82 1000000 0 995.81/996.23 c 611 806 853.78 174.95 4.88 1000000 0 997.41/997.84 c 539 762 808.74 169.95 4.76 1000000 0 999.01/999.47 c 606 875 875.96 212.64 4.12 1000000 0 1000.61/1001.08 c 551 782 847.36 171.60 4.94 1000000 0 1002.31/1002.70 c 578 830 862.23 198.95 4.33 1000000 0 1003.91/1004.33 c 539 860 871.29 174.94 4.98 1000000 0 1005.50/1005.95 c 583 761 856.20 165.36 5.18 1000000 0 1007.11/1007.55 c 555 909 823.35 170.90 4.82 1000000 0 1008.70/1009.16 c 576 798 849.17 218.39 3.89 1000000 0 1010.30/1010.79 c 602 730 861.77 178.90 4.82 1000000 0 1012.00/1012.40 c 613 785 828.17 162.88 5.08 1000000 0 1013.60/1014.02 c 598 874 861.52 189.35 4.55 1000000 0 1015.20/1015.64 c 552 691 859.92 166.76 5.16 1000000 0 1016.80/1017.25 c 587 885 837.42 184.07 4.55 1000000 0 1018.40/1018.85 c 573 806 820.50 147.06 5.58 1000000 0 1020.00/1020.46 c 583 762 828.91 179.76 4.61 1000000 0 1021.60/1022.08 c 570 839 865.87 145.51 5.95 1000000 0 1023.20/1023.69 c 545 790 836.01 203.55 4.11 1000000 0 1024.90/1025.30 c 574 788 840.46 162.28 5.18 1000000 0 1026.50/1026.93 c 602 730 890.36 201.59 4.42 1000000 0 1028.10/1028.54 c 546 839 824.41 206.77 3.99 1000000 0 1029.70/1030.15 c 582 938 831.43 189.82 4.38 1000000 0 1031.30/1031.77 c 548 599 852.81 228.09 3.74 1000000 0 1032.89/1033.38 c 590 805 856.16 143.26 5.98 1000000 0 1034.60/1035.00 c 591 911 871.03 204.08 4.27 1000000 0 1036.19/1036.61 c 557 784 831.87 179.80 4.63 1000000 0 1037.79/1038.24 c 562 694 872.35 180.06 4.84 1000000 0 1039.39/1039.86 c 576 854 849.41 155.62 5.46 1000000 0 1040.99/1041.47 c 596 797 847.06 177.34 4.78 1000000 0 1042.59/1043.08 c 622 901 871.32 153.94 5.66 1000000 0 1044.29/1044.70 c 611 725 835.66 179.49 4.66 1000000 0 1045.89/1046.31 c 527 699 837.37 176.52 4.74 1000000 0 1047.49/1047.92 c 557 717 833.18 151.08 5.51 1000000 0 1049.09/1049.53 c 562 777 855.03 161.66 5.29 1000000 0 1050.69/1051.14 c 588 920 832.39 117.85 7.06 1000000 0 1052.30/1052.76 c 618 800 860.86 201.58 4.27 1000000 0 1053.89/1054.37 c 608 852 850.55 178.31 4.77 1000000 0 1055.49/1056.00 c 573 775 853.36 203.07 4.20 1000000 0 1057.19/1057.62 c 573 813 860.33 205.74 4.18 1000000 0 1058.79/1059.24 c 562 841 847.14 190.15 4.46 1000000 0 1060.38/1060.85 c 602 797 855.01 162.49 5.26 1000000 0 1061.98/1062.44 c 589 841 822.66 156.73 5.25 1000000 0 1063.58/1064.06 c 610 813 860.26 170.30 5.05 1000000 0 1065.18/1065.68 c 514 899 849.56 219.52 3.87 1000000 0 1066.88/1067.30 c 548 857 857.50 194.10 4.42 1000000 0 1068.48/1068.91 c 521 823 851.39 169.44 5.02 1000000 0 1070.08/1070.53 c 601 717 864.86 189.54 4.56 1000000 0 1071.68/1072.17 c 652 847 893.04 169.15 5.28 1000000 0 1073.28/1073.79 c 612 883 862.15 179.52 4.80 1000000 0 1074.98/1075.40 c 597 775 836.41 166.70 5.02 1000000 0 1076.58/1077.02 c 550 775 842.05 193.24 4.36 1000000 0 1078.18/1078.63 c 556 669 850.93 172.33 4.94 1000000 0 1079.78/1080.24 c 571 785 848.41 149.45 5.68 1000000 0 1081.37/1081.87 c 582 800 867.91 200.28 4.33 1000000 0 1082.98/1083.49 c 599 899 857.57 194.83 4.40 1000000 0 1084.67/1085.11 c 492 722 857.98 220.54 3.89 1000000 0 1086.28/1086.72 c 590 868 842.57 169.92 4.96 1000000 0 1087.87/1088.35 c 572 882 862.28 174.87 4.93 1000000 0 1089.47/1089.96 c 606 893 859.79 184.02 4.67 1000000 0 1091.07/1091.58 c 563 799 834.92 159.76 5.23 1000000 0 1092.67/1093.18 c 556 693 827.24 182.38 4.54 1000000 0 1094.37/1094.80 c 603 750 837.44 164.20 5.10 1000000 0 1095.97/1096.42 c 556 815 837.10 181.95 4.60 1000000 0 1097.57/1098.04 c 588 862 857.05 152.74 5.61 1000000 0 1099.17/1099.64 c 578 939 853.53 164.58 5.19 1000000 0 1100.77/1101.25 c 616 750 834.16 197.47 4.22 1000000 0 1102.37/1102.87 c 584 847 854.05 183.30 4.66 1000000 0 1103.97/1104.48 c 586 686 838.66 161.14 5.20 1000000 0 1105.66/1106.10 c 629 777 861.75 171.20 5.03 1000000 0 1107.27/1107.73 c 609 807 875.52 181.05 4.84 1000000 0 1108.87/1109.35 c 577 723 859.56 180.19 4.77 1000000 0 1110.48/1110.98 c 633 752 880.79 164.48 5.36 1000000 0 1112.07/1112.59 c 549 703 835.39 198.35 4.21 1000000 0 1113.78/1114.20 c 558 732 838.97 185.46 4.52 1000000 0 1115.37/1115.81 c 615 829 854.75 169.10 5.05 1000000 0 1116.97/1117.43 c 562 666 838.63 218.08 3.85 1000000 0 1118.57/1119.05 c 603 795 849.41 145.96 5.82 1000000 0 1120.17/1120.65 c 548 772 830.41 179.36 4.63 1000000 0 1121.77/1122.26 c 567 711 824.30 170.35 4.84 1000000 0 1123.37/1123.89 c 617 881 889.43 185.60 4.79 1000000 0 1125.06/1125.51 c 612 881 856.80 185.73 4.61 1000000 0 1126.66/1127.12 c 586 806 845.85 169.06 5.00 1000000 0 1128.26/1128.73 c 569 803 841.21 172.20 4.89 1000000 0 1129.86/1130.35 c 571 677 845.38 164.54 5.14 1000000 0 1131.47/1131.97 c 583 969 853.60 177.74 4.80 1000000 0 1133.06/1133.58 c 530 825 825.19 190.70 4.33 1000000 0 1134.67/1135.20 c 564 849 853.98 201.32 4.24 1000000 0 1136.36/1136.83 c 572 873 866.06 171.94 5.04 1000000 0 1137.97/1138.44 c 608 779 854.39 154.71 5.52 1000000 0 1139.56/1140.06 c 568 753 850.45 185.23 4.59 1000000 0 1141.16/1141.69 c 603 749 853.86 151.71 5.63 1000000 0 1142.86/1143.30 c 588 979 858.38 159.52 5.38 1000000 0 1144.46/1144.92 c 629 745 873.00 180.62 4.83 1000000 0 1146.06/1146.54 c 572 809 855.80 198.36 4.31 1000000 0 1147.66/1148.15 c 546 865 842.95 184.45 4.57 1000000 0 1149.25/1149.78 c 590 844 858.11 161.80 5.30 1000000 0 1150.86/1151.39 c 536 789 834.79 214.02 3.90 1000000 0 1152.55/1153.01 c 554 669 859.63 174.86 4.92 1000000 0 1154.15/1154.62 c 576 740 846.36 170.96 4.95 1000000 0 1155.75/1156.24 c 540 783 842.76 163.23 5.16 1000000 0 1157.35/1157.86 c 551 862 848.53 207.02 4.10 1000000 0 1158.96/1159.48 c 612 829 872.66 213.12 4.09 1000000 0 1160.65/1161.10 c 575 703 853.94 197.76 4.32 1000000 0 1162.26/1162.72 c 574 816 853.23 199.54 4.28 1000000 0 1163.85/1164.33 c 540 881 852.99 200.41 4.26 1000000 0 1165.46/1165.95 c 598 908 834.05 165.10 5.05 1000000 0 1167.05/1167.57 c 597 803 857.32 159.96 5.36 1000000 0 1168.65/1169.18 c 591 799 846.72 169.93 4.98 1000000 0 1170.35/1170.80 c 590 751 855.94 162.28 5.27 1000000 0 1171.95/1172.43 c 601 742 870.67 191.88 4.54 1000000 0 1173.55/1174.04 c 591 831 872.70 170.71 5.11 1000000 0 1175.15/1175.66 c 600 771 864.11 174.14 4.96 1000000 0 1176.75/1177.28 c 557 638 851.31 171.42 4.97 1000000 0 1178.44/1178.90 c 626 752 857.22 171.80 4.99 1000000 0 1180.04/1180.52 c 578 649 852.22 195.41 4.36 1000000 0 1181.64/1182.14 c 582 793 859.71 175.61 4.90 1000000 0 1183.24/1183.78 c 551 820 877.81 189.78 4.63 1000000 0 1184.94/1185.40 c 599 816 856.39 186.65 4.59 1000000 0 1186.54/1187.02 c 636 833 867.28 173.67 4.99 1000000 0 1188.14/1188.64 c 571 748 867.88 154.62 5.61 1000000 0 1189.75/1190.26 c 490 852 854.77 184.50 4.63 1000000 0 1191.34/1191.87 c 609 970 844.21 181.60 4.65 1000000 0 1192.95/1193.50 c 570 779 864.21 185.67 4.65 1000000 0 1194.64/1195.10 c 566 941 835.49 157.86 5.29 1000000 0 1196.25/1196.72 c 560 717 853.02 180.32 4.73 1000000 0 1197.84/1198.33 c 596 875 838.60 164.76 5.09 1000000 0 1199.44/1199.95 c 578 911 859.90 168.29 5.11 1000000 0 1201.04/1201.57 c 594 823 849.35 145.29 5.85 1000000 0 1202.64/1203.19 c 584 901 862.94 163.61 5.27 1000000 0 1204.33/1204.81 c 590 839 848.69 165.41 5.13 1000000 0 1205.93/1206.43 c 556 906 859.94 199.07 4.32 1000000 0 1207.53/1208.04 c 552 843 819.70 168.68 4.86 1000000 0 1209.13/1209.65 c 589 837 869.87 204.87 4.25 1000000 0 1210.73/1211.28 c 559 880 873.61 197.57 4.42 1000000 0 1212.43/1212.90 c 521 759 847.12 181.92 4.66 1000000 0 1214.03/1214.51 c 508 897 841.09 160.09 5.25 1000000 0 1215.63/1216.11 c 540 733 810.93 153.35 5.29 1000000 0 1217.24/1217.73 c 568 912 863.53 179.52 4.81 1000000 0 1218.83/1219.36 c 570 934 874.77 202.46 4.32 1000000 0 1220.44/1220.99 c 606 895 875.38 194.80 4.49 1000000 0 1222.13/1222.60 c 556 754 840.54 163.41 5.14 1000000 0 1223.74/1224.23 c 613 760 879.39 177.97 4.94 1000000 0 1225.33/1225.84 c 607 845 847.39 164.93 5.14 1000000 0 1226.93/1227.45 c 567 733 841.35 164.69 5.11 1000000 0 1228.53/1229.07 c 587 892 853.45 189.57 4.50 1000000 0 1230.13/1230.69 c 592 772 844.47 177.51 4.76 1000000 0 1231.83/1232.31 c 575 847 845.00 166.71 5.07 1000000 0 1233.42/1233.93 c 560 729 862.83 175.98 4.90 1000000 0 1235.02/1235.54 c 581 843 854.61 174.07 4.91 1000000 0 1236.62/1237.16 c 593 767 845.12 167.40 5.05 1000000 0 1238.22/1238.78 c 611 757 861.98 176.43 4.89 1000000 0 1239.82/1240.39 c 584 798 828.85 155.09 5.34 1000000 0 1241.52/1242.02 c 598 829 856.33 177.01 4.84 1000000 0 1243.12/1243.64 c 598 804 868.86 191.57 4.54 1000000 0 1244.73/1245.25 c 593 950 835.18 164.68 5.07 1000000 0 1246.32/1246.87 c 553 693 837.04 184.84 4.53 1000000 0 1247.93/1248.50 c 598 872 871.44 185.99 4.69 1000000 0 1249.62/1250.11 c 574 843 839.39 150.40 5.58 1000000 0 1251.23/1251.73 c 588 669 849.73 197.31 4.31 1000000 0 1252.82/1253.35 c 549 712 838.95 164.26 5.11 1000000 0 1254.42/1254.96 c 555 896 837.77 183.43 4.57 1000000 0 1256.02/1256.58 c 568 740 855.33 153.85 5.56 1000000 0 1257.72/1258.20 c 580 906 874.65 145.03 6.03 1000000 0 1259.31/1259.82 c 598 719 847.72 181.61 4.67 1000000 0 1260.91/1261.44 c 583 718 836.82 186.14 4.50 1000000 0 1262.51/1263.04 c 564 737 828.82 182.50 4.54 1000000 0 1264.11/1264.66 c 569 855 868.49 172.34 5.04 1000000 0 1265.71/1266.28 c 601 846 831.09 174.02 4.78 1000000 0 1267.31/1267.89 c 576 797 847.74 153.00 5.54 1000000 0 1269.01/1269.50 c 518 1056 848.02 155.86 5.44 1000000 0 1270.60/1271.11 c 582 675 838.06 191.88 4.37 1000000 0 1272.21/1272.73 c 576 799 866.15 173.35 5.00 1000000 0 1273.80/1274.36 c 626 925 877.90 179.34 4.90 1000000 0 1275.41/1275.97 c 526 912 841.64 159.13 5.29 1000000 0 1277.00/1277.58 c 569 738 834.98 169.95 4.91 1000000 0 1278.71/1279.21 c 550 812 862.10 203.31 4.24 1000000 0 1280.30/1280.81 c 542 701 823.61 189.90 4.34 1000000 0 1281.90/1282.41 c 564 909 836.88 178.93 4.68 1000000 0 1283.50/1284.02 c 575 737 838.37 169.07 4.96 1000000 0 1285.10/1285.66 c 611 868 887.58 185.98 4.77 1000000 0 1286.70/1287.27 c 593 821 846.25 168.54 5.02 1000000 0 1288.40/1288.90 c 629 805 877.04 178.80 4.91 1000000 0 1290.00/1290.50 c 568 768 814.49 177.94 4.58 1000000 0 1291.60/1292.11 c 615 835 841.42 154.84 5.43 1000000 0 1293.20/1293.73 c 595 703 849.71 201.90 4.21 1000000 0 1294.80/1295.34 c 604 794 838.52 163.51 5.13 1000000 0 1296.40/1296.97 c 583 913 859.89 192.31 4.47 1000000 0 1298.00/1298.59 c 599 889 866.13 163.24 5.31 1000000 0 1299.60/1300.20 c 616 731 831.21 182.34 4.56 1000000 0 1301.29/1301.82 c 604 855 853.61 188.63 4.53 1000000 0 1302.90/1303.43 c 535 1021 833.06 180.38 4.62 1000000 0 1304.49/1305.03 c 540 745 822.78 186.16 4.42 1000000 0 1306.09/1306.64 c 583 832 839.55 161.73 5.19 1000000 0 1307.69/1308.26 c 571 901 850.20 177.08 4.80 1000000 0 1309.29/1309.88 c 576 725 855.64 194.66 4.40 1000000 0 1310.89/1311.49 c 558 726 827.30 178.23 4.64 1000000 0 1312.59/1313.10 c 581 910 834.53 162.22 5.14 1000000 0 1314.19/1314.72 c 606 847 851.10 158.84 5.36 1000000 0 1315.79/1316.33 c 583 646 858.13 164.48 5.22 1000000 0 1317.39/1317.94 c 566 873 825.38 178.73 4.62 1000000 0 1318.99/1319.55 c 574 773 831.44 177.19 4.69 1000000 0 1320.59/1321.16 c 553 590 860.70 139.93 6.15 1000000 0 1322.19/1322.77 c 607 702 835.61 143.62 5.82 1000000 0 1323.79/1324.39 c 581 866 845.89 178.32 4.74 1000000 0 1325.48/1326.00 c 546 819 835.33 175.76 4.75 1000000 0 1327.09/1327.61 c 512 760 844.83 157.59 5.36 1000000 0 1328.68/1329.23 c 556 906 842.35 183.51 4.59 1000000 0 1330.28/1330.84 c 603 774 843.99 174.80 4.83 1000000 0 1331.88/1332.47 c 584 913 874.42 160.06 5.46 1000000 0 1333.48/1334.09 c 604 928 866.24 191.05 4.53 1000000 0 1335.18/1335.71 c 586 906 858.08 198.69 4.32 1000000 0 1336.78/1337.32 c 595 692 823.04 164.41 5.01 1000000 0 1338.38/1338.93 c 562 767 851.86 151.41 5.63 1000000 0 1339.98/1340.54 c 588 854 822.00 168.89 4.87 1000000 0 1341.58/1342.18 c 578 771 874.94 215.12 4.07 1000000 0 1343.28/1343.80 c 590 792 838.67 167.69 5.00 1000000 0 1344.88/1345.41 c 564 751 844.46 193.34 4.37 1000000 0 1346.48/1347.03 c 539 690 841.37 182.54 4.61 1000000 0 1348.09/1348.66 c 583 865 860.44 200.71 4.29 1000000 0 1349.67/1350.27 c 571 824 846.78 200.00 4.23 1000000 0 1351.38/1351.91 c 589 616 878.19 182.52 4.81 1000000 0 1352.97/1353.51 c 573 899 826.35 176.38 4.69 1000000 0 1354.58/1355.14 c 593 819 869.53 205.04 4.24 1000000 0 1356.17/1356.76 c 595 889 877.27 183.59 4.78 1000000 0 1357.77/1358.36 c 567 720 824.60 189.52 4.35 1000000 0 1359.37/1359.98 c 545 689 849.84 173.64 4.89 1000000 0 1361.07/1361.60 c 556 833 865.50 198.05 4.37 1000000 0 1362.67/1363.20 c 530 727 824.78 193.91 4.25 1000000 0 1364.27/1364.82 c 555 818 851.55 157.39 5.41 1000000 0 1365.87/1366.42 c 526 748 817.95 201.19 4.07 1000000 0 1367.47/1368.04 c 600 773 869.92 150.40 5.78 1000000 0 1369.07/1369.65 c 576 874 826.35 169.29 4.88 1000000 0 1370.67/1371.26 c 590 725 832.28 177.91 4.68 1000000 0 1372.28/1372.86 c 545 776 809.77 158.79 5.10 1000000 0 1373.87/1374.47 c 597 779 838.05 182.33 4.60 1000000 0 1375.47/1376.08 c 540 747 839.78 149.72 5.61 1000000 0 1377.17/1377.71 c 617 739 871.65 189.35 4.60 1000000 0 1378.77/1379.34 c 604 884 895.50 210.65 4.25 1000000 0 1380.37/1380.98 c 653 823 902.47 197.14 4.58 1000000 0 1381.96/1382.59 c 613 891 848.82 183.99 4.61 1000000 0 1383.66/1384.20 c 560 826 842.29 210.48 4.00 1000000 0 1385.26/1385.81 c 595 700 847.37 176.84 4.79 1000000 0 1386.86/1387.42 c 532 787 827.92 147.47 5.61 1000000 0 1388.46/1389.02 c 557 736 828.36 162.82 5.09 1000000 0 1390.06/1390.65 c 559 801 877.50 192.89 4.55 1000000 0 1391.66/1392.26 c 512 767 836.55 195.44 4.28 1000000 0 1393.26/1393.88 c 610 647 842.14 180.17 4.67 1000000 0 1394.96/1395.50 c 594 838 849.39 218.51 3.89 1000000 0 1396.56/1397.12 c 572 790 858.86 169.91 5.05 1000000 0 1398.16/1398.74 c 606 828 859.10 168.96 5.08 1000000 0 1399.77/1400.35 c 539 694 819.12 168.99 4.85 1000000 0 1401.36/1401.97 c 607 849 869.87 172.19 5.05 1000000 0 1402.96/1403.58 c 590 745 865.19 149.59 5.78 1000000 0 1404.66/1405.21 c 615 787 877.53 214.93 4.08 1000000 0 1406.26/1406.84 c 549 959 900.48 186.78 4.82 1000000 0 1407.85/1408.46 c 577 864 844.85 192.10 4.40 1000000 0 1409.45/1410.07 c 594 723 844.61 174.82 4.83 1000000 0 1411.05/1411.68 c 511 741 823.77 175.61 4.69 1000000 0 1412.75/1413.32 c 624 780 899.41 201.17 4.47 1000000 0 1414.35/1414.92 c 529 811 819.83 171.65 4.78 1000000 0 1415.95/1416.54 c 565 680 842.00 204.48 4.12 1000000 0 1417.55/1418.16 c 585 824 859.31 177.21 4.85 1000000 0 1419.25/1419.80 c 583 830 878.78 192.57 4.56 1000000 0 1420.85/1421.41 c 606 745 857.19 177.94 4.82 1000000 0 1422.45/1423.02 c 547 714 825.48 154.55 5.34 1000000 0 1424.05/1424.65 c 514 948 870.62 176.47 4.93 1000000 0 1425.65/1426.26 c 617 768 852.58 162.54 5.25 1000000 0 1427.25/1427.89 c 572 795 876.52 162.93 5.38 1000000 0 1428.95/1429.50 c 500 687 825.15 202.40 4.08 1000000 0 1430.55/1431.11 c 582 812 860.40 171.98 5.00 1000000 0 1432.14/1432.75 c 572 884 878.92 195.48 4.50 1000000 0 1433.75/1434.37 c 619 804 859.54 203.29 4.23 1000000 0 1435.34/1435.99 c 562 791 841.66 185.03 4.55 1000000 0 1436.94/1437.59 c 576 873 828.92 170.25 4.87 1000000 0 1438.64/1439.21 c 537 766 833.59 203.65 4.09 1000000 0 1440.24/1440.83 c 601 723 857.39 179.35 4.78 1000000 0 1441.84/1442.45 c 562 930 840.01 169.03 4.97 1000000 0 1443.44/1444.07 c 589 764 844.84 179.76 4.70 1000000 0 1445.04/1445.67 c 551 816 815.49 153.44 5.31 1000000 0 1446.64/1447.28 c 600 863 836.73 201.34 4.16 1000000 0 1448.34/1448.91 c 567 801 877.76 188.59 4.65 1000000 0 1449.94/1450.52 c 599 853 841.23 157.92 5.33 1000000 0 1451.54/1452.14 c 537 766 836.40 152.95 5.47 1000000 0 1453.14/1453.75 c 580 806 824.16 155.70 5.29 1000000 0 1454.74/1455.35 c 547 872 820.83 167.81 4.89 1000000 0 1456.33/1456.96 c 534 775 847.92 145.11 5.84 1000000 0 1457.94/1458.58 c 599 660 871.79 178.33 4.89 1000000 0 1459.53/1460.19 c 588 630 838.79 170.85 4.91 1000000 0 1461.24/1461.81 c 562 935 834.77 187.84 4.44 1000000 0 1462.83/1463.43 c 589 874 857.74 165.19 5.19 1000000 0 1464.43/1465.04 c 612 785 856.52 209.76 4.08 1000000 0 1466.03/1466.66 c 604 832 849.49 194.25 4.37 1000000 0 1467.63/1468.28 c 594 803 845.85 182.71 4.63 1000000 0 1469.33/1469.90 c 608 706 857.81 162.42 5.28 1000000 0 1470.93/1471.52 c 538 821 848.78 193.94 4.38 1000000 0 1472.53/1473.15 c 573 783 856.17 165.94 5.16 1000000 0 1474.13/1474.77 c 545 736 861.80 170.96 5.04 1000000 0 1475.73/1476.37 c 577 858 843.59 196.69 4.29 1000000 0 1477.43/1478.00 c 593 876 861.50 200.21 4.30 1000000 0 1479.03/1479.62 c 603 842 849.31 171.36 4.96 1000000 0 1480.63/1481.24 c 587 953 864.99 183.32 4.72 1000000 0 1482.23/1482.87 c 630 917 880.22 166.89 5.27 1000000 0 1483.92/1484.50 c 578 926 861.63 171.77 5.02 1000000 0 1485.53/1486.11 c 532 802 848.46 176.09 4.82 1000000 0 1487.12/1487.72 c 544 680 848.34 158.58 5.35 1000000 0 1488.73/1489.34 c 614 823 861.72 163.30 5.28 1000000 0 1490.32/1490.96 c 545 867 832.24 167.86 4.96 1000000 0 1491.92/1492.58 c 625 736 861.60 163.03 5.28 1000000 0 1493.62/1494.21 c 578 889 851.26 185.74 4.58 1000000 0 1495.22/1495.83 c 592 760 885.33 182.85 4.84 1000000 0 1496.82/1497.44 c 593 759 834.26 138.34 6.03 1000000 0 1498.42/1499.06 c 589 865 828.35 160.46 5.16 1000000 0 1500.02/1500.69 c 613 799 872.79 184.16 4.74 1000000 0 1501.72/1502.30 c 565 836 820.74 165.13 4.97 1000000 0 1503.32/1503.91 c 544 821 834.82 177.28 4.71 1000000 0 1504.92/1505.53 c 610 938 867.65 164.72 5.27 1000000 0 1506.52/1507.14 c 596 911 832.83 160.20 5.20 1000000 0 1508.12/1508.75 c 591 885 828.43 171.31 4.84 1000000 0 1509.72/1510.35 c 588 916 818.69 189.03 4.33 1000000 0 1511.31/1511.95 c 566 722 831.13 183.21 4.54 1000000 0 1512.92/1513.57 c 600 726 850.60 201.75 4.22 1000000 0 1514.51/1515.19 c 566 836 845.03 184.03 4.59 1000000 0 1516.11/1516.79 c 570 757 814.53 142.55 5.71 1000000 0 1517.81/1518.41 c 580 741 866.68 214.57 4.04 1000000 0 1519.41/1520.03 c 600 621 863.13 171.24 5.04 1000000 0 1521.01/1521.63 c 532 897 819.51 187.88 4.36 1000000 0 1522.61/1523.26 c 572 803 852.00 172.12 4.95 1000000 0 1524.21/1524.88 c 596 812 854.63 185.43 4.61 1000000 0 1525.81/1526.48 c 563 627 846.79 154.95 5.46 1000000 0 1527.41/1528.08 c 587 815 826.62 142.74 5.79 1000000 0 1529.01/1529.69 c 580 699 835.20 170.56 4.90 1000000 0 1530.61/1531.30 c 569 740 835.95 180.30 4.64 1000000 0 1532.31/1532.92 c 618 833 870.18 180.07 4.83 1000000 0 1533.91/1534.53 c 576 793 842.71 201.45 4.18 1000000 0 1535.50/1536.15 c 557 841 861.51 222.43 3.87 1000000 0 1537.11/1537.77 c 548 676 841.35 194.43 4.33 1000000 0 1538.70/1539.38 c 584 930 850.96 191.15 4.45 1000000 0 1540.30/1540.98 c 542 852 825.06 156.22 5.28 1000000 0 1542.00/1542.61 c 633 910 877.67 190.11 4.62 1000000 0 1543.60/1544.23 c 601 856 884.38 192.88 4.59 1000000 0 1545.20/1545.84 c 563 721 846.19 173.73 4.87 1000000 0 1546.80/1547.46 c 527 717 836.42 174.89 4.78 1000000 0 1548.40/1549.07 c 537 843 834.49 181.32 4.60 1000000 0 1550.00/1550.68 c 580 838 846.51 151.02 5.61 1000000 0 1551.70/1552.30 c 533 847 835.62 170.64 4.90 1000000 0 1553.30/1553.91 c 587 923 843.86 163.87 5.15 1000000 0 1554.90/1555.53 c 579 780 849.39 163.21 5.20 1000000 0 1556.50/1557.15 c 566 809 859.17 214.60 4.00 1000000 0 1558.10/1558.77 c 652 782 871.10 151.20 5.76 1000000 0 1559.69/1560.38 c 536 817 828.28 212.32 3.90 1000000 0 1561.30/1562.00 c 589 771 860.21 172.69 4.98 1000000 0 1562.99/1563.62 c 605 869 866.73 207.80 4.17 1000000 0 1564.60/1565.24 c 606 848 866.62 187.88 4.61 1000000 0 1566.19/1566.85 c 534 823 840.67 158.27 5.31 1000000 0 1567.79/1568.47 c 575 725 856.84 181.14 4.73 1000000 0 1569.39/1570.08 c 514 681 823.01 196.90 4.18 1000000 0 1571.09/1571.71 c 593 852 867.33 210.75 4.12 1000000 0 1572.69/1573.33 c 614 824 844.19 168.24 5.02 1000000 0 1574.29/1574.93 c 596 719 852.13 182.04 4.68 1000000 0 1575.89/1576.55 c 502 641 852.20 214.13 3.98 1000000 0 1577.49/1578.16 c 541 841 825.89 203.21 4.06 1000000 0 1579.09/1579.78 c 604 768 855.93 178.89 4.78 1000000 0 1580.69/1581.38 c 602 793 831.90 179.80 4.63 1000000 0 1582.39/1583.00 c 590 725 850.48 162.49 5.23 1000000 0 1583.98/1584.63 c 548 745 854.43 172.44 4.95 1000000 0 1585.59/1586.24 c 569 930 836.46 205.57 4.07 1000000 0 1587.18/1587.85 c 552 835 852.06 222.82 3.82 1000000 0 1588.78/1589.45 c 586 821 820.04 206.52 3.97 1000000 0 1590.37/1591.06 c 557 840 826.28 179.34 4.61 1000000 0 1591.97/1592.67 c 578 747 834.60 182.93 4.56 1000000 0 1593.57/1594.27 c 623 789 830.26 165.08 5.03 1000000 0 1595.27/1595.91 c 584 761 863.33 188.19 4.59 1000000 0 1596.87/1597.53 c 582 735 860.85 182.52 4.72 1000000 0 1598.47/1599.14 c 527 979 848.92 171.57 4.95 1000000 0 1600.07/1600.76 c 537 831 847.66 180.12 4.71 1000000 0 1601.67/1602.37 c 599 767 844.70 147.79 5.72 1000000 0 1603.27/1603.99 c 577 812 852.66 203.62 4.19 1000000 0 1604.97/1605.60 c 562 716 852.29 175.23 4.86 1000000 0 1606.57/1607.20 c 572 895 827.07 175.44 4.71 1000000 0 1608.17/1608.83 c 572 764 851.61 182.39 4.67 1000000 0 1609.77/1610.42 c 548 905 814.72 162.97 5.00 1000000 0 1611.37/1612.04 c 631 718 873.41 158.90 5.50 1000000 0 1612.97/1613.66 c 611 722 832.73 183.57 4.54 1000000 0 1614.56/1615.28 c 550 761 850.45 187.69 4.53 1000000 0 1616.16/1616.89 c 593 849 844.63 187.14 4.51 1000000 0 1617.86/1618.51 c 584 943 841.73 159.38 5.28 1000000 0 1619.46/1620.13 c 580 760 857.23 169.43 5.06 1000000 0 1621.06/1621.75 c 550 660 874.48 188.41 4.64 1000000 0 1622.66/1623.37 c 602 794 857.02 185.66 4.62 1000000 0 1624.26/1624.97 c 579 824 820.39 164.34 4.99 1000000 0 1625.86/1626.58 c 527 777 830.40 174.84 4.75 1000000 0 1627.46/1628.18 c 564 672 846.24 180.67 4.68 1000000 0 1629.16/1629.80 c 624 812 850.92 189.73 4.48 1000000 0 1630.76/1631.42 c 592 764 873.82 168.41 5.19 1000000 0 1632.36/1633.04 c 565 880 856.68 192.57 4.45 1000000 0 1633.96/1634.65 c 574 767 849.02 167.86 5.06 1000000 0 1635.56/1636.27 c 556 677 849.96 176.85 4.81 1000000 0 1637.16/1637.88 c 515 781 858.18 190.26 4.51 1000000 0 1638.85/1639.51 c 496 841 858.65 200.88 4.27 1000000 0 1640.46/1641.13 c 602 841 844.72 193.07 4.38 1000000 0 1642.05/1642.76 c 560 828 862.42 187.67 4.60 1000000 0 1643.65/1644.37 c 606 790 835.18 166.00 5.03 1000000 0 1645.25/1645.99 c 555 673 847.34 172.55 4.91 1000000 0 1646.95/1647.60 c 596 674 855.19 192.71 4.44 1000000 0 1648.55/1649.22 c 561 726 864.66 192.22 4.50 1000000 0 1650.15/1650.84 c 566 831 853.71 178.65 4.78 1000000 0 1651.75/1652.45 c 512 828 843.20 194.54 4.33 1000000 0 1653.35/1654.07 c 611 907 846.44 185.82 4.56 1000000 0 1654.95/1655.68 c 607 923 837.26 164.12 5.10 1000000 0 1656.55/1657.29 c 529 770 832.05 172.92 4.81 1000000 0 1658.25/1658.91 c 547 932 843.96 170.06 4.96 1000000 0 1659.85/1660.52 c 575 880 855.13 182.62 4.68 1000000 0 1661.46/1662.15 c 560 768 861.17 187.81 4.59 1000000 0 1663.05/1663.76 c 594 856 847.30 172.76 4.90 1000000 0 1664.66/1665.38 c 611 961 863.55 178.93 4.83 1000000 0 1666.35/1667.00 c 594 860 870.58 184.92 4.71 1000000 0 1667.96/1668.60 c 586 746 828.09 146.42 5.66 1000000 0 1669.55/1670.23 c 519 896 866.83 209.97 4.13 1000000 0 1671.15/1671.83 c 585 874 838.71 171.90 4.88 1000000 0 1672.75/1673.45 c 606 758 868.09 169.27 5.13 1000000 0 1674.35/1675.06 c 578 730 838.42 178.96 4.68 1000000 0 1675.95/1676.68 c 568 745 861.91 168.19 5.12 1000000 0 1677.65/1678.30 c 606 649 858.13 184.07 4.66 1000000 0 1679.25/1679.90 c 577 797 823.96 159.07 5.18 1000000 0 1680.85/1681.53 c 552 911 866.59 186.27 4.65 1000000 0 1682.45/1683.15 c 610 761 877.89 166.97 5.26 1000000 0 1684.05/1684.77 c 598 871 871.80 201.75 4.32 1000000 0 1685.74/1686.40 c 562 770 862.16 166.53 5.18 1000000 0 1687.34/1688.00 c 571 824 844.14 167.72 5.03 1000000 0 1688.95/1689.62 c 579 705 841.61 177.73 4.74 1000000 0 1690.54/1691.23 c 579 851 855.55 154.65 5.53 1000000 0 1692.15/1692.84 c 527 754 835.30 210.99 3.96 1000000 0 1693.74/1694.47 c 600 666 878.24 188.24 4.67 1000000 0 1695.34/1696.08 c 583 826 838.02 169.11 4.96 1000000 0 1696.94/1697.68 c 584 824 817.09 136.35 5.99 1000000 0 1698.54/1699.29 c 638 733 843.99 142.66 5.92 1000000 0 1700.24/1700.91 c 545 843 859.81 187.24 4.59 1000000 0 1701.84/1702.52 c 570 813 846.67 141.72 5.97 1000000 0 1703.44/1704.14 c 582 634 843.10 202.32 4.17 1000000 0 1705.04/1705.75 c 591 930 834.55 153.77 5.43 1000000 0 1706.64/1707.38 c 620 713 872.38 182.59 4.78 1000000 0 1708.34/1709.00 c 597 800 847.39 181.42 4.67 1000000 0 1709.94/1710.61 c 562 862 855.06 215.50 3.97 1000000 0 1711.54/1712.24 c 602 920 856.87 140.70 6.09 1000000 0 1713.14/1713.86 c 578 790 853.44 146.18 5.84 1000000 0 1714.74/1715.49 c 597 824 869.42 211.27 4.12 1000000 0 1716.44/1717.12 c 605 855 877.25 197.92 4.43 1000000 0 1718.03/1718.72 c 545 737 810.22 152.98 5.30 1000000 0 1719.64/1720.33 c 523 919 849.58 153.89 5.52 1000000 0 1721.23/1721.93 c 538 777 825.47 158.99 5.19 1000000 0 1722.83/1723.54 c 572 808 833.93 199.60 4.18 1000000 0 1724.43/1725.15 c 536 795 846.51 198.97 4.25 1000000 0 1726.03/1726.76 c 604 871 834.76 169.28 4.93 1000000 0 1727.63/1728.37 c 569 929 833.74 150.04 5.56 1000000 0 1729.33/1730.00 c 618 873 885.07 164.43 5.38 1000000 0 1730.93/1731.61 c 601 808 845.14 175.26 4.82 1000000 0 1732.53/1733.23 c 581 860 839.37 174.59 4.81 1000000 0 1734.13/1734.84 c 595 775 849.74 179.80 4.73 1000000 0 1735.73/1736.47 c 559 893 864.66 170.32 5.08 1000000 0 1737.33/1738.09 c 575 846 866.40 221.30 3.92 1000000 0 1739.03/1739.71 c 549 793 839.26 188.69 4.45 1000000 0 1740.63/1741.33 c 592 800 861.14 165.17 5.21 1000000 0 1742.22/1742.95 c 540 919 841.07 201.57 4.17 1000000 0 1743.83/1744.56 c 536 740 822.62 173.85 4.73 1000000 0 1745.42/1746.17 c 592 791 854.45 152.59 5.60 1000000 0 1747.02/1747.78 c 555 765 830.82 170.10 4.88 1000000 0 1748.62/1749.39 c 570 983 835.85 165.80 5.04 1000000 0 1750.32/1751.00 c 576 776 837.93 158.56 5.28 1000000 0 1751.92/1752.62 c 558 800 836.10 181.85 4.60 1000000 0 1753.52/1754.22 c 549 811 816.48 178.38 4.58 1000000 0 1755.12/1755.85 c 615 926 873.74 216.37 4.04 1000000 0 1756.72/1757.48 c 552 737 858.64 164.68 5.21 1000000 0 1758.32/1759.09 c 573 919 839.38 199.96 4.20 1000000 0 1760.02/1760.71 c 591 858 845.91 173.89 4.86 1000000 0 1761.62/1762.32 c 614 749 853.94 175.07 4.88 1000000 0 1763.21/1763.93 c 564 796 823.06 175.00 4.70 1000000 0 1764.82/1765.54 c 550 782 852.23 183.97 4.63 1000000 0 1766.41/1767.15 c 633 771 855.84 146.07 5.86 1000000 0 1768.02/1768.78 c 603 817 866.20 181.27 4.78 1000000 0 1769.61/1770.39 c 619 762 857.95 179.11 4.79 1000000 0 1771.32/1772.01 c 589 906 833.10 205.93 4.05 1000000 0 1772.91/1773.64 c 583 721 876.51 180.87 4.85 1000000 0 1774.51/1775.26 c 590 845 854.84 181.82 4.70 1000000 0 1776.11/1776.87 c 535 856 836.20 150.89 5.54 1000000 0 1777.71/1778.49 c 607 833 865.85 158.68 5.46 1000000 0 1779.41/1780.10 c 545 820 847.85 165.76 5.11 1000000 0 1781.01/1781.72 c 605 897 850.61 179.14 4.75 1000000 0 1782.61/1783.33 c 561 950 845.80 185.85 4.55 1000000 0 1784.21/1784.94 c 540 881 836.93 167.25 5.00 1000000 0 1785.81/1786.56 c 579 775 867.66 197.03 4.40 1000000 0 1787.41/1788.18 c 651 860 855.06 149.95 5.70 1000000 0 1789.11/1789.80 c 562 774 842.88 177.66 4.74 1000000 0 1790.70/1791.41 c 564 783 840.49 207.83 4.04 1000000 0 1792.31/1793.03 c 569 912 861.43 161.10 5.35 1000000 0 1793.90/1794.64 c 536 679 839.92 172.81 4.86 1000000 0 1795.51/1796.26 c 625 885 870.95 187.36 4.65 1000000 0 1797.10/1797.88 c 548 775 866.66 197.15 4.40 1000000 0 1798.70/1799.49 c 526 840 828.15 201.03 4.12 1000000 0 1800.02/1800.71 HOME/run: line 2: 21036 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-2685084-1278439749/watcher-2685084-1278439749 -o /tmp/evaluation-result-2685084-1278439749/solver-2685084-1278439749 -C 1800 -W 2000 -M 1800 run HOME/instance-2685084-1278439749.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21035 /proc/meminfo: memFree=1464916/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) R 21033 21035 20703 0 -1 4202496 343 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972515733 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [startup+0.0832489 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21035 /proc/meminfo: memFree=1464916/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101251 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21035 /proc/meminfo: memFree=1464916/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301288 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21035 /proc/meminfo: memFree=1464916/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70136 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21035 /proc/meminfo: memFree=1464916/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21037 /proc/meminfo: memFree=1457956/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1.49 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1763 0 0 0 149 0 0 0 25 0 1 0 12182232 41422848 1692 1992294400 134512640 135071400 4293419344 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1692 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21037 /proc/meminfo: memFree=1457832/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=3.09 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1771 0 0 0 309 0 0 0 25 0 1 0 12182232 41422848 1700 1992294400 134512640 135071400 4293419344 18446744073709551615 134526903 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1700 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21038 /proc/meminfo: memFree=1457584/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=6.29 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1771 0 0 0 629 0 0 0 25 0 1 0 12182232 41422848 1700 1992294400 134512640 135071400 4293419344 18446744073709551615 134526819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1700 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21038 /proc/meminfo: memFree=1457584/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=12.68 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1771 0 0 0 1268 0 0 0 25 0 1 0 12182232 41422848 1700 1992294400 134512640 135071400 4293419344 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1700 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21038 /proc/meminfo: memFree=1457584/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=25.48 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 2548 0 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21038 /proc/meminfo: memFree=1457584/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=51.07 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 5107 0 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526164 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21040 /proc/meminfo: memFree=1457460/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=102.26 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 10226 0 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21042 /proc/meminfo: memFree=1457212/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=162.22 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 16222 0 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21043 /proc/meminfo: memFree=1457212/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=222.2 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 22220 0 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21044 /proc/meminfo: memFree=1457212/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=282.18 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 28218 0 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21046 /proc/meminfo: memFree=1457088/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=342.16 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 34215 1 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21048 /proc/meminfo: memFree=1457088/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=402.14 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 40213 1 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1121.87 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 112185 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21071 /proc/meminfo: memFree=1455724/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1181.84 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 118182 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21073 /proc/meminfo: memFree=1455476/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1241.82 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 124180 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21075 /proc/meminfo: memFree=1455352/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1301.8 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 130178 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526372 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21077 /proc/meminfo: memFree=1455352/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1361.77 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 136175 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.06 1.02 1.00 2/108 21078 /proc/meminfo: memFree=1455104/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1421.76 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 142174 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.07 1.03 1.00 2/108 21079 /proc/meminfo: memFree=1455104/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1481.72 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 148170 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.07 1.03 1.00 2/108 21081 /proc/meminfo: memFree=1454980/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1541.7 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 154168 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.00 2/108 21083 /proc/meminfo: memFree=1454732/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1601.67 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 160165 2 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.06 1.04 1.00 2/108 21085 /proc/meminfo: memFree=1454732/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1661.65 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 166162 3 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.06 1.05 1.00 2/108 21086 /proc/meminfo: memFree=1454608/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1721.63 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 172160 3 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.13 1.07 1.01 2/108 21087 /proc/meminfo: memFree=1454360/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1781.61 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 178158 3 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.10 1.06 1.00 2/108 21088 /proc/meminfo: memFree=1454360/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1800.02 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 179999 3 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526261 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.10 1.06 1.00 2/108 21088 /proc/meminfo: memFree=1454360/2059040 swapFree=4192956/4192956 [pid=21035] ppid=21033 vsize=8700 CPUtime=0 /proc/21035/stat : 21035 (run) S 21033 21035 20703 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12182232 8908800 244 1992294400 4194304 4922060 140736009672528 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21035/statm: 2175 244 204 178 0 68 0 [pid=21036] ppid=21035 vsize=40452 CPUtime=1800.02 /proc/21036/stat : 21036 (PB-wave) R 21035 21035 20703 0 -1 4202496 1772 0 0 0 179999 3 0 0 25 0 1 0 12182232 41422848 1701 1992294400 134512640 135071400 4293419344 18446744073709551615 134526261 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21036/statm: 10113 1701 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.03 CPU user time (s): 1799.99 CPU system time (s): 0.032994 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.032994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2144 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 6792 runsolver used 2.82357 second user time and 8.73967 second system time The end
Begin job on node044 at 2010-07-06 20:09:09 IDJOB=2685084 IDBENCH=74403 IDSOLVER=1171 FILE ID=node044/2685084-1278439749 PBS_JOBID= 11233475 Free space on /tmp= 62500 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1203_2-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685084-1278439749/watcher-2685084-1278439749 -o /tmp/evaluation-result-2685084-1278439749/solver-2685084-1278439749 -C 1800 -W 2000 -M 1800 run HOME/instance-2685084-1278439749.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29d0ff02cb083aadcb6230e81463c8e0 RANDOM SEED=798741675 node044.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.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1465444 kB Buffers: 106800 kB Cached: 354112 kB SwapCached: 0 kB Active: 178808 kB Inactive: 342536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1465444 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2496 kB Writeback: 0 kB AnonPages: 60320 kB Mapped: 14488 kB Slab: 50180 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180504 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= 62496 MiB End job on node044 at 2010-07-06 20:39:10