0.31/0.48	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.31/0.48	c INFO: solving HOME/instance-3481203-1307578630.opb
0.49/0.61	c INFO: parsing took 0.12 s
0.69/0.83	c INFO: features took 0.22 CPU seconds
0.69/0.85	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.45)
47.39/47.39	c INFO: running scip-2.0.1-clp@0 for 45 with 1753 remaining (b = 0.13)
94.59/94.37	c INFO: running wbo1.4a@0 for 45 with 1706 remaining (b = 0.04)
97.01/96.73	s OPTIMUM FOUND
97.01/96.73	v x1 x2 x3 x4 x5 x6 -x7 x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 -x5630 -x5631 -x5632 x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 x6090 x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 x7032 x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164

OK	9

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-3481203-1307578630/watcher-3481203-1307578630 -o /tmp/evaluation-result-3481203-1307578630/solver-3481203-1307578630 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481203-1307578630.opb -seed 1108741732 -budget 1800 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.19 2.11 1.92 2/921 9007
/proc/meminfo: memFree=17793152/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 904 0 0 0 0 0 0 0 20 0 1 0 948093751 16158720 784 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/9007/statm: 3945 784 346 364 0 432 0

[startup+0.113769 s]
/proc/loadavg: 2.19 2.11 1.92 2/921 9007
/proc/meminfo: memFree=17793152/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/9007/stat : 9007 (python) R 9004 9007 7156 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 948093751 98435072 2483 33554432000 4194304 5683644 140737048250160 18446744073709551615 5172019 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/9007/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128

[startup+0.200754 s]
/proc/loadavg: 2.19 2.11 1.92 2/921 9007
/proc/meminfo: memFree=17793152/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/9007/stat : 9007 (python) R 9004 9007 7156 0 -1 4202496 5358 930 1 0 10 4 0 0 17 0 1 0 948093751 126713856 3744 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284921861 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/9007/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744

[startup+0.300736 s]
/proc/loadavg: 2.19 2.11 1.92 2/921 9007
/proc/meminfo: memFree=17793152/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=184600 CPUtime=0.22 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 6358 930 1 0 16 6 0 0 17 0 1 0 948093751 189030400 4656 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/9007/statm: 46150 4656 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184600

[startup+0.70068 s]
/proc/loadavg: 2.19 2.11 1.92 2/921 9007
/proc/meminfo: memFree=17793152/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=288028 CPUtime=0.59 cores=1,3,5,7
/proc/9007/stat : 9007 (python) R 9004 9007 7156 0 -1 4202496 11282 930 1 0 50 9 0 0 17 0 1 0 948093751 294940672 8381 33554432000 4194304 5683644 140737048250160 18446744073709551615 4623672 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/9007/statm: 72007 8381 1815 364 0 6900 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 288028

[startup+1.50054 s]
/proc/loadavg: 2.19 2.11 1.92 3/925 9016
/proc/meminfo: memFree=17718712/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=298472 CPUtime=0.74 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 11609 930 1 0 65 9 0 0 19 0 2 0 948093751 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9007/statm: 74618 8479 1862 364 0 9505 0
[pid=9014] ppid=9007 vsize=288228 CPUtime=0 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 743 0 0 0 0 0 0 0 17 0 1 0 948093836 295145472 6965 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945935 0 0 16781312 33554946 9369923850071933188 0 0 17 3 0 0 0
/proc/9014/statm: 72057 6965 352 364 0 6944 0
[pid=9016] ppid=9014 vsize=63500 CPUtime=0.63 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) R 9014 9016 9016 0 -1 4202496 14050 0 0 0 60 3 0 0 21 0 1 0 948093837 65024000 13430 33554432000 4194304 13684479 140735846637936 18446744073709551615 5490106 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9016/statm: 15875 13430 646 2317 0 13553 0
[pid=9007/tid=9015] ppid=9004 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 948093837 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 650200

[startup+3.10027 s]
/proc/loadavg: 2.18 2.11 1.92 3/925 9016
/proc/meminfo: memFree=17694032/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=298472 CPUtime=0.74 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 11609 930 1 0 65 9 0 0 19 0 2 0 948093751 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9007/statm: 74618 8479 1862 364 0 9505 0
[pid=9014] ppid=9007 vsize=288228 CPUtime=0 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 948093836 295145472 6965 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945935 0 0 16781312 33554946 9369923850071933188 0 0 17 3 0 0 0
/proc/9014/statm: 72057 6965 352 364 0 6944 0
[pid=9016] ppid=9014 vsize=86980 CPUtime=2.23 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) R 9014 9016 9016 0 -1 4202496 21291 0 0 0 217 6 0 0 18 0 1 0 948093837 89067520 19351 33554432000 4194304 13684479 140735846637936 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9016/statm: 21745 19351 793 2317 0 19423 0
[pid=9007/tid=9015] ppid=9004 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 948093837 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 673680

[startup+6.30074 s]
/proc/loadavg: 2.18 2.11 1.92 3/925 9016
/proc/meminfo: memFree=17652120/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=298472 CPUtime=0.74 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 11609 930 1 0 65 9 0 0 19 0 2 0 948093751 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9007/statm: 74618 8479 1862 364 0 9505 0
[pid=9014] ppid=9007 vsize=288228 CPUtime=0.02 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 914 0 0 0 1 1 0 0 15 0 1 0 948093836 295145472 6989 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945935 0 0 16781312 33554946 2172777904407052288 0 0 17 3 0 0 0
/proc/9014/statm: 72057 6989 376 364 0 6944 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=5.43 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) R 9014 9016 9016 0 -1 4202496 29258 0 0 0 532 11 0 0 20 0 1 0 948093837 123006976 27314 33554432000 4194304 13684479 140735846637936 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27314 822 2317 0 27709 0
[pid=9007/tid=9015] ppid=9004 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 948093837 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 706824

[startup+12.7007 s]
/proc/loadavg: 2.30 2.14 1.93 3/925 9016
/proc/meminfo: memFree=17654768/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=298472 CPUtime=0.74 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 11609 930 1 0 65 9 0 0 19 0 2 0 948093751 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9007/statm: 74618 8479 1862 364 0 9505 0
[pid=9014] ppid=9007 vsize=288228 CPUtime=0.04 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1009 0 0 0 2 2 0 0 15 0 1 0 948093836 295145472 6994 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945935 0 0 16781312 33554946 5623458817330129639 0 0 17 3 0 0 0
/proc/9014/statm: 72057 6994 381 364 0 6944 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=11.83 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) R 9014 9016 9016 0 -1 4202496 29259 0 0 0 1164 19 0 0 25 0 1 0 948093837 123006976 27315 33554432000 4194304 13684479 140735846637936 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27315 823 2317 0 27709 0
[pid=9007/tid=9015] ppid=9004 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 948093837 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 706824

[startup+25.5005 s]
/proc/loadavg: 2.25 2.14 1.93 3/925 9016
/proc/meminfo: memFree=17656140/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=298472 CPUtime=0.74 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 11609 930 1 0 65 9 0 0 19 0 2 0 948093751 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9007/statm: 74618 8479 1862 364 0 9505 0
[pid=9014] ppid=9007 vsize=288228 CPUtime=0.12 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1016 0 0 0 5 7 0 0 15 0 1 0 948093836 295145472 6994 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373607 0 0 17 7 0 0 0
/proc/9014/statm: 72057 6994 381 364 0 6944 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=24.63 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) R 9014 9016 9016 0 -1 4202496 29259 0 0 0 2425 38 0 0 25 0 1 0 948093837 123006976 27315 33554432000 4194304 13684479 140735846637936 18446744073709551615 7415528 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27315 823 2317 0 27709 0
[pid=9007/tid=9015] ppid=9004 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 948093837 305635328 8479 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 706824

[startup+51.1013 s]
/proc/loadavg: 2.24 2.14 1.94 3/929 9020
/proc/meminfo: memFree=17546492/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=308728 CPUtime=0.76 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 12523 930 1 0 67 9 0 0 19 0 3 0 948093751 316137472 8494 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 77182 8494 1873 364 0 12066 0
[pid=9014] ppid=9007 vsize=298472 CPUtime=0.24 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1158 0 0 0 10 14 0 0 17 0 2 0 948093836 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9014/statm: 74618 7030 412 364 0 9505 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=46.5 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) T 9014 9016 9016 0 -1 4202496 29260 0 0 0 4579 71 0 0 25 0 1 0 948093837 123006976 27316 33554432000 4194304 13684479 140735846637936 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27316 824 2317 0 27709 0
[pid=9014/tid=9017] ppid=9007 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9014/task/9017/stat : 9017 (python) S 9007 9007 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948098488 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455816499648 0 0 -1 7 0 0 0
[pid=9018] ppid=9007 vsize=298484 CPUtime=0.02 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9007 9007 7156 0 -1 4202560 938 0 0 0 1 1 0 0 15 0 1 0 948098490 305647616 6989 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945990 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/9018/statm: 74621 6989 372 364 0 9505 0
[pid=9020] ppid=9018 vsize=92432 CPUtime=3.68 cores=1,3,5,7
/proc/9020/stat : 9020 (scip-2.0.1.linu) R 9018 9020 9020 0 -1 4202496 28164 0 0 0 362 6 0 0 25 0 1 0 948098490 94650368 19879 33554432000 4194304 15243407 140737043055632 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9020/statm: 23108 19879 928 2698 0 20403 0
[pid=9007/tid=9015] ppid=9004 vsize=308728 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 3 0 948093837 316137472 8494 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
[pid=9007/tid=9019] ppid=9004 vsize=308728 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (python) S 9004 9007 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 3 0 948098490 316137472 8494 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 1118240

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

[startup+51.2012 s]
/proc/loadavg: 2.24 2.14 1.94 3/929 9020
/proc/meminfo: memFree=17546492/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=308728 CPUtime=0.76 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 12523 930 1 0 67 9 0 0 19 0 3 0 948093751 316137472 8494 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 77182 8494 1873 364 0 12066 0
[pid=9014] ppid=9007 vsize=298472 CPUtime=0.24 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1158 0 0 0 10 14 0 0 17 0 2 0 948093836 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9014/statm: 74618 7030 412 364 0 9505 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=46.5 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) T 9014 9016 9016 0 -1 4202496 29260 0 0 0 4579 71 0 0 25 0 1 0 948093837 123006976 27316 33554432000 4194304 13684479 140735846637936 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27316 824 2317 0 27709 0
[pid=9014/tid=9017] ppid=9007 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9014/task/9017/stat : 9017 (python) S 9007 9007 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948098488 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455816499648 0 0 -1 7 0 0 0
[pid=9018] ppid=9007 vsize=298484 CPUtime=0.02 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9007 9007 7156 0 -1 4202560 938 0 0 0 1 1 0 0 15 0 1 0 948098490 305647616 6989 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945990 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/9018/statm: 74621 6989 372 364 0 9505 0
[pid=9020] ppid=9018 vsize=92432 CPUtime=3.78 cores=1,3,5,7
/proc/9020/stat : 9020 (scip-2.0.1.linu) R 9018 9020 9020 0 -1 4202496 28164 0 0 0 372 6 0 0 25 0 1 0 948098490 94650368 19879 33554432000 4194304 15243407 140737043055632 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9020/statm: 23108 19879 928 2698 0 20403 0
[pid=9007/tid=9015] ppid=9004 vsize=308728 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 3 0 948093837 316137472 8494 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0

################
# More data... #
################

/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 13396 930 1 0 70 10 0 0 20 0 4 0 948093751 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 79746 8500 1875 364 0 14627 0
[pid=9014] ppid=9007 vsize=298472 CPUtime=0.24 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1158 0 0 0 10 14 0 0 17 0 2 0 948093836 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9014/statm: 74618 7030 412 364 0 9505 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=46.5 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) T 9014 9016 9016 0 -1 4202496 29260 0 0 0 4579 71 0 0 25 0 1 0 948093837 123006976 27316 33554432000 4194304 13684479 140735846637936 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27316 824 2317 0 27709 0
[pid=9014/tid=9017] ppid=9007 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9014/task/9017/stat : 9017 (python) S 9007 9007 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948098488 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455816499648 0 0 -1 7 0 0 0
[pid=9018] ppid=9007 vsize=298484 CPUtime=0.26 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9007 9007 7156 0 -1 4202560 1113 0 0 0 12 14 0 0 17 0 2 0 948098490 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 74621 7014 396 364 0 9505 0
[pid=9020] ppid=9018 vsize=94576 CPUtime=46.9 cores=1,3,5,7
/proc/9020/stat : 9020 (scip-2.0.1.linu) T 9018 9020 9020 0 -1 4202496 61945 0 0 0 4667 23 0 0 25 0 1 0 948098490 96845824 20712 33554432000 4194304 15243407 140737043055632 18446744073709551615 7438288 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9020/statm: 23644 20712 946 2698 0 20939 0
[pid=9007/tid=9015] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 4 0 948093837 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
[pid=9007/tid=9019] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (python) S 9004 9007 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 948098490 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 94.7
Current children cumulated vsize (KiB) 1130640

[startup+96.0007 s]
/proc/loadavg: 2.11 2.12 1.94 3/936 9029
/proc/meminfo: memFree=17536688/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=318984 CPUtime=0.8 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 13396 930 1 0 70 10 0 0 20 0 4 0 948093751 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 79746 8500 1875 364 0 14627 0
[pid=9014] ppid=9007 vsize=298472 CPUtime=0.24 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1158 0 0 0 10 14 0 0 17 0 2 0 948093836 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9014/statm: 74618 7030 412 364 0 9505 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=46.5 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) T 9014 9016 9016 0 -1 4202496 29260 0 0 0 4579 71 0 0 25 0 1 0 948093837 123006976 27316 33554432000 4194304 13684479 140735846637936 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27316 824 2317 0 27709 0
[pid=9014/tid=9017] ppid=9007 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9014/task/9017/stat : 9017 (python) S 9007 9007 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948098488 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455816499648 0 0 -1 7 0 0 0
[pid=9018] ppid=9007 vsize=298484 CPUtime=0.26 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9007 9007 7156 0 -1 4202560 1113 0 0 0 12 14 0 0 17 0 2 0 948098490 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 74621 7014 396 364 0 9505 0
[pid=9020] ppid=9018 vsize=94576 CPUtime=46.9 cores=1,3,5,7
/proc/9020/stat : 9020 (scip-2.0.1.linu) T 9018 9020 9020 0 -1 4202496 61945 0 0 0 4667 23 0 0 25 0 1 0 948098490 96845824 20712 33554432000 4194304 15243407 140737043055632 18446744073709551615 7438288 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9020/statm: 23644 20712 946 2698 0 20939 0
[pid=9018/tid=9026] ppid=9007 vsize=298484 CPUtime=0 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9007 9007 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948103186 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 5 0 0 0
[pid=9027] ppid=9007 vsize=308740 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (python) S 9007 9007 7156 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 948103188 316149760 6969 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945990 0 0 16781312 33554946 651688736580435968 0 0 17 5 0 0 0
/proc/9027/statm: 77185 6969 348 364 0 12066 0
[pid=9029] ppid=9027 vsize=11648 CPUtime=1.61 cores=1,3,5,7
/proc/9029/stat : 9029 (wbo1.4a) R 9027 9029 9029 0 -1 4202496 3070 0 0 0 159 2 0 0 20 0 1 0 948103188 11927552 2461 33554432000 134512640 135751879 4288200720 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/9029/statm: 2912 2461 146 303 0 2607 0
[pid=9007/tid=9015] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 4 0 948093837 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
[pid=9007/tid=9019] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (python) S 9004 9007 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 948098490 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
[pid=9007/tid=9028] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9028/stat : 9028 (python) S 9004 9007 7156 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 948103188 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.31
Current children cumulated vsize (KiB) 1451028

[startup+96.4007 s]
/proc/loadavg: 2.11 2.12 1.94 3/936 9029
/proc/meminfo: memFree=17536688/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=318984 CPUtime=0.8 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 13396 930 1 0 70 10 0 0 20 0 4 0 948093751 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 79746 8500 1875 364 0 14627 0
[pid=9014] ppid=9007 vsize=298472 CPUtime=0.24 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1158 0 0 0 10 14 0 0 17 0 2 0 948093836 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9014/statm: 74618 7030 412 364 0 9505 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=46.5 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) T 9014 9016 9016 0 -1 4202496 29260 0 0 0 4579 71 0 0 25 0 1 0 948093837 123006976 27316 33554432000 4194304 13684479 140735846637936 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27316 824 2317 0 27709 0
[pid=9014/tid=9017] ppid=9007 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9014/task/9017/stat : 9017 (python) S 9007 9007 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948098488 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455816499648 0 0 -1 7 0 0 0
[pid=9018] ppid=9007 vsize=298484 CPUtime=0.26 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9007 9007 7156 0 -1 4202560 1113 0 0 0 12 14 0 0 17 0 2 0 948098490 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 74621 7014 396 364 0 9505 0
[pid=9020] ppid=9018 vsize=94576 CPUtime=46.9 cores=1,3,5,7
/proc/9020/stat : 9020 (scip-2.0.1.linu) T 9018 9020 9020 0 -1 4202496 61945 0 0 0 4667 23 0 0 25 0 1 0 948098490 96845824 20712 33554432000 4194304 15243407 140737043055632 18446744073709551615 7438288 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9020/statm: 23644 20712 946 2698 0 20939 0
[pid=9018/tid=9026] ppid=9007 vsize=298484 CPUtime=0 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9007 9007 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948103186 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 5 0 0 0
[pid=9027] ppid=9007 vsize=308740 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (python) S 9007 9007 7156 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 948103188 316149760 6969 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945990 0 0 16781312 33554946 651688736580435968 0 0 17 5 0 0 0
/proc/9027/statm: 77185 6969 348 364 0 12066 0
[pid=9029] ppid=9027 vsize=11648 CPUtime=2.01 cores=1,3,5,7
/proc/9029/stat : 9029 (wbo1.4a) R 9027 9029 9029 0 -1 4202496 3070 0 0 0 199 2 0 0 20 0 1 0 948103188 11927552 2461 33554432000 134512640 135751879 4288200720 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/9029/statm: 2912 2461 146 303 0 2607 0
[pid=9007/tid=9015] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 4 0 948093837 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
[pid=9007/tid=9019] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (python) S 9004 9007 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 948098490 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
[pid=9007/tid=9028] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9028/stat : 9028 (python) S 9004 9007 7156 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 948103188 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.71
Current children cumulated vsize (KiB) 1451028

[startup+96.6006 s]
/proc/loadavg: 2.11 2.12 1.94 3/936 9029
/proc/meminfo: memFree=17536688/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=318984 CPUtime=0.8 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 13396 930 1 0 70 10 0 0 20 0 4 0 948093751 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 79746 8500 1875 364 0 14627 0
[pid=9014] ppid=9007 vsize=298472 CPUtime=0.24 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1158 0 0 0 10 14 0 0 17 0 2 0 948093836 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9014/statm: 74618 7030 412 364 0 9505 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=46.5 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) T 9014 9016 9016 0 -1 4202496 29260 0 0 0 4579 71 0 0 25 0 1 0 948093837 123006976 27316 33554432000 4194304 13684479 140735846637936 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27316 824 2317 0 27709 0
[pid=9014/tid=9017] ppid=9007 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9014/task/9017/stat : 9017 (python) S 9007 9007 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948098488 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455816499648 0 0 -1 7 0 0 0
[pid=9018] ppid=9007 vsize=298484 CPUtime=0.26 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9007 9007 7156 0 -1 4202560 1113 0 0 0 12 14 0 0 17 0 2 0 948098490 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 74621 7014 396 364 0 9505 0
[pid=9020] ppid=9018 vsize=94576 CPUtime=46.9 cores=1,3,5,7
/proc/9020/stat : 9020 (scip-2.0.1.linu) T 9018 9020 9020 0 -1 4202496 61945 0 0 0 4667 23 0 0 25 0 1 0 948098490 96845824 20712 33554432000 4194304 15243407 140737043055632 18446744073709551615 7438288 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9020/statm: 23644 20712 946 2698 0 20939 0
[pid=9018/tid=9026] ppid=9007 vsize=298484 CPUtime=0 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9007 9007 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948103186 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 5 0 0 0
[pid=9027] ppid=9007 vsize=308740 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (python) S 9007 9007 7156 0 -1 4202560 811 0 0 0 0 0 0 0 16 0 1 0 948103188 316149760 6969 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284945990 0 0 16781312 33554946 4220209889814773760 0 0 17 5 0 0 0
/proc/9027/statm: 77185 6969 348 364 0 12066 0
[pid=9029] ppid=9027 vsize=11648 CPUtime=2.21 cores=1,3,5,7
/proc/9029/stat : 9029 (wbo1.4a) R 9027 9029 9029 0 -1 4202496 3070 0 0 0 219 2 0 0 21 0 1 0 948103188 11927552 2461 33554432000 134512640 135751879 4288200720 18446744073709551615 134516835 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/9029/statm: 2912 2461 146 303 0 2607 0
[pid=9007/tid=9015] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 4 0 948093837 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
[pid=9007/tid=9019] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (python) S 9004 9007 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 948098490 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
[pid=9007/tid=9028] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9028/stat : 9028 (python) S 9004 9007 7156 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 948103188 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.91
Current children cumulated vsize (KiB) 1451028

[startup+96.7006 s]
/proc/loadavg: 2.11 2.12 1.94 3/936 9029
/proc/meminfo: memFree=17536688/32951124 swapFree=33333036/67111528
[pid=9007] ppid=9004 vsize=318984 CPUtime=0.8 cores=1,3,5,7
/proc/9007/stat : 9007 (python) S 9004 9007 7156 0 -1 4202496 13396 930 1 0 70 10 0 0 20 0 4 0 948093751 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 79746 8500 1875 364 0 14627 0
[pid=9014] ppid=9007 vsize=298472 CPUtime=0.24 cores=1,3,5,7
/proc/9014/stat : 9014 (python) S 9007 9007 7156 0 -1 4202560 1158 0 0 0 10 14 0 0 17 0 2 0 948093836 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9014/statm: 74618 7030 412 364 0 9505 0
[pid=9016] ppid=9014 vsize=120124 CPUtime=46.5 cores=1,3,5,7
/proc/9016/stat : 9016 (scip-2.0.1.linu) T 9014 9016 9016 0 -1 4202496 29260 0 0 0 4579 71 0 0 25 0 1 0 948093837 123006976 27316 33554432000 4194304 13684479 140735846637936 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/9016/statm: 30031 27316 824 2317 0 27709 0
[pid=9014/tid=9017] ppid=9007 vsize=298472 CPUtime=0 cores=1,3,5,7
/proc/9014/task/9017/stat : 9017 (python) S 9007 9007 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948098488 305635328 7030 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455816499648 0 0 -1 7 0 0 0
[pid=9018] ppid=9007 vsize=298484 CPUtime=0.26 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9007 9007 7156 0 -1 4202560 1113 0 0 0 12 14 0 0 17 0 2 0 948098490 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 74621 7014 396 364 0 9505 0
[pid=9020] ppid=9018 vsize=94576 CPUtime=46.9 cores=1,3,5,7
/proc/9020/stat : 9020 (scip-2.0.1.linu) T 9018 9020 9020 0 -1 4202496 61945 0 0 0 4667 23 0 0 25 0 1 0 948098490 96845824 20712 33554432000 4194304 15243407 140737043055632 18446744073709551615 7438288 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9020/statm: 23644 20712 946 2698 0 20939 0
[pid=9018/tid=9026] ppid=9007 vsize=298484 CPUtime=0 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9007 9007 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948103186 305647616 7014 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 5 0 0 0
[pid=9027] ppid=9007 vsize=308740 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (python) R 9007 9007 7156 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 948103188 316149760 6969 33554432000 4194304 5683644 140737048250160 18446744073709551615 224284622603 0 0 16781312 33554946 0 0 0 17 5 0 0 0
/proc/9027/statm: 77185 6970 349 364 0 12066 0
[pid=9029] ppid=9027 vsize=13852 CPUtime=2.31 cores=1,3,5,7
/proc/9029/stat : 9029 (wbo1.4a) R 9027 9029 9029 0 -1 4202496 3632 0 0 0 228 3 0 0 21 0 1 0 948103188 14184448 3023 33554432000 134512640 135751879 4288200720 18446744073709551615 135269054 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/9029/statm: 3463 3023 146 303 0 3158 0
[pid=9007/tid=9015] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (python) S 9004 9007 7156 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 4 0 948093837 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 7 0 0 0
[pid=9007/tid=9019] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (python) S 9004 9007 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 948098490 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
[pid=9007/tid=9028] ppid=9004 vsize=318984 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9028/stat : 9028 (python) S 9004 9007 7156 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 948103188 326639616 8500 33554432000 4194304 5683644 140737048250160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816502336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 97.01
Current children cumulated vsize (KiB) 1453232

Child status: 0
Real time (s): 96.7535
CPU time (s): 97.1322
CPU user time (s): 95.7304
CPU system time (s): 1.40179
CPU usage (%): 100.391
Max. virtual memory (cumulated for all children) (KiB): 1453232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.7304
system time used= 1.40179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119634
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= 1870
involuntary context switches= 635

runsolver used 0.601908 second user time and 1.43678 second system time

The end

Begin job on node118 at 2011-06-09 02:17:10
IDJOB=3481203
IDBENCH=71841
IDSOLVER=1970
FILE ID=node118/3481203-1307578630
RUNJOBID= node118-1307576359-7175
PBS_JOBID= 13547681
Free space on /tmp= 73316 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.opt.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481203-1307578630/watcher-3481203-1307578630 -o /tmp/evaluation-result-3481203-1307578630/solver-3481203-1307578630 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481203-1307578630.opb -seed 1108741732 -budget 1800

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

MD5SUM BENCH= 27a6a4205f1c6df1de962194e8e7e014
RANDOM SEED=1108741732

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17793432 kB
Buffers:        150864 kB
Cached:         990800 kB
SwapCached:      16428 kB
Active:       14637472 kB
Inactive:       145324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17793432 kB
SwapTotal:    67111528 kB
SwapFree:     33333036 kB
Dirty:          105772 kB
Writeback:           0 kB
AnonPages:    13638092 kB
Mapped:         121936 kB
Slab:           148024 kB
PageTables:     150064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 205992300 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= 73212 MiB
End job on node118 at 2011-06-09 02:18:48