Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -20 | 180.735 | 180.783 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
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 | 1790.11 |
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 | 94227 |
Number of constraints which are clauses | 94227 |
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-2655915-1276504470.opb. 0.00/0.00 c Instance file HOME/instance-2655915-1276504470.opb 0.00/0.00 c File size is 2298943 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: 94227 | 0.29/0.30 c | Number Cardinality: 0 | 0.29/0.30 c | Number PB Constraints: 0 | 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 1272 94227 188454 | 31409 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.550916 s Remaining CPU time: 179.449 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1272 94228 189726 | 31409 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 94229 190998 | 31409 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.577912 s Remaining CPU time: 179.422 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 15 | 1272 94230 192270 | 31410 15 1263 | 0.000 % | 0.59/0.66 c | 127 | 1272 94230 192270 | 34551 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.665898 s Remaining CPU time: 179.334 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 135 | 1272 94231 193542 | 31410 135 1262 | 0.000 % | 0.70/0.72 c =============================================================================== 0.70/0.72 c New solution: 1268 0.70/0.72 o 1268 0.70/0.72 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s 0.70/0.72 c =============================================================================== 0.70/0.72 c | 224 | 1272 94232 194814 | 31410 224 1263 | 0.000 % | 0.70/0.76 c | 324 | 1272 94232 194814 | 34551 324 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.804877 s Remaining CPU time: 179.195 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 446 | 1272 94233 196086 | 31411 446 1263 | 0.000 % | 0.79/0.87 c | 546 | 1272 94233 196086 | 34552 546 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.91586 s Remaining CPU time: 179.084 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 690 | 1272 94234 197358 | 31411 690 1263 | 0.000 % | 0.89/0.99 c | 791 | 1272 94234 197358 | 34552 791 1263 | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: 1265 1.00/1.04 o 1265 1.00/1.04 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 892 | 1272 94235 198630 | 31411 892 1263 | 0.000 % | 1.00/1.09 c | 994 | 1272 94235 198630 | 34552 994 1262 | 0.000 % | 1.09/1.18 c =============================================================================== 1.09/1.18 c New solution: 1264 1.09/1.18 o 1264 1.09/1.18 c Elapsed CPU time: 1.14983 s Remaining CPU time: 178.85 s 1.09/1.18 c =============================================================================== 1.09/1.18 c | 1131 | 1272 94236 199902 | 31412 1131 1262 | 0.000 % | 1.19/1.23 c | 1234 | 1272 94236 199902 | 34553 1234 1262 | 0.000 % | 1.29/1.33 c | 1386 | 1272 94236 199902 | 38008 1386 1261 | 0.000 % | 1.49/1.52 c | 1613 | 1272 94236 199902 | 41809 1613 1261 | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c New solution: 1263 1.59/1.64 o 1263 1.59/1.64 c Elapsed CPU time: 1.60376 s Remaining CPU time: 178.396 s 1.59/1.64 c =============================================================================== 1.59/1.64 c | 1758 | 1272 94237 201174 | 31412 1758 1261 | 0.000 % | 1.69/1.70 c | 1860 | 1272 94237 201174 | 34553 1860 1261 | 0.000 % | 1.69/1.79 c | 2012 | 1272 94237 201174 | 38008 2012 1261 | 0.000 % | 1.89/1.97 c | 2237 | 1272 94237 201174 | 41809 2237 1260 | 0.000 % | 2.09/2.20 c | 2577 | 1272 94237 201174 | 45990 2577 1260 | 0.000 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c New solution: 1262 2.20/2.28 o 1262 2.20/2.28 c Elapsed CPU time: 2.22766 s Remaining CPU time: 177.772 s 2.20/2.28 c =============================================================================== 2.20/2.28 c | 2634 | 1272 94238 202446 | 31412 2634 1260 | 0.000 % | 2.29/2.38 c | 2734 | 1272 94238 202446 | 34553 2734 1260 | 0.000 % | 2.49/2.54 c | 2884 | 1272 94238 202446 | 38009 2884 1260 | 0.000 % | 2.69/2.75 c | 3111 | 1272 94238 202446 | 41810 3111 1260 | 0.000 % | 2.99/3.02 c | 3448 | 1272 94238 202446 | 45991 3448 1260 | 0.000 % | 3.49/3.60 c | 3955 | 1272 94238 202446 | 50590 3955 1259 | 0.000 % | 4.19/4.22 c | 4714 | 1272 94238 202446 | 55649 4714 1259 | 0.000 % | 4.19/4.28 c =============================================================================== 4.19/4.28 c New solution: 1261 4.19/4.28 o 1261 4.19/4.28 c Elapsed CPU time: 4.20336 s Remaining CPU time: 175.797 s 4.19/4.28 c =============================================================================== 4.19/4.28 c | 4775 | 1272 94239 203718 | 31413 4775 1259 | 0.000 % | 4.40/4.45 c | 4876 | 1272 94239 203718 | 34554 4876 1259 | 0.000 % | 4.59/4.65 c | 5026 | 1272 94239 203718 | 38009 5026 1259 | 0.000 % | 4.89/4.98 c | 5254 | 1272 94239 203718 | 41810 5254 1259 | 0.000 % | 4.99/5.09 c =============================================================================== 4.99/5.09 c New solution: 1260 4.99/5.09 o 1260 4.99/5.09 c Elapsed CPU time: 5.00124 s Remaining CPU time: 174.999 s 4.99/5.09 c =============================================================================== 4.99/5.09 c | 5332 | 1272 94240 204990 | 31413 5332 1259 | 0.000 % | 5.19/5.21 c | 5433 | 1272 94240 204990 | 34554 5433 1259 | 0.000 % | 5.40/5.41 c | 5585 | 1272 94240 204990 | 38010 5585 1259 | 0.000 % | 5.69/5.73 c | 5812 | 1272 94240 204990 | 41811 5812 1259 | 0.000 % | 6.09/6.11 c | 6151 | 1272 94240 204990 | 45992 6151 1258 | 0.000 % | 6.68/6.78 c | 6657 | 1272 94240 204990 | 50591 6657 1258 | 0.000 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c New solution: 1259 6.79/6.85 o 1259 6.79/6.85 c Elapsed CPU time: 6.74097 s Remaining CPU time: 173.259 s 6.79/6.85 c =============================================================================== 6.79/6.85 c | 6700 | 1272 94241 206262 | 31413 6700 1258 | 0.000 % | 6.89/6.98 c | 6802 | 1272 94241 206262 | 34555 6802 1258 | 0.000 % | 7.09/7.17 c | 6956 | 1272 94241 206262 | 38010 6956 1258 | 0.000 % | 7.49/7.58 c | 7182 | 1272 94241 206262 | 41811 7182 1258 | 0.000 % | 7.99/8.05 c | 7519 | 1272 94241 206262 | 45992 7519 1258 | 0.000 % | 8.89/8.93 c | 8025 | 1272 94241 206262 | 50592 8025 1258 | 0.000 % | 9.99/10.04 c | 8784 | 1272 94241 206262 | 55651 8784 1257 | 0.000 % | 11.49/11.55 c | 9924 | 1272 94241 206262 | 61216 9924 1257 | 0.000 % | 11.59/11.66 c =============================================================================== 11.59/11.66 c New solution: 1258 11.59/11.66 o 1258 11.59/11.66 c Elapsed CPU time: 11.5202 s Remaining CPU time: 168.48 s 11.59/11.66 c =============================================================================== 11.59/11.66 c | 9994 | 1272 94242 207534 | 31414 9994 1257 | 0.000 % | 11.79/11.86 c | 10096 | 1272 94242 207534 | 34555 10096 1257 | 0.000 % | 12.09/12.10 c | 10250 | 1272 94242 207534 | 38010 10250 1257 | 0.000 % | 12.49/12.58 c | 10476 | 1272 94242 207534 | 41812 10476 1257 | 0.000 % | 13.29/13.30 c | 10813 | 1272 94242 207534 | 45993 10813 1257 | 0.000 % | 13.78/13.83 c =============================================================================== 13.78/13.83 c New solution: 1257 13.78/13.83 o 1257 13.78/13.83 c Elapsed CPU time: 13.6679 s Remaining CPU time: 166.332 s 13.78/13.83 c =============================================================================== 13.78/13.83 c | 11148 | 1272 94243 208806 | 31414 11148 1257 | 0.000 % | 13.99/14.02 c | 11249 | 1272 94243 208806 | 34555 11249 1257 | 0.000 % | 14.29/14.32 c | 11400 | 1272 94243 208806 | 38011 11400 1257 | 0.000 % | 14.69/14.71 c | 11625 | 1272 94243 208806 | 41812 11625 1257 | 0.000 % | 14.79/14.82 c =============================================================================== 14.79/14.82 c New solution: 1256 14.79/14.82 o 1256 14.79/14.82 c Elapsed CPU time: 14.6468 s Remaining CPU time: 165.353 s 14.79/14.82 c =============================================================================== 14.79/14.82 c | 11691 | 1272 94244 210078 | 31414 11691 1257 | 0.000 % | 14.99/15.02 c | 11798 | 1272 94244 210078 | 34556 11798 1257 | 0.000 % | 15.18/15.28 c | 11949 | 1272 94244 210078 | 38011 11949 1257 | 0.000 % | 15.68/15.72 c | 12175 | 1272 94244 210078 | 41812 12175 1257 | 0.000 % | 16.29/16.38 c | 12513 | 1272 94244 210078 | 45994 12513 1256 | 0.000 % | 17.79/17.85 c | 13020 | 1272 94244 210078 | 50593 13020 1256 | 0.000 % | 19.70/19.79 c | 13783 | 1272 94244 210078 | 55652 13783 1256 | 0.000 % | 21.58/21.63 c =============================================================================== 21.58/21.63 c New solution: 1255 21.58/21.63 o 1255 21.58/21.63 c Elapsed CPU time: 21.4297 s Remaining CPU time: 158.57 s 21.58/21.63 c =============================================================================== 21.58/21.63 c | 14467 | 1272 94245 211350 | 31415 14467 1256 | 0.000 % | 21.89/21.92 c | 14569 | 1272 94245 211350 | 34556 14569 1256 | 0.000 % | 22.29/22.35 c | 14723 | 1272 94245 211350 | 38012 14723 1256 | 0.000 % | 22.99/23.10 c | 14949 | 1272 94245 211350 | 41813 14949 1256 | 0.000 % | 23.69/23.71 c | 15288 | 1272 94245 211350 | 45994 15288 1256 | 0.000 % | 25.48/25.52 c | 15795 | 1272 94245 211350 | 50594 15795 1255 | 0.000 % | 27.28/27.40 c | 16556 | 1272 94245 211350 | 55653 16556 1255 | 0.000 % | 27.59/27.68 c =============================================================================== 27.59/27.68 c New solution: 1254 27.59/27.68 o 1254 27.59/27.68 c Elapsed CPU time: 27.4408 s Remaining CPU time: 152.559 s 27.59/27.68 c =============================================================================== 27.59/27.68 c | 16701 | 1272 94246 212622 | 31415 16701 1255 | 0.000 % | 27.78/27.83 c | 16801 | 1272 94246 212622 | 34556 16801 1255 | 0.000 % | 28.28/28.39 c =============================================================================== 28.28/28.39 c New solution: 1253 28.28/28.39 o 1253 28.28/28.39 c Elapsed CPU time: 28.1467 s Remaining CPU time: 151.853 s 28.28/28.39 c =============================================================================== 28.28/28.39 c | 16949 | 1272 94247 213894 | 31415 16949 1255 | 0.000 % | 28.59/28.69 c | 17050 | 1272 94247 213894 | 34557 17050 1255 | 0.000 % | 29.09/29.13 c | 17202 | 1272 94247 213894 | 38012 17202 1255 | 0.000 % | 29.38/29.42 c =============================================================================== 29.38/29.42 c New solution: 1252 29.38/29.42 o 1252 29.38/29.42 c Elapsed CPU time: 29.1706 s Remaining CPU time: 150.829 s 29.38/29.42 c =============================================================================== 29.38/29.42 c | 17301 | 1272 94248 215166 | 31416 17301 1255 | 0.000 % | 29.69/29.74 c | 17403 | 1272 94248 215166 | 34557 17403 1255 | 0.000 % | 30.09/30.18 c | 17554 | 1272 94248 215166 | 38013 17554 1255 | 0.000 % | 30.88/30.91 c | 17779 | 1272 94248 215166 | 41814 17779 1255 | 0.000 % | 31.49/31.58 c | 18118 | 1272 94248 215166 | 45996 18118 1255 | 0.000 % | 33.08/33.10 c | 18624 | 1272 94248 215166 | 50595 18624 1255 | 0.000 % | 35.39/35.49 c | 19383 | 1272 94248 215166 | 55655 19383 1254 | 0.000 % | 39.68/39.79 c | 20522 | 1272 94248 215166 | 61220 20522 1254 | 0.000 % | 46.28/46.36 c | 22231 | 1272 94248 215166 | 67342 22231 1254 | 0.000 % | 58.58/58.64 c | 24794 | 1272 94248 215166 | 74077 24794 1253 | 0.000 % | 86.87/86.92 c | 28639 | 1272 94248 215166 | 81485 28639 1253 | 0.000 % | 118.77/118.86 c | 34408 | 1272 94248 215166 | 89633 34408 1252 | 0.000 % | 180.54/180.65 c There are 0 assigned variables. 0 in cost function. 180.65/180.75 c core #1 180.65/180.75 c #cores: 1 180.65/180.75 c Final Weight: 1252 180.65/180.75 o 1252 180.65/180.75 s OPTIMUM FOUND 180.65/180.75 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.65/180.75 c Total CPU time: 180.107 s
OK -20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655915-1276504470/watcher-2655915-1276504470 -o /tmp/evaluation-result-2655915-1276504470/solver-2655915-1276504470 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655915-1276504470.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.92 0.98 0.99 3/106 28073 /proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=4996 CPUtime=0 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 24102403 5115904 247 1992294400 134512640 135751879 4291591584 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 1249 248 145 303 0 382 0 [startup+0.0342469 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28073 /proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=5408 CPUtime=0.03 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 472 0 0 0 3 0 0 0 20 0 1 0 24102403 5537792 390 1992294400 134512640 135751879 4291591584 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 1352 390 191 303 0 485 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5408 [startup+0.101252 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28073 /proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=6368 CPUtime=0.09 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 839 0 0 0 9 0 0 0 20 0 1 0 24102403 6520832 757 1992294400 134512640 135751879 4291591584 18446744073709551615 134557912 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 1592 757 314 303 0 725 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6368 [startup+0.301268 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28073 /proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=9388 CPUtime=0.29 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 1924 0 0 0 29 0 0 0 20 0 1 0 24102403 9613312 1842 1992294400 134512640 135751879 4291591584 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 2347 1842 688 303 0 1480 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9388 [startup+0.701298 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28073 /proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=13704 CPUtime=0.7 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 3661 0 0 0 68 2 0 0 21 0 1 0 24102403 14032896 2919 1992294400 134512640 135751879 4291591584 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 3426 2919 147 303 0 3121 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13704 [startup+1.50136 s] /proc/loadavg: 0.92 0.98 0.99 2/107 28074 /proc/meminfo: memFree=1791000/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=16104 CPUtime=1.49 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 4252 0 0 0 146 3 0 0 23 0 1 0 24102403 16490496 3510 1992294400 134512640 135751879 4291591584 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 4026 3510 147 303 0 3721 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16104 [startup+3.10049 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28074 /proc/meminfo: memFree=1784056/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=25964 CPUtime=3.09 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 6730 0 0 0 303 6 0 0 25 0 1 0 24102403 26587136 5988 1992294400 134512640 135751879 4291591584 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 6491 5988 147 303 0 6186 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25964 [startup+6.30074 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28074 /proc/meminfo: memFree=1767688/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=40216 CPUtime=6.29 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 10296 0 0 0 619 10 0 0 25 0 1 0 24102403 41181184 9554 1992294400 134512640 135751879 4291591584 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 10054 9554 147 303 0 9749 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40216 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.99 2/107 28074 /proc/meminfo: memFree=1744252/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=61812 CPUtime=12.69 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 15662 0 0 0 1254 15 0 0 25 0 1 0 24102403 63295488 14920 1992294400 134512640 135751879 4291591584 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 15453 14920 147 303 0 15148 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61812 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 28074 /proc/meminfo: memFree=1716228/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=88396 CPUtime=25.48 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 22326 0 0 0 2527 21 0 0 25 0 1 0 24102403 90517504 21584 1992294400 134512640 135751879 4291591584 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 22099 21584 147 303 0 21794 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 88396 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 28076 /proc/meminfo: memFree=1678408/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=126392 CPUtime=51.08 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 31787 0 0 0 5076 32 0 0 25 0 1 0 24102403 129425408 31045 1992294400 134512640 135751879 4291591584 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 31598 31045 147 303 0 31293 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 126392 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 28076 /proc/meminfo: memFree=1632404/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=171996 CPUtime=102.27 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 43172 0 0 0 10183 44 0 0 25 0 1 0 24102403 176123904 42430 1992294400 134512640 135751879 4291591584 18446744073709551615 134606631 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 42999 42430 147 303 0 42694 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 171996 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1599916/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=204484 CPUtime=162.25 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 51256 0 0 0 16170 55 0 0 25 0 1 0 24102403 209391616 50514 1992294400 134512640 135751879 4291591584 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 51121 50514 147 303 0 50816 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 204484 Solver just ended. Dumping a history of the last processes samples [startup+166.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1598428/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=205820 CPUtime=166.24 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 51589 0 0 0 16569 55 0 0 25 0 1 0 24102403 210759680 50847 1992294400 134512640 135751879 4291591584 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 51455 50847 147 303 0 51150 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 205820 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1592724/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=211340 CPUtime=172.65 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 52988 0 0 0 17208 57 0 0 25 0 1 0 24102403 216412160 52246 1992294400 134512640 135751879 4291591584 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 52835 52246 147 303 0 52530 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 211340 [startup+175.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1589500/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=214448 CPUtime=175.85 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 53750 0 0 0 17527 58 0 0 25 0 1 0 24102403 219594752 53008 1992294400 134512640 135751879 4291591584 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 53612 53008 147 303 0 53307 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 214448 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1582680/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=222012 CPUtime=179.04 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 55604 0 0 0 17845 59 0 0 25 0 1 0 24102403 227340288 54862 1992294400 134512640 135751879 4291591584 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 55503 54862 147 303 0 55198 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 222012 [startup+179.902 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1582060/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=222144 CPUtime=179.84 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 55659 0 0 0 17925 59 0 0 25 0 1 0 24102403 227475456 54917 1992294400 134512640 135751879 4291591584 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 55536 54917 147 303 0 55231 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 222144 [startup+180.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1581812/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=222280 CPUtime=180.25 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 55692 0 0 0 17966 59 0 0 25 0 1 0 24102403 227614720 54950 1992294400 134512640 135751879 4291591584 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 55570 54950 147 303 0 55265 0 Current children cumulated CPU time (s) 180.25 Current children cumulated vsize (KiB) 222280 [startup+180.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28078 /proc/meminfo: memFree=1581812/2059040 swapFree=4136648/4192956 [pid=28073] ppid=28071 vsize=226384 CPUtime=180.65 /proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 56669 0 0 0 18005 60 0 0 25 0 1 0 24102403 231817216 55927 1992294400 134512640 135751879 4291591584 18446744073709551615 134550586 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28073/statm: 56596 55927 147 303 0 56291 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 226384 Child status: 0 Real time (s): 180.783 CPU time (s): 180.735 CPU user time (s): 180.107 CPU system time (s): 0.627904 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 226384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.107 system time used= 0.627904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56671 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= 14 involuntary context switches= 172 runsolver used 0.312952 second user time and 0.84987 second system time The end
Begin job on node026 at 2010-06-14 10:34:30 IDJOB=2655915 IDBENCH=2259 IDSOLVER=1161 FILE ID=node026/2655915-1276504470 PBS_JOBID= 11173403 Free space on /tmp= 62516 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-1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655915-1276504470/watcher-2655915-1276504470 -o /tmp/evaluation-result-2655915-1276504470/solver-2655915-1276504470 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655915-1276504470.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED=1713470592 node026.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.201 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.40 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.201 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: 1802696 kB Buffers: 71768 kB Cached: 105856 kB SwapCached: 9576 kB Active: 106356 kB Inactive: 83896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1802696 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 4892 kB Writeback: 0 kB AnonPages: 10848 kB Mapped: 9180 kB Slab: 44364 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179868 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= 62512 MiB End job on node026 at 2010-06-14 10:37:31