Trace number 3310355

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio parSAT 493.502 62.1445

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7429
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

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

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

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


[startup+0 s]
/proc/loadavg: 6.51 6.95 6.96 1/170 6756
/proc/meminfo: memFree=15622028/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) R 6754 6756 5982 0 -1 4202496 518 0 0 0 0 0 0 0 25 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0

[startup+0.0824289 s]
/proc/loadavg: 6.51 6.95 6.96 1/170 6756
/proc/meminfo: memFree=15622028/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100421 s]
/proc/loadavg: 6.51 6.95 6.96 1/170 6756
/proc/meminfo: memFree=15622028/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300386 s]
/proc/loadavg: 6.51 6.95 6.96 1/170 6756
/proc/meminfo: memFree=15622028/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 18 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700312 s]
/proc/loadavg: 6.51 6.95 6.96 1/170 6756
/proc/meminfo: memFree=15622028/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 18 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50113 s]
/proc/loadavg: 6.51 6.95 6.96 9/180 6771
/proc/meminfo: memFree=15273004/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 18 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=81520 CPUtime=1.49 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 11348 0 0 0 147 2 0 0 25 0 1 0 513147296 83476480 10780 33554432000 4194304 4587354 140735098715600 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 20380 10780 306 96 0 16942 0
[pid=6758] ppid=6756 vsize=74912 CPUtime=1.49 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 18129 0 0 0 145 4 0 0 20 0 1 0 513147296 76709888 15237 33554432000 4194304 4785740 140737128785760 18446744073709551615 4495669 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 18728 15237 319 145 0 15773 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=1.48 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 146 2 0 0 20 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=64044 CPUtime=1.48 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4194304 33134 0 0 0 142 6 0 0 20 0 1 0 513147296 65581056 9787 33554432000 4194304 4331988 140735572048128 18446744073709551615 4261688 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 16011 9787 129 34 0 14453 0
[pid=6761] ppid=6756 vsize=251940 CPUtime=3.09 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 53489 1250 0 0 303 6 0 0 25 0 5 0 513147296 257986560 51412 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 62985 51412 149 40 0 61529 0
[pid=6761/tid=6768] ppid=6756 vsize=251940 CPUtime=0.53 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 4811 1250 0 0 53 0 0 0 25 0 5 0 513147392 257986560 51412 33554432000 4194304 4356188 140735028390176 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=251940 CPUtime=0.53 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 4816 1250 0 0 53 0 0 0 25 0 5 0 513147392 257986560 51412 33554432000 4194304 4356188 140735028390176 18446744073709551615 4250947 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=251940 CPUtime=0.53 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 4812 1250 0 0 53 0 0 0 25 0 5 0 513147392 257986560 51412 33554432000 4194304 4356188 140735028390176 18446744073709551615 4260258 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=251940 CPUtime=0.52 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 4815 1250 0 0 52 0 0 0 25 0 5 0 513147392 257986560 51412 33554432000 4194304 4356188 140735028390176 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (KiB) 1011332

[startup+3.10083 s]
/proc/loadavg: 6.71 6.98 6.97 9/180 6771
/proc/meminfo: memFree=15117632/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=167524 CPUtime=3.08 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 44133 0 0 0 301 7 0 0 25 0 1 0 513147296 171544576 31845 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 41881 31845 316 96 0 38443 0
[pid=6758] ppid=6756 vsize=74912 CPUtime=3.09 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 18129 0 0 0 305 4 0 0 25 0 1 0 513147296 76709888 15237 33554432000 4194304 4785740 140737128785760 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 18728 15237 319 145 0 15773 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=3.08 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 306 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=98744 CPUtime=3.09 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 113250 0 0 0 290 19 0 0 25 0 1 0 513147296 101113856 16671 33554432000 4194304 4331988 140735572048128 18446744073709551615 4253508 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 24686 16672 150 34 0 23128 0
[pid=6761] ppid=6756 vsize=281388 CPUtime=9.49 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 62760 1250 0 0 940 9 0 0 25 0 5 0 513147296 288141312 58771 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 70347 58771 162 40 0 68891 0
[pid=6761/tid=6768] ppid=6756 vsize=281388 CPUtime=2.13 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 4811 1250 0 0 213 0 0 0 25 0 5 0 513147392 288141312 58771 33554432000 4194304 4356188 140735028390176 18446744073709551615 4286773 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=281388 CPUtime=2.13 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 9381 1250 0 0 211 2 0 0 25 0 5 0 513147392 288141312 58771 33554432000 4194304 4356188 140735028390176 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=281388 CPUtime=2.13 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 9258 1250 0 0 212 1 0 0 25 0 5 0 513147392 288141312 58771 33554432000 4194304 4356188 140735028390176 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=281388 CPUtime=2.11 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 5075 1250 0 0 211 0 0 0 25 0 5 0 513147392 288141312 58771 33554432000 4194304 4356188 140735028390176 18446744073709551615 4332579 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (KiB) 1161484

[startup+6.30123 s]
/proc/loadavg: 6.71 6.98 6.97 9/180 6771
/proc/meminfo: memFree=15014836/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=167524 CPUtime=6.29 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 44133 0 0 0 622 7 0 0 25 0 1 0 513147296 171544576 31845 33554432000 4194304 4587354 140735098715600 18446744073709551615 4357600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 41881 31845 316 96 0 38443 0
[pid=6758] ppid=6756 vsize=74912 CPUtime=6.29 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 18129 0 0 0 625 4 0 0 25 0 1 0 513147296 76709888 15237 33554432000 4194304 4785740 140737128785760 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 18728 15237 319 145 0 15773 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=6.28 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 626 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=120664 CPUtime=6.29 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 120382 0 0 0 608 21 0 0 25 0 1 0 513147296 123559936 23803 33554432000 4194304 4331988 140735572048128 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 30166 23803 151 34 0 28608 0
[pid=6761] ppid=6756 vsize=369148 CPUtime=22.27 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 68373 1250 0 0 2217 10 0 0 25 0 5 0 513147296 378007552 64329 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 92287 64329 163 40 0 90831 0
[pid=6761/tid=6768] ppid=6756 vsize=369148 CPUtime=5.33 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 8955 1250 0 0 532 1 0 0 25 0 5 0 513147392 378007552 64329 33554432000 4194304 4356188 140735028390176 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=369148 CPUtime=5.34 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 9413 1250 0 0 532 2 0 0 25 0 5 0 513147392 378007552 64329 33554432000 4194304 4356188 140735028390176 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=369148 CPUtime=5.33 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 9322 1250 0 0 532 1 0 0 25 0 5 0 513147392 378007552 64329 33554432000 4194304 4356188 140735028390176 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=369148 CPUtime=5.3 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 6448 1250 0 0 529 1 0 0 25 0 5 0 513147392 378007552 64329 33554432000 4194304 4356188 140735028390176 18446744073709551615 4242784 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.42
Current children cumulated vsize (KiB) 1271164

[startup+12.701 s]
/proc/loadavg: 6.91 7.01 6.99 9/180 6771
/proc/meminfo: memFree=14982888/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=167524 CPUtime=12.69 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 44133 0 0 0 1262 7 0 0 25 0 1 0 513147296 171544576 31845 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388261 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 41881 31845 316 96 0 38443 0
[pid=6758] ppid=6756 vsize=74912 CPUtime=12.69 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 18129 0 0 0 1265 4 0 0 25 0 1 0 513147296 76709888 15237 33554432000 4194304 4785740 140737128785760 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 18728 15237 319 145 0 15773 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=12.68 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 1266 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524550 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=185500 CPUtime=12.69 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 134915 0 0 0 1243 26 0 0 25 0 1 0 513147296 189952000 38336 33554432000 4194304 4331988 140735572048128 18446744073709551615 244446606021 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 46375 38336 151 34 0 44817 0
[pid=6761] ppid=6756 vsize=342832 CPUtime=47.83 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 74213 1250 0 0 4773 10 0 0 25 0 5 0 513147296 351059968 57750 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 85708 57750 163 40 0 84252 0
[pid=6761/tid=6768] ppid=6756 vsize=342832 CPUtime=11.73 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 9512 1250 0 0 1172 1 0 0 25 0 5 0 513147392 351059968 57750 33554432000 4194304 4356188 140735028390176 18446744073709551615 4250885 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=342832 CPUtime=11.73 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 14189 1250 0 0 1171 2 0 0 25 0 5 0 513147392 351059968 57750 33554432000 4194304 4356188 140735028390176 18446744073709551615 4338730 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=342832 CPUtime=11.73 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 9322 1250 0 0 1172 1 0 0 25 0 5 0 513147392 351059968 57750 33554432000 4194304 4356188 140735028390176 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=342832 CPUtime=11.66 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 6955 1250 0 0 1165 1 0 0 25 0 5 0 513147392 351059968 57750 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331203 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 98.58
Current children cumulated vsize (KiB) 1309684

[startup+25.5006 s]
/proc/loadavg: 7.08 7.05 7.00 9/180 6772
/proc/meminfo: memFree=14825692/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=195004 CPUtime=25.49 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 49102 0 0 0 2540 9 0 0 25 0 1 0 513147296 199684096 36490 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 0 0 0 0

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

[pid=6760] ppid=6756 vsize=684364 CPUtime=51.09 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 237246 0 0 0 5053 56 0 0 25 0 1 0 513147296 700788736 140667 33554432000 4194304 4331988 140735572048128 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 171091 140667 151 34 0 169533 0
[pid=6761] ppid=6756 vsize=338604 CPUtime=201.23 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 91963 1250 0 0 20109 14 0 0 25 0 5 0 513147296 346730496 56693 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 84651 56693 163 40 0 83195 0
[pid=6761/tid=6768] ppid=6756 vsize=338604 CPUtime=50.13 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 14850 1250 0 0 5012 1 0 0 25 0 5 0 513147392 346730496 56693 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=338604 CPUtime=50.14 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 15316 1250 0 0 5011 3 0 0 25 0 5 0 513147392 346730496 56693 33554432000 4194304 4356188 140735028390176 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=338604 CPUtime=50.13 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 18959 1250 0 0 5010 3 0 0 25 0 5 0 513147392 346730496 56693 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=338604 CPUtime=49.85 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 8603 1250 0 0 4984 1 0 0 25 0 5 0 513147392 346730496 56693 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 405.57
Current children cumulated vsize (KiB) 1870372

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

[startup+57.5006 s]
/proc/loadavg: 7.56 7.16 7.04 9/180 6772
/proc/meminfo: memFree=14441776/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=192032 CPUtime=57.49 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 54237 0 0 0 5739 10 0 0 25 0 1 0 513147296 196640768 36976 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 48008 36976 338 96 0 44570 0
[pid=6758] ppid=6756 vsize=132936 CPUtime=57.49 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 33819 0 0 0 5742 7 0 0 25 0 1 0 513147296 136126464 29987 33554432000 4194304 4785740 140737128785760 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 33234 29987 341 145 0 30279 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=57.47 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 5745 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=729112 CPUtime=57.49 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 251205 0 0 0 5689 60 0 0 25 0 1 0 513147296 746610688 154626 33554432000 4194304 4331988 140735572048128 18446744073709551615 244446606021 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 182278 154626 151 34 0 180720 0
[pid=6761] ppid=6756 vsize=338512 CPUtime=226.8 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 92903 1250 0 0 22666 14 0 0 25 0 5 0 513147296 346636288 56670 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 84628 56670 163 40 0 83172 0
[pid=6761/tid=6768] ppid=6756 vsize=338512 CPUtime=56.53 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 14850 1250 0 0 5652 1 0 0 25 0 5 0 513147392 346636288 56670 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=338512 CPUtime=56.54 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 15316 1250 0 0 5651 3 0 0 25 0 5 0 513147392 346636288 56670 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=338512 CPUtime=56.53 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 19386 1250 0 0 5650 3 0 0 25 0 5 0 513147392 346636288 56670 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331119 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=338512 CPUtime=56.22 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 9116 1250 0 0 5621 1 0 0 25 0 5 0 513147392 346636288 56670 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 456.74
Current children cumulated vsize (KiB) 1931508

[startup+60.701 s]
/proc/loadavg: 7.56 7.16 7.04 9/180 6773
/proc/meminfo: memFree=14372264/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=214320 CPUtime=60.68 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 61567 0 0 0 6058 10 0 0 25 0 1 0 513147296 219463680 44306 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 53580 44306 338 96 0 50142 0
[pid=6758] ppid=6756 vsize=139948 CPUtime=60.69 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 35458 0 0 0 6062 7 0 0 25 0 1 0 513147296 143306752 31626 33554432000 4194304 4785740 140737128785760 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 34987 31626 341 145 0 32032 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=60.66 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 6064 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=753136 CPUtime=60.69 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 258646 0 0 0 6006 63 0 0 25 0 1 0 513147296 771211264 162067 33554432000 4194304 4331988 140735572048128 18446744073709551615 244446606369 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 188284 162067 151 34 0 186726 0
[pid=6761] ppid=6756 vsize=341244 CPUtime=239.58 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 93589 1250 0 0 23944 14 0 0 25 0 5 0 513147296 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 85311 57353 163 40 0 83855 0
[pid=6761/tid=6768] ppid=6756 vsize=341244 CPUtime=59.73 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 15280 1250 0 0 5972 1 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=341244 CPUtime=59.74 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 15316 1250 0 0 5971 3 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4234306 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=341244 CPUtime=59.73 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 19386 1250 0 0 5970 3 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=341244 CPUtime=59.4 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 9372 1250 0 0 5939 1 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 482.3
Current children cumulated vsize (KiB) 1987564

[startup+61.5009 s]
/proc/loadavg: 7.56 7.16 7.04 9/180 6773
/proc/meminfo: memFree=14360992/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=214320 CPUtime=61.49 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 61567 0 0 0 6139 10 0 0 25 0 1 0 513147296 219463680 44306 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388264 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 53580 44306 338 96 0 50142 0
[pid=6758] ppid=6756 vsize=141244 CPUtime=61.49 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 35695 0 0 0 6142 7 0 0 25 0 1 0 513147296 144633856 31863 33554432000 4194304 4785740 140737128785760 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 35311 31863 341 145 0 32356 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=61.47 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 6145 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=758680 CPUtime=61.49 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 260394 0 0 0 6086 63 0 0 25 0 1 0 513147296 776888320 163815 33554432000 4194304 4331988 140735572048128 18446744073709551615 244446606021 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 189670 163815 151 34 0 188112 0
[pid=6761] ppid=6756 vsize=341244 CPUtime=242.79 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 93589 1250 0 0 24265 14 0 0 25 0 5 0 513147296 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 85311 57353 163 40 0 83855 0
[pid=6761/tid=6768] ppid=6756 vsize=341244 CPUtime=60.54 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 15280 1250 0 0 6053 1 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=341244 CPUtime=60.54 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 15316 1250 0 0 6051 3 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=341244 CPUtime=60.53 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 19386 1250 0 0 6050 3 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=341244 CPUtime=60.2 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 9372 1250 0 0 6019 1 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 488.73
Current children cumulated vsize (KiB) 1994404

[startup+61.9008 s]
/proc/loadavg: 7.56 7.16 7.04 9/180 6773
/proc/meminfo: memFree=14360992/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=214320 CPUtime=61.88 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 61567 0 0 0 6178 10 0 0 25 0 1 0 513147296 219463680 44306 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 53580 44306 338 96 0 50142 0
[pid=6758] ppid=6756 vsize=142300 CPUtime=61.89 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 35983 0 0 0 6182 7 0 0 25 0 1 0 513147296 145715200 32151 33554432000 4194304 4785740 140737128785760 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 35575 32151 341 145 0 32620 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=61.86 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 6184 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=762508 CPUtime=61.89 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 261553 0 0 0 6125 64 0 0 25 0 1 0 513147296 780808192 164974 33554432000 4194304 4331988 140735572048128 18446744073709551615 244446606021 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 190627 164974 151 34 0 189069 0
[pid=6761] ppid=6756 vsize=341244 CPUtime=244.37 cores=4-7
/proc/6761/stat : 6761 (plingeling) S 6756 6756 5982 0 -1 4202496 93589 1250 0 0 24423 14 0 0 25 0 5 0 513147296 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/6761/statm: 85311 57353 163 40 0 83855 0
[pid=6761/tid=6768] ppid=6756 vsize=341244 CPUtime=60.93 cores=4-7
/proc/6761/task/6768/stat : 6768 (plingeling) R 6756 6756 5982 0 -1 4202560 15280 1250 0 0 6092 1 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6761/tid=6769] ppid=6756 vsize=341244 CPUtime=60.94 cores=4-7
/proc/6761/task/6769/stat : 6769 (plingeling) R 6756 6756 5982 0 -1 4202560 15316 1250 0 0 6091 3 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4210715 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6761/tid=6770] ppid=6756 vsize=341244 CPUtime=60.93 cores=4-7
/proc/6761/task/6770/stat : 6770 (plingeling) R 6756 6756 5982 0 -1 4202560 19386 1250 0 0 6090 3 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6761/tid=6771] ppid=6756 vsize=341244 CPUtime=60.59 cores=4-7
/proc/6761/task/6771/stat : 6771 (plingeling) R 6756 6756 5982 0 -1 4202560 9372 1250 0 0 6058 1 0 0 25 0 5 0 513147392 349433856 57353 33554432000 4194304 4356188 140735028390176 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 491.89
Current children cumulated vsize (KiB) 1999288

[startup+62.1008 s]
/proc/loadavg: 7.56 7.16 7.04 9/180 6773
/proc/meminfo: memFree=14360992/32951124 swapFree=67111528/67111528
[pid=6756] ppid=6754 vsize=18324 CPUtime=0 cores=0-7
/proc/6756/stat : 6756 (ppfolio) S 6754 6756 5982 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 513147296 18763776 389 33554432000 4194304 4287625 140736756211440 18446744073709551615 244446965263 0 0 4096 65536 3287470502112657407 0 0 17 6 0 0 0
/proc/6756/statm: 4581 389 341 23 0 91 0
[pid=6757] ppid=6756 vsize=214320 CPUtime=62.08 cores=0
/proc/6757/stat : 6757 (cryptominisat) R 6756 6756 5982 0 -1 4202496 61567 0 0 0 6198 10 0 0 25 0 1 0 513147296 219463680 44306 33554432000 4194304 4587354 140735098715600 18446744073709551615 4388286 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6757/statm: 53580 44306 338 96 0 50142 0
[pid=6758] ppid=6756 vsize=142708 CPUtime=62.09 cores=1
/proc/6758/stat : 6758 (clasp) R 6756 6756 5982 0 -1 4202496 36065 0 0 0 6202 7 0 0 25 0 1 0 513147296 146132992 32233 33554432000 4194304 4785740 140737128785760 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/6758/statm: 35677 32233 341 145 0 32722 0
[pid=6759] ppid=6756 vsize=520592 CPUtime=62.06 cores=2
/proc/6759/stat : 6759 (TNM) R 6756 6756 5982 0 -1 4202496 19369 0 0 0 6204 2 0 0 25 0 1 0 513147296 533086208 19266 33554432000 134512640 134534564 4294095296 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6759/statm: 130148 19266 91 6 0 128814 0
[pid=6760] ppid=6756 vsize=764092 CPUtime=62.09 cores=3
/proc/6760/stat : 6760 (march_hi) R 6756 6756 5982 0 -1 4202496 262035 0 0 0 6145 64 0 0 25 0 1 0 513147296 782430208 165456 33554432000 4194304 4331988 140735572048128 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6760/statm: 191023 165456 151 34 0 189465 0
[pid=6761] ppid=6756 vsize=331000 CPUtime=245 cores=4-7
/proc/6761/stat : 6761 (plingeling) R 6756 6756 5982 0 -1 4202496 93590 1250 0 0 24486 14 0 0 18 0 1 0 513147296 338944000 55915 33554432000 4194304 4356188 140735028390176 18446744073709551615 244446988423 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/6761/statm: 82750 55915 164 40 0 81294 0
Current children cumulated CPU time (s) 493.32
Current children cumulated vsize (KiB) 1991036

Child status: 0
Real time (s): 62.1445
CPU time (s): 493.502
CPU user time (s): 492.425
CPU system time (s): 1.07684
CPU usage (%): 794.12
Max. virtual memory (cumulated for all children) (KiB): 2000216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 492.425
system time used= 1.07684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474460
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= 389
involuntary context switches= 2322

runsolver used 0.091986 second user time and 0.254961 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-28 20:31:09
IDJOB=3310355
IDBENCH=83475
IDSOLVER=1638
FILE ID=node105/3310355-1304015468
RUNJOBID= node105-1304003715-5996
PBS_JOBID= 13168806
Free space on /tmp= 71920 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3310355-1304015468/watcher-3310355-1304015468 -o /tmp/evaluation-result-3310355-1304015468/solver-3310355-1304015468 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3310355-1304015468.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=830728034

node105.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.825
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.65
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.825
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	: 5226.15
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.825
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.82
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15622432 kB
Buffers:       2296052 kB
Cached:       14392544 kB
SwapCached:          0 kB
Active:        8878224 kB
Inactive:      7876248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15622432 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           30504 kB
Writeback:           0 kB
AnonPages:       65848 kB
Mapped:          14972 kB
Slab:           507444 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186536 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= 71908 MiB
End job on node105 at 2011-04-28 20:32:11