Trace number 353943

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)6105088 1800.58 1785.49

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM291088d217a1998c91be99350439e903
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5965824
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5965824
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
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 numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	6105088

Watcher Data (download as text)

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

Launcher Data (download as text)

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