Trace number 362249

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.16 1784.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
MD5SUM1c8cf561f224f1f2f953c533d372407b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.02363
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 77
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 658002
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 658002
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.19/0.20	--- Begin Solver configuration ---
0.19/0.20	c Stops conflict analysis at the first Unique Implication Point
0.19/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.20	c Learn all clauses as in MiniSAT
0.19/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.20	c No reason simplification
0.19/0.20	c --- End Solver configuration ---
0.19/0.20	c solving /tmp/evaluation/362249-1177009182/instance-362249-1177009182.opb
0.19/0.20	c reading problem ... 
6.68/5.38	c ... done. Wall clock time 5.181s.
6.68/5.38	c CPU time (experimental) 4.11s.
6.68/5.38	c #vars     155000
6.68/5.38	c #constraints  5300
1333.44/1321.28	c cleaning 104495 clauses out of 209006 for limit 312902.5386083627
1348.59/1336.23	c cleaning 52750 clauses out of 105505 for limit 1675712.471457018
1362.50/1350.01	c cleaning 26861 clauses out of 53755 for limit 8944693.25237356
1366.95/1354.43	c cleaning 13667 clauses out of 27399 for limit 2.9085601611807235E7
1372.92/1360.32	c cleaning 7093 clauses out of 14230 for limit 9.217109076017001E7
1380.08/1367.46	c cleaning 3803 clauses out of 7634 for limit 2.8248788246195835E8
1385.32/1372.68	c cleaning 2144 clauses out of 4331 for limit 8.211446771795316E8
1391.39/1378.64	c cleaning 1310 clauses out of 2690 for limit 2.186829924374571E9
1396.83/1384.08	c cleaning 936 clauses out of 1877 for limit 5.152943340460982E9
1402.48/1389.62	c cleaning 720 clauses out of 1442 for limit 1.1072476779777279E10
1406.30/1393.46	c cleaning 602 clauses out of 1222 for limit 2.154739235049465E10
1412.06/1399.16	c cleaning 553 clauses out of 1125 for limit 3.879197123032684E10
1417.51/1404.54	c cleaning 515 clauses out of 1066 for limit 6.710980596489127E10
1422.65/1409.66	c cleaning 516 clauses out of 1051 for limit 1.1225258704262636E11
1427.99/1414.95	c cleaning 519 clauses out of 1040 for limit 1.880157283390376E11
1432.53/1419.43	c cleaning 506 clauses out of 1017 for limit 3.158089310864554E11
1435.68/1422.53	c cleaning 504 clauses out of 1010 for limit 5.2389633717121106E11
1439.50/1426.39	c cleaning 487 clauses out of 1006 for limit 8.674104344427092E11
1444.36/1431.13	c cleaning 495 clauses out of 1019 for limit 1.4122263999674539E12
1447.18/1433.97	c cleaning 471 clauses out of 1024 for limit 2.3175784303833945E12
1451.14/1437.84	c cleaning 527 clauses out of 1056 for limit 3.7173195953181064E12
1455.26/1441.99	c cleaning 509 clauses out of 1027 for limit 6.290863169429523E12
1460.59/1447.23	c cleaning 503 clauses out of 1032 for limit 1.0469839816591549E13
1466.64/1453.20	c cleaning 498 clauses out of 1015 for limit 1.7311169727971068E13
1471.15/1457.79	c cleaning 498 clauses out of 1016 for limit 2.8491815539324133E13
1475.99/1462.56	c cleaning 507 clauses out of 1020 for limit 4.689629907193937E13
1481.73/1468.26	c cleaning 503 clauses out of 1011 for limit 7.787076664062983E13
1487.48/1473.91	c cleaning 500 clauses out of 1009 for limit 1.2880266191096223E14
1492.39/1478.81	c cleaning 502 clauses out of 1009 for limit 2.124128204030136E14
1497.12/1483.51	c cleaning 499 clauses out of 1011 for limit 3.510061050847205E14
1502.77/1489.10	c cleaning 501 clauses out of 1007 for limit 5.7825538181665626E-6
1507.21/1493.57	c cleaning 496 clauses out of 1007 for limit 9.545750572939575E-6
1513.25/1499.51	c cleaning 514 clauses out of 1030 for limit 1.5686062416534257E-5
1518.27/1504.58	c cleaning 481 clauses out of 1000 for limit 2.622133880815227E-5
1523.71/1509.96	c cleaning 498 clauses out of 1017 for limit 4.243466447791708E-5
1527.53/1513.73	c cleaning 503 clauses out of 1017 for limit 6.984054763531165E-5
1531.18/1517.35	c cleaning 505 clauses out of 1014 for limit 1.1551716475001944E-4
1536.00/1522.10	c cleaning 501 clauses out of 1015 for limit 1.914614710741489E-4
1540.94/1527.07	c cleaning 493 clauses out of 1014 for limit 3.160569652312742E-4
1557.62/1543.63	c cleaning 998 clauses out of 2015 for limit 7.09069590823267E-4
1562.64/1548.61	c cleaning 761 clauses out of 1534 for limit 0.0015623600976847753
1565.86/1551.89	c cleaning 611 clauses out of 1263 for limit 0.0030982318697378433
1570.27/1556.28	c cleaning 544 clauses out of 1148 for limit 0.0055987776386319825
1574.38/1560.37	c cleaning 532 clauses out of 1105 for limit 0.009602033751506069
1577.49/1563.47	c cleaning 520 clauses out of 1078 for limit 0.01631305089893343
1581.51/1567.40	c cleaning 516 clauses out of 1054 for limit 0.027405086748522343
1583.81/1569.77	c cleaning 510 clauses out of 1035 for limit 0.04588637963777762
1584.51/1570.40	c cleaning 505 clauses out of 1025 for limit 0.07641104960340075
1585.22/1571.11	c cleaning 505 clauses out of 1027 for limit 0.12665054312129154
1585.92/1571.89	c cleaning 498 clauses out of 1013 for limit 0.20985210784728478
1586.82/1572.79	c cleaning 504 clauses out of 1020 for limit 0.3454228437807056
1589.44/1575.34	c cleaning 495 clauses out of 1011 for limit 0.5718516777282756
1591.24/1577.12	c cleaning 483 clauses out of 1016 for limit 0.9384188746215208
1592.75/1578.64	c cleaning 511 clauses out of 1041 for limit 1.5225504567257435
1593.55/1579.42	c cleaning 502 clauses out of 1025 for limit 2.53735881376832
1596.86/1582.74	c cleaning 490 clauses out of 1020 for limit 4.192353849044772
1600.88/1586.71	c cleaning 505 clauses out of 1032 for limit 6.84704711825688
1603.98/1589.85	c cleaning 499 clauses out of 1025 for limit 11.346084453085307
1606.80/1592.69	c cleaning 496 clauses out of 1026 for limit 18.692974067289793
1609.41/1595.21	c cleaning 497 clauses out of 1031 for limit 30.708421832781227
1612.02/1597.82	c cleaning 507 clauses out of 1036 for limit 50.49883023903844
1615.83/1601.61	c cleaning 490 clauses out of 1027 for limit 83.84120150895305
1618.14/1603.93	c cleaning 490 clauses out of 1037 for limit 136.93203665607814
1621.65/1607.50	c cleaning 506 clauses out of 1050 for limit 223.69380008616116
1623.65/1609.43	c cleaning 503 clauses out of 1043 for limit 371.00547036413553
1626.97/1612.71	c cleaning 498 clauses out of 1040 for limit 613.6025691606401
1630.58/1616.36	c cleaning 493 clauses out of 1039 for limit 1009.8510299925439
1633.39/1619.11	c cleaning 510 clauses out of 1052 for limit 1654.7030909775858
1638.91/1624.68	c cleaning 500 clauses out of 1037 for limit 2754.484860687325
1644.63/1630.35	c cleaning 497 clauses out of 1037 for limit 4542.514023665541
1648.65/1634.31	c cleaning 476 clauses out of 1040 for limit 7469.604042510301
1651.26/1636.99	c cleaning 518 clauses out of 1063 for limit 12039.793296086173
1655.09/1640.75	c cleaning 516 clauses out of 1045 for limit 20197.23375825457
1661.02/1646.67	c cleaning 511 clauses out of 1033 for limit 33829.984200777755
1665.34/1650.95	c cleaning 496 clauses out of 1018 for limit 56386.11573242933
1671.26/1656.83	c cleaning 505 clauses out of 1022 for limit 92624.30186609439
1673.38/1658.99	c cleaning 477 clauses out of 1023 for limit 153519.36570051213
1676.80/1662.36	c cleaning 504 clauses out of 1043 for limit 247575.0322638695
1680.81/1666.39	c cleaning 507 clauses out of 1037 for limit 409825.7665006384
1683.93/1669.49	c cleaning 505 clauses out of 1031 for limit 680471.2010799433
1685.76/1671.23	c cleaning 503 clauses out of 1026 for limit 1127656.7950327075
1687.68/1673.15	c cleaning 502 clauses out of 1024 for limit 1865154.2068457187
1688.98/1674.45	c cleaning 510 clauses out of 1020 for limit 3081778.297712694
1693.61/1679.01	c cleaning 502 clauses out of 1009 for limit 5132533.270159104
1697.84/1683.29	c cleaning 472 clauses out of 1007 for limit 8481044.772923272
1702.97/1688.30	c cleaning 517 clauses out of 1044 for limit 1.3612717153503444E7
1708.81/1694.17	c cleaning 490 clauses out of 1037 for limit 2.2827984438276887E7
1714.43/1699.71	c cleaning 491 clauses out of 1028 for limit 3.72609027638917E7
1720.39/1705.60	c cleaning 509 clauses out of 1037 for limit 6.0914911576998234E7
1725.51/1710.76	c cleaning 502 clauses out of 1028 for limit 1.0133632417946072E8
1731.85/1717.07	c cleaning 499 clauses out of 1027 for limit 1.67447326046322E8
1738.67/1723.84	c cleaning 507 clauses out of 1041 for limit 2.7599579853040975E8
1744.71/1729.86	c cleaning 512 clauses out of 1027 for limit 4.581387867406364E8
1748.74/1733.80	c cleaning 500 clauses out of 1015 for limit 7.644645478255509E8
1752.16/1737.28	c cleaning 500 clauses out of 1011 for limit 1.260637077447187E9
1756.19/1741.22	c cleaning 491 clauses out of 1012 for limit 2.0789838620877678E9
1757.70/1742.74	c cleaning 506 clauses out of 1018 for limit 3.398100384452778E9
1758.40/1743.44	c cleaning 490 clauses out of 1011 for limit 5.637080048668419E9
1759.00/1744.06	c cleaning 499 clauses out of 1026 for limit 9.206327978180141E9
1759.71/1744.70	c cleaning 496 clauses out of 1029 for limit 1.516852456660657E10
1760.31/1745.32	c cleaning 499 clauses out of 1029 for limit 2.491501650389239E10
1760.92/1745.91	c cleaning 499 clauses out of 1028 for limit 4.10459491472267E10
1761.52/1746.54	c cleaning 498 clauses out of 1028 for limit 6.762257091144278E10
1762.13/1747.12	c cleaning 512 clauses out of 1030 for limit 1.1130212471998242E11
1762.73/1747.76	c cleaning 490 clauses out of 1022 for limit 1.857307095852368E11
1763.34/1748.36	c cleaning 482 clauses out of 1029 for limit 3.032994275940918E11
1763.94/1748.99	c cleaning 481 clauses out of 1046 for limit 4.9156013649833246E11
1764.74/1749.71	c cleaning 503 clauses out of 1066 for limit 7.962354966281876E11
1765.35/1750.37	c cleaning 518 clauses out of 1063 for limit 1.3168046817296128E12
1766.15/1751.12	c cleaning 519 clauses out of 1045 for limit 2.208992406829997E12
1766.85/1751.84	c cleaning 509 clauses out of 1025 for limit 3.710291430901211E12
1767.46/1752.44	c cleaning 505 clauses out of 1016 for limit 6.17296859896671E12
1768.06/1753.04	c cleaning 494 clauses out of 1011 for limit 1.0230397468897732E13
1768.67/1753.65	c cleaning 495 clauses out of 1019 for limit 1.677236825714688E13
1769.27/1754.23	c cleaning 481 clauses out of 1026 for limit 2.7526191254720758E13
1769.87/1754.87	c cleaning 520 clauses out of 1045 for limit 4.456901955307428E13
1770.47/1755.46	c cleaning 496 clauses out of 1022 for limit 7.492915358462677E13
1771.07/1756.07	c cleaning 482 clauses out of 1026 for limit 1.2308645074285356E14
1771.68/1756.68	c cleaning 492 clauses out of 1044 for limit 1.9948626446013706E14
1772.28/1757.29	c cleaning 508 clauses out of 1052 for limit 3.2647779136210094E14
1772.98/1757.90	c cleaning 511 clauses out of 1048 for limit 5.4262779398092044E14
1773.58/1758.51	c cleaning 513 clauses out of 1032 for limit 9.042050922139412E14
1774.19/1759.12	c cleaning 507 clauses out of 1021 for limit 1.5102394628649635E15
1774.79/1759.73	c cleaning 492 clauses out of 1015 for limit 2.5078174091384775E15
1775.40/1760.35	c cleaning 507 clauses out of 1020 for limit 4.1031192114227295E15
1776.21/1761.14	c cleaning 492 clauses out of 1016 for limit 6.813653138267028E15
1776.80/1761.78	c cleaning 480 clauses out of 1023 for limit 1.1148577845836818E16
1777.61/1762.55	c cleaning 521 clauses out of 1042 for limit 1.8032201871385936E16
1778.33/1763.24	c cleaning 510 clauses out of 1020 for limit 3.0348531623519192E16
1778.93/1763.81	c cleaning 506 clauses out of 1013 for limit 5.0546120904344152E16
1779.53/1764.41	c cleaning 502 clauses out of 1005 for limit 8.385289843733168E16
1780.14/1765.04	c cleaning 468 clauses out of 1003 for limit 0.0013856038923134345
1780.84/1765.73	c cleaning 486 clauses out of 1034 for limit 0.0022143224549527477
1781.54/1766.42	c cleaning 491 clauses out of 1048 for limit 0.0036029315166455707
1782.15/1767.03	c cleaning 495 clauses out of 1060 for limit 0.005892110011960079
1782.75/1767.63	c cleaning 495 clauses out of 1065 for limit 0.009671258498237904
1783.35/1768.21	c cleaning 504 clauses out of 1067 for limit 0.015871593486508653
1784.06/1768.91	c cleaning 496 clauses out of 1067 for limit 0.02627934071494927
1784.66/1769.53	c cleaning 505 clauses out of 1075 for limit 0.0431881255188828
1785.27/1770.12	c cleaning 500 clauses out of 1067 for limit 0.07154194637504266
1785.87/1770.70	c cleaning 496 clauses out of 1062 for limit 0.11794620785509065
1786.47/1771.30	c cleaning 503 clauses out of 1067 for limit 0.19379139025054762
1787.08/1771.97	c cleaning 497 clauses out of 1063 for limit 0.3204697255818481
1787.69/1772.58	c cleaning 502 clauses out of 1069 for limit 0.5271108916770109
1788.29/1773.16	c cleaning 497 clauses out of 1065 for limit 0.8707970538197732
1788.89/1773.75	c cleaning 503 clauses out of 1068 for limit 1.4320269561448178
1789.60/1774.45	c cleaning 498 clauses out of 1065 for limit 2.3682564295225275
1790.20/1775.06	c cleaning 503 clauses out of 1068 for limit 3.898499464480432
1790.80/1775.65	c cleaning 497 clauses out of 1063 for limit 6.446475412038973
1791.40/1776.22	c cleaning 493 clauses out of 1067 for limit 10.601848024650527
1792.11/1776.91	c cleaning 520 clauses out of 1074 for limit 17.36991125068059
1794.33/1779.10	c cleaning 492 clauses out of 1054 for limit 29.18886157683459
1796.94/1781.78	c cleaning 499 clauses out of 1062 for limit 47.77372861043226
1799.76/1784.59	c cleaning 494 clauses out of 1062 for limit 78.70648426414199
1800.07/1784.81	c starts		: 18
1800.07/1784.81	c conflicts		: 287539
1800.07/1784.81	c decisions		: 676692
1800.07/1784.81	c propagations		: 93931232
1800.07/1784.81	c inspects		: 298342515
1800.07/1784.81	c learnt literals	: 0
1800.07/1784.81	c learnt binary clauses	: 0
1800.07/1784.81	c learnt ternary clauses	: 0
1800.07/1784.81	c learnt clauses	: 287539
1800.07/1784.81	c root simplifications	: 0
1800.07/1784.81	c removed literals (reason simplification)	: 0
1800.07/1784.81	c reason swapping (by a shorter reason)	: 0
1800.07/1784.81	c Calls to reduceDB	: 154
1800.07/1784.81	c speed (decisions/second)	: 380.43376821094506
1800.07/1784.81	c non guided choices	48240
1800.07/1784.81	s UNKNOWN
1800.07/1784.81	c Total wall clock time (ms): 1784.609

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node70/watcher-362249-1177009182 -o ROOT/results/node70/solver-362249-1177009182 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362249-1177009182/sat4jPseudoResolution.jar /tmp/evaluation/362249-1177009182/instance-362249-1177009182.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.03 1.01 1.00 3/64 29818
/proc/meminfo: memFree=1761856/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=18568 CPUtime=0
/proc/29818/stat : 29818 (runsolver) R 29816 29818 28596 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 140455528 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 233402068263 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29818/statm: 4642 292 257 24 0 2626 0

[startup+0.0146851 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29818
/proc/meminfo: memFree=1761856/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=12056 CPUtime=0
/proc/29818/stat : 29818 (java) R 29816 29818 28596 0 -1 0 609 0 0 0 0 0 0 0 18 0 1 0 140455528 12345344 417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 8384799 0 0 4096 0 0 0 0 17 1 0 0
/proc/29818/statm: 3014 421 141 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.101701 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29818
/proc/meminfo: memFree=1761856/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1780108 CPUtime=0.08
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 3972 0 1 0 7 1 0 0 18 0 12 0 140455528 1822830592 3714 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 445027 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301723 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29818
/proc/meminfo: memFree=1761856/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1782328 CPUtime=0.32
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 6430 0 1 0 30 2 0 0 18 0 12 0 140455528 1825103872 6169 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 445582 6169 1267 9 0 443194 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782328

[startup+0.701759 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29818
/proc/meminfo: memFree=1761856/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1784056 CPUtime=0.9
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 10668 0 1 0 86 4 0 0 18 0 12 0 140455528 1826873344 10002 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 446014 10004 1296 9 0 443626 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 1784056

[startup+1.50284 s]
/proc/loadavg: 1.03 1.01 1.00 2/76 29830
/proc/meminfo: memFree=1698208/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1784056 CPUtime=1.82
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 24718 0 1 0 173 9 0 0 18 0 12 0 140455528 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 446014 24052 1302 9 0 443626 0
[pid=29818/tid=29820] ppid=29816 vsize=1784056 CPUtime=1.24
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 22619 0 1 0 116 8 0 0 25 0 12 0 140455530 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109212964 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 140455531 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 140455531 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 140455534 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 140455534 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 140455534 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 140455538 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1784056 CPUtime=0.28
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 650 0 0 0 28 0 0 0 16 0 12 0 140455538 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1784056 CPUtime=0.28
/proc/29818/task/29828/stat : 29828 (java) R 29816 29818 28596 0 -1 64 730 0 0 0 28 0 0 0 16 0 12 0 140455538 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102403036 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 140455538 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1784056 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 140455538 1826873344 24052 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 1784056

[startup+3.102 s]
/proc/loadavg: 1.02 1.01 1.00 2/76 29830
/proc/meminfo: memFree=1616992/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1785344 CPUtime=3.86
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 48568 0 1 0 366 20 0 0 18 0 12 0 140455528 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 446336 47327 1313 9 0 443948 0
[pid=29818/tid=29820] ppid=29816 vsize=1785344 CPUtime=2.46
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 37672 0 1 0 233 13 0 0 21 0 12 0 140455530 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109477194 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1785344 CPUtime=0.2
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 3559 0 0 0 19 1 0 0 16 0 12 0 140455531 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1785344 CPUtime=0.21
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 5043 0 0 0 18 3 0 0 18 0 12 0 140455531 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1785344 CPUtime=0
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 140455534 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1785344 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 140455534 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1785344 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 140455534 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1785344 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 140455538 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1785344 CPUtime=0.48
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 826 0 0 0 48 0 0 0 16 0 12 0 140455538 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1785344 CPUtime=0.46
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 743 0 0 0 46 0 0 0 15 0 12 0 140455538 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1785344 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 140455538 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1785344 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 140455538 1828192256 47327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 1785344

[startup+6.30232 s]
/proc/loadavg: 1.02 1.01 1.00 3/76 29830
/proc/meminfo: memFree=1512672/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1788932 CPUtime=8.29
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 72367 0 1 0 800 29 0 0 18 0 13 0 140455528 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447233 67590 1334 9 0 444845 0
[pid=29818/tid=29820] ppid=29816 vsize=1788932 CPUtime=4.63
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 37713 0 1 0 449 14 0 0 17 0 13 0 140455530 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845811 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788932 CPUtime=1.08
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 14956 0 0 0 102 6 0 0 19 0 13 0 140455531 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788932 CPUtime=1.08
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 16431 0 0 0 101 7 0 0 16 0 13 0 140455531 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788932 CPUtime=0
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 140455534 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788932 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788932 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1788932 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140455538 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1788932 CPUtime=0.73
/proc/29818/task/29827/stat : 29827 (java) R 29816 29818 28596 0 -1 64 1538 0 0 0 73 0 0 0 16 0 13 0 140455538 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336970 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1788932 CPUtime=0.73
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 999 0 0 0 73 0 0 0 16 0 13 0 140455538 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1788932 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140455538 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1788932 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 140455538 1831866368 67590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 1788932

[startup+12.702 s]
/proc/loadavg: 1.09 1.03 1.00 2/77 29831
/proc/meminfo: memFree=1489176/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1788292 CPUtime=15.09
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 74505 0 1 0 1479 30 0 0 18 0 13 0 140455528 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447073 69223 1334 9 0 444685 0
[pid=29818/tid=29820] ppid=29816 vsize=1788292 CPUtime=10.75
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 37719 0 1 0 1061 14 0 0 25 0 13 0 140455530 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109880982 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788292 CPUtime=1.27
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 15768 0 0 0 121 6 0 0 16 0 13 0 140455531 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788292 CPUtime=1.27
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 17559 0 0 0 120 7 0 0 16 0 13 0 140455531 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 140455534 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140455538 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1788292 CPUtime=0.88
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 1719 0 0 0 88 0 0 0 16 0 13 0 140455538 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1788292 CPUtime=0.86
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 1010 0 0 0 86 0 0 0 17 0 13 0 140455538 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140455538 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 140455538 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29831] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29831/stat : 29831 (java) S 29816 29818 28596 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 140456149 1831211008 69223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 1788292

[startup+25.5023 s]
/proc/loadavg: 1.08 1.03 1.00 2/77 29831
/proc/meminfo: memFree=1474904/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1788292 CPUtime=28.19
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 78944 0 1 0 2786 33 0 0 18 0 13 0 140455528 1831211008 72824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447073 72824 1334 9 0 444685 0
[pid=29818/tid=29820] ppid=29816 vsize=1788292 CPUtime=23.32
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 37724 0 1 0 2318 14 0 0 25 0 13 0 140455530 1831211008 72824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662205 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788292 CPUtime=1.48
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 18338 0 0 0 140 8 0 0 18 0 13 0 140455531 1831211008 72824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788292 CPUtime=1.48
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 19390 0 0 0 140 8 0 0 16 0 13 0 140455531 1831211008 72824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 140455534 1831211008 72824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 72824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 72824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=29818] ppid=29816 vsize=1788292 CPUtime=1616.53
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 533074 0 1 0 161360 293 0 0 18 0 13 0 140455528 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447073 85164 1336 9 0 444685 0
[pid=29818/tid=29820] ppid=29816 vsize=1788292 CPUtime=1585.91
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 49273 0 1 0 158566 25 0 0 25 0 13 0 140455530 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845977 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788292 CPUtime=13.76
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 219678 0 0 0 1272 104 0 0 16 0 13 0 140455531 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788292 CPUtime=13.74
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 257062 0 0 0 1246 128 0 0 16 0 13 0 140455531 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788292 CPUtime=0.96
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 3560 0 0 0 64 32 0 0 17 0 13 0 140455534 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140455538 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1788292 CPUtime=1.07
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 1732 0 0 0 107 0 0 0 17 0 13 0 140455538 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1788292 CPUtime=1.03
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 1046 0 0 0 103 0 0 0 16 0 13 0 140455538 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140455538 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 140455538 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29831/stat : 29831 (java) S 29816 29818 28596 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 140456149 1831211008 85164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1616.53
Current children cumulated vsize (KiB) 1788292

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 30029
/proc/meminfo: memFree=1435224/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1788292 CPUtime=1676.8
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 533118 0 1 0 167386 294 0 0 18 0 13 0 140455528 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447073 81797 1336 9 0 444685 0
[pid=29818/tid=29820] ppid=29816 vsize=1788292 CPUtime=1645.58
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 49316 0 1 0 164533 25 0 0 19 0 13 0 140455530 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109876838 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788292 CPUtime=14.04
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 219678 0 0 0 1300 104 0 0 16 0 13 0 140455531 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788292 CPUtime=14.04
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 257062 0 0 0 1275 129 0 0 16 0 13 0 140455531 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788292 CPUtime=0.97
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 3561 0 0 0 64 33 0 0 16 0 13 0 140455534 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140455538 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1788292 CPUtime=1.07
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 1732 0 0 0 107 0 0 0 17 0 13 0 140455538 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1788292 CPUtime=1.03
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 1046 0 0 0 103 0 0 0 16 0 13 0 140455538 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140455538 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 140455538 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29831/stat : 29831 (java) S 29816 29818 28596 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 140456149 1831211008 81797 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1676.8
Current children cumulated vsize (KiB) 1788292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 30029
/proc/meminfo: memFree=1466968/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1788292 CPUtime=1737.17
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 539485 0 1 0 173419 298 0 0 18 0 13 0 140455528 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447073 73836 1336 9 0 444685 0
[pid=29818/tid=29820] ppid=29816 vsize=1788292 CPUtime=1704.62
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 49372 0 1 0 170437 25 0 0 19 0 13 0 140455530 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109846074 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788292 CPUtime=14.42
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 219857 0 0 0 1338 104 0 0 16 0 13 0 140455531 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788292 CPUtime=14.42
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 257238 0 0 0 1313 129 0 0 16 0 13 0 140455531 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788292 CPUtime=1.52
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 9514 0 0 0 116 36 0 0 16 0 13 0 140455534 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140455538 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1788292 CPUtime=1.07
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 1732 0 0 0 107 0 0 0 17 0 13 0 140455538 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1788292 CPUtime=1.05
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 1049 0 0 0 105 0 0 0 17 0 13 0 140455538 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140455538 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 140455538 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29831/stat : 29831 (java) S 29816 29818 28596 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 140456149 1831211008 73836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1737.17
Current children cumulated vsize (KiB) 1788292

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 30029
/proc/meminfo: memFree=1466648/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1788292 CPUtime=1797.55
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 540247 0 1 0 179454 301 0 0 18 0 13 0 140455528 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447073 73949 1336 9 0 444685 0
[pid=29818/tid=29820] ppid=29816 vsize=1788292 CPUtime=1764.17
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 49437 0 1 0 176392 25 0 0 19 0 13 0 140455530 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109846544 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788292 CPUtime=14.83
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 220140 0 0 0 1378 105 0 0 16 0 13 0 140455531 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788292 CPUtime=14.81
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 257650 0 0 0 1352 129 0 0 16 0 13 0 140455531 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788292 CPUtime=1.55
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 9516 0 0 0 117 38 0 0 15 0 13 0 140455534 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140455538 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1788292 CPUtime=1.07
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 1732 0 0 0 107 0 0 0 17 0 13 0 140455538 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1788292 CPUtime=1.05
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 1049 0 0 0 105 0 0 0 17 0 13 0 140455538 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140455538 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 140455538 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29831/stat : 29831 (java) S 29816 29818 28596 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 140456149 1831211008 73949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1788292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 30029
/proc/meminfo: memFree=1467480/2055920 swapFree=4183764/4192956
[pid=29818] ppid=29816 vsize=1788292 CPUtime=1800.07
/proc/29818/stat : 29818 (java) S 29816 29818 28596 0 -1 0 540251 0 1 0 179706 301 0 0 18 0 13 0 140455528 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 447073 73708 1336 9 0 444685 0
[pid=29818/tid=29820] ppid=29816 vsize=1788292 CPUtime=1766.65
/proc/29818/task/29820/stat : 29820 (java) R 29816 29818 28596 0 -1 64 49441 0 1 0 176640 25 0 0 20 0 13 0 140455530 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845895 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29821] ppid=29816 vsize=1788292 CPUtime=14.84
/proc/29818/task/29821/stat : 29821 (java) S 29816 29818 28596 0 -1 64 220140 0 0 0 1379 105 0 0 16 0 13 0 140455531 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29822] ppid=29816 vsize=1788292 CPUtime=14.83
/proc/29818/task/29822/stat : 29822 (java) S 29816 29818 28596 0 -1 64 257650 0 0 0 1354 129 0 0 16 0 13 0 140455531 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29823] ppid=29816 vsize=1788292 CPUtime=1.55
/proc/29818/task/29823/stat : 29823 (java) S 29816 29818 28596 0 -1 64 9516 0 0 0 117 38 0 0 15 0 13 0 140455534 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29824] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29816 29818 28596 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29825] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29816 29818 28596 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140455534 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29826] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29826/stat : 29826 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140455538 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29827] ppid=29816 vsize=1788292 CPUtime=1.07
/proc/29818/task/29827/stat : 29827 (java) S 29816 29818 28596 0 -1 64 1732 0 0 0 107 0 0 0 17 0 13 0 140455538 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29828] ppid=29816 vsize=1788292 CPUtime=1.05
/proc/29818/task/29828/stat : 29828 (java) S 29816 29818 28596 0 -1 64 1049 0 0 0 105 0 0 0 17 0 13 0 140455538 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29829] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29829/stat : 29829 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140455538 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29818/tid=29830] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29816 29818 28596 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 140455538 1831211008 73708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29816 vsize=1788292 CPUtime=0
/proc/29818/task/29831/stat : 29831 (java) S 29816 29818 28596 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 140456149 1831211008 73708 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) 1788292

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

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

Child status: 143
Real time (s): 1784.89
CPU time (s): 1800.16
CPU user time (s): 1797.1
CPU system time (s): 3.06053
CPU usage (%): 100.856
Max. virtual memory (cumulated for all children) (KiB): 1800544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.1
system time used= 3.06053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540271
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= 45943
involuntary context switches= 33203

runsolver used 1.9727 second user time and 4.5823 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 18:59:42 UTC 2007

IDJOB= 362249
IDBENCH= 1544
IDSOLVER= 159
FILE ID= node70/362249-1177009182

PBS_JOBID= 4630483

Free space on /tmp= 66467 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362249-1177009182/sat4jPseudoResolution.jar /tmp/evaluation/362249-1177009182/instance-362249-1177009182.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-362249-1177009182 -o ROOT/results/node70/solver-362249-1177009182 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362249-1177009182/sat4jPseudoResolution.jar /tmp/evaluation/362249-1177009182/instance-362249-1177009182.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  1c8cf561f224f1f2f953c533d372407b

RANDOM SEED= 651765302

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1762264 kB
Buffers:          9636 kB
Cached:         222652 kB
SwapCached:       2788 kB
Active:          55092 kB
Inactive:       187180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762264 kB
SwapTotal:     4192956 kB
SwapFree:      4183764 kB
Dirty:           10144 kB
Writeback:           0 kB
Mapped:          16224 kB
Slab:            37448 kB
Committed_AS:  2493160 kB
PageTables:       1396 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= 66467 MiB

End job on node70 on Thu Apr 19 19:29:29 UTC 2007