Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: Pueblo 1.4 | SAT | -14 | 1783.01 | 1783.3 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -15 |
Best CPU time to get the best result obtained on this benchmark | 1797.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.06/0.09 c starting to Solve 0.06/0.09 c #variables read: 3238 - #constraints read: 6379 0.06/0.09 o 0 0.06/0.09 o 1 0.06/0.09 o 2 0.06/0.09 o 3 0.06/0.09 o 4 0.06/0.10 o 5 0.06/0.10 o 6 0.09/0.10 o 7 0.09/0.10 o 8 0.09/0.12 o 9 0.09/0.13 o 10 0.29/0.35 o 11 0.59/0.64 o 12 0.59/0.68 o 13 45.88/45.97 o 14 1782.90/1783.29 c total time : 1783 s 1782.90/1783.29 s SATISFIABLE 1782.90/1783.29 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 -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 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -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
OK -14
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720482-1338511521/watcher-3720482-1338511521 -o /tmp/evaluation-result-3720482-1338511521/solver-3720482-1338511521 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720482-1338511521.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.93 3/176 13191 /proc/meminfo: memFree=30135208/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=3100 CPUtime=0 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 317280660 3174400 257 33554432000 134512640 134579096 4289450496 4289317900 10026944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 775 258 219 17 0 81 0 [startup+0.069292 s] /proc/loadavg: 2.00 2.00 1.93 3/176 13191 /proc/meminfo: memFree=30135208/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=5160 CPUtime=0.06 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 840 0 0 0 6 0 0 0 20 0 1 0 317280660 5283840 777 33554432000 134512640 134579096 4289450496 4289449472 10375382 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 1290 777 225 17 0 596 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5160 [startup+0.100267 s] /proc/loadavg: 2.00 2.00 1.93 3/176 13191 /proc/meminfo: memFree=30135208/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=5560 CPUtime=0.09 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 948 0 0 0 9 0 0 0 20 0 1 0 317280660 5693440 885 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 1390 885 227 17 0 696 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5560 [startup+0.300236 s] /proc/loadavg: 2.00 2.00 1.93 3/176 13191 /proc/meminfo: memFree=30135208/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=5676 CPUtime=0.29 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 955 0 0 0 29 0 0 0 20 0 1 0 317280660 5812224 892 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 1419 892 227 17 0 725 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5676 [startup+0.700229 s] /proc/loadavg: 2.00 2.00 1.93 3/176 13191 /proc/meminfo: memFree=30135208/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=6992 CPUtime=0.69 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 1294 0 0 0 69 0 0 0 20 0 1 0 317280660 7159808 1226 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 1748 1226 227 17 0 1054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6992 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13192 /proc/meminfo: memFree=30129404/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=8944 CPUtime=1.48 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 1790 0 0 0 148 0 0 0 20 0 1 0 317280660 9158656 1722 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 2236 1722 227 17 0 1542 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8944 [startup+3.10024 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13192 /proc/meminfo: memFree=30127164/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=10204 CPUtime=3.09 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 2085 0 0 0 308 1 0 0 20 0 1 0 317280660 10448896 2017 33554432000 134512640 134579096 4289450496 4289449344 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 2551 2017 227 17 0 1857 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10204 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13192 /proc/meminfo: memFree=30122328/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=12268 CPUtime=6.29 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 2602 0 0 0 627 2 0 0 20 0 1 0 317280660 12562432 2534 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 3067 2534 227 17 0 2373 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12268 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13192 /proc/meminfo: memFree=30115392/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=12912 CPUtime=12.68 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 2782 0 0 0 1265 3 0 0 20 0 1 0 317280660 13221888 2714 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 3228 2714 227 17 0 2534 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12912 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13192 /proc/meminfo: memFree=30114260/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=14336 CPUtime=25.48 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 3118 0 0 0 2542 6 0 0 20 0 1 0 317280660 14680064 3050 33554432000 134512640 134579096 4289450496 4289449332 134528030 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 3584 3050 227 17 0 2890 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14336 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13192 /proc/meminfo: memFree=30112724/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=16056 CPUtime=51.08 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 3552 0 0 0 5096 12 0 0 20 0 1 0 317280660 16441344 3484 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 4014 3484 227 17 0 3320 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16056 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13192 /proc/meminfo: memFree=30109792/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=18560 CPUtime=102.27 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 4166 0 0 0 10206 21 0 0 20 0 1 0 317280660 19005440 4098 33554432000 134512640 134579096 4289450496 4289449396 134527547 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 4640 4098 227 17 0 3946 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18560 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13193 /proc/meminfo: memFree=30096232/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=20148 CPUtime=162.25 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 4553 0 0 0 16193 32 0 0 20 0 1 0 317280660 20631552 4506 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 5037 4506 227 17 0 4343 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20148 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13193 /proc/meminfo: memFree=30035844/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=22876 CPUtime=222.25 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 5199 0 0 0 22183 42 0 0 20 0 1 0 317280660 23425024 5152 33554432000 134512640 134579096 4289450496 4289449344 134527656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 5719 5152 227 17 0 5025 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 22876 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 13196 /proc/meminfo: memFree=30030368/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=23852 CPUtime=282.24 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 5449 0 0 0 28173 51 0 0 20 0 1 0 317280660 24424448 5402 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 5963 5402 227 17 0 5269 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 23852 [startup+342.3 s] /proc/loadavg: 2.05 2.01 1.94 3/177 13196 /proc/meminfo: memFree=30029880/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=24520 CPUtime=342.23 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 5595 0 0 0 34161 62 0 0 20 0 1 0 317280660 25108480 5567 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 6130 5567 227 17 0 5436 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 24520 [startup+402.3 s] /proc/loadavg: 2.02 2.01 1.94 3/177 13196 /proc/meminfo: memFree=30029508/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=25400 CPUtime=402.21 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 5779 0 0 0 40149 72 0 0 20 0 1 0 317280660 26009600 5751 33554432000 134512640 134579096 4289450496 4289449344 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 6350 5751 227 17 0 5656 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 25400 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 13197 /proc/meminfo: memFree=30028764/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=26436 CPUtime=462.2 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 6043 0 0 0 46138 82 0 0 20 0 1 0 317280660 27070464 6015 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 6609 6015 227 17 0 5915 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 26436 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 13197 /proc/meminfo: memFree=29995744/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=26276 CPUtime=522.19 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 6044 0 0 0 52128 91 0 0 20 0 1 0 317280660 26906624 5999 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 6569 5999 227 17 0 5875 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 26276 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 13197 /proc/meminfo: memFree=29995244/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=26780 CPUtime=582.19 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 6176 0 0 0 58118 101 0 0 20 0 1 0 317280660 27422720 6180 33554432000 134512640 134579096 4289450496 4289449328 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 6695 6180 227 17 0 6001 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 26780 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29987740/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=29088 CPUtime=882.14 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 6674 0 0 0 88056 158 0 0 20 0 1 0 317280660 29786112 6678 33554432000 134512640 134579096 4289450496 4289449344 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 7272 6678 227 17 0 6578 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 29088 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 13224 /proc/meminfo: memFree=29985324/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=30516 CPUtime=942.13 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 6997 0 0 0 94045 168 0 0 20 0 1 0 317280660 31248384 7001 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 7629 7001 227 17 0 6935 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 30516 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 13224 /proc/meminfo: memFree=29985424/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=30516 CPUtime=1002.12 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 6999 0 0 0 100035 177 0 0 20 0 1 0 317280660 31248384 7089 33554432000 134512640 134579096 4289450496 4289449360 134520196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 7629 7089 227 17 0 6935 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 30516 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 13225 /proc/meminfo: memFree=29985672/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=30516 CPUtime=1062.11 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 6999 0 0 0 106023 188 0 0 20 0 1 0 317280660 31248384 7089 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 7629 7089 227 17 0 6935 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 30516 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 13225 /proc/meminfo: memFree=29984184/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=31772 CPUtime=1122.11 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7258 0 0 0 112014 197 0 0 20 0 1 0 317280660 32534528 7348 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 7943 7348 227 17 0 7249 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 31772 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 13225 /proc/meminfo: memFree=29984060/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=31772 CPUtime=1182.1 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7259 0 0 0 118004 206 0 0 20 0 1 0 317280660 32534528 7349 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 7943 7349 227 17 0 7249 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 31772 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 13225 /proc/meminfo: memFree=29984432/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=31772 CPUtime=1242.08 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7259 0 0 0 123993 215 0 0 20 0 1 0 317280660 32534528 7349 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 7943 7349 227 17 0 7249 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 31772 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 1.94 3/178 13225 /proc/meminfo: memFree=29983812/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=32024 CPUtime=1302.08 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7339 0 0 0 129985 223 0 0 20 0 1 0 317280660 32792576 7429 33554432000 134512640 134579096 4289450496 4289449344 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8006 7429 227 17 0 7312 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 32024 [startup+1362.3 s] /proc/loadavg: 2.17 2.06 1.96 3/178 13226 /proc/meminfo: memFree=29983812/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=32068 CPUtime=1362.07 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7352 0 0 0 135976 231 0 0 20 0 1 0 317280660 32837632 7435 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8017 7435 227 17 0 7323 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 32068 [startup+1422.31 s] /proc/loadavg: 2.13 2.08 1.97 3/178 13226 /proc/meminfo: memFree=29983252/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=32196 CPUtime=1422.06 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7398 0 0 0 141969 237 0 0 20 0 1 0 317280660 32968704 7529 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8049 7529 227 17 0 7355 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 32196 [startup+1482.3 s] /proc/loadavg: 2.08 2.08 1.98 3/179 13229 /proc/meminfo: memFree=29968076/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=33232 CPUtime=1482.05 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7646 0 0 0 147959 246 0 0 20 0 1 0 317280660 34029568 7777 33554432000 134512640 134579096 4289450496 4289449344 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8308 7777 227 17 0 7614 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 33232 [startup+1542.3 s] /proc/loadavg: 2.06 2.07 1.98 3/178 13229 /proc/meminfo: memFree=29927204/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1542.04 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7838 0 0 0 153951 253 0 0 20 0 1 0 317280660 34844672 7969 33554432000 134512640 134579096 4289450496 4289449344 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 7969 227 17 0 7813 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 34028 [startup+1602.3 s] /proc/loadavg: 2.02 2.06 1.98 3/178 13229 /proc/meminfo: memFree=29922644/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1602.03 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7838 0 0 0 159940 263 0 0 20 0 1 0 317280660 34844672 7969 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 7969 227 17 0 7813 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 34028 [startup+1662.3 s] /proc/loadavg: 2.01 2.05 1.98 3/178 13278 /proc/meminfo: memFree=30273424/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1662.03 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7839 0 0 0 165930 273 0 0 20 0 1 0 317280660 34844672 8010 33554432000 134512640 134579096 4289450496 4289449344 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 8010 227 17 0 7813 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 34028 [startup+1722.3 s] /proc/loadavg: 2.04 2.05 1.99 3/178 13326 /proc/meminfo: memFree=30227608/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1722.01 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7839 0 0 0 171919 282 0 0 20 0 1 0 317280660 34844672 8010 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 8010 227 17 0 7813 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 34028 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 1.99 3/178 13326 /proc/meminfo: memFree=30175444/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1782 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7839 0 0 0 177909 291 0 0 20 0 1 0 317280660 34844672 8010 33554432000 134512640 134579096 4289450496 4289449344 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 8010 227 17 0 7813 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 34028 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 2.01 2.04 1.99 3/178 13326 /proc/meminfo: memFree=30175444/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1782.4 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7839 0 0 0 177949 291 0 0 20 0 1 0 317280660 34844672 8010 33554432000 134512640 134579096 4289450496 4289449344 134527818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 8010 227 17 0 7813 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (KiB) 34028 [startup+1783.11 s] /proc/loadavg: 2.01 2.04 1.99 3/178 13326 /proc/meminfo: memFree=30174948/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1782.81 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7839 0 0 0 177990 291 0 0 20 0 1 0 317280660 34844672 8010 33554432000 134512640 134579096 4289450496 4289449468 1205296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 8010 227 17 0 7813 0 Current children cumulated CPU time (s) 1782.81 Current children cumulated vsize (KiB) 34028 [startup+1783.2 s] /proc/loadavg: 2.01 2.04 1.99 3/178 13326 /proc/meminfo: memFree=30174948/32873844 swapFree=7372/7372 [pid=13191] ppid=13189 vsize=34028 CPUtime=1782.9 cores=1,3,5,7 /proc/13191/stat : 13191 (Pueblo) R 13189 13191 12482 0 -1 4202496 7839 0 0 0 177999 291 0 0 20 0 1 0 317280660 34844672 8010 33554432000 134512640 134579096 4289450496 4289449360 134520048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13191/statm: 8507 8010 227 17 0 7813 0 Current children cumulated CPU time (s) 1782.9 Current children cumulated vsize (KiB) 34028 Child status: 10 Real time (s): 1783.3 CPU time (s): 1783.01 CPU user time (s): 1780.09 CPU system time (s): 2.91656 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 34028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.09 system time used= 2.91656 maximum resident set size= 32060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7844 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= 23 involuntary context switches= 1836 runsolver used 4.35034 second user time and 12.7151 second system time The end
Begin job on node109 at 2012-06-01 02:45:21 IDJOB=3720482 IDBENCH=48243 IDSOLVER=2305 FILE ID=node109/3720482-1338511521 RUNJOBID= node109-1338506009-12499 PBS_JOBID= 14635782 Free space on /tmp= 70708 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb COMMAND LINE= Pueblo BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720482-1338511521/watcher-3720482-1338511521 -o /tmp/evaluation-result-3720482-1338511521/solver-3720482-1338511521 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720482-1338511521.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=703474242 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30136388 kB Buffers: 250728 kB Cached: 1417948 kB SwapCached: 944 kB Active: 1052656 kB Inactive: 820756 kB Active(anon): 199044 kB Inactive(anon): 7800 kB Active(file): 853612 kB Inactive(file): 812956 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67105492 kB Dirty: 2136 kB Writeback: 0 kB AnonPages: 210340 kB Mapped: 11028 kB Shmem: 4 kB Slab: 725520 kB SReclaimable: 167956 kB SUnreclaim: 557564 kB KernelStack: 1456 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 320376 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720482-1338511521.opb Free space on /tmp at the end= 70700 MiB End job on node109 at 2012-06-01 03:15:04