0.36/0.68 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.36/0.68 c INFO: solving HOME/instance-3322537-1304354076.cnf
0.36/0.68 c INFO: computing task features
4.53/4.89 c INFO: computed variable-clause graph statistics
4.63/4.99 c INFO: computed clause balance statistics
25.63/25.92 c INFO: computed variable balance statistics
32.33/32.61 c INFO: computed small-clause counts
32.33/32.64 c INFO: computed Horn-clause counts
33.23/33.59 c INFO: computed variable graph statistics
33.23/33.59 c INFO: collected features for HOME/instance-3322537-1304354076.cnf in 32.79 s
33.33/33.62 c INFO: running lingeling-276@0 for 97 with 39967 remaining (b = 0.16)
33.33/33.66 c INFO: running cryptominisat-2.9.0@0 for 485 with 39967 remaining (b = 0.18)
33.33/33.69 c INFO: running lingeling-276@0 for 1261 with 39967 remaining (b = 0.36)
33.42/33.73 c INFO: running lingeling-276@0 for 1261 with 39966 remaining (b = 0.30)
33.42/33.76 c INFO: running SApperloT@0 for 97 with 39966 remaining (b = 0.02)
33.53/33.80 c INFO: running cryptominisat-2.9.0@0 for 485 with 39966 remaining (b = 0.11)
33.53/33.83 c INFO: running precosat-570@0 for 291 with 39966 remaining (b = 0.06)
33.53/33.87 c INFO: running cryptominisat-2.9.0@0 for 1940 with 39966 remaining (b = 0.38)
139.19/47.05 s SATISFIABLE
139.19/47.05 v -1 -2 -3 -4 -5 6 -7 8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 36 -37 38 -39 -40 -41 -42 43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 55 -56 -57 -58 59 -60 -61 -62 -63 -64 -65 -66 67 -68 -69 -70 -71 -72 -73 74 -75 -76 77 -78 -79 80 -81 82 -83 -84 -85 86 -87 88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 100 101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 127 -128 -129 130 -131 132 -133 -134 135 136 -137 138 -139 -140 -141 -142 143 -144 -145 -146 147 -148 -149 -150 -151 152 -153 -154 -155 156 157 158 159 160 -161 162 -163 -164 -165 -166 167 -168 -169 -170 171 -172 173 -174 175 -176 177 -178 -179 180 -181 182 -183 -184 -185 -186 187 -188 189 -190 191 192 193 194 195 -196 197 -198 -199 200 -201 202 203 204 205 206 -207 208 209 210 211 212 213 214 215 -216 217 218 219 220 221 222 223 224 225 -226 227 -228 229 230 -231 232 -233 -234 235 -236 237 238 -239 240 241 -242 243 244 -245 246 247 248 -249 250 -251 252 253 -254 255 256 -257 258 -259 260 261 -262 263 -264 -265 266 -267 268 269 -270 271 -272 -273 -274 275 -276 277 -278 -279 280 -281 282 283 284 285 286 -287 288 289 -290 -291 292 -293 294 295 -296 297 -298 -299 300 -301 -302 -303 -304 305 -306 307 308 309 310 311 -312 313 314 -315 316 -317 -318 319 -320 -321 -322 -323 324 -325 -326 327 -328 -329 330 -331 -332 -333 -334 -335 -336 -337 338 -339 340 341 -342 343 344 -345 -346 -347 -348 -349 -350 -351 -352 -353 354 355 -356 -357 -358 359 -360 -361 362 -363 364 -365 366 -367 368 -369 -370 -371 -372 -373 374 -375 376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 446 447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 465 466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 508 509 510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 544 545 546 547 548 549 550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 602 603 604 605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 642 643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 664 665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 704 705 706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 721 722 723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 763 764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 785 786 787 788 789 790 791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 802 803 804 805 806 807 808 809 810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 827 828 829 830 831 -832 -833 -834 -835 -836 -837 -838 -839 -840 841 842 843 844 845 846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 867 868 869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 885 886 887 888 889 890 891 -892 -893 -894 -895 -896 -897 -898 -899 -900 901 902 903 904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 925 926 927 928 929 930 931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 952 -953 -954 -955 -956 -957 -958 -959 -960 961 962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 988 989 990 991 992 -993 -994 -995 -996 -997 -998 -999 -1000 1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 1025 1026 1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 1049 1050 1051 1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 1062 1063 1064 1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 1085 1086 1087 1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 1110 1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 1151 1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 1166 1167 1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 2346 2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 2645 2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 2805 2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 3188 3189 3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 3704 3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 3764 3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 3804 3805 3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 4282 4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 4304 4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 4344 4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 4362 4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 4403 4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 4622 4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 4704 4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 4985 4986 4987 4988 4989 4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 5007 5008 5009 5010 5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 5025 5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 5047 5048 5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 5065 5066 5067 5068 5069 5070 5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 5105 5106 5107 5108 5109 5110 5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 5168 5169 5170 5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 5205 5206 5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 5229 5230 5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 5265 5266 5267 5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 5290 5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 5346 5347 5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 5367 5368 5369 5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 5381 5382 5383 5384 5385 5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 5407 5408 5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 5425 5426 5427 5428 5429 5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 5441 5442 5443 5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 5465 5466 5467 5468 5469 5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 5501 5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 5528 5529 5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 5564 5565 5566 5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 5589 5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 5602 5603 5604 5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 5625 5626 5627 5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 5706 5707 5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 5747 5748 5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 5767 5768 5769 5770 5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 5807 5808 5809 5810 5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 5868 5869 5870 5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 5929 5930 5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 5967 5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 5990 5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 6047 6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 6085 6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 6101 6102 6103 6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 6125 6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 6161 6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 6224 6225 6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 6262 6263 6264 6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 6285 6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 6387 6388 6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 6427 6428 6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487 6488 6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 6587 6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 6667 6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 6705 6706 6707 6708 6709 6710 6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 6768 6769 6770 6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 6805 6806 6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 6829 6830 6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 6865 6866 6867 6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 6890 6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 6946 6947 6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 7001 7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 7102 7103 7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 7268 7269 7270 7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 7305 7306 7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 7329 7330 7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 7365 7366 7367 7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 7390 7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445 7446 7447 7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 7929 7930 7931 7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 -7965 -7966 -7967 7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 7990 7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 8031 8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047 8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 8244 8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 8265 8266 8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 8346 8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 8410 8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 8451 8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 8646 8647 8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 -8785 -8786 -8787 8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 8827 -8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 9002 -9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 9021 -9022 -9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 9042 -9043 -9044 -9045 -9046 -9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 9064 -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 -9181 -9182 -9183 -9184 9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 9201 -9202 -9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 -9221 -9222 -9223 -9224 -9225 -9226 9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 -9262 -9263 -9264 -9265 -9266 9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324 9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 -9381 -9382 -9383 -9384 -9385 -9386 -9387 9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 9401 -9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 -9422 -9423 9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 -9564 -9565 9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 -9585 -9586 -9587 9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610 9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 9882 -9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 -9904 -9905 9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950 9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 9964 -9965 -9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 -9990 9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 -10042 -10043 -10044 -10045 10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090 10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 -10150 -10151 10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 10162 -10163 -10164 -10165 -10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 -10191 10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 -10224 -10225 -10226 10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264 10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282 -10283 -10284 -10285 -10286 -10287 10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 -10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310 10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 10323 -10324 -10325 -10326 -10327 -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350 -10351 10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 -10364 -10365 -10366 -10367 10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 10392 10393 10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 -10411 -10412 10413 10414 10415 10416 10417 10418 10419 10420 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3322537-1304354076/watcher-3322537-1304354076 -o /tmp/evaluation-result-3322537-1304354076/solver-3322537-1304354076 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3322537-1304354076.cnf -seed 11171783 -budget 40000 -cores 8
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.01 8.42 8.36 2/217 27282
/proc/meminfo: memFree=21346248/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=15384 CPUtime=0 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 744 0 0 0 0 0 0 0 20 0 1 0 625638374 15753216 633 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895184365 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 3846 648 322 364 0 333 0
[startup+0.0792901 s]
/proc/loadavg: 8.01 8.42 8.36 2/217 27282
/proc/meminfo: memFree=21346248/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=45820 CPUtime=0.05 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 1925 0 0 0 4 1 0 0 20 0 1 0 625638374 46919680 1697 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895486309 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 11455 1698 470 364 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 45820
[startup+0.100273 s]
/proc/loadavg: 8.01 8.42 8.36 2/217 27282
/proc/meminfo: memFree=21346248/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=85628 CPUtime=0.06 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 2631 0 0 0 4 2 0 0 18 0 1 0 625638374 87683072 2349 33554432000 4194304 5683644 140736201177808 18446744073709551615 4567031 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 21407 2349 713 364 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85628
[startup+0.300266 s]
/proc/loadavg: 8.01 8.42 8.36 2/217 27282
/proc/meminfo: memFree=21346248/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=135752 CPUtime=0.2 cores=0-7
/proc/27282/stat : 27282 (python) S 27280 27282 26594 0 -1 4202496 5964 935 1 0 14 6 0 0 18 0 1 0 625638374 139010048 4150 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895486469 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0
/proc/27282/statm: 33938 4150 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 135752
[startup+0.701162 s]
/proc/loadavg: 8.01 8.42 8.36 2/217 27282
/proc/meminfo: memFree=21346248/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=300352 CPUtime=0.43 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 14752 935 1 0 30 13 0 0 17 0 1 0 625638374 307560448 12431 33554432000 4194304 5683644 140736201177808 18446744073709551615 4423180 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 75088 12431 1761 364 0 11012 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 300352
[startup+1.50102 s]
/proc/loadavg: 8.01 8.42 8.36 3/218 27287
/proc/meminfo: memFree=21296728/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=334796 CPUtime=1.23 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 23189 935 1 0 108 15 0 0 18 0 1 0 625638374 342831104 20686 33554432000 4194304 5683644 140736201177808 18446744073709551615 4539670 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 83699 20687 1761 364 0 19623 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 334796
[startup+3.10071 s]
/proc/loadavg: 7.44 8.30 8.32 2/218 27287
/proc/meminfo: memFree=21236216/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=430104 CPUtime=2.83 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 46326 935 1 0 264 19 0 0 21 0 1 0 625638374 440426496 43823 33554432000 4194304 5683644 140736201177808 18446744073709551615 4602976 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 107526 43826 1761 364 0 43450 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 430104
[startup+6.30111 s]
/proc/loadavg: 7.44 8.30 8.32 2/218 27287
/proc/meminfo: memFree=21085916/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=519600 CPUtime=6.03 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 102358 935 1 0 578 25 0 0 25 0 1 0 625638374 532070400 67284 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895146384 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 129900 67284 1826 364 0 65824 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 519600
[startup+12.7009 s]
/proc/loadavg: 6.93 8.18 8.28 2/218 27287
/proc/meminfo: memFree=21086520/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=519600 CPUtime=12.43 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 102358 935 1 0 1218 25 0 0 25 0 1 0 625638374 532070400 67284 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895146499 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 129900 67284 1826 364 0 65824 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 519600
[startup+25.5005 s]
/proc/loadavg: 5.61 7.82 8.16 2/218 27287
/proc/meminfo: memFree=21088564/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=519600 CPUtime=25.23 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 102358 935 1 0 2498 25 0 0 25 0 1 0 625638374 532070400 67284 33554432000 4194304 5683644 140736201177808 18446744073709551615 47797172158125 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27282/statm: 129900 67284 1826 364 0 65824 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 519600
Solver just ended. Dumping a history of the last processes samples
[startup+38.301 s]
/proc/loadavg: 5.15 7.61 8.08 9/242 27312
/proc/meminfo: memFree=20184628/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=647008 CPUtime=33.6 cores=0-7
/proc/27282/stat : 27282 (python) S 27280 27282 26594 0 -1 4202496 107853 935 1 0 3329 31 0 0 19 0 9 0 625638374 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27282/statm: 161752 62445 1889 364 0 97649 0
[pid=27289] ppid=27282 vsize=499436 CPUtime=0.01 cores=0-7
/proc/27289/stat : 27289 (python) S 27282 27282 26594 0 -1 4202560 913 0 0 0 0 1 0 0 18 0 1 0 625641737 511422464 60787 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510543 0 0 16781312 514 4151689940079444228 0 0 17 1 0 0 0
/proc/27289/statm: 124859 60787 376 364 0 60777 0
[pid=27291] ppid=27289 vsize=89144 CPUtime=4.65 cores=0-7
/proc/27291/stat : 27291 (lingeling) R 27289 27291 27291 0 -1 4202496 26483 0 0 0 461 4 0 0 25 0 1 0 625641737 91283456 21447 33554432000 4194304 4352236 140735346052928 18446744073709551615 4267799 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/27291/statm: 22286 21447 126 39 0 21366 0
[pid=27292] ppid=27282 vsize=509692 CPUtime=0.01 cores=0-7
/proc/27292/stat : 27292 (python) S 27282 27282 26594 0 -1 4202560 913 0 0 0 0 1 0 0 15 0 1 0 625641740 521924608 60785 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 5627696339438502145 0 0 17 3 0 0 0
/proc/27292/statm: 127423 60785 370 364 0 63338 0
[pid=27294] ppid=27292 vsize=215012 CPUtime=4.61 cores=0-7
/proc/27294/stat : 27294 (cryptominisat-2) R 27292 27294 27294 0 -1 4202496 42155 0 0 0 455 6 0 0 25 0 1 0 625641741 220172288 41644 33554432000 4194304 4677096 140735305175008 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27294/statm: 53753 41644 378 118 0 48712 0
[pid=27295] ppid=27282 vsize=519948 CPUtime=0.01 cores=0-7
/proc/27295/stat : 27295 (python) S 27282 27282 26594 0 -1 4202560 905 0 0 0 0 1 0 0 18 0 1 0 625641744 532426752 60789 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 4582452207563014401 0 0 17 1 0 0 0
/proc/27295/statm: 129987 60789 370 364 0 65899 0
[pid=27297] ppid=27295 vsize=89144 CPUtime=4.57 cores=0-7
/proc/27297/stat : 27297 (lingeling) R 27295 27297 27297 0 -1 4202496 26482 0 0 0 453 4 0 0 25 0 1 0 625641744 91283456 21447 33554432000 4194304 4352236 140733322249840 18446744073709551615 4268080 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/27297/statm: 22286 21447 126 39 0 21366 0
[pid=27298] ppid=27282 vsize=530204 CPUtime=0.01 cores=0-7
/proc/27298/stat : 27298 (python) S 27282 27282 26594 0 -1 4202560 914 0 0 0 0 1 0 0 18 0 1 0 625641747 542928896 60793 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 4229707711773638916 0 0 17 1 0 0 0
/proc/27298/statm: 132551 60793 370 364 0 68460 0
[pid=27300] ppid=27298 vsize=89308 CPUtime=4.54 cores=0-7
/proc/27300/stat : 27300 (lingeling) R 27298 27300 27300 0 -1 4202496 26525 0 0 0 450 4 0 0 25 0 1 0 625641748 91451392 21485 33554432000 4194304 4352236 140737451563648 18446744073709551615 4283909 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/27300/statm: 22327 21485 123 39 0 21407 0
[pid=27301] ppid=27282 vsize=605996 CPUtime=0.01 cores=0-7
/proc/27301/stat : 27301 (python) S 27282 27282 26594 0 -1 4202560 798 0 0 0 0 1 0 0 18 0 1 0 625641751 620539904 60915 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 3986477597767729412 0 0 17 1 0 0 0
/proc/27301/statm: 151499 60915 371 364 0 87405 0
[pid=27303] ppid=27301 vsize=59376 CPUtime=4.5 cores=0-7
/proc/27303/stat : 27303 (SApperloT-base) R 27301 27303 27303 0 -1 4202496 13520 0 0 0 448 2 0 0 25 0 1 0 625641752 60801024 13262 33554432000 134512640 135674940 4292167856 18446744073709551615 134564781 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27303/statm: 14844 13262 99 284 0 14558 0
[pid=27304] ppid=27282 vsize=616252 CPUtime=0.01 cores=0-7
/proc/27304/stat : 27304 (python) S 27282 27282 26594 0 -1 4202560 816 0 0 0 0 1 0 0 15 0 1 0 625641754 631042048 60915 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 5628721084275589378 0 0 17 1 0 0 0
/proc/27304/statm: 154063 60915 371 364 0 89966 0
[pid=27306] ppid=27304 vsize=215008 CPUtime=4.44 cores=0-7
/proc/27306/stat : 27306 (cryptominisat-2) R 27304 27306 27306 0 -1 4202496 42149 0 0 0 438 6 0 0 25 0 1 0 625641755 220168192 41643 33554432000 4194304 4677096 140733999631024 18446744073709551615 4502821 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/27306/statm: 53752 41643 378 118 0 48711 0
[pid=27307] ppid=27282 vsize=626508 CPUtime=0 cores=0-7
/proc/27307/stat : 27307 (python) S 27282 27282 26594 0 -1 4202560 825 0 0 0 0 0 0 0 18 0 1 0 625641758 641544192 60919 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 3986481446058426626 0 0 17 1 0 0 0
/proc/27307/statm: 156627 60919 371 364 0 92527 0
[pid=27309] ppid=27307 vsize=124440 CPUtime=4.41 cores=0-7
/proc/27309/stat : 27309 (precosat) R 27307 27309 27309 0 -1 4202496 36978 0 0 0 435 6 0 0 25 0 1 0 625641760 127426560 29935 33554432000 4194304 4890832 140735121188448 18446744073709551615 4238585 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/27309/statm: 31110 29935 86 171 0 30937 0
[pid=27310] ppid=27282 vsize=636764 CPUtime=0.01 cores=0-7
/proc/27310/stat : 27310 (python) S 27282 27282 26594 0 -1 4202560 871 0 0 0 0 1 0 0 15 0 1 0 625641761 652046336 60929 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 4611593663745589505 0 0 17 1 0 0 0
/proc/27310/statm: 159191 60929 377 364 0 95088 0
[pid=27312] ppid=27310 vsize=215008 CPUtime=4.3 cores=0-7
/proc/27312/stat : 27312 (cryptominisat-2) R 27310 27312 27312 0 -1 4202496 42156 0 0 0 423 7 0 0 25 0 1 0 625641762 220168192 41643 33554432000 4194304 4677096 140735313952960 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/27312/statm: 53752 41643 378 118 0 48711 0
[pid=27282/tid=27290] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27290/stat : 27290 (python) S 27280 27282 26594 0 -1 4202560 27 935 0 0 0 0 0 0 25 0 9 0 625641737 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27293] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27293/stat : 27293 (python) S 27280 27282 26594 0 -1 4202560 23 935 0 0 0 0 0 0 17 0 9 0 625641741 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 3 0 0 0
[pid=27282/tid=27296] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27296/stat : 27296 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 20 0 9 0 625641744 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27299] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27299/stat : 27299 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 19 0 9 0 625641748 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 5 0 0 0
[pid=27282/tid=27302] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27302/stat : 27302 (python) S 27280 27282 26594 0 -1 4202560 83 935 0 0 0 0 0 0 19 0 9 0 625641751 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27305] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27305/stat : 27305 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641755 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 7 0 0 0
[pid=27282/tid=27308] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27308/stat : 27308 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 9 0 625641758 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 2 0 0 0
[pid=27282/tid=27311] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27311/stat : 27311 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641762 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 69.69
Current children cumulated vsize (KiB) 6288248
[startup+41.5014 s]
/proc/loadavg: 5.15 7.61 8.08 9/242 27312
/proc/meminfo: memFree=20241048/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=647008 CPUtime=33.6 cores=0-7
/proc/27282/stat : 27282 (python) S 27280 27282 26594 0 -1 4202496 107853 935 1 0 3329 31 0 0 19 0 9 0 625638374 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27282/statm: 161752 62445 1889 364 0 97649 0
[pid=27289] ppid=27282 vsize=499436 CPUtime=0.01 cores=0-7
/proc/27289/stat : 27289 (python) S 27282 27282 26594 0 -1 4202560 913 0 0 0 0 1 0 0 18 0 1 0 625641737 511422464 60787 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510543 0 0 16781312 514 4151689940079444228 0 0 17 1 0 0 0
/proc/27289/statm: 124859 60787 376 364 0 60777 0
[pid=27291] ppid=27289 vsize=59256 CPUtime=7.85 cores=0-7
/proc/27291/stat : 27291 (lingeling) R 27289 27291 27291 0 -1 4202496 27396 0 0 0 781 4 0 0 25 0 1 0 625641737 60678144 13978 33554432000 4194304 4352236 140735346052928 18446744073709551615 4278811 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/27291/statm: 14814 13978 129 39 0 13894 0
[pid=27292] ppid=27282 vsize=509692 CPUtime=0.01 cores=0-7
/proc/27292/stat : 27292 (python) S 27282 27282 26594 0 -1 4202560 913 0 0 0 0 1 0 0 15 0 1 0 625641740 521924608 60785 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 5627696339438502145 0 0 17 3 0 0 0
/proc/27292/statm: 127423 60785 370 364 0 63338 0
[pid=27294] ppid=27292 vsize=215012 CPUtime=7.81 cores=0-7
################
# More data... #
################
/proc/27282/task/27293/stat : 27293 (python) S 27280 27282 26594 0 -1 4202560 23 935 0 0 0 0 0 0 17 0 9 0 625641741 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 3 0 0 0
[pid=27282/tid=27296] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27296/stat : 27296 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 20 0 9 0 625641744 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27299] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27299/stat : 27299 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 19 0 9 0 625641748 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 5 0 0 0
[pid=27282/tid=27302] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27302/stat : 27302 (python) S 27280 27282 26594 0 -1 4202560 83 935 0 0 0 0 0 0 19 0 9 0 625641751 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27305] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27305/stat : 27305 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641755 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 7 0 0 0
[pid=27282/tid=27308] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27308/stat : 27308 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 9 0 625641758 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 2 0 0 0
[pid=27282/tid=27311] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27311/stat : 27311 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641762 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 120.83
Current children cumulated vsize (KiB) 6307060
[startup+46.3015 s]
/proc/loadavg: 5.38 7.61 8.08 9/242 27312
/proc/meminfo: memFree=20204096/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=647008 CPUtime=33.6 cores=0-7
/proc/27282/stat : 27282 (python) S 27280 27282 26594 0 -1 4202496 107853 935 1 0 3329 31 0 0 19 0 9 0 625638374 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27282/statm: 161752 62445 1889 364 0 97649 0
[pid=27289] ppid=27282 vsize=499436 CPUtime=0.01 cores=0-7
/proc/27289/stat : 27289 (python) S 27282 27282 26594 0 -1 4202560 916 0 0 0 0 1 0 0 18 0 1 0 625641737 511422464 60787 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510543 0 0 16781312 514 11703307319163977988 0 0 17 1 0 0 0
/proc/27289/statm: 124859 60787 376 364 0 60777 0
[pid=27291] ppid=27289 vsize=60768 CPUtime=12.65 cores=0-7
/proc/27291/stat : 27291 (lingeling) R 27289 27291 27291 0 -1 4202496 40120 0 0 0 1259 6 0 0 25 0 1 0 625641737 62226432 14355 33554432000 4194304 4352236 140735346052928 18446744073709551615 4328075 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/27291/statm: 15192 14355 129 39 0 14272 0
[pid=27292] ppid=27282 vsize=509692 CPUtime=0.02 cores=0-7
/proc/27292/stat : 27292 (python) S 27282 27282 26594 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 625641740 521924608 60785 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977985 0 0 17 3 0 0 0
/proc/27292/statm: 127423 60785 370 364 0 63338 0
[pid=27294] ppid=27292 vsize=215012 CPUtime=12.6 cores=0-7
/proc/27294/stat : 27294 (cryptominisat-2) R 27292 27294 27294 0 -1 4202496 42155 0 0 0 1254 6 0 0 25 0 1 0 625641741 220172288 41644 33554432000 4194304 4677096 140735305175008 18446744073709551615 4502843 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27294/statm: 53753 41644 378 118 0 48712 0
[pid=27295] ppid=27282 vsize=519948 CPUtime=0.02 cores=0-7
/proc/27295/stat : 27295 (python) S 27282 27282 26594 0 -1 4202560 909 0 0 0 1 1 0 0 18 0 1 0 625641744 532426752 60789 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977985 0 0 17 1 0 0 0
/proc/27295/statm: 129987 60789 370 364 0 65899 0
[pid=27297] ppid=27295 vsize=75972 CPUtime=12.58 cores=0-7
/proc/27297/stat : 27297 (lingeling) R 27295 27297 27297 0 -1 4202496 39766 0 0 0 1252 6 0 0 25 0 1 0 625641744 77795328 18157 33554432000 4194304 4352236 140733322249840 18446744073709551615 4277608 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/27297/statm: 18993 18157 129 39 0 18073 0
[pid=27298] ppid=27282 vsize=530204 CPUtime=0.02 cores=0-7
/proc/27298/stat : 27298 (python) S 27282 27282 26594 0 -1 4202560 917 0 0 0 1 1 0 0 18 0 1 0 625641747 542928896 60793 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977988 0 0 17 1 0 0 0
/proc/27298/statm: 132551 60793 370 364 0 68460 0
[pid=27300] ppid=27298 vsize=59236 CPUtime=12.54 cores=0-7
/proc/27300/stat : 27300 (lingeling) R 27298 27300 27300 0 -1 4202496 27414 0 0 0 1250 4 0 0 25 0 1 0 625641748 60657664 13973 33554432000 4194304 4352236 140737451563648 18446744073709551615 4276475 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/27300/statm: 14809 13973 129 39 0 13889 0
[pid=27301] ppid=27282 vsize=605996 CPUtime=0.01 cores=0-7
/proc/27301/stat : 27301 (python) S 27282 27282 26594 0 -1 4202560 803 0 0 0 0 1 0 0 18 0 1 0 625641751 620539904 60915 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977988 0 0 17 1 0 0 0
/proc/27301/statm: 151499 60915 371 364 0 87405 0
[pid=27303] ppid=27301 vsize=72404 CPUtime=12.51 cores=0-7
/proc/27303/stat : 27303 (SApperloT-base) R 27301 27303 27303 0 -1 4202496 16703 0 0 0 1247 4 0 0 25 0 1 0 625641752 74141696 16412 33554432000 134512640 135674940 4292167856 18446744073709551615 134543046 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27303/statm: 18101 16412 99 284 0 17815 0
[pid=27304] ppid=27282 vsize=616252 CPUtime=0.02 cores=0-7
/proc/27304/stat : 27304 (python) S 27282 27282 26594 0 -1 4202560 816 0 0 0 1 1 0 0 15 0 1 0 625641754 631042048 60915 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977986 0 0 17 1 0 0 0
/proc/27304/statm: 154063 60915 371 364 0 89966 0
[pid=27306] ppid=27304 vsize=215008 CPUtime=12.36 cores=0-7
/proc/27306/stat : 27306 (cryptominisat-2) R 27304 27306 27306 0 -1 4202496 42149 0 0 0 1230 6 0 0 25 0 1 0 625641755 220168192 41643 33554432000 4194304 4677096 140733999631024 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/27306/statm: 53752 41643 378 118 0 48711 0
[pid=27307] ppid=27282 vsize=626508 CPUtime=0.02 cores=0-7
/proc/27307/stat : 27307 (python) S 27282 27282 26594 0 -1 4202560 829 0 0 0 1 1 0 0 18 0 1 0 625641758 641544192 60919 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977986 0 0 17 1 0 0 0
/proc/27307/statm: 156627 60919 371 364 0 92527 0
[pid=27309] ppid=27307 vsize=124440 CPUtime=12.41 cores=0-7
/proc/27309/stat : 27309 (precosat) R 27307 27309 27309 0 -1 4202496 39719 0 0 0 1235 6 0 0 25 0 1 0 625641760 127426560 30874 33554432000 4194304 4890832 140735121188448 18446744073709551615 4213980 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/27309/statm: 31110 30874 86 171 0 30937 0
[pid=27310] ppid=27282 vsize=636764 CPUtime=0.02 cores=0-7
/proc/27310/stat : 27310 (python) S 27282 27282 26594 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 625641761 652046336 60929 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977985 0 0 17 1 0 0 0
/proc/27310/statm: 159191 60929 377 364 0 95088 0
[pid=27312] ppid=27310 vsize=215008 CPUtime=12.23 cores=0-7
/proc/27312/stat : 27312 (cryptominisat-2) R 27310 27312 27312 0 -1 4202496 42156 0 0 0 1216 7 0 0 25 0 1 0 625641762 220168192 41643 33554432000 4194304 4677096 140735313952960 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/27312/statm: 53752 41643 378 118 0 48711 0
[pid=27282/tid=27290] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27290/stat : 27290 (python) S 27280 27282 26594 0 -1 4202560 27 935 0 0 0 0 0 0 25 0 9 0 625641737 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27293] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27293/stat : 27293 (python) S 27280 27282 26594 0 -1 4202560 23 935 0 0 0 0 0 0 17 0 9 0 625641741 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 3 0 0 0
[pid=27282/tid=27296] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27296/stat : 27296 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 20 0 9 0 625641744 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27299] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27299/stat : 27299 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 19 0 9 0 625641748 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 5 0 0 0
[pid=27282/tid=27302] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27302/stat : 27302 (python) S 27280 27282 26594 0 -1 4202560 83 935 0 0 0 0 0 0 19 0 9 0 625641751 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27305] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27305/stat : 27305 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641755 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 7 0 0 0
[pid=27282/tid=27308] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27308/stat : 27308 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 9 0 625641758 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 2 0 0 0
[pid=27282/tid=27311] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27311/stat : 27311 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641762 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 133.62
Current children cumulated vsize (KiB) 6229656
[startup+46.7014 s]
/proc/loadavg: 5.38 7.61 8.08 9/242 27312
/proc/meminfo: memFree=20204096/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=647008 CPUtime=33.6 cores=0-7
/proc/27282/stat : 27282 (python) S 27280 27282 26594 0 -1 4202496 107853 935 1 0 3329 31 0 0 19 0 9 0 625638374 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27282/statm: 161752 62445 1889 364 0 97649 0
[pid=27289] ppid=27282 vsize=499436 CPUtime=0.01 cores=0-7
/proc/27289/stat : 27289 (python) S 27282 27282 26594 0 -1 4202560 916 0 0 0 0 1 0 0 18 0 1 0 625641737 511422464 60787 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510543 0 0 16781312 514 11703307319163977988 0 0 17 1 0 0 0
/proc/27289/statm: 124859 60787 376 364 0 60777 0
[pid=27291] ppid=27289 vsize=60768 CPUtime=13.05 cores=0-7
/proc/27291/stat : 27291 (lingeling) R 27289 27291 27291 0 -1 4202496 40120 0 0 0 1299 6 0 0 25 0 1 0 625641737 62226432 14355 33554432000 4194304 4352236 140735346052928 18446744073709551615 4328359 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/27291/statm: 15192 14355 129 39 0 14272 0
[pid=27292] ppid=27282 vsize=509692 CPUtime=0.02 cores=0-7
/proc/27292/stat : 27292 (python) S 27282 27282 26594 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 625641740 521924608 60785 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977985 0 0 17 3 0 0 0
/proc/27292/statm: 127423 60785 370 364 0 63338 0
[pid=27294] ppid=27292 vsize=215012 CPUtime=13 cores=0-7
/proc/27294/stat : 27294 (cryptominisat-2) R 27292 27294 27294 0 -1 4202496 42155 0 0 0 1294 6 0 0 25 0 1 0 625641741 220172288 41644 33554432000 4194304 4677096 140735305175008 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27294/statm: 53753 41644 378 118 0 48712 0
[pid=27295] ppid=27282 vsize=519948 CPUtime=0.02 cores=0-7
/proc/27295/stat : 27295 (python) S 27282 27282 26594 0 -1 4202560 909 0 0 0 1 1 0 0 18 0 1 0 625641744 532426752 60789 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977985 0 0 17 1 0 0 0
/proc/27295/statm: 129987 60789 370 364 0 65899 0
[pid=27297] ppid=27295 vsize=60044 CPUtime=12.98 cores=0-7
/proc/27297/stat : 27297 (lingeling) R 27295 27297 27297 0 -1 4202496 39933 0 0 0 1292 6 0 0 25 0 1 0 625641744 61485056 14175 33554432000 4194304 4352236 140733322249840 18446744073709551615 4235910 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/27297/statm: 15011 14175 129 39 0 14091 0
[pid=27298] ppid=27282 vsize=530204 CPUtime=0.02 cores=0-7
/proc/27298/stat : 27298 (python) S 27282 27282 26594 0 -1 4202560 917 0 0 0 1 1 0 0 18 0 1 0 625641747 542928896 60793 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977988 0 0 17 1 0 0 0
/proc/27298/statm: 132551 60793 370 364 0 68460 0
[pid=27300] ppid=27298 vsize=59236 CPUtime=12.94 cores=0-7
/proc/27300/stat : 27300 (lingeling) R 27298 27300 27300 0 -1 4202496 27414 0 0 0 1290 4 0 0 25 0 1 0 625641748 60657664 13973 33554432000 4194304 4352236 140737451563648 18446744073709551615 4247618 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/27300/statm: 14809 13973 129 39 0 13889 0
[pid=27301] ppid=27282 vsize=605996 CPUtime=0.01 cores=0-7
/proc/27301/stat : 27301 (python) S 27282 27282 26594 0 -1 4202560 803 0 0 0 0 1 0 0 18 0 1 0 625641751 620539904 60915 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977988 0 0 17 1 0 0 0
/proc/27301/statm: 151499 60915 371 364 0 87405 0
[pid=27303] ppid=27301 vsize=73332 CPUtime=12.9 cores=0-7
/proc/27303/stat : 27303 (SApperloT-base) R 27301 27303 27303 0 -1 4202496 16954 0 0 0 1286 4 0 0 25 0 1 0 625641752 75091968 16663 33554432000 134512640 135674940 4292167856 18446744073709551615 134564250 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27303/statm: 18333 16663 99 284 0 18047 0
[pid=27304] ppid=27282 vsize=616252 CPUtime=0.02 cores=0-7
/proc/27304/stat : 27304 (python) S 27282 27282 26594 0 -1 4202560 816 0 0 0 1 1 0 0 15 0 1 0 625641754 631042048 60915 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977986 0 0 17 1 0 0 0
/proc/27304/statm: 154063 60915 371 364 0 89966 0
[pid=27306] ppid=27304 vsize=215008 CPUtime=12.76 cores=0-7
/proc/27306/stat : 27306 (cryptominisat-2) R 27304 27306 27306 0 -1 4202496 42149 0 0 0 1270 6 0 0 25 0 1 0 625641755 220168192 41643 33554432000 4194304 4677096 140733999631024 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/27306/statm: 53752 41643 378 118 0 48711 0
[pid=27307] ppid=27282 vsize=626508 CPUtime=0.02 cores=0-7
/proc/27307/stat : 27307 (python) S 27282 27282 26594 0 -1 4202560 829 0 0 0 1 1 0 0 18 0 1 0 625641758 641544192 60919 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977986 0 0 17 1 0 0 0
/proc/27307/statm: 156627 60919 371 364 0 92527 0
[pid=27309] ppid=27307 vsize=129048 CPUtime=12.81 cores=0-7
/proc/27309/stat : 27309 (precosat) R 27307 27309 27309 0 -1 4202496 40363 0 0 0 1275 6 0 0 25 0 1 0 625641760 132145152 31518 33554432000 4194304 4890832 140735121188448 18446744073709551615 4246440 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/27309/statm: 32262 31518 86 171 0 32089 0
[pid=27310] ppid=27282 vsize=636764 CPUtime=0.02 cores=0-7
/proc/27310/stat : 27310 (python) S 27282 27282 26594 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 625641761 652046336 60929 33554432000 4194304 5683644 140736201177808 18446744073709551615 231895510598 0 0 16781312 514 11703307319163977985 0 0 17 1 0 0 0
/proc/27310/statm: 159191 60929 377 364 0 95088 0
[pid=27312] ppid=27310 vsize=215008 CPUtime=12.63 cores=0-7
/proc/27312/stat : 27312 (cryptominisat-2) R 27310 27312 27312 0 -1 4202496 42156 0 0 0 1256 7 0 0 25 0 1 0 625641762 220168192 41643 33554432000 4194304 4677096 140735313952960 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/27312/statm: 53752 41643 378 118 0 48711 0
[pid=27282/tid=27290] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27290/stat : 27290 (python) S 27280 27282 26594 0 -1 4202560 27 935 0 0 0 0 0 0 25 0 9 0 625641737 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27293] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27293/stat : 27293 (python) S 27280 27282 26594 0 -1 4202560 23 935 0 0 0 0 0 0 17 0 9 0 625641741 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 3 0 0 0
[pid=27282/tid=27296] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27296/stat : 27296 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 20 0 9 0 625641744 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27299] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27299/stat : 27299 (python) S 27280 27282 26594 0 -1 4202560 20 935 0 0 0 0 0 0 19 0 9 0 625641748 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 5 0 0 0
[pid=27282/tid=27302] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27302/stat : 27302 (python) S 27280 27282 26594 0 -1 4202560 83 935 0 0 0 0 0 0 19 0 9 0 625641751 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 0 0 0 0
[pid=27282/tid=27305] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27305/stat : 27305 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641755 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 7 0 0 0
[pid=27282/tid=27308] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27308/stat : 27308 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 9 0 625641758 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 2 0 0 0
[pid=27282/tid=27311] ppid=27280 vsize=647008 CPUtime=0 cores=0-7
/proc/27282/task/27311/stat : 27311 (python) S 27280 27282 26594 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 625641762 662536192 62445 33554432000 4194304 5683644 140736201177808 18446744073709551615 231907314097 0 0 16781312 2 18446604453885412544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 136.81
Current children cumulated vsize (KiB) 6219264
[startup+47.1014 s]
/proc/loadavg: 5.38 7.61 8.08 9/242 27312
/proc/meminfo: memFree=20204096/32950928 swapFree=67111356/67111528
[pid=27282] ppid=27280 vsize=595680 CPUtime=139.48 cores=0-7
/proc/27282/stat : 27282 (python) R 27280 27282 26594 0 -1 4202496 135796 300474 1 0 3332 34 10509 73 17 0 1 0 625638374 609976320 62399 33554432000 4194304 5683644 140736201177808 18446744073709551615 4619677 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/27282/statm: 148920 62399 1874 364 0 84844 0
Current children cumulated CPU time (s) 139.48
Current children cumulated vsize (KiB) 595680
Child status: 0
Real time (s): 47.1187
CPU time (s): 139.522
CPU user time (s): 138.428
CPU system time (s): 1.09383
CPU usage (%): 296.107
Max. virtual memory (cumulated for all children) (KiB): 6307324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.428
system time used= 1.09383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436887
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= 3248
involuntary context switches= 728
runsolver used 0.115982 second user time and 0.213967 second system time
The end
Begin job on node114 at 2011-05-02 18:34:37
IDJOB=3322537
IDBENCH=83450
IDSOLVER=1710
FILE ID=node114/3322537-1304354076
RUNJOBID= node114-1304348279-26608
PBS_JOBID= 13178665
Free space on /tmp= 73684 MiB
SOLVER NAME= borg-sat 11.03.02-industrial
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322537-1304354076/watcher-3322537-1304354076 -o /tmp/evaluation-result-3322537-1304354076/solver-3322537-1304354076 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3322537-1304354076.cnf -seed 11171783 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=11171783
node114.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.848
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.69
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.848
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 : 5226.15
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.848
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.848
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.73
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 21346404 kB
Buffers: 1151636 kB
Cached: 2522436 kB
SwapCached: 168 kB
Active: 7828504 kB
Inactive: 3239768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 21346404 kB
SwapTotal: 67111528 kB
SwapFree: 67111356 kB
Dirty: 53300 kB
Writeback: 0 kB
AnonPages: 7394088 kB
Mapped: 21796 kB
Slab: 448704 kB
PageTables: 21412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 8347480 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= 73652 MiB
End job on node114 at 2011-05-02 18:35:24