Trace number 3347601

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 646.007 25.7268

General information on the benchmark

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

Solver Data 

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

[startup+0.13276 s]
/proc/loadavg: 26.57 29.92 31.19 1/413 31094
/proc/meminfo: memFree=255578860/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.200798 s]
/proc/loadavg: 26.57 29.92 31.19 1/413 31094
/proc/meminfo: memFree=255578860/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300761 s]
/proc/loadavg: 26.57 29.92 31.19 1/413 31094
/proc/meminfo: memFree=255578860/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.70079 s]
/proc/loadavg: 26.57 29.92 31.19 1/413 31094
/proc/meminfo: memFree=255578860/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50083 s]
/proc/loadavg: 26.57 29.92 31.19 6/419 31105
/proc/meminfo: memFree=255308488/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
[pid=31095] ppid=31094 vsize=80408 CPUtime=1.48 cores=0
/proc/31095/stat : 31095 (cryptominisat) R 31094 31094 30763 0 -1 4202496 8438 0 0 0 146 2 0 0 23 0 1 0 650301139 82337792 8031 268435456000 4194304 4587354 140736444062752 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31095/statm: 20102 8031 304 96 0 16664 0
[pid=31096] ppid=31094 vsize=46524 CPUtime=1.48 cores=1
/proc/31096/stat : 31096 (clasp) R 31094 31094 30763 0 -1 4202496 10226 0 0 0 144 4 0 0 20 0 1 0 650301139 47640576 8874 268435456000 4194304 4785740 140736197268960 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31096/statm: 11631 8874 317 145 0 8676 0
[pid=31097] ppid=31094 vsize=490568 CPUtime=1.49 cores=2
/proc/31097/stat : 31097 (TNM) R 31094 31094 30763 0 -1 4202496 11101 0 0 0 146 3 0 0 20 0 1 0 650301139 502341632 10999 268435456000 134512640 134534564 4287984496 18446744073709551615 134524752 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31097/statm: 122642 10999 91 6 0 121307 0
[pid=31098] ppid=31094 vsize=55964 CPUtime=1.48 cores=3
/proc/31098/stat : 31098 (march_hi) R 31094 31094 30763 0 -1 4194304 20846 0 0 0 141 7 0 0 20 0 1 0 650301139 57307136 7510 268435456000 4194304 4331988 140737018846896 18446744073709551615 4252200 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31098/statm: 13991 7512 127 34 0 12433 0
[pid=31099] ppid=31094 vsize=149432 CPUtime=1.47 cores=4-31
/proc/31099/stat : 31099 (plingeling) R 31094 31094 30763 0 -1 4202496 36610 1243 0 0 139 8 0 0 21 0 1 0 650301139 153018368 35985 268435456000 4194304 4356188 140734049986320 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/31099/statm: 37358 35985 129 40 0 35902 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 841220

[startup+3.10084 s]
/proc/loadavg: 26.57 29.92 31.19 6/419 31105
/proc/meminfo: memFree=255150820/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
[pid=31095] ppid=31094 vsize=131188 CPUtime=3.08 cores=0
/proc/31095/stat : 31095 (cryptominisat) R 31094 31094 30763 0 -1 4202496 27673 0 0 0 302 6 0 0 25 0 1 0 650301139 134336512 20199 268435456000 4194304 4587354 140736444062752 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31095/statm: 32797 20199 314 96 0 29359 0
[pid=31096] ppid=31094 vsize=46524 CPUtime=3.08 cores=1
/proc/31096/stat : 31096 (clasp) R 31094 31094 30763 0 -1 4202496 10226 0 0 0 304 4 0 0 25 0 1 0 650301139 47640576 8874 268435456000 4194304 4785740 140736197268960 18446744073709551615 4495691 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31096/statm: 11631 8874 317 145 0 8676 0
[pid=31097] ppid=31094 vsize=490568 CPUtime=3.09 cores=2
/proc/31097/stat : 31097 (TNM) R 31094 31094 30763 0 -1 4202496 11101 0 0 0 306 3 0 0 25 0 1 0 650301139 502341632 10999 268435456000 134512640 134534564 4287984496 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31097/statm: 122642 10999 91 6 0 121307 0
[pid=31098] ppid=31094 vsize=62236 CPUtime=3.08 cores=3
/proc/31098/stat : 31098 (march_hi) R 31094 31094 30763 0 -1 4202496 64036 0 0 0 292 16 0 0 25 0 1 0 650301139 63729664 11143 268435456000 4194304 4331988 140737018846896 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31098/statm: 15559 11143 149 34 0 14001 0
[pid=31099] ppid=31094 vsize=493496 CPUtime=3.07 cores=4-31
/proc/31099/stat : 31099 (plingeling) R 31094 31094 30763 0 -1 4202496 122626 1243 0 0 282 25 0 0 25 0 1 0 650301139 505339904 122001 268435456000 4194304 4356188 140734049986320 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/31099/statm: 123374 122001 129 40 0 121918 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 1242336

[startup+6.30092 s]
/proc/loadavg: 24.84 29.51 31.05 6/419 31105
/proc/meminfo: memFree=254640420/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
[pid=31095] ppid=31094 vsize=143348 CPUtime=6.29 cores=0
/proc/31095/stat : 31095 (cryptominisat) R 31094 31094 30763 0 -1 4202496 30734 0 0 0 622 7 0 0 25 0 1 0 650301139 146788352 23116 268435456000 4194304 4587354 140736444062752 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31095/statm: 35837 23116 315 96 0 32399 0
[pid=31096] ppid=31094 vsize=46524 CPUtime=6.28 cores=1
/proc/31096/stat : 31096 (clasp) R 31094 31094 30763 0 -1 4202496 10226 0 0 0 624 4 0 0 25 0 1 0 650301139 47640576 8874 268435456000 4194304 4785740 140736197268960 18446744073709551615 4495651 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31096/statm: 11631 8874 317 145 0 8676 0
[pid=31097] ppid=31094 vsize=490568 CPUtime=6.29 cores=2
/proc/31097/stat : 31097 (TNM) R 31094 31094 30763 0 -1 4202496 11101 0 0 0 626 3 0 0 25 0 1 0 650301139 502341632 10999 268435456000 134512640 134534564 4287984496 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31097/statm: 122642 10999 91 6 0 121307 0
[pid=31098] ppid=31094 vsize=95844 CPUtime=6.28 cores=3
/proc/31098/stat : 31098 (march_hi) R 31094 31094 30763 0 -1 4202496 71230 0 0 0 611 17 0 0 25 0 1 0 650301139 98144256 18337 268435456000 4194304 4331988 140737018846896 18446744073709551615 4271154 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31098/statm: 23961 18337 149 34 0 22403 0
[pid=31099] ppid=31094 vsize=1119904 CPUtime=18.3 cores=4-31
/proc/31099/stat : 31099 (plingeling) S 31094 31094 30763 0 -1 4202496 245609 1243 0 0 1778 52 0 0 18 0 29 0 650301139 1146781696 190416 268435456000 4194304 4356188 140734049986320 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/31099/statm: 279976 190423 141 40 0 278520 0
Current children cumulated CPU time (s) 43.44
Current children cumulated vsize (KiB) 1914512

[startup+12.7021 s]
/proc/loadavg: 25.42 29.55 31.06 33/447 31133
/proc/meminfo: memFree=254279832/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
[pid=31095] ppid=31094 vsize=142280 CPUtime=12.68 cores=0
/proc/31095/stat : 31095 (cryptominisat) R 31094 31094 30763 0 -1 4202496 32607 0 0 0 1260 8 0 0 25 0 1 0 650301139 145694720 22093 268435456000 4194304 4587354 140736444062752 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31095/statm: 35570 22093 325 96 0 32132 0
[pid=31096] ppid=31094 vsize=60628 CPUtime=12.69 cores=1
/proc/31096/stat : 31096 (clasp) R 31094 31094 30763 0 -1 4202496 14229 0 0 0 1264 5 0 0 25 0 1 0 650301139 62083072 12299 268435456000 4194304 4785740 140736197268960 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31096/statm: 15157 12299 339 145 0 12202 0
[pid=31097] ppid=31094 vsize=490568 CPUtime=12.69 cores=2
/proc/31097/stat : 31097 (TNM) R 31094 31094 30763 0 -1 4202496 11101 0 0 0 1266 3 0 0 25 0 1 0 650301139 502341632 10999 268435456000 134512640 134534564 4287984496 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31097/statm: 122642 10999 91 6 0 121307 0
[pid=31098] ppid=31094 vsize=156576 CPUtime=12.68 cores=3
/proc/31098/stat : 31098 (march_hi) R 31094 31094 30763 0 -1 4202496 86421 0 0 0 1246 22 0 0 25 0 1 0 650301139 160333824 33528 268435456000 4194304 4331988 140737018846896 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31098/statm: 39144 33528 149 34 0 37586 0
[pid=31099] ppid=31094 vsize=1407580 CPUtime=183.8 cores=4-31
/proc/31099/stat : 31099 (plingeling) S 31094 31094 30763 0 -1 4202496 425663 1243 0 0 18035 345 0 0 18 0 29 0 650301139 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/31099/statm: 351895 248572 158 40 0 350439 0
[pid=31099/tid=31106] ppid=31094 vsize=1407580 CPUtime=6.26 cores=4-31
/proc/31099/task/31106/stat : 31106 (plingeling) R 31094 31094 30763 0 -1 4202560 7809 1243 0 0 611 15 0 0 25 0 29 0 650301721 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4234124 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31099/tid=31107] ppid=31094 vsize=1407580 CPUtime=6.21 cores=4-31
/proc/31099/task/31107/stat : 31107 (plingeling) R 31094 31094 30763 0 -1 4202560 7192 1243 0 0 610 11 0 0 25 0 29 0 650301721 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31099/tid=31108] ppid=31094 vsize=1407580 CPUtime=6.44 cores=4-31
/proc/31099/task/31108/stat : 31108 (plingeling) R 31094 31094 30763 0 -1 4202560 7305 1243 0 0 631 13 0 0 25 0 29 0 650301721 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330856 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31099/tid=31109] ppid=31094 vsize=1407580 CPUtime=6.41 cores=4-31
/proc/31099/task/31109/stat : 31109 (plingeling) R 31094 31094 30763 0 -1 4202560 2484 1243 0 0 640 1 0 0 25 0 29 0 650301721 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31099/tid=31110] ppid=31094 vsize=1407580 CPUtime=6.54 cores=4-31
/proc/31099/task/31110/stat : 31110 (plingeling) R 31094 31094 30763 0 -1 4202560 7712 1243 0 0 645 9 0 0 25 0 29 0 650301722 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31099/tid=31111] ppid=31094 vsize=1407580 CPUtime=6.22 cores=4-31
/proc/31099/task/31111/stat : 31111 (plingeling) R 31094 31094 30763 0 -1 4202560 7555 1243 0 0 615 7 0 0 25 0 29 0 650301722 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31099/tid=31112] ppid=31094 vsize=1407580 CPUtime=6.59 cores=4-31
/proc/31099/task/31112/stat : 31112 (plingeling) R 31094 31094 30763 0 -1 4202560 7600 1243 0 0 649 10 0 0 25 0 29 0 650301722 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31099/tid=31113] ppid=31094 vsize=1407580 CPUtime=6.51 cores=4-31
/proc/31099/task/31113/stat : 31113 (plingeling) R 31094 31094 30763 0 -1 4202560 7933 1243 0 0 640 11 0 0 25 0 29 0 650301722 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31099/tid=31114] ppid=31094 vsize=1407580 CPUtime=6.26 cores=4-31
/proc/31099/task/31114/stat : 31114 (plingeling) R 31094 31094 30763 0 -1 4202560 8016 1243 0 0 611 15 0 0 25 0 29 0 650301722 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31099/tid=31115] ppid=31094 vsize=1407580 CPUtime=6.49 cores=4-31
/proc/31099/task/31115/stat : 31115 (plingeling) R 31094 31094 30763 0 -1 4202560 7147 1243 0 0 629 20 0 0 25 0 29 0 650301722 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31099/tid=31116] ppid=31094 vsize=1407580 CPUtime=6.19 cores=4-31
/proc/31099/task/31116/stat : 31116 (plingeling) R 31094 31094 30763 0 -1 4202560 7440 1243 0 0 608 11 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31099/tid=31117] ppid=31094 vsize=1407580 CPUtime=6.53 cores=4-31
/proc/31099/task/31117/stat : 31117 (plingeling) R 31094 31094 30763 0 -1 4202560 2324 1243 0 0 653 0 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31099/tid=31118] ppid=31094 vsize=1407580 CPUtime=6.25 cores=4-31
/proc/31099/task/31118/stat : 31118 (plingeling) R 31094 31094 30763 0 -1 4202560 7280 1243 0 0 610 15 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31099/tid=31119] ppid=31094 vsize=1407580 CPUtime=6.31 cores=4-31
/proc/31099/task/31119/stat : 31119 (plingeling) R 31094 31094 30763 0 -1 4202560 7791 1243 0 0 622 9 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4335244 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31099/tid=31120] ppid=31094 vsize=1407580 CPUtime=6.26 cores=4-31
/proc/31099/task/31120/stat : 31120 (plingeling) R 31094 31094 30763 0 -1 4202560 7480 1243 0 0 614 12 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31099/tid=31121] ppid=31094 vsize=1407580 CPUtime=6.21 cores=4-31
/proc/31099/task/31121/stat : 31121 (plingeling) R 31094 31094 30763 0 -1 4202560 7303 1243 0 0 610 11 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31099/tid=31122] ppid=31094 vsize=1407580 CPUtime=6.24 cores=4-31
/proc/31099/task/31122/stat : 31122 (plingeling) R 31094 31094 30763 0 -1 4202560 7813 1243 0 0 612 12 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31099/tid=31123] ppid=31094 vsize=1407580 CPUtime=6.47 cores=4-31
/proc/31099/task/31123/stat : 31123 (plingeling) R 31094 31094 30763 0 -1 4202560 7515 1243 0 0 637 10 0 0 25 0 29 0 650301723 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31099/tid=31124] ppid=31094 vsize=1407580 CPUtime=6.47 cores=4-31
/proc/31099/task/31124/stat : 31124 (plingeling) R 31094 31094 30763 0 -1 4202560 7470 1243 0 0 637 10 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31099/tid=31125] ppid=31094 vsize=1407580 CPUtime=6.47 cores=4-31
/proc/31099/task/31125/stat : 31125 (plingeling) R 31094 31094 30763 0 -1 4202560 1867 1243 0 0 647 0 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4233948 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31099/tid=31126] ppid=31094 vsize=1407580 CPUtime=6.56 cores=4-31
/proc/31099/task/31126/stat : 31126 (plingeling) R 31094 31094 30763 0 -1 4202560 7921 1243 0 0 647 9 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31099/tid=31127] ppid=31094 vsize=1407580 CPUtime=6.29 cores=4-31
/proc/31099/task/31127/stat : 31127 (plingeling) R 31094 31094 30763 0 -1 4202560 7564 1243 0 0 613 16 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31099/tid=31128] ppid=31094 vsize=1407580 CPUtime=6.24 cores=4-31
/proc/31099/task/31128/stat : 31128 (plingeling) R 31094 31094 30763 0 -1 4202560 7046 1243 0 0 612 12 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331951 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31099/tid=31129] ppid=31094 vsize=1407580 CPUtime=6.22 cores=4-31
/proc/31099/task/31129/stat : 31129 (plingeling) R 31094 31094 30763 0 -1 4202560 7454 1243 0 0 615 7 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31099/tid=31130] ppid=31094 vsize=1407580 CPUtime=6.46 cores=4-31
/proc/31099/task/31130/stat : 31130 (plingeling) R 31094 31094 30763 0 -1 4202560 6918 1243 0 0 632 14 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4334575 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31099/tid=31131] ppid=31094 vsize=1407580 CPUtime=6.22 cores=4-31
/proc/31099/task/31131/stat : 31131 (plingeling) R 31094 31094 30763 0 -1 4202560 7258 1243 0 0 611 11 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331424 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31099/tid=31132] ppid=31094 vsize=1407580 CPUtime=6.25 cores=4-31
/proc/31099/task/31132/stat : 31132 (plingeling) R 31094 31094 30763 0 -1 4202560 7621 1243 0 0 613 12 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31099/tid=31133] ppid=31094 vsize=1407580 CPUtime=6.19 cores=4-31
/proc/31099/task/31133/stat : 31133 (plingeling) R 31094 31094 30763 0 -1 4202560 1495 1243 0 0 619 0 0 0 25 0 29 0 650301724 1441361920 248572 268435456000 4194304 4356188 140734049986320 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 234.54
Current children cumulated vsize (KiB) 2275956

[startup+25.5026 s]
/proc/loadavg: 26.95 29.68 31.08 33/447 31133
/proc/meminfo: memFree=254134860/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
[pid=31095] ppid=31094 vsize=160404 CPUtime=25.48 cores=0
/proc/31095/stat : 31095 (cryptominisat) R 31094 31094 30763 0 -1 4202496 38906 0 0 0 2538 10 0 0 25 0 1 0 650301139 164253696 28368 268435456000 4194304 4587354 140736444062752 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31095/statm: 40101 28368 335 96 0 36663 0
[pid=31096] ppid=31094 vsize=87544 CPUtime=25.48 cores=1
/proc/31096/stat : 31096 (clasp) R 31094 31094 30763 0 -1 4202496 20676 0 0 0 2540 8 0 0 25 0 1 0 650301139 89645056 18746 268435456000 4194304 4785740 140736197268960 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31096/statm: 21886 18746 339 145 0 18931 0
[pid=31097] ppid=31094 vsize=490568 CPUtime=25.48 cores=2
/proc/31097/stat : 31097 (TNM) R 31094 31094 30763 0 -1 4202496 11101 0 0 0 2545 3 0 0 25 0 1 0 650301139 502341632 10999 268435456000 134512640 134534564 4287984496 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31097/statm: 122642 10999 91 6 0 121307 0
[pid=31098] ppid=31094 vsize=281076 CPUtime=25.48 cores=3
/proc/31098/stat : 31098 (march_hi) R 31094 31094 30763 0 -1 4202496 117823 0 0 0 2515 33 0 0 25 0 1 0 650301139 287821824 64930 268435456000 4194304 4331988 140737018846896 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31098/statm: 70269 64930 149 34 0 68711 0
[pid=31099] ppid=31094 vsize=1365832 CPUtime=541.58 cores=4-31
/proc/31099/stat : 31099 (plingeling) S 31094 31094 30763 0 -1 4202496 589814 1243 0 0 53752 406 0 0 18 0 29 0 650301139 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/31099/statm: 341458 239596 158 40 0 340002 0
[pid=31099/tid=31106] ppid=31094 vsize=1365832 CPUtime=19.05 cores=4-31
/proc/31099/task/31106/stat : 31106 (plingeling) R 31094 31094 30763 0 -1 4202560 12710 1243 0 0 1889 16 0 0 25 0 29 0 650301721 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4279454 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31099/tid=31107] ppid=31094 vsize=1365832 CPUtime=19.01 cores=4-31
/proc/31099/task/31107/stat : 31107 (plingeling) R 31094 31094 30763 0 -1 4202560 14396 1243 0 0 1888 13 0 0 25 0 29 0 650301721 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4210751 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31099/tid=31108] ppid=31094 vsize=1365832 CPUtime=19.2 cores=4-31
/proc/31099/task/31108/stat : 31108 (plingeling) R 31094 31094 30763 0 -1 4202560 15823 1243 0 0 1906 14 0 0 25 0 29 0 650301721 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31099/tid=31109] ppid=31094 vsize=1365832 CPUtime=19.2 cores=4-31
/proc/31099/task/31109/stat : 31109 (plingeling) R 31094 31094 30763 0 -1 4202560 3371 1243 0 0 1919 1 0 0 25 0 29 0 650301721 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31099/tid=31110] ppid=31094 vsize=1365832 CPUtime=19.34 cores=4-31
/proc/31099/task/31110/stat : 31110 (plingeling) R 31094 31094 30763 0 -1 4202560 12539 1243 0 0 1924 10 0 0 25 0 29 0 650301722 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31099/tid=31111] ppid=31094 vsize=1365832 CPUtime=19.01 cores=4-31
/proc/31099/task/31111/stat : 31111 (plingeling) R 31094 31094 30763 0 -1 4202560 16013 1243 0 0 1892 9 0 0 25 0 29 0 650301722 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31099/tid=31112] ppid=31094 vsize=1365832 CPUtime=19.35 cores=4-31
/proc/31099/task/31112/stat : 31112 (plingeling) R 31094 31094 30763 0 -1 4202560 14978 1243 0 0 1918 17 0 0 25 0 29 0 650301722 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31099/tid=31113] ppid=31094 vsize=1365832 CPUtime=19.3 cores=4-31
/proc/31099/task/31113/stat : 31113 (plingeling) R 31094 31094 30763 0 -1 4202560 16776 1243 0 0 1917 13 0 0 25 0 29 0 650301722 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31099/tid=31114] ppid=31094 vsize=1365832 CPUtime=19.06 cores=4-31
/proc/31099/task/31114/stat : 31114 (plingeling) R 31094 31094 30763 0 -1 4202560 15905 1243 0 0 1889 17 0 0 25 0 29 0 650301722 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4284062 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31099/tid=31115] ppid=31094 vsize=1365832 CPUtime=19.28 cores=4-31
/proc/31099/task/31115/stat : 31115 (plingeling) R 31094 31094 30763 0 -1 4202560 11481 1243 0 0 1907 21 0 0 25 0 29 0 650301722 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31099/tid=31116] ppid=31094 vsize=1365832 CPUtime=19 cores=4-31
/proc/31099/task/31116/stat : 31116 (plingeling) R 31094 31094 30763 0 -1 4202560 16289 1243 0 0 1886 14 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4267804 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31099/tid=31117] ppid=31094 vsize=1365832 CPUtime=19.32 cores=4-31
/proc/31099/task/31117/stat : 31117 (plingeling) R 31094 31094 30763 0 -1 4202560 2841 1243 0 0 1932 0 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31099/tid=31118] ppid=31094 vsize=1365832 CPUtime=19.04 cores=4-31
/proc/31099/task/31118/stat : 31118 (plingeling) R 31094 31094 30763 0 -1 4202560 12325 1243 0 0 1888 16 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4244483 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31099/tid=31119] ppid=31094 vsize=1365832 CPUtime=19.1 cores=4-31
/proc/31099/task/31119/stat : 31119 (plingeling) R 31094 31094 30763 0 -1 4202560 16555 1243 0 0 1899 11 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31099/tid=31120] ppid=31094 vsize=1365832 CPUtime=19.06 cores=4-31
/proc/31099/task/31120/stat : 31120 (plingeling) R 31094 31094 30763 0 -1 4202560 12372 1243 0 0 1893 13 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31099/tid=31121] ppid=31094 vsize=1365832 CPUtime=19 cores=4-31
/proc/31099/task/31121/stat : 31121 (plingeling) R 31094 31094 30763 0 -1 4202560 15348 1243 0 0 1882 18 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31099/tid=31122] ppid=31094 vsize=1365832 CPUtime=19.04 cores=4-31
/proc/31099/task/31122/stat : 31122 (plingeling) R 31094 31094 30763 0 -1 4202560 13191 1243 0 0 1891 13 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4279575 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31099/tid=31123] ppid=31094 vsize=1365832 CPUtime=19.26 cores=4-31
/proc/31099/task/31123/stat : 31123 (plingeling) R 31094 31094 30763 0 -1 4202560 14407 1243 0 0 1910 16 0 0 25 0 29 0 650301723 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31099/tid=31124] ppid=31094 vsize=1365832 CPUtime=19.25 cores=4-31
/proc/31099/task/31124/stat : 31124 (plingeling) R 31094 31094 30763 0 -1 4202560 16128 1243 0 0 1914 11 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4273866 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31099/tid=31125] ppid=31094 vsize=1365832 CPUtime=19.27 cores=4-31
/proc/31099/task/31125/stat : 31125 (plingeling) R 31094 31094 30763 0 -1 4202560 2996 1243 0 0 1927 0 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31099/tid=31126] ppid=31094 vsize=1365832 CPUtime=19.35 cores=4-31
/proc/31099/task/31126/stat : 31126 (plingeling) R 31094 31094 30763 0 -1 4202560 14521 1243 0 0 1919 16 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31099/tid=31127] ppid=31094 vsize=1365832 CPUtime=19.09 cores=4-31
/proc/31099/task/31127/stat : 31127 (plingeling) R 31094 31094 30763 0 -1 4202560 16399 1243 0 0 1891 18 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31099/tid=31128] ppid=31094 vsize=1365832 CPUtime=18.66 cores=4-31
/proc/31099/task/31128/stat : 31128 (plingeling) R 31094 31094 30763 0 -1 4202560 11746 1243 0 0 1853 13 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31099/tid=31129] ppid=31094 vsize=1365832 CPUtime=18.96 cores=4-31
/proc/31099/task/31129/stat : 31129 (plingeling) R 31094 31094 30763 0 -1 4202560 15422 1243 0 0 1887 9 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31099/tid=31130] ppid=31094 vsize=1365832 CPUtime=19.26 cores=4-31
/proc/31099/task/31130/stat : 31130 (plingeling) R 31094 31094 30763 0 -1 4202560 11196 1243 0 0 1911 15 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31099/tid=31131] ppid=31094 vsize=1365832 CPUtime=18.99 cores=4-31
/proc/31099/task/31131/stat : 31131 (plingeling) R 31094 31094 30763 0 -1 4202560 12093 1243 0 0 1886 13 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4281741 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31099/tid=31132] ppid=31094 vsize=1365832 CPUtime=19.03 cores=4-31
/proc/31099/task/31132/stat : 31132 (plingeling) R 31094 31094 30763 0 -1 4202560 12585 1243 0 0 1890 13 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4279511 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31099/tid=31133] ppid=31094 vsize=1365832 CPUtime=18.99 cores=4-31
/proc/31099/task/31133/stat : 31133 (plingeling) R 31094 31094 30763 0 -1 4202560 2058 1243 0 0 1899 0 0 0 25 0 29 0 650301724 1398611968 239596 268435456000 4194304 4356188 140734049986320 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 643.5
Current children cumulated vsize (KiB) 2403748

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

[startup+25.6026 s]
/proc/loadavg: 26.95 29.68 31.08 33/447 31133
/proc/meminfo: memFree=254134860/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
[pid=31095] ppid=31094 vsize=160404 CPUtime=25.58 cores=0
/proc/31095/stat : 31095 (cryptominisat) R 31094 31094 30763 0 -1 4202496 38906 0 0 0 2548 10 0 0 25 0 1 0 650301139 164253696 28368 268435456000 4194304 4587354 140736444062752 18446744073709551615 4364672 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31095/statm: 40101 28368 335 96 0 36663 0
[pid=31096] ppid=31094 vsize=87816 CPUtime=25.58 cores=1
/proc/31096/stat : 31096 (clasp) R 31094 31094 30763 0 -1 4202496 20735 0 0 0 2550 8 0 0 25 0 1 0 650301139 89923584 18805 268435456000 4194304 4785740 140736197268960 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31096/statm: 21954 18805 339 145 0 18999 0
[pid=31097] ppid=31094 vsize=490568 CPUtime=25.58 cores=2
/proc/31097/stat : 31097 (TNM) R 31094 31094 30763 0 -1 4202496 11101 0 0 0 2555 3 0 0 25 0 1 0 650301139 502341632 10999 268435456000 134512640 134534564 4287984496 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31097/statm: 122642 10999 91 6 0 121307 0
[pid=31098] ppid=31094 vsize=281868 CPUtime=25.58 cores=3
/proc/31098/stat : 31098 (march_hi) R 31094 31094 30763 0 -1 4202496 118066 0 0 0 2525 33 0 0 25 0 1 0 650301139 288632832 65173 268435456000 4194304 4331988 140737018846896 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31098/statm: 70467 65173 149 34 0 68909 0
[pid=31099] ppid=31094 vsize=1345344 CPUtime=543.05 cores=4-31
/proc/31099/stat : 31099 (plingeling) S 31094 31094 30763 0 -1 4202496 589815 1243 0 0 53899 406 0 0 18 0 3 0 650301139 1377632256 239593 268435456000 4194304 4356188 140734049986320 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/31099/statm: 336336 239593 159 40 0 334880 0
[pid=31099/tid=31111] ppid=31094 vsize=1345344 CPUtime=19.11 cores=4-31
/proc/31099/task/31111/stat : 31111 (plingeling) R 31094 31094 30763 0 -1 4202560 16013 1243 0 0 1902 9 0 0 25 0 3 0 650301722 1377632256 239593 268435456000 4194304 4356188 140734049986320 18446744073709551615 4225785 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31099/tid=31119] ppid=31094 vsize=1345344 CPUtime=19.2 cores=4-31
/proc/31099/task/31119/stat : 31119 (plingeling) R 31094 31094 30763 0 -1 4202560 16555 1243 0 0 1909 11 0 0 25 0 3 0 650301723 1377632256 239593 268435456000 4194304 4356188 140734049986320 18446744073709551615 4239553 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 645.37
Current children cumulated vsize (KiB) 2384324

[startup+25.7016 s]
/proc/loadavg: 26.95 29.68 31.08 33/447 31133
/proc/meminfo: memFree=254134860/264257624 swapFree=67111528/67111528
[pid=31094] ppid=31092 vsize=18324 CPUtime=0 cores=0-31
/proc/31094/stat : 31094 (ppfolio) S 31092 31094 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650301138 18763776 385 268435456000 4194304 4287625 140734171132736 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 20 0 0 0
/proc/31094/statm: 4581 385 337 23 0 91 0
[pid=31095] ppid=31094 vsize=160404 CPUtime=25.68 cores=0
/proc/31095/stat : 31095 (cryptominisat) R 31094 31094 30763 0 -1 4202496 38906 0 0 0 2558 10 0 0 25 0 1 0 650301139 164253696 28368 268435456000 4194304 4587354 140736444062752 18446744073709551615 4364672 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31095/statm: 40101 28368 335 96 0 36663 0
[pid=31096] ppid=31094 vsize=88084 CPUtime=25.68 cores=1
/proc/31096/stat : 31096 (clasp) R 31094 31094 30763 0 -1 4202496 20789 0 0 0 2560 8 0 0 25 0 1 0 650301139 90198016 18859 268435456000 4194304 4785740 140736197268960 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31096/statm: 22021 18859 339 145 0 19066 0
[pid=31097] ppid=31094 vsize=490568 CPUtime=25.68 cores=2
/proc/31097/stat : 31097 (TNM) R 31094 31094 30763 0 -1 4202496 11101 0 0 0 2565 3 0 0 25 0 1 0 650301139 502341632 10999 268435456000 134512640 134534564 4287984496 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31097/statm: 122642 10999 91 6 0 121307 0
[pid=31098] ppid=31094 vsize=282792 CPUtime=25.68 cores=3
/proc/31098/stat : 31098 (march_hi) R 31094 31094 30763 0 -1 4202496 118365 0 0 0 2535 33 0 0 25 0 1 0 650301139 289579008 65472 268435456000 4194304 4331988 140737018846896 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31098/statm: 70698 65472 149 34 0 69140 0
[pid=31099] ppid=31094 vsize=243240 CPUtime=543.17 cores=4-31
/proc/31099/stat : 31099 (plingeling) R 31094 31094 30763 0 -1 4202496 589815 1243 0 0 53904 413 0 0 17 0 1 0 650301139 249077760 12988 268435456000 4194304 4356188 140734049986320 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 8 0 0 0
/proc/31099/statm: 60810 12696 159 40 0 59354 0
Current children cumulated CPU time (s) 645.89
Current children cumulated vsize (KiB) 1283412

Child status: 0
Real time (s): 25.7268
CPU time (s): 646.007
CPU user time (s): 641.264
CPU system time (s): 4.74328
CPU usage (%): 2511.03
Max. virtual memory (cumulated for all children) (KiB): 2616144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 641.264
system time used= 4.74328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780776
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= 1892
involuntary context switches= 1492

runsolver used 0.136979 second user time and 0.564914 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 17:49:07
IDJOB=3347601
IDBENCH=83443
IDSOLVER=1808
FILE ID=node200/3347601-1305388147
RUNJOBID= node200-1305387880-30777
PBS_JOBID= 13285490
Free space on /tmp= 62040 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1783050579

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:      255578892 kB
Buffers:        436592 kB
Cached:        7823084 kB
SwapCached:          0 kB
Active:        7393604 kB
Inactive:       934796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255578892 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20812 kB
Writeback:           0 kB
AnonPages:       70448 kB
Mapped:          14780 kB
Slab:           250576 kB
PageTables:       5092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   195536 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= 62032 MiB
End job on node200 at 2011-05-14 17:49:33