Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.72 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12032_8-unsat.opb |
MD5SUM | 3890946cb13ab5dacc1331cb240d6a09 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 687.116 |
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 | 31460 |
Total number of constraints | 104814 |
Number of constraints which are clauses | 104298 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 516 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 534 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.28 c PB-wave - v2 0.00/0.28 c command line = ./PB-wave 0.00/0.28 c seed = 119217551 0.00/0.28 c cutoff = 1000000 0.00/0.28 c tries = 1000000 0.00/0.28 c heuristic = c best, noise 50 / 100 0.00/0.28 #var 31460 #con 104814 0.00/0.28 mode is SAT 0.00/0.28 c tail starts after flip = 94380 0.00/0.28 c numatom = 31460, numclause = 104814, numliterals = 269358 0.00/0.28 c wff read in 0.00/0.28 c 0.00/0.28 c lowest final avg noise noise total avg mean mean 0.00/0.28 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.28 c this this this this this this success success until std 0.00/0.28 c try try try try try try rate tries assign dev 0.00/0.28 c 2.79/2.86 c 868 1059 1137.99 132.72 8.57 1000000 0 5.39/5.45 c 902 1148 1138.18 149.45 7.62 1000000 0 7.98/8.03 c 902 954 1143.11 131.03 8.72 1000000 0 10.58/10.61 c 920 1215 1141.27 127.80 8.93 1000000 0 13.09/13.19 c 889 1074 1137.98 160.14 7.11 1000000 0 15.68/15.77 c 880 1095 1123.06 122.56 9.16 1000000 0 18.28/18.35 c 902 1122 1127.03 119.94 9.40 1000000 0 20.89/20.93 c 846 1093 1122.18 164.26 6.83 1000000 0 23.48/23.51 c 838 1168 1131.46 130.81 8.65 1000000 0 26.08/26.11 c 947 1108 1160.34 148.17 7.83 1000000 0 28.59/28.70 c 894 1189 1143.30 156.22 7.32 1000000 0 31.18/31.26 c 869 1223 1113.76 130.22 8.55 1000000 0 33.78/33.83 c 900 1079 1116.05 113.70 9.82 1000000 0 36.37/36.41 c 869 1275 1130.83 130.61 8.66 1000000 0 38.97/39.01 c 828 1050 1157.34 160.35 7.22 1000000 0 41.47/41.59 c 875 1171 1139.18 129.43 8.80 1000000 0 44.07/44.17 c 892 1132 1135.06 111.36 10.19 1000000 0 46.67/46.75 c 863 1106 1130.96 148.35 7.62 1000000 0 49.27/49.33 c 855 1081 1125.48 129.63 8.68 1000000 0 51.87/51.92 c 866 1122 1127.29 133.33 8.45 1000000 0 54.47/54.52 c 887 1103 1153.94 146.62 7.87 1000000 0 57.07/57.10 c 899 1174 1134.64 121.11 9.37 1000000 0 59.57/59.68 c 908 1056 1151.71 152.06 7.57 1000000 0 62.17/62.26 c 914 1000 1133.42 127.13 8.92 1000000 0 64.77/64.84 c 912 1017 1144.70 133.36 8.58 1000000 0 67.36/67.42 c 906 1033 1126.52 145.00 7.77 1000000 0 69.86/69.99 c 875 1065 1116.32 139.26 8.02 1000000 0 72.47/72.58 c 952 1157 1150.22 129.60 8.88 1000000 0 75.06/75.17 c 908 1056 1139.34 150.82 7.55 1000000 0 77.66/77.75 c 894 1044 1143.06 146.73 7.79 1000000 0 80.27/80.34 c 873 1033 1134.10 153.66 7.38 1000000 0 82.86/82.92 c 861 1116 1137.78 143.75 7.92 1000000 0 85.46/85.52 c 879 1014 1159.97 145.05 8.00 1000000 0 87.96/88.09 c 902 1044 1131.43 139.47 8.11 1000000 0 90.56/90.68 c 908 1197 1134.88 146.02 7.77 1000000 0 93.15/93.27 c 918 1094 1164.91 163.48 7.13 1000000 0 95.75/95.84 c 903 1127 1122.02 133.65 8.40 1000000 0 98.35/98.42 c 899 1214 1137.46 137.09 8.30 1000000 0 100.95/101.01 c 909 1203 1153.47 135.51 8.51 1000000 0 103.55/103.60 c 895 1075 1130.62 126.86 8.91 1000000 0 106.05/106.18 c 882 1017 1144.10 131.71 8.69 1000000 0 108.65/108.76 c 874 1107 1132.49 159.15 7.12 1000000 0 111.25/111.33 c 858 1093 1108.96 143.86 7.71 1000000 0 113.85/113.90 c 888 1227 1139.67 123.95 9.19 1000000 0 116.35/116.49 c 882 1177 1136.62 135.98 8.36 1000000 0 118.95/119.06 c 924 1247 1136.56 150.15 7.57 1000000 0 121.55/121.65 c 912 1051 1152.29 104.40 11.04 1000000 0 124.15/124.25 c 898 1107 1159.32 161.09 7.20 1000000 0 126.74/126.83 c 842 1045 1144.22 137.21 8.34 1000000 0 129.34/129.42 c 920 1031 1128.54 130.98 8.62 1000000 0 131.95/132.00 c 921 1044 1152.71 129.61 8.89 1000000 0 134.44/134.58 c 874 923 1123.99 131.70 8.53 1000000 0 137.04/137.15 c 852 1007 1107.11 109.12 10.15 1000000 0 139.65/139.74 c 871 1107 1137.07 141.54 8.03 1000000 0 142.24/142.32 c 915 1198 1150.74 119.06 9.67 1000000 0 144.84/144.91 c 922 1149 1161.45 131.49 8.83 1000000 0 147.34/147.48 c 853 1089 1119.95 134.04 8.36 1000000 0 149.94/150.06 c 845 1133 1120.14 144.22 7.77 1000000 0 152.53/152.64 c 903 1248 1140.51 138.54 8.23 1000000 0 155.13/155.23 c 883 1086 1145.76 129.52 8.85 1000000 0 157.73/157.82 c 947 1225 1148.49 139.01 8.26 1000000 0 160.33/160.41 c 870 1090 1145.96 119.73 9.57 1000000 0 162.83/162.99 c 923 1042 1134.76 118.44 9.58 1000000 0 165.43/165.57 c 902 1173 1126.26 139.93 8.05 1000000 0 168.03/168.15 c 908 1091 1135.03 123.95 9.16 1000000 0 170.63/170.73 c 877 1108 1136.25 132.77 8.56 1000000 0 173.23/173.31 c 867 1140 1120.97 131.91 8.50 1000000 0 175.73/175.88 c 884 1014 1134.32 128.78 8.81 1000000 0 178.33/178.46 c 889 1196 1124.19 115.77 9.71 1000000 0 180.92/181.03 c 891 1042 1131.21 133.70 8.46 1000000 0 183.42/183.60 c 885 1034 1113.03 103.03 10.80 1000000 0 186.12/186.20 c 916 1158 1166.27 143.59 8.12 1000000 0 188.62/188.76 c 844 1125 1111.01 130.78 8.50 1000000 0 191.23/191.35 c 925 1144 1136.26 151.08 7.52 1000000 0 193.82/193.93 c 921 1076 1136.52 140.01 8.12 1000000 0 196.42/196.50 c 895 1120 1121.13 104.18 10.76 1000000 0 198.92/199.10 c 903 1203 1145.08 152.84 7.49 1000000 0 201.52/201.69 c 872 1110 1140.65 159.09 7.17 1000000 0 204.12/204.27 c 918 1123 1128.99 125.05 9.03 1000000 0 206.72/206.86 c 916 1112 1152.34 154.57 7.46 1000000 0 209.31/209.44 c 859 1080 1131.44 139.19 8.13 1000000 0 211.91/212.04 c 875 965 1158.46 162.74 7.12 1000000 0 214.51/214.63 c 868 1217 1128.97 151.83 7.44 1000000 0 217.11/217.21 c 888 1036 1128.93 124.26 9.08 1000000 0 219.61/219.78 c 867 1215 1127.91 130.90 8.62 1000000 0 222.21/222.38 c 894 1128 1148.95 133.27 8.62 1000000 0 224.81/224.96 c 917 1003 1137.99 119.01 9.56 1000000 0 227.41/227.54 c 905 1127 1141.43 117.82 9.69 1000000 0 230.01/230.11 c 820 1124 1122.59 146.38 7.67 1000000 0 232.51/232.69 c 893 1093 1135.52 134.85 8.42 1000000 0 235.10/235.27 c 901 1067 1139.60 117.90 9.67 1000000 0 237.70/237.85 c 855 1155 1115.90 115.58 9.66 1000000 0 240.30/240.42 c 875 1102 1131.40 133.06 8.50 1000000 0 242.91/243.02 c 870 1101 1159.16 142.39 8.14 1000000 0 245.50/245.61 c 894 1110 1156.12 137.47 8.41 1000000 0 248.10/248.20 c 861 1164 1134.21 148.35 7.65 1000000 0 250.61/250.78 c 860 1105 1131.32 127.34 8.88 1000000 0 253.20/253.37 c 860 1156 1150.89 162.31 7.09 1000000 0 255.80/255.95 c 895 1111 1134.16 161.41 7.03 1000000 0 258.40/258.53 c 885 1194 1138.76 126.34 9.01 1000000 0 261.00/261.11 c 870 1172 1133.91 143.41 7.91 1000000 0 263.49/263.69 c 901 1090 1147.68 151.71 7.57 1000000 0 266.10/266.28 c 886 1112 1141.31 137.79 8.28 1000000 0 268.69/268.86 c 924 1045 1119.62 112.81 9.92 1000000 0 271.29/271.43 c 852 1093 1123.86 142.32 7.90 1000000 0 273.89/274.01 c 893 1186 1123.16 114.96 9.77 1000000 0 276.39/276.59 c 876 1291 1143.42 124.29 9.20 1000000 0 278.99/279.17 c 913 1126 1134.95 132.71 8.55 1000000 0 281.59/281.75 c 930 1007 1142.14 115.87 9.86 1000000 0 284.19/284.33 c 877 1141 1143.52 138.19 8.28 1000000 0 286.79/286.93 c 897 1020 1146.35 138.27 8.29 1000000 0 289.39/289.50 c 885 1117 1122.09 119.75 9.37 1000000 0 291.89/292.06 c 881 1217 1114.92 94.49 11.80 1000000 0 294.49/294.65 c 894 1047 1142.11 138.98 8.22 1000000 0 297.08/297.24 c 861 974 1129.65 154.77 7.30 1000000 0 299.68/299.84 c 912 1112 1159.22 160.13 7.24 1000000 0 302.29/302.42 c 913 995 1135.66 126.11 9.01 1000000 0 304.88/305.01 c 888 1143 1145.47 134.79 8.50 1000000 0 307.48/307.61 c 931 1145 1154.20 163.33 7.07 1000000 0 309.99/310.18 c 888 1264 1134.85 127.79 8.88 1000000 0 312.58/312.77 c 888 1012 1149.47 129.46 8.88 1000000 0 315.18/315.34 c 915 1075 1128.62 125.57 8.99 1000000 0 317.78/317.92 c 909 1132 1134.70 129.78 8.74 1000000 0 320.28/320.49 c 885 1138 1124.05 132.95 8.45 1000000 0 322.87/323.07 c 862 1206 1134.77 121.03 9.38 1000000 0 325.48/325.64 c 833 1079 1114.20 120.28 9.26 1000000 0 328.07/328.22 c 913 1033 1124.16 130.96 8.58 1000000 0 330.67/330.81 c 887 1040 1139.33 137.57 8.28 1000000 0 333.27/333.40 c 919 1120 1141.83 134.08 8.52 1000000 0 335.77/335.98 c 910 1122 1134.76 146.94 7.72 1000000 0 338.37/338.58 c 870 1050 1154.40 153.60 7.52 1000000 0 340.97/341.15 c 863 1156 1104.93 134.92 8.19 1000000 0 343.57/343.73 c 903 1120 1142.84 145.81 7.84 1000000 0 346.17/346.31 c 853 1079 1122.91 145.82 7.70 1000000 0 348.66/348.89 c 876 944 1126.45 126.81 8.88 1000000 0 351.26/351.46 c 840 1192 1113.83 120.88 9.21 1000000 0 353.86/354.04 c 823 1022 1131.07 149.45 7.57 1000000 0 356.46/356.62 c 913 1131 1152.14 128.84 8.94 1000000 0 359.06/359.20 c 900 1142 1132.86 110.64 10.24 1000000 0 361.56/361.78 c 865 1168 1139.66 127.75 8.92 1000000 0 364.16/364.38 c 906 1066 1150.87 132.17 8.71 1000000 0 366.76/366.96 c 837 1075 1140.14 191.56 5.95 1000000 0 369.36/369.56 c 874 1122 1152.88 159.07 7.25 1000000 0 371.96/372.14 c 901 1103 1127.95 121.54 9.28 1000000 0 374.56/374.72 c 867 1117 1123.31 114.49 9.81 1000000 0 377.16/377.32 c 881 1171 1141.21 126.80 9.00 1000000 0 379.75/379.90 c 864 1146 1151.27 162.38 7.09 1000000 0 382.25/382.48 c 887 1187 1130.18 129.40 8.73 1000000 0 384.86/385.05 c 877 1053 1127.37 156.46 7.21 1000000 0 387.45/387.65 c 931 1140 1160.24 122.58 9.47 1000000 0 390.05/390.22 c 904 1063 1132.00 160.20 7.07 1000000 0 392.65/392.80 c 895 1045 1129.22 129.64 8.71 1000000 0 395.15/395.38 c 862 1077 1140.25 144.67 7.88 1000000 0 397.75/397.96 c 894 1072 1123.05 123.28 9.11 1000000 0 400.35/400.55 c 868 1077 1129.87 151.39 7.46 1000000 0 402.94/403.13 c 890 1055 1140.82 125.67 9.08 1000000 0 405.54/405.71 c 921 1206 1135.24 128.50 8.83 1000000 0 408.04/408.29 c 890 1116 1153.80 125.11 9.22 1000000 0 410.64/410.87 c 888 1063 1130.15 116.38 9.71 1000000 0 413.24/413.44 c 874 1055 1118.86 116.26 9.62 1000000 0 415.84/416.03 c 869 1098 1134.66 141.07 8.04 1000000 0 418.44/418.62 c 895 1131 1153.68 131.83 8.75 1000000 0 420.94/421.19 c 905 1068 1123.07 122.87 9.14 1000000 0 423.54/423.76 c 863 1033 1119.24 143.47 7.80 1000000 0 426.14/426.34 c 879 1047 1120.77 128.92 8.69 1000000 0 428.74/428.92 c 908 1043 1134.11 144.30 7.86 1000000 0 431.34/431.50 c 880 1233 1124.92 126.65 8.88 1000000 0 433.83/434.09 c 894 1094 1130.52 141.61 7.98 1000000 0 436.44/436.68 c 941 1183 1151.47 127.12 9.06 1000000 0 439.03/439.27 c 863 1237 1144.44 148.21 7.72 1000000 0 441.63/441.85 c 900 1082 1141.26 123.78 9.22 1000000 0 444.24/444.42 c 878 980 1108.90 120.83 9.18 1000000 0 446.83/447.01 c 910 1027 1150.17 140.85 8.17 1000000 0 449.33/449.58 c 855 1088 1114.73 155.70 7.16 1000000 0 451.94/452.17 c 868 1124 1134.55 116.17 9.77 1000000 0 454.53/454.76 c 867 1033 1131.51 117.73 9.61 1000000 0 457.13/457.33 c 819 1047 1128.88 150.14 7.52 1000000 0 459.73/459.91 c 828 1196 1117.06 140.02 7.98 1000000 0 462.23/462.49 c 913 1135 1137.11 131.89 8.62 1000000 0 464.82/465.08 c 890 1041 1143.30 137.52 8.31 1000000 0 467.42/467.66 c 884 1090 1135.32 146.62 7.74 1000000 0 470.02/470.25 c 871 993 1130.92 147.27 7.68 1000000 0 472.62/472.83 c 893 1119 1137.11 105.30 10.80 1000000 0 475.22/475.40 c 874 1087 1126.13 114.43 9.84 1000000 0 477.72/477.98 c 910 1094 1126.71 129.94 8.67 1000000 0 480.32/480.58 c 923 1085 1164.60 162.60 7.16 1000000 0 482.92/483.18 c 891 1092 1149.95 149.17 7.71 1000000 0 485.52/485.77 c 911 1162 1133.94 120.47 9.41 1000000 0 488.12/488.35 c 923 1169 1149.22 137.77 8.34 1000000 0 490.72/490.93 c 896 1031 1133.84 127.95 8.86 1000000 0 493.31/493.51 c 873 1211 1126.97 145.86 7.73 1000000 0 495.92/496.10 c 857 1167 1169.80 142.63 8.20 1000000 0 498.41/498.68 c 868 1249 1125.58 116.63 9.65 1000000 0 501.01/501.27 c 906 1127 1145.15 171.41 6.68 1000000 0 503.62/503.87 c 909 1266 1159.29 149.30 7.76 1000000 0 506.21/506.45 c 953 1201 1155.64 127.83 9.04 1000000 0 508.81/509.04 c 889 1048 1145.22 137.29 8.34 1000000 0 511.41/511.63 c 898 1104 1153.00 134.53 8.57 1000000 0 514.01/514.25 c 875 1064 1127.48 125.09 9.01 1000000 0 516.61/516.83 c 951 1057 1135.70 128.20 8.86 1000000 0 519.21/519.41 c 885 1169 1130.85 144.39 7.83 1000000 0 521.80/522.00 c 887 1155 1147.69 157.15 7.30 1000000 0 524.30/524.59 c 928 1121 1146.30 131.76 8.70 1000000 0 526.90/527.17 c 871 1014 1127.80 158.63 7.11 1000000 0 529.50/529.75 c 889 1177 1136.36 123.29 9.22 1000000 0 532.11/532.33 c 900 1130 1135.10 156.70 7.24 1000000 0 534.70/534.92 c 841 1083 1153.59 149.48 7.72 1000000 0 537.30/537.50 c 906 1050 1144.20 126.25 9.06 1000000 0 539.80/540.09 c 952 1045 1169.80 152.09 7.69 1000000 0 542.40/542.66 c 895 1174 1114.49 134.89 8.26 1000000 0 545.00/545.24 c 920 1096 1144.19 132.44 8.64 1000000 0 547.60/547.82 c 815 1053 1129.73 126.21 8.95 1000000 0 550.19/550.40 c 860 1239 1128.90 120.10 9.40 1000000 0 552.69/552.98 c 884 1062 1130.40 141.09 8.01 1000000 0 555.30/555.56 c 893 1101 1145.91 136.80 8.38 1000000 0 557.89/558.15 c 907 1104 1160.49 111.90 10.37 1000000 0 560.49/560.73 c 878 1150 1147.57 148.96 7.70 1000000 0 563.09/563.31 c 886 1163 1127.38 151.55 7.44 1000000 0 565.69/565.90 c 881 1107 1144.99 147.64 7.76 1000000 0 568.19/568.49 c 856 1002 1151.62 156.24 7.37 1000000 0 570.79/571.08 c 921 1168 1145.88 151.67 7.56 1000000 0 573.39/573.65 c 859 1087 1115.25 119.09 9.36 1000000 0 575.99/576.24 c 927 1021 1159.70 124.52 9.31 1000000 0 578.59/578.82 c 839 1103 1134.39 148.78 7.62 1000000 0 581.18/581.41 c 891 1133 1139.50 145.52 7.83 1000000 0 583.68/583.99 c 929 1048 1142.05 160.94 7.10 1000000 0 586.28/586.58 c 881 1168 1136.19 125.62 9.04 1000000 0 588.88/589.17 c 916 1076 1141.55 144.84 7.88 1000000 0 591.49/591.75 c 908 1073 1142.13 130.46 8.75 1000000 0 594.08/594.32 c 832 1087 1113.13 114.51 9.72 1000000 0 596.68/596.91 c 895 1076 1141.94 133.36 8.56 1000000 0 599.18/599.50 c 893 1153 1139.82 143.55 7.94 1000000 0 601.78/602.09 c 901 1004 1140.65 150.46 7.58 1000000 0 604.38/604.68 c 908 993 1145.68 127.33 9.00 1000000 0 606.98/607.26 c 890 1100 1149.95 158.31 7.26 1000000 0 609.57/609.85 c 859 1082 1132.31 161.80 7.00 1000000 0 612.17/612.42 c 851 1155 1109.73 120.86 9.18 1000000 0 614.77/615.01 c 908 1166 1144.92 135.15 8.47 1000000 0 617.27/617.59 c 903 1173 1141.60 142.88 7.99 1000000 0 619.88/620.16 c 835 1175 1114.79 127.97 8.71 1000000 0 622.48/622.75 c 893 1128 1152.73 129.25 8.92 1000000 0 625.08/625.32 c 894 1057 1137.76 136.72 8.32 1000000 0 627.68/627.91 c 909 1191 1128.66 130.30 8.66 1000000 0 630.28/630.51 c 889 1138 1164.99 174.26 6.69 1000000 0 632.77/633.09 c 895 1054 1131.56 141.12 8.02 1000000 0 635.37/635.66 c 839 1051 1125.78 131.05 8.59 1000000 0 637.97/638.25 c 890 986 1137.17 154.14 7.38 1000000 0 640.57/640.84 c 920 1150 1148.08 139.00 8.26 1000000 0 643.18/643.42 c 922 1134 1136.48 125.64 9.05 1000000 0 645.77/646.00 c 865 1085 1134.56 158.10 7.18 1000000 0 648.27/648.56 c 888 1075 1111.59 119.04 9.34 1000000 0 650.88/651.14 c 877 987 1122.81 136.06 8.25 1000000 0 653.47/653.73 c 825 1053 1125.38 128.83 8.74 1000000 0 656.07/656.31 c 906 998 1125.54 132.03 8.52 1000000 0 658.57/658.89 c 912 1020 1155.18 144.24 8.01 1000000 0 661.16/661.48 c 880 1094 1144.46 159.44 7.18 1000000 0 663.76/664.07 c 894 1076 1139.15 140.74 8.09 1000000 0 666.37/666.65 c 862 1135 1125.06 138.97 8.10 1000000 0 668.96/669.23 c 907 1250 1132.14 154.37 7.33 1000000 0 671.56/671.83 c 846 1093 1161.49 134.15 8.66 1000000 0 674.16/674.42 c 959 1161 1153.08 124.59 9.25 1000000 0 676.76/677.00 c 887 1125 1138.51 174.99 6.51 1000000 0 679.26/679.59 c 897 971 1159.65 155.17 7.47 1000000 0 681.86/682.18 c 873 1221 1131.82 180.83 6.26 1000000 0 684.46/684.75 c 912 1016 1135.26 142.87 7.95 1000000 0 687.06/687.34 c 863 1192 1134.00 156.25 7.26 1000000 0 689.66/689.93 c 889 1155 1127.51 141.80 7.95 1000000 0 692.25/692.51 c 907 977 1140.24 121.02 9.42 1000000 0 694.75/695.10 c 876 1094 1133.56 141.24 8.03 1000000 0 697.35/697.68 c 911 1038 1141.72 122.85 9.29 1000000 0 699.95/700.27 c 937 1113 1141.19 128.51 8.88 1000000 0 702.56/702.85 c 892 1026 1126.83 130.07 8.66 1000000 0 705.15/705.42 c 847 1121 1120.95 122.06 9.18 1000000 0 707.75/708.02 c 889 1262 1154.42 163.08 7.08 1000000 0 710.26/710.59 c 913 1011 1125.40 117.99 9.54 1000000 0 712.85/713.18 c 892 1075 1142.32 124.39 9.18 1000000 0 715.45/715.76 c 928 1163 1158.22 100.60 11.51 1000000 0 718.05/718.34 c 815 1149 1121.24 156.58 7.16 1000000 0 720.64/720.93 c 872 1126 1154.05 138.85 8.31 1000000 0 723.24/723.52 c 923 1141 1132.96 148.41 7.63 1000000 0 725.75/726.09 c 883 1190 1131.52 141.80 7.98 1000000 0 728.34/728.67 c 867 1112 1136.81 151.04 7.53 1000000 0 730.94/731.25 c 874 1110 1134.27 143.54 7.90 1000000 0 733.54/733.85 c 906 1032 1153.94 157.70 7.32 1000000 0 736.14/736.44 c 943 1383 1153.46 137.55 8.39 1000000 0 738.74/739.02 c 875 1120 1134.99 147.20 7.71 1000000 0 741.34/741.60 c 851 1184 1137.05 146.84 7.74 1000000 0 743.84/744.19 c 933 1007 1152.82 131.40 8.77 1000000 0 746.44/746.78 c 835 1181 1136.67 156.02 7.29 1000000 0 749.03/749.37 c 865 1212 1140.62 154.10 7.40 1000000 0 751.63/751.95 c 915 1173 1123.94 130.37 8.62 1000000 0 754.24/754.52 c 896 1083 1138.37 137.53 8.28 1000000 0 756.83/757.10 c 882 1060 1131.68 123.31 9.18 1000000 0 759.33/759.68 c 892 1036 1139.39 143.04 7.97 1000000 0 761.94/762.26 c 853 1140 1113.56 123.66 9.00 1000000 0 764.53/764.84 c 909 1286 1145.46 147.80 7.75 1000000 0 767.13/767.42 c 905 1117 1131.75 130.73 8.66 1000000 0 769.73/770.02 c 906 1075 1155.04 145.78 7.92 1000000 0 772.23/772.59 c 905 1096 1127.21 128.59 8.77 1000000 0 774.83/775.19 c 910 1111 1147.18 139.11 8.25 1000000 0 777.43/777.76 c 922 1109 1137.56 136.58 8.33 1000000 0 780.02/780.34 c 857 1332 1128.29 139.59 8.08 1000000 0 782.62/782.91 c 855 1216 1119.17 110.36 10.14 1000000 0 785.13/785.49 c 855 1120 1124.71 140.54 8.00 1000000 0 787.72/788.08 c 894 1144 1151.47 154.41 7.46 1000000 0 790.32/790.66 c 922 1137 1130.33 141.15 8.01 1000000 0 792.92/793.25 c 910 1018 1150.90 157.14 7.32 1000000 0 795.52/795.82 c 893 982 1116.40 133.77 8.35 1000000 0 798.12/798.42 c 896 1112 1147.19 128.92 8.90 1000000 0 800.62/800.99 c 883 1057 1114.13 138.49 8.04 1000000 0 803.21/803.57 c 869 1093 1125.45 128.05 8.79 1000000 0 805.81/806.15 c 900 1049 1135.85 136.04 8.35 1000000 0 808.41/808.73 c 833 1039 1126.59 177.93 6.33 1000000 0 811.01/811.32 c 942 1071 1149.96 140.97 8.16 1000000 0 813.51/813.90 c 873 1295 1126.76 148.16 7.60 1000000 0 816.11/816.48 c 845 1267 1125.76 117.57 9.58 1000000 0 818.71/819.06 c 886 1184 1126.22 116.77 9.64 1000000 0 821.32/821.64 c 877 1132 1142.91 157.30 7.27 1000000 0 823.91/824.21 c 862 1137 1121.79 128.24 8.75 1000000 0 826.41/826.79 c 874 1126 1131.18 142.46 7.94 1000000 0 829.01/829.36 c 871 1032 1120.06 136.57 8.20 1000000 0 831.61/831.93 c 860 1216 1113.25 121.93 9.13 1000000 0 834.20/834.51 c 889 1115 1120.84 135.05 8.30 1000000 0 836.71/837.10 c 928 1178 1145.59 129.08 8.87 1000000 0 839.30/839.69 c 891 1217 1159.48 154.42 7.51 1000000 0 841.90/842.27 c 916 1164 1150.69 149.69 7.69 1000000 0 844.51/844.87 c 919 1198 1138.38 134.58 8.46 1000000 0 847.10/847.47 c 889 1179 1163.92 130.45 8.92 1000000 0 849.70/850.06 c 911 1044 1154.69 127.48 9.06 1000000 0 852.30/852.63 c 846 954 1130.55 138.55 8.16 1000000 0 854.90/855.21 c 923 1188 1130.93 117.64 9.61 1000000 0 857.40/857.79 c 884 1173 1131.44 128.13 8.83 1000000 0 860.00/860.39 c 918 1148 1164.66 156.77 7.43 1000000 0 862.60/862.98 c 826 1130 1134.36 193.58 5.86 1000000 0 865.19/865.58 c 891 1165 1165.48 169.93 6.86 1000000 0 867.79/868.16 c 885 1102 1139.35 141.54 8.05 1000000 0 870.39/870.75 c 871 1102 1144.46 160.19 7.14 1000000 0 873.00/873.34 c 910 1120 1144.38 150.32 7.61 1000000 0 875.59/875.92 c 899 1050 1121.42 123.52 9.08 1000000 0 878.19/878.50 c 911 1143 1140.54 138.59 8.23 1000000 0 880.70/881.09 c 886 1088 1135.95 127.02 8.94 1000000 0 883.29/883.67 c 889 1116 1145.26 152.45 7.51 1000000 0 885.89/886.26 c 899 1152 1139.99 136.18 8.37 1000000 0 888.49/888.85 c 886 1092 1138.44 133.74 8.51 1000000 0 891.09/891.45 c 898 1083 1149.15 154.65 7.43 1000000 0 893.69/894.04 c 918 1138 1138.86 141.56 8.05 1000000 0 896.28/896.62 c 916 987 1128.68 135.26 8.34 1000000 0 898.78/899.19 c 874 1038 1121.91 129.57 8.66 1000000 0 901.38/901.78 c 892 1095 1138.23 124.22 9.16 1000000 0 903.98/904.37 c 931 1129 1141.79 143.31 7.97 1000000 0 906.58/906.95 c 864 1082 1128.62 141.97 7.95 1000000 0 909.18/909.54 c 892 1146 1139.13 108.44 10.50 1000000 0 911.78/912.12 c 866 1096 1136.15 128.99 8.81 1000000 0 914.38/914.71 c 898 1182 1153.12 135.30 8.52 1000000 0 916.98/917.30 c 897 1127 1150.71 154.05 7.47 1000000 0 919.48/919.88 c 894 1079 1137.33 119.45 9.52 1000000 0 922.07/922.46 c 871 982 1114.40 137.30 8.12 1000000 0 924.68/925.03 c 865 966 1118.11 143.70 7.78 1000000 0 927.27/927.63 c 905 1207 1157.15 153.24 7.55 1000000 0 929.87/930.20 c 866 1068 1125.71 134.90 8.34 1000000 0 932.38/932.78 c 836 1011 1130.41 171.89 6.58 1000000 0 934.97/935.37 c 904 1076 1136.19 140.21 8.10 1000000 0 937.57/937.97 c 907 1026 1175.37 131.06 8.97 1000000 0 940.18/940.55 c 833 1189 1123.74 148.21 7.58 1000000 0 942.77/943.13 c 924 1062 1136.56 134.28 8.46 1000000 0 945.37/945.71 c 861 1078 1152.13 141.81 8.12 1000000 0 947.87/948.29 c 890 1116 1123.21 149.27 7.52 1000000 0 950.46/950.88 c 893 1132 1136.55 140.27 8.10 1000000 0 953.06/953.47 c 824 1244 1142.44 177.03 6.45 1000000 0 955.66/956.07 c 884 1076 1157.70 179.63 6.45 1000000 0 958.26/958.65 c 922 1017 1135.57 158.65 7.16 1000000 0 960.86/961.23 c 846 1096 1122.86 152.22 7.38 1000000 0 963.46/963.82 c 811 995 1128.86 139.22 8.11 1000000 0 966.06/966.40 c 906 1073 1124.58 113.25 9.93 1000000 0 968.56/969.00 c 888 1002 1163.24 156.65 7.43 1000000 0 971.16/971.59 c 920 1229 1164.54 127.84 9.11 1000000 0 973.76/974.18 c 915 1184 1139.72 110.51 10.31 1000000 0 976.36/976.76 c 874 1055 1140.79 124.12 9.19 1000000 0 978.96/979.34 c 877 1253 1142.79 136.59 8.37 1000000 0 981.55/981.92 c 888 1135 1136.31 138.95 8.18 1000000 0 984.16/984.51 c 924 1157 1155.14 148.97 7.75 1000000 0 986.65/987.09 c 844 1223 1133.52 115.59 9.81 1000000 0 989.25/989.66 c 886 1131 1139.97 140.73 8.10 1000000 0 991.86/992.25 c 883 1071 1140.90 119.29 9.56 1000000 0 994.45/994.83 c 886 1095 1131.87 166.82 6.78 1000000 0 997.05/997.41 c 904 1133 1139.83 132.57 8.60 1000000 0 999.56/999.98 c 839 1099 1116.21 156.64 7.13 1000000 0 1002.15/1002.55 c 868 1182 1106.28 136.31 8.12 1000000 0 1004.75/1005.14 c 924 1134 1118.83 135.30 8.27 1000000 0 1007.34/1007.72 c 830 1158 1139.50 125.26 9.10 1000000 0 1009.94/1010.31 c 898 1054 1153.66 138.23 8.35 1000000 0 1012.44/1012.89 c 868 1079 1128.35 128.30 8.79 1000000 0 1015.04/1015.47 c 903 1215 1130.64 131.50 8.60 1000000 0 1017.64/1018.05 c 893 1141 1125.91 161.00 6.99 1000000 0 1020.24/1020.63 c 923 1192 1136.40 149.92 7.58 1000000 0 1022.84/1023.21 c 835 1088 1126.12 136.37 8.26 1000000 0 1025.34/1025.78 c 881 1136 1132.69 134.93 8.39 1000000 0 1027.94/1028.37 c 928 1026 1151.58 116.78 9.86 1000000 0 1030.54/1030.94 c 850 1023 1123.08 141.83 7.92 1000000 0 1033.13/1033.52 c 879 1086 1133.75 144.22 7.86 1000000 0 1035.74/1036.11 c 905 1105 1145.56 120.39 9.52 1000000 0 1038.23/1038.69 c 929 1093 1142.85 121.95 9.37 1000000 0 1040.83/1041.26 c 857 1063 1120.16 133.10 8.42 1000000 0 1043.44/1043.85 c 909 1033 1146.47 158.62 7.23 1000000 0 1046.03/1046.42 c 886 1126 1130.41 109.57 10.32 1000000 0 1048.63/1049.01 c 876 1047 1127.15 145.89 7.73 1000000 0 1051.14/1051.59 c 862 1033 1139.23 160.08 7.12 1000000 0 1053.73/1054.18 c 853 1121 1136.60 164.08 6.93 1000000 0 1056.33/1056.76 c 807 1073 1130.07 141.32 8.00 1000000 0 1058.93/1059.34 c 889 958 1123.13 139.71 8.04 1000000 0 1061.53/1061.92 c 886 1032 1132.50 149.42 7.58 1000000 0 1064.13/1064.51 c 877 1159 1150.98 151.92 7.58 1000000 0 1066.72/1067.11 c 872 1152 1151.64 131.46 8.76 1000000 0 1069.22/1069.68 c 873 1178 1117.07 137.45 8.13 1000000 0 1071.82/1072.25 c 913 1176 1117.78 136.05 8.22 1000000 0 1074.42/1074.84 c 876 1252 1135.86 154.87 7.33 1000000 0 1077.02/1077.41 c 901 1214 1137.60 122.72 9.27 1000000 0 1079.62/1080.00 c 903 1016 1151.13 150.94 7.63 1000000 0 1082.12/1082.59 c 919 1219 1140.73 140.79 8.10 1000000 0 1084.72/1085.18 c 897 1110 1136.00 119.41 9.51 1000000 0 1087.32/1087.77 c 926 1124 1137.06 121.63 9.35 1000000 0 1089.92/1090.34 c 831 1170 1118.55 119.86 9.33 1000000 0 1092.51/1092.93 c 878 1094 1131.97 116.44 9.72 1000000 0 1095.12/1095.50 c 905 1082 1132.94 139.94 8.10 1000000 0 1097.61/1098.08 c 875 969 1147.02 133.05 8.62 1000000 0 1100.21/1100.65 c 867 1026 1106.89 140.10 7.90 1000000 0 1102.82/1103.25 c 936 1164 1163.50 155.38 7.49 1000000 0 1105.41/1105.83 c 882 988 1140.90 147.87 7.72 1000000 0 1108.01/1108.41 c 867 1082 1139.73 147.36 7.73 1000000 0 1110.52/1110.99 c 890 1007 1116.91 134.24 8.32 1000000 0 1113.11/1113.57 c 912 1338 1134.26 134.51 8.43 1000000 0 1115.71/1116.17 c 933 1116 1171.36 138.17 8.48 1000000 0 1118.31/1118.76 c 928 1049 1147.89 132.20 8.68 1000000 0 1120.91/1121.34 c 913 1152 1118.60 148.85 7.51 1000000 0 1123.50/1123.91 c 894 1109 1131.11 137.39 8.23 1000000 0 1126.10/1126.50 c 905 1105 1157.61 155.43 7.45 1000000 0 1128.70/1129.10 c 909 1042 1148.57 156.08 7.36 1000000 0 1131.20/1131.68 c 879 1098 1136.49 156.98 7.24 1000000 0 1133.80/1134.26 c 838 1063 1136.92 136.68 8.32 1000000 0 1136.40/1136.84 c 867 1106 1133.17 134.53 8.42 1000000 0 1139.00/1139.42 c 889 998 1136.28 155.76 7.29 1000000 0 1141.60/1142.00 c 898 1178 1135.50 139.54 8.14 1000000 0 1144.20/1144.61 c 888 1259 1166.86 183.92 6.34 1000000 0 1146.70/1147.18 c 927 1147 1133.00 125.79 9.01 1000000 0 1149.30/1149.76 c 929 1106 1148.58 119.28 9.63 1000000 0 1151.89/1152.34 c 896 1016 1138.42 153.32 7.43 1000000 0 1154.50/1154.94 c 869 1081 1151.04 129.23 8.91 1000000 0 1157.09/1157.51 c 866 990 1135.11 130.75 8.68 1000000 0 1159.59/1160.09 c 914 1111 1138.00 119.10 9.56 1000000 0 1162.20/1162.68 c 920 1157 1143.85 156.53 7.31 1000000 0 1164.79/1165.27 c 913 1197 1141.95 176.09 6.49 1000000 0 1167.39/1167.85 c 867 1058 1134.36 127.31 8.91 1000000 0 1170.00/1170.42 c 863 1142 1117.16 139.41 8.01 1000000 0 1172.59/1173.01 c 879 1070 1134.91 159.00 7.14 1000000 0 1175.19/1175.60 c 896 1026 1137.02 146.21 7.78 1000000 0 1177.69/1178.18 c 887 1139 1143.06 152.97 7.47 1000000 0 1180.28/1180.77 c 874 1153 1165.70 143.33 8.13 1000000 0 1182.88/1183.35 c 931 1172 1135.06 149.82 7.58 1000000 0 1185.48/1185.94 c 893 1114 1137.11 149.21 7.62 1000000 0 1188.08/1188.54 c 889 1068 1145.65 151.34 7.57 1000000 0 1190.68/1191.13 c 872 1039 1139.88 144.62 7.88 1000000 0 1193.28/1193.71 c 856 1216 1133.18 140.81 8.05 1000000 0 1195.78/1196.29 c 904 1086 1132.02 162.76 6.96 1000000 0 1198.38/1198.87 c 890 1141 1132.95 125.91 9.00 1000000 0 1200.98/1201.46 c 904 1073 1150.97 138.65 8.30 1000000 0 1203.58/1204.03 c 908 1081 1118.47 142.69 7.84 1000000 0 1206.18/1206.61 c 904 1088 1118.40 130.44 8.57 1000000 0 1208.68/1209.19 c 899 1023 1125.82 159.10 7.08 1000000 0 1211.27/1211.78 c 885 1182 1147.06 124.62 9.20 1000000 0 1213.88/1214.37 c 892 1081 1146.87 167.48 6.85 1000000 0 1216.47/1216.96 c 863 1219 1143.26 168.44 6.79 1000000 0 1219.07/1219.56 c 910 1176 1160.22 126.12 9.20 1000000 0 1221.68/1222.14 c 824 1182 1118.53 143.09 7.82 1000000 0 1224.27/1224.72 c 889 1140 1146.78 164.26 6.98 1000000 0 1226.87/1227.30 c 906 1034 1133.41 134.00 8.46 1000000 0 1229.38/1229.88 c 900 1234 1137.40 145.60 7.81 1000000 0 1231.97/1232.46 c 890 1158 1151.86 142.89 8.06 1000000 0 1234.57/1235.06 c 855 983 1125.99 170.15 6.62 1000000 0 1237.17/1237.64 c 867 1049 1142.58 141.76 8.06 1000000 0 1239.76/1240.21 c 872 1122 1107.76 112.07 9.88 1000000 0 1242.26/1242.78 c 909 1188 1104.18 123.24 8.96 1000000 0 1244.86/1245.38 c 900 1145 1157.90 143.84 8.05 1000000 0 1247.46/1247.96 c 903 1069 1129.47 152.24 7.42 1000000 0 1250.06/1250.54 c 927 1135 1138.11 129.97 8.76 1000000 0 1252.66/1253.13 c 896 1093 1135.32 149.41 7.60 1000000 0 1255.26/1255.71 c 873 1111 1135.59 145.51 7.80 1000000 0 1257.76/1258.30 c 861 1233 1144.60 153.87 7.44 1000000 0 1260.36/1260.88 c 878 1226 1136.06 128.79 8.82 1000000 0 1262.96/1263.46 c 907 1172 1134.20 124.41 9.12 1000000 0 1265.56/1266.04 c 894 1215 1130.09 119.93 9.42 1000000 0 1268.16/1268.62 c 904 1040 1142.60 140.65 8.12 1000000 0 1270.75/1271.22 c 920 1082 1157.30 147.62 7.84 1000000 0 1273.26/1273.79 c 887 1065 1114.65 137.82 8.09 1000000 0 1275.85/1276.36 c 842 1113 1124.14 120.87 9.30 1000000 0 1278.45/1278.95 c 917 1184 1141.58 156.29 7.30 1000000 0 1281.06/1281.52 c 885 1267 1137.38 129.45 8.79 1000000 0 1283.65/1284.11 c 920 1051 1143.44 130.25 8.78 1000000 0 1286.15/1286.69 c 888 1297 1140.57 138.32 8.25 1000000 0 1288.76/1289.28 c 883 1040 1133.31 134.41 8.43 1000000 0 1291.35/1291.86 c 868 961 1125.82 133.40 8.44 1000000 0 1293.95/1294.44 c 898 1165 1132.52 148.00 7.65 1000000 0 1296.54/1297.02 c 895 973 1139.76 130.81 8.71 1000000 0 1299.14/1299.61 c 929 1084 1160.92 124.28 9.34 1000000 0 1301.64/1302.19 c 890 1136 1146.91 129.51 8.86 1000000 0 1304.24/1304.77 c 902 1080 1137.10 129.56 8.78 1000000 0 1306.84/1307.35 c 888 1029 1127.90 141.60 7.97 1000000 0 1309.44/1309.92 c 826 1043 1123.41 131.87 8.52 1000000 0 1311.94/1312.49 c 900 1129 1127.55 134.62 8.38 1000000 0 1314.54/1315.07 c 875 1098 1128.72 128.27 8.80 1000000 0 1317.14/1317.66 c 889 1131 1142.69 114.67 9.97 1000000 0 1319.74/1320.24 c 864 1061 1146.17 142.49 8.04 1000000 0 1322.34/1322.82 c 924 1042 1130.33 105.55 10.71 1000000 0 1324.94/1325.41 c 920 1176 1142.01 140.46 8.13 1000000 0 1327.43/1327.99 c 877 1106 1136.20 130.17 8.73 1000000 0 1330.03/1330.58 c 919 1037 1155.19 148.16 7.80 1000000 0 1332.64/1333.16 c 917 1079 1130.35 122.75 9.21 1000000 0 1335.23/1335.75 c 902 1120 1142.27 120.54 9.48 1000000 0 1337.83/1338.35 c 868 1171 1164.26 151.18 7.70 1000000 0 1340.44/1340.92 c 897 1211 1124.42 159.15 7.07 1000000 0 1342.93/1343.50 c 888 1024 1126.20 126.98 8.87 1000000 0 1345.53/1346.07 c 920 1002 1123.81 148.52 7.57 1000000 0 1348.14/1348.66 c 917 1038 1133.61 142.23 7.97 1000000 0 1350.73/1351.24 c 916 1188 1139.52 130.04 8.76 1000000 0 1353.33/1353.82 c 890 1147 1126.60 122.92 9.17 1000000 0 1355.92/1356.40 c 879 1147 1129.98 142.10 7.95 1000000 0 1358.42/1358.98 c 887 957 1132.25 145.90 7.76 1000000 0 1361.02/1361.56 c 904 1179 1135.23 120.98 9.38 1000000 0 1363.62/1364.16 c 944 1030 1171.63 135.39 8.65 1000000 0 1366.22/1366.76 c 854 1031 1161.60 151.51 7.67 1000000 0 1368.82/1369.34 c 898 1130 1136.52 145.13 7.83 1000000 0 1371.42/1371.92 c 892 1060 1127.57 108.59 10.38 1000000 0 1374.02/1374.52 c 870 1093 1144.82 162.39 7.05 1000000 0 1376.62/1377.10 c 909 1254 1154.75 126.26 9.15 1000000 0 1379.12/1379.68 c 908 1093 1128.06 138.89 8.12 1000000 0 1381.72/1382.26 c 903 1110 1143.23 124.25 9.20 1000000 0 1384.32/1384.85 c 904 993 1144.41 143.06 8.00 1000000 0 1386.91/1387.44 c 928 1163 1142.02 148.62 7.68 1000000 0 1389.51/1390.03 c 925 1086 1154.75 148.89 7.76 1000000 0 1392.02/1392.60 c 887 1066 1128.79 129.78 8.70 1000000 0 1394.61/1395.18 c 846 1133 1130.53 155.67 7.26 1000000 0 1397.21/1397.77 c 869 1055 1127.62 133.86 8.42 1000000 0 1399.82/1400.36 c 917 1149 1146.87 131.24 8.74 1000000 0 1402.41/1402.93 c 921 1233 1126.75 127.05 8.87 1000000 0 1405.01/1405.51 c 909 1082 1134.08 117.27 9.67 1000000 0 1407.51/1408.09 c 922 1038 1143.74 141.05 8.11 1000000 0 1410.11/1410.67 c 866 1038 1132.24 133.15 8.50 1000000 0 1412.70/1413.26 c 866 1222 1143.38 152.55 7.50 1000000 0 1415.30/1415.84 c 888 1152 1149.87 149.89 7.67 1000000 0 1417.90/1418.42 c 843 1062 1120.35 141.16 7.94 1000000 0 1420.50/1421.00 c 914 1048 1143.18 118.67 9.63 1000000 0 1423.10/1423.60 c 897 1176 1167.73 144.27 8.09 1000000 0 1425.60/1426.19 c 884 1137 1151.51 121.19 9.50 1000000 0 1428.20/1428.76 c 872 1104 1121.17 119.74 9.36 1000000 0 1430.80/1431.35 c 896 1174 1142.53 131.33 8.70 1000000 0 1433.40/1433.93 c 897 1155 1142.69 134.40 8.50 1000000 0 1436.00/1436.50 c 906 1032 1131.34 125.05 9.05 1000000 0 1438.50/1439.08 c 871 1101 1127.32 153.76 7.33 1000000 0 1441.10/1441.65 c 873 1100 1115.35 115.45 9.66 1000000 0 1443.70/1444.22 c 854 1029 1129.03 135.87 8.31 1000000 0 1446.29/1446.80 c 885 1237 1139.63 133.89 8.51 1000000 0 1448.79/1449.39 c 865 1102 1143.38 136.78 8.36 1000000 0 1451.40/1451.97 c 920 995 1135.12 122.33 9.28 1000000 0 1453.99/1454.57 c 883 1229 1137.03 151.91 7.48 1000000 0 1456.59/1457.16 c 882 1175 1144.29 176.08 6.50 1000000 0 1459.20/1459.75 c 892 1068 1148.35 156.80 7.32 1000000 0 1461.79/1462.33 c 883 1162 1136.48 132.61 8.57 1000000 0 1464.39/1464.91 c 909 1130 1136.45 122.10 9.31 1000000 0 1466.99/1467.50 c 899 1171 1140.29 136.58 8.35 1000000 0 1469.49/1470.08 c 850 1015 1126.57 150.33 7.49 1000000 0 1472.09/1472.66 c 897 1015 1136.97 127.12 8.94 1000000 0 1474.68/1475.23 c 896 1138 1133.56 124.02 9.14 1000000 0 1477.28/1477.82 c 892 1253 1152.44 163.62 7.04 1000000 0 1479.88/1480.41 c 832 1023 1149.87 143.79 8.00 1000000 0 1482.48/1483.00 c 909 1146 1164.85 168.25 6.92 1000000 0 1484.98/1485.59 c 897 1221 1148.38 134.74 8.52 1000000 0 1487.58/1488.16 c 913 1099 1128.61 124.06 9.10 1000000 0 1490.18/1490.75 c 905 1115 1135.54 124.70 9.11 1000000 0 1492.78/1493.33 c 884 1055 1139.62 121.46 9.38 1000000 0 1495.38/1495.92 c 901 1107 1125.29 153.18 7.35 1000000 0 1497.98/1498.50 c 890 1141 1121.14 147.60 7.60 1000000 0 1500.47/1501.08 c 938 996 1139.86 115.02 9.91 1000000 0 1503.08/1503.67 c 847 996 1146.04 148.41 7.72 1000000 0 1505.67/1506.26 c 867 1114 1144.39 133.75 8.56 1000000 0 1508.27/1508.83 c 875 1154 1131.48 104.94 10.78 1000000 0 1510.88/1511.41 c 866 1108 1125.18 140.68 8.00 1000000 0 1513.37/1513.98 c 883 1170 1127.50 158.40 7.12 1000000 0 1515.97/1516.57 c 863 921 1139.61 132.56 8.60 1000000 0 1518.58/1519.16 c 862 1106 1152.54 132.13 8.72 1000000 0 1521.17/1521.74 c 896 1245 1141.90 156.13 7.31 1000000 0 1523.77/1524.33 c 927 998 1152.42 123.99 9.29 1000000 0 1526.36/1526.92 c 835 1112 1125.99 152.97 7.36 1000000 0 1528.96/1529.50 c 865 1096 1149.92 151.99 7.57 1000000 0 1531.46/1532.09 c 904 1107 1126.53 128.48 8.77 1000000 0 1534.06/1534.68 c 865 1029 1150.37 173.99 6.61 1000000 0 1536.66/1537.27 c 902 1294 1135.70 156.05 7.28 1000000 0 1539.26/1539.85 c 892 1173 1143.08 151.08 7.57 1000000 0 1541.86/1542.44 c 936 1120 1146.69 151.43 7.57 1000000 0 1544.46/1545.03 c 884 1183 1138.57 154.27 7.38 1000000 0 1547.06/1547.61 c 882 1197 1134.39 147.83 7.67 1000000 0 1549.56/1550.19 c 884 1300 1124.60 140.19 8.02 1000000 0 1552.16/1552.76 c 888 1102 1121.80 135.49 8.28 1000000 0 1554.76/1555.34 c 888 1114 1136.17 111.79 10.16 1000000 0 1557.35/1557.93 c 902 1087 1124.86 140.35 8.01 1000000 0 1559.95/1560.53 c 902 1081 1147.98 145.26 7.90 1000000 0 1562.46/1563.10 c 854 1196 1112.62 146.51 7.59 1000000 0 1565.05/1565.68 c 930 1076 1145.44 143.97 7.96 1000000 0 1567.65/1568.26 c 855 1119 1119.70 118.46 9.45 1000000 0 1570.26/1570.85 c 901 1046 1138.66 130.18 8.75 1000000 0 1572.85/1573.43 c 850 1080 1124.86 160.19 7.02 1000000 0 1575.45/1576.03 c 850 1060 1154.70 131.00 8.81 1000000 0 1578.05/1578.62 c 874 1201 1139.46 151.22 7.54 1000000 0 1580.55/1581.19 c 885 1079 1130.87 179.99 6.28 1000000 0 1583.15/1583.77 c 911 1034 1123.02 107.77 10.42 1000000 0 1585.74/1586.34 c 845 1123 1131.35 123.53 9.16 1000000 0 1588.34/1588.91 c 903 1095 1133.54 122.28 9.27 1000000 0 1590.94/1591.51 c 882 1153 1143.23 132.74 8.61 1000000 0 1593.54/1594.11 c 917 1056 1161.08 153.30 7.57 1000000 0 1596.14/1596.70 c 835 1120 1131.31 143.79 7.87 1000000 0 1598.64/1599.30 c 918 1230 1163.48 155.54 7.48 1000000 0 1601.24/1601.87 c 849 1064 1119.67 142.36 7.86 1000000 0 1603.84/1604.45 c 873 1087 1120.42 111.02 10.09 1000000 0 1606.44/1607.02 c 827 1041 1127.17 147.86 7.62 1000000 0 1609.04/1609.60 c 856 1216 1126.10 135.87 8.29 1000000 0 1611.64/1612.20 c 889 1006 1153.54 132.05 8.74 1000000 0 1614.14/1614.77 c 860 1090 1122.26 126.90 8.84 1000000 0 1616.73/1617.36 c 930 1096 1135.57 122.55 9.27 1000000 0 1619.33/1619.94 c 886 1091 1144.20 139.88 8.18 1000000 0 1621.94/1622.53 c 922 1009 1148.68 144.23 7.96 1000000 0 1624.53/1625.10 c 870 1198 1112.66 132.40 8.40 1000000 0 1627.03/1627.69 c 895 1137 1133.82 125.24 9.05 1000000 0 1629.64/1630.27 c 846 1150 1138.55 132.13 8.62 1000000 0 1632.23/1632.86 c 894 1144 1147.26 155.43 7.38 1000000 0 1634.83/1635.44 c 919 1174 1146.13 131.67 8.70 1000000 0 1637.43/1638.02 c 839 1077 1144.99 166.92 6.86 1000000 0 1640.03/1640.61 c 881 989 1145.99 157.00 7.30 1000000 0 1642.53/1643.19 c 878 1189 1124.92 135.28 8.32 1000000 0 1645.12/1645.76 c 922 1138 1124.52 112.29 10.01 1000000 0 1647.72/1648.35 c 919 1238 1156.00 142.64 8.10 1000000 0 1650.32/1650.94 c 827 1135 1126.59 143.89 7.83 1000000 0 1652.92/1653.51 c 875 990 1122.91 145.06 7.74 1000000 0 1655.42/1656.09 c 877 1206 1130.65 126.89 8.91 1000000 0 1658.02/1658.68 c 903 1004 1142.61 168.68 6.77 1000000 0 1660.62/1661.26 c 860 1088 1152.30 170.47 6.76 1000000 0 1663.22/1663.85 c 880 1026 1147.35 172.46 6.65 1000000 0 1665.82/1666.43 c 887 1032 1132.37 116.99 9.68 1000000 0 1668.42/1669.01 c 911 1089 1140.80 147.27 7.75 1000000 0 1670.92/1671.59 c 890 1200 1126.35 140.93 7.99 1000000 0 1673.52/1674.18 c 856 1125 1152.77 153.21 7.52 1000000 0 1676.11/1676.78 c 903 1171 1141.42 146.66 7.78 1000000 0 1678.71/1679.37 c 905 1109 1141.55 138.09 8.27 1000000 0 1681.32/1681.95 c 848 1120 1130.28 136.15 8.30 1000000 0 1683.91/1684.54 c 864 1031 1126.13 129.87 8.67 1000000 0 1686.51/1687.12 c 885 982 1149.60 124.78 9.21 1000000 0 1689.11/1689.71 c 899 1078 1138.98 125.40 9.08 1000000 0 1691.61/1692.28 c 911 1063 1129.25 120.54 9.37 1000000 0 1694.21/1694.88 c 936 1017 1171.41 150.27 7.80 1000000 0 1696.81/1697.47 c 901 1201 1142.10 134.77 8.47 1000000 0 1699.41/1700.07 c 914 1157 1154.45 148.64 7.77 1000000 0 1702.00/1702.67 c 888 1236 1156.37 148.67 7.78 1000000 0 1704.60/1705.26 c 883 1081 1157.07 159.13 7.27 1000000 0 1707.20/1707.84 c 902 1070 1141.70 135.07 8.45 1000000 0 1709.81/1710.42 c 928 1144 1143.14 121.62 9.40 1000000 0 1712.40/1713.01 c 843 1082 1129.12 144.03 7.84 1000000 0 1714.90/1715.60 c 895 1118 1126.94 111.92 10.07 1000000 0 1717.51/1718.17 c 897 1052 1121.00 111.67 10.04 1000000 0 1720.10/1720.75 c 886 1165 1147.15 151.14 7.59 1000000 0 1722.70/1723.34 c 917 1137 1144.92 136.94 8.36 1000000 0 1725.30/1725.94 c 877 1046 1146.20 162.48 7.05 1000000 0 1727.90/1728.52 c 871 1060 1138.38 150.46 7.57 1000000 0 1730.39/1731.09 c 874 932 1130.60 151.74 7.45 1000000 0 1733.00/1733.67 c 918 1171 1126.75 133.75 8.42 1000000 0 1735.59/1736.26 c 875 1100 1138.33 156.90 7.26 1000000 0 1738.19/1738.86 c 931 1085 1161.69 129.92 8.94 1000000 0 1740.79/1741.43 c 897 1070 1109.10 125.18 8.86 1000000 0 1743.39/1744.01 c 896 1154 1122.91 127.61 8.80 1000000 0 1745.89/1746.58 c 874 1120 1137.56 184.64 6.16 1000000 0 1748.49/1749.16 c 913 1088 1131.49 115.80 9.77 1000000 0 1751.09/1751.75 c 885 1167 1136.09 133.05 8.54 1000000 0 1753.69/1754.32 c 909 1103 1123.61 136.10 8.26 1000000 0 1756.29/1756.91 c 880 1094 1162.47 139.35 8.34 1000000 0 1758.88/1759.50 c 898 1133 1148.04 145.53 7.89 1000000 0 1761.38/1762.08 c 844 1148 1141.93 138.18 8.26 1000000 0 1763.98/1764.67 c 913 1087 1138.77 158.59 7.18 1000000 0 1766.58/1767.25 c 856 1187 1137.52 142.43 7.99 1000000 0 1769.19/1769.82 c 884 1054 1122.66 117.82 9.53 1000000 0 1771.78/1772.40 c 872 1136 1126.97 128.40 8.78 1000000 0 1774.28/1774.98 c 894 1105 1143.91 125.93 9.08 1000000 0 1776.89/1777.57 c 916 1113 1140.53 124.35 9.17 1000000 0 1779.48/1780.16 c 877 1207 1139.51 181.50 6.28 1000000 0 1782.08/1782.74 c 885 1118 1131.04 138.89 8.14 1000000 0 1784.68/1785.33 c 894 1117 1137.79 125.02 9.10 1000000 0 1787.28/1787.90 c 900 1044 1121.04 112.94 9.93 1000000 0 1789.77/1790.48 c 890 1029 1129.31 128.05 8.82 1000000 0 1792.38/1793.06 c 877 1086 1136.60 150.79 7.54 1000000 0 1794.97/1795.64 c 882 1203 1128.87 121.35 9.30 1000000 0 1797.57/1798.23 c 889 981 1136.41 141.11 8.05 1000000 0 1800.09/1800.71 HOME/run: line 2: 18598 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-2684902-1278436214/watcher-2684902-1278436214 -o /tmp/evaluation-result-2684902-1278436214/solver-2684902-1278436214 -C 1800 -W 2000 -M 1800 run HOME/instance-2684902-1278436214.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.91 3/106 18597 /proc/meminfo: memFree=1450456/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [startup+0.025578 s] /proc/loadavg: 1.00 0.99 0.91 3/106 18597 /proc/meminfo: memFree=1450456/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101592 s] /proc/loadavg: 1.00 0.99 0.91 3/106 18597 /proc/meminfo: memFree=1450456/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301629 s] /proc/loadavg: 1.00 0.99 0.91 3/106 18597 /proc/meminfo: memFree=1450456/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700706 s] /proc/loadavg: 1.00 0.99 0.91 3/106 18597 /proc/meminfo: memFree=1450456/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50086 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18599 /proc/meminfo: memFree=1441016/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1.49 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2396 0 0 0 148 1 0 0 25 0 1 0 11834716 41422848 2326 1992294400 134512640 135071400 4294856512 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2326 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10117 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18599 /proc/meminfo: memFree=1440768/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=3.09 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 308 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30078 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18599 /proc/meminfo: memFree=1440644/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=6.29 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 628 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.701 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18599 /proc/meminfo: memFree=1440396/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=12.68 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 1267 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134536987 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18599 /proc/meminfo: memFree=1440404/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=25.48 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 2547 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18599 /proc/meminfo: memFree=1440288/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=51.07 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 5106 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18601 /proc/meminfo: memFree=1440164/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=102.26 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 10225 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134571264 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18603 /proc/meminfo: memFree=1439916/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=162.23 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 16222 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134526304 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18605 /proc/meminfo: memFree=1439916/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=222.21 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 22220 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18605 /proc/meminfo: memFree=1439916/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=282.19 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 28218 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18607 /proc/meminfo: memFree=1439792/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=342.17 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 34216 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/108 18609 /proc/meminfo: memFree=1439668/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=402.14 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2404 0 0 0 40213 1 0 0 25 0 1 0 11834716 41422848 2334 1992294400 134512640 135071400 4294856512 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2334 69 137 0 9974 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1121.91 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 112189 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/108 18632 /proc/meminfo: memFree=1438056/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1181.88 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 118186 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/108 18634 /proc/meminfo: memFree=1437808/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1241.86 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 124184 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/108 18636 /proc/meminfo: memFree=1437560/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1301.85 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 130183 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/108 18638 /proc/meminfo: memFree=1437560/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1361.82 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 136180 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 0.92 2/108 18640 /proc/meminfo: memFree=1437560/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1421.81 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 142179 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525840 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 0.92 2/108 18640 /proc/meminfo: memFree=1437436/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1481.78 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 148176 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/108 18642 /proc/meminfo: memFree=1437312/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1541.76 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 154174 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134526531 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/108 18644 /proc/meminfo: memFree=1437188/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1601.74 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 160172 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/108 18646 /proc/meminfo: memFree=1437064/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1661.72 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 166170 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 0.93 2/108 18648 /proc/meminfo: memFree=1436940/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1721.7 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 172168 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134526068 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 0.93 2/108 18648 /proc/meminfo: memFree=1436568/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1781.68 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 178166 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.01 1.01 0.93 2/108 18650 /proc/meminfo: memFree=1436568/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1800.09 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 180007 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 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.71 s] /proc/loadavg: 1.01 1.01 0.93 2/108 18650 /proc/meminfo: memFree=1436568/2059040 swapFree=4192956/4192956 [pid=18597] ppid=18595 vsize=8700 CPUtime=0 /proc/18597/stat : 18597 (run) S 18595 18597 18163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11834716 8908800 243 1992294400 4194304 4922060 140736811000688 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18597/statm: 2175 243 204 178 0 68 0 [pid=18598] ppid=18597 vsize=40452 CPUtime=1800.09 /proc/18598/stat : 18598 (PB-wave) R 18597 18597 18163 0 -1 4202496 2405 0 0 0 180007 2 0 0 25 0 1 0 11834716 41422848 2335 1992294400 134512640 135071400 4294856512 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18598/statm: 10113 2335 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.72 CPU time (s): 1800.1 CPU user time (s): 1800.07 CPU system time (s): 0.028995 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.028995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2778 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= 3 involuntary context switches= 22936 runsolver used 3.01954 second user time and 8.49371 second system time The end
Begin job on node009 at 2010-07-06 19:10:15 IDJOB=2684902 IDBENCH=73905 IDSOLVER=1171 FILE ID=node009/2684902-1278436214 PBS_JOBID= 11233462 Free space on /tmp= 62496 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_8-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684902-1278436214/watcher-2684902-1278436214 -o /tmp/evaluation-result-2684902-1278436214/solver-2684902-1278436214 -C 1800 -W 2000 -M 1800 run HOME/instance-2684902-1278436214.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3890946cb13ab5dacc1331cb240d6a09 RANDOM SEED=2067182163 node009.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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1450852 kB Buffers: 104300 kB Cached: 372036 kB SwapCached: 0 kB Active: 188884 kB Inactive: 347628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1450852 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4016 kB Writeback: 0 kB AnonPages: 60244 kB Mapped: 14504 kB Slab: 49664 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182596 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62496 MiB End job on node009 at 2010-07-06 19:40:15