Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12021_4-sat.opb |
MD5SUM | dffa0ccdf702b378cae9eb862001c6aa |
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 | 1.07983 |
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 | 32912 |
Total number of constraints | 109489 |
Number of constraints which are clauses | 108949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 540 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 213 |
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.27 c PB-wave - v2 0.00/0.27 c command line = ./PB-wave 0.00/0.27 c seed = 22794684 0.00/0.27 c cutoff = 1000000 0.00/0.27 c tries = 1000000 0.00/0.27 c heuristic = c best, noise 50 / 100 0.00/0.27 #var 32912 #con 109489 0.00/0.27 mode is SAT 0.00/0.27 c tail starts after flip = 98736 0.00/0.27 c numatom = 32912, numclause = 109489, numliterals = 249066 0.00/0.27 c wff read in 0.00/0.27 c 0.00/0.27 c lowest final avg noise noise total avg mean mean 0.00/0.27 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.27 c this this this this this this success success until std 0.00/0.27 c try try try try try try rate tries assign dev 0.00/0.27 c 2.38/2.45 c 816 1010 1108.61 182.29 6.08 1000000 0 4.58/4.63 c 831 1055 1113.87 196.70 5.66 1000000 0 6.78/6.80 c 794 1075 1093.91 214.74 5.09 1000000 0 8.88/8.97 c 826 1155 1090.37 200.37 5.44 1000000 0 11.08/11.15 c 812 961 1110.96 165.44 6.72 1000000 0 13.28/13.33 c 844 1050 1111.47 201.61 5.51 1000000 0 15.39/15.50 c 734 1137 1091.41 216.83 5.03 1000000 0 17.59/17.68 c 842 914 1101.00 198.47 5.55 1000000 0 19.78/19.84 c 752 1173 1071.37 205.62 5.21 1000000 0 21.98/22.02 c 831 1126 1091.85 232.68 4.69 1000000 0 24.08/24.20 c 849 1001 1129.63 213.11 5.30 1000000 0 26.28/26.40 c 865 1052 1124.94 216.44 5.20 1000000 0 28.48/28.60 c 801 1154 1128.02 210.34 5.36 1000000 0 30.68/30.78 c 812 1099 1102.24 199.03 5.54 1000000 0 32.88/32.94 c 836 1051 1100.71 202.52 5.44 1000000 0 35.08/35.12 c 837 952 1095.52 172.46 6.35 1000000 0 37.28/37.30 c 807 983 1105.48 232.06 4.76 1000000 0 39.37/39.48 c 825 1167 1099.91 200.07 5.50 1000000 0 41.57/41.68 c 805 1261 1121.17 223.29 5.02 1000000 0 43.77/43.86 c 824 1165 1113.38 183.76 6.06 1000000 0 45.97/46.03 c 799 986 1091.56 195.20 5.59 1000000 0 48.17/48.20 c 861 1042 1105.50 176.97 6.25 1000000 0 50.27/50.38 c 831 1052 1108.61 177.58 6.24 1000000 0 52.47/52.55 c 782 1147 1081.01 203.22 5.32 1000000 0 54.67/54.73 c 827 979 1120.34 206.00 5.44 1000000 0 56.87/56.91 c 820 1228 1119.63 202.83 5.52 1000000 0 58.97/59.09 c 832 1160 1107.58 202.54 5.47 1000000 0 61.17/61.27 c 830 1032 1116.91 182.32 6.13 1000000 0 63.37/63.46 c 852 1053 1111.73 209.89 5.30 1000000 0 65.57/65.61 c 787 885 1065.19 161.57 6.59 1000000 0 67.67/67.79 c 835 1033 1110.07 220.12 5.04 1000000 0 69.87/69.97 c 870 957 1101.20 166.90 6.60 1000000 0 72.07/72.17 c 853 1134 1128.22 200.63 5.62 1000000 0 74.27/74.35 c 833 953 1113.46 215.69 5.16 1000000 0 76.47/76.53 c 822 1093 1101.44 222.25 4.96 1000000 0 78.67/78.71 c 829 1105 1094.95 182.35 6.00 1000000 0 80.76/80.88 c 847 1261 1114.20 180.66 6.17 1000000 0 82.96/83.04 c 767 1081 1066.44 199.91 5.33 1000000 0 85.16/85.24 c 830 1081 1130.31 257.22 4.39 1000000 0 87.36/87.41 c 798 967 1089.64 206.97 5.26 1000000 0 89.46/89.59 c 798 1093 1092.62 214.84 5.09 1000000 0 91.66/91.77 c 837 1102 1115.98 176.02 6.34 1000000 0 93.86/93.95 c 809 1118 1102.70 190.82 5.78 1000000 0 96.06/96.12 c 788 939 1100.15 179.91 6.11 1000000 0 98.26/98.31 c 877 1119 1114.71 194.87 5.72 1000000 0 100.36/100.47 c 833 1064 1071.32 154.47 6.94 1000000 0 102.56/102.64 c 827 1100 1095.57 202.44 5.41 1000000 0 104.76/104.84 c 833 1030 1113.84 212.35 5.25 1000000 0 106.96/107.03 c 859 986 1115.55 222.57 5.01 1000000 0 109.06/109.19 c 806 1012 1087.11 178.91 6.08 1000000 0 111.26/111.36 c 795 981 1082.44 205.42 5.27 1000000 0 113.46/113.54 c 815 1033 1111.51 207.89 5.35 1000000 0 115.66/115.72 c 844 1036 1121.98 180.37 6.22 1000000 0 117.86/117.91 c 856 1160 1113.31 179.20 6.21 1000000 0 119.96/120.08 c 848 1046 1093.26 190.74 5.73 1000000 0 122.16/122.26 c 830 1095 1113.49 178.14 6.25 1000000 0 124.36/124.46 c 890 1085 1126.83 163.42 6.90 1000000 0 126.56/126.63 c 831 980 1091.96 175.64 6.22 1000000 0 128.76/128.81 c 821 971 1092.38 189.60 5.76 1000000 0 130.86/130.98 c 834 974 1094.06 210.02 5.21 1000000 0 133.06/133.15 c 809 1007 1091.34 211.82 5.15 1000000 0 135.26/135.33 c 818 1088 1114.44 193.13 5.77 1000000 0 137.46/137.52 c 857 1097 1124.93 205.42 5.48 1000000 0 139.56/139.70 c 788 1034 1096.47 203.93 5.38 1000000 0 141.76/141.88 c 860 1093 1114.44 167.84 6.64 1000000 0 143.96/144.07 c 785 1099 1109.36 256.97 4.32 1000000 0 146.16/146.26 c 859 1212 1105.17 192.30 5.75 1000000 0 148.36/148.42 c 835 1078 1099.30 178.68 6.15 1000000 0 150.45/150.59 c 803 1002 1088.24 155.53 7.00 1000000 0 152.65/152.76 c 819 996 1082.47 205.39 5.27 1000000 0 154.85/154.93 c 845 1114 1102.74 198.66 5.55 1000000 0 157.05/157.11 c 821 1046 1096.83 170.50 6.43 1000000 0 159.15/159.29 c 774 987 1103.03 239.84 4.60 1000000 0 161.35/161.49 c 822 1079 1142.40 210.34 5.43 1000000 0 163.55/163.66 c 807 1082 1103.69 211.69 5.21 1000000 0 165.75/165.86 c 827 1091 1128.09 202.37 5.57 1000000 0 167.95/168.03 c 799 880 1081.66 217.99 4.96 1000000 0 170.15/170.22 c 856 1101 1121.48 185.27 6.05 1000000 0 172.24/172.37 c 832 1076 1076.43 148.43 7.25 1000000 0 174.44/174.58 c 830 1139 1139.16 208.03 5.48 1000000 0 176.64/176.77 c 818 972 1113.90 232.75 4.79 1000000 0 178.84/178.93 c 797 1008 1066.37 200.52 5.32 1000000 0 181.04/181.10 c 860 957 1095.22 165.42 6.62 1000000 0 183.14/183.27 c 785 1024 1096.82 181.07 6.06 1000000 0 185.34/185.44 c 886 1113 1102.03 156.41 7.05 1000000 0 187.54/187.63 c 800 1140 1096.44 210.48 5.21 1000000 0 189.74/189.80 c 830 990 1093.43 172.32 6.35 1000000 0 191.84/191.96 c 814 942 1082.07 179.17 6.04 1000000 0 194.04/194.15 c 816 977 1124.60 240.61 4.67 1000000 0 196.24/196.34 c 808 1169 1103.61 214.79 5.14 1000000 0 198.44/198.51 c 813 1037 1111.36 183.36 6.06 1000000 0 200.64/200.70 c 845 994 1119.65 201.58 5.55 1000000 0 202.74/202.89 c 853 1029 1109.95 210.82 5.26 1000000 0 204.94/205.08 c 854 992 1105.86 197.08 5.61 1000000 0 207.14/207.25 c 831 905 1081.56 222.55 4.86 1000000 0 209.34/209.44 c 799 980 1119.04 210.02 5.33 1000000 0 211.54/211.63 c 810 1002 1137.46 205.82 5.53 1000000 0 213.74/213.80 c 848 1002 1106.54 175.28 6.31 1000000 0 215.84/215.98 c 802 960 1096.51 219.24 5.00 1000000 0 218.04/218.15 c 816 1167 1091.08 159.96 6.82 1000000 0 220.24/220.34 c 801 1033 1124.08 240.19 4.68 1000000 0 222.44/222.52 c 799 1154 1098.25 207.45 5.29 1000000 0 224.63/224.70 c 781 968 1090.44 197.43 5.52 1000000 0 226.73/226.89 c 836 1034 1127.13 213.80 5.27 1000000 0 228.93/229.08 c 858 1156 1113.89 221.21 5.04 1000000 0 231.13/231.26 c 822 1197 1119.04 145.09 7.71 1000000 0 233.33/233.43 c 801 1075 1071.67 177.72 6.03 1000000 0 235.53/235.61 c 806 1080 1108.18 186.75 5.93 1000000 0 237.63/237.79 c 754 910 1087.70 192.94 5.64 1000000 0 239.83/239.97 c 812 1088 1108.00 233.33 4.75 1000000 0 242.03/242.14 c 833 1053 1098.84 175.16 6.27 1000000 0 244.23/244.34 c 847 1247 1128.01 230.51 4.89 1000000 0 246.43/246.50 c 828 1047 1077.18 173.01 6.23 1000000 0 248.54/248.68 c 824 970 1103.27 201.12 5.49 1000000 0 250.73/250.86 c 853 1064 1095.61 179.86 6.09 1000000 0 252.93/253.04 c 832 1061 1098.74 168.08 6.54 1000000 0 255.13/255.24 c 839 1144 1119.42 189.20 5.92 1000000 0 257.33/257.42 c 835 1159 1099.75 199.81 5.50 1000000 0 259.43/259.60 c 846 1127 1121.66 198.55 5.65 1000000 0 261.63/261.78 c 847 1025 1111.91 198.97 5.59 1000000 0 263.83/263.97 c 872 1050 1128.87 187.78 6.01 1000000 0 266.03/266.14 c 777 970 1080.48 190.67 5.67 1000000 0 268.23/268.34 c 756 997 1120.38 231.63 4.84 1000000 0 270.43/270.51 c 808 1002 1097.91 175.48 6.26 1000000 0 272.63/272.71 c 837 1099 1129.87 248.26 4.55 1000000 0 274.72/274.89 c 817 959 1095.77 213.00 5.14 1000000 0 276.92/277.08 c 802 1031 1118.84 250.57 4.47 1000000 0 279.12/279.28 c 880 957 1121.97 198.41 5.65 1000000 0 281.32/281.46 c 799 1073 1107.81 209.91 5.28 1000000 0 283.52/283.62 c 739 1028 1092.52 200.26 5.46 1000000 0 285.62/285.80 c 800 959 1090.29 201.15 5.42 1000000 0 287.82/287.97 c 784 866 1083.41 178.01 6.09 1000000 0 290.02/290.15 c 835 933 1103.37 216.73 5.09 1000000 0 292.22/292.35 c 887 1025 1143.44 203.13 5.63 1000000 0 294.42/294.53 c 815 988 1116.07 194.35 5.74 1000000 0 296.62/296.70 c 838 1222 1102.96 172.46 6.40 1000000 0 298.72/298.88 c 812 1073 1093.75 210.65 5.19 1000000 0 300.92/301.05 c 706 1080 1081.01 224.32 4.82 1000000 0 303.12/303.21 c 812 1046 1079.33 159.17 6.78 1000000 0 305.22/305.39 c 819 1117 1100.95 196.82 5.59 1000000 0 307.42/307.57 c 780 964 1108.74 198.64 5.58 1000000 0 309.61/309.74 c 825 1016 1087.52 176.16 6.17 1000000 0 311.80/311.92 c 805 1235 1097.95 202.05 5.43 1000000 0 313.90/314.09 c 836 949 1087.39 141.09 7.71 1000000 0 316.10/316.28 c 798 1061 1106.59 166.01 6.67 1000000 0 318.30/318.45 c 859 1200 1097.75 171.86 6.39 1000000 0 320.50/320.63 c 870 1103 1113.35 175.62 6.34 1000000 0 322.70/322.81 c 811 955 1106.81 214.50 5.16 1000000 0 324.80/324.98 c 803 973 1097.30 205.82 5.33 1000000 0 327.00/327.16 c 764 979 1111.23 200.75 5.54 1000000 0 329.20/329.33 c 860 1059 1081.11 170.90 6.33 1000000 0 331.40/331.52 c 845 1095 1111.55 201.86 5.51 1000000 0 333.60/333.71 c 782 1059 1116.54 233.11 4.79 1000000 0 335.70/335.88 c 814 1046 1100.25 185.11 5.94 1000000 0 337.90/338.05 c 788 1008 1108.05 203.37 5.45 1000000 0 340.10/340.23 c 795 979 1092.49 186.17 5.87 1000000 0 342.30/342.42 c 763 1068 1118.17 210.70 5.31 1000000 0 344.39/344.59 c 769 1077 1087.62 188.42 5.77 1000000 0 346.60/346.77 c 811 1003 1104.94 200.48 5.51 1000000 0 348.79/348.96 c 883 1262 1124.38 185.13 6.07 1000000 0 350.99/351.16 c 817 1150 1139.15 207.49 5.49 1000000 0 353.19/353.33 c 792 1085 1088.05 207.22 5.25 1000000 0 355.39/355.51 c 836 1056 1108.95 175.45 6.32 1000000 0 357.49/357.69 c 834 978 1095.07 186.22 5.88 1000000 0 359.69/359.86 c 730 1062 1091.04 189.85 5.75 1000000 0 361.89/362.05 c 824 937 1123.69 185.83 6.05 1000000 0 364.09/364.23 c 806 1159 1096.74 176.32 6.22 1000000 0 366.29/366.40 c 804 1011 1100.11 197.75 5.56 1000000 0 368.40/368.58 c 806 1003 1102.63 202.19 5.45 1000000 0 370.60/370.75 c 810 893 1094.21 176.58 6.20 1000000 0 372.80/372.93 c 822 1008 1101.63 215.71 5.11 1000000 0 375.00/375.12 c 860 1286 1117.25 189.81 5.89 1000000 0 377.10/377.28 c 843 1057 1093.12 176.40 6.20 1000000 0 379.29/379.46 c 813 1060 1090.71 172.72 6.31 1000000 0 381.49/381.65 c 836 924 1126.46 193.70 5.82 1000000 0 383.69/383.83 c 790 1004 1093.57 207.12 5.28 1000000 0 385.79/385.99 c 798 1083 1079.78 198.28 5.45 1000000 0 387.99/388.18 c 842 961 1118.08 152.73 7.32 1000000 0 390.19/390.36 c 814 926 1093.19 244.41 4.47 1000000 0 392.39/392.55 c 820 1197 1113.67 183.67 6.06 1000000 0 394.59/394.75 c 845 1146 1117.55 214.44 5.21 1000000 0 396.78/396.92 c 826 919 1101.00 201.94 5.45 1000000 0 398.98/399.10 c 841 1010 1103.25 164.84 6.69 1000000 0 401.08/401.29 c 786 1073 1124.77 178.86 6.29 1000000 0 403.28/403.47 c 795 1125 1092.76 204.74 5.34 1000000 0 405.48/405.64 c 837 1036 1093.06 192.30 5.68 1000000 0 407.68/407.83 c 773 1118 1105.93 198.38 5.57 1000000 0 409.78/410.00 c 791 1091 1099.34 184.69 5.95 1000000 0 411.98/412.17 c 810 1078 1106.11 161.65 6.84 1000000 0 414.18/414.36 c 826 1100 1122.83 213.93 5.25 1000000 0 416.38/416.54 c 824 1120 1105.87 203.14 5.44 1000000 0 418.58/418.73 c 793 1066 1138.99 176.38 6.46 1000000 0 420.78/420.92 c 828 952 1111.06 207.31 5.36 1000000 0 422.98/423.10 c 768 1110 1107.91 179.55 6.17 1000000 0 425.08/425.28 c 809 1163 1101.24 196.69 5.60 1000000 0 427.28/427.47 c 834 1172 1126.61 222.46 5.06 1000000 0 429.48/429.65 c 794 961 1099.80 216.30 5.08 1000000 0 431.68/431.84 c 833 1107 1118.19 160.95 6.95 1000000 0 433.88/434.02 c 815 979 1105.83 200.71 5.51 1000000 0 435.98/436.19 c 827 1060 1109.37 155.50 7.13 1000000 0 438.18/438.38 c 864 1091 1122.73 184.68 6.08 1000000 0 440.38/440.56 c 852 978 1105.55 185.69 5.95 1000000 0 442.57/442.73 c 822 1027 1087.67 190.46 5.71 1000000 0 444.77/444.90 c 808 1051 1095.74 167.36 6.55 1000000 0 446.87/447.08 c 868 1017 1105.30 181.16 6.10 1000000 0 449.07/449.27 c 865 1061 1114.35 189.72 5.87 1000000 0 451.27/451.46 c 860 1109 1109.21 192.90 5.75 1000000 0 453.47/453.65 c 846 1093 1101.62 183.76 5.99 1000000 0 455.67/455.80 c 747 1097 1065.16 193.60 5.50 1000000 0 457.77/457.99 c 808 918 1137.04 202.92 5.60 1000000 0 459.97/460.16 c 819 1268 1094.98 200.57 5.46 1000000 0 462.17/462.34 c 838 1113 1100.36 172.51 6.38 1000000 0 464.37/464.50 c 807 947 1087.27 191.84 5.67 1000000 0 466.47/466.67 c 811 1112 1098.76 184.46 5.96 1000000 0 468.67/468.86 c 827 1060 1119.58 225.83 4.96 1000000 0 470.87/471.04 c 846 1067 1110.90 170.31 6.52 1000000 0 473.07/473.23 c 818 1077 1118.33 197.50 5.66 1000000 0 475.27/475.40 c 750 1040 1090.82 201.44 5.42 1000000 0 477.37/477.57 c 794 1018 1091.94 179.53 6.08 1000000 0 479.57/479.73 c 864 927 1083.81 188.23 5.76 1000000 0 481.77/481.93 c 849 1036 1114.79 190.18 5.86 1000000 0 483.97/484.11 c 791 993 1107.53 207.58 5.34 1000000 0 486.07/486.29 c 753 1009 1093.71 229.14 4.77 1000000 0 488.27/488.47 c 808 1058 1104.41 231.46 4.77 1000000 0 490.47/490.66 c 779 1015 1108.04 185.53 5.97 1000000 0 492.67/492.84 c 842 1072 1109.80 198.23 5.60 1000000 0 494.87/495.02 c 839 1096 1098.06 194.71 5.64 1000000 0 496.97/497.20 c 799 942 1118.73 196.03 5.71 1000000 0 499.17/499.39 c 835 1153 1123.81 205.19 5.48 1000000 0 501.37/501.57 c 845 1057 1106.76 202.74 5.46 1000000 0 503.57/503.75 c 767 1162 1088.78 182.45 5.97 1000000 0 505.77/505.93 c 776 1120 1108.48 185.22 5.98 1000000 0 507.97/508.11 c 831 1087 1114.44 242.41 4.60 1000000 0 510.06/510.29 c 808 940 1083.94 168.35 6.44 1000000 0 512.26/512.47 c 834 1042 1103.43 183.76 6.00 1000000 0 514.46/514.65 c 779 896 1092.70 193.21 5.66 1000000 0 516.66/516.82 c 799 1132 1090.60 185.15 5.89 1000000 0 518.86/519.00 c 789 1065 1096.75 209.81 5.23 1000000 0 520.96/521.17 c 786 1129 1101.10 197.97 5.56 1000000 0 523.16/523.36 c 808 1073 1113.96 185.68 6.00 1000000 0 525.36/525.54 c 796 1128 1106.59 198.51 5.57 1000000 0 527.56/527.71 c 828 1019 1097.11 207.87 5.28 1000000 0 529.76/529.90 c 890 1102 1102.70 191.90 5.75 1000000 0 531.86/532.09 c 851 954 1106.63 203.25 5.44 1000000 0 534.05/534.27 c 790 943 1107.33 223.73 4.95 1000000 0 536.25/536.47 c 830 1155 1124.68 224.00 5.02 1000000 0 538.45/538.67 c 848 1061 1142.29 236.83 4.82 1000000 0 540.65/540.85 c 835 940 1105.47 198.67 5.56 1000000 0 542.85/543.02 c 856 1012 1110.61 195.13 5.69 1000000 0 544.95/545.19 c 834 973 1083.85 178.51 6.07 1000000 0 547.15/547.38 c 848 1016 1109.22 222.51 4.99 1000000 0 549.35/549.57 c 849 1042 1118.97 212.59 5.26 1000000 0 551.55/551.77 c 847 1186 1138.56 240.51 4.73 1000000 0 553.75/553.95 c 830 1132 1096.82 209.79 5.23 1000000 0 555.95/556.12 c 827 1011 1087.86 187.90 5.79 1000000 0 558.15/558.31 c 830 1066 1117.41 165.93 6.73 1000000 0 560.25/560.47 c 790 1071 1067.80 165.28 6.46 1000000 0 562.45/562.65 c 802 1046 1104.26 208.54 5.30 1000000 0 564.65/564.83 c 847 1049 1099.38 186.95 5.88 1000000 0 566.85/567.02 c 821 994 1106.77 233.43 4.74 1000000 0 569.05/569.22 c 751 1107 1129.11 226.81 4.98 1000000 0 571.15/571.39 c 826 914 1095.25 181.43 6.04 1000000 0 573.35/573.56 c 864 1048 1118.81 199.46 5.61 1000000 0 575.54/575.75 c 815 1137 1122.18 248.57 4.51 1000000 0 577.74/577.93 c 804 970 1090.85 170.14 6.41 1000000 0 579.94/580.11 c 824 939 1107.96 169.37 6.54 1000000 0 582.04/582.27 c 837 1067 1096.25 174.64 6.28 1000000 0 584.24/584.46 c 801 1038 1123.97 210.52 5.34 1000000 0 586.44/586.66 c 804 1115 1118.60 200.18 5.59 1000000 0 588.64/588.85 c 874 1057 1125.97 217.25 5.18 1000000 0 590.84/591.04 c 873 1150 1122.61 216.05 5.20 1000000 0 593.04/593.22 c 811 1084 1094.37 173.94 6.29 1000000 0 595.14/595.39 c 733 1270 1091.72 176.28 6.19 1000000 0 597.34/597.56 c 818 984 1082.60 158.49 6.83 1000000 0 599.54/599.73 c 769 1168 1094.74 173.45 6.31 1000000 0 601.64/601.89 c 746 1074 1089.18 169.00 6.44 1000000 0 603.84/604.06 c 834 979 1108.20 182.97 6.06 1000000 0 606.04/606.25 c 783 983 1098.59 156.00 7.04 1000000 0 608.24/608.43 c 796 1010 1098.60 180.14 6.10 1000000 0 610.44/610.60 c 782 978 1099.93 218.06 5.04 1000000 0 612.54/612.79 c 839 965 1103.33 204.83 5.39 1000000 0 614.74/614.96 c 805 1018 1075.75 160.02 6.72 1000000 0 616.94/617.14 c 739 1091 1112.39 186.95 5.95 1000000 0 619.04/619.29 c 785 927 1053.16 154.40 6.82 1000000 0 621.24/621.46 c 865 1078 1095.23 176.23 6.21 1000000 0 623.44/623.63 c 844 1092 1087.73 177.05 6.14 1000000 0 625.64/625.81 c 823 1079 1105.65 201.05 5.50 1000000 0 627.73/627.98 c 801 901 1093.03 196.61 5.56 1000000 0 629.93/630.16 c 777 1031 1114.34 219.09 5.09 1000000 0 632.13/632.34 c 822 1095 1103.69 228.74 4.83 1000000 0 634.33/634.53 c 869 1056 1121.12 210.92 5.32 1000000 0 636.53/636.70 c 812 1054 1101.64 194.40 5.67 1000000 0 638.63/638.89 c 835 1194 1123.31 171.97 6.53 1000000 0 640.83/641.07 c 829 1048 1103.29 159.35 6.92 1000000 0 643.03/643.25 c 839 1038 1098.93 189.16 5.81 1000000 0 645.23/645.46 c 822 1021 1133.31 218.79 5.18 1000000 0 647.43/647.64 c 837 1050 1088.14 185.94 5.85 1000000 0 649.63/649.81 c 806 923 1094.44 193.56 5.65 1000000 0 651.73/651.99 c 851 1145 1114.69 189.71 5.88 1000000 0 653.93/654.17 c 818 1059 1104.03 203.46 5.43 1000000 0 656.13/656.35 c 817 973 1113.36 145.37 7.66 1000000 0 658.33/658.53 c 846 1200 1118.18 177.87 6.29 1000000 0 660.53/660.73 c 867 1015 1125.67 182.35 6.17 1000000 0 662.73/662.91 c 789 1068 1093.23 172.78 6.33 1000000 0 664.82/665.08 c 844 1110 1112.14 174.93 6.36 1000000 0 667.02/667.26 c 823 897 1097.92 204.06 5.38 1000000 0 669.22/669.45 c 867 1056 1121.12 209.37 5.35 1000000 0 671.42/671.62 c 839 1058 1098.15 189.01 5.81 1000000 0 673.62/673.80 c 801 1196 1109.42 198.76 5.58 1000000 0 675.72/675.99 c 855 1050 1111.98 170.62 6.52 1000000 0 677.92/678.17 c 793 929 1103.68 223.42 4.94 1000000 0 680.12/680.36 c 866 1057 1124.40 222.54 5.05 1000000 0 682.32/682.56 c 856 1204 1119.04 198.51 5.64 1000000 0 684.52/684.75 c 858 1052 1126.12 165.99 6.78 1000000 0 686.72/686.93 c 767 1021 1095.50 195.08 5.62 1000000 0 688.92/689.10 c 837 1055 1112.93 176.69 6.30 1000000 0 691.02/691.28 c 842 1012 1101.36 186.80 5.90 1000000 0 693.22/693.46 c 788 1060 1112.58 202.14 5.50 1000000 0 695.42/695.65 c 856 935 1119.63 180.59 6.20 1000000 0 697.62/697.84 c 820 1061 1108.80 176.03 6.30 1000000 0 699.82/700.02 c 778 1067 1105.49 249.92 4.42 1000000 0 702.02/702.20 c 826 1136 1111.95 213.17 5.22 1000000 0 704.12/704.36 c 784 1046 1071.06 179.96 5.95 1000000 0 706.32/706.54 c 869 929 1112.77 224.67 4.95 1000000 0 708.52/708.72 c 821 1054 1100.67 224.74 4.90 1000000 0 710.71/710.91 c 818 1110 1118.04 212.89 5.25 1000000 0 712.81/713.09 c 833 984 1094.49 201.02 5.44 1000000 0 715.01/715.25 c 840 921 1083.57 191.63 5.65 1000000 0 717.21/717.45 c 852 1116 1127.71 191.13 5.90 1000000 0 719.41/719.65 c 844 1114 1135.90 170.20 6.67 1000000 0 721.61/721.83 c 810 1030 1102.07 204.43 5.39 1000000 0 723.81/724.01 c 793 1068 1108.40 215.82 5.14 1000000 0 726.01/726.20 c 856 1011 1118.13 218.34 5.12 1000000 0 728.11/728.37 c 829 1003 1112.55 182.15 6.11 1000000 0 730.31/730.56 c 781 1149 1114.25 155.24 7.18 1000000 0 732.51/732.73 c 808 1023 1093.24 161.21 6.78 1000000 0 734.71/734.91 c 812 987 1097.99 174.80 6.28 1000000 0 736.82/737.08 c 789 1098 1109.24 199.82 5.55 1000000 0 739.02/739.24 c 746 1068 1079.55 192.89 5.60 1000000 0 741.22/741.41 c 749 1114 1094.46 210.73 5.19 1000000 0 743.31/743.57 c 761 912 1069.85 183.62 5.83 1000000 0 745.51/745.76 c 839 1035 1110.90 226.03 4.91 1000000 0 747.71/747.94 c 864 1050 1108.62 206.55 5.37 1000000 0 749.91/750.12 c 809 1165 1124.37 176.22 6.38 1000000 0 752.01/752.29 c 858 1069 1106.33 163.27 6.78 1000000 0 754.21/754.49 c 838 1060 1135.34 233.52 4.86 1000000 0 756.41/756.67 c 818 1096 1096.76 199.29 5.50 1000000 0 758.60/758.86 c 793 1150 1127.95 226.04 4.99 1000000 0 760.80/761.03 c 774 989 1072.36 205.54 5.22 1000000 0 763.00/763.20 c 795 1002 1102.20 219.49 5.02 1000000 0 765.10/765.37 c 834 976 1079.01 178.79 6.04 1000000 0 767.30/767.56 c 812 1121 1114.85 209.34 5.33 1000000 0 769.50/769.75 c 832 941 1117.05 220.65 5.06 1000000 0 771.70/771.95 c 810 902 1129.45 195.81 5.77 1000000 0 773.90/774.13 c 829 1047 1119.93 168.72 6.64 1000000 0 776.10/776.33 c 848 1045 1120.48 229.01 4.89 1000000 0 778.30/778.50 c 838 1078 1085.99 176.62 6.15 1000000 0 780.40/780.68 c 790 1142 1115.34 184.49 6.05 1000000 0 782.60/782.87 c 814 1021 1112.80 181.02 6.15 1000000 0 784.80/785.05 c 818 1102 1094.08 205.42 5.33 1000000 0 787.00/787.23 c 839 1039 1112.11 205.78 5.40 1000000 0 789.20/789.42 c 886 1155 1111.98 186.39 5.97 1000000 0 791.30/791.59 c 806 1055 1079.10 186.51 5.79 1000000 0 793.50/793.77 c 847 1200 1113.13 193.50 5.75 1000000 0 795.70/795.95 c 825 1210 1106.73 185.44 5.97 1000000 0 797.90/798.12 c 813 1063 1098.29 178.09 6.17 1000000 0 800.10/800.30 c 824 1098 1089.99 191.05 5.71 1000000 0 802.20/802.48 c 765 1140 1084.84 202.02 5.37 1000000 0 804.39/804.67 c 761 1110 1110.06 177.65 6.25 1000000 0 806.59/806.85 c 858 1151 1109.76 160.49 6.91 1000000 0 808.79/809.03 c 810 988 1100.42 183.13 6.01 1000000 0 810.89/811.18 c 796 998 1071.33 166.91 6.42 1000000 0 813.09/813.37 c 841 996 1115.53 183.65 6.07 1000000 0 815.29/815.54 c 839 1165 1101.18 175.46 6.28 1000000 0 817.49/817.73 c 835 1017 1123.43 189.72 5.92 1000000 0 819.69/819.90 c 807 1012 1090.71 197.57 5.52 1000000 0 821.79/822.07 c 779 1058 1081.72 197.85 5.47 1000000 0 823.99/824.24 c 788 1041 1095.62 190.99 5.74 1000000 0 826.19/826.42 c 836 1143 1108.14 179.62 6.17 1000000 0 828.39/828.61 c 859 1091 1112.57 185.95 5.98 1000000 0 830.59/830.82 c 838 971 1132.93 224.62 5.04 1000000 0 832.79/833.00 c 806 1052 1105.64 261.74 4.22 1000000 0 834.89/835.19 c 833 1132 1117.16 231.40 4.83 1000000 0 837.09/837.34 c 804 936 1062.83 205.44 5.17 1000000 0 839.29/839.52 c 709 1002 1100.34 189.62 5.80 1000000 0 841.49/841.70 c 824 1066 1099.37 176.95 6.21 1000000 0 843.59/843.89 c 794 1016 1113.25 212.54 5.24 1000000 0 845.79/846.09 c 862 1156 1115.79 189.12 5.90 1000000 0 847.99/848.28 c 820 1091 1111.10 204.64 5.43 1000000 0 850.18/850.47 c 801 1008 1106.29 176.09 6.28 1000000 0 852.38/852.64 c 805 1075 1087.62 213.36 5.10 1000000 0 854.58/854.80 c 818 1080 1085.73 236.09 4.60 1000000 0 856.69/856.98 c 809 1183 1101.57 216.63 5.09 1000000 0 858.89/859.15 c 743 1007 1097.70 234.56 4.68 1000000 0 861.09/861.33 c 822 995 1101.18 248.17 4.44 1000000 0 863.19/863.50 c 783 993 1087.50 179.19 6.07 1000000 0 865.39/865.69 c 783 1068 1127.71 185.63 6.07 1000000 0 867.59/867.90 c 831 1203 1126.38 214.39 5.25 1000000 0 869.79/870.08 c 833 1085 1107.31 167.58 6.61 1000000 0 871.99/872.27 c 825 947 1124.04 163.53 6.87 1000000 0 874.19/874.46 c 871 1111 1112.03 200.15 5.56 1000000 0 876.38/876.63 c 813 1222 1091.77 214.89 5.08 1000000 0 878.58/878.81 c 779 857 1106.99 177.33 6.24 1000000 0 880.68/880.97 c 791 1103 1085.89 177.12 6.13 1000000 0 882.88/883.16 c 848 1047 1121.29 212.94 5.27 1000000 0 885.08/885.35 c 820 1228 1107.72 225.79 4.91 1000000 0 887.28/887.53 c 860 1085 1118.29 179.17 6.24 1000000 0 889.48/889.70 c 808 1019 1107.02 181.29 6.11 1000000 0 891.57/891.89 c 807 1169 1114.16 171.67 6.49 1000000 0 893.77/894.06 c 775 1197 1091.17 201.87 5.41 1000000 0 895.97/896.23 c 842 1103 1113.60 189.86 5.87 1000000 0 898.17/898.42 c 818 937 1109.45 180.73 6.14 1000000 0 900.37/900.60 c 823 1080 1099.61 213.59 5.15 1000000 0 902.47/902.78 c 869 1179 1102.68 204.22 5.40 1000000 0 904.67/904.96 c 847 1165 1104.93 229.72 4.81 1000000 0 906.87/907.14 c 819 945 1094.83 196.60 5.57 1000000 0 909.07/909.31 c 824 1014 1102.81 190.64 5.78 1000000 0 911.17/911.48 c 808 1031 1081.48 199.55 5.42 1000000 0 913.37/913.67 c 786 958 1114.41 193.67 5.75 1000000 0 915.58/915.84 c 857 1093 1096.47 163.43 6.71 1000000 0 917.78/918.01 c 732 1047 1100.99 192.69 5.71 1000000 0 919.88/920.19 c 784 996 1090.09 208.31 5.23 1000000 0 922.08/922.37 c 827 1133 1117.23 168.69 6.62 1000000 0 924.28/924.56 c 852 1150 1122.45 203.53 5.51 1000000 0 926.48/926.75 c 864 993 1103.17 188.81 5.84 1000000 0 928.68/928.93 c 814 953 1103.24 179.70 6.14 1000000 0 930.88/931.13 c 868 1009 1139.17 199.34 5.71 1000000 0 933.08/933.31 c 805 1106 1113.18 204.84 5.43 1000000 0 935.17/935.49 c 846 1074 1096.04 165.89 6.61 1000000 0 937.37/937.66 c 820 1160 1089.65 212.99 5.12 1000000 0 939.57/939.82 c 790 959 1063.64 182.44 5.83 1000000 0 941.77/942.01 c 836 1125 1089.91 190.63 5.72 1000000 0 943.87/944.18 c 800 1022 1109.13 169.36 6.55 1000000 0 946.07/946.36 c 816 1038 1110.67 163.47 6.79 1000000 0 948.27/948.55 c 863 997 1122.51 240.60 4.67 1000000 0 950.47/950.73 c 799 1155 1107.69 225.18 4.92 1000000 0 952.67/952.92 c 857 1206 1131.81 197.97 5.72 1000000 0 954.77/955.10 c 803 1181 1096.53 199.09 5.51 1000000 0 956.97/957.27 c 813 1049 1097.78 181.89 6.04 1000000 0 959.17/959.45 c 851 1201 1106.84 205.14 5.40 1000000 0 961.37/961.64 c 822 1135 1115.99 212.73 5.25 1000000 0 963.57/963.82 c 815 982 1102.84 207.63 5.31 1000000 0 965.77/966.00 c 812 1007 1109.28 176.17 6.30 1000000 0 967.87/968.19 c 822 1037 1111.36 219.07 5.07 1000000 0 970.07/970.37 c 826 950 1107.31 211.38 5.24 1000000 0 972.27/972.54 c 819 959 1099.20 182.35 6.03 1000000 0 974.47/974.71 c 862 1017 1091.37 174.37 6.26 1000000 0 976.66/976.90 c 868 1051 1111.92 188.78 5.89 1000000 0 978.77/979.06 c 800 1076 1075.80 166.09 6.48 1000000 0 980.97/981.25 c 835 990 1107.06 192.15 5.76 1000000 0 983.17/983.43 c 796 1017 1103.03 209.89 5.26 1000000 0 985.27/985.60 c 866 1173 1098.37 178.73 6.15 1000000 0 987.47/987.77 c 763 1139 1088.18 202.23 5.38 1000000 0 989.67/989.95 c 799 1009 1121.60 223.59 5.02 1000000 0 991.87/992.11 c 862 1167 1095.21 186.57 5.87 1000000 0 994.07/994.30 c 785 1076 1112.75 224.37 4.96 1000000 0 996.27/996.50 c 804 1068 1138.37 210.55 5.41 1000000 0 998.36/998.67 c 773 1181 1098.24 204.75 5.36 1000000 0 1000.56/1000.84 c 774 1005 1098.32 204.72 5.36 1000000 0 1002.76/1003.04 c 770 1072 1120.05 266.61 4.20 1000000 0 1004.96/1005.21 c 760 1064 1091.55 186.31 5.86 1000000 0 1007.06/1007.38 c 832 1005 1084.71 195.44 5.55 1000000 0 1009.26/1009.56 c 865 1085 1107.62 182.93 6.05 1000000 0 1011.46/1011.72 c 754 845 1082.45 160.72 6.74 1000000 0 1013.66/1013.90 c 822 1044 1092.55 208.27 5.25 1000000 0 1015.76/1016.05 c 749 926 1060.71 202.83 5.23 1000000 0 1017.96/1018.23 c 800 929 1108.80 194.64 5.70 1000000 0 1020.15/1020.41 c 807 970 1109.11 181.13 6.12 1000000 0 1022.35/1022.60 c 889 1128 1130.81 218.05 5.19 1000000 0 1024.45/1024.77 c 826 1118 1081.64 192.59 5.62 1000000 0 1026.65/1026.93 c 812 1083 1082.51 162.53 6.66 1000000 0 1028.85/1029.10 c 804 1078 1099.59 187.80 5.85 1000000 0 1030.95/1031.27 c 792 898 1103.28 177.60 6.21 1000000 0 1033.15/1033.42 c 828 990 1080.31 190.89 5.66 1000000 0 1035.35/1035.60 c 812 1007 1111.07 181.38 6.13 1000000 0 1037.45/1037.79 c 877 1004 1120.98 193.06 5.81 1000000 0 1039.65/1039.98 c 785 1090 1119.03 199.98 5.60 1000000 0 1041.85/1042.18 c 859 992 1141.15 191.36 5.96 1000000 0 1044.05/1044.35 c 821 1064 1091.93 186.67 5.85 1000000 0 1046.25/1046.52 c 831 1328 1103.46 190.00 5.81 1000000 0 1048.45/1048.72 c 822 1069 1120.79 221.45 5.06 1000000 0 1050.65/1050.90 c 820 1020 1100.11 166.09 6.62 1000000 0 1052.75/1053.09 c 834 1120 1120.40 202.26 5.54 1000000 0 1054.95/1055.26 c 855 995 1103.53 177.98 6.20 1000000 0 1057.15/1057.46 c 848 1031 1132.42 238.48 4.75 1000000 0 1059.35/1059.64 c 858 1046 1112.83 179.92 6.19 1000000 0 1061.55/1061.82 c 811 1069 1105.92 205.23 5.39 1000000 0 1063.75/1064.01 c 847 1017 1104.67 205.97 5.36 1000000 0 1065.85/1066.19 c 853 1072 1112.55 197.77 5.63 1000000 0 1068.05/1068.37 c 841 998 1104.95 179.16 6.17 1000000 0 1070.25/1070.55 c 851 1061 1099.41 186.93 5.88 1000000 0 1072.44/1072.73 c 840 1214 1106.47 170.34 6.50 1000000 0 1074.64/1074.91 c 840 1033 1102.28 154.32 7.14 1000000 0 1076.84/1077.11 c 837 1135 1127.57 224.32 5.03 1000000 0 1078.94/1079.28 c 826 1124 1085.30 174.65 6.21 1000000 0 1081.14/1081.45 c 824 1076 1094.51 196.50 5.57 1000000 0 1083.34/1083.64 c 793 1159 1103.72 203.27 5.43 1000000 0 1085.54/1085.81 c 864 1177 1106.11 158.74 6.97 1000000 0 1087.74/1088.00 c 795 1049 1111.97 215.26 5.17 1000000 0 1089.85/1090.19 c 813 982 1102.38 189.34 5.82 1000000 0 1092.05/1092.36 c 826 1034 1097.24 174.25 6.30 1000000 0 1094.25/1094.53 c 755 1090 1083.23 179.65 6.03 1000000 0 1096.45/1096.71 c 814 1138 1108.87 226.19 4.90 1000000 0 1098.54/1098.89 c 816 997 1100.49 194.40 5.66 1000000 0 1100.74/1101.06 c 771 1032 1079.84 177.95 6.07 1000000 0 1102.94/1103.23 c 848 1025 1110.42 146.81 7.56 1000000 0 1105.14/1105.40 c 733 1046 1094.04 194.60 5.62 1000000 0 1107.24/1107.57 c 781 1126 1107.48 180.58 6.13 1000000 0 1109.44/1109.75 c 772 1087 1077.18 187.86 5.73 1000000 0 1111.64/1111.91 c 814 1111 1081.48 174.53 6.20 1000000 0 1113.73/1114.09 c 840 1094 1097.34 189.88 5.78 1000000 0 1115.93/1116.27 c 835 979 1100.28 221.42 4.97 1000000 0 1118.13/1118.46 c 779 963 1120.18 188.16 5.95 1000000 0 1120.33/1120.65 c 818 1054 1115.82 252.93 4.41 1000000 0 1122.53/1122.86 c 846 1106 1140.38 192.33 5.93 1000000 0 1124.73/1125.04 c 836 1170 1103.80 205.36 5.37 1000000 0 1126.93/1127.23 c 830 1125 1115.92 220.94 5.05 1000000 0 1129.13/1129.44 c 860 1053 1124.67 191.32 5.88 1000000 0 1131.33/1131.61 c 816 1179 1110.77 156.90 7.08 1000000 0 1133.43/1133.79 c 804 1079 1099.07 191.88 5.73 1000000 0 1135.63/1135.96 c 848 1127 1115.97 195.37 5.71 1000000 0 1137.83/1138.16 c 872 1097 1126.20 199.43 5.65 1000000 0 1140.03/1140.35 c 856 1093 1130.39 198.48 5.70 1000000 0 1142.23/1142.51 c 798 1177 1080.93 168.39 6.42 1000000 0 1144.33/1144.69 c 791 1168 1100.14 150.50 7.31 1000000 0 1146.53/1146.87 c 830 1066 1085.46 215.81 5.03 1000000 0 1148.73/1149.04 c 798 1141 1115.01 179.42 6.21 1000000 0 1150.93/1151.22 c 810 1134 1083.85 205.25 5.28 1000000 0 1153.13/1153.41 c 812 1106 1128.68 182.11 6.20 1000000 0 1155.33/1155.60 c 856 1048 1127.93 171.08 6.59 1000000 0 1157.43/1157.80 c 812 1065 1116.14 200.01 5.58 1000000 0 1159.62/1159.97 c 800 1069 1103.05 176.75 6.24 1000000 0 1161.82/1162.14 c 764 991 1106.51 198.44 5.58 1000000 0 1164.02/1164.30 c 799 1074 1077.83 187.04 5.76 1000000 0 1166.12/1166.48 c 792 986 1117.43 201.88 5.54 1000000 0 1168.32/1168.68 c 849 994 1131.00 213.89 5.29 1000000 0 1170.52/1170.85 c 852 1087 1109.25 169.13 6.56 1000000 0 1172.72/1173.02 c 781 1150 1085.86 153.20 7.09 1000000 0 1174.92/1175.20 c 744 1007 1107.69 217.29 5.10 1000000 0 1177.02/1177.39 c 810 1022 1117.16 245.33 4.55 1000000 0 1179.22/1179.58 c 833 1089 1110.60 195.50 5.68 1000000 0 1181.42/1181.74 c 819 1045 1075.54 157.08 6.85 1000000 0 1183.62/1183.92 c 796 1188 1096.94 168.34 6.52 1000000 0 1185.72/1186.08 c 788 877 1064.94 205.69 5.18 1000000 0 1187.92/1188.26 c 764 1312 1093.82 236.57 4.62 1000000 0 1190.12/1190.42 c 777 1049 1074.81 202.77 5.30 1000000 0 1192.32/1192.61 c 775 1190 1110.65 193.87 5.73 1000000 0 1194.42/1194.79 c 847 1065 1110.54 181.55 6.12 1000000 0 1196.62/1196.97 c 782 1105 1102.35 219.73 5.02 1000000 0 1198.81/1199.14 c 822 979 1108.02 212.86 5.21 1000000 0 1201.01/1201.34 c 808 1131 1127.00 210.86 5.34 1000000 0 1203.21/1203.51 c 815 1008 1079.63 214.43 5.03 1000000 0 1205.41/1205.71 c 837 1073 1124.41 220.62 5.10 1000000 0 1207.52/1207.88 c 791 994 1096.68 176.30 6.22 1000000 0 1209.72/1210.05 c 823 965 1116.29 195.18 5.72 1000000 0 1211.92/1212.23 c 842 980 1095.34 198.94 5.51 1000000 0 1214.12/1214.42 c 780 1157 1111.35 198.50 5.60 1000000 0 1216.22/1216.58 c 786 1106 1091.56 191.86 5.69 1000000 0 1218.42/1218.77 c 835 1063 1113.59 231.22 4.82 1000000 0 1220.62/1220.94 c 823 1179 1092.06 199.21 5.48 1000000 0 1222.82/1223.14 c 844 1103 1125.92 213.75 5.27 1000000 0 1225.02/1225.30 c 806 979 1085.74 204.17 5.32 1000000 0 1227.11/1227.47 c 807 1075 1093.01 204.85 5.34 1000000 0 1229.31/1229.66 c 816 1009 1113.60 173.93 6.40 1000000 0 1231.51/1231.84 c 855 1072 1105.82 157.05 7.04 1000000 0 1233.71/1234.00 c 787 1105 1071.06 186.95 5.73 1000000 0 1235.81/1236.19 c 784 1219 1116.10 275.07 4.06 1000000 0 1238.01/1238.35 c 825 1136 1081.65 180.50 5.99 1000000 0 1240.21/1240.51 c 820 1040 1078.83 176.86 6.10 1000000 0 1242.31/1242.69 c 842 936 1104.18 168.90 6.54 1000000 0 1244.50/1244.87 c 829 1085 1113.99 160.86 6.93 1000000 0 1246.70/1247.06 c 803 967 1111.00 208.81 5.32 1000000 0 1248.91/1249.22 c 808 979 1075.34 211.71 5.08 1000000 0 1251.00/1251.38 c 795 1053 1075.80 167.98 6.40 1000000 0 1253.20/1253.57 c 863 1001 1101.33 160.81 6.85 1000000 0 1255.40/1255.74 c 806 1119 1095.89 190.48 5.75 1000000 0 1257.60/1257.91 c 746 1040 1097.06 211.99 5.18 1000000 0 1259.70/1260.08 c 763 1015 1090.05 202.35 5.39 1000000 0 1261.90/1262.25 c 792 1055 1081.16 192.34 5.62 1000000 0 1264.10/1264.42 c 852 1099 1097.96 200.86 5.47 1000000 0 1266.30/1266.62 c 872 1029 1131.91 191.37 5.91 1000000 0 1268.50/1268.81 c 840 1145 1141.93 218.04 5.24 1000000 0 1270.70/1271.00 c 856 1000 1099.97 170.97 6.43 1000000 0 1272.80/1273.19 c 822 910 1120.68 233.23 4.81 1000000 0 1275.00/1275.37 c 812 1073 1096.32 193.81 5.66 1000000 0 1277.20/1277.55 c 775 1000 1087.77 218.67 4.97 1000000 0 1279.40/1279.72 c 789 1210 1087.95 193.82 5.61 1000000 0 1281.50/1281.89 c 830 943 1094.22 189.10 5.79 1000000 0 1283.70/1284.07 c 783 1117 1087.14 201.92 5.38 1000000 0 1285.90/1286.26 c 810 1053 1114.57 204.65 5.45 1000000 0 1288.10/1288.44 c 826 1075 1116.34 189.00 5.91 1000000 0 1290.30/1290.60 c 839 1086 1092.44 170.82 6.40 1000000 0 1292.40/1292.79 c 831 1002 1116.36 244.91 4.56 1000000 0 1294.59/1294.98 c 806 1176 1106.71 180.31 6.14 1000000 0 1296.79/1297.16 c 800 966 1105.70 208.60 5.30 1000000 0 1298.99/1299.35 c 865 1074 1120.05 196.75 5.69 1000000 0 1301.19/1301.53 c 912 992 1116.80 156.54 7.13 1000000 0 1303.39/1303.72 c 851 1084 1117.93 173.37 6.45 1000000 0 1305.49/1305.90 c 828 1036 1105.50 187.04 5.91 1000000 0 1307.69/1308.07 c 836 1047 1111.49 204.16 5.44 1000000 0 1309.89/1310.24 c 780 1155 1101.34 241.07 4.57 1000000 0 1312.09/1312.44 c 844 1013 1126.81 189.89 5.93 1000000 0 1314.29/1314.63 c 872 1075 1123.44 181.23 6.20 1000000 0 1316.49/1316.81 c 834 1144 1112.14 187.13 5.94 1000000 0 1318.60/1318.98 c 795 1018 1098.84 182.78 6.01 1000000 0 1320.80/1321.16 c 809 1088 1099.91 194.38 5.66 1000000 0 1323.00/1323.34 c 803 1108 1109.94 200.78 5.53 1000000 0 1325.20/1325.53 c 864 1070 1121.53 190.04 5.90 1000000 0 1327.29/1327.69 c 793 1117 1081.56 167.96 6.44 1000000 0 1329.49/1329.86 c 796 1111 1087.76 181.51 5.99 1000000 0 1331.69/1332.06 c 765 1147 1116.73 212.56 5.25 1000000 0 1333.89/1334.24 c 856 1177 1090.40 189.33 5.76 1000000 0 1335.98/1336.39 c 792 1166 1071.15 153.11 7.00 1000000 0 1338.18/1338.54 c 750 1101 1076.77 169.55 6.35 1000000 0 1340.39/1340.73 c 838 1133 1120.14 170.81 6.56 1000000 0 1342.58/1342.91 c 810 899 1092.74 169.26 6.46 1000000 0 1344.68/1345.09 c 769 1148 1103.83 215.33 5.13 1000000 0 1346.88/1347.26 c 804 941 1080.26 185.60 5.82 1000000 0 1349.08/1349.45 c 828 1112 1101.79 193.42 5.70 1000000 0 1351.28/1351.64 c 842 1063 1108.43 189.56 5.85 1000000 0 1353.48/1353.82 c 793 1030 1103.86 209.71 5.26 1000000 0 1355.68/1356.00 c 774 1165 1111.06 214.74 5.17 1000000 0 1357.78/1358.18 c 804 1007 1117.15 206.76 5.40 1000000 0 1359.98/1360.37 c 839 967 1110.38 239.33 4.64 1000000 0 1362.18/1362.55 c 780 1078 1104.62 220.57 5.01 1000000 0 1364.38/1364.73 c 845 1149 1106.34 213.58 5.18 1000000 0 1366.58/1366.92 c 743 1173 1120.48 197.64 5.67 1000000 0 1368.78/1369.10 c 792 1131 1106.69 201.84 5.48 1000000 0 1370.88/1371.29 c 847 1140 1124.93 188.82 5.96 1000000 0 1373.08/1373.46 c 801 1073 1107.05 222.70 4.97 1000000 0 1375.28/1375.63 c 766 1018 1080.12 207.37 5.21 1000000 0 1377.48/1377.82 c 832 985 1125.36 190.06 5.92 1000000 0 1379.68/1380.00 c 817 1023 1102.14 164.00 6.72 1000000 0 1381.77/1382.17 c 838 984 1103.17 190.20 5.80 1000000 0 1383.97/1384.34 c 777 1253 1086.09 167.12 6.50 1000000 0 1386.17/1386.53 c 842 1007 1112.11 192.21 5.79 1000000 0 1388.37/1388.71 c 766 1080 1094.53 216.31 5.06 1000000 0 1390.47/1390.89 c 830 1064 1121.18 200.43 5.59 1000000 0 1392.67/1393.09 c 840 1111 1124.91 191.82 5.86 1000000 0 1394.87/1395.27 c 851 934 1113.41 210.31 5.29 1000000 0 1397.07/1397.46 c 801 1116 1097.55 194.89 5.63 1000000 0 1399.27/1399.62 c 794 1104 1089.46 170.67 6.38 1000000 0 1401.37/1401.78 c 798 887 1053.42 188.99 5.57 1000000 0 1403.57/1403.97 c 780 1058 1110.99 220.63 5.04 1000000 0 1405.77/1406.17 c 833 1099 1149.47 200.89 5.72 1000000 0 1407.97/1408.33 c 759 1039 1086.49 196.07 5.54 1000000 0 1410.17/1410.52 c 898 1006 1126.73 172.47 6.53 1000000 0 1412.37/1412.70 c 829 1079 1104.53 175.88 6.28 1000000 0 1414.47/1414.87 c 865 1125 1101.96 165.09 6.67 1000000 0 1416.67/1417.04 c 752 1119 1096.47 206.06 5.32 1000000 0 1418.87/1419.22 c 796 1074 1103.90 202.20 5.46 1000000 0 1420.97/1421.39 c 839 1069 1117.55 214.58 5.21 1000000 0 1423.17/1423.56 c 831 1160 1091.86 164.17 6.65 1000000 0 1425.37/1425.75 c 753 1078 1113.50 231.23 4.82 1000000 0 1427.56/1427.93 c 847 1038 1106.89 222.55 4.97 1000000 0 1429.76/1430.11 c 884 1085 1114.04 177.78 6.27 1000000 0 1431.96/1432.33 c 806 949 1115.23 253.44 4.40 1000000 0 1434.16/1434.53 c 822 1077 1125.02 206.58 5.45 1000000 0 1436.36/1436.70 c 833 959 1084.94 210.32 5.16 1000000 0 1438.47/1438.88 c 784 1094 1107.63 193.68 5.72 1000000 0 1440.67/1441.06 c 794 1160 1089.87 176.46 6.18 1000000 0 1442.87/1443.25 c 857 1106 1121.46 192.86 5.82 1000000 0 1445.07/1445.44 c 778 991 1109.83 216.69 5.12 1000000 0 1447.27/1447.62 c 844 1284 1107.07 192.65 5.75 1000000 0 1449.37/1449.79 c 837 929 1085.83 155.49 6.98 1000000 0 1451.57/1451.97 c 805 1118 1100.98 215.08 5.12 1000000 0 1453.77/1454.16 c 855 1082 1132.62 190.61 5.94 1000000 0 1455.97/1456.34 c 828 1047 1099.14 198.79 5.53 1000000 0 1458.17/1458.52 c 766 1006 1089.35 215.87 5.05 1000000 0 1460.36/1460.71 c 860 1100 1130.95 207.76 5.44 1000000 0 1462.46/1462.88 c 851 1169 1088.74 182.74 5.96 1000000 0 1464.66/1465.08 c 777 1027 1132.32 161.72 7.00 1000000 0 1466.86/1467.26 c 825 941 1111.82 212.92 5.22 1000000 0 1469.06/1469.43 c 832 943 1086.09 172.77 6.29 1000000 0 1471.26/1471.62 c 842 1075 1104.38 223.64 4.94 1000000 0 1473.45/1473.80 c 847 975 1106.93 214.42 5.16 1000000 0 1475.55/1475.97 c 770 1096 1098.60 166.76 6.59 1000000 0 1477.75/1478.15 c 786 1091 1099.93 213.26 5.16 1000000 0 1479.95/1480.34 c 801 1024 1110.41 227.57 4.88 1000000 0 1482.15/1482.52 c 851 998 1090.64 194.65 5.60 1000000 0 1484.25/1484.68 c 850 1209 1079.09 157.45 6.85 1000000 0 1486.45/1486.87 c 788 1153 1102.20 213.24 5.17 1000000 0 1488.65/1489.06 c 871 1094 1119.36 194.43 5.76 1000000 0 1490.85/1491.23 c 845 976 1094.43 151.73 7.21 1000000 0 1493.05/1493.41 c 811 931 1097.53 217.79 5.04 1000000 0 1495.15/1495.57 c 802 991 1076.48 168.21 6.40 1000000 0 1497.35/1497.74 c 865 1010 1098.08 183.37 5.99 1000000 0 1499.55/1499.93 c 850 1032 1118.82 190.03 5.89 1000000 0 1501.75/1502.12 c 856 1096 1120.10 156.01 7.18 1000000 0 1503.95/1504.31 c 851 1198 1122.66 184.05 6.10 1000000 0 1506.15/1506.50 c 793 1064 1118.78 208.96 5.35 1000000 0 1508.25/1508.68 c 797 1161 1106.73 183.27 6.04 1000000 0 1510.45/1510.85 c 817 1033 1086.05 152.09 7.14 1000000 0 1512.65/1513.03 c 872 1016 1123.39 170.34 6.60 1000000 0 1514.84/1515.21 c 814 1088 1113.62 220.03 5.06 1000000 0 1516.94/1517.37 c 826 1040 1081.14 173.04 6.25 1000000 0 1519.14/1519.57 c 862 1138 1147.51 196.87 5.83 1000000 0 1521.34/1521.77 c 832 1097 1145.10 204.96 5.59 1000000 0 1523.54/1523.93 c 793 1035 1074.23 187.79 5.72 1000000 0 1525.74/1526.12 c 799 1098 1130.92 165.71 6.82 1000000 0 1527.84/1528.30 c 778 1161 1096.55 218.65 5.02 1000000 0 1530.04/1530.47 c 868 1136 1107.04 193.76 5.71 1000000 0 1532.24/1532.66 c 849 1098 1100.91 184.93 5.95 1000000 0 1534.44/1534.87 c 878 1047 1139.82 195.95 5.82 1000000 0 1536.64/1537.04 c 829 1159 1104.00 177.56 6.22 1000000 0 1538.84/1539.21 c 831 1042 1111.01 201.87 5.50 1000000 0 1541.04/1541.40 c 813 1144 1107.45 197.39 5.61 1000000 0 1543.14/1543.57 c 827 1138 1099.04 199.48 5.51 1000000 0 1545.34/1545.76 c 859 1200 1107.75 151.33 7.32 1000000 0 1547.54/1547.94 c 828 1261 1109.60 164.05 6.76 1000000 0 1549.74/1550.11 c 713 1014 1076.67 159.45 6.75 1000000 0 1551.94/1552.30 c 816 1039 1109.63 168.98 6.57 1000000 0 1554.04/1554.49 c 880 1215 1123.46 212.88 5.28 1000000 0 1556.24/1556.67 c 799 1226 1097.39 174.44 6.29 1000000 0 1558.43/1558.83 c 784 1067 1073.09 214.19 5.01 1000000 0 1560.63/1561.02 c 805 1178 1114.88 202.19 5.51 1000000 0 1562.83/1563.22 c 856 970 1120.13 221.38 5.06 1000000 0 1565.03/1565.40 c 842 1139 1097.20 211.05 5.20 1000000 0 1567.14/1567.59 c 853 961 1108.06 202.69 5.47 1000000 0 1569.34/1569.75 c 793 1045 1068.54 165.91 6.44 1000000 0 1571.54/1571.93 c 814 1041 1111.20 185.15 6.00 1000000 0 1573.74/1574.12 c 834 1060 1103.16 210.20 5.25 1000000 0 1575.84/1576.30 c 805 1033 1103.97 207.53 5.32 1000000 0 1578.04/1578.48 c 787 1129 1111.66 214.90 5.17 1000000 0 1580.24/1580.65 c 801 967 1091.33 205.34 5.31 1000000 0 1582.44/1582.83 c 812 1023 1099.78 181.05 6.07 1000000 0 1584.64/1585.02 c 866 989 1133.45 201.23 5.63 1000000 0 1586.84/1587.21 c 783 1111 1131.71 203.21 5.57 1000000 0 1588.93/1589.39 c 807 1091 1100.24 193.62 5.68 1000000 0 1591.13/1591.57 c 844 973 1100.41 209.66 5.25 1000000 0 1593.33/1593.75 c 834 1082 1103.41 163.16 6.76 1000000 0 1595.53/1595.93 c 866 1010 1100.61 173.13 6.36 1000000 0 1597.73/1598.11 c 798 1059 1108.85 200.67 5.53 1000000 0 1599.93/1600.30 c 890 1058 1130.93 178.30 6.34 1000000 0 1602.13/1602.50 c 867 1111 1122.03 205.88 5.45 1000000 0 1604.23/1604.67 c 846 1031 1106.57 174.08 6.36 1000000 0 1606.42/1606.85 c 828 1032 1096.52 195.46 5.61 1000000 0 1608.62/1609.03 c 845 1031 1110.19 202.65 5.48 1000000 0 1610.82/1611.21 c 834 1044 1112.91 185.19 6.01 1000000 0 1613.02/1613.40 c 831 954 1108.67 224.04 4.95 1000000 0 1615.12/1615.57 c 800 1082 1081.54 174.61 6.19 1000000 0 1617.32/1617.75 c 870 947 1108.91 168.27 6.59 1000000 0 1619.52/1619.93 c 826 1014 1087.53 220.91 4.92 1000000 0 1621.72/1622.11 c 811 976 1109.55 188.70 5.88 1000000 0 1623.82/1624.27 c 773 1026 1070.72 167.71 6.38 1000000 0 1626.02/1626.46 c 858 1213 1135.30 198.48 5.72 1000000 0 1628.22/1628.64 c 823 1082 1104.41 227.88 4.85 1000000 0 1630.42/1630.82 c 813 1077 1085.32 184.68 5.88 1000000 0 1632.62/1633.00 c 811 1043 1106.40 179.18 6.17 1000000 0 1634.72/1635.15 c 762 1014 1058.09 173.68 6.09 1000000 0 1636.92/1637.33 c 813 1173 1100.70 181.51 6.06 1000000 0 1639.12/1639.51 c 854 1101 1111.90 195.63 5.68 1000000 0 1641.22/1641.68 c 748 996 1117.06 216.08 5.17 1000000 0 1643.42/1643.88 c 872 1246 1132.24 194.19 5.83 1000000 0 1645.62/1646.06 c 855 915 1100.73 188.35 5.84 1000000 0 1647.82/1648.22 c 790 1000 1063.20 185.49 5.73 1000000 0 1650.02/1650.41 c 820 1124 1112.74 214.57 5.19 1000000 0 1652.21/1652.61 c 850 1056 1125.03 206.22 5.46 1000000 0 1654.31/1654.78 c 821 1191 1102.30 194.50 5.67 1000000 0 1656.51/1656.97 c 839 979 1117.75 233.37 4.79 1000000 0 1658.71/1659.15 c 828 985 1102.99 183.58 6.01 1000000 0 1660.91/1661.33 c 823 1097 1118.98 183.70 6.09 1000000 0 1663.11/1663.52 c 846 1014 1104.66 177.93 6.21 1000000 0 1665.21/1665.68 c 869 1074 1086.94 185.76 5.85 1000000 0 1667.41/1667.86 c 715 1086 1087.53 188.49 5.77 1000000 0 1669.61/1670.05 c 794 1111 1127.44 195.15 5.78 1000000 0 1671.81/1672.23 c 824 1138 1104.57 205.66 5.37 1000000 0 1673.91/1674.39 c 828 926 1083.36 151.23 7.16 1000000 0 1676.11/1676.58 c 865 1045 1107.43 158.88 6.97 1000000 0 1678.31/1678.75 c 843 1024 1091.91 187.44 5.83 1000000 0 1680.51/1680.92 c 834 911 1079.08 156.57 6.89 1000000 0 1682.61/1683.09 c 796 1091 1089.03 191.87 5.68 1000000 0 1684.81/1685.26 c 795 1122 1084.06 173.71 6.24 1000000 0 1687.01/1687.46 c 851 1024 1120.89 213.43 5.25 1000000 0 1689.21/1689.64 c 823 990 1112.32 191.34 5.81 1000000 0 1691.41/1691.82 c 807 1072 1098.49 155.04 7.09 1000000 0 1693.51/1694.00 c 819 1037 1104.63 208.31 5.30 1000000 0 1695.71/1696.18 c 784 1164 1110.40 184.60 6.02 1000000 0 1697.91/1698.35 c 842 1060 1091.23 200.93 5.43 1000000 0 1700.11/1700.53 c 788 1139 1115.69 202.55 5.51 1000000 0 1702.31/1702.70 c 793 986 1092.45 204.26 5.35 1000000 0 1704.40/1704.88 c 852 1182 1101.07 163.33 6.74 1000000 0 1706.60/1707.06 c 838 1010 1094.38 192.99 5.67 1000000 0 1708.80/1709.24 c 840 942 1098.16 223.29 4.92 1000000 0 1711.00/1711.42 c 832 1009 1112.16 235.68 4.72 1000000 0 1713.20/1713.62 c 854 1191 1151.21 188.87 6.10 1000000 0 1715.30/1715.79 c 829 1045 1095.25 176.91 6.19 1000000 0 1717.50/1717.96 c 799 967 1097.42 181.51 6.05 1000000 0 1719.70/1720.16 c 880 1082 1140.11 195.44 5.83 1000000 0 1721.90/1722.33 c 839 1168 1105.60 181.21 6.10 1000000 0 1724.10/1724.52 c 759 1082 1110.68 190.11 5.84 1000000 0 1726.20/1726.70 c 816 1102 1119.65 224.28 4.99 1000000 0 1728.40/1728.87 c 858 1177 1089.18 177.95 6.12 1000000 0 1730.59/1731.05 c 832 1045 1119.52 183.61 6.10 1000000 0 1732.79/1733.23 c 799 1127 1107.71 166.90 6.64 1000000 0 1734.99/1735.40 c 846 972 1094.70 169.58 6.46 1000000 0 1737.09/1737.58 c 843 1164 1110.66 219.49 5.06 1000000 0 1739.29/1739.78 c 780 1170 1114.13 240.83 4.63 1000000 0 1741.49/1741.96 c 853 1110 1084.86 167.84 6.46 1000000 0 1743.69/1744.14 c 800 1159 1109.73 188.75 5.88 1000000 0 1745.89/1746.32 c 833 972 1093.29 215.13 5.08 1000000 0 1748.09/1748.50 c 840 974 1117.78 178.97 6.25 1000000 0 1750.19/1750.67 c 813 1070 1095.80 173.34 6.32 1000000 0 1752.39/1752.85 c 831 1092 1108.49 193.43 5.73 1000000 0 1754.59/1755.03 c 768 1032 1099.64 190.35 5.78 1000000 0 1756.79/1757.23 c 838 1095 1123.50 230.27 4.88 1000000 0 1758.99/1759.41 c 814 1027 1115.38 205.12 5.44 1000000 0 1761.09/1761.59 c 797 1095 1092.12 189.58 5.76 1000000 0 1763.29/1763.76 c 808 1004 1117.34 182.12 6.14 1000000 0 1765.49/1765.94 c 802 1140 1104.41 186.16 5.93 1000000 0 1767.69/1768.13 c 800 931 1116.06 177.20 6.30 1000000 0 1769.88/1770.31 c 782 1080 1099.26 207.65 5.29 1000000 0 1771.98/1772.48 c 775 984 1101.43 219.55 5.02 1000000 0 1774.18/1774.66 c 766 1052 1098.93 202.93 5.42 1000000 0 1776.38/1776.83 c 811 1000 1096.93 170.13 6.45 1000000 0 1778.58/1779.00 c 802 1091 1085.57 213.67 5.08 1000000 0 1780.68/1781.18 c 719 1218 1101.03 211.38 5.21 1000000 0 1782.88/1783.36 c 848 1045 1132.26 232.53 4.87 1000000 0 1785.08/1785.53 c 841 1023 1086.33 160.25 6.78 1000000 0 1787.28/1787.70 c 756 1106 1086.55 174.22 6.24 1000000 0 1789.38/1789.88 c 865 1237 1104.27 157.53 7.01 1000000 0 1791.58/1792.06 c 834 1027 1097.80 171.00 6.42 1000000 0 1793.78/1794.24 c 820 1163 1103.46 191.44 5.76 1000000 0 1795.98/1796.43 c 802 1155 1120.05 200.29 5.59 1000000 0 1798.18/1798.62 c 851 1049 1114.34 214.54 5.19 1000000 0 1800.09/1800.51 HOME/run: line 2: 18451 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-2684874-1278435350/watcher-2684874-1278435350 -o /tmp/evaluation-result-2684874-1278435350/solver-2684874-1278435350 -C 1800 -W 2000 -M 1800 run HOME/instance-2684874-1278435350.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.36 1.08 0.94 3/106 18450 /proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) R 18448 18450 17984 0 -1 4202496 344 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179989397 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [startup+0.0997891 s] /proc/loadavg: 1.36 1.08 0.94 3/106 18450 /proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101788 s] /proc/loadavg: 1.36 1.08 0.94 3/106 18450 /proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301801 s] /proc/loadavg: 1.36 1.08 0.94 3/106 18450 /proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701825 s] /proc/loadavg: 1.36 1.08 0.94 3/106 18450 /proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50088 s] /proc/loadavg: 1.36 1.08 0.94 2/108 18452 /proc/meminfo: memFree=1454492/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1.48 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2376 0 0 0 148 0 0 0 25 0 1 0 11742559 41422848 2305 1992294400 134512640 135071400 4292132528 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2305 62 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.10098 s] /proc/loadavg: 1.36 1.08 0.94 2/108 18452 /proc/meminfo: memFree=1454244/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=3.08 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2384 0 0 0 308 0 0 0 25 0 1 0 11742559 41422848 2313 1992294400 134512640 135071400 4292132528 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2313 69 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30118 s] /proc/loadavg: 1.33 1.08 0.94 2/108 18452 /proc/meminfo: memFree=1454244/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=6.28 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2384 0 0 0 628 0 0 0 25 0 1 0 11742559 41422848 2313 1992294400 134512640 135071400 4292132528 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2313 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7006 s] /proc/loadavg: 1.30 1.08 0.94 2/108 18452 /proc/meminfo: memFree=1454120/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=12.68 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 1268 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5014 s] /proc/loadavg: 1.23 1.07 0.94 2/108 18452 /proc/meminfo: memFree=1454120/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=25.48 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 2548 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.102 s] /proc/loadavg: 1.15 1.07 0.94 2/108 18452 /proc/meminfo: memFree=1454120/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=51.07 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 5107 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 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.06 1.05 0.94 2/108 18454 /proc/meminfo: memFree=1453872/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=102.27 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 10227 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525900 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.02 1.04 0.94 2/108 18456 /proc/meminfo: memFree=1453624/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=162.25 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 16225 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.01 1.03 0.94 2/108 18458 /proc/meminfo: memFree=1453624/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=222.24 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 22224 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.02 0.94 2/108 18459 /proc/meminfo: memFree=1453500/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=282.22 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 28222 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.02 0.94 2/108 18469 /proc/meminfo: memFree=1452632/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=342.2 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 34220 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.01 0.94 2/108 18471 /proc/meminfo: memFree=1452632/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=402.18 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 40218 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1122.03 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 112202 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18492 /proc/meminfo: memFree=1451764/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1182.02 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 118201 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525568 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18493 /proc/meminfo: memFree=1451392/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1242.01 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 124200 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526179 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18495 /proc/meminfo: memFree=1451268/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1302 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 130199 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18497 /proc/meminfo: memFree=1451392/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1361.98 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 136197 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526294 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18499 /proc/meminfo: memFree=1451268/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1421.97 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 142196 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18503 /proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1481.95 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 148194 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18504 /proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1541.94 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 154193 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18506 /proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1601.93 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 160192 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18508 /proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1661.91 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 166190 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18510 /proc/meminfo: memFree=1450772/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1721.9 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 172189 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18511 /proc/meminfo: memFree=1450524/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1781.88 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 178187 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18512 /proc/meminfo: memFree=1450524/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1800.09 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 180008 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/108 18512 /proc/meminfo: memFree=1450524/2059040 swapFree=4192956/4192956 [pid=18450] ppid=18448 vsize=8700 CPUtime=0 /proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/18450/statm: 2175 244 204 178 0 68 0 [pid=18451] ppid=18450 vsize=40452 CPUtime=1800.09 /proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 180008 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18451/statm: 10113 2315 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1800.08 CPU system time (s): 0.023996 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.023996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2759 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= 3462 runsolver used 2.85556 second user time and 8.67768 second system time The end
Begin job on node039 at 2010-07-06 18:55:50 IDJOB=2684874 IDBENCH=73841 IDSOLVER=1171 FILE ID=node039/2684874-1278435350 PBS_JOBID= 11233443 Free space on /tmp= 62524 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12021_4-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684874-1278435350/watcher-2684874-1278435350 -o /tmp/evaluation-result-2684874-1278435350/solver-2684874-1278435350 -C 1800 -W 2000 -M 1800 run HOME/instance-2684874-1278435350.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dffa0ccdf702b378cae9eb862001c6aa RANDOM SEED=1785889120 node039.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.242 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.48 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.242 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: 1464452 kB Buffers: 105580 kB Cached: 356932 kB SwapCached: 0 kB Active: 195200 kB Inactive: 327632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1464452 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4048 kB Writeback: 0 kB AnonPages: 60316 kB Mapped: 14384 kB Slab: 49876 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180128 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= 62524 MiB End job on node039 at 2010-07-06 19:25:51