Trace number 3291182

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
priss AutoSAT 2382.22 596.764

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3291182-1304063029/watcher-3291182-1304063029 -o /tmp/evaluation-result-3291182-1304063029/solver-3291182-1304063029 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3291182-1304063029.cnf 772195863 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 7.71 8.02 8.01 5/182 21673
/proc/meminfo: memFree=17190020/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0

[startup+0.072067 s]
/proc/loadavg: 7.71 8.02 8.01 5/182 21673
/proc/meminfo: memFree=17190020/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101056 s]
/proc/loadavg: 7.71 8.02 8.01 5/182 21673
/proc/meminfo: memFree=17190020/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301022 s]
/proc/loadavg: 7.71 8.02 8.01 5/182 21673
/proc/meminfo: memFree=17190020/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700884 s]
/proc/loadavg: 7.71 8.02 8.01 5/182 21673
/proc/meminfo: memFree=17190020/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50073 s]
/proc/loadavg: 7.71 8.02 8.01 9/188 21679
/proc/meminfo: memFree=16944204/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=348612 CPUtime=4.63 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 68150 0 0 0 451 12 0 0 18 0 5 0 596533653 356978688 63365 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 87153 63365 350 389 0 82903 0
[pid=21674/tid=21676] ppid=21673 vsize=348612 CPUtime=1.14 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 7131 0 0 0 113 1 0 0 19 0 5 0 596533688 356978688 63365 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=348612 CPUtime=1.04 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 6780 0 0 0 103 1 0 0 19 0 5 0 596533698 356978688 63365 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336833 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=348612 CPUtime=0.93 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 7276 0 0 0 92 1 0 0 19 0 5 0 596533709 356978688 63365 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336819 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=348612 CPUtime=0.82 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 5828 0 0 0 82 0 0 0 21 0 5 0 596533720 356978688 63365 33554432000 4194304 5787044 140734702601712 18446744073709551615 4390876 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 357312

[startup+3.10044 s]
/proc/loadavg: 7.74 8.02 8.01 9/188 21679
/proc/meminfo: memFree=16934664/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=351220 CPUtime=11.02 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 69222 0 0 0 1090 12 0 0 18 0 5 0 596533653 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 87805 63838 350 389 0 83555 0
[pid=21674/tid=21676] ppid=21673 vsize=351220 CPUtime=2.74 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 7131 0 0 0 273 1 0 0 23 0 5 0 596533688 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=351220 CPUtime=2.63 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 6780 0 0 0 262 1 0 0 22 0 5 0 596533698 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=351220 CPUtime=2.53 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 7276 0 0 0 252 1 0 0 22 0 5 0 596533709 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=351220 CPUtime=2.43 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 6900 0 0 0 242 1 0 0 25 0 5 0 596533720 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 359920

[startup+6.30083 s]
/proc/loadavg: 7.74 8.02 8.01 9/188 21679
/proc/meminfo: memFree=16934180/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=351220 CPUtime=23.8 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 69222 0 0 0 2368 12 0 0 18 0 5 0 596533653 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 87805 63838 350 389 0 83555 0
[pid=21674/tid=21676] ppid=21673 vsize=351220 CPUtime=5.94 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 7131 0 0 0 593 1 0 0 25 0 5 0 596533688 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=351220 CPUtime=5.81 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 6780 0 0 0 580 1 0 0 25 0 5 0 596533698 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=351220 CPUtime=5.73 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 7276 0 0 0 572 1 0 0 25 0 5 0 596533709 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=351220 CPUtime=5.63 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 6900 0 0 0 562 1 0 0 25 0 5 0 596533720 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.8
Current children cumulated vsize (KiB) 359920

[startup+12.7006 s]
/proc/loadavg: 7.78 8.02 8.01 9/188 21679
/proc/meminfo: memFree=16923036/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=351220 CPUtime=49.37 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 69222 0 0 0 4924 13 0 0 18 0 5 0 596533653 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 87805 63838 350 389 0 83555 0
[pid=21674/tid=21676] ppid=21673 vsize=351220 CPUtime=12.34 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 7131 0 0 0 1233 1 0 0 25 0 5 0 596533688 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=351220 CPUtime=12.17 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 6780 0 0 0 1216 1 0 0 25 0 5 0 596533698 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4337014 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=351220 CPUtime=12.13 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 7276 0 0 0 1212 1 0 0 25 0 5 0 596533709 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=351220 CPUtime=12.03 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 6900 0 0 0 1202 1 0 0 25 0 5 0 596533720 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 359920

[startup+25.5012 s]
/proc/loadavg: 7.81 8.02 8.01 9/188 21679
/proc/meminfo: memFree=16921296/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=351220 CPUtime=100.5 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 69222 0 0 0 10037 13 0 0 18 0 5 0 596533653 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 87805 63838 350 389 0 83555 0
[pid=21674/tid=21676] ppid=21673 vsize=351220 CPUtime=25.14 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 7131 0 0 0 2513 1 0 0 25 0 5 0 596533688 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=351220 CPUtime=24.9 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 6780 0 0 0 2489 1 0 0 25 0 5 0 596533698 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=351220 CPUtime=24.93 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 7276 0 0 0 2492 1 0 0 25 0 5 0 596533709 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=351220 CPUtime=24.83 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 6900 0 0 0 2482 1 0 0 25 0 5 0 596533720 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.5
Current children cumulated vsize (KiB) 359920

[startup+51.1004 s]
/proc/loadavg: 7.87 8.01 8.01 9/188 21680
/proc/meminfo: memFree=16916488/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=351220 CPUtime=202.76 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 69222 0 0 0 20263 13 0 0 18 0 5 0 596533653 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 87805 63838 350 389 0 83555 0
[pid=21674/tid=21676] ppid=21673 vsize=351220 CPUtime=50.74 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 7131 0 0 0 5073 1 0 0 25 0 5 0 596533688 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=351220 CPUtime=50.36 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 6780 0 0 0 5035 1 0 0 25 0 5 0 596533698 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=351220 CPUtime=50.53 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 7276 0 0 0 5052 1 0 0 25 0 5 0 596533709 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=351220 CPUtime=50.43 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 6900 0 0 0 5042 1 0 0 25 0 5 0 596533720 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.76
Current children cumulated vsize (KiB) 359920

[startup+102.307 s]
/proc/loadavg: 7.95 8.01 8.00 9/188 21681
/proc/meminfo: memFree=16905452/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=351220 CPUtime=407.3 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 69222 0 0 0 40717 13 0 0 18 0 5 0 596533653 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 87805 63838 350 389 0 83555 0
[pid=21674/tid=21676] ppid=21673 vsize=351220 CPUtime=101.95 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 7131 0 0 0 10194 1 0 0 25 0 5 0 596533688 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=351220 CPUtime=101.28 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 6780 0 0 0 10127 1 0 0 25 0 5 0 596533698 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=351220 CPUtime=101.74 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 7276 0 0 0 10173 1 0 0 25 0 5 0 596533709 359649280 63838 33554432000 4194304 5787044 140734702601712 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=351220 CPUtime=101.64 cores=1,3,5,7

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

[pid=21674/tid=21677] ppid=21673 vsize=617468 CPUtime=460.93 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 17510 0 0 0 46079 14 0 0 19 0 5 0 596533698 632287232 114324 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591596 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=617468 CPUtime=460.06 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 20505 0 0 0 45993 13 0 0 25 0 5 0 596533709 632287232 114324 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=617468 CPUtime=461.63 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 27985 0 0 0 46151 12 0 0 25 0 5 0 596533720 632287232 114324 33554432000 4194304 5787044 140734702601712 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1845.27
Current children cumulated vsize (KiB) 626168

[startup+522.301 s]
/proc/loadavg: 8.09 8.08 8.02 9/188 21693
/proc/meminfo: memFree=16193648/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=636976 CPUtime=2084.91 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 141409 0 0 0 208408 83 0 0 18 0 5 0 596533653 652263424 129810 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 159244 129810 419 389 0 154994 0
[pid=21674/tid=21676] ppid=21673 vsize=636976 CPUtime=521.94 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 23049 0 0 0 52173 21 0 0 25 0 5 0 596533688 652263424 129810 33554432000 4194304 5787044 140734702601712 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=636976 CPUtime=520.91 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 20904 0 0 0 52071 20 0 0 25 0 5 0 596533698 652263424 129810 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=636976 CPUtime=519.76 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 24096 0 0 0 51958 18 0 0 25 0 5 0 596533709 652263424 129810 33554432000 4194304 5787044 140734702601712 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=636976 CPUtime=521.63 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 32225 0 0 0 52146 17 0 0 25 0 5 0 596533720 652263424 129810 33554432000 4194304 5787044 140734702601712 18446744073709551615 4213816 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2084.91
Current children cumulated vsize (KiB) 645676

[startup+582.301 s]
/proc/loadavg: 8.07 8.07 8.02 9/188 21694
/proc/meminfo: memFree=16060940/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=743652 CPUtime=2324.56 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 159499 0 0 0 232351 105 0 0 18 0 5 0 596533653 761499648 147756 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 185913 147756 419 389 0 181663 0
[pid=21674/tid=21676] ppid=21673 vsize=743652 CPUtime=581.93 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 28238 0 0 0 58166 27 0 0 25 0 5 0 596533688 761499648 147756 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=743652 CPUtime=580.57 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 25434 0 0 0 58032 25 0 0 25 0 5 0 596533698 761499648 147756 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=743652 CPUtime=579.76 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 30938 0 0 0 57951 25 0 0 25 0 5 0 596533709 761499648 147756 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=743652 CPUtime=581.62 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 33754 0 0 0 58142 20 0 0 25 0 5 0 596533720 761499648 147756 33554432000 4194304 5787044 140734702601712 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2324.56
Current children cumulated vsize (KiB) 752352

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

[startup+588.701 s]
/proc/loadavg: 8.07 8.07 8.02 9/188 21694
/proc/meminfo: memFree=16053748/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=743788 CPUtime=2350.1 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 160060 0 0 0 234905 105 0 0 18 0 5 0 596533653 761638912 148220 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 185947 148220 419 389 0 181697 0
[pid=21674/tid=21676] ppid=21673 vsize=743788 CPUtime=588.29 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 28501 0 0 0 58802 27 0 0 25 0 5 0 596533688 761638912 148220 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=743788 CPUtime=586.96 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 25434 0 0 0 58671 25 0 0 25 0 5 0 596533698 761638912 148220 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=743788 CPUtime=586.16 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 31236 0 0 0 58591 25 0 0 25 0 5 0 596533709 761638912 148220 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=743788 CPUtime=588.02 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 33754 0 0 0 58782 20 0 0 25 0 5 0 596533720 761638912 148220 33554432000 4194304 5787044 140734702601712 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2350.1
Current children cumulated vsize (KiB) 752488

[startup+591.9 s]
/proc/loadavg: 8.06 8.07 8.02 9/188 21694
/proc/meminfo: memFree=16050028/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=743788 CPUtime=2362.89 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 160067 0 0 0 236183 106 0 0 18 0 5 0 596533653 761638912 148227 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 185947 148227 419 389 0 181697 0
[pid=21674/tid=21676] ppid=21673 vsize=743788 CPUtime=591.47 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 28501 0 0 0 59120 27 0 0 25 0 5 0 596533688 761638912 148227 33554432000 4194304 5787044 140734702601712 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=743788 CPUtime=590.16 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 25435 0 0 0 58991 25 0 0 25 0 5 0 596533698 761638912 148227 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=743788 CPUtime=589.36 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 31242 0 0 0 58911 25 0 0 25 0 5 0 596533709 761638912 148227 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=743788 CPUtime=591.22 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 33754 0 0 0 59102 20 0 0 25 0 5 0 596533720 761638912 148227 33554432000 4194304 5787044 140734702601712 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2362.89
Current children cumulated vsize (KiB) 752488

[startup+595.107 s]
/proc/loadavg: 8.06 8.07 8.02 9/188 21694
/proc/meminfo: memFree=16046432/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=743788 CPUtime=2375.7 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 160075 0 0 0 237464 106 0 0 18 0 5 0 596533653 761638912 148235 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 185947 148235 419 389 0 181697 0
[pid=21674/tid=21676] ppid=21673 vsize=743788 CPUtime=594.66 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 28502 0 0 0 59439 27 0 0 25 0 5 0 596533688 761638912 148235 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=743788 CPUtime=593.36 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 25435 0 0 0 59311 25 0 0 25 0 5 0 596533698 761638912 148235 33554432000 4194304 5787044 140734702601712 18446744073709551615 5590240 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=743788 CPUtime=592.56 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 31249 0 0 0 59231 25 0 0 25 0 5 0 596533709 761638912 148235 33554432000 4194304 5787044 140734702601712 18446744073709551615 5590861 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=743788 CPUtime=594.42 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 33754 0 0 0 59422 20 0 0 25 0 5 0 596533720 761638912 148235 33554432000 4194304 5787044 140734702601712 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2375.7
Current children cumulated vsize (KiB) 752488

[startup+595.901 s]
/proc/loadavg: 8.06 8.07 8.02 9/188 21694
/proc/meminfo: memFree=16046432/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=743788 CPUtime=2378.87 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 160076 0 0 0 237781 106 0 0 18 0 5 0 596533653 761638912 148236 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 185947 148236 419 389 0 181697 0
[pid=21674/tid=21676] ppid=21673 vsize=743788 CPUtime=595.45 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 28502 0 0 0 59518 27 0 0 25 0 5 0 596533688 761638912 148236 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=743788 CPUtime=594.16 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 25435 0 0 0 59391 25 0 0 25 0 5 0 596533698 761638912 148236 33554432000 4194304 5787044 140734702601712 18446744073709551615 4254528 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=743788 CPUtime=593.35 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 31250 0 0 0 59310 25 0 0 25 0 5 0 596533709 761638912 148236 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591626 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=743788 CPUtime=595.22 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 33754 0 0 0 59502 20 0 0 25 0 5 0 596533720 761638912 148236 33554432000 4194304 5787044 140734702601712 18446744073709551615 5527227 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2378.87
Current children cumulated vsize (KiB) 752488

[startup+596.301 s]
/proc/loadavg: 8.06 8.07 8.02 9/188 21695
/proc/meminfo: memFree=16045192/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=743788 CPUtime=2380.47 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 160077 0 0 0 237941 106 0 0 18 0 5 0 596533653 761638912 148237 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 185947 148237 419 389 0 181697 0
[pid=21674/tid=21676] ppid=21673 vsize=743788 CPUtime=595.84 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 28502 0 0 0 59557 27 0 0 25 0 5 0 596533688 761638912 148237 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=743788 CPUtime=594.56 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 25435 0 0 0 59431 25 0 0 25 0 5 0 596533698 761638912 148237 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=743788 CPUtime=593.75 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 31251 0 0 0 59350 25 0 0 25 0 5 0 596533709 761638912 148237 33554432000 4194304 5787044 140734702601712 18446744073709551615 5576708 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=743788 CPUtime=595.62 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 33754 0 0 0 59542 20 0 0 25 0 5 0 596533720 761638912 148237 33554432000 4194304 5787044 140734702601712 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2380.47
Current children cumulated vsize (KiB) 752488

[startup+596.701 s]
/proc/loadavg: 8.06 8.07 8.02 9/188 21695
/proc/meminfo: memFree=16045192/32950928 swapFree=67111524/67111528
[pid=21673] ppid=21671 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/21673/stat : 21673 (prissAuto.sh) S 21671 21673 20564 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596533653 8908800 251 33554432000 4194304 4922060 140734395538112 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/21673/statm: 2175 251 211 178 0 68 0
[pid=21674] ppid=21673 vsize=743788 CPUtime=2382.06 cores=1,3,5,7
/proc/21674/stat : 21674 (priss) S 21673 21673 20564 0 -1 4202496 160092 0 0 0 238100 106 0 0 18 0 5 0 596533653 761638912 148252 33554432000 4194304 5787044 140734702601712 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/21674/statm: 185947 148252 433 389 0 181697 0
[pid=21674/tid=21676] ppid=21673 vsize=743788 CPUtime=596.23 cores=1,3,5,7
/proc/21674/task/21676/stat : 21676 (priss) R 21673 21673 20564 0 -1 4202560 28516 0 0 0 59596 27 0 0 18 0 5 0 596533688 761638912 148252 33554432000 4194304 5787044 140734702601712 18446744073709551615 256415049490 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=21674/tid=21677] ppid=21673 vsize=743788 CPUtime=594.96 cores=1,3,5,7
/proc/21674/task/21677/stat : 21677 (priss) R 21673 21673 20564 0 -1 4202560 25435 0 0 0 59471 25 0 0 25 0 5 0 596533698 761638912 148252 33554432000 4194304 5787044 140734702601712 18446744073709551615 4661917 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=21674/tid=21678] ppid=21673 vsize=743788 CPUtime=594.15 cores=1,3,5,7
/proc/21674/task/21678/stat : 21678 (priss) R 21673 21673 20564 0 -1 4202560 31252 0 0 0 59390 25 0 0 25 0 5 0 596533709 761638912 148252 33554432000 4194304 5787044 140734702601712 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=21674/tid=21679] ppid=21673 vsize=743788 CPUtime=596.02 cores=1,3,5,7
/proc/21674/task/21679/stat : 21679 (priss) R 21673 21673 20564 0 -1 4202560 33754 0 0 0 59582 20 0 0 25 0 5 0 596533720 761638912 148252 33554432000 4194304 5787044 140734702601712 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 752488

Child status: 10
Real time (s): 596.764
CPU time (s): 2382.22
CPU user time (s): 2381.13
CPU system time (s): 1.09083
CPU usage (%): 399.19
Max. virtual memory (cumulated for all children) (KiB): 752488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2381.13
system time used= 1.09083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11074
involuntary context switches= 17175

runsolver used 0.814876 second user time and 2.44563 second system time

The end

Launcher Data

Begin job on node115 at 2011-04-29 09:43:50
IDJOB=3291182
IDBENCH=83475
IDSOLVER=1602
FILE ID=node115/3291182-1304063029
RUNJOBID= node115-1304054572-20583
PBS_JOBID= 13170430
Free space on /tmp= 72612 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291182-1304063029/watcher-3291182-1304063029 -o /tmp/evaluation-result-3291182-1304063029/solver-3291182-1304063029 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3291182-1304063029.cnf 772195863 4800 15500 4

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=772195863

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.77
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.811
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.74
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.811
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.811
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:     32950928 kB
MemFree:      17190292 kB
Buffers:       2319636 kB
Cached:       11664392 kB
SwapCached:          4 kB
Active:        8086292 kB
Inactive:      7116876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17190292 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          124176 kB
Writeback:           0 kB
AnonPages:     1218352 kB
Mapped:          15448 kB
Slab:           491416 kB
PageTables:       6756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1551888 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= 72612 MiB
End job on node115 at 2011-04-29 09:53:47