Trace number 3372782

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)SAT 39.318 5.89719

General information on the benchmark

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

Solver Data 

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

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-3372782-1305442433/watcher-3372782-1305442433 -o /tmp/evaluation-result-3372782-1305442433/solver-3372782-1305442433 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372782-1305442433.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.44 7.85 7.93 1/288 13915
/proc/meminfo: memFree=15786936/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=10912 CPUtime=0 cores=0-7
/proc/13915/stat : 13915 (plingeling) R 13913 13915 13491 0 -1 4202496 820 1255 0 0 0 0 0 0 23 0 1 0 111852708 11173888 751 33554432000 4194304 4417452 140733792263088 18446744073709551615 218880564992 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13915/statm: 2728 751 148 55 0 614 0

[startup+0.0272781 s]
/proc/loadavg: 7.44 7.85 7.93 1/288 13915
/proc/meminfo: memFree=15786936/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=13528 CPUtime=0.02 cores=0-7
/proc/13915/stat : 13915 (plingeling) R 13913 13915 13491 0 -1 4202496 1452 1255 0 0 2 0 0 0 23 0 1 0 111852708 13852672 1351 33554432000 4194304 4417452 140733792263088 18446744073709551615 218880262352 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13915/statm: 3382 1381 149 55 0 1268 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13528

[startup+0.100262 s]
/proc/loadavg: 7.44 7.85 7.93 1/288 13915
/proc/meminfo: memFree=15786936/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=22860 CPUtime=0.09 cores=0-7
/proc/13915/stat : 13915 (plingeling) R 13913 13915 13491 0 -1 4202496 3976 1255 0 0 9 0 0 0 23 0 1 0 111852708 23408640 3739 33554432000 4194304 4417452 140733792263088 18446744073709551615 4231541 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13915/statm: 5715 3739 149 55 0 3601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22860

[startup+0.300213 s]
/proc/loadavg: 7.44 7.85 7.93 1/288 13915
/proc/meminfo: memFree=15786936/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=84480 CPUtime=0.29 cores=0-7
/proc/13915/stat : 13915 (plingeling) R 13913 13915 13491 0 -1 4202496 19391 1255 0 0 27 2 0 0 24 0 1 0 111852708 86507520 19144 33554432000 4194304 4417452 140733792263088 18446744073709551615 218880183885 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13915/statm: 21120 19144 149 55 0 19006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84480

[startup+0.701157 s]
/proc/loadavg: 7.44 7.85 7.93 1/288 13915
/proc/meminfo: memFree=15786936/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=150016 CPUtime=0.69 cores=0-7
/proc/13915/stat : 13915 (plingeling) R 13913 13915 13491 0 -1 4202496 35775 1255 0 0 65 4 0 0 25 0 1 0 111852708 153616384 35528 33554432000 4194304 4417452 140733792263088 18446744073709551615 218880564992 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13915/statm: 37504 35528 149 55 0 35390 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 150016

[startup+1.50093 s]
/proc/loadavg: 7.44 7.85 7.93 2/289 13921
/proc/meminfo: memFree=15579756/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=369916 CPUtime=4.55 cores=0-7
/proc/13915/stat : 13915 (plingeling) S 13913 13915 13491 0 -1 4202496 70520 1255 0 0 447 8 0 0 18 0 9 0 111852708 378793984 53674 33554432000 4194304 4417452 140733792263088 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 92479 53674 175 55 0 90365 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 369916

[startup+3.10065 s]
/proc/loadavg: 7.44 7.85 7.93 9/297 13929
/proc/meminfo: memFree=15570888/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=373948 CPUtime=17.34 cores=0-7
/proc/13915/stat : 13915 (plingeling) S 13913 13915 13491 0 -1 4202496 75609 1255 0 0 1725 9 0 0 18 0 9 0 111852708 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 93487 54685 178 55 0 91373 0
[pid=13915/tid=13922] ppid=13913 vsize=373948 CPUtime=2.04 cores=0-7
/proc/13915/task/13922/stat : 13922 (plingeling) R 13913 13915 13491 0 -1 4202560 759 1255 0 0 204 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=373948 CPUtime=2.04 cores=0-7
/proc/13915/task/13923/stat : 13923 (plingeling) R 13913 13915 13491 0 -1 4202560 802 1255 0 0 204 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=373948 CPUtime=2.05 cores=0-7
/proc/13915/task/13924/stat : 13924 (plingeling) R 13913 13915 13491 0 -1 4202560 377 1255 0 0 205 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4302932 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=373948 CPUtime=2.03 cores=0-7
/proc/13915/task/13925/stat : 13925 (plingeling) R 13913 13915 13491 0 -1 4202560 2504 1255 0 0 203 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=373948 CPUtime=2.05 cores=0-7
/proc/13915/task/13926/stat : 13926 (plingeling) R 13913 13915 13491 0 -1 4202560 824 1255 0 0 205 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4277571 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=373948 CPUtime=2.02 cores=0-7
/proc/13915/task/13927/stat : 13927 (plingeling) R 13913 13915 13491 0 -1 4202560 668 1255 0 0 202 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=373948 CPUtime=2.04 cores=0-7
/proc/13915/task/13928/stat : 13928 (plingeling) R 13913 13915 13491 0 -1 4202560 480 1255 0 0 204 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4302984 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=373948 CPUtime=1.99 cores=0-7
/proc/13915/task/13929/stat : 13929 (plingeling) R 13913 13915 13491 0 -1 4202560 635 1255 0 0 199 0 0 0 25 0 9 0 111852813 382922752 54685 33554432000 4194304 4417452 140733792263088 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17.34
Current children cumulated vsize (KiB) 373948

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

[startup+4.70037 s]
/proc/loadavg: 7.48 7.85 7.93 9/297 13929
/proc/meminfo: memFree=15470572/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=408868 CPUtime=30.11 cores=0-7
/proc/13915/stat : 13915 (plingeling) S 13913 13915 13491 0 -1 4202496 108073 1255 0 0 2994 17 0 0 18 0 9 0 111852708 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 102217 63417 180 55 0 100103 0
[pid=13915/tid=13922] ppid=13913 vsize=408868 CPUtime=3.61 cores=0-7
/proc/13915/task/13922/stat : 13922 (plingeling) R 13913 13915 13491 0 -1 4202560 4924 1255 0 0 361 0 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=408868 CPUtime=3.64 cores=0-7
/proc/13915/task/13923/stat : 13923 (plingeling) R 13913 13915 13491 0 -1 4202560 5218 1255 0 0 363 1 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4232693 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=408868 CPUtime=3.64 cores=0-7
/proc/13915/task/13924/stat : 13924 (plingeling) R 13913 13915 13491 0 -1 4202560 4475 1255 0 0 363 1 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=408868 CPUtime=3.62 cores=0-7
/proc/13915/task/13925/stat : 13925 (plingeling) R 13913 13915 13491 0 -1 4202560 4734 1255 0 0 362 0 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4365181 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=408868 CPUtime=3.64 cores=0-7
/proc/13915/task/13926/stat : 13926 (plingeling) R 13913 13915 13491 0 -1 4202560 5368 1255 0 0 363 1 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=408868 CPUtime=3.61 cores=0-7
/proc/13915/task/13927/stat : 13927 (plingeling) R 13913 13915 13491 0 -1 4202560 4832 1255 0 0 360 1 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=408868 CPUtime=3.64 cores=0-7
/proc/13915/task/13928/stat : 13928 (plingeling) R 13913 13915 13491 0 -1 4202560 4747 1255 0 0 363 1 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=408868 CPUtime=3.58 cores=0-7
/proc/13915/task/13929/stat : 13929 (plingeling) R 13913 13915 13491 0 -1 4202560 5215 1255 0 0 358 0 0 0 25 0 9 0 111852813 418680832 63417 33554432000 4194304 4417452 140733792263088 18446744073709551615 4198488 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 30.11
Current children cumulated vsize (KiB) 408868

[startup+5.51123 s]
/proc/loadavg: 7.48 7.85 7.93 9/297 13929
/proc/meminfo: memFree=15561216/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=380640 CPUtime=36.59 cores=0-7
/proc/13915/stat : 13915 (plingeling) S 13913 13915 13491 0 -1 4202496 110750 1255 0 0 3641 18 0 0 18 0 9 0 111852708 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 95160 56360 180 55 0 93046 0
[pid=13915/tid=13922] ppid=13913 vsize=380640 CPUtime=4.41 cores=0-7
/proc/13915/task/13922/stat : 13922 (plingeling) R 13913 13915 13491 0 -1 4202560 4924 1255 0 0 441 0 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=380640 CPUtime=4.45 cores=0-7
/proc/13915/task/13923/stat : 13923 (plingeling) R 13913 13915 13491 0 -1 4202560 5263 1255 0 0 444 1 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=380640 CPUtime=4.46 cores=0-7
/proc/13915/task/13924/stat : 13924 (plingeling) R 13913 13915 13491 0 -1 4202560 4811 1255 0 0 445 1 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4236820 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=380640 CPUtime=4.43 cores=0-7
/proc/13915/task/13925/stat : 13925 (plingeling) R 13913 13915 13491 0 -1 4202560 6683 1255 0 0 443 0 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364453 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=380640 CPUtime=4.45 cores=0-7
/proc/13915/task/13926/stat : 13926 (plingeling) R 13913 13915 13491 0 -1 4202560 5388 1255 0 0 444 1 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=380640 CPUtime=4.42 cores=0-7
/proc/13915/task/13927/stat : 13927 (plingeling) R 13913 13915 13491 0 -1 4202560 4933 1255 0 0 441 1 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=380640 CPUtime=4.45 cores=0-7
/proc/13915/task/13928/stat : 13928 (plingeling) R 13913 13915 13491 0 -1 4202560 4871 1255 0 0 444 1 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=380640 CPUtime=4.39 cores=0-7
/proc/13915/task/13929/stat : 13929 (plingeling) R 13913 13915 13491 0 -1 4202560 5317 1255 0 0 439 0 0 0 25 0 9 0 111852813 389775360 56360 33554432000 4194304 4417452 140733792263088 18446744073709551615 4353615 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 36.59
Current children cumulated vsize (KiB) 380640

[startup+5.7012 s]
/proc/loadavg: 7.48 7.85 7.93 9/297 13929
/proc/meminfo: memFree=15561216/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=386020 CPUtime=38.11 cores=0-7
/proc/13915/stat : 13915 (plingeling) S 13913 13915 13491 0 -1 4202496 112095 1255 0 0 3793 18 0 0 18 0 9 0 111852708 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 96505 57705 180 55 0 94391 0
[pid=13915/tid=13922] ppid=13913 vsize=386020 CPUtime=4.6 cores=0-7
/proc/13915/task/13922/stat : 13922 (plingeling) R 13913 13915 13491 0 -1 4202560 4924 1255 0 0 460 0 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=386020 CPUtime=4.64 cores=0-7
/proc/13915/task/13923/stat : 13923 (plingeling) R 13913 13915 13491 0 -1 4202560 5334 1255 0 0 463 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4236945 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=386020 CPUtime=4.65 cores=0-7
/proc/13915/task/13924/stat : 13924 (plingeling) R 13913 13915 13491 0 -1 4202560 5190 1255 0 0 464 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=386020 CPUtime=4.62 cores=0-7
/proc/13915/task/13925/stat : 13925 (plingeling) R 13913 13915 13491 0 -1 4202560 6994 1255 0 0 462 0 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=386020 CPUtime=4.64 cores=0-7
/proc/13915/task/13926/stat : 13926 (plingeling) R 13913 13915 13491 0 -1 4202560 5388 1255 0 0 463 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=386020 CPUtime=4.61 cores=0-7
/proc/13915/task/13927/stat : 13927 (plingeling) R 13913 13915 13491 0 -1 4202560 5313 1255 0 0 460 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=386020 CPUtime=4.64 cores=0-7
/proc/13915/task/13928/stat : 13928 (plingeling) R 13913 13915 13491 0 -1 4202560 5006 1255 0 0 463 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=386020 CPUtime=4.58 cores=0-7
/proc/13915/task/13929/stat : 13929 (plingeling) R 13913 13915 13491 0 -1 4202560 5386 1255 0 0 458 0 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38.11
Current children cumulated vsize (KiB) 386020

[startup+5.80118 s]
/proc/loadavg: 7.48 7.85 7.93 9/297 13929
/proc/meminfo: memFree=15561216/32950928 swapFree=67111364/67111528
[pid=13915] ppid=13913 vsize=386020 CPUtime=38.91 cores=0-7
/proc/13915/stat : 13915 (plingeling) S 13913 13915 13491 0 -1 4202496 112095 1255 0 0 3873 18 0 0 18 0 9 0 111852708 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 96505 57705 180 55 0 94391 0
[pid=13915/tid=13922] ppid=13913 vsize=386020 CPUtime=4.7 cores=0-7
/proc/13915/task/13922/stat : 13922 (plingeling) R 13913 13915 13491 0 -1 4202560 4924 1255 0 0 470 0 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4263092 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=386020 CPUtime=4.74 cores=0-7
/proc/13915/task/13923/stat : 13923 (plingeling) R 13913 13915 13491 0 -1 4202560 5334 1255 0 0 473 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=386020 CPUtime=4.75 cores=0-7
/proc/13915/task/13924/stat : 13924 (plingeling) R 13913 13915 13491 0 -1 4202560 5190 1255 0 0 474 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=386020 CPUtime=4.72 cores=0-7
/proc/13915/task/13925/stat : 13925 (plingeling) R 13913 13915 13491 0 -1 4202560 6994 1255 0 0 472 0 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 18446744073699065904 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=386020 CPUtime=4.74 cores=0-7
/proc/13915/task/13926/stat : 13926 (plingeling) R 13913 13915 13491 0 -1 4202560 5388 1255 0 0 473 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=386020 CPUtime=4.71 cores=0-7
/proc/13915/task/13927/stat : 13927 (plingeling) R 13913 13915 13491 0 -1 4202560 5313 1255 0 0 470 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=386020 CPUtime=4.74 cores=0-7
/proc/13915/task/13928/stat : 13928 (plingeling) R 13913 13915 13491 0 -1 4202560 5006 1255 0 0 473 1 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4263109 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=386020 CPUtime=4.68 cores=0-7
/proc/13915/task/13929/stat : 13929 (plingeling) R 13913 13915 13491 0 -1 4202560 5386 1255 0 0 468 0 0 0 25 0 9 0 111852813 395284480 57705 33554432000 4194304 4417452 140733792263088 18446744073709551615 4357939 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38.91
Current children cumulated vsize (KiB) 386020

Child status: 10
Real time (s): 5.89719
CPU time (s): 39.318
CPU user time (s): 39.1211
CPU system time (s): 0.19697
CPU usage (%): 666.724
Max. virtual memory (cumulated for all children) (KiB): 490720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.1211
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113366
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= 166
involuntary context switches= 187

runsolver used 0.020996 second user time and 0.043993 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-15 08:53:53
IDJOB=3372782
IDBENCH=83443
IDSOLVER=1851
FILE ID=node112/3372782-1305442433
RUNJOBID= node112-1305436996-13505
PBS_JOBID= 13324760
Free space on /tmp= 73580 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=494683462

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5180.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15787216 kB
Buffers:        296704 kB
Cached:        2867972 kB
SwapCached:          0 kB
Active:       15151924 kB
Inactive:      1768020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15787216 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11536 kB
Writeback:           0 kB
AnonPages:    13755956 kB
Mapped:          21428 kB
Slab:           133712 kB
PageTables:      41440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 34983496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73580 MiB
End job on node112 at 2011-05-15 08:53:59