Trace number 3381136

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-par-industrial (fixed)SAT 32.3861 10.7756

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.12283
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

0.37/0.64	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.37/0.64	c INFO: solving HOME/instance-3381136-1305505592.cnf
0.37/0.64	c INFO: computing task features
1.06/1.37	c INFO: computed variable-clause graph statistics
1.06/1.40	c INFO: computed clause balance statistics
5.16/5.48	c INFO: computed variable balance statistics
6.96/7.27	c INFO: computed small-clause counts
6.96/7.28	c INFO: computed Horn-clause counts
7.16/7.49	c INFO: computed variable graph statistics
7.16/7.49	c INFO: collected features for HOME/instance-3381136-1305505592.cnf in 6.82 s
7.25/7.51	c INFO: running lingeling-276@0 for 97 with 4993 remaining (b = 0.25)
7.25/7.54	c INFO: running cryptominisat-2.9.0@0 for 485 with 4993 remaining (b = 0.29)
7.25/7.56	c INFO: running lingeling-276@0 for 582 with 4993 remaining (b = 0.34)
7.25/7.59	c INFO: running lingeling-276@0 for 1261 with 4993 remaining (b = 0.40)
7.25/7.61	c INFO: running SApperloT@0 for 97 with 4993 remaining (b = 0.03)
7.49/7.64	c INFO: running precosat-570@0 for 291 with 4993 remaining (b = 0.13)
7.49/7.67	c INFO: running cryptominisat-2.9.0@0 for 485 with 4992 remaining (b = 0.17)
7.49/7.70	c INFO: running cryptominisat-2.9.0@0 for 1649 with 4992 remaining (b = 0.40)
31.99/10.74	s SATISFIABLE
31.99/10.74	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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3381136-1305505592/watcher-3381136-1305505592 -o /tmp/evaluation-result-3381136-1305505592/solver-3381136-1305505592 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381136-1305505592.cnf -seed 502677502 -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: 6.34 7.29 7.73 1/429 1064
/proc/meminfo: memFree=16586528/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=15080 CPUtime=0 cores=0-7
/proc/1064/stat : 1064 (python) S 1062 1064 550 0 -1 4202496 616 0 0 0 0 0 0 0 18 0 1 0 662157200 15441920 513 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1064/statm: 3770 513 300 364 0 257 0

[startup+0.087039 s]
/proc/loadavg: 6.34 7.29 7.73 1/429 1064
/proc/meminfo: memFree=16586528/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=54544 CPUtime=0.05 cores=0-7
/proc/1064/stat : 1064 (python) R 1062 1064 550 0 -1 4202496 2071 0 0 0 4 1 0 0 17 0 1 0 662157200 55853056 1829 33554432000 4194304 5683644 140736640658064 18446744073709551615 5114227 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1064/statm: 13635 1828 492 364 0 1285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54544

[startup+0.101043 s]
/proc/loadavg: 6.34 7.29 7.73 1/429 1064
/proc/meminfo: memFree=16586528/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=89772 CPUtime=0.05 cores=0-7
/proc/1064/stat : 1064 (python) R 1062 1064 550 0 -1 4202496 2656 0 0 0 4 1 0 0 17 0 1 0 662157200 91926528 2372 33554432000 4194304 5683644 140736640658064 18446744073709551615 4406912 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1064/statm: 22443 2388 750 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 89772

[startup+0.301041 s]
/proc/loadavg: 6.34 7.29 7.73 1/429 1064
/proc/meminfo: memFree=16586528/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=135752 CPUtime=0.18 cores=0-7
/proc/1064/stat : 1064 (python) R 1062 1064 550 0 -1 4202496 5963 931 1 0 14 4 0 0 17 0 1 0 662157200 139010048 4150 33554432000 4194304 5683644 140736640658064 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1064/statm: 33938 4150 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.700936 s]
/proc/loadavg: 6.34 7.29 7.73 1/429 1064
/proc/meminfo: memFree=16586528/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=284292 CPUtime=0.46 cores=0-7
/proc/1064/stat : 1064 (python) R 1062 1064 550 0 -1 4202496 10825 931 1 0 35 11 0 0 16 0 1 0 662157200 291115008 8392 33554432000 4194304 5683644 140736640658064 18446744073709551615 228243709680 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1064/statm: 71073 8392 1761 364 0 6997 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 284292

[startup+1.5008 s]
/proc/loadavg: 6.34 7.29 7.73 2/430 1069
/proc/meminfo: memFree=16538904/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=325268 CPUtime=1.26 cores=0-7
/proc/1064/stat : 1064 (python) R 1062 1064 550 0 -1 4202496 27149 931 1 0 113 13 0 0 17 0 1 0 662157200 333074432 18701 33554432000 4194304 5683644 140736640658064 18446744073709551615 4303041 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1064/statm: 81317 18701 1826 364 0 17241 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 325268

[startup+3.10053 s]
/proc/loadavg: 6.34 7.29 7.73 2/430 1069
/proc/meminfo: memFree=16516340/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=325268 CPUtime=2.86 cores=0-7
/proc/1064/stat : 1064 (python) R 1062 1064 550 0 -1 4202496 27149 931 1 0 273 13 0 0 20 0 1 0 662157200 333074432 18701 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244035264 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1064/statm: 81317 18701 1826 364 0 17241 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 325268

[startup+6.30096 s]
/proc/loadavg: 5.91 7.19 7.69 2/430 1069
/proc/meminfo: memFree=16516836/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=325268 CPUtime=6.06 cores=0-7
/proc/1064/stat : 1064 (python) R 1062 1064 550 0 -1 4202496 27150 931 1 0 593 13 0 0 25 0 1 0 662157200 333074432 18702 33554432000 4194304 5683644 140736640658064 18446744073709551615 47109462471733 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1064/statm: 81317 18702 1827 364 0 17241 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 325268

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

[startup+7.90064 s]
/proc/loadavg: 5.91 7.19 7.69 6/442 1081
/proc/meminfo: memFree=16483648/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=469208 CPUtime=7.45 cores=0-7
/proc/1064/stat : 1064 (python) S 1062 1064 550 0 -1 4202496 32462 931 1 0 730 15 0 0 21 0 9 0 662157200 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1064/statm: 117302 18004 1889 364 0 53199 0
[pid=1070] ppid=1064 vsize=321636 CPUtime=0 cores=0-7
/proc/1070/stat : 1070 (python) S 1064 1064 550 0 -1 4202560 785 0 0 0 0 0 0 0 25 0 1 0 662157951 329355264 16312 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368911 0 0 16781312 514 10593104594370297855 0 0 17 1 0 0 0
/proc/1070/statm: 80409 16312 351 364 0 16327 0
[pid=1072] ppid=1070 vsize=16728 CPUtime=0.37 cores=0-7
/proc/1072/stat : 1072 (lingeling) R 1070 1072 1072 0 -1 4202496 3983 0 0 0 37 0 0 0 25 0 1 0 662157952 17129472 3362 33554432000 4194304 4352236 140734755454784 18446744073709551615 4235656 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/1072/statm: 4182 3362 113 39 0 3262 0
[pid=1073] ppid=1064 vsize=331892 CPUtime=0 cores=0-7
/proc/1073/stat : 1073 (python) S 1064 1064 550 0 -1 4202560 746 0 0 0 0 0 0 0 17 0 1 0 662157954 339857408 16312 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 93089056748962051 0 0 17 1 0 0 0
/proc/1073/statm: 82973 16312 347 364 0 18888 0
[pid=1075] ppid=1073 vsize=43124 CPUtime=0.35 cores=0-7
/proc/1075/stat : 1075 (cryptominisat-2) R 1073 1075 1075 0 -1 4202496 5257 0 0 0 34 1 0 0 21 0 1 0 662157954 44158976 4913 33554432000 4194304 4677096 140734408818032 18446744073709551615 4320052 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1075/statm: 10781 4913 361 118 0 5740 0
[pid=1076] ppid=1064 vsize=407684 CPUtime=0 cores=0-7
/proc/1076/stat : 1076 (python) S 1064 1064 550 0 -1 4202560 696 0 0 0 0 0 0 0 20 0 1 0 662157956 417468416 16430 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 3838030333878468607 0 0 17 1 0 0 0
/proc/1076/statm: 101921 16430 344 364 0 37833 0
[pid=1078] ppid=1076 vsize=16728 CPUtime=0.32 cores=0-7
/proc/1078/stat : 1078 (lingeling) R 1076 1078 1078 0 -1 4202496 3969 0 0 0 31 1 0 0 22 0 1 0 662157957 17129472 3361 33554432000 4194304 4352236 140733897724768 18446744073709551615 4234513 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/1078/statm: 4182 3361 113 39 0 3262 0
[pid=1079] ppid=1064 vsize=417940 CPUtime=0 cores=0-7
/proc/1079/stat : 1079 (python) S 1064 1064 550 0 -1 4202560 707 0 0 0 0 0 0 0 20 0 1 0 662157959 427970560 16424 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 18274732080908730367 0 0 17 1 0 0 0
/proc/1079/statm: 104485 16424 344 364 0 40394 0
[pid=1081] ppid=1079 vsize=16728 CPUtime=0.3 cores=0-7
/proc/1081/stat : 1081 (lingeling) R 1079 1081 1081 0 -1 4202496 3972 0 0 0 29 1 0 0 22 0 1 0 662157959 17129472 3361 33554432000 4194304 4352236 140737304229024 18446744073709551615 4207597 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/1081/statm: 4182 3361 112 39 0 3262 0
[pid=1064/tid=1071] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1071/stat : 1071 (python) S 1062 1064 550 0 -1 4202560 23 931 0 0 0 0 0 0 25 0 9 0 662157952 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 4 0 0 0
[pid=1064/tid=1074] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1074/stat : 1074 (python) S 1062 1064 550 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 9 0 662157954 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 3 0 0 0
[pid=1064/tid=1077] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1077/stat : 1077 (python) S 1062 1064 550 0 -1 4202560 81 931 0 0 0 0 0 0 20 0 9 0 662157957 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1080] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1080/stat : 1080 (python) S 1062 1064 550 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 9 0 662157959 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 2041668

[startup+9.50136 s]
/proc/loadavg: 6.08 7.20 7.69 9/454 1093
/proc/meminfo: memFree=16275976/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=469208 CPUtime=7.45 cores=0-7
/proc/1064/stat : 1064 (python) S 1062 1064 550 0 -1 4202496 32462 931 1 0 730 15 0 0 21 0 9 0 662157200 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1064/statm: 117302 18004 1889 364 0 53199 0
[pid=1070] ppid=1064 vsize=321636 CPUtime=0 cores=0-7
/proc/1070/stat : 1070 (python) S 1064 1064 550 0 -1 4202560 810 0 0 0 0 0 0 0 18 0 1 0 662157951 329355264 16319 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368911 0 0 16781312 514 10593104594370297855 0 0 17 1 0 0 0
/proc/1070/statm: 80409 16319 358 364 0 16327 0
[pid=1072] ppid=1070 vsize=19664 CPUtime=1.97 cores=0-7
/proc/1072/stat : 1072 (lingeling) R 1070 1072 1072 0 -1 4202496 5129 0 0 0 197 0 0 0 25 0 1 0 662157952 20135936 4112 33554432000 4194304 4352236 140734755454784 18446744073709551615 4207874 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/1072/statm: 4916 4112 129 39 0 3996 0
[pid=1073] ppid=1064 vsize=331892 CPUtime=0 cores=0-7
/proc/1073/stat : 1073 (python) S 1064 1064 550 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 662157954 339857408 16312 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 93089056748962051 0 0 17 1 0 0 0
/proc/1073/statm: 82973 16312 347 364 0 18888 0
[pid=1075] ppid=1073 vsize=67372 CPUtime=1.95 cores=0-7
/proc/1075/stat : 1075 (cryptominisat-2) R 1073 1075 1075 0 -1 4202496 12600 0 0 0 193 2 0 0 25 0 1 0 662157954 68988928 10772 33554432000 4194304 4677096 140734408818032 18446744073709551615 4335888 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1075/statm: 16843 10772 387 118 0 11802 0
[pid=1076] ppid=1064 vsize=407684 CPUtime=0 cores=0-7
/proc/1076/stat : 1076 (python) S 1064 1064 550 0 -1 4202560 712 0 0 0 0 0 0 0 18 0 1 0 662157956 417468416 16434 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 3838030333878468607 0 0 17 1 0 0 0
/proc/1076/statm: 101921 16434 348 364 0 37833 0
[pid=1078] ppid=1076 vsize=19664 CPUtime=1.92 cores=0-7
/proc/1078/stat : 1078 (lingeling) R 1076 1078 1078 0 -1 4202496 5083 0 0 0 191 1 0 0 25 0 1 0 662157957 20135936 4079 33554432000 4194304 4352236 140733897724768 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/1078/statm: 4916 4079 129 39 0 3996 0
[pid=1079] ppid=1064 vsize=417940 CPUtime=0 cores=0-7
/proc/1079/stat : 1079 (python) S 1064 1064 550 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 662157959 427970560 16428 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 18274732080908730367 0 0 17 1 0 0 0
/proc/1079/statm: 104485 16428 348 364 0 40394 0
[pid=1081] ppid=1079 vsize=19848 CPUtime=1.9 cores=0-7
/proc/1081/stat : 1081 (lingeling) R 1079 1081 1081 0 -1 4202496 5133 0 0 0 189 1 0 0 25 0 1 0 662157959 20324352 4126 33554432000 4194304 4352236 140737304229024 18446744073709551615 228244373399 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/1081/statm: 4962 4126 129 39 0 4042 0
[pid=1082] ppid=1064 vsize=428196 CPUtime=0 cores=0-7
/proc/1082/stat : 1082 (python) S 1064 1064 550 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 662157962 438472704 16447 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 4308115535217819647 0 0 17 0 0 0 0
/proc/1082/statm: 107049 16447 348 364 0 42955 0
[pid=1084] ppid=1082 vsize=18788 CPUtime=1.85 cores=0-7
/proc/1084/stat : 1084 (SApperloT-base) R 1082 1084 1084 0 -1 4202496 4611 0 0 0 185 0 0 0 25 0 1 0 662157962 19238912 4353 33554432000 134512640 135674940 4291690688 18446744073709551615 134565236 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/1084/statm: 4697 4353 99 284 0 4411 0
[pid=1085] ppid=1064 vsize=438452 CPUtime=0 cores=0-7
/proc/1085/stat : 1085 (python) S 1064 1064 550 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 662157964 448974848 16451 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 4308119383508516863 0 0 17 6 0 0 0
/proc/1085/statm: 109613 16451 348 364 0 45516 0
[pid=1087] ppid=1085 vsize=27860 CPUtime=1.84 cores=0-7
/proc/1087/stat : 1087 (precosat) R 1085 1087 1087 0 -1 4202496 7793 0 0 0 183 1 0 0 25 0 1 0 662157965 28528640 6758 33554432000 4194304 4890832 140736063546144 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/1087/statm: 6965 6758 86 171 0 6792 0
[pid=1088] ppid=1064 vsize=448708 CPUtime=0 cores=0-7
/proc/1088/stat : 1088 (python) S 1064 1064 550 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 1 0 662157967 459476992 16455 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 7138038287909748996 0 0 17 1 0 0 0
/proc/1088/statm: 112177 16455 348 364 0 48077 0
[pid=1090] ppid=1088 vsize=67368 CPUtime=1.79 cores=0-7
/proc/1090/stat : 1090 (cryptominisat-2) R 1088 1090 1090 0 -1 4202496 12501 0 0 0 177 2 0 0 25 0 1 0 662157970 68984832 10680 33554432000 4194304 4677096 140733813289296 18446744073709551615 4319754 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1090/statm: 16842 10680 387 118 0 11801 0
[pid=1091] ppid=1064 vsize=458964 CPUtime=0 cores=0-7
/proc/1091/stat : 1091 (python) S 1064 1064 550 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 662157970 469979136 16465 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 7138029491816726787 0 0 17 1 0 0 0
/proc/1091/statm: 114741 16465 354 364 0 50638 0
[pid=1093] ppid=1091 vsize=67368 CPUtime=1.76 cores=0-7
/proc/1093/stat : 1093 (cryptominisat-2) R 1091 1093 1093 0 -1 4202496 12498 0 0 0 174 2 0 0 25 0 1 0 662157971 68984832 10668 33554432000 4194304 4677096 140733678484416 18446744073709551615 4319756 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1093/statm: 16842 10668 387 118 0 11801 0
[pid=1064/tid=1071] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1071/stat : 1071 (python) S 1062 1064 550 0 -1 4202560 23 931 0 0 0 0 0 0 25 0 9 0 662157952 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 4 0 0 0
[pid=1064/tid=1074] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1074/stat : 1074 (python) S 1062 1064 550 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 9 0 662157954 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 3 0 0 0
[pid=1064/tid=1077] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1077/stat : 1077 (python) S 1062 1064 550 0 -1 4202560 81 931 0 0 0 0 0 0 20 0 9 0 662157957 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1080] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1080/stat : 1080 (python) S 1062 1064 550 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 9 0 662157959 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 5 0 0 0
[pid=1064/tid=1083] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1083/stat : 1083 (python) S 1062 1064 550 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 9 0 662157962 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 1 0 0 0
[pid=1064/tid=1086] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1086/stat : 1086 (python) S 1062 1064 550 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 9 0 662157965 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1089] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1089/stat : 1089 (python) S 1062 1064 550 0 -1 4202560 34 931 0 0 0 0 0 0 21 0 9 0 662157967 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1092] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1092/stat : 1092 (python) S 1062 1064 550 0 -1 4202560 35 931 0 0 0 0 0 0 22 0 9 0 662157970 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.43
Current children cumulated vsize (KiB) 4030612

[startup+10.3012 s]
/proc/loadavg: 6.08 7.20 7.69 9/454 1093
/proc/meminfo: memFree=16271156/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=469208 CPUtime=7.45 cores=0-7
/proc/1064/stat : 1064 (python) S 1062 1064 550 0 -1 4202496 32462 931 1 0 730 15 0 0 21 0 9 0 662157200 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1064/statm: 117302 18004 1889 364 0 53199 0
[pid=1070] ppid=1064 vsize=321636 CPUtime=0 cores=0-7
/proc/1070/stat : 1070 (python) S 1064 1064 550 0 -1 4202560 810 0 0 0 0 0 0 0 18 0 1 0 662157951 329355264 16319 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368911 0 0 16781312 514 10593104594370265346 0 0 17 1 0 0 0
/proc/1070/statm: 80409 16319 358 364 0 16327 0
[pid=1072] ppid=1070 vsize=21072 CPUtime=2.77 cores=0-7
/proc/1072/stat : 1072 (lingeling) R 1070 1072 1072 0 -1 4202496 5449 0 0 0 277 0 0 0 25 0 1 0 662157952 21577728 4432 33554432000 4194304 4352236 140734755454784 18446744073709551615 4295420 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/1072/statm: 5268 4432 129 39 0 4348 0
[pid=1073] ppid=1064 vsize=331892 CPUtime=0 cores=0-7
/proc/1073/stat : 1073 (python) S 1064 1064 550 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 662157954 339857408 16312 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 93089056748962051 0 0 17 1 0 0 0
/proc/1073/statm: 82973 16312 347 364 0 18888 0
[pid=1075] ppid=1073 vsize=72572 CPUtime=2.74 cores=0-7
/proc/1075/stat : 1075 (cryptominisat-2) R 1073 1075 1075 0 -1 4202496 14169 0 0 0 272 2 0 0 25 0 1 0 662157954 74313728 10504 33554432000 4194304 4677096 140734408818032 18446744073709551615 228244045457 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1075/statm: 18143 10504 387 118 0 13102 0
[pid=1076] ppid=1064 vsize=407684 CPUtime=0 cores=0-7
/proc/1076/stat : 1076 (python) S 1064 1064 550 0 -1 4202560 712 0 0 0 0 0 0 0 18 0 1 0 662157956 417468416 16434 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 3838030333878436097 0 0 17 1 0 0 0
/proc/1076/statm: 101921 16434 348 364 0 37833 0
[pid=1078] ppid=1076 vsize=21136 CPUtime=2.72 cores=0-7
/proc/1078/stat : 1078 (lingeling) R 1076 1078 1078 0 -1 4202496 5451 0 0 0 271 1 0 0 25 0 1 0 662157957 21643264 4447 33554432000 4194304 4352236 140733897724768 18446744073709551615 4328026 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/1078/statm: 5284 4447 129 39 0 4364 0
[pid=1079] ppid=1064 vsize=417940 CPUtime=0 cores=0-7
/proc/1079/stat : 1079 (python) S 1064 1064 550 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 662157959 427970560 16428 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 18274732080908697857 0 0 17 1 0 0 0
/proc/1079/statm: 104485 16428 348 364 0 40394 0
[pid=1081] ppid=1079 vsize=20872 CPUtime=2.7 cores=0-7
/proc/1081/stat : 1081 (lingeling) R 1079 1081 1081 0 -1 4202496 5389 0 0 0 269 1 0 0 25 0 1 0 662157959 21372928 4382 33554432000 4194304 4352236 140737304229024 18446744073709551615 4295653 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/1081/statm: 5218 4382 129 39 0 4298 0
[pid=1082] ppid=1064 vsize=428196 CPUtime=0 cores=0-7
/proc/1082/stat : 1082 (python) S 1064 1064 550 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 662157962 438472704 16447 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 4308115535217787137 0 0 17 0 0 0 0
/proc/1082/statm: 107049 16447 348 364 0 42955 0
[pid=1084] ppid=1082 vsize=21296 CPUtime=2.64 cores=0-7
/proc/1084/stat : 1084 (SApperloT-base) R 1082 1084 1084 0 -1 4202496 5235 0 0 0 263 1 0 0 25 0 1 0 662157962 21807104 4977 33554432000 134512640 135674940 4291690688 18446744073709551615 134571318 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/1084/statm: 5324 4977 99 284 0 5038 0
[pid=1085] ppid=1064 vsize=438452 CPUtime=0 cores=0-7
/proc/1085/stat : 1085 (python) S 1064 1064 550 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 662157964 448974848 16451 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 4308119383508484355 0 0 17 6 0 0 0
/proc/1085/statm: 109613 16451 348 364 0 45516 0
[pid=1087] ppid=1085 vsize=27860 CPUtime=2.64 cores=0-7
/proc/1087/stat : 1087 (precosat) R 1085 1087 1087 0 -1 4202496 7873 0 0 0 263 1 0 0 25 0 1 0 662157965 28528640 6838 33554432000 4194304 4890832 140736063546144 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/1087/statm: 6965 6838 86 171 0 6792 0
[pid=1088] ppid=1064 vsize=448708 CPUtime=0 cores=0-7
/proc/1088/stat : 1088 (python) S 1064 1064 550 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 662157967 459476992 16455 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 12152181571108962564 0 0 17 1 0 0 0
/proc/1088/statm: 112177 16455 348 364 0 48077 0
[pid=1090] ppid=1088 vsize=67368 CPUtime=2.59 cores=0-7
/proc/1090/stat : 1090 (cryptominisat-2) R 1088 1090 1090 0 -1 4202496 12860 0 0 0 257 2 0 0 25 0 1 0 662157970 68984832 11039 33554432000 4194304 4677096 140733813289296 18446744073709551615 228244045457 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1090/statm: 16842 11039 387 118 0 11801 0
[pid=1091] ppid=1064 vsize=458964 CPUtime=0 cores=0-7
/proc/1091/stat : 1091 (python) S 1064 1064 550 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 662157970 469979136 16465 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 7138029491816726787 0 0 17 1 0 0 0
/proc/1091/statm: 114741 16465 354 364 0 50638 0
[pid=1093] ppid=1091 vsize=67368 CPUtime=2.56 cores=0-7
/proc/1093/stat : 1093 (cryptominisat-2) R 1091 1093 1093 0 -1 4202496 12844 0 0 0 254 2 0 0 25 0 1 0 662157971 68984832 11014 33554432000 4194304 4677096 140733678484416 18446744073709551615 4320248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1093/statm: 16842 11014 387 118 0 11801 0
[pid=1064/tid=1071] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1071/stat : 1071 (python) S 1062 1064 550 0 -1 4202560 23 931 0 0 0 0 0 0 25 0 9 0 662157952 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 4 0 0 0
[pid=1064/tid=1074] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1074/stat : 1074 (python) S 1062 1064 550 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 9 0 662157954 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 3 0 0 0
[pid=1064/tid=1077] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1077/stat : 1077 (python) S 1062 1064 550 0 -1 4202560 81 931 0 0 0 0 0 0 20 0 9 0 662157957 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1080] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1080/stat : 1080 (python) S 1062 1064 550 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 9 0 662157959 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 5 0 0 0
[pid=1064/tid=1083] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1083/stat : 1083 (python) S 1062 1064 550 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 9 0 662157962 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 1 0 0 0
[pid=1064/tid=1086] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1086/stat : 1086 (python) S 1062 1064 550 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 9 0 662157965 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1089] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1089/stat : 1089 (python) S 1062 1064 550 0 -1 4202560 34 931 0 0 0 0 0 0 21 0 9 0 662157967 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1092] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1092/stat : 1092 (python) S 1062 1064 550 0 -1 4202560 35 931 0 0 0 0 0 0 22 0 9 0 662157970 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 28.81
Current children cumulated vsize (KiB) 4042224

[startup+10.7011 s]
/proc/loadavg: 6.08 7.20 7.69 9/454 1093
/proc/meminfo: memFree=16271156/32951124 swapFree=67082160/67111528
[pid=1064] ppid=1062 vsize=469208 CPUtime=7.45 cores=0-7
/proc/1064/stat : 1064 (python) S 1062 1064 550 0 -1 4202496 32462 931 1 0 730 15 0 0 21 0 9 0 662157200 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1064/statm: 117302 18004 1889 364 0 53199 0
[pid=1070] ppid=1064 vsize=321636 CPUtime=0 cores=0-7
/proc/1070/stat : 1070 (python) S 1064 1064 550 0 -1 4202560 810 0 0 0 0 0 0 0 18 0 1 0 662157951 329355264 16319 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368911 0 0 16781312 514 10593104594370265346 0 0 17 1 0 0 0
/proc/1070/statm: 80409 16319 358 364 0 16327 0
[pid=1072] ppid=1070 vsize=19244 CPUtime=3.17 cores=0-7
/proc/1072/stat : 1072 (lingeling) R 1070 1072 1072 0 -1 4202496 5723 0 0 0 317 0 0 0 25 0 1 0 662157952 19705856 3975 33554432000 4194304 4352236 140734755454784 18446744073709551615 4328385 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/1072/statm: 4811 3975 129 39 0 3891 0
[pid=1073] ppid=1064 vsize=331892 CPUtime=0 cores=0-7
/proc/1073/stat : 1073 (python) S 1064 1064 550 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 662157954 339857408 16312 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 93089056748962051 0 0 17 1 0 0 0
/proc/1073/statm: 82973 16312 347 364 0 18888 0
[pid=1075] ppid=1073 vsize=72572 CPUtime=3.14 cores=0-7
/proc/1075/stat : 1075 (cryptominisat-2) R 1073 1075 1075 0 -1 4202496 14364 0 0 0 312 2 0 0 25 0 1 0 662157954 74313728 10699 33554432000 4194304 4677096 140734408818032 18446744073709551615 4320002 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1075/statm: 18143 10699 388 118 0 13102 0
[pid=1076] ppid=1064 vsize=407684 CPUtime=0 cores=0-7
/proc/1076/stat : 1076 (python) S 1064 1064 550 0 -1 4202560 712 0 0 0 0 0 0 0 18 0 1 0 662157956 417468416 16434 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 3838030333878436097 0 0 17 1 0 0 0
/proc/1076/statm: 101921 16434 348 364 0 37833 0
[pid=1078] ppid=1076 vsize=19312 CPUtime=3.12 cores=0-7
/proc/1078/stat : 1078 (lingeling) R 1076 1078 1078 0 -1 4202496 5726 0 0 0 311 1 0 0 25 0 1 0 662157957 19775488 3991 33554432000 4194304 4352236 140733897724768 18446744073709551615 4207807 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/1078/statm: 4828 3991 129 39 0 3908 0
[pid=1079] ppid=1064 vsize=417940 CPUtime=0 cores=0-7
/proc/1079/stat : 1079 (python) S 1064 1064 550 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 662157959 427970560 16428 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 18274732080908697857 0 0 17 1 0 0 0
/proc/1079/statm: 104485 16428 348 364 0 40394 0
[pid=1081] ppid=1079 vsize=18920 CPUtime=3.1 cores=0-7
/proc/1081/stat : 1081 (lingeling) R 1079 1081 1081 0 -1 4202496 5631 0 0 0 309 1 0 0 25 0 1 0 662157959 19374080 3894 33554432000 4194304 4352236 140737304229024 18446744073709551615 4329060 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/1081/statm: 4730 3894 129 39 0 3810 0
[pid=1082] ppid=1064 vsize=428196 CPUtime=0 cores=0-7
/proc/1082/stat : 1082 (python) S 1064 1064 550 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 662157962 438472704 16447 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 4308115535217787137 0 0 17 0 0 0 0
/proc/1082/statm: 107049 16447 348 364 0 42955 0
[pid=1084] ppid=1082 vsize=22352 CPUtime=3.03 cores=0-7
/proc/1084/stat : 1084 (SApperloT-base) R 1082 1084 1084 0 -1 4202496 5497 0 0 0 302 1 0 0 25 0 1 0 662157962 22888448 5239 33554432000 134512640 135674940 4291690688 18446744073709551615 134564267 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/1084/statm: 5588 5239 99 284 0 5302 0
[pid=1085] ppid=1064 vsize=438452 CPUtime=0 cores=0-7
/proc/1085/stat : 1085 (python) S 1064 1064 550 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 662157964 448974848 16451 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 4308119383508484355 0 0 17 6 0 0 0
/proc/1085/statm: 109613 16451 348 364 0 45516 0
[pid=1087] ppid=1085 vsize=27860 CPUtime=3.04 cores=0-7
/proc/1087/stat : 1087 (precosat) R 1085 1087 1087 0 -1 4202496 7874 0 0 0 303 1 0 0 25 0 1 0 662157965 28528640 6839 33554432000 4194304 4890832 140736063546144 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/1087/statm: 6965 6839 86 171 0 6792 0
[pid=1088] ppid=1064 vsize=448708 CPUtime=0 cores=0-7
/proc/1088/stat : 1088 (python) S 1064 1064 550 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 662157967 459476992 16455 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 7138038287909748996 0 0 17 1 0 0 0
/proc/1088/statm: 112177 16455 348 364 0 48077 0
[pid=1090] ppid=1088 vsize=72616 CPUtime=2.99 cores=0-7
/proc/1090/stat : 1090 (cryptominisat-2) R 1088 1090 1090 0 -1 4202496 14230 0 0 0 297 2 0 0 25 0 1 0 662157970 74358784 10540 33554432000 4194304 4677096 140733813289296 18446744073709551615 4318914 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1090/statm: 18154 10540 387 118 0 13113 0
[pid=1091] ppid=1064 vsize=458964 CPUtime=0 cores=0-7
/proc/1091/stat : 1091 (python) S 1064 1064 550 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 662157970 469979136 16465 33554432000 4194304 5683644 140736640658064 18446744073709551615 228244368966 0 0 16781312 514 7138029491816726787 0 0 17 1 0 0 0
/proc/1091/statm: 114741 16465 354 364 0 50638 0
[pid=1093] ppid=1091 vsize=72584 CPUtime=2.95 cores=0-7
/proc/1093/stat : 1093 (cryptominisat-2) R 1091 1093 1093 0 -1 4202496 14200 0 0 0 293 2 0 0 25 0 1 0 662157971 74326016 10499 33554432000 4194304 4677096 140733678484416 18446744073709551615 4340173 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1093/statm: 18146 10499 387 118 0 13105 0
[pid=1064/tid=1071] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1071/stat : 1071 (python) S 1062 1064 550 0 -1 4202560 23 931 0 0 0 0 0 0 25 0 9 0 662157952 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 4 0 0 0
[pid=1064/tid=1074] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1074/stat : 1074 (python) S 1062 1064 550 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 9 0 662157954 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 3 0 0 0
[pid=1064/tid=1077] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1077/stat : 1077 (python) S 1062 1064 550 0 -1 4202560 81 931 0 0 0 0 0 0 20 0 9 0 662157957 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1080] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1080/stat : 1080 (python) S 1062 1064 550 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 9 0 662157959 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 5 0 0 0
[pid=1064/tid=1083] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1083/stat : 1083 (python) S 1062 1064 550 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 9 0 662157962 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 1 0 0 0
[pid=1064/tid=1086] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1086/stat : 1086 (python) S 1062 1064 550 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 9 0 662157965 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1089] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1089/stat : 1089 (python) S 1062 1064 550 0 -1 4202560 34 931 0 0 0 0 0 0 21 0 9 0 662157967 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 0 0 0 0
[pid=1064/tid=1092] ppid=1062 vsize=469208 CPUtime=0 cores=0-7
/proc/1064/task/1092/stat : 1092 (python) S 1062 1064 550 0 -1 4202560 35 931 0 0 0 0 0 0 22 0 9 0 662157970 480468992 18004 33554432000 4194304 5683644 140736640658064 18446744073709551615 228256172465 0 0 16781312 2 18446604440603818752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 4048140

Child status: 0
Real time (s): 10.7756
CPU time (s): 32.3861
CPU user time (s): 32.0231
CPU system time (s): 0.362944
CPU usage (%): 300.549
Max. virtual memory (cumulated for all children) (KiB): 4051408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.0231
system time used= 0.362944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122910
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= 2900
involuntary context switches= 243

runsolver used 0.045993 second user time and 0.105983 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-16 02:26:32
IDJOB=3381136
IDBENCH=83445
IDSOLVER=1864
FILE ID=node136/3381136-1305505592
RUNJOBID= node136-1305500476-564
PBS_JOBID= 13325459
Free space on /tmp= 72996 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.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-3381136-1305505592/watcher-3381136-1305505592 -o /tmp/evaluation-result-3381136-1305505592/solver-3381136-1305505592 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381136-1305505592.cnf -seed 502677502 -budget 40000 -cores 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=502677502

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16586808 kB
Buffers:        328152 kB
Cached:        5985696 kB
SwapCached:       2732 kB
Active:       11596460 kB
Inactive:      4402276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16586808 kB
SwapTotal:    67111528 kB
SwapFree:     67082160 kB
Dirty:           35484 kB
Writeback:          44 kB
AnonPages:     9683620 kB
Mapped:          35108 kB
Slab:           242332 kB
PageTables:      52076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 122406268 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= 72964 MiB
End job on node136 at 2011-05-16 02:26:43