Trace number 3291192

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
ppfolio parSAT 291.537 73.0171

General information on the benchmark

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

Solver Data 

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

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-3291192-1304089842/watcher-3291192-1304089842 -o /tmp/evaluation-result-3291192-1304089842/solver-3291192-1304089842 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3291192-1304089842.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.70 4.01 5.00 6/182 1335
/proc/meminfo: memFree=31389668/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) R 1333 1335 32278 0 -1 4194304 491 0 0 0 0 0 0 0 25 0 1 0 520583029 18763776 387 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594686869 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/1335/statm: 4581 387 339 23 0 91 0

[startup+0.469133 s]
/proc/loadavg: 3.70 4.01 5.00 6/182 1335
/proc/meminfo: memFree=31389668/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.501128 s]
/proc/loadavg: 3.70 4.01 5.00 6/182 1335
/proc/meminfo: memFree=31389668/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.601111 s]
/proc/loadavg: 3.70 4.01 5.00 6/182 1335
/proc/meminfo: memFree=31389668/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.701095 s]
/proc/loadavg: 3.70 4.01 5.00 6/182 1335
/proc/meminfo: memFree=31389668/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50695 s]
/proc/loadavg: 3.70 4.01 5.00 11/188 1341
/proc/meminfo: memFree=31165980/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=83172 CPUtime=1.49 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 11736 0 0 0 147 2 0 0 25 0 1 0 520583029 85168128 11168 33554432000 4194304 4587354 140733207964944 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 20793 11168 306 96 0 17355 0
[pid=1337] ppid=1335 vsize=74912 CPUtime=1.49 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 18129 0 0 0 146 3 0 0 20 0 1 0 520583029 76709888 15237 33554432000 4194304 4785740 140735905455024 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 18728 15237 319 145 0 15773 0
[pid=1338] ppid=1335 vsize=468632 CPUtime=0.74 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 5596 0 0 0 72 2 0 0 25 0 1 0 520583029 479879168 5494 33554432000 134512640 134534564 4291587824 18446744073709551615 134520524 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 117158 5494 90 6 0 115824 0
[pid=1339] ppid=1335 vsize=55336 CPUtime=1.49 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 14028 0 0 0 147 2 0 0 20 0 1 0 520583029 56664064 12987 33554432000 4194304 4352236 140736587208240 18446744073709551615 4319441 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 13834 12987 118 39 0 12914 0
[pid=1340] ppid=1335 vsize=74324 CPUtime=0.74 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4194304 12498 0 0 0 71 3 0 0 25 0 1 0 520583029 76107776 12392 33554432000 4194304 4331988 140734197495120 18446744073709551615 4258584 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 18581 12392 117 34 0 17023 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 774700

[startup+3.10068 s]
/proc/loadavg: 4.20 4.11 5.02 11/188 1341
/proc/meminfo: memFree=31009120/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=167524 CPUtime=3.09 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 44133 0 0 0 302 7 0 0 25 0 1 0 520583029 171544576 31845 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388264 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 41881 31845 316 96 0 38443 0
[pid=1337] ppid=1335 vsize=74912 CPUtime=3.09 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 18129 0 0 0 306 3 0 0 25 0 1 0 520583029 76709888 15237 33554432000 4194304 4785740 140735905455024 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 18728 15237 319 145 0 15773 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=1.54 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 151 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=71584 CPUtime=3.09 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 18096 0 0 0 306 3 0 0 25 0 1 0 520583029 73302016 17055 33554432000 4194304 4352236 140736587208240 18446744073709551615 4268080 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 17896 17055 124 39 0 16976 0
[pid=1340] ppid=1335 vsize=64044 CPUtime=1.52 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4194304 32722 0 0 0 146 6 0 0 25 0 1 0 520583029 65581056 9375 33554432000 4194304 4331988 140734197495120 18446744073709551615 235594261551 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 16011 9375 129 34 0 14453 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 916980

[startup+6.30111 s]
/proc/loadavg: 4.20 4.11 5.02 11/188 1341
/proc/meminfo: memFree=30976260/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=167524 CPUtime=6.29 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 44133 0 0 0 622 7 0 0 25 0 1 0 520583029 171544576 31845 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 41881 31845 316 96 0 38443 0
[pid=1337] ppid=1335 vsize=74912 CPUtime=6.29 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 18129 0 0 0 626 3 0 0 25 0 1 0 520583029 76709888 15237 33554432000 4194304 4785740 140735905455024 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 18728 15237 319 145 0 15773 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=3.14 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 311 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=72280 CPUtime=6.29 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 18273 0 0 0 626 3 0 0 25 0 1 0 520583029 74014720 17232 33554432000 4194304 4352236 140736587208240 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 18070 17232 127 39 0 17150 0
[pid=1340] ppid=1335 vsize=66004 CPUtime=3.1 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 92383 0 0 0 294 16 0 0 25 0 1 0 520583029 67588096 9886 33554432000 4194304 4331988 140734197495120 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 16501 9886 150 34 0 14943 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 919636

[startup+12.701 s]
/proc/loadavg: 5.17 4.32 5.08 11/188 1341
/proc/meminfo: memFree=30883936/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=167524 CPUtime=12.69 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 44133 0 0 0 1262 7 0 0 25 0 1 0 520583029 171544576 31845 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 41881 31845 316 96 0 38443 0
[pid=1337] ppid=1335 vsize=74912 CPUtime=12.69 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 18129 0 0 0 1266 3 0 0 25 0 1 0 520583029 76709888 15237 33554432000 4194304 4785740 140735905455024 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 18728 15237 319 145 0 15773 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=6.3 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 627 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=74696 CPUtime=12.68 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 23014 0 0 0 1265 3 0 0 25 0 1 0 520583029 76488704 17835 33554432000 4194304 4352236 140736587208240 18446744073709551615 4295555 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 18674 17835 127 39 0 17754 0
[pid=1340] ppid=1335 vsize=118420 CPUtime=6.3 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 119736 0 0 0 609 21 0 0 25 0 1 0 520583029 121262080 23157 33554432000 4194304 4331988 140734197495120 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 29605 23157 151 34 0 28047 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 974468

[startup+25.5007 s]
/proc/loadavg: 5.91 4.51 5.13 11/188 1341
/proc/meminfo: memFree=30845620/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=167524 CPUtime=25.49 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 44133 0 0 0 2542 7 0 0 25 0 1 0 520583029 171544576 31845 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 41881 31845 316 96 0 38443 0
[pid=1337] ppid=1335 vsize=74912 CPUtime=25.48 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 18129 0 0 0 2545 3 0 0 25 0 1 0 520583029 76709888 15237 33554432000 4194304 4785740 140735905455024 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 18728 15237 319 145 0 15773 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=12.64 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 1261 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524686 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=62376 CPUtime=25.49 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 23938 0 0 0 2545 4 0 0 25 0 1 0 520583029 63873024 14756 33554432000 4194304 4352236 140736587208240 18446744073709551615 4328308 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 15594 14756 127 39 0 14674 0
[pid=1340] ppid=1335 vsize=182332 CPUtime=12.7 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 133905 0 0 0 1242 28 0 0 25 0 1 0 520583029 186707968 37326 33554432000 4194304 4331988 140734197495120 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 45583 37326 151 34 0 44025 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 1026060

[startup+51.1012 s]
/proc/loadavg: 7.30 4.95 5.26 11/188 1342
/proc/meminfo: memFree=30633228/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=191924 CPUtime=51.09 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 51791 0 0 0 5101 8 0 0 25 0 1 0 520583029 196530176 34565 33554432000 4194304 4587354 140733207964944 18446744073709551615 4232256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 47981 34565 323 96 0 44543 0
[pid=1337] ppid=1335 vsize=99440 CPUtime=51.08 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 25679 0 0 0 5103 5 0 0 25 0 1 0 520583029 101826560 21847 33554432000 4194304 4785740 140735905455024 18446744073709551615 4287237 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 24860 21847 341 145 0 21905 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=25.39 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 2536 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524580 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=63004 CPUtime=51.08 cores=3

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

[pid=1337] ppid=1335 vsize=100884 CPUtime=51.48 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 25992 0 0 0 5143 5 0 0 25 0 1 0 520583029 103305216 22160 33554432000 4194304 4785740 140735905455024 18446744073709551615 4290578 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 25221 22160 341 145 0 22266 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=25.59 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 2556 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=63004 CPUtime=51.48 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 28161 0 0 0 5144 4 0 0 25 0 1 0 520583029 64516096 14913 33554432000 4194304 4352236 140736587208240 18446744073709551615 4208072 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 15751 14913 127 39 0 14831 0
[pid=1340] ppid=1335 vsize=320824 CPUtime=25.6 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 169753 0 0 0 2520 40 0 0 25 0 1 0 520583029 328523776 73174 33554432000 4194304 4331988 140734197495120 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 80206 73174 151 34 0 78648 0
Current children cumulated CPU time (s) 205.64
Current children cumulated vsize (KiB) 1215552

[startup+64.3009 s]
/proc/loadavg: 7.97 5.21 5.34 11/188 1343
/proc/meminfo: memFree=30484780/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=214320 CPUtime=64.29 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 61567 0 0 0 6419 10 0 0 25 0 1 0 520583029 219463680 44306 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 53580 44306 338 96 0 50142 0
[pid=1337] ppid=1335 vsize=131476 CPUtime=64.27 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 33470 0 0 0 6420 7 0 0 25 0 1 0 520583029 134631424 29638 33554432000 4194304 4785740 140735905455024 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 32869 29638 341 145 0 29914 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=31.93 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 3190 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=63440 CPUtime=64.29 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 28272 0 0 0 6424 5 0 0 25 0 1 0 520583029 64962560 15022 33554432000 4194304 4352236 140736587208240 18446744073709551615 4329063 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 15860 15022 127 39 0 14940 0
[pid=1340] ppid=1335 vsize=414460 CPUtime=31.99 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 183675 0 0 0 3155 44 0 0 25 0 1 0 520583029 424407040 87096 33554432000 4194304 4331988 140734197495120 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 103615 87096 151 34 0 102057 0
Current children cumulated CPU time (s) 256.77
Current children cumulated vsize (KiB) 1362612

[startup+67.5074 s]
/proc/loadavg: 8.13 5.29 5.37 11/188 1343
/proc/meminfo: memFree=30468164/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=214320 CPUtime=67.49 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 61567 0 0 0 6739 10 0 0 25 0 1 0 520583029 219463680 44306 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 53580 44306 338 96 0 50142 0
[pid=1337] ppid=1335 vsize=137360 CPUtime=67.47 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 34910 0 0 0 6740 7 0 0 25 0 1 0 520583029 140656640 31078 33554432000 4194304 4785740 140735905455024 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 34340 31078 341 145 0 31385 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=33.53 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 3350 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524712 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=64644 CPUtime=67.5 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 28573 0 0 0 6745 5 0 0 25 0 1 0 520583029 66195456 15323 33554432000 4194304 4352236 140736587208240 18446744073709551615 4235517 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 16161 15323 127 39 0 15241 0
[pid=1340] ppid=1335 vsize=426340 CPUtime=33.58 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 187382 0 0 0 3312 46 0 0 25 0 1 0 520583029 436572160 90803 33554432000 4194304 4331988 140734197495120 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 106585 90803 151 34 0 105027 0
Current children cumulated CPU time (s) 269.57
Current children cumulated vsize (KiB) 1381580

[startup+70.7008 s]
/proc/loadavg: 8.13 5.29 5.37 11/188 1343
/proc/meminfo: memFree=30442124/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=214320 CPUtime=70.69 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 61567 0 0 0 7059 10 0 0 25 0 1 0 520583029 219463680 44306 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 53580 44306 338 96 0 50142 0
[pid=1337] ppid=1335 vsize=141904 CPUtime=70.68 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 35887 0 0 0 7060 8 0 0 25 0 1 0 520583029 145309696 32055 33554432000 4194304 4785740 140735905455024 18446744073709551615 235594527429 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 35476 32055 341 145 0 32521 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=35.13 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 3510 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=64644 CPUtime=70.7 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 28573 0 0 0 7065 5 0 0 25 0 1 0 520583029 66195456 15323 33554432000 4194304 4352236 140736587208240 18446744073709551615 4295555 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 16161 15323 127 39 0 15241 0
[pid=1340] ppid=1335 vsize=438220 CPUtime=35.16 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 191112 0 0 0 3469 47 0 0 25 0 1 0 520583029 448737280 94533 33554432000 4194304 4331988 140734197495120 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 109555 94533 151 34 0 107997 0
Current children cumulated CPU time (s) 282.36
Current children cumulated vsize (KiB) 1398004

[startup+72.3005 s]
/proc/loadavg: 8.13 5.29 5.37 11/188 1343
/proc/meminfo: memFree=30393392/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=214320 CPUtime=72.29 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 61567 0 0 0 7219 10 0 0 25 0 1 0 520583029 219463680 44306 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 53580 44306 338 96 0 50142 0
[pid=1337] ppid=1335 vsize=143884 CPUtime=72.27 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 36366 0 0 0 7219 8 0 0 25 0 1 0 520583029 147337216 32534 33554432000 4194304 4785740 140735905455024 18446744073709551615 4552553 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 35971 32534 341 145 0 33016 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=35.93 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 3590 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524677 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=64644 CPUtime=72.29 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 28573 0 0 0 7224 5 0 0 25 0 1 0 520583029 66195456 15323 33554432000 4194304 4352236 140736587208240 18446744073709551615 4207874 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 16161 15323 127 39 0 15241 0
[pid=1340] ppid=1335 vsize=444952 CPUtime=35.95 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 193205 0 0 0 3547 48 0 0 25 0 1 0 520583029 455630848 96626 33554432000 4194304 4331988 140734197495120 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 111238 96626 151 34 0 109680 0
Current children cumulated CPU time (s) 288.73
Current children cumulated vsize (KiB) 1406716

[startup+72.7004 s]
/proc/loadavg: 8.13 5.29 5.37 11/188 1343
/proc/meminfo: memFree=30393392/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=214320 CPUtime=72.69 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 61567 0 0 0 7259 10 0 0 25 0 1 0 520583029 219463680 44306 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388279 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 53580 44306 338 96 0 50142 0
[pid=1337] ppid=1335 vsize=144052 CPUtime=72.67 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 36422 0 0 0 7259 8 0 0 25 0 1 0 520583029 147509248 32590 33554432000 4194304 4785740 140735905455024 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 36013 32590 341 145 0 33058 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=36.13 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 3610 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=64644 CPUtime=72.69 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 28573 0 0 0 7264 5 0 0 25 0 1 0 520583029 66195456 15323 33554432000 4194304 4352236 140736587208240 18446744073709551615 4328991 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 16161 15323 127 39 0 15241 0
[pid=1340] ppid=1335 vsize=446536 CPUtime=36.15 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 193682 0 0 0 3567 48 0 0 25 0 1 0 520583029 457252864 97103 33554432000 4194304 4331988 140734197495120 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 111634 97103 151 34 0 110076 0
Current children cumulated CPU time (s) 290.33
Current children cumulated vsize (KiB) 1408468

[startup+72.9004 s]
/proc/loadavg: 8.28 5.37 5.39 11/188 1343
/proc/meminfo: memFree=30381616/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 520583029 18763776 389 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 4611483575143890943 0 0 17 1 0 0 0
/proc/1335/statm: 4581 389 341 23 0 91 0
[pid=1336] ppid=1335 vsize=214320 CPUtime=72.89 cores=1
/proc/1336/stat : 1336 (cryptominisat) R 1335 1335 32278 0 -1 4202496 61567 0 0 0 7279 10 0 0 25 0 1 0 520583029 219463680 44306 33554432000 4194304 4587354 140733207964944 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1336/statm: 53580 44306 338 96 0 50142 0
[pid=1337] ppid=1335 vsize=144320 CPUtime=72.87 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 36483 0 0 0 7279 8 0 0 25 0 1 0 520583029 147783680 32651 33554432000 4194304 4785740 140735905455024 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 36080 32651 341 145 0 33125 0
[pid=1338] ppid=1335 vsize=520592 CPUtime=36.23 cores=7
/proc/1338/stat : 1338 (TNM) R 1335 1335 32278 0 -1 4202496 19368 0 0 0 3620 3 0 0 25 0 1 0 520583029 533086208 19265 33554432000 134512640 134534564 4291587824 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1338/statm: 130148 19265 91 6 0 128814 0
[pid=1339] ppid=1335 vsize=64644 CPUtime=72.89 cores=3
/proc/1339/stat : 1339 (lingeling) R 1335 1335 32278 0 -1 4202496 28573 0 0 0 7284 5 0 0 25 0 1 0 520583029 66195456 15323 33554432000 4194304 4352236 140736587208240 18446744073709551615 4328085 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1339/statm: 16161 15323 127 39 0 15241 0
[pid=1340] ppid=1335 vsize=447196 CPUtime=36.25 cores=7
/proc/1340/stat : 1340 (march_hi) R 1335 1335 32278 0 -1 4202496 193910 0 0 0 3577 48 0 0 25 0 1 0 520583029 457928704 97331 33554432000 4194304 4331988 140734197495120 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1340/statm: 111799 97331 151 34 0 110241 0
Current children cumulated CPU time (s) 291.13
Current children cumulated vsize (KiB) 1409396

[startup+73.0074 s]
/proc/loadavg: 8.28 5.37 5.39 11/188 1343
/proc/meminfo: memFree=30381616/32950928 swapFree=67111404/67111528
[pid=1335] ppid=1333 vsize=18324 CPUtime=218.54 cores=1,3,5,7
/proc/1335/stat : 1335 (ppfolio) S 1333 1335 32278 0 -1 4202496 521 303520 0 0 0 0 21782 72 15 0 1 0 520583029 18763776 391 33554432000 4194304 4287625 140737293626016 18446744073709551615 235594886671 0 0 4096 65536 1074508187899527167 0 0 17 3 0 0 0
/proc/1335/statm: 4581 391 342 23 0 91 0
[pid=1337] ppid=1335 vsize=144460 CPUtime=72.97 cores=5
/proc/1337/stat : 1337 (clasp) R 1335 1335 32278 0 -1 4202496 36503 0 0 0 7289 8 0 0 25 0 1 0 520583029 147927040 32671 33554432000 4194304 4785740 140735905455024 18446744073709551615 235594515407 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1337/statm: 36115 32671 358 145 0 33160 0
Current children cumulated CPU time (s) 291.51
Current children cumulated vsize (KiB) 162784

Child status: 0
Real time (s): 73.0171
CPU time (s): 291.537
CPU user time (s): 290.725
CPU system time (s): 0.811876
CPU usage (%): 399.272
Max. virtual memory (cumulated for all children) (KiB): 1409396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 290.725
system time used= 0.811876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340564
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= 108
involuntary context switches= 2304

runsolver used 0.110983 second user time and 0.294955 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 17:10:43
IDJOB=3291192
IDBENCH=83475
IDSOLVER=1612
FILE ID=node120/3291192-1304089842
RUNJOBID= node120-1304089842-1247
PBS_JOBID= 13170527
Free space on /tmp= 72044 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291192-1304089842/watcher-3291192-1304089842 -o /tmp/evaluation-result-3291192-1304089842/solver-3291192-1304089842 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3291192-1304089842.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=729136033

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31389948 kB
Buffers:        471092 kB
Cached:         637596 kB
SwapCached:          8 kB
Active:         466012 kB
Inactive:       734856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31389948 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           40852 kB
Writeback:           0 kB
AnonPages:       91940 kB
Mapped:          16636 kB
Slab:           296860 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   701176 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= 72036 MiB
End job on node120 at 2011-04-29 17:11:56