Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | ? (TO) | 27 | 1800.05 | 1800.01 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb |
MD5SUM | 7294dff8a2fbe1f0b26c181010dcfed2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 0.834873 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22 |
Optimality of the best value was proved | YES |
Number of variables | 3041 |
Total number of constraints | 7696 |
Number of constraints which are clauses | 7696 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1510 |
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 | 1510 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1510 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 1800.04/1800.00 >>> Terminate signal received 1800.04/1800.00 o 27 1800.04/1800.00 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 -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
OK 27
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 /var/tmp/evaluation-result-3496514-1307932770/watcher-3496514-1307932770 -o /var/tmp/evaluation-result-3496514-1307932770/solver-3496514-1307932770 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496514-1307932770.opb --verbosity=0 --format=opb --randomseed=861555485 running on 4 cores: 0,2,4,6 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: 1.91 1.97 1.99 3/177 15956 /proc/meminfo: memFree=3246396/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=8252 CPUtime=0 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 545 0 0 0 0 0 0 0 25 0 1 0 904876791 8450048 498 33554432000 4194304 6957856 140736798474480 18446744073709551615 6085568 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 2063 498 251 675 0 1379 0 [startup+0.075107 s] /proc/loadavg: 1.91 1.97 1.99 3/177 15956 /proc/meminfo: memFree=3246396/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=14096 CPUtime=0.07 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 2073 0 0 0 7 0 0 0 25 0 1 0 904876791 14434304 1957 33554432000 4194304 6957856 140736798474480 18446744073709551615 5410634 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 3524 1957 266 675 0 2840 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14096 [startup+0.101097 s] /proc/loadavg: 1.91 1.97 1.99 3/177 15956 /proc/meminfo: memFree=3246396/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=16328 CPUtime=0.09 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 2616 0 0 0 9 0 0 0 25 0 1 0 904876791 16719872 2500 33554432000 4194304 6957856 140736798474480 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 4082 2500 266 675 0 3398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16328 [startup+0.301129 s] /proc/loadavg: 1.91 1.97 1.99 3/177 15956 /proc/meminfo: memFree=3246396/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=28904 CPUtime=0.29 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 5803 0 0 0 29 0 0 0 25 0 1 0 904876791 29597696 5687 33554432000 4194304 6957856 140736798474480 18446744073709551615 5319466 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 7226 5687 273 675 0 6542 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28904 [startup+0.701053 s] /proc/loadavg: 1.91 1.97 1.99 3/177 15956 /proc/meminfo: memFree=3246396/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=29056 CPUtime=0.69 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 5850 0 0 0 69 0 0 0 25 0 1 0 904876791 29753344 5733 33554432000 4194304 6957856 140736798474480 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 7264 5733 285 675 0 6580 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29056 [startup+1.50091 s] /proc/loadavg: 1.91 1.97 1.99 3/178 15957 /proc/meminfo: memFree=3224464/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=29056 CPUtime=1.49 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 5978 0 0 0 149 0 0 0 25 0 1 0 904876791 29753344 5857 33554432000 4194304 6957856 140736798474480 18446744073709551615 5312981 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 7264 5857 285 675 0 6580 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29056 [startup+3.10051 s] /proc/loadavg: 1.91 1.97 1.99 3/178 15957 /proc/meminfo: memFree=3223716/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=27764 CPUtime=3.09 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 6437 0 0 0 308 1 0 0 25 0 1 0 904876791 28430336 6065 33554432000 4194304 6957856 140736798474480 18446744073709551615 4840668 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 6941 6065 288 675 0 6257 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27764 [startup+6.30108 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15957 /proc/meminfo: memFree=3220864/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=32132 CPUtime=6.29 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 7042 0 0 0 628 1 0 0 25 0 1 0 904876791 32903168 6650 33554432000 4194304 6957856 140736798474480 18446744073709551615 5929023 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 8033 6650 288 675 0 7349 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32132 [startup+12.7009 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15957 /proc/meminfo: memFree=3217320/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=33188 CPUtime=12.69 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 7787 0 0 0 1268 1 0 0 25 0 1 0 904876791 33984512 7380 33554432000 4194304 6957856 140736798474480 18446744073709551615 4851128 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 8297 7380 288 675 0 7613 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33188 [startup+25.5007 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15958 /proc/meminfo: memFree=3215952/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=38184 CPUtime=25.49 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 9209 0 0 0 2548 1 0 0 25 0 1 0 904876791 39100416 7692 33554432000 4194304 6957856 140736798474480 18446744073709551615 5387595 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 9546 7692 288 675 0 8862 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38184 [startup+51.1012 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15958 /proc/meminfo: memFree=3211824/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=38184 CPUtime=51.1 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 10330 0 0 0 5108 2 0 0 25 0 1 0 904876791 39100416 8791 33554432000 4194304 6957856 140736798474480 18446744073709551615 4856781 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 9546 8791 288 675 0 8862 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 38184 [startup+102.306 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15960 /proc/meminfo: memFree=3211284/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=38204 CPUtime=102.29 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 13002 0 0 0 10227 2 0 0 25 0 1 0 904876791 39120896 8872 33554432000 4194304 6957856 140736798474480 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 9551 8872 288 675 0 8867 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 38204 [startup+162.301 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15961 /proc/meminfo: memFree=3207504/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=45360 CPUtime=162.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 14029 0 0 0 16227 3 0 0 25 0 1 0 904876791 46448640 9860 33554432000 4194304 6957856 140736798474480 18446744073709551615 5922093 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 11340 9860 288 675 0 10656 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 45360 [startup+222.301 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15963 /proc/meminfo: memFree=3203352/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=45360 CPUtime=222.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 15027 0 0 0 22226 4 0 0 25 0 1 0 904876791 46448640 10845 33554432000 4194304 6957856 140736798474480 18446744073709551615 4854288 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 11340 10845 288 675 0 10656 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 45360 [startup+282.3 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15964 /proc/meminfo: memFree=3202428/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=45360 CPUtime=282.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 18007 0 0 0 28226 4 0 0 25 0 1 0 904876791 46448640 10864 33554432000 4194304 6957856 140736798474480 18446744073709551615 5316146 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 11340 10864 288 675 0 10656 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 45360 [startup+342.301 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15966 /proc/meminfo: memFree=3191836/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64104 CPUtime=342.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 20395 0 0 0 34225 5 0 0 25 0 1 0 904876791 65642496 13196 33554432000 4194304 6957856 140736798474480 18446744073709551615 5922047 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16026 13196 288 675 0 15342 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 64104 [startup+402.301 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15968 /proc/meminfo: memFree=3186572/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64104 CPUtime=402.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 21657 0 0 0 40225 5 0 0 25 0 1 0 904876791 65642496 14431 33554432000 4194304 6957856 140736798474480 18446744073709551615 5934045 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16026 14431 288 675 0 15342 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 64104 [startup+462.3 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15969 /proc/meminfo: memFree=3181540/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64104 CPUtime=462.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 22795 0 0 0 46225 5 0 0 25 0 1 0 904876791 65642496 15537 33554432000 4194304 6957856 140736798474480 18446744073709551615 4851088 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16026 15537 288 675 0 15342 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 64104 [startup+522.301 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15971 /proc/meminfo: memFree=3181740/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64104 CPUtime=522.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 22795 0 0 0 52225 5 0 0 25 0 1 0 904876791 65642496 15537 33554432000 4194304 6957856 140736798474480 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16026 15537 288 675 0 15342 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 64104 [startup+582.3 s] /proc/loadavg: 2.00 1.98 1.99 3/178 15972 /proc/meminfo: memFree=3184792/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=582.3 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29070 0 0 0 58224 6 0 0 25 0 1 0 904876791 65966080 14770 33554432000 4194304 6957856 140736798474480 18446744073709551615 4840618 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14770 288 675 0 15421 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 64420 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.06 2.00 2.00 3/178 16018 /proc/meminfo: memFree=3961040/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=822.31 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29076 0 0 0 82224 7 0 0 25 0 1 0 904876791 65966080 14776 33554432000 4194304 6957856 140736798474480 18446744073709551615 4851128 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14776 288 675 0 15421 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 64420 [startup+882.3 s] /proc/loadavg: 2.02 2.00 2.00 3/178 16019 /proc/meminfo: memFree=3948580/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=882.31 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29076 0 0 0 88224 7 0 0 25 0 1 0 904876791 65966080 14776 33554432000 4194304 6957856 140736798474480 18446744073709551615 5934042 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14776 288 675 0 15421 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 64420 [startup+942.301 s] /proc/loadavg: 2.01 2.00 2.00 3/178 16021 /proc/meminfo: memFree=3954096/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=942.31 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29076 0 0 0 94224 7 0 0 25 0 1 0 904876791 65966080 14776 33554432000 4194304 6957856 140736798474480 18446744073709551615 4638583 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14776 288 675 0 15421 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 64420 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16023 /proc/meminfo: memFree=3953168/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1002.32 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 100225 7 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 4846760 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 64420 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16024 /proc/meminfo: memFree=3937356/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1062.32 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 106225 7 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 64420 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16026 /proc/meminfo: memFree=3937300/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1122.32 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 112225 7 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 4851128 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 64420 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16027 /proc/meminfo: memFree=3937492/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1182.32 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 118225 7 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 5922216 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 64420 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16029 /proc/meminfo: memFree=3937428/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1242.32 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 124225 7 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 5932625 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 64420 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16040 /proc/meminfo: memFree=3931984/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1302.33 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 130226 7 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 5934690 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 64420 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16041 /proc/meminfo: memFree=3932068/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1362.32 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 136225 7 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 4613444 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 64420 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.00 3/178 16043 /proc/meminfo: memFree=3927788/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=64420 CPUtime=1422.33 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29077 0 0 0 142225 8 0 0 25 0 1 0 904876791 65966080 14777 33554432000 4194304 6957856 140736798474480 18446744073709551615 5932662 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16105 14777 288 675 0 15421 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 64420 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 16047 /proc/meminfo: memFree=3923084/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=67100 CPUtime=1482.33 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29754 0 0 0 148225 8 0 0 25 0 1 0 904876791 68710400 15451 33554432000 4194304 6957856 140736798474480 18446744073709551615 4638554 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16775 15451 288 675 0 16091 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 67100 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16049 /proc/meminfo: memFree=3923124/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=67100 CPUtime=1542.33 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 29754 0 0 0 154225 8 0 0 25 0 1 0 904876791 68710400 15451 33554432000 4194304 6957856 140736798474480 18446744073709551615 4848184 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16775 15451 288 675 0 16091 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 67100 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16051 /proc/meminfo: memFree=3921576/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=67100 CPUtime=1602.33 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 30088 0 0 0 160225 8 0 0 25 0 1 0 904876791 68710400 15774 33554432000 4194304 6957856 140736798474480 18446744073709551615 5312925 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16775 15774 288 675 0 16091 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 67100 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16052 /proc/meminfo: memFree=3921268/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=67100 CPUtime=1662.33 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 30088 0 0 0 166225 8 0 0 25 0 1 0 904876791 68710400 15774 33554432000 4194304 6957856 140736798474480 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16775 15774 288 675 0 16091 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 67100 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16054 /proc/meminfo: memFree=3920344/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=67100 CPUtime=1722.34 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 30088 0 0 0 172226 8 0 0 25 0 1 0 904876791 68710400 15774 33554432000 4194304 6957856 140736798474480 18446744073709551615 5311728 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16775 15774 288 675 0 16091 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 67100 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16055 /proc/meminfo: memFree=3918908/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=67100 CPUtime=1782.34 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 30088 0 0 0 178226 8 0 0 25 0 1 0 904876791 68710400 15774 33554432000 4194304 6957856 140736798474480 18446744073709551615 5963744 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16775 15774 288 675 0 16091 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 67100 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16056 /proc/meminfo: memFree=3918780/32950928 swapFree=67055156/67111528 [pid=15956] ppid=15954 vsize=67100 CPUtime=1800.04 cores=0,2,4,6 /proc/15956/stat : 15956 (minisatid-gmp) R 15954 15956 12214 0 -1 4202496 30088 0 0 0 179996 8 0 0 25 0 1 0 904876791 68710400 15774 33554432000 4194304 6957856 140736798474480 18446744073709551615 4857273 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15956/statm: 16775 15774 288 675 0 16091 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 67100 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.01 CPU time (s): 1800.05 CPU user time (s): 1799.97 CPU system time (s): 0.085986 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 82780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.085986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30091 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= 5 involuntary context switches= 6045 runsolver used 2.54161 second user time and 5.66314 second system time The end
Begin job on node123 at 2011-06-13 04:39:30 IDJOB=3496514 IDBENCH=24979 IDSOLVER=1990 FILE ID=node123/3496514-1307932770 RUNJOBID= node123-1307919796-12232 PBS_JOBID= 13559656 Free space on /var/tmp= 2876 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3496514-1307932770/watcher-3496514-1307932770 -o /var/tmp/evaluation-result-3496514-1307932770/solver-3496514-1307932770 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496514-1307932770.opb --verbosity=0 --format=opb --randomseed=861555485 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2 RANDOM SEED=861555485 node123.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.838 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.67 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.838 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.15 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.838 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.75 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.838 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.82 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.838 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.74 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.838 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.80 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.838 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.838 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: 3247072 kB Buffers: 104444 kB Cached: 27881952 kB SwapCached: 10120 kB Active: 13021296 kB Inactive: 15772896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 3247072 kB SwapTotal: 67111528 kB SwapFree: 67055156 kB Dirty: 3540 kB Writeback: 0 kB AnonPages: 805448 kB Mapped: 14020 kB Slab: 844600 kB PageTables: 6200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1013340 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2888 MiB End job on node123 at 2011-06-13 05:09:32