Trace number 3290824

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio parSAT 458.343 114.765

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3290824-1304089221/watcher-3290824-1304089221 -o /tmp/evaluation-result-3290824-1304089221/solver-3290824-1304089221 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3290824-1304089221.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 10.12 10.14 9.93 6/182 28105
/proc/meminfo: memFree=18048940/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) R 28103 28105 25471 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0

[startup+0.220483 s]
/proc/loadavg: 10.12 10.14 9.93 6/182 28105
/proc/meminfo: memFree=18048940/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 25 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300471 s]
/proc/loadavg: 10.12 10.14 9.93 6/182 28105
/proc/meminfo: memFree=18048940/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.40045 s]
/proc/loadavg: 10.12 10.14 9.93 6/182 28105
/proc/meminfo: memFree=18048940/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700393 s]
/proc/loadavg: 10.12 10.14 9.93 6/182 28105
/proc/meminfo: memFree=18048940/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50123 s]
/proc/loadavg: 10.12 10.14 9.93 11/188 28111
/proc/meminfo: memFree=17845284/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=82148 CPUtime=1.49 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 11906 0 0 0 148 1 0 0 25 0 1 0 520518828 84119552 11102 33554432000 4194304 4587354 140734739002320 18446744073709551615 4238628 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 20537 11102 306 96 0 17099 0
[pid=28107] ppid=28105 vsize=78352 CPUtime=1.48 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 18911 0 0 0 146 2 0 0 25 0 1 0 520518828 80232448 16017 33554432000 4194304 4785740 140735630939424 18446744073709551615 4495801 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 19588 16017 319 145 0 16633 0
[pid=28108] ppid=28105 vsize=466916 CPUtime=0.7 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 4981 0 0 0 70 0 0 0 25 0 1 0 520518828 478121984 4878 33554432000 134512640 134534564 4290834512 18446744073709551615 4167801 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 116729 4878 90 6 0 115395 0
[pid=28109] ppid=28105 vsize=56376 CPUtime=1.49 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 18112 0 0 0 146 3 0 0 25 0 1 0 520518828 57729024 13247 33554432000 4194304 4352236 140735612831360 18446744073709551615 4209397 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 14094 13247 118 39 0 13174 0
[pid=28110] ppid=28105 vsize=60000 CPUtime=0.77 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4194304 8878 0 0 0 75 2 0 0 25 0 1 0 520518828 61440000 8771 33554432000 4194304 4331988 140737250156192 18446744073709551615 4251483 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 15000 8771 116 34 0 13442 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 762116

[startup+3.10091 s]
/proc/loadavg: 10.11 10.13 9.93 11/188 28112
/proc/meminfo: memFree=17623076/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=179460 CPUtime=3.08 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 34219 0 0 0 304 4 0 0 25 0 1 0 520518828 183767040 33415 33554432000 4194304 4587354 140734739002320 18446744073709551615 4414345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 44865 33415 312 96 0 41427 0
[pid=28107] ppid=28105 vsize=78352 CPUtime=3.08 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 18911 0 0 0 306 2 0 0 25 0 1 0 520518828 80232448 16017 33554432000 4194304 4785740 140735630939424 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 19588 16017 319 145 0 16633 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=1.5 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 147 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=89144 CPUtime=3.08 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 26304 0 0 0 304 4 0 0 25 0 1 0 520518828 91283456 21439 33554432000 4194304 4352236 140735612831360 18446744073709551615 4245501 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 22286 21439 118 39 0 21366 0
[pid=28110] ppid=28105 vsize=65008 CPUtime=1.56 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4194304 33637 0 0 0 151 5 0 0 25 0 1 0 520518828 66568192 9150 33554432000 4194304 4331988 140737250156192 18446744073709551615 4257272 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 16252 9150 129 34 0 14694 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 955356

[startup+6.30128 s]
/proc/loadavg: 10.11 10.13 9.93 11/188 28112
/proc/meminfo: memFree=17626176/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=188816 CPUtime=6.29 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 44378 0 0 0 623 6 0 0 25 0 1 0 520518828 193347584 35869 33554432000 4194304 4587354 140734739002320 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 47204 35869 316 96 0 43766 0
[pid=28107] ppid=28105 vsize=78352 CPUtime=6.29 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 18911 0 0 0 627 2 0 0 25 0 1 0 520518828 80232448 16017 33554432000 4194304 4785740 140735630939424 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 19588 16017 319 145 0 16633 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=3.1 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 307 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=56588 CPUtime=6.28 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 26366 0 0 0 624 4 0 0 25 0 1 0 520518828 57946112 13309 33554432000 4194304 4352236 140735612831360 18446744073709551615 4329333 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 14147 13309 127 39 0 13227 0
[pid=28110] ppid=28105 vsize=67584 CPUtime=3.15 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 95069 0 0 0 300 15 0 0 25 0 1 0 520518828 69206016 9805 33554432000 4194304 4331988 140737250156192 18446744073709551615 4257082 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 16896 9805 150 34 0 15338 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 934732

[startup+12.701 s]
/proc/loadavg: 10.16 10.14 9.94 11/188 28112
/proc/meminfo: memFree=17594916/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=188816 CPUtime=12.69 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 44378 0 0 0 1263 6 0 0 25 0 1 0 520518828 193347584 35869 33554432000 4194304 4587354 140734739002320 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 47204 35869 316 96 0 43766 0
[pid=28107] ppid=28105 vsize=78352 CPUtime=12.69 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 18911 0 0 0 1267 2 0 0 25 0 1 0 520518828 80232448 16017 33554432000 4194304 4785740 140735630939424 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 19588 16017 319 145 0 16633 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=6.3 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 627 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524731 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=76152 CPUtime=12.68 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 39635 0 0 0 1262 6 0 0 25 0 1 0 520518828 77979648 18200 33554432000 4194304 4352236 140735612831360 18446744073709551615 4328119 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 19038 18200 127 39 0 18118 0
[pid=28110] ppid=28105 vsize=113872 CPUtime=6.3 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 121334 0 0 0 612 18 0 0 25 0 1 0 520518828 116604928 21826 33554432000 4194304 4331988 140737250156192 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 28468 21826 151 34 0 26910 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 1000584

[startup+25.5075 s]
/proc/loadavg: 10.14 10.14 9.94 11/188 28112
/proc/meminfo: memFree=17572316/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=188816 CPUtime=25.5 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 44378 0 0 0 2544 6 0 0 25 0 1 0 520518828 193347584 35869 33554432000 4194304 4587354 140734739002320 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 47204 35869 316 96 0 43766 0
[pid=28107] ppid=28105 vsize=78352 CPUtime=25.49 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 18911 0 0 0 2547 2 0 0 25 0 1 0 520518828 80232448 16017 33554432000 4194304 4785740 140735630939424 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 19588 16017 319 145 0 16633 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=12.65 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 1262 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=61196 CPUtime=25.48 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 40050 0 0 0 2542 6 0 0 25 0 1 0 520518828 62664704 14461 33554432000 4194304 4352236 140735612831360 18446744073709551615 4328100 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 15299 14461 127 39 0 14379 0
[pid=28110] ppid=28105 vsize=171976 CPUtime=12.69 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 133630 0 0 0 1246 23 0 0 25 0 1 0 520518828 176103424 34122 33554432000 4194304 4331988 140737250156192 18446744073709551615 4271154 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 42994 34122 151 34 0 41436 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 1043732

[startup+51.1004 s]
/proc/loadavg: 10.23 10.16 9.95 11/188 28122
/proc/meminfo: memFree=17438244/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=209112 CPUtime=51.09 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 49136 0 0 0 5102 7 0 0 25 0 1 0 520518828 214130688 40516 33554432000 4194304 4587354 140734739002320 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 52278 40516 317 96 0 48840 0
[pid=28107] ppid=28105 vsize=78352 CPUtime=51.08 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 18911 0 0 0 5106 2 0 0 25 0 1 0 520518828 80232448 16017 33554432000 4194304 4785740 140735630939424 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 19588 16017 319 145 0 16633 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=25.4 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 2537 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=62808 CPUtime=51.07 cores=2

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


[startup+102.301 s]
/proc/loadavg: 8.13 9.65 9.79 6/177 28141
/proc/meminfo: memFree=17307572/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=234740 CPUtime=102.29 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 78322 0 0 0 10219 10 0 0 25 0 1 0 520518828 240373760 46399 33554432000 4194304 4587354 140734739002320 18446744073709551615 4364718 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 58685 46399 338 96 0 55247 0
[pid=28107] ppid=28105 vsize=178424 CPUtime=102.28 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 44397 0 0 0 10219 9 0 0 25 0 1 0 520518828 182706176 40558 33554432000 4194304 4785740 140735630939424 18446744073709551615 4286973 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 44606 40558 341 145 0 41651 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=50.84 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 5081 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=98720 CPUtime=102.27 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 66540 0 0 0 10217 10 0 0 25 0 1 0 520518828 101089280 23842 33554432000 4194304 4352236 140735612831360 18446744073709551615 4267912 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 24680 23842 127 39 0 23760 0
[pid=28110] ppid=28105 vsize=499276 CPUtime=50.89 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 212728 0 0 0 5039 50 0 0 25 0 1 0 520518828 511258624 113220 33554432000 4194304 4331988 140737250156192 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 124819 113220 151 34 0 123261 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 1554552

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

[startup+102.506 s]
/proc/loadavg: 7.88 9.58 9.76 6/177 28141
/proc/meminfo: memFree=17302488/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=234740 CPUtime=102.49 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 78322 0 0 0 10239 10 0 0 25 0 1 0 520518828 240373760 46399 33554432000 4194304 4587354 140734739002320 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 58685 46399 338 96 0 55247 0
[pid=28107] ppid=28105 vsize=178688 CPUtime=102.5 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 44461 0 0 0 10240 10 0 0 25 0 1 0 520518828 182976512 40622 33554432000 4194304 4785740 140735630939424 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 44672 40622 341 145 0 41717 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=50.94 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 5091 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=98720 CPUtime=102.48 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 66540 0 0 0 10238 10 0 0 25 0 1 0 520518828 101089280 23842 33554432000 4194304 4352236 140735612831360 18446744073709551615 4268416 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 24680 23842 127 39 0 23760 0
[pid=28110] ppid=28105 vsize=499804 CPUtime=50.99 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 212889 0 0 0 5049 50 0 0 25 0 1 0 520518828 511799296 113381 33554432000 4194304 4331988 140737250156192 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 124951 113381 151 34 0 123393 0
Current children cumulated CPU time (s) 409.4
Current children cumulated vsize (KiB) 1555344

[startup+108.901 s]
/proc/loadavg: 7.65 9.50 9.74 6/177 28141
/proc/meminfo: memFree=17272344/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=234740 CPUtime=108.89 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 78322 0 0 0 10879 10 0 0 25 0 1 0 520518828 240373760 46399 33554432000 4194304 4587354 140734739002320 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 58685 46399 338 96 0 55247 0
[pid=28107] ppid=28105 vsize=187140 CPUtime=108.89 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 46412 0 0 0 10879 10 0 0 25 0 1 0 520518828 191631360 42573 33554432000 4194304 4785740 140735630939424 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 46785 42573 341 145 0 43830 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=54.1 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 5407 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524686 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=98564 CPUtime=108.87 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 66540 0 0 0 10877 10 0 0 25 0 1 0 520518828 100929536 23803 33554432000 4194304 4352236 140735612831360 18446744073709551615 4278664 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 24641 23803 127 39 0 23721 0
[pid=28110] ppid=28105 vsize=522112 CPUtime=54.18 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 219845 0 0 0 5367 51 0 0 25 0 1 0 520518828 534642688 120337 33554432000 4194304 4331988 140737250156192 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 130528 120337 151 34 0 128970 0
Current children cumulated CPU time (s) 434.93
Current children cumulated vsize (KiB) 1585948

[startup+112.101 s]
/proc/loadavg: 7.65 9.50 9.74 6/177 28141
/proc/meminfo: memFree=17253736/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=234740 CPUtime=112.09 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 78322 0 0 0 11199 10 0 0 25 0 1 0 520518828 240373760 46399 33554432000 4194304 4587354 140734739002320 18446744073709551615 4364888 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 58685 46399 338 96 0 55247 0
[pid=28107] ppid=28105 vsize=191076 CPUtime=112.09 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 47323 0 0 0 11199 10 0 0 25 0 1 0 520518828 195661824 43484 33554432000 4194304 4785740 140735630939424 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 47769 43484 341 145 0 44814 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=55.69 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 5566 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=99076 CPUtime=112.07 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 66668 0 0 0 11197 10 0 0 25 0 1 0 520518828 101453824 23931 33554432000 4194304 4352236 140735612831360 18446744073709551615 4335975 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 24769 23931 127 39 0 23849 0
[pid=28110] ppid=28105 vsize=532936 CPUtime=55.78 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 223271 0 0 0 5526 52 0 0 25 0 1 0 520518828 545726464 123763 33554432000 4194304 4331988 140737250156192 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 133234 123763 151 34 0 131676 0
Current children cumulated CPU time (s) 447.72
Current children cumulated vsize (KiB) 1601220

[startup+113.701 s]
/proc/loadavg: 7.43 9.43 9.71 6/177 28141
/proc/meminfo: memFree=17274568/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=234740 CPUtime=113.69 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 78322 0 0 0 11359 10 0 0 25 0 1 0 520518828 240373760 46399 33554432000 4194304 4587354 140734739002320 18446744073709551615 4364784 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 58685 46399 338 96 0 55247 0
[pid=28107] ppid=28105 vsize=192224 CPUtime=113.69 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 47600 0 0 0 11359 10 0 0 25 0 1 0 520518828 196837376 43761 33554432000 4194304 4785740 140735630939424 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 48056 43761 341 145 0 45101 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=56.49 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 5646 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=65796 CPUtime=113.67 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 66668 0 0 0 11357 10 0 0 25 0 1 0 520518828 67375104 15611 33554432000 4194304 4352236 140735612831360 18446744073709551615 4328546 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 16449 15611 127 39 0 15529 0
[pid=28110] ppid=28105 vsize=538876 CPUtime=56.56 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 225093 0 0 0 5604 52 0 0 25 0 1 0 520518828 551809024 125585 33554432000 4194304 4331988 140737250156192 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 134719 125585 151 34 0 133161 0
Current children cumulated CPU time (s) 454.1
Current children cumulated vsize (KiB) 1575028

[startup+114.501 s]
/proc/loadavg: 7.43 9.43 9.71 6/177 28142
/proc/meminfo: memFree=17268616/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=234740 CPUtime=114.49 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 78322 0 0 0 11439 10 0 0 25 0 1 0 520518828 240373760 46399 33554432000 4194304 4587354 140734739002320 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 58685 46399 338 96 0 55247 0
[pid=28107] ppid=28105 vsize=193104 CPUtime=114.49 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 47810 0 0 0 11439 10 0 0 25 0 1 0 520518828 197738496 43971 33554432000 4194304 4785740 140735630939424 18446744073709551615 4287252 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 48276 43971 341 145 0 45321 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=56.89 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 5686 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=65796 CPUtime=114.47 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 66668 0 0 0 11437 10 0 0 25 0 1 0 520518828 67375104 15611 33554432000 4194304 4352236 140735612831360 18446744073709551615 4327857 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 16449 15611 127 39 0 15529 0
[pid=28110] ppid=28105 vsize=541384 CPUtime=56.96 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 225898 0 0 0 5644 52 0 0 25 0 1 0 520518828 554377216 126390 33554432000 4194304 4331988 140737250156192 18446744073709551615 4271375 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 135346 126390 151 34 0 133788 0
Current children cumulated CPU time (s) 457.3
Current children cumulated vsize (KiB) 1578416

[startup+114.701 s]
/proc/loadavg: 7.43 9.43 9.71 6/177 28142
/proc/meminfo: memFree=17268616/32950928 swapFree=67111528/67111528
[pid=28105] ppid=28103 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28105/stat : 28105 (ppfolio) S 28103 28105 25471 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520518828 18763776 390 33554432000 4194304 4287625 140733265495632 18446744073709551615 254500711951 0 0 4096 65536 8928993333414461439 0 0 17 4 0 0 0
/proc/28105/statm: 4581 390 341 23 0 91 0
[pid=28106] ppid=28105 vsize=234740 CPUtime=114.69 cores=0
/proc/28106/stat : 28106 (cryptominisat) R 28105 28105 25471 0 -1 4202496 78322 0 0 0 11459 10 0 0 25 0 1 0 520518828 240373760 46399 33554432000 4194304 4587354 140734739002320 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28106/statm: 58685 46399 338 96 0 55247 0
[pid=28107] ppid=28105 vsize=193496 CPUtime=114.68 cores=4
/proc/28107/stat : 28107 (clasp) R 28105 28105 25471 0 -1 4202496 47901 0 0 0 11458 10 0 0 25 0 1 0 520518828 198139904 44062 33554432000 4194304 4785740 140735630939424 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28107/statm: 48374 44062 341 145 0 45419 0
[pid=28108] ppid=28105 vsize=525068 CPUtime=56.99 cores=6
/proc/28108/stat : 28108 (TNM) R 28105 28105 25471 0 -1 4202496 20488 0 0 0 5696 3 0 0 25 0 1 0 520518828 537669632 20384 33554432000 134512640 134534564 4290834512 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28108/statm: 131267 20384 91 6 0 129933 0
[pid=28109] ppid=28105 vsize=65796 CPUtime=114.67 cores=2
/proc/28109/stat : 28109 (lingeling) R 28105 28105 25471 0 -1 4202496 66668 0 0 0 11457 10 0 0 25 0 1 0 520518828 67375104 15611 33554432000 4194304 4352236 140735612831360 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28109/statm: 16449 15611 127 39 0 15529 0
[pid=28110] ppid=28105 vsize=542044 CPUtime=57.05 cores=6
/proc/28110/stat : 28110 (march_hi) R 28105 28105 25471 0 -1 4202496 226081 0 0 0 5653 52 0 0 25 0 1 0 520518828 555053056 126573 33554432000 4194304 4331988 140737250156192 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28110/statm: 135511 126573 151 34 0 133953 0
Current children cumulated CPU time (s) 458.08
Current children cumulated vsize (KiB) 1579468

Child status: 0
Real time (s): 114.765
CPU time (s): 458.343
CPU user time (s): 457.392
CPU system time (s): 0.950855
CPU usage (%): 399.376
Max. virtual memory (cumulated for all children) (KiB): 1601220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 457.392
system time used= 0.950855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440071
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= 92
involuntary context switches= 3193

runsolver used 0.19497 second user time and 0.438933 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 17:00:21
IDJOB=3290824
IDBENCH=83450
IDSOLVER=1612
FILE ID=node149/3290824-1304089221
RUNJOBID= node149-1304086886-27920
PBS_JOBID= 13170452
Free space on /tmp= 71900 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290824-1304089221/watcher-3290824-1304089221 -o /tmp/evaluation-result-3290824-1304089221/solver-3290824-1304089221 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3290824-1304089221.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=99169239

node149.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.806
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.61
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.806
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	: 5332.83
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.75
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.806
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.82
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18049220 kB
Buffers:       2224968 kB
Cached:       11842412 kB
SwapCached:          0 kB
Active:        6311892 kB
Inactive:      8039404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18049220 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           31864 kB
Writeback:           0 kB
AnonPages:      283284 kB
Mapped:          16712 kB
Slab:           486356 kB
PageTables:       5596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2468868 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= 71900 MiB
End job on node149 at 2011-04-29 17:02:16