Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pwbo 1.1 | SAT (TO) | -23 | 1800.13 | 900.157 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 98c81efbf429745622d6705fab70d2ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1797.4 |
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 | 109601 |
Number of constraints which are clauses | 109601 |
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-3500326-1307993644.opb. 0.00/0.00 c Instance file HOME/instance-3500326-1307993644.opb 0.00/0.00 c File size is 2693045 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: 109601 | 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.23 o 0 0.21/0.23 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.27 c ub -3 (thread 1) 0.21/0.29 o -3 0.21/0.29 c lb -1398 (thread 0) 0.44/0.31 c ub -4 (thread 1) 0.44/0.32 o -4 0.44/0.32 c lb -1397 (thread 0) 0.44/0.35 c lb -1396 (thread 0) 0.44/0.37 c lb -1395 (thread 0) 0.44/0.38 c ub -5 (thread 1) 0.61/0.40 o -5 0.61/0.40 c lb -1394 (thread 0) 0.61/0.42 c ub -6 (thread 1) 0.61/0.43 o -6 0.61/0.43 c lb -1393 (thread 0) 0.61/0.45 c lb -1392 (thread 0) 0.61/0.47 c ub -7 (thread 1) 0.61/0.48 o -7 0.61/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.56 c lb -1388 (thread 0) 0.81/0.59 c lb -1387 (thread 0) 1.01/0.61 c lb -1386 (thread 0) 1.01/0.63 c ub -8 (thread 1) 1.01/0.64 o -8 1.01/0.64 c lb -1385 (thread 0) 1.01/0.67 c lb -1384 (thread 0) 1.01/0.69 c lb -1383 (thread 0) 1.21/0.72 c ub -9 (thread 1) 1.21/0.72 o -9 1.21/0.72 c lb -1382 (thread 0) 1.21/0.75 c lb -1381 (thread 0) 1.21/0.77 c lb -1380 (thread 0) 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.94 c ub -10 (thread 1) 1.60/0.96 o -10 1.60/0.96 c lb -1373 (thread 0) 1.60/0.99 c lb -1372 (thread 0) 1.82/1.01 c lb -1371 (thread 0) 1.82/1.04 c lb -1370 (thread 0) 1.82/1.07 c lb -1369 (thread 0) 1.82/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 lb -1365 (thread 0) 2.20/1.20 c lb -1364 (thread 0) 2.20/1.23 c lb -1363 (thread 0) 2.20/1.25 c lb -1362 (thread 0) 2.20/1.28 c lb -1361 (thread 0) 2.41/1.31 c lb -1360 (thread 0) 2.41/1.33 c lb -1359 (thread 0) 2.41/1.36 c lb -1358 (thread 0) 2.41/1.39 c lb -1357 (thread 0) 2.61/1.42 c lb -1356 (thread 0) 2.61/1.44 c lb -1355 (thread 0) 2.61/1.47 c lb -1354 (thread 0) 2.81/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.61 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.69 c lb -1346 (thread 0) 3.21/1.71 c lb -1345 (thread 0) 3.21/1.74 c lb -1344 (thread 0) 3.21/1.77 c lb -1343 (thread 0) 3.21/1.79 c ub -11 (thread 1) 3.41/1.80 o -11 3.41/1.80 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.88 c lb -1339 (thread 0) 3.61/1.91 c lb -1338 (thread 0) 3.61/1.93 c lb -1337 (thread 0) 3.61/1.96 c lb -1336 (thread 0) 3.61/1.99 c lb -1335 (thread 0) 3.80/2.02 c lb -1334 (thread 0) 3.80/2.04 c lb -1333 (thread 0) 3.80/2.07 c lb -1332 (thread 0) 3.80/2.10 c lb -1331 (thread 0) 4.02/2.12 c lb -1330 (thread 0) 4.02/2.15 c lb -1329 (thread 0) 4.02/2.18 c lb -1328 (thread 0) 4.22/2.21 c lb -1327 (thread 0) 4.22/2.23 c lb -1326 (thread 0) 4.22/2.26 c lb -1325 (thread 0) 4.22/2.29 c lb -1324 (thread 0) 4.41/2.32 c lb -1323 (thread 0) 4.41/2.34 c lb -1322 (thread 0) 4.41/2.37 c lb -1321 (thread 0) 4.61/2.40 c lb -1320 (thread 0) 4.61/2.43 c lb -1319 (thread 0) 4.61/2.44 c ub -12 (thread 1) 4.61/2.46 o -12 4.61/2.46 c lb -1318 (thread 0) 4.61/2.48 c lb -1317 (thread 0) 4.82/2.51 c lb -1316 (thread 0) 4.82/2.54 c lb -1315 (thread 0) 4.82/2.57 c lb -1314 (thread 0) 4.82/2.59 c lb -1313 (thread 0) 5.01/2.62 c lb -1312 (thread 0) 5.01/2.65 c lb -1311 (thread 0) 5.01/2.68 c lb -1310 (thread 0) 5.21/2.70 c lb -1309 (thread 0) 5.21/2.73 c lb -1308 (thread 0) 5.21/2.76 c lb -1307 (thread 0) 5.21/2.79 c lb -1306 (thread 0) 5.41/2.82 c lb -1305 (thread 0) 5.41/2.84 c lb -1304 (thread 0) 5.41/2.87 c lb -1303 (thread 0) 5.62/2.90 c lb -1302 (thread 0) 5.62/2.93 c lb -1301 (thread 0) 5.62/2.96 c lb -1300 (thread 0) 5.62/2.98 c lb -1299 (thread 0) 5.81/3.01 c lb -1298 (thread 0) 5.81/3.04 c lb -1297 (thread 0) 5.81/3.07 c lb -1296 (thread 0) 6.01/3.10 c lb -1295 (thread 0) 6.01/3.13 c lb -1294 (thread 0) 6.01/3.15 c lb -1293 (thread 0) 6.01/3.18 c lb -1292 (thread 0) 6.21/3.21 c lb -1291 (thread 0) 6.21/3.24 c lb -1290 (thread 0) 6.21/3.27 c lb -1289 (thread 0) 6.21/3.30 c lb -1288 (thread 0) 6.43/3.32 c lb -1287 (thread 0) 6.43/3.35 c lb -1286 (thread 0) 6.43/3.38 c lb -1285 (thread 0) 6.61/3.41 c lb -1284 (thread 0) 6.61/3.44 c lb -1283 (thread 0) 6.61/3.47 c lb -1282 (thread 0) 6.61/3.49 c lb -1281 (thread 0) 6.81/3.52 c lb -1280 (thread 0) 6.81/3.55 c lb -1279 (thread 0) 6.81/3.58 c lb -1278 (thread 0) 7.01/3.61 c lb -1277 (thread 0) 7.01/3.64 c lb -1276 (thread 0) 7.01/3.67 c lb -1275 (thread 0) 7.01/3.69 c ub -13 (thread 1) 7.01/3.70 o -13 7.01/3.70 c lb -1274 (thread 0) 7.21/3.72 c lb -1273 (thread 0) 7.21/3.75 c lb -1272 (thread 0) 7.21/3.78 c lb -1271 (thread 0) 7.41/3.81 c lb -1270 (thread 0) 7.41/3.84 c lb -1269 (thread 0) 7.41/3.87 c lb -1268 (thread 0) 7.61/3.90 c lb -1267 (thread 0) 7.61/3.92 c ub -14 (thread 1) 7.61/3.93 o -14 7.61/3.93 c lb -1266 (thread 0) 7.61/3.96 c lb -1265 (thread 0) 7.61/3.98 c lb -1264 (thread 0) 7.81/4.01 c lb -1263 (thread 0) 7.81/4.04 c lb -1262 (thread 0) 7.81/4.07 c lb -1261 (thread 0) 8.01/4.10 c lb -1260 (thread 0) 8.01/4.13 c lb -1259 (thread 0) 8.01/4.16 c lb -1258 (thread 0) 8.01/4.19 c lb -1257 (thread 0) 8.21/4.22 c lb -1256 (thread 0) 8.21/4.25 c lb -1255 (thread 0) 8.21/4.28 c lb -1254 (thread 0) 8.41/4.31 c lb -1253 (thread 0) 8.41/4.34 c lb -1252 (thread 0) 8.41/4.37 c lb -1251 (thread 0) 8.41/4.40 c lb -1250 (thread 0) 8.62/4.42 c lb -1249 (thread 0) 8.62/4.45 c lb -1248 (thread 0) 8.62/4.48 c lb -1247 (thread 0) 8.81/4.51 c lb -1246 (thread 0) 8.81/4.54 c lb -1245 (thread 0) 8.81/4.57 c lb -1244 (thread 0) 9.01/4.60 c lb -1243 (thread 0) 9.01/4.63 c lb -1242 (thread 0) 9.01/4.66 c lb -1241 (thread 0) 9.01/4.69 c lb -1240 (thread 0) 9.21/4.72 c lb -1239 (thread 0) 9.21/4.75 c lb -1238 (thread 0) 9.21/4.78 c lb -1237 (thread 0) 9.41/4.81 c lb -1236 (thread 0) 9.41/4.84 c lb -1235 (thread 0) 9.41/4.87 c lb -1234 (thread 0) 9.61/4.90 c lb -1233 (thread 0) 9.61/4.93 c lb -1232 (thread 0) 9.61/4.96 c lb -1231 (thread 0) 9.61/4.99 c lb -1230 (thread 0) 9.81/5.02 c lb -1229 (thread 0) 9.81/5.05 c lb -1228 (thread 0) 9.81/5.08 c lb -1227 (thread 0) 10.01/5.11 c lb -1226 (thread 0) 10.01/5.14 c lb -1225 (thread 0) 10.01/5.17 c lb -1224 (thread 0) 10.21/5.20 c lb -1223 (thread 0) 10.21/5.23 c lb -1222 (thread 0) 10.21/5.26 c lb -1221 (thread 0) 10.21/5.29 c lb -1220 (thread 0) 10.41/5.32 c lb -1219 (thread 0) 10.41/5.36 c lb -1218 (thread 0) 10.41/5.39 c lb -1217 (thread 0) 10.62/5.42 c lb -1216 (thread 0) 10.62/5.45 c lb -1215 (thread 0) 10.62/5.48 c lb -1214 (thread 0) 10.83/5.51 c lb -1213 (thread 0) 10.83/5.54 c lb -1212 (thread 0) 10.83/5.57 c lb -1211 (thread 0) 11.01/5.60 c lb -1210 (thread 0) 11.01/5.63 c lb -1209 (thread 0) 11.01/5.66 c lb -1208 (thread 0) 11.01/5.69 c lb -1207 (thread 0) 11.21/5.72 c lb -1206 (thread 0) 11.21/5.76 c lb -1205 (thread 0) 11.21/5.79 c lb -1204 (thread 0) 11.41/5.82 c lb -1203 (thread 0) 11.41/5.85 c lb -1202 (thread 0) 11.41/5.88 c lb -1201 (thread 0) 11.61/5.91 c lb -1200 (thread 0) 11.61/5.94 c lb -1199 (thread 0) 11.61/5.97 c lb -1198 (thread 0) 11.81/6.00 c lb -1197 (thread 0) 11.81/6.04 c lb -1196 (thread 0) 11.81/6.07 c lb -1195 (thread 0) 12.01/6.10 c lb -1194 (thread 0) 12.01/6.13 c lb -1193 (thread 0) 12.01/6.16 c lb -1192 (thread 0) 12.01/6.19 c lb -1191 (thread 0) 12.21/6.22 c lb -1190 (thread 0) 12.21/6.26 c lb -1189 (thread 0) 12.21/6.29 c lb -1188 (thread 0) 12.41/6.32 c lb -1187 (thread 0) 12.41/6.35 c lb -1186 (thread 0) 12.41/6.38 c lb -1185 (thread 0) 12.61/6.41 c lb -1184 (thread 0) 12.61/6.45 c lb -1183 (thread 0) 12.61/6.48 c lb -1182 (thread 0) 12.81/6.51 c lb -1181 (thread 0) 12.81/6.54 c lb -1180 (thread 0) 12.81/6.57 c lb -1179 (thread 0) 13.02/6.61 c lb -1178 (thread 0) 13.02/6.64 c lb -1177 (thread 0) 13.02/6.67 c lb -1176 (thread 0) 13.21/6.70 c lb -1175 (thread 0) 13.21/6.74 c lb -1174 (thread 0) 13.21/6.77 c lb -1173 (thread 0) 13.40/6.80 c lb -1172 (thread 0) 13.40/6.83 c lb -1171 (thread 0) 13.40/6.86 c lb -1170 (thread 0) 13.61/6.90 c lb -1169 (thread 0) 13.61/6.93 c lb -1168 (thread 0) 13.61/6.96 c lb -1167 (thread 0) 13.81/7.00 c lb -1166 (thread 0) 13.81/7.03 c lb -1165 (thread 0) 13.81/7.06 c lb -1164 (thread 0) 13.81/7.09 c lb -1163 (thread 0) 14.01/7.13 c lb -1162 (thread 0) 14.01/7.16 c lb -1161 (thread 0) 14.01/7.19 c lb -1160 (thread 0) 14.21/7.23 c lb -1159 (thread 0) 14.21/7.26 c lb -1158 (thread 0) 14.21/7.29 c lb -1157 (thread 0) 14.41/7.33 c lb -1156 (thread 0) 14.41/7.36 c lb -1155 (thread 0) 14.41/7.39 c lb -1154 (thread 0) 14.61/7.43 c lb -1153 (thread 0) 14.61/7.46 c lb -1152 (thread 0) 14.61/7.49 c lb -1151 (thread 0) 14.81/7.53 c lb -1150 (thread 0) 14.81/7.56 c lb -1149 (thread 0) 14.81/7.59 c lb -1148 (thread 0) 15.01/7.63 c lb -1147 (thread 0) 15.01/7.66 c lb -1146 (thread 0) 15.01/7.70 c lb -1145 (thread 0) 15.22/7.73 c lb -1144 (thread 0) 15.22/7.77 c lb -1143 (thread 0) 15.41/7.80 c lb -1142 (thread 0) 15.41/7.83 c lb -1141 (thread 0) 15.41/7.87 c lb -1140 (thread 0) 15.61/7.90 c lb -1139 (thread 0) 15.61/7.94 c lb -1138 (thread 0) 15.61/7.97 c lb -1137 (thread 0) 15.81/8.00 c lb -1136 (thread 0) 15.81/8.04 c lb -1135 (thread 0) 15.81/8.07 c lb -1134 (thread 0) 16.01/8.11 c lb -1133 (thread 0) 16.01/8.14 c lb -1132 (thread 0) 16.01/8.18 c lb -1131 (thread 0) 16.21/8.21 c lb -1130 (thread 0) 16.21/8.25 c lb -1129 (thread 0) 16.21/8.28 c lb -1128 (thread 0) 16.41/8.32 c lb -1127 (thread 0) 16.41/8.35 c lb -1126 (thread 0) 16.41/8.39 c lb -1125 (thread 0) 16.61/8.42 c lb -1124 (thread 0) 16.61/8.46 c lb -1123 (thread 0) 16.61/8.49 c lb -1122 (thread 0) 16.81/8.53 c lb -1121 (thread 0) 16.81/8.56 c lb -1120 (thread 0) 17.02/8.60 c lb -1119 (thread 0) 17.02/8.63 c lb -1118 (thread 0) 17.02/8.67 c lb -1117 (thread 0) 17.22/8.70 c lb -1116 (thread 0) 17.22/8.74 c lb -1115 (thread 0) 17.22/8.77 c lb -1114 (thread 0) 17.43/8.81 c lb -1113 (thread 0) 17.43/8.85 c lb -1112 (thread 0) 17.43/8.88 c lb -1111 (thread 0) 17.61/8.92 c lb -1110 (thread 0) 17.61/8.95 c lb -1109 (thread 0) 17.61/8.99 c lb -1108 (thread 0) 17.81/9.02 c lb -1107 (thread 0) 17.81/9.06 c lb -1106 (thread 0) 17.81/9.09 c lb -1105 (thread 0) 18.01/9.13 c lb -1104 (thread 0) 18.01/9.16 c lb -1103 (thread 0) 18.21/9.20 c lb -1102 (thread 0) 18.21/9.23 c lb -1101 (thread 0) 18.21/9.27 c lb -1100 (thread 0) 18.41/9.31 c lb -1099 (thread 0) 18.41/9.34 c lb -1098 (thread 0) 18.41/9.38 c lb -1097 (thread 0) 18.61/9.41 c lb -1096 (thread 0) 18.61/9.45 c lb -1095 (thread 0) 18.61/9.49 c lb -1094 (thread 0) 18.81/9.52 c lb -1093 (thread 0) 18.81/9.56 c lb -1092 (thread 0) 18.81/9.60 c lb -1091 (thread 0) 19.01/9.63 c lb -1090 (thread 0) 19.01/9.67 c lb -1089 (thread 0) 19.21/9.70 c lb -1088 (thread 0) 19.21/9.74 c lb -1087 (thread 0) 19.21/9.78 c lb -1086 (thread 0) 19.42/9.81 c lb -1085 (thread 0) 19.42/9.85 c lb -1084 (thread 0) 19.42/9.89 c lb -1083 (thread 0) 19.62/9.92 c lb -1082 (thread 0) 19.62/9.96 c lb -1081 (thread 0) 19.81/10.00 c lb -1080 (thread 0) 19.81/10.03 c lb -1079 (thread 0) 19.81/10.07 c lb -1078 (thread 0) 20.01/10.11 c lb -1077 (thread 0) 20.01/10.14 c lb -1076 (thread 0) 20.01/10.18 c lb -1075 (thread 0) 20.21/10.22 c lb -1074 (thread 0) 20.21/10.26 c lb -1073 (thread 0) 20.21/10.29 c lb -1072 (thread 0) 20.41/10.33 c lb -1071 (thread 0) 20.41/10.37 c lb -1070 (thread 0) 20.61/10.40 c lb -1069 (thread 0) 20.61/10.44 c lb -1068 (thread 0) 20.61/10.48 c lb -1067 (thread 0) 20.81/10.51 c lb -1066 (thread 0) 20.81/10.55 c lb -1065 (thread 0) 20.81/10.59 c lb -1064 (thread 0) 21.01/10.62 c lb -1063 (thread 0) 21.01/10.66 c lb -1062 (thread 0) 21.21/10.70 c lb -1061 (thread 0) 21.21/10.74 c lb -1060 (thread 0) 21.21/10.77 c lb -1059 (thread 0) 21.41/10.81 c lb -1058 (thread 0) 21.41/10.85 c lb -1057 (thread 0) 21.41/10.89 c lb -1056 (thread 0) 21.61/10.92 c lb -1055 (thread 0) 21.61/10.96 c lb -1054 (thread 0) 21.61/11.00 c lb -1053 (thread 0) 21.82/11.04 c lb -1052 (thread 0) 21.82/11.07 c lb -1051 (thread 0) 22.01/11.11 c lb -1050 (thread 0) 22.01/11.15 c lb -1049 (thread 0) 22.01/11.19 c lb -1048 (thread 0) 22.21/11.23 c lb -1047 (thread 0) 22.21/11.26 c lb -1046 (thread 0) 22.41/11.30 c lb -1045 (thread 0) 22.41/11.34 c lb -1044 (thread 0) 22.41/11.38 c lb -1043 (thread 0) 22.61/11.42 c lb -1042 (thread 0) 22.61/11.45 c lb -1041 (thread 0) 22.61/11.49 c lb -1040 (thread 0) 22.81/11.52 c ub -15 (thread 1) 22.81/11.53 o -15 22.81/11.53 c lb -1039 (thread 0) 22.81/11.57 c lb -1038 (thread 0) 23.01/11.61 c lb -1037 (thread 0) 23.01/11.65 c lb -1036 (thread 0) 23.01/11.68 c lb -1035 (thread 0) 23.21/11.72 c lb -1034 (thread 0) 23.21/11.76 c lb -1033 (thread 0) 23.41/11.80 c lb -1032 (thread 0) 23.41/11.84 c lb -1031 (thread 0) 23.41/11.88 c lb -1030 (thread 0) 23.61/11.92 c lb -1029 (thread 0) 23.61/11.96 c lb -1028 (thread 0) 23.61/11.99 c lb -1027 (thread 0) 23.82/12.03 c lb -1026 (thread 0) 23.82/12.07 c lb -1025 (thread 0) 24.02/12.11 c lb -1024 (thread 0) 24.02/12.15 c lb -1023 (thread 0) 24.02/12.19 c lb -1022 (thread 0) 24.21/12.23 c lb -1021 (thread 0) 24.21/12.27 c lb -1020 (thread 0) 24.41/12.31 c lb -1019 (thread 0) 24.41/12.35 c lb -1018 (thread 0) 24.41/12.39 c lb -1017 (thread 0) 24.61/12.43 c lb -1016 (thread 0) 24.61/12.47 c lb -1015 (thread 0) 24.81/12.51 c lb -1014 (thread 0) 24.81/12.55 c lb -1013 (thread 0) 24.81/12.59 c lb -1012 (thread 0) 25.01/12.62 c lb -1011 (thread 0) 25.01/12.66 c lb -1010 (thread 0) 25.21/12.71 c lb -1009 (thread 0) 25.21/12.75 c lb -1008 (thread 0) 25.21/12.79 c lb -1007 (thread 0) 25.41/12.82 c lb -1006 (thread 0) 25.41/12.87 c lb -1005 (thread 0) 25.61/12.91 c lb -1004 (thread 0) 25.61/12.95 c lb -1003 (thread 0) 25.61/12.99 c lb -1002 (thread 0) 25.81/13.03 c lb -1001 (thread 0) 25.81/13.07 c lb -1000 (thread 0) 26.02/13.11 c lb -999 (thread 0) 26.02/13.15 c lb -998 (thread 0) 26.02/13.19 c lb -997 (thread 0) 26.22/13.23 c lb -996 (thread 0) 26.22/13.27 c lb -995 (thread 0) 26.41/13.31 c lb -994 (thread 0) 26.41/13.35 c lb -993 (thread 0) 26.41/13.37 c ub -16 (thread 1) 26.41/13.39 o -16 26.41/13.39 c lb -992 (thread 0) 26.61/13.43 c lb -991 (thread 0) 26.61/13.47 c lb -990 (thread 0) 26.81/13.51 c lb -989 (thread 0) 26.81/13.56 c lb -988 (thread 0) 27.01/13.60 c lb -987 (thread 0) 27.01/13.64 c lb -986 (thread 0) 27.01/13.68 c lb -985 (thread 0) 27.21/13.72 c lb -984 (thread 0) 27.21/13.76 c lb -983 (thread 0) 27.42/13.80 c lb -982 (thread 0) 27.42/13.84 c lb -981 (thread 0) 27.42/13.89 c lb -980 (thread 0) 27.61/13.93 c lb -979 (thread 0) 27.61/13.97 c lb -978 (thread 0) 27.81/14.01 c lb -977 (thread 0) 27.81/14.05 c lb -976 (thread 0) 27.81/14.10 c lb -975 (thread 0) 28.01/14.14 c lb -974 (thread 0) 28.01/14.18 c lb -973 (thread 0) 28.21/14.22 c lb -972 (thread 0) 28.21/14.27 c lb -971 (thread 0) 28.42/14.31 c lb -970 (thread 0) 28.42/14.35 c lb -969 (thread 0) 28.42/14.39 c lb -968 (thread 0) 28.61/14.43 c lb -967 (thread 0) 28.61/14.48 c lb -966 (thread 0) 28.81/14.52 c lb -965 (thread 0) 28.81/14.56 c lb -964 (thread 0) 29.01/14.60 c lb -963 (thread 0) 29.01/14.65 c lb -962 (thread 0) 29.01/14.69 c lb -961 (thread 0) 29.21/14.73 c lb -960 (thread 0) 29.21/14.78 c lb -959 (thread 0) 29.41/14.82 c lb -958 (thread 0) 29.41/14.86 c lb -957 (thread 0) 29.61/14.90 c lb -956 (thread 0) 29.61/14.95 c lb -955 (thread 0) 29.61/14.99 c lb -954 (thread 0) 29.81/15.03 c lb -953 (thread 0) 29.81/15.08 c lb -952 (thread 0) 30.02/15.12 c lb -951 (thread 0) 30.02/15.16 c lb -950 (thread 0) 30.22/15.21 c lb -949 (thread 0) 30.22/15.25 c lb -948 (thread 0) 30.22/15.29 c lb -947 (thread 0) 30.42/15.34 c lb -946 (thread 0) 30.42/15.38 c lb -945 (thread 0) 30.63/15.42 c lb -944 (thread 0) 30.63/15.47 c lb -943 (thread 0) 30.81/15.51 c lb -942 (thread 0) 30.81/15.55 c lb -941 (thread 0) 31.01/15.60 c lb -940 (thread 0) 31.01/15.64 c lb -939 (thread 0) 31.01/15.68 c lb -938 (thread 0) 31.21/15.73 c lb -937 (thread 0) 31.21/15.77 c lb -936 (thread 0) 31.41/15.82 c lb -935 (thread 0) 31.41/15.86 c lb -934 (thread 0) 31.61/15.91 c lb -933 (thread 0) 31.61/15.93 c ub -17 (thread 1) 31.61/15.95 o -17 31.61/15.95 c lb -932 (thread 0) 31.61/15.99 c lb -931 (thread 0) 31.81/16.04 c lb -930 (thread 0) 31.81/16.08 c lb -929 (thread 0) 32.01/16.13 c lb -928 (thread 0) 32.01/16.17 c lb -927 (thread 0) 32.21/16.22 c lb -926 (thread 0) 32.21/16.26 c lb -925 (thread 0) 32.42/16.31 c lb -924 (thread 0) 32.42/16.35 c lb -923 (thread 0) 32.42/16.39 c lb -922 (thread 0) 32.62/16.44 c lb -921 (thread 0) 32.62/16.48 c lb -920 (thread 0) 32.83/16.53 c lb -919 (thread 0) 32.83/16.58 c lb -918 (thread 0) 33.01/16.62 c lb -917 (thread 0) 33.01/16.67 c lb -916 (thread 0) 33.21/16.71 c lb -915 (thread 0) 33.21/16.76 c lb -914 (thread 0) 33.41/16.81 c lb -913 (thread 0) 33.41/16.85 c lb -912 (thread 0) 33.61/16.90 c lb -911 (thread 0) 33.61/16.94 c lb -910 (thread 0) 33.61/16.99 c lb -909 (thread 0) 33.81/17.04 c lb -908 (thread 0) 33.81/17.08 c lb -907 (thread 0) 34.01/17.13 c lb -906 (thread 0) 34.01/17.17 c lb -905 (thread 0) 34.21/17.22 c lb -904 (thread 0) 34.21/17.27 c lb -903 (thread 0) 34.41/17.31 c lb -902 (thread 0) 34.41/17.36 c lb -901 (thread 0) 34.61/17.41 c lb -900 (thread 0) 34.61/17.45 c lb -899 (thread 0) 34.81/17.50 c lb -898 (thread 0) 34.81/17.55 c lb -897 (thread 0) 34.81/17.60 c lb -896 (thread 0) 35.02/17.64 c lb -895 (thread 0) 35.02/17.69 c lb -894 (thread 0) 35.21/17.74 c lb -893 (thread 0) 35.21/17.79 c lb -892 (thread 0) 35.41/17.83 c lb -891 (thread 0) 35.41/17.88 c lb -890 (thread 0) 35.61/17.93 c lb -889 (thread 0) 35.61/17.98 c lb -888 (thread 0) 35.81/18.03 c lb -887 (thread 0) 35.81/18.07 c lb -886 (thread 0) 36.01/18.12 c lb -885 (thread 0) 36.01/18.17 c lb -884 (thread 0) 36.21/18.22 c lb -883 (thread 0) 36.21/18.27 c lb -882 (thread 0) 36.41/18.31 c lb -881 (thread 0) 36.41/18.36 c lb -880 (thread 0) 36.61/18.41 c lb -879 (thread 0) 36.61/18.46 c lb -878 (thread 0) 36.81/18.51 c lb -877 (thread 0) 36.81/18.56 c lb -876 (thread 0) 37.02/18.61 c lb -875 (thread 0) 37.02/18.65 c lb -874 (thread 0) 37.22/18.70 c lb -873 (thread 0) 37.22/18.75 c lb -872 (thread 0) 37.41/18.80 c lb -871 (thread 0) 37.41/18.85 c lb -870 (thread 0) 37.61/18.90 c lb -869 (thread 0) 37.61/18.95 c lb -868 (thread 0) 37.81/19.00 c lb -867 (thread 0) 37.81/19.05 c lb -866 (thread 0) 38.02/19.10 c lb -865 (thread 0) 38.02/19.15 c lb -864 (thread 0) 38.22/19.20 c lb -863 (thread 0) 38.22/19.25 c lb -862 (thread 0) 38.41/19.30 c lb -861 (thread 0) 38.41/19.35 c lb -860 (thread 0) 38.61/19.40 c lb -859 (thread 0) 38.61/19.45 c lb -858 (thread 0) 38.81/19.50 c lb -857 (thread 0) 38.81/19.56 c lb -856 (thread 0) 39.01/19.61 c lb -855 (thread 0) 39.01/19.66 c lb -854 (thread 0) 39.22/19.71 c lb -853 (thread 0) 39.22/19.76 c lb -852 (thread 0) 39.42/19.81 c lb -851 (thread 0) 39.42/19.86 c lb -850 (thread 0) 39.61/19.92 c lb -849 (thread 0) 39.61/19.97 c lb -848 (thread 0) 39.81/20.02 c lb -847 (thread 0) 39.81/20.07 c lb -846 (thread 0) 40.01/20.13 c lb -845 (thread 0) 40.01/20.18 c lb -844 (thread 0) 40.21/20.23 c lb -843 (thread 0) 40.21/20.28 c lb -842 (thread 0) 40.41/20.33 c lb -841 (thread 0) 40.41/20.39 c lb -840 (thread 0) 40.61/20.44 c lb -839 (thread 0) 40.61/20.49 c lb -838 (thread 0) 40.81/20.54 c lb -837 (thread 0) 41.01/20.60 c lb -836 (thread 0) 41.01/20.65 c lb -835 (thread 0) 41.22/20.70 c lb -834 (thread 0) 41.22/20.76 c lb -833 (thread 0) 41.42/20.81 c lb -832 (thread 0) 41.42/20.86 c lb -831 (thread 0) 41.63/20.92 c lb -830 (thread 0) 41.63/20.97 c lb -829 (thread 0) 41.81/21.03 c lb -828 (thread 0) 41.81/21.08 c lb -827 (thread 0) 42.01/21.14 c lb -826 (thread 0) 42.01/21.19 c lb -825 (thread 0) 42.21/21.25 c lb -824 (thread 0) 42.41/21.30 c lb -823 (thread 0) 42.41/21.36 c lb -822 (thread 0) 42.61/21.41 c lb -821 (thread 0) 42.61/21.46 c lb -820 (thread 0) 42.81/21.52 c lb -819 (thread 0) 42.81/21.58 c lb -818 (thread 0) 43.01/21.63 c lb -817 (thread 0) 43.01/21.69 c lb -816 (thread 0) 43.21/21.74 c lb -815 (thread 0) 43.41/21.80 c lb -814 (thread 0) 43.41/21.85 c lb -813 (thread 0) 43.61/21.91 c lb -812 (thread 0) 43.61/21.96 c lb -811 (thread 0) 43.82/22.02 c lb -810 (thread 0) 43.82/22.07 c lb -809 (thread 0) 44.02/22.13 c lb -808 (thread 0) 44.02/22.19 c lb -807 (thread 0) 44.22/22.24 c lb -806 (thread 0) 44.42/22.30 c lb -805 (thread 0) 44.42/22.35 c lb -804 (thread 0) 44.62/22.41 c lb -803 (thread 0) 44.62/22.47 c lb -802 (thread 0) 44.82/22.52 c lb -801 (thread 0) 44.82/22.58 c lb -800 (thread 0) 45.01/22.64 c lb -799 (thread 0) 45.01/22.69 c lb -798 (thread 0) 45.21/22.75 c lb -797 (thread 0) 45.41/22.81 c lb -796 (thread 0) 45.41/22.86 c lb -795 (thread 0) 45.61/22.92 c lb -794 (thread 0) 45.61/22.98 c lb -793 (thread 0) 45.82/23.04 c lb -792 (thread 0) 45.82/23.09 c lb -791 (thread 0) 46.02/23.15 c lb -790 (thread 0) 46.21/23.21 c lb -789 (thread 0) 46.21/23.27 c lb -788 (thread 0) 46.41/23.33 c lb -787 (thread 0) 46.41/23.38 c lb -786 (thread 0) 46.61/23.44 c lb -785 (thread 0) 46.81/23.50 c lb -784 (thread 0) 46.81/23.56 c lb -783 (thread 0) 47.01/23.61 c lb -782 (thread 0) 47.01/23.67 c lb -781 (thread 0) 47.21/23.73 c lb -780 (thread 0) 47.21/23.79 c lb -779 (thread 0) 47.41/23.85 c lb -778 (thread 0) 47.61/23.91 c lb -777 (thread 0) 47.61/23.97 c lb -776 (thread 0) 47.81/24.02 c lb -775 (thread 0) 47.81/24.08 c lb -774 (thread 0) 48.01/24.14 c lb -773 (thread 0) 48.22/24.20 c lb -772 (thread 0) 48.22/24.26 c lb -771 (thread 0) 48.41/24.32 c lb -770 (thread 0) 48.41/24.38 c lb -769 (thread 0) 48.61/24.44 c lb -768 (thread 0) 48.81/24.50 c lb -767 (thread 0) 48.81/24.56 c lb -766 (thread 0) 49.02/24.62 c lb -765 (thread 0) 49.02/24.68 c lb -764 (thread 0) 49.22/24.74 c lb -763 (thread 0) 49.42/24.80 c lb -762 (thread 0) 49.42/24.86 c lb -761 (thread 0) 49.61/24.92 c lb -760 (thread 0) 49.61/24.98 c lb -759 (thread 0) 49.81/25.04 c lb -758 (thread 0) 50.01/25.10 c lb -757 (thread 0) 50.01/25.16 c lb -756 (thread 0) 50.22/25.23 c lb -755 (thread 0) 50.22/25.29 c lb -754 (thread 0) 50.43/25.35 c lb -753 (thread 0) 50.62/25.41 c lb -752 (thread 0) 50.62/25.47 c lb -751 (thread 0) 50.82/25.53 c lb -750 (thread 0) 50.82/25.59 c lb -749 (thread 0) 51.01/25.65 c lb -748 (thread 0) 51.21/25.71 c lb -747 (thread 0) 51.21/25.78 c lb -746 (thread 0) 51.41/25.84 c lb -745 (thread 0) 51.61/25.90 c lb -744 (thread 0) 51.61/25.96 c lb -743 (thread 0) 51.81/26.02 c lb -742 (thread 0) 51.81/26.09 c lb -741 (thread 0) 52.01/26.15 c lb -740 (thread 0) 52.21/26.21 c lb -739 (thread 0) 52.21/26.27 c lb -738 (thread 0) 52.42/26.34 c lb -737 (thread 0) 52.42/26.40 c lb -736 (thread 0) 52.62/26.46 c lb -735 (thread 0) 52.81/26.52 c lb -734 (thread 0) 52.81/26.58 c lb -733 (thread 0) 53.01/26.65 c lb -732 (thread 0) 53.21/26.71 c lb -731 (thread 0) 53.21/26.77 c lb -730 (thread 0) 53.41/26.84 c lb -729 (thread 0) 53.61/26.90 c lb -728 (thread 0) 53.61/26.96 c lb -727 (thread 0) 53.82/27.03 c lb -726 (thread 0) 53.82/27.09 c lb -725 (thread 0) 54.01/27.15 c lb -724 (thread 0) 54.21/27.22 c lb -723 (thread 0) 54.21/27.28 c lb -722 (thread 0) 54.41/27.34 c lb -721 (thread 0) 54.62/27.41 c lb -720 (thread 0) 54.62/27.47 c lb -719 (thread 0) 54.82/27.54 c lb -718 (thread 0) 55.01/27.60 c lb -717 (thread 0) 55.01/27.66 c lb -716 (thread 0) 55.21/27.73 c lb -715 (thread 0) 55.21/27.79 c lb -714 (thread 0) 55.41/27.85 c lb -713 (thread 0) 55.61/27.92 c lb -712 (thread 0) 55.61/27.98 c lb -711 (thread 0) 55.81/28.05 c lb -710 (thread 0) 56.01/28.11 c lb -709 (thread 0) 56.01/28.18 c lb -708 (thread 0) 56.21/28.24 c lb -707 (thread 0) 56.41/28.30 c lb -706 (thread 0) 56.41/28.37 c lb -705 (thread 0) 56.61/28.43 c lb -704 (thread 0) 56.61/28.50 c lb -703 (thread 0) 56.81/28.56 c lb -702 (thread 0) 57.02/28.63 c lb -701 (thread 0) 57.02/28.70 c lb -700 (thread 0) 57.21/28.76 c lb -699 (thread 0) 57.41/28.83 c lb -698 (thread 0) 57.61/28.90 c lb -697 (thread 0) 57.61/28.96 c lb -696 (thread 0) 57.81/29.03 c lb -695 (thread 0) 58.01/29.10 c lb -694 (thread 0) 58.01/29.16 c lb -693 (thread 0) 58.21/29.23 c lb -692 (thread 0) 58.41/29.30 c lb -691 (thread 0) 58.41/29.37 c lb -690 (thread 0) 58.61/29.43 c lb -689 (thread 0) 58.81/29.50 c lb -688 (thread 0) 58.81/29.57 c lb -687 (thread 0) 59.02/29.64 c lb -686 (thread 0) 59.02/29.70 c lb -685 (thread 0) 59.22/29.77 c lb -684 (thread 0) 59.41/29.83 c lb -683 (thread 0) 59.61/29.90 c lb -682 (thread 0) 59.61/29.97 c lb -681 (thread 0) 59.81/30.04 c lb -680 (thread 0) 60.01/30.10 c lb -679 (thread 0) 60.01/30.17 c lb -678 (thread 0) 60.21/30.24 c lb -677 (thread 0) 60.42/30.31 c lb -676 (thread 0) 60.42/30.38 c lb -675 (thread 0) 60.61/30.45 c lb -674 (thread 0) 60.81/30.52 c lb -673 (thread 0) 60.81/30.59 c lb -672 (thread 0) 61.01/30.65 c lb -671 (thread 0) 61.22/30.72 c lb -670 (thread 0) 61.22/30.79 c lb -669 (thread 0) 61.42/30.86 c lb -668 (thread 0) 61.61/30.92 c lb -667 (thread 0) 61.61/30.99 c lb -666 (thread 0) 61.81/31.06 c lb -665 (thread 0) 62.01/31.13 c lb -664 (thread 0) 62.21/31.20 c lb -663 (thread 0) 62.21/31.26 c lb -662 (thread 0) 62.41/31.33 c lb -661 (thread 0) 62.61/31.40 c lb -660 (thread 0) 62.61/31.47 c lb -659 (thread 0) 62.81/31.54 c lb -658 (thread 0) 63.02/31.61 c lb -657 (thread 0) 63.02/31.68 c lb -656 (thread 0) 63.22/31.75 c lb -655 (thread 0) 63.42/31.82 c lb -654 (thread 0) 63.42/31.89 c lb -653 (thread 0) 63.63/31.96 c lb -652 (thread 0) 63.81/32.03 c lb -651 (thread 0) 64.01/32.10 c lb -650 (thread 0) 64.01/32.17 c lb -649 (thread 0) 64.21/32.24 c lb -648 (thread 0) 64.41/32.31 c lb -647 (thread 0) 64.41/32.38 c lb -646 (thread 0) 64.61/32.45 c lb -645 (thread 0) 64.81/32.52 c lb -644 (thread 0) 64.81/32.58 c lb -643 (thread 0) 65.01/32.65 c lb -642 (thread 0) 65.21/32.72 c lb -641 (thread 0) 65.21/32.79 c lb -640 (thread 0) 65.41/32.86 c lb -639 (thread 0) 65.61/32.93 c lb -638 (thread 0) 65.83/33.00 c lb -637 (thread 0) 65.83/33.07 c lb -636 (thread 0) 66.02/33.14 c lb -635 (thread 0) 66.22/33.22 c lb -634 (thread 0) 66.22/33.29 c lb -633 (thread 0) 66.42/33.36 c lb -632 (thread 0) 66.61/33.43 c lb -631 (thread 0) 66.81/33.50 c lb -630 (thread 0) 66.81/33.57 c lb -629 (thread 0) 67.01/33.64 c lb -628 (thread 0) 67.21/33.71 c lb -627 (thread 0) 67.21/33.78 c lb -626 (thread 0) 67.41/33.85 c lb -625 (thread 0) 67.61/33.92 c lb -624 (thread 0) 67.61/33.99 c lb -623 (thread 0) 67.82/34.06 c lb -622 (thread 0) 68.02/34.13 c lb -621 (thread 0) 68.21/34.21 c lb -620 (thread 0) 68.21/34.28 c lb -619 (thread 0) 68.41/34.35 c lb -618 (thread 0) 68.61/34.42 c lb -617 (thread 0) 68.61/34.49 c lb -616 (thread 0) 68.81/34.56 c lb -615 (thread 0) 69.01/34.63 c lb -614 (thread 0) 69.21/34.70 c lb -613 (thread 0) 69.21/34.77 c lb -612 (thread 0) 69.41/34.84 c lb -611 (thread 0) 69.61/34.91 c lb -610 (thread 0) 69.61/34.98 c lb -609 (thread 0) 69.81/35.05 c ub -18 (thread 1) 69.81/35.06 o -18 69.81/35.06 c lb -608 (thread 0) 70.02/35.12 c lb -607 (thread 0) 70.02/35.19 c lb -606 (thread 0) 70.23/35.26 c lb -605 (thread 0) 70.41/35.33 c lb -604 (thread 0) 70.61/35.40 c lb -603 (thread 0) 70.61/35.46 c lb -602 (thread 0) 70.81/35.53 c lb -601 (thread 0) 71.01/35.60 c lb -600 (thread 0) 71.01/35.67 c lb -599 (thread 0) 71.21/35.74 c lb -598 (thread 0) 71.41/35.80 c lb -597 (thread 0) 71.41/35.87 c lb -596 (thread 0) 71.61/35.94 c lb -595 (thread 0) 71.81/36.01 c lb -594 (thread 0) 71.81/36.08 c lb -593 (thread 0) 72.01/36.14 c lb -592 (thread 0) 72.22/36.21 c lb -591 (thread 0) 72.22/36.28 c lb -590 (thread 0) 72.42/36.36 c lb -589 (thread 0) 72.61/36.43 c lb -588 (thread 0) 72.81/36.50 c lb -587 (thread 0) 72.81/36.57 c lb -586 (thread 0) 73.02/36.64 c lb -585 (thread 0) 73.21/36.71 c lb -584 (thread 0) 73.21/36.78 c lb -583 (thread 0) 73.41/36.86 c lb -582 (thread 0) 73.61/36.93 c lb -581 (thread 0) 73.81/37.00 c lb -580 (thread 0) 73.81/37.07 c lb -579 (thread 0) 74.01/37.14 c lb -578 (thread 0) 74.21/37.22 c lb -577 (thread 0) 74.21/37.29 c lb -576 (thread 0) 74.42/37.36 c lb -575 (thread 0) 74.63/37.43 c lb -574 (thread 0) 74.81/37.50 c lb -573 (thread 0) 74.81/37.58 c lb -572 (thread 0) 75.01/37.65 c lb -571 (thread 0) 75.21/37.72 c lb -570 (thread 0) 75.21/37.79 c lb -569 (thread 0) 75.41/37.87 c lb -568 (thread 0) 75.61/37.93 c lb -567 (thread 0) 75.81/38.01 c lb -566 (thread 0) 75.81/38.08 c lb -565 (thread 0) 76.01/38.16 c lb -564 (thread 0) 76.21/38.22 c lb -563 (thread 0) 76.41/38.30 c lb -562 (thread 0) 76.41/38.37 c lb -561 (thread 0) 76.61/38.45 c lb -560 (thread 0) 76.82/38.51 c lb -559 (thread 0) 76.82/38.60 c lb -558 (thread 0) 77.01/38.66 c lb -557 (thread 0) 77.21/38.74 c lb -556 (thread 0) 77.41/38.81 c lb -555 (thread 0) 77.41/38.88 c lb -554 (thread 0) 77.61/38.96 c lb -553 (thread 0) 77.81/39.03 c lb -552 (thread 0) 78.01/39.10 c lb -551 (thread 0) 78.01/39.18 c lb -550 (thread 0) 78.21/39.22 c ub -19 (thread 1) 78.21/39.26 o -19 78.21/39.26 c lb -549 (thread 0) 78.41/39.32 c lb -548 (thread 0) 78.62/39.40 c lb -547 (thread 0) 78.62/39.47 c lb -546 (thread 0) 78.82/39.55 c lb -545 (thread 0) 79.03/39.62 c lb -544 (thread 0) 79.03/39.69 c lb -543 (thread 0) 79.21/39.77 c lb -542 (thread 0) 79.41/39.84 c lb -541 (thread 0) 79.61/39.91 c lb -540 (thread 0) 79.61/39.99 c lb -539 (thread 0) 79.81/40.06 c lb -538 (thread 0) 80.01/40.14 c lb -537 (thread 0) 80.21/40.21 c lb -536 (thread 0) 80.21/40.28 c lb -535 (thread 0) 80.41/40.35 c lb -534 (thread 0) 80.61/40.43 c lb -533 (thread 0) 80.81/40.50 c lb -532 (thread 0) 80.81/40.58 c lb -531 (thread 0) 81.02/40.65 c lb -530 (thread 0) 81.22/40.72 c lb -529 (thread 0) 81.41/40.80 c lb -528 (thread 0) 81.41/40.87 c lb -527 (thread 0) 81.61/40.95 c lb -526 (thread 0) 81.81/41.02 c lb -525 (thread 0) 81.81/41.09 c lb -524 (thread 0) 82.01/41.17 c lb -523 (thread 0) 82.22/41.24 c lb -522 (thread 0) 82.41/41.31 c lb -521 (thread 0) 82.41/41.39 c lb -520 (thread 0) 82.61/41.46 c lb -519 (thread 0) 82.81/41.54 c lb -518 (thread 0) 83.01/41.61 c lb -517 (thread 0) 83.01/41.68 c lb -516 (thread 0) 83.22/41.76 c lb -515 (thread 0) 83.42/41.83 c lb -514 (thread 0) 83.61/41.91 c lb -513 (thread 0) 83.61/41.98 c lb -512 (thread 0) 83.81/42.05 c lb -511 (thread 0) 84.01/42.13 c lb -510 (thread 0) 84.21/42.20 c lb -509 (thread 0) 84.21/42.28 c lb -508 (thread 0) 84.41/42.35 c lb -507 (thread 0) 84.61/42.42 c lb -506 (thread 0) 84.81/42.50 c lb -505 (thread 0) 84.81/42.57 c lb -504 (thread 0) 85.01/42.64 c lb -503 (thread 0) 85.21/42.72 c lb -502 (thread 0) 85.21/42.79 c lb -501 (thread 0) 85.41/42.87 c lb -500 (thread 0) 85.62/42.94 c lb -499 (thread 0) 85.82/43.01 c lb -498 (thread 0) 85.82/43.09 c lb -497 (thread 0) 86.02/43.16 c lb -496 (thread 0) 86.21/43.24 c lb -495 (thread 0) 86.41/43.31 c lb -494 (thread 0) 86.41/43.38 c lb -493 (thread 0) 86.61/43.46 c lb -492 (thread 0) 86.81/43.53 c lb -491 (thread 0) 87.01/43.61 c lb -490 (thread 0) 87.01/43.68 c lb -489 (thread 0) 87.21/43.75 c lb -488 (thread 0) 87.41/43.83 c lb -487 (thread 0) 87.62/43.90 c lb -486 (thread 0) 87.62/43.98 c lb -485 (thread 0) 87.82/44.05 c lb -484 (thread 0) 88.01/44.12 c lb -483 (thread 0) 88.21/44.20 c lb -482 (thread 0) 88.21/44.27 c lb -481 (thread 0) 88.41/44.35 c lb -480 (thread 0) 88.61/44.42 c lb -479 (thread 0) 88.61/44.49 c lb -478 (thread 0) 88.81/44.57 c lb -477 (thread 0) 89.02/44.64 c lb -476 (thread 0) 89.22/44.72 c lb -475 (thread 0) 89.22/44.79 c lb -474 (thread 0) 89.42/44.87 c lb -473 (thread 0) 89.62/44.94 c lb -472 (thread 0) 89.82/45.02 c lb -471 (thread 0) 89.82/45.09 c lb -470 (thread 0) 90.03/45.17 c lb -469 (thread 0) 90.22/45.24 c lb -468 (thread 0) 90.42/45.32 c lb -467 (thread 0) 90.42/45.39 c lb -466 (thread 0) 90.61/45.47 c lb -465 (thread 0) 90.81/45.54 c lb -464 (thread 0) 91.01/45.62 c lb -463 (thread 0) 91.01/45.69 c lb -462 (thread 0) 91.21/45.76 c lb -461 (thread 0) 91.41/45.84 c lb -460 (thread 0) 91.61/45.91 c lb -459 (thread 0) 91.61/45.99 c lb -458 (thread 0) 91.81/46.06 c lb -457 (thread 0) 92.02/46.14 c lb -456 (thread 0) 92.22/46.21 c lb -455 (thread 0) 92.22/46.29 c lb -454 (thread 0) 92.41/46.37 c lb -453 (thread 0) 92.61/46.44 c lb -452 (thread 0) 92.81/46.51 c lb -451 (thread 0) 92.81/46.59 c lb -450 (thread 0) 93.01/46.66 c lb -449 (thread 0) 93.22/46.74 c lb -448 (thread 0) 93.42/46.81 c lb -447 (thread 0) 93.42/46.88 c lb -446 (thread 0) 93.62/46.96 c lb -445 (thread 0) 93.81/47.04 c lb -444 (thread 0) 94.01/47.11 c lb -443 (thread 0) 94.01/47.19 c lb -442 (thread 0) 94.22/47.26 c lb -441 (thread 0) 94.42/47.34 c lb -440 (thread 0) 94.61/47.42 c lb -439 (thread 0) 94.61/47.49 c lb -438 (thread 0) 94.81/47.56 c lb -437 (thread 0) 95.01/47.64 c lb -436 (thread 0) 95.21/47.72 c lb -435 (thread 0) 95.21/47.79 c lb -434 (thread 0) 95.41/47.87 c lb -433 (thread 0) 95.61/47.95 c lb -432 (thread 0) 95.81/48.02 c lb -431 (thread 0) 95.81/48.10 c lb -430 (thread 0) 96.01/48.17 c lb -429 (thread 0) 96.21/48.25 c lb -428 (thread 0) 96.42/48.32 c lb -427 (thread 0) 96.42/48.40 c lb -426 (thread 0) 96.63/48.48 c lb -425 (thread 0) 96.82/48.55 c lb -424 (thread 0) 97.02/48.63 c lb -423 (thread 0) 97.22/48.70 c lb -422 (thread 0) 97.22/48.78 c lb -421 (thread 0) 97.42/48.86 c lb -420 (thread 0) 97.62/48.93 c lb -419 (thread 0) 97.81/49.01 c lb -418 (thread 0) 97.81/49.09 c lb -417 (thread 0) 98.01/49.17 c lb -416 (thread 0) 98.21/49.24 c lb -415 (thread 0) 98.41/49.32 c lb -414 (thread 0) 98.41/49.40 c lb -413 (thread 0) 98.62/49.48 c lb -412 (thread 0) 99.01/49.65 c lb -411 (thread 0) 99.21/49.78 c lb -410 (thread 0) 99.41/49.85 c lb -409 (thread 0) 100.82/50.53 c lb -408 (thread 0) 101.02/50.61 c lb -407 (thread 0) 101.02/50.69 c lb -406 (thread 0) 101.21/50.76 c lb -405 (thread 0) 101.41/50.84 c lb -404 (thread 0) 101.61/50.92 c lb -403 (thread 0) 101.61/50.99 c lb -402 (thread 0) 101.82/51.07 c lb -401 (thread 0) 102.02/51.15 c lb -400 (thread 0) 102.22/51.23 c lb -399 (thread 0) 102.42/51.31 c lb -398 (thread 0) 102.42/51.38 c ub -20 (thread 1) 102.42/51.38 o -20 102.42/51.38 c lb -397 (thread 0) 102.61/51.46 c lb -396 (thread 0) 102.81/51.54 c lb -395 (thread 0) 103.02/51.62 c lb -394 (thread 0) 103.22/51.70 c lb -393 (thread 0) 103.22/51.78 c lb -392 (thread 0) 103.41/51.86 c lb -391 (thread 0) 103.61/51.94 c lb -390 (thread 0) 103.81/52.02 c lb -389 (thread 0) 104.02/52.10 c lb -388 (thread 0) 104.02/52.18 c lb -387 (thread 0) 104.21/52.26 c lb -386 (thread 0) 104.41/52.35 c lb -385 (thread 0) 104.61/52.43 c lb -384 (thread 0) 104.81/52.51 c lb -383 (thread 0) 104.81/52.58 c lb -382 (thread 0) 105.01/52.67 c lb -381 (thread 0) 105.22/52.75 c lb -380 (thread 0) 105.43/52.83 c lb -379 (thread 0) 105.61/52.91 c lb -378 (thread 0) 105.61/52.99 c lb -377 (thread 0) 105.81/53.07 c lb -376 (thread 0) 106.01/53.15 c lb -375 (thread 0) 106.21/53.23 c lb -374 (thread 0) 106.41/53.31 c lb -373 (thread 0) 106.41/53.39 c lb -372 (thread 0) 106.82/53.50 c lb -371 (thread 0) 106.82/53.58 c lb -370 (thread 0) 107.01/53.66 c lb -369 (thread 0) 107.21/53.76 c lb -368 (thread 0) 107.42/53.84 c lb -367 (thread 0) 114.61/57.46 c lb -366 (thread 0) 114.81/57.58 c lb -365 (thread 0) 115.01/57.65 c lb -364 (thread 0) 115.22/57.73 c lb -363 (thread 0) 115.41/57.81 c lb -362 (thread 0) 115.61/57.90 c lb -361 (thread 0) 115.81/58.02 c lb -360 (thread 0) 117.21/58.72 c lb -359 (thread 0) 117.41/58.80 c lb -358 (thread 0) 117.41/58.89 c lb -357 (thread 0) 117.61/58.98 c lb -356 (thread 0) 117.82/59.08 c lb -355 (thread 0) 118.01/59.16 c lb -354 (thread 0) 118.21/59.25 c lb -353 (thread 0) 118.42/59.33 c lb -352 (thread 0) 118.62/59.42 c lb -351 (thread 0) 118.82/59.51 c lb -350 (thread 0) 118.82/59.59 c lb -349 (thread 0) 119.01/59.68 c lb -348 (thread 0) 119.21/59.78 c lb -347 (thread 0) 119.42/59.87 c lb -346 (thread 0) 119.61/59.96 c lb -345 (thread 0) 119.81/60.05 c lb -344 (thread 0) 120.01/60.14 c lb -343 (thread 0) 120.21/60.23 c lb -342 (thread 0) 120.41/60.33 c lb -341 (thread 0) 121.62/60.96 c lb -340 (thread 0) 122.01/61.15 c lb -339 (thread 0) 122.21/61.25 c lb -338 (thread 0) 122.41/61.34 c lb -337 (thread 0) 122.62/61.42 c lb -336 (thread 0) 123.41/61.81 c lb -335 (thread 0) 123.62/61.90 c lb -334 (thread 0) 123.62/61.99 c lb -333 (thread 0) 124.01/62.11 c lb -332 (thread 0) 124.22/62.20 c lb -331 (thread 0) 124.22/62.29 c lb -330 (thread 0) 125.41/62.83 c lb -329 (thread 0) 125.61/62.94 c lb -328 (thread 0) 132.01/66.19 c lb -327 (thread 0) 132.42/66.34 c lb -326 (thread 0) 132.61/66.43 c lb -325 (thread 0) 132.81/66.52 c lb -324 (thread 0) 133.02/66.60 c lb -323 (thread 0) 138.22/69.29 c ub -21 (thread 1) 345.61/172.99 o -21 345.61/172.99 c lb -322 (thread 0) 347.62/173.93 c lb -321 (thread 0) 349.02/174.61 c lb -320 (thread 0) 751.43/375.84 c ub -22 (thread 1) 855.23/427.79 o -22 855.23/427.79 c ub -23 (thread 1) 1210.45/605.38 o -23 1210.45/605.38 c lb -319 (thread 0) 1211.44/605.81 c lb -318 (thread 0) 1211.44/605.87 c lb -317 (thread 0) 1211.64/605.97 c lb -316 (thread 0) 1800.06/900.11 s SATISFIABLE 1800.06/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.06/900.11 c Memory used : 1109.62 MB 1800.06/900.11 c CPU time : 1795.37 s
OK -23
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 /tmp/evaluation-result-3500326-1307993644/watcher-3500326-1307993644 -o /tmp/evaluation-result-3500326-1307993644/solver-3500326-1307993644 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500326-1307993644.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: 3.88 4.00 3.82 3/180 1431 /proc/meminfo: memFree=10426140/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=5280 CPUtime=0 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) R 1429 1431 768 0 -1 4202496 422 0 0 0 0 0 0 0 22 0 1 0 910962543 5406720 375 33554432000 4194304 5714118 140737050648976 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/1431/statm: 1320 377 159 372 0 287 0 [startup+0.0495829 s] /proc/loadavg: 3.88 4.00 3.82 3/180 1431 /proc/meminfo: memFree=10426140/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=9920 CPUtime=0.04 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) R 1429 1431 768 0 -1 4202496 1702 0 0 0 4 0 0 0 22 0 1 0 910962543 10158080 1655 33554432000 4194304 5714118 140737050648976 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/1431/statm: 2480 1655 321 372 0 1447 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9920 [startup+0.100573 s] /proc/loadavg: 3.88 4.00 3.82 3/180 1431 /proc/meminfo: memFree=10426140/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=14720 CPUtime=0.09 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) R 1429 1431 768 0 -1 4202496 3174 0 0 0 9 0 0 0 22 0 1 0 910962543 15073280 3061 33554432000 4194304 5714118 140737050648976 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/1431/statm: 3680 3062 505 372 0 2647 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14720 [startup+0.312545 s] /proc/loadavg: 3.88 4.00 3.82 3/180 1431 /proc/meminfo: memFree=10426140/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=152016 CPUtime=0.44 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 16333 0 0 0 40 4 0 0 18 0 3 0 910962543 155664384 15000 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 38004 15000 178 372 0 37629 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 152016 [startup+0.700454 s] /proc/loadavg: 3.88 4.00 3.82 3/180 1431 /proc/meminfo: memFree=10426140/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=152016 CPUtime=1.21 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 19822 0 0 0 115 6 0 0 18 0 3 0 910962543 155664384 18489 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 38004 18492 178 372 0 37629 0 Current children cumulated CPU time (s) 1.21 Current children cumulated vsize (KiB) 152016 [startup+1.50031 s] /proc/loadavg: 3.88 4.00 3.82 6/183 1434 /proc/meminfo: memFree=10345788/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=152016 CPUtime=2.81 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 24558 0 0 0 273 8 0 0 18 0 3 0 910962543 155664384 22853 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 38004 22853 178 372 0 37629 0 [pid=1431/tid=1433] ppid=1429 vsize=152016 CPUtime=1.31 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 7587 0 0 0 130 1 0 0 19 0 3 0 910962561 155664384 22853 33554432000 4194304 5714118 140737050648976 18446744073709551615 4964744 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=152016 CPUtime=1.31 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 11339 0 0 0 125 6 0 0 19 0 3 0 910962561 155664384 22853 33554432000 4194304 5714118 140737050648976 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) 152016 [startup+3.10103 s] /proc/loadavg: 3.88 4.00 3.82 6/183 1434 /proc/meminfo: memFree=10324708/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=217552 CPUtime=6.01 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 35555 0 0 0 589 12 0 0 18 0 3 0 910962543 222773248 28456 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 54388 28456 178 372 0 54013 0 [pid=1431/tid=1433] ppid=1429 vsize=217552 CPUtime=2.91 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 12981 0 0 0 289 2 0 0 24 0 3 0 910962561 222773248 28456 33554432000 4194304 5714118 140737050648976 18446744073709551615 4956156 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=217552 CPUtime=2.91 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 16942 0 0 0 282 9 0 0 24 0 3 0 910962561 222773248 28456 33554432000 4194304 5714118 140737050648976 18446744073709551615 5070743 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) 217552 [startup+6.30046 s] /proc/loadavg: 3.89 4.00 3.82 6/183 1434 /proc/meminfo: memFree=10283240/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=217552 CPUtime=12.41 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 50923 0 0 0 1223 18 0 0 18 0 3 0 910962543 222773248 36482 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 54388 36482 178 372 0 54013 0 [pid=1431/tid=1433] ppid=1429 vsize=217552 CPUtime=6.11 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 20433 0 0 0 608 3 0 0 25 0 3 0 910962561 222773248 36483 33554432000 4194304 5714118 140737050648976 18446744073709551615 4972928 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=217552 CPUtime=6.11 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 24860 0 0 0 597 14 0 0 25 0 3 0 910962561 222773248 36484 33554432000 4194304 5714118 140737050648976 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 217552 [startup+12.7003 s] /proc/loadavg: 3.90 4.00 3.82 6/183 1435 /proc/meminfo: memFree=10240744/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=283088 CPUtime=25.21 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 60403 0 0 0 2499 22 0 0 18 0 3 0 910962543 289882112 45962 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 70772 45962 178 372 0 70397 0 [pid=1431/tid=1433] ppid=1429 vsize=283088 CPUtime=12.51 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 21162 0 0 0 1248 3 0 0 25 0 3 0 910962561 289882112 45962 33554432000 4194304 5714118 140737050648976 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=283088 CPUtime=12.51 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 33609 0 0 0 1233 18 0 0 25 0 3 0 910962561 289882112 45962 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.21 Current children cumulated vsize (KiB) 283088 [startup+25.501 s] /proc/loadavg: 3.99 4.02 3.83 6/183 1435 /proc/meminfo: memFree=10165948/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=283088 CPUtime=50.82 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 83638 0 0 0 5048 34 0 0 18 0 3 0 910962543 289882112 62031 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 70772 62031 178 372 0 70397 0 [pid=1431/tid=1433] ppid=1429 vsize=283088 CPUtime=25.31 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 30520 0 0 0 2526 5 0 0 25 0 3 0 910962561 289882112 62031 33554432000 4194304 5714118 140737050648976 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=283088 CPUtime=25.31 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 47486 0 0 0 2504 27 0 0 25 0 3 0 910962561 289882112 62031 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 283088 [startup+51.1005 s] /proc/loadavg: 3.99 4.01 3.83 6/183 1436 /proc/meminfo: memFree=10104040/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=348624 CPUtime=102.02 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 126550 0 0 0 10149 53 0 0 18 0 3 0 910962543 356990976 74870 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 87156 74870 178 372 0 86781 0 [pid=1431/tid=1433] ppid=1429 vsize=348624 CPUtime=50.91 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 64550 0 0 0 5074 17 0 0 25 0 3 0 910962561 356990976 74870 33554432000 4194304 5714118 140737050648976 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=348624 CPUtime=50.91 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 56368 0 0 0 5057 34 0 0 25 0 3 0 910962561 356990976 74870 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 102.02 Current children cumulated vsize (KiB) 348624 [startup+102.306 s] /proc/loadavg: 3.99 4.01 3.84 6/183 1437 /proc/meminfo: memFree=10012728/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=414160 CPUtime=204.43 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 143580 0 0 0 20322 121 0 0 18 0 3 0 910962543 424099840 91900 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 103540 91900 179 372 0 103165 0 [pid=1431/tid=1433] ppid=1429 vsize=414160 CPUtime=102.12 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 74739 0 0 0 10133 79 0 0 25 0 3 0 910962561 424099840 91900 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=414160 CPUtime=102.11 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 63209 0 0 0 10170 41 0 0 25 0 3 0 910962561 424099840 91900 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.43 Current children cumulated vsize (KiB) 414160 [startup+162.301 s] /proc/loadavg: 3.99 4.00 3.84 5/183 1480 /proc/meminfo: memFree=10504152/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=612392 CPUtime=324.42 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 171576 0 0 0 32288 154 0 0 18 0 3 0 910962543 627089408 119887 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 153098 119887 179 372 0 152723 0 [pid=1431/tid=1433] ppid=1429 vsize=612392 CPUtime=162.11 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 84126 0 0 0 16113 98 0 0 25 0 3 0 910962561 627089408 119887 33554432000 4194304 5714118 140737050648976 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=612392 CPUtime=162.11 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 81818 0 0 0 16156 55 0 0 25 0 3 0 910962561 627089408 119887 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 324.42 Current children cumulated vsize (KiB) 612392 [startup+222.301 s] /proc/loadavg: 3.99 4.00 3.85 5/183 1481 /proc/meminfo: memFree=10361388/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=611964 CPUtime=444.42 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 186232 0 0 0 44238 204 0 0 18 0 3 0 910962543 626651136 132219 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 152991 132219 179 372 0 152616 0 [pid=1431/tid=1433] ppid=1429 vsize=611964 CPUtime=222.11 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 87275 0 0 0 22072 139 0 0 25 0 3 0 910962561 626651136 132219 33554432000 4194304 5714118 140737050648976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=611964 CPUtime=222.11 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 93325 0 0 0 22148 63 0 0 25 0 3 0 910962561 626651136 132219 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 444.42 Current children cumulated vsize (KiB) 611964 [startup+282.3 s] /proc/loadavg: 3.99 4.00 3.85 5/183 1483 /proc/meminfo: memFree=10206976/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=677500 CPUtime=564.42 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 210201 0 0 0 56205 237 0 0 18 0 3 0 910962543 693760000 156182 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 169375 156182 179 372 0 169000 0 [pid=1431/tid=1433] ppid=1429 vsize=677500 CPUtime=282.12 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 92209 0 0 0 28051 161 0 0 25 0 3 0 910962561 693760000 156182 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=677500 CPUtime=282.12 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 112360 0 0 0 28137 75 0 0 25 0 3 0 910962561 693760000 156182 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 564.42 Current children cumulated vsize (KiB) 677500 [startup+342.301 s] /proc/loadavg: 3.99 4.00 3.86 5/183 1484 /proc/meminfo: memFree=10147420/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=743036 CPUtime=684.42 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 222410 0 0 0 68183 259 0 0 18 0 3 0 910962543 760868864 168390 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 185759 168390 179 372 0 185384 0 [pid=1431/tid=1433] ppid=1429 vsize=743036 CPUtime=342.12 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 95470 0 0 0 34036 176 0 0 25 0 3 0 910962561 760868864 168390 33554432000 4194304 5714118 140737050648976 18446744073709551615 4320064 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=743036 CPUtime=342.12 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 121308 0 0 0 34130 82 0 0 25 0 3 0 910962561 760868864 168390 33554432000 4194304 5714118 140737050648976 18446744073709551615 4199408 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) 743036 [startup+402.301 s] /proc/loadavg: 3.99 4.00 3.87 5/183 1486 /proc/meminfo: memFree=10063928/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=743036 CPUtime=804.43 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 233133 0 0 0 80162 281 0 0 18 0 3 0 910962543 760868864 179112 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 185759 179112 179 372 0 185384 0 [pid=1431/tid=1433] ppid=1429 vsize=743036 CPUtime=402.12 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 100834 0 0 0 40022 190 0 0 25 0 3 0 910962561 760868864 179112 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=743036 CPUtime=402.12 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 126667 0 0 0 40123 89 0 0 25 0 3 0 910962561 760868864 179112 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 804.43 Current children cumulated vsize (KiB) 743036 [startup+462.3 s] /proc/loadavg: 4.07 4.02 3.88 6/183 1488 /proc/meminfo: memFree=10025812/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=811004 CPUtime=924.43 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 236867 0 0 0 92138 305 0 0 18 0 3 0 910962543 830468096 182844 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 202751 182844 179 372 0 202376 0 [pid=1431/tid=1433] ppid=1429 vsize=811004 CPUtime=462.12 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 104555 0 0 0 46004 208 0 0 25 0 3 0 910962561 830468096 182844 33554432000 4194304 5714118 140737050648976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=811004 CPUtime=462.12 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 126680 0 0 0 46116 96 0 0 25 0 3 0 910962561 830468096 182844 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 924.43 Current children cumulated vsize (KiB) 811004 [startup+522.301 s] /proc/loadavg: 4.07 4.03 3.89 5/183 1489 /proc/meminfo: memFree=10021808/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=811004 CPUtime=1044.43 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 237850 0 0 0 104126 317 0 0 18 0 3 0 910962543 830468096 183826 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 202751 183826 179 372 0 202376 0 [pid=1431/tid=1433] ppid=1429 vsize=811004 CPUtime=522.12 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 105533 0 0 0 51994 218 0 0 25 0 3 0 910962561 830468096 183826 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319221 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=811004 CPUtime=522.13 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 126685 0 0 0 52115 98 0 0 25 0 3 0 910962561 830468096 183826 33554432000 4194304 5714118 140737050648976 18446744073709551615 5070743 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) 811004 [startup+582.301 s] /proc/loadavg: 4.02 4.02 3.89 5/183 1491 /proc/meminfo: memFree=9997720/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=811004 CPUtime=1164.44 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 241189 0 0 0 116113 331 0 0 18 0 3 0 910962543 830468096 187156 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 202751 187156 179 372 0 202376 0 [pid=1431/tid=1433] ppid=1429 vsize=811004 CPUtime=582.13 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 108862 0 0 0 57983 230 0 0 25 0 3 0 910962561 830468096 187156 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=811004 CPUtime=582.12 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 126695 0 0 0 58112 100 0 0 25 0 3 0 910962561 830468096 187156 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319386 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) 811004 [startup+642.3 s] /proc/loadavg: 4.01 4.01 3.90 5/183 1492 /proc/meminfo: memFree=9936168/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=874108 CPUtime=1284.45 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 250450 0 0 0 128080 365 0 0 18 0 3 0 910962543 895086592 196010 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 218527 196010 179 372 0 218152 0 [pid=1431/tid=1433] ppid=1429 vsize=874108 CPUtime=642.13 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 118121 0 0 0 63951 262 0 0 25 0 3 0 910962561 895086592 196010 33554432000 4194304 5714118 140737050648976 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=874108 CPUtime=642.13 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 126697 0 0 0 64112 101 0 0 25 0 3 0 910962561 895086592 196010 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319374 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) 874108 [startup+702.301 s] /proc/loadavg: 4.00 4.01 3.91 5/183 1494 /proc/meminfo: memFree=9855880/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=939644 CPUtime=1404.44 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 255865 0 0 0 140053 391 0 0 18 0 3 0 910962543 962195456 201425 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 234911 201425 179 372 0 234536 0 [pid=1431/tid=1433] ppid=1429 vsize=939644 CPUtime=702.13 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 118898 0 0 0 69930 283 0 0 25 0 3 0 910962561 962195456 201425 33554432000 4194304 5714118 140737050648976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=939644 CPUtime=702.12 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 131335 0 0 0 70105 107 0 0 25 0 3 0 910962561 962195456 201425 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1404.44 Current children cumulated vsize (KiB) 939644 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.91 5/183 1496 /proc/meminfo: memFree=9795696/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=939644 CPUtime=1524.46 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 262057 0 0 0 152028 418 0 0 18 0 3 0 910962543 962195456 207617 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 234911 207617 179 372 0 234536 0 [pid=1431/tid=1433] ppid=1429 vsize=939644 CPUtime=762.13 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 118908 0 0 0 75910 303 0 0 25 0 3 0 910962561 962195456 207617 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=939644 CPUtime=762.13 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 137517 0 0 0 76100 113 0 0 25 0 3 0 910962561 962195456 207617 33554432000 4194304 5714118 140737050648976 18446744073709551615 4199408 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) 939644 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.91 5/183 1497 /proc/meminfo: memFree=9734904/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=939644 CPUtime=1644.45 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 270388 0 0 0 164010 435 0 0 18 0 3 0 910962543 962195456 215947 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 234911 215947 179 372 0 234536 0 [pid=1431/tid=1433] ppid=1429 vsize=939644 CPUtime=822.13 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 119069 0 0 0 81899 314 0 0 25 0 3 0 910962561 962195456 215947 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=939644 CPUtime=822.13 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 145687 0 0 0 82093 120 0 0 25 0 3 0 910962561 962195456 215947 33554432000 4194304 5714118 140737050648976 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) 939644 [startup+882.301 s] /proc/loadavg: 4.00 4.00 3.91 5/183 1499 /proc/meminfo: memFree=9589932/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=1070716 CPUtime=1764.45 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 303555 0 0 0 175980 465 0 0 18 0 3 0 910962543 1096413184 249109 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 267679 249109 179 372 0 267304 0 [pid=1431/tid=1433] ppid=1429 vsize=1070716 CPUtime=882.14 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 119340 0 0 0 87888 326 0 0 25 0 3 0 910962561 1096413184 249109 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=1070716 CPUtime=882.13 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 178583 0 0 0 88075 138 0 0 25 0 3 0 910962561 1096413184 249109 33554432000 4194304 5714118 140737050648976 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1764.45 Current children cumulated vsize (KiB) 1070716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.1 s] /proc/loadavg: 4.00 4.00 3.91 5/183 1499 /proc/meminfo: memFree=9569828/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=1136252 CPUtime=1800.06 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 308172 0 0 0 179535 471 0 0 18 0 3 0 910962543 1163522048 253724 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 284063 253724 179 372 0 283688 0 [pid=1431/tid=1433] ppid=1429 vsize=1136252 CPUtime=899.94 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 119341 0 0 0 89665 329 0 0 25 0 3 0 910962561 1163522048 253724 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=1136252 CPUtime=899.93 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 183199 0 0 0 89853 140 0 0 25 0 3 0 910962561 1163522048 253724 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1136252 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: 4.00 4.00 3.91 5/183 1499 /proc/meminfo: memFree=9569828/32951124 swapFree=67063272/67111528 [pid=1431] ppid=1429 vsize=1136252 CPUtime=1800.06 cores=1,3,5,7 /proc/1431/stat : 1431 (pwbo1.1) S 1429 1431 768 0 -1 4202496 308172 0 0 0 179535 471 0 0 18 0 3 0 910962543 1163522048 253724 33554432000 4194304 5714118 140737050648976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/1431/statm: 284063 253724 179 372 0 283688 0 [pid=1431/tid=1433] ppid=1429 vsize=1136252 CPUtime=899.94 cores=1,3,5,7 /proc/1431/task/1433/stat : 1433 (pwbo1.1) R 1429 1431 768 0 -1 4202560 119341 0 0 0 89665 329 0 0 25 0 3 0 910962561 1163522048 253724 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0 [pid=1431/tid=1434] ppid=1429 vsize=1136252 CPUtime=899.93 cores=1,3,5,7 /proc/1431/task/1434/stat : 1434 (pwbo1.1) R 1429 1431 768 0 -1 4202560 183199 0 0 0 89853 140 0 0 25 0 3 0 910962561 1163522048 253724 33554432000 4194304 5714118 140737050648976 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1136252 Child status: 0 Real time (s): 900.157 CPU time (s): 1800.13 CPU user time (s): 1795.38 CPU system time (s): 4.75728 CPU usage (%): 199.98 Max. virtual memory (cumulated for all children) (KiB): 1136252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.38 system time used= 4.75728 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308178 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= 876 involuntary context switches= 1822 runsolver used 1.49077 second user time and 3.47547 second system time The end
Begin job on node132 at 2011-06-13 21:34:04 IDJOB=3500326 IDBENCH=2247 IDSOLVER=1954 FILE ID=node132/3500326-1307993644 RUNJOBID= node132-1307990931-1033 PBS_JOBID= 13559742 Free space on /tmp= 13336 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-5.opb COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3500326-1307993644/watcher-3500326-1307993644 -o /tmp/evaluation-result-3500326-1307993644/solver-3500326-1307993644 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500326-1307993644.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED=69824699 node132.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.833 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.66 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.833 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 : 5332.74 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.833 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.76 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.833 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.75 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.833 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.77 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.833 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.67 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.833 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.82 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.833 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 10426584 kB Buffers: 138800 kB Cached: 20852292 kB SwapCached: 9580 kB Active: 6353180 kB Inactive: 15442800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 10426584 kB SwapTotal: 67111528 kB SwapFree: 67063272 kB Dirty: 7072 kB Writeback: 4 kB AnonPages: 803740 kB Mapped: 10132 kB Slab: 664368 kB PageTables: 5736 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 980248 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 13332 MiB End job on node132 at 2011-06-13 21:49:06