Trace number 3478748

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
Sat4j Res//CP 2.3.0? (TO) 1800.46 1008.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-182.opb
MD5SUM378c188d79de101f4114d358aff291a2
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables599527
Total number of constraints14097016
Number of constraints which are clauses12663693
Number of constraints which are cardinality constraints (but not clauses)44152
Number of constraints which are nor clauses,nor cardinality constraints1389171
Minimum length of a constraint2
Maximum length of a constraint3822
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 3823
Number of bits of the biggest sum of numbers12
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-2010 Daniel Le Berre
0.00/0.08	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.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.11/0.12	c Pseudo Boolean Optimization
0.11/0.12	c ManyCore solver with 2 solvers running in parallel
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.12	c Expensive reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.12	c No reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-3478748-1307436783.opb
0.11/0.12	c reading problem ... 
154.12/121.58	c ... done. Wall clock time 121.458s.
154.12/121.58	c #vars     599527
154.12/121.58	c #constraints  14119118
154.12/121.58	c constraints type 
154.12/121.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9746369
154.12/121.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 44153
154.12/121.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2939425
154.12/121.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1389171
154.12/121.58	c constraints type 
154.12/121.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2939425
154.12/121.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9746369
154.12/121.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 44153
154.12/121.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1389171
204.19/145.65	c cleaning 2487 clauses out of 5001 with flag 5001/5001
255.34/174.64	c cleaning 4234 clauses out of 8513 with flag 11000/11000
312.88/207.05	c cleaning 5625 clauses out of 11280 with flag 18001/18001
369.84/239.19	c cleaning 6817 clauses out of 13656 with flag 26002/26002
443.62/281.78	c cleaning 7886 clauses out of 15837 with flag 35000/35000
519.96/323.47	c cleaning 8950 clauses out of 17954 with flag 45003/45003
599.07/366.52	c cleaning 9983 clauses out of 20002 with flag 56001/56001
685.80/413.49	c cleaning 10984 clauses out of 22018 with flag 68000/68000
797.24/474.70	c cleaning 11994 clauses out of 24035 with flag 81001/81001
897.87/528.41	c cleaning 12994 clauses out of 26043 with flag 95003/95003
1004.73/585.34	c cleaning 14004 clauses out of 28046 with flag 110000/110000
1117.72/645.32	c cleaning 15002 clauses out of 30042 with flag 126000/126000
1236.30/710.29	c cleaning 16000 clauses out of 32040 with flag 143000/143000
1385.13/788.17	c cleaning 16993 clauses out of 34041 with flag 161001/161001
1526.90/862.59	c cleaning 18010 clauses out of 36048 with flag 180001/180001
1737.14/971.19	c cleaning 19007 clauses out of 38041 with flag 200004/200004
1800.13/1008.14	c starts		: 118
1800.13/1008.14	c conflicts		: 208031
1800.13/1008.14	c decisions		: 1022395
1800.13/1008.14	c propagations		: 1701276607
1800.13/1008.14	c inspects		: 5007047268
1800.13/1008.14	c shortcuts		: 0
1800.13/1008.14	c learnt literals	: 0
1800.13/1008.14	c learnt binary clauses	: 32
1800.13/1008.14	c learnt ternary clauses	: 31
1800.13/1008.14	c learnt constraints	: 208030
1800.13/1008.14	c ignored constraints	: 0
1800.13/1008.14	c root simplifications	: 0
1800.13/1008.14	c removed literals (reason simplification)	: 3153202
1800.13/1008.14	c reason swapping (by a shorter reason)	: 0
1800.13/1008.14	c Calls to reduceDB	: 16
1800.13/1008.14	c number of reductions to clauses (during analyze)	: 0
1800.13/1008.14	c number of learned constraints concerned by reduction	: 0
1800.13/1008.14	c number of learning phase by resolution	: 0
1800.13/1008.14	c number of learning phase by cutting planes	: 0
1800.13/1008.14	c speed (assignments/second)	: 1918968.1972301868
1800.13/1008.14	c non guided choices	274757
1800.13/1008.15	c learnt constraints type 
1800.13/1008.15	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 32
1800.13/1008.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27032
1800.13/1008.15	c constraints type 
1800.13/1008.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9746369
1800.13/1008.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 44153
1800.13/1008.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2939425
1800.13/1008.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1389171
1800.13/1008.15	c constraints type 
1800.13/1008.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2939425
1800.13/1008.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9746369
1800.13/1008.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 44153
1800.13/1008.15	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1389171
1800.13/1008.15	s UNKNOWN
1800.13/1008.15	c Total wall clock time (in seconds): 1008.032

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3478748-1307436783/watcher-3478748-1307436783 -o /tmp/evaluation-result-3478748-1307436783/solver-3478748-1307436783 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478748-1307436783.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: 0.52 0.11 0.04 3/482 15175
/proc/meminfo: memFree=24711872/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 3476 0 1 0 0 0 0 0 24 0 2 0 855277890 10694979584 3177 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2611079 3190 917 9 0 2602235 0
[pid=15175/tid=15176] ppid=15173 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 6574 0 1 0 0 0 0 0 25 0 2 0 855277891 10694979584 7389 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.115054 s]
/proc/loadavg: 0.52 0.11 0.04 3/482 15175
/proc/meminfo: memFree=24711872/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10539664 CPUtime=0.11 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 12981 0 1 0 10 1 0 0 24 0 18 0 855277890 10792615936 12677 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2634916 12677 2092 9 0 2625650 0
[pid=15175/tid=15176] ppid=15173 vsize=10539664 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 11215 0 1 0 8 0 0 0 25 0 18 0 855277891 10792615936 12677 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 47342646036218 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539664

[startup+0.201038 s]
/proc/loadavg: 0.52 0.11 0.04 3/482 15175
/proc/meminfo: memFree=24711872/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10540172 CPUtime=0.22 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 27369 0 1 0 19 3 0 0 24 0 18 0 855277890 10793136128 27035 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2635043 27035 2161 9 0 2625777 0
[pid=15175/tid=15176] ppid=15173 vsize=10540172 CPUtime=0.17 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 25411 0 1 0 15 2 0 0 25 0 18 0 855277891 10793136128 27035 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912505228565 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10540172

[startup+0.30102 s]
/proc/loadavg: 0.52 0.11 0.04 3/482 15175
/proc/meminfo: memFree=24711872/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10540816 CPUtime=0.4 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 30714 0 1 0 37 3 0 0 24 0 18 0 855277890 10793795584 30255 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2635204 30255 2192 9 0 2625938 0
[pid=15175/tid=15176] ppid=15173 vsize=10540816 CPUtime=0.28 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 28405 0 1 0 25 3 0 0 25 0 18 0 855277891 10793795584 30255 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 47342644484320 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10540816

[startup+0.700948 s]
/proc/loadavg: 0.52 0.11 0.04 3/482 15175
/proc/meminfo: memFree=24711872/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10549972 CPUtime=1.19 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 113976 0 1 0 106 13 0 0 24 0 18 0 855277890 10803171328 112001 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2637493 112001 2215 9 0 2628227 0
[pid=15175/tid=15176] ppid=15173 vsize=10549972 CPUtime=0.67 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 107942 0 1 0 55 12 0 0 25 0 18 0 855277891 10803171328 112001 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912505523292 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10549972

[startup+1.5008 s]
/proc/loadavg: 0.52 0.11 0.04 4/500 15193
/proc/meminfo: memFree=23735560/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10549972 CPUtime=2 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 379144 0 1 0 159 41 0 0 24 0 18 0 855277890 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2637493 377014 2215 9 0 2628227 0
[pid=15175/tid=15176] ppid=15173 vsize=10549972 CPUtime=1.45 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 373058 0 1 0 105 40 0 0 25 0 18 0 855277891 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912505565512 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15175/tid=15178] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15178/stat : 15178 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15179] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15179/stat : 15179 (java) S 15173 15175 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15180] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15180/stat : 15180 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15181] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15181/stat : 15181 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15182] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15182/stat : 15182 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15183] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15183/stat : 15183 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15184] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15184/stat : 15184 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15185] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15185/stat : 15185 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277892 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15186] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15186/stat : 15186 (java) S 15173 15175 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855277893 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15187] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15187/stat : 15187 (java) S 15173 15175 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855277894 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15188] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15188/stat : 15188 (java) S 15173 15175 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855277894 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15189] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15189/stat : 15189 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277896 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15190] ppid=15173 vsize=10549972 CPUtime=0.28 cores=1,3,5,7
/proc/15175/task/15190/stat : 15190 (java) S 15173 15175 15115 0 -1 4202560 1091 0 0 0 28 0 0 0 24 0 18 0 855277896 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15191] ppid=15173 vsize=10549972 CPUtime=0.24 cores=1,3,5,7
/proc/15175/task/15191/stat : 15191 (java) S 15173 15175 15115 0 -1 4202560 3844 0 0 0 24 0 0 0 20 0 18 0 855277896 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15192] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15192/stat : 15192 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277896 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15193] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15193/stat : 15193 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855277896 10803171328 377014 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10549972

[startup+3.10153 s]
/proc/loadavg: 0.52 0.11 0.04 9/500 15193
/proc/meminfo: memFree=22264676/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10549972 CPUtime=3.79 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 670685 0 1 0 304 75 0 0 24 0 18 0 855277890 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2637493 668254 2231 9 0 2628227 0
[pid=15175/tid=15176] ppid=15173 vsize=10549972 CPUtime=2.96 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 649590 0 1 0 224 72 0 0 25 0 18 0 855277891 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912505523292 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15175/tid=15178] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15178/stat : 15178 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15179] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15179/stat : 15179 (java) S 15173 15175 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15180] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15180/stat : 15180 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15181] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15181/stat : 15181 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15182] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15182/stat : 15182 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15183] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15183/stat : 15183 (java) S 15173 15175 15115 0 -1 4202560 687 0 0 0 0 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15184] ppid=15173 vsize=10549972 CPUtime=0.06 cores=1,3,5,7
/proc/15175/task/15184/stat : 15184 (java) S 15173 15175 15115 0 -1 4202560 6416 0 0 0 6 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15185] ppid=15173 vsize=10549972 CPUtime=0.06 cores=1,3,5,7
/proc/15175/task/15185/stat : 15185 (java) S 15173 15175 15115 0 -1 4202560 7464 0 0 0 6 0 0 0 18 0 18 0 855277892 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15186] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15186/stat : 15186 (java) S 15173 15175 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855277893 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15187] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15187/stat : 15187 (java) S 15173 15175 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855277894 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15188] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15188/stat : 15188 (java) S 15173 15175 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 855277894 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15189] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15189/stat : 15189 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277896 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15190] ppid=15173 vsize=10549972 CPUtime=0.34 cores=1,3,5,7
/proc/15175/task/15190/stat : 15190 (java) S 15173 15175 15115 0 -1 4202560 1113 0 0 0 34 0 0 0 15 0 18 0 855277896 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15191] ppid=15173 vsize=10549972 CPUtime=0.31 cores=1,3,5,7
/proc/15175/task/15191/stat : 15191 (java) S 15173 15175 15115 0 -1 4202560 4258 0 0 0 31 0 0 0 15 0 18 0 855277896 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15192] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15192/stat : 15192 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277896 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15193] ppid=15173 vsize=10549972 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15193/stat : 15193 (java) R 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855277896 10803171328 668254 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 10549972

[startup+6.30097 s]
/proc/loadavg: 1.12 0.24 0.08 5/500 15193
/proc/meminfo: memFree=21524880/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10548928 CPUtime=7.65 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 728116 0 1 0 683 82 0 0 24 0 18 0 855277890 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2637232 724505 2231 9 0 2627966 0
[pid=15175/tid=15176] ppid=15173 vsize=10548928 CPUtime=5.8 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) R 15173 15175 15115 0 -1 4202560 651011 0 1 0 508 72 0 0 24 0 18 0 855277891 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912505523292 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15175/tid=15178] ppid=15173 vsize=10548928 CPUtime=0.19 cores=1,3,5,7
/proc/15175/task/15178/stat : 15178 (java) S 15173 15175 15115 0 -1 4202560 9882 0 0 0 18 1 0 0 16 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15179] ppid=15173 vsize=10548928 CPUtime=0.15 cores=1,3,5,7
/proc/15175/task/15179/stat : 15179 (java) S 15173 15175 15115 0 -1 4202560 9731 0 0 0 15 0 0 0 15 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15180] ppid=15173 vsize=10548928 CPUtime=0.05 cores=1,3,5,7
/proc/15175/task/15180/stat : 15180 (java) S 15173 15175 15115 0 -1 4202560 7004 0 0 0 5 0 0 0 15 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15181] ppid=15173 vsize=10548928 CPUtime=0.11 cores=1,3,5,7
/proc/15175/task/15181/stat : 15181 (java) S 15173 15175 15115 0 -1 4202560 4141 0 0 0 11 0 0 0 16 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15182] ppid=15173 vsize=10548928 CPUtime=0.06 cores=1,3,5,7
/proc/15175/task/15182/stat : 15182 (java) S 15173 15175 15115 0 -1 4202560 4483 0 0 0 6 0 0 0 15 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15183] ppid=15173 vsize=10548928 CPUtime=0.06 cores=1,3,5,7
/proc/15175/task/15183/stat : 15183 (java) S 15173 15175 15115 0 -1 4202560 7203 0 0 0 5 1 0 0 16 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15184] ppid=15173 vsize=10548928 CPUtime=0.34 cores=1,3,5,7
/proc/15175/task/15184/stat : 15184 (java) S 15173 15175 15115 0 -1 4202560 18278 0 0 0 32 2 0 0 16 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15185] ppid=15173 vsize=10548928 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15185/stat : 15185 (java) S 15173 15175 15115 0 -1 4202560 8798 0 0 0 8 0 0 0 15 0 18 0 855277892 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15186] ppid=15173 vsize=10548928 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15186/stat : 15186 (java) S 15173 15175 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855277893 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15187] ppid=15173 vsize=10548928 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15187/stat : 15187 (java) S 15173 15175 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855277894 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15188] ppid=15173 vsize=10548928 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15188/stat : 15188 (java) S 15173 15175 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 855277894 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15189] ppid=15173 vsize=10548928 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15189/stat : 15189 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277896 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15190] ppid=15173 vsize=10548928 CPUtime=0.34 cores=1,3,5,7
/proc/15175/task/15190/stat : 15190 (java) S 15173 15175 15115 0 -1 4202560 1113 0 0 0 34 0 0 0 15 0 18 0 855277896 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15191] ppid=15173 vsize=10548928 CPUtime=0.36 cores=1,3,5,7
/proc/15175/task/15191/stat : 15191 (java) S 15173 15175 15115 0 -1 4202560 5321 0 0 0 36 0 0 0 15 0 18 0 855277896 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15192] ppid=15173 vsize=10548928 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15192/stat : 15192 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855277896 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15193] ppid=15173 vsize=10548928 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15193/stat : 15193 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855277896 10802102272 724505 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0

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

/proc/15175/task/15178/stat : 15178 (java) S 15173 15175 15115 0 -1 4202560 168730 0 0 0 712 20 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15179] ppid=15173 vsize=10628624 CPUtime=5.99 cores=1,3,5,7
/proc/15175/task/15179/stat : 15179 (java) S 15173 15175 15115 0 -1 4202560 111924 0 0 0 585 14 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15180] ppid=15173 vsize=10628624 CPUtime=5.5 cores=1,3,5,7
/proc/15175/task/15180/stat : 15180 (java) S 15173 15175 15115 0 -1 4202560 141444 0 0 0 534 16 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15181] ppid=15173 vsize=10628624 CPUtime=6.34 cores=1,3,5,7
/proc/15175/task/15181/stat : 15181 (java) S 15173 15175 15115 0 -1 4202560 143543 0 0 0 619 15 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15182] ppid=15173 vsize=10628624 CPUtime=5.47 cores=1,3,5,7
/proc/15175/task/15182/stat : 15182 (java) S 15173 15175 15115 0 -1 4202560 147262 0 0 0 529 18 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15183] ppid=15173 vsize=10628624 CPUtime=6.1 cores=1,3,5,7
/proc/15175/task/15183/stat : 15183 (java) S 15173 15175 15115 0 -1 4202560 143728 0 0 0 593 17 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15184] ppid=15173 vsize=10628624 CPUtime=6.74 cores=1,3,5,7
/proc/15175/task/15184/stat : 15184 (java) S 15173 15175 15115 0 -1 4202560 145537 0 0 0 658 16 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15185] ppid=15173 vsize=10628624 CPUtime=5.04 cores=1,3,5,7
/proc/15175/task/15185/stat : 15185 (java) S 15173 15175 15115 0 -1 4202560 112872 0 0 0 492 12 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15186] ppid=15173 vsize=10628624 CPUtime=120.03 cores=1,3,5,7
/proc/15175/task/15186/stat : 15186 (java) S 15173 15175 15115 0 -1 4202560 9021 0 0 0 12001 2 0 0 15 0 22 0 855277893 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15187] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15187/stat : 15187 (java) S 15173 15175 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855277894 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15188] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15188/stat : 15188 (java) S 15173 15175 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855277894 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15189] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15189/stat : 15189 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15190] ppid=15173 vsize=10628624 CPUtime=1.22 cores=1,3,5,7
/proc/15175/task/15190/stat : 15190 (java) S 15173 15175 15115 0 -1 4202560 5935 0 0 0 121 1 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15191] ppid=15173 vsize=10628624 CPUtime=0.99 cores=1,3,5,7
/proc/15175/task/15191/stat : 15191 (java) S 15173 15175 15115 0 -1 4202560 7774 0 0 0 98 1 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15192] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15192/stat : 15192 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15193] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15193/stat : 15193 (java) S 15173 15175 15115 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15197] ppid=15173 vsize=10628624 CPUtime=699.09 cores=1,3,5,7
/proc/15175/task/15197/stat : 15197 (java) R 15173 15175 15115 0 -1 4202560 33 0 0 0 69909 0 0 0 25 0 22 0 855290049 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912505996208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15175/tid=15198] ppid=15173 vsize=10628624 CPUtime=699.14 cores=1,3,5,7
/proc/15175/task/15198/stat : 15198 (java) R 15173 15175 15115 0 -1 4202560 60 0 0 0 69914 0 0 0 25 0 22 0 855290049 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912506009896 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15175/tid=15199] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15199/stat : 15199 (java) S 15173 15175 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855290057 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15200] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15200/stat : 15200 (java) S 15173 15175 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855290057 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1679.48
Current children cumulated vsize (KiB) 10628624

[startup+1002.3 s]
/proc/loadavg: 3.68 3.65 2.49 5/504 15286
/proc/meminfo: memFree=18152524/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10628624 CPUtime=1788.48 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 1828098 0 1 0 178602 246 0 0 24 0 22 0 855277890 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2657156 1803353 2266 9 0 2647890 0
[pid=15175/tid=15176] ppid=15173 vsize=10628624 CPUtime=110.4 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) S 15173 15175 15115 0 -1 4202560 689016 0 1 0 10930 110 0 0 15 0 22 0 855277891 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15178] ppid=15173 vsize=10628624 CPUtime=7.32 cores=1,3,5,7
/proc/15175/task/15178/stat : 15178 (java) S 15173 15175 15115 0 -1 4202560 168730 0 0 0 712 20 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15179] ppid=15173 vsize=10628624 CPUtime=6.02 cores=1,3,5,7
/proc/15175/task/15179/stat : 15179 (java) S 15173 15175 15115 0 -1 4202560 111924 0 0 0 588 14 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15180] ppid=15173 vsize=10628624 CPUtime=5.53 cores=1,3,5,7
/proc/15175/task/15180/stat : 15180 (java) S 15173 15175 15115 0 -1 4202560 141444 0 0 0 537 16 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15181] ppid=15173 vsize=10628624 CPUtime=6.37 cores=1,3,5,7
/proc/15175/task/15181/stat : 15181 (java) S 15173 15175 15115 0 -1 4202560 143543 0 0 0 622 15 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15182] ppid=15173 vsize=10628624 CPUtime=5.53 cores=1,3,5,7
/proc/15175/task/15182/stat : 15182 (java) S 15173 15175 15115 0 -1 4202560 147262 0 0 0 535 18 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15183] ppid=15173 vsize=10628624 CPUtime=6.13 cores=1,3,5,7
/proc/15175/task/15183/stat : 15183 (java) S 15173 15175 15115 0 -1 4202560 143728 0 0 0 596 17 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15184] ppid=15173 vsize=10628624 CPUtime=6.77 cores=1,3,5,7
/proc/15175/task/15184/stat : 15184 (java) S 15173 15175 15115 0 -1 4202560 145537 0 0 0 661 16 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15185] ppid=15173 vsize=10628624 CPUtime=5.08 cores=1,3,5,7
/proc/15175/task/15185/stat : 15185 (java) S 15173 15175 15115 0 -1 4202560 112872 0 0 0 496 12 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15186] ppid=15173 vsize=10628624 CPUtime=131.16 cores=1,3,5,7
/proc/15175/task/15186/stat : 15186 (java) S 15173 15175 15115 0 -1 4202560 9025 0 0 0 13114 2 0 0 18 0 22 0 855277893 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15187] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15187/stat : 15187 (java) S 15173 15175 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855277894 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15188] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15188/stat : 15188 (java) S 15173 15175 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855277894 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15189] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15189/stat : 15189 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15190] ppid=15173 vsize=10628624 CPUtime=1.22 cores=1,3,5,7
/proc/15175/task/15190/stat : 15190 (java) S 15173 15175 15115 0 -1 4202560 5935 0 0 0 121 1 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15191] ppid=15173 vsize=10628624 CPUtime=0.99 cores=1,3,5,7
/proc/15175/task/15191/stat : 15191 (java) S 15173 15175 15115 0 -1 4202560 7774 0 0 0 98 1 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15192] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15192/stat : 15192 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15193] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15193/stat : 15193 (java) S 15173 15175 15115 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15197] ppid=15173 vsize=10628624 CPUtime=747.9 cores=1,3,5,7
/proc/15175/task/15197/stat : 15197 (java) R 15173 15175 15115 0 -1 4202560 33 0 0 0 74790 0 0 0 25 0 22 0 855290049 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912506107099 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15175/tid=15198] ppid=15173 vsize=10628624 CPUtime=747.94 cores=1,3,5,7
/proc/15175/task/15198/stat : 15198 (java) R 15173 15175 15115 0 -1 4202560 61 0 0 0 74794 0 0 0 25 0 22 0 855290049 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912506009903 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15175/tid=15199] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15199/stat : 15199 (java) S 15173 15175 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855290057 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15200] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15200/stat : 15200 (java) S 15173 15175 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855290057 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (KiB) 10628624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1008.12 s]
/proc/loadavg: 3.81 3.68 2.51 5/504 15286
/proc/meminfo: memFree=17780892/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=10628624 CPUtime=1800.13 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15173 15175 15115 0 -1 4202496 1828100 0 1 0 179767 246 0 0 24 0 22 0 855277890 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 2657156 1803353 2266 9 0 2647890 0
[pid=15175/tid=15176] ppid=15173 vsize=10628624 CPUtime=110.4 cores=1,3,5,7
/proc/15175/task/15176/stat : 15176 (java) S 15173 15175 15115 0 -1 4202560 689016 0 1 0 10930 110 0 0 15 0 22 0 855277891 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15178] ppid=15173 vsize=10628624 CPUtime=7.32 cores=1,3,5,7
/proc/15175/task/15178/stat : 15178 (java) S 15173 15175 15115 0 -1 4202560 168730 0 0 0 712 20 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15179] ppid=15173 vsize=10628624 CPUtime=6.02 cores=1,3,5,7
/proc/15175/task/15179/stat : 15179 (java) S 15173 15175 15115 0 -1 4202560 111924 0 0 0 588 14 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15180] ppid=15173 vsize=10628624 CPUtime=5.53 cores=1,3,5,7
/proc/15175/task/15180/stat : 15180 (java) S 15173 15175 15115 0 -1 4202560 141444 0 0 0 537 16 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15181] ppid=15173 vsize=10628624 CPUtime=6.37 cores=1,3,5,7
/proc/15175/task/15181/stat : 15181 (java) S 15173 15175 15115 0 -1 4202560 143543 0 0 0 622 15 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15182] ppid=15173 vsize=10628624 CPUtime=5.53 cores=1,3,5,7
/proc/15175/task/15182/stat : 15182 (java) S 15173 15175 15115 0 -1 4202560 147262 0 0 0 535 18 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15183] ppid=15173 vsize=10628624 CPUtime=6.13 cores=1,3,5,7
/proc/15175/task/15183/stat : 15183 (java) S 15173 15175 15115 0 -1 4202560 143728 0 0 0 596 17 0 0 16 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15184] ppid=15173 vsize=10628624 CPUtime=6.77 cores=1,3,5,7
/proc/15175/task/15184/stat : 15184 (java) S 15173 15175 15115 0 -1 4202560 145537 0 0 0 661 16 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15185] ppid=15173 vsize=10628624 CPUtime=5.08 cores=1,3,5,7
/proc/15175/task/15185/stat : 15185 (java) S 15173 15175 15115 0 -1 4202560 112872 0 0 0 496 12 0 0 15 0 22 0 855277892 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15186] ppid=15173 vsize=10628624 CPUtime=131.16 cores=1,3,5,7
/proc/15175/task/15186/stat : 15186 (java) S 15173 15175 15115 0 -1 4202560 9025 0 0 0 13114 2 0 0 18 0 22 0 855277893 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15187] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15187/stat : 15187 (java) S 15173 15175 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855277894 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15188] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15188/stat : 15188 (java) S 15173 15175 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855277894 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15189] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15189/stat : 15189 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15190] ppid=15173 vsize=10628624 CPUtime=1.22 cores=1,3,5,7
/proc/15175/task/15190/stat : 15190 (java) S 15173 15175 15115 0 -1 4202560 5935 0 0 0 121 1 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=15175/tid=15191] ppid=15173 vsize=10628624 CPUtime=0.99 cores=1,3,5,7
/proc/15175/task/15191/stat : 15191 (java) S 15173 15175 15115 0 -1 4202560 7774 0 0 0 98 1 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15192] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15192/stat : 15192 (java) S 15173 15175 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=15175/tid=15193] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15193/stat : 15193 (java) S 15173 15175 15115 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 855277896 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=15175/tid=15197] ppid=15173 vsize=10628624 CPUtime=753.74 cores=1,3,5,7
/proc/15175/task/15197/stat : 15197 (java) R 15173 15175 15115 0 -1 4202560 33 0 0 0 75374 0 0 0 25 0 22 0 855290049 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912505996489 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15175/tid=15198] ppid=15173 vsize=10628624 CPUtime=753.78 cores=1,3,5,7
/proc/15175/task/15198/stat : 15198 (java) R 15173 15175 15115 0 -1 4202560 61 0 0 0 75378 0 0 0 25 0 22 0 855290049 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 46912506009883 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15175/tid=15199] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15199/stat : 15199 (java) S 15173 15175 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855290057 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=15175/tid=15200] ppid=15173 vsize=10628624 CPUtime=0 cores=1,3,5,7
/proc/15175/task/15200/stat : 15200 (java) S 15173 15175 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855290057 10883710976 1803353 33554432000 1073741824 1073778376 140733740310768 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10628624

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

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

[startup+1008.3 s]
/proc/loadavg: 3.81 3.68 2.51 5/504 15286
/proc/meminfo: memFree=17780892/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/15175/stat : 15175 (java) Z 15173 15175 15115 0 -1 4203548 1828132 0 1 0 179775 260 0 0 17 0 2 0 855277890 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

[startup+1008.4 s]
/proc/loadavg: 3.81 3.68 2.51 5/504 15286
/proc/meminfo: memFree=17780892/32951124 swapFree=41830676/67111528
[pid=15175] ppid=15173 vsize=0 CPUtime=1800.45 cores=1,3,5,7
/proc/15175/stat : 15175 (java) Z 15173 15175 15115 0 -1 4203548 1828132 0 1 0 179775 270 0 0 17 0 2 0 855277890 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15175/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1008.41
CPU time (s): 1800.46
CPU user time (s): 1797.75
CPU system time (s): 2.71059
CPU usage (%): 178.545
Max. virtual memory (cumulated for all children) (KiB): 10633660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.75
system time used= 2.71059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1828132
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25478
involuntary context switches= 59641

runsolver used 4.69529 second user time and 10.9453 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-07 10:53:19
IDJOB=3478748
IDBENCH=89647
IDSOLVER=1950
FILE ID=node138/3478748-1307436783
RUNJOBID= node138-1307436783-15134
PBS_JOBID= 13519950
Free space on /tmp= 73188 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-182.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478748-1307436783/watcher-3478748-1307436783 -o /tmp/evaluation-result-3478748-1307436783/solver-3478748-1307436783 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478748-1307436783.opb

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

MD5SUM BENCH= 378c188d79de101f4114d358aff291a2
RANDOM SEED=330136224

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24712160 kB
Buffers:        340884 kB
Cached:        1958560 kB
SwapCached:      44568 kB
Active:        6099988 kB
Inactive:      1815800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24712160 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:          726244 kB
Writeback:           0 kB
AnonPages:     5583156 kB
Mapped:          24720 kB
Slab:           155088 kB
PageTables:      98572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141014372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73220 MiB
End job on node138 at 2011-06-07 11:10:09