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