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.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/353958-1176689429/instance-353958-1176689429.opb
0.20/0.20	c reading problem ... 
1.83/1.19	c ... done. Wall clock time 0.983s.
1.83/1.19	c CPU time (experimental) 0.82s.
1.83/1.19	c #vars     7936
1.83/1.19	c #constraints  336
3.82/2.43	c SATISFIABLE
3.82/2.43	c OPTIMIZING...
3.82/2.43	c Got one! Elapsed wall clock time (in seconds):2.231
3.92/2.51	o 13738993
5.15/3.65	c Got one! Elapsed wall clock time (in seconds):3.442
5.27/3.72	o 12489251
6.09/4.57	c Got one! Elapsed wall clock time (in seconds):4.364
6.20/4.63	o 9341955
1427.12/1415.55	c cleaning 359563 clauses out of 719151 for limit 4195239.005760217
1434.66/1423.08	c cleaning 180288 clauses out of 360588 for limit 2.2755024156832237E7
1442.14/1430.48	c cleaning 91641 clauses out of 183302 for limit 9.02247552607826E8
1444.75/1433.06	c cleaning 46318 clauses out of 92659 for limit 4.844489933823813E9
1447.18/1435.46	c cleaning 23667 clauses out of 47344 for limit 2.5863424513638756E10
1452.84/1441.07	c cleaning 13078 clauses out of 26174 for limit 5.689273049674615E11
1455.26/1443.46	c cleaning 7040 clauses out of 14097 for limit 2.875719099272074E12
1455.96/1444.11	c cleaning 3768 clauses out of 7556 for limit 8.838988880448053E12
1460.40/1448.52	c cleaning 3135 clauses out of 6288 for limit 1.2955716580703268E-6
1461.09/1449.22	c cleaning 1820 clauses out of 3653 for limit 3.6777329150835043E-6
1461.79/1449.93	c cleaning 1157 clauses out of 2333 for limit 9.496662567722848E-6
1466.22/1454.34	c cleaning 2081 clauses out of 4176 for limit 1.067236273959966E-4
1469.97/1458.01	c cleaning 1787 clauses out of 3596 for limit 5.564210579478807E-4
1471.69/1459.79	c cleaning 1399 clauses out of 2808 for limit 0.0019359912918364582
1472.49/1460.50	c cleaning 944 clauses out of 1909 for limit 0.004696241927771374
1474.21/1462.27	c cleaning 977 clauses out of 1966 for limit 0.012414212132021698
1476.23/1464.23	c cleaning 986 clauses out of 1989 for limit 0.033371802650938205
1478.55/1466.52	c cleaning 995 clauses out of 2003 for limit 0.09012499933099691
1481.46/1469.40	c cleaning 1245 clauses out of 2507 for limit 0.322630216144008
1484.39/1472.37	c cleaning 1373 clauses out of 2763 for limit 1.314258095773085
1485.09/1473.07	c cleaning 935 clauses out of 1890 for limit 3.16851398760634
1487.21/1475.12	c cleaning 965 clauses out of 1955 for limit 8.33071822185166
1490.03/1477.94	c cleaning 1234 clauses out of 2490 for limit 29.335771946920303
1493.25/1481.10	c cleaning 1369 clauses out of 2755 for limit 118.7978043460685
1494.05/1481.97	c cleaning 929 clauses out of 1887 for limit 286.3179103607714
1496.76/1484.69	c cleaning 1216 clauses out of 2457 for limit 985.2544582468901
1499.48/1487.32	c cleaning 1361 clauses out of 2743 for limit 3966.1071413579643
1501.31/1489.13	c cleaning 1178 clauses out of 2380 for limit 12406.693208797624
1502.51/1490.31	c cleaning 834 clauses out of 1702 for limit 28610.7558618645
1503.63/1491.49	c cleaning 672 clauses out of 1368 for limit 58702.781102855806
1506.15/1493.95	c cleaning 837 clauses out of 1696 for limit 128774.74553019139
1508.27/1496.02	c cleaning 920 clauses out of 1860 for limit 319661.17379053286
1509.27/1497.06	c cleaning 710 clauses out of 1444 for limit 681756.9515576732
1511.59/1499.35	c cleaning 854 clauses out of 1729 for limit 1540781.2685352578
1513.10/1500.88	c cleaning 936 clauses out of 1875 for limit 3864083.3455491625
1514.10/1501.87	c cleaning 713 clauses out of 1440 for limit 8305688.976257936
1515.62/1503.39	c cleaning 851 clauses out of 1726 for limit 1.882671841176414E7
1516.32/1504.01	c cleaning 687 clauses out of 1375 for limit 3.8973428029797405E7
1516.92/1504.63	c cleaning 594 clauses out of 1189 for limit 7.440118446070734E7
1517.62/1505.39	c cleaning 547 clauses out of 1094 for limit 1.3321887363834338E8
1518.74/1506.46	c cleaning 521 clauses out of 1047 for limit 2.2955792196645674E8
1519.64/1507.36	c cleaning 504 clauses out of 1027 for limit 3.8633043366109705E8
1521.16/1508.86	c cleaning 510 clauses out of 1022 for limit 6.395873192140639E8
1523.08/1510.71	c cleaning 746 clauses out of 1512 for limit 1.1757384558689342E9
1523.88/1511.52	c cleaning 631 clauses out of 1267 for limit 2.316201285595951E9
1525.60/1513.28	c cleaning 818 clauses out of 1638 for limit 4.88224774338287E9
1526.60/1514.28	c cleaning 657 clauses out of 1317 for limit 9.983901496404402E9
1527.62/1515.26	c cleaning 572 clauses out of 1163 for limit 1.870104047057128E10
1528.32/1515.94	c cleaning 533 clauses out of 1089 for limit 3.287036060180044E10
1529.54/1517.13	c cleaning 518 clauses out of 1056 for limit 5.590161013649339E10
1532.16/1519.72	c cleaning 757 clauses out of 1537 for limit 1.0434980216026108E11
1533.38/1520.97	c cleaning 640 clauses out of 1280 for limit 2.066385829144203E11
1535.39/1522.99	c cleaning 810 clauses out of 1640 for limit 4.386208886946599E11
1536.49/1524.06	c cleaning 654 clauses out of 1330 for limit 8.919436224817504E11
1538.91/1526.42	c cleaning 837 clauses out of 1677 for limit 1.925760474497616E12
1540.93/1528.43	c cleaning 918 clauses out of 1839 for limit 4.771235623320123E12
1543.95/1531.45	c cleaning 1198 clauses out of 2422 for limit 1.626449665740916E13
1544.75/1532.23	c cleaning 855 clauses out of 1724 for limit 3.76819519897363E13
1547.78/1535.26	c cleaning 1676 clauses out of 3368 for limit 2.3504092836898515E-6
1548.38/1535.84	c cleaning 1088 clauses out of 2192 for limit 5.955673950849802E-6
1549.08/1536.50	c cleaning 793 clauses out of 1604 for limit 1.3422177776198376E-5
1551.80/1539.29	c cleaning 1151 clauses out of 2312 for limit 4.180629624784242E-5
1552.70/1540.17	c cleaning 821 clauses out of 1660 for limit 9.592743028041246E-5
1553.60/1541.05	c cleaning 666 clauses out of 1339 for limit 1.961219527166227E-4
1555.62/1543.00	c cleaning 833 clauses out of 1676 for limit 4.274133478360044E-4
1556.42/1543.87	c cleaning 663 clauses out of 1342 for limit 8.794090982604084E-4
1558.24/1545.65	c cleaning 830 clauses out of 1679 for limit 0.001911633128340406
1559.14/1546.59	c cleaning 664 clauses out of 1348 for limit 0.0039227147398987324
1561.05/1548.47	c cleaning 833 clauses out of 1683 for limit 0.008536301892337018
1561.95/1549.37	c cleaning 668 clauses out of 1351 for limit 0.017554518895416545
1563.69/1551.08	c cleaning 832 clauses out of 1682 for limit 0.038308535653173555
1564.58/1551.99	c cleaning 665 clauses out of 1350 for limit 0.07871249184860013
1565.48/1552.85	c cleaning 579 clauses out of 1186 for limit 0.14790509665365334
1567.70/1555.06	c cleaning 793 clauses out of 1608 for limit 0.29698059292827406
1568.50/1555.82	c cleaning 649 clauses out of 1314 for limit 0.5987425524461394
1570.22/1557.59	c cleaning 820 clauses out of 1664 for limit 1.2845748943237818
1571.24/1558.55	c cleaning 664 clauses out of 1344 for limit 2.622825335736426
1573.16/1560.42	c cleaning 836 clauses out of 1682 for limit 5.711148398173284
1574.06/1561.36	c cleaning 665 clauses out of 1346 for limit 11.769560985003897
1575.87/1563.11	c cleaning 828 clauses out of 1680 for limit 25.619656583507012
1576.57/1563.87	c cleaning 670 clauses out of 1351 for limit 52.486620685803935
1577.37/1564.65	c cleaning 582 clauses out of 1181 for limit 99.01704248121604
1579.09/1566.34	c cleaning 790 clauses out of 1601 for limit 199.04410215608684
1579.89/1567.19	c cleaning 649 clauses out of 1310 for limit 400.7658663334093
1580.79/1568.08	c cleaning 570 clauses out of 1162 for limit 745.8410652284734
1581.70/1568.96	c cleaning 539 clauses out of 1091 for limit 1308.7269453497197
1582.41/1569.66	c cleaning 518 clauses out of 1052 for limit 2238.27756659982
1583.20/1570.41	c cleaning 507 clauses out of 1033 for limit 3755.3527312869282
1583.90/1571.10	c cleaning 506 clauses out of 1026 for limit 6235.3320118716565
1585.52/1572.71	c cleaning 751 clauses out of 1523 for limit 11458.357023626162
1586.42/1573.63	c cleaning 619 clauses out of 1269 for limit 22610.6466442789
1588.25/1575.45	c cleaning 818 clauses out of 1650 for limit 47293.60664091817
1589.35/1576.58	c cleaning 659 clauses out of 1334 for limit 96661.9295142095
1590.37/1577.55	c cleaning 579 clauses out of 1174 for limit 180952.49181124556
1591.27/1578.43	c cleaning 533 clauses out of 1094 for limit 319916.5576658002
1591.87/1579.09	c cleaning 512 clauses out of 1061 for limit 543994.5430546325
1594.29/1581.46	c cleaning 766 clauses out of 1549 for limit 1013375.2271266718
1595.40/1582.52	c cleaning 640 clauses out of 1284 for limit 2018120.4172804735
1596.82/1583.93	c cleaning 570 clauses out of 1144 for limit 3735441.698322212
1599.84/1586.96	c cleaning 779 clauses out of 1573 for limit 7381022.454457541
1601.05/1588.17	c cleaning 636 clauses out of 1294 for limit 1.4796767840580674E7
1601.85/1588.98	c cleaning 579 clauses out of 1158 for limit 2.726769727204205E7
1603.87/1590.95	c cleaning 785 clauses out of 1580 for limit 5.440592794588324E7
1604.77/1591.81	c cleaning 629 clauses out of 1295 for limit 1.0946856563288744E8
1605.57/1592.65	c cleaning 582 clauses out of 1165 for limit 2.004724259369196E8
1606.37/1593.41	c cleaning 542 clauses out of 1084 for limit 3.5566545714661473E8
1608.40/1595.45	c cleaning 770 clauses out of 1541 for limit 6.797443297750791E8
1609.70/1596.75	c cleaning 621 clauses out of 1271 for limit 1.3591223951708124E9
1610.92/1597.93	c cleaning 564 clauses out of 1150 for limit 2.4772062433631167E9
1612.02/1599.01	c cleaning 543 clauses out of 1087 for limit 4.326342131950119E9
1612.71/1599.76	c cleaning 521 clauses out of 1043 for limit 7.42826642380608E9
1613.93/1600.96	c cleaning 510 clauses out of 1022 for limit 1.2501921611064415E10
1615.23/1602.27	c cleaning 494 clauses out of 1014 for limit 2.082162511153689E10
1616.55/1603.59	c cleaning 509 clauses out of 1019 for limit 3.4134989143918663E10
1619.37/1606.36	c cleaning 754 clauses out of 1509 for limit 6.262705295231278E10
1621.79/1608.74	c cleaning 876 clauses out of 1755 for limit 1.4644881723344418E11
1624.41/1611.33	c cleaning 925 clauses out of 1880 for limit 3.721786239685907E11
1625.51/1612.47	c cleaning 715 clauses out of 1455 for limit 7.930529205283453E11
1626.83/1613.79	c cleaning 605 clauses out of 1239 for limit 1.5343174734440405E12
1629.34/1616.27	c cleaning 800 clauses out of 1634 for limit 3.1640712836227876E12
1631.97/1618.88	c cleaning 916 clauses out of 1834 for limit 7.666740329639964E12
1634.49/1621.36	c cleaning 942 clauses out of 1918 for limit 1.9937617349287836E13
1635.29/1622.18	c cleaning 721 clauses out of 1476 for limit 4.272591665157507E13
1636.30/1623.14	c cleaning 626 clauses out of 1255 for limit 8.286858202236881E13
1638.22/1625.01	c cleaning 559 clauses out of 1130 for limit 1.5193071747224578E14
1641.14/1627.92	c cleaning 785 clauses out of 1570 for limit 2.9709930923645844E14
1642.85/1629.63	c cleaning 887 clauses out of 1785 for limit 7.106812344451642E-6
1643.75/1630.50	c cleaning 688 clauses out of 1398 for limit 1.4964485303790585E-5
1644.35/1631.16	c cleaning 597 clauses out of 1212 for limit 2.8522740203717224E-5
1645.78/1632.53	c cleaning 799 clauses out of 1614 for limit 5.819257807112577E-5
1646.58/1633.30	c cleaning 649 clauses out of 1315 for limit 1.1778805825886665E-4
1647.38/1634.13	c cleaning 576 clauses out of 1166 for limit 2.1907072821399022E-4
1648.08/1634.81	c cleaning 534 clauses out of 1089 for limit 3.8643494978150394E-4
1648.78/1635.51	c cleaning 514 clauses out of 1056 for limit 6.578558759249602E-4
1649.38/1636.18	c cleaning 508 clauses out of 1042 for limit 0.0010994686344998027
1650.28/1637.05	c cleaning 505 clauses out of 1034 for limit 0.0018271992638304714
1651.20/1637.98	c cleaning 502 clauses out of 1029 for limit 0.0030279378904085625
1652.10/1638.82	c cleaning 503 clauses out of 1026 for limit 0.005003067379187819
1652.90/1639.69	c cleaning 504 clauses out of 1024 for limit 0.008275117225852458
1653.82/1640.53	c cleaning 501 clauses out of 1020 for limit 0.013700292096810847
1654.62/1641.32	c cleaning 502 clauses out of 1018 for limit 0.022615364697816588
1655.22/1641.98	c cleaning 501 clauses out of 1018 for limit 0.037370465376349075
1655.82/1642.59	c cleaning 501 clauses out of 1015 for limit 0.061687490820436244
1656.83/1643.57	c cleaning 497 clauses out of 1014 for limit 0.10183125112356668
1657.74/1644.43	c cleaning 499 clauses out of 1017 for limit 0.16743797721300852
1658.53/1645.20	c cleaning 507 clauses out of 1018 for limit 0.27585637866600576
1659.43/1646.18	c cleaning 496 clauses out of 1011 for limit 0.4580738923038842
1660.45/1647.20	c cleaning 498 clauses out of 1015 for limit 0.7524480835969385
1661.65/1648.31	c cleaning 498 clauses out of 1017 for limit 1.2384472603868342
1662.35/1649.09	c cleaning 501 clauses out of 1020 for limit 2.0383966490406222
1663.67/1650.30	c cleaning 498 clauses out of 1019 for limit 3.364887675578906
1664.57/1651.26	c cleaning 499 clauses out of 1020 for limit 5.5381658710064325
1665.47/1652.15	c cleaning 501 clauses out of 1022 for limit 9.124427687905323
1666.27/1652.99	c cleaning 501 clauses out of 1020 for limit 15.061829704453372
1667.49/1654.12	c cleaning 498 clauses out of 1019 for limit 24.86334794949586
1668.39/1655.03	c cleaning 503 clauses out of 1021 for limit 40.92266765869749
1669.49/1656.12	c cleaning 497 clauses out of 1018 for limit 67.68583450820068
1670.71/1657.31	c cleaning 495 clauses out of 1021 for limit 111.29501457406394
1671.71/1658.35	c cleaning 503 clauses out of 1029 for limit 182.6608609611826
1672.93/1659.59	c cleaning 497 clauses out of 1023 for limit 302.090865237237
1673.83/1660.44	c cleaning 501 clauses out of 1027 for limit 496.7446312074766
1674.73/1661.39	c cleaning 501 clauses out of 1025 for limit 819.9759891882269
1675.75/1662.33	c cleaning 497 clauses out of 1025 for limit 1353.6037043010106
1676.45/1663.08	c cleaning 502 clauses out of 1027 for limit 2225.6984903433627
1677.25/1663.85	c cleaning 504 clauses out of 1025 for limit 3677.6364607722226
1678.15/1664.72	c cleaning 500 clauses out of 1021 for limit 6088.675192896739
1678.96/1665.58	c cleaning 502 clauses out of 1024 for limit 10041.717850777077
1679.66/1666.30	c cleaning 500 clauses out of 1021 for limit 16592.185876378644
1680.66/1667.26	c cleaning 495 clauses out of 1019 for limit 27361.63378299121
1681.68/1668.26	c cleaning 503 clauses out of 1024 for limit 44902.667360539075
1682.68/1669.25	c cleaning 499 clauses out of 1021 for limit 74268.08773719211
1683.90/1670.47	c cleaning 501 clauses out of 1022 for limit 122358.1705865503
1685.00/1671.52	c cleaning 492 clauses out of 1021 for limit 201982.62674456695
1686.22/1672.74	c cleaning 504 clauses out of 1030 for limit 330516.33776642045
1687.42/1673.90	c cleaning 502 clauses out of 1026 for limit 547190.6689681159
1688.44/1674.92	c cleaning 502 clauses out of 1024 for limit 904153.0966563809
1689.76/1676.26	c cleaning 499 clauses out of 1022 for limit 1493987.3558781128
1691.16/1677.61	c cleaning 511 clauses out of 1023 for limit 2461376.6198998173
1692.28/1678.71	c cleaning 505 clauses out of 1011 for limit 4103211.6995013906
1693.28/1679.73	c cleaning 503 clauses out of 1007 for limit 6800424.2628248185
1694.60/1681.05	c cleaning 487 clauses out of 1004 for limit 1.1248319740395626E7
1695.50/1681.92	c cleaning 509 clauses out of 1018 for limit 1.8313189379267894E7
1696.62/1683.08	c cleaning 500 clauses out of 1007 for limit 3.0469768699204832E7
1697.52/1683.92	c cleaning 493 clauses out of 1007 for limit 5.0248724757719666E7
1698.72/1685.11	c cleaning 500 clauses out of 1015 for limit 8.229602742108718E7
1699.63/1686.02	c cleaning 495 clauses out of 1015 for limit 1.3571715858295548E8
1700.83/1687.24	c cleaning 509 clauses out of 1019 for limit 2.2271424307121697E8
1701.95/1688.39	c cleaning 505 clauses out of 1010 for limit 3.705584228137518E8
1703.37/1689.73	c cleaning 498 clauses out of 1005 for limit 6.141407121942117E8
1704.37/1690.78	c cleaning 503 clauses out of 1007 for limit 1.0107886729357272E9
1705.27/1691.69	c cleaning 485 clauses out of 1004 for limit 1.671906596372913E9
1706.29/1692.66	c cleaning 495 clauses out of 1020 for limit 2.7166641461522503E9
1707.28/1693.65	c cleaning 512 clauses out of 1025 for limit 4.458288251657735E9
1708.51/1694.82	c cleaning 506 clauses out of 1014 for limit 7.439512085821956E9
1709.51/1695.90	c cleaning 487 clauses out of 1006 for limit 1.2341595023033613E10
1710.82/1697.10	c cleaning 510 clauses out of 1020 for limit 2.0093680807629856E10
1712.22/1698.57	c cleaning 503 clauses out of 1010 for limit 3.3465258505974747E10
1713.54/1699.82	c cleaning 500 clauses out of 1007 for limit 5.535310333696688E10
1714.57/1700.81	c cleaning 499 clauses out of 1006 for limit 9.128403722672481E10
1715.47/1701.71	c cleaning 504 clauses out of 1008 for limit 1.5039129077666318E11
1716.17/1702.46	c cleaning 500 clauses out of 1003 for limit 2.490024734368281E11
1717.39/1703.68	c cleaning 500 clauses out of 1003 for limit 4.106383896522695E11
1718.59/1704.87	c cleaning 491 clauses out of 1004 for limit 6.772003394568064E11
1719.70/1705.99	c cleaning 496 clauses out of 1012 for limit 1.1068575777579922E12
1720.91/1707.20	c cleaning 497 clauses out of 1017 for limit 1.8182001993166396E12
1722.22/1708.49	c cleaning 497 clauses out of 1019 for limit 2.989577698933559E12
1723.34/1709.57	c cleaning 510 clauses out of 1022 for limit 4.915741312924211E12
1724.34/1710.56	c cleaning 506 clauses out of 1013 for limit 8.18692608899549E12
1725.34/1711.59	c cleaning 490 clauses out of 1007 for limit 1.3581781251893795E13
1726.56/1712.71	c cleaning 498 clauses out of 1016 for limit 2.2177565433738418E13
1727.56/1713.79	c cleaning 499 clauses out of 1020 for limit 3.650331583231828E13
1728.78/1714.99	c cleaning 502 clauses out of 1019 for limit 6.013747193612202E13
1729.57/1715.76	c cleaning 509 clauses out of 1018 for limit 9.937152895415483E13
1730.80/1716.91	c cleaning 503 clauses out of 1009 for limit 1.6533868180323512E14
1732.00/1718.17	c cleaning 503 clauses out of 1006 for limit 2.7347872301275197E14
1733.52/1719.63	c cleaning 492 clauses out of 1003 for limit 4.523519616894486E14
1734.82/1720.93	c cleaning 494 clauses out of 1010 for limit 7.400778606146206E-6
1735.73/1721.89	c cleaning 505 clauses out of 1017 for limit 1.213300096535476E-5
1737.03/1723.11	c cleaning 496 clauses out of 1011 for limit 2.0107561455135855E-5
1738.15/1724.28	c cleaning 501 clauses out of 1016 for limit 3.302989941472586E-5
1739.25/1725.38	c cleaning 491 clauses out of 1014 for limit 5.4523581958723385E-5
1740.36/1726.42	c cleaning 504 clauses out of 1023 for limit 8.912562484243688E-5
1741.36/1727.44	c cleaning 506 clauses out of 1020 for limit 1.4755993265878794E-4
1742.46/1728.50	c cleaning 501 clauses out of 1014 for limit 2.447859867380129E-4
1743.58/1729.61	c cleaning 500 clauses out of 1012 for limit 4.0407815250381854E-4
1744.68/1730.77	c cleaning 495 clauses out of 1013 for limit 6.663874904005398E-4
1745.39/1731.46	c cleaning 489 clauses out of 1017 for limit 0.0010935451114249903
1746.08/1732.14	c cleaning 503 clauses out of 1033 for limit 0.0017843735653115247
1747.20/1733.25	c cleaning 498 clauses out of 1025 for limit 0.0029508393417335046
1747.80/1733.87	c cleaning 502 clauses out of 1028 for limit 0.004856984466481846
1748.50/1734.58	c cleaning 498 clauses out of 1025 for limit 0.008025227247719586
1749.43/1735.49	c cleaning 501 clauses out of 1027 for limit 0.013208899864034064
1750.43/1736.47	c cleaning 503 clauses out of 1026 for limit 0.021804474161728836
1751.53/1737.56	c cleaning 498 clauses out of 1025 for limit 0.03606567157892764
1752.55/1738.56	c cleaning 502 clauses out of 1025 for limit 0.05935822245556819
1753.45/1739.48	c cleaning 497 clauses out of 1023 for limit 0.09808102724430093
1754.15/1740.18	c cleaning 501 clauses out of 1026 for limit 0.1612757854534736
1755.16/1741.12	c cleaning 498 clauses out of 1025 for limit 0.2662248236870219
1755.96/1741.95	c cleaning 500 clauses out of 1028 for limit 0.4381973003247677
1756.76/1742.74	c cleaning 500 clauses out of 1027 for limit 0.7226262670919688
1757.78/1743.72	c cleaning 506 clauses out of 1027 for limit 1.1917073856471527
1758.58/1744.51	c cleaning 499 clauses out of 1021 for limit 1.9768340793993522
1759.28/1745.27	c cleaning 504 clauses out of 1023 for limit 3.2569472639557007
1759.98/1745.92	c cleaning 500 clauses out of 1018 for limit 5.392125075638395
1760.80/1746.74	c cleaning 499 clauses out of 1018 for limit 8.89233559531495
1761.80/1747.70	c cleaning 499 clauses out of 1020 for limit 14.650547321737854
1762.70/1748.66	c cleaning 503 clauses out of 1021 for limit 24.13704867549088
1763.52/1749.49	c cleaning 500 clauses out of 1017 for limit 39.92181986044192
1764.12/1750.05	c cleaning 499 clauses out of 1017 for limit 65.83642159538174
1764.82/1750.74	c cleaning 499 clauses out of 1018 for limit 108.46641334257268
1765.82/1751.72	c cleaning 503 clauses out of 1021 for limit 178.70727231797252
1766.51/1752.44	c cleaning 495 clauses out of 1017 for limit 295.57547110029793
1767.21/1753.17	c cleaning 497 clauses out of 1022 for limit 485.05874032122426
1768.04/1753.94	c cleaning 503 clauses out of 1024 for limit 797.566031452167
1768.84/1754.73	c cleaning 493 clauses out of 1021 for limit 1319.157802463841
1769.84/1755.71	c cleaning 506 clauses out of 1030 for limit 2160.7781445665332
1770.64/1756.56	c cleaning 504 clauses out of 1022 for limit 3584.126841463124
1771.66/1757.54	c cleaning 499 clauses out of 1019 for limit 5934.040163331151
1772.45/1758.34	c cleaning 498 clauses out of 1019 for limit 9776.240044952716
1773.15/1759.01	c cleaning 496 clauses out of 1022 for limit 16091.09295397978
1773.85/1759.78	c cleaning 500 clauses out of 1025 for limit 26432.23880202672
1774.68/1760.56	c cleaning 504 clauses out of 1025 for limit 43590.297826186725
1775.38/1761.22	c cleaning 502 clauses out of 1021 for limit 72167.86320678204
1776.18/1762.08	c cleaning 504 clauses out of 1020 for limit 119250.39210809892
1777.10/1762.99	c cleaning 503 clauses out of 1016 for limit 197434.1009947503
1778.20/1764.02	c cleaning 497 clauses out of 1013 for limit 326559.4952800287
1779.10/1764.91	c cleaning 497 clauses out of 1015 for limit 536941.651792528
1779.92/1765.77	c cleaning 500 clauses out of 1018 for limit 882879.1196400559
1781.12/1766.98	c cleaning 502 clauses out of 1019 for limit 1456012.952836418
1782.23/1768.01	c cleaning 509 clauses out of 1019 for limit 2405969.674534688
1782.94/1768.78	c cleaning 501 clauses out of 1007 for limit 4003014.9698771443
1784.15/1769.93	c cleaning 493 clauses out of 1007 for limit 6608115.3144037565
1784.65/1770.46	c cleaning 492 clauses out of 1014 for limit 1.0822435734222844E7
1785.45/1771.21	c cleaning 497 clauses out of 1021 for limit 1.7707555175800137E7
1786.35/1772.19	c cleaning 511 clauses out of 1025 for limit 2.911728512296601E7
1787.17/1772.93	c cleaning 505 clauses out of 1013 for limit 4.853853614297091E7
1788.27/1774.01	c cleaning 496 clauses out of 1009 for limit 8.044431396912226E7
1789.49/1775.21	c cleaning 496 clauses out of 1012 for limit 1.3213789416503593E8
1790.62/1776.33	c cleaning 507 clauses out of 1017 for limit 2.1705877100719428E8
1791.52/1777.28	c cleaning 504 clauses out of 1010 for limit 3.604398546144941E8
1792.63/1778.39	c cleaning 502 clauses out of 1005 for limit 5.967734495088105E8
1793.73/1779.48	c cleaning 493 clauses out of 1003 for limit 9.861216843764894E8
1794.53/1780.23	c cleaning 499 clauses out of 1011 for limit 1.614993151679092E9
1795.25/1780.98	c cleaning 505 clauses out of 1011 for limit 2.660676417280322E9
1796.05/1781.73	c cleaning 503 clauses out of 1006 for limit 4.40961955852839E9
1796.75/1782.49	c cleaning 501 clauses out of 1003 for limit 7.293803465330184E9
1797.45/1783.19	c cleaning 499 clauses out of 1004 for limit 1.2040546178190632E10
1798.37/1784.06	c cleaning 493 clauses out of 1004 for limit 1.9836614931883244E10
1799.06/1784.78	c cleaning 489 clauses out of 1010 for limit 3.2486376791851803E10
1799.67/1785.36	c cleaning 495 clauses out of 1021 for limit 5.299718422359811E10
1800.07/1785.71	c starts		: 29
1800.07/1785.71	c conflicts		: 906478
1800.07/1785.71	c decisions		: 1204362
1800.07/1785.71	c propagations		: 99566062
1800.07/1785.71	c inspects		: 501646726
1800.07/1785.71	c learnt literals	: 0
1800.07/1785.71	c learnt binary clauses	: 0
1800.07/1785.71	c learnt ternary clauses	: 0
1800.07/1785.71	c learnt clauses	: 906478
1800.07/1785.71	c root simplifications	: 0
1800.07/1785.71	c removed literals (reason simplification)	: 0
1800.07/1785.71	c reason swapping (by a shorter reason)	: 0
1800.07/1785.71	c Calls to reduceDB	: 290
1800.07/1785.71	c speed (decisions/second)	: 676.234764074772
1800.07/1785.71	c non guided choices	792
1800.07/1785.71	s SATISFIABLE
1800.07/1785.74	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.07/1785.74	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.07/1785.74	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.07/1785.74	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 -x105
1800.07/1785.74	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.07/1785.74	v -x127 -x128 -x129 -x130 -x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.07/1785.74	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.07/1785.74	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.07/1785.74	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.07/1785.74	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.07/1785.74	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.07/1785.74	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.07/1785.74	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.07/1785.74	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.07/1785.74	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 x334 x335 x336 x337
1800.07/1785.74	v x338 x339 x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.07/1785.74	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.07/1785.74	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.07/1785.74	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.07/1785.74	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.07/1785.74	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.07/1785.74	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.07/1785.74	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506
1800.07/1785.74	v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1800.07/1785.74	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548
1800.07/1785.74	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
1800.07/1785.74	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1800.07/1785.74	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611
1800.07/1785.74	v x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632
1800.07/1785.74	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.07/1785.74	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674
1800.07/1785.74	v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.07/1785.74	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.07/1785.74	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.07/1785.74	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.07/1785.74	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.07/1785.74	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.07/1785.74	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1800.07/1785.74	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1800.07/1785.74	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1800.07/1785.74	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1800.07/1785.74	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905
1800.07/1785.74	v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926
1800.07/1785.74	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
1800.07/1785.74	v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
1800.07/1785.74	v -x969 -x970 x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1800.07/1785.74	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
1800.07/1785.74	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025
1800.07/1785.74	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.07/1785.74	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.07/1785.74	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.07/1785.74	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.07/1785.74	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.07/1785.74	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.07/1785.74	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.07/1785.74	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1800.07/1785.74	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1800.07/1785.74	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1800.07/1785.74	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1800.07/1785.74	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1800.07/1785.74	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1800.07/1785.74	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1800.07/1785.74	v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
1800.07/1785.74	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
1800.07/1785.74	v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.07/1785.74	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332
1800.07/1785.74	v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
1800.07/1785.74	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
1800.07/1785.74	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383
1800.07/1785.74	v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1800.07/1785.74	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
1800.07/1785.74	v -x1418 -x1419 -x1420 -x1421 -x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1800.07/1785.74	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
1800.07/1785.74	v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469
1800.07/1785.74	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486
1800.07/1785.74	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503
1800.07/1785.74	v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521
1800.07/1785.74	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
1800.07/1785.74	v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555
1800.07/1785.74	v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572
1800.07/1785.74	v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589
1800.07/1785.74	v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606
1800.07/1785.74	v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623
1800.07/1785.74	v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
1800.07/1785.74	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657
1800.07/1785.74	v -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674
1800.07/1785.74	v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691
1800.07/1785.74	v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708
1800.07/1785.74	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725
1800.07/1785.74	v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
1800.07/1785.74	v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759
1800.07/1785.74	v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776
1800.07/1785.74	v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1800.07/1785.74	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1800.07/1785.74	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827
1800.07/1785.74	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844
1800.07/1785.74	v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
1800.07/1785.74	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878
1800.07/1785.74	v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
1800.07/1785.74	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912
1800.07/1785.74	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 -x1931
1800.07/1785.74	v x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
1800.07/1785.74	v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966
1800.07/1785.74	v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983
1800.07/1785.74	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
1800.07/1785.74	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 x2012 x2013 x2014 x2015 x2016 x2017 x2018 x2019
1800.07/1785.74	v x2020 x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037
1800.07/1785.74	v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054
1800.07/1785.74	v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071
1800.07/1785.74	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1800.07/1785.74	v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
1800.07/1785.74	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122
1800.07/1785.74	v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139
1800.07/1785.74	v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156
1800.07/1785.74	v -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173
1800.07/1785.74	v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
1800.07/1785.74	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207
1800.07/1785.74	v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224
1800.07/1785.74	v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241
1800.07/1785.74	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
1800.07/1785.74	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275
1800.07/1785.74	v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292
1800.07/1785.74	v x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309
1800.07/1785.74	v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326
1800.07/1785.74	v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343
1800.07/1785.74	v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
1800.07/1785.74	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377
1800.07/1785.74	v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394
1800.07/1785.74	v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411
1800.07/1785.74	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.07/1785.74	v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.07/1785.74	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1800.07/1785.74	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
1800.07/1785.74	v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.07/1785.74	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513
1800.07/1785.74	v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
1800.07/1785.74	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547
1800.07/1785.74	v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564
1800.07/1785.74	v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581
1800.07/1785.74	v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598
1800.07/1785.74	v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615
1800.07/1785.74	v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632
1800.07/1785.74	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649
1800.07/1785.74	v -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666
1800.07/1785.74	v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683
1800.07/1785.74	v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
1800.07/1785.74	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717
1800.07/1785.74	v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734
1800.07/1785.74	v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751
1800.07/1785.74	v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768
1800.07/1785.74	v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785
1800.07/1785.74	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802
1800.07/1785.74	v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1800.07/1785.74	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 x2834 x2835 -x2836 -x2837
1800.07/1785.74	v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854
1800.07/1785.74	v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871
1800.07/1785.74	v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888
1800.07/1785.74	v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905
1800.07/1785.74	v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922
1800.07/1785.74	v -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939
1800.07/1785.74	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956
1800.07/1785.74	v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973
1800.07/1785.74	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
1800.07/1785.74	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007
1800.07/1785.74	v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024
1800.07/1785.74	v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041
1800.07/1785.74	v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058
1800.07/1785.74	v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075
1800.07/1785.74	v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092
1800.07/1785.74	v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109
1800.07/1785.74	v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126
1800.07/1785.74	v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143
1800.07/1785.74	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
1800.07/1785.74	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177
1800.07/1785.74	v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194
1800.07/1785.74	v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211
1800.07/1785.74	v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228
1800.07/1785.74	v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245
1800.07/1785.74	v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262
1800.07/1785.74	v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279
1800.07/1785.74	v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296
1800.07/1785.74	v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313
1800.07/1785.74	v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
1800.07/1785.74	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347
1800.07/1785.74	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364
1800.07/1785.74	v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381
1800.07/1785.74	v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398
1800.07/1785.74	v -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415
1800.07/1785.74	v -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432
1800.07/1785.74	v x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
1800.07/1785.74	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467
1800.07/1785.74	v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484
1800.07/1785.74	v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501
1800.07/1785.74	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518
1800.07/1785.74	v -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535
1800.07/1785.74	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552
1800.07/1785.74	v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569
1800.07/1785.74	v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586
1800.07/1785.74	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603
1800.07/1785.74	v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
1800.07/1785.74	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 x3633 x3634 x3635 x3636 x3637 x3638
1800.07/1785.74	v x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
1800.07/1785.74	v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673
1800.07/1785.74	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1800.07/1785.74	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707
1800.07/1785.74	v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724
1800.07/1785.74	v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741
1800.07/1785.74	v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758
1800.07/1785.74	v -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775
1800.07/1785.74	v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792
1800.07/1785.74	v -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809
1800.07/1785.74	v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826
1800.07/1785.74	v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843
1800.07/1785.74	v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
1800.07/1785.74	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877
1800.07/1785.74	v -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894
1800.07/1785.74	v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911
1800.07/1785.74	v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928
1800.07/1785.74	v -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945
1800.07/1785.74	v -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962
1800.07/1785.74	v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979
1800.07/1785.74	v -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996
1800.07/1785.74	v -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013
1800.07/1785.74	v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
1800.07/1785.74	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047
1800.07/1785.74	v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064
1800.07/1785.74	v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081
1800.07/1785.74	v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 x4092 x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099
1800.07/1785.74	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
1800.07/1785.74	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
1800.07/1785.74	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1800.07/1785.74	v x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168
1800.07/1785.74	v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185
1800.07/1785.74	v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202
1800.07/1785.74	v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219
1800.07/1785.74	v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236
1800.07/1785.74	v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253
1800.07/1785.74	v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
1800.07/1785.74	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287
1800.07/1785.74	v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
1800.07/1785.74	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321
1800.07/1785.74	v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338
1800.07/1785.74	v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.07/1785.74	v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372
1800.07/1785.74	v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389
1800.07/1785.74	v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406
1800.07/1785.74	v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423
1800.07/1785.74	v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
1800.07/1785.74	v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457
1800.07/1785.74	v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 x4472 x4473 x4474 x4475
1800.07/1785.74	v x4476 x4477 x4478 x4479 x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493
1800.07/1785.74	v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
1800.07/1785.74	v x4511 -x4512 -x4513 x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528
1800.07/1785.74	v -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545
1800.07/1785.74	v -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562
1800.07/1785.74	v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 x4572 -x4573 x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580
1800.07/1785.74	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597
1800.07/1785.74	v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614
1800.07/1785.74	v -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631
1800.07/1785.74	v -x4632 -x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648
1800.07/1785.74	v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665
1800.07/1785.74	v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682
1800.07/1785.74	v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699
1800.07/1785.74	v -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716
1800.07/1785.74	v -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733
1800.07/1785.74	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
1800.07/1785.74	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767
1800.07/1785.74	v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784
1800.07/1785.74	v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801
1800.07/1785.74	v -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 -x4817 -x4818
1800.07/1785.74	v -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835
1800.07/1785.74	v -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852
1800.07/1785.74	v -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869
1800.07/1785.74	v -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886
1800.07/1785.74	v -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903
1800.07/1785.74	v -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920
1800.07/1785.74	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937
1800.07/1785.74	v -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954
1800.07/1785.74	v -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971
1800.07/1785.74	v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988
1800.07/1785.74	v -x4989 -x4990 x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006
1800.07/1785.74	v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023
1800.07/1785.74	v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040
1800.07/1785.74	v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057
1800.07/1785.74	v -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074
1800.07/1785.74	v -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091
1800.07/1785.74	v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108
1800.07/1785.74	v -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125
1800.07/1785.74	v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142
1800.07/1785.74	v -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159
1800.07/1785.74	v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176
1800.07/1785.74	v -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193
1800.07/1785.74	v -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210
1800.07/1785.74	v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227
1800.07/1785.74	v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244
1800.07/1785.74	v -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261
1800.07/1785.74	v -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278
1800.07/1785.74	v -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295
1800.07/1785.74	v -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312
1800.07/1785.74	v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329
1800.07/1785.74	v -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346
1800.07/1785.74	v -x5347 -x5348 -x5349 -x5350 x5351 -x5352 -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364
1800.07/1785.74	v -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381
1800.07/1785.74	v -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398
1800.07/1785.74	v -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415
1800.07/1785.74	v -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432
1800.07/1785.74	v -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449
1800.07/1785.74	v -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466
1800.07/1785.74	v -x5467 -x5468 -x5469 -x5470 -x5471 x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483
1800.07/1785.74	v -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500
1800.07/1785.74	v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517
1800.07/1785.74	v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 x5532 -x5533 x5534 -x5535
1800.07/1785.74	v -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552
1800.07/1785.74	v -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569
1800.07/1785.74	v -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586
1800.07/1785.74	v -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603
1800.07/1785.74	v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620
1800.07/1785.74	v x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637
1800.07/1785.74	v -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654
1800.07/1785.74	v -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671
1800.07/1785.74	v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688
1800.07/1785.74	v -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705
1800.07/1785.74	v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722
1800.07/1785.74	v -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739
1800.07/1785.74	v -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756
1800.07/1785.74	v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773
1800.07/1785.74	v -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790
1800.07/1785.74	v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808
1800.07/1785.74	v -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825
1800.07/1785.74	v -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842
1800.07/1785.74	v -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859
1800.07/1785.74	v -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876
1800.07/1785.74	v -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893
1800.07/1785.74	v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910
1800.07/1785.74	v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927
1800.07/1785.74	v -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944
1800.07/1785.74	v -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961
1800.07/1785.74	v -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978
1800.07/1785.74	v -x5979 -x5980 -x5981 -x5982 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995
1800.07/1785.74	v -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012
1800.07/1785.74	v -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029
1800.07/1785.74	v -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046
1800.07/1785.74	v -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063
1800.07/1785.74	v -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080
1800.07/1785.74	v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097
1800.07/1785.74	v -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114
1800.07/1785.74	v -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131
1800.07/1785.74	v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148
1800.07/1785.74	v -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 -x6162 x6163 -x6164 -x6165 -x6166
1800.07/1785.74	v -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183
1800.07/1785.74	v -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201
1800.07/1785.74	v -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218
1800.07/1785.74	v -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235
1800.07/1785.74	v -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252
1800.07/1785.74	v -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269
1800.07/1785.74	v -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286
1800.07/1785.74	v -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303
1800.07/1785.74	v -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321
1800.07/1785.74	v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338
1800.07/1785.74	v -x6339 -x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355
1800.07/1785.74	v -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372
1800.07/1785.74	v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389
1800.07/1785.74	v -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406
1800.07/1785.74	v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423
1800.07/1785.74	v -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440
1800.07/1785.74	v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457
1800.07/1785.74	v -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474
1800.07/1785.74	v -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491
1800.07/1785.74	v -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508
1800.07/1785.74	v -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525
1800.07/1785.74	v -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542
1800.07/1785.74	v -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 x6552 -x6553 x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560
1800.07/1785.74	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577
1800.07/1785.74	v -x6578 -x6579 -x6580 -x6581 x6582 -x6583 -x6584 -x6585 x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595
1800.07/1785.74	v -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612
1800.07/1785.74	v -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629
1800.07/1785.74	v -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646
1800.07/1785.74	v -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663
1800.07/1785.74	v -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680
1800.07/1785.74	v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697
1800.07/1785.74	v -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714
1800.07/1785.74	v -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731
1800.07/1785.74	v -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748
1800.07/1785.74	v -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 x6763 x6764 -x6765 -x6766
1800.07/1785.74	v -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783
1800.07/1785.74	v -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800
1800.07/1785.74	v -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817
1800.07/1785.74	v -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834
1800.07/1785.74	v -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851
1800.07/1785.74	v -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868
1800.07/1785.74	v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885
1800.07/1785.74	v -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902
1800.07/1785.74	v -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919
1800.07/1785.74	v -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936
1800.07/1785.74	v -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953
1800.07/1785.74	v -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970
1800.07/1785.74	v -x6971 -x6972 -x6973 x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987
1800.07/1785.74	v -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004
1800.07/1785.74	v -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021
1800.07/1785.74	v -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038
1800.07/1785.74	v -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055
1800.07/1785.74	v -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072
1800.07/1785.74	v -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089
1800.07/1785.74	v -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106
1800.07/1785.74	v -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123
1800.07/1785.74	v -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140
1800.07/1785.74	v -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157
1800.07/1785.74	v -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174
1800.07/1785.74	v -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191
1800.07/1785.74	v -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208
1800.07/1785.74	v -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225
1800.07/1785.74	v -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242
1800.07/1785.74	v -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259
1800.07/1785.74	v -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 x7271 -x7272 x7273 -x7274 -x7275 -x7276 -x7277
1800.07/1785.74	v -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294
1800.07/1785.74	v -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311
1800.07/1785.74	v -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328
1800.07/1785.74	v -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345
1800.07/1785.74	v -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362
1800.07/1785.74	v -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379
1800.07/1785.74	v -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396
1800.07/1785.74	v -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413
1800.07/1785.74	v -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430
1800.07/1785.74	v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447
1800.07/1785.74	v -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464
1800.07/1785.74	v -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481
1800.07/1785.74	v -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498
1800.07/1785.74	v -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515
1800.07/1785.74	v -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532
1800.07/1785.74	v -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549
1800.07/1785.74	v -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566
1800.07/1785.74	v -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583
1800.07/1785.74	v -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600
1800.07/1785.74	v -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617
1800.07/1785.74	v -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634
1800.07/1785.74	v -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651
1800.07/1785.74	v -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668
1800.07/1785.74	v -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 x7684 x7685 -x7686
1800.07/1785.74	v -x7687 -x7688 x7689 -x7690 -x7691 x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 x7701 -x7702 -x7703 -x7704
1800.07/1785.74	v -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 x7713 -x7714 -x7715 -x7716 -x7717 x7718 -x7719 -x7720 -x7721 -x7722
1800.07/1785.74	v -x7723 -x7724 -x7725 -x7726 x7727 x7728 -x7729 -x7730 x7731 -x7732 x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740
1800.07/1785.74	v -x7741 -x7742 -x7743 -x7744 x7745 -x7746 x7747 x7748 x7749 -x7750 -x7751 -x7752 -x7753 x7754 -x7755 -x7756 x7757 -x7758
1800.07/1785.74	v -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 -x7773 -x7774 x7775 -x7776
1800.07/1785.74	v -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 x7791 -x7792 -x7793
1800.07/1785.74	v -x7794 x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811
1800.07/1785.74	v -x7812 -x7813 -x7814 -x7815 -x7816 x7817 -x7818 x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829
1800.07/1785.74	v x7830 x7831 -x7832 x7833 -x7834 x7835 -x7836 x7837 -x7838 -x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 x7847
1800.07/1785.74	v -x7848 x7849 -x7850 x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 x7859 -x7860 -x7861 -x7862 x7863 -x7864 x7865
1800.07/1785.74	v -x7866 -x7867 x7868 -x7869 -x7870 -x7871 -x7872 -x7873 x7874 -x7875 -x7876 x7877 -x7878 -x7879 x7880 -x7881 -x7882 -x7883
1800.07/1785.74	v x7884 -x7885 x7886 x7887 -x7888 -x7889 -x7890 x7891 x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 x7900 -x7901
1800.07/1785.74	v -x7902 -x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919
1800.07/1785.74	v -x7920 -x7921 -x7922 x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936
1800.27/1785.83	c objective function=9341955
1800.27/1785.83	c Total wall clock time (ms): 1785.624

OK	9341955

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node5/watcher-353958-1176689429 -o ROOT/results/node5/solver-353958-1176689429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353958-1176689429/sat4jPseudoResolution.jar /tmp/evaluation/353958-1176689429/instance-353958-1176689429.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 0.98 2/77 2712
/proc/meminfo: memFree=1744264/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=18568 CPUtime=0
/proc/2712/stat : 2712 (runsolver) R 2710 2712 1960 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 144980562 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2712/statm: 4642 292 257 24 0 2626 0

[startup+0.0468761 s]
/proc/loadavg: 1.00 1.00 0.98 2/77 2712
/proc/meminfo: memFree=1744264/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1776376 CPUtime=0.02
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 3400 0 1 0 1 1 0 0 18 0 4 0 144980562 1819009024 3146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 444094 3146 989 9 0 441730 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776376

[startup+0.102007 s]
/proc/loadavg: 1.00 1.00 0.98 2/77 2712
/proc/meminfo: memFree=1744264/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1780108 CPUtime=0.08
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 3963 0 1 0 6 2 0 0 18 0 12 0 144980562 1822830592 3704 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 445027 3704 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301904 s]
/proc/loadavg: 1.00 1.00 0.98 2/77 2712
/proc/meminfo: memFree=1744264/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1782532 CPUtime=0.34
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 5144 0 1 0 31 3 0 0 18 0 12 0 144980562 1825312768 4882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 445633 4882 1267 9 0 443245 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1782532

[startup+0.701951 s]
/proc/loadavg: 1.00 1.00 0.98 2/77 2712
/proc/meminfo: memFree=1744264/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1789500 CPUtime=1.03
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 8359 0 1 0 98 5 0 0 18 0 12 0 144980562 1832448000 7628 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 447375 7636 1303 9 0 444987 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 1789500

[startup+1.50204 s]
/proc/loadavg: 1.00 1.00 0.98 4/89 2724
/proc/meminfo: memFree=1701416/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1797416 CPUtime=2.61
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 20355 0 1 0 251 10 0 0 18 0 12 0 144980562 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449354 16103 1318 9 0 446966 0
[pid=2712/tid=2714] ppid=2710 vsize=1797416 CPUtime=0.96
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 11402 0 1 0 90 6 0 0 18 0 12 0 144980563 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109188069 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 144980565 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 144980565 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 144980567 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 144980567 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 144980567 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144980571 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1797416 CPUtime=0.76
/proc/2712/task/2721/stat : 2721 (java) R 2710 2712 1960 0 -1 64 3236 0 0 0 75 1 0 0 17 0 12 0 144980571 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336899 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1797416 CPUtime=0.85
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 4998 0 0 0 84 1 0 0 19 0 12 0 144980571 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 144980571 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1797416 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144980571 1840553984 16103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 1797416

[startup+3.10222 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 2725
/proc/meminfo: memFree=1677792/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1797268 CPUtime=4.65
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 26883 0 1 0 452 13 0 0 18 0 13 0 144980562 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449317 22233 1319 9 0 446929 0
[pid=2712/tid=2714] ppid=2710 vsize=1797268 CPUtime=2.37
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 17602 0 1 0 228 9 0 0 25 0 13 0 144980563 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522368 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 144980565 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 144980565 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 144980567 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 144980567 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144980567 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144980571 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1797268 CPUtime=1.07
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3510 0 0 0 106 1 0 0 17 0 13 0 144980571 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1797268 CPUtime=1.18
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5047 0 0 0 117 1 0 0 16 0 13 0 144980571 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 144980571 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1797268 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144980571 1840402432 22233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 1797268

[startup+6.30258 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 2728
/proc/meminfo: memFree=1630792/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1796152 CPUtime=7.9
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 35306 0 1 0 772 18 0 0 18 0 13 0 144980562 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449038 30375 1320 9 0 446650 0
[pid=2712/tid=2714] ppid=2710 vsize=1796152 CPUtime=5.54
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 26021 0 1 0 540 14 0 0 25 0 13 0 144980563 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522368 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 144980565 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 144980565 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 144980567 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144980567 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144980571 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1796152 CPUtime=1.12
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3513 0 0 0 111 1 0 0 16 0 13 0 144980571 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1796152 CPUtime=1.21
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5048 0 0 0 120 1 0 0 17 0 13 0 144980571 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 144980571 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144980571 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2728] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2728/stat : 2728 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 144981034 1839259648 30375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 1796152

[startup+12.7023 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 2728
/proc/meminfo: memFree=1570696/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1796152 CPUtime=14.36
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 49353 0 1 0 1413 23 0 0 18 0 13 0 144980562 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449038 44404 1329 9 0 446650 0
[pid=2712/tid=2714] ppid=2710 vsize=1796152 CPUtime=11.88
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 37735 0 1 0 1170 18 0 0 25 0 13 0 144980563 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109714517 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1796152 CPUtime=0.03
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 1181 0 0 0 3 0 0 0 17 0 13 0 144980565 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1796152 CPUtime=0.03
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 1136 0 0 0 3 0 0 0 16 0 13 0 144980565 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 144980567 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144980571 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1796152 CPUtime=1.12
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3515 0 0 0 111 1 0 0 17 0 13 0 144980571 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1796152 CPUtime=1.25
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5056 0 0 0 124 1 0 0 17 0 13 0 144980571 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 144980571 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144980571 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2728] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2728/stat : 2728 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 144981034 1839259648 44404 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 1796152

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 2728
/proc/meminfo: memFree=1543432/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1796152 CPUtime=27.26
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 56334 0 1 0 2699 27 0 0 18 0 13 0 144980562 1839259648 51262 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449038 51262 1329 9 0 446650 0
[pid=2712/tid=2714] ppid=2710 vsize=1796152 CPUtime=24.58
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 37738 0 1 0 2440 18 0 0 23 0 13 0 144980563 1839259648 51262 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831245 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1796152 CPUtime=0.11
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 4735 0 0 0 9 2 0 0 16 0 13 0 144980565 1839259648 51262 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1796152 CPUtime=0.12
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 4555 0 0 0 10 2 0 0 16 0 13 0 144980565 1839259648 51262 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 51262 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 51262 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

################
# More data... #
################

[pid=2712/tid=2717] ppid=2710 vsize=1796152 CPUtime=0.23
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 198 0 0 0 10 13 0 0 16 0 13 0 144980567 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144980571 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1796152 CPUtime=1.29
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3527 0 0 0 128 1 0 0 17 0 13 0 144980571 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1796152 CPUtime=1.37
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5068 0 0 0 136 1 0 0 16 0 13 0 144980571 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 144980571 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144980571 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2728] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2728/stat : 2728 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 144981034 1839259648 361230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1675.75
Current children cumulated vsize (KiB) 1796152

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/90 2730
/proc/meminfo: memFree=285576/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1796152 CPUtime=1736.23
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 535307 0 1 0 173347 276 0 0 18 0 13 0 144980562 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449038 364848 1332 9 0 446650 0
[pid=2712/tid=2714] ppid=2710 vsize=1796152 CPUtime=1707.43
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 56967 0 1 0 170701 42 0 0 25 0 13 0 144980563 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811947 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1796152 CPUtime=12.96
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 235914 0 0 0 1187 109 0 0 16 0 13 0 144980565 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1796152 CPUtime=12.88
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 232891 0 0 0 1182 106 0 0 17 0 13 0 144980565 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1796152 CPUtime=0.24
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 218 0 0 0 11 13 0 0 16 0 13 0 144980567 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144980571 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1796152 CPUtime=1.29
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3527 0 0 0 128 1 0 0 17 0 13 0 144980571 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1796152 CPUtime=1.37
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5068 0 0 0 136 1 0 0 16 0 13 0 144980571 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 144980571 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144980571 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2728] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2728/stat : 2728 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 144981034 1839259648 364848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1736.23
Current children cumulated vsize (KiB) 1796152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2730
/proc/meminfo: memFree=284040/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1796152 CPUtime=1796.65
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 538777 0 1 0 179386 279 0 0 18 0 13 0 144980562 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449038 365223 1332 9 0 446650 0
[pid=2712/tid=2714] ppid=2710 vsize=1796152 CPUtime=1766.92
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 56989 0 1 0 176649 43 0 0 25 0 13 0 144980563 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109714235 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1796152 CPUtime=13.43
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 237048 0 0 0 1233 110 0 0 16 0 13 0 144980565 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1796152 CPUtime=13.33
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 235200 0 0 0 1226 107 0 0 16 0 13 0 144980565 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1796152 CPUtime=0.25
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 223 0 0 0 11 14 0 0 16 0 13 0 144980567 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144980571 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1796152 CPUtime=1.29
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3527 0 0 0 128 1 0 0 17 0 13 0 144980571 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1796152 CPUtime=1.37
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5068 0 0 0 136 1 0 0 16 0 13 0 144980571 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 144980571 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144980571 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2728] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2728/stat : 2728 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 144981034 1839259648 365223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 1796152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2730
/proc/meminfo: memFree=283080/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1796152 CPUtime=1800.07
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 539035 0 1 0 179728 279 0 0 18 0 13 0 144980562 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2712/statm: 449038 365480 1332 9 0 446650 0
[pid=2712/tid=2714] ppid=2710 vsize=1796152 CPUtime=1770.3
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 56990 0 1 0 176987 43 0 0 25 0 13 0 144980563 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109686552 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1796152 CPUtime=13.44
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 237305 0 0 0 1234 110 0 0 16 0 13 0 144980565 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1796152 CPUtime=13.35
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 235200 0 0 0 1228 107 0 0 17 0 13 0 144980565 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1796152 CPUtime=0.25
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 223 0 0 0 11 14 0 0 16 0 13 0 144980567 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144980567 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144980571 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1796152 CPUtime=1.29
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3527 0 0 0 128 1 0 0 17 0 13 0 144980571 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1796152 CPUtime=1.37
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5068 0 0 0 136 1 0 0 16 0 13 0 144980571 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 144980571 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144980571 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2728] ppid=2710 vsize=1796152 CPUtime=0
/proc/2712/task/2728/stat : 2728 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 144981034 1839259648 365480 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1796152

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1785.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2730
/proc/meminfo: memFree=283080/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=1796800 CPUtime=1800.27
/proc/2712/stat : 2712 (java) S 2710 2712 1960 0 -1 0 539051 0 1 0 179748 279 0 0 16 0 15 0 144980562 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2712/statm: 449200 365496 1332 9 0 446812 0
[pid=2712/tid=2714] ppid=2710 vsize=1796800 CPUtime=1770.41
/proc/2712/task/2714/stat : 2714 (java) R 2710 2712 1960 0 -1 64 56990 0 1 0 176998 43 0 0 25 0 15 0 144980563 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109714219 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2715] ppid=2710 vsize=1796800 CPUtime=13.44
/proc/2712/task/2715/stat : 2715 (java) S 2710 2712 1960 0 -1 64 237305 0 0 0 1234 110 0 0 16 0 15 0 144980565 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2716] ppid=2710 vsize=1796800 CPUtime=13.35
/proc/2712/task/2716/stat : 2716 (java) S 2710 2712 1960 0 -1 64 235200 0 0 0 1228 107 0 0 17 0 15 0 144980565 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2717] ppid=2710 vsize=1796800 CPUtime=0.25
/proc/2712/task/2717/stat : 2717 (java) S 2710 2712 1960 0 -1 64 223 0 0 0 11 14 0 0 16 0 15 0 144980567 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2718] ppid=2710 vsize=1796800 CPUtime=0
/proc/2712/task/2718/stat : 2718 (java) S 2710 2712 1960 0 -1 64 10 0 0 0 0 0 0 0 16 0 15 0 144980567 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2719] ppid=2710 vsize=1796800 CPUtime=0
/proc/2712/task/2719/stat : 2719 (java) S 2710 2712 1960 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 144980567 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2720] ppid=2710 vsize=1796800 CPUtime=0
/proc/2712/task/2720/stat : 2720 (java) S 2710 2712 1960 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 144980571 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2721] ppid=2710 vsize=1796800 CPUtime=1.3
/proc/2712/task/2721/stat : 2721 (java) S 2710 2712 1960 0 -1 64 3527 0 0 0 129 1 0 0 16 0 15 0 144980571 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2722] ppid=2710 vsize=1796800 CPUtime=1.39
/proc/2712/task/2722/stat : 2722 (java) S 2710 2712 1960 0 -1 64 5068 0 0 0 138 1 0 0 16 0 15 0 144980571 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2723] ppid=2710 vsize=1796800 CPUtime=0
/proc/2712/task/2723/stat : 2723 (java) S 2710 2712 1960 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 144980571 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2712/tid=2724] ppid=2710 vsize=1796800 CPUtime=0
/proc/2712/task/2724/stat : 2724 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 15 0 15 0 144980571 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2712/tid=2728] ppid=2710 vsize=1796800 CPUtime=0
/proc/2712/task/2728/stat : 2728 (java) S 2710 2712 1960 0 -1 64 0 0 0 0 0 0 0 0 22 0 15 0 144981034 1839923200 365496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 1796800

[startup+1786 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2730
/proc/meminfo: memFree=283080/2055920 swapFree=4158712/4192956
[pid=2712] ppid=2710 vsize=0 CPUtime=1800.48
/proc/2712/stat : 2712 (java) Z 2710 2712 1960 0 -1 1036 539053 0 1 0 179753 295 0 0 15 0 2 0 144980562 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2712/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.06
CPU time (s): 1800.55
CPU user time (s): 1797.53
CPU system time (s): 3.01054
CPU usage (%): 100.811
Max. virtual memory (cumulated for all children) (KiB): 1799720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.53
system time used= 3.01054
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539053
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= 43812
involuntary context switches= 56202

runsolver used 1.73773 second user time and 4.82327 second system time

The end

Begin job on node5 on Mon Apr 16 02:10:29 UTC 2007

IDJOB= 353958
IDBENCH= 2300
IDSOLVER= 159
FILE ID= node5/353958-1176689429

PBS_JOBID= 4559413

Free space on /tmp= 66532 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-ran8x32.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353958-1176689429/sat4jPseudoResolution.jar /tmp/evaluation/353958-1176689429/instance-353958-1176689429.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-353958-1176689429 -o ROOT/results/node5/solver-353958-1176689429 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353958-1176689429/sat4jPseudoResolution.jar /tmp/evaluation/353958-1176689429/instance-353958-1176689429.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  cbc794920cb33f20cfa2472a22fd5e8b

RANDOM SEED= 760933185

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1744672 kB
Buffers:         87252 kB
Cached:         144676 kB
SwapCached:       2808 kB
Active:         151624 kB
Inactive:       106136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1744672 kB
SwapTotal:     4192956 kB
SwapFree:      4158712 kB
Dirty:            4000 kB
Writeback:           0 kB
Mapped:          31564 kB
Slab:            39060 kB
Committed_AS:  8549492 kB
PageTables:       1720 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= 66532 MiB

End job on node5 on Mon Apr 16 02:40:17 UTC 2007