Trace number 3689423

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.63 1794.65

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-76.opb
MD5SUMf030651c159d27eae553d070b0927366
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1408.44
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 271
Number of bits of the biggest sum of numbers9
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3689423-1337890177.opb
0.10/0.10	c reading problem ... 
2.71/1.99	c ... done. Wall clock time 1.891s.
2.71/1.99	c declared #vars     12587
2.71/1.99	c #constraints  284398
2.71/1.99	c constraints type 
2.71/1.99	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 195762
2.71/1.99	c org.sat4j.minisat.constraints.card.MinWatchCard => 906
2.71/1.99	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59821
2.71/1.99	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.71/1.99	c 284398 constraints processed.
5.33/4.11	c cleaning 2483 clauses out of 5001 with flag 5001/5001
6.91/5.50	c cleaning 4213 clauses out of 8517 with flag 11000/11000
8.62/7.22	c cleaning 5608 clauses out of 11304 with flag 18001/18001
10.23/8.80	c cleaning 6803 clauses out of 13696 with flag 26001/26001
12.17/10.75	c cleaning 7907 clauses out of 15890 with flag 35000/35000
14.78/13.34	c cleaning 8958 clauses out of 17983 with flag 45000/45000
17.10/15.67	c cleaning 9985 clauses out of 20025 with flag 56000/56000
20.12/18.67	c cleaning 10985 clauses out of 22039 with flag 68000/68000
22.95/21.41	c cleaning 11997 clauses out of 24055 with flag 81001/81001
25.07/23.54	c cleaning 13007 clauses out of 26057 with flag 95000/95000
27.70/26.14	c cleaning 13967 clauses out of 28050 with flag 110000/110000
30.20/28.62	c cleaning 14982 clauses out of 30083 with flag 126000/126000
33.51/31.93	c cleaning 16002 clauses out of 32101 with flag 143000/143000
38.23/36.63	c cleaning 17021 clauses out of 34099 with flag 161001/161001
42.55/40.90	c cleaning 17977 clauses out of 36078 with flag 180001/180001
46.20/44.52	c cleaning 18970 clauses out of 38100 with flag 200001/200001
51.01/49.35	c cleaning 19997 clauses out of 40129 with flag 221000/221000
54.75/53.04	c cleaning 21038 clauses out of 42132 with flag 243000/243000
60.17/58.47	c cleaning 22012 clauses out of 44094 with flag 266000/266000
65.28/63.59	c cleaning 22981 clauses out of 46082 with flag 290000/290000
70.41/68.64	c cleaning 23956 clauses out of 48103 with flag 315002/315002
76.34/74.52	c cleaning 25036 clauses out of 50145 with flag 341000/341000
81.19/79.36	c cleaning 25972 clauses out of 52110 with flag 368001/368001
86.19/84.34	c cleaning 27031 clauses out of 54137 with flag 396000/396000
90.62/88.79	c cleaning 28013 clauses out of 56106 with flag 425000/425000
96.85/94.96	c cleaning 28994 clauses out of 58092 with flag 455000/455000
103.39/101.47	c cleaning 29828 clauses out of 60100 with flag 486002/486002
110.61/108.64	c cleaning 31102 clauses out of 62270 with flag 518000/518000
118.05/116.09	c cleaning 31945 clauses out of 64170 with flag 551002/551002
130.28/128.24	c cleaning 33094 clauses out of 66223 with flag 585000/585000
140.23/138.10	c cleaning 34028 clauses out of 68130 with flag 620001/620001
149.16/147.09	c cleaning 35032 clauses out of 70104 with flag 656003/656003
156.70/154.58	c cleaning 35934 clauses out of 72070 with flag 693001/693001
164.45/162.27	c cleaning 36979 clauses out of 74137 with flag 731002/731002
173.48/171.27	c cleaning 37909 clauses out of 76157 with flag 770001/770001
184.92/182.61	c cleaning 38962 clauses out of 78247 with flag 810000/810000
197.89/195.53	c cleaning 40073 clauses out of 80288 with flag 851003/851003
211.24/208.84	c cleaning 41079 clauses out of 82212 with flag 893000/893000
220.97/218.56	c cleaning 41940 clauses out of 84133 with flag 936000/936000
231.18/228.71	c cleaning 42913 clauses out of 86193 with flag 980000/980000
246.30/243.84	c cleaning 44096 clauses out of 88280 with flag 1025000/1025000
257.93/255.46	c cleaning 44963 clauses out of 90185 with flag 1071001/1071001
269.27/266.70	c cleaning 45957 clauses out of 92221 with flag 1118000/1118000
278.70/276.14	c cleaning 46872 clauses out of 94264 with flag 1166000/1166000
290.81/288.25	c cleaning 48124 clauses out of 96393 with flag 1215001/1215001
312.53/309.98	c cleaning 49067 clauses out of 98269 with flag 1265001/1265001
333.00/330.35	c cleaning 50086 clauses out of 100204 with flag 1316003/1316003
348.09/345.37	c cleaning 51038 clauses out of 102116 with flag 1368001/1368001
361.82/359.08	c cleaning 51858 clauses out of 104077 with flag 1421000/1421000
374.66/371.87	c cleaning 53003 clauses out of 106221 with flag 1475002/1475002
388.10/385.28	c cleaning 53978 clauses out of 108217 with flag 1530001/1530001
401.92/399.04	c cleaning 54952 clauses out of 110238 with flag 1586000/1586000
419.75/416.84	c cleaning 56065 clauses out of 112288 with flag 1643002/1643002
435.09/432.14	c cleaning 56840 clauses out of 114221 with flag 1701000/1701000
449.42/446.45	c cleaning 58110 clauses out of 116382 with flag 1760001/1760001
463.66/460.63	c cleaning 59102 clauses out of 118271 with flag 1820000/1820000
481.71/478.67	c cleaning 60056 clauses out of 120169 with flag 1881000/1881000
497.02/493.94	c cleaning 60952 clauses out of 122113 with flag 1943000/1943000
516.66/513.56	c cleaning 62042 clauses out of 124162 with flag 2006001/2006001
529.71/526.50	c cleaning 63017 clauses out of 126119 with flag 2070000/2070000
564.55/561.38	c cleaning 64038 clauses out of 128104 with flag 2135002/2135002
579.51/576.26	c cleaning 64900 clauses out of 130064 with flag 2201000/2201000
604.04/600.78	c cleaning 66004 clauses out of 132164 with flag 2268000/2268000
633.80/630.45	c cleaning 66965 clauses out of 134160 with flag 2336000/2336000
657.24/653.89	c cleaning 67996 clauses out of 136196 with flag 2405001/2405001
680.71/677.22	c cleaning 69079 clauses out of 138200 with flag 2475001/2475001
696.75/693.21	c cleaning 69871 clauses out of 140121 with flag 2546001/2546001
716.08/712.58	c cleaning 70961 clauses out of 142251 with flag 2618002/2618002
736.64/733.00	c cleaning 72075 clauses out of 144289 with flag 2691001/2691001
763.60/759.99	c cleaning 72948 clauses out of 146213 with flag 2765000/2765000
784.73/781.03	c cleaning 73838 clauses out of 148266 with flag 2840001/2840001
813.06/809.30	c cleaning 74972 clauses out of 150427 with flag 2916000/2916000
841.76/837.97	c cleaning 75973 clauses out of 152455 with flag 2993000/2993000
868.15/864.23	c cleaning 77151 clauses out of 154482 with flag 3071000/3071000
893.90/889.99	c cleaning 78107 clauses out of 156331 with flag 3150000/3150000
915.86/911.83	c cleaning 79026 clauses out of 158224 with flag 3230000/3230000
938.99/934.99	c cleaning 80084 clauses out of 160198 with flag 3311000/3311000
979.42/975.32	c cleaning 80995 clauses out of 162115 with flag 3393001/3393001
1008.28/1004.15	c cleaning 81980 clauses out of 164119 with flag 3476000/3476000
1059.61/1055.40	c cleaning 83041 clauses out of 166140 with flag 3560001/3560001
1102.32/1098.08	c cleaning 83981 clauses out of 168098 with flag 3645000/3645000
1126.30/1121.90	c cleaning 84911 clauses out of 170117 with flag 3731000/3731000
1149.25/1144.87	c cleaning 86055 clauses out of 172208 with flag 3818002/3818002
1176.82/1172.38	c cleaning 86999 clauses out of 174152 with flag 3906001/3906001
1198.08/1193.55	c cleaning 87975 clauses out of 176152 with flag 3995000/3995000
1221.42/1216.80	c cleaning 89042 clauses out of 178178 with flag 4085001/4085001
1239.56/1234.94	c cleaning 89792 clauses out of 180135 with flag 4176000/4176000
1260.38/1255.76	c cleaning 91084 clauses out of 182344 with flag 4268001/4268001
1285.81/1281.17	c cleaning 91982 clauses out of 184259 with flag 4361000/4361000
1319.94/1315.29	c cleaning 93083 clauses out of 186277 with flag 4455000/4455000
1347.50/1342.70	c cleaning 94011 clauses out of 188196 with flag 4550002/4550002
1375.34/1370.53	c cleaning 95056 clauses out of 190183 with flag 4646000/4646000
1399.48/1394.61	c cleaning 95846 clauses out of 192128 with flag 4743001/4743001
1421.71/1416.82	c cleaning 96972 clauses out of 194281 with flag 4841000/4841000
1451.34/1446.40	c cleaning 98019 clauses out of 196311 with flag 4940002/4940002
1486.96/1482.02	c cleaning 99134 clauses out of 198290 with flag 5040000/5040000
1550.04/1545.00	c cleaning 100009 clauses out of 200156 with flag 5141000/5141000
1583.23/1578.12	c cleaning 100994 clauses out of 202149 with flag 5243002/5243002
1612.80/1607.60	c cleaning 102014 clauses out of 204154 with flag 5346001/5346001
1645.04/1639.84	c cleaning 102799 clauses out of 206141 with flag 5450002/5450002
1680.46/1675.29	c cleaning 104121 clauses out of 208340 with flag 5555000/5555000
1725.01/1719.72	c cleaning 105047 clauses out of 210222 with flag 5661003/5661003
1757.18/1751.85	c cleaning 105954 clauses out of 212173 with flag 5768001/5768001
1786.62/1781.25	c cleaning 106932 clauses out of 214218 with flag 5876000/5876000
1800.06/1794.61	c starts		: 275
1800.06/1794.61	c conflicts		: 5928855
1800.06/1794.61	c decisions		: 28844627
1800.06/1794.61	c propagations		: 1743673377
1800.06/1794.61	c inspects		: 22779773294
1800.06/1794.61	c shortcuts		: 0
1800.06/1794.61	c learnt literals	: 7
1800.06/1794.61	c learnt binary clauses	: 650
1800.06/1794.61	c learnt ternary clauses	: 3173
1800.06/1794.61	c learnt constraints	: 5928849
1800.06/1794.61	c ignored constraints	: 0
1800.06/1794.61	c root simplifications	: 0
1800.06/1794.61	c removed literals (reason simplification)	: 0
1800.06/1794.61	c reason swapping (by a shorter reason)	: 0
1800.06/1794.61	c Calls to reduceDB	: 104
1800.06/1794.61	c number of reductions to clauses (during analyze)	: 0
1800.06/1794.61	c number of learned constraints concerned by reduction	: 0
1800.06/1794.61	c number of learning phase by resolution	: 0
1800.06/1794.61	c number of learning phase by cutting planes	: 0
1800.06/1794.61	c speed (assignments/second)	: 972705.7950988535
1800.06/1794.61	c non guided choices	1260156
1800.06/1794.64	c learnt constraints type 
1800.06/1794.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 650
1800.06/1794.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 159549
1800.06/1794.64	c constraints type 
1800.06/1794.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 195762
1800.06/1794.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 906
1800.06/1794.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59821
1800.06/1794.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
1800.06/1794.64	c 284398 constraints processed.
1800.06/1794.64	s UNKNOWN
1800.06/1794.64	c Total wall clock time (in seconds): 1794.539

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-3689423-1337890177/watcher-3689423-1337890177 -o /tmp/evaluation-result-3689423-1337890177/solver-3689423-1337890177 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689423-1337890177.opb 

running on 4 cores: 0,2,4,6

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: 0.94 1.85 2.80 2/176 27793
/proc/meminfo: memFree=28882148/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/27793/stat : 27793 (runsolver) D 27791 27793 21497 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 255143800 12095488 51 33554432000 4194304 5436572 140734552152464 140734552148760 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/27793/statm: 2953 51 31 304 0 2645 0

[startup+0.00911694 s]
/proc/loadavg: 0.94 1.85 2.80 2/176 27793
/proc/meminfo: memFree=28882148/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/27793/stat : 27793 (java) R 27791 27793 21497 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 255143800 3653632 49 33554432000 1073741824 1073778376 140734855074864 140734855071992 266426477863 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 892 49 38 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568

[startup+0.100202 s]
/proc/loadavg: 0.94 1.85 2.80 2/176 27793
/proc/meminfo: memFree=28882148/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 4424 0 1 0 9 1 0 0 20 0 18 0 255143800 9787813888 6089 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2389603 6089 2123 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300121 s]
/proc/loadavg: 0.94 1.85 2.80 2/176 27793
/proc/meminfo: memFree=28882148/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 5939 0 1 0 49 2 0 0 20 0 18 0 255143800 9787813888 9696 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2389603 9696 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.700292 s]
/proc/loadavg: 0.94 1.85 2.80 2/176 27793
/proc/meminfo: memFree=28882148/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9558412 CPUtime=1.14 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 6961 0 1 0 110 4 0 0 20 0 18 0 255143800 9787813888 40015 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2389603 40015 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558412

[startup+1.50063 s]
/proc/loadavg: 0.94 1.85 2.80 3/210 27827
/proc/meminfo: memFree=28552988/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9558412 CPUtime=2.21 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 8391 0 1 0 213 8 0 0 20 0 18 0 255143800 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2389603 50141 2247 9 0 2380296 0
[pid=27793/tid=27803] ppid=27791 vsize=9558412 CPUtime=1.41 cores=0,2,4,6
/proc/27793/task/27803/stat : 27803 (java) R 27791 27793 21497 0 -1 4202560 2506 0 1 0 137 4 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924923309544 266439025933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27805] ppid=27791 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/27793/task/27805/stat : 27805 (java) S 27791 27793 21497 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924884802472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27806] ppid=27791 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/27793/task/27806/stat : 27806 (java) S 27791 27793 21497 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924883749928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27807] ppid=27791 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/27793/task/27807/stat : 27807 (java) S 27791 27793 21497 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924882696872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27808] ppid=27791 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/27793/task/27808/stat : 27808 (java) S 27791 27793 21497 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924881644328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27809] ppid=27791 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/27793/task/27809/stat : 27809 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924880591272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27810] ppid=27791 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/27793/task/27810/stat : 27810 (java) S 27791 27793 21497 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924879538728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27811] ppid=27791 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/27793/task/27811/stat : 27811 (java) S 27791 27793 21497 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924878485672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27812] ppid=27791 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/27793/task/27812/stat : 27812 (java) S 27791 27793 21497 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 255143801 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924877433128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27815] ppid=27791 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27815/stat : 27815 (java) S 27791 27793 21497 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 255143802 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924747570024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27816] ppid=27791 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27816/stat : 27816 (java) S 27791 27793 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255143803 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924746516344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27817] ppid=27791 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27817/stat : 27817 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255143803 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924745463176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27823] ppid=27791 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27823/stat : 27823 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255143805 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924744411920 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27824] ppid=27791 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/27793/task/27824/stat : 27824 (java) S 27791 27793 21497 0 -1 4202560 2439 0 0 0 27 0 0 0 20 0 18 0 255143805 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924743358776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27825] ppid=27791 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/27793/task/27825/stat : 27825 (java) S 27791 27793 21497 0 -1 4202560 2096 0 0 0 28 0 0 0 20 0 18 0 255143805 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924742306232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27826] ppid=27791 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27826/stat : 27826 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255143805 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924741253368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27827] ppid=27791 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27827/stat : 27827 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255143805 9787813888 50141 33554432000 1073741824 1073778376 140734855074864 139924740201032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9558412

[startup+3.10065 s]
/proc/loadavg: 1.03 1.85 2.79 3/213 27830
/proc/meminfo: memFree=28253712/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9624976 CPUtime=4.31 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 10493 0 1 0 419 12 0 0 20 0 19 0 255143800 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2406244 82562 2266 9 0 2396937 0
[pid=27793/tid=27803] ppid=27791 vsize=9624976 CPUtime=2.97 cores=0,2,4,6
/proc/27793/task/27803/stat : 27803 (java) R 27791 27793 21497 0 -1 4202560 2571 0 1 0 293 4 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924923310632 139924750484130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27805] ppid=27791 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/27793/task/27805/stat : 27805 (java) S 27791 27793 21497 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924884802472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27806] ppid=27791 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/27793/task/27806/stat : 27806 (java) S 27791 27793 21497 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924883749928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27807] ppid=27791 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/27793/task/27807/stat : 27807 (java) S 27791 27793 21497 0 -1 4202560 26 0 0 0 1 2 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924882696872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27808] ppid=27791 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/27793/task/27808/stat : 27808 (java) S 27791 27793 21497 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924881644328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27809] ppid=27791 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/27793/task/27809/stat : 27809 (java) S 27791 27793 21497 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924880591272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27810] ppid=27791 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/27793/task/27810/stat : 27810 (java) S 27791 27793 21497 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924879538728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27811] ppid=27791 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/27793/task/27811/stat : 27811 (java) S 27791 27793 21497 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924878485672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27812] ppid=27791 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/27793/task/27812/stat : 27812 (java) S 27791 27793 21497 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 255143801 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924877433128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27815] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27815/stat : 27815 (java) S 27791 27793 21497 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 19 0 255143802 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924747570024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27816] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27816/stat : 27816 (java) S 27791 27793 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924746516344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27817] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27817/stat : 27817 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924745463176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27823] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27823/stat : 27823 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924744411920 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27824] ppid=27791 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/27793/task/27824/stat : 27824 (java) S 27791 27793 21497 0 -1 4202560 4277 0 0 0 48 0 0 0 20 0 19 0 255143805 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924743358776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27825] ppid=27791 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/27793/task/27825/stat : 27825 (java) S 27791 27793 21497 0 -1 4202560 2103 0 0 0 48 0 0 0 20 0 19 0 255143805 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924742306232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27826] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27826/stat : 27826 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924741253368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27827] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27827/stat : 27827 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924740201032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27830] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27830/stat : 27830 (java) S 27791 27793 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255144001 9855975424 82562 33554432000 1073741824 1073778376 140734855074864 139924739147304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 1.03 1.85 2.79 3/213 27830
/proc/meminfo: memFree=28142052/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9624976 CPUtime=7.72 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 11289 0 1 0 756 16 0 0 20 0 19 0 255143800 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2406244 98224 2278 9 0 2396937 0
[pid=27793/tid=27803] ppid=27791 vsize=9624976 CPUtime=5.95 cores=0,2,4,6
/proc/27793/task/27803/stat : 27803 (java) R 27791 27793 21497 0 -1 4202560 2575 0 1 0 590 5 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924923310368 139924750416688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27805] ppid=27791 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/27793/task/27805/stat : 27805 (java) S 27791 27793 21497 0 -1 4202560 137 0 0 0 5 2 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924884802472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27806] ppid=27791 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/27793/task/27806/stat : 27806 (java) S 27791 27793 21497 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924883749928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27807] ppid=27791 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/27793/task/27807/stat : 27807 (java) S 27791 27793 21497 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924882696872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27808] ppid=27791 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/27793/task/27808/stat : 27808 (java) S 27791 27793 21497 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924881644328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27809] ppid=27791 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/27793/task/27809/stat : 27809 (java) S 27791 27793 21497 0 -1 4202560 109 0 0 0 3 0 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924880591272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27810] ppid=27791 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/27793/task/27810/stat : 27810 (java) S 27791 27793 21497 0 -1 4202560 119 0 0 0 3 0 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924879538728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27811] ppid=27791 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/27793/task/27811/stat : 27811 (java) S 27791 27793 21497 0 -1 4202560 114 0 0 0 3 2 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924878485672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27812] ppid=27791 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/27793/task/27812/stat : 27812 (java) S 27791 27793 21497 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 255143801 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924877433128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27815] ppid=27791 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/27793/task/27815/stat : 27815 (java) S 27791 27793 21497 0 -1 4202560 245 0 0 0 17 0 0 0 20 0 19 0 255143802 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924747570024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27816] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27816/stat : 27816 (java) S 27791 27793 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924746516344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27817] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27817/stat : 27817 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924745463176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27823] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27823/stat : 27823 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924744411920 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27824] ppid=27791 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/27793/task/27824/stat : 27824 (java) S 27791 27793 21497 0 -1 4202560 4585 0 0 0 53 0 0 0 20 0 19 0 255143805 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924743358776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27825] ppid=27791 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/27793/task/27825/stat : 27825 (java) S 27791 27793 21497 0 -1 4202560 2108 0 0 0 53 0 0 0 20 0 19 0 255143805 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924742306232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27826] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27826/stat : 27826 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924741253368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27827] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27827/stat : 27827 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924740201032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27830] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27830/stat : 27830 (java) S 27791 27793 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255144001 9855975424 98224 33554432000 1073741824 1073778376 140734855074864 139924739147304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]
/proc/loadavg: 1.18 1.86 2.78 3/213 27830
/proc/meminfo: memFree=28130092/32873648 swapFree=6852/6852

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

[pid=27793/tid=27810] ppid=27791 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/27793/task/27810/stat : 27810 (java) S 27791 27793 21497 0 -1 4202560 906 0 0 0 55 4 0 0 20 0 19 0 255143801 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924879538728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27811] ppid=27791 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/27793/task/27811/stat : 27811 (java) S 27791 27793 21497 0 -1 4202560 650 0 0 0 73 3 0 0 20 0 19 0 255143801 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924878485672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27812] ppid=27791 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/27793/task/27812/stat : 27812 (java) S 27791 27793 21497 0 -1 4202560 594 0 0 0 74 5 0 0 20 0 19 0 255143801 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924877433128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27815] ppid=27791 vsize=9624976 CPUtime=10.98 cores=0,2,4,6
/proc/27793/task/27815/stat : 27815 (java) S 27791 27793 21497 0 -1 4202560 659 0 0 0 1094 4 0 0 20 0 19 0 255143802 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924747570024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27816] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27816/stat : 27816 (java) S 27791 27793 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924746516344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27817] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27817/stat : 27817 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924745463176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27823] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27823/stat : 27823 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924744411920 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27824] ppid=27791 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/27793/task/27824/stat : 27824 (java) S 27791 27793 21497 0 -1 4202560 4720 0 0 0 61 0 0 0 20 0 19 0 255143805 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924743358776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27825] ppid=27791 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/27793/task/27825/stat : 27825 (java) S 27791 27793 21497 0 -1 4202560 2109 0 0 0 54 0 0 0 20 0 19 0 255143805 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924742306232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27826] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27826/stat : 27826 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924741253368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27827] ppid=27791 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/27793/task/27827/stat : 27827 (java) S 27791 27793 21497 0 -1 4202560 94 0 0 0 25 27 0 0 20 0 19 0 255143805 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924740201032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27830] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27830/stat : 27830 (java) S 27791 27793 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255144001 9855975424 139391 33554432000 1073741824 1073778376 140734855074864 139924739147304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1667.57
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/213 27902
/proc/meminfo: memFree=27687252/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9624976 CPUtime=1727.66 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 15940 0 1 0 172696 70 0 0 20 0 19 0 255143800 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2406244 137374 2279 9 0 2396937 0
[pid=27793/tid=27803] ppid=27791 vsize=9624976 CPUtime=1709.34 cores=0,2,4,6
/proc/27793/task/27803/stat : 27803 (java) R 27791 27793 21497 0 -1 4202560 2674 0 1 0 170901 33 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924923310368 139924750524366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27805] ppid=27791 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/27793/task/27805/stat : 27805 (java) S 27791 27793 21497 0 -1 4202560 584 0 0 0 68 4 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924884802472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27806] ppid=27791 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/27793/task/27806/stat : 27806 (java) S 27791 27793 21497 0 -1 4202560 143 0 0 0 62 4 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924883749928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27807] ppid=27791 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/27793/task/27807/stat : 27807 (java) S 27791 27793 21497 0 -1 4202560 315 0 0 0 67 4 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924882696872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27808] ppid=27791 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27793/task/27808/stat : 27808 (java) S 27791 27793 21497 0 -1 4202560 489 0 0 0 68 5 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924881644328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27809] ppid=27791 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/27793/task/27809/stat : 27809 (java) S 27791 27793 21497 0 -1 4202560 811 0 0 0 61 3 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924880591272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27810] ppid=27791 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/27793/task/27810/stat : 27810 (java) S 27791 27793 21497 0 -1 4202560 906 0 0 0 56 4 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924879538728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27811] ppid=27791 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/27793/task/27811/stat : 27811 (java) S 27791 27793 21497 0 -1 4202560 654 0 0 0 75 3 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924878485672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27812] ppid=27791 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/27793/task/27812/stat : 27812 (java) S 27791 27793 21497 0 -1 4202560 594 0 0 0 75 5 0 0 20 0 19 0 255143801 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924877433128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27815] ppid=27791 vsize=9624976 CPUtime=11.21 cores=0,2,4,6
/proc/27793/task/27815/stat : 27815 (java) S 27791 27793 21497 0 -1 4202560 663 0 0 0 1117 4 0 0 20 0 19 0 255143802 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924747570024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27816] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27816/stat : 27816 (java) S 27791 27793 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924746516344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27817] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27817/stat : 27817 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924745463176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27823] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27823/stat : 27823 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924744411920 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27824] ppid=27791 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/27793/task/27824/stat : 27824 (java) S 27791 27793 21497 0 -1 4202560 4720 0 0 0 61 0 0 0 20 0 19 0 255143805 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924743358776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27825] ppid=27791 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/27793/task/27825/stat : 27825 (java) S 27791 27793 21497 0 -1 4202560 2109 0 0 0 54 0 0 0 20 0 19 0 255143805 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924742306232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27826] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27826/stat : 27826 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924741253368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27827] ppid=27791 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/27793/task/27827/stat : 27827 (java) S 27791 27793 21497 0 -1 4202560 98 0 0 0 26 28 0 0 20 0 19 0 255143805 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924740201032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27830] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27830/stat : 27830 (java) S 27791 27793 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255144001 9855975424 137374 33554432000 1073741824 1073778376 140734855074864 139924739147304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.66
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/213 27902
/proc/meminfo: memFree=27694204/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9624976 CPUtime=1787.75 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 15950 0 1 0 178704 71 0 0 20 0 19 0 255143800 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2406244 135482 2279 9 0 2396937 0
[pid=27793/tid=27803] ppid=27791 vsize=9624976 CPUtime=1769.01 cores=0,2,4,6
/proc/27793/task/27803/stat : 27803 (java) R 27791 27793 21497 0 -1 4202560 2676 0 1 0 176867 34 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924923310368 139924750483972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27805] ppid=27791 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27793/task/27805/stat : 27805 (java) S 27791 27793 21497 0 -1 4202560 584 0 0 0 69 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924884802472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27806] ppid=27791 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/27793/task/27806/stat : 27806 (java) S 27791 27793 21497 0 -1 4202560 143 0 0 0 63 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924883749928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27807] ppid=27791 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27793/task/27807/stat : 27807 (java) S 27791 27793 21497 0 -1 4202560 315 0 0 0 69 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924882696872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27808] ppid=27791 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/27793/task/27808/stat : 27808 (java) S 27791 27793 21497 0 -1 4202560 489 0 0 0 71 5 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924881644328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27809] ppid=27791 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/27793/task/27809/stat : 27809 (java) S 27791 27793 21497 0 -1 4202560 811 0 0 0 62 3 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924880591272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27810] ppid=27791 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/27793/task/27810/stat : 27810 (java) S 27791 27793 21497 0 -1 4202560 906 0 0 0 56 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924879538728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27811] ppid=27791 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/27793/task/27811/stat : 27811 (java) S 27791 27793 21497 0 -1 4202560 654 0 0 0 77 3 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924878485672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27812] ppid=27791 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/27793/task/27812/stat : 27812 (java) S 27791 27793 21497 0 -1 4202560 594 0 0 0 76 5 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924877433128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27815] ppid=27791 vsize=9624976 CPUtime=11.51 cores=0,2,4,6
/proc/27793/task/27815/stat : 27815 (java) S 27791 27793 21497 0 -1 4202560 667 0 0 0 1147 4 0 0 20 0 19 0 255143802 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924747570024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27816] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27816/stat : 27816 (java) S 27791 27793 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924746516344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27817] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27817/stat : 27817 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924745463176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27823] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27823/stat : 27823 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924744411920 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27824] ppid=27791 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/27793/task/27824/stat : 27824 (java) S 27791 27793 21497 0 -1 4202560 4720 0 0 0 61 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924743358776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27825] ppid=27791 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/27793/task/27825/stat : 27825 (java) S 27791 27793 21497 0 -1 4202560 2109 0 0 0 54 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924742306232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27826] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27826/stat : 27826 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924741253368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27827] ppid=27791 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/27793/task/27827/stat : 27827 (java) S 27791 27793 21497 0 -1 4202560 102 0 0 0 28 28 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924740201032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27830] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27830/stat : 27830 (java) S 27791 27793 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255144001 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924739147304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1787.75
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.6 s]
/proc/loadavg: 2.00 2.00 2.09 3/213 27902
/proc/meminfo: memFree=27694328/32873648 swapFree=6852/6852
[pid=27793] ppid=27791 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/27793/stat : 27793 (java) S 27791 27793 21497 0 -1 4202496 15950 0 1 0 179935 71 0 0 20 0 19 0 255143800 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 140734855066000 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27793/statm: 2406244 135482 2279 9 0 2396937 0
[pid=27793/tid=27803] ppid=27791 vsize=9624976 CPUtime=1781.31 cores=0,2,4,6
/proc/27793/task/27803/stat : 27803 (java) R 27791 27793 21497 0 -1 4202560 2676 0 1 0 178096 35 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924923310368 139924750470298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27805] ppid=27791 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27793/task/27805/stat : 27805 (java) S 27791 27793 21497 0 -1 4202560 584 0 0 0 69 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924884802472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27806] ppid=27791 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/27793/task/27806/stat : 27806 (java) S 27791 27793 21497 0 -1 4202560 143 0 0 0 63 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924883749928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27807] ppid=27791 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27793/task/27807/stat : 27807 (java) S 27791 27793 21497 0 -1 4202560 315 0 0 0 69 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924882696872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27808] ppid=27791 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/27793/task/27808/stat : 27808 (java) S 27791 27793 21497 0 -1 4202560 489 0 0 0 71 5 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924881644328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27809] ppid=27791 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/27793/task/27809/stat : 27809 (java) S 27791 27793 21497 0 -1 4202560 811 0 0 0 62 3 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924880591272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27810] ppid=27791 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/27793/task/27810/stat : 27810 (java) S 27791 27793 21497 0 -1 4202560 906 0 0 0 56 4 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924879538728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27811] ppid=27791 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/27793/task/27811/stat : 27811 (java) S 27791 27793 21497 0 -1 4202560 654 0 0 0 77 3 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924878485672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27812] ppid=27791 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/27793/task/27812/stat : 27812 (java) S 27791 27793 21497 0 -1 4202560 594 0 0 0 76 5 0 0 20 0 19 0 255143801 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924877433128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27815] ppid=27791 vsize=9624976 CPUtime=11.51 cores=0,2,4,6
/proc/27793/task/27815/stat : 27815 (java) S 27791 27793 21497 0 -1 4202560 667 0 0 0 1147 4 0 0 20 0 19 0 255143802 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924747570024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27816] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27816/stat : 27816 (java) S 27791 27793 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924746516344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27817] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27817/stat : 27817 (java) S 27791 27793 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255143803 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924745463176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27823] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27823/stat : 27823 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924744411920 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27824] ppid=27791 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/27793/task/27824/stat : 27824 (java) S 27791 27793 21497 0 -1 4202560 4720 0 0 0 61 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924743358776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27793/tid=27825] ppid=27791 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/27793/task/27825/stat : 27825 (java) S 27791 27793 21497 0 -1 4202560 2109 0 0 0 54 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924742306232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27793/tid=27826] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27826/stat : 27826 (java) S 27791 27793 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924741253368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27793/tid=27827] ppid=27791 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/27793/task/27827/stat : 27827 (java) S 27791 27793 21497 0 -1 4202560 102 0 0 0 28 28 0 0 20 0 19 0 255143805 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924740201032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27793/tid=27830] ppid=27791 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27793/task/27830/stat : 27830 (java) S 27791 27793 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255144001 9855975424 135482 33554432000 1073741824 1073778376 140734855074864 139924739147304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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): 1794.65
CPU time (s): 1800.63
CPU user time (s): 1799.5
CPU system time (s): 1.13283
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.13283
maximum resident set size= 567908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15986
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41075
involuntary context switches= 26087

runsolver used 6.22905 second user time and 14.9747 second system time

The end

Launcher Data

Begin job on node116 at 2012-05-24 22:09:37
IDJOB=3689423
IDBENCH=89728
IDSOLVER=2269
FILE ID=node116/3689423-1337890177
RUNJOBID= node116-1337890177-27764
PBS_JOBID= 14620088
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-76.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689423-1337890177/watcher-3689423-1337890177 -o /tmp/evaluation-result-3689423-1337890177/solver-3689423-1337890177 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689423-1337890177.opb

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

MD5SUM BENCH= f030651c159d27eae553d070b0927366
RANDOM SEED=452380241

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.556
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.92
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.556
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.90
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.556
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:       32873648 kB
MemFree:        28882692 kB
Buffers:          221684 kB
Cached:          2997092 kB
SwapCached:            0 kB
Active:           514356 kB
Inactive:        2714580 kB
Active(anon):      13020 kB
Inactive(anon):        0 kB
Active(file):     501336 kB
Inactive(file):  2714580 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             22116 kB
Writeback:            12 kB
AnonPages:         17980 kB
Mapped:            13124 kB
Shmem:               200 kB
Slab:             624960 kB
SReclaimable:      69464 kB
SUnreclaim:       555496 kB
KernelStack:        1392 kB
PageTables:         3776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     124320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node116 at 2012-05-24 22:39:34