Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 964 | 1798.02 | 1798.48 |
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 | 54.7217 |
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/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656568-1276358329.opb 0.00/0.00 c File size is 108800 bytes. 0.00/0.01 c Highest Coefficient sum: 41700 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.018 s 0.00/0.02 c Var: 1800 Constr: 340 125/215/0 Lit: 16200 Watch. Lit: 11000 0.00/0.02 c Obj. Vars: 1800 (100 % of total variables) 0.09/0.16 c Pre-processing Time: 0.162 s 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 1600 330 15800 47 10800 150040 0 0 0.16 0.49/0.56 c Initial Lower Bound: 897 0.49/0.56 c Initial Path Cost: 0 20.48/20.56 c 104 1600 443 25801 58 11242 165045 113 172 0.60 20.48/20.56 c 254 1600 606 40416 66 11791 181550 276 387 0.66 20.48/20.56 c 480 1600 855 65695 76 12713 199706 525 640 0.75 20.48/20.56 c 822 1600 1255 113181 90 14265 219677 925 896 0.92 20.48/20.56 c 1331 1600 1809 291191 160 15887 241645 1479 880 1.51 20.48/20.56 c 2094 1600 2640 581785 220 19422 265810 2310 718 2.92 20.48/20.56 c 3240 1600 3890 950188 244 25083 292392 3560 589 5.50 20.48/20.56 c 4961 1600 5788 1442942 249 34824 321632 5458 551 8.99 20.48/20.56 o 1010 103.56/103.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.56/103.65 c 7358 1600 8490 2862030 337 47801 153240 8160 357 20.56 103.56/103.65 c 7459 1600 8601 2883699 335 48284 168565 8271 104 71.06 103.56/103.65 o 964 1797.94/1798.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.45 c 7496 1600 8645 2889442 334 50081 153240 8315 72 103.63 1797.94/1798.45 c 7598 1600 8765 2925732 333 50646 168565 8435 60 124.66 1797.94/1798.45 c 7850 1600 9122 3139324 344 52471 185422 8792 40 191.67 1797.94/1798.45 c 8325 1600 9683 3323897 343 56093 203965 9353 27 300.51 1797.94/1798.45 c 9138 1600 10684 3785697 354 62539 224362 10354 21 428.75 1797.94/1798.45 c 10458 1600 12174 4357976 357 71653 246799 11844 18 554.15 1797.94/1798.45 c 12539 1600 14502 5393437 371 85634 271479 14172 17 701.56 1797.94/1798.45 c 15762 1600 18302 7553110 412 107439 298627 17972 15 1025.30 1797.94/1798.45 c 20698 1600 23922 10397843 434 135817 328490 23592 14 1449.95 1797.94/1798.45 c Resources Exceeded 1797.94/1798.45 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -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 -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 -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 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1797.94/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.45 c 19 26310 11565 181496 30805 15296885 30475 14 1798.00 1797.94/1798.45 c Objective: 964 1797.94/1798.45 s SATISFIABLE 1797.94/1798.45 c Total time: 1798 s
OK 964
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656568-1276358329/watcher-2656568-1276358329 -o /tmp/evaluation-result-2656568-1276358329/solver-2656568-1276358329 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656568-1276358329.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12525 /proc/meminfo: memFree=1853244/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=11036 CPUtime=0 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 347 0 0 0 0 0 0 0 18 0 1 0 9488629 11300864 266 1992294400 134512640 137138936 4290191472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 2759 266 176 642 0 2088 0 [startup+0.0315051 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12525 /proc/meminfo: memFree=1853244/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=11464 CPUtime=0.02 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 517 0 0 0 2 0 0 0 18 0 1 0 9488629 11739136 409 1992294400 134512640 137138936 4290191472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 2866 409 184 642 0 2222 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11464 [startup+0.100511 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12525 /proc/meminfo: memFree=1853244/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=11464 CPUtime=0.09 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 517 0 0 0 9 0 0 0 18 0 1 0 9488629 11739136 409 1992294400 134512640 137138936 4290191472 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 2866 409 184 642 0 2222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11464 [startup+0.300529 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12525 /proc/meminfo: memFree=1853244/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=13248 CPUtime=0.29 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 1303 0 0 0 29 0 0 0 18 0 1 0 9488629 13565952 844 1992294400 134512640 137138936 4290191472 18446744073709551615 135466079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 3312 844 278 642 0 2668 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13248 [startup+0.700565 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12525 /proc/meminfo: memFree=1853244/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=12376 CPUtime=0.69 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 1621 0 0 0 68 1 0 0 18 0 1 0 9488629 12673024 734 1992294400 134512640 137138936 4290191472 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 3094 734 286 642 0 2450 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12376 [startup+1.50064 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12526 /proc/meminfo: memFree=1850260/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=15440 CPUtime=1.49 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 2419 0 0 0 147 2 0 0 19 0 1 0 9488629 15810560 1532 1992294400 134512640 137138936 4290191472 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 3860 1532 286 642 0 3216 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15440 [startup+3.10078 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12526 /proc/meminfo: memFree=1846292/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=19736 CPUtime=3.09 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 3475 0 0 0 306 3 0 0 23 0 1 0 9488629 20209664 2588 1992294400 134512640 137138936 4290191472 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 4934 2588 286 642 0 4290 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19736 [startup+6.30106 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12526 /proc/meminfo: memFree=1839100/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=25748 CPUtime=6.29 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 4967 0 0 0 624 5 0 0 25 0 1 0 9488629 26365952 4080 1992294400 134512640 137138936 4290191472 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 6437 4080 286 642 0 5793 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25748 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12526 /proc/meminfo: memFree=1827320/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=37376 CPUtime=12.69 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 7880 0 0 0 1260 9 0 0 25 0 1 0 9488629 38273024 6993 1992294400 134512640 137138936 4290191472 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 9344 6993 286 642 0 8700 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37376 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12526 /proc/meminfo: memFree=1813184/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=50892 CPUtime=25.49 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 70112 0 0 0 2523 26 0 0 25 0 1 0 9488629 52113408 10115 1992294400 134512640 137138936 4290191472 18446744073709551615 134733978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 12723 10120 286 642 0 12079 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50892 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12526 /proc/meminfo: memFree=1813060/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=51736 CPUtime=51.08 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 165441 0 0 0 5054 54 0 0 25 0 1 0 9488629 52977664 10210 1992294400 134512640 137138936 4290191472 18446744073709551615 135463837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 12934 10210 287 642 0 12290 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 51736 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12528 /proc/meminfo: memFree=1812440/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=52288 CPUtime=102.27 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 465568 0 0 0 10084 143 0 0 25 0 1 0 9488629 53542912 10326 1992294400 134512640 137138936 4290191472 18446744073709551615 135440689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 13072 10326 287 642 0 12428 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 52288 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12539 /proc/meminfo: memFree=1811324/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=53828 CPUtime=162.24 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 915689 0 0 0 15952 272 0 0 25 0 1 0 9488629 55119872 10733 1992294400 134512640 137138936 4290191472 18446744073709551615 135466274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 13457 10733 288 642 0 12813 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 53828 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12541 /proc/meminfo: memFree=1807480/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=56344 CPUtime=222.23 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 1271316 0 0 0 21848 375 0 0 25 0 1 0 9488629 57696256 11502 1992294400 134512640 137138936 4290191472 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 14086 11502 288 642 0 13442 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 56344 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12543 /proc/meminfo: memFree=1806364/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=57308 CPUtime=282.21 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 1603955 0 0 0 27750 471 0 0 25 0 1 0 9488629 58683392 11886 1992294400 134512640 137138936 4290191472 18446744073709551615 134769618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 14327 11886 288 642 0 13683 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 57308 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12543 /proc/meminfo: memFree=1804876/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=58996 CPUtime=342.19 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 2035279 0 0 0 33624 595 0 0 25 0 1 0 9488629 60411904 12206 1992294400 134512640 137138936 4290191472 18446744073709551615 134769641 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 14749 12206 288 642 0 14105 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 58996 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12545 /proc/meminfo: memFree=1803512/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=61476 CPUtime=402.18 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 2415773 0 0 0 39512 706 0 0 25 0 1 0 9488629 62951424 12450 1992294400 134512640 137138936 4290191472 18446744073709551615 134840834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 15369 12450 288 642 0 14725 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 61476 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12547 /proc/meminfo: memFree=1798924/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=64712 CPUtime=462.17 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 2778201 0 0 0 45404 813 0 0 25 0 1 0 9488629 66265088 13587 1992294400 134512640 137138936 4290191472 18446744073709551615 134828631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 16178 13587 288 642 0 15534 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 64712 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12549 /proc/meminfo: memFree=1795452/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=67572 CPUtime=522.15 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 2955746 0 0 0 51348 867 0 0 25 0 1 0 9488629 69193728 14388 1992294400 134512640 137138936 4290191472 18446744073709551615 134769621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 16893 14388 288 642 0 16249 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 67572 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12551 /proc/meminfo: memFree=1791112/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=72604 CPUtime=582.13 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 3276861 0 0 0 57251 962 0 0 25 0 1 0 9488629 74346496 15629 1992294400 134512640 137138936 4290191472 18446744073709551615 135466108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 18151 15629 288 642 0 17507 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 72604 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12551 /proc/meminfo: memFree=1786028/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=78468 CPUtime=642.13 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 3563482 0 0 0 63164 1049 0 0 25 0 1 0 9488629 80351232 16828 1992294400 134512640 137138936 4290191472 18446744073709551615 135344355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 19617 16828 288 642 0 18973 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 78468 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1747464/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=117024 CPUtime=1122.01 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 5751922 0 0 0 110468 1733 0 0 25 0 1 0 9488629 119832576 26672 1992294400 134512640 137138936 4290191472 18446744073709551615 135339308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 29256 26672 288 642 0 28612 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 117024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12567 /proc/meminfo: memFree=1745356/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=119088 CPUtime=1181.99 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 6071437 0 0 0 116368 1831 0 0 25 0 1 0 9488629 121946112 27129 1992294400 134512640 137138936 4290191472 18446744073709551615 135466087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 29772 27129 288 642 0 29128 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 119088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12567 /proc/meminfo: memFree=1740768/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=123340 CPUtime=1241.98 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 6481613 0 0 0 122249 1949 0 0 25 0 1 0 9488629 126300160 27968 1992294400 134512640 137138936 4290191472 18446744073709551615 134840687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 30835 27968 288 642 0 30191 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 123340 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12569 /proc/meminfo: memFree=1736056/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=126560 CPUtime=1301.96 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 6723302 0 0 0 128165 2031 0 0 25 0 1 0 9488629 129597440 29112 1992294400 134512640 137138936 4290191472 18446744073709551615 135323066 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 31640 29112 288 642 0 30996 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 126560 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12571 /proc/meminfo: memFree=1731964/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=132056 CPUtime=1361.95 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 6963094 0 0 0 134084 2111 0 0 25 0 1 0 9488629 135225344 30442 1992294400 134512640 137138936 4290191472 18446744073709551615 134769620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 33014 30442 288 642 0 32370 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 132056 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12573 /proc/meminfo: memFree=1718076/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=144416 CPUtime=1421.93 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 7272894 0 0 0 139983 2210 0 0 25 0 1 0 9488629 147881984 33608 1992294400 134512640 137138936 4290191472 18446744073709551615 134551298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 36104 33608 288 642 0 35460 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 144416 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12575 /proc/meminfo: memFree=1709024/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=154400 CPUtime=1481.91 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 7551610 0 0 0 145894 2297 0 0 25 0 1 0 9488629 158105600 36031 1992294400 134512640 137138936 4290191472 18446744073709551615 134730882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 38600 36031 288 642 0 37956 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 154400 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12575 /proc/meminfo: memFree=1698236/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=164392 CPUtime=1541.9 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 7753354 0 0 0 151827 2363 0 0 25 0 1 0 9488629 168337408 38650 1992294400 134512640 137138936 4290191472 18446744073709551615 135322584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 41098 38650 288 642 0 40454 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 164392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12577 /proc/meminfo: memFree=1684720/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=177564 CPUtime=1601.89 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 7981580 0 0 0 157754 2435 0 0 25 0 1 0 9488629 181825536 41875 1992294400 134512640 137138936 4290191472 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 44391 41875 288 642 0 43747 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 177564 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12579 /proc/meminfo: memFree=1675792/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=187852 CPUtime=1661.87 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8100857 0 0 0 163707 2480 0 0 25 0 1 0 9488629 192360448 44150 1992294400 134512640 137138936 4290191472 18446744073709551615 135440726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 46963 44150 288 642 0 46319 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 187852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12581 /proc/meminfo: memFree=1664632/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=198332 CPUtime=1721.85 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8256987 0 0 0 169653 2532 0 0 25 0 1 0 9488629 203091968 46990 1992294400 134512640 137138936 4290191472 18446744073709551615 136418862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 49583 46990 288 642 0 48939 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 198332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1651364/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=211060 CPUtime=1781.84 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8410722 0 0 0 175599 2585 0 0 25 0 1 0 9488629 216125440 50186 1992294400 134512640 137138936 4290191472 18446744073709551615 134850348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 52765 50186 288 642 0 52121 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 211060 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1650124/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=210636 CPUtime=1791.45 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8429092 0 0 0 176553 2592 0 0 25 0 1 0 9488629 215691264 50334 1992294400 134512640 137138936 4290191472 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 52659 50334 288 642 0 52015 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 210636 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1648636/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=213900 CPUtime=1794.65 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8435520 0 0 0 176870 2595 0 0 25 0 1 0 9488629 219033600 50827 1992294400 134512640 137138936 4290191472 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 53475 50827 288 642 0 52831 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 213900 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1649132/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=214140 CPUtime=1796.24 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8439530 0 0 0 177027 2597 0 0 25 0 1 0 9488629 219279360 50721 1992294400 134512640 137138936 4290191472 18446744073709551615 135440923 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 53535 50721 288 642 0 52891 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 214140 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1648512/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=214468 CPUtime=1797.04 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8441024 0 0 0 177107 2597 0 0 25 0 1 0 9488629 219615232 50893 1992294400 134512640 137138936 4290191472 18446744073709551615 135459204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 53617 50893 288 642 0 52973 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 214468 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1648512/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=214416 CPUtime=1797.43 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8441352 0 0 0 177146 2597 0 0 25 0 1 0 9488629 219561984 51028 1992294400 134512640 137138936 4290191472 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 53604 51028 288 642 0 52960 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 214416 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1648512/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=214416 CPUtime=1797.83 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8441468 0 0 0 177186 2597 0 0 25 0 1 0 9488629 219561984 51144 1992294400 134512640 137138936 4290191472 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 53604 51144 288 642 0 52960 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 214416 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12583 /proc/meminfo: memFree=1647396/2059040 swapFree=4140272/4192956 [pid=12525] ppid=12523 vsize=214564 CPUtime=1797.94 /proc/12525/stat : 12525 (bsolo_pb10) R 12523 12525 11698 0 -1 4202496 8441488 0 0 0 177197 2597 0 0 25 0 1 0 9488629 219713536 51164 1992294400 134512640 137138936 4290191472 18446744073709551615 135455704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12525/statm: 53641 51164 288 642 0 52997 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 214564 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798.02 CPU user time (s): 1772.02 CPU system time (s): 26.002 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 214564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.02 system time used= 26.002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8441553 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= 1 involuntary context switches= 2097 runsolver used 3.19151 second user time and 8.26774 second system time The end
Begin job on node025 at 2010-06-12 17:58:49 IDJOB=2656568 IDBENCH=1872 IDSOLVER=1162 FILE ID=node025/2656568-1276358329 PBS_JOBID= 11173200 Free space on /tmp= 62540 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656568-1276358329/watcher-2656568-1276358329 -o /tmp/evaluation-result-2656568-1276358329/solver-2656568-1276358329 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656568-1276358329.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED=1178088821 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853772 kB Buffers: 14904 kB Cached: 97596 kB SwapCached: 8192 kB Active: 87624 kB Inactive: 39928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853772 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 4072 kB Writeback: 0 kB AnonPages: 11004 kB Mapped: 12820 kB Slab: 55796 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182164 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node025 at 2010-06-12 18:28:48