Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -100 | 1782.76 | 1783.33 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -139 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.39/0.42 c starting to Solve 0.39/0.42 c #variables read: 7316 - #constraints read: 14135 0.39/0.43 o 0 0.39/0.43 o 1 0.39/0.43 o 2 0.39/0.43 o 3 0.39/0.43 o 4 0.39/0.44 o 5 0.39/0.44 o 6 0.39/0.44 o 7 0.39/0.44 o 8 0.39/0.44 o 9 0.39/0.44 o 10 0.39/0.44 o 11 0.39/0.45 o 12 0.39/0.45 o 13 0.39/0.45 o 14 0.39/0.45 o 15 0.39/0.45 o 16 0.39/0.46 o 17 0.39/0.46 o 18 0.39/0.46 o 19 0.39/0.46 o 20 0.39/0.46 o 21 0.39/0.46 o 22 0.39/0.47 o 23 0.39/0.47 o 24 0.39/0.47 o 25 0.39/0.47 o 26 0.39/0.47 o 27 0.39/0.47 o 28 0.39/0.48 o 29 0.39/0.48 o 30 0.39/0.48 o 31 0.39/0.48 o 32 0.39/0.48 o 33 0.39/0.48 o 34 0.39/0.49 o 35 0.39/0.49 o 36 0.39/0.49 o 37 0.39/0.49 o 38 0.39/0.49 o 39 0.39/0.50 o 40 0.49/0.50 o 41 0.49/0.50 o 42 0.49/0.50 o 43 0.49/0.50 o 44 0.49/0.50 o 45 0.49/0.51 o 46 0.49/0.51 o 47 0.49/0.51 o 48 0.49/0.51 o 49 0.49/0.51 o 50 0.49/0.52 o 51 0.49/0.52 o 52 0.49/0.52 o 53 0.49/0.52 o 54 0.49/0.52 o 55 0.49/0.53 o 56 0.49/0.53 o 57 0.49/0.53 o 58 0.49/0.53 o 59 0.49/0.53 o 60 0.49/0.53 o 61 0.49/0.54 o 62 0.49/0.54 o 63 0.49/0.54 o 64 0.49/0.54 o 65 0.49/0.54 o 66 0.49/0.55 o 67 0.49/0.55 o 68 0.49/0.55 o 69 0.49/0.55 o 70 0.49/0.56 o 71 0.49/0.56 o 72 0.49/0.56 o 73 0.49/0.56 o 74 0.49/0.57 o 75 0.49/0.57 o 76 0.59/0.62 o 77 0.59/0.67 o 78 0.69/0.71 o 79 0.69/0.75 o 80 0.79/0.84 o 81 0.89/0.94 o 82 0.99/1.04 o 83 1.09/1.11 o 84 1.18/1.28 o 85 1.28/1.34 o 86 1.49/1.52 o 87 1.59/1.69 o 88 1.69/1.75 o 89 1.99/2.09 o 90 2.49/2.57 o 91 2.59/2.66 o 92 2.68/2.76 o 93 2.98/3.00 o 94 3.48/3.55 o 95 3.78/3.89 o 96 4.40/4.46 o 97 4.89/4.98 o 98 5.49/5.59 o 99 5.89/5.93 o 100 1782.73/1783.30 c total time : 1783 s 1782.73/1783.30 s SATISFIABLE 1782.73/1783.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1782.73/1783.30 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1782.73/1783.30 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1782.73/1783.30 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1782.73/1783.30 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1782.73/1783.30 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1782.73/1783.30 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1782.73/1783.30 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1782.73/1783.30 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1782.73/1783.30 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1782.73/1783.30 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1782.73/1783.30 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1782.73/1783.30 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1782.73/1783.30 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1782.73/1783.30 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1782.73/1783.30 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1782.73/1783.30 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1782.73/1783.30 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1782.73/1783.30 v -x399 -x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 1782.73/1783.30 v x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 1782.73/1783.30 v x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 1782.73/1783.30 v x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 -x1001 1782.73/1783.30 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1782.73/1783.30 v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1782.73/1783.30 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 1782.73/1783.30 v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 1782.73/1783.30 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1782.73/1783.30 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1782.73/1783.30 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1782.73/1783.30 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1782.73/1783.30 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1782.73/1783.30 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 1782.73/1783.30 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 1782.73/1783.30 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 1782.73/1783.30 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1782.73/1783.30 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1782.73/1783.30 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1782.73/1783.30 v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1782.73/1783.30 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1782.73/1783.30 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1782.73/1783.30 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1782.73/1783.30 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1782.73/1783.30 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 1782.73/1783.30 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1782.73/1783.30 v -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 1782.73/1783.30 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1782.73/1783.30 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1782.73/1783.30 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1782.73/1783.30 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 1782.73/1783.30 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1782.73/1783.30 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 1782.73/1783.30 v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 1782.73/1783.30 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1782.73/1783.30 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1782.73/1783.30 v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 1782.73/1783.30 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1782.73/1783.30 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1782.73/1783.30 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1782.73/1783.30 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1782.73/1783.30 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1782.73/1783.30 v -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1782.73/1783.30 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 1782.73/1783.30 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1782.73/1783.30 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1782.73/1783.30 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1782.73/1783.30 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1782.73/1783.30 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1782.73/1783.30 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1782.73/1783.30 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1782.73/1783.30 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1782.73/1783.30 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1782.73/1783.30 v -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1782.73/1783.30 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 1782.73/1783.30 v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1782.73/1783.30 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1782.73/1783.30 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1782.73/1783.30 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1782.73/1783.30 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1782.73/1783.30 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1782.73/1783.30 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1782.73/1783.30 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1782.73/1783.30 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1782.73/1783.30 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1782.73/1783.30 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1782.73/1783.30 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1782.73/1783.30 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1782.73/1783.30 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1782.73/1783.30 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1782.73/1783.30 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1782.73/1783.30 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1782.73/1783.30 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1782.73/1783.30 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1782.73/1783.30 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1782.73/1783.30 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1782.73/1783.30 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1782.73/1783.30 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1782.73/1783.30 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1782.73/1783.30 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1782.73/1783.30 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1782.73/1783.30 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 1782.73/1783.30 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 1782.73/1783.30 v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1782.73/1783.30 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 1782.73/1783.30 v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 1782.73/1783.30 v -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1782.73/1783.30 v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 1782.73/1783.30 v -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1782.73/1783.30 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 1782.73/1783.30 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1782.73/1783.30 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 1782.73/1783.30 v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1782.73/1783.30 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1782.73/1783.30 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1782.73/1783.30 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1782.73/1783.30 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 1782.73/1783.30 v -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1782.73/1783.30 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1782.73/1783.30 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1782.73/1783.30 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1782.73/1783.30 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1782.73/1783.30 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 1782.73/1783.30 v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 1782.73/1783.30 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1782.73/1783.30 v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 1782.73/1783.30 v -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 1782.73/1783.30 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 1782.73/1783.30 v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 1782.73/1783.30 v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 1782.73/1783.30 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1782.73/1783.30 v -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 1782.73/1783.30 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 1782.73/1783.30 v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 1782.73/1783.30 v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 1782.73/1783.30 v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 1782.73/1783.30 v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 1782.73/1783.30 v -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1782.73/1783.30 v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 1782.73/1783.30 v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 1782.73/1783.30 v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1782.73/1783.30 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 1782.73/1783.30 v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 1782.73/1783.30 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 1782.73/1783.30 v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 1782.73/1783.30 v -x3059 -x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1782.73/1783.30 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1782.73/1783.30 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1782.73/1783.30 v -x3110 -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1782.73/1783.30 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 1782.73/1783.30 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1782.73/1783.30 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1782.73/1783.30 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1782.73/1783.30 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1782.73/1783.30 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1782.73/1783.30 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1782.73/1783.30 v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 1782.73/1783.30 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1782.73/1783.30 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 1782.73/1783.30 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1782.73/1783.30 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1782.73/1783.30 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1782.73/1783.30 v -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 1782.73/1783.30 v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 1782.73/1783.30 v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1782.73/1783.30 v -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 1782.73/1783.30 v -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 1782.73/1783.30 v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 1782.73/1783.30 v -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 1782.73/1783.30 v -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 1782.73/1783.30 v -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 1782.73/1783.30 v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 1782.73/1783.30 v -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3532 -x3533 -x3534 1782.73/1783.30 v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 1782.73/1783.30 v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 1782.73/1783.30 v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 1782.73/1783.30 v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 1782.73/1783.30 v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 1782.73/1783.30 v -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 1782.73/1783.30 v -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 1782.73/1783.30 v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 1782.73/1783.30 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 1782.73/1783.30 v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 1782.73/1783.30 v -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 1782.73/1783.30 v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 1782.73/1783.30 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1782.73/1783.30 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 1782.73/1783.30 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1782.73/1783.30 v -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 1782.73/1783.30 v -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 1782.73/1783.30 v -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 1782.73/1783.30 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1782.73/1783.30 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 1782.73/1783.30 v -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 1782.73/1783.30 v -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 1782.73/1783.30 v -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 1782.73/1783.30 v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 1782.73/1783.30 v -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 1782.73/1783.30 v -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 1782.73/1783.30 v -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 1782.73/1783.30 v -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 1782.73/1783.30 v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 1782.73/1783.30 v -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 1782.73/1783.30 v -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 1782.73/1783.30 v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1782.73/1783.30 v -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 1782.73/1783.30 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 1782.73/1783.30 v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 1782.73/1783.30 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 1782.73/1783.30 v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 1782.73/1783.30 v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 1782.73/1783.30 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 1782.73/1783.30 v -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 1782.73/1783.30 v -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 1782.73/1783.30 v -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 1782.73/1783.30 v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 1782.73/1783.30 v -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 1782.73/1783.30 v -x4283 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 1782.73/1783.30 v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 1782.73/1783.30 v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 1782.73/1783.30 v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1782.73/1783.30 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 1782.73/1783.30 v -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 1782.73/1783.30 v -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 1782.73/1783.30 v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 1782.73/1783.30 v -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 1782.73/1783.30 v -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 1782.73/1783.30 v -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 1782.73/1783.30 v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 1782.73/1783.30 v -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 1782.73/1783.30 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1782.73/1783.30 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 1782.73/1783.30 v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 1782.73/1783.30 v -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 1782.73/1783.30 v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 1782.73/1783.30 v -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 1782.73/1783.30 v -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 1782.73/1783.30 v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 1782.73/1783.30 v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 1782.73/1783.30 v -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 1782.73/1783.30 v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 1782.73/1783.30 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 1782.73/1783.30 v -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 1782.73/1783.30 v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 1782.73/1783.30 v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 1782.73/1783.30 v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 1782.73/1783.30 v -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 1782.73/1783.30 v -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 1782.73/1783.30 v -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 1782.73/1783.30 v -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 x4842 -x4843 1782.73/1783.30 v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 1782.73/1783.30 v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1782.73/1783.30 v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 1782.73/1783.30 v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 1782.73/1783.30 v -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 1782.73/1783.30 v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 1782.73/1783.30 v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 1782.73/1783.30 v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 1782.73/1783.30 v x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 1782.73/1783.30 v -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 1782.73/1783.30 v -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 1782.73/1783.30 v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 x5045 -x5046 -x5047 1782.73/1783.30 v -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 1782.73/1783.30 v -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 1782.73/1783.30 v -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 1782.73/1783.30 v -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 1782.73/1783.30 v -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 1782.73/1783.30 v -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 1782.73/1783.30 v -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 1782.73/1783.30 v -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 1782.73/1783.30 v -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 1782.73/1783.30 v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 1782.73/1783.30 v -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 1782.73/1783.30 v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 1782.73/1783.30 v -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 1782.73/1783.30 v -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 1782.73/1783.30 v -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 1782.73/1783.30 v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 1782.73/1783.30 v -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 1782.73/1783.30 v -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 1782.73/1783.30 v -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 1782.73/1783.30 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 1782.73/1783.30 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 1782.73/1783.30 v -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 1782.73/1783.30 v -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 1782.73/1783.30 v -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 1782.73/1783.30 v -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 1782.73/1783.30 v -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 1782.73/1783.30 v -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 1782.73/1783.30 v -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 1782.73/1783.30 v -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 1782.73/1783.30 v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 1782.73/1783.30 v -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 1782.73/1783.30 v -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 1782.73/1783.30 v -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 1782.73/1783.30 v -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 1782.73/1783.30 v -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 1782.73/1783.30 v -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 1782.73/1783.30 v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 1782.73/1783.30 v -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 1782.73/1783.30 v -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 1782.73/1783.30 v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 -x5723 -x5724 -x5725 -x5726 -x5727 1782.73/1783.30 v -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 1782.73/1783.30 v -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 1782.73/1783.30 v -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 1782.73/1783.30 v -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 1782.73/1783.30 v -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 1782.73/1783.30 v -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 1782.73/1783.30 v -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 x5847 1782.73/1783.30 v -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 1782.73/1783.30 v -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 1782.73/1783.30 v -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 1782.73/1783.30 v -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 1782.73/1783.30 v -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 1782.73/1783.30 v -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 1782.73/1783.30 v -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 -x5965 -x5966 1782.73/1783.30 v -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 1782.73/1783.30 v -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 1782.73/1783.30 v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 1782.73/1783.30 v -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 x6034 1782.73/1783.30 v -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 x6051 -x6052 1782.73/1783.30 v -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 1782.73/1783.30 v -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 1782.73/1783.30 v -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 1782.73/1783.30 v -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 x6120 1782.73/1783.30 v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 1782.73/1783.30 v -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 1782.73/1783.30 v -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 1782.73/1783.30 v -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 1782.73/1783.30 v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 1782.73/1783.30 v -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 1782.73/1783.30 v -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 1782.73/1783.30 v -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 1782.73/1783.30 v -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 x6269 -x6270 -x6271 -x6272 -x6273 1782.73/1783.30 v -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 1782.73/1783.30 v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 1782.73/1783.30 v x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 1782.73/1783.30 v -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 x6337 -x6338 -x6339 -x6340 -x6341 -x6342 1782.73/1783.30 v -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 1782.73/1783.30 v -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 1782.73/1783.30 v -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 1782.73/1783.30 v -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 1782.73/1783.30 v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 1782.73/1783.30 v -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 1782.73/1783.30 v -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 1782.73/1783.30 v -x6462 -x6463 x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 1782.73/1783.30 v -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 1782.73/1783.30 v x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 1782.73/1783.30 v -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 1782.73/1783.30 v -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 1782.73/1783.30 v -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 1782.73/1783.30 v -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 1782.73/1783.30 v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 1782.73/1783.30 v -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 1782.73/1783.30 v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 1782.73/1783.30 v -x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 1782.73/1783.30 v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 1782.73/1783.30 v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 1782.73/1783.30 v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 1782.73/1783.30 v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 x6714 -x6715 -x6716 -x6717 1782.73/1783.30 v -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 1782.73/1783.30 v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 1782.73/1783.30 v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 1782.73/1783.30 v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 x6781 -x6782 -x6783 -x6784 -x6785 1782.73/1783.30 v -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 1782.73/1783.30 v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 1782.73/1783.30 v -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 1782.73/1783.30 v -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 x6849 -x6850 -x6851 -x6852 -x6853 1782.73/1783.30 v -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 1782.73/1783.30 v -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 x6886 -x6887 1782.73/1783.30 v -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 1782.73/1783.30 v -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 1782.73/1783.30 v -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 1782.73/1783.30 v -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 1782.73/1783.30 v -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 x6964 -x6965 -x6966 -x6967 x6968 -x6969 -x6970 -x6971 -x6972 -x6973 1782.73/1783.30 v -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 1782.73/1783.30 v x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 1782.73/1783.30 v -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 1782.73/1783.30 v -x7025 x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 1782.73/1783.30 v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 1782.73/1783.30 v -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 1782.73/1783.30 v -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 x7088 -x7089 -x7090 -x7091 -x7092 1782.73/1783.30 v x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 1782.73/1783.30 v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 x7124 -x7125 x7126 -x7127 -x7128 1782.73/1783.30 v -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 1782.73/1783.30 v -x7146 -x7147 -x7148 -x7149 x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 x7158 -x7159 -x7160 -x7161 -x7162 -x7163 1782.73/1783.30 v -x7164 -x7165 -x7166 -x7167 x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 1782.73/1783.30 v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 1782.73/1783.30 v -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 1782.73/1783.30 v -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 1782.73/1783.30 v -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 1782.73/1783.30 v -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 1782.73/1783.30 v -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 1782.73/1783.30 v -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 1782.73/1783.30 v -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 1782.73/1783.30 v -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 1782.73/1783.30 v -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1782.73/1783.30 v -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 x561 x562 x563 -x564 1782.73/1783.30 v -x565 -x566 -x567 x568 -x569 -x570 -x571 x572 x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 x585 -x586 1782.73/1783.30 v -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 1782.73/1783.30 v -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 -x628 1782.73/1783.30 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 1782.73/1783.30 v x650 -x651 x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 x665 -x666 -x667 x668 x669 -x670 -x671 1782.73/1783.30 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 x692 1782.73/1783.30 v -x693 -x694 -x695 -x696 x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 x708 x709 -x710 -x711 -x712 x713 -x714 1782.73/1783.30 v -x715 -x716 -x717 -x718 -x719 x720 x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 x733 x734 -x735 x736 1782.73/1783.30 v -x737 -x738 -x739 -x740 x741 x742 x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 1782.73/1783.30 v -x759 -x760 -x761 x762 -x763 -x764 x765 x766 x767 -x768 x769 x770 x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 x780 1782.73/1783.30 v -x781 x782 x783 -x784 x785 -x786 -x787 -x788 x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 1782.73/1783.30 v -x803 x804 -x805 x806 x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 1782.73/1783.30 v x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 x837 -x838 -x839 x840 x841 x842 -x843 x844 -x845 -x846 1782.73/1783.30 v -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 x855 -x856 -x857 x858 -x859 x860 -x861 x862 -x863 x864 x865 -x866 -x867 -x868 1782.73/1783.30 v -x869 -x870 -x871 x872 -x873 -x874 -x875 x876 -x877 x878 x879 -x880 -x881 x882 x883 -x884 -x885 x886 x887 -x888 x889 -x890 1782.73/1783.30 v -x891 -x892 x893 x894 -x895 x896 x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1782.73/1783.30 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1782.73/1783.30 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1782.73/1783.30 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1782.73/1783.30 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1782.73/1783.30 v -x997 -x998 -x999 -x1000
OK -100
Linearizing /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-455192-1178038800 -o ROOT/results/node47/solver-455192-1178038800 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.94 0.97 3/77 12518 /proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=2552 CPUtime=0 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 158725365 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 638 228 193 16 0 77 0 [startup+0.044853 s] /proc/loadavg: 0.85 0.94 0.97 3/77 12518 /proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=3352 CPUtime=0.03 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 472 0 0 0 3 0 0 0 18 0 1 0 158725365 3432448 443 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546743 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 838 443 199 16 0 277 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3352 [startup+0.101857 s] /proc/loadavg: 0.85 0.94 0.97 3/77 12518 /proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=4016 CPUtime=0.09 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 631 0 0 0 9 0 0 0 18 0 1 0 158725365 4112384 602 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 1004 602 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301879 s] /proc/loadavg: 0.85 0.94 0.97 3/77 12518 /proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=7316 CPUtime=0.29 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 1436 0 0 0 28 1 0 0 19 0 1 0 158725365 7491584 1407 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 1829 1407 203 16 0 1268 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7316 [startup+0.701922 s] /proc/loadavg: 0.85 0.94 0.97 3/77 12518 /proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=8608 CPUtime=0.69 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 1772 0 0 0 66 3 0 0 23 0 1 0 158725365 8814592 1711 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 2152 1711 205 16 0 1591 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8608 [startup+1.50201 s] /proc/loadavg: 0.85 0.94 0.97 2/78 12519 /proc/meminfo: memFree=1770104/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=8608 CPUtime=1.49 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 1772 0 0 0 145 4 0 0 25 0 1 0 158725365 8814592 1711 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 2152 1711 205 16 0 1591 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8608 [startup+3.10118 s] /proc/loadavg: 0.85 0.94 0.97 2/78 12519 /proc/meminfo: memFree=1769336/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=10148 CPUtime=3.08 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 2153 0 0 0 304 4 0 0 25 0 1 0 158725365 10391552 2092 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 2537 2092 205 16 0 1976 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10148 [startup+6.30153 s] /proc/loadavg: 0.86 0.94 0.97 2/78 12519 /proc/meminfo: memFree=1765496/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=13816 CPUtime=6.29 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 3064 0 0 0 624 5 0 0 25 0 1 0 158725365 14147584 3003 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 3454 3003 205 16 0 2893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13816 [startup+12.7012 s] /proc/loadavg: 0.87 0.94 0.97 2/78 12519 /proc/meminfo: memFree=1761080/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=18740 CPUtime=12.68 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 4302 0 0 0 1262 6 0 0 25 0 1 0 158725365 19189760 4241 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 4685 4242 205 16 0 4124 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18740 [startup+25.5016 s] /proc/loadavg: 0.90 0.94 0.97 2/78 12519 /proc/meminfo: memFree=1736504/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=42460 CPUtime=25.48 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 10224 0 0 0 2538 10 0 0 25 0 1 0 158725365 43479040 10163 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 10615 10163 205 16 0 10054 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42460 [startup+51.1014 s] /proc/loadavg: 0.93 0.95 0.97 2/78 12519 /proc/meminfo: memFree=1715000/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=63668 CPUtime=51.07 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 15522 0 0 0 5094 13 0 0 25 0 1 0 158725365 65196032 15461 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 15917 15461 205 16 0 15356 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63668 [startup+102.306 s] /proc/loadavg: 0.97 0.95 0.97 2/84 12689 /proc/meminfo: memFree=1698880/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=78376 CPUtime=102.18 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 19178 0 0 0 10200 18 0 0 25 0 1 0 158725365 80257024 19117 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 19594 19117 205 16 0 19033 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 78376 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 12717 /proc/meminfo: memFree=1691128/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=87284 CPUtime=162.14 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 21421 0 0 0 16192 22 0 0 25 0 1 0 158725365 89378816 21360 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 21821 21360 205 16 0 21260 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 87284 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 12717 /proc/meminfo: memFree=1685624/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=92796 CPUtime=222.13 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 22802 0 0 0 22186 27 0 0 25 0 1 0 158725365 95023104 22740 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 23199 22740 205 16 0 22638 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 92796 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 12717 /proc/meminfo: memFree=1684600/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=93812 CPUtime=282.12 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 23065 0 0 0 28181 31 0 0 25 0 1 0 158725365 96063488 23003 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 23453 23003 205 16 0 22892 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 93812 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 12717 /proc/meminfo: memFree=1677752/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=100696 CPUtime=342.1 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 24752 0 0 0 34173 37 0 0 25 0 1 0 158725365 103112704 24690 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 25174 24690 205 16 0 24613 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 100696 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 12717 /proc/meminfo: memFree=1677816/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=100648 CPUtime=402.08 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 24753 0 0 0 40168 40 0 0 25 0 1 0 158725365 103063552 24691 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 25162 24691 205 16 0 24601 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 100648 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 12717 /proc/meminfo: memFree=1677752/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=100648 CPUtime=462.07 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 24753 0 0 0 46163 44 0 0 25 0 1 0 158725365 103063552 24691 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 25162 24691 205 16 0 24601 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 100648 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 12717 /proc/meminfo: memFree=1669944/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=108616 CPUtime=522.06 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 26785 0 0 0 52158 48 0 0 25 0 1 0 158725365 111222784 26690 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 27154 26690 205 16 0 26593 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 108616 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 12717 /proc/meminfo: memFree=1667064/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=111432 CPUtime=582.04 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 27490 0 0 0 58153 51 0 0 25 0 1 0 158725365 114106368 27395 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 27858 27395 205 16 0 27297 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 111432 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 12719 /proc/meminfo: memFree=1665400/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=113160 CPUtime=642.03 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 27904 0 0 0 64147 56 0 0 25 0 1 0 158725365 115875840 27809 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 28290 27809 205 16 0 27729 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 113160 ################ # More data... # ################ /proc/meminfo: memFree=1665336/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=113076 CPUtime=821.98 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 27907 0 0 0 82133 65 0 0 25 0 1 0 158725365 115789824 27811 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 28269 27811 205 16 0 27708 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 113076 [startup+882.301 s] /proc/loadavg: 1.02 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1658616/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=120016 CPUtime=881.96 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29580 0 0 0 88128 68 0 0 25 0 1 0 158725365 122896384 29484 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30004 29484 205 16 0 29443 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 120016 [startup+942.302 s] /proc/loadavg: 1.01 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1658616/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=119864 CPUtime=941.95 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29581 0 0 0 94124 71 0 0 25 0 1 0 158725365 122740736 29471 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 29966 29471 205 16 0 29405 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 119864 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1658616/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=119864 CPUtime=1001.93 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29581 0 0 0 100118 75 0 0 25 0 1 0 158725365 122740736 29471 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 29966 29471 205 16 0 29405 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 119864 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1657208/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=121408 CPUtime=1061.91 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29944 0 0 0 106114 77 0 0 25 0 1 0 158725365 124321792 29834 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30352 29834 205 16 0 29791 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 121408 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1656824/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=121784 CPUtime=1121.9 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30044 0 0 0 112110 80 0 0 25 0 1 0 158725365 124706816 29934 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30446 29934 205 16 0 29885 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 121784 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1656824/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=121784 CPUtime=1181.89 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30044 0 0 0 118105 84 0 0 25 0 1 0 158725365 124706816 29934 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30446 29934 205 16 0 29885 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 121784 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1656952/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=121412 CPUtime=1241.87 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 124101 86 0 0 25 0 1 0 158725365 124325888 29859 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528775 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30353 29859 205 16 0 29792 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 121412 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1657080/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=121256 CPUtime=1301.86 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 130097 89 0 0 25 0 1 0 158725365 124166144 29820 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30314 29820 205 16 0 29753 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 121256 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1657080/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=121256 CPUtime=1361.84 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 136092 92 0 0 25 0 1 0 158725365 124166144 29820 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30314 29820 205 16 0 29753 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 121256 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1657144/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=121256 CPUtime=1421.83 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 142088 95 0 0 25 0 1 0 158725365 124166144 29820 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 30314 29820 205 16 0 29753 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 121256 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1654904/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=124004 CPUtime=1481.8 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30718 0 0 0 148082 98 0 0 25 0 1 0 158725365 126980096 30493 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 31001 30493 205 16 0 30440 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 124004 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1648824/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=129792 CPUtime=1541.79 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32155 0 0 0 154077 102 0 0 25 0 1 0 158725365 132907008 31930 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 32448 31930 205 16 0 31887 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 129792 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1648824/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=129792 CPUtime=1601.78 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32156 0 0 0 160072 106 0 0 25 0 1 0 158725365 132907008 31931 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 32448 31931 205 16 0 31887 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 129792 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1648760/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=129672 CPUtime=1661.76 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32160 0 0 0 166067 109 0 0 25 0 1 0 158725365 132784128 31927 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 32418 31927 205 16 0 31857 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 129672 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1648696/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=129888 CPUtime=1721.75 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 172063 112 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 32472 31967 205 16 0 31911 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 129888 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1648632/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=129888 CPUtime=1781.73 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 178059 114 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 32472 31967 205 16 0 31911 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 129888 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1648632/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=129888 CPUtime=1782.53 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 178139 114 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 32472 31967 205 16 0 31911 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (KiB) 129888 [startup+1783.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 12719 /proc/meminfo: memFree=1648632/2055920 swapFree=4157776/4192956 [pid=12518] ppid=12516 vsize=129888 CPUtime=1782.73 /proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 178159 114 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528832 0 0 4096 0 0 0 0 17 1 0 0 /proc/12518/statm: 32472 31967 205 16 0 31911 0 Current children cumulated CPU time (s) 1782.73 Current children cumulated vsize (KiB) 129888 Child status: 10 Real time (s): 1783.33 CPU time (s): 1782.76 CPU user time (s): 1781.6 CPU system time (s): 1.16282 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 129888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.6 system time used= 1.16282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32568 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= 17 involuntary context switches= 37202 runsolver used 1.35179 second user time and 4.12837 second system time The end
Begin job on node47 on Tue May 1 17:00:00 UTC 2007 IDJOB= 455192 IDBENCH= 48247 IDSOLVER= 165 FILE ID= node47/455192-1178038800 PBS_JOBID= 4728425 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb COMMAND LINE= Pueblo /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-455192-1178038800 -o ROOT/results/node47/conversion-455192-1178038800 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-455192-1178038800 -o ROOT/results/node47/solver-455192-1178038800 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED= 298385979 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1776728 kB Buffers: 75972 kB Cached: 120084 kB SwapCached: 3524 kB Active: 118244 kB Inactive: 102668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776728 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 3064 kB Writeback: 0 kB Mapped: 30512 kB Slab: 43792 kB Committed_AS: 5411572 kB PageTables: 1780 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node47 on Tue May 1 17:29:44 UTC 2007