Trace number 3290676

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 266.977 66.9387

General information on the benchmark

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

Solver Data 

0.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: 27114
0.00/0.00	c setup for 4cores
0.00/0.05	c parsetime: 51714us
0.00/0.05	c parsed 126826 clauses with 7794 variables
0.00/0.07	c NW started thread 0 successfully (1103894848)
0.00/0.09	c NW started thread 1 successfully (1114384704)
0.00/0.13	c NW started thread 2 successfully (1124874560)
0.00/0.19	c NW started thread 3 successfully (1135364416)
32.82/8.32	c preprocessor returned 10002 variables
32.82/8.32	c preprocessing returned UNKNOWN
32.82/8.32	c PP set 400 variables
32.82/8.32	c pp time: 8254900us (8s)
32.82/8.38	c preprocessor returned 10002 variables
32.82/8.38	c preprocessing returned UNKNOWN
32.82/8.38	c PP set 400 variables
32.82/8.38	c pp time: 8248228us (8s)
32.82/8.39	c preprocessor returned 10002 variables
32.82/8.39	c preprocessing returned UNKNOWN
32.82/8.39	c PP set 400 variables
32.82/8.39	c pp time: 8291354us (8s)
52.01/13.13	c preprocessor returned 30003 variables
52.01/13.13	c preprocessing returned UNKNOWN
52.01/13.13	c PP set 400 variables
52.01/13.13	c pp time: 12970222us (12s)
52.42/13.28	c HTE
52.79/13.37	c subsumption
53.59/13.59	c simplified formula contains 0 unit clauses
266.46/66.88	c ====================
266.46/66.88	c implication/decision 0.217971%(21.8014)
266.46/66.88	c decisions:           884294
266.46/66.88	c last level:          423
266.46/66.88	c conflicts:           327669
266.46/66.88	c restarts:            2171
266.46/66.88	c rejected_restarts    0
266.46/66.88	c removals:            16
266.46/66.88	c removed clauses:     232617
266.46/66.88	c oft clauses:         0
266.86/66.92	c solvetime: 58592832us (58s)
266.86/66.92	c sended clauses   | 12706 | 11992 | 11451 | 5136 |
266.86/66.92	c received clauses | 77 | 79 | 73 | 90 |
266.86/66.92	c join all other threads
266.86/66.92	c joined thread 0
266.86/66.92	c joined thread 1
266.86/66.92	c joined thread 2
266.86/66.92	c joined thread 3
266.86/66.92	c memory usage (vsize): 336 MB
266.86/66.92	s SATISFIABLE
266.86/66.92	c solutions: 1
266.86/66.92	v -1 -2 -3 -4 5 -6 -7 -8 9 -10 -11 12 13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 28 29 -30 -31 -32 -33 -34 35 -36 37 38 -39 40 41 42 -43 -44 45 46 47 48 -49 -50 -51 -52 -53 -54 -55 -56 57 58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 72 -73 74 75 -76 -77 -78 79 -80 -81 82 83 -84 -85 -86 -87 -88 89 90 91 -92 93 -94 -95 -96 -97 98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 109 -110 -111 112 -113 -114 -115 -116 -117 118 -119 120 121 -122 -123 -124 125 -126 -127 -128 -129 -130 -131 132 -133 -134 -135 -136 137 -138 139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 154 155 156 -157 -158 -159 160 161 -162 -163 164 -165 -166 167 168 169 170 171 172 173 174 175 176 177 178 -179 180 -181 -182 183 184 185 186 187 -188 -189 -190 -191 192 -193 -194 -195 -196 -197 -198 -199 -200 -201 202 203 204 205 206 207 -208 209 -210 -211 212 213 214 215 216 217 218 -219 220 221 222 223 224 -225 226 -227 -228 229 230 -231 -232 -233 234 -235 -236 -237 238 -239 -240 241 -242 -243 -244 245 -246 247 -248 249 -250 -251 252 253 254 255 256 257 258 259 260 261 -262 -263 -264 -265 -266 267 268 269 270 -271 272 -273 -274 275 276 -277 -278 279 280 -281 -282 283 -284 -285 286 287 288 289 -290 -291 -292 -293 294 -295 -296 -297 298 -299 -300 301 302 303 304 -305 306 -307 -308 309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 347 348 349 350 351 352 353 -354 -355 -356 -357 -358 -359 -360 -361 362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 385 386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 418 419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 471 472 473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 514 -515 -516 -517 -518 -519 -520 -521 -522 523 524 525 526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 541 542 543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 617 618 619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 636 637 638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 651 652 653 654 655 656 657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 687 688 689 690 691 692 693 -694 -695 -696 -697 -698 -699 -700 -701 -702 703 704 705 706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 740 741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 757 758 759 760 761 762 763 764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 781 782 783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 796 797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 829 830 831 832 833 834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 887 888 889 890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 901 902 903 904 905 906 907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 925 926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 1573 1574 1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 1791 1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 1805 1806 1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 2560 2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 3099 3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 3439 3440 3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 3714 3715 3716 3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 3750 3751 3752 3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 3822 3823 3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 3841 3842 3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 3948 3949 3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 3966 3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 3985 3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 4035 4036 4037 4038 4039 4040 4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 4053 4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 4107 4108 4109 4110 4111 4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 4129 4130 4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 4144 4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 4179 4180 4181 4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 4235 4236 4237 4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 4251 4252 4253 4254 4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 4273 4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 4575 4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 4629 4630 4631 4632 4633 4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 4651 4652 4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 4666 4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 4701 4702 4703 4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 4757 4758 4759 4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 4773 4774 4775 4776 4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 4795 4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 4844 4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 4861 4862 4863 4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 4933 4934 4935 4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 5005 5006 5007 5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 5276 5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 5348 5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 5420 5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 5479 5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 5494 5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 5527 5528 5529 5530 5531 5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 5585 5586 5587 5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 5599 5600 5601 5602 5603 5604 5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 5623 5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 5749 5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 5785 5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 5836 5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 5908 5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 6125 6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 6139 6140 6141 6142 6143 6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 6359 6360 6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 6379 6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 -6806 6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 7770 7771 7772 7773 7774 7775 7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 7786 7787 7788 7789 7790 7791 7792 7793 7794 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3290676-1304062611/watcher-3290676-1304062611 -o /tmp/evaluation-result-3290676-1304062611/solver-3290676-1304062611 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3290676-1304062611.cnf 127369552 4800 15500 4 

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

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: 8.06 8.02 8.00 5/182 27113
/proc/meminfo: memFree=26038096/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0

[startup+0.0141621 s]
/proc/loadavg: 8.06 8.02 8.00 5/182 27113
/proc/meminfo: memFree=26038096/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100168 s]
/proc/loadavg: 8.06 8.02 8.00 5/182 27113
/proc/meminfo: memFree=26038096/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301069 s]
/proc/loadavg: 8.06 8.02 8.00 5/182 27113
/proc/meminfo: memFree=26038096/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701 s]
/proc/loadavg: 8.06 8.02 8.00 5/182 27113
/proc/meminfo: memFree=26038096/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50086 s]
/proc/loadavg: 8.06 8.02 8.00 9/188 27119
/proc/meminfo: memFree=25972080/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=236212 CPUtime=5.66 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 19533 0 0 0 563 3 0 0 18 0 5 0 517859124 241881088 16776 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 59053 16776 350 389 0 54803 0
[pid=27114/tid=27116] ppid=27113 vsize=236212 CPUtime=1.4 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 2634 0 0 0 140 0 0 0 19 0 5 0 517859131 241881088 16776 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336763 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=236212 CPUtime=1.39 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 2564 0 0 0 139 0 0 0 20 0 5 0 517859133 241881088 16776 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=236212 CPUtime=1.36 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 2479 0 0 0 136 0 0 0 23 0 5 0 517859137 241881088 16776 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336790 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=236212 CPUtime=1.33 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 2226 0 0 0 133 0 0 0 23 0 5 0 517859140 241881088 16776 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336952 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 244912

[startup+3.10058 s]
/proc/loadavg: 8.06 8.02 8.00 9/188 27119
/proc/meminfo: memFree=25971584/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=304228 CPUtime=12.06 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 20181 0 0 0 1203 3 0 0 18 0 5 0 517859124 311529472 17052 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 76057 17052 351 389 0 71807 0
[pid=27114/tid=27116] ppid=27113 vsize=304228 CPUtime=3 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 2763 0 0 0 300 0 0 0 25 0 5 0 517859131 311529472 17052 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=304228 CPUtime=2.99 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 2826 0 0 0 299 0 0 0 25 0 5 0 517859133 311529472 17052 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336120 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=304228 CPUtime=2.96 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 2609 0 0 0 296 0 0 0 25 0 5 0 517859137 311529472 17052 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336664 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=304228 CPUtime=2.93 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 2353 0 0 0 293 0 0 0 25 0 5 0 517859140 311529472 17052 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336768 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 312928

[startup+6.30103 s]
/proc/loadavg: 8.05 8.01 8.00 9/188 27119
/proc/meminfo: memFree=25968120/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=304228 CPUtime=24.85 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 20562 0 0 0 2481 4 0 0 18 0 5 0 517859124 311529472 17433 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 76057 17433 352 389 0 71807 0
[pid=27114/tid=27116] ppid=27113 vsize=304228 CPUtime=6.18 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 2795 0 0 0 618 0 0 0 25 0 5 0 517859131 311529472 17433 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336756 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=304228 CPUtime=6.19 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 3079 0 0 0 619 0 0 0 25 0 5 0 517859133 311529472 17433 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=304228 CPUtime=6.16 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 2609 0 0 0 616 0 0 0 25 0 5 0 517859137 311529472 17433 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=304228 CPUtime=6.13 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 2449 0 0 0 613 0 0 0 25 0 5 0 517859140 311529472 17433 33554432000 4194304 5787044 140734676975584 18446744073709551615 4336155 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 312928

[startup+12.7009 s]
/proc/loadavg: 8.05 8.01 8.00 9/188 27120
/proc/meminfo: memFree=25936060/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=325228 CPUtime=50.4 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 31812 0 0 0 5033 7 0 0 18 0 5 0 517859124 333033472 25921 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 81307 25921 405 389 0 77057 0
[pid=27114/tid=27116] ppid=27113 vsize=325228 CPUtime=12.54 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 5821 0 0 0 1253 1 0 0 25 0 5 0 517859131 333033472 25921 33554432000 4194304 5787044 140734676975584 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=325228 CPUtime=12.59 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 5274 0 0 0 1258 1 0 0 25 0 5 0 517859133 333033472 25921 33554432000 4194304 5787044 140734676975584 18446744073709551615 5585266 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=325228 CPUtime=12.55 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 5859 0 0 0 1254 1 0 0 25 0 5 0 517859137 333033472 25921 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=325228 CPUtime=12.53 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 5228 0 0 0 1252 1 0 0 25 0 5 0 517859140 333033472 25921 33554432000 4194304 5787044 140734676975584 18446744073709551615 4319837 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 333928

[startup+25.5007 s]
/proc/loadavg: 8.11 8.03 8.00 9/188 27120
/proc/meminfo: memFree=25901820/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=332812 CPUtime=101.51 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 42389 0 0 0 10139 12 0 0 18 0 5 0 517859124 340799488 34124 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 83203 34124 419 389 0 78953 0
[pid=27114/tid=27116] ppid=27113 vsize=332812 CPUtime=25.27 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 6982 0 0 0 2525 2 0 0 25 0 5 0 517859131 340799488 34124 33554432000 4194304 5787044 140734676975584 18446744073709551615 4215351 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=332812 CPUtime=25.38 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 6520 0 0 0 2536 2 0 0 25 0 5 0 517859133 340799488 34124 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=332812 CPUtime=25.35 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 6831 0 0 0 2533 2 0 0 25 0 5 0 517859137 340799488 34124 33554432000 4194304 5787044 140734676975584 18446744073709551615 4220916 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=332812 CPUtime=25.33 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 12426 0 0 0 2530 3 0 0 25 0 5 0 517859140 340799488 34124 33554432000 4194304 5787044 140734676975584 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 341512

[startup+51.1012 s]
/proc/loadavg: 8.07 8.03 8.00 9/188 27121
/proc/meminfo: memFree=25856124/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=347584 CPUtime=203.76 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 51046 0 0 0 20356 20 0 0 18 0 5 0 517859124 355926016 42777 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 86896 42777 419 389 0 82646 0
[pid=27114/tid=27116] ppid=27113 vsize=347584 CPUtime=50.73 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 9476 0 0 0 5068 5 0 0 25 0 5 0 517859131 355926016 42777 33554432000 4194304 5787044 140734676975584 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=347584 CPUtime=50.98 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 8609 0 0 0 5093 5 0 0 25 0 5 0 517859133 355926016 42777 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=347584 CPUtime=50.95 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 9903 0 0 0 5091 4 0 0 25 0 5 0 517859137 355926016 42777 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=347584 CPUtime=50.92 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 13428 0 0 0 5089 3 0 0 25 0 5 0 517859140 355926016 42777 33554432000 4194304 5787044 140734676975584 18446744073709551615 5527607 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 356284

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

[startup+57.5011 s]
/proc/loadavg: 8.07 8.03 8.00 9/188 27121
/proc/meminfo: memFree=25835044/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=354208 CPUtime=229.31 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 55578 0 0 0 22908 23 0 0 18 0 5 0 517859124 362708992 47309 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 88552 47309 419 389 0 84302 0
[pid=27114/tid=27116] ppid=27113 vsize=354208 CPUtime=57.09 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 10523 0 0 0 5703 6 0 0 25 0 5 0 517859131 362708992 47309 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=354208 CPUtime=57.38 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 9754 0 0 0 5732 6 0 0 25 0 5 0 517859133 362708992 47309 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=354208 CPUtime=57.34 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 10578 0 0 0 5730 4 0 0 25 0 5 0 517859137 362708992 47309 33554432000 4194304 5787044 140734676975584 18446744073709551615 4229303 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=354208 CPUtime=57.33 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 15093 0 0 0 5729 4 0 0 25 0 5 0 517859140 362708992 47309 33554432000 4194304 5787044 140734676975584 18446744073709551615 5528639 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 229.31
Current children cumulated vsize (KiB) 362908

[startup+63.901 s]
/proc/loadavg: 8.06 8.02 8.00 9/188 27121
/proc/meminfo: memFree=25825992/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=355536 CPUtime=254.87 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 57057 0 0 0 25461 26 0 0 18 0 5 0 517859124 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 88884 48725 419 389 0 84634 0
[pid=27114/tid=27116] ppid=27113 vsize=355536 CPUtime=63.45 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 11137 0 0 0 6338 7 0 0 25 0 5 0 517859131 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=355536 CPUtime=63.78 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 10196 0 0 0 6371 7 0 0 25 0 5 0 517859133 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=355536 CPUtime=63.74 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 10999 0 0 0 6369 5 0 0 25 0 5 0 517859137 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=355536 CPUtime=63.72 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 15095 0 0 0 6368 4 0 0 25 0 5 0 517859140 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 254.87
Current children cumulated vsize (KiB) 364236

[startup+65.5007 s]
/proc/loadavg: 8.06 8.02 8.00 9/188 27121
/proc/meminfo: memFree=25825372/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=355536 CPUtime=261.26 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 57057 0 0 0 26100 26 0 0 18 0 5 0 517859124 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 88884 48725 419 389 0 84634 0
[pid=27114/tid=27116] ppid=27113 vsize=355536 CPUtime=65.04 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 11137 0 0 0 6497 7 0 0 25 0 5 0 517859131 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=355536 CPUtime=65.38 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 10196 0 0 0 6531 7 0 0 25 0 5 0 517859133 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=355536 CPUtime=65.34 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 10999 0 0 0 6529 5 0 0 25 0 5 0 517859137 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=355536 CPUtime=65.32 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 15095 0 0 0 6528 4 0 0 25 0 5 0 517859140 364068864 48725 33554432000 4194304 5787044 140734676975584 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 261.26
Current children cumulated vsize (KiB) 364236

[startup+66.3006 s]
/proc/loadavg: 8.06 8.02 8.00 9/188 27121
/proc/meminfo: memFree=25824628/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=355696 CPUtime=264.46 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 57084 0 0 0 26420 26 0 0 18 0 5 0 517859124 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 88924 48752 419 389 0 84674 0
[pid=27114/tid=27116] ppid=27113 vsize=355696 CPUtime=65.84 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 11137 0 0 0 6577 7 0 0 25 0 5 0 517859131 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 4238793 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=355696 CPUtime=66.18 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 10196 0 0 0 6611 7 0 0 25 0 5 0 517859133 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=355696 CPUtime=66.14 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 10999 0 0 0 6609 5 0 0 25 0 5 0 517859137 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=355696 CPUtime=66.12 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 15122 0 0 0 6608 4 0 0 25 0 5 0 517859140 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 264.46
Current children cumulated vsize (KiB) 364396

[startup+66.7005 s]
/proc/loadavg: 8.06 8.02 8.00 9/188 27121
/proc/meminfo: memFree=25824628/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=355696 CPUtime=266.06 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 57084 0 0 0 26580 26 0 0 18 0 5 0 517859124 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 88924 48752 419 389 0 84674 0
[pid=27114/tid=27116] ppid=27113 vsize=355696 CPUtime=66.24 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 11137 0 0 0 6617 7 0 0 25 0 5 0 517859131 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=355696 CPUtime=66.58 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 10196 0 0 0 6651 7 0 0 25 0 5 0 517859133 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=355696 CPUtime=66.54 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 10999 0 0 0 6649 5 0 0 25 0 5 0 517859137 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 4254966 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=355696 CPUtime=66.52 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 15122 0 0 0 6648 4 0 0 25 0 5 0 517859140 364232704 48752 33554432000 4194304 5787044 140734676975584 18446744073709551615 5526901 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 266.06
Current children cumulated vsize (KiB) 364396

[startup+66.9005 s]
/proc/loadavg: 8.06 8.02 8.00 9/188 27121
/proc/meminfo: memFree=25824628/32951124 swapFree=67111364/67111528
[pid=27113] ppid=27111 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27113/stat : 27113 (prissAuto.sh) S 27111 27113 25027 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517859124 8908800 251 33554432000 4194304 4922060 140737111947840 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/27113/statm: 2175 251 211 178 0 68 0
[pid=27114] ppid=27113 vsize=355696 CPUtime=266.86 cores=0,2,4,6
/proc/27114/stat : 27114 (priss) S 27113 27113 25027 0 -1 4202496 57104 0 0 0 26660 26 0 0 18 0 5 0 517859124 364232704 48772 33554432000 4194304 5787044 140734676975584 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27114/statm: 88924 48772 433 389 0 84674 0
[pid=27114/tid=27116] ppid=27113 vsize=355696 CPUtime=66.44 cores=0,2,4,6
/proc/27114/task/27116/stat : 27116 (priss) R 27113 27113 25027 0 -1 4202560 11157 0 0 0 6637 7 0 0 25 0 5 0 517859131 364232704 48772 33554432000 4194304 5787044 140734676975584 18446744073709551615 228244006674 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27114/tid=27117] ppid=27113 vsize=355696 CPUtime=66.78 cores=0,2,4,6
/proc/27114/task/27117/stat : 27117 (priss) R 27113 27113 25027 0 -1 4202560 10196 0 0 0 6671 7 0 0 25 0 5 0 517859133 364232704 48772 33554432000 4194304 5787044 140734676975584 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=27114/tid=27118] ppid=27113 vsize=355696 CPUtime=66.74 cores=0,2,4,6
/proc/27114/task/27118/stat : 27118 (priss) R 27113 27113 25027 0 -1 4202560 10999 0 0 0 6669 5 0 0 25 0 5 0 517859137 364232704 48772 33554432000 4194304 5787044 140734676975584 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27114/tid=27119] ppid=27113 vsize=355696 CPUtime=66.72 cores=0,2,4,6
/proc/27114/task/27119/stat : 27119 (priss) R 27113 27113 25027 0 -1 4202560 15122 0 0 0 6668 4 0 0 25 0 5 0 517859140 364232704 48772 33554432000 4194304 5787044 140734676975584 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 266.86
Current children cumulated vsize (KiB) 364396

Child status: 10
Real time (s): 66.9387
CPU time (s): 266.977
CPU user time (s): 266.699
CPU system time (s): 0.277957
CPU usage (%): 398.838
Max. virtual memory (cumulated for all children) (KiB): 364396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 266.699
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57475
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= 6004
involuntary context switches= 1320

runsolver used 0.101984 second user time and 0.272958 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 09:36:52
IDJOB=3290676
IDBENCH=83445
IDSOLVER=1602
FILE ID=node136/3290676-1304062611
RUNJOBID= node136-1304053650-25979
PBS_JOBID= 13170391
Free space on /tmp= 72332 MiB

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

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=127369552

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26038244 kB
Buffers:       1060876 kB
Cached:        5004464 kB
SwapCached:        100 kB
Active:         912108 kB
Inactive:      5449736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26038244 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5480 kB
Writeback:           0 kB
AnonPages:      296284 kB
Mapped:          15756 kB
Slab:           486092 kB
PageTables:       4936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   484468 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= 72328 MiB
End job on node136 at 2011-04-29 09:37:59