Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pwbo 1.1 | SAT (TO) | -22 | 1800.14 | 900.16 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
MD5SUM | 4c9dc9cf5c24873d3237c90ee1682632 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -48 |
Best CPU time to get the best result obtained on this benchmark | 1797.46 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109379 |
Number of constraints which are clauses | 109379 |
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 | 1400 |
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 | 1400 |
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 | 1400 |
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 pwbo 1.1 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3500324-1307993578.opb. 0.00/0.00 c Instance file HOME/instance-3500324-1307993578.opb 0.00/0.00 c File size is 2685249 bytes. 0.09/0.18 c Highest Coefficient sum: 3 0.09/0.18 c ============================[ Problem Statistics ]============================= 0.09/0.18 c | | 0.09/0.18 c | Parsing time: 0.17 s | 0.09/0.18 c | Number Variables: 1400 | 0.09/0.18 c | Number Clauses: 109379 | 0.09/0.18 c | Number Cardinality: 0 | 0.09/0.18 c | Number PB Constraints: 0 | 0.21/0.23 c init lb 0 0.21/0.23 c init ub 1401 0.21/0.23 c ub 0 (thread 1) 0.21/0.24 o 0 0.21/0.24 c ub -1 (thread 1) 0.21/0.24 o -1 0.21/0.24 c ub -2 (thread 1) 0.21/0.26 o -2 0.21/0.26 c lb -1399 (thread 0) 0.21/0.28 c ub -3 (thread 1) 0.21/0.29 o -3 0.21/0.29 c ub -4 (thread 1) 0.21/0.29 o -4 0.21/0.29 c lb -1398 (thread 0) 0.21/0.32 c lb -1397 (thread 0) 0.47/0.35 c ub -5 (thread 1) 0.47/0.35 o -5 0.47/0.35 c lb -1396 (thread 0) 0.47/0.37 c lb -1395 (thread 0) 0.47/0.40 c ub -6 (thread 1) 0.60/0.40 o -6 0.60/0.40 c lb -1394 (thread 0) 0.60/0.43 c lb -1393 (thread 0) 0.60/0.44 c ub -7 (thread 1) 0.60/0.45 o -7 0.60/0.45 c ub -8 (thread 1) 0.60/0.45 o -8 0.60/0.45 c lb -1392 (thread 0) 0.60/0.48 c lb -1391 (thread 0) 0.81/0.51 c lb -1390 (thread 0) 0.81/0.53 c lb -1389 (thread 0) 0.81/0.55 c ub -9 (thread 1) 0.81/0.56 o -9 0.81/0.56 c lb -1388 (thread 0) 0.81/0.59 c lb -1387 (thread 0) 1.00/0.60 c ub -10 (thread 1) 1.00/0.61 o -10 1.00/0.61 c lb -1386 (thread 0) 1.00/0.64 c lb -1385 (thread 0) 1.00/0.67 c lb -1384 (thread 0) 1.00/0.69 c lb -1383 (thread 0) 1.20/0.71 c ub -11 (thread 1) 1.20/0.72 o -11 1.20/0.72 c lb -1382 (thread 0) 1.20/0.75 c lb -1381 (thread 0) 1.20/0.77 c lb -1380 (thread 0) 1.20/0.79 c ub -12 (thread 1) 1.41/0.80 o -12 1.41/0.80 c lb -1379 (thread 0) 1.41/0.83 c lb -1378 (thread 0) 1.41/0.85 c lb -1377 (thread 0) 1.41/0.88 c lb -1376 (thread 0) 1.60/0.91 c lb -1375 (thread 0) 1.60/0.93 c lb -1374 (thread 0) 1.60/0.96 c lb -1373 (thread 0) 1.60/0.99 c lb -1372 (thread 0) 1.81/1.01 c lb -1371 (thread 0) 1.81/1.04 c lb -1370 (thread 0) 1.81/1.07 c lb -1369 (thread 0) 1.81/1.09 c lb -1368 (thread 0) 2.02/1.12 c lb -1367 (thread 0) 2.02/1.15 c lb -1366 (thread 0) 2.02/1.17 c ub -13 (thread 1) 2.02/1.17 o -13 2.02/1.17 c lb -1365 (thread 0) 2.21/1.20 c lb -1364 (thread 0) 2.21/1.23 c lb -1363 (thread 0) 2.21/1.25 c lb -1362 (thread 0) 2.21/1.28 c lb -1361 (thread 0) 2.40/1.31 c lb -1360 (thread 0) 2.40/1.33 c lb -1359 (thread 0) 2.40/1.36 c lb -1358 (thread 0) 2.40/1.39 c lb -1357 (thread 0) 2.61/1.41 c lb -1356 (thread 0) 2.61/1.44 c lb -1355 (thread 0) 2.61/1.47 c lb -1354 (thread 0) 2.61/1.50 c lb -1353 (thread 0) 2.81/1.52 c lb -1352 (thread 0) 2.81/1.55 c lb -1351 (thread 0) 2.81/1.58 c lb -1350 (thread 0) 3.01/1.60 c lb -1349 (thread 0) 3.01/1.63 c lb -1348 (thread 0) 3.01/1.66 c lb -1347 (thread 0) 3.01/1.68 c lb -1346 (thread 0) 3.20/1.71 c lb -1345 (thread 0) 3.20/1.74 c lb -1344 (thread 0) 3.20/1.76 c lb -1343 (thread 0) 3.20/1.79 c lb -1342 (thread 0) 3.41/1.82 c lb -1341 (thread 0) 3.41/1.85 c lb -1340 (thread 0) 3.41/1.87 c lb -1339 (thread 0) 3.61/1.90 c lb -1338 (thread 0) 3.61/1.93 c lb -1337 (thread 0) 3.61/1.95 c lb -1336 (thread 0) 3.61/1.98 c lb -1335 (thread 0) 3.80/2.01 c lb -1334 (thread 0) 3.80/2.04 c lb -1333 (thread 0) 3.80/2.06 c lb -1332 (thread 0) 3.80/2.09 c lb -1331 (thread 0) 4.01/2.12 c lb -1330 (thread 0) 4.01/2.15 c lb -1329 (thread 0) 4.01/2.17 c lb -1328 (thread 0) 4.01/2.20 c lb -1327 (thread 0) 4.21/2.23 c lb -1326 (thread 0) 4.21/2.26 c lb -1325 (thread 0) 4.21/2.28 c lb -1324 (thread 0) 4.41/2.31 c lb -1323 (thread 0) 4.41/2.34 c lb -1322 (thread 0) 4.41/2.37 c lb -1321 (thread 0) 4.41/2.39 c lb -1320 (thread 0) 4.61/2.42 c lb -1319 (thread 0) 4.61/2.45 c lb -1318 (thread 0) 4.61/2.47 c lb -1317 (thread 0) 4.80/2.50 c lb -1316 (thread 0) 4.80/2.53 c lb -1315 (thread 0) 4.80/2.56 c lb -1314 (thread 0) 4.80/2.58 c lb -1313 (thread 0) 5.00/2.61 c lb -1312 (thread 0) 5.00/2.64 c lb -1311 (thread 0) 5.00/2.67 c lb -1310 (thread 0) 5.00/2.70 c lb -1309 (thread 0) 5.20/2.72 c lb -1308 (thread 0) 5.20/2.75 c lb -1307 (thread 0) 5.20/2.78 c lb -1306 (thread 0) 5.40/2.81 c lb -1305 (thread 0) 5.40/2.83 c lb -1304 (thread 0) 5.40/2.86 c lb -1303 (thread 0) 5.40/2.89 c lb -1302 (thread 0) 5.60/2.92 c lb -1301 (thread 0) 5.60/2.94 c lb -1300 (thread 0) 5.60/2.97 c lb -1299 (thread 0) 5.81/3.00 c lb -1298 (thread 0) 5.81/3.01 c ub -14 (thread 1) 5.81/3.03 o -14 5.81/3.03 c lb -1297 (thread 0) 5.81/3.06 c lb -1296 (thread 0) 5.81/3.08 c lb -1295 (thread 0) 6.01/3.11 c lb -1294 (thread 0) 6.01/3.14 c lb -1293 (thread 0) 6.01/3.17 c lb -1292 (thread 0) 6.01/3.20 c lb -1291 (thread 0) 6.22/3.22 c lb -1290 (thread 0) 6.22/3.25 c lb -1289 (thread 0) 6.22/3.28 c lb -1288 (thread 0) 6.42/3.31 c lb -1287 (thread 0) 6.42/3.34 c lb -1286 (thread 0) 6.42/3.36 c lb -1285 (thread 0) 6.42/3.39 c lb -1284 (thread 0) 6.60/3.42 c lb -1283 (thread 0) 6.60/3.45 c lb -1282 (thread 0) 6.60/3.48 c lb -1281 (thread 0) 6.80/3.51 c lb -1280 (thread 0) 6.80/3.53 c lb -1279 (thread 0) 6.80/3.56 c lb -1278 (thread 0) 6.80/3.59 c lb -1277 (thread 0) 7.00/3.62 c lb -1276 (thread 0) 7.00/3.65 c lb -1275 (thread 0) 7.00/3.67 c lb -1274 (thread 0) 7.20/3.70 c lb -1273 (thread 0) 7.20/3.73 c lb -1272 (thread 0) 7.20/3.76 c lb -1271 (thread 0) 7.20/3.79 c lb -1270 (thread 0) 7.40/3.82 c lb -1269 (thread 0) 7.40/3.85 c lb -1268 (thread 0) 7.40/3.87 c lb -1267 (thread 0) 7.61/3.90 c lb -1266 (thread 0) 7.61/3.93 c lb -1265 (thread 0) 7.61/3.96 c lb -1264 (thread 0) 7.61/3.99 c lb -1263 (thread 0) 7.81/4.02 c lb -1262 (thread 0) 7.81/4.05 c lb -1261 (thread 0) 7.81/4.07 c lb -1260 (thread 0) 8.01/4.10 c lb -1259 (thread 0) 8.01/4.13 c lb -1258 (thread 0) 8.01/4.16 c lb -1257 (thread 0) 8.01/4.19 c lb -1256 (thread 0) 8.20/4.22 c lb -1255 (thread 0) 8.20/4.25 c lb -1254 (thread 0) 8.20/4.28 c lb -1253 (thread 0) 8.41/4.31 c lb -1252 (thread 0) 8.41/4.33 c lb -1251 (thread 0) 8.41/4.36 c lb -1250 (thread 0) 8.41/4.39 c lb -1249 (thread 0) 8.61/4.42 c lb -1248 (thread 0) 8.61/4.45 c lb -1247 (thread 0) 8.61/4.48 c lb -1246 (thread 0) 8.80/4.51 c lb -1245 (thread 0) 8.80/4.54 c lb -1244 (thread 0) 8.80/4.57 c lb -1243 (thread 0) 9.01/4.60 c lb -1242 (thread 0) 9.01/4.63 c lb -1241 (thread 0) 9.01/4.66 c lb -1240 (thread 0) 9.01/4.69 c lb -1239 (thread 0) 9.21/4.72 c lb -1238 (thread 0) 9.21/4.75 c lb -1237 (thread 0) 9.21/4.77 c lb -1236 (thread 0) 9.41/4.80 c lb -1235 (thread 0) 9.41/4.83 c lb -1234 (thread 0) 9.41/4.86 c lb -1233 (thread 0) 9.41/4.89 c lb -1232 (thread 0) 9.61/4.92 c lb -1231 (thread 0) 9.61/4.95 c lb -1230 (thread 0) 9.61/4.98 c lb -1229 (thread 0) 9.80/5.01 c lb -1228 (thread 0) 9.80/5.04 c lb -1227 (thread 0) 9.80/5.07 c lb -1226 (thread 0) 10.00/5.10 c lb -1225 (thread 0) 10.00/5.13 c lb -1224 (thread 0) 10.00/5.16 c lb -1223 (thread 0) 10.00/5.19 c lb -1222 (thread 0) 10.20/5.21 c ub -15 (thread 1) 10.20/5.22 o -15 10.20/5.22 c lb -1221 (thread 0) 10.20/5.25 c lb -1220 (thread 0) 10.20/5.28 c lb -1219 (thread 0) 10.40/5.31 c lb -1218 (thread 0) 10.40/5.35 c lb -1217 (thread 0) 10.40/5.38 c lb -1216 (thread 0) 10.61/5.41 c lb -1215 (thread 0) 10.61/5.44 c lb -1214 (thread 0) 10.61/5.47 c lb -1213 (thread 0) 10.61/5.50 c lb -1212 (thread 0) 10.81/5.53 c lb -1211 (thread 0) 10.81/5.56 c lb -1210 (thread 0) 10.81/5.59 c lb -1209 (thread 0) 11.01/5.62 c lb -1208 (thread 0) 11.01/5.65 c lb -1207 (thread 0) 11.01/5.68 c lb -1206 (thread 0) 11.20/5.71 c lb -1205 (thread 0) 11.20/5.74 c lb -1204 (thread 0) 11.20/5.78 c lb -1203 (thread 0) 11.40/5.81 c lb -1202 (thread 0) 11.40/5.84 c lb -1201 (thread 0) 11.40/5.87 c lb -1200 (thread 0) 11.60/5.90 c lb -1199 (thread 0) 11.60/5.93 c lb -1198 (thread 0) 11.60/5.96 c lb -1197 (thread 0) 11.60/5.99 c lb -1196 (thread 0) 11.80/6.03 c lb -1195 (thread 0) 11.80/6.06 c lb -1194 (thread 0) 11.80/6.09 c lb -1193 (thread 0) 12.00/6.12 c lb -1192 (thread 0) 12.00/6.15 c lb -1191 (thread 0) 12.00/6.18 c lb -1190 (thread 0) 12.20/6.21 c lb -1189 (thread 0) 12.20/6.25 c lb -1188 (thread 0) 12.20/6.28 c lb -1187 (thread 0) 12.40/6.31 c lb -1186 (thread 0) 12.40/6.34 c lb -1185 (thread 0) 12.40/6.37 c lb -1184 (thread 0) 12.60/6.41 c lb -1183 (thread 0) 12.60/6.44 c lb -1182 (thread 0) 12.60/6.47 c lb -1181 (thread 0) 12.60/6.50 c lb -1180 (thread 0) 12.81/6.53 c lb -1179 (thread 0) 12.81/6.57 c lb -1178 (thread 0) 12.81/6.60 c lb -1177 (thread 0) 13.02/6.63 c lb -1176 (thread 0) 13.02/6.66 c lb -1175 (thread 0) 13.02/6.69 c lb -1174 (thread 0) 13.21/6.73 c lb -1173 (thread 0) 13.21/6.76 c lb -1172 (thread 0) 13.21/6.79 c lb -1171 (thread 0) 13.41/6.82 c lb -1170 (thread 0) 13.41/6.86 c lb -1169 (thread 0) 13.41/6.89 c lb -1168 (thread 0) 13.60/6.92 c lb -1167 (thread 0) 13.60/6.95 c lb -1166 (thread 0) 13.60/6.99 c lb -1165 (thread 0) 13.80/7.02 c lb -1164 (thread 0) 13.80/7.05 c lb -1163 (thread 0) 13.80/7.08 c lb -1162 (thread 0) 14.00/7.12 c lb -1161 (thread 0) 14.00/7.15 c lb -1160 (thread 0) 14.00/7.18 c lb -1159 (thread 0) 14.20/7.22 c lb -1158 (thread 0) 14.20/7.25 c lb -1157 (thread 0) 14.20/7.28 c lb -1156 (thread 0) 14.40/7.32 c lb -1155 (thread 0) 14.40/7.35 c lb -1154 (thread 0) 14.40/7.38 c lb -1153 (thread 0) 14.60/7.42 c lb -1152 (thread 0) 14.60/7.45 c lb -1151 (thread 0) 14.60/7.48 c lb -1150 (thread 0) 14.80/7.52 c lb -1149 (thread 0) 14.80/7.55 c lb -1148 (thread 0) 14.80/7.58 c lb -1147 (thread 0) 15.01/7.62 c lb -1146 (thread 0) 15.01/7.65 c lb -1145 (thread 0) 15.01/7.69 c lb -1144 (thread 0) 15.21/7.72 c lb -1143 (thread 0) 15.21/7.75 c lb -1142 (thread 0) 15.21/7.79 c lb -1141 (thread 0) 15.40/7.80 c ub -16 (thread 1) 15.40/7.82 o -16 15.40/7.82 c lb -1140 (thread 0) 15.40/7.86 c lb -1139 (thread 0) 15.40/7.89 c lb -1138 (thread 0) 15.61/7.92 c lb -1137 (thread 0) 15.61/7.96 c lb -1136 (thread 0) 15.61/7.99 c lb -1135 (thread 0) 15.80/8.03 c lb -1134 (thread 0) 15.80/8.06 c lb -1133 (thread 0) 15.80/8.09 c lb -1132 (thread 0) 16.00/8.13 c lb -1131 (thread 0) 16.00/8.16 c lb -1130 (thread 0) 16.20/8.20 c lb -1129 (thread 0) 16.20/8.23 c lb -1128 (thread 0) 16.20/8.27 c lb -1127 (thread 0) 16.40/8.30 c lb -1126 (thread 0) 16.40/8.34 c lb -1125 (thread 0) 16.40/8.37 c lb -1124 (thread 0) 16.60/8.41 c lb -1123 (thread 0) 16.60/8.44 c lb -1122 (thread 0) 16.60/8.48 c lb -1121 (thread 0) 16.80/8.51 c lb -1120 (thread 0) 16.80/8.55 c lb -1119 (thread 0) 16.80/8.58 c lb -1118 (thread 0) 17.01/8.62 c lb -1117 (thread 0) 17.01/8.65 c lb -1116 (thread 0) 17.01/8.69 c lb -1115 (thread 0) 17.21/8.72 c lb -1114 (thread 0) 17.21/8.76 c lb -1113 (thread 0) 17.21/8.79 c lb -1112 (thread 0) 17.42/8.83 c lb -1111 (thread 0) 17.42/8.86 c lb -1110 (thread 0) 17.60/8.90 c lb -1109 (thread 0) 17.60/8.93 c lb -1108 (thread 0) 17.60/8.97 c lb -1107 (thread 0) 17.80/9.00 c lb -1106 (thread 0) 17.80/9.04 c lb -1105 (thread 0) 17.80/9.07 c lb -1104 (thread 0) 18.00/9.11 c lb -1103 (thread 0) 18.00/9.15 c lb -1102 (thread 0) 18.00/9.18 c lb -1101 (thread 0) 18.20/9.22 c lb -1100 (thread 0) 18.20/9.25 c lb -1099 (thread 0) 18.20/9.29 c lb -1098 (thread 0) 18.40/9.32 c lb -1097 (thread 0) 18.40/9.36 c lb -1096 (thread 0) 18.60/9.40 c lb -1095 (thread 0) 18.60/9.43 c lb -1094 (thread 0) 18.60/9.47 c lb -1093 (thread 0) 18.80/9.51 c lb -1092 (thread 0) 18.80/9.54 c lb -1091 (thread 0) 18.80/9.58 c lb -1090 (thread 0) 19.00/9.61 c lb -1089 (thread 0) 19.00/9.65 c lb -1088 (thread 0) 19.00/9.69 c lb -1087 (thread 0) 19.21/9.72 c lb -1086 (thread 0) 19.21/9.76 c lb -1085 (thread 0) 19.21/9.80 c lb -1084 (thread 0) 19.42/9.83 c lb -1083 (thread 0) 19.42/9.87 c lb -1082 (thread 0) 19.62/9.91 c lb -1081 (thread 0) 19.62/9.94 c lb -1080 (thread 0) 19.62/9.98 c lb -1079 (thread 0) 19.81/10.02 c lb -1078 (thread 0) 19.81/10.06 c lb -1077 (thread 0) 19.81/10.09 c lb -1076 (thread 0) 20.01/10.13 c lb -1075 (thread 0) 20.01/10.17 c lb -1074 (thread 0) 20.20/10.20 c lb -1073 (thread 0) 20.20/10.24 c lb -1072 (thread 0) 20.20/10.28 c lb -1071 (thread 0) 20.40/10.32 c lb -1070 (thread 0) 20.40/10.35 c lb -1069 (thread 0) 20.40/10.39 c lb -1068 (thread 0) 20.60/10.43 c lb -1067 (thread 0) 20.60/10.46 c lb -1066 (thread 0) 20.80/10.50 c lb -1065 (thread 0) 20.80/10.54 c lb -1064 (thread 0) 20.80/10.58 c lb -1063 (thread 0) 21.00/10.62 c lb -1062 (thread 0) 21.00/10.65 c lb -1061 (thread 0) 21.00/10.69 c lb -1060 (thread 0) 21.20/10.73 c lb -1059 (thread 0) 21.20/10.77 c lb -1058 (thread 0) 21.40/10.80 c lb -1057 (thread 0) 21.40/10.84 c lb -1056 (thread 0) 21.40/10.88 c lb -1055 (thread 0) 21.61/10.92 c lb -1054 (thread 0) 21.61/10.96 c lb -1053 (thread 0) 21.61/11.00 c lb -1052 (thread 0) 21.81/11.03 c lb -1051 (thread 0) 21.81/11.07 c lb -1050 (thread 0) 22.00/11.11 c lb -1049 (thread 0) 22.00/11.15 c lb -1048 (thread 0) 22.00/11.19 c lb -1047 (thread 0) 22.20/11.23 c lb -1046 (thread 0) 22.20/11.27 c lb -1045 (thread 0) 22.40/11.30 c lb -1044 (thread 0) 22.40/11.34 c lb -1043 (thread 0) 22.40/11.38 c lb -1042 (thread 0) 22.60/11.42 c lb -1041 (thread 0) 22.60/11.46 c lb -1040 (thread 0) 22.80/11.50 c lb -1039 (thread 0) 22.80/11.54 c lb -1038 (thread 0) 22.80/11.58 c lb -1037 (thread 0) 23.01/11.61 c lb -1036 (thread 0) 23.01/11.65 c lb -1035 (thread 0) 23.01/11.69 c lb -1034 (thread 0) 23.21/11.73 c lb -1033 (thread 0) 23.21/11.77 c lb -1032 (thread 0) 23.41/11.81 c lb -1031 (thread 0) 23.41/11.85 c lb -1030 (thread 0) 23.41/11.89 c lb -1029 (thread 0) 23.61/11.93 c lb -1028 (thread 0) 23.61/11.97 c lb -1027 (thread 0) 23.82/12.01 c lb -1026 (thread 0) 23.82/12.05 c lb -1025 (thread 0) 23.82/12.09 c lb -1024 (thread 0) 24.02/12.12 c lb -1023 (thread 0) 24.02/12.17 c lb -1022 (thread 0) 24.20/12.21 c lb -1021 (thread 0) 24.20/12.24 c lb -1020 (thread 0) 24.20/12.28 c lb -1019 (thread 0) 24.40/12.32 c lb -1018 (thread 0) 24.40/12.36 c lb -1017 (thread 0) 24.60/12.40 c lb -1016 (thread 0) 24.60/12.44 c lb -1015 (thread 0) 24.60/12.48 c lb -1014 (thread 0) 24.80/12.52 c lb -1013 (thread 0) 24.80/12.57 c lb -1012 (thread 0) 25.00/12.61 c lb -1011 (thread 0) 25.00/12.65 c lb -1010 (thread 0) 25.00/12.69 c lb -1009 (thread 0) 25.20/12.73 c lb -1008 (thread 0) 25.20/12.77 c lb -1007 (thread 0) 25.40/12.81 c lb -1006 (thread 0) 25.40/12.85 c lb -1005 (thread 0) 25.40/12.89 c lb -1004 (thread 0) 25.60/12.93 c lb -1003 (thread 0) 25.60/12.97 c lb -1002 (thread 0) 25.80/13.01 c lb -1001 (thread 0) 25.80/13.05 c lb -1000 (thread 0) 25.80/13.09 c lb -999 (thread 0) 26.01/13.13 c lb -998 (thread 0) 26.01/13.17 c lb -997 (thread 0) 26.21/13.21 c lb -996 (thread 0) 26.21/13.25 c lb -995 (thread 0) 26.21/13.29 c lb -994 (thread 0) 26.40/13.34 c lb -993 (thread 0) 26.40/13.38 c lb -992 (thread 0) 26.60/13.42 c lb -991 (thread 0) 26.60/13.46 c lb -990 (thread 0) 26.81/13.50 c lb -989 (thread 0) 26.81/13.54 c lb -988 (thread 0) 26.81/13.58 c lb -987 (thread 0) 27.01/13.63 c lb -986 (thread 0) 27.01/13.67 c lb -985 (thread 0) 27.21/13.71 c lb -984 (thread 0) 27.21/13.75 c lb -983 (thread 0) 27.21/13.79 c lb -982 (thread 0) 27.41/13.83 c lb -981 (thread 0) 27.41/13.88 c lb -980 (thread 0) 27.61/13.92 c lb -979 (thread 0) 27.61/13.96 c lb -978 (thread 0) 27.81/14.00 c lb -977 (thread 0) 27.81/14.05 c lb -976 (thread 0) 27.81/14.09 c lb -975 (thread 0) 28.01/14.13 c lb -974 (thread 0) 28.01/14.17 c lb -973 (thread 0) 28.22/14.22 c lb -972 (thread 0) 28.22/14.26 c lb -971 (thread 0) 28.22/14.30 c lb -970 (thread 0) 28.41/14.34 c lb -969 (thread 0) 28.41/14.39 c lb -968 (thread 0) 28.60/14.43 c lb -967 (thread 0) 28.60/14.47 c lb -966 (thread 0) 28.80/14.52 c lb -965 (thread 0) 28.80/14.56 c lb -964 (thread 0) 29.00/14.60 c lb -963 (thread 0) 29.00/14.64 c lb -962 (thread 0) 29.00/14.69 c lb -961 (thread 0) 29.20/14.73 c lb -960 (thread 0) 29.20/14.77 c lb -959 (thread 0) 29.40/14.82 c lb -958 (thread 0) 29.40/14.86 c lb -957 (thread 0) 29.60/14.90 c lb -956 (thread 0) 29.60/14.95 c lb -955 (thread 0) 29.60/14.99 c lb -954 (thread 0) 29.80/15.03 c lb -953 (thread 0) 29.80/15.08 c lb -952 (thread 0) 30.00/15.11 c ub -17 (thread 1) 30.00/15.12 o -17 30.00/15.12 c lb -951 (thread 0) 30.00/15.17 c lb -950 (thread 0) 30.20/15.21 c lb -949 (thread 0) 30.20/15.25 c lb -948 (thread 0) 30.20/15.30 c lb -947 (thread 0) 30.42/15.34 c lb -946 (thread 0) 30.42/15.38 c lb -945 (thread 0) 30.62/15.43 c lb -944 (thread 0) 30.62/15.47 c lb -943 (thread 0) 30.80/15.52 c lb -942 (thread 0) 30.80/15.56 c lb -941 (thread 0) 31.01/15.61 c lb -940 (thread 0) 31.01/15.65 c lb -939 (thread 0) 31.21/15.70 c lb -938 (thread 0) 31.21/15.74 c lb -937 (thread 0) 31.21/15.79 c lb -936 (thread 0) 31.41/15.83 c lb -935 (thread 0) 31.41/15.88 c lb -934 (thread 0) 31.61/15.92 c lb -933 (thread 0) 31.61/15.97 c lb -932 (thread 0) 31.81/16.01 c lb -931 (thread 0) 31.81/16.06 c lb -930 (thread 0) 32.01/16.10 c lb -929 (thread 0) 32.01/16.15 c lb -928 (thread 0) 32.01/16.19 c lb -927 (thread 0) 32.20/16.24 c lb -926 (thread 0) 32.20/16.28 c lb -925 (thread 0) 32.40/16.33 c lb -924 (thread 0) 32.40/16.38 c lb -923 (thread 0) 32.61/16.42 c lb -922 (thread 0) 32.61/16.47 c lb -921 (thread 0) 32.82/16.52 c lb -920 (thread 0) 32.82/16.56 c lb -919 (thread 0) 33.00/16.61 c lb -918 (thread 0) 33.00/16.65 c lb -917 (thread 0) 33.20/16.70 c lb -916 (thread 0) 33.20/16.75 c lb -915 (thread 0) 33.20/16.79 c lb -914 (thread 0) 33.40/16.84 c lb -913 (thread 0) 33.40/16.89 c lb -912 (thread 0) 33.60/16.94 c lb -911 (thread 0) 33.60/16.98 c lb -910 (thread 0) 33.80/17.03 c lb -909 (thread 0) 33.80/17.08 c lb -908 (thread 0) 34.00/17.12 c lb -907 (thread 0) 34.00/17.17 c lb -906 (thread 0) 34.20/17.22 c lb -905 (thread 0) 34.20/17.27 c lb -904 (thread 0) 34.40/17.31 c lb -903 (thread 0) 34.40/17.36 c lb -902 (thread 0) 34.60/17.41 c lb -901 (thread 0) 34.60/17.46 c lb -900 (thread 0) 34.81/17.51 c lb -899 (thread 0) 34.81/17.55 c lb -898 (thread 0) 35.02/17.60 c lb -897 (thread 0) 35.02/17.65 c lb -896 (thread 0) 35.21/17.70 c lb -895 (thread 0) 35.21/17.75 c lb -894 (thread 0) 35.21/17.79 c lb -893 (thread 0) 35.41/17.84 c lb -892 (thread 0) 35.41/17.89 c lb -891 (thread 0) 35.61/17.94 c lb -890 (thread 0) 35.61/17.99 c lb -889 (thread 0) 35.81/18.04 c lb -888 (thread 0) 35.81/18.08 c lb -887 (thread 0) 36.01/18.13 c lb -886 (thread 0) 36.01/18.18 c lb -885 (thread 0) 36.20/18.23 c lb -884 (thread 0) 36.20/18.28 c lb -883 (thread 0) 36.40/18.33 c lb -882 (thread 0) 36.40/18.38 c lb -881 (thread 0) 36.60/18.43 c lb -880 (thread 0) 36.60/18.48 c lb -879 (thread 0) 36.80/18.53 c lb -878 (thread 0) 36.80/18.58 c lb -877 (thread 0) 37.01/18.63 c lb -876 (thread 0) 37.01/18.68 c lb -875 (thread 0) 37.21/18.73 c lb -874 (thread 0) 37.21/18.78 c lb -873 (thread 0) 37.40/18.83 c lb -872 (thread 0) 37.40/18.88 c lb -871 (thread 0) 37.60/18.93 c lb -870 (thread 0) 37.60/18.98 c lb -869 (thread 0) 37.81/19.04 c lb -868 (thread 0) 37.81/19.09 c lb -867 (thread 0) 38.01/19.14 c lb -866 (thread 0) 38.01/19.19 c lb -865 (thread 0) 38.21/19.24 c lb -864 (thread 0) 38.21/19.29 c lb -863 (thread 0) 38.41/19.34 c lb -862 (thread 0) 38.41/19.40 c lb -861 (thread 0) 38.61/19.45 c lb -860 (thread 0) 38.81/19.50 c lb -859 (thread 0) 38.81/19.55 c lb -858 (thread 0) 39.01/19.60 c lb -857 (thread 0) 39.01/19.65 c lb -856 (thread 0) 39.22/19.70 c lb -855 (thread 0) 39.22/19.76 c lb -854 (thread 0) 39.42/19.81 c lb -853 (thread 0) 39.42/19.86 c lb -852 (thread 0) 39.61/19.91 c lb -851 (thread 0) 39.61/19.97 c lb -850 (thread 0) 39.80/20.02 c lb -849 (thread 0) 39.80/20.07 c lb -848 (thread 0) 40.00/20.13 c lb -847 (thread 0) 40.00/20.18 c lb -846 (thread 0) 40.20/20.23 c lb -845 (thread 0) 40.20/20.29 c lb -844 (thread 0) 40.40/20.34 c lb -843 (thread 0) 40.40/20.39 c lb -842 (thread 0) 40.60/20.45 c lb -841 (thread 0) 40.80/20.50 c lb -840 (thread 0) 40.80/20.55 c lb -839 (thread 0) 41.00/20.61 c lb -838 (thread 0) 41.00/20.66 c lb -837 (thread 0) 41.20/20.72 c lb -836 (thread 0) 41.20/20.77 c lb -835 (thread 0) 41.41/20.83 c lb -834 (thread 0) 41.41/20.88 c lb -833 (thread 0) 41.61/20.93 c lb -832 (thread 0) 41.61/20.99 c lb -831 (thread 0) 41.81/21.04 c lb -830 (thread 0) 42.01/21.10 c lb -829 (thread 0) 42.01/21.15 c lb -828 (thread 0) 42.21/21.21 c lb -827 (thread 0) 42.21/21.26 c lb -826 (thread 0) 42.41/21.32 c lb -825 (thread 0) 42.41/21.37 c lb -824 (thread 0) 42.61/21.43 c lb -823 (thread 0) 42.61/21.49 c lb -822 (thread 0) 42.81/21.54 c lb -821 (thread 0) 43.01/21.60 c lb -820 (thread 0) 43.01/21.65 c lb -819 (thread 0) 43.21/21.71 c lb -818 (thread 0) 43.21/21.77 c lb -817 (thread 0) 43.41/21.82 c lb -816 (thread 0) 43.41/21.88 c lb -815 (thread 0) 43.62/21.94 c lb -814 (thread 0) 43.62/22.00 c lb -813 (thread 0) 43.82/22.05 c lb -812 (thread 0) 44.01/22.11 c lb -811 (thread 0) 44.01/22.17 c lb -810 (thread 0) 44.21/22.23 c lb -809 (thread 0) 44.21/22.28 c lb -808 (thread 0) 44.41/22.34 c lb -807 (thread 0) 44.60/22.40 c lb -806 (thread 0) 44.60/22.46 c lb -805 (thread 0) 44.80/22.51 c lb -804 (thread 0) 44.80/22.57 c lb -803 (thread 0) 45.00/22.63 c lb -802 (thread 0) 45.00/22.69 c lb -801 (thread 0) 45.20/22.74 c lb -800 (thread 0) 45.41/22.80 c lb -799 (thread 0) 45.41/22.86 c lb -798 (thread 0) 45.61/22.92 c lb -797 (thread 0) 45.61/22.98 c lb -796 (thread 0) 45.82/23.04 c lb -795 (thread 0) 45.82/23.09 c lb -794 (thread 0) 46.02/23.15 c lb -793 (thread 0) 46.20/23.21 c lb -792 (thread 0) 46.20/23.27 c lb -791 (thread 0) 46.40/23.33 c lb -790 (thread 0) 46.40/23.39 c lb -789 (thread 0) 46.60/23.45 c lb -788 (thread 0) 46.80/23.51 c lb -787 (thread 0) 46.80/23.57 c lb -786 (thread 0) 47.00/23.63 c lb -785 (thread 0) 47.00/23.69 c lb -784 (thread 0) 47.20/23.75 c lb -783 (thread 0) 47.40/23.81 c lb -782 (thread 0) 47.40/23.86 c lb -781 (thread 0) 47.60/23.92 c lb -780 (thread 0) 47.60/23.98 c lb -779 (thread 0) 47.80/24.04 c lb -778 (thread 0) 48.02/24.10 c lb -777 (thread 0) 48.02/24.16 c lb -776 (thread 0) 48.21/24.22 c lb -775 (thread 0) 48.21/24.28 c lb -774 (thread 0) 48.40/24.35 c lb -773 (thread 0) 48.60/24.41 c lb -772 (thread 0) 48.60/24.47 c lb -771 (thread 0) 48.80/24.53 c lb -770 (thread 0) 48.80/24.59 c lb -769 (thread 0) 49.00/24.65 c lb -768 (thread 0) 49.20/24.71 c lb -767 (thread 0) 49.20/24.77 c lb -766 (thread 0) 49.40/24.84 c lb -765 (thread 0) 49.61/24.90 c lb -764 (thread 0) 49.61/24.96 c lb -763 (thread 0) 49.81/25.02 c lb -762 (thread 0) 49.81/25.08 c lb -761 (thread 0) 50.01/25.14 c lb -760 (thread 0) 50.22/25.21 c lb -759 (thread 0) 50.22/25.27 c lb -758 (thread 0) 50.42/25.33 c lb -757 (thread 0) 50.42/25.39 c lb -756 (thread 0) 50.61/25.46 c lb -755 (thread 0) 50.81/25.52 c lb -754 (thread 0) 50.81/25.58 c lb -753 (thread 0) 51.01/25.64 c lb -752 (thread 0) 51.21/25.71 c lb -751 (thread 0) 51.21/25.77 c lb -750 (thread 0) 51.41/25.83 c lb -749 (thread 0) 51.41/25.89 c lb -748 (thread 0) 51.61/25.96 c lb -747 (thread 0) 51.81/26.02 c lb -746 (thread 0) 51.81/26.08 c lb -745 (thread 0) 52.01/26.15 c lb -744 (thread 0) 52.21/26.21 c lb -743 (thread 0) 52.21/26.27 c lb -742 (thread 0) 52.42/26.34 c lb -741 (thread 0) 52.42/26.40 c lb -740 (thread 0) 52.62/26.47 c lb -739 (thread 0) 52.81/26.53 c lb -738 (thread 0) 52.81/26.59 c lb -737 (thread 0) 53.00/26.66 c lb -736 (thread 0) 53.20/26.72 c lb -735 (thread 0) 53.20/26.78 c lb -734 (thread 0) 53.40/26.85 c lb -733 (thread 0) 53.60/26.91 c lb -732 (thread 0) 53.60/26.98 c lb -731 (thread 0) 53.80/27.04 c lb -730 (thread 0) 54.01/27.11 c lb -729 (thread 0) 54.01/27.17 c lb -728 (thread 0) 54.21/27.23 c lb -727 (thread 0) 54.41/27.30 c lb -726 (thread 0) 54.41/27.36 c lb -725 (thread 0) 54.62/27.43 c lb -724 (thread 0) 54.62/27.49 c lb -723 (thread 0) 54.82/27.56 c lb -722 (thread 0) 55.01/27.62 c lb -721 (thread 0) 55.01/27.69 c lb -720 (thread 0) 55.20/27.75 c lb -719 (thread 0) 55.40/27.82 c lb -718 (thread 0) 55.40/27.88 c lb -717 (thread 0) 55.60/27.95 c lb -716 (thread 0) 55.80/28.01 c lb -715 (thread 0) 55.80/28.08 c lb -714 (thread 0) 56.00/28.14 c lb -713 (thread 0) 56.20/28.21 c lb -712 (thread 0) 56.20/28.27 c lb -711 (thread 0) 56.40/28.34 c lb -710 (thread 0) 56.60/28.40 c lb -709 (thread 0) 56.60/28.47 c lb -708 (thread 0) 56.81/28.54 c lb -707 (thread 0) 57.02/28.60 c lb -706 (thread 0) 57.02/28.67 c lb -705 (thread 0) 57.21/28.73 c lb -704 (thread 0) 57.41/28.80 c lb -703 (thread 0) 57.41/28.87 c lb -702 (thread 0) 57.61/28.93 c lb -701 (thread 0) 57.81/29.00 c lb -700 (thread 0) 57.81/29.07 c lb -699 (thread 0) 58.01/29.14 c lb -698 (thread 0) 58.21/29.20 c lb -697 (thread 0) 58.21/29.27 c lb -696 (thread 0) 58.41/29.34 c lb -695 (thread 0) 58.61/29.41 c lb -694 (thread 0) 58.61/29.47 c lb -693 (thread 0) 58.81/29.54 c lb -692 (thread 0) 59.01/29.62 c lb -691 (thread 0) 59.01/29.69 c lb -690 (thread 0) 59.21/29.76 c lb -689 (thread 0) 59.40/29.82 c lb -688 (thread 0) 59.40/29.89 c lb -687 (thread 0) 59.60/29.96 c lb -686 (thread 0) 59.80/30.03 c lb -685 (thread 0) 60.00/30.10 c lb -684 (thread 0) 60.00/30.17 c lb -683 (thread 0) 60.20/30.24 c lb -682 (thread 0) 60.40/30.31 c lb -681 (thread 0) 60.40/30.38 c lb -680 (thread 0) 60.60/30.45 c lb -679 (thread 0) 60.80/30.52 c lb -678 (thread 0) 60.80/30.59 c lb -677 (thread 0) 61.00/30.66 c lb -676 (thread 0) 61.21/30.73 c lb -675 (thread 0) 61.21/30.80 c lb -674 (thread 0) 61.41/30.87 c lb -673 (thread 0) 61.60/30.93 c lb -672 (thread 0) 61.80/31.01 c lb -671 (thread 0) 61.80/31.07 c lb -670 (thread 0) 62.00/31.14 c lb -669 (thread 0) 62.20/31.21 c lb -668 (thread 0) 62.20/31.28 c lb -667 (thread 0) 62.40/31.36 c lb -666 (thread 0) 62.60/31.42 c lb -665 (thread 0) 62.80/31.50 c lb -664 (thread 0) 62.80/31.57 c lb -663 (thread 0) 63.00/31.64 c lb -662 (thread 0) 63.20/31.71 c lb -661 (thread 0) 63.20/31.77 c lb -660 (thread 0) 63.41/31.84 c lb -659 (thread 0) 63.61/31.91 c lb -658 (thread 0) 63.61/31.99 c lb -657 (thread 0) 63.80/32.06 c lb -656 (thread 0) 64.00/32.13 c lb -655 (thread 0) 64.20/32.20 c lb -654 (thread 0) 64.20/32.27 c lb -653 (thread 0) 64.40/32.34 c lb -652 (thread 0) 64.60/32.41 c lb -651 (thread 0) 64.60/32.48 c lb -650 (thread 0) 64.80/32.55 c lb -649 (thread 0) 65.00/32.62 c lb -648 (thread 0) 65.00/32.69 c lb -647 (thread 0) 65.20/32.76 c lb -646 (thread 0) 65.40/32.83 c lb -645 (thread 0) 65.40/32.90 c lb -644 (thread 0) 65.62/32.97 c lb -643 (thread 0) 65.82/33.04 c lb -642 (thread 0) 66.00/33.11 c lb -641 (thread 0) 66.00/33.18 c lb -640 (thread 0) 66.20/33.25 c lb -639 (thread 0) 66.40/33.32 c lb -638 (thread 0) 66.40/33.39 c lb -637 (thread 0) 66.60/33.47 c lb -636 (thread 0) 66.80/33.54 c lb -635 (thread 0) 67.00/33.61 c lb -634 (thread 0) 67.00/33.68 c lb -633 (thread 0) 67.20/33.75 c lb -632 (thread 0) 67.40/33.82 c lb -631 (thread 0) 67.40/33.89 c lb -630 (thread 0) 67.60/33.96 c lb -629 (thread 0) 67.81/34.03 c lb -628 (thread 0) 68.01/34.11 c lb -627 (thread 0) 68.01/34.18 c lb -626 (thread 0) 68.20/34.25 c lb -625 (thread 0) 68.40/34.32 c lb -624 (thread 0) 68.40/34.39 c lb -623 (thread 0) 68.60/34.46 c lb -622 (thread 0) 68.80/34.53 c lb -621 (thread 0) 69.00/34.61 c lb -620 (thread 0) 69.00/34.68 c lb -619 (thread 0) 69.20/34.75 c lb -618 (thread 0) 69.40/34.82 c lb -617 (thread 0) 69.40/34.89 c lb -616 (thread 0) 69.60/34.97 c lb -615 (thread 0) 69.80/35.04 c lb -614 (thread 0) 70.01/35.11 c lb -613 (thread 0) 70.01/35.18 c lb -612 (thread 0) 70.21/35.25 c lb -611 (thread 0) 70.40/35.33 c lb -610 (thread 0) 70.61/35.40 c lb -609 (thread 0) 70.61/35.47 c lb -608 (thread 0) 70.80/35.55 c lb -607 (thread 0) 71.00/35.62 c lb -606 (thread 0) 71.00/35.69 c lb -605 (thread 0) 71.20/35.77 c lb -604 (thread 0) 71.40/35.84 c lb -603 (thread 0) 71.60/35.91 c lb -602 (thread 0) 71.60/35.98 c lb -601 (thread 0) 71.80/36.06 c lb -600 (thread 0) 72.00/36.13 c lb -599 (thread 0) 72.21/36.20 c lb -598 (thread 0) 72.21/36.28 c lb -597 (thread 0) 72.41/36.35 c lb -596 (thread 0) 72.60/36.42 c lb -595 (thread 0) 72.60/36.49 c lb -594 (thread 0) 72.80/36.57 c lb -593 (thread 0) 73.00/36.64 c lb -592 (thread 0) 73.20/36.71 c lb -591 (thread 0) 73.20/36.79 c lb -590 (thread 0) 73.40/36.86 c lb -589 (thread 0) 73.60/36.94 c lb -588 (thread 0) 73.80/37.01 c lb -587 (thread 0) 73.80/37.08 c lb -586 (thread 0) 74.00/37.16 c lb -585 (thread 0) 74.20/37.22 c lb -584 (thread 0) 74.41/37.31 c lb -583 (thread 0) 74.41/37.37 c lb -582 (thread 0) 74.61/37.45 c lb -581 (thread 0) 74.80/37.52 c lb -580 (thread 0) 75.00/37.60 c lb -579 (thread 0) 75.00/37.67 c lb -578 (thread 0) 75.20/37.75 c lb -577 (thread 0) 75.40/37.82 c lb -576 (thread 0) 75.40/37.89 c lb -575 (thread 0) 75.60/37.96 c lb -574 (thread 0) 75.80/38.04 c lb -573 (thread 0) 76.00/38.11 c lb -572 (thread 0) 76.00/38.19 c lb -571 (thread 0) 76.20/38.26 c lb -570 (thread 0) 76.40/38.34 c lb -569 (thread 0) 76.61/38.41 c lb -568 (thread 0) 76.61/38.49 c lb -567 (thread 0) 76.81/38.56 c lb -566 (thread 0) 77.00/38.64 c lb -565 (thread 0) 77.20/38.71 c lb -564 (thread 0) 77.20/38.79 c lb -563 (thread 0) 77.40/38.86 c lb -562 (thread 0) 77.60/38.94 c lb -561 (thread 0) 77.81/39.01 c lb -560 (thread 0) 77.81/39.09 c lb -559 (thread 0) 78.01/39.16 c lb -558 (thread 0) 78.21/39.23 c lb -557 (thread 0) 78.41/39.31 c lb -556 (thread 0) 78.41/39.38 c lb -555 (thread 0) 78.61/39.46 c lb -554 (thread 0) 78.82/39.53 c lb -553 (thread 0) 79.01/39.61 c lb -552 (thread 0) 79.01/39.68 c lb -551 (thread 0) 79.20/39.76 c lb -550 (thread 0) 79.40/39.83 c lb -549 (thread 0) 79.60/39.90 c lb -548 (thread 0) 79.60/39.98 c lb -547 (thread 0) 79.80/40.05 c lb -546 (thread 0) 80.00/40.13 c lb -545 (thread 0) 80.20/40.20 c lb -544 (thread 0) 80.20/40.28 c lb -543 (thread 0) 80.40/40.35 c lb -542 (thread 0) 80.60/40.43 c lb -541 (thread 0) 80.80/40.50 c lb -540 (thread 0) 80.80/40.57 c lb -539 (thread 0) 81.02/40.65 c lb -538 (thread 0) 81.22/40.72 c lb -537 (thread 0) 81.41/40.80 c lb -536 (thread 0) 81.41/40.87 c lb -535 (thread 0) 81.60/40.95 c lb -534 (thread 0) 81.80/41.02 c lb -533 (thread 0) 82.00/41.10 c lb -532 (thread 0) 82.00/41.17 c lb -531 (thread 0) 82.20/41.25 c lb -530 (thread 0) 82.40/41.32 c lb -529 (thread 0) 82.40/41.40 c lb -528 (thread 0) 82.60/41.47 c lb -527 (thread 0) 82.80/41.55 c lb -526 (thread 0) 83.00/41.62 c lb -525 (thread 0) 83.00/41.69 c lb -524 (thread 0) 83.21/41.77 c lb -523 (thread 0) 83.41/41.84 c lb -522 (thread 0) 83.60/41.92 c lb -521 (thread 0) 83.60/41.99 c lb -520 (thread 0) 83.80/42.07 c lb -519 (thread 0) 84.00/42.14 c lb -518 (thread 0) 84.20/42.22 c lb -517 (thread 0) 84.20/42.30 c lb -516 (thread 0) 84.40/42.37 c lb -515 (thread 0) 84.60/42.45 c lb -514 (thread 0) 84.80/42.52 c lb -513 (thread 0) 85.00/42.60 c lb -512 (thread 0) 85.00/42.67 c lb -511 (thread 0) 85.20/42.75 c lb -510 (thread 0) 85.41/42.82 c lb -509 (thread 0) 85.41/42.90 c lb -508 (thread 0) 85.61/42.97 c lb -507 (thread 0) 85.80/43.05 c lb -506 (thread 0) 86.00/43.12 c lb -505 (thread 0) 86.20/43.20 c lb -504 (thread 0) 86.20/43.27 c lb -503 (thread 0) 86.40/43.35 c lb -502 (thread 0) 86.60/43.42 c lb -501 (thread 0) 86.80/43.50 c lb -500 (thread 0) 86.80/43.57 c lb -499 (thread 0) 87.00/43.65 c lb -498 (thread 0) 87.20/43.72 c lb -497 (thread 0) 87.40/43.80 c lb -496 (thread 0) 87.40/43.87 c lb -495 (thread 0) 87.61/43.95 c lb -494 (thread 0) 87.82/44.02 c lb -493 (thread 0) 88.01/44.10 c lb -492 (thread 0) 88.01/44.17 c lb -491 (thread 0) 88.20/44.25 c lb -490 (thread 0) 88.40/44.32 c lb -489 (thread 0) 88.60/44.40 c lb -488 (thread 0) 88.60/44.47 c lb -487 (thread 0) 88.80/44.55 c lb -486 (thread 0) 89.00/44.62 c lb -485 (thread 0) 89.20/44.70 c lb -484 (thread 0) 89.20/44.77 c lb -483 (thread 0) 89.40/44.85 c lb -482 (thread 0) 89.60/44.92 c lb -481 (thread 0) 89.60/45.00 c lb -480 (thread 0) 89.81/45.08 c lb -479 (thread 0) 90.01/45.15 c lb -478 (thread 0) 90.20/45.23 c lb -477 (thread 0) 90.40/45.30 c lb -476 (thread 0) 90.40/45.38 c lb -475 (thread 0) 90.60/45.45 c lb -474 (thread 0) 90.80/45.53 c lb -473 (thread 0) 91.00/45.60 c lb -472 (thread 0) 91.00/45.68 c lb -471 (thread 0) 91.20/45.75 c lb -470 (thread 0) 91.40/45.83 c lb -469 (thread 0) 91.60/45.90 c lb -468 (thread 0) 91.60/45.98 c lb -467 (thread 0) 91.80/46.06 c lb -466 (thread 0) 92.01/46.13 c lb -465 (thread 0) 92.22/46.21 c lb -464 (thread 0) 92.22/46.28 c lb -463 (thread 0) 92.40/46.36 c lb -462 (thread 0) 92.60/46.43 c lb -461 (thread 0) 92.80/46.51 c lb -460 (thread 0) 92.80/46.58 c lb -459 (thread 0) 93.00/46.66 c lb -458 (thread 0) 93.20/46.74 c lb -457 (thread 0) 93.40/46.81 c lb -456 (thread 0) 93.40/46.89 c lb -455 (thread 0) 93.60/46.97 c lb -454 (thread 0) 93.80/47.04 c lb -453 (thread 0) 94.00/47.12 c lb -452 (thread 0) 94.00/47.19 c lb -451 (thread 0) 94.21/47.27 c lb -450 (thread 0) 94.41/47.34 c lb -449 (thread 0) 94.60/47.42 c lb -448 (thread 0) 94.60/47.49 c lb -447 (thread 0) 94.80/47.57 c lb -446 (thread 0) 95.00/47.65 c lb -445 (thread 0) 95.20/47.72 c lb -444 (thread 0) 95.40/47.80 c lb -443 (thread 0) 95.40/47.88 c lb -442 (thread 0) 95.60/47.95 c lb -441 (thread 0) 95.80/48.03 c lb -440 (thread 0) 96.00/48.10 c lb -439 (thread 0) 96.00/48.18 c lb -438 (thread 0) 96.20/48.25 c lb -437 (thread 0) 96.41/48.33 c lb -436 (thread 0) 96.61/48.41 c lb -435 (thread 0) 96.61/48.49 c lb -434 (thread 0) 96.80/48.56 c lb -433 (thread 0) 97.00/48.64 c lb -432 (thread 0) 97.20/48.71 c lb -431 (thread 0) 97.20/48.79 c lb -430 (thread 0) 97.40/48.86 c lb -429 (thread 0) 97.60/48.94 c lb -428 (thread 0) 97.80/49.02 c lb -427 (thread 0) 98.00/49.10 c lb -426 (thread 0) 98.00/49.17 c lb -425 (thread 0) 98.20/49.25 c lb -424 (thread 0) 98.41/49.32 c lb -423 (thread 0) 98.61/49.40 c lb -422 (thread 0) 98.61/49.48 c lb -421 (thread 0) 98.81/49.56 c lb -420 (thread 0) 99.00/49.63 c lb -419 (thread 0) 99.20/49.72 c lb -418 (thread 0) 99.20/49.79 c lb -417 (thread 0) 99.40/49.87 c lb -416 (thread 0) 99.60/49.94 c lb -415 (thread 0) 99.80/50.03 c lb -414 (thread 0) 100.00/50.10 c lb -413 (thread 0) 100.00/50.18 c lb -412 (thread 0) 100.21/50.26 c lb -411 (thread 0) 100.40/50.34 c lb -410 (thread 0) 100.60/50.42 c lb -409 (thread 0) 100.60/50.50 c lb -408 (thread 0) 100.81/50.57 c lb -407 (thread 0) 101.02/50.65 c lb -406 (thread 0) 101.02/50.69 c ub -18 (thread 1) 101.20/50.73 o -18 101.20/50.73 c lb -405 (thread 0) 101.40/50.81 c lb -404 (thread 0) 101.40/50.88 c lb -403 (thread 0) 101.80/51.06 c lb -402 (thread 0) 102.00/51.14 c lb -401 (thread 0) 102.20/51.22 c lb -400 (thread 0) 102.40/51.30 c lb -399 (thread 0) 102.40/51.38 c lb -398 (thread 0) 102.60/51.45 c lb -397 (thread 0) 102.80/51.54 c lb -396 (thread 0) 103.02/51.61 c lb -395 (thread 0) 103.02/51.70 c lb -394 (thread 0) 103.21/51.77 c lb -393 (thread 0) 103.40/51.85 c lb -392 (thread 0) 103.60/51.93 c lb -391 (thread 0) 103.81/52.01 c lb -390 (thread 0) 104.00/52.10 c lb -389 (thread 0) 104.00/52.18 c lb -388 (thread 0) 104.20/52.26 c lb -387 (thread 0) 104.40/52.34 c lb -386 (thread 0) 104.60/52.43 c lb -385 (thread 0) 104.81/52.51 c lb -384 (thread 0) 105.00/52.60 c lb -383 (thread 0) 105.21/52.73 c lb -382 (thread 0) 105.41/52.81 c lb -381 (thread 0) 105.41/52.89 c lb -380 (thread 0) 105.60/52.97 c lb -379 (thread 0) 105.80/53.07 c lb -378 (thread 0) 106.00/53.15 c lb -377 (thread 0) 106.20/53.23 c lb -376 (thread 0) 106.40/53.31 c lb -375 (thread 0) 106.40/53.39 c lb -374 (thread 0) 106.60/53.47 c lb -373 (thread 0) 106.80/53.55 c lb -372 (thread 0) 107.00/53.64 c lb -371 (thread 0) 107.20/53.71 c lb -370 (thread 0) 107.20/53.79 c lb -369 (thread 0) 107.41/53.88 c lb -368 (thread 0) 107.81/54.08 c lb -367 (thread 0) 108.00/54.16 c lb -366 (thread 0) 108.20/54.25 c lb -365 (thread 0) 108.40/54.35 c lb -364 (thread 0) 108.80/54.54 c lb -363 (thread 0) 109.00/54.62 c lb -362 (thread 0) 109.21/54.70 c lb -361 (thread 0) 109.21/54.79 c lb -360 (thread 0) 109.40/54.88 c lb -359 (thread 0) 109.61/54.97 c lb -358 (thread 0) 110.00/55.13 c lb -357 (thread 0) 110.21/55.22 c lb -356 (thread 0) 110.40/55.30 c lb -355 (thread 0) 110.60/55.41 c lb -354 (thread 0) 111.60/55.93 c lb -353 (thread 0) 111.81/56.01 c lb -352 (thread 0) 111.81/56.09 c lb -351 (thread 0) 112.01/56.19 c lb -350 (thread 0) 112.20/56.28 c lb -349 (thread 0) 112.40/56.36 c lb -348 (thread 0) 112.60/56.42 c ub -19 (thread 1) 113.40/56.85 o -19 113.40/56.85 c lb -347 (thread 0) 113.60/56.97 c lb -346 (thread 0) 113.80/57.05 c lb -345 (thread 0) 114.01/57.17 c lb -344 (thread 0) 114.21/57.26 c lb -343 (thread 0) 114.40/57.39 c lb -342 (thread 0) 114.80/57.53 c lb -341 (thread 0) 115.00/57.65 c lb -340 (thread 0) 115.40/57.87 c lb -339 (thread 0) 115.80/58.02 c lb -338 (thread 0) 116.00/58.12 c lb -337 (thread 0) 116.21/58.20 c lb -336 (thread 0) 116.41/58.31 c lb -335 (thread 0) 118.00/59.17 c lb -334 (thread 0) 125.80/63.06 c lb -333 (thread 0) 127.21/63.75 c lb -332 (thread 0) 127.21/63.80 c ub -20 (thread 1) 127.41/63.84 o -20 127.41/63.84 c lb -331 (thread 0) 132.80/66.57 c ub -21 (thread 1) 145.60/72.98 o -21 145.60/72.98 c lb -330 (thread 0) 657.22/328.76 c ub -22 (thread 1) 1101.44/550.82 o -22 1101.44/550.82 c lb -329 (thread 0) 1248.84/624.57 c lb -328 (thread 0) 1249.46/624.87 c lb -327 (thread 0) 1662.87/831.58 c lb -326 (thread 0) 1800.07/900.11 s SATISFIABLE 1800.07/900.11 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -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 1800.07/900.11 c Memory used : 1172.43 MB 1800.07/900.11 c CPU time : 1794.16 s
OK -22
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500324-1307993578/watcher-3500324-1307993578 -o /var/tmp/evaluation-result-3500324-1307993578/solver-3500324-1307993578 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500324-1307993578.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.07 4.02 3.84 3/179 23599 /proc/meminfo: memFree=15065508/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=5416 CPUtime=0 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) R 23597 23599 22391 0 -1 4202496 487 0 0 0 0 0 0 0 25 0 1 0 891773400 5545984 440 33554432000 4194304 5714118 140735338045968 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23599/statm: 1354 440 166 372 0 323 0 [startup+0.0779679 s] /proc/loadavg: 4.07 4.02 3.84 3/179 23599 /proc/meminfo: memFree=15065508/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=12864 CPUtime=0.07 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) R 23597 23599 22391 0 -1 4202496 2549 0 0 0 7 0 0 0 25 0 1 0 891773400 13172736 2436 33554432000 4194304 5714118 140735338045968 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23599/statm: 3216 2437 422 372 0 2185 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12864 [startup+0.10096 s] /proc/loadavg: 4.07 4.02 3.84 3/179 23599 /proc/meminfo: memFree=15065508/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=14712 CPUtime=0.09 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) R 23597 23599 22391 0 -1 4202496 3185 0 0 0 9 0 0 0 25 0 1 0 891773400 15065088 3072 33554432000 4194304 5714118 140735338045968 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23599/statm: 3678 3073 506 372 0 2647 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14712 [startup+0.334942 s] /proc/loadavg: 4.07 4.02 3.84 3/179 23599 /proc/meminfo: memFree=15065508/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=151992 CPUtime=0.47 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 16667 0 0 0 44 3 0 0 25 0 3 0 891773400 155639808 15337 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 37998 15338 178 372 0 37623 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 151992 [startup+0.700841 s] /proc/loadavg: 4.07 4.02 3.84 3/179 23599 /proc/meminfo: memFree=15065508/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=151992 CPUtime=1.2 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 19152 0 0 0 115 5 0 0 25 0 3 0 891773400 155639808 17822 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 37998 17822 178 372 0 37623 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 151992 [startup+1.50068 s] /proc/loadavg: 3.98 4.01 3.84 5/182 23602 /proc/meminfo: memFree=14988044/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=151992 CPUtime=2.81 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 24229 0 0 0 272 9 0 0 25 0 3 0 891773400 155639808 22159 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 37998 22159 178 372 0 37623 0 [pid=23599/tid=23601] ppid=23597 vsize=151992 CPUtime=1.31 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 7763 0 0 0 130 1 0 0 18 0 3 0 891773418 155639808 22159 33554432000 4194304 5714118 140735338045968 18446744073709551615 4356046 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=151992 CPUtime=1.3 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 10847 0 0 0 124 6 0 0 19 0 3 0 891773418 155639808 22159 33554432000 4194304 5714118 140735338045968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.81 Current children cumulated vsize (KiB) 151992 [startup+3.10037 s] /proc/loadavg: 3.98 4.01 3.84 5/182 23602 /proc/meminfo: memFree=14964732/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=217528 CPUtime=6.01 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 29885 0 0 0 589 12 0 0 25 0 3 0 891773400 222748672 27815 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 54382 27815 178 372 0 54007 0 [pid=23599/tid=23601] ppid=23597 vsize=217528 CPUtime=2.9 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 7838 0 0 0 289 1 0 0 20 0 3 0 891773418 222748672 27815 33554432000 4194304 5714118 140735338045968 18446744073709551615 4967812 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=217528 CPUtime=2.9 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 16428 0 0 0 281 9 0 0 24 0 3 0 891773418 222748672 27815 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 217528 [startup+6.30073 s] /proc/loadavg: 3.98 4.01 3.84 5/182 23602 /proc/meminfo: memFree=14927976/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=217528 CPUtime=12.4 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 36692 0 0 0 1225 15 0 0 25 0 3 0 891773400 222748672 34622 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 54382 34624 178 372 0 54007 0 [pid=23599/tid=23601] ppid=23597 vsize=217528 CPUtime=6.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 8110 0 0 0 609 2 0 0 25 0 3 0 891773418 222748672 34624 33554432000 4194304 5714118 140735338045968 18446744073709551615 4964789 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=217528 CPUtime=6.1 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 22965 0 0 0 598 12 0 0 25 0 3 0 891773418 222748672 34624 33554432000 4194304 5714118 140735338045968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.4 Current children cumulated vsize (KiB) 217528 [startup+12.7005 s] /proc/loadavg: 3.98 4.01 3.84 5/182 23602 /proc/meminfo: memFree=14880040/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=217528 CPUtime=25.2 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 45741 0 0 0 2500 20 0 0 25 0 3 0 891773400 222748672 43671 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 54382 43671 178 372 0 54007 0 [pid=23599/tid=23601] ppid=23597 vsize=217528 CPUtime=12.51 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 8882 0 0 0 1249 2 0 0 25 0 3 0 891773418 222748672 43671 33554432000 4194304 5714118 140735338045968 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=217528 CPUtime=12.51 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 31240 0 0 0 1234 17 0 0 25 0 3 0 891773418 222748672 43671 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 217528 [startup+25.5009 s] /proc/loadavg: 3.99 4.01 3.84 5/182 23602 /proc/meminfo: memFree=14816968/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=283064 CPUtime=50.81 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 66327 0 0 0 5053 28 0 0 25 0 3 0 891773400 289857536 54231 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 70766 54231 178 372 0 70391 0 [pid=23599/tid=23601] ppid=23597 vsize=283064 CPUtime=25.31 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 21023 0 0 0 2527 4 0 0 25 0 3 0 891773418 289857536 54231 33554432000 4194304 5714118 140735338045968 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=283064 CPUtime=25.31 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 39685 0 0 0 2508 23 0 0 25 0 3 0 891773418 289857536 54231 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.81 Current children cumulated vsize (KiB) 283064 [startup+51.1008 s] /proc/loadavg: 3.99 4.00 3.84 5/182 23603 /proc/meminfo: memFree=14706524/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=348600 CPUtime=102 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 115782 0 0 0 10154 46 0 0 25 0 3 0 891773400 356966400 75598 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 87150 75598 178 372 0 86775 0 [pid=23599/tid=23601] ppid=23597 vsize=348600 CPUtime=50.9 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 52131 0 0 0 5078 12 0 0 25 0 3 0 891773418 356966400 75598 33554432000 4194304 5714118 140735338045968 18446744073709551615 4355703 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=348600 CPUtime=50.91 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 58032 0 0 0 5058 33 0 0 25 0 3 0 891773418 356966400 75598 33554432000 4194304 5714118 140735338045968 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 102 Current children cumulated vsize (KiB) 348600 [startup+102.307 s] /proc/loadavg: 3.99 4.00 3.85 5/182 23604 /proc/meminfo: memFree=14603144/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=414136 CPUtime=204.42 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 138294 0 0 0 20293 149 0 0 25 0 3 0 891773400 424075264 94274 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 103534 94274 179 372 0 103159 0 [pid=23599/tid=23601] ppid=23597 vsize=414136 CPUtime=102.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 73427 0 0 0 10106 105 0 0 25 0 3 0 891773418 424075264 94274 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=414136 CPUtime=102.11 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 59248 0 0 0 10168 43 0 0 25 0 3 0 891773418 424075264 94275 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.42 Current children cumulated vsize (KiB) 414136 [startup+162.301 s] /proc/loadavg: 3.99 4.00 3.85 5/182 23606 /proc/meminfo: memFree=14339604/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=612368 CPUtime=324.41 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 175839 0 0 0 32251 190 0 0 25 0 3 0 891773400 627064832 131818 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 153092 131819 179 372 0 152717 0 [pid=23599/tid=23601] ppid=23597 vsize=612368 CPUtime=162.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 86618 0 0 0 16081 130 0 0 25 0 3 0 891773418 627064832 131819 33554432000 4194304 5714118 140735338045968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=612368 CPUtime=162.12 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 83603 0 0 0 16153 59 0 0 25 0 3 0 891773418 627064832 131819 33554432000 4194304 5714118 140735338045968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 324.41 Current children cumulated vsize (KiB) 612368 [startup+222.301 s] /proc/loadavg: 3.99 4.00 3.86 5/182 23608 /proc/meminfo: memFree=14156300/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=677904 CPUtime=444.41 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 202647 0 0 0 44210 231 0 0 25 0 3 0 891773400 694173696 158621 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 169476 158621 179 372 0 169101 0 [pid=23599/tid=23601] ppid=23597 vsize=677904 CPUtime=222.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 90400 0 0 0 22052 159 0 0 25 0 3 0 891773418 694173696 158621 33554432000 4194304 5714118 140735338045968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=677904 CPUtime=222.11 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 106628 0 0 0 22140 71 0 0 25 0 3 0 891773418 694173696 158621 33554432000 4194304 5714118 140735338045968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 444.41 Current children cumulated vsize (KiB) 677904 [startup+282.301 s] /proc/loadavg: 4.04 4.01 3.87 5/182 23609 /proc/meminfo: memFree=13825304/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=808976 CPUtime=564.41 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 222127 0 0 0 56181 260 0 0 25 0 3 0 891773400 828391424 178096 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 202244 178096 179 372 0 201869 0 [pid=23599/tid=23601] ppid=23597 vsize=808976 CPUtime=282.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 96284 0 0 0 28033 178 0 0 25 0 3 0 891773418 828391424 178096 33554432000 4194304 5714118 140735338045968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=808976 CPUtime=282.12 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 120224 0 0 0 28131 81 0 0 25 0 3 0 891773418 828391424 178096 33554432000 4194304 5714118 140735338045968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 564.41 Current children cumulated vsize (KiB) 808976 [startup+342.301 s] /proc/loadavg: 4.01 4.01 3.88 5/182 23611 /proc/meminfo: memFree=13619556/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=875320 CPUtime=684.42 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 239680 0 0 0 68146 296 0 0 25 0 3 0 891773400 896327680 195647 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 218830 195647 179 372 0 218455 0 [pid=23599/tid=23601] ppid=23597 vsize=875320 CPUtime=342.12 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 101563 0 0 0 34009 203 0 0 25 0 3 0 891773418 896327680 195647 33554432000 4194304 5714118 140735338045968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=875320 CPUtime=342.12 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 132498 0 0 0 34120 92 0 0 25 0 3 0 891773418 896327680 195647 33554432000 4194304 5714118 140735338045968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 684.42 Current children cumulated vsize (KiB) 875320 [startup+402.301 s] /proc/loadavg: 4.00 4.00 3.88 5/182 23612 /proc/meminfo: memFree=13581204/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=875320 CPUtime=804.42 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 241462 0 0 0 80118 324 0 0 25 0 3 0 891773400 896327680 197417 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 218830 197417 179 372 0 218455 0 [pid=23599/tid=23601] ppid=23597 vsize=875320 CPUtime=402.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 103345 0 0 0 39986 225 0 0 25 0 3 0 891773418 896327680 197417 33554432000 4194304 5714118 140735338045968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=875320 CPUtime=402.13 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 132498 0 0 0 40115 98 0 0 25 0 3 0 891773418 896327680 197417 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 804.42 Current children cumulated vsize (KiB) 875320 [startup+462.301 s] /proc/loadavg: 4.00 4.00 3.89 5/182 23614 /proc/meminfo: memFree=13527856/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=875320 CPUtime=924.42 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 244529 0 0 0 92101 341 0 0 25 0 3 0 891773400 896327680 200484 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 218830 200484 179 372 0 218455 0 [pid=23599/tid=23601] ppid=23597 vsize=875320 CPUtime=462.12 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 106406 0 0 0 45973 239 0 0 25 0 3 0 891773418 896327680 200484 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=875320 CPUtime=462.13 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 132504 0 0 0 46111 102 0 0 25 0 3 0 891773418 896327680 200484 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 924.42 Current children cumulated vsize (KiB) 875320 [startup+522.3 s] /proc/loadavg: 4.00 4.00 3.90 5/182 23616 /proc/meminfo: memFree=13479464/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=940856 CPUtime=1044.43 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 248511 0 0 0 104080 363 0 0 25 0 3 0 891773400 963436544 204462 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 235214 204462 179 372 0 234839 0 [pid=23599/tid=23601] ppid=23597 vsize=940856 CPUtime=522.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 110378 0 0 0 51954 257 0 0 25 0 3 0 891773418 963436544 204462 33554432000 4194304 5714118 140735338045968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=940856 CPUtime=522.13 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 132514 0 0 0 52108 105 0 0 25 0 3 0 891773418 963436544 204462 33554432000 4194304 5714118 140735338045968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1044.43 Current children cumulated vsize (KiB) 940856 [startup+582.3 s] /proc/loadavg: 4.00 4.00 3.90 5/182 23617 /proc/meminfo: memFree=13423632/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=938424 CPUtime=1164.44 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 254238 0 0 0 116041 403 0 0 25 0 3 0 891773400 960946176 209739 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 234606 209739 179 372 0 234231 0 [pid=23599/tid=23601] ppid=23597 vsize=938424 CPUtime=582.11 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111196 0 0 0 57919 292 0 0 25 0 3 0 891773418 960946176 209739 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=938424 CPUtime=582.13 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 137423 0 0 0 58104 109 0 0 25 0 3 0 891773418 960946176 209739 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1164.44 Current children cumulated vsize (KiB) 938424 [startup+642.3 s] /proc/loadavg: 4.00 4.00 3.91 5/182 23619 /proc/meminfo: memFree=13358756/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=1003960 CPUtime=1284.45 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 267036 0 0 0 128000 445 0 0 25 0 3 0 891773400 1028055040 222193 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 250990 222193 179 372 0 250615 0 [pid=23599/tid=23601] ppid=23597 vsize=1003960 CPUtime=642.12 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111379 0 0 0 63888 324 0 0 25 0 3 0 891773418 1028055040 222193 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=1003960 CPUtime=642.14 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 150038 0 0 0 64095 119 0 0 25 0 3 0 891773418 1028055040 222193 33554432000 4194304 5714118 140735338045968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1284.45 Current children cumulated vsize (KiB) 1003960 [startup+702.301 s] /proc/loadavg: 4.00 4.00 3.91 5/182 23620 /proc/meminfo: memFree=13276772/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=1069496 CPUtime=1404.45 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 282581 0 0 0 139969 476 0 0 25 0 3 0 891773400 1095163904 237736 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 267374 237736 179 372 0 266999 0 [pid=23599/tid=23601] ppid=23597 vsize=1069496 CPUtime=702.12 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111469 0 0 0 69869 343 0 0 25 0 3 0 891773418 1095163904 237736 33554432000 4194304 5714118 140735338045968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=1069496 CPUtime=702.14 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 165493 0 0 0 70082 132 0 0 25 0 3 0 891773418 1095163904 237736 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1404.45 Current children cumulated vsize (KiB) 1069496 [startup+762.307 s] /proc/loadavg: 4.07 4.02 3.91 5/182 23622 /proc/meminfo: memFree=13193296/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=1135032 CPUtime=1524.46 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 297884 0 0 0 151936 510 0 0 25 0 3 0 891773400 1162272768 253037 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 283758 253037 179 372 0 283383 0 [pid=23599/tid=23601] ppid=23597 vsize=1135032 CPUtime=762.12 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111487 0 0 0 75846 366 0 0 25 0 3 0 891773418 1162272768 253037 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=1135032 CPUtime=762.15 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 180778 0 0 0 76072 143 0 0 25 0 3 0 891773418 1162272768 253037 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1524.46 Current children cumulated vsize (KiB) 1135032 [startup+822.301 s] /proc/loadavg: 4.02 4.01 3.91 5/182 23624 /proc/meminfo: memFree=13122112/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=1135032 CPUtime=1644.45 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 311769 0 0 0 163907 538 0 0 25 0 3 0 891773400 1162272768 266922 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 283758 266922 179 372 0 283383 0 [pid=23599/tid=23601] ppid=23597 vsize=1135032 CPUtime=822.12 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111502 0 0 0 81830 382 0 0 25 0 3 0 891773418 1162272768 266922 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=1135032 CPUtime=822.14 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 194648 0 0 0 82059 155 0 0 25 0 3 0 891773418 1162272768 266922 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1644.45 Current children cumulated vsize (KiB) 1135032 [startup+882.301 s] /proc/loadavg: 4.01 4.00 3.91 5/182 23625 /proc/meminfo: memFree=13070004/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=1200568 CPUtime=1764.46 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 320091 0 0 0 175862 584 0 0 25 0 3 0 891773400 1229381632 275244 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 300142 275244 179 372 0 299767 0 [pid=23599/tid=23601] ppid=23597 vsize=1200568 CPUtime=882.12 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111593 0 0 0 87793 419 0 0 25 0 3 0 891773418 1229381632 275244 33554432000 4194304 5714118 140735338045968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=1200568 CPUtime=882.14 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 202879 0 0 0 88051 163 0 0 25 0 3 0 891773418 1229381632 275244 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1764.46 Current children cumulated vsize (KiB) 1200568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.1 s] /proc/loadavg: 3.84 3.97 3.90 3/178 23627 /proc/meminfo: memFree=14146476/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=1200568 CPUtime=1800.07 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 322726 0 0 0 179414 593 0 0 25 0 3 0 891773400 1229381632 277879 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 300142 277879 179 372 0 299767 0 [pid=23599/tid=23601] ppid=23597 vsize=1200568 CPUtime=899.93 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111593 0 0 0 89567 426 0 0 25 0 3 0 891773418 1229381632 277879 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=1200568 CPUtime=899.95 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 205514 0 0 0 89829 166 0 0 25 0 3 0 891773418 1229381632 277879 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1200568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.1 s] /proc/loadavg: 3.84 3.97 3.90 3/178 23627 /proc/meminfo: memFree=14146476/32951124 swapFree=67054448/67111528 [pid=23599] ppid=23597 vsize=1200568 CPUtime=1800.07 cores=1,3,5,7 /proc/23599/stat : 23599 (pwbo1.1) S 23597 23599 22391 0 -1 4202496 322726 0 0 0 179414 593 0 0 25 0 3 0 891773400 1229381632 277879 33554432000 4194304 5714118 140735338045968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23599/statm: 300142 277879 179 372 0 299767 0 [pid=23599/tid=23601] ppid=23597 vsize=1200568 CPUtime=899.93 cores=1,3,5,7 /proc/23599/task/23601/stat : 23601 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 111593 0 0 0 89567 426 0 0 25 0 3 0 891773418 1229381632 277879 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0 [pid=23599/tid=23602] ppid=23597 vsize=1200568 CPUtime=899.95 cores=1,3,5,7 /proc/23599/task/23602/stat : 23602 (pwbo1.1) R 23597 23599 22391 0 -1 4202560 205514 0 0 0 89829 166 0 0 25 0 3 0 891773418 1229381632 277879 33554432000 4194304 5714118 140735338045968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1200568 Child status: 0 Real time (s): 900.16 CPU time (s): 1800.14 CPU user time (s): 1794.16 CPU system time (s): 5.97909 CPU usage (%): 199.98 Max. virtual memory (cumulated for all children) (KiB): 1200568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.16 system time used= 5.97909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 322733 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= 751 involuntary context switches= 11245 runsolver used 1.60176 second user time and 3.35849 second system time The end
Begin job on node143 at 2011-06-13 21:32:58 IDJOB=3500324 IDBENCH=2245 IDSOLVER=1954 FILE ID=node143/3500324-1307993578 RUNJOBID= node143-1307990862-22759 PBS_JOBID= 13559740 Free space on /var/tmp= 2908 MiB SOLVER NAME= pwbo 1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500324-1307993578/watcher-3500324-1307993578 -o /var/tmp/evaluation-result-3500324-1307993578/solver-3500324-1307993578 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500324-1307993578.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED=90710484 node143.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 15065812 kB Buffers: 117828 kB Cached: 16937336 kB SwapCached: 9572 kB Active: 1695848 kB Inactive: 15573968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 15065812 kB SwapTotal: 67111528 kB SwapFree: 67054448 kB Dirty: 12068 kB Writeback: 84 kB AnonPages: 212004 kB Mapped: 13700 kB Slab: 552076 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 424300 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2904 MiB End job on node143 at 2011-06-13 21:48:00