Trace number 3290641

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 222.077 222.07

General information on the benchmark

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

Solver Data

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

running on 2 cores: 5,7

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: 3.38 3.87 3.80 11/198 11797
/proc/meminfo: memFree=25548540/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) R 11795 11797 10526 0 -1 4202496 484 0 0 0 0 0 0 0 21 0 1 0 489474724 18763776 392 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687495573 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/11797/statm: 4581 392 343 23 0 91 0

[startup+0.0330009 s]
/proc/loadavg: 3.38 3.87 3.80 11/198 11797
/proc/meminfo: memFree=25548540/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 23 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100989 s]
/proc/loadavg: 3.38 3.87 3.80 11/198 11797
/proc/meminfo: memFree=25548540/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 23 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300949 s]
/proc/loadavg: 3.38 3.87 3.80 11/198 11797
/proc/meminfo: memFree=25548540/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350199536582656 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700888 s]
/proc/loadavg: 3.38 3.87 3.80 11/198 11797
/proc/meminfo: memFree=25548540/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350199536582656 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50073 s]
/proc/loadavg: 3.38 3.87 3.80 13/202 11801
/proc/meminfo: memFree=25418308/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350199536582656 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=74472 CPUtime=0.54 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 7100 0 0 0 53 1 0 0 25 0 1 0 489474724 76259328 6692 33554432000 4194304 4587354 140734589966400 18446744073709551615 4463979 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 18618 6692 307 96 0 15180 0
[pid=11799] ppid=11797 vsize=46524 CPUtime=0.43 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 10229 0 0 0 42 1 0 0 25 0 1 0 489474724 47640576 8876 33554432000 4194304 4785740 140735391413664 18446744073709551615 4495520 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 11631 8876 319 145 0 8676 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=0.5 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 49 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 629884

[startup+3.10044 s]
/proc/loadavg: 3.38 3.87 3.80 13/202 11801
/proc/meminfo: memFree=25377660/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350199536582656 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=80576 CPUtime=1.04 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 8474 0 0 0 103 1 0 0 25 0 1 0 489474724 82509824 8066 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238532 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 20144 8066 307 96 0 16706 0
[pid=11799] ppid=11797 vsize=46524 CPUtime=1.02 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 10229 0 0 0 101 1 0 0 25 0 1 0 489474724 47640576 8876 33554432000 4194304 4785740 140735391413664 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 11631 8876 319 145 0 8676 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=1.01 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 100 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 635988

[startup+6.30083 s]
/proc/loadavg: 3.91 3.97 3.84 13/202 11831
/proc/meminfo: memFree=25246672/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350749292396544 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=131188 CPUtime=2.14 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 27676 0 0 0 211 3 0 0 25 0 1 0 489474724 134336512 20201 33554432000 4194304 4587354 140734589966400 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 32797 20201 316 96 0 29359 0
[pid=11799] ppid=11797 vsize=46524 CPUtime=2.03 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 10229 0 0 0 202 1 0 0 25 0 1 0 489474724 47640576 8876 33554432000 4194304 4785740 140735391413664 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 11631 8876 319 145 0 8676 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=2.1 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 209 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 686600

[startup+12.7006 s]
/proc/loadavg: 4.56 4.10 3.88 13/202 11831
/proc/meminfo: memFree=25198728/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350749292396544 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=131188 CPUtime=4.24 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 27676 0 0 0 421 3 0 0 25 0 1 0 489474724 134336512 20201 33554432000 4194304 4587354 140734589966400 18446744073709551615 4388264 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 32797 20201 316 96 0 29359 0
[pid=11799] ppid=11797 vsize=46524 CPUtime=4.22 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 10229 0 0 0 421 1 0 0 25 0 1 0 489474724 47640576 8876 33554432000 4194304 4785740 140735391413664 18446744073709551615 4495597 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 11631 8876 319 145 0 8676 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=4.21 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 420 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524546 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 686600

[startup+25.5003 s]
/proc/loadavg: 6.21 4.49 4.01 11/195 11832
/proc/meminfo: memFree=25242540/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135351299048210432 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=142280 CPUtime=8.54 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 32597 0 0 0 850 4 0 0 25 0 1 0 489474724 145694720 22082 33554432000 4194304 4587354 140734589966400 18446744073709551615 4249434 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 35570 22082 327 96 0 32132 0
[pid=11799] ppid=11797 vsize=47636 CPUtime=8.43 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 10532 0 0 0 842 1 0 0 25 0 1 0 489474724 48779264 9179 33554432000 4194304 4785740 140735391413664 18446744073709551615 4500008 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 11909 9179 320 145 0 8954 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=8.5 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 849 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 698804

[startup+51.1005 s]
/proc/loadavg: 8.18 5.09 4.22 13/202 11862
/proc/meminfo: memFree=24349196/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135351299048210432 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=160404 CPUtime=17.04 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 38909 0 0 0 1699 5 0 0 25 0 1 0 489474724 164253696 28370 33554432000 4194304 4587354 140734589966400 18446744073709551615 4364688 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 40101 28370 337 96 0 36663 0
[pid=11799] ppid=11797 vsize=85020 CPUtime=17.01 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 20035 0 0 0 1699 2 0 0 25 0 1 0 489474724 87060480 18104 33554432000 4194304 4785740 140735391413664 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 21255 18104 341 145 0 18300 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=17.02 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 1701 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524546 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 754312

[startup+102.307 s]
/proc/loadavg: 10.34 6.15 4.62 13/202 11893
/proc/meminfo: memFree=24042740/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135351573926117376 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1155472 CPUtime=34.13 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 48713 0 0 0 3407 6 0 0 25 0 1 0 489474724 1183203328 23694 33554432000 4194304 4587354 140734589966400 18446744073709551615 4388279 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 288868 23694 337 96 0 285430 0
[pid=11799] ppid=11797 vsize=110912 CPUtime=34.04 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 26386 0 0 0 3400 4 0 0 25 0 1 0 489474724 113573888 24455 33554432000 4194304 4785740 140735391413664 18446744073709551615 4287211 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 27728 24455 341 145 0 24773 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=34.1 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 3409 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524677 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1775272

[startup+162.301 s]
/proc/loadavg: 11.39 7.21 5.08 13/202 11895
/proc/meminfo: memFree=24021956/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350336975536128 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1154584 CPUtime=54.13 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 57330 0 0 0 5405 8 0 0 25 0 1 0 489474724 1182294016 25014 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 288646 25014 337 96 0 285208 0
[pid=11799] ppid=11797 vsize=128080 CPUtime=54.04 cores=5

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

/proc/11799/statm: 32020 28574 341 145 0 29065 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=54.1 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 5409 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524686 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1791552

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

[startup+179.101 s]
/proc/loadavg: 11.52 7.45 5.19 13/202 11895
/proc/meminfo: memFree=23991612/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135351848804024320 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1199876 CPUtime=59.73 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 62368 0 0 0 5963 10 0 0 25 0 1 0 489474724 1228673024 24437 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238736 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 299969 24437 337 96 0 296531 0
[pid=11799] ppid=11797 vsize=130444 CPUtime=59.65 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 31091 0 0 0 5960 5 0 0 25 0 1 0 489474724 133574656 29160 33554432000 4194304 4785740 140735391413664 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 32611 29160 341 145 0 29656 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=59.69 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 5968 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524752 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 179.07
Current children cumulated vsize (KiB) 1839208

[startup+204.701 s]
/proc/loadavg: 11.71 7.88 5.41 13/202 11896
/proc/meminfo: memFree=23958480/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350474414489600 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1221220 CPUtime=68.23 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 67339 0 0 0 6813 10 0 0 25 0 1 0 489474724 1250529280 29408 33554432000 4194304 4587354 140734589966400 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 305305 29408 337 96 0 301867 0
[pid=11799] ppid=11797 vsize=149140 CPUtime=68.2 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 35586 0 0 0 6814 6 0 0 25 0 1 0 489474724 152719360 33655 33554432000 4194304 4785740 140735391413664 18446744073709551615 4553411 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 37285 33655 341 145 0 34330 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=68.24 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 6823 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 204.67
Current children cumulated vsize (KiB) 1879248

[startup+211.101 s]
/proc/loadavg: 11.73 7.95 5.44 13/202 11896
/proc/meminfo: memFree=23947684/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350474414489600 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1237616 CPUtime=70.39 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 70067 0 0 0 7028 11 0 0 25 0 1 0 489474724 1267318784 32136 33554432000 4194304 4587354 140734589966400 18446744073709551615 4388269 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 309404 32136 337 96 0 305966 0
[pid=11799] ppid=11797 vsize=152544 CPUtime=70.3 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 36428 0 0 0 7023 7 0 0 25 0 1 0 489474724 156205056 34497 33554432000 4194304 4785740 140735391413664 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 38136 34497 341 145 0 35181 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=70.39 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 7038 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 211.08
Current children cumulated vsize (KiB) 1899048

[startup+217.501 s]
/proc/loadavg: 11.75 8.02 5.48 13/202 11896
/proc/meminfo: memFree=23940864/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350611853443072 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1237616 CPUtime=72.53 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 70067 0 0 0 7242 11 0 0 25 0 1 0 489474724 1267318784 32136 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238435 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 309404 32136 337 96 0 305966 0
[pid=11799] ppid=11797 vsize=157056 CPUtime=72.45 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 37560 0 0 0 7238 7 0 0 25 0 1 0 489474724 160825344 35629 33554432000 4194304 4785740 140735391413664 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 39264 35629 341 145 0 36309 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=72.49 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 7248 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 217.47
Current children cumulated vsize (KiB) 1903560

[startup+219.101 s]
/proc/loadavg: 11.75 8.02 5.48 13/202 11897
/proc/meminfo: memFree=23937888/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350611853443072 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1237616 CPUtime=73.03 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 70067 0 0 0 7292 11 0 0 25 0 1 0 489474724 1267318784 32136 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 309404 32136 337 96 0 305966 0
[pid=11799] ppid=11797 vsize=158820 CPUtime=73.01 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 37934 0 0 0 7293 8 0 0 25 0 1 0 489474724 162631680 36003 33554432000 4194304 4785740 140735391413664 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 39705 36003 341 145 0 36750 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=73.04 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 7303 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 219.08
Current children cumulated vsize (KiB) 1905324

[startup+220.701 s]
/proc/loadavg: 11.77 8.08 5.51 13/202 11897
/proc/meminfo: memFree=23937144/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350611853443072 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1237616 CPUtime=73.58 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 70067 0 0 0 7347 11 0 0 25 0 1 0 489474724 1267318784 32136 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 309404 32136 337 96 0 305966 0
[pid=11799] ppid=11797 vsize=159168 CPUtime=73.51 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 38042 0 0 0 7343 8 0 0 25 0 1 0 489474724 162988032 36111 33554432000 4194304 4785740 140735391413664 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 39792 36111 341 145 0 36837 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=73.59 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 7358 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 1905672

[startup+221.501 s]
/proc/loadavg: 11.77 8.08 5.51 13/202 11897
/proc/meminfo: memFree=23936400/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350611853443072 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1237616 CPUtime=73.83 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 70067 0 0 0 7372 11 0 0 25 0 1 0 489474724 1267318784 32136 33554432000 4194304 4587354 140734589966400 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 309404 32136 337 96 0 305966 0
[pid=11799] ppid=11797 vsize=159568 CPUtime=73.8 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 38145 0 0 0 7372 8 0 0 25 0 1 0 489474724 163397632 36214 33554432000 4194304 4785740 140735391413664 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 39892 36214 341 145 0 36937 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=73.84 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 7383 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 1906072

[startup+221.901 s]
/proc/loadavg: 11.77 8.08 5.51 13/202 11897
/proc/meminfo: memFree=23936400/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350611853443072 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1237616 CPUtime=73.98 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 70067 0 0 0 7387 11 0 0 25 0 1 0 489474724 1267318784 32136 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 309404 32136 337 96 0 305966 0
[pid=11799] ppid=11797 vsize=159736 CPUtime=73.9 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 38160 0 0 0 7382 8 0 0 25 0 1 0 489474724 163569664 36229 33554432000 4194304 4785740 140735391413664 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 39934 36229 341 145 0 36979 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=73.99 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 7398 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 221.87
Current children cumulated vsize (KiB) 1906240

[startup+222.001 s]
/proc/loadavg: 11.77 8.08 5.51 13/202 11897
/proc/meminfo: memFree=23936400/32951124 swapFree=67111524/67111528
[pid=11797] ppid=11795 vsize=18324 CPUtime=0 cores=5,7
/proc/11797/stat : 11797 (ppfolio) S 11795 11797 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474724 18763776 394 33554432000 4194304 4287625 140735342780048 18446744073709551615 212687695375 0 0 4096 65536 6135350611853443072 0 0 17 7 0 0 0
/proc/11797/statm: 4581 394 345 23 0 91 0
[pid=11798] ppid=11797 vsize=1237616 CPUtime=74.03 cores=5
/proc/11798/stat : 11798 (cryptominisat) R 11797 11797 10526 0 -1 4202496 70067 0 0 0 7392 11 0 0 25 0 1 0 489474724 1267318784 32136 33554432000 4194304 4587354 140734589966400 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11798/statm: 309404 32136 337 96 0 305966 0
[pid=11799] ppid=11797 vsize=159736 CPUtime=73.95 cores=5
/proc/11799/stat : 11799 (clasp) R 11797 11797 10526 0 -1 4202496 38175 0 0 0 7387 8 0 0 25 0 1 0 489474724 163569664 36244 33554432000 4194304 4785740 140735391413664 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/11799/statm: 39934 36244 341 145 0 36979 0
[pid=11800] ppid=11797 vsize=490564 CPUtime=73.99 cores=5
/proc/11800/stat : 11800 (TNM) R 11797 11797 10526 0 -1 4202496 11103 0 0 0 7398 1 0 0 25 0 1 0 489474724 502337536 11000 33554432000 134512640 134534564 4294537536 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11800/statm: 122641 11000 91 6 0 121307 0
Current children cumulated CPU time (s) 221.97
Current children cumulated vsize (KiB) 1906240

Child status: 0
Real time (s): 222.07
CPU time (s): 222.077
CPU user time (s): 221.85
CPU system time (s): 0.226965
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1906240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.85
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119883
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= 116
involuntary context switches= 4874

runsolver used 0.331949 second user time and 0.892864 second system time

The end

Launcher Data

Begin job on node139 at 2011-04-26 02:46:10
IDJOB=3290641
IDBENCH=83443
IDSOLVER=1613
FILE ID=node139/3290641-1303778769
RUNJOBID= node139-1303778769-11749
PBS_JOBID= 13157184
Free space on /tmp= 72356 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1399935976

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:      25549068 kB
Buffers:       1916988 kB
Cached:        4855240 kB
SwapCached:          4 kB
Active:         281860 kB
Inactive:      6602756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25549068 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           58752 kB
Writeback:          52 kB
AnonPages:      111808 kB
Mapped:          16940 kB
Slab:           451648 kB
PageTables:       5612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1663084 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= 72264 MiB
End job on node139 at 2011-04-26 02:49:52