Trace number 3347609

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 1489.42 55.8263

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark353.935
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

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

[startup+0.05238 s]
/proc/loadavg: 28.57 29.76 30.94 1/413 31435
/proc/meminfo: memFree=255576060/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 24 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100361 s]
/proc/loadavg: 28.57 29.76 30.94 1/413 31435
/proc/meminfo: memFree=255576060/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 24 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300403 s]
/proc/loadavg: 28.57 29.76 30.94 1/413 31435
/proc/meminfo: memFree=255576060/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 24 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700365 s]
/proc/loadavg: 28.57 29.76 30.94 1/413 31435
/proc/meminfo: memFree=255576060/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50144 s]
/proc/loadavg: 28.57 29.76 30.94 6/419 31446
/proc/meminfo: memFree=255272956/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
[pid=31436] ppid=31435 vsize=82152 CPUtime=1.48 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4202496 11903 0 0 0 145 3 0 0 25 0 1 0 650489771 84123648 11101 268435456000 4194304 4587354 140735549075504 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31436/statm: 20538 11101 304 96 0 17100 0
[pid=31437] ppid=31435 vsize=78352 CPUtime=1.49 cores=1
/proc/31437/stat : 31437 (clasp) R 31435 31435 31340 0 -1 4202496 18907 0 0 0 142 7 0 0 20 0 1 0 650489771 80232448 16015 268435456000 4194304 4785740 140734079104432 18446744073709551615 4495635 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31437/statm: 19588 16015 317 145 0 16633 0
[pid=31438] ppid=31435 vsize=525072 CPUtime=1.48 cores=2
/proc/31438/stat : 31438 (TNM) R 31435 31435 31340 0 -1 4202496 20486 0 0 0 141 7 0 0 20 0 1 0 650489771 537673728 20384 268435456000 134512640 134534564 4291129008 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31438/statm: 131268 20384 91 6 0 129933 0
[pid=31439] ppid=31435 vsize=60848 CPUtime=1.48 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4194304 14610 0 0 0 143 5 0 0 20 0 1 0 650489771 62308352 8897 268435456000 4194304 4331988 140736227585488 18446744073709551615 4261864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31439/statm: 15212 8897 124 34 0 13654 0
[pid=31440] ppid=31435 vsize=206504 CPUtime=1.48 cores=4-31
/proc/31440/stat : 31440 (plingeling) R 31435 31435 31340 0 -1 4202496 51054 1247 0 0 139 9 0 0 21 0 1 0 650489771 211460096 50285 268435456000 4194304 4356188 140735559318528 18446744073709551615 4277610 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/31440/statm: 51626 50285 129 40 0 50170 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 971252

[startup+3.10149 s]
/proc/loadavg: 28.57 29.76 30.94 6/419 31446
/proc/meminfo: memFree=255085724/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 17 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
[pid=31436] ppid=31435 vsize=179356 CPUtime=3.09 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4202496 34214 0 0 0 302 7 0 0 25 0 1 0 650489771 183660544 33412 268435456000 4194304 4587354 140735549075504 18446744073709551615 4357642 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31436/statm: 44839 33412 309 96 0 41401 0
[pid=31437] ppid=31435 vsize=78352 CPUtime=3.09 cores=1
/proc/31437/stat : 31437 (clasp) R 31435 31435 31340 0 -1 4202496 18907 0 0 0 302 7 0 0 25 0 1 0 650489771 80232448 16015 268435456000 4194304 4785740 140734079104432 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31437/statm: 19588 16015 317 145 0 16633 0
[pid=31438] ppid=31435 vsize=525072 CPUtime=3.08 cores=2
/proc/31438/stat : 31438 (TNM) R 31435 31435 31340 0 -1 4202496 20486 0 0 0 301 7 0 0 25 0 1 0 650489771 537673728 20384 268435456000 134512640 134534564 4291129008 18446744073709551615 134524541 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31438/statm: 131268 20384 91 6 0 129933 0
[pid=31439] ppid=31435 vsize=92656 CPUtime=3.09 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4202496 55182 0 0 0 295 14 0 0 25 0 1 0 650489771 94879744 16365 268435456000 4194304 4331988 140736227585488 18446744073709551615 4252174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31439/statm: 23164 16365 146 34 0 21606 0
[pid=31440] ppid=31435 vsize=493224 CPUtime=3.08 cores=4-31
/proc/31440/stat : 31440 (plingeling) R 31435 31435 31340 0 -1 4202496 122734 1247 0 0 285 23 0 0 25 0 1 0 650489771 505061376 121965 268435456000 4194304 4356188 140735559318528 18446744073709551615 4277610 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/31440/statm: 123306 121965 129 40 0 121850 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 1386984

[startup+6.30056 s]
/proc/loadavg: 26.68 29.34 30.80 6/419 31446
/proc/meminfo: memFree=254265116/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
[pid=31436] ppid=31435 vsize=188820 CPUtime=6.28 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4202496 44375 0 0 0 619 9 0 0 25 0 1 0 650489771 193351680 35868 268435456000 4194304 4587354 140735549075504 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31436/statm: 47205 35868 314 96 0 43767 0
[pid=31437] ppid=31435 vsize=78352 CPUtime=6.28 cores=1
/proc/31437/stat : 31437 (clasp) R 31435 31435 31340 0 -1 4202496 18907 0 0 0 621 7 0 0 25 0 1 0 650489771 80232448 16015 268435456000 4194304 4785740 140734079104432 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31437/statm: 19588 16015 317 145 0 16633 0
[pid=31438] ppid=31435 vsize=525072 CPUtime=6.28 cores=2
/proc/31438/stat : 31438 (TNM) R 31435 31435 31340 0 -1 4202496 20486 0 0 0 621 7 0 0 25 0 1 0 650489771 537673728 20384 268435456000 134512640 134534564 4291129008 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31438/statm: 131268 20384 91 6 0 129933 0
[pid=31439] ppid=31435 vsize=104028 CPUtime=6.28 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4202496 119232 0 0 0 599 29 0 0 25 0 1 0 650489771 106524672 19726 268435456000 4194304 4331988 140736227585488 18446744073709551615 4271412 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31439/statm: 26007 19726 149 34 0 24449 0
[pid=31440] ppid=31435 vsize=951976 CPUtime=6.28 cores=4-31
/proc/31440/stat : 31440 (plingeling) R 31435 31435 31340 0 -1 4202496 237422 1247 0 0 583 45 0 0 25 0 1 0 650489771 974823424 236653 268435456000 4194304 4356188 140735559318528 18446744073709551615 4277419 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/31440/statm: 237994 236653 129 40 0 236538 0
Current children cumulated CPU time (s) 31.4
Current children cumulated vsize (KiB) 1866572

[startup+12.7028 s]
/proc/loadavg: 24.94 28.94 30.66 33/447 31474
/proc/meminfo: memFree=253676948/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
[pid=31436] ppid=31435 vsize=188820 CPUtime=12.68 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4202496 44375 0 0 0 1259 9 0 0 25 0 1 0 650489771 193351680 35868 268435456000 4194304 4587354 140735549075504 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31436/statm: 47205 35868 314 96 0 43767 0
[pid=31437] ppid=31435 vsize=78352 CPUtime=12.69 cores=1
/proc/31437/stat : 31437 (clasp) R 31435 31435 31340 0 -1 4202496 18907 0 0 0 1262 7 0 0 25 0 1 0 650489771 80232448 16015 268435456000 4194304 4785740 140734079104432 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31437/statm: 19588 16015 317 145 0 16633 0
[pid=31438] ppid=31435 vsize=525072 CPUtime=12.68 cores=2
/proc/31438/stat : 31438 (TNM) R 31435 31435 31340 0 -1 4202496 20486 0 0 0 1261 7 0 0 25 0 1 0 650489771 537673728 20384 268435456000 134512640 134534564 4291129008 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31438/statm: 131268 20384 91 6 0 129933 0
[pid=31439] ppid=31435 vsize=144772 CPUtime=12.69 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4202496 128947 0 0 0 1236 33 0 0 25 0 1 0 650489771 148246528 29441 268435456000 4194304 4331988 140736227585488 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31439/statm: 36193 29441 149 34 0 34635 0
[pid=31440] ppid=31435 vsize=1789996 CPUtime=83.02 cores=4-31
/proc/31440/stat : 31440 (plingeling) S 31435 31435 31340 0 -1 4202496 492973 1247 0 0 7849 453 0 0 20 0 29 0 650489771 1832955904 358149 268435456000 4194304 4356188 140735559318528 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/31440/statm: 447499 358149 151 40 0 446043 0
[pid=31440/tid=31447] ppid=31435 vsize=1789996 CPUtime=2.64 cores=4-31
/proc/31440/task/31447/stat : 31447 (plingeling) R 31435 31435 31340 0 -1 4202560 4821 1247 0 0 248 16 0 0 25 0 29 0 650490754 1832955904 358149 268435456000 4194304 4356188 140735559318528 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31440/tid=31448] ppid=31435 vsize=1789996 CPUtime=2.61 cores=4-31
/proc/31440/task/31448/stat : 31448 (plingeling) R 31435 31435 31340 0 -1 4202560 5022 1247 0 0 245 16 0 0 21 0 29 0 650490754 1832955904 358149 268435456000 4194304 4356188 140735559318528 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31440/tid=31449] ppid=31435 vsize=1789996 CPUtime=2.66 cores=4-31
/proc/31440/task/31449/stat : 31449 (plingeling) R 31435 31435 31340 0 -1 4202560 5138 1247 0 0 253 13 0 0 23 0 29 0 650490754 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4267804 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31440/tid=31450] ppid=31435 vsize=1789996 CPUtime=2.66 cores=4-31
/proc/31440/task/31450/stat : 31450 (plingeling) R 31435 31435 31340 0 -1 4202560 5057 1247 0 0 249 17 0 0 23 0 29 0 650490754 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4280568 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31440/tid=31451] ppid=31435 vsize=1789996 CPUtime=2.64 cores=4-31
/proc/31440/task/31451/stat : 31451 (plingeling) R 31435 31435 31340 0 -1 4202560 5351 1247 0 0 251 13 0 0 22 0 29 0 650490754 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4262075 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31440/tid=31452] ppid=31435 vsize=1789996 CPUtime=2.63 cores=4-31
/proc/31440/task/31452/stat : 31452 (plingeling) R 31435 31435 31340 0 -1 4202560 5195 1247 0 0 251 12 0 0 22 0 29 0 650490754 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4262075 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31440/tid=31453] ppid=31435 vsize=1789996 CPUtime=2.56 cores=4-31
/proc/31440/task/31453/stat : 31453 (plingeling) R 31435 31435 31340 0 -1 4202560 4825 1247 0 0 243 13 0 0 22 0 29 0 650490754 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4258653 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31440/tid=31454] ppid=31435 vsize=1789996 CPUtime=2.61 cores=4-31
/proc/31440/task/31454/stat : 31454 (plingeling) R 31435 31435 31340 0 -1 4202560 4956 1247 0 0 244 17 0 0 20 0 29 0 650490755 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4212357 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31440/tid=31455] ppid=31435 vsize=1789996 CPUtime=2.58 cores=4-31
/proc/31440/task/31455/stat : 31455 (plingeling) R 31435 31435 31340 0 -1 4202560 5073 1247 0 0 244 14 0 0 24 0 29 0 650490755 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4246466 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31440/tid=31456] ppid=31435 vsize=1789996 CPUtime=2.66 cores=4-31
/proc/31440/task/31456/stat : 31456 (plingeling) R 31435 31435 31340 0 -1 4202560 5245 1247 0 0 251 15 0 0 22 0 29 0 650490755 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4250885 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31440/tid=31457] ppid=31435 vsize=1789996 CPUtime=2.57 cores=4-31
/proc/31440/task/31457/stat : 31457 (plingeling) R 31435 31435 31340 0 -1 4202560 5217 1247 0 0 241 16 0 0 21 0 29 0 650490755 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4259367 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31440/tid=31458] ppid=31435 vsize=1789996 CPUtime=2.58 cores=4-31
/proc/31440/task/31458/stat : 31458 (plingeling) R 31435 31435 31340 0 -1 4202560 4956 1247 0 0 242 16 0 0 21 0 29 0 650490755 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4251117 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31440/tid=31459] ppid=31435 vsize=1789996 CPUtime=2.67 cores=4-31
/proc/31440/task/31459/stat : 31459 (plingeling) R 31435 31435 31340 0 -1 4202560 5011 1247 0 0 253 14 0 0 24 0 29 0 650490756 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4262075 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31440/tid=31460] ppid=31435 vsize=1789996 CPUtime=2.67 cores=4-31
/proc/31440/task/31460/stat : 31460 (plingeling) R 31435 31435 31340 0 -1 4202560 5020 1247 0 0 253 14 0 0 24 0 29 0 650490756 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4244409 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31440/tid=31461] ppid=31435 vsize=1789996 CPUtime=2.66 cores=4-31
/proc/31440/task/31461/stat : 31461 (plingeling) R 31435 31435 31340 0 -1 4202560 4899 1247 0 0 252 14 0 0 25 0 29 0 650490756 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31440/tid=31462] ppid=31435 vsize=1789996 CPUtime=2.58 cores=4-31
/proc/31440/task/31462/stat : 31462 (plingeling) R 31435 31435 31340 0 -1 4202560 4817 1247 0 0 243 15 0 0 25 0 29 0 650490758 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4251117 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31440/tid=31463] ppid=31435 vsize=1789996 CPUtime=2.57 cores=4-31
/proc/31440/task/31463/stat : 31463 (plingeling) R 31435 31435 31340 0 -1 4202560 4953 1247 0 0 243 14 0 0 25 0 29 0 650490758 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4262075 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31440/tid=31464] ppid=31435 vsize=1789996 CPUtime=2.63 cores=4-31
/proc/31440/task/31464/stat : 31464 (plingeling) R 31435 31435 31340 0 -1 4202560 5268 1247 0 0 250 13 0 0 22 0 29 0 650490759 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4250601 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31440/tid=31465] ppid=31435 vsize=1789996 CPUtime=2.56 cores=4-31
/proc/31440/task/31465/stat : 31465 (plingeling) R 31435 31435 31340 0 -1 4202560 4825 1247 0 0 242 14 0 0 25 0 29 0 650490759 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4250601 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31440/tid=31466] ppid=31435 vsize=1789996 CPUtime=2.63 cores=4-31
/proc/31440/task/31466/stat : 31466 (plingeling) R 31435 31435 31340 0 -1 4202560 4900 1247 0 0 251 12 0 0 25 0 29 0 650490759 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4244409 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31440/tid=31467] ppid=31435 vsize=1789996 CPUtime=2.65 cores=4-31
/proc/31440/task/31467/stat : 31467 (plingeling) R 31435 31435 31340 0 -1 4202560 5438 1247 0 0 253 12 0 0 25 0 29 0 650490759 1832955904 358151 268435456000 4194304 4356188 140735559318528 18446744073709551615 4261931 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31440/tid=31468] ppid=31435 vsize=1789996 CPUtime=2.51 cores=4-31

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

/proc/31440/task/31463/stat : 31463 (plingeling) R 31435 31435 31340 0 -1 4202560 28485 1247 0 0 4293 55 0 0 25 0 29 0 650490758 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31440/tid=31464] ppid=31435 vsize=1977224 CPUtime=43.67 cores=4-31
/proc/31440/task/31464/stat : 31464 (plingeling) R 31435 31435 31340 0 -1 4202560 23132 1247 0 0 4327 40 0 0 25 0 29 0 650490759 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31440/tid=31465] ppid=31435 vsize=1977224 CPUtime=43.64 cores=4-31
/proc/31440/task/31465/stat : 31465 (plingeling) R 31435 31435 31340 0 -1 4202560 26468 1247 0 0 4318 46 0 0 25 0 29 0 650490759 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31440/tid=31466] ppid=31435 vsize=1977224 CPUtime=43.69 cores=4-31
/proc/31440/task/31466/stat : 31466 (plingeling) R 31435 31435 31340 0 -1 4202560 9988 1247 0 0 4356 13 0 0 25 0 29 0 650490759 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31440/tid=31467] ppid=31435 vsize=1977224 CPUtime=43.78 cores=4-31
/proc/31440/task/31467/stat : 31467 (plingeling) R 31435 31435 31340 0 -1 4202560 27408 1247 0 0 4319 59 0 0 25 0 29 0 650490759 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31440/tid=31468] ppid=31435 vsize=1977224 CPUtime=43.64 cores=4-31
/proc/31440/task/31468/stat : 31468 (plingeling) R 31435 31435 31340 0 -1 4202560 27059 1247 0 0 4323 41 0 0 25 0 29 0 650490759 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31440/tid=31469] ppid=31435 vsize=1977224 CPUtime=43.74 cores=4-31
/proc/31440/task/31469/stat : 31469 (plingeling) R 31435 31435 31340 0 -1 4202560 27006 1247 0 0 4327 47 0 0 25 0 29 0 650490760 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31440/tid=31470] ppid=31435 vsize=1977224 CPUtime=43.59 cores=4-31
/proc/31440/task/31470/stat : 31470 (plingeling) R 31435 31435 31340 0 -1 4202560 29200 1247 0 0 4313 46 0 0 25 0 29 0 650490760 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31440/tid=31471] ppid=31435 vsize=1977224 CPUtime=42.81 cores=4-31
/proc/31440/task/31471/stat : 31471 (plingeling) R 31435 31435 31340 0 -1 4202560 27808 1247 0 0 4223 58 0 0 25 0 29 0 650490760 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31440/tid=31472] ppid=31435 vsize=1977224 CPUtime=43.82 cores=4-31
/proc/31440/task/31472/stat : 31472 (plingeling) R 31435 31435 31340 0 -1 4202560 25834 1247 0 0 4343 39 0 0 25 0 29 0 650490760 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31440/tid=31473] ppid=31435 vsize=1977224 CPUtime=43.73 cores=4-31
/proc/31440/task/31473/stat : 31473 (plingeling) R 31435 31435 31340 0 -1 4202560 22274 1247 0 0 4335 38 0 0 25 0 29 0 650490760 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4258634 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31440/tid=31474] ppid=31435 vsize=1977224 CPUtime=44.23 cores=4-31
/proc/31440/task/31474/stat : 31474 (plingeling) R 31435 31435 31340 0 -1 4202560 7882 1247 0 0 4409 14 0 0 25 0 29 0 650490760 2024677376 393375 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1451.29
Current children cumulated vsize (KiB) 3260768

[startup+55.1022 s]
/proc/loadavg: 28.88 29.43 30.74 33/447 31476
/proc/meminfo: memFree=253289756/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
[pid=31436] ppid=31435 vsize=209116 CPUtime=55.08 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4202496 49133 0 0 0 5497 11 0 0 25 0 1 0 650489771 214134784 40515 268435456000 4194304 4587354 140735549075504 18446744073709551615 4388286 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31436/statm: 52279 40515 315 96 0 48841 0
[pid=31437] ppid=31435 vsize=78352 CPUtime=55.08 cores=1
/proc/31437/stat : 31437 (clasp) R 31435 31435 31340 0 -1 4202496 18907 0 0 0 5501 7 0 0 25 0 1 0 650489771 80232448 16015 268435456000 4194304 4785740 140734079104432 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31437/statm: 19588 16015 317 145 0 16633 0
[pid=31438] ppid=31435 vsize=525072 CPUtime=55.08 cores=2
/proc/31438/stat : 31438 (TNM) R 31435 31435 31340 0 -1 4202496 20486 0 0 0 5501 7 0 0 25 0 1 0 650489771 537673728 20384 268435456000 134512640 134534564 4291129008 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31438/statm: 131268 20384 91 6 0 129933 0
[pid=31439] ppid=31435 vsize=457168 CPUtime=55.07 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4202496 199590 0 0 0 5445 62 0 0 25 0 1 0 650489771 468140032 100084 268435456000 4194304 4331988 140736227585488 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31439/statm: 114292 100084 149 34 0 112734 0
[pid=31440] ppid=31435 vsize=2012004 CPUtime=1256.53 cores=4-31
/proc/31440/stat : 31440 (plingeling) S 31435 31435 31340 0 -1 4202496 1034930 1247 0 0 124370 1283 0 0 20 0 29 0 650489771 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/31440/statm: 503001 402294 158 40 0 501545 0
[pid=31440/tid=31447] ppid=31435 vsize=2012004 CPUtime=44.59 cores=4-31
/proc/31440/task/31447/stat : 31447 (plingeling) R 31435 31435 31340 0 -1 4202560 26329 1247 0 0 4414 45 0 0 25 0 29 0 650490754 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4330780 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31440/tid=31448] ppid=31435 vsize=2012004 CPUtime=44.52 cores=4-31
/proc/31440/task/31448/stat : 31448 (plingeling) R 31435 31435 31340 0 -1 4202560 28282 1247 0 0 4396 56 0 0 25 0 29 0 650490754 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331011 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31440/tid=31449] ppid=31435 vsize=2012004 CPUtime=44.62 cores=4-31
/proc/31440/task/31449/stat : 31449 (plingeling) R 31435 31435 31340 0 -1 4202560 23892 1247 0 0 4422 40 0 0 25 0 29 0 650490754 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31440/tid=31450] ppid=31435 vsize=2012004 CPUtime=44.54 cores=4-31
/proc/31440/task/31450/stat : 31450 (plingeling) R 31435 31435 31340 0 -1 4202560 5810 1247 0 0 4436 18 0 0 25 0 29 0 650490754 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4336036 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31440/tid=31451] ppid=31435 vsize=2012004 CPUtime=44.32 cores=4-31
/proc/31440/task/31451/stat : 31451 (plingeling) R 31435 31435 31340 0 -1 4202560 27047 1247 0 0 4380 52 0 0 25 0 29 0 650490754 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31440/tid=31452] ppid=31435 vsize=2012004 CPUtime=44.6 cores=4-31
/proc/31440/task/31452/stat : 31452 (plingeling) R 31435 31435 31340 0 -1 4202560 28209 1247 0 0 4400 60 0 0 25 0 29 0 650490754 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31440/tid=31453] ppid=31435 vsize=2012004 CPUtime=44.05 cores=4-31
/proc/31440/task/31453/stat : 31453 (plingeling) R 31435 31435 31340 0 -1 4202560 26747 1247 0 0 4364 41 0 0 25 0 29 0 650490754 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31440/tid=31454] ppid=31435 vsize=2012004 CPUtime=44.61 cores=4-31
/proc/31440/task/31454/stat : 31454 (plingeling) R 31435 31435 31340 0 -1 4202560 28021 1247 0 0 4422 39 0 0 25 0 29 0 650490755 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31440/tid=31455] ppid=31435 vsize=2012004 CPUtime=44.73 cores=4-31
/proc/31440/task/31455/stat : 31455 (plingeling) R 31435 31435 31340 0 -1 4202560 26297 1247 0 0 4425 48 0 0 25 0 29 0 650490755 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31440/tid=31456] ppid=31435 vsize=2012004 CPUtime=44.52 cores=4-31
/proc/31440/task/31456/stat : 31456 (plingeling) R 31435 31435 31340 0 -1 4202560 27996 1247 0 0 4402 50 0 0 25 0 29 0 650490755 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31440/tid=31457] ppid=31435 vsize=2012004 CPUtime=44.7 cores=4-31
/proc/31440/task/31457/stat : 31457 (plingeling) R 31435 31435 31340 0 -1 4202560 31493 1247 0 0 4422 48 0 0 25 0 29 0 650490755 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4225605 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31440/tid=31458] ppid=31435 vsize=2012004 CPUtime=44.97 cores=4-31
/proc/31440/task/31458/stat : 31458 (plingeling) R 31435 31435 31340 0 -1 4202560 6969 1247 0 0 4481 16 0 0 25 0 29 0 650490755 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31440/tid=31459] ppid=31435 vsize=2012004 CPUtime=44.68 cores=4-31
/proc/31440/task/31459/stat : 31459 (plingeling) R 31435 31435 31340 0 -1 4202560 26510 1247 0 0 4419 49 0 0 25 0 29 0 650490756 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31440/tid=31460] ppid=31435 vsize=2012004 CPUtime=44.6 cores=4-31
/proc/31440/task/31460/stat : 31460 (plingeling) R 31435 31435 31340 0 -1 4202560 27141 1247 0 0 4408 52 0 0 25 0 29 0 650490756 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31440/tid=31461] ppid=31435 vsize=2012004 CPUtime=44.6 cores=4-31
/proc/31440/task/31461/stat : 31461 (plingeling) R 31435 31435 31340 0 -1 4202560 29702 1247 0 0 4417 43 0 0 25 0 29 0 650490756 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31440/tid=31462] ppid=31435 vsize=2012004 CPUtime=44.4 cores=4-31
/proc/31440/task/31462/stat : 31462 (plingeling) R 31435 31435 31340 0 -1 4202560 29666 1247 0 0 4391 49 0 0 25 0 29 0 650490758 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4298368 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31440/tid=31463] ppid=31435 vsize=2012004 CPUtime=44.28 cores=4-31
/proc/31440/task/31463/stat : 31463 (plingeling) R 31435 31435 31340 0 -1 4202560 28485 1247 0 0 4373 55 0 0 25 0 29 0 650490758 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31440/tid=31464] ppid=31435 vsize=2012004 CPUtime=44.47 cores=4-31
/proc/31440/task/31464/stat : 31464 (plingeling) R 31435 31435 31340 0 -1 4202560 23260 1247 0 0 4407 40 0 0 25 0 29 0 650490759 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31440/tid=31465] ppid=31435 vsize=2012004 CPUtime=44.44 cores=4-31
/proc/31440/task/31465/stat : 31465 (plingeling) R 31435 31435 31340 0 -1 4202560 26468 1247 0 0 4398 46 0 0 25 0 29 0 650490759 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4210865 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31440/tid=31466] ppid=31435 vsize=2012004 CPUtime=44.49 cores=4-31
/proc/31440/task/31466/stat : 31466 (plingeling) R 31435 31435 31340 0 -1 4202560 9988 1247 0 0 4436 13 0 0 25 0 29 0 650490759 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4281736 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31440/tid=31467] ppid=31435 vsize=2012004 CPUtime=44.58 cores=4-31
/proc/31440/task/31467/stat : 31467 (plingeling) R 31435 31435 31340 0 -1 4202560 27408 1247 0 0 4399 59 0 0 25 0 29 0 650490759 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31440/tid=31468] ppid=31435 vsize=2012004 CPUtime=44.44 cores=4-31
/proc/31440/task/31468/stat : 31468 (plingeling) R 31435 31435 31340 0 -1 4202560 27059 1247 0 0 4403 41 0 0 25 0 29 0 650490759 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31440/tid=31469] ppid=31435 vsize=2012004 CPUtime=44.54 cores=4-31
/proc/31440/task/31469/stat : 31469 (plingeling) R 31435 31435 31340 0 -1 4202560 27006 1247 0 0 4407 47 0 0 25 0 29 0 650490760 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31440/tid=31470] ppid=31435 vsize=2012004 CPUtime=44.39 cores=4-31
/proc/31440/task/31470/stat : 31470 (plingeling) R 31435 31435 31340 0 -1 4202560 29200 1247 0 0 4393 46 0 0 25 0 29 0 650490760 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4210721 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31440/tid=31471] ppid=31435 vsize=2012004 CPUtime=43.58 cores=4-31
/proc/31440/task/31471/stat : 31471 (plingeling) R 31435 31435 31340 0 -1 4202560 27808 1247 0 0 4300 58 0 0 25 0 29 0 650490760 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4298508 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31440/tid=31472] ppid=31435 vsize=2012004 CPUtime=44.62 cores=4-31
/proc/31440/task/31472/stat : 31472 (plingeling) R 31435 31435 31340 0 -1 4202560 25834 1247 0 0 4423 39 0 0 25 0 29 0 650490760 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331173 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31440/tid=31473] ppid=31435 vsize=2012004 CPUtime=44.53 cores=4-31
/proc/31440/task/31473/stat : 31473 (plingeling) R 31435 31435 31340 0 -1 4202560 22274 1247 0 0 4415 38 0 0 25 0 29 0 650490760 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31440/tid=31474] ppid=31435 vsize=2012004 CPUtime=45.03 cores=4-31
/proc/31440/task/31474/stat : 31474 (plingeling) R 31435 31435 31340 0 -1 4202560 7882 1247 0 0 4489 14 0 0 25 0 29 0 650490760 2060292096 402294 268435456000 4194304 4356188 140735559318528 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1476.84
Current children cumulated vsize (KiB) 3300036

[startup+55.5023 s]
/proc/loadavg: 28.88 29.43 30.74 33/447 31476
/proc/meminfo: memFree=253289756/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
[pid=31436] ppid=31435 vsize=209116 CPUtime=55.48 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4202496 49133 0 0 0 5537 11 0 0 25 0 1 0 650489771 214134784 40515 268435456000 4194304 4587354 140735549075504 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31436/statm: 52279 40515 315 96 0 48841 0
[pid=31437] ppid=31435 vsize=78352 CPUtime=55.48 cores=1
/proc/31437/stat : 31437 (clasp) R 31435 31435 31340 0 -1 4202496 18907 0 0 0 5541 7 0 0 25 0 1 0 650489771 80232448 16015 268435456000 4194304 4785740 140734079104432 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31437/statm: 19588 16015 317 145 0 16633 0
[pid=31438] ppid=31435 vsize=525072 CPUtime=55.48 cores=2
/proc/31438/stat : 31438 (TNM) R 31435 31435 31340 0 -1 4202496 20486 0 0 0 5541 7 0 0 25 0 1 0 650489771 537673728 20384 268435456000 134512640 134534564 4291129008 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31438/statm: 131268 20384 91 6 0 129933 0
[pid=31439] ppid=31435 vsize=459148 CPUtime=55.47 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4202496 200216 0 0 0 5485 62 0 0 25 0 1 0 650489771 470167552 100710 268435456000 4194304 4331988 140736227585488 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31439/statm: 114787 100710 149 34 0 113229 0
[pid=31440] ppid=31435 vsize=1903984 CPUtime=1265.95 cores=4-31
/proc/31440/stat : 31440 (plingeling) S 31435 31435 31340 0 -1 4202496 1034931 1247 0 0 125312 1283 0 0 17 0 2 0 650489771 1949679616 400912 268435456000 4194304 4356188 140735559318528 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/31440/statm: 475996 400912 159 40 0 474540 0
[pid=31440/tid=31460] ppid=31435 vsize=1903984 CPUtime=45 cores=4-31
/proc/31440/task/31460/stat : 31460 (plingeling) R 31435 31435 31340 0 -1 4202560 27141 1247 0 0 4448 52 0 0 25 0 2 0 650490756 1949679616 400912 268435456000 4194304 4356188 140735559318528 18446744073709551615 4238648 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 1487.86
Current children cumulated vsize (KiB) 3193996

[startup+55.7013 s]
/proc/loadavg: 28.88 29.43 30.74 33/447 31476
/proc/meminfo: memFree=253289756/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=0 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 650489770 18763776 385 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9179084125099786239 0 0 17 24 0 0 0
/proc/31435/statm: 4581 385 337 23 0 91 0
[pid=31436] ppid=31435 vsize=209116 CPUtime=55.68 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4202496 49133 0 0 0 5557 11 0 0 25 0 1 0 650489771 214134784 40515 268435456000 4194304 4587354 140735549075504 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31436/statm: 52279 40515 315 96 0 48841 0
[pid=31437] ppid=31435 vsize=78352 CPUtime=55.68 cores=1
/proc/31437/stat : 31437 (clasp) R 31435 31435 31340 0 -1 4202496 18907 0 0 0 5561 7 0 0 25 0 1 0 650489771 80232448 16015 268435456000 4194304 4785740 140734079104432 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31437/statm: 19588 16015 317 145 0 16633 0
[pid=31438] ppid=31435 vsize=525072 CPUtime=55.67 cores=2
/proc/31438/stat : 31438 (TNM) R 31435 31435 31340 0 -1 4202496 20486 0 0 0 5560 7 0 0 25 0 1 0 650489771 537673728 20384 268435456000 134512640 134534564 4291129008 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31438/statm: 131268 20384 91 6 0 129933 0
[pid=31439] ppid=31435 vsize=459940 CPUtime=55.68 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4202496 200454 0 0 0 5505 63 0 0 25 0 1 0 650489771 470978560 100948 268435456000 4194304 4331988 140736227585488 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31439/statm: 114985 100948 149 34 0 113427 0
[pid=31440] ppid=31435 vsize=1259088 CPUtime=1266.15 cores=4-31
/proc/31440/stat : 31440 (plingeling) R 31435 31435 31340 0 -1 4202496 1034931 1247 0 0 125327 1288 0 0 16 0 1 0 650489771 1289306112 262746 268435456000 4194304 4356188 140735559318528 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/31440/statm: 314772 262746 159 40 0 313316 0
Current children cumulated CPU time (s) 1488.86
Current children cumulated vsize (KiB) 2549892

[startup+55.8013 s]
/proc/loadavg: 28.88 29.43 30.74 33/447 31476
/proc/meminfo: memFree=253289756/264257624 swapFree=67111528/67111528
[pid=31435] ppid=31433 vsize=18324 CPUtime=1377.81 cores=0-31
/proc/31435/stat : 31435 (ppfolio) S 31433 31435 31340 0 -1 4202496 512 1075586 0 0 0 0 136467 1314 15 0 1 0 650489770 18763776 387 268435456000 4194304 4287625 140736971442752 18446744073709551615 258650975999 0 0 4096 65536 9202019250460393776 0 0 17 24 0 0 0
/proc/31435/statm: 4581 387 338 23 0 91 0
[pid=31436] ppid=31435 vsize=0 CPUtime=55.78 cores=0
/proc/31436/stat : 31436 (cryptominisat) R 31435 31435 31340 0 -1 4203524 49133 0 0 0 5566 12 0 0 25 0 1 0 650489771 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31436/statm: 0 0 0 0 0 0 0
[pid=31439] ppid=31435 vsize=0 CPUtime=55.78 cores=3
/proc/31439/stat : 31439 (march_hi) R 31435 31435 31340 0 -1 4203524 200578 0 0 0 5514 64 0 0 25 0 1 0 650489771 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/31439/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1489.37
Current children cumulated vsize (KiB) 18324

Child status: 0
Real time (s): 55.8263
CPU time (s): 1489.42
CPU user time (s): 1475.48
CPU system time (s): 13.9389
CPU usage (%): 2667.95
Max. virtual memory (cumulated for all children) (KiB): 3817668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1475.48
system time used= 13.9389
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1325828
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= 1599
involuntary context switches= 3497

runsolver used 0.274958 second user time and 1.23581 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 18:20:34
IDJOB=3347609
IDBENCH=83450
IDSOLVER=1808
FILE ID=node200/3347609-1305390032
RUNJOBID= node200-1305389859-31354
PBS_JOBID= 13285491
Free space on /tmp= 62028 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1706188617

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:      255576464 kB
Buffers:        437000 kB
Cached:        7839432 kB
SwapCached:          0 kB
Active:        7404808 kB
Inactive:       940248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255576464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           31572 kB
Writeback:           0 kB
AnonPages:       68772 kB
Mapped:          14536 kB
Slab:           250568 kB
PageTables:       4260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190780 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 18:21:30