Trace number 3371336

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
Plingeling 587f (fixed)SAT 46.9739 12.3481

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3371336-1305429206/watcher-3371336-1305429206 -o /tmp/evaluation-result-3371336-1305429206/solver-3371336-1305429206 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371336-1305429206.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11823
/proc/meminfo: memFree=21481200/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=9916 CPUtime=0 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) R 11821 11823 4856 0 -1 4202496 573 1250 0 0 0 0 0 0 18 0 1 0 654518800 10153984 503 33554432000 4194304 4417452 140735173189856 18446744073709551615 4231579 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/11823/statm: 2479 503 148 55 0 365 0

[startup+0.0240099 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11823
/proc/meminfo: memFree=21481200/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=12688 CPUtime=0.01 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) R 11821 11823 4856 0 -1 4202496 1303 1250 0 0 1 0 0 0 18 0 1 0 654518800 12992512 1197 33554432000 4194304 4417452 140735173189856 18446744073709551615 4231256 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/11823/statm: 3172 1197 149 55 0 1058 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12688

[startup+0.101005 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11823
/proc/meminfo: memFree=21481200/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=30172 CPUtime=0.08 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) R 11821 11823 4856 0 -1 4202496 5682 1250 0 0 8 0 0 0 18 0 1 0 654518800 30896128 5552 33554432000 4194304 4417452 140735173189856 18446744073709551615 232335892224 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/11823/statm: 7543 5552 149 55 0 5429 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30172

[startup+0.300965 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11823
/proc/meminfo: memFree=21481200/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=79324 CPUtime=0.29 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) R 11821 11823 4856 0 -1 4202496 17970 1250 0 0 27 2 0 0 19 0 1 0 654518800 81227776 17840 33554432000 4194304 4417452 140735173189856 18446744073709551615 4259896 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/11823/statm: 19831 17840 149 55 0 17717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79324

[startup+0.700849 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11823
/proc/meminfo: memFree=21481200/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=156052 CPUtime=1.03 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 35142 1250 0 0 99 4 0 0 19 0 5 0 654518800 159797248 26825 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 39013 26825 172 55 0 36899 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 156052

[startup+1.5007 s]
/proc/loadavg: 0.94 1.44 1.76 9/293 11833
/proc/meminfo: memFree=21370304/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=159316 CPUtime=4.22 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 36343 1250 0 0 418 4 0 0 19 0 5 0 654518800 163139584 27621 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 39829 27621 174 55 0 37715 0
[pid=11823/tid=11830] ppid=11821 vsize=159316 CPUtime=0.92 cores=1,3,5,7
/proc/11823/task/11830/stat : 11830 (plingeling) R 11821 11823 4856 0 -1 4202560 386 1250 0 0 92 0 0 0 23 0 5 0 654518856 163139584 27621 33554432000 4194304 4417452 140735173189856 18446744073709551615 4309503 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11823/tid=11831] ppid=11821 vsize=159316 CPUtime=0.87 cores=1,3,5,7
/proc/11823/task/11831/stat : 11831 (plingeling) R 11821 11823 4856 0 -1 4202560 140 1250 0 0 87 0 0 0 23 0 5 0 654518856 163139584 27621 33554432000 4194304 4417452 140735173189856 18446744073709551615 4305812 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11823/tid=11832] ppid=11821 vsize=159316 CPUtime=0.93 cores=1,3,5,7
/proc/11823/task/11832/stat : 11832 (plingeling) R 11821 11823 4856 0 -1 4202560 315 1250 0 0 93 0 0 0 23 0 5 0 654518856 163139584 27621 33554432000 4194304 4417452 140735173189856 18446744073709551615 4309783 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11823/tid=11833] ppid=11821 vsize=159316 CPUtime=0.92 cores=1,3,5,7
/proc/11823/task/11833/stat : 11833 (plingeling) R 11821 11823 4856 0 -1 4202560 1136 1250 0 0 92 0 0 0 23 0 5 0 654518856 163139584 27621 33554432000 4194304 4417452 140735173189856 18446744073709551615 4244345 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 159316

[startup+3.10042 s]
/proc/loadavg: 0.94 1.44 1.76 9/293 11869
/proc/meminfo: memFree=21356888/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=209336 CPUtime=10.61 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 52989 1250 0 0 1053 8 0 0 19 0 5 0 654518800 214360064 40121 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 52334 40121 179 55 0 50220 0
[pid=11823/tid=11830] ppid=11821 vsize=209336 CPUtime=2.52 cores=1,3,5,7
/proc/11823/task/11830/stat : 11830 (plingeling) R 11821 11823 4856 0 -1 4202560 5329 1250 0 0 251 1 0 0 25 0 5 0 654518856 214360064 40121 33554432000 4194304 4417452 140735173189856 18446744073709551615 4239408 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11823/tid=11831] ppid=11821 vsize=209336 CPUtime=2.47 cores=1,3,5,7
/proc/11823/task/11831/stat : 11831 (plingeling) R 11821 11823 4856 0 -1 4202560 5279 1250 0 0 246 1 0 0 25 0 5 0 654518856 214360064 40121 33554432000 4194304 4417452 140735173189856 18446744073709551615 4239626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11823/tid=11832] ppid=11821 vsize=209336 CPUtime=2.53 cores=1,3,5,7
/proc/11823/task/11832/stat : 11832 (plingeling) R 11821 11823 4856 0 -1 4202560 4761 1250 0 0 253 0 0 0 25 0 5 0 654518856 214360064 40121 33554432000 4194304 4417452 140735173189856 18446744073709551615 4248229 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11823/tid=11833] ppid=11821 vsize=209336 CPUtime=2.51 cores=1,3,5,7
/proc/11823/task/11833/stat : 11833 (plingeling) R 11821 11823 4856 0 -1 4202560 3254 1250 0 0 251 0 0 0 25 0 5 0 654518856 214360064 40121 33554432000 4194304 4417452 140735173189856 18446744073709551615 4232783 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.61
Current children cumulated vsize (KiB) 209336

[startup+6.30086 s]
/proc/loadavg: 1.50 1.55 1.80 9/293 11869
/proc/meminfo: memFree=21304604/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=252996 CPUtime=23.38 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 63788 1250 0 0 2328 10 0 0 19 0 5 0 654518800 259067904 34669 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 63249 34669 179 55 0 61135 0
[pid=11823/tid=11830] ppid=11821 vsize=252996 CPUtime=5.72 cores=1,3,5,7
/proc/11823/task/11830/stat : 11830 (plingeling) R 11821 11823 4856 0 -1 4202560 7689 1250 0 0 571 1 0 0 25 0 5 0 654518856 259067904 34669 33554432000 4194304 4417452 140735173189856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11823/tid=11831] ppid=11821 vsize=252996 CPUtime=5.67 cores=1,3,5,7
/proc/11823/task/11831/stat : 11831 (plingeling) R 11821 11823 4856 0 -1 4202560 8145 1250 0 0 566 1 0 0 25 0 5 0 654518856 259067904 34669 33554432000 4194304 4417452 140735173189856 18446744073709551615 4278192 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11823/tid=11832] ppid=11821 vsize=252996 CPUtime=5.73 cores=1,3,5,7
/proc/11823/task/11832/stat : 11832 (plingeling) R 11821 11823 4856 0 -1 4202560 5209 1250 0 0 573 0 0 0 25 0 5 0 654518856 259067904 34669 33554432000 4194304 4417452 140735173189856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11823/tid=11833] ppid=11821 vsize=252996 CPUtime=5.68 cores=1,3,5,7
/proc/11823/task/11833/stat : 11833 (plingeling) R 11821 11823 4856 0 -1 4202560 8379 1250 0 0 567 1 0 0 25 0 5 0 654518856 259067904 34669 33554432000 4194304 4417452 140735173189856 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.38
Current children cumulated vsize (KiB) 252996

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

[startup+9.50029 s]
/proc/loadavg: 2.02 1.65 1.83 6/286 11890
/proc/meminfo: memFree=21340892/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=263416 CPUtime=36.15 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 82914 1250 0 0 3602 13 0 0 19 0 5 0 654518800 269737984 37275 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 65854 37275 180 55 0 63740 0
[pid=11823/tid=11830] ppid=11821 vsize=263416 CPUtime=8.92 cores=1,3,5,7
/proc/11823/task/11830/stat : 11830 (plingeling) R 11821 11823 4856 0 -1 4202560 12314 1250 0 0 890 2 0 0 25 0 5 0 654518856 269737984 37275 33554432000 4194304 4417452 140735173189856 18446744073709551615 4250886 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11823/tid=11831] ppid=11821 vsize=263416 CPUtime=8.87 cores=1,3,5,7
/proc/11823/task/11831/stat : 11831 (plingeling) R 11821 11823 4856 0 -1 4202560 13429 1250 0 0 885 2 0 0 25 0 5 0 654518856 269737984 37275 33554432000 4194304 4417452 140735173189856 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11823/tid=11832] ppid=11821 vsize=263416 CPUtime=8.92 cores=1,3,5,7
/proc/11823/task/11832/stat : 11832 (plingeling) R 11821 11823 4856 0 -1 4202560 10051 1250 0 0 891 1 0 0 25 0 5 0 654518856 269737984 37275 33554432000 4194304 4417452 140735173189856 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11823/tid=11833] ppid=11821 vsize=263416 CPUtime=8.85 cores=1,3,5,7
/proc/11823/task/11833/stat : 11833 (plingeling) R 11821 11823 4856 0 -1 4202560 12754 1250 0 0 883 2 0 0 25 0 5 0 654518856 269737984 37275 33554432000 4194304 4417452 140735173189856 18446744073709551615 4250750 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 36.15
Current children cumulated vsize (KiB) 263416

[startup+11.101 s]
/proc/loadavg: 2.02 1.65 1.83 9/293 11905
/proc/meminfo: memFree=21283556/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=248636 CPUtime=42.54 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 87022 1250 0 0 4240 14 0 0 19 0 5 0 654518800 254603264 33580 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 62159 33580 180 55 0 60045 0
[pid=11823/tid=11830] ppid=11821 vsize=248636 CPUtime=10.52 cores=1,3,5,7
/proc/11823/task/11830/stat : 11830 (plingeling) R 11821 11823 4856 0 -1 4202560 13139 1250 0 0 1050 2 0 0 25 0 5 0 654518856 254603264 33580 33554432000 4194304 4417452 140735173189856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11823/tid=11831] ppid=11821 vsize=248636 CPUtime=10.47 cores=1,3,5,7
/proc/11823/task/11831/stat : 11831 (plingeling) R 11821 11823 4856 0 -1 4202560 14272 1250 0 0 1045 2 0 0 25 0 5 0 654518856 254603264 33580 33554432000 4194304 4417452 140735173189856 18446744073709551615 4250633 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11823/tid=11832] ppid=11821 vsize=248636 CPUtime=10.53 cores=1,3,5,7
/proc/11823/task/11832/stat : 11832 (plingeling) R 11821 11823 4856 0 -1 4202560 10051 1250 0 0 1052 1 0 0 25 0 5 0 654518856 254603264 33580 33554432000 4194304 4417452 140735173189856 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11823/tid=11833] ppid=11821 vsize=248636 CPUtime=10.43 cores=1,3,5,7
/proc/11823/task/11833/stat : 11833 (plingeling) R 11821 11823 4856 0 -1 4202560 15194 1250 0 0 1041 2 0 0 25 0 5 0 654518856 254603264 33580 33554432000 4194304 4417452 140735173189856 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 42.54
Current children cumulated vsize (KiB) 248636

[startup+11.9009 s]
/proc/loadavg: 2.02 1.65 1.83 9/293 11905
/proc/meminfo: memFree=21283556/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=250984 CPUtime=45.73 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 88858 1250 0 0 4559 14 0 0 19 0 5 0 654518800 257007616 34167 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 62746 34167 180 55 0 60632 0
[pid=11823/tid=11830] ppid=11821 vsize=250984 CPUtime=11.32 cores=1,3,5,7
/proc/11823/task/11830/stat : 11830 (plingeling) R 11821 11823 4856 0 -1 4202560 13962 1250 0 0 1130 2 0 0 25 0 5 0 654518856 257007616 34167 33554432000 4194304 4417452 140735173189856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11823/tid=11831] ppid=11821 vsize=250984 CPUtime=11.27 cores=1,3,5,7
/proc/11823/task/11831/stat : 11831 (plingeling) R 11821 11823 4856 0 -1 4202560 14913 1250 0 0 1125 2 0 0 25 0 5 0 654518856 257007616 34167 33554432000 4194304 4417452 140735173189856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11823/tid=11832] ppid=11821 vsize=250984 CPUtime=11.33 cores=1,3,5,7
/proc/11823/task/11832/stat : 11832 (plingeling) R 11821 11823 4856 0 -1 4202560 10051 1250 0 0 1132 1 0 0 25 0 5 0 654518856 257007616 34167 33554432000 4194304 4417452 140735173189856 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11823/tid=11833] ppid=11821 vsize=250984 CPUtime=11.23 cores=1,3,5,7
/proc/11823/task/11833/stat : 11833 (plingeling) R 11821 11823 4856 0 -1 4202560 15566 1250 0 0 1121 2 0 0 25 0 5 0 654518856 257007616 34167 33554432000 4194304 4417452 140735173189856 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 45.73
Current children cumulated vsize (KiB) 250984

[startup+12.3008 s]
/proc/loadavg: 2.02 1.65 1.83 10/293 11905
/proc/meminfo: memFree=21263592/32951124 swapFree=66457188/67111528
[pid=11823] ppid=11821 vsize=254036 CPUtime=46.91 cores=1,3,5,7
/proc/11823/stat : 11823 (plingeling) S 11821 11823 4856 0 -1 4202496 89758 1250 0 0 4677 14 0 0 19 0 2 0 654518800 260132864 34931 33554432000 4194304 4417452 140735173189856 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/11823/statm: 63509 34931 181 55 0 61395 0
[pid=11823/tid=11830] ppid=11821 vsize=254036 CPUtime=11.72 cores=1,3,5,7
/proc/11823/task/11830/stat : 11830 (plingeling) R 11821 11823 4856 0 -1 4202560 13962 1250 0 0 1170 2 0 0 25 0 2 0 654518856 260132864 34931 33554432000 4194304 4417452 140735173189856 18446744073709551615 4260736 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.91
Current children cumulated vsize (KiB) 254036

Child status: 10
Real time (s): 12.3481
CPU time (s): 46.9739
CPU user time (s): 46.8159
CPU system time (s): 0.157975
CPU usage (%): 380.414
Max. virtual memory (cumulated for all children) (KiB): 311388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.8159
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91203
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= 55
involuntary context switches= 217

runsolver used 0.029995 second user time and 0.093985 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 05:13:26
IDJOB=3371336
IDBENCH=83443
IDSOLVER=1848
FILE ID=node132/3371336-1305429206
RUNJOBID= node132-1305429206-11795
PBS_JOBID= 13324569
Free space on /tmp= 73356 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3371336-1305429206/watcher-3371336-1305429206 -o /tmp/evaluation-result-3371336-1305429206/solver-3371336-1305429206 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371336-1305429206.cnf

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1690957833

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21481232 kB
Buffers:        286856 kB
Cached:        5606420 kB
SwapCached:       6904 kB
Active:        4842164 kB
Inactive:      6322892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21481232 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           13808 kB
Writeback:           0 kB
AnonPages:     5269512 kB
Mapped:          19416 kB
Slab:           217840 kB
PageTables:      24560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34825740 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73352 MiB
End job on node132 at 2011-05-15 05:13:39