Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | ? (TO) | 90 | 1800.08 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 1797.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
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 | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
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 | 5203 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5203 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.01 >>> 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 90 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 -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 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 x3267 x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203
OK 90
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3497110-1307929433/watcher-3497110-1307929433 -o /tmp/evaluation-result-3497110-1307929433/solver-3497110-1307929433 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497110-1307929433.opb --verbosity=0 --format=opb --randomseed=833521398 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: 2.02 2.01 1.97 3/177 13149 /proc/meminfo: memFree=32362292/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=7892 CPUtime=0 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 423 0 0 0 0 0 0 0 25 0 1 0 904541264 8081408 376 33554432000 4194304 6957856 140734885363952 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13149/statm: 1973 376 227 675 0 1289 0 [startup+0.017193 s] /proc/loadavg: 2.02 2.01 1.97 3/177 13149 /proc/meminfo: memFree=32362292/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=10196 CPUtime=0.01 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 1116 0 0 0 1 0 0 0 25 0 1 0 904541264 10440704 954 33554432000 4194304 6957856 140734885363952 18446744073709551615 5460018 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 2549 954 251 675 0 1865 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10196 [startup+0.100201 s] /proc/loadavg: 2.02 2.01 1.97 3/177 13149 /proc/meminfo: memFree=32362292/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=12176 CPUtime=0.09 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 1615 0 0 0 9 0 0 0 25 0 1 0 904541264 12468224 1453 33554432000 4194304 6957856 140734885363952 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 3044 1453 251 675 0 2360 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12176 [startup+0.300173 s] /proc/loadavg: 2.02 2.01 1.97 3/177 13149 /proc/meminfo: memFree=32362292/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=18380 CPUtime=0.29 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 3163 0 0 0 29 0 0 0 25 0 1 0 904541264 18821120 3001 33554432000 4194304 6957856 140734885363952 18446744073709551615 5710944 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 4595 3001 251 675 0 3911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18380 [startup+0.701101 s] /proc/loadavg: 2.02 2.01 1.97 3/177 13149 /proc/meminfo: memFree=32362292/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=30788 CPUtime=0.69 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 6262 0 0 0 69 0 0 0 25 0 1 0 904541264 31526912 6100 33554432000 4194304 6957856 140734885363952 18446744073709551615 5932557 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 7697 6100 251 675 0 7013 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30788 [startup+1.50097 s] /proc/loadavg: 2.02 2.01 1.97 3/178 13150 /proc/meminfo: memFree=32329680/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=55340 CPUtime=1.49 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 12422 0 0 0 148 1 0 0 25 0 1 0 904541264 56668160 12260 33554432000 4194304 6957856 140734885363952 18446744073709551615 5497102 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 13835 12260 251 675 0 13151 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55340 [startup+3.10069 s] /proc/loadavg: 2.02 2.01 1.97 3/178 13150 /proc/meminfo: memFree=32295704/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=135584 CPUtime=3.09 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 32936 0 0 0 305 4 0 0 25 0 1 0 904541264 138838016 32341 33554432000 4194304 6957856 140734885363952 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 33896 32341 266 675 0 33212 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 135584 [startup+6.3011 s] /proc/loadavg: 2.02 2.01 1.97 3/178 13150 /proc/meminfo: memFree=32008252/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=594040 CPUtime=6.29 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 147434 0 0 0 609 20 0 0 25 0 1 0 904541264 608296960 146839 33554432000 4194304 6957856 140734885363952 18446744073709551615 5934082 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 148510 146839 266 675 0 147826 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 594040 [startup+12.701 s] /proc/loadavg: 2.01 2.01 1.97 3/178 13150 /proc/meminfo: memFree=31773164/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=594044 CPUtime=12.69 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 147857 0 0 0 1249 20 0 0 25 0 1 0 904541264 608301056 147262 33554432000 4194304 6957856 140734885363952 18446744073709551615 4851111 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 148511 147262 285 675 0 147827 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 594044 [startup+25.5007 s] /proc/loadavg: 2.01 2.01 1.97 3/178 13151 /proc/meminfo: memFree=31758636/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=608364 CPUtime=25.49 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 151515 0 0 0 2528 21 0 0 25 0 1 0 904541264 622964736 150895 33554432000 4194304 6957856 140734885363952 18446744073709551615 5917991 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 152091 150895 286 675 0 151407 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 608364 [startup+51.1002 s] /proc/loadavg: 2.01 2.00 1.97 3/178 13151 /proc/meminfo: memFree=31723928/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=669828 CPUtime=51.09 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 160299 0 0 0 5086 23 0 0 25 0 1 0 904541264 685903872 159587 33554432000 4194304 6957856 140734885363952 18446744073709551615 4856620 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 167457 159587 287 675 0 166773 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 669828 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13153 /proc/meminfo: memFree=31740640/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=639008 CPUtime=102.3 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 177426 0 0 0 10203 27 0 0 25 0 1 0 904541264 654344192 155197 33554432000 4194304 6957856 140734885363952 18446744073709551615 4737698 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 159752 155197 288 675 0 159068 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 639008 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13154 /proc/meminfo: memFree=31751640/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=620040 CPUtime=162.3 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 195479 0 0 0 16198 32 0 0 25 0 1 0 904541264 634920960 152554 33554432000 4194304 6957856 140734885363952 18446744073709551615 5924269 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 155010 152554 288 675 0 154326 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 620040 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13156 /proc/meminfo: memFree=31768464/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=597044 CPUtime=222.3 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 214821 0 0 0 22193 37 0 0 25 0 1 0 904541264 611373056 148213 33554432000 4194304 6957856 140734885363952 18446744073709551615 4870048 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 149261 148213 288 675 0 148577 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 597044 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13157 /proc/meminfo: memFree=31754540/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=620504 CPUtime=282.29 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 236020 0 0 0 28188 41 0 0 25 0 1 0 904541264 635396096 152016 33554432000 4194304 6957856 140734885363952 18446744073709551615 4738425 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 155126 152016 288 675 0 154442 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 620504 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13159 /proc/meminfo: memFree=31750908/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=621488 CPUtime=342.3 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 259451 0 0 0 34184 46 0 0 25 0 1 0 904541264 636403712 152735 33554432000 4194304 6957856 140734885363952 18446744073709551615 5311744 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 155372 152735 288 675 0 154688 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 621488 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13161 /proc/meminfo: memFree=31750004/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=621628 CPUtime=402.29 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 281747 0 0 0 40178 51 0 0 25 0 1 0 904541264 636547072 153110 33554432000 4194304 6957856 140734885363952 18446744073709551615 4851591 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 155407 153110 288 675 0 154723 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 621628 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13162 /proc/meminfo: memFree=31740040/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=640776 CPUtime=462.3 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 304168 0 0 0 46174 56 0 0 25 0 1 0 904541264 656154624 155482 33554432000 4194304 6957856 140734885363952 18446744073709551615 5915210 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160194 155482 288 675 0 159510 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 640776 [startup+522.3 s] /proc/loadavg: 2.05 2.01 1.97 3/178 13164 /proc/meminfo: memFree=31739384/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=640920 CPUtime=522.31 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 325413 0 0 0 52169 62 0 0 25 0 1 0 904541264 656302080 155712 33554432000 4194304 6957856 140734885363952 18446744073709551615 5314170 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160230 155712 288 675 0 159546 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 640920 [startup+582.301 s] /proc/loadavg: 2.02 2.01 1.97 3/178 13165 /proc/meminfo: memFree=31741456/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=640920 CPUtime=582.3 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 345800 0 0 0 58163 67 0 0 25 0 1 0 904541264 656302080 155085 33554432000 4194304 6957856 140734885363952 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160230 155085 288 675 0 159546 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 640920 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13172 /proc/meminfo: memFree=31732752/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=642136 CPUtime=822.31 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 425192 0 0 0 82146 85 0 0 25 0 1 0 904541264 657547264 157240 33554432000 4194304 6957856 140734885363952 18446744073709551615 5932705 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160534 157240 288 675 0 159850 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 642136 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13173 /proc/meminfo: memFree=31727632/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=642136 CPUtime=882.31 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 443566 0 0 0 88141 90 0 0 25 0 1 0 904541264 657547264 158335 33554432000 4194304 6957856 140734885363952 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160534 158335 288 675 0 159850 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 642136 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13175 /proc/meminfo: memFree=31729700/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=642292 CPUtime=942.31 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 459709 0 0 0 94137 94 0 0 25 0 1 0 904541264 657707008 157954 33554432000 4194304 6957856 140734885363952 18446744073709551615 5922960 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160573 157954 288 675 0 159889 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 642292 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13177 /proc/meminfo: memFree=31738344/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=642480 CPUtime=1002.31 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 475875 0 0 0 100133 98 0 0 25 0 1 0 904541264 657899520 155808 33554432000 4194304 6957856 140734885363952 18446744073709551615 4838532 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160620 155808 288 675 0 159936 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 642480 [startup+1062.3 s] /proc/loadavg: 2.07 2.02 1.98 3/178 13187 /proc/meminfo: memFree=31740612/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=642480 CPUtime=1062.31 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 491371 0 0 0 106129 102 0 0 25 0 1 0 904541264 657899520 155299 33554432000 4194304 6957856 140734885363952 18446744073709551615 4851941 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160620 155299 288 675 0 159936 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 642480 [startup+1122.3 s] /proc/loadavg: 2.18 2.06 2.00 3/178 13661 /proc/meminfo: memFree=31704640/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=642848 CPUtime=1122.32 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 507635 0 0 0 112125 107 0 0 25 0 1 0 904541264 658276352 155483 33554432000 4194304 6957856 140734885363952 18446744073709551615 5718013 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160712 155483 288 675 0 160028 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 642848 [startup+1182.3 s] /proc/loadavg: 2.07 2.04 2.00 3/178 13662 /proc/meminfo: memFree=31724800/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=605192 CPUtime=1182.31 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 524788 0 0 0 118121 110 0 0 25 0 1 0 904541264 619716608 150574 33554432000 4194304 6957856 140734885363952 18446744073709551615 4742303 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 151298 150574 288 675 0 150614 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 605192 [startup+1242.3 s] /proc/loadavg: 2.02 2.03 2.00 3/178 13706 /proc/meminfo: memFree=31731972/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=605192 CPUtime=1242.32 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 541802 0 0 0 124118 114 0 0 25 0 1 0 904541264 619716608 149819 33554432000 4194304 6957856 140734885363952 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 151298 149819 288 675 0 150614 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 605192 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 13708 /proc/meminfo: memFree=31651612/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=724116 CPUtime=1302.32 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 560476 0 0 0 130114 118 0 0 25 0 1 0 904541264 741494784 168293 33554432000 4194304 6957856 140734885363952 18446744073709551615 4871303 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 181029 168293 288 675 0 180345 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 724116 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/178 13709 /proc/meminfo: memFree=31663600/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=674028 CPUtime=1362.33 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 583474 0 0 0 136109 124 0 0 25 0 1 0 904541264 690204672 165107 33554432000 4194304 6957856 140734885363952 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 168507 165107 288 675 0 167823 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 674028 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/178 13711 /proc/meminfo: memFree=31687980/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=643372 CPUtime=1422.32 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 605598 0 0 0 142103 129 0 0 25 0 1 0 904541264 658812928 158173 33554432000 4194304 6957856 140734885363952 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 160843 158173 288 675 0 160159 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 643372 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 13712 /proc/meminfo: memFree=31712612/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=613348 CPUtime=1482.33 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 628609 0 0 0 148099 134 0 0 25 0 1 0 904541264 628068352 151694 33554432000 4194304 6957856 140734885363952 18446744073709551615 4852460 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 153337 151694 288 675 0 152653 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 613348 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13714 /proc/meminfo: memFree=31626156/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=724900 CPUtime=1542.33 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 650135 0 0 0 154094 139 0 0 25 0 1 0 904541264 742297600 172987 33554432000 4194304 6957856 140734885363952 18446744073709551615 4871280 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 181225 172987 288 675 0 180541 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 724900 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13716 /proc/meminfo: memFree=31662072/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=675236 CPUtime=1602.33 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 676285 0 0 0 160089 144 0 0 25 0 1 0 904541264 691441664 163557 33554432000 4194304 6957856 140734885363952 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 168809 163557 288 675 0 168125 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 675236 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13717 /proc/meminfo: memFree=31705800/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=614216 CPUtime=1662.33 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 700605 0 0 0 166083 150 0 0 25 0 1 0 904541264 628957184 152493 33554432000 4194304 6957856 140734885363952 18446744073709551615 4851187 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 153554 152493 288 675 0 152870 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 614216 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13719 /proc/meminfo: memFree=31625412/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=726604 CPUtime=1722.33 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 720987 0 0 0 172078 155 0 0 25 0 1 0 904541264 744042496 172682 33554432000 4194304 6957856 140734885363952 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 181651 172682 288 675 0 180967 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 726604 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13720 /proc/meminfo: memFree=31633680/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=727484 CPUtime=1782.34 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 744789 0 0 0 178073 161 0 0 25 0 1 0 904541264 744943616 170424 33554432000 4194304 6957856 140734885363952 18446744073709551615 4638392 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 181871 170424 288 675 0 181187 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 727484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13721 /proc/meminfo: memFree=31606888/32951124 swapFree=67056676/67111528 [pid=13149] ppid=13147 vsize=727920 CPUtime=1800.04 cores=0,2,4,6 /proc/13149/stat : 13149 (minisatid-gmp) R 13147 13149 12163 0 -1 4202496 751363 0 0 0 179842 162 0 0 25 0 1 0 904541264 745390080 176938 33554432000 4194304 6957856 140734885363952 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/13149/statm: 181980 176938 288 675 0 181296 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 727920 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.04 CPU time (s): 1800.08 CPU user time (s): 1798.43 CPU system time (s): 1.65375 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 825832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.43 system time used= 1.65375 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 751366 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= 2315 runsolver used 2.75958 second user time and 5.54016 second system time The end
Begin job on node136 at 2011-06-13 03:43:53 IDJOB=3497110 IDBENCH=2889 IDSOLVER=1990 FILE ID=node136/3497110-1307929433 RUNJOBID= node136-1307919792-12181 PBS_JOBID= 13559643 Free space on /tmp= 74048 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497110-1307929433/watcher-3497110-1307929433 -o /tmp/evaluation-result-3497110-1307929433/solver-3497110-1307929433 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497110-1307929433.opb --verbosity=0 --format=opb --randomseed=833521398 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED=833521398 node136.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.809 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.61 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.809 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.809 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.809 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.76 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.83 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.809 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32362472 kB Buffers: 144952 kB Cached: 227020 kB SwapCached: 8544 kB Active: 267620 kB Inactive: 133284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32362472 kB SwapTotal: 67111528 kB SwapFree: 67056676 kB Dirty: 12836 kB Writeback: 0 kB AnonPages: 26044 kB Mapped: 14384 kB Slab: 122996 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 217252 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= 74044 MiB End job on node136 at 2011-06-13 04:13:55