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