| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.16 | 1793.57 |
| Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb |
| MD5SUM | 6a9fe13a82af2a971b95647e608ff18d |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -1 |
| Best CPU time to get the best result obtained on this benchmark | 1800.3 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -1 |
| Optimality of the best value was proved | NO |
| Number of variables | 3401 |
| Total number of constraints | 9841 |
| Number of constraints which are clauses | 9840 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3280 |
| Number of terms in the objective function | 41 |
| Biggest coefficient in the objective function | 1099511627776 |
| Number of bits for the biggest coefficient in the objective function | 41 |
| Sum of the numbers in the objective function | 2199023255551 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 664613997892457936451903530140172288 |
| Number of bits of the biggest number in a constraint | 120 |
| Biggest sum of numbers in a constraint | 2658455991569719978762429512260881840 |
| Number of bits of the biggest sum of numbers | 121 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.48 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.48 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.48 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.49 c no version file found!!! 0.09/0.49 c sun.arch.data.model 32 0.09/0.49 c java.version 1.6.0 0.09/0.49 c os.name Linux 0.09/0.49 c os.version 2.6.9-22.EL.rootsmp 0.09/0.49 c os.arch i386 0.09/0.49 c Free memory 1651659224 0.09/0.49 c Max memory 1654456320 0.09/0.49 c Total memory 1654456320 0.09/0.49 c Number of processors 2 0.16/0.55 --- Begin Solver configuration --- 0.16/0.55 c Stops conflict analysis at the first Unique Implication Point 0.16/0.55 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.16/0.55 c Learn all clauses as in MiniSAT 0.16/0.55 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.16/0.55 c VSIDS like heuristics from MiniSAT using a heap 0.16/0.55 c No reason simplification 0.16/0.55 c --- End Solver configuration --- 0.16/0.55 c solving /tmp/evaluation/355310-1176805775/instance-355310-1176805775.opb 0.16/0.55 c reading problem ... 1.74/1.60 c ... done. Wall clock time 1.047s. 1.74/1.60 c CPU time (experimental) 0.89s. 1.74/1.60 c #vars 3401 1.74/1.60 c #constraints 9842 1449.87/1445.25 c cleaning 97992 clauses out of 196004 for limit 0.7477920094048646 1455.43/1450.72 c cleaning 49502 clauses out of 99008 for limit 4.010044516053627 1457.62/1452.92 c cleaning 24990 clauses out of 50006 for limit 13.093424610062446 1459.07/1454.36 c cleaning 12745 clauses out of 25516 for limit 42.31736934875073 1460.37/1455.68 c cleaning 6624 clauses out of 13271 for limit 134.17867326870635 1461.67/1456.92 c cleaning 3559 clauses out of 7149 for limit 411.5918399287635 1463.00/1458.22 c cleaning 2033 clauses out of 4089 for limit 1185.540289750835 1464.30/1459.57 c cleaning 1264 clauses out of 2556 for limit 3127.7243113923223 1465.61/1460.89 c cleaning 885 clauses out of 1792 for limit 7357.109111438566 1467.10/1462.38 c cleaning 683 clauses out of 1406 for limit 15448.319997903773 1468.54/1463.74 c cleaning 602 clauses out of 1225 for limit 29299.175517198895 1469.74/1464.99 c cleaning 544 clauses out of 1122 for limit 52701.1396018356 1471.04/1466.27 c cleaning 525 clauses out of 1077 for limit 90452.07523443249 1472.57/1467.75 c cleaning 512 clauses out of 1053 for limit 152720.1233598694 1473.77/1468.98 c cleaning 508 clauses out of 1041 for limit 254759.1521541988 1475.37/1470.59 c cleaning 502 clauses out of 1032 for limit 423372.0682964616 1477.29/1472.43 c cleaning 496 clauses out of 1030 for limit 699552.9009992275 1478.90/1474.08 c cleaning 502 clauses out of 1034 for limit 1149193.4311492688 1480.62/1475.80 c cleaning 499 clauses out of 1033 for limit 1898907.242439449 1482.62/1477.70 c cleaning 516 clauses out of 1033 for limit 3128420.521974695 1483.82/1478.91 c cleaning 509 clauses out of 1018 for limit 5240443.807074892 1485.04/1480.12 c cleaning 505 clauses out of 1010 for limit 8719365.270171938 1486.24/1481.35 c cleaning 503 clauses out of 1006 for limit 1.445102536352849E7 1487.44/1482.57 c cleaning 496 clauses out of 1001 for limit 2.390283590290967E7 1488.78/1483.90 c cleaning 491 clauses out of 1004 for limit 3.926188710069975E7 1490.27/1485.37 c cleaning 492 clauses out of 1014 for limit 6.417373646536396E7 1492.60/1487.62 c cleaning 510 clauses out of 1021 for limit 1.0500039059638667E8 1494.30/1489.33 c cleaning 506 clauses out of 1012 for limit 1.748745230418879E8 1496.19/1491.29 c cleaning 489 clauses out of 1007 for limit 2.901135301982417E8 1497.91/1492.91 c cleaning 497 clauses out of 1018 for limit 4.732662810850232E8 1499.61/1494.61 c cleaning 489 clauses out of 1019 for limit 7.781548358860632E8 1501.54/1496.57 c cleaning 498 clauses out of 1030 for limit 1.2695764768203218E9 1503.34/1498.35 c cleaning 516 clauses out of 1033 for limit 2.0897107123721786E9 1504.84/1499.88 c cleaning 508 clauses out of 1016 for limit 3.50037165045722E9 1506.27/1501.22 c cleaning 498 clauses out of 1008 for limit 5.818395258842049E9 1507.67/1502.64 c cleaning 493 clauses out of 1011 for limit 9.576415832296415E9 1509.99/1504.94 c cleaning 495 clauses out of 1018 for limit 1.5684195988643196E10 1512.09/1507.03 c cleaning 495 clauses out of 1022 for limit 2.57383390791116E10 1514.21/1509.17 c cleaning 497 clauses out of 1027 for limit 4.223931409022621E10 1516.71/1511.63 c cleaning 496 clauses out of 1030 for limit 6.94553914160911E10 1519.24/1514.19 c cleaning 518 clauses out of 1037 for limit 1.1411003899238768E11 1521.74/1516.66 c cleaning 496 clauses out of 1018 for limit 1.9150327584844437E11 1523.83/1518.79 c cleaning 512 clauses out of 1024 for limit 3.1459291625621765E11 1526.36/1521.26 c cleaning 504 clauses out of 1008 for limit 5.249358140306748E11 1528.16/1523.08 c cleaning 500 clauses out of 1005 for limit 8.69142672074424E11 1530.68/1525.54 c cleaning 489 clauses out of 1005 for limit 1.4333325380772095E12 1533.59/1528.41 c cleaning 494 clauses out of 1016 for limit 2.338165244686204E12 1536.71/1531.51 c cleaning 511 clauses out of 1023 for limit 3.833395897520275E12 1540.03/1534.84 c cleaning 491 clauses out of 1010 for limit 6.390352236167405E12 1542.93/1537.74 c cleaning 509 clauses out of 1019 for limit 1.0445467301965027E13 1545.75/1540.60 c cleaning 492 clauses out of 1013 for limit 1.73800905541179E13 1548.25/1543.00 c cleaning 508 clauses out of 1018 for limit 2.843583947736066E13 1550.17/1544.95 c cleaning 505 clauses out of 1010 for limit 4.726594498761992E13 1553.27/1548.02 c cleaning 483 clauses out of 1005 for limit 7.83356667399762E13 1556.00/1550.77 c cleaning 497 clauses out of 1023 for limit 1.2703996663554242E14 1558.80/1553.54 c cleaning 496 clauses out of 1025 for limit 2.0888801097644147E14 1561.12/1555.85 c cleaning 514 clauses out of 1029 for limit 3.431451715299037E14 1563.42/1558.14 c cleaning 507 clauses out of 1015 for limit 5.736977039304118E14 1565.85/1560.56 c cleaning 489 clauses out of 1008 for limit 9.526744301709439E14 1567.85/1562.50 c cleaning 492 clauses out of 1019 for limit 1.5541278532992168E15 1569.48/1564.19 c cleaning 492 clauses out of 1028 for limit 2.5430693997590145E15 1570.87/1565.54 c cleaning 518 clauses out of 1036 for limit 4.1614766139254115E15 1573.80/1568.45 c cleaning 501 clauses out of 1017 for limit 6.984054763531096E-5 1576.69/1571.38 c cleaning 503 clauses out of 1017 for limit 1.1529169784978541E-4 1579.62/1574.23 c cleaning 503 clauses out of 1013 for limit 1.9069131678041534E-4 1582.34/1576.98 c cleaning 497 clauses out of 1010 for limit 3.1540957721747765E-4 1584.83/1579.49 c cleaning 502 clauses out of 1013 for limit 5.186121554251387E-4 1587.35/1582.00 c cleaning 490 clauses out of 1011 for limit 8.569527336180304E-4 1589.67/1584.30 c cleaning 491 clauses out of 1021 for limit 0.0013993880759146568 1592.07/1586.65 c cleaning 498 clauses out of 1030 for limit 0.002287613092227369 1594.59/1589.19 c cleaning 499 clauses out of 1033 for limit 0.0037653892237851662 1597.03/1591.56 c cleaning 496 clauses out of 1033 for limit 0.006203420924225338 1599.53/1594.00 c cleaning 499 clauses out of 1037 for limit 0.010190809956881222 1601.94/1596.49 c cleaning 499 clauses out of 1039 for limit 0.016790449016043978 1604.44/1598.97 c cleaning 501 clauses out of 1041 for limit 0.027664162511664505 1607.07/1601.54 c cleaning 503 clauses out of 1040 for limit 0.0456657720433648 1609.79/1604.21 c cleaning 500 clauses out of 1037 for limit 0.07552683302168275 1612.30/1606.78 c cleaning 499 clauses out of 1035 for limit 0.12454507094672344 1615.02/1609.46 c cleaning 499 clauses out of 1037 for limit 0.20520055759645622 1617.74/1612.13 c cleaning 501 clauses out of 1039 for limit 0.3380898588988623 1620.27/1614.70 c cleaning 500 clauses out of 1036 for limit 0.5580521681305801 1622.89/1617.26 c cleaning 500 clauses out of 1036 for limit 0.9203026801307487 1625.59/1619.93 c cleaning 498 clauses out of 1038 for limit 1.5178120599695752 1628.31/1622.67 c cleaning 504 clauses out of 1043 for limit 2.4985639333415817 1630.91/1625.24 c cleaning 500 clauses out of 1035 for limit 4.135730828437733 1633.53/1627.88 c cleaning 499 clauses out of 1034 for limit 6.820142540562445 1636.46/1630.71 c cleaning 500 clauses out of 1035 for limit 11.236460448707556 1638.96/1633.29 c cleaning 501 clauses out of 1036 for limit 18.53107102569667 1641.58/1635.89 c cleaning 498 clauses out of 1036 for limit 30.590805969673465 1644.79/1639.05 c cleaning 502 clauses out of 1036 for limit 50.347485194312725 1647.50/1641.78 c cleaning 500 clauses out of 1034 for limit 83.19033755874676 1650.53/1644.75 c cleaning 500 clauses out of 1035 for limit 137.19663962546062 1653.32/1647.55 c cleaning 502 clauses out of 1035 for limit 226.25561258047088 1656.04/1650.23 c cleaning 498 clauses out of 1033 for limit 373.8481850312835 1658.87/1653.07 c cleaning 499 clauses out of 1036 for limit 615.3557193582368 1661.47/1655.65 c cleaning 501 clauses out of 1036 for limit 1013.7890981350505 1664.29/1658.48 c cleaning 500 clauses out of 1034 for limit 1673.4325360000755 1666.89/1661.05 c cleaning 509 clauses out of 1036 for limit 2759.903533391242 1668.51/1662.63 c cleaning 492 clauses out of 1025 for limit 4591.098980974229 1670.32/1664.45 c cleaning 508 clauses out of 1033 for limit 7512.700693133045 1672.04/1666.12 c cleaning 501 clauses out of 1025 for limit 12486.146608526327 1673.64/1667.72 c cleaning 494 clauses out of 1025 for limit 20611.938062331446 1675.27/1669.38 c cleaning 502 clauses out of 1031 for limit 33794.024599941404 1676.97/1671.02 c cleaning 499 clauses out of 1028 for limit 55837.61266110171 1678.39/1672.47 c cleaning 500 clauses out of 1032 for limit 92002.51117919614 1679.99/1674.03 c cleaning 502 clauses out of 1029 for limit 151710.75010784072 1682.42/1676.41 c cleaning 500 clauses out of 1027 for limit 250678.54993117347 1685.34/1679.38 c cleaning 497 clauses out of 1028 for limit 413413.7352735001 1687.64/1681.63 c cleaning 502 clauses out of 1031 for limit 679790.7298788567 1689.87/1683.89 c cleaning 504 clauses out of 1030 for limit 1123277.5453432484 1692.27/1686.26 c cleaning 496 clauses out of 1026 for limit 1859656.9102360476 1694.09/1688.04 c cleaning 497 clauses out of 1028 for limit 3054737.7916374 1695.39/1689.32 c cleaning 514 clauses out of 1031 for limit 5023012.676615404 1697.12/1691.07 c cleaning 508 clauses out of 1017 for limit 8397652.002294635 1698.82/1692.80 c cleaning 505 clauses out of 1010 for limit 1.3958792501662709E7 1700.54/1694.50 c cleaning 482 clauses out of 1004 for limit 2.313432794403763E7 1702.24/1696.20 c cleaning 499 clauses out of 1023 for limit 3.748049911228949E7 1703.86/1697.73 c cleaning 491 clauses out of 1023 for limit 6.1748546730543956E7 1704.96/1698.89 c cleaning 500 clauses out of 1032 for limit 1.0094354772915176E8 1706.77/1700.65 c cleaning 499 clauses out of 1036 for limit 1.6649164343031836E8 1708.38/1702.23 c cleaning 517 clauses out of 1035 for limit 2.742828852711877E8 1709.99/1703.84 c cleaning 509 clauses out of 1020 for limit 4.599004112115437E8 1711.80/1705.66 c cleaning 503 clauses out of 1007 for limit 7.651601418689193E8 1714.00/1707.90 c cleaning 489 clauses out of 1005 for limit 1.2656282105796814E9 1715.43/1709.30 c cleaning 485 clauses out of 1015 for limit 2.0645601546162114E9 1717.03/1710.88 c cleaning 496 clauses out of 1031 for limit 3.3552533378980513E9 1718.75/1712.50 c cleaning 494 clauses out of 1034 for limit 5.511690453775357E9 1720.35/1714.16 c cleaning 497 clauses out of 1040 for limit 9.037075390000023E9 1721.87/1715.67 c cleaning 497 clauses out of 1045 for limit 1.4861747031822506E10 1723.38/1717.11 c cleaning 500 clauses out of 1047 for limit 2.4437729241730656E10 1724.97/1718.71 c cleaning 509 clauses out of 1046 for limit 4.0299273888743126E10 1726.50/1720.28 c cleaning 518 clauses out of 1038 for limit 6.703813919600003E10 1728.10/1721.90 c cleaning 509 clauses out of 1019 for limit 1.1250361968751797E11 1729.82/1723.55 c cleaning 495 clauses out of 1010 for limit 1.8718678831382123E11 1731.62/1725.35 c cleaning 504 clauses out of 1017 for limit 3.071853672692529E11 1733.44/1727.12 c cleaning 486 clauses out of 1011 for limit 5.085775497302183E11 1735.24/1728.94 c cleaning 513 clauses out of 1026 for limit 8.272778161848348E11 1737.07/1730.74 c cleaning 507 clauses out of 1015 for limit 1.381839515594202E12 1738.37/1732.03 c cleaning 490 clauses out of 1006 for limit 2.2946292894009233E12 1740.59/1734.29 c cleaning 509 clauses out of 1019 for limit 3.74710404143461E12 1742.29/1735.94 c cleaning 503 clauses out of 1006 for limit 6.234330115854991E12 1744.11/1737.72 c cleaning 480 clauses out of 1003 for limit 1.0311995853495014E13 1745.82/1739.46 c cleaning 512 clauses out of 1024 for limit 1.6673781455838318E13 1747.34/1740.98 c cleaning 500 clauses out of 1012 for limit 2.7823351094897215E13 1748.94/1742.53 c cleaning 493 clauses out of 1011 for limit 4.58838834745113E13 1750.86/1744.43 c cleaning 494 clauses out of 1019 for limit 7.514974971883008E13 1752.46/1746.09 c cleaning 498 clauses out of 1024 for limit 1.2320352711299245E14 1754.06/1747.62 c cleaning 499 clauses out of 1026 for limit 2.027830374622656E14 1755.56/1749.10 c cleaning 496 clauses out of 1027 for limit 3.340907321094581E14 1757.17/1750.70 c cleaning 497 clauses out of 1034 for limit 5.488753857927882E14 1758.77/1752.38 c cleaning 517 clauses out of 1034 for limit 9.024561461941769E14 1760.28/1753.87 c cleaning 509 clauses out of 1018 for limit 1.513175380249044E15 1761.88/1755.48 c cleaning 490 clauses out of 1009 for limit 2.517687161912439E15 1763.68/1757.28 c cleaning 499 clauses out of 1020 for limit 4.111337775636188E15 1765.09/1758.68 c cleaning 508 clauses out of 1019 for limit 6.773232909524916E15 1766.49/1760.08 c cleaning 487 clauses out of 1011 for limit 1.1258354649865002E16 1767.99/1761.53 c cleaning 504 clauses out of 1029 for limit 1.8333236967324771E-4 1769.39/1762.97 c cleaning 505 clauses out of 1020 for limit 3.034853162351887E-4 1771.00/1764.53 c cleaning 501 clauses out of 1015 for limit 5.029533435776335E-4 1772.60/1766.13 c cleaning 491 clauses out of 1015 for limit 8.302676150691336E-4 1774.51/1768.09 c cleaning 489 clauses out of 1023 for limit 0.0013571563472984955 1776.11/1769.63 c cleaning 498 clauses out of 1036 for limit 0.0022144744355753927 1777.62/1771.15 c cleaning 491 clauses out of 1037 for limit 0.0036447944853672427 1779.12/1772.61 c cleaning 499 clauses out of 1045 for limit 0.005958773620577763 1780.53/1774.02 c cleaning 503 clauses out of 1047 for limit 0.009817861337069992 1782.13/1775.61 c cleaning 498 clauses out of 1043 for limit 0.016236807526466467 1783.64/1777.11 c cleaning 490 clauses out of 1045 for limit 0.026725420521422193 1784.94/1778.45 c cleaning 508 clauses out of 1055 for limit 0.043656032624868515 1786.24/1779.77 c cleaning 503 clauses out of 1047 for limit 0.07254474029403589 1787.64/1781.16 c cleaning 501 clauses out of 1044 for limit 0.11997976316293549 1789.14/1782.61 c cleaning 497 clauses out of 1043 for limit 0.19805238541125048 1790.55/1784.04 c cleaning 495 clauses out of 1046 for limit 0.3256781245635758 1791.85/1785.38 c cleaning 503 clauses out of 1051 for limit 0.5345316731248884 1793.37/1786.82 c cleaning 505 clauses out of 1051 for limit 0.8841640779766963 1794.77/1788.28 c cleaning 500 clauses out of 1044 for limit 1.4649471160561702 1796.37/1789.86 c cleaning 502 clauses out of 1043 for limit 2.415791854596368 1797.77/1791.28 c cleaning 496 clauses out of 1041 for limit 3.9916180564902364 1799.38/1792.85 c cleaning 507 clauses out of 1049 for limit 6.558705852979252 1800.08/1793.51 c starts : 18 1800.08/1793.51 c conflicts : 285171 1800.08/1793.51 c decisions : 335696 1800.08/1793.51 c propagations : 21310984 1800.08/1793.51 c inspects : 882732572 1800.08/1793.51 c learnt literals : 0 1800.08/1793.51 c learnt binary clauses : 0 1800.08/1793.51 c learnt ternary clauses : 0 1800.08/1793.51 c learnt clauses : 285171 1800.08/1793.51 c root simplifications : 0 1800.08/1793.51 c removed literals (reason simplification) : 0 1800.08/1793.51 c reason swapping (by a shorter reason) : 0 1800.08/1793.51 c Calls to reduceDB : 178 1800.08/1793.51 c speed (decisions/second) : 187.3409159779653 1800.08/1793.51 c non guided choices 28 1800.08/1793.51 s UNKNOWN 1800.08/1793.51 c Total wall clock time (ms): 1792.96
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-355310-1176805775 -o ROOT/results/node35/solver-355310-1176805775 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355310-1176805775/sat4jPseudoResolution.jar /tmp/evaluation/355310-1176805775/instance-355310-1176805775.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.07 1.08 1.04 3/77 4050 /proc/meminfo: memFree=1926160/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=18568 CPUtime=0 /proc/4050/stat : 4050 (runsolver) D 4048 4050 3345 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 128492914 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 266134416679 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0 /proc/4050/statm: 4642 292 257 24 0 2626 0 [startup+0.0976579 s] /proc/loadavg: 1.07 1.08 1.04 3/77 4050 /proc/meminfo: memFree=1926160/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1472 CPUtime=0 /proc/4050/stat : 4050 (java) D 4048 4050 3345 0 -1 0 96 0 7 0 0 0 0 0 18 0 1 0 128492914 1507328 76 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 2543246 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/4050/statm: 368 76 56 9 0 10 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1472 [startup+0.101655 s] /proc/loadavg: 1.07 1.08 1.04 3/77 4050 /proc/meminfo: memFree=1926160/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1800 CPUtime=0 /proc/4050/stat : 4050 (java) D 4048 4050 3345 0 -1 0 139 0 10 0 0 0 0 0 18 0 1 0 128492914 1843200 122 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 1929653 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/4050/statm: 450 124 88 9 0 92 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1800 [startup+0.301687 s] /proc/loadavg: 1.07 1.08 1.04 3/77 4050 /proc/meminfo: memFree=1926160/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1776088 CPUtime=0.04 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 3212 0 57 0 1 3 0 0 18 0 4 0 128492914 1818714112 3016 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 444022 3016 887 9 0 441658 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1776088 [startup+0.701732 s] /proc/loadavg: 1.07 1.08 1.04 3/77 4050 /proc/meminfo: memFree=1926160/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1782436 CPUtime=0.41 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 5201 0 57 0 35 6 0 0 18 0 12 0 128492914 1825214464 4994 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 445609 4994 1268 9 0 443221 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 1782436 [startup+1.50283 s] /proc/loadavg: 1.14 1.10 1.05 4/89 4062 /proc/meminfo: memFree=1895984/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1785668 CPUtime=1.57 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 11817 0 57 0 147 10 0 0 18 0 12 0 128492914 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446417 10347 1301 9 0 444029 0 [pid=4050/tid=4052] ppid=4048 vsize=1785668 CPUtime=0.82 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 8608 0 11 0 75 7 0 0 25 0 12 0 128492931 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109185018 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 128492941 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 128492941 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 128492945 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 9 0 0 0 0 0 0 0 19 0 12 0 128492946 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 4 0 0 0 0 0 0 0 20 0 12 0 128492946 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 128492955 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785668 CPUtime=0.37 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 1247 0 0 0 37 0 0 0 16 0 12 0 128492955 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785668 CPUtime=0.33 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 1289 0 0 0 33 0 0 0 16 0 12 0 128492955 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 128492955 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785668 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 128492955 1828524032 10347 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 1785668 [startup+3.10301 s] /proc/loadavg: 1.14 1.10 1.05 4/90 4063 /proc/meminfo: memFree=1873320/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1785992 CPUtime=3.66 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 16297 0 57 0 354 12 0 0 18 0 13 0 128492914 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446498 13184 1315 9 0 444110 0 [pid=4050/tid=4052] ppid=4048 vsize=1785992 CPUtime=2.23 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 11355 0 11 0 215 8 0 0 25 0 13 0 128492931 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109783078 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 128492941 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492941 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 128492945 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 9 0 0 0 0 0 0 0 19 0 13 0 128492946 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 128492946 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828855808 13184 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785992 CPUtime=0.72 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2003 0 0 0 71 1 0 0 16 0 13 0 128492955 1828855808 13185 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785992 CPUtime=0.66 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2262 0 0 0 66 0 0 0 16 0 13 0 128492955 1828855808 13185 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828855808 13185 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828855808 13185 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785992 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828855808 13185 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1785992 [startup+6.30139 s] /proc/loadavg: 1.14 1.10 1.05 2/90 4063 /proc/meminfo: memFree=1856360/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1785832 CPUtime=6.87 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 20328 0 57 0 673 14 0 0 18 0 13 0 128492914 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 17173 1315 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=5.41 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 15381 0 11 0 531 10 0 0 25 0 13 0 128492931 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109665705 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 128492941 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492941 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 128492945 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 9 0 0 0 0 0 0 0 19 0 13 0 128492946 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 128492946 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785832 CPUtime=0.74 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2004 0 0 0 73 1 0 0 17 0 13 0 128492955 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785832 CPUtime=0.68 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2266 0 0 0 68 0 0 0 16 0 13 0 128492955 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828691968 17173 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.87 Current children cumulated vsize (KiB) 1785832 [startup+12.7011 s] /proc/loadavg: 1.12 1.10 1.05 2/90 4063 /proc/meminfo: memFree=1820712/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1785832 CPUtime=13.27 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 28747 0 57 0 1310 17 0 0 18 0 13 0 128492914 1828691968 25592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 25592 1315 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=11.81 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 23800 0 11 0 1168 13 0 0 25 0 13 0 128492931 1828691968 25592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109511584 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 128492941 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492941 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 128492945 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 9 0 0 0 0 0 0 0 19 0 13 0 128492946 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 128492946 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785832 CPUtime=0.74 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2004 0 0 0 73 1 0 0 17 0 13 0 128492955 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785832 CPUtime=0.68 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2266 0 0 0 68 0 0 0 16 0 13 0 128492955 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828691968 25593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.27 Current children cumulated vsize (KiB) 1785832 [startup+25.5027 s] /proc/loadavg: 1.10 1.09 1.05 2/90 4063 /proc/meminfo: memFree=1730216/2055920 swapFree=4093232/4192956 [pid=4050] ppid=4048 vsize=1785832 CPUtime=26.12 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 51439 0 57 0 2583 29 0 0 18 0 13 0 128492914 1828691968 47421 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 47421 1324 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=24.54 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 37711 0 11 0 2434 20 0 0 25 0 13 0 128492931 1828691968 47421 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109511762 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=0.05 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 4404 0 0 0 3 2 0 0 17 0 13 0 128492941 1828691968 47421 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=0.04 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 4372 0 0 0 2 2 0 0 16 0 13 0 128492941 1828691968 47421 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 128492945 1828691968 47421 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=4050] ppid=4048 vsize=1785832 CPUtime=1668.21 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 462049 0 57 0 166554 267 0 0 18 0 13 0 128492914 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 367710 1329 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=1655.01 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 37878 0 11 0 165466 35 0 0 25 0 13 0 128492931 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109511554 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=5.66 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 206302 0 0 0 458 108 0 0 16 0 13 0 128492941 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=5.65 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 212880 0 0 0 450 115 0 0 16 0 13 0 128492941 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0.06 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 12 0 0 0 2 4 0 0 16 0 13 0 128492945 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 128492946 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785832 CPUtime=0.92 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2018 0 0 0 91 1 0 0 16 0 13 0 128492955 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785832 CPUtime=0.86 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2284 0 0 0 85 1 0 0 16 0 13 0 128492955 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828691968 367710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1668.21 Current children cumulated vsize (KiB) 1785832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4065 /proc/meminfo: memFree=419752/2055920 swapFree=4093936/4192956 [pid=4050] ppid=4048 vsize=1785832 CPUtime=1728.62 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 469209 0 57 0 172590 272 0 0 18 0 13 0 128492914 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 374005 1329 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=1714.54 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 37895 0 11 0 171419 35 0 0 25 0 13 0 128492931 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109684147 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=6.09 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 209792 0 0 0 499 110 0 0 16 0 13 0 128492941 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=6.09 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 216532 0 0 0 492 117 0 0 16 0 13 0 128492941 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0.06 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 13 0 0 0 2 4 0 0 16 0 13 0 128492945 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 128492946 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785832 CPUtime=0.92 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2018 0 0 0 91 1 0 0 16 0 13 0 128492955 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785832 CPUtime=0.86 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2284 0 0 0 85 1 0 0 16 0 13 0 128492955 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828691968 374005 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1728.62 Current children cumulated vsize (KiB) 1785832 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4065 /proc/meminfo: memFree=1678632/2055920 swapFree=4094000/4192956 [pid=4050] ppid=4048 vsize=1785832 CPUtime=1788.84 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 471412 0 57 0 178591 293 0 0 18 0 13 0 128492914 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 59051 1332 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=1773.93 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 37912 0 11 0 177357 36 0 0 25 0 13 0 128492931 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109631408 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=6.34 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 210963 0 0 0 524 110 0 0 16 0 13 0 128492941 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=6.34 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 217542 0 0 0 517 117 0 0 16 0 13 0 128492941 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0.37 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 18 0 0 0 14 23 0 0 16 0 13 0 128492945 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785832 CPUtime=0.92 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2018 0 0 0 91 1 0 0 16 0 13 0 128492955 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785832 CPUtime=0.86 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2284 0 0 0 85 1 0 0 16 0 13 0 128492955 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828691968 59051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1788.84 Current children cumulated vsize (KiB) 1785832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4065 /proc/meminfo: memFree=1678760/2055920 swapFree=4094000/4192956 [pid=4050] ppid=4048 vsize=1785832 CPUtime=1800.08 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 471416 0 57 0 179714 294 0 0 18 0 13 0 128492914 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 58997 1332 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=1785.1 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 37916 0 11 0 178474 36 0 0 25 0 13 0 128492931 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109631387 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=6.38 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 210963 0 0 0 528 110 0 0 16 0 13 0 128492941 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=6.37 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 217542 0 0 0 520 117 0 0 16 0 13 0 128492941 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0.38 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 18 0 0 0 14 24 0 0 16 0 13 0 128492945 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785832 CPUtime=0.92 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2018 0 0 0 91 1 0 0 16 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785832 CPUtime=0.86 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2284 0 0 0 85 1 0 0 16 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1785832 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4065 /proc/meminfo: memFree=1678760/2055920 swapFree=4094000/4192956 [pid=4050] ppid=4048 vsize=1785832 CPUtime=1800.08 /proc/4050/stat : 4050 (java) S 4048 4050 3345 0 -1 0 471416 0 57 0 179714 294 0 0 18 0 13 0 128492914 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4050/statm: 446458 58997 1332 9 0 444070 0 [pid=4050/tid=4052] ppid=4048 vsize=1785832 CPUtime=1785.1 /proc/4050/task/4052/stat : 4052 (java) R 4048 4050 3345 0 -1 64 37916 0 11 0 178474 36 0 0 25 0 13 0 128492931 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109631387 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4053] ppid=4048 vsize=1785832 CPUtime=6.38 /proc/4050/task/4053/stat : 4053 (java) S 4048 4050 3345 0 -1 64 210963 0 0 0 528 110 0 0 16 0 13 0 128492941 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4054] ppid=4048 vsize=1785832 CPUtime=6.37 /proc/4050/task/4054/stat : 4054 (java) S 4048 4050 3345 0 -1 64 217542 0 0 0 520 117 0 0 16 0 13 0 128492941 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4055] ppid=4048 vsize=1785832 CPUtime=0.38 /proc/4050/task/4055/stat : 4055 (java) S 4048 4050 3345 0 -1 64 18 0 0 0 14 24 0 0 16 0 13 0 128492945 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4056] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4056/stat : 4056 (java) S 4048 4050 3345 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4057] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4057/stat : 4057 (java) S 4048 4050 3345 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128492946 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4058] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4058/stat : 4058 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4059] ppid=4048 vsize=1785832 CPUtime=0.92 /proc/4050/task/4059/stat : 4059 (java) S 4048 4050 3345 0 -1 64 2018 0 0 0 91 1 0 0 16 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4060] ppid=4048 vsize=1785832 CPUtime=0.86 /proc/4050/task/4060/stat : 4060 (java) S 4048 4050 3345 0 -1 64 2284 0 0 0 85 1 0 0 16 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4061] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4061/stat : 4061 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4050/tid=4062] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4062/stat : 4062 (java) S 4048 4050 3345 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 128492955 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4050/tid=4063] ppid=4048 vsize=1785832 CPUtime=0 /proc/4050/task/4063/stat : 4063 (java) S 4048 4050 3345 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 128493076 1828691968 58997 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1785832 Child status: 143 Real time (s): 1793.57 CPU time (s): 1800.16 CPU user time (s): 1797.18 CPU system time (s): 2.98055 CPU usage (%): 100.367 Max. virtual memory (cumulated for all children) (KiB): 1786660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.18 system time used= 2.98055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 471436 page faults= 57 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39329 involuntary context switches= 45456 runsolver used 1.80773 second user time and 4.76328 second system time The end
Begin job on node35 on Tue Apr 17 10:29:35 UTC 2007 IDJOB= 355310 IDBENCH= 3034 IDSOLVER= 159 FILE ID= node35/355310-1176805775 PBS_JOBID= 4586236 Free space on /tmp= 66484 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355310-1176805775/sat4jPseudoResolution.jar /tmp/evaluation/355310-1176805775/instance-355310-1176805775.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-355310-1176805775 -o ROOT/results/node35/solver-355310-1176805775 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355310-1176805775/sat4jPseudoResolution.jar /tmp/evaluation/355310-1176805775/instance-355310-1176805775.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 6a9fe13a82af2a971b95647e608ff18d RANDOM SEED= 439521009 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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: 1926568 kB Buffers: 13600 kB Cached: 37544 kB SwapCached: 23928 kB Active: 61092 kB Inactive: 34456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1926568 kB SwapTotal: 4192956 kB SwapFree: 4093232 kB Dirty: 3932 kB Writeback: 0 kB Mapped: 38080 kB Slab: 19112 kB Committed_AS: 2366440 kB PageTables: 1996 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= 66484 MiB End job on node35 on Tue Apr 17 10:59:30 UTC 2007