Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -19 | 180.709 | 180.786 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb |
MD5SUM | b94d4317cfb468b1c3dd3d790ff99d4d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94289 |
Number of constraints which are clauses | 94289 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1272 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
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.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656071-1276503003.opb. 0.00/0.00 c Instance file HOME/instance-2656071-1276503003.opb 0.00/0.00 c File size is 2299186 bytes. 0.29/0.30 c Highest Coefficient sum: 3 0.29/0.30 c ============================[ Problem Statistics ]============================= 0.29/0.30 c | | 0.29/0.30 c | Parsing time: 0.30 s | 0.29/0.30 c | Number Variables: 1272 | 0.29/0.30 c | Number Clauses: 94289 | 0.29/0.30 c | Number Cardinality: 0 | 0.29/0.30 c | Number PB Constraints: 0 | 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1272 94289 188578 | 31429 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 1272 0.49/0.56 o 1272 0.49/0.56 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1272 94290 189850 | 31430 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: 1271 0.49/0.57 o 1271 0.49/0.57 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 1272 94291 191122 | 31430 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 1270 0.49/0.59 o 1270 0.49/0.59 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 15 | 1272 94292 192394 | 31430 15 1263 | 0.000 % | 0.59/0.66 c | 127 | 1272 94292 192394 | 34573 127 1262 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 1269 0.59/0.68 o 1269 0.59/0.68 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 136 | 1272 94293 193666 | 31431 136 1262 | 0.000 % | 0.69/0.73 c | 237 | 1272 94293 193666 | 34574 237 1263 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 1268 0.69/0.74 o 1268 0.69/0.74 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 263 | 1272 94294 194938 | 31431 263 1263 | 0.000 % | 0.79/0.80 c | 369 | 1272 94294 194938 | 34574 369 1263 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 1267 0.79/0.82 o 1267 0.79/0.82 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 375 | 1272 94295 196210 | 31431 375 1263 | 0.000 % | 0.79/0.88 c | 480 | 1272 94295 196210 | 34574 480 1263 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 1266 0.89/0.94 o 1266 0.89/0.94 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 576 | 1272 94296 197482 | 31432 576 1263 | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 1265 0.89/0.99 o 1265 0.89/0.99 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 663 | 1272 94297 198754 | 31432 663 1262 | 0.000 % | 1.00/1.04 c | 764 | 1272 94297 198754 | 34575 764 1262 | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: 1264 1.00/1.07 o 1264 1.00/1.07 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s 1.00/1.07 c =============================================================================== 1.00/1.07 c | 803 | 1272 94298 200026 | 31432 803 1262 | 0.000 % | 1.10/1.12 c | 904 | 1272 94298 200026 | 34575 904 1262 | 0.000 % | 1.19/1.20 c | 1054 | 1272 94298 200026 | 38033 1054 1262 | 0.000 % | 1.29/1.33 c | 1280 | 1272 94298 200026 | 41836 1280 1261 | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c New solution: 1263 1.39/1.42 o 1263 1.39/1.42 c Elapsed CPU time: 1.39079 s Remaining CPU time: 178.609 s 1.39/1.43 c =============================================================================== 1.39/1.43 c | 1436 | 1272 94299 201298 | 31433 1436 1261 | 0.000 % | 1.39/1.49 c | 1537 | 1272 94299 201298 | 34576 1537 1261 | 0.000 % | 1.49/1.58 c | 1688 | 1272 94299 201298 | 38033 1688 1261 | 0.000 % | 1.69/1.73 c | 1918 | 1272 94299 201298 | 41837 1918 1261 | 0.000 % | 1.89/1.95 c | 2256 | 1272 94299 201298 | 46021 2256 1261 | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.07 c New solution: 1262 1.99/2.07 o 1262 1.99/2.07 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s 1.99/2.07 c =============================================================================== 1.99/2.07 c | 2443 | 1272 94300 202570 | 31433 2443 1261 | 0.000 % | 2.09/2.14 c | 2547 | 1272 94300 202570 | 34576 2547 1260 | 0.000 % | 2.20/2.26 c | 2697 | 1272 94300 202570 | 38034 2697 1260 | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c New solution: 1261 2.29/2.33 o 1261 2.29/2.33 c Elapsed CPU time: 2.27965 s Remaining CPU time: 177.72 s 2.29/2.33 c =============================================================================== 2.29/2.33 c | 2767 | 1272 94301 203842 | 31433 2767 1260 | 0.000 % | 2.39/2.40 c | 2867 | 1272 94301 203842 | 34577 2867 1260 | 0.000 % | 2.49/2.51 c | 3019 | 1272 94301 203842 | 38034 3019 1260 | 0.000 % | 2.69/2.74 c | 3246 | 1272 94301 203842 | 41838 3246 1260 | 0.000 % | 2.99/3.05 c | 3585 | 1272 94301 203842 | 46022 3585 1259 | 0.000 % | 3.49/3.50 c | 4091 | 1272 94301 203842 | 50624 4091 1259 | 0.000 % | 3.99/4.08 c | 4851 | 1272 94301 203842 | 55686 4851 1259 | 0.000 % | 4.99/5.04 c | 5992 | 1272 94301 203842 | 61255 5992 1259 | 0.000 % | 5.69/5.71 c =============================================================================== 5.69/5.71 c New solution: 1260 5.69/5.71 o 1260 5.69/5.71 c Elapsed CPU time: 5.61015 s Remaining CPU time: 174.39 s 5.69/5.71 c =============================================================================== 5.69/5.71 c | 6411 | 1272 94302 205114 | 31434 6411 1258 | 0.000 % | 5.79/5.84 c | 6512 | 1272 94302 205114 | 34577 6512 1258 | 0.000 % | 5.89/5.94 c =============================================================================== 5.89/5.94 c New solution: 1259 5.89/5.94 o 1259 5.89/5.94 c Elapsed CPU time: 5.83611 s Remaining CPU time: 174.164 s 5.89/5.94 c =============================================================================== 5.89/5.94 c | 6568 | 1272 94303 206386 | 31434 6568 1258 | 0.000 % | 5.99/6.07 c | 6669 | 1272 94303 206386 | 34577 6669 1258 | 0.000 % | 6.19/6.26 c | 6819 | 1272 94303 206386 | 38035 6819 1258 | 0.000 % | 6.50/6.56 c | 7045 | 1272 94303 206386 | 41839 7045 1258 | 0.000 % | 6.98/7.05 c | 7382 | 1272 94303 206386 | 46023 7382 1258 | 0.000 % | 7.69/7.76 c | 7889 | 1272 94303 206386 | 50625 7889 1258 | 0.000 % | 8.59/8.66 c | 8650 | 1272 94303 206386 | 55687 8650 1258 | 0.000 % | 8.79/8.85 c =============================================================================== 8.79/8.85 c New solution: 1258 8.79/8.85 o 1258 8.79/8.85 c Elapsed CPU time: 8.71167 s Remaining CPU time: 171.288 s 8.79/8.85 c =============================================================================== 8.79/8.85 c | 8779 | 1272 94304 207658 | 31434 8779 1258 | 0.000 % | 8.98/9.02 c | 8880 | 1272 94304 207658 | 34578 8880 1258 | 0.000 % | 9.29/9.35 c | 9033 | 1272 94304 207658 | 38035 9033 1258 | 0.000 % | 9.59/9.62 c | 9258 | 1272 94304 207658 | 41839 9258 1258 | 0.000 % | 9.98/10.06 c | 9597 | 1272 94304 207658 | 46023 9597 1257 | 0.000 % | 10.59/10.60 c | 10104 | 1272 94304 207658 | 50625 10104 1257 | 0.000 % | 11.69/11.79 c | 10864 | 1272 94304 207658 | 55688 10864 1257 | 0.000 % | 12.69/12.70 c =============================================================================== 12.69/12.70 c New solution: 1257 12.69/12.70 o 1257 12.69/12.70 c Elapsed CPU time: 12.5291 s Remaining CPU time: 167.471 s 12.69/12.70 c =============================================================================== 12.69/12.70 c | 11722 | 1272 94305 208930 | 31435 11722 1257 | 0.000 % | 12.79/12.87 c | 11824 | 1272 94305 208930 | 34578 11824 1257 | 0.000 % | 12.99/13.08 c | 11974 | 1272 94305 208930 | 38036 11974 1257 | 0.000 % | 13.49/13.55 c | 12201 | 1272 94305 208930 | 41839 12201 1257 | 0.000 % | 14.58/14.69 c | 12540 | 1272 94305 208930 | 46023 12540 1257 | 0.000 % | 15.59/15.65 c | 13047 | 1272 94305 208930 | 50626 13047 1257 | 0.000 % | 17.18/17.20 c | 13806 | 1272 94305 208930 | 55689 13806 1256 | 0.000 % | 19.69/19.77 c | 14945 | 1272 94305 208930 | 61257 14945 1256 | 0.000 % | 24.48/24.56 c | 16654 | 1272 94305 208930 | 67383 16654 1256 | 0.000 % | 32.28/32.33 c | 19219 | 1272 94305 208930 | 74122 19219 1256 | 0.000 % | 48.18/48.25 c | 23063 | 1272 94305 208930 | 81534 23063 1255 | 0.000 % | 50.07/50.11 c =============================================================================== 50.07/50.11 c New solution: 1256 50.07/50.11 o 1256 50.07/50.11 c Elapsed CPU time: 49.7804 s Remaining CPU time: 130.22 s 50.07/50.11 c =============================================================================== 50.07/50.11 c | 23717 | 1272 94306 210202 | 31435 23717 1255 | 0.000 % | 50.28/50.31 c | 23817 | 1272 94306 210202 | 34578 23817 1255 | 0.000 % | 50.48/50.56 c =============================================================================== 50.48/50.56 c New solution: 1255 50.48/50.56 o 1255 50.48/50.56 c Elapsed CPU time: 50.2234 s Remaining CPU time: 129.777 s 50.48/50.56 c =============================================================================== 50.48/50.56 c | 23919 | 1272 94307 211474 | 31435 23919 1255 | 0.000 % | 50.77/50.83 c | 24019 | 1272 94307 211474 | 34579 24019 1255 | 0.000 % | 51.27/51.30 c | 24170 | 1272 94307 211474 | 38037 24170 1255 | 0.000 % | 51.77/51.82 c | 24395 | 1272 94307 211474 | 41840 24395 1255 | 0.000 % | 52.68/52.79 c | 24733 | 1272 94307 211474 | 46024 24733 1255 | 0.000 % | 54.88/55.00 c | 25240 | 1272 94307 211474 | 50627 25240 1255 | 0.000 % | 56.67/56.76 c =============================================================================== 56.67/56.76 c New solution: 1254 56.67/56.76 o 1254 56.67/56.76 c Elapsed CPU time: 56.3924 s Remaining CPU time: 123.608 s 56.67/56.76 c =============================================================================== 56.67/56.76 c | 25524 | 1272 94308 212746 | 31436 25524 1255 | 0.000 % | 57.17/57.22 c | 25625 | 1272 94308 212746 | 34579 25625 1255 | 0.000 % | 57.77/57.82 c | 25776 | 1272 94308 212746 | 38037 25776 1255 | 0.000 % | 58.37/58.48 c | 26002 | 1272 94308 212746 | 41841 26002 1255 | 0.000 % | 59.16/59.20 c | 26340 | 1272 94308 212746 | 46025 26340 1255 | 0.000 % | 59.37/59.43 c =============================================================================== 59.37/59.43 c New solution: 1253 59.37/59.43 o 1253 59.37/59.43 c Elapsed CPU time: 59.054 s Remaining CPU time: 120.946 s 59.37/59.43 c =============================================================================== 59.37/59.43 c | 26410 | 1272 94309 214018 | 31436 26410 1255 | 0.000 % | 59.67/59.70 c | 26512 | 1272 94309 214018 | 34579 26512 1255 | 0.000 % | 60.47/60.59 c | 26662 | 1272 94309 214018 | 38037 26662 1255 | 0.000 % | 61.06/61.13 c | 26888 | 1272 94309 214018 | 41841 26888 1255 | 0.000 % | 62.27/62.32 c | 27226 | 1272 94309 214018 | 46025 27226 1255 | 0.000 % | 65.67/65.71 c | 27732 | 1272 94309 214018 | 50628 27732 1255 | 0.000 % | 70.96/71.01 c | 28492 | 1272 94309 214018 | 55691 28492 1255 | 0.000 % | 77.86/77.97 c | 29631 | 1272 94309 214018 | 61260 29631 1254 | 0.000 % | 90.25/90.38 c | 31339 | 1272 94309 214018 | 67386 31339 1254 | 0.000 % | 107.25/107.37 c | 33903 | 1272 94309 214018 | 74125 33903 1254 | 0.000 % | 142.84/142.99 c | 37747 | 1272 94309 214018 | 81537 37747 1254 | 0.000 % | 180.51/180.65 c There are 0 assigned variables. 0 in cost function. 180.62/180.76 c core #1 180.62/180.76 c #cores: 1 180.62/180.76 c Final Weight: 1253 180.62/180.76 o 1253 180.62/180.76 s OPTIMUM FOUND 180.62/180.76 v -x1272 -x1271 -x1270 -x1269 -x1268 x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.62/180.76 c Total CPU time: 180.111 s
OK -19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656071-1276503003/watcher-2656071-1276503003 -o /tmp/evaluation-result-2656071-1276503003/solver-2656071-1276503003 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656071-1276503003.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: 0.99 1.00 1.00 3/106 30892 /proc/meminfo: memFree=1803320/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=4996 CPUtime=0 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 327 0 0 0 0 0 0 0 19 0 1 0 25901867 5115904 246 1992294400 134512640 135751879 4292866032 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 1249 246 144 303 0 382 0 [startup+0.0722331 s] /proc/loadavg: 0.99 1.00 1.00 3/106 30892 /proc/meminfo: memFree=1803320/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=5944 CPUtime=0.06 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 675 0 0 0 6 0 0 0 19 0 1 0 25901867 6086656 594 1992294400 134512640 135751879 4292866032 18446744073709551615 135118467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 1486 594 259 303 0 619 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5944 [startup+0.101238 s] /proc/loadavg: 0.99 1.00 1.00 3/106 30892 /proc/meminfo: memFree=1803320/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=6372 CPUtime=0.09 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 832 0 0 0 9 0 0 0 20 0 1 0 25901867 6524928 751 1992294400 134512640 135751879 4292866032 18446744073709551615 135118389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 1593 751 312 303 0 726 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6372 [startup+0.301276 s] /proc/loadavg: 0.99 1.00 1.00 3/106 30892 /proc/meminfo: memFree=1803320/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=9392 CPUtime=0.29 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 1924 0 0 0 29 0 0 0 20 0 1 0 25901867 9617408 1843 1992294400 134512640 135751879 4292866032 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 2348 1843 687 303 0 1481 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9392 [startup+0.701355 s] /proc/loadavg: 0.99 1.00 1.00 3/106 30892 /proc/meminfo: memFree=1803320/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=13708 CPUtime=0.69 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 3660 0 0 0 68 1 0 0 21 0 1 0 25901867 14036992 2919 1992294400 134512640 135751879 4292866032 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 3427 2919 147 303 0 3122 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13708 [startup+1.50151 s] /proc/loadavg: 1.07 1.02 1.00 2/107 30893 /proc/meminfo: memFree=1791780/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=15848 CPUtime=1.49 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 4199 0 0 0 146 3 0 0 23 0 1 0 25901867 16228352 3458 1992294400 134512640 135751879 4292866032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 3962 3458 147 303 0 3657 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15848 [startup+3.10182 s] /proc/loadavg: 1.07 1.02 1.00 2/107 30893 /proc/meminfo: memFree=1784712/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=26628 CPUtime=3.09 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 6882 0 0 0 303 6 0 0 25 0 1 0 25901867 27267072 6141 1992294400 134512640 135751879 4292866032 18446744073709551615 134606801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 6657 6141 147 303 0 6352 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26628 [startup+6.30145 s] /proc/loadavg: 1.07 1.02 1.00 2/107 30893 /proc/meminfo: memFree=1765616/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=42912 CPUtime=6.29 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 10967 0 0 0 618 11 0 0 25 0 1 0 25901867 43941888 10226 1992294400 134512640 135751879 4292866032 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 10728 10226 147 303 0 10423 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42912 [startup+12.7017 s] /proc/loadavg: 1.06 1.02 1.00 2/107 30893 /proc/meminfo: memFree=1741188/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=67592 CPUtime=12.69 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 17127 0 0 0 1252 17 0 0 25 0 1 0 25901867 69214208 16386 1992294400 134512640 135751879 4292866032 18446744073709551615 134517152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 16898 16386 147 303 0 16593 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67592 [startup+25.5012 s] /proc/loadavg: 1.05 1.01 1.00 2/107 30893 /proc/meminfo: memFree=1711428/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=94324 CPUtime=25.48 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 23796 0 0 0 2525 23 0 0 25 0 1 0 25901867 96587776 23055 1992294400 134512640 135751879 4292866032 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 23581 23055 147 303 0 23276 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94324 [startup+51.1012 s] /proc/loadavg: 1.03 1.01 1.00 2/107 30895 /proc/meminfo: memFree=1675964/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=130500 CPUtime=51.07 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 32811 0 0 0 5075 32 0 0 25 0 1 0 25901867 133632000 32070 1992294400 134512640 135751879 4292866032 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 32625 32070 147 303 0 32320 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 130500 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 30895 /proc/meminfo: memFree=1627976/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=177312 CPUtime=102.26 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 44466 0 0 0 10180 46 0 0 25 0 1 0 25901867 181567488 43725 1992294400 134512640 135751879 4292866032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 44328 43725 147 303 0 44023 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 177312 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1597472/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=207960 CPUtime=162.22 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 52141 0 0 0 16167 55 0 0 25 0 1 0 25901867 212951040 51400 1992294400 134512640 135751879 4292866032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 51990 51400 147 303 0 51685 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 207960 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1595860/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=209832 CPUtime=166.23 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 52585 0 0 0 16567 56 0 0 25 0 1 0 25901867 214867968 51844 1992294400 134512640 135751879 4292866032 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 52458 51844 147 303 0 52153 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 209832 [startup+172.708 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1593752/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=211436 CPUtime=172.63 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 52985 0 0 0 17207 56 0 0 25 0 1 0 25901867 216510464 52244 1992294400 134512640 135751879 4292866032 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 52859 52244 147 303 0 52554 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 211436 [startup+175.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1592760/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=212240 CPUtime=175.83 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 53201 0 0 0 17527 56 0 0 25 0 1 0 25901867 217333760 52460 1992294400 134512640 135751879 4292866032 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 53060 52460 147 303 0 52755 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 212240 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1592264/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=213176 CPUtime=179.01 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 53419 0 0 0 17845 56 0 0 25 0 1 0 25901867 218292224 52678 1992294400 134512640 135751879 4292866032 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 53294 52678 147 303 0 52989 0 Current children cumulated CPU time (s) 179.01 Current children cumulated vsize (KiB) 213176 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1591892/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=213448 CPUtime=179.81 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 53484 0 0 0 17925 56 0 0 25 0 1 0 25901867 218570752 52743 1992294400 134512640 135751879 4292866032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 53362 52743 147 303 0 53057 0 Current children cumulated CPU time (s) 179.81 Current children cumulated vsize (KiB) 213448 [startup+180.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1591520/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=213584 CPUtime=180.22 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 53521 0 0 0 17966 56 0 0 25 0 1 0 25901867 218710016 52780 1992294400 134512640 135751879 4292866032 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 53396 52780 147 303 0 53091 0 Current children cumulated CPU time (s) 180.22 Current children cumulated vsize (KiB) 213584 [startup+180.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30897 /proc/meminfo: memFree=1591520/2059040 swapFree=4136184/4192956 [pid=30892] ppid=30890 vsize=217032 CPUtime=180.62 /proc/30892/stat : 30892 (wbo1.4b) R 30890 30892 30867 0 -1 4202496 54384 0 0 0 18005 57 0 0 25 0 1 0 25901867 222240768 53643 1992294400 134512640 135751879 4292866032 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30892/statm: 54258 53644 147 303 0 53953 0 Current children cumulated CPU time (s) 180.62 Current children cumulated vsize (KiB) 217032 Child status: 0 Real time (s): 180.786 CPU time (s): 180.709 CPU user time (s): 180.111 CPU system time (s): 0.597909 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 217032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.111 system time used= 0.597909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54494 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= 5 involuntary context switches= 1984 runsolver used 0.313952 second user time and 0.85387 second system time The end
Begin job on node011 at 2010-06-14 10:10:03 IDJOB=2656071 IDBENCH=2257 IDSOLVER=1161 FILE ID=node011/2656071-1276503003 PBS_JOBID= 11173417 Free space on /tmp= 62264 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656071-1276503003/watcher-2656071-1276503003 -o /tmp/evaluation-result-2656071-1276503003/solver-2656071-1276503003 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656071-1276503003.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d RANDOM SEED=309479208 node011.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.264 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1803716 kB Buffers: 75204 kB Cached: 104160 kB SwapCached: 9796 kB Active: 94408 kB Inactive: 97184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1803716 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 4920 kB Writeback: 0 kB AnonPages: 10784 kB Mapped: 9148 kB Slab: 41972 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180704 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= 62260 MiB End job on node011 at 2010-06-14 10:13:04