Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.03 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1201_5-sat.opb |
MD5SUM | e5096dc6d98a70ac54385441089dc44c |
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.547915 |
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 | 27346 |
Total number of constraints | 86712 |
Number of constraints which are clauses | 86264 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 448 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35 |
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 | 14 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 210 |
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.21 c PB-wave - v2 0.00/0.21 c command line = ./PB-wave 0.00/0.21 c seed = 96788972 0.00/0.21 c cutoff = 1000000 0.00/0.21 c tries = 1000000 0.00/0.21 c heuristic = c best, noise 50 / 100 0.00/0.21 #var 27346 #con 86712 0.00/0.21 mode is SAT 0.00/0.21 c tail starts after flip = 82038 0.00/0.21 c numatom = 27346, numclause = 86712, numliterals = 198272 0.00/0.21 c wff read in 0.00/0.21 c 0.00/0.21 c lowest final avg noise noise total avg mean mean 0.00/0.21 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.21 c this this this this this this success success until std 0.00/0.21 c try try try try try try rate tries assign dev 0.00/0.21 c 1.99/2.08 c 803 982 1112.48 233.64 4.76 1000000 0 3.89/3.92 c 816 903 1071.72 205.04 5.23 1000000 0 5.69/5.76 c 776 1256 1073.51 178.15 6.03 1000000 0 7.60/7.62 c 782 958 1096.65 207.73 5.28 1000000 0 9.39/9.49 c 799 872 1123.06 211.95 5.30 1000000 0 11.29/11.34 c 795 1134 1102.95 218.02 5.06 1000000 0 13.09/13.20 c 783 974 1098.19 206.85 5.31 1000000 0 14.99/15.05 c 834 977 1097.23 210.02 5.22 1000000 0 16.78/16.89 c 779 1007 1072.42 202.55 5.29 1000000 0 18.69/18.74 c 832 961 1074.54 190.38 5.64 1000000 0 20.58/20.61 c 846 920 1131.90 205.76 5.50 1000000 0 22.38/22.46 c 672 1004 1086.45 190.41 5.71 1000000 0 24.28/24.31 c 814 983 1094.86 229.93 4.76 1000000 0 26.08/26.17 c 771 1087 1114.06 226.69 4.91 1000000 0 27.98/28.03 c 748 1025 1087.14 205.34 5.29 1000000 0 29.88/29.90 c 848 1103 1111.02 197.22 5.63 1000000 0 31.68/31.74 c 769 984 1063.78 207.39 5.13 1000000 0 33.48/33.58 c 782 863 1075.06 230.37 4.67 1000000 0 35.38/35.44 c 816 1035 1090.97 215.13 5.07 1000000 0 37.28/37.30 c 736 1041 1108.14 219.08 5.06 1000000 0 39.08/39.15 c 803 999 1089.64 218.66 4.98 1000000 0 40.98/41.01 c 814 1136 1092.15 182.38 5.99 1000000 0 42.78/42.86 c 794 974 1096.89 207.14 5.30 1000000 0 44.67/44.73 c 816 1076 1124.39 247.19 4.55 1000000 0 46.47/46.58 c 785 1046 1094.42 232.14 4.71 1000000 0 48.38/48.43 c 838 1030 1086.70 188.58 5.76 1000000 0 50.17/50.28 c 797 933 1071.52 214.28 5.00 1000000 0 52.07/52.13 c 799 1060 1111.60 213.43 5.21 1000000 0 53.88/53.98 c 807 1108 1075.22 227.62 4.72 1000000 0 55.77/55.81 c 768 919 1058.48 223.31 4.74 1000000 0 57.57/57.66 c 791 1026 1092.15 196.72 5.55 1000000 0 59.47/59.51 c 750 1038 1074.34 186.49 5.76 1000000 0 61.27/61.35 c 783 1060 1077.87 205.15 5.25 1000000 0 63.17/63.21 c 757 923 1086.90 208.30 5.22 1000000 0 64.97/65.07 c 836 1052 1098.86 228.33 4.81 1000000 0 66.87/66.93 c 811 1110 1104.10 199.56 5.53 1000000 0 68.67/68.78 c 793 1096 1093.11 230.24 4.75 1000000 0 70.57/70.63 c 830 1113 1089.48 215.32 5.06 1000000 0 72.37/72.49 c 845 978 1104.07 217.54 5.08 1000000 0 74.26/74.35 c 825 962 1101.22 203.49 5.41 1000000 0 76.16/76.21 c 808 1013 1113.66 245.41 4.54 1000000 0 77.97/78.06 c 808 1116 1087.23 207.77 5.23 1000000 0 79.86/79.91 c 789 980 1089.08 201.22 5.41 1000000 0 81.66/81.77 c 761 1023 1104.00 227.65 4.85 1000000 0 83.57/83.63 c 738 1104 1100.64 224.01 4.91 1000000 0 85.36/85.46 c 751 930 1046.62 178.53 5.86 1000000 0 87.26/87.31 c 825 928 1086.21 231.03 4.70 1000000 0 89.07/89.17 c 731 1086 1082.62 226.21 4.79 1000000 0 90.96/91.01 c 757 1164 1067.20 177.31 6.02 1000000 0 92.76/92.88 c 766 1116 1109.16 200.53 5.53 1000000 0 94.66/94.72 c 801 1075 1071.62 193.23 5.55 1000000 0 96.46/96.58 c 792 1061 1099.08 234.54 4.69 1000000 0 98.36/98.44 c 718 1151 1105.05 229.05 4.82 1000000 0 100.16/100.29 c 829 927 1095.06 218.80 5.00 1000000 0 102.06/102.14 c 837 990 1070.20 171.85 6.23 1000000 0 103.86/103.98 c 789 1129 1072.21 202.53 5.29 1000000 0 105.75/105.82 c 801 987 1068.25 195.43 5.47 1000000 0 107.55/107.68 c 863 1102 1118.39 184.11 6.07 1000000 0 109.45/109.53 c 814 1057 1086.73 203.44 5.34 1000000 0 111.25/111.38 c 744 1013 1095.81 238.64 4.59 1000000 0 113.16/113.22 c 766 1048 1071.00 231.60 4.62 1000000 0 114.95/115.06 c 793 983 1068.48 228.62 4.67 1000000 0 116.85/116.92 c 782 1078 1097.27 218.16 5.03 1000000 0 118.66/118.75 c 763 1080 1067.77 204.33 5.23 1000000 0 120.55/120.60 c 815 1054 1082.92 242.44 4.47 1000000 0 122.35/122.45 c 821 1188 1084.27 208.67 5.20 1000000 0 124.16/124.30 c 811 1110 1073.29 197.82 5.43 1000000 0 126.05/126.15 c 734 1094 1076.59 209.10 5.15 1000000 0 127.95/128.01 c 782 1254 1107.07 244.32 4.53 1000000 0 129.75/129.87 c 790 985 1091.83 216.96 5.03 1000000 0 131.65/131.71 c 811 1038 1064.12 189.57 5.61 1000000 0 133.45/133.55 c 760 1026 1067.86 184.06 5.80 1000000 0 135.25/135.39 c 803 1003 1068.93 249.18 4.29 1000000 0 137.15/137.27 c 857 1098 1133.61 216.34 5.24 1000000 0 139.04/139.13 c 793 982 1104.78 218.37 5.06 1000000 0 140.84/140.99 c 768 959 1100.11 224.67 4.90 1000000 0 142.74/142.84 c 750 985 1080.53 205.21 5.27 1000000 0 144.54/144.69 c 773 1193 1085.29 227.15 4.78 1000000 0 146.44/146.55 c 811 1162 1098.92 228.83 4.80 1000000 0 148.35/148.41 c 826 1005 1111.14 236.15 4.71 1000000 0 150.14/150.27 c 782 1037 1093.49 165.95 6.59 1000000 0 152.04/152.13 c 775 987 1093.68 219.20 4.99 1000000 0 153.85/153.98 c 801 1015 1088.31 238.02 4.57 1000000 0 155.74/155.83 c 743 1219 1088.46 205.73 5.29 1000000 0 157.54/157.68 c 802 955 1088.33 220.83 4.93 1000000 0 159.45/159.54 c 823 1280 1099.77 216.73 5.07 1000000 0 161.34/161.40 c 735 961 1106.59 201.49 5.49 1000000 0 163.14/163.24 c 687 966 1068.47 234.27 4.56 1000000 0 165.04/165.10 c 784 919 1084.73 236.85 4.58 1000000 0 166.83/166.94 c 780 1010 1082.20 225.90 4.79 1000000 0 168.63/168.79 c 697 1112 1083.23 221.76 4.88 1000000 0 170.53/170.65 c 822 1003 1091.63 219.57 4.97 1000000 0 172.33/172.49 c 831 883 1076.82 212.91 5.06 1000000 0 174.23/174.36 c 832 1116 1119.48 204.54 5.47 1000000 0 176.13/176.22 c 813 1060 1090.60 225.46 4.84 1000000 0 177.93/178.05 c 795 950 1062.40 191.95 5.53 1000000 0 179.83/179.90 c 744 1034 1075.42 226.88 4.74 1000000 0 181.63/181.74 c 838 893 1086.74 196.97 5.52 1000000 0 183.43/183.59 c 731 1008 1071.76 213.52 5.02 1000000 0 185.33/185.44 c 786 1119 1084.71 204.00 5.32 1000000 0 187.13/187.29 c 805 1041 1080.88 211.16 5.12 1000000 0 189.04/189.14 c 781 1023 1099.95 206.42 5.33 1000000 0 190.83/190.99 c 774 1154 1081.94 243.03 4.45 1000000 0 192.73/192.84 c 762 1105 1082.66 240.57 4.50 1000000 0 194.53/194.69 c 802 952 1095.40 252.07 4.35 1000000 0 196.43/196.55 c 762 822 1094.49 185.17 5.91 1000000 0 198.32/198.41 c 760 1075 1089.70 274.45 3.97 1000000 0 200.13/200.27 c 840 986 1094.65 175.06 6.25 1000000 0 202.02/202.12 c 752 962 1088.24 235.57 4.62 1000000 0 203.82/203.97 c 862 1154 1093.39 166.18 6.58 1000000 0 205.72/205.83 c 837 929 1104.12 200.98 5.49 1000000 0 207.52/207.68 c 819 1030 1083.25 180.02 6.02 1000000 0 209.42/209.53 c 792 979 1079.64 228.21 4.73 1000000 0 211.22/211.38 c 804 1078 1072.45 204.60 5.24 1000000 0 213.12/213.21 c 785 1013 1054.37 198.21 5.32 1000000 0 214.92/215.06 c 775 1078 1093.00 229.29 4.77 1000000 0 216.82/216.92 c 823 1193 1089.66 194.49 5.60 1000000 0 218.62/218.77 c 839 917 1098.10 218.97 5.01 1000000 0 220.52/220.63 c 840 1010 1105.96 183.87 6.01 1000000 0 222.32/222.48 c 842 976 1087.77 182.74 5.95 1000000 0 224.22/224.33 c 810 913 1108.00 210.34 5.27 1000000 0 226.02/226.17 c 822 1040 1070.41 207.69 5.15 1000000 0 227.92/228.02 c 823 1023 1083.04 205.53 5.27 1000000 0 229.72/229.87 c 767 1061 1063.91 231.94 4.59 1000000 0 231.61/231.74 c 876 1069 1112.40 225.83 4.93 1000000 0 233.41/233.59 c 772 920 1101.13 238.42 4.62 1000000 0 235.32/235.44 c 800 1114 1101.42 200.49 5.49 1000000 0 237.21/237.30 c 801 1010 1100.28 232.38 4.73 1000000 0 239.01/239.14 c 739 946 1058.08 258.07 4.10 1000000 0 240.82/240.99 c 715 1031 1091.06 203.88 5.35 1000000 0 242.71/242.85 c 813 934 1098.43 210.77 5.21 1000000 0 244.51/244.70 c 805 1050 1079.96 175.99 6.14 1000000 0 246.41/246.55 c 816 1157 1099.40 241.16 4.56 1000000 0 248.31/248.40 c 792 981 1090.92 228.06 4.78 1000000 0 250.11/250.26 c 785 1012 1100.21 233.77 4.71 1000000 0 252.01/252.11 c 794 1239 1082.24 243.95 4.44 1000000 0 253.81/253.95 c 812 993 1089.79 225.42 4.83 1000000 0 255.71/255.81 c 799 1073 1098.99 206.59 5.32 1000000 0 257.50/257.68 c 820 1006 1132.33 249.78 4.53 1000000 0 259.41/259.54 c 811 1044 1103.45 233.72 4.72 1000000 0 261.21/261.39 c 782 986 1070.19 205.38 5.21 1000000 0 263.10/263.23 c 784 920 1056.08 207.83 5.08 1000000 0 264.91/265.07 c 740 1004 1082.98 191.69 5.65 1000000 0 266.80/266.94 c 770 1101 1102.51 212.10 5.20 1000000 0 268.70/268.80 c 799 937 1109.15 199.81 5.55 1000000 0 270.51/270.67 c 775 1032 1103.68 238.72 4.62 1000000 0 272.40/272.52 c 825 1071 1075.09 226.07 4.76 1000000 0 274.20/274.37 c 783 913 1090.28 225.24 4.84 1000000 0 276.10/276.22 c 772 1095 1080.34 235.46 4.59 1000000 0 277.90/278.07 c 804 1197 1092.96 198.61 5.50 1000000 0 279.80/279.93 c 806 1055 1096.75 238.48 4.60 1000000 0 281.60/281.79 c 802 1003 1091.60 232.63 4.69 1000000 0 283.50/283.64 c 783 1055 1083.97 227.38 4.77 1000000 0 285.40/285.50 c 816 971 1091.62 261.83 4.17 1000000 0 287.20/287.34 c 794 1142 1070.61 195.35 5.48 1000000 0 289.00/289.19 c 799 867 1087.82 231.64 4.70 1000000 0 290.89/291.03 c 809 995 1068.32 188.27 5.67 1000000 0 292.69/292.87 c 752 1008 1081.20 209.04 5.17 1000000 0 294.60/294.73 c 787 1021 1102.73 243.45 4.53 1000000 0 296.39/296.59 c 811 1040 1079.31 208.45 5.18 1000000 0 298.29/298.42 c 697 954 1050.66 162.78 6.45 1000000 0 300.10/300.27 c 807 982 1089.92 210.17 5.19 1000000 0 301.99/302.13 c 867 1076 1113.69 204.89 5.44 1000000 0 303.79/303.97 c 801 980 1083.09 203.97 5.31 1000000 0 305.70/305.82 c 782 918 1087.99 228.88 4.75 1000000 0 307.49/307.68 c 737 1083 1098.92 202.13 5.44 1000000 0 309.39/309.53 c 800 1102 1090.49 225.81 4.83 1000000 0 311.20/311.38 c 805 987 1069.27 207.68 5.15 1000000 0 313.09/313.24 c 804 979 1104.40 223.84 4.93 1000000 0 314.89/315.09 c 822 1127 1107.12 227.97 4.86 1000000 0 316.79/316.95 c 757 1059 1085.30 229.68 4.73 1000000 0 318.69/318.80 c 785 1051 1097.04 208.87 5.25 1000000 0 320.49/320.63 c 791 992 1047.37 167.09 6.27 1000000 0 322.29/322.48 c 796 1061 1075.71 192.94 5.58 1000000 0 324.18/324.32 c 779 963 1061.78 223.33 4.75 1000000 0 325.98/326.17 c 756 995 1068.30 186.75 5.72 1000000 0 327.88/328.04 c 791 1068 1125.96 240.17 4.69 1000000 0 329.79/329.91 c 799 993 1125.87 222.76 5.05 1000000 0 331.58/331.75 c 800 1154 1079.34 179.27 6.02 1000000 0 333.38/333.59 c 773 1005 1082.63 238.72 4.54 1000000 0 335.29/335.45 c 782 1115 1095.53 212.15 5.16 1000000 0 337.08/337.29 c 792 1138 1073.41 235.38 4.56 1000000 0 338.98/339.13 c 786 1062 1078.81 199.76 5.40 1000000 0 340.79/340.98 c 759 1033 1065.65 201.47 5.29 1000000 0 342.68/342.84 c 790 965 1105.36 256.17 4.31 1000000 0 344.48/344.69 c 791 1130 1079.75 205.36 5.26 1000000 0 346.38/346.55 c 763 1169 1091.07 217.70 5.01 1000000 0 348.18/348.39 c 771 1004 1064.89 179.31 5.94 1000000 0 350.08/350.25 c 809 1024 1097.92 228.38 4.81 1000000 0 351.98/352.10 c 748 911 1085.39 223.86 4.85 1000000 0 353.77/353.94 c 770 868 1069.65 211.33 5.06 1000000 0 355.57/355.80 c 752 794 1094.49 198.25 5.52 1000000 0 357.47/357.65 c 771 1164 1093.44 231.93 4.71 1000000 0 359.37/359.50 c 769 987 1077.78 198.97 5.42 1000000 0 361.17/361.36 c 780 1097 1097.79 210.50 5.22 1000000 0 363.07/363.21 c 790 970 1107.39 199.65 5.55 1000000 0 364.87/365.07 c 807 1011 1095.75 234.77 4.67 1000000 0 366.77/366.92 c 803 1032 1075.38 183.84 5.85 1000000 0 368.57/368.78 c 733 923 1086.03 201.42 5.39 1000000 0 370.48/370.63 c 765 945 1092.24 206.68 5.28 1000000 0 372.27/372.48 c 787 1128 1088.11 203.91 5.34 1000000 0 374.17/374.32 c 770 1015 1086.59 201.69 5.39 1000000 0 375.97/376.18 c 813 988 1095.65 192.82 5.68 1000000 0 377.87/378.03 c 769 1061 1069.40 164.95 6.48 1000000 0 379.67/379.87 c 760 1150 1082.47 192.91 5.61 1000000 0 381.57/381.73 c 842 955 1091.81 196.81 5.55 1000000 0 383.36/383.56 c 815 1011 1061.73 197.84 5.37 1000000 0 385.26/385.42 c 820 919 1085.02 198.78 5.46 1000000 0 387.07/387.27 c 784 944 1082.00 222.38 4.87 1000000 0 388.96/389.11 c 766 816 1073.82 199.97 5.37 1000000 0 390.76/390.95 c 798 1044 1065.94 182.35 5.85 1000000 0 392.66/392.81 c 796 1145 1086.06 183.09 5.93 1000000 0 394.46/394.66 c 779 1089 1095.65 203.68 5.38 1000000 0 396.36/396.52 c 768 1062 1075.68 217.71 4.94 1000000 0 398.16/398.36 c 781 1093 1078.55 208.96 5.16 1000000 0 400.06/400.20 c 758 960 1068.39 208.68 5.12 1000000 0 401.86/402.06 c 824 1015 1105.40 218.21 5.07 1000000 0 403.76/403.90 c 761 1110 1073.80 212.43 5.05 1000000 0 405.56/405.76 c 768 1030 1088.70 214.41 5.08 1000000 0 407.46/407.62 c 768 1060 1102.55 214.50 5.14 1000000 0 409.25/409.47 c 825 1140 1084.08 241.66 4.49 1000000 0 411.16/411.33 c 778 958 1105.74 248.30 4.45 1000000 0 412.95/413.18 c 772 1064 1087.77 205.53 5.29 1000000 0 414.85/415.04 c 820 1070 1087.61 237.69 4.58 1000000 0 416.66/416.88 c 789 1032 1082.08 183.67 5.89 1000000 0 418.55/418.73 c 785 1017 1086.56 201.43 5.39 1000000 0 420.35/420.58 c 723 1025 1098.52 221.49 4.96 1000000 0 422.26/422.45 c 757 1058 1086.09 246.32 4.41 1000000 0 424.05/424.28 c 807 1071 1061.95 171.27 6.20 1000000 0 425.95/426.14 c 773 986 1083.70 183.64 5.90 1000000 0 427.85/428.00 c 792 945 1101.25 185.73 5.93 1000000 0 429.65/429.83 c 797 1164 1054.42 193.92 5.44 1000000 0 431.45/431.68 c 807 1157 1101.56 206.39 5.34 1000000 0 433.35/433.54 c 774 1091 1090.01 235.13 4.64 1000000 0 435.15/435.39 c 787 982 1079.94 214.60 5.03 1000000 0 437.05/437.24 c 786 1205 1076.63 181.28 5.94 1000000 0 438.85/439.09 c 802 1112 1090.27 217.75 5.01 1000000 0 440.74/440.94 c 805 1113 1084.11 181.99 5.96 1000000 0 442.54/442.79 c 760 928 1077.27 185.79 5.80 1000000 0 444.44/444.63 c 772 1189 1070.42 229.96 4.65 1000000 0 446.24/446.48 c 858 1060 1094.98 163.99 6.68 1000000 0 448.14/448.35 c 787 1083 1090.27 220.29 4.95 1000000 0 450.04/450.20 c 730 1039 1107.62 231.72 4.78 1000000 0 451.85/452.06 c 818 1042 1105.05 232.97 4.74 1000000 0 453.74/453.91 c 822 1107 1091.07 203.44 5.36 1000000 0 455.54/455.76 c 760 1066 1077.88 273.99 3.93 1000000 0 457.45/457.61 c 807 1015 1101.44 203.57 5.41 1000000 0 459.24/459.47 c 831 1041 1102.59 253.88 4.34 1000000 0 461.14/461.33 c 819 913 1118.47 217.98 5.13 1000000 0 462.95/463.19 c 766 955 1100.63 263.46 4.18 1000000 0 464.84/465.07 c 814 1066 1128.40 244.28 4.62 1000000 0 466.74/466.91 c 721 1073 1071.55 192.21 5.57 1000000 0 468.54/468.76 c 754 1067 1094.19 205.60 5.32 1000000 0 470.43/470.62 c 794 936 1090.24 229.02 4.76 1000000 0 472.23/472.47 c 801 1053 1094.46 239.28 4.57 1000000 0 474.13/474.31 c 729 1017 1056.58 184.51 5.73 1000000 0 475.93/476.16 c 808 971 1077.18 170.61 6.31 1000000 0 477.83/478.02 c 829 977 1101.30 226.76 4.86 1000000 0 479.63/479.87 c 832 1041 1089.38 208.60 5.22 1000000 0 481.54/481.73 c 834 929 1100.40 225.53 4.88 1000000 0 483.33/483.59 c 784 882 1107.82 226.74 4.89 1000000 0 485.23/485.45 c 787 1012 1102.33 212.51 5.19 1000000 0 487.14/487.31 c 799 1046 1108.23 209.73 5.28 1000000 0 488.93/489.15 c 811 1079 1063.80 188.57 5.64 1000000 0 490.83/491.00 c 805 1166 1093.36 221.83 4.93 1000000 0 492.64/492.86 c 840 893 1109.25 210.90 5.26 1000000 0 494.53/494.71 c 781 1095 1063.49 232.03 4.58 1000000 0 496.33/496.57 c 821 1060 1100.77 224.98 4.89 1000000 0 498.23/498.42 c 782 1047 1082.01 228.56 4.73 1000000 0 500.03/500.26 c 774 888 1065.23 192.63 5.53 1000000 0 501.92/502.11 c 788 1023 1082.96 213.05 5.08 1000000 0 503.72/503.96 c 813 944 1078.88 200.24 5.39 1000000 0 505.62/505.81 c 828 964 1099.10 196.42 5.60 1000000 0 507.42/507.67 c 814 1029 1082.75 224.45 4.82 1000000 0 509.32/509.52 c 785 1020 1080.84 217.25 4.98 1000000 0 511.12/511.37 c 783 1051 1083.37 208.64 5.19 1000000 0 513.02/513.21 c 760 1078 1072.49 230.20 4.66 1000000 0 514.82/515.06 c 795 1037 1067.62 180.88 5.90 1000000 0 516.73/516.90 c 810 984 1086.81 212.94 5.10 1000000 0 518.52/518.76 c 802 1036 1085.53 206.25 5.26 1000000 0 520.42/520.61 c 822 986 1067.81 188.07 5.68 1000000 0 522.23/522.47 c 816 1069 1115.90 220.37 5.06 1000000 0 524.12/524.31 c 780 965 1064.02 223.57 4.76 1000000 0 525.92/526.17 c 771 1037 1104.65 251.06 4.40 1000000 0 527.82/528.02 c 780 993 1088.37 234.70 4.64 1000000 0 529.62/529.87 c 800 1093 1075.45 250.25 4.30 1000000 0 531.52/531.71 c 782 1041 1064.95 172.47 6.17 1000000 0 533.32/533.56 c 787 897 1070.37 231.61 4.62 1000000 0 535.11/535.39 c 800 1093 1072.28 162.40 6.60 1000000 0 537.01/537.26 c 799 1080 1118.76 216.88 5.16 1000000 0 538.91/539.11 c 814 1105 1084.83 204.98 5.29 1000000 0 540.71/540.96 c 807 912 1056.40 192.32 5.49 1000000 0 542.61/542.82 c 838 1161 1103.37 195.86 5.63 1000000 0 544.41/544.67 c 764 1042 1086.47 221.02 4.92 1000000 0 546.31/546.52 c 777 1036 1075.68 205.70 5.23 1000000 0 548.11/548.37 c 839 903 1087.28 201.87 5.39 1000000 0 550.01/550.23 c 778 1076 1095.09 213.19 5.14 1000000 0 551.81/552.08 c 783 816 1087.01 186.47 5.83 1000000 0 553.71/553.96 c 839 1005 1131.36 215.96 5.24 1000000 0 555.61/555.80 c 798 1025 1073.82 227.94 4.71 1000000 0 557.41/557.65 c 796 1119 1084.58 178.31 6.08 1000000 0 559.21/559.50 c 793 1164 1080.47 199.57 5.41 1000000 0 561.11/561.36 c 841 1042 1102.61 222.44 4.96 1000000 0 563.01/563.21 c 815 1022 1076.79 199.67 5.39 1000000 0 564.81/565.08 c 779 1117 1111.83 259.25 4.29 1000000 0 566.70/566.93 c 779 1139 1083.94 188.71 5.74 1000000 0 568.51/568.78 c 769 1072 1085.16 176.78 6.14 1000000 0 570.40/570.63 c 782 941 1073.93 195.39 5.50 1000000 0 572.20/572.48 c 757 1185 1088.35 234.72 4.64 1000000 0 574.10/574.36 c 802 1105 1130.15 253.95 4.45 1000000 0 576.00/576.20 c 766 1039 1058.79 201.54 5.25 1000000 0 577.80/578.05 c 770 957 1079.56 206.32 5.23 1000000 0 579.70/579.92 c 761 990 1138.45 233.47 4.88 1000000 0 581.50/581.76 c 731 1213 1065.34 171.06 6.23 1000000 0 583.40/583.62 c 839 908 1102.70 229.15 4.81 1000000 0 585.20/585.48 c 713 1038 1109.96 211.31 5.25 1000000 0 587.10/587.34 c 782 1041 1096.76 255.25 4.30 1000000 0 588.90/589.20 c 766 890 1091.75 222.18 4.91 1000000 0 590.80/591.06 c 832 1019 1106.28 231.32 4.78 1000000 0 592.70/592.91 c 782 1028 1084.68 231.03 4.69 1000000 0 594.49/594.75 c 793 1019 1052.97 214.54 4.91 1000000 0 596.39/596.60 c 784 956 1095.35 220.08 4.98 1000000 0 598.20/598.46 c 807 1048 1104.34 200.85 5.50 1000000 0 600.09/600.32 c 788 944 1095.03 214.43 5.11 1000000 0 601.89/602.17 c 781 1094 1068.13 215.55 4.96 1000000 0 603.79/604.03 c 833 962 1097.68 200.64 5.47 1000000 0 605.59/605.86 c 739 1053 1051.03 189.08 5.56 1000000 0 607.49/607.70 c 700 931 1062.79 177.00 6.00 1000000 0 609.29/609.54 c 799 1027 1061.17 224.34 4.73 1000000 0 611.19/611.40 c 775 1005 1102.44 236.17 4.67 1000000 0 612.99/613.25 c 780 997 1079.44 204.23 5.29 1000000 0 614.89/615.11 c 809 1137 1102.00 219.27 5.03 1000000 0 616.69/616.98 c 845 960 1135.36 253.53 4.48 1000000 0 618.59/618.83 c 811 1117 1078.15 204.03 5.28 1000000 0 620.39/620.69 c 805 1113 1093.16 205.06 5.33 1000000 0 622.29/622.54 c 830 994 1079.24 188.40 5.73 1000000 0 624.18/624.40 c 839 1016 1114.15 190.97 5.83 1000000 0 625.98/626.24 c 784 1079 1080.15 195.66 5.52 1000000 0 627.79/628.10 c 821 1125 1089.10 230.43 4.73 1000000 0 629.68/629.96 c 849 1001 1110.08 224.39 4.95 1000000 0 631.58/631.80 c 739 978 1065.40 205.20 5.19 1000000 0 633.39/633.65 c 765 1023 1088.21 202.55 5.37 1000000 0 635.28/635.51 c 777 1094 1093.40 235.04 4.65 1000000 0 637.08/637.37 c 820 1125 1096.78 201.39 5.45 1000000 0 638.98/639.22 c 820 931 1097.53 201.28 5.45 1000000 0 640.78/641.08 c 807 980 1110.99 249.72 4.45 1000000 0 642.68/642.94 c 823 1112 1093.38 187.94 5.82 1000000 0 644.58/644.81 c 751 990 1097.64 196.48 5.59 1000000 0 646.38/646.66 c 805 1142 1080.22 216.65 4.99 1000000 0 648.18/648.50 c 745 943 1076.69 189.46 5.68 1000000 0 650.08/650.35 c 784 1200 1095.63 206.03 5.32 1000000 0 651.88/652.20 c 756 1128 1085.84 215.62 5.04 1000000 0 653.77/654.06 c 848 1094 1097.85 185.45 5.92 1000000 0 655.67/655.93 c 829 1020 1121.50 232.18 4.83 1000000 0 657.48/657.78 c 791 988 1098.42 244.24 4.50 1000000 0 659.37/659.65 c 796 1107 1122.48 210.28 5.34 1000000 0 661.27/661.51 c 800 1108 1096.73 216.62 5.06 1000000 0 663.08/663.36 c 782 992 1087.39 196.58 5.53 1000000 0 664.97/665.22 c 815 1030 1084.16 211.19 5.13 1000000 0 666.77/667.07 c 818 1162 1079.33 205.54 5.25 1000000 0 668.67/668.92 c 771 1144 1081.02 213.35 5.07 1000000 0 670.47/670.79 c 846 1136 1109.60 210.61 5.27 1000000 0 672.37/672.63 c 789 1068 1067.39 187.30 5.70 1000000 0 674.17/674.48 c 840 994 1089.48 195.03 5.59 1000000 0 676.07/676.35 c 794 1035 1103.94 226.14 4.88 1000000 0 677.87/678.19 c 799 1001 1063.45 212.28 5.01 1000000 0 679.77/680.03 c 849 1044 1081.17 186.33 5.80 1000000 0 681.57/681.88 c 756 1001 1086.65 212.50 5.11 1000000 0 683.46/683.74 c 784 1166 1092.70 203.55 5.37 1000000 0 685.26/685.59 c 845 1065 1084.21 218.06 4.97 1000000 0 687.17/687.45 c 836 1095 1086.20 181.03 6.00 1000000 0 689.06/689.30 c 789 1044 1106.71 211.86 5.22 1000000 0 690.86/691.14 c 809 853 1077.64 168.64 6.39 1000000 0 692.67/692.99 c 787 1040 1079.86 183.84 5.87 1000000 0 694.56/694.83 c 794 1116 1058.42 207.58 5.10 1000000 0 696.36/696.69 c 817 1126 1104.58 216.46 5.10 1000000 0 698.27/698.55 c 760 961 1091.29 201.40 5.42 1000000 0 700.16/700.40 c 808 1045 1073.75 206.69 5.20 1000000 0 701.96/702.25 c 803 1147 1085.30 230.91 4.70 1000000 0 703.86/704.10 c 752 1083 1085.94 242.96 4.47 1000000 0 705.66/705.96 c 811 992 1095.13 250.41 4.37 1000000 0 707.56/707.81 c 782 903 1085.69 218.74 4.96 1000000 0 709.36/709.67 c 835 1161 1089.32 194.27 5.61 1000000 0 711.26/711.52 c 761 1018 1096.92 207.95 5.28 1000000 0 713.06/713.38 c 850 1005 1104.68 178.92 6.17 1000000 0 714.95/715.23 c 809 1016 1082.55 163.99 6.60 1000000 0 716.75/717.09 c 787 1051 1090.76 197.47 5.52 1000000 0 718.65/718.95 c 758 944 1102.60 221.98 4.97 1000000 0 720.45/720.79 c 730 861 1068.27 242.60 4.40 1000000 0 722.36/722.65 c 813 1137 1092.66 213.73 5.11 1000000 0 724.15/724.49 c 792 1007 1071.48 230.26 4.65 1000000 0 726.05/726.34 c 799 994 1069.82 191.28 5.59 1000000 0 727.86/728.17 c 770 856 1071.77 197.73 5.42 1000000 0 729.75/730.02 c 761 1102 1076.86 185.10 5.82 1000000 0 731.55/731.87 c 809 1044 1093.77 186.19 5.87 1000000 0 733.46/733.74 c 827 1076 1107.09 199.86 5.54 1000000 0 735.25/735.58 c 750 930 1064.81 230.83 4.61 1000000 0 737.15/737.43 c 777 1079 1078.38 203.49 5.30 1000000 0 738.95/739.29 c 794 1021 1099.22 210.53 5.22 1000000 0 740.85/741.13 c 769 1194 1074.43 207.29 5.18 1000000 0 742.75/743.00 c 868 1056 1117.49 236.96 4.72 1000000 0 744.54/744.86 c 818 949 1090.14 224.22 4.86 1000000 0 746.44/746.73 c 854 1018 1116.25 226.51 4.93 1000000 0 748.24/748.58 c 787 1040 1090.42 233.98 4.66 1000000 0 750.14/750.44 c 836 882 1098.75 228.86 4.80 1000000 0 751.94/752.30 c 776 888 1094.70 229.64 4.77 1000000 0 753.84/754.16 c 811 1086 1102.80 193.04 5.71 1000000 0 755.74/756.01 c 784 1042 1082.75 224.68 4.82 1000000 0 757.55/757.87 c 823 1034 1096.89 220.26 4.98 1000000 0 759.44/759.71 c 749 924 1069.17 199.07 5.37 1000000 0 761.24/761.57 c 780 971 1087.83 199.23 5.46 1000000 0 763.15/763.41 c 738 1049 1067.73 171.08 6.24 1000000 0 764.94/765.26 c 762 991 1084.97 230.64 4.70 1000000 0 766.84/767.10 c 795 994 1066.80 196.98 5.42 1000000 0 768.65/768.96 c 796 986 1090.19 203.04 5.37 1000000 0 770.54/770.85 c 852 1019 1146.38 202.57 5.66 1000000 0 772.44/772.70 c 764 997 1090.99 209.74 5.20 1000000 0 774.24/774.56 c 824 1055 1096.94 229.90 4.77 1000000 0 776.14/776.41 c 843 1028 1086.94 194.82 5.58 1000000 0 777.93/778.24 c 790 891 1060.50 213.10 4.98 1000000 0 779.73/780.08 c 789 1062 1077.57 181.89 5.92 1000000 0 781.63/781.93 c 779 999 1070.52 212.89 5.03 1000000 0 783.43/783.78 c 834 1056 1088.94 238.71 4.56 1000000 0 785.33/785.63 c 740 969 1079.77 229.81 4.70 1000000 0 787.13/787.48 c 779 1060 1086.88 250.42 4.34 1000000 0 789.03/789.34 c 780 968 1104.78 257.68 4.29 1000000 0 790.83/791.19 c 829 1121 1104.15 203.76 5.42 1000000 0 792.74/793.05 c 772 985 1094.59 213.93 5.12 1000000 0 794.63/794.91 c 830 1082 1102.23 195.28 5.64 1000000 0 796.43/796.76 c 783 1053 1075.20 148.17 7.26 1000000 0 798.23/798.60 c 766 839 1073.86 216.17 4.97 1000000 0 800.13/800.45 c 840 1096 1093.77 167.53 6.53 1000000 0 802.03/802.31 c 836 1076 1083.09 204.99 5.28 1000000 0 803.83/804.16 c 817 1001 1088.86 224.55 4.85 1000000 0 805.72/806.00 c 806 902 1075.79 210.94 5.10 1000000 0 807.52/807.85 c 827 1030 1079.33 218.89 4.93 1000000 0 809.33/809.69 c 819 843 1070.41 213.37 5.02 1000000 0 811.22/811.54 c 771 1091 1085.54 178.71 6.07 1000000 0 813.02/813.39 c 813 1030 1090.38 187.60 5.81 1000000 0 814.92/815.26 c 832 1092 1111.60 225.08 4.94 1000000 0 816.82/817.11 c 771 1117 1081.02 222.72 4.85 1000000 0 818.62/818.95 c 788 979 1066.89 215.59 4.95 1000000 0 820.52/820.80 c 737 1219 1080.00 194.40 5.56 1000000 0 822.32/822.64 c 799 936 1064.70 184.93 5.76 1000000 0 824.12/824.49 c 768 1021 1089.18 207.44 5.25 1000000 0 826.02/826.35 c 819 943 1087.61 206.58 5.26 1000000 0 827.93/828.20 c 805 1025 1088.62 208.14 5.23 1000000 0 829.72/830.06 c 776 981 1108.11 193.85 5.72 1000000 0 831.62/831.93 c 857 1075 1122.76 227.96 4.93 1000000 0 833.42/833.79 c 777 1066 1096.78 229.48 4.78 1000000 0 835.32/835.63 c 792 1151 1075.78 223.33 4.82 1000000 0 837.11/837.47 c 733 902 1077.08 191.16 5.63 1000000 0 839.02/839.33 c 822 886 1088.00 188.48 5.77 1000000 0 840.81/841.17 c 803 1075 1061.46 204.73 5.18 1000000 0 842.71/843.00 c 737 1058 1036.89 194.79 5.32 1000000 0 844.52/844.86 c 823 1075 1105.63 197.15 5.61 1000000 0 846.41/846.70 c 834 1025 1068.92 193.96 5.51 1000000 0 848.21/848.55 c 786 1157 1094.89 204.40 5.36 1000000 0 850.11/850.40 c 779 1075 1075.21 206.03 5.22 1000000 0 851.91/852.24 c 804 1021 1067.97 203.35 5.25 1000000 0 853.71/854.09 c 807 952 1082.97 216.62 5.00 1000000 0 855.61/855.95 c 811 1100 1106.16 210.83 5.25 1000000 0 857.51/857.80 c 840 981 1083.95 209.30 5.18 1000000 0 859.31/859.66 c 773 1018 1093.51 200.21 5.46 1000000 0 861.21/861.52 c 828 925 1094.74 206.90 5.29 1000000 0 863.01/863.36 c 765 896 1063.64 192.44 5.53 1000000 0 864.91/865.21 c 800 1094 1095.80 161.84 6.77 1000000 0 866.71/867.06 c 770 1014 1088.12 260.81 4.17 1000000 0 868.61/868.91 c 794 1098 1080.88 208.48 5.18 1000000 0 870.40/870.76 c 780 1028 1082.77 181.06 5.98 1000000 0 872.30/872.62 c 823 1007 1082.73 211.65 5.12 1000000 0 874.11/874.48 c 832 1182 1103.97 215.59 5.12 1000000 0 876.00/876.33 c 810 1144 1088.80 214.67 5.07 1000000 0 877.80/878.18 c 787 1024 1076.80 234.09 4.60 1000000 0 879.71/880.03 c 794 1063 1098.44 198.14 5.54 1000000 0 881.50/881.88 c 748 1053 1080.46 246.92 4.38 1000000 0 883.40/883.75 c 845 1025 1110.05 205.31 5.41 1000000 0 885.21/885.59 c 823 990 1077.33 184.85 5.83 1000000 0 887.10/887.46 c 836 1023 1130.81 240.23 4.71 1000000 0 889.00/889.33 c 804 1105 1123.00 217.75 5.16 1000000 0 890.80/891.18 c 783 1099 1101.25 196.11 5.62 1000000 0 892.70/893.02 c 817 1111 1091.01 191.12 5.71 1000000 0 894.50/894.89 c 818 1091 1117.24 240.44 4.65 1000000 0 896.40/896.74 c 793 1050 1084.35 200.08 5.42 1000000 0 898.30/898.61 c 828 1096 1111.82 221.41 5.02 1000000 0 900.10/900.45 c 795 979 1075.83 191.03 5.63 1000000 0 901.99/902.31 c 752 961 1088.55 249.35 4.37 1000000 0 903.80/904.17 c 798 1011 1115.15 254.98 4.37 1000000 0 905.69/906.03 c 834 954 1097.16 179.63 6.11 1000000 0 907.49/907.88 c 782 977 1078.60 217.89 4.95 1000000 0 909.40/909.75 c 810 1079 1115.61 201.98 5.52 1000000 0 911.29/911.60 c 772 1154 1097.62 225.21 4.87 1000000 0 913.09/913.44 c 737 993 1084.87 195.09 5.56 1000000 0 914.90/915.27 c 769 1066 1041.26 199.25 5.23 1000000 0 916.79/917.12 c 811 1130 1086.84 219.29 4.96 1000000 0 918.59/918.99 c 806 1014 1110.21 260.65 4.26 1000000 0 920.49/920.85 c 790 1085 1101.32 260.60 4.23 1000000 0 922.29/922.69 c 783 931 1071.19 272.81 3.93 1000000 0 924.19/924.55 c 805 974 1088.36 213.25 5.10 1000000 0 925.99/926.39 c 710 994 1068.66 209.07 5.11 1000000 0 927.88/928.23 c 793 1067 1080.14 195.79 5.52 1000000 0 929.68/930.09 c 810 1112 1094.24 223.73 4.89 1000000 0 931.58/931.94 c 815 1048 1081.53 174.01 6.22 1000000 0 933.38/933.79 c 812 933 1096.99 233.37 4.70 1000000 0 935.28/935.65 c 821 964 1106.27 239.48 4.62 1000000 0 937.18/937.50 c 753 1024 1074.40 188.16 5.71 1000000 0 938.99/939.35 c 821 984 1085.04 186.55 5.82 1000000 0 940.88/941.21 c 825 992 1101.91 219.74 5.01 1000000 0 942.68/943.07 c 759 1034 1095.91 201.86 5.43 1000000 0 944.59/944.92 c 804 1048 1093.48 220.67 4.96 1000000 0 946.38/946.77 c 794 1015 1077.48 228.57 4.71 1000000 0 948.28/948.63 c 832 1089 1096.13 187.69 5.84 1000000 0 950.09/950.47 c 793 1066 1065.43 196.07 5.43 1000000 0 951.98/952.31 c 785 1152 1057.72 179.41 5.90 1000000 0 953.78/954.16 c 822 1000 1099.48 207.86 5.29 1000000 0 955.68/956.02 c 791 1007 1096.85 188.58 5.82 1000000 0 957.48/957.88 c 755 1027 1081.06 250.29 4.32 1000000 0 959.38/959.73 c 810 1026 1079.17 238.50 4.52 1000000 0 961.17/961.59 c 800 1022 1110.66 191.02 5.81 1000000 0 963.07/963.44 c 772 976 1088.49 225.21 4.83 1000000 0 964.97/965.31 c 868 1068 1116.00 187.71 5.95 1000000 0 966.77/967.17 c 788 942 1086.89 234.40 4.64 1000000 0 968.68/969.02 c 744 985 1075.29 231.80 4.64 1000000 0 970.47/970.87 c 776 1067 1069.53 186.26 5.74 1000000 0 972.37/972.72 c 820 1006 1103.20 196.32 5.62 1000000 0 974.18/974.57 c 814 1109 1096.15 196.20 5.59 1000000 0 976.07/976.43 c 842 1006 1097.15 185.16 5.93 1000000 0 977.87/978.27 c 787 1143 1077.56 195.48 5.51 1000000 0 979.78/980.11 c 794 1008 1051.39 189.80 5.54 1000000 0 981.57/981.97 c 843 1026 1107.26 205.30 5.39 1000000 0 983.47/983.82 c 773 1041 1080.39 230.15 4.69 1000000 0 985.27/985.68 c 804 1301 1093.20 219.59 4.98 1000000 0 987.17/987.54 c 860 1016 1116.56 185.14 6.03 1000000 0 988.97/989.40 c 782 1098 1099.24 228.58 4.81 1000000 0 990.87/991.24 c 802 951 1080.30 222.65 4.85 1000000 0 992.77/993.10 c 774 1066 1102.19 208.28 5.29 1000000 0 994.56/994.94 c 806 892 1077.72 192.08 5.61 1000000 0 996.46/996.80 c 826 1166 1102.31 226.92 4.86 1000000 0 998.26/998.64 c 762 1005 1063.12 197.05 5.40 1000000 0 1000.06/1000.47 c 823 955 1052.23 179.20 5.87 1000000 0 1001.96/1002.32 c 737 964 1077.30 205.63 5.24 1000000 0 1003.76/1004.18 c 790 949 1118.88 248.55 4.50 1000000 0 1005.66/1006.03 c 718 1125 1061.67 204.32 5.20 1000000 0 1007.46/1007.86 c 825 1108 1077.51 179.89 5.99 1000000 0 1009.37/1009.71 c 812 1086 1069.19 190.96 5.60 1000000 0 1011.16/1011.56 c 743 1150 1087.60 248.03 4.38 1000000 0 1013.06/1013.41 c 779 848 1082.99 212.76 5.09 1000000 0 1014.86/1015.28 c 790 1025 1123.17 230.57 4.87 1000000 0 1016.76/1017.12 c 805 1029 1068.03 205.67 5.19 1000000 0 1018.56/1018.97 c 741 943 1083.41 222.30 4.87 1000000 0 1020.46/1020.81 c 822 1101 1069.78 212.89 5.02 1000000 0 1022.25/1022.67 c 761 1094 1093.84 197.17 5.55 1000000 0 1024.15/1024.52 c 784 1103 1065.80 175.19 6.08 1000000 0 1025.96/1026.36 c 831 980 1076.72 209.23 5.15 1000000 0 1027.85/1028.22 c 789 1009 1105.98 205.96 5.37 1000000 0 1029.65/1030.06 c 733 905 1080.43 242.73 4.45 1000000 0 1031.55/1031.92 c 795 972 1105.50 219.96 5.03 1000000 0 1033.35/1033.77 c 715 993 1077.23 241.25 4.47 1000000 0 1035.25/1035.62 c 821 1047 1082.33 226.61 4.78 1000000 0 1037.05/1037.46 c 745 927 1049.86 201.22 5.22 1000000 0 1038.95/1039.30 c 796 1094 1072.10 199.05 5.39 1000000 0 1040.75/1041.16 c 790 1082 1093.36 234.95 4.65 1000000 0 1042.65/1043.02 c 773 948 1112.07 199.39 5.58 1000000 0 1044.45/1044.86 c 779 933 1065.45 201.10 5.30 1000000 0 1046.35/1046.71 c 778 1017 1090.90 190.13 5.74 1000000 0 1048.15/1048.55 c 791 919 1070.41 208.18 5.14 1000000 0 1050.05/1050.41 c 857 1040 1112.46 174.20 6.39 1000000 0 1051.85/1052.25 c 744 917 1062.26 210.52 5.05 1000000 0 1053.74/1054.11 c 761 897 1101.07 243.64 4.52 1000000 0 1055.55/1055.96 c 794 988 1080.15 180.83 5.97 1000000 0 1057.44/1057.82 c 857 1088 1095.67 192.17 5.70 1000000 0 1059.24/1059.67 c 735 901 1083.98 199.98 5.42 1000000 0 1061.15/1061.53 c 753 1021 1085.37 223.24 4.86 1000000 0 1062.94/1063.37 c 777 1012 1054.55 192.15 5.49 1000000 0 1064.84/1065.22 c 852 1085 1085.40 181.12 5.99 1000000 0 1066.65/1067.06 c 767 1110 1082.95 195.07 5.55 1000000 0 1068.54/1068.91 c 823 1016 1091.55 203.98 5.35 1000000 0 1070.34/1070.77 c 838 1018 1091.16 222.11 4.91 1000000 0 1072.24/1072.63 c 784 1024 1082.71 225.32 4.81 1000000 0 1074.04/1074.48 c 784 1011 1100.65 210.38 5.23 1000000 0 1075.94/1076.34 c 838 1028 1109.32 163.50 6.78 1000000 0 1077.84/1078.20 c 796 1158 1098.38 232.12 4.73 1000000 0 1079.64/1080.06 c 829 1079 1103.14 239.08 4.61 1000000 0 1081.54/1081.92 c 809 1022 1088.84 220.62 4.94 1000000 0 1083.34/1083.76 c 792 946 1078.06 176.43 6.11 1000000 0 1085.24/1085.62 c 839 1158 1101.88 196.45 5.61 1000000 0 1087.03/1087.49 c 851 1061 1129.29 235.61 4.79 1000000 0 1088.93/1089.34 c 800 1052 1074.93 196.41 5.47 1000000 0 1090.74/1091.18 c 817 1024 1079.05 226.60 4.76 1000000 0 1092.63/1093.02 c 783 1009 1058.18 187.99 5.63 1000000 0 1094.43/1094.87 c 811 932 1083.33 200.65 5.40 1000000 0 1096.34/1096.72 c 815 1006 1097.71 206.25 5.32 1000000 0 1098.13/1098.57 c 807 1009 1098.12 199.91 5.49 1000000 0 1100.03/1100.43 c 739 900 1074.44 230.25 4.67 1000000 0 1101.84/1102.28 c 773 917 1094.42 254.76 4.30 1000000 0 1103.73/1104.14 c 750 1116 1100.31 213.56 5.15 1000000 0 1105.63/1106.00 c 815 953 1099.25 259.98 4.23 1000000 0 1107.43/1107.85 c 781 921 1081.23 230.18 4.70 1000000 0 1109.33/1109.70 c 775 949 1094.50 244.25 4.48 1000000 0 1111.13/1111.55 c 796 912 1084.29 187.52 5.78 1000000 0 1112.93/1113.38 c 742 1029 1042.79 187.45 5.56 1000000 0 1114.82/1115.22 c 792 936 1060.72 188.48 5.63 1000000 0 1116.62/1117.08 c 711 1177 1109.16 196.87 5.63 1000000 0 1118.52/1118.94 c 819 1084 1101.53 234.64 4.69 1000000 0 1120.32/1120.79 c 843 1185 1094.08 162.10 6.75 1000000 0 1122.22/1122.65 c 751 914 1110.72 236.51 4.70 1000000 0 1124.12/1124.50 c 812 1016 1085.99 195.63 5.55 1000000 0 1125.93/1126.36 c 787 1025 1079.79 230.96 4.68 1000000 0 1127.72/1128.19 c 753 1163 1047.69 199.11 5.26 1000000 0 1129.62/1130.05 c 824 1091 1090.53 207.76 5.25 1000000 0 1131.42/1131.89 c 773 993 1086.60 189.85 5.72 1000000 0 1133.32/1133.75 c 860 900 1091.36 208.11 5.24 1000000 0 1135.22/1135.61 c 807 969 1096.46 235.08 4.66 1000000 0 1137.02/1137.46 c 773 999 1078.04 213.72 5.04 1000000 0 1138.92/1139.30 c 775 1027 1070.37 223.82 4.78 1000000 0 1140.71/1141.15 c 803 1036 1080.01 216.36 4.99 1000000 0 1142.52/1142.99 c 830 1196 1073.41 217.56 4.93 1000000 0 1144.41/1144.83 c 734 991 1058.00 200.28 5.28 1000000 0 1146.21/1146.67 c 759 1042 1068.15 163.48 6.53 1000000 0 1148.11/1148.52 c 773 1026 1099.97 211.17 5.21 1000000 0 1149.91/1150.37 c 788 1068 1082.35 218.80 4.95 1000000 0 1151.81/1152.22 c 737 1138 1074.77 185.11 5.81 1000000 0 1153.61/1154.07 c 833 1007 1091.00 200.26 5.45 1000000 0 1155.51/1155.93 c 732 1025 1089.94 219.35 4.97 1000000 0 1157.31/1157.77 c 785 996 1060.57 184.88 5.74 1000000 0 1159.21/1159.64 c 834 1001 1124.28 233.31 4.82 1000000 0 1161.01/1161.50 c 851 1103 1097.28 218.27 5.03 1000000 0 1162.91/1163.34 c 749 939 1062.42 200.81 5.29 1000000 0 1164.71/1165.19 c 791 1055 1085.93 230.46 4.71 1000000 0 1166.61/1167.03 c 767 990 1063.39 207.22 5.13 1000000 0 1168.41/1168.88 c 791 967 1073.39 224.18 4.79 1000000 0 1170.31/1170.73 c 766 1100 1085.78 192.90 5.63 1000000 0 1172.11/1172.58 c 788 1112 1080.92 185.58 5.82 1000000 0 1174.00/1174.43 c 770 901 1077.39 210.45 5.12 1000000 0 1175.90/1176.30 c 837 1099 1123.44 226.93 4.95 1000000 0 1177.71/1178.14 c 842 1011 1089.35 150.14 7.26 1000000 0 1179.50/1179.99 c 777 1060 1084.32 172.88 6.27 1000000 0 1181.40/1181.83 c 782 1099 1078.94 190.38 5.67 1000000 0 1183.21/1183.70 c 809 1148 1112.55 226.21 4.92 1000000 0 1185.10/1185.53 c 813 975 1065.81 194.85 5.47 1000000 0 1186.90/1187.38 c 749 1116 1082.82 214.86 5.04 1000000 0 1188.80/1189.22 c 776 1047 1075.51 187.70 5.73 1000000 0 1190.60/1191.06 c 795 1032 1050.02 200.22 5.24 1000000 0 1192.50/1192.93 c 809 953 1131.27 205.19 5.51 1000000 0 1194.30/1194.77 c 787 1046 1076.80 158.03 6.81 1000000 0 1196.20/1196.61 c 834 969 1072.91 163.18 6.57 1000000 0 1198.00/1198.47 c 736 988 1109.99 210.77 5.27 1000000 0 1199.90/1200.33 c 817 1008 1106.40 227.63 4.86 1000000 0 1201.70/1202.18 c 752 1109 1083.79 221.02 4.90 1000000 0 1203.60/1204.03 c 819 1047 1097.44 208.39 5.27 1000000 0 1205.39/1205.88 c 741 1110 1108.49 203.27 5.45 1000000 0 1207.30/1207.73 c 840 964 1094.69 175.36 6.24 1000000 0 1209.09/1209.58 c 791 996 1080.59 242.88 4.45 1000000 0 1210.99/1211.43 c 802 1058 1100.76 230.63 4.77 1000000 0 1212.80/1213.29 c 791 1161 1087.36 220.06 4.94 1000000 0 1214.69/1215.12 c 718 1004 1051.95 222.04 4.74 1000000 0 1216.49/1216.98 c 772 928 1098.62 230.42 4.77 1000000 0 1218.40/1218.82 c 706 962 1052.85 181.69 5.79 1000000 0 1220.19/1220.66 c 784 857 1067.16 211.87 5.04 1000000 0 1222.09/1222.50 c 804 1029 1082.03 222.27 4.87 1000000 0 1223.90/1224.35 c 758 1101 1087.02 257.53 4.22 1000000 0 1225.79/1226.20 c 747 812 1079.84 209.71 5.15 1000000 0 1227.59/1228.07 c 814 1019 1107.28 234.78 4.72 1000000 0 1229.49/1229.92 c 823 941 1079.97 214.27 5.04 1000000 0 1231.29/1231.78 c 813 1127 1119.32 203.73 5.49 1000000 0 1233.18/1233.63 c 782 1064 1083.48 207.78 5.21 1000000 0 1234.99/1235.50 c 798 927 1098.94 232.09 4.73 1000000 0 1236.88/1237.37 c 798 1076 1122.90 244.47 4.59 1000000 0 1238.78/1239.22 c 772 962 1064.76 215.30 4.95 1000000 0 1240.58/1241.06 c 793 1324 1070.85 181.56 5.90 1000000 0 1242.49/1242.92 c 788 924 1096.23 228.64 4.79 1000000 0 1244.28/1244.77 c 841 981 1102.11 223.77 4.93 1000000 0 1246.18/1246.64 c 791 940 1097.11 191.56 5.73 1000000 0 1247.99/1248.50 c 856 936 1108.54 211.54 5.24 1000000 0 1249.88/1250.35 c 770 1030 1084.37 221.14 4.90 1000000 0 1251.78/1252.21 c 733 950 1085.90 230.29 4.72 1000000 0 1253.59/1254.06 c 806 1084 1086.18 201.88 5.38 1000000 0 1255.48/1255.92 c 814 1064 1084.47 227.49 4.77 1000000 0 1257.28/1257.76 c 821 1059 1074.58 220.30 4.88 1000000 0 1259.18/1259.60 c 801 1058 1062.80 207.47 5.12 1000000 0 1260.98/1261.45 c 784 935 1078.21 209.79 5.14 1000000 0 1262.88/1263.31 c 827 1042 1104.60 226.86 4.87 1000000 0 1264.67/1265.16 c 808 1062 1071.23 182.55 5.87 1000000 0 1266.57/1267.02 c 793 991 1087.82 262.97 4.14 1000000 0 1268.37/1268.88 c 835 1111 1116.61 227.13 4.92 1000000 0 1270.27/1270.74 c 776 1069 1107.72 220.55 5.02 1000000 0 1272.18/1272.60 c 849 991 1102.25 225.37 4.89 1000000 0 1273.97/1274.45 c 845 1001 1088.44 178.85 6.09 1000000 0 1275.87/1276.30 c 765 1067 1091.21 214.66 5.08 1000000 0 1277.68/1278.16 c 787 1085 1090.80 237.57 4.59 1000000 0 1279.57/1280.01 c 759 1196 1078.39 187.12 5.76 1000000 0 1281.37/1281.86 c 770 1252 1094.42 223.43 4.90 1000000 0 1283.28/1283.70 c 765 946 1063.14 214.94 4.95 1000000 0 1285.07/1285.57 c 836 1019 1119.33 220.38 5.08 1000000 0 1286.97/1287.43 c 780 1037 1103.60 241.78 4.56 1000000 0 1288.87/1289.30 c 826 977 1120.25 212.91 5.26 1000000 0 1290.67/1291.15 c 751 1039 1071.02 219.16 4.89 1000000 0 1292.56/1293.01 c 837 933 1096.89 212.71 5.16 1000000 0 1294.36/1294.86 c 828 1007 1086.12 199.97 5.43 1000000 0 1296.26/1296.71 c 708 956 1073.81 196.95 5.45 1000000 0 1298.06/1298.57 c 723 972 1098.68 278.88 3.94 1000000 0 1299.96/1300.42 c 696 1103 1083.98 217.49 4.98 1000000 0 1301.76/1302.28 c 759 967 1104.02 185.21 5.96 1000000 0 1303.66/1304.11 c 803 971 1061.47 192.19 5.52 1000000 0 1305.46/1305.98 c 888 1076 1131.47 221.67 5.10 1000000 0 1307.37/1307.83 c 791 911 1084.88 234.56 4.63 1000000 0 1309.26/1309.70 c 806 1064 1103.76 194.67 5.67 1000000 0 1311.06/1311.54 c 751 978 1081.81 179.21 6.04 1000000 0 1312.86/1313.39 c 730 1115 1084.73 225.61 4.81 1000000 0 1314.76/1315.23 c 745 1071 1083.10 191.50 5.66 1000000 0 1316.56/1317.09 c 820 1121 1102.91 200.46 5.50 1000000 0 1318.46/1318.96 c 832 985 1119.41 247.37 4.53 1000000 0 1320.36/1320.81 c 784 1078 1085.40 219.55 4.94 1000000 0 1322.16/1322.65 c 768 868 1068.47 206.93 5.16 1000000 0 1324.05/1324.50 c 803 1037 1092.66 218.55 5.00 1000000 0 1325.85/1326.36 c 824 935 1102.77 212.80 5.18 1000000 0 1327.75/1328.23 c 862 1024 1118.40 232.42 4.81 1000000 0 1329.55/1330.08 c 814 958 1077.34 226.76 4.75 1000000 0 1331.45/1331.92 c 810 993 1057.91 224.52 4.71 1000000 0 1333.25/1333.78 c 780 1002 1101.92 258.84 4.26 1000000 0 1335.15/1335.63 c 775 1144 1063.85 206.46 5.15 1000000 0 1336.95/1337.48 c 778 1051 1105.00 230.33 4.80 1000000 0 1338.85/1339.32 c 752 1076 1061.72 208.14 5.10 1000000 0 1340.65/1341.18 c 786 998 1113.94 244.00 4.57 1000000 0 1342.56/1343.04 c 827 1159 1091.12 190.73 5.72 1000000 0 1344.45/1344.90 c 833 976 1127.24 228.43 4.93 1000000 0 1346.25/1346.77 c 849 1019 1099.87 218.39 5.04 1000000 0 1348.16/1348.61 c 776 943 1071.97 208.77 5.13 1000000 0 1349.95/1350.47 c 741 1119 1097.66 258.95 4.24 1000000 0 1351.85/1352.32 c 789 1081 1084.29 226.15 4.79 1000000 0 1353.65/1354.17 c 831 1101 1083.13 208.52 5.19 1000000 0 1355.54/1356.03 c 815 1235 1104.80 225.83 4.89 1000000 0 1357.34/1357.88 c 750 938 1091.76 200.96 5.43 1000000 0 1359.24/1359.72 c 735 1074 1080.97 216.45 4.99 1000000 0 1361.04/1361.58 c 853 1093 1095.13 197.61 5.54 1000000 0 1362.94/1363.43 c 830 1059 1102.18 216.72 5.09 1000000 0 1364.74/1365.27 c 736 1054 1071.22 210.27 5.09 1000000 0 1366.64/1367.13 c 776 1045 1088.28 248.52 4.38 1000000 0 1368.44/1368.98 c 827 986 1077.74 209.11 5.15 1000000 0 1370.34/1370.82 c 753 1005 1080.08 255.01 4.24 1000000 0 1372.14/1372.67 c 839 1000 1080.10 207.15 5.21 1000000 0 1374.04/1374.52 c 801 934 1066.95 200.99 5.31 1000000 0 1375.84/1376.38 c 812 1030 1106.26 228.31 4.85 1000000 0 1377.74/1378.25 c 816 949 1103.93 228.81 4.82 1000000 0 1379.64/1380.11 c 790 1006 1109.06 246.48 4.50 1000000 0 1381.44/1381.94 c 738 923 1057.51 213.80 4.95 1000000 0 1383.24/1383.79 c 773 1010 1084.32 214.73 5.05 1000000 0 1385.13/1385.63 c 755 1036 1063.56 214.78 4.95 1000000 0 1386.93/1387.47 c 812 906 1069.59 196.57 5.44 1000000 0 1388.84/1389.33 c 815 1130 1108.29 225.19 4.92 1000000 0 1390.63/1391.17 c 817 971 1073.99 224.92 4.78 1000000 0 1392.53/1393.03 c 785 984 1079.91 184.37 5.86 1000000 0 1394.34/1394.88 c 796 1235 1098.15 201.78 5.44 1000000 0 1396.23/1396.73 c 737 1065 1079.67 237.45 4.55 1000000 0 1398.03/1398.57 c 802 880 1082.63 198.48 5.45 1000000 0 1399.93/1400.44 c 844 1055 1135.81 232.94 4.88 1000000 0 1401.73/1402.29 c 831 1026 1087.07 203.88 5.33 1000000 0 1403.63/1404.15 c 841 1187 1107.80 236.83 4.68 1000000 0 1405.53/1406.00 c 790 1084 1073.14 203.52 5.27 1000000 0 1407.33/1407.84 c 803 1005 1070.02 194.54 5.50 1000000 0 1409.23/1409.70 c 833 966 1110.56 247.90 4.48 1000000 0 1411.03/1411.55 c 802 947 1084.90 203.96 5.32 1000000 0 1412.83/1413.39 c 807 1104 1073.70 160.98 6.67 1000000 0 1414.72/1415.25 c 802 1300 1099.20 241.63 4.55 1000000 0 1416.62/1417.12 c 767 1000 1113.44 197.20 5.65 1000000 0 1418.43/1418.97 c 764 1099 1095.26 233.10 4.70 1000000 0 1420.32/1420.82 c 795 1075 1105.54 219.28 5.04 1000000 0 1422.12/1422.68 c 811 913 1085.11 234.00 4.64 1000000 0 1424.03/1424.54 c 783 987 1127.31 206.73 5.45 1000000 0 1425.82/1426.39 c 763 1040 1087.17 211.64 5.14 1000000 0 1427.72/1428.25 c 794 1092 1099.40 227.46 4.83 1000000 0 1429.62/1430.11 c 813 1014 1098.61 224.18 4.90 1000000 0 1431.42/1431.96 c 822 1036 1082.43 184.89 5.85 1000000 0 1433.32/1433.83 c 791 955 1103.51 281.48 3.92 1000000 0 1435.12/1435.69 c 794 992 1094.73 235.67 4.65 1000000 0 1437.02/1437.55 c 763 942 1091.83 213.59 5.11 1000000 0 1438.82/1439.39 c 785 1162 1068.74 216.10 4.95 1000000 0 1440.71/1441.24 c 801 1133 1069.95 193.64 5.53 1000000 0 1442.51/1443.08 c 775 989 1072.08 205.00 5.23 1000000 0 1444.41/1444.95 c 857 917 1101.15 220.80 4.99 1000000 0 1446.31/1446.81 c 743 1089 1118.87 232.19 4.82 1000000 0 1448.12/1448.65 c 787 956 1060.21 173.98 6.09 1000000 0 1450.01/1450.50 c 822 1039 1089.24 212.14 5.13 1000000 0 1451.81/1452.34 c 709 1072 1083.52 220.48 4.91 1000000 0 1453.72/1454.21 c 841 1041 1129.29 222.15 5.08 1000000 0 1455.51/1456.06 c 798 1041 1083.67 214.13 5.06 1000000 0 1457.41/1457.90 c 757 1144 1061.81 219.45 4.84 1000000 0 1459.22/1459.74 c 775 1025 1076.35 188.75 5.70 1000000 0 1461.01/1461.59 c 799 990 1082.28 214.88 5.04 1000000 0 1462.91/1463.44 c 787 994 1105.45 186.53 5.93 1000000 0 1464.81/1465.30 c 780 974 1096.68 235.99 4.65 1000000 0 1466.61/1467.16 c 784 969 1083.82 208.20 5.21 1000000 0 1468.51/1469.02 c 811 1050 1124.47 205.23 5.48 1000000 0 1470.31/1470.88 c 761 1059 1098.20 238.12 4.61 1000000 0 1472.21/1472.72 c 824 1006 1085.00 175.07 6.20 1000000 0 1474.00/1474.58 c 844 957 1096.28 227.64 4.82 1000000 0 1475.90/1476.43 c 765 1038 1075.06 214.75 5.01 1000000 0 1477.70/1478.27 c 772 1069 1079.09 211.50 5.10 1000000 0 1479.60/1480.13 c 797 919 1093.94 207.90 5.26 1000000 0 1481.40/1481.99 c 762 1081 1104.15 260.94 4.23 1000000 0 1483.31/1483.83 c 823 1063 1062.90 208.15 5.11 1000000 0 1485.10/1485.68 c 734 951 1082.03 228.16 4.74 1000000 0 1487.00/1487.55 c 814 1015 1117.40 245.93 4.54 1000000 0 1488.81/1489.39 c 781 975 1080.70 194.59 5.55 1000000 0 1490.70/1491.24 c 804 1000 1059.43 184.77 5.73 1000000 0 1492.60/1493.10 c 814 1124 1117.96 218.72 5.11 1000000 0 1494.41/1494.96 c 821 1017 1094.84 228.02 4.80 1000000 0 1496.30/1496.82 c 801 970 1098.91 251.47 4.37 1000000 0 1498.10/1498.68 c 815 1126 1106.04 224.21 4.93 1000000 0 1500.00/1500.53 c 780 1013 1076.84 243.74 4.42 1000000 0 1501.80/1502.39 c 799 1026 1088.23 219.62 4.96 1000000 0 1503.70/1504.23 c 766 1037 1068.61 185.14 5.77 1000000 0 1505.50/1506.09 c 820 965 1105.73 242.78 4.55 1000000 0 1507.39/1507.95 c 874 1099 1127.72 174.84 6.45 1000000 0 1509.19/1509.79 c 723 1042 1070.66 200.63 5.34 1000000 0 1511.09/1511.65 c 788 962 1102.77 256.39 4.30 1000000 0 1512.89/1513.49 c 782 885 1078.02 209.89 5.14 1000000 0 1514.79/1515.34 c 792 1034 1066.93 201.57 5.29 1000000 0 1516.69/1517.20 c 821 1083 1099.38 198.00 5.55 1000000 0 1518.50/1519.07 c 818 1123 1119.41 226.92 4.93 1000000 0 1520.39/1520.92 c 817 947 1092.15 218.41 5.00 1000000 0 1522.19/1522.77 c 843 919 1090.35 189.42 5.76 1000000 0 1524.10/1524.62 c 806 957 1093.89 250.16 4.37 1000000 0 1525.89/1526.49 c 821 942 1098.85 235.37 4.67 1000000 0 1527.79/1528.32 c 784 933 1066.06 202.98 5.25 1000000 0 1529.59/1530.17 c 802 1135 1081.90 220.47 4.91 1000000 0 1531.49/1532.02 c 860 1047 1094.97 230.80 4.74 1000000 0 1533.29/1533.86 c 787 1110 1077.16 224.71 4.79 1000000 0 1535.19/1535.71 c 820 1090 1089.30 210.08 5.19 1000000 0 1536.98/1537.56 c 797 1024 1077.96 225.63 4.78 1000000 0 1538.88/1539.41 c 765 971 1067.95 213.11 5.01 1000000 0 1540.68/1541.27 c 811 1117 1117.98 228.38 4.90 1000000 0 1542.58/1543.13 c 823 1066 1107.60 227.71 4.86 1000000 0 1544.38/1544.97 c 815 908 1074.95 165.33 6.50 1000000 0 1546.28/1546.83 c 844 946 1104.06 202.67 5.45 1000000 0 1548.08/1548.69 c 770 913 1111.70 213.51 5.21 1000000 0 1549.98/1550.55 c 775 1018 1077.49 240.89 4.47 1000000 0 1551.78/1552.39 c 719 978 1090.29 228.17 4.78 1000000 0 1553.69/1554.25 c 860 931 1084.36 171.68 6.32 1000000 0 1555.48/1556.09 c 840 1012 1092.08 194.19 5.62 1000000 0 1557.38/1557.94 c 788 1078 1092.64 214.42 5.10 1000000 0 1559.18/1559.79 c 795 1052 1090.77 173.35 6.29 1000000 0 1561.08/1561.64 c 798 990 1085.54 180.66 6.01 1000000 0 1562.88/1563.49 c 782 1097 1095.97 204.42 5.36 1000000 0 1564.78/1565.35 c 812 1089 1104.25 208.71 5.29 1000000 0 1566.67/1567.21 c 785 1090 1089.11 192.19 5.67 1000000 0 1568.47/1569.06 c 757 1046 1088.42 189.82 5.73 1000000 0 1570.37/1570.91 c 763 890 1087.44 188.50 5.77 1000000 0 1572.17/1572.77 c 829 886 1100.65 223.41 4.93 1000000 0 1574.07/1574.62 c 826 965 1096.59 221.53 4.95 1000000 0 1575.87/1576.45 c 735 909 1059.80 189.14 5.60 1000000 0 1577.77/1578.31 c 755 1103 1088.93 253.13 4.30 1000000 0 1579.57/1580.16 c 784 1123 1082.78 233.19 4.64 1000000 0 1581.47/1582.01 c 773 1106 1068.65 194.25 5.50 1000000 0 1583.27/1583.86 c 803 1151 1083.98 198.13 5.47 1000000 0 1585.17/1585.72 c 850 1027 1103.10 202.93 5.44 1000000 0 1586.97/1587.58 c 772 1026 1099.50 187.36 5.87 1000000 0 1588.87/1589.43 c 706 895 1094.77 188.94 5.79 1000000 0 1590.67/1591.28 c 784 1076 1077.93 201.73 5.34 1000000 0 1592.57/1593.13 c 798 947 1085.61 190.56 5.70 1000000 0 1594.37/1594.98 c 777 911 1079.81 221.64 4.87 1000000 0 1596.27/1596.83 c 811 1060 1104.12 207.03 5.33 1000000 0 1598.06/1598.69 c 826 1019 1098.48 187.67 5.85 1000000 0 1599.97/1600.53 c 725 1076 1074.67 202.57 5.31 1000000 0 1601.76/1602.38 c 797 960 1078.55 240.84 4.48 1000000 0 1603.66/1604.21 c 762 974 1065.66 173.83 6.13 1000000 0 1605.47/1606.07 c 809 1103 1101.37 227.04 4.85 1000000 0 1607.36/1607.93 c 796 1066 1107.31 252.10 4.39 1000000 0 1609.16/1609.78 c 831 1072 1092.01 179.45 6.09 1000000 0 1611.06/1611.62 c 794 1058 1077.47 190.46 5.66 1000000 0 1612.86/1613.48 c 672 1053 1085.49 270.64 4.01 1000000 0 1614.76/1615.35 c 864 979 1119.81 242.00 4.63 1000000 0 1616.66/1617.20 c 781 1055 1082.68 219.23 4.94 1000000 0 1618.46/1619.05 c 789 1021 1076.67 235.08 4.58 1000000 0 1620.36/1620.92 c 810 872 1126.25 251.19 4.48 1000000 0 1622.16/1622.77 c 771 991 1088.69 213.00 5.11 1000000 0 1624.06/1624.63 c 793 1021 1099.99 200.94 5.47 1000000 0 1625.86/1626.48 c 848 940 1085.68 210.08 5.17 1000000 0 1627.75/1628.33 c 838 930 1091.92 178.22 6.13 1000000 0 1629.56/1630.20 c 814 1252 1114.89 207.84 5.36 1000000 0 1631.45/1632.06 c 832 955 1095.73 211.43 5.18 1000000 0 1633.35/1633.90 c 782 1026 1075.07 203.03 5.30 1000000 0 1635.16/1635.74 c 786 985 1076.74 213.36 5.05 1000000 0 1637.05/1637.60 c 802 1008 1105.89 216.47 5.11 1000000 0 1638.85/1639.45 c 764 889 1078.32 201.37 5.35 1000000 0 1640.75/1641.30 c 777 1134 1085.59 228.33 4.75 1000000 0 1642.55/1643.18 c 843 1063 1120.11 223.93 5.00 1000000 0 1644.45/1645.02 c 808 1014 1078.53 184.44 5.85 1000000 0 1646.25/1646.86 c 768 1000 1079.10 174.75 6.18 1000000 0 1648.15/1648.70 c 771 864 1062.90 219.79 4.84 1000000 0 1649.95/1650.56 c 790 1090 1100.52 196.37 5.60 1000000 0 1651.85/1652.41 c 755 1020 1078.59 233.58 4.62 1000000 0 1653.65/1654.27 c 776 1099 1100.20 230.03 4.78 1000000 0 1655.55/1656.13 c 806 933 1097.76 217.57 5.05 1000000 0 1657.35/1657.99 c 834 993 1112.06 213.48 5.21 1000000 0 1659.25/1659.84 c 834 1013 1081.56 186.88 5.79 1000000 0 1661.04/1661.68 c 787 1129 1067.17 178.37 5.98 1000000 0 1662.94/1663.53 c 762 948 1070.01 235.44 4.54 1000000 0 1664.75/1665.36 c 761 1033 1038.75 192.61 5.39 1000000 0 1666.64/1667.24 c 775 826 1130.92 237.04 4.77 1000000 0 1668.54/1669.10 c 817 1027 1105.79 250.34 4.42 1000000 0 1670.35/1670.96 c 790 957 1096.27 221.34 4.95 1000000 0 1672.24/1672.81 c 817 1172 1083.62 189.03 5.73 1000000 0 1674.04/1674.65 c 800 1088 1086.75 208.56 5.21 1000000 0 1675.94/1676.52 c 803 1105 1115.88 214.80 5.19 1000000 0 1677.74/1678.37 c 805 1006 1092.27 202.93 5.38 1000000 0 1679.64/1680.22 c 780 976 1065.07 253.55 4.20 1000000 0 1681.44/1682.07 c 787 950 1074.62 252.54 4.26 1000000 0 1683.34/1683.93 c 816 1061 1105.02 226.40 4.88 1000000 0 1685.13/1685.79 c 830 1164 1097.61 213.04 5.15 1000000 0 1687.03/1687.63 c 780 911 1061.07 216.88 4.89 1000000 0 1688.83/1689.49 c 831 1021 1098.03 197.78 5.55 1000000 0 1690.73/1691.33 c 779 963 1069.10 184.28 5.80 1000000 0 1692.53/1693.18 c 813 1019 1090.35 195.23 5.58 1000000 0 1694.44/1695.03 c 804 1124 1106.62 236.67 4.68 1000000 0 1696.23/1696.87 c 782 1077 1072.30 214.04 5.01 1000000 0 1698.13/1698.75 c 842 1041 1134.79 232.83 4.87 1000000 0 1700.04/1700.61 c 803 1078 1105.05 224.42 4.92 1000000 0 1701.83/1702.46 c 828 897 1076.12 228.64 4.71 1000000 0 1703.73/1704.31 c 795 1174 1091.46 193.32 5.65 1000000 0 1705.54/1706.17 c 795 850 1099.05 198.21 5.54 1000000 0 1707.43/1708.02 c 802 964 1096.94 217.95 5.03 1000000 0 1709.23/1709.87 c 809 962 1074.09 162.77 6.60 1000000 0 1711.13/1711.70 c 824 1057 1065.34 192.17 5.54 1000000 0 1712.93/1713.58 c 819 1048 1119.25 242.66 4.61 1000000 0 1714.83/1715.43 c 811 1127 1078.27 203.00 5.31 1000000 0 1716.63/1717.27 c 735 989 1073.08 219.67 4.88 1000000 0 1718.52/1719.13 c 770 1169 1099.08 208.20 5.28 1000000 0 1720.32/1720.99 c 830 885 1107.08 257.18 4.30 1000000 0 1722.22/1722.85 c 819 950 1115.06 204.32 5.46 1000000 0 1724.13/1724.70 c 752 1023 1100.20 218.69 5.03 1000000 0 1725.92/1726.55 c 783 1144 1091.17 197.26 5.53 1000000 0 1727.82/1728.41 c 762 1162 1098.63 243.23 4.52 1000000 0 1729.63/1730.27 c 801 1100 1109.67 190.04 5.84 1000000 0 1731.52/1732.13 c 831 1051 1109.96 211.72 5.24 1000000 0 1733.32/1733.98 c 788 1039 1081.76 236.77 4.57 1000000 0 1735.23/1735.84 c 816 986 1098.13 205.22 5.35 1000000 0 1737.02/1737.68 c 828 1126 1087.94 196.31 5.54 1000000 0 1738.92/1739.54 c 792 1029 1088.49 242.77 4.48 1000000 0 1740.72/1741.38 c 776 997 1072.20 230.09 4.66 1000000 0 1742.63/1743.25 c 861 1238 1106.53 180.68 6.12 1000000 0 1744.52/1745.11 c 814 1125 1110.69 239.94 4.63 1000000 0 1746.32/1746.95 c 830 1080 1079.66 218.07 4.95 1000000 0 1748.22/1748.81 c 795 1086 1081.49 183.08 5.91 1000000 0 1750.02/1750.67 c 833 966 1113.37 204.42 5.45 1000000 0 1751.92/1752.51 c 797 936 1073.79 197.49 5.44 1000000 0 1753.72/1754.36 c 785 1151 1073.55 229.03 4.69 1000000 0 1755.52/1756.19 c 767 1026 1048.51 170.12 6.16 1000000 0 1757.42/1758.03 c 772 1038 1068.97 224.40 4.76 1000000 0 1759.22/1759.88 c 806 1091 1060.81 181.58 5.84 1000000 0 1761.12/1761.74 c 814 958 1106.14 192.09 5.76 1000000 0 1762.92/1763.59 c 813 980 1103.86 214.60 5.14 1000000 0 1764.82/1765.44 c 819 1107 1083.38 212.66 5.09 1000000 0 1766.62/1767.29 c 780 1027 1077.26 214.03 5.03 1000000 0 1768.52/1769.14 c 730 962 1085.02 220.75 4.92 1000000 0 1770.32/1770.98 c 788 930 1073.82 244.97 4.38 1000000 0 1772.22/1772.84 c 783 1219 1105.59 175.35 6.31 1000000 0 1774.02/1774.69 c 772 880 1090.67 247.01 4.42 1000000 0 1775.92/1776.55 c 789 1300 1095.20 228.05 4.80 1000000 0 1777.81/1778.42 c 786 1087 1130.67 235.91 4.79 1000000 0 1779.61/1780.27 c 759 987 1090.73 235.41 4.63 1000000 0 1781.51/1782.12 c 745 925 1081.40 209.19 5.17 1000000 0 1783.31/1783.98 c 820 847 1100.90 215.94 5.10 1000000 0 1785.21/1785.83 c 791 986 1077.91 235.61 4.58 1000000 0 1787.01/1787.68 c 778 1083 1086.00 239.25 4.54 1000000 0 1788.91/1789.53 c 766 1065 1078.02 230.93 4.67 1000000 0 1790.71/1791.39 c 790 1059 1086.01 223.85 4.85 1000000 0 1792.61/1793.23 c 769 994 1073.76 210.25 5.11 1000000 0 1794.41/1795.08 c 848 1095 1091.84 163.12 6.69 1000000 0 1796.31/1796.94 c 791 908 1110.22 216.57 5.13 1000000 0 1798.11/1798.79 c 790 1000 1105.31 234.53 4.71 1000000 0 1800.02/1800.61 HOME/run: line 2: 19128 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-2684748-1278433504/watcher-2684748-1278433504 -o /tmp/evaluation-result-2684748-1278433504/solver-2684748-1278433504 -C 1800 -W 2000 -M 1800 run HOME/instance-2684748-1278433504.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.84 2.02 2.01 3/106 19127 /proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) R 19125 19127 19102 0 -1 4202496 342 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058989461 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [startup+0.095778 s] /proc/loadavg: 1.84 2.02 2.01 3/106 19127 /proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100778 s] /proc/loadavg: 1.84 2.02 2.01 3/106 19127 /proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300814 s] /proc/loadavg: 1.84 2.02 2.01 3/106 19127 /proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700882 s] /proc/loadavg: 1.84 2.02 2.01 3/106 19127 /proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50102 s] /proc/loadavg: 1.84 2.02 2.01 2/108 19129 /proc/meminfo: memFree=1488592/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1.49 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2042 0 0 0 148 1 0 0 23 0 1 0 11557458 41422848 1972 1992294400 134512640 135071400 4292873392 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1972 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.1003 s] /proc/loadavg: 1.84 2.02 2.01 2/108 19129 /proc/meminfo: memFree=1488344/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=3.09 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2050 0 0 0 308 1 0 0 25 0 1 0 11557458 41422848 1980 1992294400 134512640 135071400 4292873392 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1980 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30185 s] /proc/loadavg: 1.77 2.00 2.01 2/108 19130 /proc/meminfo: memFree=1488220/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=6.29 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2050 0 0 0 628 1 0 0 25 0 1 0 11557458 41422848 1980 1992294400 134512640 135071400 4292873392 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1980 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.702 s] /proc/loadavg: 1.71 1.99 2.00 2/108 19130 /proc/meminfo: memFree=1488096/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=12.69 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2050 0 0 0 1268 1 0 0 25 0 1 0 11557458 41422848 1980 1992294400 134512640 135071400 4292873392 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1980 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5012 s] /proc/loadavg: 1.55 1.94 1.98 2/108 19130 /proc/meminfo: memFree=1488096/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=25.48 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 2547 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1016 s] /proc/loadavg: 1.36 1.86 1.96 2/108 19131 /proc/meminfo: memFree=1488096/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=51.07 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 5106 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134571201 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 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.16 1.73 1.90 2/108 19132 /proc/meminfo: memFree=1487972/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=102.26 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 10225 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526766 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 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.06 1.59 1.84 2/108 19134 /proc/meminfo: memFree=1487848/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=162.24 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 16223 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.02 1.48 1.79 2/108 19135 /proc/meminfo: memFree=1487724/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=222.22 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 22221 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.39 1.74 2/108 19137 /proc/meminfo: memFree=1487724/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=282.2 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 28219 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.32 1.69 2/108 19139 /proc/meminfo: memFree=1487600/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=342.18 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 34217 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.26 1.64 2/108 19140 /proc/meminfo: memFree=1487476/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=402.16 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 40215 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1061.94 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 106193 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.27 2/108 19159 /proc/meminfo: memFree=1486360/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1121.92 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 112191 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526625 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.25 2/108 19161 /proc/meminfo: memFree=1486112/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1181.9 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 118189 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.23 2/108 19163 /proc/meminfo: memFree=1485864/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1241.88 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 124187 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.22 2/108 19164 /proc/meminfo: memFree=1485740/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1301.87 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 130186 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.20 2/108 19166 /proc/meminfo: memFree=1485616/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1361.84 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 136183 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.18 2/108 19167 /proc/meminfo: memFree=1485492/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1421.83 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 142182 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.17 2/108 19169 /proc/meminfo: memFree=1485368/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1481.8 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 148179 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.16 2/108 19171 /proc/meminfo: memFree=1485244/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1541.78 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 154177 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.15 2/108 19172 /proc/meminfo: memFree=1485120/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1601.76 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 160175 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.13 2/108 19174 /proc/meminfo: memFree=1484996/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1661.74 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 166173 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526469 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.12 2/108 19175 /proc/meminfo: memFree=1484872/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1721.72 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 172171 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134519815 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.11 2/108 19177 /proc/meminfo: memFree=1484748/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1781.71 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 178169 2 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.11 2/108 19177 /proc/meminfo: memFree=1484748/2059040 swapFree=4192956/4192956 [pid=19127] ppid=19125 vsize=8700 CPUtime=0 /proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19127/statm: 2175 243 204 178 0 68 0 [pid=19128] ppid=19127 vsize=40452 CPUtime=1800.02 /proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 180000 2 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19128/statm: 10113 1981 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 Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1800.01 CPU system time (s): 0.022996 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2422 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= 21596 runsolver used 3.04354 second user time and 8.49971 second system time The end
Begin job on node048 at 2010-07-06 18:25:04 IDJOB=2684748 IDBENCH=73510 IDSOLVER=1171 FILE ID=node048/2684748-1278433504 PBS_JOBID= 11233477 Free space on /tmp= 62564 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1201_5-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684748-1278433504/watcher-2684748-1278433504 -o /tmp/evaluation-result-2684748-1278433504/solver-2684748-1278433504 -C 1800 -W 2000 -M 1800 run HOME/instance-2684748-1278433504.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e5096dc6d98a70ac54385441089dc44c RANDOM SEED=394858240 node048.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.262 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.52 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.262 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1497668 kB Buffers: 102804 kB Cached: 327600 kB SwapCached: 0 kB Active: 167052 kB Inactive: 323124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1497668 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3168 kB Writeback: 0 kB AnonPages: 59792 kB Mapped: 14364 kB Slab: 49260 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179752 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= 62564 MiB End job on node048 at 2010-07-06 18:55:05