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