Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
MinisatID 2.5.2 (fixed) | ? (TO) | 1800.07 | 1800.01 |
Name | /OPT-SMALLINT-LIN/ kullmann/normalized-mul_8_3_shg.opb |
MD5SUM | 5ce23254bdc15fb1c07c51b856e9b57c |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 40 |
Best CPU time to get the best result obtained on this benchmark | 1797.61 |
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 | 5048 |
Total number of constraints | 65280 |
Number of constraints which are clauses | 65280 |
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 | 18 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 5048 |
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 | 5048 |
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 | 5048 |
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.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 1800.05/1800.00 >>> Terminate signal received 1800.05/1800.00 o 45 1800.05/1800.00 o 44 1800.05/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
OK 44
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3491584-1307794207/watcher-3491584-1307794207 -o /tmp/evaluation-result-3491584-1307794207/solver-3491584-1307794207 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491584-1307794207.opb --verbosity=0 --format=opb --randomseed=1682152159 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.08 2.02 2.00 3/177 23731 /proc/meminfo: memFree=31625352/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=7592 CPUtime=0 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 395 0 0 0 0 0 0 0 25 0 1 0 891021235 7774208 348 33554432000 4194304 6720400 140734372446096 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 1898 349 215 617 0 1272 0 [startup+0.0152139 s] /proc/loadavg: 2.08 2.02 2.00 3/177 23731 /proc/meminfo: memFree=31625352/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=8948 CPUtime=0.01 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 733 0 0 0 1 0 0 0 25 0 1 0 891021235 9162752 686 33554432000 4194304 6720400 140734372446096 18446744073709551615 5347112 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 2237 686 232 617 0 1611 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8948 [startup+0.100221 s] /proc/loadavg: 2.08 2.02 2.00 3/177 23731 /proc/meminfo: memFree=31625352/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=9848 CPUtime=0.09 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 980 0 0 0 9 0 0 0 25 0 1 0 891021235 10084352 933 33554432000 4194304 6720400 140734372446096 18446744073709551615 5407913 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 2462 933 232 617 0 1836 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9848 [startup+0.300174 s] /proc/loadavg: 2.08 2.02 2.00 3/177 23731 /proc/meminfo: memFree=31625352/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=12440 CPUtime=0.29 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 1630 0 0 0 29 0 0 0 25 0 1 0 891021235 12738560 1583 33554432000 4194304 6720400 140734372446096 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 3110 1583 232 617 0 2484 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12440 [startup+0.701098 s] /proc/loadavg: 2.08 2.02 2.00 3/177 23731 /proc/meminfo: memFree=31625352/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=17736 CPUtime=0.69 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 2931 0 0 0 69 0 0 0 25 0 1 0 891021235 18161664 2884 33554432000 4194304 6720400 140734372446096 18446744073709551615 5260456 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 4434 2884 232 617 0 3808 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17736 [startup+1.50095 s] /proc/loadavg: 2.08 2.02 2.00 3/178 23732 /proc/meminfo: memFree=31608004/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=28128 CPUtime=1.49 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 5525 0 0 0 149 0 0 0 25 0 1 0 891021235 28803072 5478 33554432000 4194304 6720400 140734372446096 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 7032 5478 232 617 0 6406 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28128 [startup+3.10066 s] /proc/loadavg: 2.07 2.02 2.00 3/178 23732 /proc/meminfo: memFree=31589776/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=48848 CPUtime=3.09 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 10722 0 0 0 307 2 0 0 25 0 1 0 891021235 50020352 10675 33554432000 4194304 6720400 140734372446096 18446744073709551615 4217057 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 12212 10675 232 617 0 11586 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48848 [startup+6.30108 s] /proc/loadavg: 2.07 2.02 2.00 3/178 23732 /proc/meminfo: memFree=31546012/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=71168 CPUtime=6.29 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 16876 0 0 0 627 2 0 0 25 0 1 0 891021235 72876032 16359 33554432000 4194304 6720400 140734372446096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 17792 16359 265 617 0 17166 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71168 [startup+12.7009 s] /proc/loadavg: 2.06 2.02 2.00 3/178 23732 /proc/meminfo: memFree=31512880/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=82844 CPUtime=12.69 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 20356 0 0 0 1266 3 0 0 25 0 1 0 891021235 84832256 19786 33554432000 4194304 6720400 140734372446096 18446744073709551615 4592993 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 20711 19786 266 617 0 20085 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82844 [startup+25.5006 s] /proc/loadavg: 2.05 2.02 2.00 3/178 23733 /proc/meminfo: memFree=31445908/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=133008 CPUtime=25.49 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 27454 0 0 0 2545 4 0 0 25 0 1 0 891021235 136200192 26749 33554432000 4194304 6720400 140734372446096 18446744073709551615 4592903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 33252 26749 266 617 0 32626 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 133008 [startup+51.1009 s] /proc/loadavg: 2.03 2.01 2.00 3/178 23733 /proc/meminfo: memFree=31323352/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=183748 CPUtime=51.09 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 40766 0 0 0 5103 6 0 0 25 0 1 0 891021235 188157952 39815 33554432000 4194304 6720400 140734372446096 18446744073709551615 4816987 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 45937 39815 266 617 0 45311 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 183748 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/178 23735 /proc/meminfo: memFree=31074824/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=266560 CPUtime=102.3 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 66777 0 0 0 10220 10 0 0 25 0 1 0 891021235 272957440 65313 33554432000 4194304 6720400 140734372446096 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 66640 65313 266 617 0 66014 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 266560 [startup+162.301 s] /proc/loadavg: 2.06 2.02 2.00 3/178 23736 /proc/meminfo: memFree=31049364/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=136336 CPUtime=162.3 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 100014 0 0 0 16212 18 0 0 25 0 1 0 891021235 139608064 32400 33554432000 4194304 6720400 140734372446096 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 34084 32400 266 617 0 33458 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 136336 [startup+222.301 s] /proc/loadavg: 2.02 2.01 2.00 3/178 23738 /proc/meminfo: memFree=30762020/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=268732 CPUtime=222.3 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 128742 0 0 0 22207 23 0 0 25 0 1 0 891021235 275181568 60514 33554432000 4194304 6720400 140734372446096 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 67183 60514 266 617 0 66557 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 268732 [startup+282.301 s] /proc/loadavg: 2.01 2.01 2.00 3/178 23739 /proc/meminfo: memFree=30737048/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=107984 CPUtime=282.3 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 160311 0 0 0 28201 29 0 0 25 0 1 0 891021235 110575616 24416 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 26996 24416 266 617 0 26370 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 107984 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23741 /proc/meminfo: memFree=30435192/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=271932 CPUtime=342.3 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 192262 0 0 0 34196 34 0 0 25 0 1 0 891021235 278458368 55845 33554432000 4194304 6720400 140734372446096 18446744073709551615 4431744 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 67983 55845 266 617 0 67357 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 271932 [startup+402.301 s] /proc/loadavg: 2.05 2.01 2.00 3/178 23743 /proc/meminfo: memFree=30164336/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=405652 CPUtime=402.3 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 218311 0 0 0 40192 38 0 0 25 0 1 0 891021235 415387648 81376 33554432000 4194304 6720400 140734372446096 18446744073709551615 4820727 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 101413 81376 266 617 0 100787 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 405652 [startup+462.301 s] /proc/loadavg: 2.02 2.01 2.00 3/178 23744 /proc/meminfo: memFree=30166528/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=192680 CPUtime=462.31 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 247973 0 0 0 46186 45 0 0 25 0 1 0 891021235 197304320 39848 33554432000 4194304 6720400 140734372446096 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 48170 39848 266 617 0 47544 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 192680 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23746 /proc/meminfo: memFree=29893312/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=275616 CPUtime=522.31 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 274480 0 0 0 52181 50 0 0 25 0 1 0 891021235 282230784 65794 33554432000 4194304 6720400 140734372446096 18446744073709551615 4816974 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 68904 65794 266 617 0 68278 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 275616 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23747 /proc/meminfo: memFree=29621456/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=408544 CPUtime=582.31 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 299574 0 0 0 58175 56 0 0 25 0 1 0 891021235 418349056 90401 33554432000 4194304 6720400 140734372446096 18446744073709551615 4617315 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 102136 90401 266 617 0 101510 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 408544 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.01 2.00 3/178 23754 /proc/meminfo: memFree=31054356/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=199952 CPUtime=822.31 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 412741 0 0 0 82154 77 0 0 25 0 1 0 891021235 204750848 38976 33554432000 4194304 6720400 140734372446096 18446744073709551615 4592978 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 49988 38976 266 617 0 49362 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 199952 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23755 /proc/meminfo: memFree=30796392/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=282316 CPUtime=882.32 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 438251 0 0 0 88150 82 0 0 25 0 1 0 891021235 289091584 63980 33554432000 4194304 6720400 140734372446096 18446744073709551615 4820724 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 70579 63980 266 617 0 69953 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 282316 [startup+942.301 s] /proc/loadavg: 2.07 2.02 2.00 3/178 23757 /proc/meminfo: memFree=30543264/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=415172 CPUtime=942.32 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 462593 0 0 0 94145 87 0 0 25 0 1 0 891021235 425136128 87837 33554432000 4194304 6720400 140734372446096 18446744073709551615 4812086 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 103793 87837 266 617 0 103167 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 415172 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 23759 /proc/meminfo: memFree=30625804/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=121348 CPUtime=1002.32 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 490278 0 0 0 100139 93 0 0 25 0 1 0 891021235 124260352 27234 33554432000 4194304 6720400 140734372446096 18446744073709551615 4617388 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 30337 27234 266 617 0 29711 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 121348 [startup+1062.3 s] /proc/loadavg: 2.01 2.00 2.00 3/178 23760 /proc/meminfo: memFree=30368212/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=284480 CPUtime=1062.32 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 515675 0 0 0 106135 97 0 0 25 0 1 0 891021235 291307520 52089 33554432000 4194304 6720400 140734372446096 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 71120 52089 266 617 0 70494 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 284480 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23762 /proc/meminfo: memFree=30105664/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=417012 CPUtime=1122.33 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 540860 0 0 0 112132 101 0 0 25 0 1 0 891021235 427020288 76829 33554432000 4194304 6720400 140734372446096 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 104253 76829 266 617 0 103627 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 417012 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23763 /proc/meminfo: memFree=29855376/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=418720 CPUtime=1182.33 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 565519 0 0 0 118128 105 0 0 25 0 1 0 891021235 428769280 101023 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 104680 101023 266 617 0 104054 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 418720 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23765 /proc/meminfo: memFree=31600020/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=124676 CPUtime=1242.33 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 592929 0 0 0 124121 112 0 0 25 0 1 0 891021235 127668224 29568 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 31169 29568 266 617 0 30543 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 124676 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23767 /proc/meminfo: memFree=31340936/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=287540 CPUtime=1302.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 617815 0 0 0 130118 116 0 0 25 0 1 0 891021235 294440960 53977 33554432000 4194304 6720400 140734372446096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 71885 53977 266 617 0 71259 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 287540 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23768 /proc/meminfo: memFree=31085324/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=420780 CPUtime=1362.33 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 642816 0 0 0 136113 120 0 0 25 0 1 0 891021235 430878720 78464 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811662 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 105195 78464 266 617 0 104569 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 420780 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23770 /proc/meminfo: memFree=30834432/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=421460 CPUtime=1422.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 666273 0 0 0 142109 125 0 0 25 0 1 0 891021235 431575040 101460 33554432000 4194304 6720400 140734372446096 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 105365 101460 266 617 0 104739 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 421460 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23771 /proc/meminfo: memFree=30965452/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=127784 CPUtime=1482.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 693563 0 0 0 148102 132 0 0 25 0 1 0 891021235 130850816 30442 33554432000 4194304 6720400 140734372446096 18446744073709551615 4591708 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 31946 30442 266 617 0 31320 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 127784 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23773 /proc/meminfo: memFree=30706500/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=290632 CPUtime=1542.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 720081 0 0 0 154096 138 0 0 25 0 1 0 891021235 297607168 56474 33554432000 4194304 6720400 140734372446096 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 72658 56474 266 617 0 72032 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 290632 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23775 /proc/meminfo: memFree=30460064/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=423156 CPUtime=1602.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 745586 0 0 0 160092 142 0 0 25 0 1 0 891021235 433311744 81445 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811667 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 105789 81445 266 617 0 105163 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 423156 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23776 /proc/meminfo: memFree=30214748/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=423640 CPUtime=1662.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 767820 0 0 0 166087 147 0 0 25 0 1 0 891021235 433807360 103213 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811665 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 105910 103213 266 617 0 105284 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 423640 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23778 /proc/meminfo: memFree=29977848/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=639516 CPUtime=1722.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 789561 0 0 0 172083 151 0 0 25 0 1 0 891021235 654864384 124534 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811672 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 159879 124534 266 617 0 159253 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 639516 [startup+1782.3 s] /proc/loadavg: 1.48 1.86 1.95 2/172 23804 /proc/meminfo: memFree=31830524/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=131164 CPUtime=1782.34 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 814089 0 0 0 178076 158 0 0 25 0 1 0 891021235 134311936 27627 33554432000 4194304 6720400 140734372446096 18446744073709551615 4811665 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 32791 27627 266 617 0 32165 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 131164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.37 1.82 1.94 2/172 23805 /proc/meminfo: memFree=31801248/32951124 swapFree=67052968/67111528 [pid=23731] ppid=23729 vsize=161984 CPUtime=1800.05 cores=0,2,4,6 /proc/23731/stat : 23731 (minisatid) R 23729 23731 22776 0 -1 4202496 821317 0 0 0 179846 159 0 0 25 0 1 0 891021235 165871616 34706 33554432000 4194304 6720400 140734372446096 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/23731/statm: 40496 34706 266 617 0 39870 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 161984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.01 CPU time (s): 1800.07 CPU user time (s): 1798.47 CPU system time (s): 1.60176 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 649352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.47 system time used= 1.60176 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 821323 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= 3 involuntary context switches= 2763 runsolver used 2.72358 second user time and 5.46717 second system time The end
Begin job on node104 at 2011-06-11 14:10:08 IDJOB=3491584 IDBENCH=89910 IDSOLVER=1980 FILE ID=node104/3491584-1307794207 RUNJOBID= node104-1307783311-22794 PBS_JOBID= 13550891 Free space on /tmp= 74064 MiB SOLVER NAME= MinisatID 2.5.2 (fixed) BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3491584-1307794207/watcher-3491584-1307794207 -o /tmp/evaluation-result-3491584-1307794207/solver-3491584-1307794207 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491584-1307794207.opb --verbosity=0 --format=opb --randomseed=1682152159 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c RANDOM SEED=1682152159 node104.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.855 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.71 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.855 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.83 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.855 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.855 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.80 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.855 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 : 5293.18 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.855 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.855 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.855 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31625532 kB Buffers: 138584 kB Cached: 748752 kB SwapCached: 11072 kB Active: 596248 kB Inactive: 575400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31625532 kB SwapTotal: 67111528 kB SwapFree: 67052968 kB Dirty: 23824 kB Writeback: 0 kB AnonPages: 282092 kB Mapped: 10084 kB Slab: 90700 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 502208 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= 74104 MiB End job on node104 at 2011-06-11 14:40:10