Trace number 3299996

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 2.0-R4092-industSAT 24.6722 24.6752

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3299996-1303828208/watcher-3299996-1303828208 -o /tmp/evaluation-result-3299996-1303828208/solver-3299996-1303828208 -C 2400 -W 1300 -M 7680 HOME/clasp --berk-max=512 --berk-once --restarts=256 --reverse-arcs=2 --recursive-str --dinit=800,10000 --dsched=10000,1.1 --dscore=2 --update-lbd --dalgo=2 HOME/instance-3299996-1303828208.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.68 3.90 3.65 5/180 584
/proc/meminfo: memFree=21716296/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=11800 CPUtime=0 cores=0,2
/proc/584/stat : 584 (runsolver) R 582 584 32365 0 -1 4202560 43 0 0 0 0 0 0 0 23 0 1 0 494423126 12083200 51 33554432000 4194304 5434984 140736576610640 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/584/statm: 2950 51 31 303 0 2644 0

[startup+0.070679 s]
/proc/loadavg: 3.68 3.90 3.65 5/180 584
/proc/meminfo: memFree=21716296/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=23872 CPUtime=0.05 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 3901 0 0 0 5 0 0 0 23 0 1 0 494423126 24444928 3231 33554432000 4194304 4929204 140737311284000 18446744073709551615 4593013 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 5968 3231 340 180 0 2978 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23872

[startup+0.100664 s]
/proc/loadavg: 3.68 3.90 3.65 5/180 584
/proc/meminfo: memFree=21716296/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=27340 CPUtime=0.08 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 4770 0 0 0 8 0 0 0 23 0 1 0 494423126 27996160 4100 33554432000 4194304 4929204 140737311284000 18446744073709551615 4582106 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 6835 4100 341 180 0 3845 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27340

[startup+0.300632 s]
/proc/loadavg: 3.68 3.90 3.65 5/180 584
/proc/meminfo: memFree=21716296/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=27340 CPUtime=0.28 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 4771 0 0 0 28 0 0 0 25 0 1 0 494423126 27996160 4101 33554432000 4194304 4929204 140737311284000 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 6835 4101 342 180 0 3845 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27340

[startup+0.700553 s]
/proc/loadavg: 3.68 3.90 3.65 5/180 584
/proc/meminfo: memFree=21716296/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=27340 CPUtime=0.68 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 4771 0 0 0 68 0 0 0 25 0 1 0 494423126 27996160 4101 33554432000 4194304 4929204 140737311284000 18446744073709551615 4582166 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 6835 4101 342 180 0 3845 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27340

[startup+1.50043 s]
/proc/loadavg: 3.79 3.92 3.66 5/187 607
/proc/meminfo: memFree=21564704/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=29584 CPUtime=1.48 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 5552 0 0 0 148 0 0 0 25 0 1 0 494423126 30294016 4635 33554432000 4194304 4929204 140737311284000 18446744073709551615 4632870 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 7396 4635 367 180 0 4406 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29584

[startup+3.10112 s]
/proc/loadavg: 3.79 3.92 3.66 5/190 613
/proc/meminfo: memFree=21520916/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=29584 CPUtime=3.08 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 5554 0 0 0 308 0 0 0 25 0 1 0 494423126 30294016 4637 33554432000 4194304 4929204 140737311284000 18446744073709551615 4337392 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 7396 4637 367 180 0 4406 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29584

[startup+6.30052 s]
/proc/loadavg: 3.97 3.96 3.67 5/190 613
/proc/meminfo: memFree=21362692/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=29584 CPUtime=6.28 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 5570 0 0 0 628 0 0 0 25 0 1 0 494423126 30294016 4653 33554432000 4194304 4929204 140737311284000 18446744073709551615 4632757 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 7396 4653 372 180 0 4406 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29584

[startup+12.7003 s]
/proc/loadavg: 3.97 3.96 3.67 5/190 613
/proc/meminfo: memFree=21359660/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=32528 CPUtime=12.68 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 6305 0 0 0 1268 0 0 0 25 0 1 0 494423126 33308672 5388 33554432000 4194304 4929204 140737311284000 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 8132 5388 373 180 0 5142 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32528

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

[startup+19.1011 s]
/proc/loadavg: 3.97 3.96 3.68 5/190 613
/proc/meminfo: memFree=21356700/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=34900 CPUtime=19.09 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 6871 0 0 0 1908 1 0 0 25 0 1 0 494423126 35737600 5954 33554432000 4194304 4929204 140737311284000 18446744073709551615 4638692 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 8725 5954 373 180 0 5735 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 34900

[startup+22.3005 s]
/proc/loadavg: 3.97 3.96 3.68 5/190 614
/proc/meminfo: memFree=21356212/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=35036 CPUtime=22.29 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 6911 0 0 0 2228 1 0 0 25 0 1 0 494423126 35876864 5994 33554432000 4194304 4929204 140737311284000 18446744073709551615 4633759 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 8759 5994 373 180 0 5769 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 35036

[startup+23.9012 s]
/proc/loadavg: 3.97 3.96 3.68 5/190 614
/proc/meminfo: memFree=21355964/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=35564 CPUtime=23.89 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 7063 0 0 0 2388 1 0 0 25 0 1 0 494423126 36417536 6146 33554432000 4194304 4929204 140737311284000 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 8891 6146 373 180 0 5901 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 35564

[startup+24.3011 s]
/proc/loadavg: 3.97 3.96 3.68 5/190 614
/proc/meminfo: memFree=21355096/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=36224 CPUtime=24.29 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 7233 0 0 0 2428 1 0 0 25 0 1 0 494423126 37093376 6316 33554432000 4194304 4929204 140737311284000 18446744073709551615 4316281 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 9056 6316 373 180 0 6066 0
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (KiB) 36224

[startup+24.5011 s]
/proc/loadavg: 3.97 3.96 3.68 5/190 614
/proc/meminfo: memFree=21355096/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=36488 CPUtime=24.49 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 7297 0 0 0 2448 1 0 0 25 0 1 0 494423126 37363712 6380 33554432000 4194304 4929204 140737311284000 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 9122 6380 373 180 0 6132 0
Current children cumulated CPU time (s) 24.49
Current children cumulated vsize (KiB) 36488

[startup+24.601 s]
/proc/loadavg: 3.97 3.96 3.68 5/190 614
/proc/meminfo: memFree=21355096/32951124 swapFree=67111524/67111528
[pid=584] ppid=582 vsize=36768 CPUtime=24.59 cores=0,2
/proc/584/stat : 584 (clasp) R 582 584 32365 0 -1 4202496 7350 0 0 0 2458 1 0 0 25 0 1 0 494423126 37650432 6433 33554432000 4194304 4929204 140737311284000 18446744073709551615 4619548 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/584/statm: 9192 6433 373 180 0 6202 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 36768

Child status: 10
Real time (s): 24.6752
CPU time (s): 24.6722
CPU user time (s): 24.6583
CPU system time (s): 0.013997
CPU usage (%): 99.9882
Max. virtual memory (cumulated for all children) (KiB): 36768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6583
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= 7366
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= 8
involuntary context switches= 46

runsolver used 0.044993 second user time and 0.095985 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-26 16:30:08
IDJOB=3299996
IDBENCH=83445
IDSOLVER=1684
FILE ID=node102/3299996-1303828208
RUNJOBID= node102-1303828208-560
PBS_JOBID= 13160794
Free space on /tmp= 71660 MiB

SOLVER NAME= clasp 2.0-R4092-indust
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= HOME/clasp --berk-max=512 --berk-once --restarts=256 --reverse-arcs=2 --recursive-str --dinit=800,10000 --dsched=10000,1.1 --dscore=2 --update-lbd --dalgo=2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3299996-1303828208/watcher-3299996-1303828208 -o /tmp/evaluation-result-3299996-1303828208/solver-3299996-1303828208 -C 2400 -W 1300 -M 7680  HOME/clasp --berk-max=512 --berk-once --restarts=256 --reverse-arcs=2 --recursive-str --dinit=800,10000 --dsched=10000,1.1 --dscore=2 --update-lbd --dalgo=2 HOME/instance-3299996-1303828208.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=187028791

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21716940 kB
Buffers:       1619700 kB
Cached:        8987152 kB
SwapCached:          4 kB
Active:        2521100 kB
Inactive:      8161432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21716940 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11880 kB
Writeback:           0 kB
AnonPages:       76008 kB
Mapped:          14400 kB
Slab:           487628 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   201124 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71572 MiB
End job on node102 at 2011-04-26 16:30:32