Trace number 3741038

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.1 1784.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-99.opb
MD5SUMa0ef64dc4a665e7cf00a752d7a124006
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark28.0957
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7903
Total number of constraints176726
Number of constraints which are clauses158806
Number of constraints which are cardinality constraints (but not clauses)574
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.09	c no version file found!!!
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version	1.6.0_24
0.07/0.09	c os.name	Linux
0.07/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.09	c os.arch	amd64
0.07/0.09	c Free memory 1599470296
0.07/0.09	c Max memory 1607860224
0.07/0.09	c Total memory 1607860224
0.07/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3741038-1338739667.opb
0.08/0.11	c reading problem ... 
2.61/1.67	c ... done. Wall clock time 1.555s.
2.61/1.67	c CPU time (experimental) 1.59s.
2.61/1.67	c #vars     7903
2.61/1.67	c #constraints  174121
1637.16/1624.67	c cleaning 430840 clauses out of 861934 for limit 4.108423370184279E8
1659.45/1646.80	c cleaning 219311 clauses out of 439096 for limit 2.4185381264685594E-8
1673.53/1660.76	c cleaning 118283 clauses out of 236785 for limit 1.0925929409875306
1678.71/1665.86	c cleaning 63860 clauses out of 128001 for limit 27103.573589407868
1686.19/1673.21	c cleaning 39848 clauses out of 80142 for limit 3.8815272403905994E11
1686.49/1673.55	c cleaning 20157 clauses out of 40792 for limit 1.2550894506295623E12
1691.99/1678.95	c cleaning 18080 clauses out of 36635 for limit 0.1251819944409682
1692.19/1679.14	c cleaning 9276 clauses out of 19057 for limit 0.3976568235241672
1692.29/1679.29	c cleaning 4887 clauses out of 10280 for limit 1.2144824226861184
1698.35/1685.22	c cleaning 12654 clauses out of 25893 for limit 3.896667454930616E8
1698.44/1685.35	c cleaning 6566 clauses out of 13738 for limit 1.2099671478293734E9
1698.54/1685.44	c cleaning 3604 clauses out of 7673 for limit 3.5762040563015065E9
1698.64/1685.54	c cleaning 2036 clauses out of 4568 for limit 9.896525992486567E9
1704.62/1691.49	c cleaning 11152 clauses out of 22532 for limit 0.009832061867907204
1706.80/1693.52	c cleaning 8809 clauses out of 17881 for limit 8.284152722194644
1706.90/1693.61	c cleaning 4603 clauses out of 9570 for limit 25.475037125018954
1710.10/1696.78	c cleaning 8870 clauses out of 17966 for limit 6042663.778772309
1710.30/1696.92	c cleaning 4719 clauses out of 9596 for limit 1.865715730775082E7
1712.38/1698.95	c cleaning 6531 clauses out of 13378 for limit 6.611943166548581E10
1712.48/1699.08	c cleaning 3598 clauses out of 7346 for limit 1.983767425982161E11
1714.07/1700.54	c cleaning 4264 clauses out of 8748 for limit 2.478516271947264E13
1718.95/1705.35	c cleaning 10398 clauses out of 20981 for limit 1.5265767241470725
1719.15/1705.51	c cleaning 5504 clauses out of 11083 for limit 4.765882972328893
1721.23/1707.55	c cleaning 6692 clauses out of 13580 for limit 11652.782519450357
1721.33/1707.67	c cleaning 3611 clauses out of 7390 for limit 35384.24091023505
1721.43/1707.75	c cleaning 2001 clauses out of 4276 for limit 100546.96749429918
1721.53/1707.82	c cleaning 1255 clauses out of 2775 for limit 255505.09975291777
1723.94/1710.16	c cleaning 5229 clauses out of 10520 for limit 5.485961894345343E8
1724.14/1710.31	c cleaning 2864 clauses out of 5792 for limit 1.6448654258340454E9
1726.73/1712.82	c cleaning 6061 clauses out of 12427 for limit 1.0280635661129006E13
1726.83/1712.97	c cleaning 3289 clauses out of 6867 for limit 3.0712107414416496E13
1726.93/1713.08	c cleaning 1893 clauses out of 4077 for limit 8.522310030494972E13
1729.51/1715.55	c cleaning 5706 clauses out of 11684 for limit 0.00399179606336025
1729.61/1715.67	c cleaning 3104 clauses out of 6479 for limit 0.011883443692015922
1729.71/1715.78	c cleaning 1803 clauses out of 3874 for limit 0.03274251623093782
1729.81/1715.88	c cleaning 1151 clauses out of 2571 for limit 0.08136272362760646
1732.48/1718.42	c cleaning 5903 clauses out of 11922 for limit 641.8315892441551
1732.58/1718.56	c cleaning 3205 clauses out of 6518 for limit 1934.0924281754353
1734.75/1720.66	c cleaning 5545 clauses out of 11312 for limit 3332052.7239731746
1734.85/1720.78	c cleaning 2986 clauses out of 6267 for limit 9918533.249032237
1734.95/1720.89	c cleaning 1761 clauses out of 3782 for limit 2.713163853503796E7
1737.87/1723.70	c cleaning 6126 clauses out of 12521 for limit 2.991797249893723E11
1738.06/1723.81	c cleaning 3295 clauses out of 6894 for limit 8.95202466981172E11
1740.93/1726.68	c cleaning 7028 clauses out of 14099 for limit 1.5980040146903614E-4
1741.03/1726.79	c cleaning 3659 clauses out of 7572 for limit 4.911859889553635E-4
1741.13/1726.90	c cleaning 2085 clauses out of 4412 for limit 0.001388808758939797
1744.41/1730.02	c cleaning 7054 clauses out of 14329 for limit 70.15722129987098
1744.51/1730.18	c cleaning 3771 clauses out of 7773 for limit 212.85627521413312
1744.72/1730.31	c cleaning 2134 clauses out of 4502 for limit 606.0738166205671
1744.72/1730.39	c cleaning 1318 clauses out of 2869 for limit 1569.9682274847696
1744.81/1730.46	c cleaning 917 clauses out of 2050 for limit 3619.836257905021
1744.91/1730.56	c cleaning 722 clauses out of 1633 for limit 7493.9792999072115
1747.61/1733.12	c cleaning 5863 clauses out of 11911 for limit 6.185573381236221E7
1747.71/1733.22	c cleaning 3161 clauses out of 6548 for limit 1.8555617193129522E8
1747.81/1733.30	c cleaning 1834 clauses out of 3887 for limit 5.154961445012969E8
1747.81/1733.38	c cleaning 1267 clauses out of 2553 for limit 1.2943300504216166E9
1747.91/1733.45	c cleaning 794 clauses out of 1787 for limit 3.052542332089547E9
1748.01/1733.52	c cleaning 681 clauses out of 1493 for limit 6.025350664892731E9
1748.01/1733.60	c cleaning 617 clauses out of 1313 for limit 1.1310135489621319E10
1748.11/1733.67	c cleaning 553 clauses out of 1195 for limit 2.0473212945116177E10
1748.21/1733.74	c cleaning 475 clauses out of 1141 for limit 3.532560754129696E10
1751.78/1737.28	c cleaning 8195 clauses out of 16666 for limit 2.1685368309491278E-4
1751.88/1737.37	c cleaning 4364 clauses out of 8970 for limit 6.637845082350773E-4
1751.98/1737.45	c cleaning 2422 clauses out of 5107 for limit 0.0019246160197077301
1752.08/1737.52	c cleaning 1465 clauses out of 3186 for limit 0.0050927760807969276
1752.18/1737.60	c cleaning 987 clauses out of 2221 for limit 0.012047798115452892
1752.18/1737.67	c cleaning 729 clauses out of 1732 for limit 0.02542700543003589
1752.29/1737.75	c cleaning 620 clauses out of 1504 for limit 0.04833766482791203
1752.39/1737.82	c cleaning 551 clauses out of 1383 for limit 0.08660295229638378
1755.47/1740.85	c cleaning 7299 clauses out of 14833 for limit 9788.704736608577
1755.57/1740.97	c cleaning 3887 clauses out of 8035 for limit 29830.377077490793
1755.67/1741.06	c cleaning 2199 clauses out of 4647 for limit 84975.42141678053
1755.77/1741.14	c cleaning 1342 clauses out of 2948 for limit 220899.33443249878
1755.87/1741.21	c cleaning 929 clauses out of 2107 for limit 510208.57059692196
1755.87/1741.28	c cleaning 822 clauses out of 1677 for limit 1056089.1916720679
1755.97/1741.35	c cleaning 540 clauses out of 1354 for limit 2154945.898933346
1756.07/1741.42	c cleaning 520 clauses out of 1315 for limit 3662854.620342987
1756.07/1741.49	c cleaning 637 clauses out of 1295 for limit 6133827.427864239
1760.84/1746.13	c cleaning 10465 clauses out of 21157 for limit 3.031126707074538E-6
1760.94/1746.28	c cleaning 5523 clauses out of 11192 for limit 9.449446329813216E-6
1762.63/1747.81	c cleaning 5755 clauses out of 11667 for limit 0.003667967765751432
1762.73/1747.97	c cleaning 3157 clauses out of 6412 for limit 0.011006445351845095
1764.62/1749.79	c cleaning 4528 clauses out of 9255 for limit 3.0855658290462227
1764.82/1749.91	c cleaning 2483 clauses out of 5227 for limit 9.009789123295574
1767.30/1752.37	c cleaning 5515 clauses out of 11244 for limit 20672.66031911792
1767.39/1752.49	c cleaning 3012 clauses out of 6229 for limit 61539.61312643763
1767.49/1752.59	c cleaning 1721 clauses out of 3717 for limit 170073.40961119358
1767.59/1752.67	c cleaning 1096 clauses out of 2499 for limit 418429.35580172203
1772.38/1757.38	c cleaning 8856 clauses out of 17900 for limit 8.603518698102823E11
1775.17/1760.08	c cleaning 8723 clauses out of 17546 for limit 4.3408033896972674E-5
1775.36/1760.22	c cleaning 4600 clauses out of 9321 for limit 1.3448461253600473E-4
1775.46/1760.36	c cleaning 2483 clauses out of 5221 for limit 3.9594721978600874E-4
1775.66/1760.50	c cleaning 1488 clauses out of 3238 for limit 0.001052858562993415
1778.03/1762.88	c cleaning 4719 clauses out of 9751 for limit 1.0474334173535995
1778.23/1763.01	c cleaning 2613 clauses out of 5531 for limit 3.04223878468156
1778.33/1763.16	c cleaning 1550 clauses out of 3418 for limit 8.118593296494538
1780.98/1765.78	c cleaning 5559 clauses out of 11368 for limit 32766.5436376918
1781.08/1765.89	c cleaning 3037 clauses out of 6312 for limit 97612.88067327173
1781.18/1765.99	c cleaning 1746 clauses out of 3772 for limit 268568.3229951899
1781.38/1766.10	c cleaning 1119 clauses out of 2526 for limit 661376.8847868259
1785.18/1769.83	c cleaning 9203 clauses out of 18406 for limit 2.2111749161045215E12
1785.28/1769.94	c cleaning 4851 clauses out of 9703 for limit 6.917232484653416E12
1785.37/1770.03	c cleaning 2613 clauses out of 5355 for limit 2.0731863983628844E13
1785.47/1770.11	c cleaning 1555 clauses out of 3239 for limit 5.635587922468146E13
1785.47/1770.18	c cleaning 1071 clauses out of 2184 for limit 1.3783307040453395E14
1785.57/1770.24	c cleaning 782 clauses out of 1613 for limit 3.077709211485194E14
1785.67/1770.30	c cleaning 642 clauses out of 1333 for limit 6.153988961320088E14
1785.67/1770.38	c cleaning 595 clauses out of 1191 for limit 1.1358761685267815E15
1785.77/1770.46	c cleaning 547 clauses out of 1094 for limit 2.0352243535791415E15
1785.87/1770.54	c cleaning 499 clauses out of 1047 for limit 3.507024647359593E15
1785.97/1770.60	c cleaning 523 clauses out of 1048 for limit 5.778034147603114E15
1785.97/1770.66	c cleaning 485 clauses out of 1025 for limit 9.74256716337918E15
1786.07/1770.74	c cleaning 515 clauses out of 1040 for limit 1.5835063946608666E-4
1786.17/1770.82	c cleaning 487 clauses out of 1025 for limit 2.6496296954058306E-4
1786.17/1770.88	c cleaning 513 clauses out of 1038 for limit 4.314868665283613E-4
1786.28/1770.94	c cleaning 484 clauses out of 1025 for limit 7.206044777566939E-4
1786.28/1771.00	c cleaning 494 clauses out of 1042 for limit 0.0011701552936595153
1786.38/1771.07	c cleaning 499 clauses out of 1049 for limit 0.001918784189195396
1786.47/1771.14	c cleaning 492 clauses out of 1048 for limit 0.003161019683843041
1786.57/1771.21	c cleaning 499 clauses out of 1058 for limit 0.005174015503736397
1786.57/1771.29	c cleaning 495 clauses out of 1058 for limit 0.008524111089338956
1786.67/1771.36	c cleaning 497 clauses out of 1062 for limit 0.013990448178016332
1786.77/1771.42	c cleaning 497 clauses out of 1066 for limit 0.0230085546473148
1786.77/1771.49	c cleaning 497 clauses out of 1068 for limit 0.037835254989129166
1786.87/1771.56	c cleaning 497 clauses out of 1072 for limit 0.06222480314460339
1786.97/1771.63	c cleaning 495 clauses out of 1074 for limit 0.10232350558336195
1787.07/1771.70	c cleaning 499 clauses out of 1082 for limit 0.16800099485094613
1787.07/1771.77	c cleaning 494 clauses out of 1081 for limit 0.27675806389864827
1787.17/1771.85	c cleaning 494 clauses out of 1086 for limit 0.45385542156124525
1787.27/1771.93	c cleaning 481 clauses out of 1092 for limit 0.744355842627607
1787.38/1772.05	c cleaning 467 clauses out of 1113 for limit 1.2067935663215934
1789.96/1774.50	c cleaning 5014 clauses out of 10143 for limit 1774.0038362919452
1790.06/1774.66	c cleaning 2799 clauses out of 5630 for limit 5275.978098879786
1792.25/1776.75	c cleaning 5896 clauses out of 11829 for limit 2.041901562761076E7
1792.35/1776.86	c cleaning 3120 clauses out of 6434 for limit 6.197152387251763E7
1792.45/1776.93	c cleaning 1810 clauses out of 3815 for limit 1.7253177430269712E8
1792.55/1777.01	c cleaning 1159 clauses out of 2503 for limit 4.3280238440748316E8
1792.55/1777.09	c cleaning 845 clauses out of 1844 for limit 9.688252846969262E8
1792.65/1777.16	c cleaning 741 clauses out of 1499 for limit 1.9654438245080671E9
1792.75/1777.23	c cleaning 548 clauses out of 1258 for limit 3.8622244981541476E9
1792.85/1777.30	c cleaning 583 clauses out of 1211 for limit 6.623147255240454E9
1795.52/1779.93	c cleaning 5660 clauses out of 11627 for limit 4.148927865356888E13
1795.62/1780.04	c cleaning 3078 clauses out of 6468 for limit 1.2311867815739797E14
1795.72/1780.13	c cleaning 1919 clauses out of 3889 for limit 3.373474156341501E14
1795.82/1780.21	c cleaning 1209 clauses out of 2471 for limit 8.764617829704399E14
1795.82/1780.28	c cleaning 856 clauses out of 1761 for limit 2.026132060388951E15
1795.92/1780.35	c cleaning 655 clauses out of 1405 for limit 4.187999945689635E-5
1796.02/1780.42	c cleaning 557 clauses out of 1250 for limit 7.762987120261868E-5
1796.12/1780.50	c cleaning 580 clauses out of 1195 for limit 1.3418250148101516E-4
1800.10/1784.41	c starts		: 22
1800.10/1784.41	c conflicts		: 1350813
1800.10/1784.41	c decisions		: 3107558
1800.10/1784.41	c propagations		: 369245736
1800.10/1784.41	c inspects		: 12129059996
1800.10/1784.41	c learnt literals	: 77
1800.10/1784.41	c learnt binary clauses	: 351
1800.10/1784.41	c learnt ternary clauses	: 3017
1800.10/1784.41	c learnt clauses	: 1350736
1800.10/1784.41	c root simplifications	: 0
1800.10/1784.41	c removed literals (reason simplification)	: 0
1800.10/1784.41	c reason swapping (by a shorter reason)	: 0
1800.10/1784.41	c Calls to reduceDB	: 149
1800.10/1784.41	c speed (decisions/second)	: 1743.1393413610645
1800.10/1784.41	c non guided choices	36449
1800.10/1784.41	s UNKNOWN
1800.10/1784.41	c Total wall clock time (ms): 1784.299

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741038-1338739667/watcher-3741038-1338739667 -o /tmp/evaluation-result-3741038-1338739667/solver-3741038-1338739667 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741038-1338739667.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 13698
/proc/meminfo: memFree=27574884/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13698/stat : 13698 (java) D 13696 13698 7296 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340095157 9515008 182 33554432000 1073741824 1073778376 140733968230848 140733968221880 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13698/statm: 2323 182 140 9 0 71 0

[startup+0.091359 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 13698
/proc/meminfo: memFree=27574884/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 4127 0 1 0 5 2 0 0 20 0 18 0 340095157 3028844544 5845 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 739464 5845 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.10029 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 13698
/proc/meminfo: memFree=27574884/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 4391 0 1 0 6 2 0 0 20 0 18 0 340095157 3028844544 6109 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 739464 6109 1951 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300297 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 13698
/proc/meminfo: memFree=27574884/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 5640 0 1 0 42 2 0 0 20 0 18 0 340095157 3028844544 9201 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 739464 9201 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856

[startup+0.700304 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 13698
/proc/meminfo: memFree=27574884/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=2957856 CPUtime=1.59 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 14453 0 1 0 153 6 0 0 20 0 18 0 340095157 3028844544 36239 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 739464 36239 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 2957856

[startup+1.50073 s]
/proc/loadavg: 1.92 1.98 1.99 3/210 13716
/proc/meminfo: memFree=27284352/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=2957856 CPUtime=2.52 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 14657 0 1 0 236 16 0 0 20 0 18 0 340095157 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 739464 117156 2270 9 0 729885 0
[pid=13698/tid=13700] ppid=13696 vsize=2957856 CPUtime=1.42 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 7296 0 -1 4202560 3237 0 1 0 132 10 0 0 20 0 18 0 340095158 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421836004808 226333091085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421819431720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421818378920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421817326632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 7296 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421816273832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 7296 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421815220520 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421814167720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421813115432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 340095160 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421812062632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340095161 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421681339112 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340095162 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421680285176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340095162 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421679232776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340095164 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421678181264 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 7296 0 -1 4202560 4650 0 0 0 45 0 0 0 20 0 18 0 340095164 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421677127864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 7296 0 -1 4202560 5537 0 0 0 44 2 0 0 20 0 18 0 340095164 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140421676075064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340095164 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140420801620600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340095164 3028844544 117156 33554432000 1073741824 1073778376 140733748633648 140420800568008 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 2957856

[startup+3.10074 s]
/proc/loadavg: 1.92 1.98 1.99 3/211 13717
/proc/meminfo: memFree=27112996/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=3024420 CPUtime=4.61 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 15792 0 1 0 440 21 0 0 20 0 19 0 340095157 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 756105 124358 2290 9 0 746526 0
[pid=13698/tid=13700] ppid=13696 vsize=3024420 CPUtime=2.98 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 7296 0 -1 4202560 3252 0 1 0 288 10 0 0 20 0 19 0 340095158 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421836004728 140421691748668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 7296 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421819431720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 7296 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421818378920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 7296 0 -1 4202560 20 0 0 0 2 2 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421817326632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 7296 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421816273832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 7296 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421815220520 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 7296 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421814167720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 7296 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421813115432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340095160 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421812062632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340095161 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421681339112 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421680285176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421679232776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421678181264 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 7296 0 -1 4202560 5704 0 0 0 66 0 0 0 20 0 19 0 340095164 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421677127864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 7296 0 -1 4202560 5537 0 0 0 61 2 0 0 20 0 19 0 340095164 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140421676075064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140420801620600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140420800568008 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340095325 3097006080 124358 33554432000 1073741824 1073778376 140733748633648 140420798436776 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 3024420

[startup+6.30078 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 13717
/proc/meminfo: memFree=27072524/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=3024420 CPUtime=7.92 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 15823 0 1 0 769 23 0 0 20 0 19 0 340095157 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 756105 127101 2290 9 0 746526 0
[pid=13698/tid=13700] ppid=13696 vsize=3024420 CPUtime=6.13 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 7296 0 -1 4202560 3255 0 1 0 603 10 0 0 20 0 19 0 340095158 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421836005752 140421691741189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 7296 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421819431720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 7296 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421818378920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 7296 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421817326632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 7296 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421816273832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421815220520 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 7296 0 -1 4202560 15 0 0 0 4 1 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421814167720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 7296 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421813115432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 7296 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 340095160 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421812062632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340095161 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421681339112 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421680285176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421679232776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421678181264 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 7296 0 -1 4202560 5704 0 0 0 66 0 0 0 20 0 19 0 340095164 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421677127864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 7296 0 -1 4202560 5537 0 0 0 63 2 0 0 20 0 19 0 340095164 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140421676075064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140420801620600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140420800568008 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340095325 3097006080 127101 33554432000 1073741824 1073778376 140733748633648 140420798436776 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 13717
/proc/meminfo: memFree=27033760/32873844 swapFree=6088/6088

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

[pid=13698/tid=13713] ppid=13696 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 7296 0 -1 4202560 5714 0 0 0 70 0 0 0 20 0 19 0 340095164 3097006080 396467 33554432000 1073741824 1073778376 140733748633648 140421677127864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 7296 0 -1 4202560 5542 0 0 0 70 2 0 0 20 0 19 0 340095164 3097006080 396467 33554432000 1073741824 1073778376 140733748633648 140421676075064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 396467 33554432000 1073741824 1073778376 140733748633648 140420801620600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 7296 0 -1 4202560 95 0 0 0 45 38 0 0 20 0 19 0 340095164 3097006080 396467 33554432000 1073741824 1073778376 140733748633648 140420800568008 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340095325 3097006080 396467 33554432000 1073741824 1073778376 140733748633648 140420798436776 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1675.21
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/211 13791
/proc/meminfo: memFree=26160488/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=3024420 CPUtime=1736.56 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 18700 0 1 0 173447 209 0 0 20 0 19 0 340095157 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 756105 408286 2298 9 0 746526 0
[pid=13698/tid=13700] ppid=13696 vsize=3024420 CPUtime=1713.12 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 7296 0 -1 4202560 3407 0 1 0 171274 38 0 0 20 0 19 0 340095158 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421836004592 140421691422675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=3024420 CPUtime=2.1 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 7296 0 -1 4202560 314 0 0 0 194 16 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421819431720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=3024420 CPUtime=2.09 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 7296 0 -1 4202560 330 0 0 0 190 19 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421818378920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=3024420 CPUtime=2.13 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 7296 0 -1 4202560 332 0 0 0 193 20 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421817326632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=3024420 CPUtime=2.1 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 7296 0 -1 4202560 368 0 0 0 190 20 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421816273832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 7296 0 -1 4202560 327 0 0 0 176 14 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421815220520 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=3024420 CPUtime=2.01 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 7296 0 -1 4202560 320 0 0 0 184 17 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421814167720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=3024420 CPUtime=2.09 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 7296 0 -1 4202560 319 0 0 0 194 15 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421813115432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=3024420 CPUtime=2.05 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 7296 0 -1 4202560 344 0 0 0 187 18 0 0 20 0 19 0 340095160 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421812062632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 7296 0 -1 4202560 104 0 0 0 3 2 0 0 20 0 19 0 340095161 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421681339112 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421680285176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421679232776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421678181264 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 7296 0 -1 4202560 5714 0 0 0 70 0 0 0 20 0 19 0 340095164 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421677127864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 7296 0 -1 4202560 5542 0 0 0 70 2 0 0 20 0 19 0 340095164 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140421676075064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140420801620600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 7296 0 -1 4202560 99 0 0 0 47 39 0 0 20 0 19 0 340095164 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140420800568008 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340095325 3097006080 408286 33554432000 1073741824 1073778376 140733748633648 140420798436776 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1736.56
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 13791
/proc/meminfo: memFree=26127596/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=3024420 CPUtime=1797.99 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 18762 0 1 0 179588 211 0 0 20 0 19 0 340095157 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 756105 411888 2298 9 0 746526 0
[pid=13698/tid=13700] ppid=13696 vsize=3024420 CPUtime=1772.42 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 7296 0 -1 4202560 3425 0 1 0 177204 38 0 0 20 0 19 0 340095158 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421836004576 140421691765309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=3024420 CPUtime=2.36 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 7296 0 -1 4202560 318 0 0 0 220 16 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421819431720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=3024420 CPUtime=2.36 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 7296 0 -1 4202560 335 0 0 0 217 19 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421818378920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=3024420 CPUtime=2.3 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 7296 0 -1 4202560 333 0 0 0 210 20 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421817326632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=3024420 CPUtime=2.33 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 7296 0 -1 4202560 369 0 0 0 213 20 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421816273832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 7296 0 -1 4202560 340 0 0 0 203 14 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421815220520 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=3024420 CPUtime=2.22 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 7296 0 -1 4202560 327 0 0 0 205 17 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421814167720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=3024420 CPUtime=2.33 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 7296 0 -1 4202560 321 0 0 0 218 15 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421813115432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=3024420 CPUtime=2.35 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 7296 0 -1 4202560 346 0 0 0 216 19 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421812062632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 7296 0 -1 4202560 108 0 0 0 4 2 0 0 20 0 19 0 340095161 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421681339112 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421680285176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421679232776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421678181264 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 7296 0 -1 4202560 5715 0 0 0 72 0 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421677127864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 7296 0 -1 4202560 5542 0 0 0 70 2 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421676075064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140420801620600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 7296 0 -1 4202560 103 0 0 0 48 40 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140420800568008 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340095325 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140420798436776 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/210 13791
/proc/meminfo: memFree=26127604/32873844 swapFree=6088/6088
[pid=13698] ppid=13696 vsize=3024420 CPUtime=1800.1 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 7296 0 -1 4202496 18762 0 1 0 179799 211 0 0 20 0 19 0 340095157 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140733748624784 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13698/statm: 756105 411888 2298 9 0 746526 0
[pid=13698/tid=13700] ppid=13696 vsize=3024420 CPUtime=1774.52 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 7296 0 -1 4202560 3425 0 1 0 177414 38 0 0 20 0 19 0 340095158 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421836004576 140421691748651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=3024420 CPUtime=2.36 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 7296 0 -1 4202560 318 0 0 0 220 16 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421819431720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=3024420 CPUtime=2.36 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 7296 0 -1 4202560 335 0 0 0 217 19 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421818378920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=3024420 CPUtime=2.3 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 7296 0 -1 4202560 333 0 0 0 210 20 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421817326632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=3024420 CPUtime=2.33 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 7296 0 -1 4202560 369 0 0 0 213 20 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421816273832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 7296 0 -1 4202560 340 0 0 0 203 14 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421815220520 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=3024420 CPUtime=2.22 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 7296 0 -1 4202560 327 0 0 0 205 17 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421814167720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=3024420 CPUtime=2.33 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 7296 0 -1 4202560 321 0 0 0 218 15 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421813115432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=3024420 CPUtime=2.35 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 7296 0 -1 4202560 346 0 0 0 216 19 0 0 20 0 19 0 340095160 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421812062632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 7296 0 -1 4202560 108 0 0 0 4 2 0 0 20 0 19 0 340095161 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421681339112 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421680285176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340095162 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421679232776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421678181264 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 7296 0 -1 4202560 5715 0 0 0 72 0 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421677127864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 7296 0 -1 4202560 5542 0 0 0 70 2 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140421676075064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140420801620600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 7296 0 -1 4202560 103 0 0 0 48 40 0 0 20 0 19 0 340095164 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140420800568008 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340095325 3097006080 411888 33554432000 1073741824 1073778376 140733748633648 140420798436776 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13698 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=228387
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=356641
# CPU time returned by wait4() is 1795.58
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.42
CPU time (s): 1800.1
CPU user time (s): 1797.99
CPU system time (s): 2.11
CPU usage (%): 100.879
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.23
system time used= 2.35664
maximum resident set size= 1647688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18797
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43202
involuntary context switches= 40119

runsolver used 6.48101 second user time and 15.7016 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-03 18:07:47
IDJOB=3741038
IDBENCH=89738
IDSOLVER=2319
FILE ID=node110/3741038-1338739667
RUNJOBID= node110-1338713878-7313
PBS_JOBID= 14636746
Free space on /tmp= 71060 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-99.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741038-1338739667/watcher-3741038-1338739667 -o /tmp/evaluation-result-3741038-1338739667/solver-3741038-1338739667 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741038-1338739667.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a0ef64dc4a665e7cf00a752d7a124006
RANDOM SEED=2126080141

node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27575264 kB
Buffers:          896472 kB
Cached:          2523532 kB
SwapCached:          604 kB
Active:          2860088 kB
Inactive:        1590164 kB
Active(anon):    1018748 kB
Inactive(anon):    12316 kB
Active(file):    1841340 kB
Inactive(file):  1577848 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:             10940 kB
Writeback:             0 kB
AnonPages:       1034000 kB
Mapped:            19812 kB
Shmem:                40 kB
Slab:             707852 kB
SReclaimable:     149792 kB
SUnreclaim:       558060 kB
KernelStack:        1592 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1815368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    987136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71060 MiB
End job on node110 at 2012-06-03 18:37:34