Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 904 | 1514.38 | 1514.82 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 904 |
Best CPU time to get the best result obtained on this benchmark | 1514.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 904 |
Optimality of the best value was proved | YES |
Number of variables | 1800 |
Total number of constraints | 215 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 215 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 1800 |
Biggest coefficient in the objective function | 86 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 41700 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 86 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 41700 |
Number of bits of the biggest sum of numbers | 16 |
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 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 0.10 c Initial problem consists of 1800 variables and 335 constraints. 0.11 c Switching on LPR. 0.11 c No problem reductions applied in OPT. instance. 0.11 c preprocess terminated. Elapsed time: 0.083 0.11 c After prepocess the problem consists of 1600 variables and 330 constraints. 0.88 c Initial Lower Bound: 904 205.14 c Restart #1 #Var: 1600 LB: 904 @ 205.06 205.74 c Restart #2 #Var: 1600 LB: 0 @ 205.66 206.35 c Restart #3 #Var: 1600 LB: 0 @ 206.26 207.25 c Restart #4 #Var: 1600 LB: 0 @ 207.16 208.49 c Restart #5 #Var: 1600 LB: 0 @ 208.4 209.91 c Restart #6 #Var: 1600 LB: 0 @ 209.83 210.54 c Restart #7 #Var: 1600 LB: 0 @ 210.46 211.39 c Restart #8 #Var: 1600 LB: 0 @ 211.3 213.31 c Restart #9 #Var: 1600 LB: 0 @ 213.23 215.36 c Restart #10 #Var: 1600 LB: 0 @ 215.27 216.96 c Restart #11 #Var: 1600 LB: 0 @ 216.87 218.78 c Restart #12 #Var: 1600 LB: 0 @ 218.69 220.67 c Restart #13 #Var: 1600 LB: 0 @ 220.58 222.48 c Restart #14 #Var: 1600 LB: 0 @ 222.39 224.43 c Restart #15 #Var: 1600 LB: 0 @ 224.34 226.52 c Restart #16 #Var: 1600 LB: 0 @ 226.43 230.79 c Restart #17 #Var: 1600 LB: 0 @ 230.7 234.62 c Restart #18 #Var: 1600 LB: 0 @ 234.53 238.16 c Restart #19 #Var: 1600 LB: 0 @ 238.06 242.63 c Restart #20 #Var: 1600 LB: 0 @ 242.53 247.03 c Restart #21 #Var: 1600 LB: 0 @ 246.94 252.51 c Restart #22 #Var: 1600 LB: 0 @ 252.41 259.29 c Restart #23 #Var: 1600 LB: 0 @ 259.19 264.15 c Restart #24 #Var: 1600 LB: 0 @ 264.05 269.18 c Restart #25 #Var: 1600 LB: 0 @ 269.08 276.07 c Restart #26 #Var: 1600 LB: 0 @ 275.97 284.21 c Restart #27 #Var: 1600 LB: 0 @ 284.1 291.96 c Restart #28 #Var: 1600 LB: 0 @ 291.86 301.76 c Restart #29 #Var: 1600 LB: 0 @ 301.65 313.01 c Restart #30 #Var: 1600 LB: 0 @ 312.9 323.95 c Restart #31 #Var: 1600 LB: 0 @ 323.83 338.88 c Restart #32 #Var: 1600 LB: 0 @ 338.76 350.86 c Restart #33 #Var: 1600 LB: 0 @ 350.73 361.40 c Restart #34 #Var: 1600 LB: 0 @ 361.28 373.82 c Restart #35 #Var: 1600 LB: 0 @ 373.69 386.85 c Restart #36 #Var: 1600 LB: 0 @ 386.72 399.15 c Restart #37 #Var: 1600 LB: 0 @ 399.02 415.65 c Restart #38 #Var: 1600 LB: 0 @ 415.51 438.34 c Restart #39 #Var: 1600 LB: 0 @ 438.19 453.13 c Restart #40 #Var: 1600 LB: 0 @ 452.98 474.29 c Restart #41 #Var: 1600 LB: 0 @ 474.13 495.41 c Restart #42 #Var: 1600 LB: 0 @ 495.25 507.98 c Restart #43 #Var: 1600 LB: 0 @ 507.82 527.30 c Restart #44 #Var: 1600 LB: 0 @ 527.13 550.39 c Restart #45 #Var: 1600 LB: 0 @ 550.22 570.87 c Restart #46 #Var: 1600 LB: 0 @ 570.69 594.66 c Restart #47 #Var: 1600 LB: 0 @ 594.47 625.08 c Restart #48 #Var: 1600 LB: 0 @ 624.88 648.67 c Restart #49 #Var: 1600 LB: 0 @ 648.47 678.70 c Restart #50 #Var: 1600 LB: 0 @ 678.49 705.69 c Restart #51 #Var: 1600 LB: 0 @ 705.48 729.04 c Restart #52 #Var: 1600 LB: 0 @ 728.82 757.47 c Restart #53 #Var: 1600 LB: 0 @ 757.24 785.26 c Restart #54 #Var: 1600 LB: 0 @ 785.03 823.47 c Restart #55 #Var: 1600 LB: 0 @ 823.23 859.87 c Restart #56 #Var: 1600 LB: 0 @ 859.61 898.64 c Restart #57 #Var: 1600 LB: 0 @ 898.37 929.72 c CHANGE Heuristic... 929.72 c Restart #0 #Var: 1600 LB: 0 @ 929.45 930.00 c Restart #1 #Var: 1600 LB: 0 @ 929.73 930.55 c Restart #2 #Var: 1600 LB: 0 @ 930.27 931.07 c Restart #3 #Var: 1600 LB: 0 @ 930.79 931.84 c Restart #4 #Var: 1600 LB: 0 @ 931.57 933.11 c Restart #5 #Var: 1600 LB: 0 @ 932.83 934.39 c Restart #6 #Var: 1600 LB: 0 @ 934.12 935.63 c Restart #7 #Var: 1600 LB: 0 @ 935.36 937.07 c Restart #8 #Var: 1600 LB: 0 @ 936.79 939.43 c Restart #9 #Var: 1600 LB: 0 @ 939.15 941.76 c Restart #10 #Var: 1600 LB: 0 @ 941.48 943.92 c Restart #11 #Var: 1600 LB: 0 @ 943.65 947.23 c Restart #12 #Var: 1600 LB: 0 @ 946.96 950.90 c Restart #13 #Var: 1600 LB: 0 @ 950.62 955.03 c Restart #14 #Var: 1600 LB: 0 @ 954.75 960.15 c Restart #15 #Var: 1600 LB: 0 @ 959.87 965.50 c Restart #16 #Var: 1600 LB: 0 @ 965.22 969.59 c Restart #17 #Var: 1600 LB: 0 @ 969.31 975.62 c Restart #18 #Var: 1600 LB: 0 @ 975.34 980.25 c Sol. found (all assignments made)... 980.25 o 1036 980.25 c NEW SOLUTION FOUND: 1036 @ 979.96 984.22 c Sol. found (all assignments made)... 986.83 c Restart #19 #Var: 1600 LB: 0 @ 986.54 993.93 c Restart #20 #Var: 1600 LB: 0 @ 993.64 1001.69 c Restart #21 #Var: 1600 LB: 0 @ 1001.4 1006.34 c Sol. found (all assignments made)... 1006.34 o 1002 1006.34 c NEW SOLUTION FOUND: 1002 @ 1006 1006.35 c Sol. found (all assignments made)... 1006.35 o 998 1006.35 c NEW SOLUTION FOUND: 998 @ 1006.1 1014.47 c Restart #22 #Var: 1600 LB: 0 @ 1014.2 1021.96 c Restart #23 #Var: 1600 LB: 0 @ 1021.7 1028.57 c Restart #24 #Var: 1600 LB: 0 @ 1028.3 1034.74 c Sol. found (all assignments made)... 1035.66 c Sol. found (all assignments made)... 1035.66 o 970 1035.66 c NEW SOLUTION FOUND: 970 @ 1035.4 1035.74 c Sol. found (all assignments made)... 1035.84 c Sol. found (all assignments made)... 1037.26 c Sol. found (all assignments made)... 1037.26 c Sol. found (all assignments made)... 1037.54 c Sol. found (all assignments made)... 1037.60 c Sol. found (all assignments made)... 1037.60 c Sol. found (all assignments made)... 1038.00 c Sol. found (all assignments made)... 1038.36 c Sol. found (all assignments made)... 1038.46 c Sol. found (all assignments made)... 1038.46 o 960 1038.46 c NEW SOLUTION FOUND: 960 @ 1038.2 1038.54 c Sol. found (all assignments made)... 1039.17 c Sol. found (all assignments made)... 1040.25 c Sol. found (all assignments made)... 1040.26 c Sol. found (all assignments made)... 1047.59 c Sol. found (all assignments made)... 1047.62 c Sol. found (all assignments made)... 1047.65 c Sol. found (all assignments made)... 1047.65 c Sol. found (all assignments made)... 1048.66 c Restart #25 #Var: 1600 LB: 0 @ 1048.3 1056.38 c Restart #26 #Var: 1600 LB: 0 @ 1056.1 1057.29 c Sol. found (all assignments made)... 1057.30 c Sol. found (all assignments made)... 1057.57 c Sol. found (all assignments made)... 1057.59 c Sol. found (all assignments made)... 1057.61 c Sol. found (all assignments made)... 1057.65 c Sol. found (all assignments made)... 1064.54 c Sol. found (all assignments made)... 1064.54 c Sol. found (all assignments made)... 1065.29 c Sol. found (all assignments made)... 1065.32 c Sol. found (all assignments made)... 1066.22 c Restart #27 #Var: 1600 LB: 0 @ 1065.9 1073.52 c Sol. found (all assignments made)... 1073.52 c Sol. found (all assignments made)... 1074.56 c Restart #28 #Var: 1600 LB: 0 @ 1074.2 1084.74 c CHANGE to LPR mode... UB: 960 MIS: 211 LPR: 904 (0.366) Diff: 0.23341 1084.74 c Restart #0 #Var: 1600 LB: 0 @ 1084.4 1255.54 c Restart #1 #Var: 1600 LB: 904 @ 1255.2 1263.52 o 948 1263.52 c NEW SOLUTION FOUND: 948 @ 1263.2 1270.33 o 936 1270.33 c NEW SOLUTION FOUND: 936 @ 1270 1289.41 c Restart #2 #Var: 1600 LB: 904 @ 1289 1310.17 o 934 1310.17 c NEW SOLUTION FOUND: 934 @ 1309.8 1326.27 o 926 1326.27 c NEW SOLUTION FOUND: 926 @ 1325.9 1346.66 o 920 1346.66 c NEW SOLUTION FOUND: 920 @ 1346.3 1352.02 o 918 1352.02 c NEW SOLUTION FOUND: 918 @ 1351.6 1371.61 o 910 1371.61 c NEW SOLUTION FOUND: 910 @ 1371.2 1395.69 c Restart #3 #Var: 1600 LB: 904 @ 1395.3 1419.56 o 906 1419.56 c NEW SOLUTION FOUND: 906 @ 1419.2 1477.18 c Restart #4 #Var: 1600 LB: 904 @ 1476.8 1512.88 o 904 1512.88 c NEW SOLUTION FOUND: 904 @ 1512.5 1514.80 s OPTIMUM FOUND 1514.80 c Cost: 904 1514.80 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1514.80 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1514.80 v -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1514.80 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1514.80 v -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1514.80 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1514.80 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 1514.80 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1514.80 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1514.80 v -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1514.80 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1514.80 v -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1514.80 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1514.80 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1514.80 v -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1514.80 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1514.80 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1514.80 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1514.80 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1514.80 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1514.80 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1514.80 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1514.80 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1514.80 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1514.80 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1514.80 v -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1514.80 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1514.80 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 1514.80 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1514.80 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1514.80 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1514.80 v -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1514.80 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1514.80 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1514.80 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1514.80 v -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1514.80 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1514.80 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1514.80 v x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 1514.80 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1514.80 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1514.80 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1514.80 v -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 1514.80 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1514.80 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1514.80 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1514.80 v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 1514.80 v -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 1514.80 v -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 1514.80 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 1514.80 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1514.80 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 1514.80 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1514.80 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 1514.80 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1514.80 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1514.80 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1514.80 v -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1514.80 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 1514.80 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 1514.80 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1514.80 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1514.80 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1514.80 v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 1514.80 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 1514.80 v -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 1514.80 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 1514.80 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 1514.80 v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 1514.80 v -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 1514.80 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 1514.80 v -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 1514.80 v -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 1514.80 v -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 1514.80 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 1514.80 v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 1514.80 v -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 1514.80 v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 1514.80 v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 1514.80 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1514.80 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 1514.80 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1514.80 v -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1514.80 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1514.80 v -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 1514.80 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 1514.80 v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 1514.80 v -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 1514.80 v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 1514.80 v -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1514.80 v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 1514.80 v -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 1514.80 v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1514.80 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 1514.80 c Exit Code: 30 1514.80 c Total time: 1514.4 s
OK 904
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-40120-1149370426 -o ROOT/results/node63/solver-40120-1149370426 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40120-1149370426/instance-40120-1149370426.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1737048/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=4928 CPUtime=0 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 290 0 0 0 0 0 0 0 18 0 1 0 202609788 5046272 259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 1232 259 169 55 0 124 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732392/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9384 CPUtime=9.96 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 15234 0 0 0 990 6 0 0 25 0 1 0 202609788 9609216 1628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2346 1628 428 55 0 1238 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 9384 [startup+20.0078 s] /proc/loadavg: 0.94 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732904/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=8580 CPUtime=19.96 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 27690 0 0 0 1985 11 0 0 25 0 1 0 202609788 8785920 1461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2145 1461 428 55 0 1037 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 8580 [startup+30.0139 s] /proc/loadavg: 0.95 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9340 CPUtime=29.96 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 39301 0 0 0 2978 18 0 0 25 0 1 0 202609788 9564160 1612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2335 1612 428 55 0 1227 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 9340 [startup+40.0199 s] /proc/loadavg: 0.95 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9320 CPUtime=39.97 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 49407 0 0 0 3974 23 0 0 25 0 1 0 202609788 9543680 1610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2330 1610 428 55 0 1222 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 9320 [startup+50.026 s] /proc/loadavg: 0.96 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732904/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=8924 CPUtime=49.98 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 58951 0 0 0 4971 27 0 0 25 0 1 0 202609788 9138176 1510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160211248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2231 1510 429 55 0 1123 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 8924 [startup+60.0321 s] /proc/loadavg: 0.97 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9304 CPUtime=59.98 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 66874 0 0 0 5969 29 0 0 25 0 1 0 202609788 9527296 1606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2326 1606 429 55 0 1218 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 9304 [startup+70.0471 s] /proc/loadavg: 0.97 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9372 CPUtime=69.99 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 74405 0 0 0 6966 33 0 0 25 0 1 0 202609788 9596928 1602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159267940 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2343 1602 429 55 0 1235 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 9372 [startup+80.0532 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9356 CPUtime=79.99 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 82772 0 0 0 7962 37 0 0 25 0 1 0 202609788 9580544 1598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2339 1598 429 55 0 1231 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 9356 [startup+90.0593 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9340 CPUtime=89.99 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 91225 0 0 0 8959 40 0 0 25 0 1 0 202609788 9564160 1586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2335 1586 429 55 0 1227 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 9340 [startup+100.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9248 CPUtime=100 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 99309 0 0 0 9957 43 0 0 25 0 1 0 202609788 9469952 1592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2312 1592 429 55 0 1204 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 9248 [startup+110.071 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9308 CPUtime=110 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 107200 0 0 0 10955 45 0 0 25 0 1 0 202609788 9531392 1585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497238 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2327 1585 429 55 0 1219 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 9308 [startup+120.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9376 CPUtime=120.01 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 115565 0 0 0 11952 49 0 0 25 0 1 0 202609788 9601024 1587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159253111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2344 1587 429 55 0 1236 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 9376 [startup+130.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9360 CPUtime=130.01 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 123854 0 0 0 12949 52 0 0 25 0 1 0 202609788 9584640 1578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2340 1578 429 55 0 1232 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 9360 [startup+140.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9340 CPUtime=140.02 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 131857 0 0 0 13946 56 0 0 25 0 1 0 202609788 9564160 1579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159494758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2335 1579 429 55 0 1227 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 9340 [startup+150.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732648/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9236 CPUtime=150.02 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 139630 0 0 0 14943 59 0 0 25 0 1 0 202609788 9457664 1572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2309 1572 429 55 0 1201 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 9236 [startup+160.102 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732648/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9212 CPUtime=160.02 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 147005 0 0 0 15940 62 0 0 25 0 1 0 202609788 9433088 1566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159250706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2303 1566 429 55 0 1195 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 9212 [startup+170.108 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732712/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9204 CPUtime=170.02 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 154119 0 0 0 16937 65 0 0 25 0 1 0 202609788 9424896 1552 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2301 1552 429 55 0 1193 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 9204 [startup+180.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9364 CPUtime=180.02 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 161874 0 0 0 17934 68 0 0 25 0 1 0 202609788 9588736 1579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2341 1579 432 55 0 1233 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 9364 [startup+190.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=9396 CPUtime=190.03 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 169924 0 0 0 18932 71 0 0 25 0 1 0 202609788 9621504 1594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2349 1594 432 55 0 1241 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 9396 [startup+200.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732712/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=8788 CPUtime=200.04 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 178085 0 0 0 19929 75 0 0 25 0 1 0 202609788 8998912 1511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 2197 1511 432 55 0 1089 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 8788 [startup+210.131 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25992 /proc/meminfo: memFree=1732264/2055920 swapFree=4182320/4192956 ################ # More data... # ################ /proc/25992/statm: 22564 21759 435 55 0 21456 0 Current children cumulated CPU time (s) 1300.42 Current children cumulated vsize (Kb) 90256 [startup+1310.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1651312/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=90256 CPUtime=1310.42 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 309088 0 0 0 130843 199 0 0 25 0 1 0 202609788 92422144 21757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159475268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22564 21757 435 55 0 21456 0 Current children cumulated CPU time (s) 1310.42 Current children cumulated vsize (Kb) 90256 [startup+1320.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1650800/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=90260 CPUtime=1320.43 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 318755 0 2 0 131838 205 0 0 25 0 1 0 202609788 92426240 21771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22565 21771 437 55 0 21457 0 Current children cumulated CPU time (s) 1320.43 Current children cumulated vsize (Kb) 90260 [startup+1330.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1650800/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=90460 CPUtime=1330.43 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 333374 0 2 0 132832 211 0 0 25 0 1 0 202609788 92631040 21795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255698 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22615 21795 437 55 0 21507 0 Current children cumulated CPU time (s) 1330.43 Current children cumulated vsize (Kb) 90460 [startup+1340.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1650672/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=90612 CPUtime=1340.43 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 348753 0 2 0 133824 219 0 0 25 0 1 0 202609788 92786688 21845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22653 21845 437 55 0 21545 0 Current children cumulated CPU time (s) 1340.43 Current children cumulated vsize (Kb) 90612 [startup+1350.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1650416/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=90560 CPUtime=1350.44 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 366162 0 2 0 134816 228 0 0 25 0 1 0 202609788 92733440 21873 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22674 21877 437 55 0 21566 0 Current children cumulated CPU time (s) 1350.44 Current children cumulated vsize (Kb) 90560 [startup+1360.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1650224/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=90672 CPUtime=1360.44 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 379885 0 2 0 135810 234 0 0 25 0 1 0 202609788 92848128 21919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159299143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22668 21919 437 55 0 21560 0 Current children cumulated CPU time (s) 1360.44 Current children cumulated vsize (Kb) 90672 [startup+1370.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649648/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91512 CPUtime=1370.44 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 394284 0 2 0 136802 242 0 0 25 0 1 0 202609788 93708288 22076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22878 22076 437 55 0 21770 0 Current children cumulated CPU time (s) 1370.44 Current children cumulated vsize (Kb) 91512 [startup+1380.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91148 CPUtime=1380.44 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 399701 0 3 0 137798 246 0 0 25 0 1 0 202609788 93335552 22060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22787 22060 445 55 0 21679 0 Current children cumulated CPU time (s) 1380.44 Current children cumulated vsize (Kb) 91148 [startup+1390.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649520/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91148 CPUtime=1390.45 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 408922 0 3 0 138794 251 0 0 25 0 1 0 202609788 93335552 22060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22787 22060 445 55 0 21679 0 Current children cumulated CPU time (s) 1390.45 Current children cumulated vsize (Kb) 91148 [startup+1400.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649328/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91744 CPUtime=1400.46 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 417043 0 3 0 139790 256 0 0 25 0 1 0 202609788 93945856 22140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277915 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22936 22140 445 55 0 21828 0 Current children cumulated CPU time (s) 1400.46 Current children cumulated vsize (Kb) 91744 [startup+1410.87 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649264/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91716 CPUtime=1410.45 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 422749 0 3 0 140785 260 0 0 25 0 1 0 202609788 93917184 22149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22929 22149 445 55 0 21821 0 Current children cumulated CPU time (s) 1410.45 Current children cumulated vsize (Kb) 91716 [startup+1420.88 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91992 CPUtime=1420.46 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 430140 0 3 0 141782 264 0 0 25 0 1 0 202609788 94199808 22186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159263619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22998 22186 445 55 0 21890 0 Current children cumulated CPU time (s) 1420.46 Current children cumulated vsize (Kb) 91992 [startup+1430.88 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91860 CPUtime=1430.46 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 436120 0 3 0 142778 268 0 0 25 0 1 0 202609788 94064640 22179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159500436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22965 22179 445 55 0 21857 0 Current children cumulated CPU time (s) 1430.46 Current children cumulated vsize (Kb) 91860 [startup+1440.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91820 CPUtime=1440.47 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 441339 0 3 0 143776 271 0 0 25 0 1 0 202609788 94023680 22150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3436157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22955 22150 445 55 0 21847 0 Current children cumulated CPU time (s) 1440.47 Current children cumulated vsize (Kb) 91820 [startup+1450.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91820 CPUtime=1450.48 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 446300 0 3 0 144774 274 0 0 25 0 1 0 202609788 94023680 22157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22955 22157 445 55 0 21847 0 Current children cumulated CPU time (s) 1450.48 Current children cumulated vsize (Kb) 91820 [startup+1460.9 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91820 CPUtime=1460.48 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 451349 0 3 0 145771 277 0 0 25 0 1 0 202609788 94023680 22161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22955 22161 445 55 0 21847 0 Current children cumulated CPU time (s) 1460.48 Current children cumulated vsize (Kb) 91820 [startup+1470.91 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91908 CPUtime=1470.48 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 456972 0 3 0 146769 279 0 0 25 0 1 0 202609788 94113792 22185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22977 22185 445 55 0 21869 0 Current children cumulated CPU time (s) 1470.48 Current children cumulated vsize (Kb) 91908 [startup+1480.91 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91508 CPUtime=1480.48 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 462440 0 3 0 147766 282 0 0 25 0 1 0 202609788 93704192 22150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22877 22150 445 55 0 21769 0 Current children cumulated CPU time (s) 1480.48 Current children cumulated vsize (Kb) 91508 [startup+1490.92 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91816 CPUtime=1490.49 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 467368 0 3 0 148764 285 0 0 25 0 1 0 202609788 94019584 22180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159251073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22954 22181 445 55 0 21846 0 Current children cumulated CPU time (s) 1490.49 Current children cumulated vsize (Kb) 91816 [startup+1500.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91508 CPUtime=1500.49 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 474199 0 3 0 149760 289 0 0 25 0 1 0 202609788 93704192 22150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22877 22150 445 55 0 21769 0 Current children cumulated CPU time (s) 1500.49 Current children cumulated vsize (Kb) 91508 [startup+1510.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25994 /proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956 [pid=25992] ppid=25990 vsize=91832 CPUtime=1510.49 /proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 482269 0 3 0 150755 294 0 0 25 0 1 0 202609788 94035968 22181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497284 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25992/statm: 22958 22181 445 55 0 21850 0 Current children cumulated CPU time (s) 1510.49 Current children cumulated vsize (Kb) 91832 Child status: 30 Real time (s): 1514.82 CPU time (s): 1514.38 CPU user time (s): 1511.4 CPU system time (s): 2.98255 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (Kb): 91992
Begin job on node63 on Sat Jun 3 21:33:46 UTC 2006 FILE ID= 40120-1149370426 PBS_JOBID= 312169 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40120-1149370426/instance-40120-1149370426.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-40120-1149370426 -o ROOT/results/node63/solver-40120-1149370426 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40120-1149370426/instance-40120-1149370426.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED= 239100743 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.228 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.228 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1737256 kB Buffers: 22260 kB Cached: 230676 kB SwapCached: 2336 kB Active: 82868 kB Inactive: 178760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1737256 kB SwapTotal: 4192956 kB SwapFree: 4182320 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15864 kB Slab: 43016 kB Committed_AS: 359360 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Sat Jun 3 21:59:01 UTC 2006