Trace number 3309903

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 587SAT 162.859 21.3559

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 benchmark9.63553
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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309903-1304014405/watcher-3309903-1304014405 -o /tmp/evaluation-result-3309903-1304014405/solver-3309903-1304014405 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309903-1304014405.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.87 7.96 7.97 1/170 27078
/proc/meminfo: memFree=16745248/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=9740 CPUtime=0 cores=0-7
/proc/27078/stat : 27078 (plingeling) R 27076 27078 26251 0 -1 4202496 527 1257 0 0 0 0 0 0 21 0 1 0 513039051 9973760 457 33554432000 4194304 4417332 140733426732560 18446744073709551615 210204341209 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/27078/statm: 2435 457 147 55 0 321 0

[startup+0.0294711 s]
/proc/loadavg: 7.87 7.96 7.97 1/170 27078
/proc/meminfo: memFree=16745248/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=14432 CPUtime=0.02 cores=0-7
/proc/27078/stat : 27078 (plingeling) R 27076 27078 26251 0 -1 4202496 1733 1257 0 0 2 0 0 0 21 0 1 0 513039051 14778368 1631 33554432000 4194304 4417332 140733426732560 18446744073709551615 4231490 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/27078/statm: 3608 1631 148 55 0 1494 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14432

[startup+0.100449 s]
/proc/loadavg: 7.87 7.96 7.97 1/170 27078
/proc/meminfo: memFree=16745248/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=22860 CPUtime=0.09 cores=0-7
/proc/27078/stat : 27078 (plingeling) R 27076 27078 26251 0 -1 4202496 3976 1257 0 0 9 0 0 0 21 0 1 0 513039051 23408640 3738 33554432000 4194304 4417332 140733426732560 18446744073709551615 210204266107 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/27078/statm: 5715 3738 148 55 0 3601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22860

[startup+0.300416 s]
/proc/loadavg: 7.87 7.96 7.97 1/170 27078
/proc/meminfo: memFree=16745248/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=84480 CPUtime=0.29 cores=0-7
/proc/27078/stat : 27078 (plingeling) R 27076 27078 26251 0 -1 4202496 19391 1257 0 0 26 3 0 0 22 0 1 0 513039051 86507520 19143 33554432000 4194304 4417332 140733426732560 18446744073709551615 210204265998 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/27078/statm: 21120 19143 148 55 0 19006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84480

[startup+0.70035 s]
/proc/loadavg: 7.87 7.96 7.97 1/170 27078
/proc/meminfo: memFree=16745248/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=150016 CPUtime=0.69 cores=0-7
/proc/27078/stat : 27078 (plingeling) R 27076 27078 26251 0 -1 4202496 35775 1257 0 0 64 5 0 0 23 0 1 0 513039051 153616384 35527 33554432000 4194304 4417332 140733426732560 18446744073709551615 4231631 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/27078/statm: 37504 35527 148 55 0 35390 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 150016

[startup+1.50018 s]
/proc/loadavg: 7.32 7.84 7.93 2/171 27085
/proc/meminfo: memFree=16537912/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=370716 CPUtime=4.6 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 70730 1257 0 0 451 9 0 0 18 0 9 0 513039051 379613184 54013 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 92679 54013 175 55 0 90565 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 370716

[startup+3.10092 s]
/proc/loadavg: 7.32 7.84 7.93 9/179 27093
/proc/meminfo: memFree=16528052/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=378428 CPUtime=17.4 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 74119 1257 0 0 1731 9 0 0 18 0 9 0 513039051 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 94607 55943 177 55 0 92493 0
[pid=27078/tid=27086] ppid=27076 vsize=378428 CPUtime=2.05 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 878 1257 0 0 205 0 0 0 21 0 9 0 513039155 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4278500 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27087] ppid=27076 vsize=378428 CPUtime=2.04 cores=0-7
/proc/27078/task/27087/stat : 27087 (plingeling) R 27076 27078 26251 0 -1 4202560 898 1257 0 0 204 0 0 0 21 0 9 0 513039155 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4278192 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27078/tid=27088] ppid=27076 vsize=378428 CPUtime=2.05 cores=0-7
/proc/27078/task/27088/stat : 27088 (plingeling) R 27076 27078 26251 0 -1 4202560 170 1257 0 0 205 0 0 0 21 0 9 0 513039155 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4269707 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27078/tid=27089] ppid=27076 vsize=378428 CPUtime=2.04 cores=0-7
/proc/27078/task/27089/stat : 27089 (plingeling) R 27076 27078 26251 0 -1 4202560 966 1257 0 0 204 0 0 0 21 0 9 0 513039155 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4265450 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27078/tid=27090] ppid=27076 vsize=378428 CPUtime=2.05 cores=0-7
/proc/27078/task/27090/stat : 27090 (plingeling) R 27076 27078 26251 0 -1 4202560 723 1257 0 0 205 0 0 0 25 0 9 0 513039155 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27078/tid=27091] ppid=27076 vsize=378428 CPUtime=2.01 cores=0-7
/proc/27078/task/27091/stat : 27091 (plingeling) R 27076 27078 26251 0 -1 4202560 494 1257 0 0 201 0 0 0 21 0 9 0 513039156 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4277485 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27078/tid=27092] ppid=27076 vsize=378428 CPUtime=2.04 cores=0-7
/proc/27078/task/27092/stat : 27092 (plingeling) R 27076 27078 26251 0 -1 4202560 568 1257 0 0 204 0 0 0 21 0 9 0 513039156 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4234384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=378428 CPUtime=2.04 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 863 1257 0 0 204 0 0 0 21 0 9 0 513039156 387510272 55943 33554432000 4194304 4417332 140733426732560 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.4
Current children cumulated vsize (KiB) 378428

[startup+6.30038 s]
/proc/loadavg: 7.32 7.84 7.93 9/179 27093
/proc/meminfo: memFree=16476160/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=431336 CPUtime=42.94 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 119500 1257 0 0 4273 21 0 0 18 0 9 0 513039051 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 107834 69175 181 55 0 105720 0
[pid=27078/tid=27086] ppid=27076 vsize=431336 CPUtime=5.24 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 7467 1257 0 0 523 1 0 0 25 0 9 0 513039155 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4356917 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27087] ppid=27076 vsize=431336 CPUtime=5.24 cores=0-7
/proc/27078/task/27087/stat : 27087 (plingeling) R 27076 27078 26251 0 -1 4202560 7646 1257 0 0 523 1 0 0 25 0 9 0 513039155 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4365122 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27078/tid=27088] ppid=27076 vsize=431336 CPUtime=5.23 cores=0-7
/proc/27078/task/27088/stat : 27088 (plingeling) R 27076 27078 26251 0 -1 4202560 4470 1257 0 0 522 1 0 0 25 0 9 0 513039155 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27078/tid=27089] ppid=27076 vsize=431336 CPUtime=5.23 cores=0-7
/proc/27078/task/27089/stat : 27089 (plingeling) R 27076 27078 26251 0 -1 4202560 4001 1257 0 0 523 0 0 0 25 0 9 0 513039155 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27078/tid=27090] ppid=27076 vsize=431336 CPUtime=5.24 cores=0-7
/proc/27078/task/27090/stat : 27090 (plingeling) R 27076 27078 26251 0 -1 4202560 7322 1257 0 0 522 2 0 0 25 0 9 0 513039155 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4357340 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27078/tid=27091] ppid=27076 vsize=431336 CPUtime=5.17 cores=0-7
/proc/27078/task/27091/stat : 27091 (plingeling) R 27076 27078 26251 0 -1 4202560 7631 1257 0 0 516 1 0 0 25 0 9 0 513039156 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4357851 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27078/tid=27092] ppid=27076 vsize=431336 CPUtime=5.23 cores=0-7
/proc/27078/task/27092/stat : 27092 (plingeling) R 27076 27078 26251 0 -1 4202560 5160 1257 0 0 522 1 0 0 25 0 9 0 513039156 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4353424 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=431336 CPUtime=5.24 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 7244 1257 0 0 523 1 0 0 25 0 9 0 513039156 441688064 69175 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.94
Current children cumulated vsize (KiB) 431336

[startup+12.7013 s]
/proc/loadavg: 7.42 7.85 7.93 9/179 27093
/proc/meminfo: memFree=16455428/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=432544 CPUtime=94.12 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 161149 1257 0 0 9385 27 0 0 18 0 9 0 513039051 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 108136 69477 181 55 0 106022 0
[pid=27078/tid=27086] ppid=27076 vsize=432544 CPUtime=11.65 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 12610 1257 0 0 1163 2 0 0 25 0 9 0 513039155 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364818 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27087] ppid=27076 vsize=432544 CPUtime=11.64 cores=0-7
/proc/27078/task/27087/stat : 27087 (plingeling) R 27076 27078 26251 0 -1 4202560 12384 1257 0 0 1162 2 0 0 25 0 9 0 513039155 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27078/tid=27088] ppid=27076 vsize=432544 CPUtime=11.64 cores=0-7
/proc/27078/task/27088/stat : 27088 (plingeling) R 27076 27078 26251 0 -1 4202560 9624 1257 0 0 1162 2 0 0 25 0 9 0 513039155 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4251038 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27078/tid=27089] ppid=27076 vsize=432544 CPUtime=11.64 cores=0-7
/proc/27078/task/27089/stat : 27089 (plingeling) R 27076 27078 26251 0 -1 4202560 11619 1257 0 0 1162 2 0 0 25 0 9 0 513039155 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4236830 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27078/tid=27090] ppid=27076 vsize=432544 CPUtime=11.64 cores=0-7
/proc/27078/task/27090/stat : 27090 (plingeling) R 27076 27078 26251 0 -1 4202560 12394 1257 0 0 1162 2 0 0 25 0 9 0 513039155 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4234384 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27078/tid=27091] ppid=27076 vsize=432544 CPUtime=11.54 cores=0-7
/proc/27078/task/27091/stat : 27091 (plingeling) R 27076 27078 26251 0 -1 4202560 11855 1257 0 0 1152 2 0 0 25 0 9 0 513039156 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27078/tid=27092] ppid=27076 vsize=432544 CPUtime=11.63 cores=0-7
/proc/27078/task/27092/stat : 27092 (plingeling) R 27076 27078 26251 0 -1 4202560 10665 1257 0 0 1161 2 0 0 25 0 9 0 513039156 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=432544 CPUtime=11.64 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 11439 1257 0 0 1163 1 0 0 25 0 9 0 513039156 442925056 69477 33554432000 4194304 4417332 140733426732560 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 94.12
Current children cumulated vsize (KiB) 432544

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

[startup+15.9008 s]
/proc/loadavg: 7.42 7.85 7.93 9/179 27093
/proc/meminfo: memFree=16481608/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=422124 CPUtime=119.69 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 170774 1257 0 0 11940 29 0 0 18 0 9 0 513039051 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 105531 66872 181 55 0 103417 0
[pid=27078/tid=27086] ppid=27076 vsize=422124 CPUtime=14.84 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 13233 1257 0 0 1482 2 0 0 25 0 9 0 513039155 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4250980 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27087] ppid=27076 vsize=422124 CPUtime=14.84 cores=0-7
/proc/27078/task/27087/stat : 27087 (plingeling) R 27076 27078 26251 0 -1 4202560 12588 1257 0 0 1482 2 0 0 25 0 9 0 513039155 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27078/tid=27088] ppid=27076 vsize=422124 CPUtime=14.84 cores=0-7
/proc/27078/task/27088/stat : 27088 (plingeling) R 27076 27078 26251 0 -1 4202560 10124 1257 0 0 1482 2 0 0 25 0 9 0 513039155 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4366199 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27078/tid=27089] ppid=27076 vsize=422124 CPUtime=14.84 cores=0-7
/proc/27078/task/27089/stat : 27089 (plingeling) R 27076 27078 26251 0 -1 4202560 16262 1257 0 0 1481 3 0 0 25 0 9 0 513039155 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27078/tid=27090] ppid=27076 vsize=422124 CPUtime=14.84 cores=0-7
/proc/27078/task/27090/stat : 27090 (plingeling) R 27076 27078 26251 0 -1 4202560 14668 1257 0 0 1481 3 0 0 25 0 9 0 513039155 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4236982 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27078/tid=27091] ppid=27076 vsize=422124 CPUtime=14.72 cores=0-7
/proc/27078/task/27091/stat : 27091 (plingeling) R 27076 27078 26251 0 -1 4202560 11855 1257 0 0 1470 2 0 0 25 0 9 0 513039156 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4250977 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27078/tid=27092] ppid=27076 vsize=422124 CPUtime=14.83 cores=0-7
/proc/27078/task/27092/stat : 27092 (plingeling) R 27076 27078 26251 0 -1 4202560 12046 1257 0 0 1481 2 0 0 25 0 9 0 513039156 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4251164 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=422124 CPUtime=14.83 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 11439 1257 0 0 1482 1 0 0 25 0 9 0 513039156 432254976 66872 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 119.69
Current children cumulated vsize (KiB) 422124

[startup+19.1012 s]
/proc/loadavg: 7.47 7.85 7.93 9/179 27093
/proc/meminfo: memFree=16433868/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=468112 CPUtime=145.29 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 195683 1257 0 0 14495 34 0 0 18 0 9 0 513039051 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 117028 78381 181 55 0 114914 0
[pid=27078/tid=27086] ppid=27076 vsize=468112 CPUtime=18.04 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 17693 1257 0 0 1802 2 0 0 25 0 9 0 513039155 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4249193 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27087] ppid=27076 vsize=468112 CPUtime=18.04 cores=0-7
/proc/27078/task/27087/stat : 27087 (plingeling) R 27076 27078 26251 0 -1 4202560 12588 1257 0 0 1802 2 0 0 25 0 9 0 513039155 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364942 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27078/tid=27088] ppid=27076 vsize=468112 CPUtime=18.04 cores=0-7
/proc/27078/task/27088/stat : 27088 (plingeling) R 27076 27078 26251 0 -1 4202560 14551 1257 0 0 1801 3 0 0 25 0 9 0 513039155 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27078/tid=27089] ppid=27076 vsize=468112 CPUtime=18.03 cores=0-7
/proc/27078/task/27089/stat : 27089 (plingeling) R 27076 27078 26251 0 -1 4202560 19660 1257 0 0 1800 3 0 0 25 0 9 0 513039155 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4320952 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27078/tid=27090] ppid=27076 vsize=468112 CPUtime=18.04 cores=0-7
/proc/27078/task/27090/stat : 27090 (plingeling) R 27076 27078 26251 0 -1 4202560 21714 1257 0 0 1800 4 0 0 25 0 9 0 513039155 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27078/tid=27091] ppid=27076 vsize=468112 CPUtime=17.9 cores=0-7
/proc/27078/task/27091/stat : 27091 (plingeling) R 27076 27078 26251 0 -1 4202560 12331 1257 0 0 1788 2 0 0 25 0 9 0 513039156 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27078/tid=27092] ppid=27076 vsize=468112 CPUtime=18.04 cores=0-7
/proc/27078/task/27092/stat : 27092 (plingeling) R 27076 27078 26251 0 -1 4202560 16763 1257 0 0 1800 4 0 0 25 0 9 0 513039156 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4356881 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=468112 CPUtime=18.03 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 11824 1257 0 0 1802 1 0 0 25 0 9 0 513039156 479346688 78381 33554432000 4194304 4417332 140733426732560 18446744073709551615 4277805 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 145.29
Current children cumulated vsize (KiB) 468112

[startup+20.701 s]
/proc/loadavg: 7.47 7.85 7.93 9/179 27093
/proc/meminfo: memFree=16474292/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=432816 CPUtime=158.08 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 200933 1257 0 0 15773 35 0 0 18 0 9 0 513039051 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 108204 69545 181 55 0 106090 0
[pid=27078/tid=27086] ppid=27076 vsize=432816 CPUtime=19.64 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 18189 1257 0 0 1962 2 0 0 25 0 9 0 513039155 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27087] ppid=27076 vsize=432816 CPUtime=19.64 cores=0-7
/proc/27078/task/27087/stat : 27087 (plingeling) R 27076 27078 26251 0 -1 4202560 12588 1257 0 0 1962 2 0 0 25 0 9 0 513039155 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27078/tid=27088] ppid=27076 vsize=432816 CPUtime=19.64 cores=0-7
/proc/27078/task/27088/stat : 27088 (plingeling) R 27076 27078 26251 0 -1 4202560 15823 1257 0 0 1961 3 0 0 25 0 9 0 513039155 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4353461 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27078/tid=27089] ppid=27076 vsize=432816 CPUtime=19.64 cores=0-7
/proc/27078/task/27089/stat : 27089 (plingeling) R 27076 27078 26251 0 -1 4202560 20861 1257 0 0 1960 4 0 0 25 0 9 0 513039155 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27078/tid=27090] ppid=27076 vsize=432816 CPUtime=19.64 cores=0-7
/proc/27078/task/27090/stat : 27090 (plingeling) R 27076 27078 26251 0 -1 4202560 23248 1257 0 0 1960 4 0 0 25 0 9 0 513039155 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4236830 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27078/tid=27091] ppid=27076 vsize=432816 CPUtime=19.5 cores=0-7
/proc/27078/task/27091/stat : 27091 (plingeling) R 27076 27078 26251 0 -1 4202560 12417 1257 0 0 1948 2 0 0 25 0 9 0 513039156 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27078/tid=27092] ppid=27076 vsize=432816 CPUtime=19.63 cores=0-7
/proc/27078/task/27092/stat : 27092 (plingeling) R 27076 27078 26251 0 -1 4202560 17347 1257 0 0 1959 4 0 0 25 0 9 0 513039156 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4365065 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=432816 CPUtime=19.63 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 11901 1257 0 0 1962 1 0 0 25 0 9 0 513039156 443203584 69545 33554432000 4194304 4417332 140733426732560 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 158.08
Current children cumulated vsize (KiB) 432816

[startup+21.1009 s]
/proc/loadavg: 7.47 7.85 7.93 9/179 27093
/proc/meminfo: memFree=16467772/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=439984 CPUtime=161.27 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 202725 1257 0 0 16092 35 0 0 18 0 9 0 513039051 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 109996 71337 181 55 0 107882 0
[pid=27078/tid=27086] ppid=27076 vsize=439984 CPUtime=20.04 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 18189 1257 0 0 2002 2 0 0 25 0 9 0 513039155 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27087] ppid=27076 vsize=439984 CPUtime=20.04 cores=0-7
/proc/27078/task/27087/stat : 27087 (plingeling) R 27076 27078 26251 0 -1 4202560 12588 1257 0 0 2002 2 0 0 25 0 9 0 513039155 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27078/tid=27088] ppid=27076 vsize=439984 CPUtime=20.04 cores=0-7
/proc/27078/task/27088/stat : 27088 (plingeling) R 27076 27078 26251 0 -1 4202560 16434 1257 0 0 2001 3 0 0 25 0 9 0 513039155 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 18446744073699065949 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27078/tid=27089] ppid=27076 vsize=439984 CPUtime=20.04 cores=0-7
/proc/27078/task/27089/stat : 27089 (plingeling) R 27076 27078 26251 0 -1 4202560 21922 1257 0 0 2000 4 0 0 25 0 9 0 513039155 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364581 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27078/tid=27090] ppid=27076 vsize=439984 CPUtime=20.04 cores=0-7
/proc/27078/task/27090/stat : 27090 (plingeling) R 27076 27078 26251 0 -1 4202560 23368 1257 0 0 2000 4 0 0 25 0 9 0 513039155 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364351 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27078/tid=27091] ppid=27076 vsize=439984 CPUtime=19.89 cores=0-7
/proc/27078/task/27091/stat : 27091 (plingeling) R 27076 27078 26251 0 -1 4202560 12417 1257 0 0 1987 2 0 0 25 0 9 0 513039156 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27078/tid=27092] ppid=27076 vsize=439984 CPUtime=20.03 cores=0-7
/proc/27078/task/27092/stat : 27092 (plingeling) R 27076 27078 26251 0 -1 4202560 17347 1257 0 0 1999 4 0 0 25 0 9 0 513039156 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=439984 CPUtime=20.03 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 11901 1257 0 0 2002 1 0 0 25 0 9 0 513039156 450543616 71337 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (KiB) 439984

[startup+21.3009 s]
/proc/loadavg: 7.47 7.85 7.93 9/179 27093
/proc/meminfo: memFree=16467772/32951124 swapFree=67111528/67111528
[pid=27078] ppid=27076 vsize=443516 CPUtime=162.78 cores=0-7
/proc/27078/stat : 27078 (plingeling) S 27076 27078 26251 0 -1 4202496 203918 1257 0 0 16242 36 0 0 18 0 3 0 513039051 454160384 72221 33554432000 4194304 4417332 140733426732560 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/27078/statm: 110879 72221 182 55 0 108765 0
[pid=27078/tid=27086] ppid=27076 vsize=443516 CPUtime=20.25 cores=0-7
/proc/27078/task/27086/stat : 27086 (plingeling) R 27076 27078 26251 0 -1 4202560 18462 1257 0 0 2022 3 0 0 25 0 3 0 513039155 454160384 72221 33554432000 4194304 4417332 140733426732560 18446744073709551615 4263136 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27078/tid=27093] ppid=27076 vsize=443516 CPUtime=20.23 cores=0-7
/proc/27078/task/27093/stat : 27093 (plingeling) R 27076 27078 26251 0 -1 4202560 11920 1257 0 0 2022 1 0 0 25 0 3 0 513039156 454160384 72221 33554432000 4194304 4417332 140733426732560 18446744073709551615 4364899 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 162.78
Current children cumulated vsize (KiB) 443516

Child status: 10
Real time (s): 21.3559
CPU time (s): 162.859
CPU user time (s): 162.482
CPU system time (s): 0.376942
CPU usage (%): 762.596
Max. virtual memory (cumulated for all children) (KiB): 509244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.482
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205190
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= 225
involuntary context switches= 732

runsolver used 0.038994 second user time and 0.079987 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-28 20:13:26
IDJOB=3309903
IDBENCH=83443
IDSOLVER=1695
FILE ID=node130/3309903-1304014405
RUNJOBID= node130-1304008132-26265
PBS_JOBID= 13168841
Free space on /tmp= 71984 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309903-1304014405/watcher-3309903-1304014405 -o /tmp/evaluation-result-3309903-1304014405/solver-3309903-1304014405 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3309903-1304014405.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1442697015

node130.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.838
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.67
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.838
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.83
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.838
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.75
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.838
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.81
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.838
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.75
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.838
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.83
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.838
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.75
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16745412 kB
Buffers:       2125864 kB
Cached:       13460456 kB
SwapCached:          0 kB
Active:        7422968 kB
Inactive:      8226992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16745412 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11480 kB
Writeback:           0 kB
AnonPages:       64016 kB
Mapped:          15116 kB
Slab:           489388 kB
PageTables:       3872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71984 MiB
End job on node130 at 2011-04-28 20:13:47