Trace number 1561493

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
SATzilla2009_I 2009-03-22SAT 270.127 271.613

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
MD5SUMe72d819fa5b57b6476ac56a442ceab9b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.73928
Satisfiable
(Un)Satisfiability was proved
Number of variables12584
Number of clauses681936
Sum of the clauses size1576368
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2543628
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

Solver Data 

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

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-1561493-1238766708/watcher-1561493-1238766708 -o /tmp/evaluation-result-1561493-1238766708/solver-1561493-1238766708 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1561493-1238766708.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 17758
/proc/meminfo: memFree=1762240/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=42624 CPUtime=0.29
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 10038 0 0 0 24 5 0 0 20 0 1 0 1149334925 43646976 10032 1992294400 134512640 135078026 4294956192 18446744073709551615 134566031 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 10656 10032 54 138 0 10515 0

[startup+0.398289 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 17758
/proc/meminfo: memFree=1762240/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=48432 CPUtime=0.39
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 11730 0 0 0 33 6 0 0 20 0 1 0 1149334925 49594368 11724 1992294400 134512640 135078026 4294956192 18446744073709551615 134721493 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 12108 11724 54 138 0 11967 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 50488

[startup+0.401282 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 17758
/proc/meminfo: memFree=1762240/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=48564 CPUtime=0.39
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 11767 0 0 0 33 6 0 0 20 0 1 0 1149334925 49729536 11761 1992294400 134512640 135078026 4294956192 18446744073709551615 134566013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 12141 11761 54 138 0 12000 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 50620

[startup+0.5013 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 17758
/proc/meminfo: memFree=1762240/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=40104 CPUtime=0.48
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 12447 0 0 0 42 6 0 0 21 0 1 0 1149334925 41066496 9765 1992294400 134512640 135078026 4294956192 18446744073709551615 134560872 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 10026 9765 55 138 0 9885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 42160

[startup+0.701325 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 17758
/proc/meminfo: memFree=1762240/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=40104 CPUtime=0.68
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 12447 0 0 0 62 6 0 0 23 0 1 0 1149334925 41066496 9765 1992294400 134512640 135078026 4294956192 18446744073709551615 134561280 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 10026 9765 55 138 0 9885 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42160

[startup+1.50143 s]
/proc/loadavg: 1.99 1.97 1.99 3/88 17760
/proc/meminfo: memFree=1721520/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=40236 CPUtime=1.48
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 12475 0 0 0 142 6 0 0 25 0 1 0 1149334925 41201664 9793 1992294400 134512640 135078026 4294956192 18446744073709551615 134569165 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 10059 9793 55 138 0 9918 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42292

[startup+3.10263 s]
/proc/loadavg: 1.99 1.97 1.99 3/88 17760
/proc/meminfo: memFree=1718832/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=39844 CPUtime=3.08
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 13809 0 0 0 301 7 0 0 25 0 1 0 1149334925 40800256 9765 1992294400 134512640 135078026 4294956192 18446744073709551615 134538312 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 9961 9765 71 138 0 9820 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41900

[startup+6.30103 s]
/proc/loadavg: 2.15 2.00 2.00 3/88 17760
/proc/meminfo: memFree=1720944/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=0
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149334925 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/17758/statm: 514 112 96 399 0 111 0
[pid=17759] ppid=17758 vsize=41428 CPUtime=6.26
/proc/17759/stat : 17759 (mxc-sr08) R 17758 17758 17410 0 -1 4194304 14210 0 0 0 618 8 0 0 25 0 1 0 1149334925 42422272 10166 1992294400 134512640 135078026 4294956192 18446744073709551615 134540582 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17759/statm: 10357 10166 71 138 0 10216 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43484

[startup+12.7028 s]
/proc/loadavg: 2.14 2.00 2.00 3/88 17761
/proc/meminfo: memFree=1736440/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=2056 CPUtime=9.99
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 152 14783 0 0 0 0 990 9 16 0 1 0 1149334925 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 514 121 104 399 0 111 0
[pid=17761] ppid=17758 vsize=29080 CPUtime=2.63
/proc/17761/stat : 17761 (picosat846) R 17758 17758 17410 0 -1 4194304 6643 0 0 0 259 4 0 0 25 0 1 0 1149335931 29777920 6617 1992294400 134512640 134570484 4294956192 18446744073709551615 134549817 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17761/statm: 7270 6617 85 14 0 6936 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 31136

[startup+25.5014 s]
/proc/loadavg: 2.11 2.00 2.00 3/87 17762
/proc/meminfo: memFree=1703872/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=49816 CPUtime=25.38
/proc/17758/stat : 17758 (SATzilla2009_I) R 17756 17758 17410 0 -1 4194304 12090 33531 0 0 92 5 2417 24 25 0 1 0 1149334925 51011584 12042 1992294400 134512640 136149169 4294956224 18446744073709551615 134535025 0 0 4096 0 0 0 0 17 0 0 0
/proc/17758/statm: 12454 12042 135 399 0 12051 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 49816

[startup+51.1016 s]
/proc/loadavg: 2.20 2.03 2.01 3/88 17764
/proc/meminfo: memFree=1680184/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=36340 CPUtime=16.32
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 8462 0 0 0 1627 5 0 0 25 0 1 0 1149338392 37212160 8436 1992294400 134512640 134570484 4294956192 18446744073709551615 134551609 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 9085 8436 85 14 0 8751 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 76264

[startup+102.301 s]
/proc/loadavg: 2.17 2.04 2.01 3/88 17764
/proc/meminfo: memFree=1654456/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=62464 CPUtime=67.23
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 14960 0 0 0 6715 8 0 0 25 0 1 0 1149338392 63963136 14934 1992294400 134512640 134570484 4294956192 18446744073709551615 134552909 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 15616 14934 85 14 0 15282 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 102388

[startup+162.302 s]
/proc/loadavg: 2.13 2.05 2.01 3/88 17764
/proc/meminfo: memFree=1645176/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=71296 CPUtime=126.9
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 17130 0 0 0 12680 10 0 0 25 0 1 0 1149338392 73007104 17104 1992294400 134512640 134570484 4294956192 18446744073709551615 134540753 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 17824 17104 85 14 0 17490 0
Current children cumulated CPU time (s) 161.39
Current children cumulated vsize (KiB) 111220

[startup+222.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/88 17764
/proc/meminfo: memFree=1624440/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=186.57
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 18642 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134553015 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 221.06
Current children cumulated vsize (KiB) 132968

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

[startup+230.601 s]
/proc/loadavg: 2.10 2.05 2.01 3/88 17764
/proc/meminfo: memFree=1624376/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=194.83
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 19468 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134552297 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 229.32
Current children cumulated vsize (KiB) 132968

[startup+256.201 s]
/proc/loadavg: 2.06 2.05 2.00 3/88 17764
/proc/meminfo: memFree=1624312/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=220.29
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 22014 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134523466 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 254.78
Current children cumulated vsize (KiB) 132968

[startup+262.601 s]
/proc/loadavg: 2.06 2.04 2.00 3/88 17764
/proc/meminfo: memFree=1624312/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=226.65
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 22650 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 261.14
Current children cumulated vsize (KiB) 132968

[startup+265.802 s]
/proc/loadavg: 2.13 2.06 2.01 3/88 17764
/proc/meminfo: memFree=1624312/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=229.83
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 22968 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134522224 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 264.32
Current children cumulated vsize (KiB) 132968

[startup+269.003 s]
/proc/loadavg: 2.13 2.06 2.01 3/88 17764
/proc/meminfo: memFree=1624312/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=233.02
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 23287 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134526498 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 267.51
Current children cumulated vsize (KiB) 132968

[startup+270.601 s]
/proc/loadavg: 2.12 2.06 2.01 3/88 17764
/proc/meminfo: memFree=1624312/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=234.61
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 23446 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 269.1
Current children cumulated vsize (KiB) 132968

[startup+271.401 s]
/proc/loadavg: 2.12 2.06 2.01 3/88 17764
/proc/meminfo: memFree=1624312/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=34.49
/proc/17758/stat : 17758 (SATzilla2009_I) S 17756 17758 17410 0 -1 4194304 26720 48368 0 0 791 17 2606 35 25 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
[pid=17764] ppid=17758 vsize=93044 CPUtime=235.41
/proc/17764/stat : 17764 (picosat846) R 17758 17758 17410 0 -1 4194304 22380 0 0 0 23526 15 0 0 25 0 1 0 1149338392 95277056 22354 1992294400 134512640 134570484 4294956192 18446744073709551615 134526498 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17764/statm: 23261 22354 85 14 0 22927 0
Current children cumulated CPU time (s) 269.9
Current children cumulated vsize (KiB) 132968

[startup+271.601 s]
/proc/loadavg: 2.12 2.06 2.01 3/88 17764
/proc/meminfo: memFree=1624312/2055920 swapFree=4170308/4192956
[pid=17758] ppid=17756 vsize=39924 CPUtime=270.09
/proc/17758/stat : 17758 (SATzilla2009_I) R 17756 17758 17410 0 -1 4194304 26730 70761 0 0 792 17 26147 53 19 0 1 0 1149334925 40882176 9747 1992294400 134512640 136149169 4294956224 18446744073709551615 134570673 0 0 4096 3 0 0 0 17 0 0 0
/proc/17758/statm: 9981 9747 217 399 0 9578 0
Current children cumulated CPU time (s) 270.09
Current children cumulated vsize (KiB) 39924

Child status: 10
Real time (s): 271.613
CPU time (s): 270.127
CPU user time (s): 269.405
CPU system time (s): 0.72189
CPU usage (%): 99.4529
Max. virtual memory (cumulated for all children) (KiB): 132972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.405
system time used= 0.72189
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97495
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= 18
involuntary context switches= 4372

runsolver used 0.407937 second user time and 0.98185 second system time

The end

Launcher Data 

Begin job on node92 at 2009-04-03 15:51:49
IDJOB=1561493
IDBENCH=70916
IDSOLVER=528
FILE ID=node92/1561493-1238766708
PBS_JOBID= 9085505
Free space on /tmp= 66544 MiB

SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_12_2_4_exp.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561493-1238766708/watcher-1561493-1238766708 -o /tmp/evaluation-result-1561493-1238766708/solver-1561493-1238766708 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_I HOME/instance-1561493-1238766708.cnf

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

MD5SUM BENCH= e72d819fa5b57b6476ac56a442ceab9b
RANDOM SEED=422311941

node92.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.249
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.249
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1762656 kB
Buffers:         33788 kB
Cached:         185700 kB
SwapCached:       7632 kB
Active:          93940 kB
Inactive:       135532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762656 kB
SwapTotal:     4192956 kB
SwapFree:      4170308 kB
Dirty:           42152 kB
Writeback:           0 kB
Mapped:          15684 kB
Slab:            47792 kB
Committed_AS:  1962288 kB
PageTables:       2768 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= 66512 MiB
End job on node92 at 2009-04-03 15:56:21