16.09/16.17 c SLSTC version 1.0 (based on UBCSAT 1.1.0)
16.09/16.17 c -runs 1
16.09/16.17 c -cutoff 4294967295
16.09/16.17 c -timeout 0
16.09/16.17 c -gtimeout 0
16.09/16.17 c -noimprove 0
16.09/16.17 c -target 0
16.09/16.17 c -wtarget 0
16.09/16.17 c -seed 2119014024
16.09/16.17 c -solve 0
16.09/16.17 c -find,-numsol 0
16.09/16.17 c -findunique 0
16.09/16.17 c -srestart 0
16.09/16.17 c -prestart 0
16.09/16.17 c -drestart 100000
16.09/16.17 c -wp 0.01
16.09/16.17 c
16.09/16.17 s SATISFIABLE
16.09/16.17 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10
16.09/16.17 v -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
16.09/16.17 v -21 -22 -23 -24 -25 -26 -27 28 29 -30
16.09/16.17 v -31 -32 -33 -34 -35 36 -37 -38 -39 -40
16.09/16.17 v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50
16.09/16.17 v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
16.09/16.17 v -61 -62 -63 -64 -65 -66 -67 -68 -69 -70
16.09/16.17 v -71 -72 73 -74 -75 -76 -77 -78 -79 -80
16.09/16.17 v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90
16.09/16.17 v -91 -92 -93 -94 -95 -96 -97 -98 -99 -100
16.09/16.17 v 101 102 -103 -104 -105 -106 -107 -108 -109 -110
16.09/16.17 v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120
16.09/16.17 v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130
16.09/16.17 v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
16.09/16.17 v -141 -142 -143 -144 -145 146 -147 -148 -149 -150
16.09/16.17 v -151 -152 -153 -154 -155 156 -157 -158 -159 -160
16.09/16.17 v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170
16.09/16.17 v -171 -172 -173 -174 -175 -176 -177 -178 -179 -180
16.09/16.17 v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190
16.09/16.17 v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
16.09/16.17 v -201 202 203 -204 -205 -206 -207 -208 -209 -210
16.09/16.17 v -211 -212 -213 -214 -215 -216 -217 -218 -219 -220
16.09/16.17 v -221 -222 -223 -224 -225 -226 -227 -228 -229 230
16.09/16.17 v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240
16.09/16.17 v -241 -242 -243 -244 -245 -246 -247 -248 -249 -250
16.09/16.17 v -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
16.09/16.17 v -261 -262 -263 -264 -265 -266 -267 268 -269 -270
16.09/16.17 v -271 -272 -273 -274 -275 -276 -277 -278 -279 -280
16.09/16.17 v 281 -282 -283 -284 -285 -286 -287 -288 -289 -290
16.09/16.17 v -291 -292 -293 -294 -295 -296 -297 -298 -299 -300
16.09/16.17 v -301 -302 -303 -304 -305 -306 -307 -308 -309 -310
16.09/16.17 v -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
16.09/16.17 v -321 -322 -323 324 -325 -326 -327 -328 -329 -330
16.09/16.17 v -331 -332 -333 -334 -335 -336 -337 -338 -339 -340
16.09/16.17 v -341 -342 -343 -344 -345 -346 -347 348 -349 -350
16.09/16.17 v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
16.09/16.17 v -361 -362 -363 -364 -365 -366 -367 -368 -369 -370
16.09/16.17 v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
16.09/16.17 v -381 -382 -383 -384 -385 -386 -387 -388 -389 -390
16.09/16.17 v -391 -392 -393 -394 -395 -396 397 -398 -399 -400
16.09/16.17 v -401 -402 -403 -404 -405 -406 407 -408 409 -410
16.09/16.17 v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
16.09/16.17 v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430
16.09/16.17 v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
16.09/16.17 v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
16.09/16.17 v -451 -452 453 -454 -455 -456 -457 -458 -459 -460
16.09/16.17 v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
16.09/16.17 v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480
16.09/16.17 v -481 -482 -483 -484 -485 -486 -487 -488 489 -490
16.09/16.17 v -491 -492 -493 -494 -495 -496 -497 -498 -499 -500
16.09/16.17 v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510
16.09/16.17 v -511 -512 -513 514 -515 -516 -517 -518 -519 -520
16.09/16.17 v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530
16.09/16.17 v -531 -532 -533 -534 -535 -536 537 -538 539 -540
16.09/16.17 v -541 -542 -543 -544 -545 -546 -547 -548 -549 -550
16.09/16.18 v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
16.09/16.18 v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570
16.09/16.18 v -571 -572 -573 -574 -575 -576 -577 -578 -579 -580
16.09/16.18 v -581 -582 -583 -584 -585 -586 -587 588 -589 -590
16.09/16.18 v -591 -592 -593 -594 -595 -596 -597 -598 -599 -600
16.09/16.18 v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610
16.09/16.18 v -611 -612 -613 -614 -615 -616 -617 -618 -619 620
16.09/16.18 v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630
16.09/16.18 v -631 -632 -633 -634 635 -636 -637 -638 -639 -640
16.09/16.18 v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650
16.09/16.18 v -651 -652 -653 654 -655 -656 -657 -658 -659 -660
16.09/16.18 v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670
16.09/16.18 v -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
16.09/16.18 v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690
16.09/16.18 v -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
16.09/16.18 v -701 -702 703 -704 705 -706 -707 708 709 -710
16.09/16.18 v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
16.09/16.18 v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730
16.09/16.18 v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
16.09/16.18 v 741 742 -743 -744 -745 -746 -747 -748 -749 -750
16.09/16.18 v -751 -752 -753 -754 -755 -756 -757 -758 -759 -760
16.09/16.18 v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770
16.09/16.18 v -771 772 773 -774 -775 -776 -777 -778 -779 780
16.09/16.18 v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790
16.09/16.18 v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
16.09/16.18 v -801 -802 803 804 -805 -806 -807 -808 -809 -810
16.09/16.18 v 811 -812 -813 -814 -815 -816 817 -818 -819 -820
16.09/16.18 v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830
16.09/16.18 v -831 -832 -833 834 835 -836 -837 -838 -839 -840
16.09/16.18 v -841 842 -843 -844 845 846 -847 848 -849 -850
16.09/16.18 v -851 -852 -853 -854 -855 -856 -857 -858 -859 -860
16.09/16.18 v -861 -862 -863 -864 865 866 -867 -868 -869 -870
16.09/16.18 v -871 -872 873 -874 -875 876 877 -878 879 -880
16.09/16.18 v -881 -882 -883 -884 -885 -886 -887 -888 -889 890
16.09/16.18 v -891 -892 -893 -894 -895 896 897 -898 -899 900
16.09/16.18 v -901 -902 -903 904 -905 -906 907 908 -909 910
16.09/16.18 v -911 -912 -913 -914 -915 -916 -917 -918 -919 -920
16.09/16.18 v 921 -922 -923 -924 -925 -926 927 928 -929 -930
16.09/16.18 v 931 -932 -933 -934 935 -936 -937 938 939 -940
16.09/16.18 v 941 -942 -943 -944 -945 946 947 -948 -949 -950
16.09/16.18 v -951 952 -953 -954 -955 -956 -957 958 959 -960
16.09/16.18 v -961 962 -963 -964 -965 966 -967 -968 969 970
16.09/16.18 v -971 972 -973 974 -975 -976 977 978 -979 -980
16.09/16.18 v -981 -982 983 -984 -985 -986 -987 -988 989 990
16.09/16.18 v -991 -992 993 -994 -995 -996 997 -998 -999 1000
16.09/16.18 v 1001 -1002 1003 -1004 1005 -1006 -1007 1008 1009 -1010
16.09/16.18 v -1011 1012 -1013 1014 -1015 -1016 -1017 -1018 -1019 1020
16.09/16.18 v 1021 -1022 -1023 1024 1025 -1026 -1027 1028 -1029 -1030
16.09/16.18 v 1031 1032 -1033 1034 -1035 1036 -1037 -1038 1039 1040
16.09/16.18 v -1041 -1042 1043 -1044 1045 -1046 -1047 -1048 -1049 -1050
16.09/16.18 v 1051 1052 -1053 -1054 1055 1056 -1057 -1058 1059 -1060
16.09/16.18 v -1061 1062 1063 -1064 1065 -1066 1067 1068 -1069 1070
16.09/16.18 v 1071 -1072 -1073 1074 -1075 1076 -1077 -1078 -1079 -1080
16.09/16.18 v -1081 1082 1083 -1084 -1085 1086 1087 -1088 -1089 1090
16.09/16.18 v -1091 1092 1093 1094 -1095 1096 -1097 1098 1099 -1100
16.09/16.18 v 1101 1102 -1103 -1104 1105 -1106 1107 -1108 -1109 -1110
16.09/16.18 v -1111 -1112 1113 1114 -1115 -1116 1117 1118 -1119 -1120
16.09/16.18 v 1121 -1122 1123 1124 1125 -1126 1127 -1128 1129 1130
16.09/16.18 v -1131 1132 1133 -1134 -1135 1136 -1137 1138 -1139 -1140
16.09/16.18 v 1141 -1142 -1143 1144 1145 -1146 -1147 1148 1149 -1150
16.09/16.18 v 1151 1152 1153 1154 1155 1156 -1157 1158 -1159 1160
16.09/16.18 v 1161 -1162 1163 1164 -1165 -1166 1167 -1168 1169 -1170
16.09/16.18 v -1171 1172 -1173 -1174 1175 1176 -1177 -1178 1179 1180
16.09/16.18 v -1181 1182 1183 1184 1185 1186 1187 -1188 1189 -1190
16.09/16.18 v 1191 1192 -1193 1194 1195 -1196 1197 1198 -1199 1200
16.09/16.18 v -1201 -1202 1203 -1204 -1205 1206 1207 -1208 -1209 1210
16.09/16.18 v 1211 -1212 1213 1214 1215 1216 1217 1218 -1219 1220
16.09/16.18 v -1221 1222 1223 -1224 1225 1226 -1227 1228 1229 -1230
16.09/16.18 v 1231 -1232 1233 1234 -1235 -1236 1237 1238 -1239 -1240
16.09/16.18 v 1241 1242 -1243 1244 1245 1246 1247 1248 1249 -1250
16.09/16.18 v 1251 -1252 1253 1254 -1255 1256 1257 1258 1259 1260
16.09/16.18 v -1261 1262 -1263 1264 1265 -1266 -1267 1268 1269 -1270
16.09/16.18 v -1271 1272 1273 -1274 1275 1276 1277 1278 1279 1280
16.09/16.18 v 1281 1282 1283 1284 1285 -1286 1287 1288 1289 1290
16.09/16.18 v 1291 -1292 1293 -1294 1295 1296 -1297 -1298 1299 1300
16.09/16.18 v -1301 -1302 1303 1304 -1305 1306 1307 1308 1309 1310
16.09/16.18 v 1311 1312 1313 1314 1315 1316 -1317 1318 1319 1320
16.09/16.18 v 1321 1322 -1323 1324 -1325 1326 1327 -1328 -1329 1330
16.09/16.18 v 1331 1332 -1333 1334 1335 -1336 1337 1338 1339 1340
16.09/16.18 v 1341 1342 1343 1344 1345 1346 1347 -1348 1349 1350
16.09/16.18 v 1351 1352 1353 -1354 1355 -1356 1357 1358 -1359 -1360
16.09/16.18 v 1361 1362 1363 1364 1365 1366 -1367 1368 1369 1370
16.09/16.18 v 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380
16.09/16.18 v 1381 1382 1383 1384 -1385 1386 -1387 1388 1389 -1390
16.09/16.18 v -1391 1392 1393 1394 1395 1396 1397 1398 1399 1400
16.09/16.18 v 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410
16.09/16.18 v 1411 1412 1413 1414 1415 -1416 1417 -1418 1419 1420
16.09/16.18 v -1421 -1422 1423 1424 1425 1426 1427 1428 1429 1430
16.09/16.18 v 1431 1432 -1433 -1434 1435 -1436 -1437 -1438 -1439 -1440
16.09/16.18 v -1441 -1442 1443 1444 -1445 -1446 -1447 -1448 -1449 -1450
16.09/16.18 v -1451 -1452 -1453 -1454 -1455 1456 -1457 -1458 -1459 -1460
16.09/16.18 v -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470
16.09/16.18 v -1471 -1472 -1473 -1474 -1475 -1476 1477 1478 -1479 -1480
16.09/16.18 v -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490
16.09/16.18 v -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500
16.09/16.18 v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510
16.09/16.18 v -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520
16.09/16.18 v -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 1529 -1530
16.09/16.18 v -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540
16.09/16.18 v -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550
16.09/16.18 v -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560
16.09/16.18 v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570
16.09/16.18 v -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580
16.09/16.18 v -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590
16.09/16.18 v -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600
16.09/16.18 v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610
16.09/16.18 v -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
16.09/16.18 v -1621 -1622 -1623 -1624 1625 1626 -1627 -1628 -1629 -1630
16.09/16.18 v -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640
16.09/16.18 v -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650
16.09/16.18 v -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660
16.09/16.18 v -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670
16.09/16.18 v -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
16.09/16.18 v -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690
16.09/16.18 v -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
16.09/16.18 v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710
16.09/16.18 v -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720
16.09/16.18 v -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730
16.09/16.18 v -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740
16.09/16.18 v -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750
16.09/16.18 v -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760
16.09/16.18 v -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770
16.09/16.18 v -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780
16.09/16.18 v -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790
16.09/16.18 v -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800
16.09/16.18 v -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810
16.09/16.18 v -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820
16.09/16.18 v -1821 -1822 -1823 -1824 -1825 1826 1827 -1828 -1829 -1830
16.09/16.18 v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840
16.09/16.18 v -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850
16.09/16.18 v -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860
16.09/16.18 v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870
16.09/16.18 v -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880
16.09/16.18 v -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890
16.09/16.18 v -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900
16.09/16.18 v -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910
16.09/16.18 v -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920
16.09/16.18 v -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930
16.09/16.18 v -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940
16.09/16.18 v -1941 -1942 1943 1944 -1945 -1946 -1947 1948 -1949 1950
16.09/16.18 v 1951 1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
16.09/16.18 v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970
16.09/16.18 v -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
16.09/16.18 v -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990
16.09/16.18 v -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
16.09/16.18 v -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010
16.09/16.18 v -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
16.09/16.18 v -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030
16.09/16.18 v -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040
16.09/16.18 v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050
16.09/16.18 v -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060
16.09/16.18 v -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070
16.09/16.18 v -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080
16.09/16.18 v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090
16.09/16.18 v -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100
16.09/16.18 v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 2109 2110
16.09/16.18 v 2111 2112 2113 2114 2115 -2116 2117 2118 2119 -2120
16.09/16.18 v 2121 2122 2123 -2124 -2125 -2126 -2127 -2128 2129 -2130
16.09/16.18 v -2131 -2132 -2133 -2134 -2135 2136 -2137 -2138 -2139 -2140
16.09/16.18 v -2141 -2142 -2143 -2144 -2145 2146 -2147 -2148 -2149 -2150
16.09/16.18 v -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160
16.09/16.18 v -2161 -2162 -2163 -2164 -2165 -2166 2167 -2168 -2169 -2170
16.09/16.18 v -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180
16.09/16.18 v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190
16.09/16.18 v -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
16.09/16.18 v -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210
16.09/16.18 v -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
16.09/16.18 v -2221 2222 2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230
16.09/16.18 v -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240
16.09/16.18 v -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250
16.09/16.18 v -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260
16.09/16.18 v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270
16.09/16.18 v -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
16.09/16.18 v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290
16.09/16.18 v -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300
16.09/16.18 v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310
16.09/16.18 v -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320
16.09/16.18 v -2321 -2322 -2323 -2324 2325 -2326 -2327 -2328 -2329 -2330
16.09/16.18 v -2331 -2332 -2333 -2334 -2335 -2336 -2337 2338 -2339 -2340
16.09/16.18 v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350
16.09/16.18 v -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360
16.09/16.18 v -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370
16.09/16.18 v -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380
16.09/16.18 v -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390
16.09/16.18 v -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400
16.09/16.18 v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410
16.09/16.18 v -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420
16.09/16.18 v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430
16.09/16.18 v -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
16.09/16.18 v -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450
16.09/16.18 v -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460
16.09/16.18 v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470
16.09/16.18 v -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
16.09/16.18 v -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490
16.09/16.18 v -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
16.09/16.18 v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 2510
16.09/16.18 v -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
16.09/16.18 v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530
16.09/16.18 v -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540
16.09/16.18 v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550
16.09/16.18 v -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
16.09/16.18 v -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570
16.09/16.18 v -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
16.09/16.18 v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590
16.09/16.18 v -2591 -2592 -2593 2594 -2595 -2596 -2597 -2598 -2599 -2600
16.09/16.18 v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610
16.09/16.18 v -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620
16.09/16.18 v -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630
16.09/16.18 v -2631 -2632 -2633 2634 2635 2636 2637 -2638 -2639 2640
16.09/16.18 v 2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650
16.09/16.18 v -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660
16.09/16.18 v -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670
16.09/16.18 v -2671 -2672 -2673 2674 2675 -2676 -2677 -2678 -2679 -2680
16.09/16.18 v -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690
16.09/16.18 v -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700
16.09/16.18 v -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710
16.09/16.18 v -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720
16.09/16.18 v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730
16.09/16.18 v -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
16.09/16.18 v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750
16.09/16.18 v -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760
16.09/16.18 v -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770
16.09/16.18 v -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780
16.09/16.18 v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790
16.09/16.18 v -2791 -2792 -2793 -2794 -2795 -2796 -2797 2798 2799 2800
16.09/16.18 v 2801 2802 2803 -2804 -2805 -2806 2807 2808 2809 2810
16.09/16.18 v 2811 2812 -2813 -2814 2815 -2816 -2817 -2818 -2819 -2820
16.09/16.18 v -2821 -2822 2823 2824 -2825 -2826 -2827 -2828 -2829 -2830
16.09/16.18 v -2831 -2832 -2833 -2834 -2835 2836 2837 2838 2839 2840
16.09/16.18 v 2841 2842 -2843 -2844 2845 -2846 -2847 -2848 -2849 -2850
16.09/16.18 v -2851 -2852 2853 2854 -2855 -2856 -2857 -2858 -2859 -2860
16.09/16.18 v -2861 -2862 -2863 -2864 -2865 2866 2867 2868 2869 2870
16.09/16.18 v 2871 2872 -2873 -2874 2875 -2876 -2877 -2878 -2879 -2880
16.09/16.18 v -2881 -2882 2883 2884 -2885 -2886 2887 2888 -2889 -2890
16.09/16.18 v -2891 -2892 -2893 -2894 -2895 2896 2897 2898 2899 2900
16.09/16.18 v 2901 2902 -2903 -2904 2905 -2906 -2907 -2908 -2909 -2910
16.09/16.18 v -2911 -2912 2913 2914 -2915 -2916 2917 2918 -2919 -2920
16.09/16.18 v -2921 -2922 -2923 -2924 -2925 2926 2927 2928 2929 2930
16.09/16.18 v 2931 2932 -2933 -2934 2935 -2936 -2937 -2938 2939 -2940
16.09/16.18 v -2941 -2942 2943 2944 -2945 -2946 2947 2948 -2949 -2950
16.09/16.18 v -2951 -2952 -2953 -2954 -2955 2956 2957 2958 2959 2960
16.09/16.18 v 2961 2962 -2963 -2964 2965 -2966 -2967 -2968 2969 -2970
16.09/16.18 v -2971 -2972 2973 2974 -2975 -2976 2977 2978 -2979 -2980
16.09/16.18 v -2981 -2982 -2983 -2984 -2985 2986 2987 2988 2989 2990
16.09/16.18 v 2991 2992 -2993 -2994 2995 -2996 -2997 -2998 2999 -3000
16.09/16.18 v -3001 -3002 3003 3004 -3005 -3006 3007 3008 -3009 -3010
16.09/16.18 v -3011 -3012 -3013 -3014 -3015 3016 3017 3018 3019 3020
16.09/16.18 v 3021 3022 -3023 -3024 3025 -3026 -3027 -3028 3029 -3030
16.09/16.18 v -3031 -3032 3033 3034 3035 3036 3037 3038 -3039 -3040
16.09/16.18 v -3041 -3042 -3043 -3044 -3045 3046 3047 3048 3049 3050
16.09/16.18 v 3051 3052 -3053 -3054 3055 -3056 -3057 -3058 3059 -3060
16.09/16.18 v -3061 -3062 3063 3064 3065 3066 3067 3068 -3069 -3070
16.09/16.18 v -3071 -3072 -3073 -3074 -3075 3076 3077 3078 3079 3080
16.09/16.18 v 3081 3082 -3083 -3084 3085 -3086 -3087 -3088 3089 -3090
16.09/16.18 v -3091 -3092 3093 3094 3095 3096 3097 3098 -3099 -3100
16.09/16.18 v -3101 -3102 -3103 -3104 -3105 3106 3107 3108 3109 3110
16.09/16.18 v 3111 3112 -3113 -3114 3115 -3116 -3117 -3118 3119 -3120
16.09/16.18 v -3121 -3122 3123 3124 3125 3126 3127 3128 -3129 -3130
16.09/16.18 v -3131 -3132 -3133 -3134 -3135 3136 3137 3138 3139 3140
16.09/16.18 v 3141 3142 -3143 -3144 3145 -3146 -3147 -3148 3149 -3150
16.09/16.18 v -3151 -3152 3153 3154 3155 3156 3157 3158 -3159 -3160
16.09/16.18 v -3161 -3162 -3163 -3164 -3165 3166 3167 3168 3169 3170
16.09/16.18 v 3171 3172 -3173 -3174 3175 -3176 -3177 -3178 3179 -3180
16.09/16.18 v -3181 -3182 3183 3184 3185 3186 3187 3188 -3189 -3190
16.09/16.18 v -3191 -3192 -3193 -3194 -3195 3196 3197 3198 3199 3200
16.09/16.18 v 3201 3202 -3203 -3204 3205 -3206 -3207 -3208 3209 -3210
16.09/16.18 v -3211 -3212 3213 3214 3215 3216 3217 3218 -3219 -3220
16.09/16.18 v -3221 -3222 -3223 -3224 -3225 3226 3227 3228 3229 3230
16.09/16.18 v 3231 3232 -3233 -3234 3235 3236 3237 -3238 3239 -3240
16.09/16.18 v -3241 -3242 3243 3244 3245 3246 3247 3248 -3249 -3250
16.09/16.18 v -3251 -3252 -3253 -3254 -3255 3256 3257 3258 3259 3260
16.09/16.18 v 3261 3262 -3263 -3264 3265 3266 3267 -3268 3269 -3270
16.09/16.18 v -3271 -3272 3273 3274 3275 3276 3277 3278 -3279 -3280
16.09/16.18 v -3281 -3282 -3283 -3284 -3285 3286 3287 3288 3289 3290
16.09/16.18 v 3291 3292 -3293 -3294 3295 3296 3297 -3298 3299 -3300
16.09/16.18 v -3301 -3302 3303 3304 3305 3306 3307 3308 -3309 -3310
16.09/16.18 v -3311 -3312 -3313 -3314 -3315 3316 3317 3318 3319 3320
16.09/16.18 v 3321 3322 -3323 -3324 3325 3326 3327 -3328 3329 -3330
16.09/16.18 v -3331 -3332 3333 3334 3335 3336 3337 3338 -3339 -3340
16.09/16.18 v -3341 -3342 -3343 -3344 -3345 3346 3347 3348 3349 3350
16.09/16.18 v 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360
16.09/16.18 v 3361 3362 3363 3364 3365 3366 3367 3368 -3369 -3370
16.09/16.18 v -3371 -3372 -3373 -3374 -3375 3376 3377 3378 3379 3380
16.09/16.18 v 3381 3382 3383 3384 3385 3386 3387 3388 3389 3390
16.09/16.18 v 3391 3392 3393 3394 3395 3396 3397 3398 -3399 -3400
16.09/16.18 v -3401 -3402 -3403 -3404 -3405 3406 3407 3408 3409 3410
16.09/16.18 v 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420
16.09/16.18 v 3421 3422 3423 3424 3425 3426 3427 3428 -3429 -3430
16.09/16.18 v -3431 -3432 -3433 -3434 -3435 3436 3437 3438 3439 3440
16.09/16.18 v 3441 3442 3443 3444 3445 3446 3447 3448 3449 3450
16.09/16.18 v 3451 3452 3453 3454 3455 3456 3457 3458 -3459 -3460
16.09/16.18 v -3461 -3462 -3463 -3464 -3465 3466 3467 3468 3469 3470
16.09/16.18 v 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480
16.09/16.18 v 3481 3482 3483 3484 3485 3486 3487 3488 -3489 -3490
16.09/16.18 v -3491 -3492 -3493 -3494 -3495 3496 3497 3498 3499 -3500
16.09/16.18 v 3501 3502 3503 -3504 -3505 -3506 -3507 -3508 3509 -3510
16.09/16.18 v -3511 -3512 -3513 -3514 -3515 3516 -3517 -3518 -3519 -3520
16.09/16.18 v -3521 -3522 -3523 -3524 -3525 3526 3527 3528 3529 -3530
16.09/16.18 v 3531 3532 3533 -3534 -3535 -3536 -3537 -3538 3539 -3540
16.09/16.18 v -3541 -3542 -3543 -3544 -3545 3546 -3547 -3548 -3549 -3550
16.09/16.18 v -3551 -3552 -3553 -3554 -3555 3556 3557 3558 3559 -3560
16.09/16.18 v 3561 3562 3563 -3564 -3565 -3566 -3567 -3568 3569 -3570
16.09/16.18 v -3571 -3572 -3573 -3574 -3575 3576 3577 -3578 -3579 -3580
16.09/16.18 v -3581 -3582 -3583 -3584 -3585 3586 3587 3588 3589 -3590
16.09/16.18 v 3591 3592 3593 -3594 -3595 -3596 -3597 -3598 3599 -3600
16.09/16.18 v -3601 -3602 -3603 -3604 -3605 3606 3607 -3608 -3609 -3610
16.09/16.18 v -3611 -3612 -3613 -3614 -3615 3616 3617 3618 3619 -3620
16.09/16.18 v 3621 3622 3623 -3624 -3625 -3626 -3627 -3628 3629 -3630
16.09/16.18 v -3631 3632 3633 -3634 -3635 3636 3637 -3638 -3639 -3640
16.09/16.18 v -3641 -3642 -3643 -3644 -3645 3646 3647 3648 3649 -3650
16.09/16.18 v 3651 3652 3653 -3654 -3655 -3656 -3657 -3658 3659 -3660
16.09/16.18 v -3661 3662 3663 -3664 -3665 3666 3667 -3668 -3669 -3670
16.09/16.18 v -3671 -3672 -3673 -3674 -3675 3676 3677 3678 3679 -3680
16.09/16.18 v 3681 3682 3683 -3684 -3685 -3686 -3687 -3688 3689 -3690
16.09/16.18 v -3691 3692 3693 -3694 -3695 3696 3697 -3698 -3699 -3700
16.09/16.18 v -3701 -3702 -3703 -3704 -3705 3706 3707 3708 3709 -3710
16.09/16.18 v 3711 3712 3713 -3714 -3715 -3716 -3717 -3718 3719 -3720
16.09/16.18 v -3721 3722 3723 -3724 -3725 3726 3727 -3728 -3729 -3730
16.09/16.18 v -3731 -3732 -3733 -3734 3735 3736 3737 3738 3739 -3740
16.09/16.18 v 3741 3742 3743 -3744 -3745 -3746 -3747 3748 3749 -3750
16.09/16.18 v -3751 3752 3753 -3754 -3755 3756 3757 -3758 -3759 -3760
16.09/16.18 v -3761 -3762 -3763 -3764 3765 3766 3767 3768 3769 -3770
16.09/16.18 v 3771 3772 3773 -3774 -3775 -3776 -3777 3778 3779 -3780
16.09/16.18 v -3781 3782 3783 -3784 -3785 3786 3787 -3788 -3789 -3790
16.09/16.18 v -3791 -3792 -3793 -3794 3795 3796 3797 3798 3799 -3800
16.09/16.18 v 3801 3802 3803 -3804 -3805 -3806 -3807 3808 3809 -3810
16.09/16.18 v -3811 3812 3813 -3814 -3815 3816 3817 -3818 -3819 -3820
16.09/16.18 v -3821 -3822 -3823 -3824 3825 3826 3827 3828 3829 -3830
16.09/16.18 v 3831 3832 3833 -3834 -3835 -3836 -3837 3838 3839 -3840
16.09/16.18 v -3841 3842 3843 -3844 -3845 3846 3847 -3848 -3849 -3850
16.09/16.18 v -3851 -3852 -3853 -3854 3855 3856 3857 3858 3859 -3860
16.09/16.18 v 3861 3862 3863 -3864 -3865 -3866 -3867 3868 3869 -3870
16.09/16.18 v -3871 3872 3873 -3874 -3875 3876 3877 -3878 -3879 -3880
16.09/16.18 v -3881 -3882 -3883 -3884 3885 3886 3887 3888 3889 -3890
16.09/16.18 v 3891 3892 3893 -3894 -3895 -3896 -3897 3898 3899 -3900
16.09/16.18 v -3901 3902 3903 -3904 -3905 3906 3907 -3908 -3909 -3910
16.09/16.18 v -3911 -3912 -3913 -3914 3915 3916 3917 3918 3919 3920
16.09/16.18 v 3921 3922 3923 -3924 -3925 -3926 -3927 3928 3929 -3930
16.09/16.18 v -3931 3932 3933 -3934 -3935 3936 3937 -3938 -3939 -3940
16.09/16.18 v -3941 -3942 -3943 -3944 3945 3946 3947 3948 3949 3950
16.09/16.18 v 3951 3952 3953 -3954 -3955 -3956 -3957 3958 3959 -3960
16.09/16.18 v -3961 3962 3963 -3964 -3965 3966 3967 -3968 -3969 -3970
16.09/16.18 v -3971 -3972 -3973 -3974 3975 3976 3977 3978 3979 3980
16.09/16.18 v 3981 3982 3983 -3984 -3985 -3986 -3987 3988 3989 -3990
16.09/16.18 v -3991 3992 3993 -3994 -3995 3996 3997 -3998 -3999 -4000
16.09/16.18 v -4001 -4002 -4003 4004 4005 4006 4007 4008 4009 4010
16.09/16.18 v 4011 4012 4013 -4014 -4015 -4016 -4017 4018 4019 -4020
16.09/16.18 v -4021 4022 4023 -4024 -4025 4026 4027 -4028 -4029 -4030
16.09/16.18 v -4031 -4032 -4033 4034 4035 4036 4037 4038 4039 4040
16.09/16.18 v 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050
16.09/16.18 v 4051 4052 4053 -4054 -4055 4056 4057 -4058 -4059 -4060
16.09/16.18 v -4061 -4062 -4063 4064 4065 4066 4067 4068 4069 4070
16.09/16.18 v 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080
16.09/16.18 v 4081 4082 4083 4084 4085 4086 4087 -4088 -4089 -4090
16.09/16.18 v -4091 -4092 -4093 4094 4095 4096 4097 4098 4099 4100
16.09/16.18 v 4101 4102 4103 4104 4105 4106 4107 4108 4109 4110
16.09/16.18 v 4111 4112 4113 4114 4115 4116 4117 -4118 -4119 -4120
16.09/16.18 v -4121 -4122 -4123 4124 4125 4126 4127 4128 4129 4130
16.09/16.18 v 4131 4132 4133 4134 4135 4136 4137 4138 4139 4140
16.09/16.18 v 4141 4142 4143 4144 4145 4146 4147 -4148 -4149 -4150
16.09/16.18 v -4151 -4152 -4153 4154 4155 4156 4157 4158 4159 4160
16.09/16.18 v 4161 4162 4163 4164 4165 4166 4167 4168 4169 4170
16.09/16.18 v 4171 4172 4173 4174 4175 4176 4177 -4178 -4179 -4180
16.09/16.18 v -4181 -4182 -4183 4184 4185 4186 -4187 -4188 -4189 -4190
16.09/16.18 v -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200
16.09/16.18 v -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 4209 -4210
16.19/16.23 v 4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
16.19/16.23 v 4221 -4222 -4223 -4224 4225 4226 -4227 -4228 -4229 -4230
16.19/16.23 v 4231 4232 4233 -4234 4235 4236 4237 -4238 4239 -4240
16.19/16.23 v -4241 -4242 4243 -4244 4245 -4246 4247 4248 -4249 -4250
16.19/16.23 v -4251 4252 4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
16.19/16.23 v -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 4269 4270
16.19/16.23 v -4271 -4272 -4273 -4274 4275 4276 4277 4278 4279 4280
16.19/16.23 v 4281 -4282 4283 4284 4285 -4286 4287 4288 4289 -4290
16.19/16.23 v 4291 4292 4293 4294 4295 4296 4297 -4298 -4299 -4300
16.19/16.23 v -4301 -4302 4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310
16.19/16.23 v -4311 -4312 4313 4314 -4315 -4316 -4317 -4318 4319 -4320
16.19/16.23 v -4321 4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330
16.19/16.23 v -4331 -4332 -4333 -4334 4335 4336 -4337 -4338 -4339 -4340
16.19/16.23 v 4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350
16.19/16.23 v -4351 -4352 -4353 -4354 -4355 -4356 4357 4358 -4359 -4360
16.19/16.23 v -4361 -4362 4363 4364 4365 4366 4367 4368 4369 4370
16.19/16.23 v 4371 4372 4373 -4374 4375 4376 4377 4378 4379 4380
16.19/16.23 v 4381 4382 4383 4384 4385 4386 -4387 4388 -4389 -4390
16.19/16.23 v 4391 4392 -4393 -4394 -4395 -4396 4397 -4398 4399 -4400
16.19/16.23 v 4401 4402 -4403 -4404 -4405 4406 4407 4408 -4409 4410
16.19/16.23 v -4411 4412 4413 4414 -4415 -4416 -4417 -4418 4419 -4420
16.19/16.23 v 4421 -4422 4423 4424 -4425 -4426 -4427 4428 4429 4430
16.19/16.23 v -4431 4432 -4433 -4434 4435 -4436 -4437 -4438 -4439 -4440
16.19/16.23 v 4441 -4442 4443 -4444 4445 4446 -4447 -4448 -4449 4450
16.19/16.23 v 4451 4452 4453 4454 4455 4456 4457 4458 -4459 4460
16.19/16.23 v 4461 4462 4463 4464 4465 4466 4467 4468 4469 4470
16.19/16.23 v 4471 4472 4473 -4474 -4475 4476 -4477 -4478 -4479 -4480
16.19/16.23 v -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 4489 4490
16.19/16.23 v -4491 -4492 -4493 -4494 4495 4496 4497 4498 -4499 4500
16.19/16.23 v 4501 4502 -4503 4504 -4505 -4506 -4507 4508 4509 -4510
16.19/16.23 v 4511 4512 -4513 -4514 -4515 4516 4517 4518 -4519 4520
16.19/16.23 v -4521 -4522 4523 -4524 -4525 -4526 -4527 -4528 -4529 4530
16.19/16.23 v -4531 -4532 4533 4534 -4535 -4536 -4537 4538 4539 4540
16.19/16.23 v 4541 4542 4543 4544 4545 4546 -4547 4548 4549 4550
16.19/16.23 v -4551 4552 4553 4554 4555 4556 4557 4558 4559 4560
16.19/16.23 v 4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570
16.19/16.23 v -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580
16.19/16.23 v -4581 -4582 4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590
16.19/16.23 v -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 4600
16.19/16.23 v -4601 -4602 -4603 -4604 4605 4606 4607 4608 -4609 4610
16.19/16.23 v 4611 4612 -4613 4614 -4615 4616 -4617 4618 4619 4620
16.19/16.23 v -4621 4622 4623 4624 -4625 4626 4627 4628 -4629 4630
16.19/16.23 v -4631 4632 4633 4634 -4635 4636 -4637 4638 -4639 4640
16.19/16.23 v -4641 4642 -4643 4644 4645 -4646 -4647 4648 4649 4650
16.19/16.23 v 4651 4652 -4653 4654 4655 4656 -4657 4658 -4659 4660
16.19/16.23 v -4661 4662 4663 4664 -4665 4666 4667 -4668 4669 4670
16.19/16.23 v 4671 4672 -4673 4674 -4675 -4676 4677 -4678 -4679 -4680
16.19/16.23 v -4681 -4682 -4683 4684 -4685 -4686 -4687 4688 4689 -4690
16.19/16.23 v -4691 -4692 -4693 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1721328-1240665604/watcher-1721328-1240665604 -o /tmp/evaluation-result-1721328-1240665604/solver-1721328-1240665604 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/slstc -alg adaptnovelty+-tc -runs 1 -cutoff max -r out null -r stats null -r sat2009comp -drestart 100000 -seed 2119014024 -inst HOME/instance-1721328-1240665604.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23512
/proc/meminfo: memFree=1798328/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=6300 CPUtime=0
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 94588235 6451200 272 1992294400 134512640 135949792 4294956048 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 1575 272 136 350 0 1222 0
[startup+0.0666759 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23512
/proc/meminfo: memFree=1798328/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=8412 CPUtime=0.06
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 815 0 0 0 6 0 0 0 18 0 1 0 94588235 8613888 799 1992294400 134512640 135949792 4294956048 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 2103 799 136 350 0 1750 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8412
[startup+0.101679 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23512
/proc/meminfo: memFree=1798328/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=9468 CPUtime=0.09
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 1102 0 0 0 9 0 0 0 18 0 1 0 94588235 9695232 1086 1992294400 134512640 135949792 4294956048 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 2367 1086 136 350 0 2014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9468
[startup+0.301697 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23512
/proc/meminfo: memFree=1798328/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=15804 CPUtime=0.29
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 2656 0 0 0 28 1 0 0 19 0 1 0 94588235 16183296 2640 1992294400 134512640 135949792 4294956048 18446744073709551615 135332487 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 3951 2641 136 350 0 3598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15804
[startup+0.701734 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23512
/proc/meminfo: memFree=1798328/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=27552 CPUtime=0.69
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 5598 0 0 0 66 3 0 0 22 0 1 0 94588235 28213248 5582 1992294400 134512640 135949792 4294956048 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 6888 5583 136 350 0 6535 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27552
[startup+1.50181 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1768304/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=51312 CPUtime=1.49
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 11559 0 0 0 143 6 0 0 25 0 1 0 94588235 52543488 11543 1992294400 134512640 135949792 4294956048 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 12828 11543 136 350 0 12475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51312
[startup+3.10196 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1734384/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=86580 CPUtime=3.09
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 20116 0 0 0 299 10 0 0 25 0 1 0 94588235 88657920 20100 1992294400 134512640 135949792 4294956048 18446744073709551615 135323023 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 21645 20100 137 350 0 21292 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86580
[startup+6.30226 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1774832/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=30824 CPUtime=6.29
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 23036 0 0 0 617 12 0 0 25 0 1 0 94588235 31563776 6154 1992294400 134512640 135949792 4294956048 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 7706 6154 137 350 0 7353 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30824
[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1760624/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=45224 CPUtime=12.69
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 26885 0 0 0 1255 14 0 0 25 0 1 0 94588235 46309376 9746 1992294400 134512640 135949792 4294956048 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 11306 9746 137 350 0 10953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45224
Solver just ended. Dumping a history of the last processes samples
[startup+14.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1756536/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=50044 CPUtime=14.3
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 28137 0 0 0 1415 15 0 0 25 0 1 0 94588235 51245056 10485 1992294400 134512640 135949792 4294956048 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 12511 10485 137 350 0 12158 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 50044
[startup+15.1021 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1756536/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=50972 CPUtime=15.09
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 28382 0 0 0 1494 15 0 0 25 0 1 0 94588235 52195328 10730 1992294400 134512640 135949792 4294956048 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 12743 10730 137 350 0 12390 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 50972
[startup+15.9011 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1755064/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=70872 CPUtime=15.89
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 31548 0 0 0 1573 16 0 0 25 0 1 0 94588235 72572928 13896 1992294400 134512640 135949792 4294956048 18446744073709551615 134774095 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 17718 13896 145 350 0 17365 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 70872
[startup+16.1012 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1755064/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=70872 CPUtime=16.09
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 31550 0 0 0 1593 16 0 0 25 0 1 0 94588235 72572928 13898 1992294400 134512640 135949792 4294956048 18446744073709551615 134518799 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 17718 13898 145 350 0 17365 0
Current children cumulated CPU time (s) 16.09
Current children cumulated vsize (KiB) 70872
[startup+16.2012 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23513
/proc/meminfo: memFree=1755064/2055920 swapFree=4181236/4192956
[pid=23512] ppid=23510 vsize=70656 CPUtime=16.19
/proc/23512/stat : 23512 (slstc) R 23510 23512 23441 0 -1 4194304 31567 0 0 0 1603 16 0 0 16 0 1 0 94588235 72351744 13860 1992294400 134512640 135949792 4294956048 18446744073709551615 135328876 0 0 4096 0 0 0 0 17 1 0 0
/proc/23512/statm: 17664 13860 161 350 0 17311 0
Current children cumulated CPU time (s) 16.19
Current children cumulated vsize (KiB) 70656
Child status: 10
Real time (s): 16.2349
CPU time (s): 16.2285
CPU user time (s): 16.0566
CPU system time (s): 0.171973
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 86580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0566
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31569
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= 19
involuntary context switches= 35
runsolver used 0.016997 second user time and 0.042993 second system time
The end
Begin job on node48 at 2009-04-25 15:20:05
IDJOB=1721328
IDBENCH=71067
IDSOLVER=541
FILE ID=node48/1721328-1240665604
PBS_JOBID= 9186608
Free space on /tmp= 66300 MiB
SOLVER NAME= slstc 1.0
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_22_SAT.cnf
COMMAND LINE= HOME/slstc -alg adaptnovelty+-tc -runs 1 -cutoff max -r out null -r stats null -r sat2009comp -drestart 100000 -seed RANDOMSEED -inst BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1721328-1240665604/watcher-1721328-1240665604 -o /tmp/evaluation-result-1721328-1240665604/solver-1721328-1240665604 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/slstc -alg adaptnovelty+-tc -runs 1 -cutoff max -r out null -r stats null -r sat2009comp -drestart 100000 -seed 2119014024 -inst HOME/instance-1721328-1240665604.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0370c302d744cf5297e07b7d8a6a8190
RANDOM SEED=2119014024
node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1798744 kB
Buffers: 15624 kB
Cached: 180400 kB
SwapCached: 5324 kB
Active: 82624 kB
Inactive: 121036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798744 kB
SwapTotal: 4192956 kB
SwapFree: 4181236 kB
Dirty: 11548 kB
Writeback: 0 kB
Mapped: 13340 kB
Slab: 39576 kB
Committed_AS: 416984 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66296 MiB
End job on node48 at 2009-04-25 15:20:21