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