Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 6105088 | 1800.58 | 1785.49 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
MD5SUM | 291088d217a1998c91be99350439e903 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5965824 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5965824 |
Optimality of the best value was proved | NO |
Number of variables | 7812 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1543007621731 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1543007621731 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.08/0.20 --- Begin Solver configuration --- 0.08/0.20 c Stops conflict analysis at the first Unique Implication Point 0.08/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.08/0.20 c Learn all clauses as in MiniSAT 0.08/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.20 c No reason simplification 0.08/0.20 c --- End Solver configuration --- 0.08/0.20 c solving /tmp/evaluation/353943-1176689267/instance-353943-1176689267.opb 0.08/0.20 c reading problem ... 2.04/1.21 c ... done. Wall clock time 1.015s. 2.04/1.21 c CPU time (experimental) 0.77s. 2.04/1.21 c #vars 7812 2.04/1.21 c #constraints 318 3.51/2.26 c SATISFIABLE 3.51/2.26 c OPTIMIZING... 3.51/2.26 c Got one! Elapsed wall clock time (in seconds):2.066 3.61/2.33 o 10324619 4.21/2.82 c Got one! Elapsed wall clock time (in seconds):2.624 4.21/2.89 o 6113280 4.94/3.60 c Got one! Elapsed wall clock time (in seconds):3.401 5.05/3.66 o 6105088 1490.56/1478.10 c cleaning 328259 clauses out of 656546 for limit 0.2882053407588784 1499.74/1487.24 c cleaning 165379 clauses out of 330786 for limit 6.970516941700153 1503.17/1490.66 c cleaning 83447 clauses out of 166907 for limit 61.959116646259076 1506.59/1494.03 c cleaning 42469 clauses out of 84959 for limit 545.385422814185 1509.21/1496.62 c cleaning 21985 clauses out of 43990 for limit 4724.181959786828 1510.01/1497.42 c cleaning 11237 clauses out of 22506 for limit 15243.077688153599 1511.15/1498.59 c cleaning 5869 clauses out of 11769 for limit 48071.458813459074 1514.07/1501.46 c cleaning 3693 clauses out of 7399 for limit 342599.7064739263 1515.10/1502.44 c cleaning 2099 clauses out of 4206 for limit 993909.0212837447 1517.02/1504.34 c cleaning 1540 clauses out of 3107 for limit 3659202.311769082 1517.82/1505.19 c cleaning 1027 clauses out of 2068 for limit 9075436.851923218 1519.54/1506.82 c cleaning 1020 clauses out of 2041 for limit 2.5008453891022988E7 1521.36/1508.69 c cleaning 1009 clauses out of 2021 for limit 6.868712017108512E7 1523.39/1510.67 c cleaning 992 clauses out of 2011 for limit 1.8754557137606218E8 1524.19/1511.49 c cleaning 761 clauses out of 1522 for limit 4.098865369947429E8 1526.51/1513.70 c cleaning 879 clauses out of 1758 for limit 9.622051437962557E8 1530.03/1517.24 c cleaning 1440 clauses out of 2880 for limit 4.348626589753451E9 1530.93/1518.19 c cleaning 960 clauses out of 1939 for limit 1.0641140341254375E10 1532.95/1520.19 c cleaning 982 clauses out of 1979 for limit 2.8355150703207962E10 1535.77/1522.95 c cleaning 1248 clauses out of 2497 for limit 1.0079218793836983E11 1536.47/1523.67 c cleaning 874 clauses out of 1749 for limit 2.373075155604103E11 1538.19/1525.35 c cleaning 929 clauses out of 1875 for limit 6.020212262707775E11 1538.99/1526.13 c cleaning 723 clauses out of 1446 for limit 1.2873619542003345E12 1541.01/1528.16 c cleaning 861 clauses out of 1723 for limit 2.938295430139647E12 1541.81/1528.97 c cleaning 682 clauses out of 1365 for limit 6.134900283021375E12 1543.73/1530.89 c cleaning 838 clauses out of 1680 for limit 1.3515717832077662E13 1545.85/1532.98 c cleaning 915 clauses out of 1843 for limit 3.3540485806899582E13 1547.67/1534.72 c cleaning 953 clauses out of 1927 for limit 8.715458344650706E13 1548.67/1535.76 c cleaning 737 clauses out of 1476 for limit 1.880227928250485E14 1549.79/1536.86 c cleaning 609 clauses out of 1238 for limit 3.693155443221398E14 1550.69/1537.73 c cleaning 558 clauses out of 1130 for limit 6.679288266639912E14 1552.31/1539.33 c cleaning 779 clauses out of 1572 for limit 1.3057735375759544E-5 1553.21/1540.21 c cleaning 639 clauses out of 1291 for limit 2.616863236504783E-5 1554.83/1541.82 c cleaning 818 clauses out of 1653 for limit 5.563917739190666E-5 1555.53/1542.54 c cleaning 658 clauses out of 1334 for limit 1.1358450760568149E-4 1557.25/1544.21 c cleaning 835 clauses out of 1678 for limit 2.460728902752584E-4 1557.85/1544.80 c cleaning 664 clauses out of 1341 for limit 5.067734015020696E-4 1558.56/1545.54 c cleaning 576 clauses out of 1178 for limit 9.523305110772586E-4 1559.97/1546.99 c cleaning 789 clauses out of 1603 for limit 0.001905222722758024 1560.78/1547.80 c cleaning 645 clauses out of 1313 for limit 0.0038320919738348645 1562.29/1549.22 c cleaning 820 clauses out of 1667 for limit 0.008200537378983207 1563.10/1550.04 c cleaning 662 clauses out of 1347 for limit 0.0167365601866421 1563.89/1550.82 c cleaning 584 clauses out of 1185 for limit 0.031374104302296736 1565.31/1552.26 c cleaning 786 clauses out of 1601 for limit 0.06315534740654825 1566.21/1553.15 c cleaning 651 clauses out of 1315 for limit 0.12680360323044537 1567.03/1553.93 c cleaning 572 clauses out of 1164 for limit 0.23624370992316632 1567.83/1554.74 c cleaning 542 clauses out of 1095 for limit 0.41539239149813995 1568.72/1555.69 c cleaning 514 clauses out of 1050 for limit 0.7122553324227349 1569.65/1556.55 c cleaning 509 clauses out of 1036 for limit 1.1904773584244266 1570.25/1557.17 c cleaning 507 clauses out of 1029 for limit 1.980571070696426 1571.97/1558.88 c cleaning 749 clauses out of 1521 for limit 3.640439803509934 1572.76/1559.65 c cleaning 629 clauses out of 1272 for limit 7.178799831068658 1573.36/1560.23 c cleaning 562 clauses out of 1143 for limit 13.174938961824223 1574.88/1561.70 c cleaning 777 clauses out of 1581 for limit 25.904472098789544 1575.58/1562.40 c cleaning 638 clauses out of 1303 for limit 51.782567001541715 1577.10/1563.90 c cleaning 822 clauses out of 1666 for limit 110.25525047677957 1577.80/1564.60 c cleaning 664 clauses out of 1343 for limit 225.33032331743752 1578.40/1565.20 c cleaning 578 clauses out of 1180 for limit 423.3543670164472 1579.83/1566.65 c cleaning 787 clauses out of 1602 for limit 848.0770553577385 1580.53/1567.37 c cleaning 651 clauses out of 1316 for limit 1704.2462020088335 1581.45/1568.27 c cleaning 571 clauses out of 1163 for limit 3173.915592097106 1582.45/1569.29 c cleaning 536 clauses out of 1092 for limit 5574.531016540488 1583.97/1570.76 c cleaning 761 clauses out of 1557 for limit 10643.602523065656 1584.67/1571.47 c cleaning 634 clauses out of 1296 for limit 21087.648107387155 1585.37/1572.14 c cleaning 563 clauses out of 1162 for limit 38786.706719698945 1585.97/1572.73 c cleaning 533 clauses out of 1099 for limit 67631.22112620277 1586.57/1573.34 c cleaning 517 clauses out of 1065 for limit 114978.51331028834 1587.49/1574.24 c cleaning 514 clauses out of 1048 for limit 192690.76502759897 1588.29/1575.07 c cleaning 502 clauses out of 1034 for limit 322075.38298200065 1590.11/1576.87 c cleaning 751 clauses out of 1534 for limit 591607.2787009148 1592.03/1578.74 c cleaning 883 clauses out of 1783 for limit 1384265.1937796834 1592.83/1579.51 c cleaning 699 clauses out of 1399 for limit 2906526.6072084946 1593.55/1580.24 c cleaning 593 clauses out of 1199 for limit 5587199.895918914 1594.35/1581.02 c cleaning 544 clauses out of 1106 for limit 9988819.208543863 1596.27/1582.90 c cleaning 771 clauses out of 1562 for limit 1.9235346952396125E7 1598.29/1584.93 c cleaning 896 clauses out of 1792 for limit 4.5644592499820665E7 1600.24/1586.88 c cleaning 947 clauses out of 1896 for limit 1.1732776033808982E8 1602.36/1588.98 c cleaning 962 clauses out of 1949 for limit 3.1041239056647015E8 1603.36/1589.97 c cleaning 733 clauses out of 1486 for limit 6.707388367716626E8 1605.28/1591.87 c cleaning 862 clauses out of 1753 for limit 1.5463297831400628E9 1605.88/1592.44 c cleaning 679 clauses out of 1392 for limit 3.2146611397655134E9 1607.60/1594.19 c cleaning 848 clauses out of 1712 for limit 7.101464780030589E9 1608.51/1595.09 c cleaning 682 clauses out of 1365 for limit 1.470311808655951E10 1609.61/1596.16 c cleaning 591 clauses out of 1183 for limit 2.7977779237712475E10 1611.42/1597.98 c cleaning 795 clauses out of 1591 for limit 5.652037911088266E10 1612.52/1599.00 c cleaning 632 clauses out of 1297 for limit 1.1445260148891154E11 1615.34/1601.85 c cleaning 1073 clauses out of 2164 for limit 3.0735588812393634E11 1617.57/1604.05 c cleaning 1037 clauses out of 2092 for limit 8.655325390562473E11 1618.36/1604.87 c cleaning 764 clauses out of 1554 for limit 1.9196207707897827E12 1620.18/1606.60 c cleaning 895 clauses out of 1790 for limit 4.532368347956776E12 1620.78/1607.29 c cleaning 698 clauses out of 1396 for limit 9.593635401845582E12 1621.68/1608.16 c cleaning 583 clauses out of 1198 for limit 1.8436042333014863E13 1622.50/1608.94 c cleaning 551 clauses out of 1116 for limit 3.267011919073104E13 1623.30/1609.74 c cleaning 525 clauses out of 1063 for limit 5.6450593521704266E13 1625.33/1611.79 c cleaning 768 clauses out of 1539 for limit 1.0614742004762683E14 1626.43/1612.81 c cleaning 633 clauses out of 1270 for limit 2.1191696086748903E14 1627.36/1613.77 c cleaning 566 clauses out of 1137 for limit 3.903595964223244E14 1628.65/1615.00 c cleaning 526 clauses out of 1071 for limit 6.834263844141328E14 1629.58/1615.93 c cleaning 517 clauses out of 1046 for limit 1.155154106336839E-5 1630.27/1616.68 c cleaning 506 clauses out of 1029 for limit 1.9364760186936097E-5 1631.27/1617.66 c cleaning 506 clauses out of 1023 for limit 3.212238264222345E-5 1632.90/1619.27 c cleaning 753 clauses out of 1516 for limit 5.889269732783058E-5 1633.79/1620.14 c cleaning 610 clauses out of 1263 for limit 1.1657708282598261E-4 1634.59/1620.92 c cleaning 571 clauses out of 1154 for limit 2.1062073502770286E-4 1635.31/1621.61 c cleaning 535 clauses out of 1083 for limit 3.701130200663811E-4 1636.11/1622.49 c cleaning 515 clauses out of 1047 for limit 6.307213227840571E-4 1637.21/1623.58 c cleaning 505 clauses out of 1032 for limit 0.0010552622073933466 1638.23/1624.56 c cleaning 505 clauses out of 1027 for limit 0.001748741133455019 1639.13/1625.47 c cleaning 503 clauses out of 1024 for limit 0.0028981504235956663 1640.13/1626.40 c cleaning 498 clauses out of 1020 for limit 0.004793382468648587 1641.05/1627.39 c cleaning 498 clauses out of 1021 for limit 0.007889289411635391 1642.05/1628.37 c cleaning 501 clauses out of 1025 for limit 0.012985679364946257 1643.77/1630.04 c cleaning 749 clauses out of 1523 for limit 0.023744656955678838 1644.56/1630.88 c cleaning 626 clauses out of 1276 for limit 0.04683171251720413 1646.29/1632.54 c cleaning 811 clauses out of 1647 for limit 0.09837966809359358 1647.19/1633.48 c cleaning 654 clauses out of 1336 for limit 0.2000084669728244 1648.11/1634.36 c cleaning 585 clauses out of 1183 for limit 0.3728726191726672 1648.81/1635.08 c cleaning 539 clauses out of 1098 for limit 0.6625196822398683 1649.71/1635.94 c cleaning 523 clauses out of 1058 for limit 1.1327572032057456 1650.63/1636.85 c cleaning 511 clauses out of 1036 for limit 1.9096472140485694 1651.53/1637.79 c cleaning 497 clauses out of 1024 for limit 3.1829829891072436 1652.53/1638.75 c cleaning 504 clauses out of 1027 for limit 5.2338312708327726 1653.45/1639.68 c cleaning 503 clauses out of 1023 for limit 8.665036861456276 1654.45/1640.65 c cleaning 501 clauses out of 1020 for limit 14.331833810588256 1655.47/1641.61 c cleaning 505 clauses out of 1019 for limit 23.658305649389032 1656.37/1642.53 c cleaning 498 clauses out of 1014 for limit 39.20809612990995 1657.27/1643.41 c cleaning 497 clauses out of 1017 for limit 64.53319319619591 1658.29/1644.40 c cleaning 500 clauses out of 1019 for limit 106.10877465134395 1659.09/1645.23 c cleaning 503 clauses out of 1019 for limit 174.98756437798085 1659.89/1646.09 c cleaning 503 clauses out of 1021 for limit 289.45701163318273 1660.91/1647.04 c cleaning 494 clauses out of 1013 for limit 478.72234473462413 1661.71/1647.87 c cleaning 494 clauses out of 1020 for limit 784.8440521416206 1662.61/1648.74 c cleaning 505 clauses out of 1028 for limit 1286.8127016949759 1663.62/1649.73 c cleaning 506 clauses out of 1025 for limit 2132.6004614828275 1664.42/1650.57 c cleaning 496 clauses out of 1015 for limit 3537.4080671628203 1665.84/1651.95 c cleaning 483 clauses out of 1018 for limit 5810.651131288543 1666.74/1652.81 c cleaning 504 clauses out of 1035 for limit 9425.146656429957 1667.34/1653.44 c cleaning 498 clauses out of 1031 for limit 15603.631600257322 1668.04/1654.16 c cleaning 500 clauses out of 1033 for limit 25682.65506195471 1668.77/1654.90 c cleaning 501 clauses out of 1033 for limit 42354.13396128915 1669.67/1655.77 c cleaning 506 clauses out of 1033 for limit 69917.55048732497 1670.57/1656.69 c cleaning 507 clauses out of 1027 for limit 115977.02644918922 1671.49/1657.50 c cleaning 498 clauses out of 1020 for limit 192574.2115694275 1672.29/1658.37 c cleaning 498 clauses out of 1023 for limit 316966.28176075337 1673.01/1659.05 c cleaning 495 clauses out of 1023 for limit 521674.88473061036 1673.81/1659.88 c cleaning 508 clauses out of 1029 for limit 856151.4301717384 1674.61/1660.69 c cleaning 496 clauses out of 1021 for limit 1422971.1863540253 1675.63/1661.67 c cleaning 498 clauses out of 1024 for limit 2337455.0438184887 1676.55/1662.55 c cleaning 513 clauses out of 1026 for limit 3847261.883032743 1677.25/1663.25 c cleaning 506 clauses out of 1013 for limit 6426071.4809433045 1677.95/1663.94 c cleaning 492 clauses out of 1008 for limit 1.0660678939369144E7 1678.77/1664.79 c cleaning 490 clauses out of 1015 for limit 1.744217860508896E7 1679.67/1665.67 c cleaning 501 clauses out of 1025 for limit 2.84838567620393E7 1681.59/1667.52 c cleaning 745 clauses out of 1525 for limit 5.21193631799598E7 1682.49/1668.42 c cleaning 640 clauses out of 1280 for limit 1.0240351444399491E8 1683.61/1669.55 c cleaning 568 clauses out of 1139 for limit 1.8959308026898453E8 1684.41/1670.36 c cleaning 530 clauses out of 1071 for limit 3.325160576036259E8 1685.31/1671.22 c cleaning 520 clauses out of 1041 for limit 5.641664438100586E8 1686.03/1671.99 c cleaning 510 clauses out of 1021 for limit 9.4861093258103E8 1686.63/1672.54 c cleaning 506 clauses out of 1012 for limit 1.5798787361190708E9 1687.63/1673.59 c cleaning 491 clauses out of 1006 for limit 2.6209707404726586E9 1688.34/1674.29 c cleaning 507 clauses out of 1014 for limit 4.283941914334313E9 1689.25/1675.10 c cleaning 499 clauses out of 1007 for limit 7.113903096926282E9 1690.05/1675.93 c cleaning 496 clauses out of 1008 for limit 1.1720139219222078E10 1690.85/1676.79 c cleaning 506 clauses out of 1012 for limit 1.9251681901569782E10 1691.68/1677.60 c cleaning 495 clauses out of 1006 for limit 3.1937954360250725E10 1692.47/1678.32 c cleaning 494 clauses out of 1012 for limit 5.241009693397657E10 1693.16/1679.09 c cleaning 494 clauses out of 1017 for limit 8.592032235878099E10 1694.28/1680.11 c cleaning 502 clauses out of 1023 for limit 1.4086305531090436E11 1694.99/1680.83 c cleaning 505 clauses out of 1021 for limit 2.3275707056638077E11 1695.90/1681.70 c cleaning 508 clauses out of 1016 for limit 3.8573656056672284E11 1696.50/1682.38 c cleaning 496 clauses out of 1008 for limit 6.411798515367059E11 1697.40/1683.25 c cleaning 506 clauses out of 1013 for limit 1.0532254678128296E12 1698.34/1684.17 c cleaning 503 clauses out of 1006 for limit 1.7472465516029011E12 1699.03/1684.85 c cleaning 501 clauses out of 1003 for limit 2.8900617805497153E12 1700.03/1685.89 c cleaning 494 clauses out of 1002 for limit 4.770855087005493E12 1701.05/1686.84 c cleaning 497 clauses out of 1008 for limit 7.820946258523037E12 1701.95/1687.80 c cleaning 497 clauses out of 1012 for limit 1.2859666920832592E13 1702.88/1688.65 c cleaning 497 clauses out of 1014 for limit 2.1144316589891113E13 1703.77/1689.59 c cleaning 510 clauses out of 1020 for limit 3.476889258869707E13 1704.69/1690.44 c cleaning 503 clauses out of 1007 for limit 5.7904712711227125E13 1705.59/1691.32 c cleaning 489 clauses out of 1005 for limit 9.577843110572777E13 1706.41/1692.13 c cleaning 496 clauses out of 1015 for limit 1.5623887874778853E14 1707.22/1692.91 c cleaning 504 clauses out of 1020 for limit 2.5665243135600197E14 1709.03/1694.73 c cleaning 757 clauses out of 1515 for limit 4.694725281656128E14 1710.12/1695.85 c cleaning 617 clauses out of 1258 for limit 9.32390978411986E-6 1711.32/1697.09 c cleaning 564 clauses out of 1141 for limit 1.6953093077958777E-5 1712.35/1698.08 c cleaning 528 clauses out of 1077 for limit 2.9619298912134206E-5 1713.14/1698.88 c cleaning 519 clauses out of 1049 for limit 5.014999299381776E-5 1713.85/1699.60 c cleaning 509 clauses out of 1030 for limit 8.422965603406763E-5 1714.54/1700.22 c cleaning 507 clauses out of 1021 for limit 1.4013041132931217E-4 1715.05/1700.78 c cleaning 499 clauses out of 1015 for limit 2.3269255884409839E-4 1715.94/1701.67 c cleaning 504 clauses out of 1015 for limit 3.833574174289314E-4 1716.87/1702.57 c cleaning 495 clauses out of 1012 for limit 6.347165158911509E-4 1717.47/1703.11 c cleaning 493 clauses out of 1016 for limit 0.0010415688402290468 1717.87/1703.56 c cleaning 493 clauses out of 1023 for limit 0.0017059328815466933 1718.27/1703.94 c cleaning 501 clauses out of 1030 for limit 0.0027941919443165908 1718.77/1704.42 c cleaning 497 clauses out of 1029 for limit 0.004612474447019893 1719.27/1704.90 c cleaning 498 clauses out of 1033 for limit 0.007584717770807449 1719.67/1705.38 c cleaning 500 clauses out of 1034 for limit 0.01248362123307869 1720.17/1705.89 c cleaning 499 clauses out of 1035 for limit 0.020587858323401743 1720.67/1706.33 c cleaning 499 clauses out of 1036 for limit 0.03391936024096622 1721.17/1706.83 c cleaning 499 clauses out of 1036 for limit 0.05588162512549636 1721.67/1707.32 c cleaning 498 clauses out of 1039 for limit 0.09207424068192525 1722.17/1707.80 c cleaning 501 clauses out of 1040 for limit 0.15154504098336577 1722.57/1708.28 c cleaning 499 clauses out of 1038 for limit 0.25014918399159464 1723.17/1708.82 c cleaning 501 clauses out of 1040 for limit 0.4121482911509598 1723.67/1709.34 c cleaning 501 clauses out of 1038 for limit 0.6803162811923322 1724.19/1709.87 c cleaning 501 clauses out of 1037 for limit 1.1230144609481798 1724.69/1710.37 c cleaning 499 clauses out of 1036 for limit 1.853788726120732 1725.29/1710.91 c cleaning 499 clauses out of 1037 for limit 3.0541975376707486 1725.89/1711.53 c cleaning 495 clauses out of 1039 for limit 5.032117001314576 1726.49/1712.13 c cleaning 504 clauses out of 1044 for limit 8.258889703454146 1727.09/1712.73 c cleaning 502 clauses out of 1041 for limit 13.672937673903963 1727.69/1713.32 c cleaning 495 clauses out of 1038 for limit 22.591058769550408 1728.29/1713.92 c cleaning 501 clauses out of 1042 for limit 37.07554938798343 1728.89/1714.53 c cleaning 501 clauses out of 1041 for limit 61.20127524826688 1729.49/1715.12 c cleaning 498 clauses out of 1041 for limit 101.03012036488188 1730.09/1715.73 c cleaning 502 clauses out of 1042 for limit 166.28583523207192 1730.92/1716.58 c cleaning 512 clauses out of 1040 for limit 274.75494836415976 1731.82/1717.41 c cleaning 503 clauses out of 1029 for limit 458.40979224936825 1732.52/1718.14 c cleaning 505 clauses out of 1026 for limit 758.1895375079984 1733.54/1719.13 c cleaning 502 clauses out of 1020 for limit 1256.4533002748174 1734.64/1720.30 c cleaning 502 clauses out of 1020 for limit 2076.2099211007976 1735.76/1721.40 c cleaning 497 clauses out of 1016 for limit 3430.5566015600116 1736.86/1722.42 c cleaning 504 clauses out of 1019 for limit 5640.790889014706 1737.78/1723.34 c cleaning 498 clauses out of 1016 for limit 9339.225785285438 1738.88/1724.40 c cleaning 501 clauses out of 1018 for limit 15371.37408879794 1740.00/1725.51 c cleaning 501 clauses out of 1017 for limit 25374.377933125917 1740.90/1726.44 c cleaning 490 clauses out of 1015 for limit 41886.27020432997 1741.80/1727.39 c cleaning 505 clauses out of 1025 for limit 68402.15020204603 1742.92/1728.48 c cleaning 494 clauses out of 1020 for limit 113357.25859617026 1743.92/1729.46 c cleaning 500 clauses out of 1027 for limit 185852.95107141213 1744.94/1730.40 c cleaning 500 clauses out of 1027 for limit 306496.3792797368 1745.86/1731.33 c cleaning 500 clauses out of 1027 for limit 505453.53178434493 1746.56/1732.06 c cleaning 505 clauses out of 1026 for limit 833538.5564736957 1747.56/1733.07 c cleaning 501 clauses out of 1021 for limit 1381348.305305693 1748.38/1733.84 c cleaning 494 clauses out of 1022 for limit 2280357.5933874887 1749.39/1734.82 c cleaning 513 clauses out of 1026 for limit 3738465.305285221 1750.41/1735.85 c cleaning 500 clauses out of 1015 for limit 6244527.515973973 1751.41/1736.86 c cleaning 506 clauses out of 1013 for limit 1.0297766593044896E7 1752.21/1737.62 c cleaning 502 clauses out of 1007 for limit 1.7083580788373284E7 1753.03/1738.44 c cleaning 494 clauses out of 1007 for limit 2.8229540972982984E7 1753.83/1739.25 c cleaning 496 clauses out of 1012 for limit 4.627795395466289E7 1754.73/1740.18 c cleaning 494 clauses out of 1015 for limit 7.601687202954784E7 1755.42/1740.82 c cleaning 497 clauses out of 1021 for limit 1.246252901096046E8 1756.24/1741.67 c cleaning 496 clauses out of 1024 for limit 2.049216550278447E8 1757.34/1742.75 c cleaning 507 clauses out of 1030 for limit 3.366475802830227E8 1758.25/1743.66 c cleaning 499 clauses out of 1021 for limit 5.589511362340496E8 1759.46/1744.81 c cleaning 501 clauses out of 1026 for limit 9.209714317782433E8 1760.16/1745.54 c cleaning 496 clauses out of 1022 for limit 1.5201798631102777E9 1761.39/1746.75 c cleaning 513 clauses out of 1026 for limit 2.4972061592777824E9 1762.19/1747.53 c cleaning 506 clauses out of 1013 for limit 4.1710769295281506E9 1763.08/1748.49 c cleaning 496 clauses out of 1006 for limit 6.919600792338238E9 1764.10/1749.43 c cleaning 495 clauses out of 1010 for limit 1.1366153939172003E10 1765.10/1750.42 c cleaning 496 clauses out of 1015 for limit 1.8651971888069725E10 1766.00/1751.31 c cleaning 509 clauses out of 1020 for limit 3.0639453976013973E10 1766.82/1752.16 c cleaning 505 clauses out of 1010 for limit 5.097781239525214E10 1767.62/1752.96 c cleaning 499 clauses out of 1006 for limit 8.448799162263556E10 1768.52/1753.89 c cleaning 495 clauses out of 1006 for limit 1.3919266878624667E11 1769.64/1754.95 c cleaning 506 clauses out of 1012 for limit 2.2841479392510495E11 1770.44/1755.71 c cleaning 497 clauses out of 1005 for limit 3.78930929154188E11 1771.34/1756.64 c cleaning 504 clauses out of 1010 for limit 6.230596880205851E11 1772.46/1757.70 c cleaning 502 clauses out of 1004 for limit 1.0315830027927838E12 1773.66/1758.92 c cleaning 495 clauses out of 1002 for limit 1.7046140197681543E12 1774.89/1760.11 c cleaning 502 clauses out of 1007 for limit 2.797178580831206E12 1775.99/1761.25 c cleaning 494 clauses out of 1005 for limit 4.622101623287589E12 1776.90/1762.19 c cleaning 494 clauses out of 1011 for limit 7.57722673595098E12 1777.80/1763.06 c cleaning 505 clauses out of 1024 for limit 1.2423928729195389E13 1778.70/1763.96 c cleaning 506 clauses out of 1012 for limit 2.058698272481698E13 1779.82/1765.04 c cleaning 489 clauses out of 1006 for limit 3.4153177786864516E13 1780.62/1765.85 c cleaning 508 clauses out of 1017 for limit 5.571396072323299E13 1781.32/1766.57 c cleaning 504 clauses out of 1009 for limit 9.260825637230136E13 1782.22/1767.46 c cleaning 500 clauses out of 1005 for limit 1.533312580117764E14 1783.14/1768.38 c cleaning 492 clauses out of 1005 for limit 2.5286375675013694E14 1784.04/1769.28 c cleaning 497 clauses out of 1014 for limit 4.137186429043459E14 1784.87/1770.00 c cleaning 508 clauses out of 1017 for limit 6.802647707741175E14 1785.86/1771.09 c cleaning 503 clauses out of 1008 for limit 1.130732243620261E15 1786.76/1771.99 c cleaning 498 clauses out of 1006 for limit 1.8703062568275648E-5 1787.78/1772.90 c cleaning 497 clauses out of 1009 for limit 3.078292895411729E-5 1788.58/1773.76 c cleaning 496 clauses out of 1011 for limit 5.0614077516007577E-5 1789.50/1774.68 c cleaning 499 clauses out of 1016 for limit 8.314175207436053E-5 1790.20/1775.37 c cleaning 499 clauses out of 1016 for limit 1.3697475980354806E-4 1790.90/1776.05 c cleaning 503 clauses out of 1016 for limit 2.256638133685134E-4 1791.60/1776.79 c cleaning 502 clauses out of 1016 for limit 3.732685030865514E-4 1792.52/1777.67 c cleaning 498 clauses out of 1011 for limit 6.167600701261256E-4 1793.32/1778.44 c cleaning 503 clauses out of 1017 for limit 0.001015173765237911 1794.02/1779.14 c cleaning 500 clauses out of 1011 for limit 0.0016790457699013155 1794.82/1779.90 c cleaning 497 clauses out of 1010 for limit 0.002768940936180862 1795.74/1780.80 c cleaning 497 clauses out of 1013 for limit 0.004552830766351527 1796.44/1781.54 c cleaning 495 clauses out of 1017 for limit 0.007486182299825559 1797.24/1782.31 c cleaning 501 clauses out of 1021 for limit 0.01228505159287455 1797.96/1783.02 c cleaning 500 clauses out of 1020 for limit 0.020279555986097954 1798.66/1783.75 c cleaning 497 clauses out of 1020 for limit 0.033443700771538756 1799.35/1784.44 c cleaning 501 clauses out of 1023 for limit 0.05499139718702211 1800.05/1785.11 c starts : 28 1800.05/1785.11 c conflicts : 832952 1800.05/1785.11 c decisions : 1334470 1800.05/1785.11 c propagations : 133494617 1800.05/1785.11 c inspects : 612659744 1800.05/1785.11 c learnt literals : 0 1800.05/1785.11 c learnt binary clauses : 0 1800.05/1785.11 c learnt ternary clauses : 0 1800.05/1785.11 c learnt clauses : 832952 1800.05/1785.11 c root simplifications : 0 1800.05/1785.11 c removed literals (reason simplification) : 0 1800.05/1785.11 c reason swapping (by a shorter reason) : 0 1800.05/1785.11 c Calls to reduceDB : 295 1800.05/1785.11 c speed (decisions/second) : 749.1315604517008 1800.05/1785.11 c non guided choices 30 1800.05/1785.11 s SATISFIABLE 1800.05/1785.14 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.05/1785.14 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.05/1785.14 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.05/1785.14 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.05/1785.14 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.05/1785.14 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.05/1785.14 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.05/1785.14 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.05/1785.14 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.05/1785.14 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 1800.05/1785.14 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.05/1785.14 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.05/1785.14 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.05/1785.14 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.05/1785.14 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.05/1785.14 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.05/1785.14 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 1800.05/1785.14 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.05/1785.14 v -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.05/1785.14 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.05/1785.14 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.05/1785.14 v x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.05/1785.14 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.05/1785.14 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.05/1785.14 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.05/1785.14 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.05/1785.14 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.05/1785.14 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.05/1785.14 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.05/1785.14 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.05/1785.14 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.05/1785.14 v -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.05/1785.14 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.05/1785.14 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.05/1785.14 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.05/1785.14 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.05/1785.14 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.05/1785.14 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.05/1785.14 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.05/1785.14 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.05/1785.14 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.05/1785.14 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.05/1785.14 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.05/1785.14 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.05/1785.14 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.05/1785.14 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.05/1785.14 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.05/1785.14 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.05/1785.14 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.05/1785.14 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.05/1785.14 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.05/1785.14 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.05/1785.14 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.05/1785.14 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.05/1785.14 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.05/1785.14 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.05/1785.14 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.05/1785.14 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.05/1785.14 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.05/1785.14 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.05/1785.14 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.05/1785.14 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.05/1785.14 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.05/1785.14 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.05/1785.14 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.05/1785.14 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.05/1785.14 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.05/1785.14 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.05/1785.14 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.05/1785.14 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.05/1785.14 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.05/1785.14 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.05/1785.14 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.05/1785.14 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.05/1785.14 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.05/1785.14 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.05/1785.14 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.05/1785.14 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.05/1785.14 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.05/1785.14 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.05/1785.14 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.05/1785.14 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.05/1785.14 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.05/1785.14 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.05/1785.14 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.05/1785.14 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.05/1785.14 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.05/1785.14 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.05/1785.14 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.05/1785.14 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.05/1785.14 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.05/1785.14 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.05/1785.14 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.05/1785.14 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.05/1785.14 v -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.05/1785.14 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.05/1785.14 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.05/1785.14 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.05/1785.14 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.05/1785.14 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.05/1785.14 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.05/1785.14 v -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1800.05/1785.14 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.05/1785.14 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 1800.05/1785.14 v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1800.05/1785.14 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1800.05/1785.14 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.05/1785.14 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1800.05/1785.14 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1800.05/1785.14 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 1800.05/1785.14 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 1800.05/1785.14 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1800.05/1785.14 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1800.05/1785.14 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.05/1785.14 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.05/1785.14 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.05/1785.14 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.05/1785.14 v -x2200 x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.05/1785.14 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.05/1785.14 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1800.05/1785.14 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.05/1785.14 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.05/1785.14 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.05/1785.14 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.05/1785.14 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.05/1785.14 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.05/1785.14 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1800.05/1785.14 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.05/1785.14 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1800.05/1785.14 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1800.05/1785.14 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.05/1785.14 v -x2439 -x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1800.05/1785.14 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473 1800.05/1785.14 v -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1800.05/1785.14 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.05/1785.14 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 1800.05/1785.14 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1800.05/1785.14 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.05/1785.14 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.05/1785.14 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1800.05/1785.14 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.05/1785.14 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.05/1785.14 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1800.05/1785.14 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.05/1785.14 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1800.05/1785.14 v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1800.05/1785.14 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1800.05/1785.14 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1800.05/1785.14 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.05/1785.14 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 1800.05/1785.14 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1800.05/1785.14 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1800.05/1785.14 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1800.05/1785.14 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.05/1785.14 v -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.05/1785.14 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.05/1785.14 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.05/1785.14 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.05/1785.14 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.05/1785.14 v -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1800.05/1785.14 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1800.05/1785.14 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1800.05/1785.14 v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 1800.05/1785.14 v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 1800.05/1785.14 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.05/1785.14 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.05/1785.14 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1800.05/1785.14 v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1800.05/1785.14 v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1800.05/1785.14 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 1800.05/1785.14 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1800.05/1785.14 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1800.05/1785.14 v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 1800.05/1785.14 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1800.05/1785.14 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.05/1785.14 v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.05/1785.14 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 1800.05/1785.14 v x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.05/1785.14 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.05/1785.14 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.05/1785.14 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.05/1785.14 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.05/1785.14 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.05/1785.14 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.05/1785.14 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.05/1785.14 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.05/1785.14 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1800.05/1785.14 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1800.05/1785.14 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.05/1785.14 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1800.05/1785.14 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 1800.05/1785.14 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.05/1785.14 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 1800.05/1785.14 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1800.05/1785.14 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.05/1785.14 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.05/1785.14 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.05/1785.14 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.05/1785.14 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.05/1785.14 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.05/1785.14 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1800.05/1785.14 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 1800.05/1785.14 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 1800.05/1785.14 v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 1800.05/1785.14 v -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1800.05/1785.14 v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 1800.05/1785.14 v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 1800.05/1785.14 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.05/1785.14 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.05/1785.14 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1800.05/1785.14 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 1800.05/1785.14 v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 1800.05/1785.14 v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1800.05/1785.14 v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 1800.05/1785.14 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 1800.05/1785.14 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1800.05/1785.14 v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 1800.05/1785.14 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1800.05/1785.14 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1800.05/1785.14 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 1800.05/1785.14 v -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1800.05/1785.14 v -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1800.05/1785.14 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1800.05/1785.14 v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 1800.05/1785.14 v -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 1800.05/1785.14 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 1800.05/1785.14 v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 1800.05/1785.14 v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 1800.05/1785.14 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 1800.05/1785.14 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 1800.05/1785.14 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 1800.05/1785.14 v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 1800.05/1785.14 v -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 1800.05/1785.14 v -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 1800.05/1785.14 v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1800.05/1785.14 v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 1800.05/1785.14 v -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 1800.05/1785.14 v -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1800.05/1785.14 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 1800.05/1785.14 v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1800.05/1785.14 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 1800.05/1785.14 v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 1800.05/1785.14 v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 1800.05/1785.14 v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 1800.05/1785.14 v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 1800.05/1785.14 v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 1800.05/1785.14 v -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 1800.05/1785.14 v -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 1800.05/1785.14 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 1800.05/1785.14 v -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 1800.05/1785.14 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 1800.05/1785.14 v -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 1800.05/1785.14 v -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 1800.05/1785.14 v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 1800.05/1785.14 v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 1800.05/1785.14 v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 1800.05/1785.14 v -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 1800.05/1785.14 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 1800.05/1785.14 v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 1800.05/1785.14 v -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 1800.05/1785.14 v -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 1800.05/1785.14 v -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 1800.05/1785.14 v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.05/1785.14 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 1800.05/1785.14 v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1800.05/1785.14 v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1800.05/1785.14 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 1800.05/1785.14 v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 1800.05/1785.14 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 1800.05/1785.14 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1800.05/1785.14 v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 1800.05/1785.14 v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 1800.05/1785.14 v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 1800.05/1785.14 v -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 x4871 -x4872 1800.05/1785.14 v -x4873 x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1800.05/1785.14 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 1800.05/1785.14 v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 1800.05/1785.14 v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1800.05/1785.14 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 1800.05/1785.14 v -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 1800.05/1785.14 v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 1800.05/1785.14 v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1800.05/1785.14 v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.05/1785.14 v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 1800.05/1785.14 v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 1800.05/1785.14 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 1800.05/1785.14 v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 1800.05/1785.14 v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 1800.05/1785.14 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1800.05/1785.14 v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 1800.05/1785.14 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 1800.05/1785.14 v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1800.05/1785.14 v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 1800.05/1785.14 v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 1800.05/1785.14 v -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 1800.05/1785.14 v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 1800.05/1785.14 v -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 1800.05/1785.14 v -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 1800.05/1785.14 v -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 1800.05/1785.14 v -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 1800.05/1785.14 v -x5316 -x5317 -x5318 -x5319 -x5320 x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 1800.05/1785.14 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 1800.05/1785.14 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 1800.05/1785.14 v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 x5382 -x5383 -x5384 1800.05/1785.14 v -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 1800.05/1785.14 v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.05/1785.14 v -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 1800.05/1785.14 v -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 1800.05/1785.14 v -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 1800.05/1785.14 v -x5470 -x5471 x5472 x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 1800.05/1785.14 v -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 1800.05/1785.14 v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 1800.05/1785.14 v -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 1800.05/1785.14 v -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 1800.05/1785.14 v -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 1800.05/1785.14 v -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 1800.05/1785.14 v -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 1800.05/1785.14 v -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 1800.05/1785.14 v -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 1800.05/1785.14 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 1800.05/1785.14 v -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 1800.05/1785.14 v -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 1800.05/1785.14 v -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 1800.05/1785.14 v -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 1800.05/1785.14 v -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 1800.05/1785.14 v -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 1800.05/1785.14 v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 1800.05/1785.14 v -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 1800.05/1785.14 v -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 1800.05/1785.14 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 1800.05/1785.14 v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1800.05/1785.14 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1800.05/1785.14 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.05/1785.14 v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 1800.05/1785.14 v -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 1800.05/1785.14 v -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 1800.05/1785.14 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 1800.05/1785.14 v -x5947 -x5948 -x5949 -x5950 x5951 -x5952 x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 1800.05/1785.14 v -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 1800.05/1785.14 v -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 1800.05/1785.14 v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 1800.05/1785.14 v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 1800.05/1785.14 v -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 1800.05/1785.14 v -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1800.05/1785.14 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 1800.05/1785.14 v -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1800.05/1785.14 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 1800.05/1785.14 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1800.05/1785.14 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 1800.05/1785.14 v -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 1800.05/1785.14 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1800.05/1785.14 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1800.05/1785.14 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1800.05/1785.14 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1800.05/1785.14 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 1800.05/1785.14 v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1800.05/1785.14 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1800.05/1785.14 v -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 1800.05/1785.14 v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 1800.05/1785.14 v -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 1800.05/1785.14 v -x6340 x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 1800.05/1785.14 v -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 1800.05/1785.14 v -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 1800.05/1785.14 v -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 1800.05/1785.14 v -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 1800.05/1785.14 v -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 1800.05/1785.14 v -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 1800.05/1785.14 v -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 1800.05/1785.14 v -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 1800.05/1785.14 v -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 1800.05/1785.14 v -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 1800.05/1785.14 v -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 1800.05/1785.14 v -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 1800.05/1785.14 v -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 1800.05/1785.14 v -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 1800.05/1785.14 v -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 1800.05/1785.14 v -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 1800.05/1785.14 v -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 1800.05/1785.14 v -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 1800.05/1785.14 v -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 1800.05/1785.14 v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 1800.05/1785.14 v -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 1800.05/1785.14 v -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 1800.05/1785.14 v -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 1800.05/1785.14 v -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 1800.05/1785.14 v -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 1800.05/1785.14 v -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 1800.05/1785.14 v -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 1800.05/1785.14 v -x6817 -x6818 -x6819 -x6820 x6821 -x6822 x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 1800.05/1785.14 v -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 1800.05/1785.14 v -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 1800.05/1785.14 v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 -x6882 -x6883 x6884 -x6885 -x6886 1800.05/1785.14 v -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 1800.05/1785.14 v -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 1800.05/1785.14 v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 1800.05/1785.14 v -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 1800.05/1785.14 v -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 1800.05/1785.14 v -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 1800.05/1785.14 v -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 1800.05/1785.14 v -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 1800.05/1785.14 v -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 1800.05/1785.14 v -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 1800.05/1785.14 v -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 1800.05/1785.14 v -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 1800.05/1785.14 v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 1800.05/1785.14 v -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 1800.05/1785.14 v -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 1800.05/1785.14 v -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 1800.05/1785.14 v -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 1800.05/1785.14 v -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 1800.05/1785.14 v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 1800.05/1785.14 v -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 1800.05/1785.14 v -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 1800.05/1785.14 v -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 1800.05/1785.14 v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 1800.05/1785.14 v -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 1800.05/1785.14 v -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 1800.05/1785.14 v -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 1800.05/1785.14 v -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 1800.05/1785.14 v -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 1800.05/1785.14 v -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 1800.05/1785.14 v -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 1800.05/1785.14 v -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 1800.05/1785.14 v -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 1800.05/1785.14 v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 1800.05/1785.14 v -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 1800.05/1785.14 v -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 1800.05/1785.14 v -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 1800.05/1785.14 v -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 1800.05/1785.14 v -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 1800.05/1785.14 v -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 1800.05/1785.14 v -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 -x7563 -x7564 -x7565 -x7566 1800.05/1785.14 v -x7567 x7568 -x7569 x7570 -x7571 -x7572 x7573 x7574 -x7575 x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 x7583 -x7584 1800.05/1785.14 v -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 1800.05/1785.14 v -x7602 -x7603 x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 1800.05/1785.14 v -x7620 x7621 -x7622 -x7623 x7624 x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 -x7637 1800.05/1785.14 v -x7638 -x7639 -x7640 x7641 x7642 x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 x7655 1800.05/1785.14 v -x7656 -x7657 x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 x7668 -x7669 -x7670 -x7671 -x7672 -x7673 1800.05/1785.14 v -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 1800.05/1785.14 v -x7691 -x7692 x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 1800.05/1785.14 v -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 x7723 -x7724 1800.05/1785.14 v -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 x7740 -x7741 -x7742 1800.05/1785.14 v x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 x7758 x7759 -x7760 1800.05/1785.14 v -x7761 -x7762 x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 1800.05/1785.14 v -x7779 -x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 -x7787 x7788 -x7789 x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 1800.05/1785.14 v -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 x7812 1800.26/1785.25 c objective function=6105088 1800.26/1785.25 c Total wall clock time (ms): 1785.057
OK 6105088
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-353943-1176689267 -o ROOT/results/node52/solver-353943-1176689267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353943-1176689267/sat4jPseudoResolution.jar /tmp/evaluation/353943-1176689267/instance-353943-1176689267.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15386 /proc/meminfo: memFree=1717028/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=48 CPUtime=0 /proc/15386/stat : 15386 (java) R 15384 15386 13757 0 -1 0 17 0 0 0 0 0 0 0 20 0 1 0 23771800 49152 2 18446744073709551615 0 0 4294956964 18446744073709551615 273653755175 0 0 4096 0 0 0 0 17 1 0 0 /proc/15386/statm: 35 6 3 9 0 1 0 [startup+0.101366 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15386 /proc/meminfo: memFree=1717028/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1780108 CPUtime=0.08 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 3960 0 1 0 6 2 0 0 18 0 12 0 23771800 1822830592 3702 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 445027 3702 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.201368 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15386 /proc/meminfo: memFree=1717028/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1782308 CPUtime=0.2 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 4900 0 1 0 17 3 0 0 18 0 12 0 23771800 1825083392 4639 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 445577 4639 1246 9 0 443189 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1782308 [startup+0.301376 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15386 /proc/meminfo: memFree=1717028/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1782480 CPUtime=0.34 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 5153 0 1 0 31 3 0 0 18 0 12 0 23771800 1825259520 4892 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 445620 4892 1267 9 0 443232 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782480 [startup+0.701405 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15386 /proc/meminfo: memFree=1717028/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1789508 CPUtime=1.07 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 8878 0 1 0 101 6 0 0 18 0 12 0 23771800 1832456192 8064 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 447377 8064 1303 9 0 444989 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 1789508 [startup+1.50246 s] /proc/loadavg: 1.00 1.00 1.00 3/76 15398 /proc/meminfo: memFree=1675012/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1792588 CPUtime=2.53 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 17973 0 1 0 243 10 0 0 18 0 13 0 23771800 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448147 14776 1318 9 0 445759 0 [pid=15386/tid=15388] ppid=15384 vsize=1792588 CPUtime=0.97 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 11318 0 1 0 90 7 0 0 20 0 13 0 23771801 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109214405 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 23771803 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23771803 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 23771805 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 23771805 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23771805 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1792588 CPUtime=0.84 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3697 0 0 0 83 1 0 0 17 0 13 0 23771809 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1792588 CPUtime=0.69 /proc/15386/task/15396/stat : 15396 (java) R 15384 15386 13757 0 -1 64 2236 0 0 0 68 1 0 0 16 0 13 0 23771809 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 101901616 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1835610112 14776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 1792588 [startup+3.10257 s] /proc/loadavg: 1.00 1.00 1.00 3/77 15399 /proc/meminfo: memFree=1652220/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1792588 CPUtime=4.55 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 26217 0 1 0 442 13 0 0 18 0 13 0 23771800 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448147 22786 1319 9 0 445759 0 [pid=15386/tid=15388] ppid=15384 vsize=1792588 CPUtime=2.37 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 19280 0 1 0 228 9 0 0 25 0 13 0 23771801 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109537856 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 23771803 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23771803 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 23771805 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 23771805 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23771805 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1792588 CPUtime=1.23 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3955 0 0 0 122 1 0 0 16 0 13 0 23771809 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1792588 CPUtime=0.92 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2257 0 0 0 91 1 0 0 17 0 13 0 23771809 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1792588 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1835610112 22786 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.55 Current children cumulated vsize (KiB) 1792588 [startup+6.30177 s] /proc/loadavg: 1.00 1.00 1.00 2/77 15402 /proc/meminfo: memFree=1606380/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1792268 CPUtime=7.75 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 33759 0 1 0 759 16 0 0 18 0 13 0 23771800 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448067 30246 1319 9 0 445679 0 [pid=15386/tid=15388] ppid=15384 vsize=1792268 CPUtime=5.56 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 26822 0 1 0 544 12 0 0 25 0 13 0 23771801 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109537876 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 23771803 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23771803 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 23771805 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 23771805 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23771805 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1792268 CPUtime=1.24 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3955 0 0 0 123 1 0 0 16 0 13 0 23771809 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1792268 CPUtime=0.92 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2257 0 0 0 91 1 0 0 17 0 13 0 23771809 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15402] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15402/stat : 15402 (java) S 15384 15386 13757 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 23772176 1835282432 30246 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.75 Current children cumulated vsize (KiB) 1792268 [startup+12.7022 s] /proc/loadavg: 1.00 1.00 1.00 2/77 15402 /proc/meminfo: memFree=1546988/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1792268 CPUtime=14.26 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 47078 0 1 0 1406 20 0 0 18 0 13 0 23771800 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448067 43548 1328 9 0 445679 0 [pid=15386/tid=15388] ppid=15384 vsize=1792268 CPUtime=11.9 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 37743 0 1 0 1174 16 0 0 25 0 13 0 23771801 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109770676 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1792268 CPUtime=0.03 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 1506 0 0 0 3 0 0 0 16 0 13 0 23771803 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1792268 CPUtime=0.03 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 786 0 0 0 3 0 0 0 17 0 13 0 23771803 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 23771805 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23771805 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23771805 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1792268 CPUtime=1.3 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3973 0 0 0 129 1 0 0 17 0 13 0 23771809 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1792268 CPUtime=0.95 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2340 0 0 0 94 1 0 0 16 0 13 0 23771809 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15402] ppid=15384 vsize=1792268 CPUtime=0 /proc/15386/task/15402/stat : 15402 (java) S 15384 15386 13757 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 23772176 1835282432 43548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.26 Current children cumulated vsize (KiB) 1792268 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/77 15402 /proc/meminfo: memFree=1519788/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1792176 CPUtime=27.18 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 54024 0 1 0 2694 24 0 0 18 0 13 0 23771800 1835188224 50345 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448044 50345 1328 9 0 445656 0 [pid=15386/tid=15388] ppid=15384 vsize=1792176 CPUtime=24.57 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 37748 0 1 0 2441 16 0 0 25 0 13 0 23771801 1835188224 50345 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109537856 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1792176 CPUtime=0.14 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 4610 0 0 0 13 1 0 0 16 0 13 0 23771803 1835188224 50345 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1792176 CPUtime=0.14 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 4614 0 0 0 13 1 0 0 16 0 13 0 23771803 1835188224 50345 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1792176 CPUtime=0 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 23771805 1835188224 50345 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1792176 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23771805 1835188224 50345 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3987 0 0 0 141 1 0 0 16 0 13 0 23771809 1836236800 369196 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1793200 CPUtime=1.09 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2675 0 0 0 108 1 0 0 17 0 13 0 23771809 1836236800 369196 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1836236800 369196 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1836236800 369196 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15402] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15402/stat : 15402 (java) S 15384 15386 13757 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 23772176 1836236800 369196 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1615.84 Current children cumulated vsize (KiB) 1793200 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/77 15402 /proc/meminfo: memFree=258284/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1793200 CPUtime=1676.33 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 566371 0 1 0 167361 272 0 0 18 0 13 0 23771800 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448300 364838 1331 9 0 445912 0 [pid=15386/tid=15388] ppid=15384 vsize=1793200 CPUtime=1647 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 63743 0 1 0 164668 32 0 0 25 0 13 0 23771801 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109887553 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1793200 CPUtime=13.24 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 238432 0 0 0 1219 105 0 0 17 0 13 0 23771803 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1793200 CPUtime=13.22 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 256542 0 0 0 1209 113 0 0 17 0 13 0 23771803 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1793200 CPUtime=0.3 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 270 0 0 0 14 16 0 0 16 0 13 0 23771805 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1793200 CPUtime=1.42 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3987 0 0 0 141 1 0 0 16 0 13 0 23771809 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1793200 CPUtime=1.09 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2675 0 0 0 108 1 0 0 17 0 13 0 23771809 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15402] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15402/stat : 15402 (java) S 15384 15386 13757 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 23772176 1836236800 364838 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1676.33 Current children cumulated vsize (KiB) 1793200 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 15402 /proc/meminfo: memFree=234668/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1793200 CPUtime=1736.76 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 575997 0 1 0 173399 277 0 0 18 0 13 0 23771800 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448300 370734 1331 9 0 445912 0 [pid=15386/tid=15388] ppid=15384 vsize=1793200 CPUtime=1706.48 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 67301 0 1 0 170615 33 0 0 25 0 13 0 23771801 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109825918 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1793200 CPUtime=13.71 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 242084 0 0 0 1264 107 0 0 16 0 13 0 23771803 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1793200 CPUtime=13.68 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 258940 0 0 0 1254 114 0 0 16 0 13 0 23771803 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1793200 CPUtime=0.31 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 288 0 0 0 14 17 0 0 16 0 13 0 23771805 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1793200 CPUtime=1.42 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3987 0 0 0 141 1 0 0 16 0 13 0 23771809 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1793200 CPUtime=1.09 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2675 0 0 0 108 1 0 0 17 0 13 0 23771809 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15402] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15402/stat : 15402 (java) S 15384 15386 13757 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 23772176 1836236800 370734 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1736.76 Current children cumulated vsize (KiB) 1793200 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 15402 /proc/meminfo: memFree=225900/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1793200 CPUtime=1797.24 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 583868 0 1 0 179444 280 0 0 18 0 13 0 23771800 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448300 372893 1331 9 0 445912 0 [pid=15386/tid=15388] ppid=15384 vsize=1793200 CPUtime=1765.9 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 71910 0 1 0 176555 35 0 0 25 0 13 0 23771801 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109537979 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1793200 CPUtime=14.24 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 244236 0 0 0 1316 108 0 0 16 0 13 0 23771803 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1793200 CPUtime=14.2 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 260037 0 0 0 1306 114 0 0 16 0 13 0 23771803 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1793200 CPUtime=0.32 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 301 0 0 0 15 17 0 0 16 0 13 0 23771805 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1793200 CPUtime=1.42 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3987 0 0 0 141 1 0 0 16 0 13 0 23771809 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1793200 CPUtime=1.09 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2675 0 0 0 108 1 0 0 17 0 13 0 23771809 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15402] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15402/stat : 15402 (java) S 15384 15386 13757 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 23772176 1836236800 372893 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (KiB) 1793200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.1 s] /proc/loadavg: 1.00 1.01 1.00 2/77 15402 /proc/meminfo: memFree=226860/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=1793200 CPUtime=1800.05 /proc/15386/stat : 15386 (java) S 15384 15386 13757 0 -1 0 583880 0 1 0 179725 280 0 0 18 0 13 0 23771800 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15386/statm: 448300 372647 1331 9 0 445912 0 [pid=15386/tid=15388] ppid=15384 vsize=1793200 CPUtime=1768.68 /proc/15386/task/15388/stat : 15388 (java) R 15384 15386 13757 0 -1 64 71911 0 1 0 176833 35 0 0 25 0 13 0 23771801 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109538019 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15389] ppid=15384 vsize=1793200 CPUtime=14.26 /proc/15386/task/15389/stat : 15389 (java) S 15384 15386 13757 0 -1 64 244245 0 0 0 1318 108 0 0 16 0 13 0 23771803 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15390] ppid=15384 vsize=1793200 CPUtime=14.22 /proc/15386/task/15390/stat : 15390 (java) S 15384 15386 13757 0 -1 64 260039 0 0 0 1308 114 0 0 16 0 13 0 23771803 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15391] ppid=15384 vsize=1793200 CPUtime=0.32 /proc/15386/task/15391/stat : 15391 (java) S 15384 15386 13757 0 -1 64 301 0 0 0 15 17 0 0 16 0 13 0 23771805 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15392] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15392/stat : 15392 (java) S 15384 15386 13757 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15393] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15393/stat : 15393 (java) S 15384 15386 13757 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23771805 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15394] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15394/stat : 15394 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23771809 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15395] ppid=15384 vsize=1793200 CPUtime=1.42 /proc/15386/task/15395/stat : 15395 (java) S 15384 15386 13757 0 -1 64 3987 0 0 0 141 1 0 0 16 0 13 0 23771809 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15396] ppid=15384 vsize=1793200 CPUtime=1.09 /proc/15386/task/15396/stat : 15396 (java) S 15384 15386 13757 0 -1 64 2675 0 0 0 108 1 0 0 17 0 13 0 23771809 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15386/tid=15397] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15397/stat : 15397 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23771809 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15398] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15398/stat : 15398 (java) S 15384 15386 13757 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23771809 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15386/tid=15402] ppid=15384 vsize=1793200 CPUtime=0 /proc/15386/task/15402/stat : 15402 (java) S 15384 15386 13757 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 23772176 1836236800 372647 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1793200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1785.3 s] /proc/loadavg: 1.08 1.02 1.01 2/67 15405 /proc/meminfo: memFree=447972/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=0 CPUtime=1800.39 /proc/15386/stat : 15386 (java) Z 15384 15386 13757 0 -1 1036 583908 0 1 0 179755 284 0 0 16 0 2 0 23771800 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15386/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 [startup+1785.41 s] /proc/loadavg: 1.08 1.02 1.01 2/67 15405 /proc/meminfo: memFree=447972/2055920 swapFree=4184492/4192956 [pid=15386] ppid=15384 vsize=0 CPUtime=1800.49 /proc/15386/stat : 15386 (java) Z 15384 15386 13757 0 -1 1036 583908 0 1 0 179755 294 0 0 16 0 2 0 23771800 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15386/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1785.49 CPU time (s): 1800.58 CPU user time (s): 1797.56 CPU system time (s): 3.02354 CPU usage (%): 100.845 Max. virtual memory (cumulated for all children) (KiB): 1794460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.56 system time used= 3.02354 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 583908 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45937 involuntary context switches= 28246 runsolver used 2.01969 second user time and 4.71328 second system time The end
Begin job on node52 on Mon Apr 16 02:07:47 UTC 2007 IDJOB= 353943 IDBENCH= 2297 IDSOLVER= 159 FILE ID= node52/353943-1176689267 PBS_JOBID= 4559996 Free space on /tmp= 66397 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353943-1176689267/sat4jPseudoResolution.jar /tmp/evaluation/353943-1176689267/instance-353943-1176689267.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-353943-1176689267 -o ROOT/results/node52/solver-353943-1176689267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353943-1176689267/sat4jPseudoResolution.jar /tmp/evaluation/353943-1176689267/instance-353943-1176689267.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED= 869307048 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1717372 kB Buffers: 8612 kB Cached: 264556 kB SwapCached: 2368 kB Active: 196004 kB Inactive: 87352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1717372 kB SwapTotal: 4192956 kB SwapFree: 4184492 kB Dirty: 4012 kB Writeback: 0 kB Mapped: 16460 kB Slab: 41148 kB Committed_AS: 1488540 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66397 MiB End job on node52 on Mon Apr 16 02:37:35 UTC 2007