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