Trace number 3347595

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio parSAT 844.694 32.9906

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark697.813
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347595-1305388083/watcher-3347595-1305388083 -o /tmp/evaluation-result-3347595-1305388083/solver-3347595-1305388083 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347595-1305388083.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 29.89 31.07 31.63 1/413 30925
/proc/meminfo: memFree=255579972/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0

[startup+0.0608749 s]
/proc/loadavg: 29.89 31.07 31.63 1/413 30925
/proc/meminfo: memFree=255579972/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100877 s]
/proc/loadavg: 29.89 31.07 31.63 1/413 30925
/proc/meminfo: memFree=255579972/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300883 s]
/proc/loadavg: 29.89 31.07 31.63 1/413 30925
/proc/meminfo: memFree=255579972/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.70093 s]
/proc/loadavg: 29.89 31.07 31.63 1/413 30925
/proc/meminfo: memFree=255579972/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50091 s]
/proc/loadavg: 29.89 31.07 31.63 6/419 30936
/proc/meminfo: memFree=255368536/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
[pid=30926] ppid=30925 vsize=81288 CPUtime=1.48 cores=0
/proc/30926/stat : 30926 (cryptominisat) R 30925 30925 30763 0 -1 4202496 9689 0 0 0 146 2 0 0 20 0 1 0 650294792 83238912 9116 268435456000 4194304 4587354 140737396094176 18446744073709551615 4237627 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30926/statm: 20322 9116 304 96 0 16884 0
[pid=30927] ppid=30925 vsize=59124 CPUtime=1.49 cores=1
/proc/30927/stat : 30927 (clasp) R 30925 30925 30763 0 -1 4202496 13789 0 0 0 143 6 0 0 20 0 1 0 650294792 60542976 11808 268435456000 4194304 4785740 140733444653808 18446744073709551615 4495520 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30927/statm: 14781 11808 317 145 0 11826 0
[pid=30928] ppid=30925 vsize=502956 CPUtime=1.49 cores=2
/proc/30928/stat : 30928 (TNM) R 30925 30925 30763 0 -1 4202496 14625 0 0 0 144 5 0 0 20 0 1 0 650294792 515026944 14522 268435456000 134512640 134534564 4290231616 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30928/statm: 125739 14522 91 6 0 124404 0
[pid=30929] ppid=30925 vsize=71132 CPUtime=1.48 cores=3
/proc/30929/stat : 30929 (march_hi) R 30925 30925 30763 0 -1 4194304 21677 0 0 0 140 8 0 0 20 0 1 0 650294792 72839168 12194 268435456000 4194304 4331988 140736521977840 18446744073709551615 4252167 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30929/statm: 17783 12194 126 34 0 16225 0
[pid=30930] ppid=30925 vsize=149236 CPUtime=1.47 cores=4-31
/proc/30930/stat : 30930 (plingeling) R 30925 30925 30763 0 -1 4202496 36723 1238 0 0 139 8 0 0 21 0 1 0 650294792 152817664 35953 268435456000 4194304 4356188 140737318862624 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/30930/statm: 37309 35953 129 40 0 35853 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 882060

[startup+3.10098 s]
/proc/loadavg: 29.89 31.07 31.63 6/419 30936
/proc/meminfo: memFree=255146452/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
[pid=30926] ppid=30925 vsize=161272 CPUtime=3.08 cores=0
/proc/30926/stat : 30926 (cryptominisat) R 30925 30925 30763 0 -1 4202496 37489 0 0 0 299 9 0 0 25 0 1 0 650294792 165142528 27638 268435456000 4194304 4587354 140737396094176 18446744073709551615 4357656 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30926/statm: 40318 27638 314 96 0 36880 0
[pid=30927] ppid=30925 vsize=59124 CPUtime=3.09 cores=1
/proc/30927/stat : 30927 (clasp) R 30925 30925 30763 0 -1 4202496 13789 0 0 0 303 6 0 0 25 0 1 0 650294792 60542976 11808 268435456000 4194304 4785740 140733444653808 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30927/statm: 14781 11808 317 145 0 11826 0
[pid=30928] ppid=30925 vsize=502956 CPUtime=3.09 cores=2
/proc/30928/stat : 30928 (TNM) R 30925 30925 30763 0 -1 4202496 14625 0 0 0 304 5 0 0 25 0 1 0 650294792 515026944 14522 268435456000 134512640 134534564 4290231616 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30928/statm: 125739 14522 91 6 0 124404 0
[pid=30929] ppid=30925 vsize=51916 CPUtime=3.09 cores=3
/proc/30929/stat : 30929 (march_hi) R 30925 30925 30763 0 -1 4202496 64607 0 0 0 292 17 0 0 25 0 1 0 650294792 53161984 7698 268435456000 4194304 4331988 140736521977840 18446744073709551615 4256838 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30929/statm: 12979 7698 148 34 0 11421 0
[pid=30930] ppid=30925 vsize=419572 CPUtime=3.08 cores=4-31
/proc/30930/stat : 30930 (plingeling) R 30925 30925 30763 0 -1 4202496 103963 1238 0 0 285 23 0 0 25 0 1 0 650294792 429641728 103193 268435456000 4194304 4356188 140737318862624 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/30930/statm: 104893 103200 129 40 0 103437 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 1213164

[startup+6.30107 s]
/proc/loadavg: 27.90 30.64 31.49 6/419 30936
/proc/meminfo: memFree=254587616/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
[pid=30926] ppid=30925 vsize=161272 CPUtime=6.28 cores=0
/proc/30926/stat : 30926 (cryptominisat) R 30925 30925 30763 0 -1 4202496 37489 0 0 0 619 9 0 0 25 0 1 0 650294792 165142528 27638 268435456000 4194304 4587354 140737396094176 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30926/statm: 40318 27638 314 96 0 36880 0
[pid=30927] ppid=30925 vsize=59124 CPUtime=6.29 cores=1
/proc/30927/stat : 30927 (clasp) R 30925 30925 30763 0 -1 4202496 13789 0 0 0 623 6 0 0 25 0 1 0 650294792 60542976 11808 268435456000 4194304 4785740 140733444653808 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30927/statm: 14781 11808 317 145 0 11826 0
[pid=30928] ppid=30925 vsize=502956 CPUtime=6.29 cores=2
/proc/30928/stat : 30928 (TNM) R 30925 30925 30763 0 -1 4202496 14625 0 0 0 624 5 0 0 25 0 1 0 650294792 515026944 14522 268435456000 134512640 134534564 4290231616 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30928/statm: 125739 14522 91 6 0 124404 0
[pid=30929] ppid=30925 vsize=94640 CPUtime=6.28 cores=3
/proc/30929/stat : 30929 (march_hi) R 30925 30925 30763 0 -1 4202496 87375 0 0 0 607 21 0 0 25 0 1 0 650294792 96911360 17989 268435456000 4194304 4331988 140736521977840 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30929/statm: 23660 17989 149 34 0 22102 0
[pid=30930] ppid=30925 vsize=952052 CPUtime=6.28 cores=4-31
/proc/30930/stat : 30930 (plingeling) R 30925 30925 30763 0 -1 4202496 237427 1238 0 0 578 50 0 0 25 0 1 0 650294792 974901248 236657 268435456000 4194304 4356188 140737318862624 18446744073709551615 4277912 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/30930/statm: 238013 236657 129 40 0 236557 0
Current children cumulated CPU time (s) 31.42
Current children cumulated vsize (KiB) 1788368

[startup+12.7023 s]
/proc/loadavg: 28.23 30.66 31.49 33/447 30964
/proc/meminfo: memFree=253668548/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
[pid=30926] ppid=30925 vsize=161272 CPUtime=12.68 cores=0
/proc/30926/stat : 30926 (cryptominisat) R 30925 30925 30763 0 -1 4202496 37489 0 0 0 1259 9 0 0 25 0 1 0 650294792 165142528 27638 268435456000 4194304 4587354 140737396094176 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30926/statm: 40318 27638 314 96 0 36880 0
[pid=30927] ppid=30925 vsize=59124 CPUtime=12.69 cores=1
/proc/30927/stat : 30927 (clasp) R 30925 30925 30763 0 -1 4202496 13789 0 0 0 1263 6 0 0 25 0 1 0 650294792 60542976 11808 268435456000 4194304 4785740 140733444653808 18446744073709551615 4495597 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30927/statm: 14781 11808 317 145 0 11826 0
[pid=30928] ppid=30925 vsize=502956 CPUtime=12.69 cores=2
/proc/30928/stat : 30928 (TNM) R 30925 30925 30763 0 -1 4202496 14625 0 0 0 1264 5 0 0 25 0 1 0 650294792 515026944 14522 268435456000 134512640 134534564 4290231616 18446744073709551615 134524550 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30928/statm: 125739 14522 91 6 0 124404 0
[pid=30929] ppid=30925 vsize=149444 CPUtime=12.68 cores=3
/proc/30929/stat : 30929 (march_hi) R 30925 30925 30763 0 -1 4202496 98850 0 0 0 1244 24 0 0 25 0 1 0 650294792 153030656 29464 268435456000 4194304 4331988 140736521977840 18446744073709551615 258650616986 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30929/statm: 37361 29464 149 34 0 35803 0
[pid=30930] ppid=30925 vsize=2010132 CPUtime=149.21 cores=4-31
/proc/30930/stat : 30930 (plingeling) S 30925 30925 30763 0 -1 4202496 454267 1238 0 0 14314 607 0 0 18 0 29 0 650294792 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/30930/statm: 502533 397828 158 40 0 501077 0
[pid=30930/tid=30937] ppid=30925 vsize=2010132 CPUtime=5.1 cores=4-31
/proc/30930/task/30937/stat : 30937 (plingeling) R 30925 30925 30763 0 -1 4202560 8373 1238 0 0 491 19 0 0 19 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30930/tid=30938] ppid=30925 vsize=2010132 CPUtime=5.11 cores=4-31
/proc/30930/task/30938/stat : 30938 (plingeling) R 30925 30925 30763 0 -1 4202560 8255 1238 0 0 491 20 0 0 25 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270905 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30930/tid=30939] ppid=30925 vsize=2010132 CPUtime=5.02 cores=4-31
/proc/30930/task/30939/stat : 30939 (plingeling) R 30925 30925 30763 0 -1 4202560 7978 1238 0 0 483 19 0 0 20 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30930/tid=30940] ppid=30925 vsize=2010132 CPUtime=4.94 cores=4-31
/proc/30930/task/30940/stat : 30940 (plingeling) R 30925 30925 30763 0 -1 4202560 5900 1238 0 0 480 14 0 0 25 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30930/tid=30941] ppid=30925 vsize=2010132 CPUtime=5.05 cores=4-31
/proc/30930/task/30941/stat : 30941 (plingeling) R 30925 30925 30763 0 -1 4202560 8100 1238 0 0 481 24 0 0 18 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270892 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30930/tid=30942] ppid=30925 vsize=2010132 CPUtime=5 cores=4-31
/proc/30930/task/30942/stat : 30942 (plingeling) R 30925 30925 30763 0 -1 4202560 8080 1238 0 0 479 21 0 0 25 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30930/tid=30943] ppid=30925 vsize=2010132 CPUtime=4.98 cores=4-31
/proc/30930/task/30943/stat : 30943 (plingeling) R 30925 30925 30763 0 -1 4202560 8175 1238 0 0 474 24 0 0 19 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30930/tid=30944] ppid=30925 vsize=2010132 CPUtime=5.11 cores=4-31
/proc/30930/task/30944/stat : 30944 (plingeling) R 30925 30925 30763 0 -1 4202560 8116 1238 0 0 482 29 0 0 25 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270889 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30930/tid=30945] ppid=30925 vsize=2010132 CPUtime=5.03 cores=4-31
/proc/30930/task/30945/stat : 30945 (plingeling) R 30925 30925 30763 0 -1 4202560 8282 1238 0 0 484 19 0 0 25 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30930/tid=30946] ppid=30925 vsize=2010132 CPUtime=5.01 cores=4-31
/proc/30930/task/30946/stat : 30946 (plingeling) R 30925 30925 30763 0 -1 4202560 8086 1238 0 0 481 20 0 0 20 0 29 0 650295521 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30930/tid=30947] ppid=30925 vsize=2010132 CPUtime=5.03 cores=4-31
/proc/30930/task/30947/stat : 30947 (plingeling) R 30925 30925 30763 0 -1 4202560 8325 1238 0 0 483 20 0 0 20 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30930/tid=30948] ppid=30925 vsize=2010132 CPUtime=5.13 cores=4-31
/proc/30930/task/30948/stat : 30948 (plingeling) R 30925 30925 30763 0 -1 4202560 5331 1238 0 0 499 14 0 0 25 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30930/tid=30949] ppid=30925 vsize=2010132 CPUtime=5.09 cores=4-31
/proc/30930/task/30949/stat : 30949 (plingeling) R 30925 30925 30763 0 -1 4202560 8126 1238 0 0 491 18 0 0 25 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270889 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30930/tid=30950] ppid=30925 vsize=2010132 CPUtime=5.12 cores=4-31
/proc/30930/task/30950/stat : 30950 (plingeling) R 30925 30925 30763 0 -1 4202560 8174 1238 0 0 497 15 0 0 20 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30930/tid=30951] ppid=30925 vsize=2010132 CPUtime=5.04 cores=4-31
/proc/30930/task/30951/stat : 30951 (plingeling) R 30925 30925 30763 0 -1 4202560 8379 1238 0 0 485 19 0 0 20 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30930/tid=30952] ppid=30925 vsize=2010132 CPUtime=5.07 cores=4-31
/proc/30930/task/30952/stat : 30952 (plingeling) R 30925 30925 30763 0 -1 4202560 8062 1238 0 0 487 20 0 0 25 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270892 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30930/tid=30953] ppid=30925 vsize=2010132 CPUtime=5.16 cores=4-31
/proc/30930/task/30953/stat : 30953 (plingeling) R 30925 30925 30763 0 -1 4202560 7919 1238 0 0 498 18 0 0 19 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30930/tid=30954] ppid=30925 vsize=2010132 CPUtime=5.07 cores=4-31
/proc/30930/task/30954/stat : 30954 (plingeling) R 30925 30925 30763 0 -1 4202560 7947 1238 0 0 487 20 0 0 25 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30930/tid=30955] ppid=30925 vsize=2010132 CPUtime=5.07 cores=4-31
/proc/30930/task/30955/stat : 30955 (plingeling) R 30925 30925 30763 0 -1 4202560 7887 1238 0 0 486 21 0 0 25 0 29 0 650295522 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30930/tid=30956] ppid=30925 vsize=2010132 CPUtime=4.99 cores=4-31
/proc/30930/task/30956/stat : 30956 (plingeling) R 30925 30925 30763 0 -1 4202560 5273 1238 0 0 485 14 0 0 25 0 29 0 650295523 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30930/tid=30957] ppid=30925 vsize=2010132 CPUtime=5.07 cores=4-31
/proc/30930/task/30957/stat : 30957 (plingeling) R 30925 30925 30763 0 -1 4202560 8258 1238 0 0 485 22 0 0 25 0 29 0 650295523 2058375168 397828 268435456000 4194304 4356188 140737318862624 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30930/tid=30958] ppid=30925 vsize=2010132 CPUtime=5.03 cores=4-31

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

[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
[pid=30926] ppid=30925 vsize=176912 CPUtime=31.9 cores=0
/proc/30926/stat : 30926 (cryptominisat) R 30925 30925 30763 0 -1 4202496 45669 0 0 0 3179 11 0 0 25 0 1 0 650294792 181157888 31774 268435456000 4194304 4587354 140737396094176 18446744073709551615 4448008 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30926/statm: 44228 31774 335 96 0 40790 0
[pid=30927] ppid=30925 vsize=94200 CPUtime=31.9 cores=1
/proc/30927/stat : 30927 (clasp) R 30925 30925 30763 0 -1 4202496 23032 0 0 0 3182 8 0 0 25 0 1 0 650294792 96460800 20279 268435456000 4194304 4785740 140733444653808 18446744073709551615 4553437 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30927/statm: 23550 20279 339 145 0 20595 0
[pid=30928] ppid=30925 vsize=502956 CPUtime=31.9 cores=2
/proc/30928/stat : 30928 (TNM) R 30925 30925 30763 0 -1 4202496 14625 0 0 0 3185 5 0 0 25 0 1 0 650294792 515026944 14522 268435456000 134512640 134534564 4290231616 18446744073709551615 134524546 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30928/statm: 125739 14522 91 6 0 124404 0
[pid=30929] ppid=30925 vsize=300872 CPUtime=31.9 cores=3
/proc/30929/stat : 30929 (march_hi) R 30925 30925 30763 0 -1 4202496 138945 0 0 0 3148 42 0 0 25 0 1 0 650294792 308092928 69559 268435456000 4194304 4331988 140736521977840 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30929/statm: 75218 69559 149 34 0 73660 0
[pid=30930] ppid=30925 vsize=1828992 CPUtime=686.69 cores=4-31
/proc/30930/stat : 30930 (plingeling) S 30925 30925 30763 0 -1 4202496 513855 1238 0 0 68044 625 0 0 18 0 29 0 650294792 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/30930/statm: 457248 353575 158 40 0 455792 0
[pid=30930/tid=30937] ppid=30925 vsize=1828992 CPUtime=24.32 cores=4-31
/proc/30930/task/30937/stat : 30937 (plingeling) R 30925 30925 30763 0 -1 4202560 11813 1238 0 0 2412 20 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30930/tid=30938] ppid=30925 vsize=1828992 CPUtime=24.33 cores=4-31
/proc/30930/task/30938/stat : 30938 (plingeling) R 30925 30925 30763 0 -1 4202560 13266 1238 0 0 2411 22 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30930/tid=30939] ppid=30925 vsize=1828992 CPUtime=24.24 cores=4-31
/proc/30930/task/30939/stat : 30939 (plingeling) R 30925 30925 30763 0 -1 4202560 9444 1238 0 0 2404 20 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4225504 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30930/tid=30940] ppid=30925 vsize=1828992 CPUtime=24.16 cores=4-31
/proc/30930/task/30940/stat : 30940 (plingeling) R 30925 30925 30763 0 -1 4202560 7583 1238 0 0 2401 15 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4210812 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30930/tid=30941] ppid=30925 vsize=1828992 CPUtime=24.26 cores=4-31
/proc/30930/task/30941/stat : 30941 (plingeling) R 30925 30925 30763 0 -1 4202560 11603 1238 0 0 2401 25 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30930/tid=30942] ppid=30925 vsize=1828992 CPUtime=24.22 cores=4-31
/proc/30930/task/30942/stat : 30942 (plingeling) R 30925 30925 30763 0 -1 4202560 8534 1238 0 0 2401 21 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30930/tid=30943] ppid=30925 vsize=1828992 CPUtime=24.21 cores=4-31
/proc/30930/task/30943/stat : 30943 (plingeling) R 30925 30925 30763 0 -1 4202560 12247 1238 0 0 2395 26 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30930/tid=30944] ppid=30925 vsize=1828992 CPUtime=24.33 cores=4-31
/proc/30930/task/30944/stat : 30944 (plingeling) R 30925 30925 30763 0 -1 4202560 9207 1238 0 0 2403 30 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30930/tid=30945] ppid=30925 vsize=1828992 CPUtime=24.25 cores=4-31
/proc/30930/task/30945/stat : 30945 (plingeling) R 30925 30925 30763 0 -1 4202560 12934 1238 0 0 2405 20 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30930/tid=30946] ppid=30925 vsize=1828992 CPUtime=24.23 cores=4-31
/proc/30930/task/30946/stat : 30946 (plingeling) R 30925 30925 30763 0 -1 4202560 10607 1238 0 0 2402 21 0 0 25 0 29 0 650295521 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30930/tid=30947] ppid=30925 vsize=1828992 CPUtime=24.24 cores=4-31
/proc/30930/task/30947/stat : 30947 (plingeling) R 30925 30925 30763 0 -1 4202560 9207 1238 0 0 2404 20 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30930/tid=30948] ppid=30925 vsize=1828992 CPUtime=24.34 cores=4-31
/proc/30930/task/30948/stat : 30948 (plingeling) R 30925 30925 30763 0 -1 4202560 6058 1238 0 0 2420 14 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30930/tid=30949] ppid=30925 vsize=1828992 CPUtime=24.3 cores=4-31
/proc/30930/task/30949/stat : 30949 (plingeling) R 30925 30925 30763 0 -1 4202560 8638 1238 0 0 2412 18 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30930/tid=30950] ppid=30925 vsize=1828992 CPUtime=24.35 cores=4-31
/proc/30930/task/30950/stat : 30950 (plingeling) R 30925 30925 30763 0 -1 4202560 8698 1238 0 0 2419 16 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30930/tid=30951] ppid=30925 vsize=1828992 CPUtime=24.26 cores=4-31
/proc/30930/task/30951/stat : 30951 (plingeling) R 30925 30925 30763 0 -1 4202560 10325 1238 0 0 2406 20 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4284190 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30930/tid=30952] ppid=30925 vsize=1828992 CPUtime=24.29 cores=4-31
/proc/30930/task/30952/stat : 30952 (plingeling) R 30925 30925 30763 0 -1 4202560 9054 1238 0 0 2409 20 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331092 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30930/tid=30953] ppid=30925 vsize=1828992 CPUtime=24.38 cores=4-31
/proc/30930/task/30953/stat : 30953 (plingeling) R 30925 30925 30763 0 -1 4202560 8683 1238 0 0 2419 19 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4330792 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30930/tid=30954] ppid=30925 vsize=1828992 CPUtime=24.3 cores=4-31
/proc/30930/task/30954/stat : 30954 (plingeling) R 30925 30925 30763 0 -1 4202560 12184 1238 0 0 2408 22 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30930/tid=30955] ppid=30925 vsize=1828992 CPUtime=24.29 cores=4-31
/proc/30930/task/30955/stat : 30955 (plingeling) R 30925 30925 30763 0 -1 4202560 8601 1238 0 0 2408 21 0 0 25 0 29 0 650295522 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30930/tid=30956] ppid=30925 vsize=1828992 CPUtime=23.65 cores=4-31
/proc/30930/task/30956/stat : 30956 (plingeling) R 30925 30925 30763 0 -1 4202560 6484 1238 0 0 2351 14 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4284120 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30930/tid=30957] ppid=30925 vsize=1828992 CPUtime=24.29 cores=4-31
/proc/30930/task/30957/stat : 30957 (plingeling) R 30925 30925 30763 0 -1 4202560 13341 1238 0 0 2405 24 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331186 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30930/tid=30958] ppid=30925 vsize=1828992 CPUtime=24.24 cores=4-31
/proc/30930/task/30958/stat : 30958 (plingeling) R 30925 30925 30763 0 -1 4202560 8793 1238 0 0 2403 21 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4332113 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30930/tid=30959] ppid=30925 vsize=1828992 CPUtime=24.28 cores=4-31
/proc/30930/task/30959/stat : 30959 (plingeling) R 30925 30925 30763 0 -1 4202560 9682 1238 0 0 2406 22 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30930/tid=30960] ppid=30925 vsize=1828992 CPUtime=24.38 cores=4-31
/proc/30930/task/30960/stat : 30960 (plingeling) R 30925 30925 30763 0 -1 4202560 8424 1238 0 0 2418 20 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30930/tid=30961] ppid=30925 vsize=1828992 CPUtime=24.19 cores=4-31
/proc/30930/task/30961/stat : 30961 (plingeling) R 30925 30925 30763 0 -1 4202560 12418 1238 0 0 2400 19 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30930/tid=30962] ppid=30925 vsize=1828992 CPUtime=24.25 cores=4-31
/proc/30930/task/30962/stat : 30962 (plingeling) R 30925 30925 30763 0 -1 4202560 11853 1238 0 0 2405 20 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30930/tid=30963] ppid=30925 vsize=1828992 CPUtime=24.24 cores=4-31
/proc/30930/task/30963/stat : 30963 (plingeling) R 30925 30925 30763 0 -1 4202560 9663 1238 0 0 2405 19 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30930/tid=30964] ppid=30925 vsize=1828992 CPUtime=24.36 cores=4-31
/proc/30930/task/30964/stat : 30964 (plingeling) R 30925 30925 30763 0 -1 4202560 7048 1238 0 0 2422 14 0 0 25 0 29 0 650295523 1872887808 353575 268435456000 4194304 4356188 140737318862624 18446744073709551615 4298515 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 814.29
Current children cumulated vsize (KiB) 2922256

[startup+32.702 s]
/proc/loadavg: 29.30 30.75 31.50 33/447 30964
/proc/meminfo: memFree=253624712/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=0 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 650294791 18763776 386 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 7061037427032326143 0 0 17 20 0 0 0
/proc/30925/statm: 4581 386 337 23 0 91 0
[pid=30926] ppid=30925 vsize=177020 CPUtime=32.68 cores=0
/proc/30926/stat : 30926 (cryptominisat) R 30925 30925 30763 0 -1 4202496 45672 0 0 0 3257 11 0 0 25 0 1 0 650294792 181268480 31777 268435456000 4194304 4587354 140737396094176 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30926/statm: 44255 31777 335 96 0 40817 0
[pid=30927] ppid=30925 vsize=97940 CPUtime=32.68 cores=1
/proc/30927/stat : 30927 (clasp) R 30925 30925 30763 0 -1 4202496 23936 0 0 0 3259 9 0 0 25 0 1 0 650294792 100290560 21183 268435456000 4194304 4785740 140733444653808 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30927/statm: 24485 21183 339 145 0 21530 0
[pid=30928] ppid=30925 vsize=502956 CPUtime=32.68 cores=2
/proc/30928/stat : 30928 (TNM) R 30925 30925 30763 0 -1 4202496 14625 0 0 0 3263 5 0 0 25 0 1 0 650294792 515026944 14522 268435456000 134512640 134534564 4290231616 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30928/statm: 125739 14522 91 6 0 124404 0
[pid=30929] ppid=30925 vsize=305360 CPUtime=32.67 cores=3
/proc/30929/stat : 30929 (march_hi) R 30925 30925 30763 0 -1 4202496 140390 0 0 0 3225 42 0 0 25 0 1 0 650294792 312688640 71004 268435456000 4194304 4331988 140736521977840 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30929/statm: 76340 71004 149 34 0 74782 0
[pid=30930] ppid=30925 vsize=1817140 CPUtime=708.52 cores=4-31
/proc/30930/stat : 30930 (plingeling) S 30925 30925 30763 0 -1 4202496 513856 1238 0 0 70227 625 0 0 18 0 29 0 650294792 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/30930/statm: 454285 350581 158 40 0 452829 0
[pid=30930/tid=30937] ppid=30925 vsize=1817140 CPUtime=25.1 cores=4-31
/proc/30930/task/30937/stat : 30937 (plingeling) R 30925 30925 30763 0 -1 4202560 11813 1238 0 0 2490 20 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30930/tid=30938] ppid=30925 vsize=1817140 CPUtime=25.11 cores=4-31
/proc/30930/task/30938/stat : 30938 (plingeling) R 30925 30925 30763 0 -1 4202560 13266 1238 0 0 2489 22 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30930/tid=30939] ppid=30925 vsize=1817140 CPUtime=25.02 cores=4-31
/proc/30930/task/30939/stat : 30939 (plingeling) R 30925 30925 30763 0 -1 4202560 9444 1238 0 0 2482 20 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4279481 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30930/tid=30940] ppid=30925 vsize=1817140 CPUtime=24.94 cores=4-31
/proc/30930/task/30940/stat : 30940 (plingeling) R 30925 30925 30763 0 -1 4202560 7584 1238 0 0 2479 15 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4238731 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30930/tid=30941] ppid=30925 vsize=1817140 CPUtime=25.04 cores=4-31
/proc/30930/task/30941/stat : 30941 (plingeling) R 30925 30925 30763 0 -1 4202560 11603 1238 0 0 2479 25 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30930/tid=30942] ppid=30925 vsize=1817140 CPUtime=25 cores=4-31
/proc/30930/task/30942/stat : 30942 (plingeling) R 30925 30925 30763 0 -1 4202560 8534 1238 0 0 2479 21 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30930/tid=30943] ppid=30925 vsize=1817140 CPUtime=24.99 cores=4-31
/proc/30930/task/30943/stat : 30943 (plingeling) R 30925 30925 30763 0 -1 4202560 12247 1238 0 0 2473 26 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30930/tid=30944] ppid=30925 vsize=1817140 CPUtime=25.11 cores=4-31
/proc/30930/task/30944/stat : 30944 (plingeling) R 30925 30925 30763 0 -1 4202560 9207 1238 0 0 2481 30 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4212994 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30930/tid=30945] ppid=30925 vsize=1817140 CPUtime=25.03 cores=4-31
/proc/30930/task/30945/stat : 30945 (plingeling) R 30925 30925 30763 0 -1 4202560 12934 1238 0 0 2483 20 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30930/tid=30946] ppid=30925 vsize=1817140 CPUtime=25.01 cores=4-31
/proc/30930/task/30946/stat : 30946 (plingeling) R 30925 30925 30763 0 -1 4202560 10607 1238 0 0 2480 21 0 0 25 0 29 0 650295521 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30930/tid=30947] ppid=30925 vsize=1817140 CPUtime=25.02 cores=4-31
/proc/30930/task/30947/stat : 30947 (plingeling) R 30925 30925 30763 0 -1 4202560 9207 1238 0 0 2482 20 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30930/tid=30948] ppid=30925 vsize=1817140 CPUtime=25.12 cores=4-31
/proc/30930/task/30948/stat : 30948 (plingeling) R 30925 30925 30763 0 -1 4202560 6058 1238 0 0 2498 14 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4284082 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30930/tid=30949] ppid=30925 vsize=1817140 CPUtime=25.08 cores=4-31
/proc/30930/task/30949/stat : 30949 (plingeling) R 30925 30925 30763 0 -1 4202560 8638 1238 0 0 2490 18 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30930/tid=30950] ppid=30925 vsize=1817140 CPUtime=25.13 cores=4-31
/proc/30930/task/30950/stat : 30950 (plingeling) R 30925 30925 30763 0 -1 4202560 8698 1238 0 0 2497 16 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30930/tid=30951] ppid=30925 vsize=1817140 CPUtime=25.04 cores=4-31
/proc/30930/task/30951/stat : 30951 (plingeling) R 30925 30925 30763 0 -1 4202560 10325 1238 0 0 2484 20 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30930/tid=30952] ppid=30925 vsize=1817140 CPUtime=25.07 cores=4-31
/proc/30930/task/30952/stat : 30952 (plingeling) R 30925 30925 30763 0 -1 4202560 9054 1238 0 0 2487 20 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30930/tid=30953] ppid=30925 vsize=1817140 CPUtime=25.16 cores=4-31
/proc/30930/task/30953/stat : 30953 (plingeling) R 30925 30925 30763 0 -1 4202560 8683 1238 0 0 2497 19 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30930/tid=30954] ppid=30925 vsize=1817140 CPUtime=25.08 cores=4-31
/proc/30930/task/30954/stat : 30954 (plingeling) R 30925 30925 30763 0 -1 4202560 12184 1238 0 0 2486 22 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331504 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30930/tid=30955] ppid=30925 vsize=1817140 CPUtime=25.07 cores=4-31
/proc/30930/task/30955/stat : 30955 (plingeling) R 30925 30925 30763 0 -1 4202560 8601 1238 0 0 2486 21 0 0 25 0 29 0 650295522 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4332156 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30930/tid=30956] ppid=30925 vsize=1817140 CPUtime=24.42 cores=4-31
/proc/30930/task/30956/stat : 30956 (plingeling) R 30925 30925 30763 0 -1 4202560 6484 1238 0 0 2428 14 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30930/tid=30957] ppid=30925 vsize=1817140 CPUtime=25.07 cores=4-31
/proc/30930/task/30957/stat : 30957 (plingeling) R 30925 30925 30763 0 -1 4202560 13341 1238 0 0 2483 24 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30930/tid=30958] ppid=30925 vsize=1817140 CPUtime=25.02 cores=4-31
/proc/30930/task/30958/stat : 30958 (plingeling) R 30925 30925 30763 0 -1 4202560 8793 1238 0 0 2481 21 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30930/tid=30959] ppid=30925 vsize=1817140 CPUtime=25.06 cores=4-31
/proc/30930/task/30959/stat : 30959 (plingeling) R 30925 30925 30763 0 -1 4202560 9682 1238 0 0 2484 22 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30930/tid=30960] ppid=30925 vsize=1817140 CPUtime=25.16 cores=4-31
/proc/30930/task/30960/stat : 30960 (plingeling) R 30925 30925 30763 0 -1 4202560 8424 1238 0 0 2496 20 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30930/tid=30961] ppid=30925 vsize=1817140 CPUtime=24.97 cores=4-31
/proc/30930/task/30961/stat : 30961 (plingeling) R 30925 30925 30763 0 -1 4202560 12418 1238 0 0 2478 19 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4281624 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30930/tid=30962] ppid=30925 vsize=1817140 CPUtime=25.03 cores=4-31
/proc/30930/task/30962/stat : 30962 (plingeling) R 30925 30925 30763 0 -1 4202560 11853 1238 0 0 2483 20 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30930/tid=30963] ppid=30925 vsize=1817140 CPUtime=25.02 cores=4-31
/proc/30930/task/30963/stat : 30963 (plingeling) R 30925 30925 30763 0 -1 4202560 9663 1238 0 0 2483 19 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30930/tid=30964] ppid=30925 vsize=1817140 CPUtime=25.14 cores=4-31
/proc/30930/task/30964/stat : 30964 (plingeling) R 30925 30925 30763 0 -1 4202560 7048 1238 0 0 2500 14 0 0 25 0 29 0 650295523 1860751360 350581 268435456000 4194304 4356188 140737318862624 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 839.23
Current children cumulated vsize (KiB) 2918740

[startup+32.9021 s]
/proc/loadavg: 29.30 30.75 31.50 3/417 30964
/proc/meminfo: memFree=254510404/264257624 swapFree=67111528/67111528
[pid=30925] ppid=30923 vsize=18324 CPUtime=131.49 cores=0-31
/proc/30925/stat : 30925 (ppfolio) S 30923 30925 30763 0 -1 4202496 516 224969 0 0 0 0 13075 74 15 0 1 0 650294791 18763776 387 268435456000 4194304 4287625 140737193870832 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 24 0 0 0
/proc/30925/statm: 4581 387 338 23 0 91 0
[pid=30930] ppid=30925 vsize=0 CPUtime=713.11 cores=4-31
/proc/30930/stat : 30930 (plingeling) Z 30925 30925 30763 0 -1 4203548 513856 1238 0 0 70680 631 0 0 18 0 2 0 650294792 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/30930/statm: 0 0 0 0 0 0 0
[pid=30930/tid=30949] ppid=30925 vsize=0 CPUtime=25.3 cores=4-31
/proc/30930/task/30949/stat : 30949 (plingeling) R 30925 30925 30763 0 -1 4203588 8638 1238 0 0 2506 24 0 0 25 0 2 0 650295522 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 844.6
Current children cumulated vsize (KiB) 18324

Child status: 0
Real time (s): 32.9906
CPU time (s): 844.694
CPU user time (s): 837.557
CPU system time (s): 7.13692
CPU usage (%): 2560.41
Max. virtual memory (cumulated for all children) (KiB): 2975624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.557
system time used= 7.13692
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740599
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= 1596
involuntary context switches= 1899

runsolver used 0.170974 second user time and 0.72289 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 17:48:04
IDJOB=3347595
IDBENCH=83436
IDSOLVER=1808
FILE ID=node200/3347595-1305388083
RUNJOBID= node200-1305387880-30777
PBS_JOBID= 13285490
Free space on /tmp= 62036 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347595-1305388083/watcher-3347595-1305388083 -o /tmp/evaluation-result-3347595-1305388083/solver-3347595-1305388083 -C 160000 -W 5100 -M 266338304  ppfolio HOME/instance-3347595-1305388083.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1461353134

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255580376 kB
Buffers:        436400 kB
Cached:        7825256 kB
SwapCached:          0 kB
Active:        7397280 kB
Inactive:       933416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255580376 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25288 kB
Writeback:           0 kB
AnonPages:       70908 kB
Mapped:          15544 kB
Slab:           250952 kB
PageTables:       6352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   194708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62028 MiB
End job on node200 at 2011-05-14 17:48:37