Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | ? (TO) | 388805 | 1800.06 | 1800.02 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__32.opb |
MD5SUM | a9de06eb109955ed8ed5086d04c7f5e9 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 45008 |
Best CPU time to get the best result obtained on this benchmark | 1.55576 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3248 |
Total number of constraints | 150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 102 |
Number of constraints which are nor clauses,nor cardinality constraints | 48 |
Minimum length of a constraint | 32 |
Maximum length of a constraint | 289 |
Number of terms in the objective function | 3200 |
Biggest coefficient in the objective function | 126454 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 107409120 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 126454 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 107409120 |
Number of bits of the biggest sum of numbers | 27 |
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.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.09/0.17 o 559829 332.10/332.13 o 551860 824.81/824.82 o 407998 832.41/832.47 o 388805 1800.04/1800.01 >>> Terminate signal received 1800.04/1800.01 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 -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 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248
OK 388805
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3467521-1307425127/watcher-3467521-1307425127 -o /tmp/evaluation-result-3467521-1307425127/solver-3467521-1307425127 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467521-1307425127.opb --verbosity=0 --format=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 Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.03 2.00 3/488 10543 /proc/meminfo: memFree=19722180/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=7464 CPUtime=0 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 383 0 0 0 0 0 0 0 25 0 1 0 586703990 7643136 330 33554432000 4194304 6736272 140734161415168 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 1866 330 221 621 0 1236 0 [startup+0.0995101 s] /proc/loadavg: 1.99 2.03 2.00 3/488 10543 /proc/meminfo: memFree=19722180/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=15160 CPUtime=0.09 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 2675 0 0 0 9 0 0 0 25 0 1 0 586703990 15523840 2277 33554432000 4194304 6736272 140734161415168 18446744073709551615 5148165 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 3790 2277 275 621 0 3160 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15160 [startup+0.100509 s] /proc/loadavg: 1.99 2.03 2.00 3/488 10543 /proc/meminfo: memFree=19722180/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=15160 CPUtime=0.09 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 2676 0 0 0 9 0 0 0 25 0 1 0 586703990 15523840 2278 33554432000 4194304 6736272 140734161415168 18446744073709551615 5816799 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 3790 2278 275 621 0 3160 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15160 [startup+0.300461 s] /proc/loadavg: 1.99 2.03 2.00 3/488 10543 /proc/meminfo: memFree=19722180/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=10968 CPUtime=0.29 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 2780 0 0 0 29 0 0 0 25 0 1 0 586703990 11231232 2342 33554432000 4194304 6736272 140734161415168 18446744073709551615 5803305 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 2742 2342 286 621 0 2112 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10968 [startup+0.70039 s] /proc/loadavg: 1.99 2.03 2.00 3/488 10543 /proc/meminfo: memFree=19722180/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=11296 CPUtime=0.69 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 2857 0 0 0 69 0 0 0 25 0 1 0 586703990 11567104 2417 33554432000 4194304 6736272 140734161415168 18446744073709551615 5151430 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 2824 2417 286 621 0 2194 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11296 [startup+1.50026 s] /proc/loadavg: 1.99 2.03 2.00 3/489 10544 /proc/meminfo: memFree=19712876/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=11920 CPUtime=1.49 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 2938 0 0 0 149 0 0 0 25 0 1 0 586703990 12206080 2497 33554432000 4194304 6736272 140734161415168 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 2980 2497 286 621 0 2350 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11920 [startup+3.10098 s] /proc/loadavg: 1.99 2.03 2.00 3/489 10544 /proc/meminfo: memFree=19712008/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=11920 CPUtime=3.09 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 2938 0 0 0 309 0 0 0 25 0 1 0 586703990 12206080 2497 33554432000 4194304 6736272 140734161415168 18446744073709551615 5803300 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 2980 2497 286 621 0 2350 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11920 [startup+6.3004 s] /proc/loadavg: 1.99 2.03 2.00 3/489 10544 /proc/meminfo: memFree=19711264/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=11920 CPUtime=6.29 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 3011 0 0 0 629 0 0 0 25 0 1 0 586703990 12206080 2567 33554432000 4194304 6736272 140734161415168 18446744073709551615 4734723 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 2980 2567 286 621 0 2350 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11920 [startup+12.7003 s] /proc/loadavg: 1.99 2.02 2.00 3/489 10545 /proc/meminfo: memFree=19709572/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=13976 CPUtime=12.69 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 3361 0 0 0 1269 0 0 0 25 0 1 0 586703990 14311424 2908 33554432000 4194304 6736272 140734161415168 18446744073709551615 5149361 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 3494 2908 287 621 0 2864 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13976 [startup+25.501 s] /proc/loadavg: 1.99 2.02 2.00 3/489 10545 /proc/meminfo: memFree=19708240/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=15256 CPUtime=25.49 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 3779 0 0 0 2549 0 0 0 25 0 1 0 586703990 15622144 3323 33554432000 4194304 6736272 140734161415168 18446744073709551615 5806449 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 3814 3323 287 621 0 3184 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15256 [startup+51.1005 s] /proc/loadavg: 1.99 2.02 2.00 3/489 10546 /proc/meminfo: memFree=19698760/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=51.09 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7408 0 0 0 5109 0 0 0 25 0 1 0 586703990 25632768 5396 33554432000 4194304 6736272 140734161415168 18446744073709551615 4730933 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5396 287 621 0 5628 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 25032 [startup+102.317 s] /proc/loadavg: 2.08 2.05 2.01 3/489 10547 /proc/meminfo: memFree=19698612/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=102.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7444 0 0 0 10231 0 0 0 25 0 1 0 586703990 25632768 5431 33554432000 4194304 6736272 140734161415168 18446744073709551615 5816819 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5431 287 621 0 5628 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 25032 [startup+162.301 s] /proc/loadavg: 2.07 2.05 2.01 3/489 10549 /proc/meminfo: memFree=19698080/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=162.29 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7446 0 0 0 16229 0 0 0 25 0 1 0 586703990 25632768 5433 33554432000 4194304 6736272 140734161415168 18446744073709551615 5806398 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5433 287 621 0 5628 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 25032 [startup+222.3 s] /proc/loadavg: 2.02 2.04 2.00 3/489 10550 /proc/meminfo: memFree=19699148/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=222.29 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 22229 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5148061 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 25032 [startup+282.301 s] /proc/loadavg: 2.01 2.03 2.00 3/489 10552 /proc/meminfo: memFree=19699112/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=282.29 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 28229 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4753719 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 25032 [startup+342.3 s] /proc/loadavg: 2.11 2.05 2.01 3/489 10553 /proc/meminfo: memFree=19699188/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=342.29 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 34229 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4745055 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 25032 [startup+402.301 s] /proc/loadavg: 2.09 2.06 2.01 3/489 10555 /proc/meminfo: memFree=19699040/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=402.3 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 40230 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 25032 [startup+462.301 s] /proc/loadavg: 2.03 2.04 2.00 3/489 10557 /proc/meminfo: memFree=19699124/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=462.3 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 46230 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 25032 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 10558 /proc/meminfo: memFree=19699080/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=522.3 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 52230 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5148141 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 25032 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/489 10560 /proc/meminfo: memFree=19699164/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=582.3 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 58230 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5149207 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 25032 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.03 2.00 3/489 10566 /proc/meminfo: memFree=19699024/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=822.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 82231 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4535003 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 25032 [startup+882.301 s] /proc/loadavg: 2.15 2.06 2.01 3/489 10568 /proc/meminfo: memFree=19698608/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=882.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 88231 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 25032 [startup+942.3 s] /proc/loadavg: 2.12 2.06 2.01 3/489 10569 /proc/meminfo: memFree=19699188/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=942.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 94231 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5803218 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 25032 [startup+1002.3 s] /proc/loadavg: 2.04 2.05 2.00 3/489 10571 /proc/meminfo: memFree=19699032/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1002.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 100231 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4750608 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 25032 [startup+1062.3 s] /proc/loadavg: 2.01 2.04 2.00 3/489 10576 /proc/meminfo: memFree=19700108/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1062.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 106231 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 25032 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.00 3/489 10577 /proc/meminfo: memFree=19699484/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1122.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 112231 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5149207 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 25032 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 10579 /proc/meminfo: memFree=19698084/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1182.31 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 118231 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4753698 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 25032 [startup+1242.3 s] /proc/loadavg: 2.14 2.06 2.01 3/489 10580 /proc/meminfo: memFree=19678816/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1242.32 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 124232 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 25032 [startup+1302.3 s] /proc/loadavg: 2.05 2.05 2.00 3/489 10582 /proc/meminfo: memFree=19678168/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1302.32 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 130232 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4289011 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 25032 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/489 10593 /proc/meminfo: memFree=19678560/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1362.32 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 136232 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 25032 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/489 10594 /proc/meminfo: memFree=19679388/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1422.34 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 142234 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4535110 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 25032 [startup+1482.3 s] /proc/loadavg: 2.08 2.05 2.01 3/489 10596 /proc/meminfo: memFree=19679720/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1482.32 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 148232 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 25032 [startup+1542.3 s] /proc/loadavg: 2.06 2.05 2.01 3/489 10597 /proc/meminfo: memFree=19679800/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1542.32 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 154232 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5806367 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 25032 [startup+1602.3 s] /proc/loadavg: 2.02 2.04 2.00 3/489 10599 /proc/meminfo: memFree=19680004/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1602.33 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 160233 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 25032 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 10601 /proc/meminfo: memFree=19679848/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1662.33 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 166233 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 5806413 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 25032 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 10602 /proc/meminfo: memFree=19680168/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1722.33 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 172233 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 25032 [startup+1782.3 s] /proc/loadavg: 2.09 2.05 2.01 3/489 10632 /proc/meminfo: memFree=21187536/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1782.33 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 178233 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 25032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.04 2.01 3/489 10632 /proc/meminfo: memFree=21187264/32951124 swapFree=46575304/67111528 [pid=10543] ppid=10541 vsize=25032 CPUtime=1800.04 cores=1,3,5,7 /proc/10543/stat : 10543 (minisatid-gmp) R 10541 10543 9774 0 -1 4202496 7447 0 0 0 180004 0 0 0 25 0 1 0 586703990 25632768 5434 33554432000 4194304 6736272 140734161415168 18446744073709551615 4504385 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/10543/statm: 6258 5434 287 621 0 5628 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 25032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1800.05 CPU system time (s): 0.007998 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 25032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.007998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7452 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= 8 involuntary context switches= 20983 runsolver used 8.48771 second user time and 19.0861 second system time The end
Begin job on node107 at 2011-06-07 07:38:47 IDJOB=3467521 IDBENCH=71902 IDSOLVER=1957 FILE ID=node107/3467521-1307425127 RUNJOBID= node107-1307417880-10029 PBS_JOBID= 13514224 Free space on /tmp= 73872 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__32.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467521-1307425127/watcher-3467521-1307425127 -o /tmp/evaluation-result-3467521-1307425127/solver-3467521-1307425127 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467521-1307425127.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9de06eb109955ed8ed5086d04c7f5e9 RANDOM SEED=1651394759 node107.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.829 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.65 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.829 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 : 5332.75 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.829 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.67 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.829 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.829 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.829 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 : 5359.47 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.829 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.75 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.829 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: 32951124 kB MemFree: 19722460 kB Buffers: 358212 kB Cached: 2271632 kB SwapCached: 22548 kB Active: 10845680 kB Inactive: 2027452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19722460 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 28320 kB Writeback: 0 kB AnonPages: 10237860 kB Mapped: 33856 kB Slab: 188788 kB PageTables: 97500 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 146664476 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 /tmp at the end= 73896 MiB End job on node107 at 2011-06-07 08:08:49