Trace number 3347625

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 1148.83 44.5459

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark731.075
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

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

[startup+0.06156 s]
/proc/loadavg: 29.55 31.53 31.83 1/413 32245
/proc/meminfo: memFree=255559228/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100546 s]
/proc/loadavg: 29.55 31.53 31.83 1/413 32245
/proc/meminfo: memFree=255559228/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300572 s]
/proc/loadavg: 29.55 31.53 31.83 1/413 32245
/proc/meminfo: memFree=255559228/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700547 s]
/proc/loadavg: 29.55 31.53 31.83 1/413 32245
/proc/meminfo: memFree=255559228/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50061 s]
/proc/loadavg: 29.55 31.53 31.83 6/419 32256
/proc/meminfo: memFree=255321720/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
[pid=32246] ppid=32245 vsize=81240 CPUtime=1.48 cores=0
/proc/32246/stat : 32246 (cryptominisat) R 32245 32245 31580 0 -1 4202496 11266 0 0 0 146 2 0 0 20 0 1 0 651564872 83189760 10698 268435456000 4194304 4587354 140736996897888 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32246/statm: 20310 10698 304 96 0 16872 0
[pid=32247] ppid=32245 vsize=74912 CPUtime=1.48 cores=1
/proc/32247/stat : 32247 (clasp) R 32245 32245 31580 0 -1 4202496 18127 0 0 0 141 7 0 0 20 0 1 0 651564872 76709888 15235 268435456000 4194304 4785740 140735315610880 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32247/statm: 18728 15235 317 145 0 15773 0
[pid=32248] ppid=32245 vsize=520596 CPUtime=1.49 cores=2
/proc/32248/stat : 32248 (TNM) R 32245 32245 31580 0 -1 4202496 19368 0 0 0 143 6 0 0 20 0 1 0 651564872 533090304 19265 268435456000 134512640 134534564 4289342688 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32248/statm: 130149 19265 91 6 0 128814 0
[pid=32249] ppid=32245 vsize=60300 CPUtime=1.48 cores=3
/proc/32249/stat : 32249 (march_hi) R 32245 32245 31580 0 -1 4194304 14286 0 0 0 143 5 0 0 20 0 1 0 651564872 61747200 8854 268435456000 4194304 4331988 140734096487792 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32249/statm: 15075 8854 126 34 0 13517 0
[pid=32250] ppid=32245 vsize=192572 CPUtime=1.48 cores=4-31
/proc/32250/stat : 32250 (plingeling) R 32245 32245 31580 0 -1 4202496 47572 1247 0 0 137 11 0 0 21 0 1 0 651564872 197193728 46802 268435456000 4194304 4356188 140736014125584 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/32250/statm: 48143 46802 129 40 0 46687 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 947944

[startup+3.10064 s]
/proc/loadavg: 29.55 31.53 31.83 6/419 32256
/proc/meminfo: memFree=255084848/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
[pid=32246] ppid=32245 vsize=167528 CPUtime=3.09 cores=0
/proc/32246/stat : 32246 (cryptominisat) R 32245 32245 31580 0 -1 4202496 44131 0 0 0 299 10 0 0 25 0 1 0 651564872 171548672 31843 268435456000 4194304 4587354 140736996897888 18446744073709551615 4388284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32246/statm: 41882 31843 314 96 0 38444 0
[pid=32247] ppid=32245 vsize=74912 CPUtime=3.08 cores=1
/proc/32247/stat : 32247 (clasp) R 32245 32245 31580 0 -1 4202496 18127 0 0 0 301 7 0 0 25 0 1 0 651564872 76709888 15235 268435456000 4194304 4785740 140735315610880 18446744073709551615 4495651 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32247/statm: 18728 15235 317 145 0 15773 0
[pid=32248] ppid=32245 vsize=520596 CPUtime=3.09 cores=2
/proc/32248/stat : 32248 (TNM) R 32245 32245 31580 0 -1 4202496 19368 0 0 0 303 6 0 0 25 0 1 0 651564872 533090304 19265 268435456000 134512640 134534564 4289342688 18446744073709551615 134524734 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32248/statm: 130149 19265 91 6 0 128814 0
[pid=32249] ppid=32245 vsize=90508 CPUtime=3.08 cores=3
/proc/32249/stat : 32249 (march_hi) R 32245 32245 31580 0 -1 4202496 59485 0 0 0 292 16 0 0 25 0 1 0 651564872 92680192 15223 268435456000 4194304 4331988 140734096487792 18446744073709551615 4252211 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32249/statm: 22627 15224 146 34 0 21069 0
[pid=32250] ppid=32245 vsize=378612 CPUtime=3.08 cores=4-31
/proc/32250/stat : 32250 (plingeling) R 32245 32245 31580 0 -1 4202496 94066 1247 0 0 288 20 0 0 25 0 1 0 651564872 387698688 93296 268435456000 4194304 4356188 140736014125584 18446744073709551615 4274637 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/32250/statm: 94653 93296 129 40 0 93197 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 1250480

[startup+6.30076 s]
/proc/loadavg: 27.59 31.09 31.69 6/419 32256
/proc/meminfo: memFree=254505428/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
[pid=32246] ppid=32245 vsize=167528 CPUtime=6.29 cores=0
/proc/32246/stat : 32246 (cryptominisat) R 32245 32245 31580 0 -1 4202496 44131 0 0 0 619 10 0 0 25 0 1 0 651564872 171548672 31843 268435456000 4194304 4587354 140736996897888 18446744073709551615 4388261 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32246/statm: 41882 31843 314 96 0 38444 0
[pid=32247] ppid=32245 vsize=74912 CPUtime=6.28 cores=1
/proc/32247/stat : 32247 (clasp) R 32245 32245 31580 0 -1 4202496 18127 0 0 0 621 7 0 0 25 0 1 0 651564872 76709888 15235 268435456000 4194304 4785740 140735315610880 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32247/statm: 18728 15235 317 145 0 15773 0
[pid=32248] ppid=32245 vsize=520596 CPUtime=6.29 cores=2
/proc/32248/stat : 32248 (TNM) R 32245 32245 31580 0 -1 4202496 19368 0 0 0 623 6 0 0 25 0 1 0 651564872 533090304 19265 268435456000 134512640 134534564 4289342688 18446744073709551615 134524734 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32248/statm: 130149 19265 91 6 0 128814 0
[pid=32249] ppid=32245 vsize=101004 CPUtime=6.29 cores=3
/proc/32249/stat : 32249 (march_hi) R 32245 32245 31580 0 -1 4202496 115579 0 0 0 600 29 0 0 25 0 1 0 651564872 103428096 19000 268435456000 4194304 4331988 140734096487792 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32249/statm: 25251 19000 149 34 0 23693 0
[pid=32250] ppid=32245 vsize=952052 CPUtime=6.28 cores=4-31
/proc/32250/stat : 32250 (plingeling) R 32245 32245 31580 0 -1 4202496 237426 1247 0 0 578 50 0 0 25 0 1 0 651564872 974901248 236656 268435456000 4194304 4356188 140736014125584 18446744073709551615 4274161 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/32250/statm: 238013 236656 129 40 0 236557 0
Current children cumulated CPU time (s) 31.43
Current children cumulated vsize (KiB) 1834416

[startup+12.7019 s]
/proc/loadavg: 25.78 30.65 31.55 33/447 32284
/proc/meminfo: memFree=253766752/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
[pid=32246] ppid=32245 vsize=167528 CPUtime=12.69 cores=0
/proc/32246/stat : 32246 (cryptominisat) R 32245 32245 31580 0 -1 4202496 44131 0 0 0 1259 10 0 0 25 0 1 0 651564872 171548672 31843 268435456000 4194304 4587354 140736996897888 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32246/statm: 41882 31843 314 96 0 38444 0
[pid=32247] ppid=32245 vsize=74912 CPUtime=12.68 cores=1
/proc/32247/stat : 32247 (clasp) R 32245 32245 31580 0 -1 4202496 18127 0 0 0 1261 7 0 0 25 0 1 0 651564872 76709888 15235 268435456000 4194304 4785740 140735315610880 18446744073709551615 4495623 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32247/statm: 18728 15235 317 145 0 15773 0
[pid=32248] ppid=32245 vsize=520596 CPUtime=12.69 cores=2
/proc/32248/stat : 32248 (TNM) R 32245 32245 31580 0 -1 4202496 19368 0 0 0 1263 6 0 0 25 0 1 0 651564872 533090304 19265 268435456000 134512640 134534564 4289342688 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32248/statm: 130149 19265 91 6 0 128814 0
[pid=32249] ppid=32245 vsize=151036 CPUtime=12.69 cores=3
/proc/32249/stat : 32249 (march_hi) R 32245 32245 31580 0 -1 4202496 127901 0 0 0 1235 34 0 0 25 0 1 0 651564872 154660864 31322 268435456000 4194304 4331988 140734096487792 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32249/statm: 37759 31322 149 34 0 36201 0
[pid=32250] ppid=32245 vsize=1823060 CPUtime=98.67 cores=4-31
/proc/32250/stat : 32250 (plingeling) S 32245 32245 31580 0 -1 4202496 380258 1247 0 0 9436 431 0 0 19 0 29 0 651564872 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32250/statm: 455765 350369 155 40 0 454309 0
[pid=32250/tid=32257] ppid=32245 vsize=1823060 CPUtime=3.07 cores=4-31
/proc/32250/task/32257/stat : 32257 (plingeling) R 32245 32245 31580 0 -1 4202560 5251 1247 0 0 298 9 0 0 23 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32250/tid=32258] ppid=32245 vsize=1823060 CPUtime=3.22 cores=4-31
/proc/32250/task/32258/stat : 32258 (plingeling) R 32245 32245 31580 0 -1 4202560 4829 1247 0 0 309 13 0 0 24 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32250/tid=32259] ppid=32245 vsize=1823060 CPUtime=3.17 cores=4-31
/proc/32250/task/32259/stat : 32259 (plingeling) R 32245 32245 31580 0 -1 4202560 4932 1247 0 0 302 15 0 0 24 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32250/tid=32260] ppid=32245 vsize=1823060 CPUtime=3.17 cores=4-31
/proc/32250/task/32260/stat : 32260 (plingeling) R 32245 32245 31580 0 -1 4202560 5119 1247 0 0 300 17 0 0 24 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4273762 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32250/tid=32261] ppid=32245 vsize=1823060 CPUtime=3.18 cores=4-31
/proc/32250/task/32261/stat : 32261 (plingeling) R 32245 32245 31580 0 -1 4202560 5208 1247 0 0 302 16 0 0 25 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4210610 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32250/tid=32262] ppid=32245 vsize=1823060 CPUtime=3.16 cores=4-31
/proc/32250/task/32262/stat : 32262 (plingeling) R 32245 32245 31580 0 -1 4202560 4943 1247 0 0 302 14 0 0 25 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4269418 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32250/tid=32263] ppid=32245 vsize=1823060 CPUtime=3.21 cores=4-31
/proc/32250/task/32263/stat : 32263 (plingeling) R 32245 32245 31580 0 -1 4202560 5341 1247 0 0 299 22 0 0 20 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32250/tid=32264] ppid=32245 vsize=1823060 CPUtime=3.18 cores=4-31
/proc/32250/task/32264/stat : 32264 (plingeling) R 32245 32245 31580 0 -1 4202560 4953 1247 0 0 305 13 0 0 24 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4248477 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32250/tid=32265] ppid=32245 vsize=1823060 CPUtime=3.2 cores=4-31
/proc/32250/task/32265/stat : 32265 (plingeling) R 32245 32245 31580 0 -1 4202560 4911 1247 0 0 306 14 0 0 24 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32250/tid=32266] ppid=32245 vsize=1823060 CPUtime=3.22 cores=4-31
/proc/32250/task/32266/stat : 32266 (plingeling) R 32245 32245 31580 0 -1 4202560 5025 1247 0 0 312 10 0 0 24 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4248465 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32250/tid=32267] ppid=32245 vsize=1823060 CPUtime=3.21 cores=4-31
/proc/32250/task/32267/stat : 32267 (plingeling) R 32245 32245 31580 0 -1 4202560 4943 1247 0 0 310 11 0 0 25 0 29 0 651565805 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322399 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32250/tid=32268] ppid=32245 vsize=1823060 CPUtime=3.26 cores=4-31
/proc/32250/task/32268/stat : 32268 (plingeling) R 32245 32245 31580 0 -1 4202560 4997 1247 0 0 311 15 0 0 24 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32250/tid=32269] ppid=32245 vsize=1823060 CPUtime=3.24 cores=4-31
/proc/32250/task/32269/stat : 32269 (plingeling) R 32245 32245 31580 0 -1 4202560 5153 1247 0 0 311 13 0 0 24 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4248473 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32250/tid=32270] ppid=32245 vsize=1823060 CPUtime=3.18 cores=4-31
/proc/32250/task/32270/stat : 32270 (plingeling) R 32245 32245 31580 0 -1 4202560 5185 1247 0 0 304 14 0 0 25 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4248477 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32250/tid=32271] ppid=32245 vsize=1823060 CPUtime=3.24 cores=4-31
/proc/32250/task/32271/stat : 32271 (plingeling) R 32245 32245 31580 0 -1 4202560 4817 1247 0 0 310 14 0 0 24 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32250/tid=32272] ppid=32245 vsize=1823060 CPUtime=3.19 cores=4-31
/proc/32250/task/32272/stat : 32272 (plingeling) R 32245 32245 31580 0 -1 4202560 4894 1247 0 0 304 15 0 0 25 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4248450 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32250/tid=32273] ppid=32245 vsize=1823060 CPUtime=3.18 cores=4-31
/proc/32250/task/32273/stat : 32273 (plingeling) R 32245 32245 31580 0 -1 4202560 5292 1247 0 0 302 16 0 0 24 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32250/tid=32274] ppid=32245 vsize=1823060 CPUtime=3.19 cores=4-31
/proc/32250/task/32274/stat : 32274 (plingeling) R 32245 32245 31580 0 -1 4202560 5073 1247 0 0 307 12 0 0 25 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322024 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32250/tid=32275] ppid=32245 vsize=1823060 CPUtime=3.26 cores=4-31
/proc/32250/task/32275/stat : 32275 (plingeling) R 32245 32245 31580 0 -1 4202560 5148 1247 0 0 311 15 0 0 19 0 29 0 651565806 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32250/tid=32276] ppid=32245 vsize=1823060 CPUtime=3.24 cores=4-31
/proc/32250/task/32276/stat : 32276 (plingeling) R 32245 32245 31580 0 -1 4202560 5156 1247 0 0 309 15 0 0 24 0 29 0 651565807 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32250/tid=32277] ppid=32245 vsize=1823060 CPUtime=3.17 cores=4-31
/proc/32250/task/32277/stat : 32277 (plingeling) R 32245 32245 31580 0 -1 4202560 5156 1247 0 0 303 14 0 0 20 0 29 0 651565807 1866813440 350369 268435456000 4194304 4356188 140736014125584 18446744073709551615 4269117 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32250/tid=32278] ppid=32245 vsize=1823060 CPUtime=3.18 cores=4-31

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

[pid=32250/tid=32267] ppid=32245 vsize=1977412 CPUtime=33.4 cores=4-31
/proc/32250/task/32267/stat : 32267 (plingeling) R 32245 32245 31580 0 -1 4202560 13541 1247 0 0 3320 20 0 0 25 0 29 0 651565805 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32250/tid=32268] ppid=32245 vsize=1977412 CPUtime=33.24 cores=4-31
/proc/32250/task/32268/stat : 32268 (plingeling) R 32245 32245 31580 0 -1 4202560 6211 1247 0 0 3309 15 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32250/tid=32269] ppid=32245 vsize=1977412 CPUtime=33.43 cores=4-31
/proc/32250/task/32269/stat : 32269 (plingeling) R 32245 32245 31580 0 -1 4202560 14834 1247 0 0 3319 24 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32250/tid=32270] ppid=32245 vsize=1977412 CPUtime=33.4 cores=4-31
/proc/32250/task/32270/stat : 32270 (plingeling) R 32245 32245 31580 0 -1 4202560 15176 1247 0 0 3316 24 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32250/tid=32271] ppid=32245 vsize=1977412 CPUtime=33.36 cores=4-31
/proc/32250/task/32271/stat : 32271 (plingeling) R 32245 32245 31580 0 -1 4202560 14516 1247 0 0 3315 21 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32250/tid=32272] ppid=32245 vsize=1977412 CPUtime=33.36 cores=4-31
/proc/32250/task/32272/stat : 32272 (plingeling) R 32245 32245 31580 0 -1 4202560 13534 1247 0 0 3314 22 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4274144 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32250/tid=32273] ppid=32245 vsize=1977412 CPUtime=33.33 cores=4-31
/proc/32250/task/32273/stat : 32273 (plingeling) R 32245 32245 31580 0 -1 4202560 15779 1247 0 0 3311 22 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32250/tid=32274] ppid=32245 vsize=1977412 CPUtime=33.31 cores=4-31
/proc/32250/task/32274/stat : 32274 (plingeling) R 32245 32245 31580 0 -1 4202560 13832 1247 0 0 3310 21 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32250/tid=32275] ppid=32245 vsize=1977412 CPUtime=33.45 cores=4-31
/proc/32250/task/32275/stat : 32275 (plingeling) R 32245 32245 31580 0 -1 4202560 14683 1247 0 0 3321 24 0 0 25 0 29 0 651565806 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32250/tid=32276] ppid=32245 vsize=1977412 CPUtime=33.31 cores=4-31
/proc/32250/task/32276/stat : 32276 (plingeling) R 32245 32245 31580 0 -1 4202560 7729 1247 0 0 3315 16 0 0 25 0 29 0 651565807 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32250/tid=32277] ppid=32245 vsize=1977412 CPUtime=33.36 cores=4-31
/proc/32250/task/32277/stat : 32277 (plingeling) R 32245 32245 31580 0 -1 4202560 15284 1247 0 0 3309 27 0 0 25 0 29 0 651565807 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32250/tid=32278] ppid=32245 vsize=1977412 CPUtime=33.13 cores=4-31
/proc/32250/task/32278/stat : 32278 (plingeling) R 32245 32245 31580 0 -1 4202560 9753 1247 0 0 3301 12 0 0 25 0 29 0 651565808 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32250/tid=32279] ppid=32245 vsize=1977412 CPUtime=33.06 cores=4-31
/proc/32250/task/32279/stat : 32279 (plingeling) R 32245 32245 31580 0 -1 4202560 14359 1247 0 0 3297 9 0 0 25 0 29 0 651565808 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32250/tid=32280] ppid=32245 vsize=1977412 CPUtime=33.01 cores=4-31
/proc/32250/task/32280/stat : 32280 (plingeling) R 32245 32245 31580 0 -1 4202560 16206 1247 0 0 3293 8 0 0 25 0 29 0 651565808 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32250/tid=32281] ppid=32245 vsize=1977412 CPUtime=33.2 cores=4-31
/proc/32250/task/32281/stat : 32281 (plingeling) R 32245 32245 31580 0 -1 4202560 14851 1247 0 0 3299 21 0 0 25 0 29 0 651565808 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32250/tid=32282] ppid=32245 vsize=1977412 CPUtime=33.36 cores=4-31
/proc/32250/task/32282/stat : 32282 (plingeling) R 32245 32245 31580 0 -1 4202560 13408 1247 0 0 3317 19 0 0 25 0 29 0 651565808 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32250/tid=32283] ppid=32245 vsize=1977412 CPUtime=33.24 cores=4-31
/proc/32250/task/32283/stat : 32283 (plingeling) R 32245 32245 31580 0 -1 4202560 22201 1247 0 0 3298 26 0 0 25 0 29 0 651565808 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32250/tid=32284] ppid=32245 vsize=1977412 CPUtime=33.28 cores=4-31
/proc/32250/task/32284/stat : 32284 (plingeling) R 32245 32245 31580 0 -1 4202560 8175 1247 0 0 3312 16 0 0 25 0 29 0 651565808 2024869888 391611 268435456000 4194304 4356188 140736014125584 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1113.11
Current children cumulated vsize (KiB) 3221568

[startup+43.902 s]
/proc/loadavg: 28.60 30.82 31.56 33/447 32286
/proc/meminfo: memFree=253325248/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
[pid=32246] ppid=32245 vsize=195008 CPUtime=43.9 cores=0
/proc/32246/stat : 32246 (cryptominisat) R 32245 32245 31580 0 -1 4202496 49100 0 0 0 4379 11 0 0 25 0 1 0 651564872 199688192 36488 268435456000 4194304 4587354 140736996897888 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32246/statm: 48752 36488 315 96 0 45314 0
[pid=32247] ppid=32245 vsize=74912 CPUtime=43.89 cores=1
/proc/32247/stat : 32247 (clasp) R 32245 32245 31580 0 -1 4202496 18127 0 0 0 4382 7 0 0 25 0 1 0 651564872 76709888 15235 268435456000 4194304 4785740 140735315610880 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32247/statm: 18728 15235 317 145 0 15773 0
[pid=32248] ppid=32245 vsize=520596 CPUtime=43.9 cores=2
/proc/32248/stat : 32248 (TNM) R 32245 32245 31580 0 -1 4202496 19368 0 0 0 4384 6 0 0 25 0 1 0 651564872 533090304 19265 268435456000 134512640 134534564 4289342688 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32248/statm: 130149 19265 91 6 0 128814 0
[pid=32249] ppid=32245 vsize=440596 CPUtime=43.9 cores=3
/proc/32249/stat : 32249 (march_hi) R 32245 32245 31580 0 -1 4202496 191824 0 0 0 4332 58 0 0 25 0 1 0 651564872 451170304 95245 268435456000 4194304 4331988 140734096487792 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32249/statm: 110149 95245 149 34 0 108591 0
[pid=32250] ppid=32245 vsize=1977404 CPUtime=963.73 cores=4-31
/proc/32250/stat : 32250 (plingeling) S 32245 32245 31580 0 -1 4202496 620238 1247 0 0 95748 625 0 0 19 0 29 0 651564872 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32250/statm: 494351 391609 158 40 0 492895 0
[pid=32250/tid=32257] ppid=32245 vsize=1977404 CPUtime=33.97 cores=4-31
/proc/32250/task/32257/stat : 32257 (plingeling) R 32245 32245 31580 0 -1 4202560 14177 1247 0 0 3383 14 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32250/tid=32258] ppid=32245 vsize=1977404 CPUtime=34.15 cores=4-31
/proc/32250/task/32258/stat : 32258 (plingeling) R 32245 32245 31580 0 -1 4202560 13438 1247 0 0 3397 18 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32250/tid=32259] ppid=32245 vsize=1977404 CPUtime=34.15 cores=4-31
/proc/32250/task/32259/stat : 32259 (plingeling) R 32245 32245 31580 0 -1 4202560 15395 1247 0 0 3393 22 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32250/tid=32260] ppid=32245 vsize=1977404 CPUtime=34.2 cores=4-31
/proc/32250/task/32260/stat : 32260 (plingeling) R 32245 32245 31580 0 -1 4202560 8513 1247 0 0 3401 19 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32250/tid=32261] ppid=32245 vsize=1977404 CPUtime=34.06 cores=4-31
/proc/32250/task/32261/stat : 32261 (plingeling) R 32245 32245 31580 0 -1 4202560 15945 1247 0 0 3378 28 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32250/tid=32262] ppid=32245 vsize=1977404 CPUtime=34.07 cores=4-31
/proc/32250/task/32262/stat : 32262 (plingeling) R 32245 32245 31580 0 -1 4202560 14340 1247 0 0 3383 24 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32250/tid=32263] ppid=32245 vsize=1977404 CPUtime=34.16 cores=4-31
/proc/32250/task/32263/stat : 32263 (plingeling) R 32245 32245 31580 0 -1 4202560 14774 1247 0 0 3385 31 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32250/tid=32264] ppid=32245 vsize=1977404 CPUtime=33.15 cores=4-31
/proc/32250/task/32264/stat : 32264 (plingeling) R 32245 32245 31580 0 -1 4202560 14213 1247 0 0 3296 19 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32250/tid=32265] ppid=32245 vsize=1977404 CPUtime=34.22 cores=4-31
/proc/32250/task/32265/stat : 32265 (plingeling) R 32245 32245 31580 0 -1 4202560 14505 1247 0 0 3402 20 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32250/tid=32266] ppid=32245 vsize=1977404 CPUtime=34.02 cores=4-31
/proc/32250/task/32266/stat : 32266 (plingeling) R 32245 32245 31580 0 -1 4202560 13403 1247 0 0 3383 19 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32250/tid=32267] ppid=32245 vsize=1977404 CPUtime=34.22 cores=4-31
/proc/32250/task/32267/stat : 32267 (plingeling) R 32245 32245 31580 0 -1 4202560 13541 1247 0 0 3402 20 0 0 25 0 29 0 651565805 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4280698 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32250/tid=32268] ppid=32245 vsize=1977404 CPUtime=34.06 cores=4-31
/proc/32250/task/32268/stat : 32268 (plingeling) R 32245 32245 31580 0 -1 4202560 6211 1247 0 0 3391 15 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32250/tid=32269] ppid=32245 vsize=1977404 CPUtime=34.25 cores=4-31
/proc/32250/task/32269/stat : 32269 (plingeling) R 32245 32245 31580 0 -1 4202560 14834 1247 0 0 3401 24 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32250/tid=32270] ppid=32245 vsize=1977404 CPUtime=34.23 cores=4-31
/proc/32250/task/32270/stat : 32270 (plingeling) R 32245 32245 31580 0 -1 4202560 15176 1247 0 0 3399 24 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32250/tid=32271] ppid=32245 vsize=1977404 CPUtime=34.18 cores=4-31
/proc/32250/task/32271/stat : 32271 (plingeling) R 32245 32245 31580 0 -1 4202560 14516 1247 0 0 3397 21 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32250/tid=32272] ppid=32245 vsize=1977404 CPUtime=34.18 cores=4-31
/proc/32250/task/32272/stat : 32272 (plingeling) R 32245 32245 31580 0 -1 4202560 13534 1247 0 0 3396 22 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4210615 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32250/tid=32273] ppid=32245 vsize=1977404 CPUtime=34.15 cores=4-31
/proc/32250/task/32273/stat : 32273 (plingeling) R 32245 32245 31580 0 -1 4202560 15779 1247 0 0 3393 22 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32250/tid=32274] ppid=32245 vsize=1977404 CPUtime=34.13 cores=4-31
/proc/32250/task/32274/stat : 32274 (plingeling) R 32245 32245 31580 0 -1 4202560 13832 1247 0 0 3392 21 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32250/tid=32275] ppid=32245 vsize=1977404 CPUtime=34.27 cores=4-31
/proc/32250/task/32275/stat : 32275 (plingeling) R 32245 32245 31580 0 -1 4202560 14683 1247 0 0 3403 24 0 0 25 0 29 0 651565806 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32250/tid=32276] ppid=32245 vsize=1977404 CPUtime=34.13 cores=4-31
/proc/32250/task/32276/stat : 32276 (plingeling) R 32245 32245 31580 0 -1 4202560 7729 1247 0 0 3397 16 0 0 25 0 29 0 651565807 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32250/tid=32277] ppid=32245 vsize=1977404 CPUtime=34.18 cores=4-31
/proc/32250/task/32277/stat : 32277 (plingeling) R 32245 32245 31580 0 -1 4202560 15284 1247 0 0 3391 27 0 0 25 0 29 0 651565807 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32250/tid=32278] ppid=32245 vsize=1977404 CPUtime=33.95 cores=4-31
/proc/32250/task/32278/stat : 32278 (plingeling) R 32245 32245 31580 0 -1 4202560 9753 1247 0 0 3383 12 0 0 25 0 29 0 651565808 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32250/tid=32279] ppid=32245 vsize=1977404 CPUtime=33.88 cores=4-31
/proc/32250/task/32279/stat : 32279 (plingeling) R 32245 32245 31580 0 -1 4202560 14359 1247 0 0 3379 9 0 0 25 0 29 0 651565808 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4332260 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32250/tid=32280] ppid=32245 vsize=1977404 CPUtime=33.83 cores=4-31
/proc/32250/task/32280/stat : 32280 (plingeling) R 32245 32245 31580 0 -1 4202560 16206 1247 0 0 3375 8 0 0 25 0 29 0 651565808 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32250/tid=32281] ppid=32245 vsize=1977404 CPUtime=34.02 cores=4-31
/proc/32250/task/32281/stat : 32281 (plingeling) R 32245 32245 31580 0 -1 4202560 14851 1247 0 0 3381 21 0 0 25 0 29 0 651565808 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32250/tid=32282] ppid=32245 vsize=1977404 CPUtime=34.18 cores=4-31
/proc/32250/task/32282/stat : 32282 (plingeling) R 32245 32245 31580 0 -1 4202560 13408 1247 0 0 3399 19 0 0 25 0 29 0 651565808 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32250/tid=32283] ppid=32245 vsize=1977404 CPUtime=34.06 cores=4-31
/proc/32250/task/32283/stat : 32283 (plingeling) R 32245 32245 31580 0 -1 4202560 22201 1247 0 0 3380 26 0 0 25 0 29 0 651565808 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32250/tid=32284] ppid=32245 vsize=1977404 CPUtime=34.1 cores=4-31
/proc/32250/task/32284/stat : 32284 (plingeling) R 32245 32245 31580 0 -1 4202560 8175 1247 0 0 3394 16 0 0 25 0 29 0 651565808 2024861696 391609 268435456000 4194304 4356188 140736014125584 18446744073709551615 4244031 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1139.32
Current children cumulated vsize (KiB) 3226840

[startup+44.3011 s]
/proc/loadavg: 28.60 30.82 31.56 33/447 32286
/proc/meminfo: memFree=253325248/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
[pid=32246] ppid=32245 vsize=195008 CPUtime=44.28 cores=0
/proc/32246/stat : 32246 (cryptominisat) R 32245 32245 31580 0 -1 4202496 49100 0 0 0 4417 11 0 0 25 0 1 0 651564872 199688192 36488 268435456000 4194304 4587354 140736996897888 18446744073709551615 4388368 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32246/statm: 48752 36488 315 96 0 45314 0
[pid=32247] ppid=32245 vsize=74912 CPUtime=44.27 cores=1
/proc/32247/stat : 32247 (clasp) R 32245 32245 31580 0 -1 4202496 18127 0 0 0 4420 7 0 0 25 0 1 0 651564872 76709888 15235 268435456000 4194304 4785740 140735315610880 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32247/statm: 18728 15235 317 145 0 15773 0
[pid=32248] ppid=32245 vsize=520596 CPUtime=44.28 cores=2
/proc/32248/stat : 32248 (TNM) R 32245 32245 31580 0 -1 4202496 19368 0 0 0 4422 6 0 0 25 0 1 0 651564872 533090304 19265 268435456000 134512640 134534564 4289342688 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32248/statm: 130149 19265 91 6 0 128814 0
[pid=32249] ppid=32245 vsize=443104 CPUtime=44.27 cores=3
/proc/32249/stat : 32249 (march_hi) R 32245 32245 31580 0 -1 4202496 192630 0 0 0 4369 58 0 0 25 0 1 0 651564872 453738496 96051 268435456000 4194304 4331988 140734096487792 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32249/statm: 110776 96051 149 34 0 109218 0
[pid=32250] ppid=32245 vsize=1977368 CPUtime=970.52 cores=4-31
/proc/32250/stat : 32250 (plingeling) S 32245 32245 31580 0 -1 4202496 620239 1247 0 0 96427 625 0 0 18 0 3 0 651564872 2024824832 391601 268435456000 4194304 4356188 140736014125584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32250/statm: 494342 391601 159 40 0 492886 0
[pid=32250/tid=32259] ppid=32245 vsize=1977368 CPUtime=34.53 cores=4-31
/proc/32250/task/32259/stat : 32259 (plingeling) R 32245 32245 31580 0 -1 4202560 15395 1247 0 0 3431 22 0 0 25 0 3 0 651565805 2024824832 391601 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32250/tid=32270] ppid=32245 vsize=1977368 CPUtime=34.6 cores=4-31
/proc/32250/task/32270/stat : 32270 (plingeling) R 32245 32245 31580 0 -1 4202560 15176 1247 0 0 3436 24 0 0 25 0 3 0 651565806 2024824832 391601 268435456000 4194304 4356188 140736014125584 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 1147.62
Current children cumulated vsize (KiB) 3229312

[startup+44.5011 s]
/proc/loadavg: 28.60 30.82 31.56 33/447 32286
/proc/meminfo: memFree=253325248/264257624 swapFree=67111528/67111528
[pid=32245] ppid=32243 vsize=18324 CPUtime=0 cores=0-31
/proc/32245/stat : 32245 (ppfolio) S 32243 32245 31580 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 651564871 18763776 386 268435456000 4194304 4287625 140735242675536 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 8 0 0 0
/proc/32245/statm: 4581 386 337 23 0 91 0
[pid=32246] ppid=32245 vsize=195008 CPUtime=44.48 cores=0
/proc/32246/stat : 32246 (cryptominisat) R 32245 32245 31580 0 -1 4202496 49100 0 0 0 4437 11 0 0 25 0 1 0 651564872 199688192 36488 268435456000 4194304 4587354 140736996897888 18446744073709551615 4388303 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32246/statm: 48752 36488 315 96 0 45314 0
[pid=32247] ppid=32245 vsize=74912 CPUtime=44.47 cores=1
/proc/32247/stat : 32247 (clasp) R 32245 32245 31580 0 -1 4202496 18127 0 0 0 4440 7 0 0 25 0 1 0 651564872 76709888 15235 268435456000 4194304 4785740 140735315610880 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32247/statm: 18728 15235 317 145 0 15773 0
[pid=32248] ppid=32245 vsize=520596 CPUtime=44.48 cores=2
/proc/32248/stat : 32248 (TNM) R 32245 32245 31580 0 -1 4202496 19368 0 0 0 4442 6 0 0 25 0 1 0 651564872 533090304 19265 268435456000 134512640 134534564 4289342688 18446744073709551615 134524580 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32248/statm: 130149 19265 91 6 0 128814 0
[pid=32249] ppid=32245 vsize=444556 CPUtime=44.47 cores=3
/proc/32249/stat : 32249 (march_hi) R 32245 32245 31580 0 -1 4202496 193071 0 0 0 4389 58 0 0 25 0 1 0 651564872 455225344 96492 268435456000 4194304 4331988 140734096487792 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32249/statm: 111139 96492 149 34 0 109581 0
[pid=32250] ppid=32245 vsize=340960 CPUtime=970.75 cores=4-31
/proc/32250/stat : 32250 (plingeling) R 32245 32245 31580 0 -1 4202496 620239 1247 0 0 96439 636 0 0 15 0 1 0 651564872 349143040 40556 268435456000 4194304 4356188 140736014125584 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 18 0 0 0
/proc/32250/statm: 85240 40556 159 40 0 83784 0
Current children cumulated CPU time (s) 1148.65
Current children cumulated vsize (KiB) 1594356

Child status: 0
Real time (s): 44.5459
CPU time (s): 1148.83
CPU user time (s): 1141.54
CPU system time (s): 7.28589
CPU usage (%): 2578.97
Max. virtual memory (cumulated for all children) (KiB): 3313952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1141.54
system time used= 7.28589
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901726
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= 1744
involuntary context switches= 2638

runsolver used 0.242963 second user time and 0.952855 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 21:19:45
IDJOB=3347625
IDBENCH=83475
IDSOLVER=1808
FILE ID=node200/3347625-1305400783
RUNJOBID= node200-1305390664-31594
PBS_JOBID= 13285492
Free space on /tmp= 62032 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=883244015

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:      255559632 kB
Buffers:        437880 kB
Cached:        7851320 kB
SwapCached:          0 kB
Active:        7404652 kB
Inactive:       953140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255559632 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           30696 kB
Writeback:           0 kB
AnonPages:       70256 kB
Mapped:          14584 kB
Slab:           251288 kB
PageTables:       3928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   201772 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= 62020 MiB
End job on node200 at 2011-05-14 21:20:29