Trace number 3290825

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 seqSAT 211.286 211.277

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 10.04 5.95 4.55 10/198 11889
/proc/meminfo: memFree=24324640/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) R 11887 11889 10526 0 -1 4202496 483 0 0 0 0 0 0 0 21 0 1 0 489483862 18763776 391 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687495573 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/11889/statm: 4581 391 343 23 0 91 0

[startup+0.014303 s]
/proc/loadavg: 10.04 5.95 4.55 10/198 11889
/proc/meminfo: memFree=24324640/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 498 0 0 0 0 0 0 0 21 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4499162277613633800 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100327 s]
/proc/loadavg: 10.04 5.95 4.55 10/198 11889
/proc/meminfo: memFree=24324640/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 23 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30029 s]
/proc/loadavg: 10.04 5.95 4.55 10/198 11889
/proc/meminfo: memFree=24324640/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 23 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700225 s]
/proc/loadavg: 10.04 5.95 4.55 10/198 11889
/proc/meminfo: memFree=24324640/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 23 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50108 s]
/proc/loadavg: 10.04 5.95 4.55 13/202 11893
/proc/meminfo: memFree=24223300/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 16 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=82008 CPUtime=0.54 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 11882 0 0 0 53 1 0 0 25 0 1 0 489483862 83976192 11079 33554432000 4194304 4587354 140735281442128 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 20502 11079 306 96 0 17064 0
[pid=11891] ppid=11889 vsize=78352 CPUtime=0.43 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 18909 0 0 0 41 2 0 0 25 0 1 0 489483862 80232448 16016 33554432000 4194304 4785740 140735158908960 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 19588 16016 318 145 0 16633 0
[pid=11892] ppid=11889 vsize=462560 CPUtime=0.5 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 3600 0 0 0 50 0 0 0 25 0 1 0 489483862 473661440 3498 33554432000 134512640 134534564 4287854640 18446744073709551615 7723212 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 115640 3498 90 6 0 114306 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 641244

[startup+3.10077 s]
/proc/loadavg: 10.04 5.95 4.55 13/202 11893
/proc/meminfo: memFree=24194532/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 16 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=82152 CPUtime=1.04 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 11901 0 0 0 103 1 0 0 25 0 1 0 489483862 84123648 11098 33554432000 4194304 4587354 140735281442128 18446744073709551615 4238240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 20538 11098 306 96 0 17100 0
[pid=11891] ppid=11889 vsize=78352 CPUtime=1.01 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 18909 0 0 0 99 2 0 0 25 0 1 0 489483862 80232448 16016 33554432000 4194304 4785740 140735158908960 18446744073709551615 4495691 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 19588 16016 318 145 0 16633 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=1.01 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 98 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 703896

[startup+6.30118 s]
/proc/loadavg: 10.20 6.06 4.59 13/202 11893
/proc/meminfo: memFree=24054636/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613780313200394240 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=179356 CPUtime=2.14 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 34217 0 0 0 210 4 0 0 25 0 1 0 489483862 183660544 33414 33554432000 4194304 4587354 140735281442128 18446744073709551615 4357668 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 44839 33414 311 96 0 41401 0
[pid=11891] ppid=11889 vsize=78352 CPUtime=2.03 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 18910 0 0 0 201 2 0 0 25 0 1 0 489483862 80232448 16017 33554432000 4194304 4785740 140735158908960 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 19588 16017 319 145 0 16633 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=2.1 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 207 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 801100

[startup+12.701 s]
/proc/loadavg: 10.34 6.15 4.62 13/202 11893
/proc/meminfo: memFree=24042616/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613780588078301184 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=188820 CPUtime=4.24 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 44378 0 0 0 418 6 0 0 25 0 1 0 489483862 193351680 35870 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 47205 35870 316 96 0 43767 0
[pid=11891] ppid=11889 vsize=78352 CPUtime=4.21 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 18910 0 0 0 419 2 0 0 25 0 1 0 489483862 80232448 16017 33554432000 4194304 4785740 140735158908960 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 19588 16017 319 145 0 16633 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=4.21 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 418 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524546 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 810564

[startup+25.5006 s]
/proc/loadavg: 10.71 6.44 4.74 13/202 11894
/proc/meminfo: memFree=24044964/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613780588078301184 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=188820 CPUtime=8.54 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 44378 0 0 0 848 6 0 0 25 0 1 0 489483862 193351680 35870 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 47205 35870 316 96 0 43767 0
[pid=11891] ppid=11889 vsize=78352 CPUtime=8.43 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 18910 0 0 0 841 2 0 0 25 0 1 0 489483862 80232448 16017 33554432000 4194304 4785740 140735158908960 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 19588 16017 319 145 0 16633 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=8.5 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 847 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 810564

[startup+51.1008 s]
/proc/loadavg: 11.15 6.88 4.93 13/202 11894
/proc/meminfo: memFree=24019948/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613780588078301184 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=188820 CPUtime=17.04 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 44378 0 0 0 1698 6 0 0 25 0 1 0 489483862 193351680 35870 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 47205 35870 316 96 0 43767 0
[pid=11891] ppid=11889 vsize=78352 CPUtime=17.01 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 18910 0 0 0 1699 2 0 0 25 0 1 0 489483862 80232448 16017 33554432000 4194304 4785740 140735158908960 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 19588 16017 319 145 0 16633 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=17.02 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 1699 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524580 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 810564

[startup+102.307 s]
/proc/loadavg: 11.63 7.67 5.30 13/202 11896
/proc/meminfo: memFree=23928120/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613780588078301184 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=209116 CPUtime=34.13 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 49136 0 0 0 3407 6 0 0 25 0 1 0 489483862 214134784 40517 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 52279 40517 317 96 0 48841 0
[pid=11891] ppid=11889 vsize=78352 CPUtime=34.05 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 18910 0 0 0 3403 2 0 0 25 0 1 0 489483862 80232448 16017 33554432000 4194304 4785740 140735158908960 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 19588 16017 319 145 0 16633 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=34.09 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 3406 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524686 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 830860

[startup+162.301 s]
/proc/loadavg: 11.86 8.46 5.72 13/202 11927
/proc/meminfo: memFree=24124484/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781000395161600 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=209988 CPUtime=54.13 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 63733 0 0 0 5405 8 0 0 25 0 1 0 489483862 215027712 41483 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 52497 41483 338 96 0 49059 0
[pid=11891] ppid=11889 vsize=117476 CPUtime=54.05 cores=1

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

/proc/11891/statm: 29369 25685 341 145 0 26414 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=54.09 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 5406 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524546 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 870856

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

[startup+179.101 s]
/proc/loadavg: 11.90 8.68 5.85 13/202 11928
/proc/meminfo: memFree=24057248/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=59.73 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 5963 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=128280 CPUtime=59.65 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 31973 0 0 0 5961 4 0 0 25 0 1 0 489483862 131358720 28135 33554432000 4194304 4785740 140735158908960 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 32070 28135 341 145 0 29115 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=59.69 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 5966 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 179.07
Current children cumulated vsize (KiB) 906416

[startup+191.901 s]
/proc/loadavg: 11.91 8.79 5.92 13/202 11928
/proc/meminfo: memFree=24052996/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=63.98 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 6388 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=139664 CPUtime=63.91 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 34436 0 0 0 6386 5 0 0 25 0 1 0 489483862 143015936 30598 33554432000 4194304 4785740 140735158908960 18446744073709551615 4553754 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 34916 30598 341 145 0 31961 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=63.99 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 6396 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524731 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 191.88
Current children cumulated vsize (KiB) 917800

[startup+204.701 s]
/proc/loadavg: 11.93 8.95 6.01 13/202 11929
/proc/meminfo: memFree=24051620/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=68.23 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 6813 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=146640 CPUtime=68.2 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 36023 0 0 0 6815 5 0 0 25 0 1 0 489483862 150159360 32185 33554432000 4194304 4785740 140735158908960 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 36660 32185 341 145 0 33705 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=68.24 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 6821 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 204.67
Current children cumulated vsize (KiB) 924776

[startup+207.908 s]
/proc/loadavg: 11.94 9.00 6.04 13/202 11929
/proc/meminfo: memFree=24047772/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=69.33 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 6923 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=148260 CPUtime=69.26 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 36381 0 0 0 6921 5 0 0 25 0 1 0 489483862 151818240 32543 33554432000 4194304 4785740 140735158908960 18446744073709551615 212687336133 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 37065 32543 341 145 0 34110 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=69.29 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 6926 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 207.88
Current children cumulated vsize (KiB) 926396

[startup+209.5 s]
/proc/loadavg: 11.94 9.00 6.04 13/202 11929
/proc/meminfo: memFree=24047152/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=69.83 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 6973 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=149100 CPUtime=69.81 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 36583 0 0 0 6975 6 0 0 25 0 1 0 489483862 152678400 32745 33554432000 4194304 4785740 140735158908960 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 37275 32745 341 145 0 34320 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=69.84 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 6981 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 209.48
Current children cumulated vsize (KiB) 927236

[startup+210.301 s]
/proc/loadavg: 11.94 9.00 6.04 13/202 11929
/proc/meminfo: memFree=24033140/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=70.13 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 7003 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=149804 CPUtime=70.06 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 36722 0 0 0 7000 6 0 0 25 0 1 0 489483862 153399296 32884 33554432000 4194304 4785740 140735158908960 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 37451 32884 341 145 0 34496 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=70.09 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 7006 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 210.28
Current children cumulated vsize (KiB) 927940

[startup+210.701 s]
/proc/loadavg: 11.94 9.00 6.04 13/202 11929
/proc/meminfo: memFree=24033140/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=70.23 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 7013 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=149964 CPUtime=70.21 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 36785 0 0 0 7015 6 0 0 25 0 1 0 489483862 153563136 32947 33554432000 4194304 4785740 140735158908960 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 37491 32947 341 145 0 34536 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=70.24 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 7021 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 210.68
Current children cumulated vsize (KiB) 928100

[startup+211.101 s]
/proc/loadavg: 11.94 9.00 6.04 13/202 11929
/proc/meminfo: memFree=24032272/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=70.38 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 7028 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=150228 CPUtime=70.31 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 36833 0 0 0 7025 6 0 0 25 0 1 0 489483862 153833472 32995 33554432000 4194304 4785740 140735158908960 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 37557 32995 341 145 0 34602 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=70.39 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 7036 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524754 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 211.08
Current children cumulated vsize (KiB) 928364

[startup+211.207 s]
/proc/loadavg: 11.94 9.00 6.04 13/202 11929
/proc/meminfo: memFree=24032272/32951124 swapFree=67111524/67111528
[pid=11889] ppid=11887 vsize=18324 CPUtime=0 cores=1,3
/proc/11889/stat : 11889 (ppfolio) S 11887 11889 10526 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 489483862 18763776 393 33554432000 4194304 4287625 140736359079808 18446744073709551615 212687695375 0 0 4096 65536 4613781412712022016 0 0 17 3 0 0 0
/proc/11889/statm: 4581 393 345 23 0 91 0
[pid=11890] ppid=11889 vsize=234744 CPUtime=70.43 cores=1
/proc/11890/stat : 11890 (cryptominisat) R 11889 11889 10526 0 -1 4202496 78322 0 0 0 7033 10 0 0 25 0 1 0 489483862 240377856 46400 33554432000 4194304 4587354 140735281442128 18446744073709551615 4388286 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11890/statm: 58686 46400 338 96 0 55248 0
[pid=11891] ppid=11889 vsize=150360 CPUtime=70.36 cores=1
/proc/11891/stat : 11891 (clasp) R 11889 11889 10526 0 -1 4202496 36869 0 0 0 7030 6 0 0 25 0 1 0 489483862 153968640 33031 33554432000 4194304 4785740 140735158908960 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11891/statm: 37590 33031 341 145 0 34635 0
[pid=11892] ppid=11889 vsize=525068 CPUtime=70.39 cores=1
/proc/11892/stat : 11892 (TNM) R 11889 11889 10526 0 -1 4202496 20486 0 0 0 7036 3 0 0 25 0 1 0 489483862 537669632 20383 33554432000 134512640 134534564 4287854640 18446744073709551615 134524754 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11892/statm: 131267 20383 91 6 0 129933 0
Current children cumulated CPU time (s) 211.18
Current children cumulated vsize (KiB) 928496

Child status: 0
Real time (s): 211.277
CPU time (s): 211.286
CPU user time (s): 211.055
CPU system time (s): 0.230964
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 928496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.055
system time used= 0.230964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136220
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= 65
involuntary context switches= 2367

runsolver used 0.309952 second user time and 0.860869 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-26 02:47:41
IDJOB=3290825
IDBENCH=83450
IDSOLVER=1613
FILE ID=node139/3290825-1303778861
RUNJOBID= node139-1303778769-11748
PBS_JOBID= 13157184
Free space on /tmp= 72276 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290825-1303778861/watcher-3290825-1303778861 -o /tmp/evaluation-result-3290825-1303778861/solver-3290825-1303778861 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3290825-1303778861.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1351066844

node139.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.852
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.70
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.852
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.75
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.852
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.74
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.852
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.75
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.852
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	: 5321.49
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.852
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.852
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24324920 kB
Buffers:       1917356 kB
Cached:        4944448 kB
SwapCached:          4 kB
Active:        1499468 kB
Inactive:      6607764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24324920 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           92212 kB
Writeback:           0 kB
AnonPages:     1245696 kB
Mapped:          17780 kB
Slab:           450812 kB
PageTables:       8240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  5220640 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= 72272 MiB
End job on node139 at 2011-04-26 02:51:13