0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing wbo file format. File HOME/instance-2697476-1278055354.wbo.
0.00/0.00	c Instance file HOME/instance-2697476-1278055354.wbo
0.00/0.00	c File size is 214533 bytes.
4.02/4.25	c Highest Coefficient sum: 62
4.02/4.25	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
4.12/4.33	c ============================[ Problem Statistics ]=============================
4.12/4.33	c |                                                                             |
4.12/4.33	c |  Parsing time:          4.08         s                                      |
4.12/4.33	c |  Number Variables:      6865                                                |
4.12/4.33	c |  Number Constraints:    6745                                                |
4.12/4.33	c ===============================================================================
26.35/12.16	c Remaining time 1795.92 sec.
26.35/12.16	s OPTIMUM FOUND
26.35/12.16	c Solution value = 2.00
26.35/12.16	v -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 -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 x1801 x1802 x1803 x1804 x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 x1892 x1893 x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 x1903 x1904 x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 x1916 x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 x2117 x2118 x2119 x2120 x2121 -x2122 x2123 x2124 x2125 -x2126 x2127 x2128 x2129 -x2130 -x2131 x2132 -x2133 x2134 -x2135 -x2136 x2137 x2138 -x2139 x2140 -x2141 x2142 -x2143 x2144 -x2145 x2146 -x2147 x2148 -x2149 x2150 -x2151 x2152 -x2153 x2154 x2155 x2156 x2157 x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 x2183 x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 x2312 -x2313 x2314 -x2315 -x2316 -x2317 x2318 x2319 -x2320 -x2321 x2322 x2323 x2324 -x2325 -x2326 x2327 -x2328 x2329 -x2330 -x2331 x2332 x2333 -x2334 -x2335 x2336 -x2337 x2338 x2339 -x2340 -x2341 x2342 x2343 -x2344 -x2345 x2346 -x2347 -x2348 x2349 x2350 -x2351 -x2352 -x2353 x2354 x2355
26.35/12.20	c Total CPU time              : 26.253 s

OK	2

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697476-1278055354/watcher-2697476-1278055354 -o /tmp/evaluation-result-2697476-1278055354/solver-2697476-1278055354 -C 1800 -W 2000 -M 3800 run HOME/instance-2697476-1278055354.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 9.07 7.31 3.70 4/186 22823
/proc/meminfo: memFree=31196924/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0

[startup+0.11625 s]
/proc/loadavg: 9.07 7.31 3.70 4/186 22823
/proc/meminfo: memFree=31196924/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.276353 s]
/proc/loadavg: 9.07 7.31 3.70 4/186 22823
/proc/meminfo: memFree=31196924/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.3004 s]
/proc/loadavg: 9.07 7.31 3.70 4/186 22823
/proc/meminfo: memFree=31196924/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.774322 s]
/proc/loadavg: 9.07 7.31 3.70 4/186 22823
/proc/meminfo: memFree=31196924/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.51219 s]
/proc/loadavg: 9.07 7.31 3.70 3/188 22825
/proc/meminfo: memFree=31196164/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=14784 CPUtime=1.49
/proc/22824/stat : 22824 (pb_cplex) R 22823 22823 22401 0 -1 4202496 860 0 0 0 149 0 0 0 25 0 1 0 146831812 15138816 814 4089446400 134512640 146736320 4289275840 18446744073709551615 144925742 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22824/statm: 3696 814 316 2985 0 577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23484

[startup+3.11091 s]
/proc/loadavg: 8.50 7.22 3.69 3/188 22825
/proc/meminfo: memFree=31195296/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=15328 CPUtime=3.08
/proc/22824/stat : 22824 (pb_cplex) R 22823 22823 22401 0 -1 4202496 1036 0 0 0 308 0 0 0 25 0 1 0 146831812 15695872 990 4089446400 134512640 146736320 4289275840 18446744073709551615 134814122 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22824/statm: 3832 990 330 2985 0 713 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24028

[startup+6.30034 s]
/proc/loadavg: 8.50 7.22 3.69 5/188 22825
/proc/meminfo: memFree=31179052/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=211164 CPUtime=6.68
/proc/22824/stat : 22824 (pb_cplex) S 22823 22823 22401 0 -1 4202496 37503 0 0 0 662 6 0 0 18 0 8 0 146831812 216231936 22735 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22824/statm: 52791 22735 1134 2985 0 49333 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 219864

Solver just ended. Dumping a history of the last processes samples

[startup+6.40033 s]
/proc/loadavg: 8.50 7.22 3.69 5/188 22825
/proc/meminfo: memFree=31179052/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=211804 CPUtime=7.06
/proc/22824/stat : 22824 (pb_cplex) S 22823 22823 22401 0 -1 4202496 37864 0 0 0 700 6 0 0 18 0 8 0 146831812 216887296 23009 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22824/statm: 52951 23009 1123 2985 0 49493 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 220504

[startup+9.60075 s]
/proc/loadavg: 8.54 7.25 3.72 3/188 22868
/proc/meminfo: memFree=31131112/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=245112 CPUtime=20.27
/proc/22824/stat : 22824 (pb_cplex) S 22823 22823 22401 0 -1 4202496 52235 0 0 0 2015 12 0 0 16 0 8 0 146831812 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22824/statm: 61278 31297 1072 2985 0 57820 0
[pid=22824/tid=22833] ppid=22823 vsize=245112 CPUtime=1.91
/proc/22824/task/22833/stat : 22833 (pb_cplex) S 22823 22823 22401 0 -1 4202560 1859 0 0 0 191 0 0 0 16 0 8 0 146832407 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 2 4096 16387 18446604453980082240 0 0 -1 3 0 0 0
[pid=22824/tid=22834] ppid=22823 vsize=245112 CPUtime=1.35
/proc/22824/task/22834/stat : 22834 (pb_cplex) S 22823 22823 22401 0 -1 4202560 2147 0 0 0 135 0 0 0 15 0 8 0 146832407 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 2 4096 16387 18446604453980082240 0 0 -1 7 0 0 0
[pid=22824/tid=22835] ppid=22823 vsize=245112 CPUtime=1.81
/proc/22824/task/22835/stat : 22835 (pb_cplex) S 22823 22823 22401 0 -1 4202560 2327 0 0 0 181 0 0 0 15 0 8 0 146832407 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 2 4096 16387 18446604453980082240 0 0 -1 4 0 0 0
[pid=22824/tid=22836] ppid=22823 vsize=245112 CPUtime=2.26
/proc/22824/task/22836/stat : 22836 (pb_cplex) S 22823 22823 22401 0 -1 4202560 3106 0 0 0 226 0 0 0 25 0 8 0 146832407 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 2 4096 16387 18446604453980082240 0 0 -1 4 0 0 0
[pid=22824/tid=22837] ppid=22823 vsize=245112 CPUtime=2.14
/proc/22824/task/22837/stat : 22837 (pb_cplex) S 22823 22823 22401 0 -1 4202560 3437 0 0 0 213 1 0 0 18 0 8 0 146832407 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 2 4096 16387 18446604453980082240 0 0 -1 2 0 0 0
[pid=22824/tid=22838] ppid=22823 vsize=245112 CPUtime=1.64
/proc/22824/task/22838/stat : 22838 (pb_cplex) R 22823 22823 22401 0 -1 4202560 3065 0 0 0 164 0 0 0 22 0 8 0 146832407 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 136008176 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=22824/tid=22839] ppid=22823 vsize=245112 CPUtime=2.03
/proc/22824/task/22839/stat : 22839 (pb_cplex) S 22823 22823 22401 0 -1 4202560 3960 0 0 0 202 1 0 0 18 0 8 0 146832407 250994688 31297 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 2 4096 16387 18446604453980082240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.27
Current children cumulated vsize (KiB) 253812

[startup+11.2005 s]
/proc/loadavg: 8.54 7.25 3.72 3/181 22889
/proc/meminfo: memFree=31130796/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=142964 CPUtime=23.91
/proc/22824/stat : 22824 (pb_cplex) R 22823 22823 22401 0 -1 4202496 59349 0 0 0 2375 16 0 0 16 0 1 0 146831812 146395136 19145 4089446400 134512640 146736320 4289275840 18446744073709551615 137708221 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/22824/statm: 35741 19145 1078 2985 0 32283 0
Current children cumulated CPU time (s) 23.91
Current children cumulated vsize (KiB) 151664

[startup+12.0003 s]
/proc/loadavg: 8.54 7.25 3.72 3/181 22889
/proc/meminfo: memFree=31130796/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=158324 CPUtime=26.19
/proc/22824/stat : 22824 (pb_cplex) S 22823 22823 22401 0 -1 4202496 72062 0 0 0 2599 20 0 0 19 0 8 0 146831812 162123776 17184 4089446400 134512640 146736320 4289275840 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/22824/statm: 39581 17184 1082 2985 0 36123 0
Current children cumulated CPU time (s) 26.19
Current children cumulated vsize (KiB) 167024

[startup+12.2063 s]
/proc/loadavg: 8.02 7.17 3.71 6/195 22924
/proc/meminfo: memFree=31137876/32950928 swapFree=4192956/4192956
[pid=22823] ppid=22821 vsize=8700 CPUtime=0
/proc/22823/stat : 22823 (run) S 22821 22823 22401 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 146831812 8908800 248 4089446400 4194304 4922060 140735257524912 18446744073709551615 230565715077 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22823/statm: 2175 248 208 178 0 68 0
[pid=22824] ppid=22823 vsize=104160 CPUtime=26.45
/proc/22824/stat : 22824 (pb_cplex) R 22823 22823 22401 0 -1 4202496 72238 0 0 0 2625 20 0 0 16 0 1 0 146831812 106659840 11960 4089446400 134512640 146736320 4289275840 18446744073709551615 140541968 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/22824/statm: 26040 11956 1105 2985 0 22582 0
Current children cumulated CPU time (s) 26.45
Current children cumulated vsize (KiB) 112860

Child status: 0
Real time (s): 12.2091
CPU time (s): 26.467
CPU user time (s): 26.255
CPU system time (s): 0.211967
CPU usage (%): 216.781
Max. virtual memory (cumulated for all children) (KiB): 264336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.255
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72609
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= 4289
involuntary context switches= 1254

runsolver used 0.016997 second user time and 0.055991 second system time

The end

Begin job on node124 at 2010-07-02 09:22:35
IDJOB=2697476
IDBENCH=79044
IDSOLVER=1210
FILE ID=node124/2697476-1278055354
PBS_JOBID= 11198934
Free space on /tmp= 130600 MiB

SOLVER NAME= pb_cplex 2010-07-01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-33-100-0.wbo
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697476-1278055354/watcher-2697476-1278055354 -o /tmp/evaluation-result-2697476-1278055354/solver-2697476-1278055354 -C 1800 -W 2000 -M 3800  run HOME/instance-2697476-1278055354.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 95fc93b9bf9d7a2900db6241c7ee4c87
RANDOM SEED=994082740

node124.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	: 5226.07
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.77
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.82
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31196832 kB
Buffers:        225328 kB
Cached:        1291356 kB
SwapCached:          0 kB
Active:         676400 kB
Inactive:       956548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31196832 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           17104 kB
Writeback:           0 kB
AnonPages:      117052 kB
Mapped:          18988 kB
Slab:            84024 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   337444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130584 MiB
End job on node124 at 2010-07-02 09:22:47