0.35/0.56	c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle
0.35/0.56	c INFO: solving HOME/instance-3482667-1307576499.opb
17.34/17.61	c INFO: parsing took 16.71 s
48.94/49.11	c INFO: features took 31.42 CPU seconds
205.55/205.76	c INFO: wrote minion input file to HOME/tmpYCBQjz.minion
205.55/205.76	c INFO: running minion-0.12@0 for 45 with 1751 remaining (b = 0.67)
248.30/248.34	c INFO: running clasp-1.3.7@0 for 45 with 1559 remaining (b = 0.61)
295.84/295.62	c INFO: running wbo1.4a@0 for 45 with 1512 remaining (b = 0.18)
302.56/302.30	s SATISFIABLE
302.56/302.30	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

OK	0

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482667-1307576499/watcher-3482667-1307576499 -o /tmp/evaluation-result-3482667-1307576499/solver-3482667-1307576499 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482667-1307576499.opb -seed 1067838095 -budget 1800 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.69 0.68 0.25 2/530 18071
/proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 1041 0 0 0 0 0 0 0 20 0 1 0 947880854 16629760 912 33554432000 4194304 5683644 140736726891808 18446744073709551615 4867346 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18071/statm: 4060 912 380 364 0 547 0

[startup+0.117294 s]
/proc/loadavg: 1.69 0.68 0.25 2/530 18071
/proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 3245 930 1 0 7 1 0 0 18 0 1 0 947880854 98435072 2484 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18071/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128

[startup+0.200502 s]
/proc/loadavg: 1.69 0.68 0.25 2/530 18071
/proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=123744 CPUtime=0.14 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 5357 930 1 0 11 3 0 0 17 0 1 0 947880854 126713856 3744 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735174661 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18071/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744

[startup+0.300536 s]
/proc/loadavg: 1.69 0.68 0.25 2/530 18071
/proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=123884 CPUtime=0.19 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 5378 930 1 0 13 6 0 0 17 0 1 0 947880854 126857216 3756 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18071/statm: 30971 3756 987 364 0 2803 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123884

[startup+0.700499 s]
/proc/loadavg: 1.69 0.68 0.25 2/530 18071
/proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=373480 CPUtime=0.53 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 31825 930 1 0 38 15 0 0 17 0 1 0 947880854 382443520 29687 33554432000 4194304 5683644 140736726891808 18446744073709551615 47101574084443 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18071/statm: 93370 29687 1781 364 0 28263 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 373480

[startup+1.50031 s]
/proc/loadavg: 1.69 0.68 0.25 3/531 18076
/proc/meminfo: memFree=31354044/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=396300 CPUtime=1.34 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 37323 930 1 0 118 16 0 0 18 0 1 0 947880854 405811200 35185 33554432000 4194304 5683644 140736726891808 18446744073709551615 4602408 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18071/statm: 99075 35185 1781 364 0 33968 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 396300

[startup+3.10102 s]
/proc/loadavg: 1.69 0.68 0.25 2/524 18078
/proc/meminfo: memFree=31352324/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=446196 CPUtime=2.94 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 49437 930 1 0 275 19 0 0 20 0 1 0 947880854 456904704 47299 33554432000 4194304 5683644 140736726891808 18446744073709551615 4539725 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18071/statm: 111549 47299 1781 364 0 46442 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 446196

[startup+6.30046 s]
/proc/loadavg: 1.80 0.72 0.26 2/528 18108
/proc/meminfo: memFree=31240484/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=546628 CPUtime=6.13 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 73810 930 1 0 589 24 0 0 25 0 1 0 947880854 559747072 71672 33554432000 4194304 5683644 140736726891808 18446744073709551615 4444983 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18071/statm: 136657 71672 1781 364 0 71550 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 546628

[startup+12.7003 s]
/proc/loadavg: 1.81 0.74 0.27 2/526 18197
/proc/meminfo: memFree=31044320/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=747952 CPUtime=12.54 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 122875 930 1 0 1221 33 0 0 25 0 1 0 947880854 765902848 120737 33554432000 4194304 5683644 140736726891808 18446744073709551615 216734839493 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18071/statm: 186988 120737 1781 364 0 121881 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 747952

[startup+25.5011 s]
/proc/loadavg: 1.85 0.80 0.30 3/531 18459
/proc/meminfo: memFree=30847460/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=869168 CPUtime=25.34 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 260950 930 1 0 2484 50 0 0 25 0 1 0 947880854 890028032 153639 33554432000 4194304 5683644 140736726891808 18446744073709551615 47101407675344 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/18071/statm: 217292 153639 1815 364 0 152185 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 869168

[startup+51.1006 s]
/proc/loadavg: 2.04 0.93 0.35 3/531 18497
/proc/meminfo: memFree=30897940/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=791656 CPUtime=50.94 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 281014 930 1 0 5041 53 0 0 25 0 1 0 947880854 810655744 134308 33554432000 4194304 5683644 140736726891808 18446744073709551615 4510807 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/18071/statm: 197914 134308 1865 364 0 132804 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 791656

[startup+102.301 s]
/proc/loadavg: 2.02 1.09 0.44 3/535 18504
/proc/meminfo: memFree=30746684/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=791656 CPUtime=102.15 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 281014 930 1 0 10151 64 0 0 25 0 1 0 947880854 810655744 134308 33554432000 4194304 5683644 140736726891808 18446744073709551615 4868212 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/18071/statm: 197914 134308 1865 364 0 132804 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 791656

[startup+162.301 s]
/proc/loadavg: 2.00 1.25 0.53 3/539 18509
/proc/meminfo: memFree=30553524/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=791656 CPUtime=162.14 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 281014 930 1 0 16136 78 0 0 25 0 1 0 947880854 810655744 134308 33554432000 4194304 5683644 140736726891808 18446744073709551615 4602358 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/18071/statm: 197914 134308 1865 364 0 132804 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 791656

[startup+222.321 s]
/proc/loadavg: 2.07 1.40 0.63 3/546 18518
/proc/meminfo: memFree=29982708/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=801908 CPUtime=205.62 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 281232 930 1 0 20473 89 0 0 25 0 2 0 947880854 821153792 134318 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18071/statm: 200477 134318 1872 364 0 135364 0
[pid=18516] ppid=18071 vsize=791664 CPUtime=0.07 cores=0,2,4,6
/proc/18516/stat : 18516 (python) S 18071 18071 17508 0 -1 4202560 876 0 0 0 3 4 0 0 18 0 1 0 947901431 810663936 132813 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198735 0 0 16781312 33554946 72114768642583254 0 0 17 0 0 0 0
/proc/18516/statm: 197916 132813 371 364 0 132803 0
[pid=18518] ppid=18516 vsize=453432 CPUtime=16.51 cores=0,2,4,6
/proc/18518/stat : 18518 (minion) R 18516 18518 18518 0 -1 4202496 207241 0 0 0 1621 30 0 0 25 0 1 0 947901432 464314368 106007 33554432000 134512640 165565024 4290416944 18446744073709551615 159718384 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18518/statm: 113358 106007 263 7582 0 105773 0
[pid=18071/tid=18517] ppid=18069 vsize=801908 CPUtime=0 cores=0,2,4,6
/proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 947901432 821153792 134318 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 2047004

[startup+282.301 s]
/proc/loadavg: 3.43 1.86 0.83 3/551 18528
/proc/meminfo: memFree=25688296/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=812164 CPUtime=248.4 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282123 1185032 1 0 20475 91 3609 665 20 0 3 0 947880854 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18071/statm: 203041 134325 1875 364 0 137925 0
[pid=18522] ppid=18071 vsize=801920 CPUtime=0.16 cores=0,2,4,6
/proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 937 0 0 0 7 9 0 0 18 0 1 0 947905689 821166080 132818 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 72556772316949206 0 0 17 6 0 0 0
/proc/18522/statm: 200480 132818 372 364 0 135364 0
[pid=18524] ppid=18522 vsize=166752 CPUtime=33.92 cores=0,2,4,6
/proc/18524/stat : 18524 (clasp-1.3.7-x86) R 18522 18524 18524 0 -1 4202496 53304 0 0 0 3381 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18524/statm: 41688 39504 172 398 0 41288 0
[pid=18071/tid=18517] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 3 0 947901432 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18523] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 3 0 947905690 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 1780836

Solver just ended. Dumping a history of the last processes samples

[startup+294.401 s]
/proc/loadavg: 3.81 1.99 0.88 3/551 18528
/proc/meminfo: memFree=25683080/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=812164 CPUtime=248.4 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282123 1185032 1 0 20475 91 3609 665 20 0 3 0 947880854 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18071/statm: 203041 134325 1875 364 0 137925 0
[pid=18522] ppid=18071 vsize=801920 CPUtime=0.2 cores=0,2,4,6
/proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 947 0 0 0 9 11 0 0 18 0 1 0 947905689 821166080 132818 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 72556772316949206 0 0 17 6 0 0 0
/proc/18522/statm: 200480 132818 372 364 0 135364 0
[pid=18524] ppid=18522 vsize=166752 CPUtime=46.02 cores=0,2,4,6
/proc/18524/stat : 18524 (clasp-1.3.7-x86) R 18522 18524 18524 0 -1 4202496 53304 0 0 0 4591 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18524/statm: 41688 39504 172 398 0 41288 0
[pid=18071/tid=18517] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 3 0 947901432 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18523] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 3 0 947905690 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 294.62
Current children cumulated vsize (KiB) 1780836

[startup+297.601 s]
/proc/loadavg: 3.91 2.04 0.90 4/555 18532
/proc/meminfo: memFree=25649320/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18071/statm: 205605 134331 1877 364 0 140486 0
[pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6
/proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18522/statm: 200480 132843 396 364 0 135364 0
[pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6
/proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/18524/statm: 41688 39504 172 398 0 41288 0
[pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6
/proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0
[pid=18530] ppid=18071 vsize=812176 CPUtime=0.01 cores=0,2,4,6
/proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 777 0 0 0 0 1 0 0 18 0 1 0 947910417 831668224 132798 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054783307760763138 0 0 17 0 0 0 0
/proc/18530/statm: 203044 132798 348 364 0 137925 0
[pid=18532] ppid=18530 vsize=135996 CPUtime=1.94 cores=0,2,4,6
/proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 18165 0 0 0 190 4 0 0 25 0 1 0 947910418 139259904 17902 33554432000 134512640 135751879 4293333584 18446744073709551615 134560803 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/18532/statm: 33999 17902 6883 303 0 11526 0
[pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 297.82
Current children cumulated vsize (KiB) 2739264

[startup+300.801 s]
/proc/loadavg: 4.08 2.11 0.93 3/555 18532
/proc/meminfo: memFree=25576532/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18071/statm: 205605 134331 1877 364 0 140486 0
[pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6
/proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18522/statm: 200480 132843 396 364 0 135364 0
[pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6
/proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/18524/statm: 41688 39504 172 398 0 41288 0
[pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6
/proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0
[pid=18530] ppid=18071 vsize=812176 CPUtime=0.03 cores=0,2,4,6
/proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 924 0 0 0 1 2 0 0 18 0 1 0 947910417 831668224 132822 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054785575503495426 0 0 17 0 0 0 0
/proc/18530/statm: 203044 132822 372 364 0 137925 0
[pid=18532] ppid=18530 vsize=208760 CPUtime=5.13 cores=0,2,4,6
/proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 47512 0 0 0 506 7 0 0 25 0 1 0 947910418 213770240 47249 33554432000 134512640 135751879 4293333584 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/18532/statm: 52190 47249 18046 303 0 29717 0
[pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 301.03
Current children cumulated vsize (KiB) 2812028

[startup+301.601 s]
/proc/loadavg: 4.08 2.11 0.93 3/555 18532
/proc/meminfo: memFree=25550244/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18071/statm: 205605 134331 1877 364 0 140486 0
[pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6
/proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18522/statm: 200480 132843 396 364 0 135364 0
[pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6
/proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/18524/statm: 41688 39504 172 398 0 41288 0
[pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6
/proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0
[pid=18530] ppid=18071 vsize=812176 CPUtime=0.03 cores=0,2,4,6
/proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 924 0 0 0 1 2 0 0 18 0 1 0 947910417 831668224 132822 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054785575503495426 0 0 17 0 0 0 0
/proc/18530/statm: 203044 132822 372 364 0 137925 0
[pid=18532] ppid=18530 vsize=227004 CPUtime=5.93 cores=0,2,4,6
/proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 53900 0 0 0 585 8 0 0 25 0 1 0 947910418 232452096 53637 33554432000 134512640 135751879 4293333584 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/18532/statm: 56751 53638 20698 303 0 34278 0
[pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 301.83
Current children cumulated vsize (KiB) 2830272

[startup+302.001 s]
/proc/loadavg: 4.08 2.11 0.93 3/555 18532
/proc/meminfo: memFree=25550244/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6
/proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18071/statm: 205605 134331 1877 364 0 140486 0
[pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6
/proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18522/statm: 200480 132843 396 364 0 135364 0
[pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6
/proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/18524/statm: 41688 39504 172 398 0 41288 0
[pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6
/proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0
[pid=18530] ppid=18071 vsize=812176 CPUtime=0.03 cores=0,2,4,6
/proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 924 0 0 0 1 2 0 0 18 0 1 0 947910417 831668224 132822 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054785575503495426 0 0 17 0 0 0 0
/proc/18530/statm: 203044 132822 372 364 0 137925 0
[pid=18532] ppid=18530 vsize=234132 CPUtime=6.33 cores=0,2,4,6
/proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 56927 0 0 0 625 8 0 0 25 0 1 0 947910418 239751168 56664 33554432000 134512640 135751879 4293333584 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/18532/statm: 58533 56664 21856 303 0 36060 0
[pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0
[pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6
/proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 302.23
Current children cumulated vsize (KiB) 2837400

[startup+302.4 s]
/proc/loadavg: 4.08 2.11 0.93 3/555 18532
/proc/meminfo: memFree=25550244/32951124 swapFree=49879164/67111528
[pid=18071] ppid=18069 vsize=637884 CPUtime=302.68 cores=0,2,4,6
/proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 327689 1306748 1 0 20481 98 8983 706 17 0 2 0 947880854 653193216 88234 33554432000 4194304 5683644 140736726891808 18446744073709551615 216734834107 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/18071/statm: 159471 88234 1871 364 0 94363 0
[pid=18071/tid=18531] ppid=18069 vsize=637884 CPUtime=96.89 cores=0,2,4,6
/proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1306748 0 0 0 0 8983 706 18 0 2 0 947910418 653193216 88234 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 0 18446604452895229824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 302.68
Current children cumulated vsize (KiB) 637884

Child status: 0
Real time (s): 302.455
CPU time (s): 302.751
CPU user time (s): 294.677
CPU system time (s): 8.07377
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 5718824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.677
system time used= 8.07377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1655475
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1951
involuntary context switches= 533

runsolver used 1.70974 second user time and 3.53246 second system time

The end

Begin job on node119 at 2011-06-09 01:41:41
IDJOB=3482667
IDBENCH=1385
IDSOLVER=1971
FILE ID=node119/3482667-1307576499
RUNJOBID= node119-1307576359-17526
PBS_JOBID= 13547680
Free space on /tmp= 73612 MiB

SOLVER NAME= borg pb-dec-11.04.03
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.dec.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3482667-1307576499/watcher-3482667-1307576499 -o /tmp/evaluation-result-3482667-1307576499/solver-3482667-1307576499 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482667-1307576499.opb -seed 1067838095 -budget 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8bb4ff591e2fd696de21761de4abecdf
RANDOM SEED=1067838095

node119.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.815
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.63
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.815
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31481556 kB
Buffers:        143468 kB
Cached:         518736 kB
SwapCached:      11168 kB
Active:        1029952 kB
Inactive:       144264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31481556 kB
SwapTotal:    67111528 kB
SwapFree:     49879164 kB
Dirty:          239008 kB
Writeback:           0 kB
AnonPages:      509428 kB
Mapped:          21728 kB
Slab:           144944 kB
PageTables:      80416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163940304 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= 69512 MiB
End job on node119 at 2011-06-09 01:46:45