Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.08 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12015_3-unsat.opb |
MD5SUM | fb0fc5066c2899699e0ea4a2b024975c |
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.31995 |
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 | 21054 |
Total number of constraints | 66352 |
Number of constraints which are clauses | 66008 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 344 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 93 |
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 | 46 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 599 |
Number of bits of the biggest sum of numbers | 10 |
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.18 c PB-wave - v2 0.00/0.18 c command line = ./PB-wave 0.00/0.18 c seed = 100346513 0.00/0.18 c cutoff = 1000000 0.00/0.18 c tries = 1000000 0.00/0.18 c heuristic = c best, noise 50 / 100 0.00/0.18 #var 21054 #con 66352 0.00/0.18 mode is SAT 0.00/0.18 c tail starts after flip = 63162 0.00/0.18 c numatom = 21054, numclause = 66352, numliterals = 172137 0.00/0.18 c wff read in 0.00/0.18 c 0.00/0.18 c lowest final avg noise noise total avg mean mean 0.00/0.18 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.18 c this this this this this this success success until std 0.00/0.18 c try try try try try try rate tries assign dev 0.00/0.18 c 2.09/2.16 c 654 889 924.34 122.25 7.56 1000000 0 4.09/4.14 c 669 864 937.87 129.81 7.23 1000000 0 6.09/6.13 c 707 913 941.49 128.44 7.33 1000000 0 8.09/8.13 c 667 893 969.80 146.00 6.64 1000000 0 10.08/10.11 c 659 885 927.97 120.50 7.70 1000000 0 11.99/12.10 c 737 914 947.54 116.28 8.15 1000000 0 13.98/14.09 c 692 921 937.89 126.21 7.43 1000000 0 15.98/16.08 c 725 917 946.78 154.59 6.12 1000000 0 17.98/18.06 c 650 965 931.38 135.65 6.87 1000000 0 19.98/20.03 c 711 957 930.11 140.42 6.62 1000000 0 21.99/22.01 c 659 843 922.04 103.34 8.92 1000000 0 23.98/24.00 c 649 987 934.34 129.31 7.23 1000000 0 25.88/25.98 c 700 950 948.97 105.98 8.95 1000000 0 27.88/27.97 c 707 932 944.19 131.00 7.21 1000000 0 29.88/29.95 c 622 1030 947.82 132.55 7.15 1000000 0 31.89/31.95 c 625 910 953.40 137.12 6.95 1000000 0 33.88/33.93 c 640 762 911.97 132.09 6.90 1000000 0 35.88/35.91 c 704 954 933.88 134.63 6.94 1000000 0 37.88/37.90 c 711 927 942.34 139.65 6.75 1000000 0 39.78/39.88 c 662 913 916.83 113.46 8.08 1000000 0 41.78/41.87 c 700 906 956.45 117.95 8.11 1000000 0 43.78/43.85 c 643 869 930.87 119.68 7.78 1000000 0 45.78/45.83 c 709 1016 952.88 111.41 8.55 1000000 0 47.78/47.81 c 638 913 920.87 131.15 7.02 1000000 0 49.78/49.80 c 664 844 934.63 152.95 6.11 1000000 0 51.68/51.79 c 691 990 935.03 135.27 6.91 1000000 0 53.67/53.78 c 638 986 941.93 144.11 6.54 1000000 0 55.67/55.75 c 658 855 928.03 107.60 8.63 1000000 0 57.67/57.73 c 648 939 931.74 140.10 6.65 1000000 0 59.67/59.70 c 682 1052 920.04 100.62 9.14 1000000 0 61.58/61.68 c 673 967 910.72 126.54 7.20 1000000 0 63.57/63.65 c 684 1057 917.07 130.46 7.03 1000000 0 65.57/65.64 c 711 866 943.72 129.40 7.29 1000000 0 67.57/67.62 c 595 777 931.14 115.05 8.09 1000000 0 69.47/69.59 c 689 967 925.92 107.33 8.63 1000000 0 71.48/71.56 c 674 893 902.35 120.42 7.49 1000000 0 73.47/73.55 c 712 886 937.59 128.01 7.32 1000000 0 75.47/75.52 c 646 863 918.28 115.67 7.94 1000000 0 77.47/77.51 c 689 923 952.35 142.65 6.68 1000000 0 79.47/79.51 c 729 1050 957.68 136.78 7.00 1000000 0 81.37/81.49 c 645 936 915.21 132.69 6.90 1000000 0 83.37/83.47 c 634 925 927.60 123.81 7.49 1000000 0 85.37/85.46 c 696 811 939.48 133.58 7.03 1000000 0 87.37/87.45 c 651 929 931.75 115.53 8.07 1000000 0 89.37/89.43 c 698 877 922.80 114.00 8.09 1000000 0 91.37/91.40 c 671 1006 915.88 123.03 7.44 1000000 0 93.26/93.39 c 702 935 946.78 122.64 7.72 1000000 0 95.26/95.38 c 699 1001 948.49 135.83 6.98 1000000 0 97.26/97.37 c 724 945 955.31 121.24 7.88 1000000 0 99.26/99.35 c 694 816 924.88 128.83 7.18 1000000 0 101.26/101.34 c 646 908 952.25 123.24 7.73 1000000 0 103.27/103.32 c 661 892 922.77 121.84 7.57 1000000 0 105.26/105.30 c 674 987 921.43 148.20 6.22 1000000 0 107.16/107.29 c 679 857 950.30 136.88 6.94 1000000 0 109.16/109.27 c 602 960 924.91 142.60 6.49 1000000 0 111.16/111.25 c 667 981 929.86 131.42 7.08 1000000 0 113.17/113.23 c 642 872 919.76 114.31 8.05 1000000 0 115.16/115.20 c 670 896 919.34 101.76 9.03 1000000 0 117.06/117.19 c 665 938 930.33 150.88 6.17 1000000 0 119.06/119.17 c 675 899 939.61 146.91 6.40 1000000 0 121.06/121.18 c 692 725 969.15 123.90 7.82 1000000 0 123.06/123.16 c 643 937 937.15 151.24 6.20 1000000 0 125.06/125.14 c 646 866 923.28 128.86 7.16 1000000 0 127.06/127.12 c 660 884 923.54 148.27 6.23 1000000 0 129.06/129.10 c 656 935 918.84 131.76 6.97 1000000 0 130.96/131.08 c 710 861 943.50 112.26 8.40 1000000 0 132.96/133.06 c 663 861 922.12 164.94 5.59 1000000 0 134.95/135.04 c 658 939 916.57 117.87 7.78 1000000 0 136.95/137.02 c 683 787 924.90 120.32 7.69 1000000 0 138.85/138.99 c 684 938 920.22 108.22 8.50 1000000 0 140.85/140.97 c 652 909 916.37 137.17 6.68 1000000 0 142.86/142.95 c 675 845 941.95 140.19 6.72 1000000 0 144.85/144.94 c 700 998 930.79 105.81 8.80 1000000 0 146.85/146.93 c 729 759 950.09 132.18 7.19 1000000 0 148.85/148.91 c 687 947 935.01 138.40 6.76 1000000 0 150.75/150.88 c 647 1106 912.79 119.40 7.65 1000000 0 152.76/152.86 c 649 882 915.58 141.33 6.48 1000000 0 154.75/154.83 c 604 837 920.37 170.38 5.40 1000000 0 156.75/156.82 c 674 832 957.36 133.17 7.19 1000000 0 158.65/158.79 c 672 838 916.31 143.85 6.37 1000000 0 160.65/160.78 c 662 1014 942.70 143.59 6.57 1000000 0 162.65/162.76 c 670 906 927.26 139.62 6.64 1000000 0 164.65/164.73 c 641 986 925.16 132.64 6.97 1000000 0 166.65/166.71 c 653 999 917.87 159.75 5.75 1000000 0 168.65/168.70 c 672 868 942.97 119.78 7.87 1000000 0 170.55/170.68 c 722 1016 944.05 134.89 7.00 1000000 0 172.55/172.66 c 661 807 917.60 113.14 8.11 1000000 0 174.54/174.64 c 680 822 941.07 132.76 7.09 1000000 0 176.54/176.63 c 681 944 945.55 135.41 6.98 1000000 0 178.54/178.61 c 651 836 926.28 140.04 6.61 1000000 0 180.44/180.59 c 652 951 915.33 115.59 7.92 1000000 0 182.45/182.58 c 639 969 958.39 131.65 7.28 1000000 0 184.44/184.58 c 716 866 953.47 142.75 6.68 1000000 0 186.44/186.55 c 671 918 927.71 139.69 6.64 1000000 0 188.44/188.52 c 701 828 917.88 111.93 8.20 1000000 0 190.44/190.50 c 661 966 918.88 132.37 6.94 1000000 0 192.35/192.48 c 667 907 912.80 121.65 7.50 1000000 0 194.34/194.46 c 694 898 934.46 131.48 7.11 1000000 0 196.34/196.45 c 687 977 952.23 120.84 7.88 1000000 0 198.34/198.44 c 715 884 953.03 133.41 7.14 1000000 0 200.34/200.42 c 677 966 936.84 126.16 7.43 1000000 0 202.35/202.42 c 719 957 943.52 128.50 7.34 1000000 0 204.34/204.40 c 661 937 942.71 121.97 7.73 1000000 0 206.24/206.38 c 673 888 929.31 118.79 7.82 1000000 0 208.24/208.37 c 625 877 941.79 132.57 7.10 1000000 0 210.24/210.35 c 690 818 944.48 142.52 6.63 1000000 0 212.24/212.33 c 573 817 915.45 137.75 6.65 1000000 0 214.24/214.30 c 583 864 903.92 134.36 6.73 1000000 0 216.14/216.28 c 602 899 928.26 148.47 6.25 1000000 0 218.13/218.26 c 662 882 930.43 117.33 7.93 1000000 0 220.13/220.23 c 587 799 929.36 128.59 7.23 1000000 0 222.14/222.21 c 711 884 944.43 116.97 8.07 1000000 0 224.13/224.20 c 669 811 958.48 127.07 7.54 1000000 0 226.03/226.18 c 659 886 925.50 107.68 8.59 1000000 0 228.03/228.16 c 654 832 923.68 107.09 8.63 1000000 0 230.03/230.16 c 676 899 958.17 136.31 7.03 1000000 0 232.04/232.14 c 643 1047 937.75 120.12 7.81 1000000 0 234.03/234.12 c 659 1037 928.52 134.02 6.93 1000000 0 236.03/236.10 c 600 853 921.29 123.27 7.47 1000000 0 237.93/238.08 c 681 919 948.76 141.77 6.69 1000000 0 239.93/240.06 c 670 882 945.89 129.95 7.28 1000000 0 241.94/242.04 c 586 880 924.41 133.93 6.90 1000000 0 243.93/244.02 c 654 820 952.19 136.92 6.95 1000000 0 245.83/246.00 c 675 1063 932.70 124.57 7.49 1000000 0 247.83/247.99 c 669 938 929.69 119.35 7.79 1000000 0 249.83/249.96 c 648 865 926.45 128.27 7.22 1000000 0 251.83/251.94 c 678 934 934.16 107.58 8.68 1000000 0 253.83/253.93 c 670 797 928.46 146.91 6.32 1000000 0 255.83/255.91 c 672 798 944.17 110.77 8.52 1000000 0 257.82/257.90 c 715 960 961.81 139.36 6.90 1000000 0 259.72/259.89 c 670 907 938.23 124.66 7.53 1000000 0 261.73/261.87 c 699 965 931.65 140.66 6.62 1000000 0 263.72/263.86 c 665 723 941.22 125.18 7.52 1000000 0 265.72/265.84 c 612 902 917.42 130.34 7.04 1000000 0 267.72/267.81 c 703 922 917.70 115.59 7.94 1000000 0 269.73/269.80 c 648 896 949.54 120.19 7.90 1000000 0 271.64/271.78 c 653 1062 933.45 138.23 6.75 1000000 0 273.63/273.77 c 686 805 933.73 137.41 6.80 1000000 0 275.63/275.77 c 620 893 960.16 118.03 8.14 1000000 0 277.63/277.74 c 638 951 902.09 116.51 7.74 1000000 0 279.63/279.72 c 655 1040 933.41 124.02 7.53 1000000 0 281.63/281.71 c 654 759 922.77 132.80 6.95 1000000 0 283.63/283.70 c 672 1038 946.85 140.02 6.76 1000000 0 285.53/285.67 c 664 969 915.88 123.48 7.42 1000000 0 287.53/287.65 c 679 912 935.07 121.78 7.68 1000000 0 289.52/289.64 c 687 932 929.14 123.83 7.50 1000000 0 291.52/291.62 c 693 1060 947.93 136.24 6.96 1000000 0 293.53/293.61 c 615 798 946.36 130.56 7.25 1000000 0 295.42/295.59 c 698 831 925.06 123.30 7.50 1000000 0 297.42/297.57 c 688 1003 917.92 115.08 7.98 1000000 0 299.42/299.54 c 666 912 927.37 137.43 6.75 1000000 0 301.42/301.52 c 669 886 915.48 117.78 7.77 1000000 0 303.43/303.52 c 670 839 972.17 136.19 7.14 1000000 0 305.42/305.50 c 714 820 932.75 113.36 8.23 1000000 0 307.32/307.47 c 679 1006 913.52 98.19 9.30 1000000 0 309.32/309.47 c 678 928 957.92 138.70 6.91 1000000 0 311.32/311.45 c 680 827 929.58 121.36 7.66 1000000 0 313.33/313.43 c 684 949 927.43 135.51 6.84 1000000 0 315.32/315.42 c 631 941 971.83 150.62 6.45 1000000 0 317.32/317.41 c 678 817 931.88 138.80 6.71 1000000 0 319.32/319.40 c 688 848 960.97 152.37 6.31 1000000 0 321.22/321.38 c 613 857 921.82 140.75 6.55 1000000 0 323.22/323.36 c 639 923 919.64 132.38 6.95 1000000 0 325.22/325.33 c 684 825 913.30 127.17 7.18 1000000 0 327.22/327.31 c 730 1085 945.41 115.55 8.18 1000000 0 329.11/329.29 c 647 992 941.65 127.20 7.40 1000000 0 331.11/331.28 c 720 924 942.64 117.25 8.04 1000000 0 333.12/333.26 c 685 976 920.73 147.48 6.24 1000000 0 335.11/335.24 c 650 876 920.29 133.00 6.92 1000000 0 337.11/337.22 c 655 824 926.42 134.43 6.89 1000000 0 339.11/339.21 c 614 874 931.86 131.95 7.06 1000000 0 341.01/341.19 c 692 1055 931.29 119.77 7.78 1000000 0 343.02/343.17 c 672 889 917.39 117.77 7.79 1000000 0 345.01/345.15 c 664 885 917.31 156.23 5.87 1000000 0 347.01/347.12 c 709 915 914.05 129.87 7.04 1000000 0 349.01/349.11 c 651 933 933.48 114.91 8.12 1000000 0 350.91/351.09 c 654 796 917.09 133.28 6.88 1000000 0 352.92/353.08 c 657 863 942.10 132.63 7.10 1000000 0 354.91/355.06 c 695 840 947.29 140.50 6.74 1000000 0 356.91/357.05 c 676 981 958.08 151.72 6.31 1000000 0 358.91/359.04 c 653 870 946.58 126.09 7.51 1000000 0 360.91/361.03 c 662 1050 953.63 134.83 7.07 1000000 0 362.91/363.01 c 710 971 931.81 123.26 7.56 1000000 0 364.81/365.00 c 687 881 930.83 146.12 6.37 1000000 0 366.81/366.98 c 703 899 953.37 134.35 7.10 1000000 0 368.80/368.99 c 729 849 983.56 150.70 6.53 1000000 0 370.80/370.97 c 658 900 925.34 122.68 7.54 1000000 0 372.81/372.95 c 670 992 925.54 125.95 7.35 1000000 0 374.80/374.94 c 704 908 953.45 137.70 6.92 1000000 0 376.80/376.93 c 669 742 952.10 132.42 7.19 1000000 0 378.80/378.92 c 693 821 943.33 111.47 8.46 1000000 0 380.70/380.89 c 619 1030 910.53 139.02 6.55 1000000 0 382.71/382.87 c 676 974 937.68 129.07 7.26 1000000 0 384.70/384.86 c 689 1000 932.14 133.56 6.98 1000000 0 386.70/386.85 c 682 854 945.17 130.29 7.25 1000000 0 388.70/388.84 c 722 930 957.52 124.04 7.72 1000000 0 390.70/390.83 c 698 814 941.33 139.05 6.77 1000000 0 392.70/392.82 c 720 883 948.14 129.22 7.34 1000000 0 394.71/394.80 c 665 794 930.05 117.01 7.95 1000000 0 396.60/396.78 c 692 857 930.68 121.65 7.65 1000000 0 398.60/398.76 c 645 694 932.14 147.98 6.30 1000000 0 400.60/400.75 c 673 925 951.83 124.97 7.62 1000000 0 402.60/402.73 c 655 978 914.98 108.77 8.41 1000000 0 404.60/404.71 c 648 932 946.95 144.48 6.55 1000000 0 406.60/406.70 c 719 901 943.94 122.64 7.70 1000000 0 408.50/408.69 c 626 996 937.35 142.97 6.56 1000000 0 410.50/410.67 c 705 872 931.99 117.73 7.92 1000000 0 412.50/412.65 c 631 855 921.71 151.38 6.09 1000000 0 414.50/414.64 c 728 949 955.52 115.62 8.26 1000000 0 416.49/416.61 c 673 996 912.43 120.57 7.57 1000000 0 418.39/418.58 c 681 880 902.40 106.29 8.49 1000000 0 420.39/420.57 c 714 927 966.35 130.89 7.38 1000000 0 422.39/422.54 c 647 836 924.83 121.30 7.62 1000000 0 424.40/424.53 c 645 862 931.79 134.01 6.95 1000000 0 426.39/426.50 c 593 893 926.84 137.89 6.72 1000000 0 428.39/428.50 c 654 1014 955.71 141.66 6.75 1000000 0 430.29/430.47 c 699 868 934.27 139.35 6.70 1000000 0 432.29/432.45 c 708 1067 919.58 116.01 7.93 1000000 0 434.30/434.43 c 614 799 934.66 150.80 6.20 1000000 0 436.29/436.41 c 704 867 940.55 132.65 7.09 1000000 0 438.29/438.40 c 623 779 922.48 142.14 6.49 1000000 0 440.19/440.38 c 646 911 926.82 113.35 8.18 1000000 0 442.19/442.36 c 695 855 948.25 128.95 7.35 1000000 0 444.20/444.35 c 648 831 947.94 144.17 6.58 1000000 0 446.19/446.32 c 657 893 907.17 133.85 6.78 1000000 0 448.19/448.31 c 700 827 932.75 137.82 6.77 1000000 0 450.09/450.29 c 687 898 920.67 121.23 7.59 1000000 0 452.09/452.27 c 682 934 942.20 142.71 6.60 1000000 0 454.09/454.27 c 724 1023 944.33 159.99 5.90 1000000 0 456.08/456.26 c 638 850 937.21 181.08 5.18 1000000 0 458.08/458.24 c 686 870 939.25 115.53 8.13 1000000 0 460.09/460.22 c 712 996 935.23 119.32 7.84 1000000 0 462.08/462.21 c 699 984 921.35 120.65 7.64 1000000 0 463.99/464.18 c 689 918 913.11 104.30 8.75 1000000 0 465.98/466.17 c 702 896 951.13 127.21 7.48 1000000 0 467.98/468.16 c 638 805 929.90 156.98 5.92 1000000 0 469.98/470.15 c 683 817 934.42 135.38 6.90 1000000 0 471.98/472.14 c 670 989 948.41 139.84 6.78 1000000 0 473.99/474.12 c 647 819 916.57 117.81 7.78 1000000 0 475.98/476.10 c 685 907 927.90 112.07 8.28 1000000 0 477.88/478.09 c 690 888 945.56 143.33 6.60 1000000 0 479.88/480.07 c 677 853 923.15 131.84 7.00 1000000 0 481.88/482.05 c 638 910 943.34 147.92 6.38 1000000 0 483.89/484.02 c 666 1057 911.25 119.46 7.63 1000000 0 485.88/486.02 c 661 1060 944.26 173.42 5.44 1000000 0 487.88/488.00 c 706 941 936.55 128.34 7.30 1000000 0 489.78/489.97 c 667 1055 925.09 127.18 7.27 1000000 0 491.78/491.96 c 705 922 952.60 140.86 6.76 1000000 0 493.78/493.94 c 688 787 953.02 127.80 7.46 1000000 0 495.78/495.92 c 662 981 935.07 122.12 7.66 1000000 0 497.78/497.92 c 697 956 960.60 121.82 7.89 1000000 0 499.78/499.91 c 652 841 942.70 155.95 6.04 1000000 0 501.77/501.90 c 731 940 945.87 114.83 8.24 1000000 0 503.68/503.87 c 620 953 917.93 134.68 6.82 1000000 0 505.67/505.86 c 620 849 943.85 142.48 6.62 1000000 0 507.67/507.86 c 631 956 962.01 149.52 6.43 1000000 0 509.67/509.85 c 697 959 951.26 133.00 7.15 1000000 0 511.67/511.83 c 648 938 930.89 124.29 7.49 1000000 0 513.67/513.80 c 645 876 914.59 129.87 7.04 1000000 0 515.57/515.78 c 624 913 929.64 133.07 6.99 1000000 0 517.57/517.77 c 704 955 963.03 146.80 6.56 1000000 0 519.57/519.76 c 657 874 926.64 126.54 7.32 1000000 0 521.57/521.73 c 683 816 917.22 118.49 7.74 1000000 0 523.57/523.71 c 633 788 937.25 135.92 6.90 1000000 0 525.58/525.70 c 626 897 937.70 139.63 6.72 1000000 0 527.47/527.68 c 633 867 939.50 131.30 7.16 1000000 0 529.47/529.67 c 700 901 957.27 131.81 7.26 1000000 0 531.47/531.66 c 683 843 933.47 121.84 7.66 1000000 0 533.47/533.65 c 683 879 950.93 132.13 7.20 1000000 0 535.47/535.62 c 562 895 915.60 135.05 6.78 1000000 0 537.47/537.60 c 641 911 932.37 157.60 5.92 1000000 0 539.46/539.60 c 689 746 943.78 128.43 7.35 1000000 0 541.36/541.58 c 692 929 944.06 126.50 7.46 1000000 0 543.36/543.56 c 632 833 910.17 118.39 7.69 1000000 0 545.37/545.52 c 661 749 903.92 142.57 6.34 1000000 0 547.36/547.51 c 707 933 948.88 129.62 7.32 1000000 0 549.26/549.48 c 666 888 912.27 127.00 7.18 1000000 0 551.26/551.46 c 667 783 928.83 123.35 7.53 1000000 0 553.26/553.44 c 611 938 932.24 158.20 5.89 1000000 0 555.27/555.43 c 649 1015 939.99 147.45 6.38 1000000 0 557.26/557.42 c 645 782 935.36 131.26 7.13 1000000 0 559.26/559.41 c 679 999 925.61 118.07 7.84 1000000 0 561.16/561.38 c 633 989 923.14 115.80 7.97 1000000 0 563.16/563.37 c 707 884 935.66 124.77 7.50 1000000 0 565.17/565.35 c 643 908 924.27 115.04 8.03 1000000 0 567.16/567.33 c 642 930 940.14 148.67 6.32 1000000 0 569.16/569.31 c 635 1075 946.69 151.93 6.23 1000000 0 571.06/571.29 c 621 899 915.75 139.92 6.54 1000000 0 573.06/573.26 c 685 955 909.56 130.08 6.99 1000000 0 575.06/575.24 c 692 865 942.19 123.22 7.65 1000000 0 577.06/577.21 c 624 1089 928.04 124.71 7.44 1000000 0 578.96/579.19 c 670 769 938.12 130.73 7.18 1000000 0 580.96/581.16 c 685 872 936.69 121.11 7.73 1000000 0 582.96/583.13 c 638 922 909.35 120.14 7.57 1000000 0 584.96/585.11 c 681 1058 928.86 129.06 7.20 1000000 0 586.85/587.08 c 730 932 921.48 101.52 9.08 1000000 0 588.85/589.06 c 652 948 947.87 159.54 5.94 1000000 0 590.85/591.03 c 665 859 911.07 119.50 7.62 1000000 0 592.85/593.01 c 731 994 933.03 128.35 7.27 1000000 0 594.75/594.99 c 654 838 918.07 125.78 7.30 1000000 0 596.75/596.96 c 650 956 927.33 131.00 7.08 1000000 0 598.75/598.94 c 676 870 940.52 154.21 6.10 1000000 0 600.75/600.92 c 657 1053 918.74 133.14 6.90 1000000 0 602.75/602.90 c 676 966 932.72 141.74 6.58 1000000 0 604.65/604.89 c 710 935 953.49 117.25 8.13 1000000 0 606.65/606.86 c 642 895 918.82 109.94 8.36 1000000 0 608.65/608.84 c 664 979 931.84 109.67 8.50 1000000 0 610.65/610.80 c 635 954 899.41 122.47 7.34 1000000 0 612.55/612.79 c 700 852 940.21 127.73 7.36 1000000 0 614.55/614.77 c 698 836 934.22 107.75 8.67 1000000 0 616.55/616.75 c 645 908 927.19 135.13 6.86 1000000 0 618.55/618.74 c 710 996 960.41 132.63 7.24 1000000 0 620.55/620.73 c 634 945 948.40 165.28 5.74 1000000 0 622.45/622.70 c 660 897 904.28 115.61 7.82 1000000 0 624.44/624.66 c 638 826 924.83 126.78 7.29 1000000 0 626.44/626.64 c 671 731 932.77 140.52 6.64 1000000 0 628.44/628.63 c 706 1074 934.73 124.17 7.53 1000000 0 630.44/630.62 c 677 1053 948.20 120.12 7.89 1000000 0 632.44/632.60 c 668 781 932.13 136.52 6.83 1000000 0 634.34/634.57 c 680 806 924.79 123.16 7.51 1000000 0 636.34/636.54 c 664 843 927.86 115.55 8.03 1000000 0 638.34/638.52 c 683 812 924.59 117.17 7.89 1000000 0 640.24/640.49 c 654 852 937.80 131.21 7.15 1000000 0 642.25/642.48 c 645 907 946.47 149.64 6.33 1000000 0 644.24/644.46 c 694 872 916.37 123.58 7.42 1000000 0 646.24/646.45 c 657 947 945.24 157.40 6.01 1000000 0 648.24/648.42 c 681 890 934.05 109.19 8.55 1000000 0 650.24/650.41 c 714 989 952.61 142.69 6.68 1000000 0 652.14/652.39 c 661 819 916.70 143.54 6.39 1000000 0 654.14/654.38 c 662 796 941.90 117.92 7.99 1000000 0 656.14/656.36 c 626 877 950.46 128.79 7.38 1000000 0 658.14/658.35 c 703 959 956.74 138.78 6.89 1000000 0 660.14/660.33 c 660 844 935.28 136.97 6.83 1000000 0 662.14/662.30 c 659 935 913.70 134.23 6.81 1000000 0 664.04/664.27 c 687 910 914.77 127.85 7.15 1000000 0 666.03/666.24 c 685 968 916.98 134.31 6.83 1000000 0 668.03/668.23 c 637 871 942.11 143.78 6.55 1000000 0 670.03/670.21 c 642 905 914.36 143.01 6.39 1000000 0 671.94/672.18 c 599 966 912.69 129.46 7.05 1000000 0 673.93/674.17 c 701 809 954.86 136.69 6.99 1000000 0 675.93/676.15 c 727 825 938.61 117.96 7.96 1000000 0 677.93/678.15 c 700 1049 950.18 141.87 6.70 1000000 0 679.93/680.13 c 662 940 937.03 125.28 7.48 1000000 0 681.93/682.11 c 686 921 940.00 125.39 7.50 1000000 0 683.94/684.10 c 660 861 962.07 156.86 6.13 1000000 0 685.83/686.08 c 681 800 920.20 111.13 8.28 1000000 0 687.83/688.05 c 648 923 917.92 138.53 6.63 1000000 0 689.83/690.03 c 698 954 941.80 103.93 9.06 1000000 0 691.83/692.00 c 706 894 922.80 115.77 7.97 1000000 0 693.73/694.00 c 670 868 957.22 133.86 7.15 1000000 0 695.73/695.99 c 690 1027 957.51 175.78 5.45 1000000 0 697.73/697.96 c 619 867 922.26 131.36 7.02 1000000 0 699.73/699.94 c 645 941 922.14 143.65 6.42 1000000 0 701.73/701.92 c 657 797 950.39 137.37 6.92 1000000 0 703.63/703.88 c 646 848 900.63 141.99 6.34 1000000 0 705.62/705.86 c 687 957 924.90 140.34 6.59 1000000 0 707.62/707.84 c 693 956 945.16 106.40 8.88 1000000 0 709.62/709.82 c 686 932 903.26 124.08 7.28 1000000 0 711.62/711.80 c 689 969 946.23 122.41 7.73 1000000 0 713.52/713.78 c 659 796 933.06 131.31 7.11 1000000 0 715.52/715.77 c 698 890 936.25 125.57 7.46 1000000 0 717.52/717.73 c 692 930 912.31 111.51 8.18 1000000 0 719.52/719.71 c 687 903 918.23 113.73 8.07 1000000 0 721.43/721.68 c 645 997 908.86 120.14 7.57 1000000 0 723.42/723.67 c 673 1141 948.78 133.69 7.10 1000000 0 725.42/725.66 c 703 923 945.39 135.95 6.95 1000000 0 727.42/727.65 c 644 767 935.01 116.24 8.04 1000000 0 729.42/729.62 c 694 913 927.05 149.59 6.20 1000000 0 731.42/731.62 c 666 930 933.75 120.61 7.74 1000000 0 733.32/733.59 c 673 947 933.61 116.17 8.04 1000000 0 735.32/735.57 c 682 889 919.99 139.55 6.59 1000000 0 737.32/737.54 c 681 863 929.74 132.51 7.02 1000000 0 739.32/739.52 c 705 827 944.37 134.08 7.04 1000000 0 741.22/741.48 c 703 883 917.71 134.94 6.80 1000000 0 743.22/743.47 c 684 770 928.49 110.70 8.39 1000000 0 745.21/745.45 c 655 903 943.15 132.39 7.12 1000000 0 747.21/747.43 c 659 805 931.03 118.43 7.86 1000000 0 749.21/749.43 c 681 906 950.40 139.51 6.81 1000000 0 751.20/751.41 c 742 967 946.16 129.50 7.31 1000000 0 753.10/753.39 c 675 853 940.31 117.76 7.99 1000000 0 755.10/755.36 c 712 988 936.98 108.91 8.60 1000000 0 757.10/757.36 c 688 760 968.36 156.97 6.17 1000000 0 759.10/759.35 c 704 823 936.83 142.48 6.58 1000000 0 761.10/761.32 c 628 880 924.22 141.08 6.55 1000000 0 763.00/763.29 c 587 878 914.22 122.61 7.46 1000000 0 765.00/765.27 c 662 838 939.39 136.76 6.87 1000000 0 767.00/767.25 c 650 886 936.00 138.64 6.75 1000000 0 769.00/769.22 c 637 815 923.47 139.72 6.61 1000000 0 770.91/771.19 c 677 818 914.77 117.55 7.78 1000000 0 772.90/773.18 c 720 951 954.44 120.44 7.92 1000000 0 774.90/775.17 c 667 871 947.49 146.30 6.48 1000000 0 776.90/777.16 c 679 1033 946.43 141.90 6.67 1000000 0 778.90/779.14 c 627 796 943.73 149.12 6.33 1000000 0 780.90/781.13 c 689 810 946.38 102.37 9.24 1000000 0 782.90/783.11 c 604 841 939.21 120.78 7.78 1000000 0 784.79/785.08 c 675 915 930.78 124.70 7.46 1000000 0 786.79/787.05 c 671 917 918.41 123.79 7.42 1000000 0 788.79/789.03 c 645 846 940.66 150.71 6.24 1000000 0 790.79/791.00 c 694 854 925.74 105.50 8.78 1000000 0 792.69/792.98 c 627 806 930.58 151.00 6.16 1000000 0 794.69/794.96 c 678 983 917.36 113.27 8.10 1000000 0 796.69/796.95 c 642 1002 943.80 144.90 6.51 1000000 0 798.69/798.94 c 709 823 944.07 125.96 7.49 1000000 0 800.69/800.93 c 703 925 937.85 132.81 7.06 1000000 0 802.70/802.91 c 680 991 921.05 102.33 9.00 1000000 0 804.59/804.89 c 580 848 933.61 152.43 6.12 1000000 0 806.59/806.87 c 652 773 936.29 142.85 6.55 1000000 0 808.59/808.85 c 703 967 929.93 108.11 8.60 1000000 0 810.59/810.83 c 703 1043 950.75 131.57 7.23 1000000 0 812.59/812.81 c 678 738 952.37 139.45 6.83 1000000 0 814.59/814.81 c 711 948 965.40 109.42 8.82 1000000 0 816.49/816.79 c 695 911 940.96 133.30 7.06 1000000 0 818.49/818.77 c 684 945 934.46 118.39 7.89 1000000 0 820.49/820.75 c 672 846 936.73 110.62 8.47 1000000 0 822.49/822.73 c 705 990 936.61 144.16 6.50 1000000 0 824.48/824.71 c 689 1000 950.43 116.84 8.13 1000000 0 826.38/826.69 c 711 962 938.82 119.10 7.88 1000000 0 828.38/828.67 c 715 910 936.83 119.56 7.84 1000000 0 830.38/830.64 c 653 872 925.73 130.73 7.08 1000000 0 832.39/832.62 c 688 762 933.00 143.87 6.48 1000000 0 834.28/834.59 c 710 927 928.75 104.09 8.92 1000000 0 836.28/836.58 c 666 873 942.46 137.66 6.85 1000000 0 838.28/838.55 c 695 905 911.22 113.49 8.03 1000000 0 840.28/840.52 c 637 821 911.99 124.57 7.32 1000000 0 842.18/842.49 c 645 936 941.07 150.21 6.26 1000000 0 844.18/844.49 c 685 807 951.06 141.92 6.70 1000000 0 846.18/846.45 c 662 1009 920.08 135.74 6.78 1000000 0 848.18/848.42 c 657 924 914.17 140.15 6.52 1000000 0 850.18/850.41 c 676 909 939.07 122.77 7.65 1000000 0 852.08/852.38 c 631 722 915.50 138.11 6.63 1000000 0 854.08/854.36 c 650 1018 924.82 131.16 7.05 1000000 0 856.08/856.33 c 687 848 916.05 106.87 8.57 1000000 0 858.08/858.30 c 669 864 929.73 123.57 7.52 1000000 0 859.98/860.28 c 676 799 934.59 146.74 6.37 1000000 0 861.97/862.25 c 680 955 911.33 122.99 7.41 1000000 0 863.97/864.24 c 628 971 950.13 131.57 7.22 1000000 0 865.97/866.23 c 629 844 932.71 156.52 5.96 1000000 0 867.97/868.20 c 685 835 924.56 126.53 7.31 1000000 0 869.88/870.19 c 680 898 939.28 131.04 7.17 1000000 0 871.87/872.17 c 706 1005 939.92 134.86 6.97 1000000 0 873.87/874.14 c 609 922 916.70 124.13 7.39 1000000 0 875.87/876.12 c 653 972 923.63 141.01 6.55 1000000 0 877.77/878.08 c 660 1050 915.74 109.28 8.38 1000000 0 879.78/880.06 c 646 1024 907.54 108.50 8.36 1000000 0 881.77/882.05 c 693 886 945.60 110.92 8.53 1000000 0 883.77/884.02 c 698 912 935.84 130.25 7.19 1000000 0 885.67/885.99 c 677 954 918.33 142.65 6.44 1000000 0 887.67/887.97 c 710 863 938.04 124.00 7.56 1000000 0 889.67/889.97 c 708 980 968.32 145.00 6.68 1000000 0 891.67/891.96 c 707 942 947.47 122.09 7.76 1000000 0 893.67/893.94 c 643 810 927.54 123.53 7.51 1000000 0 895.67/895.92 c 653 1036 941.90 130.52 7.22 1000000 0 897.67/897.91 c 667 717 938.00 125.41 7.48 1000000 0 899.57/899.89 c 635 909 932.76 132.09 7.06 1000000 0 901.56/901.85 c 686 936 926.46 122.12 7.59 1000000 0 903.56/903.84 c 701 986 958.14 150.56 6.36 1000000 0 905.56/905.81 c 686 946 934.85 126.74 7.38 1000000 0 907.56/907.80 c 607 1038 949.11 142.75 6.65 1000000 0 909.47/909.77 c 691 837 914.78 121.40 7.53 1000000 0 911.46/911.76 c 688 849 945.63 116.52 8.12 1000000 0 913.46/913.72 c 620 824 904.14 127.98 7.06 1000000 0 915.46/915.70 c 649 741 943.31 127.15 7.42 1000000 0 917.36/917.67 c 675 962 927.77 117.33 7.91 1000000 0 919.37/919.65 c 728 919 960.81 146.00 6.58 1000000 0 921.36/921.62 c 685 752 924.98 127.27 7.27 1000000 0 923.26/923.59 c 669 904 922.25 128.45 7.18 1000000 0 925.26/925.58 c 665 884 932.21 115.23 8.09 1000000 0 927.26/927.56 c 678 816 939.11 123.40 7.61 1000000 0 929.26/929.53 c 704 898 934.05 108.54 8.61 1000000 0 931.16/931.50 c 671 975 915.42 121.02 7.56 1000000 0 933.16/933.47 c 684 797 917.55 106.99 8.58 1000000 0 935.15/935.47 c 722 856 955.84 136.34 7.01 1000000 0 937.16/937.45 c 628 788 926.46 150.23 6.17 1000000 0 939.16/939.43 c 686 929 948.35 130.36 7.27 1000000 0 941.15/941.42 c 680 1018 960.11 122.52 7.84 1000000 0 943.15/943.40 c 684 938 941.98 135.14 6.97 1000000 0 945.05/945.39 c 707 845 946.67 149.57 6.33 1000000 0 947.05/947.37 c 657 922 922.66 140.42 6.57 1000000 0 949.06/949.34 c 641 711 927.75 126.22 7.35 1000000 0 951.05/951.33 c 694 984 943.21 121.68 7.75 1000000 0 953.05/953.30 c 719 1075 937.53 127.57 7.35 1000000 0 954.95/955.28 c 622 854 936.19 119.02 7.87 1000000 0 956.95/957.26 c 695 868 951.08 142.01 6.70 1000000 0 958.96/959.24 c 669 1108 924.47 118.36 7.81 1000000 0 960.95/961.22 c 677 818 928.68 142.35 6.52 1000000 0 962.95/963.20 c 709 850 935.33 136.18 6.87 1000000 0 964.85/965.18 c 698 957 944.55 125.99 7.50 1000000 0 966.85/967.17 c 656 974 946.95 130.84 7.24 1000000 0 968.85/969.17 c 645 802 935.75 143.00 6.54 1000000 0 970.85/971.16 c 668 1009 950.90 134.30 7.08 1000000 0 972.85/973.14 c 646 821 926.33 147.50 6.28 1000000 0 974.84/975.12 c 690 993 926.64 129.44 7.16 1000000 0 976.84/977.11 c 689 1012 943.73 161.31 5.85 1000000 0 978.75/979.09 c 720 809 964.26 129.85 7.43 1000000 0 980.74/981.08 c 705 871 953.56 149.90 6.36 1000000 0 982.74/983.06 c 686 821 915.59 101.14 9.05 1000000 0 984.74/985.04 c 717 876 944.28 114.01 8.28 1000000 0 986.74/987.02 c 680 811 932.69 161.73 5.77 1000000 0 988.65/988.99 c 643 775 918.25 129.58 7.09 1000000 0 990.64/990.98 c 698 906 944.43 134.26 7.03 1000000 0 992.64/992.96 c 647 853 937.06 144.37 6.49 1000000 0 994.64/994.94 c 688 959 945.79 131.26 7.21 1000000 0 996.64/996.92 c 642 867 918.43 114.14 8.05 1000000 0 998.55/998.88 c 622 823 912.63 122.14 7.47 1000000 0 1000.54/1000.86 c 601 843 911.48 130.06 7.01 1000000 0 1002.54/1002.84 c 642 902 927.63 129.13 7.18 1000000 0 1004.54/1004.82 c 707 890 935.41 124.20 7.53 1000000 0 1006.54/1006.80 c 672 927 958.54 135.19 7.09 1000000 0 1008.45/1008.78 c 657 897 927.98 124.51 7.45 1000000 0 1010.44/1010.76 c 678 770 921.25 135.04 6.82 1000000 0 1012.44/1012.73 c 690 830 938.82 127.46 7.37 1000000 0 1014.44/1014.71 c 648 930 940.75 142.23 6.61 1000000 0 1016.44/1016.70 c 720 1011 941.79 119.82 7.86 1000000 0 1018.34/1018.68 c 691 737 917.27 129.96 7.06 1000000 0 1020.33/1020.67 c 701 987 951.40 122.13 7.79 1000000 0 1022.33/1022.65 c 636 964 926.31 133.08 6.96 1000000 0 1024.33/1024.63 c 719 1010 960.82 119.38 8.05 1000000 0 1026.33/1026.60 c 682 863 926.74 144.54 6.41 1000000 0 1028.24/1028.58 c 668 1047 936.21 117.76 7.95 1000000 0 1030.23/1030.55 c 638 844 916.84 118.10 7.76 1000000 0 1032.23/1032.53 c 720 976 941.10 125.59 7.49 1000000 0 1034.23/1034.51 c 571 926 915.60 152.55 6.00 1000000 0 1036.13/1036.48 c 645 1016 928.01 131.56 7.05 1000000 0 1038.14/1038.46 c 616 885 927.68 126.46 7.34 1000000 0 1040.13/1040.43 c 709 816 937.96 121.68 7.71 1000000 0 1042.13/1042.40 c 651 887 929.63 120.14 7.74 1000000 0 1044.03/1044.39 c 707 1021 925.10 106.78 8.66 1000000 0 1046.03/1046.37 c 670 888 954.50 137.30 6.95 1000000 0 1048.03/1048.33 c 623 873 896.52 124.08 7.23 1000000 0 1050.03/1050.31 c 658 890 934.28 118.60 7.88 1000000 0 1051.93/1052.29 c 733 947 946.78 118.59 7.98 1000000 0 1053.93/1054.27 c 701 928 926.79 106.98 8.66 1000000 0 1055.93/1056.25 c 682 842 917.44 108.36 8.47 1000000 0 1057.93/1058.24 c 743 939 970.02 115.20 8.42 1000000 0 1059.92/1060.23 c 674 871 939.96 125.76 7.47 1000000 0 1061.92/1062.21 c 693 877 923.87 123.26 7.50 1000000 0 1063.82/1064.20 c 650 999 935.04 134.29 6.96 1000000 0 1065.82/1066.17 c 687 919 919.98 133.56 6.89 1000000 0 1067.83/1068.15 c 703 908 945.71 120.90 7.82 1000000 0 1069.82/1070.14 c 697 946 949.57 108.73 8.73 1000000 0 1071.82/1072.11 c 656 890 919.46 137.93 6.67 1000000 0 1073.72/1074.09 c 670 923 936.54 134.35 6.97 1000000 0 1075.72/1076.06 c 647 890 907.22 143.80 6.31 1000000 0 1077.73/1078.04 c 676 843 923.36 144.30 6.40 1000000 0 1079.72/1080.01 c 667 821 936.34 132.48 7.07 1000000 0 1081.62/1081.98 c 621 845 910.67 123.05 7.40 1000000 0 1083.62/1083.96 c 674 921 931.15 127.38 7.31 1000000 0 1085.62/1085.93 c 682 786 905.50 126.17 7.18 1000000 0 1087.62/1087.91 c 594 963 917.16 106.91 8.58 1000000 0 1089.52/1089.87 c 658 1076 920.59 133.33 6.90 1000000 0 1091.52/1091.86 c 671 833 940.69 144.77 6.50 1000000 0 1093.52/1093.85 c 696 908 928.18 131.02 7.08 1000000 0 1095.52/1095.84 c 685 871 950.53 151.93 6.26 1000000 0 1097.52/1097.82 c 635 806 947.46 116.02 8.17 1000000 0 1099.41/1099.79 c 700 930 930.21 107.34 8.67 1000000 0 1101.41/1101.78 c 695 880 937.70 127.57 7.35 1000000 0 1103.41/1103.75 c 669 886 943.88 122.35 7.71 1000000 0 1105.41/1105.73 c 656 869 931.98 136.23 6.84 1000000 0 1107.42/1107.71 c 658 926 929.03 137.05 6.78 1000000 0 1109.31/1109.68 c 657 843 927.26 128.70 7.21 1000000 0 1111.31/1111.65 c 698 870 926.74 107.49 8.62 1000000 0 1113.31/1113.61 c 673 878 902.78 120.91 7.47 1000000 0 1115.21/1115.59 c 680 933 927.51 119.73 7.75 1000000 0 1117.22/1117.57 c 662 822 956.24 156.01 6.13 1000000 0 1119.21/1119.54 c 639 824 919.55 143.17 6.42 1000000 0 1121.21/1121.53 c 650 997 928.07 130.97 7.09 1000000 0 1123.21/1123.51 c 672 853 939.40 132.19 7.11 1000000 0 1125.21/1125.50 c 687 917 933.49 126.66 7.37 1000000 0 1127.12/1127.47 c 691 915 932.83 149.67 6.23 1000000 0 1129.11/1129.45 c 639 819 930.94 131.14 7.10 1000000 0 1131.11/1131.42 c 691 920 922.69 119.29 7.73 1000000 0 1133.01/1133.38 c 687 929 909.19 113.42 8.02 1000000 0 1135.01/1135.37 c 712 991 943.61 124.51 7.58 1000000 0 1137.01/1137.35 c 698 841 925.43 127.10 7.28 1000000 0 1139.01/1139.34 c 668 819 939.86 130.32 7.21 1000000 0 1141.01/1141.33 c 691 936 945.58 132.66 7.13 1000000 0 1143.01/1143.31 c 716 923 936.54 118.25 7.92 1000000 0 1144.90/1145.29 c 629 903 921.78 131.59 7.00 1000000 0 1146.91/1147.27 c 679 926 928.14 137.08 6.77 1000000 0 1148.90/1149.26 c 695 773 963.03 126.03 7.64 1000000 0 1150.90/1151.23 c 597 981 918.94 116.50 7.89 1000000 0 1152.90/1153.22 c 714 883 938.80 140.34 6.69 1000000 0 1154.90/1155.20 c 720 983 957.03 114.70 8.34 1000000 0 1156.81/1157.18 c 697 984 936.97 107.35 8.73 1000000 0 1158.80/1159.16 c 710 885 926.04 137.49 6.74 1000000 0 1160.80/1161.14 c 682 857 921.85 129.91 7.10 1000000 0 1162.80/1163.12 c 713 849 931.81 128.63 7.24 1000000 0 1164.80/1165.11 c 711 837 947.57 152.44 6.22 1000000 0 1166.71/1167.09 c 703 972 953.98 133.80 7.13 1000000 0 1168.70/1169.07 c 687 784 940.26 143.63 6.55 1000000 0 1170.70/1171.05 c 652 798 924.73 130.48 7.09 1000000 0 1172.70/1173.03 c 657 965 925.71 149.22 6.20 1000000 0 1174.70/1175.01 c 657 804 939.87 133.60 7.03 1000000 0 1176.60/1177.00 c 703 780 943.21 131.30 7.18 1000000 0 1178.60/1178.99 c 702 931 958.25 145.48 6.59 1000000 0 1180.60/1180.97 c 722 946 955.55 115.11 8.30 1000000 0 1182.60/1182.95 c 652 950 919.24 125.31 7.34 1000000 0 1184.59/1184.94 c 688 956 958.22 149.99 6.39 1000000 0 1186.60/1186.92 c 664 948 939.17 123.43 7.61 1000000 0 1188.49/1188.89 c 627 846 943.27 119.39 7.90 1000000 0 1190.49/1190.87 c 671 891 923.06 141.73 6.51 1000000 0 1192.49/1192.87 c 678 929 964.10 151.58 6.36 1000000 0 1194.49/1194.84 c 682 942 938.68 119.48 7.86 1000000 0 1196.50/1196.83 c 715 882 948.82 125.29 7.57 1000000 0 1198.39/1198.79 c 688 1070 924.30 127.01 7.28 1000000 0 1200.39/1200.77 c 689 957 919.20 113.34 8.11 1000000 0 1202.39/1202.76 c 611 1044 945.84 137.52 6.88 1000000 0 1204.39/1204.74 c 664 832 930.78 125.23 7.43 1000000 0 1206.40/1206.71 c 676 890 918.08 124.64 7.37 1000000 0 1208.39/1208.70 c 701 924 948.53 128.43 7.39 1000000 0 1210.29/1210.68 c 690 918 928.13 111.88 8.30 1000000 0 1212.29/1212.65 c 609 1049 914.58 131.33 6.96 1000000 0 1214.29/1214.62 c 592 912 922.74 120.95 7.63 1000000 0 1216.30/1216.61 c 694 716 935.04 139.26 6.71 1000000 0 1218.19/1218.59 c 603 863 924.59 149.42 6.19 1000000 0 1220.19/1220.59 c 676 956 945.99 128.01 7.39 1000000 0 1222.19/1222.57 c 707 795 942.01 127.17 7.41 1000000 0 1224.19/1224.55 c 681 1052 939.77 140.66 6.68 1000000 0 1226.19/1226.53 c 648 966 929.05 134.34 6.92 1000000 0 1228.19/1228.52 c 674 899 935.53 146.41 6.39 1000000 0 1230.18/1230.50 c 644 970 938.55 147.63 6.36 1000000 0 1232.08/1232.48 c 674 811 918.06 128.96 7.12 1000000 0 1234.08/1234.45 c 654 939 917.12 130.46 7.03 1000000 0 1236.09/1236.42 c 610 803 914.15 130.66 7.00 1000000 0 1238.08/1238.40 c 680 892 936.11 132.14 7.08 1000000 0 1239.99/1240.38 c 657 936 956.54 123.29 7.76 1000000 0 1241.99/1242.35 c 672 897 918.78 140.10 6.56 1000000 0 1243.99/1244.32 c 655 897 930.84 123.57 7.53 1000000 0 1246.00/1246.32 c 706 896 955.12 126.42 7.55 1000000 0 1247.89/1248.29 c 701 901 935.12 106.80 8.76 1000000 0 1249.89/1250.29 c 654 857 956.44 145.26 6.58 1000000 0 1251.89/1252.27 c 691 927 931.95 145.27 6.42 1000000 0 1253.89/1254.25 c 661 949 945.44 136.97 6.90 1000000 0 1255.89/1256.24 c 654 941 935.27 145.09 6.45 1000000 0 1257.89/1258.21 c 710 935 922.17 118.35 7.79 1000000 0 1259.79/1260.19 c 619 1023 951.84 135.30 7.04 1000000 0 1261.79/1262.17 c 681 926 938.22 141.97 6.61 1000000 0 1263.78/1264.15 c 676 1087 950.17 126.98 7.48 1000000 0 1265.79/1266.14 c 699 954 939.32 124.71 7.53 1000000 0 1267.78/1268.10 c 707 849 923.44 125.90 7.33 1000000 0 1269.68/1270.08 c 606 887 929.64 111.03 8.37 1000000 0 1271.68/1272.06 c 640 934 944.39 123.79 7.63 1000000 0 1273.68/1274.05 c 677 855 961.65 144.99 6.63 1000000 0 1275.69/1276.03 c 683 894 945.26 124.00 7.62 1000000 0 1277.68/1278.02 c 632 921 938.29 136.01 6.90 1000000 0 1279.68/1280.00 c 686 956 941.34 128.91 7.30 1000000 0 1281.58/1281.98 c 702 846 919.13 120.71 7.61 1000000 0 1283.58/1283.94 c 673 1021 894.96 117.79 7.60 1000000 0 1285.59/1285.93 c 628 913 944.84 128.81 7.34 1000000 0 1287.58/1287.90 c 667 925 917.38 141.39 6.49 1000000 0 1289.48/1289.89 c 691 973 942.78 141.94 6.64 1000000 0 1291.48/1291.85 c 675 913 934.62 132.36 7.06 1000000 0 1293.48/1293.82 c 658 817 919.87 97.80 9.41 1000000 0 1295.48/1295.81 c 665 875 934.31 131.56 7.10 1000000 0 1297.38/1297.79 c 686 1014 953.58 153.64 6.21 1000000 0 1299.38/1299.77 c 698 941 952.84 149.85 6.36 1000000 0 1301.37/1301.76 c 651 906 956.50 111.70 8.56 1000000 0 1303.37/1303.74 c 728 1030 940.54 114.54 8.21 1000000 0 1305.38/1305.71 c 657 947 924.83 123.65 7.48 1000000 0 1307.27/1307.69 c 638 897 935.96 130.51 7.17 1000000 0 1309.27/1309.67 c 677 1051 940.20 112.58 8.35 1000000 0 1311.27/1311.64 c 559 976 907.18 143.54 6.32 1000000 0 1313.27/1313.62 c 704 914 935.50 135.58 6.90 1000000 0 1315.28/1315.61 c 702 1004 948.77 134.35 7.06 1000000 0 1317.27/1317.60 c 660 936 954.49 132.31 7.21 1000000 0 1319.17/1319.57 c 649 995 903.00 120.31 7.51 1000000 0 1321.17/1321.54 c 694 808 920.23 154.85 5.94 1000000 0 1323.17/1323.54 c 705 994 958.78 141.98 6.75 1000000 0 1325.18/1325.51 c 714 881 921.37 118.34 7.79 1000000 0 1327.07/1327.49 c 694 836 933.72 114.70 8.14 1000000 0 1329.07/1329.48 c 695 941 944.02 117.26 8.05 1000000 0 1331.07/1331.47 c 692 857 938.45 113.92 8.24 1000000 0 1333.07/1333.45 c 697 904 931.95 137.85 6.76 1000000 0 1335.07/1335.43 c 615 943 930.66 117.87 7.90 1000000 0 1337.07/1337.40 c 648 872 946.46 126.07 7.51 1000000 0 1338.97/1339.38 c 652 918 932.16 126.19 7.39 1000000 0 1340.97/1341.35 c 656 840 923.11 125.09 7.38 1000000 0 1342.96/1343.35 c 670 836 941.18 135.62 6.94 1000000 0 1344.97/1345.32 c 702 1003 927.69 126.26 7.35 1000000 0 1346.96/1347.32 c 729 977 972.46 111.06 8.76 1000000 0 1348.86/1349.30 c 702 933 948.78 131.71 7.20 1000000 0 1350.86/1351.26 c 684 802 924.75 111.54 8.29 1000000 0 1352.86/1353.24 c 694 912 916.46 116.58 7.86 1000000 0 1354.87/1355.24 c 654 968 958.11 155.84 6.15 1000000 0 1356.86/1357.22 c 702 855 937.19 130.57 7.18 1000000 0 1358.86/1359.20 c 691 810 940.65 123.98 7.59 1000000 0 1360.76/1361.18 c 677 993 930.45 154.06 6.04 1000000 0 1362.76/1363.16 c 620 857 926.45 136.91 6.77 1000000 0 1364.77/1365.15 c 717 869 947.24 136.88 6.92 1000000 0 1366.76/1367.12 c 632 906 936.79 153.59 6.10 1000000 0 1368.76/1369.10 c 654 983 932.42 99.18 9.40 1000000 0 1370.66/1371.07 c 689 855 929.60 127.96 7.27 1000000 0 1372.66/1373.06 c 683 916 947.70 139.00 6.82 1000000 0 1374.67/1375.04 c 682 843 917.39 145.41 6.31 1000000 0 1376.66/1377.02 c 657 806 935.19 127.17 7.35 1000000 0 1378.66/1379.00 c 677 871 928.94 144.53 6.43 1000000 0 1380.56/1380.97 c 640 1040 924.57 122.71 7.53 1000000 0 1382.56/1382.96 c 672 740 921.66 138.64 6.65 1000000 0 1384.56/1384.92 c 661 935 917.22 138.55 6.62 1000000 0 1386.55/1386.92 c 646 899 953.29 128.06 7.44 1000000 0 1388.55/1388.91 c 673 911 949.32 138.82 6.84 1000000 0 1390.45/1390.89 c 600 1013 937.72 143.92 6.52 1000000 0 1392.45/1392.87 c 664 861 934.05 156.75 5.96 1000000 0 1394.46/1394.85 c 704 1000 962.06 131.00 7.34 1000000 0 1396.45/1396.82 c 659 928 903.63 111.08 8.14 1000000 0 1398.45/1398.81 c 743 998 954.24 116.90 8.16 1000000 0 1400.45/1400.80 c 709 902 956.15 137.09 6.97 1000000 0 1402.35/1402.79 c 700 912 952.27 120.52 7.90 1000000 0 1404.36/1404.77 c 673 915 921.63 126.72 7.27 1000000 0 1406.35/1406.74 c 691 1040 934.79 124.15 7.53 1000000 0 1408.35/1408.72 c 662 951 934.68 137.81 6.78 1000000 0 1410.35/1410.70 c 699 924 936.31 126.20 7.42 1000000 0 1412.25/1412.67 c 675 711 923.16 137.72 6.70 1000000 0 1414.26/1414.65 c 677 968 925.37 132.12 7.00 1000000 0 1416.25/1416.64 c 691 816 938.46 120.64 7.78 1000000 0 1418.25/1418.62 c 689 984 932.00 141.86 6.57 1000000 0 1420.25/1420.61 c 665 861 949.35 123.34 7.70 1000000 0 1422.15/1422.57 c 576 869 918.42 151.75 6.05 1000000 0 1424.15/1424.56 c 708 1030 942.39 137.84 6.84 1000000 0 1426.15/1426.54 c 678 942 922.09 126.61 7.28 1000000 0 1428.14/1428.53 c 689 1043 963.86 119.92 8.04 1000000 0 1430.14/1430.50 c 716 877 931.42 143.57 6.49 1000000 0 1432.04/1432.47 c 658 1011 911.69 133.18 6.85 1000000 0 1434.05/1434.45 c 670 976 932.38 109.36 8.53 1000000 0 1436.04/1436.42 c 615 846 909.50 113.91 7.98 1000000 0 1438.04/1438.40 c 664 875 929.50 129.38 7.18 1000000 0 1439.94/1440.38 c 630 812 916.02 149.42 6.13 1000000 0 1441.94/1442.35 c 656 911 921.07 133.60 6.89 1000000 0 1443.95/1444.33 c 700 882 924.62 96.64 9.57 1000000 0 1445.94/1446.31 c 652 870 942.17 124.68 7.56 1000000 0 1447.84/1448.29 c 643 948 931.49 141.92 6.56 1000000 0 1449.84/1450.27 c 654 827 926.31 118.65 7.81 1000000 0 1451.84/1452.26 c 665 767 925.26 129.15 7.16 1000000 0 1453.85/1454.23 c 629 951 926.59 147.50 6.28 1000000 0 1455.84/1456.21 c 679 855 938.80 164.84 5.70 1000000 0 1457.74/1458.19 c 655 1005 949.45 106.88 8.88 1000000 0 1459.74/1460.17 c 673 910 935.69 121.25 7.72 1000000 0 1461.74/1462.15 c 704 711 950.29 120.76 7.87 1000000 0 1463.74/1464.13 c 640 829 929.27 162.78 5.71 1000000 0 1465.74/1466.10 c 705 871 911.64 123.94 7.36 1000000 0 1467.64/1468.08 c 679 818 943.77 138.53 6.81 1000000 0 1469.64/1470.05 c 659 811 921.98 110.15 8.37 1000000 0 1471.64/1472.02 c 698 884 934.44 134.78 6.93 1000000 0 1473.64/1474.01 c 651 854 927.56 149.82 6.19 1000000 0 1475.53/1475.98 c 695 885 942.43 119.72 7.87 1000000 0 1477.53/1477.96 c 673 844 938.13 138.92 6.75 1000000 0 1479.53/1479.94 c 655 882 947.75 130.98 7.24 1000000 0 1481.53/1481.93 c 662 795 946.27 129.04 7.33 1000000 0 1483.54/1483.91 c 655 994 952.46 124.33 7.66 1000000 0 1485.43/1485.88 c 645 1044 912.10 132.91 6.86 1000000 0 1487.43/1487.87 c 656 916 964.14 155.61 6.20 1000000 0 1489.43/1489.85 c 696 851 931.61 131.18 7.10 1000000 0 1491.43/1491.83 c 667 951 934.13 150.06 6.23 1000000 0 1493.44/1493.81 c 638 899 933.94 132.10 7.07 1000000 0 1495.33/1495.79 c 632 918 924.44 148.24 6.24 1000000 0 1497.33/1497.75 c 656 1001 923.16 126.48 7.30 1000000 0 1499.33/1499.74 c 687 918 942.83 133.48 7.06 1000000 0 1501.33/1501.72 c 680 942 925.21 134.01 6.90 1000000 0 1503.24/1503.69 c 630 955 920.44 121.79 7.56 1000000 0 1505.23/1505.68 c 575 807 939.50 157.58 5.96 1000000 0 1507.23/1507.65 c 655 925 937.76 124.69 7.52 1000000 0 1509.23/1509.63 c 638 891 923.47 120.73 7.65 1000000 0 1511.23/1511.60 c 641 904 929.38 140.62 6.61 1000000 0 1513.13/1513.58 c 649 996 933.47 145.32 6.42 1000000 0 1515.12/1515.56 c 675 815 940.80 109.51 8.59 1000000 0 1517.12/1517.56 c 726 911 945.93 111.25 8.50 1000000 0 1519.12/1519.53 c 675 859 929.16 177.47 5.24 1000000 0 1521.12/1521.52 c 714 827 959.12 130.84 7.33 1000000 0 1523.03/1523.49 c 621 744 905.79 138.95 6.52 1000000 0 1525.02/1525.49 c 691 1000 960.68 131.84 7.29 1000000 0 1527.02/1527.47 c 655 939 939.83 129.89 7.24 1000000 0 1529.02/1529.46 c 696 981 960.10 168.08 5.71 1000000 0 1531.02/1531.45 c 683 867 952.49 132.27 7.20 1000000 0 1533.03/1533.43 c 669 996 943.34 143.46 6.58 1000000 0 1535.02/1535.40 c 650 1012 900.42 132.67 6.79 1000000 0 1536.92/1537.37 c 614 923 920.36 145.33 6.33 1000000 0 1538.92/1539.36 c 707 911 932.14 113.25 8.23 1000000 0 1540.92/1541.35 c 676 987 941.66 142.65 6.60 1000000 0 1542.93/1543.34 c 673 1012 964.26 117.93 8.18 1000000 0 1544.92/1545.31 c 663 940 930.33 134.05 6.94 1000000 0 1546.82/1547.29 c 646 947 933.19 133.35 7.00 1000000 0 1548.82/1549.27 c 621 932 923.94 149.58 6.18 1000000 0 1550.82/1551.24 c 693 1025 920.67 134.17 6.86 1000000 0 1552.82/1553.24 c 739 896 969.19 126.26 7.68 1000000 0 1554.82/1555.22 c 631 834 952.00 124.95 7.62 1000000 0 1556.82/1557.20 c 698 958 921.13 120.84 7.62 1000000 0 1558.72/1559.18 c 700 944 914.98 154.73 5.91 1000000 0 1560.71/1561.14 c 663 865 895.02 118.67 7.54 1000000 0 1562.72/1563.11 c 579 897 917.74 111.51 8.23 1000000 0 1564.61/1565.09 c 655 883 935.50 116.12 8.06 1000000 0 1566.61/1567.09 c 730 985 965.63 152.02 6.35 1000000 0 1568.61/1569.06 c 676 1021 917.68 120.89 7.59 1000000 0 1570.61/1571.05 c 689 927 937.44 141.01 6.65 1000000 0 1572.62/1573.02 c 670 777 930.70 138.64 6.71 1000000 0 1574.61/1575.00 c 678 892 931.77 128.13 7.27 1000000 0 1576.51/1576.99 c 648 910 928.57 145.24 6.39 1000000 0 1578.51/1578.95 c 638 837 903.67 129.08 7.00 1000000 0 1580.51/1580.93 c 675 940 946.44 122.25 7.74 1000000 0 1582.52/1582.91 c 627 930 937.13 143.01 6.55 1000000 0 1584.41/1584.89 c 669 943 941.48 135.21 6.96 1000000 0 1586.41/1586.88 c 681 927 928.61 117.94 7.87 1000000 0 1588.41/1588.86 c 632 966 935.59 121.57 7.70 1000000 0 1590.41/1590.84 c 646 930 961.15 145.63 6.60 1000000 0 1592.41/1592.82 c 696 788 945.96 154.49 6.12 1000000 0 1594.41/1594.81 c 703 1013 942.68 135.41 6.96 1000000 0 1596.31/1596.79 c 688 923 923.62 106.06 8.71 1000000 0 1598.31/1598.77 c 664 907 940.86 153.74 6.12 1000000 0 1600.30/1600.75 c 709 933 931.37 132.90 7.01 1000000 0 1602.31/1602.73 c 670 1042 946.19 137.78 6.87 1000000 0 1604.30/1604.71 c 661 946 930.03 159.01 5.85 1000000 0 1606.20/1606.69 c 657 834 941.09 141.42 6.65 1000000 0 1608.20/1608.67 c 656 965 948.07 129.41 7.33 1000000 0 1610.20/1610.65 c 685 970 915.08 114.54 7.99 1000000 0 1612.21/1612.63 c 668 949 946.88 132.61 7.14 1000000 0 1614.20/1614.61 c 633 885 929.40 147.48 6.30 1000000 0 1616.20/1616.61 c 697 935 954.90 131.61 7.26 1000000 0 1618.10/1618.58 c 655 811 914.71 116.36 7.86 1000000 0 1620.10/1620.56 c 609 741 939.59 114.21 8.23 1000000 0 1622.11/1622.54 c 707 823 933.89 130.99 7.13 1000000 0 1624.10/1624.54 c 704 781 950.74 129.02 7.37 1000000 0 1626.10/1626.52 c 689 954 926.06 126.36 7.33 1000000 0 1628.00/1628.48 c 679 950 905.04 113.67 7.96 1000000 0 1630.00/1630.46 c 721 893 946.35 116.35 8.13 1000000 0 1632.00/1632.43 c 677 863 922.22 120.28 7.67 1000000 0 1634.00/1634.40 c 670 857 928.47 137.17 6.77 1000000 0 1635.90/1636.38 c 660 920 926.38 143.24 6.47 1000000 0 1637.90/1638.34 c 676 837 922.52 122.42 7.54 1000000 0 1639.90/1640.32 c 646 846 907.21 108.75 8.34 1000000 0 1641.80/1642.29 c 642 803 923.48 132.63 6.96 1000000 0 1643.79/1644.26 c 613 677 908.71 145.36 6.25 1000000 0 1645.79/1646.24 c 670 975 933.20 144.19 6.47 1000000 0 1647.79/1648.22 c 668 948 940.60 130.29 7.22 1000000 0 1649.79/1650.20 c 700 756 927.35 141.03 6.58 1000000 0 1651.70/1652.19 c 694 1005 938.10 117.87 7.96 1000000 0 1653.69/1654.15 c 645 837 914.01 110.11 8.30 1000000 0 1655.69/1656.15 c 696 913 966.48 156.32 6.18 1000000 0 1657.69/1658.13 c 704 1021 935.91 140.73 6.65 1000000 0 1659.69/1660.11 c 673 922 946.05 151.66 6.24 1000000 0 1661.60/1662.09 c 658 919 926.78 116.34 7.97 1000000 0 1663.59/1664.06 c 710 901 929.43 129.89 7.16 1000000 0 1665.59/1666.03 c 661 897 924.40 121.49 7.61 1000000 0 1667.59/1668.01 c 634 982 924.11 131.34 7.04 1000000 0 1669.49/1670.00 c 714 1040 945.25 125.82 7.51 1000000 0 1671.49/1671.98 c 663 958 934.98 130.53 7.16 1000000 0 1673.49/1673.96 c 661 971 942.43 117.82 8.00 1000000 0 1675.49/1675.95 c 701 771 937.91 141.94 6.61 1000000 0 1677.49/1677.92 c 622 827 909.68 139.93 6.50 1000000 0 1679.39/1679.89 c 664 849 925.74 117.74 7.86 1000000 0 1681.39/1681.86 c 681 912 925.80 138.35 6.69 1000000 0 1683.39/1683.84 c 673 1059 938.73 140.83 6.67 1000000 0 1685.38/1685.82 c 717 900 945.12 120.34 7.85 1000000 0 1687.28/1687.79 c 624 907 901.96 134.97 6.68 1000000 0 1689.28/1689.78 c 686 973 941.40 113.66 8.28 1000000 0 1691.29/1691.75 c 665 779 923.05 137.10 6.73 1000000 0 1693.28/1693.73 c 634 837 945.43 106.80 8.85 1000000 0 1695.28/1695.72 c 733 900 960.11 110.39 8.70 1000000 0 1697.28/1697.71 c 635 921 929.24 130.87 7.10 1000000 0 1699.18/1699.68 c 617 922 911.56 148.29 6.15 1000000 0 1701.19/1701.65 c 665 881 932.55 132.28 7.05 1000000 0 1703.18/1703.62 c 683 985 931.50 115.34 8.08 1000000 0 1705.08/1705.59 c 650 1065 920.41 136.32 6.75 1000000 0 1707.08/1707.58 c 703 896 936.24 143.01 6.55 1000000 0 1709.08/1709.54 c 642 920 912.36 112.55 8.11 1000000 0 1711.08/1711.52 c 708 991 933.67 134.73 6.93 1000000 0 1713.08/1713.51 c 698 971 946.90 134.86 7.02 1000000 0 1714.98/1715.49 c 701 918 940.48 140.27 6.70 1000000 0 1716.97/1717.46 c 671 877 907.56 131.25 6.91 1000000 0 1718.97/1719.43 c 640 885 928.68 143.83 6.46 1000000 0 1720.98/1721.41 c 709 1007 956.11 140.67 6.80 1000000 0 1722.87/1723.39 c 672 851 929.87 144.64 6.43 1000000 0 1724.87/1725.37 c 634 920 936.58 119.88 7.81 1000000 0 1726.87/1727.33 c 643 759 915.23 130.03 7.04 1000000 0 1728.87/1729.31 c 682 985 934.92 121.07 7.72 1000000 0 1730.77/1731.29 c 696 947 929.54 125.58 7.40 1000000 0 1732.77/1733.27 c 707 1057 954.48 144.89 6.59 1000000 0 1734.77/1735.27 c 665 852 953.06 109.97 8.67 1000000 0 1736.77/1737.24 c 709 849 939.27 123.02 7.64 1000000 0 1738.77/1739.23 c 642 969 933.63 154.38 6.05 1000000 0 1740.78/1741.21 c 677 932 932.68 131.75 7.08 1000000 0 1742.67/1743.18 c 672 989 911.10 111.32 8.18 1000000 0 1744.67/1745.16 c 673 923 941.26 121.32 7.76 1000000 0 1746.67/1747.14 c 635 895 926.87 131.79 7.03 1000000 0 1748.67/1749.11 c 695 880 918.97 115.39 7.96 1000000 0 1750.57/1751.08 c 602 749 921.94 140.96 6.54 1000000 0 1752.57/1753.06 c 730 1011 943.83 134.70 7.01 1000000 0 1754.57/1755.04 c 678 860 935.07 121.59 7.69 1000000 0 1756.56/1757.01 c 685 1011 925.68 147.53 6.27 1000000 0 1758.56/1759.00 c 669 981 952.62 132.01 7.22 1000000 0 1760.46/1760.99 c 682 844 937.69 135.77 6.91 1000000 0 1762.46/1762.99 c 696 901 972.00 123.69 7.86 1000000 0 1764.46/1764.97 c 700 990 945.92 125.07 7.56 1000000 0 1766.46/1766.95 c 658 848 944.35 134.36 7.03 1000000 0 1768.46/1768.91 c 697 997 896.65 101.64 8.82 1000000 0 1770.36/1770.89 c 695 868 932.76 103.16 9.04 1000000 0 1772.36/1772.86 c 673 812 919.45 129.88 7.08 1000000 0 1774.36/1774.85 c 662 833 919.95 123.50 7.45 1000000 0 1776.36/1776.82 c 646 862 923.13 114.03 8.10 1000000 0 1778.36/1778.82 c 655 885 941.58 136.31 6.91 1000000 0 1780.37/1780.81 c 705 957 954.94 118.53 8.06 1000000 0 1782.26/1782.79 c 663 932 945.84 144.36 6.55 1000000 0 1784.26/1784.76 c 644 801 925.68 108.60 8.52 1000000 0 1786.26/1786.76 c 716 1024 961.95 136.72 7.04 1000000 0 1788.26/1788.74 c 660 971 931.09 134.03 6.95 1000000 0 1790.26/1790.72 c 657 846 912.14 138.31 6.59 1000000 0 1792.26/1792.70 c 690 874 918.93 101.31 9.07 1000000 0 1794.16/1794.68 c 703 840 938.85 143.02 6.56 1000000 0 1796.15/1796.66 c 634 956 903.18 129.16 6.99 1000000 0 1798.15/1798.64 c 666 732 924.62 120.59 7.67 1000000 0 1800.06/1800.51 HOME/run: line 2: 19505 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-2684832-1278434916/watcher-2684832-1278434916 -o /tmp/evaluation-result-2684832-1278434916/solver-2684832-1278434916 -C 1800 -W 2000 -M 1800 run HOME/instance-2684832-1278434916.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.77 1.74 1.39 3/106 19504 /proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) R 19502 19504 19027 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434379669 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [startup+0.0536239 s] /proc/loadavg: 1.77 1.74 1.39 3/106 19504 /proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100627 s] /proc/loadavg: 1.77 1.74 1.39 3/106 19504 /proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300644 s] /proc/loadavg: 1.77 1.74 1.39 3/106 19504 /proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700676 s] /proc/loadavg: 1.77 1.74 1.39 3/106 19504 /proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50074 s] /proc/loadavg: 1.77 1.74 1.39 2/108 19506 /proc/meminfo: memFree=1450068/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1.49 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1800 0 0 0 149 0 0 0 25 0 1 0 11705293 41422848 1730 1992294400 134512640 135071400 4287681744 18446744073709551615 134547324 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1730 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10087 s] /proc/loadavg: 1.77 1.74 1.39 2/108 19506 /proc/meminfo: memFree=1449944/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=3.09 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 309 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30113 s] /proc/loadavg: 1.71 1.73 1.39 2/108 19507 /proc/meminfo: memFree=1449944/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=6.29 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 629 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7017 s] /proc/loadavg: 1.65 1.72 1.39 2/108 19507 /proc/meminfo: memFree=1449836/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=12.69 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 1269 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5007 s] /proc/loadavg: 1.51 1.68 1.38 2/108 19507 /proc/meminfo: memFree=1449836/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=25.48 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 2548 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1008 s] /proc/loadavg: 1.33 1.63 1.37 2/108 19507 /proc/meminfo: memFree=1449836/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=51.07 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 5107 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.14 1.53 1.35 2/108 19509 /proc/meminfo: memFree=1449712/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=102.27 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 10227 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.05 1.43 1.32 2/108 19511 /proc/meminfo: memFree=1449588/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=162.25 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 16225 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.02 1.35 1.30 2/108 19512 /proc/meminfo: memFree=1449588/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=222.23 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 22223 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.28 1.28 2/108 19514 /proc/meminfo: memFree=1449588/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=282.23 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 28222 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 1.00 1.23 1.26 2/108 19515 /proc/meminfo: memFree=1449464/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=342.21 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 34220 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134572051 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 49152 [startup+402.3 s] /proc/loadavg: 1.00 1.18 1.24 2/108 19517 /proc/meminfo: memFree=1449464/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=402.2 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 40219 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1122.01 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 112200 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.08 2/108 19547 /proc/meminfo: memFree=1447728/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1182 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 118199 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.07 2/108 19548 /proc/meminfo: memFree=1447604/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1241.99 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 124197 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.07 2/108 19550 /proc/meminfo: memFree=1447480/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1301.98 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 130196 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526834 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.06 2/108 19552 /proc/meminfo: memFree=1447356/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1361.96 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 136194 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.06 2/108 19553 /proc/meminfo: memFree=1447356/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1421.95 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 142193 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526385 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.05 2/108 19555 /proc/meminfo: memFree=1447232/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1481.93 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 148191 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.04 2/108 19556 /proc/meminfo: memFree=1447232/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1541.92 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 154190 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.04 2/108 19558 /proc/meminfo: memFree=1447108/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1601.9 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 160188 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.03 2/108 19560 /proc/meminfo: memFree=1446984/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1661.89 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 166187 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.03 2/108 19561 /proc/meminfo: memFree=1446984/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1721.87 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 172185 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.02 2/108 19563 /proc/meminfo: memFree=1446612/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1781.86 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 178184 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.02 2/108 19565 /proc/meminfo: memFree=1446240/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1800.06 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 180004 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 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.5 s] /proc/loadavg: 1.00 1.00 1.02 2/108 19565 /proc/meminfo: memFree=1446240/2059040 swapFree=4192956/4192956 [pid=19504] ppid=19502 vsize=8700 CPUtime=0 /proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19504/statm: 2175 244 204 178 0 68 0 [pid=19505] ppid=19504 vsize=40452 CPUtime=1800.06 /proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 180004 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19505/statm: 10113 1738 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1800.05 CPU system time (s): 0.026995 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.026995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2181 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= 10619 runsolver used 3.23851 second user time and 8.30674 second system time The end
Begin job on node003 at 2010-07-06 18:48:36 IDJOB=2684832 IDBENCH=73651 IDSOLVER=1171 FILE ID=node003/2684832-1278434916 PBS_JOBID= 11233467 Free space on /tmp= 62568 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12015_3-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684832-1278434916/watcher-2684832-1278434916 -o /tmp/evaluation-result-2684832-1278434916/solver-2684832-1278434916 -C 1800 -W 2000 -M 1800 run HOME/instance-2684832-1278434916.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb0fc5066c2899699e0ea4a2b024975c RANDOM SEED=658759208 node003.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.224 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.44 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.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1457548 kB Buffers: 104336 kB Cached: 364512 kB SwapCached: 0 kB Active: 198716 kB Inactive: 330336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1457548 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2984 kB Writeback: 4 kB AnonPages: 60136 kB Mapped: 14432 kB Slab: 50528 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179612 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= 62568 MiB End job on node003 at 2010-07-06 19:18:36