Trace number 3478825

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.48 921.8

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-135.opb
MD5SUM0bf2f4aff59c663568b0bfbd80eaa689
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 variables55296
Total number of constraints1282690
Number of constraints which are clauses1152492
Number of constraints which are cardinality constraints (but not clauses)4030
Number of constraints which are nor clauses,nor cardinality constraints126168
Minimum length of a constraint2
Maximum length of a constraint756
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 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3478825-1307438615.opb
0.10/0.11	c reading problem ... 
10.52/8.84	c ... done. Wall clock time 8.723s.
10.52/8.84	c #vars     55296
10.52/8.84	c #constraints  1284718
10.52/8.84	c constraints type 
10.52/8.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 885189
10.52/8.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 4032
10.52/8.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 269329
10.52/8.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 126168
10.52/8.84	c constraints type 
10.52/8.84	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 269329
10.52/8.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 885189
10.52/8.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4032
10.52/8.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 126168
38.57/22.03	c cleaning 0 clauses out of 5002 with flag 0/5002
41.21/23.55	c cleaning 2459 clauses out of 5000 with flag 5000/5000
51.03/28.76	c cleaning 0 clauses out of 11002 with flag 0/11002
65.24/36.22	c cleaning 0 clauses out of 18001 with flag 0/18001
66.98/37.44	c cleaning 4238 clauses out of 8541 with flag 11000/11000
84.53/46.58	c cleaning 0 clauses out of 26001 with flag 0/26001
99.53/54.33	c cleaning 5619 clauses out of 11303 with flag 18000/18000
108.92/59.39	c cleaning 0 clauses out of 35000 with flag 0/35000
132.18/71.51	c cleaning 6829 clauses out of 13687 with flag 26003/26003
139.15/75.25	c cleaning 0 clauses out of 45000 with flag 0/45000
161.33/86.61	c cleaning 7860 clauses out of 15855 with flag 35000/35000
177.90/95.26	c cleaning 0 clauses out of 56000 with flag 0/56000
204.53/109.04	c cleaning 8955 clauses out of 17998 with flag 45003/45003
221.69/117.90	c cleaning 0 clauses out of 68001 with flag 0/68001
263.67/139.25	c cleaning 9936 clauses out of 20040 with flag 56000/56000
281.82/148.64	c cleaning 0 clauses out of 81000 with flag 0/81000
296.04/156.27	c cleaning 11009 clauses out of 22106 with flag 68002/68002
348.37/182.74	c cleaning 0 clauses out of 95000 with flag 0/95000
349.31/183.51	c cleaning 11968 clauses out of 24095 with flag 81000/81000
383.66/201.09	c cleaning 13037 clauses out of 26127 with flag 95000/95000
420.50/219.93	c cleaning 14018 clauses out of 28090 with flag 110000/110000
434.23/227.11	c cleaning 0 clauses out of 110000 with flag 0/110000
468.71/244.78	c cleaning 15001 clauses out of 30073 with flag 126001/126001
530.68/276.08	c cleaning 0 clauses out of 126001 with flag 0/126001
535.83/279.14	c cleaning 16016 clauses out of 32072 with flag 143001/143001
601.35/312.26	c cleaning 16976 clauses out of 34058 with flag 161003/161003
637.28/330.53	c cleaning 0 clauses out of 143000 with flag 0/143000
647.58/336.04	c cleaning 17989 clauses out of 36079 with flag 180000/180000
714.94/370.24	c cleaning 19022 clauses out of 38090 with flag 200000/200000
753.45/389.88	c cleaning 0 clauses out of 161000 with flag 0/161000
807.16/417.08	c cleaning 19966 clauses out of 40069 with flag 221001/221001
848.49/438.02	c cleaning 21029 clauses out of 42101 with flag 243000/243000
902.86/465.73	c cleaning 0 clauses out of 180001 with flag 0/180001
933.95/481.60	c cleaning 21999 clauses out of 44071 with flag 266000/266000
988.71/509.34	c cleaning 22986 clauses out of 46068 with flag 290000/290000
1063.39/547.05	c cleaning 24037 clauses out of 48080 with flag 315002/315002
1069.50/550.67	c cleaning 0 clauses out of 200003 with flag 0/200003
1155.19/593.83	c cleaning 24989 clauses out of 50038 with flag 341000/341000
1232.10/632.66	c cleaning 26004 clauses out of 52049 with flag 368000/368000
1259.18/646.55	c cleaning 0 clauses out of 221003 with flag 0/221003
1298.08/666.60	c cleaning 27006 clauses out of 54045 with flag 396000/396000
1387.97/711.83	c cleaning 28002 clauses out of 56039 with flag 425002/425002
1460.08/748.21	c cleaning 0 clauses out of 243002 with flag 0/243002
1462.54/749.83	c cleaning 28989 clauses out of 58035 with flag 455000/455000
1523.62/780.92	c cleaning 30001 clauses out of 60046 with flag 486001/486001
1591.71/815.35	c cleaning 31002 clauses out of 62045 with flag 518001/518001
1666.61/853.19	c cleaning 31912 clauses out of 64042 with flag 551000/551000
1712.68/876.61	c cleaning 0 clauses out of 266000 with flag 0/266000
1732.88/887.28	c cleaning 32460 clauses out of 66131 with flag 585001/585001
1786.53/914.49	c cleaning 34089 clauses out of 68670 with flag 620000/620000
1800.19/921.62	c starts		: 164
1800.19/921.62	c conflicts		: 625043
1800.19/921.62	c decisions		: 24267032
1800.19/921.62	c propagations		: 1228257048
1800.19/921.62	c inspects		: 6572122463
1800.19/921.62	c shortcuts		: 0
1800.19/921.62	c learnt literals	: 16
1800.19/921.62	c learnt binary clauses	: 1184
1800.19/921.62	c learnt ternary clauses	: 1858
1800.19/921.62	c learnt constraints	: 625027
1800.19/921.62	c ignored constraints	: 0
1800.19/921.62	c root simplifications	: 0
1800.19/921.62	c removed literals (reason simplification)	: 9210155
1800.19/921.62	c reason swapping (by a shorter reason)	: 0
1800.19/921.62	c Calls to reduceDB	: 31
1800.19/921.62	c number of reductions to clauses (during analyze)	: 0
1800.19/921.62	c number of learned constraints concerned by reduction	: 0
1800.19/921.62	c number of learning phase by resolution	: 0
1800.19/921.62	c number of learning phase by cutting planes	: 0
1800.19/921.62	c speed (assignments/second)	: 1345612.711399264
1800.19/921.62	c non guided choices	6463817
1800.19/921.64	c learnt constraints type 
1800.19/921.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1184
1800.19/921.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38451
1800.19/921.64	c constraints type 
1800.19/921.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 885189
1800.19/921.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 4032
1800.19/921.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 269329
1800.19/921.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 126168
1800.19/921.64	c constraints type 
1800.19/921.64	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 269329
1800.19/921.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 885189
1800.19/921.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4032
1800.19/921.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 126168
1800.19/921.64	s UNKNOWN
1800.19/921.64	c Total wall clock time (in seconds): 921.531

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-3478825-1307438615/watcher-3478825-1307438615 -o /tmp/evaluation-result-3478825-1307438615/solver-3478825-1307438615 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478825-1307438615.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: 4.06 4.02 3.43 3/575 4144
/proc/meminfo: memFree=20993964/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4144/stat : 4144 (java) R 4142 4144 3822 0 -1 4202496 948 0 0 0 0 0 0 0 21 0 1 0 855458674 23580672 692 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239471773104 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4144/statm: 5757 692 508 9 0 124 0
[pid=4144/tid=4145] ppid=4142 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 6545 0 1 0 0 0 0 0 22 0 2 0 855458675 10694979584 7363 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0435151 s]
/proc/loadavg: 4.06 4.02 3.43 3/575 4144
/proc/meminfo: memFree=20993964/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 11218 0 1 0 2 1 0 0 21 0 13 0 855458674 10718699520 10915 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2616870 10915 1668 9 0 2607618 0
[pid=4144/tid=4145] ppid=4142 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 10068 0 1 0 2 1 0 0 25 0 13 0 855458675 10718699520 10915 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 47948783103815 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.100481 s]
/proc/loadavg: 4.06 4.02 3.43 3/575 4144
/proc/meminfo: memFree=20993964/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10540092 CPUtime=0.1 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 13004 0 1 0 8 2 0 0 21 0 18 0 855458674 10793054208 12701 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2635023 12701 2092 9 0 2625757 0
[pid=4144/tid=4145] ppid=4142 vsize=10540092 CPUtime=0.07 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 11118 0 1 0 6 1 0 0 18 0 18 0 855458675 10793054208 12701 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239476356129 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540092

[startup+0.300448 s]
/proc/loadavg: 4.06 4.02 3.43 3/575 4144
/proc/meminfo: memFree=20993964/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10541224 CPUtime=0.47 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 17577 0 1 0 45 2 0 0 21 0 18 0 855458674 10794213376 16934 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2635306 16935 2199 9 0 2626040 0
[pid=4144/tid=4145] ppid=4142 vsize=10541224 CPUtime=0.28 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 14744 0 1 0 26 2 0 0 18 0 18 0 855458675 10794213376 16935 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505554188 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541224

[startup+0.700412 s]
/proc/loadavg: 4.06 4.02 3.43 3/575 4144
/proc/meminfo: memFree=20993964/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10544464 CPUtime=1.22 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 62765 0 1 0 115 7 0 0 21 0 18 0 855458674 10797531136 60520 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2636116 60526 2215 9 0 2626850 0
[pid=4144/tid=4145] ppid=4142 vsize=10544464 CPUtime=0.67 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 56411 0 1 0 61 6 0 0 18 0 18 0 855458675 10797531136 60528 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505554210 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10544464

[startup+1.50124 s]
/proc/loadavg: 3.98 4.01 3.42 4/593 4162
/proc/meminfo: memFree=20579856/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10544464 CPUtime=2.09 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 183172 0 1 0 187 22 0 0 21 0 18 0 855458674 10797531136 180927 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2636116 180932 2215 9 0 2626850 0
[pid=4144/tid=4145] ppid=4142 vsize=10544464 CPUtime=1.48 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 176801 0 1 0 127 21 0 0 20 0 18 0 855458675 10797531136 180935 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505653111 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4144/tid=4147] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4147/stat : 4147 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 855458677 10797531136 180938 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4148] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4148/stat : 4148 (java) S 4142 4144 3822 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 855458677 10797531136 180941 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4149] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4149/stat : 4149 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 180944 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4150] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4150/stat : 4150 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 180947 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4151] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4151/stat : 4151 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 180950 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4152] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4152/stat : 4152 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 180953 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4153] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4153/stat : 4153 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 180956 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4154] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4154/stat : 4154 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 180959 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4155] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4155/stat : 4155 (java) S 4142 4144 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855458678 10797531136 180962 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 0 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4156] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4156/stat : 4156 (java) S 4142 4144 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855458678 10797531136 180964 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4157] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4157/stat : 4157 (java) S 4142 4144 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 855458678 10797531136 180964 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4158] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4158/stat : 4158 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458680 10797531136 180967 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488518577 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4159] ppid=4142 vsize=10544464 CPUtime=0.28 cores=1,3,5,7
/proc/4144/task/4159/stat : 4159 (java) S 4142 4144 3822 0 -1 4202560 3102 0 0 0 28 0 0 0 19 0 18 0 855458680 10797531136 180970 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4160] ppid=4142 vsize=10544464 CPUtime=0.31 cores=1,3,5,7
/proc/4144/task/4160/stat : 4160 (java) S 4142 4144 3822 0 -1 4202560 2124 0 0 0 31 0 0 0 19 0 18 0 855458680 10797531136 180973 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4161] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4161/stat : 4161 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458680 10797531136 180976 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4162] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4162/stat : 4162 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855458680 10797531136 180979 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10544464

[startup+3.10094 s]
/proc/loadavg: 3.98 4.01 3.42 4/593 4162
/proc/meminfo: memFree=19891160/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10544464 CPUtime=3.74 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 425147 0 1 0 325 49 0 0 21 0 18 0 855458674 10797531136 422903 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2636116 422908 2215 9 0 2626850 0
[pid=4144/tid=4145] ppid=4142 vsize=10544464 CPUtime=3.07 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 418772 0 1 0 259 48 0 0 25 0 18 0 855458675 10797531136 422911 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505609400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4144/tid=4147] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4147/stat : 4147 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 855458677 10797531136 422914 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4148] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4148/stat : 4148 (java) S 4142 4144 3822 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 855458677 10797531136 422917 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4149] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4149/stat : 4149 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 422920 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4150] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4150/stat : 4150 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 422922 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4151] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4151/stat : 4151 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 422925 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4152] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4152/stat : 4152 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 422928 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4153] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4153/stat : 4153 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 422931 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4154] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4154/stat : 4154 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458677 10797531136 422934 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4155] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4155/stat : 4155 (java) S 4142 4144 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855458678 10797531136 422936 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 0 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4156] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4156/stat : 4156 (java) S 4142 4144 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855458678 10797531136 422939 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4157] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4157/stat : 4157 (java) S 4142 4144 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 855458678 10797531136 422942 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4158] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4158/stat : 4158 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458680 10797531136 422944 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488518577 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4159] ppid=4142 vsize=10544464 CPUtime=0.29 cores=1,3,5,7
/proc/4144/task/4159/stat : 4159 (java) S 4142 4144 3822 0 -1 4202560 3105 0 0 0 29 0 0 0 15 0 18 0 855458680 10797531136 422947 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4160] ppid=4142 vsize=10544464 CPUtime=0.35 cores=1,3,5,7
/proc/4144/task/4160/stat : 4160 (java) S 4142 4144 3822 0 -1 4202560 2126 0 0 0 35 0 0 0 15 0 18 0 855458680 10797531136 422950 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4161] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4161/stat : 4161 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458680 10797531136 422953 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4162] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4162/stat : 4162 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855458680 10797531136 422956 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 10544464

[startup+6.30132 s]
/proc/loadavg: 3.98 4.01 3.42 4/593 4162
/proc/meminfo: memFree=18237488/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10544464 CPUtime=7.33 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 688352 0 1 0 652 81 0 0 21 0 18 0 855458674 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2636116 686089 2231 9 0 2626850 0
[pid=4144/tid=4145] ppid=4142 vsize=10544464 CPUtime=6.15 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) R 4142 4144 3822 0 -1 4202560 650727 0 1 0 538 77 0 0 20 0 18 0 855458675 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505567397 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4144/tid=4147] ppid=4142 vsize=10544464 CPUtime=0.12 cores=1,3,5,7
/proc/4144/task/4147/stat : 4147 (java) S 4142 4144 3822 0 -1 4202560 7785 0 0 0 12 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4148] ppid=4142 vsize=10544464 CPUtime=0.1 cores=1,3,5,7
/proc/4144/task/4148/stat : 4148 (java) S 4142 4144 3822 0 -1 4202560 6885 0 0 0 10 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4149] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4149/stat : 4149 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4150] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4150/stat : 4150 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4151] ppid=4142 vsize=10544464 CPUtime=0.02 cores=1,3,5,7
/proc/4144/task/4151/stat : 4151 (java) S 4142 4144 3822 0 -1 4202560 1395 0 0 0 2 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4152] ppid=4142 vsize=10544464 CPUtime=0.11 cores=1,3,5,7
/proc/4144/task/4152/stat : 4152 (java) S 4142 4144 3822 0 -1 4202560 6487 0 0 0 11 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4153] ppid=4142 vsize=10544464 CPUtime=0.12 cores=1,3,5,7
/proc/4144/task/4153/stat : 4153 (java) S 4142 4144 3822 0 -1 4202560 8685 0 0 0 12 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4154] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4154/stat : 4154 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855458677 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4155] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4155/stat : 4155 (java) S 4142 4144 3822 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855458678 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 0 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4156] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4156/stat : 4156 (java) S 4142 4144 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855458678 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4157] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4157/stat : 4157 (java) S 4142 4144 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855458678 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4158] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4158/stat : 4158 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458680 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488518577 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4159] ppid=4142 vsize=10544464 CPUtime=0.29 cores=1,3,5,7
/proc/4144/task/4159/stat : 4159 (java) S 4142 4144 3822 0 -1 4202560 3105 0 0 0 29 0 0 0 15 0 18 0 855458680 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4160] ppid=4142 vsize=10544464 CPUtime=0.35 cores=1,3,5,7
/proc/4144/task/4160/stat : 4160 (java) S 4142 4144 3822 0 -1 4202560 2126 0 0 0 35 0 0 0 15 0 18 0 855458680 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4161] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4161/stat : 4161 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855458680 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4162] ppid=4142 vsize=10544464 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4162/stat : 4162 (java) S 4142 4144 3822 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855458680 10797531136 686089 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0

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

/proc/meminfo: memFree=18849152/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10550604 CPUtime=1604.97 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 1018327 0 1 0 160377 120 0 0 21 0 22 0 855458674 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2637651 1009594 2265 9 0 2628385 0
[pid=4144/tid=4145] ppid=4142 vsize=10550604 CPUtime=8.44 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) S 4142 4144 3822 0 -1 4202560 651090 0 1 0 767 77 0 0 15 0 22 0 855458675 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4147] ppid=4142 vsize=10550604 CPUtime=0.88 cores=1,3,5,7
/proc/4144/task/4147/stat : 4147 (java) S 4142 4144 3822 0 -1 4202560 33931 0 0 0 85 3 0 0 16 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4148] ppid=4142 vsize=10550604 CPUtime=0.87 cores=1,3,5,7
/proc/4144/task/4148/stat : 4148 (java) S 4142 4144 3822 0 -1 4202560 25240 0 0 0 85 2 0 0 16 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4149] ppid=4142 vsize=10550604 CPUtime=0.67 cores=1,3,5,7
/proc/4144/task/4149/stat : 4149 (java) S 4142 4144 3822 0 -1 4202560 19619 0 0 0 65 2 0 0 15 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4150] ppid=4142 vsize=10550604 CPUtime=1 cores=1,3,5,7
/proc/4144/task/4150/stat : 4150 (java) S 4142 4144 3822 0 -1 4202560 29034 0 0 0 97 3 0 0 15 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4151] ppid=4142 vsize=10550604 CPUtime=0.7 cores=1,3,5,7
/proc/4144/task/4151/stat : 4151 (java) S 4142 4144 3822 0 -1 4202560 26024 0 0 0 67 3 0 0 16 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4152] ppid=4142 vsize=10550604 CPUtime=0.61 cores=1,3,5,7
/proc/4144/task/4152/stat : 4152 (java) S 4142 4144 3822 0 -1 4202560 12087 0 0 0 60 1 0 0 16 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4153] ppid=4142 vsize=10550604 CPUtime=0.75 cores=1,3,5,7
/proc/4144/task/4153/stat : 4153 (java) S 4142 4144 3822 0 -1 4202560 25545 0 0 0 72 3 0 0 16 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4154] ppid=4142 vsize=10550604 CPUtime=0.9 cores=1,3,5,7
/proc/4144/task/4154/stat : 4154 (java) S 4142 4144 3822 0 -1 4202560 27228 0 0 0 87 3 0 0 16 0 22 0 855458677 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4155] ppid=4142 vsize=10550604 CPUtime=36.06 cores=1,3,5,7
/proc/4144/task/4155/stat : 4155 (java) S 4142 4144 3822 0 -1 4202560 139942 0 0 0 3593 13 0 0 15 0 22 0 855458678 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 0 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4156] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4156/stat : 4156 (java) S 4142 4144 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855458678 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4157] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4157/stat : 4157 (java) S 4142 4144 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855458678 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4158] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4158/stat : 4158 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855458680 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488518577 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4159] ppid=4142 vsize=10550604 CPUtime=1.14 cores=1,3,5,7
/proc/4144/task/4159/stat : 4159 (java) S 4142 4144 3822 0 -1 4202560 9294 0 0 0 113 1 0 0 15 0 22 0 855458680 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4160] ppid=4142 vsize=10550604 CPUtime=0.83 cores=1,3,5,7
/proc/4144/task/4160/stat : 4160 (java) S 4142 4144 3822 0 -1 4202560 3362 0 0 0 83 0 0 0 15 0 22 0 855458680 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4161] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4161/stat : 4161 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855458680 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4162] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4162/stat : 4162 (java) S 4142 4144 3822 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 855458680 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4163] ppid=4142 vsize=10550604 CPUtime=775.99 cores=1,3,5,7
/proc/4144/task/4163/stat : 4163 (java) R 4142 4144 3822 0 -1 4202560 63 0 0 0 77599 0 0 0 25 0 22 0 855459558 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505992092 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4144/tid=4164] ppid=4142 vsize=10550604 CPUtime=775.97 cores=1,3,5,7
/proc/4144/task/4164/stat : 4164 (java) R 4142 4144 3822 0 -1 4202560 14663 0 0 0 77595 2 0 0 25 0 22 0 855459558 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505902460 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4144/tid=4165] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4165/stat : 4165 (java) S 4142 4144 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855459561 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4166] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4166/stat : 4166 (java) S 4142 4144 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855459561 10803818496 1009594 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1604.97
Current children cumulated vsize (KiB) 10550604

[startup+882.301 s]
/proc/loadavg: 3.76 3.94 3.75 4/573 4342
/proc/meminfo: memFree=20607744/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10550604 CPUtime=1723.08 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 1021358 0 1 0 172188 120 0 0 21 0 22 0 855458674 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2637651 1012564 2265 9 0 2628385 0
[pid=4144/tid=4145] ppid=4142 vsize=10550604 CPUtime=8.44 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) S 4142 4144 3822 0 -1 4202560 651091 0 1 0 767 77 0 0 15 0 22 0 855458675 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4147] ppid=4142 vsize=10550604 CPUtime=0.93 cores=1,3,5,7
/proc/4144/task/4147/stat : 4147 (java) S 4142 4144 3822 0 -1 4202560 34536 0 0 0 89 4 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4148] ppid=4142 vsize=10550604 CPUtime=0.9 cores=1,3,5,7
/proc/4144/task/4148/stat : 4148 (java) S 4142 4144 3822 0 -1 4202560 25240 0 0 0 88 2 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4149] ppid=4142 vsize=10550604 CPUtime=0.7 cores=1,3,5,7
/proc/4144/task/4149/stat : 4149 (java) S 4142 4144 3822 0 -1 4202560 20007 0 0 0 68 2 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4150] ppid=4142 vsize=10550604 CPUtime=1.02 cores=1,3,5,7
/proc/4144/task/4150/stat : 4150 (java) S 4142 4144 3822 0 -1 4202560 29515 0 0 0 99 3 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4151] ppid=4142 vsize=10550604 CPUtime=0.74 cores=1,3,5,7
/proc/4144/task/4151/stat : 4151 (java) S 4142 4144 3822 0 -1 4202560 26435 0 0 0 71 3 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4152] ppid=4142 vsize=10550604 CPUtime=0.63 cores=1,3,5,7
/proc/4144/task/4152/stat : 4152 (java) S 4142 4144 3822 0 -1 4202560 12087 0 0 0 62 1 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4153] ppid=4142 vsize=10550604 CPUtime=0.77 cores=1,3,5,7
/proc/4144/task/4153/stat : 4153 (java) S 4142 4144 3822 0 -1 4202560 25545 0 0 0 74 3 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4154] ppid=4142 vsize=10550604 CPUtime=0.91 cores=1,3,5,7
/proc/4144/task/4154/stat : 4154 (java) S 4142 4144 3822 0 -1 4202560 28109 0 0 0 88 3 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4155] ppid=4142 vsize=10550604 CPUtime=38.05 cores=1,3,5,7
/proc/4144/task/4155/stat : 4155 (java) S 4142 4144 3822 0 -1 4202560 140200 0 0 0 3792 13 0 0 15 0 22 0 855458678 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 0 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4156] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4156/stat : 4156 (java) S 4142 4144 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855458678 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4157] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4157/stat : 4157 (java) S 4142 4144 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855458678 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4158] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4158/stat : 4158 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488518577 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4159] ppid=4142 vsize=10550604 CPUtime=1.14 cores=1,3,5,7
/proc/4144/task/4159/stat : 4159 (java) S 4142 4144 3822 0 -1 4202560 9294 0 0 0 113 1 0 0 15 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4160] ppid=4142 vsize=10550604 CPUtime=0.83 cores=1,3,5,7
/proc/4144/task/4160/stat : 4160 (java) S 4142 4144 3822 0 -1 4202560 3362 0 0 0 83 0 0 0 15 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4161] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4161/stat : 4161 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4162] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4162/stat : 4162 (java) S 4142 4144 3822 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4163] ppid=4142 vsize=10550604 CPUtime=833.95 cores=1,3,5,7
/proc/4144/task/4163/stat : 4163 (java) R 4142 4144 3822 0 -1 4202560 64 0 0 0 83395 0 0 0 25 0 22 0 855459558 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505977577 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4144/tid=4164] ppid=4142 vsize=10550604 CPUtime=833.93 cores=1,3,5,7
/proc/4144/task/4164/stat : 4164 (java) R 4142 4144 3822 0 -1 4202560 14664 0 0 0 83391 2 0 0 25 0 22 0 855459558 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505902460 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4144/tid=4165] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4165/stat : 4165 (java) S 4142 4144 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855459561 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4166] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4166/stat : 4166 (java) S 4142 4144 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855459561 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.08
Current children cumulated vsize (KiB) 10550604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.601 s]
/proc/loadavg: 3.93 3.96 3.76 5/597 4388
/proc/meminfo: memFree=18709448/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=10550604 CPUtime=1800.19 cores=1,3,5,7
/proc/4144/stat : 4144 (java) S 4142 4144 3822 0 -1 4202496 1021364 0 1 0 179899 120 0 0 21 0 22 0 855458674 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 2637651 1012564 2265 9 0 2628385 0
[pid=4144/tid=4145] ppid=4142 vsize=10550604 CPUtime=8.44 cores=1,3,5,7
/proc/4144/task/4145/stat : 4145 (java) S 4142 4144 3822 0 -1 4202560 651091 0 1 0 767 77 0 0 15 0 22 0 855458675 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4147] ppid=4142 vsize=10550604 CPUtime=0.94 cores=1,3,5,7
/proc/4144/task/4147/stat : 4147 (java) S 4142 4144 3822 0 -1 4202560 34536 0 0 0 90 4 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4148] ppid=4142 vsize=10550604 CPUtime=0.93 cores=1,3,5,7
/proc/4144/task/4148/stat : 4148 (java) S 4142 4144 3822 0 -1 4202560 25240 0 0 0 91 2 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4149] ppid=4142 vsize=10550604 CPUtime=0.71 cores=1,3,5,7
/proc/4144/task/4149/stat : 4149 (java) S 4142 4144 3822 0 -1 4202560 20007 0 0 0 69 2 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4150] ppid=4142 vsize=10550604 CPUtime=1.02 cores=1,3,5,7
/proc/4144/task/4150/stat : 4150 (java) S 4142 4144 3822 0 -1 4202560 29515 0 0 0 99 3 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4151] ppid=4142 vsize=10550604 CPUtime=0.74 cores=1,3,5,7
/proc/4144/task/4151/stat : 4151 (java) S 4142 4144 3822 0 -1 4202560 26435 0 0 0 71 3 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4152] ppid=4142 vsize=10550604 CPUtime=0.63 cores=1,3,5,7
/proc/4144/task/4152/stat : 4152 (java) S 4142 4144 3822 0 -1 4202560 12087 0 0 0 62 1 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4153] ppid=4142 vsize=10550604 CPUtime=0.8 cores=1,3,5,7
/proc/4144/task/4153/stat : 4153 (java) S 4142 4144 3822 0 -1 4202560 25545 0 0 0 77 3 0 0 16 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4154] ppid=4142 vsize=10550604 CPUtime=0.93 cores=1,3,5,7
/proc/4144/task/4154/stat : 4154 (java) S 4142 4144 3822 0 -1 4202560 28109 0 0 0 90 3 0 0 15 0 22 0 855458677 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
[pid=4144/tid=4155] ppid=4142 vsize=10550604 CPUtime=39.59 cores=1,3,5,7
/proc/4144/task/4155/stat : 4155 (java) S 4142 4144 3822 0 -1 4202560 140202 0 0 0 3946 13 0 0 15 0 22 0 855458678 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 0 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4156] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4156/stat : 4156 (java) S 4142 4144 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855458678 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4157] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4157/stat : 4157 (java) S 4142 4144 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855458678 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4158] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4158/stat : 4158 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488518577 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4159] ppid=4142 vsize=10550604 CPUtime=1.14 cores=1,3,5,7
/proc/4144/task/4159/stat : 4159 (java) S 4142 4144 3822 0 -1 4202560 9294 0 0 0 113 1 0 0 15 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 5 0 0 0
[pid=4144/tid=4160] ppid=4142 vsize=10550604 CPUtime=0.83 cores=1,3,5,7
/proc/4144/task/4160/stat : 4160 (java) S 4142 4144 3822 0 -1 4202560 3362 0 0 0 83 0 0 0 15 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 1 0 0 0
[pid=4144/tid=4161] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4161/stat : 4161 (java) S 4142 4144 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488510873 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4162] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4162/stat : 4162 (java) S 4142 4144 3822 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855458680 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4163] ppid=4142 vsize=10550604 CPUtime=871.69 cores=1,3,5,7
/proc/4144/task/4163/stat : 4163 (java) R 4142 4144 3822 0 -1 4202560 66 0 0 0 87169 0 0 0 25 0 22 0 855459558 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505991904 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4144/tid=4164] ppid=4142 vsize=10550604 CPUtime=871.68 cores=1,3,5,7
/proc/4144/task/4164/stat : 4164 (java) R 4142 4144 3822 0 -1 4202560 14664 0 0 0 87166 2 0 0 25 0 22 0 855459558 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 46912505902460 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4144/tid=4165] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4165/stat : 4165 (java) S 4142 4144 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855459561 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 3 0 0 0
[pid=4144/tid=4166] ppid=4142 vsize=10550604 CPUtime=0 cores=1,3,5,7
/proc/4144/task/4166/stat : 4166 (java) S 4142 4144 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855459561 10803818496 1012564 33554432000 1073741824 1073778376 140735599775168 18446744073709551615 239488511488 0 4 0 16800975 18446604456156706880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10550604

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

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

[startup+921.728 s]
/proc/loadavg: 3.93 3.96 3.76 4/578 4391
/proc/meminfo: memFree=20779532/32950928 swapFree=67056580/67111528
[pid=4144] ppid=4142 vsize=0 CPUtime=1800.4 cores=1,3,5,7
/proc/4144/stat : 4144 (java) Z 4142 4144 3822 0 -1 4203548 1021397 0 1 0 179911 129 0 0 17 0 2 0 855458674 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4144/statm: 0 0 0 0 0 0 0
[pid=4144/tid=4390] ppid=4142 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/4144/task/4390/stat : 4390 (java) R 4142 4144 3822 0 -1 4203588 11 0 0 0 0 9 0 0 19 0 2 0 855550837 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 921.8
CPU time (s): 1800.48
CPU user time (s): 1799.12
CPU system time (s): 1.36079
CPU usage (%): 195.322
Max. virtual memory (cumulated for all children) (KiB): 10553720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.36079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021397
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= 23251
involuntary context switches= 11265

runsolver used 5.03923 second user time and 12.6041 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-07 11:23:36
IDJOB=3478825
IDBENCH=89720
IDSOLVER=1950
FILE ID=node148/3478825-1307438615
RUNJOBID= node148-1307436781-3841
PBS_JOBID= 13519940
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= 0bf2f4aff59c663568b0bfbd80eaa689
RANDOM SEED=697520261

node148.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.83
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.82
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20994244 kB
Buffers:        295824 kB
Cached:         858504 kB
SwapCached:       7908 kB
Active:       11035624 kB
Inactive:       604288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20994244 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:           57476 kB
Writeback:           0 kB
AnonPages:    10483944 kB
Mapped:          52100 kB
Slab:           182484 kB
PageTables:      65264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180751848 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= 73884 MiB
End job on node148 at 2011-06-07 11:39:00