Trace number 1785426

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32SAT 1343.81 1344.18

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
MD5SUMb7e51ccd3f2fabc77c07fa1f8f28f931
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark42.7725
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses384843
Sum of the clauses size905633
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2296010
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785426-1241913544/watcher-1785426-1241913544 -o /tmp/evaluation-result-1785426-1241913544/solver-1785426-1241913544 -C 5000 -W 6000 -M 1800 HOME/clasp --file=HOME/instance-1785426-1241913544.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 26529
/proc/meminfo: memFree=1838064/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=2580 CPUtime=0
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 392 0 0 0 0 0 0 0 18 0 1 0 219382210 2641920 376 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 645 376 144 377 0 265 0

[startup+0.0296191 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 26529
/proc/meminfo: memFree=1838064/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=4076 CPUtime=0.02
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 813 0 0 0 2 0 0 0 18 0 1 0 219382210 4173824 756 1992294400 134512640 136057169 4294956160 18446744073709551615 135502702 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 1019 756 144 377 0 639 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4076

[startup+0.101625 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 26529
/proc/meminfo: memFree=1838064/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=8076 CPUtime=0.09
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 2114 0 0 0 9 0 0 0 18 0 1 0 219382210 8269824 1769 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 2019 1770 144 377 0 1639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8076

[startup+0.301647 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 26529
/proc/meminfo: memFree=1838064/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=19796 CPUtime=0.29
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 5844 0 0 0 26 3 0 0 19 0 1 0 219382210 20271104 4586 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 4949 4586 163 377 0 4569 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19796

[startup+0.701689 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 26529
/proc/meminfo: memFree=1838064/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=22932 CPUtime=0.69
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 6881 0 0 0 65 4 0 0 22 0 1 0 219382210 23482368 5319 1992294400 134512640 136057169 4294956160 18446744073709551615 134774431 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 5733 5319 166 377 0 5353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22932

[startup+1.50178 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 26530
/proc/meminfo: memFree=1817384/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=19284 CPUtime=1.49
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 6923 0 0 0 145 4 0 0 25 0 1 0 219382210 19746816 4609 1992294400 134512640 136057169 4294956160 18446744073709551615 134811641 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 4821 4609 178 377 0 4441 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19284

[startup+3.10195 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 26530
/proc/meminfo: memFree=1819944/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=19284 CPUtime=3.09
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 6927 0 0 0 305 4 0 0 25 0 1 0 219382210 19746816 4613 1992294400 134512640 136057169 4294956160 18446744073709551615 134756826 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 4821 4613 182 377 0 4441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19284

[startup+6.30129 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 26530
/proc/meminfo: memFree=1819816/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=19284 CPUtime=6.29
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 6927 0 0 0 625 4 0 0 25 0 1 0 219382210 19746816 4613 1992294400 134512640 136057169 4294956160 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 4821 4613 182 377 0 4441 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19284

[startup+12.702 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 26530
/proc/meminfo: memFree=1810424/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=29544 CPUtime=12.69
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 9463 0 0 0 1263 6 0 0 25 0 1 0 219382210 30253056 7149 1992294400 134512640 136057169 4294956160 18446744073709551615 134823884 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 7386 7149 182 377 0 7006 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29544

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26530
/proc/meminfo: memFree=1803704/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=35848 CPUtime=25.48
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 11044 0 0 0 2541 7 0 0 25 0 1 0 219382210 36708352 8730 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 8962 8730 182 377 0 8582 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35848

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26530
/proc/meminfo: memFree=1794296/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=45464 CPUtime=51.07
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 13441 0 0 0 5098 9 0 0 25 0 1 0 219382210 46555136 11127 1992294400 134512640 136057169 4294956160 18446744073709551615 134618270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 11366 11127 182 377 0 10986 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45464

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26530
/proc/meminfo: memFree=1778104/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=61544 CPUtime=102.26
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 17435 0 0 0 10212 14 0 0 25 0 1 0 219382210 63021056 15121 1992294400 134512640 136057169 4294956160 18446744073709551615 134618430 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 15386 15121 182 377 0 15006 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 61544

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1753208/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=86484 CPUtime=162.23
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 23757 0 0 0 16204 19 0 0 25 0 1 0 219382210 88559616 21307 1992294400 134512640 136057169 4294956160 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 21621 21307 182 377 0 21241 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 86484

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1753144/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=86484 CPUtime=222.21
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 23757 0 0 0 22202 19 0 0 25 0 1 0 219382210 88559616 21307 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 21621 21307 182 377 0 21241 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 86484

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1740088/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=99664 CPUtime=282.2
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 27074 0 0 0 28197 23 0 0 25 0 1 0 219382210 102055936 24624 1992294400 134512640 136057169 4294956160 18446744073709551615 134823371 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 24916 24624 182 377 0 24536 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 99664

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1720504/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=118968 CPUtime=342.19
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 31903 0 0 0 34191 28 0 0 25 0 1 0 219382210 121823232 29453 1992294400 134512640 136057169 4294956160 18446744073709551615 134823797 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 29742 29453 182 377 0 29362 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 118968

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1711160/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=128572 CPUtime=402.17
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 34291 0 0 0 40186 31 0 0 25 0 1 0 219382210 131657728 31841 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 32143 31841 182 377 0 31763 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 128572

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1692600/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=147100 CPUtime=462.15
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 38863 0 0 0 46181 34 0 0 25 0 1 0 219382210 150630400 36413 1992294400 134512640 136057169 4294956160 18446744073709551615 134618430 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 36775 36413 182 377 0 36395 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 147100

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1678904/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=160632 CPUtime=522.13
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42264 0 0 0 52176 37 0 0 25 0 1 0 219382210 164487168 39814 1992294400 134512640 136057169 4294956160 18446744073709551615 134756841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40158 39814 182 377 0 39778 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 160632

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1678904/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=160632 CPUtime=582.13
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42264 0 0 0 58175 38 0 0 25 0 1 0 219382210 164487168 39814 1992294400 134512640 136057169 4294956160 18446744073709551615 134613044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40158 39814 182 377 0 39778 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 160632

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1678904/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=160632 CPUtime=642.11
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42264 0 0 0 64173 38 0 0 25 0 1 0 219382210 164487168 39814 1992294400 134512640 136057169 4294956160 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40158 39814 182 377 0 39778 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 160632

[startup+702.301 s]

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

/proc/meminfo: memFree=1678776/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=160632 CPUtime=702.09
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42265 0 0 0 70171 38 0 0 25 0 1 0 219382210 164487168 39815 1992294400 134512640 136057169 4294956160 18446744073709551615 134618344 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40158 39815 182 377 0 39778 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 160632

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1678712/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=160632 CPUtime=762.08
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42265 0 0 0 76170 38 0 0 25 0 1 0 219382210 164487168 39815 1992294400 134512640 136057169 4294956160 18446744073709551615 134618124 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40158 39815 182 377 0 39778 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 160632

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1678712/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=160632 CPUtime=822.06
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42265 0 0 0 82168 38 0 0 25 0 1 0 219382210 164487168 39815 1992294400 134512640 136057169 4294956160 18446744073709551615 134618232 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40158 39815 182 377 0 39778 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 160632

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1677752/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=161980 CPUtime=882.05
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42702 0 0 0 88166 39 0 0 25 0 1 0 219382210 165867520 40049 1992294400 134512640 136057169 4294956160 18446744073709551615 134823846 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40495 40049 182 377 0 40115 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 161980

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1677688/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=161980 CPUtime=942.03
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 42715 0 0 0 94164 39 0 0 25 0 1 0 219382210 165867520 40062 1992294400 134512640 136057169 4294956160 18446744073709551615 134616015 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 40495 40062 182 377 0 40115 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 161980

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1664248/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=175508 CPUtime=1002.01
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 46074 0 0 0 100159 42 0 0 25 0 1 0 219382210 179720192 43421 1992294400 134512640 136057169 4294956160 18446744073709551615 134823846 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 43877 43421 182 377 0 43497 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 175508

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1647736/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=191912 CPUtime=1061.99
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 50170 0 0 0 106154 45 0 0 25 0 1 0 219382210 196517888 47517 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 47978 47517 182 377 0 47598 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 191912

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1647736/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=191912 CPUtime=1121.98
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 50170 0 0 0 112153 45 0 0 25 0 1 0 219382210 196517888 47517 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 47978 47517 182 377 0 47598 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 191912

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1647736/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=191912 CPUtime=1181.96
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 50170 0 0 0 118151 45 0 0 25 0 1 0 219382210 196517888 47517 1992294400 134512640 136057169 4294956160 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 47978 47517 182 377 0 47598 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 191912

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1241.95
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53893 0 0 0 124146 49 0 0 25 0 1 0 219382210 211697664 51240 1992294400 134512640 136057169 4294956160 18446744073709551615 134618356 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51240 182 377 0 51304 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 206736

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1301.94
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53895 0 0 0 130145 49 0 0 25 0 1 0 219382210 211697664 51242 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51242 182 377 0 51304 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 206736

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

[startup+1305.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1305.13
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53895 0 0 0 130464 49 0 0 25 0 1 0 219382210 211697664 51242 1992294400 134512640 136057169 4294956160 18446744073709551615 134820241 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51242 182 377 0 51304 0
Current children cumulated CPU time (s) 1305.13
Current children cumulated vsize (KiB) 206736

[startup+1331.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1330.73
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53899 0 0 0 133024 49 0 0 25 0 1 0 219382210 211697664 51246 1992294400 134512640 136057169 4294956160 18446744073709551615 134618270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51246 182 377 0 51304 0
Current children cumulated CPU time (s) 1330.73
Current children cumulated vsize (KiB) 206736

[startup+1337.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1337.13
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53899 0 0 0 133664 49 0 0 25 0 1 0 219382210 211697664 51246 1992294400 134512640 136057169 4294956160 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51246 182 377 0 51304 0
Current children cumulated CPU time (s) 1337.13
Current children cumulated vsize (KiB) 206736

[startup+1340.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1340.32
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53899 0 0 0 133983 49 0 0 25 0 1 0 219382210 211697664 51246 1992294400 134512640 136057169 4294956160 18446744073709551615 134820200 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51246 182 377 0 51304 0
Current children cumulated CPU time (s) 1340.32
Current children cumulated vsize (KiB) 206736

[startup+1342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1341.93
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53899 0 0 0 134144 49 0 0 25 0 1 0 219382210 211697664 51246 1992294400 134512640 136057169 4294956160 18446744073709551615 134618468 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51246 182 377 0 51304 0
Current children cumulated CPU time (s) 1341.93
Current children cumulated vsize (KiB) 206736

[startup+1343.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1342.73
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53899 0 0 0 134224 49 0 0 25 0 1 0 219382210 211697664 51246 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51246 182 377 0 51304 0
Current children cumulated CPU time (s) 1342.73
Current children cumulated vsize (KiB) 206736

[startup+1343.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632696/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1343.52
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53899 0 0 0 134303 49 0 0 25 0 1 0 219382210 211697664 51246 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51246 182 377 0 51304 0
Current children cumulated CPU time (s) 1343.52
Current children cumulated vsize (KiB) 206736

[startup+1344.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26536
/proc/meminfo: memFree=1632632/2055920 swapFree=4135464/4192956
[pid=26529] ppid=26527 vsize=206736 CPUtime=1343.72
/proc/26529/stat : 26529 (clasp) R 26527 26529 26438 0 -1 4194304 53906 0 0 0 134323 49 0 0 17 0 1 0 219382210 211697664 51253 1992294400 134512640 136057169 4294956160 18446744073709551615 134816207 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26529/statm: 51684 51253 187 377 0 51304 0
Current children cumulated CPU time (s) 1343.72
Current children cumulated vsize (KiB) 206736

Child status: 10
Real time (s): 1344.18
CPU time (s): 1343.81
CPU user time (s): 1343.28
CPU system time (s): 0.530919
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 206736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1343.28
system time used= 0.530919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53906
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= 38
involuntary context switches= 2486

runsolver used 1.06084 second user time and 2.88156 second system time

The end

Launcher Data 

Begin job on node47 at 2009-05-10 01:59:04
IDJOB=1785426
IDBENCH=70914
IDSOLVER=637
FILE ID=node47/1785426-1241913544
PBS_JOBID= 9264850
Free space on /tmp= 66192 MiB

SOLVER NAME= clasp 1.2.0-SAT09-32
BENCH NAME= SAT09/CRAFTED/edgematching/explicit/em_11_3_4_exp.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1785426-1241913544/watcher-1785426-1241913544 -o /tmp/evaluation-result-1785426-1241913544/solver-1785426-1241913544 -C 5000 -W 6000 -M 1800  HOME/clasp --file=HOME/instance-1785426-1241913544.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b7e51ccd3f2fabc77c07fa1f8f28f931
RANDOM SEED=1004208584

node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1838544 kB
Buffers:         43324 kB
Cached:          78832 kB
SwapCached:      52196 kB
Active:          72396 kB
Inactive:       103816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838544 kB
SwapTotal:     4192956 kB
SwapFree:      4135464 kB
Dirty:            7652 kB
Writeback:           0 kB
Mapped:          14528 kB
Slab:            27120 kB
Committed_AS:   775816 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66188 MiB
End job on node47 at 2009-05-10 02:21:29