Trace number 3453643

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.41 900.701

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_80.opb
MD5SUM1315caae01d69a106b6850eece7eb42e
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/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-3453643-1307195886.opb
0.10/0.11	c reading problem ... 
2.17/0.91	c ... done. Wall clock time 0.795s.
2.17/0.91	c #vars     16716
2.17/0.91	c #constraints  32935
2.17/0.91	c constraints type 
2.17/0.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15716
2.17/0.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
2.17/0.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
2.17/0.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15716
2.17/0.91	c constraints type 
2.17/0.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
2.17/0.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15716
2.17/0.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003
2.17/0.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15716
21.13/9.84	c cleaning 2506 clauses out of 5011 with flag 5011/5011
39.51/19.04	c cleaning 4277 clauses out of 8554 with flag 11060/11060
64.42/31.51	c cleaning 5609 clauses out of 11217 with flag 18000/18000
95.34/47.02	c cleaning 6820 clauses out of 13639 with flag 26031/26031
124.24/61.61	c cleaning 7896 clauses out of 15792 with flag 35004/35004
165.12/82.08	c cleaning 9019 clauses out of 18037 with flag 45145/45145
214.81/106.90	c cleaning 10015 clauses out of 20030 with flag 56157/56157
293.08/146.12	c cleaning 10985 clauses out of 21969 with flag 68111/68111
387.94/193.62	c cleaning 11977 clauses out of 23954 with flag 81081/81081
515.60/257.55	c cleaning 12972 clauses out of 25944 with flag 95048/95048
660.65/330.14	c cleaning 13973 clauses out of 27946 with flag 110022/110022
924.92/462.38	c cleaning 14976 clauses out of 29952 with flag 126001/126001
1056.48/528.26	c cleaning 15988 clauses out of 31975 with flag 143000/143000
1205.15/602.69	c cleaning 17000 clauses out of 33999 with flag 161012/161012
1286.41/643.32	c cleaning 17996 clauses out of 35995 with flag 180008/180008
1368.48/684.46	c cleaning 18994 clauses out of 37992 with flag 200001/200001
1454.12/727.35	c cleaning 19997 clauses out of 39998 with flag 221001/221001
1535.84/768.22	c cleaning 21011 clauses out of 42026 with flag 243026/243026
1660.91/830.87	c cleaning 22016 clauses out of 44034 with flag 266045/266045
1800.12/900.52	c starts		: 132
1800.12/900.52	c conflicts		: 285114
1800.12/900.52	c decisions		: 718656
1800.12/900.52	c propagations		: 21683998
1800.12/900.52	c inspects		: 930892162
1800.12/900.52	c shortcuts		: 0
1800.12/900.52	c learnt literals	: 0
1800.12/900.52	c learnt binary clauses	: 0
1800.12/900.52	c learnt ternary clauses	: 27
1800.12/900.52	c learnt constraints	: 285114
1800.12/900.52	c ignored constraints	: 0
1800.12/900.52	c root simplifications	: 0
1800.12/900.52	c removed literals (reason simplification)	: 1089078
1800.12/900.52	c reason swapping (by a shorter reason)	: 0
1800.12/900.52	c Calls to reduceDB	: 19
1800.12/900.52	c number of reductions to clauses (during analyze)	: 0
1800.12/900.52	c number of learned constraints concerned by reduction	: 0
1800.12/900.52	c number of learning phase by resolution	: 0
1800.12/900.52	c number of learning phase by cutting planes	: 0
1800.12/900.52	c speed (assignments/second)	: 24103.615320314446
1800.12/900.52	c non guided choices	16173
1800.12/900.54	c learnt constraints type 
1800.12/900.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 41088
1800.12/900.54	c constraints type 
1800.12/900.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15716
1800.12/900.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.12/900.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.12/900.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15716
1800.12/900.54	c constraints type 
1800.12/900.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
1800.12/900.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15716
1800.12/900.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003
1800.12/900.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15716
1800.12/900.54	s UNKNOWN
1800.12/900.54	c Total wall clock time (in seconds): 900.429

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-3453643-1307195886/watcher-3453643-1307195886 -o /tmp/evaluation-result-3453643-1307195886/solver-3453643-1307195886 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453643-1307195886.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 909819279 9318400 173 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251362623111 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/2513/statm: 2275 173 132 9 0 67 0
[pid=2513/tid=2518] ppid=2511 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 6021 0 1 0 0 0 0 0 17 0 2 0 909819280 10694979584 6837 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.026817 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 10114 0 1 0 1 0 0 0 25 0 10 0 909819279 10703900672 9815 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2613257 9815 1057 9 0 2604413 0
[pid=2513/tid=2518] ppid=2511 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 8992 0 1 0 1 0 0 0 19 0 10 0 909819280 10703900672 9815 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379376095 0 2147483391 0 16784584 18446744071699199166 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.100831 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10539820 CPUtime=0.1 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 13012 0 1 0 9 1 0 0 25 0 18 0 909819279 10792775680 12702 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2634955 12702 2092 9 0 2625689 0
[pid=2513/tid=2518] ppid=2511 vsize=10539820 CPUtime=0.07 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 11092 0 1 0 7 0 0 0 18 0 18 0 909819280 10792775680 12702 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46947408947938 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539820

[startup+0.300769 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10541580 CPUtime=0.46 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 15861 0 1 0 45 1 0 0 25 0 18 0 909819279 10794577920 15410 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2635395 15411 2207 9 0 2626129 0
[pid=2513/tid=2518] ppid=2511 vsize=10541580 CPUtime=0.27 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 12989 0 1 0 27 0 0 0 18 0 18 0 909819280 10794577920 15411 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912505591486 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541580

[startup+0.700688 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10564632 CPUtime=1.57 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 39874 0 1 0 152 5 0 0 25 0 18 0 909819279 10818183168 35762 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641158 35763 2224 9 0 2631892 0
[pid=2513/tid=2518] ppid=2511 vsize=10564632 CPUtime=0.67 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 24810 0 1 0 65 2 0 0 18 0 18 0 909819280 10818183168 35764 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912505549424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10564632

[startup+1.50148 s]
/proc/loadavg: 2.31 3.12 3.36 9/541 2562
/proc/meminfo: memFree=26054472/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10568744 CPUtime=4.3 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 74724 0 1 0 420 10 0 0 25 0 22 0 909819279 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2642186 70351 2241 9 0 2632920 0
[pid=2513/tid=2518] ppid=2511 vsize=10568744 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53633 0 1 0 82 6 0 0 15 0 22 0 909819280 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 22 0 909819282 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 909819283 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819283 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10568744 CPUtime=1.17 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5228 0 0 0 116 1 0 0 17 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10568744 CPUtime=1.08 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9267 0 0 0 107 1 0 0 16 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10568744 CPUtime=0.58 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 546 0 0 0 58 0 0 0 22 0 22 0 909819370 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506252022 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10568744 CPUtime=0.55 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 4883 0 0 0 55 0 0 0 23 0 22 0 909819370 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506331510 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10568744

[startup+3.10119 s]
/proc/loadavg: 2.60 3.16 3.37 5/541 2562
/proc/meminfo: memFree=25902072/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10568744 CPUtime=7.68 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 98554 0 1 0 756 12 0 0 25 0 22 0 909819279 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2642186 94062 2242 9 0 2632920 0
[pid=2513/tid=2518] ppid=2511 vsize=10568744 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53633 0 1 0 82 6 0 0 15 0 22 0 909819280 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 909819282 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 909819283 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819283 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10568744 CPUtime=1.25 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5235 0 0 0 124 1 0 0 15 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10568744 CPUtime=1.18 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9398 0 0 0 117 1 0 0 15 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10568744 CPUtime=2.18 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 820 0 0 0 218 0 0 0 25 0 22 0 909819370 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506252114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10568744 CPUtime=2.15 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 28300 0 0 0 213 2 0 0 25 0 22 0 909819370 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506341974 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 10568744

[startup+6.30165 s]
/proc/loadavg: 2.60 3.16 3.37 5/541 2562
/proc/meminfo: memFree=25471436/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=14.11 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 158615 0 1 0 1392 19 0 0 25 0 22 0 909819279 10818973696 153403 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 153404 2243 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53633 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 153404 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909819281 10818973696 153404 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0

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

/proc/meminfo: memFree=19039644/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=1643.91 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 927868 0 1 0 164276 115 0 0 25 0 22 0 909819279 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 922329 2270 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53637 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 16462 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0.23 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 12516 0 0 0 21 2 0 0 16 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 21869 0 0 0 17 4 0 0 16 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 31089 0 0 0 21 5 0 0 16 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0.19 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 9565 0 0 0 18 1 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 11007 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 25114 0 0 0 22 4 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0.16 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 12687 0 0 0 14 2 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10565404 CPUtime=3.26 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 216986 0 0 0 302 24 0 0 15 0 22 0 909819282 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10565404 CPUtime=1.41 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5255 0 0 0 139 2 0 0 15 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10565404 CPUtime=1.29 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9411 0 0 0 128 1 0 0 15 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10565404 CPUtime=817.6 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 10983 0 0 0 81757 3 0 0 25 0 22 0 909819370 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506514187 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10565404 CPUtime=817.61 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 490083 0 0 0 81709 52 0 0 25 0 22 0 909819370 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506442847 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1643.91
Current children cumulated vsize (KiB) 10565404

[startup+882.302 s]
/proc/loadavg: 3.94 3.91 3.72 5/541 2594
/proc/meminfo: memFree=18787516/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=1763.71 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 990016 0 1 0 176250 121 0 0 25 0 22 0 909819279 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 984470 2270 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53637 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 16462 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0.23 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 12516 0 0 0 21 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0.28 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 21882 0 0 0 24 4 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 31089 0 0 0 28 5 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 9568 0 0 0 25 1 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 11007 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 25114 0 0 0 22 4 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0.16 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 12687 0 0 0 14 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10565404 CPUtime=3.54 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 279113 0 0 0 324 30 0 0 15 0 22 0 909819282 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10565404 CPUtime=1.41 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5255 0 0 0 139 2 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10565404 CPUtime=1.29 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9411 0 0 0 128 1 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10565404 CPUtime=877.26 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 10984 0 0 0 87723 3 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506381607 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10565404 CPUtime=877.27 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 490083 0 0 0 87675 52 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506442832 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1763.71
Current children cumulated vsize (KiB) 10565404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.501 s]
/proc/loadavg: 3.96 3.92 3.73 5/541 2595
/proc/meminfo: memFree=18786764/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=1800.12 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 990016 0 1 0 179891 121 0 0 25 0 22 0 909819279 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 984470 2270 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53637 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 16462 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0.23 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 12516 0 0 0 21 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0.28 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 21882 0 0 0 24 4 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 31089 0 0 0 28 5 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 9568 0 0 0 25 1 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 11007 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 25114 0 0 0 22 4 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0.16 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 12687 0 0 0 14 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10565404 CPUtime=3.54 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 279113 0 0 0 324 30 0 0 15 0 22 0 909819282 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10565404 CPUtime=1.41 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5255 0 0 0 139 2 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10565404 CPUtime=1.29 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9411 0 0 0 128 1 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10565404 CPUtime=895.48 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 10984 0 0 0 89545 3 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506514231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10565404 CPUtime=895.49 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 490083 0 0 0 89497 52 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506442907 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10565404

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

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

[startup+900.626 s]
/proc/loadavg: 3.96 3.92 3.73 5/541 2595
/proc/meminfo: memFree=18786764/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=0 CPUtime=1800.33 cores=0,2,4,6
/proc/2513/stat : 2513 (java) Z 2511 2513 2480 0 -1 4203548 990050 0 1 0 179904 129 0 0 17 0 2 0 909819279 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 0 0 0 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=0 CPUtime=895.59 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4203588 490083 0 0 0 89500 59 0 0 25 0 2 0 909819370 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 900.701
CPU time (s): 1800.41
CPU user time (s): 1799.04
CPU system time (s): 1.36679
CPU usage (%): 199.89
Max. virtual memory (cumulated for all children) (KiB): 10568744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.36679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 990050
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= 21252
involuntary context switches= 19660

runsolver used 4.93625 second user time and 10.6354 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-04 15:58:06
IDJOB=3453643
IDBENCH=48352
IDSOLVER=1950
FILE ID=node113/3453643-1307195886
RUNJOBID= node113-1307195886-2498
PBS_JOBID= 13508883
Free space on /tmp= 73796 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_1_80.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453643-1307195886/watcher-3453643-1307195886 -o /tmp/evaluation-result-3453643-1307195886/solver-3453643-1307195886 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453643-1307195886.opb

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

MD5SUM BENCH= 1315caae01d69a106b6850eece7eb42e
RANDOM SEED=1199542272

node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.846
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.74
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.846
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.846
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.83
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.846
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:      26435188 kB
Buffers:        288428 kB
Cached:         875800 kB
SwapCached:      13476 kB
Active:        5404164 kB
Inactive:       787392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26435188 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:             832 kB
Writeback:           0 kB
AnonPages:     5025284 kB
Mapped:          19884 kB
Slab:           136884 kB
PageTables:     116992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154765236 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= 73796 MiB
End job on node113 at 2011-06-04 16:13:09