Trace number 3454194

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0? (TO) 1800.37 900.797

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos3.opb
MD5SUMd20c34d69465e41d60c8740ade812dbe
Bench CategoryOPT-BIGINT (optimisation, big integers)
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 FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables42220
Total number of constraints1481
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)17
Number of constraints which are nor clauses,nor cardinality constraints1464
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 155
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 10737418235
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 2454208150643933184000
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 289272765430218968121839
Number of bits of the biggest sum of numbers78
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3454194-1307190304.opb
0.10/0.12	c reading problem ... 
1.66/1.05	c ... done. Wall clock time 0.93s.
1.66/1.05	c #vars     42220
1.66/1.05	c #constraints  27176
1.66/1.05	c constraints type 
1.66/1.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17
1.66/1.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1.66/1.05	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1489
1.66/1.05	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
1.66/1.05	c constraints type 
1.66/1.05	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17
1.66/1.05	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 17
1.66/1.05	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1503
173.90/86.48	c cleaning 2496 clauses out of 5000 with flag 5000/5000
260.67/129.88	c cleaning 4251 clauses out of 8505 with flag 11001/11001
334.73/166.98	c cleaning 5629 clauses out of 11257 with flag 18004/18004
416.21/207.77	c cleaning 6816 clauses out of 13632 with flag 26008/26008
510.51/254.97	c cleaning 7905 clauses out of 15809 with flag 35001/35001
618.39/308.96	c cleaning 8955 clauses out of 17910 with flag 45007/45007
717.88/358.77	c cleaning 9475 clauses out of 18949 with flag 55001/55001
828.77/414.21	c cleaning 9737 clauses out of 19476 with flag 65003/65003
928.39/464.16	c cleaning 9868 clauses out of 19740 with flag 75004/75004
995.28/497.66	c cleaning 9931 clauses out of 19868 with flag 85000/85000
1062.17/531.16	c cleaning 9953 clauses out of 19937 with flag 95000/95000
1207.91/604.00	c cleaning 9993 clauses out of 19986 with flag 105002/105002
1377.15/688.74	c cleaning 9991 clauses out of 19993 with flag 115002/115002
1451.22/725.88	c cleaning 9996 clauses out of 20001 with flag 125001/125001
1520.29/760.44	c cleaning 9999 clauses out of 20004 with flag 135000/135000
1589.78/795.25	c cleaning 10003 clauses out of 20018 with flag 145013/145013
1660.23/830.54	c cleaning 9999 clauses out of 20003 with flag 155001/155001
1732.25/866.65	c cleaning 10004 clauses out of 20012 with flag 165009/165009
1800.08/900.62	c starts		: 112
1800.08/900.62	c conflicts		: 174677
1800.08/900.62	c decisions		: 338981
1800.08/900.62	c propagations		: 4330292
1800.08/900.62	c inspects		: 72777773
1800.08/900.62	c shortcuts		: 0
1800.08/900.62	c learnt literals	: 0
1800.08/900.62	c learnt binary clauses	: 5534
1800.08/900.62	c learnt ternary clauses	: 264
1800.08/900.62	c learnt constraints	: 174676
1800.08/900.62	c ignored constraints	: 0
1800.08/900.62	c root simplifications	: 0
1800.08/900.62	c removed literals (reason simplification)	: 60457054
1800.08/900.62	c reason swapping (by a shorter reason)	: 0
1800.08/900.62	c Calls to reduceDB	: 18
1800.08/900.62	c number of reductions to clauses (during analyze)	: 0
1800.08/900.62	c number of learned constraints concerned by reduction	: 0
1800.08/900.62	c number of learning phase by resolution	: 0
1800.08/900.62	c number of learning phase by cutting planes	: 0
1800.08/900.62	c speed (assignments/second)	: 4813.7086957730035
1800.08/900.62	c non guided choices	3081
1800.08/900.65	c learnt constraints type 
1800.08/900.65	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5534
1800.08/900.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14151
1800.08/900.65	c constraints type 
1800.08/900.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17
1800.08/900.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1800.08/900.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1489
1800.08/900.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
1800.08/900.65	c constraints type 
1800.08/900.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17
1800.08/900.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 17
1800.08/900.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1503
1800.08/900.65	s UNKNOWN
1800.08/900.65	c Total wall clock time (in seconds): 900.538

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-3454194-1307190304/watcher-3454194-1307190304 -o /tmp/evaluation-result-3454194-1307190304/solver-3454194-1307190304 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454194-1307190304.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: 3.86 3.90 3.71 3/519 1253
/proc/meminfo: memFree=24654140/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=5592 CPUtime=0 cores=0,2,4,6
/proc/1253/stat : 1253 (java) R 1251 1253 29288 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 909261134 5726208 53 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251362623111 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1253/statm: 1398 53 41 9 0 27 0
[pid=1253/tid=1254] ppid=1251 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) R 1251 1253 29288 0 -1 4202560 5307 0 1 0 0 0 0 0 25 0 2 0 909261134 10694979584 6124 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0792091 s]
/proc/loadavg: 3.86 3.90 3.71 3/519 1253
/proc/meminfo: memFree=24654140/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 11954 0 1 0 5 1 0 0 25 0 18 0 909261134 10724442112 11650 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2618272 11650 1755 9 0 2609006 0
[pid=1253/tid=1254] ppid=1251 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) R 1251 1253 29288 0 -1 4202560 10779 0 1 0 5 1 0 0 25 0 18 0 909261134 10724442112 11651 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 47870060874851 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.101185 s]
/proc/loadavg: 3.86 3.90 3.71 3/519 1253
/proc/meminfo: memFree=24654140/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10540252 CPUtime=0.1 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 12981 0 1 0 9 1 0 0 25 0 18 0 909261134 10793218048 12677 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2635063 12677 2092 9 0 2625797 0
[pid=1253/tid=1254] ppid=1251 vsize=10540252 CPUtime=0.08 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) R 1251 1253 29288 0 -1 4202560 11078 0 1 0 7 1 0 0 25 0 18 0 909261134 10793218048 12677 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 47870057576966 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540252

[startup+0.301696 s]
/proc/loadavg: 3.86 3.90 3.71 3/519 1253
/proc/meminfo: memFree=24654140/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10560268 CPUtime=0.54 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 23232 0 1 0 51 3 0 0 25 0 18 0 909261134 10813714432 20482 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2640067 20483 2203 9 0 2630801 0
[pid=1253/tid=1254] ppid=1251 vsize=10560268 CPUtime=0.28 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) R 1251 1253 29288 0 -1 4202560 13618 0 1 0 26 2 0 0 25 0 18 0 909261134 10813714432 20483 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912505581993 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10560268

[startup+0.701081 s]
/proc/loadavg: 3.86 3.90 3.71 3/519 1253
/proc/meminfo: memFree=24654140/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10561176 CPUtime=1.35 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 45413 0 1 0 129 6 0 0 25 0 18 0 909261134 10814644224 42052 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2640294 42056 2205 9 0 2631028 0
[pid=1253/tid=1254] ppid=1251 vsize=10561176 CPUtime=0.68 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) R 1251 1253 29288 0 -1 4202560 33873 0 1 0 64 4 0 0 25 0 18 0 909261134 10814644224 42058 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912505581982 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 10561176

[startup+1.50087 s]
/proc/loadavg: 3.86 3.90 3.71 4/537 1271
/proc/meminfo: memFree=24396456/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10565288 CPUtime=2.82 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 77171 0 1 0 272 10 0 0 25 0 22 0 909261134 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2641322 73444 2219 9 0 2632056 0
[pid=1253/tid=1254] ppid=1251 vsize=10565288 CPUtime=1.03 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) S 1251 1253 29288 0 -1 4202560 61922 0 1 0 96 7 0 0 25 0 22 0 909261134 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1256] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1256/stat : 1256 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1257] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1257/stat : 1257 (java) S 1251 1253 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1258] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1258/stat : 1258 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1259] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1259/stat : 1259 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1260] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1260/stat : 1260 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1261] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1261/stat : 1261 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1262] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1262/stat : 1262 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1263] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1263/stat : 1263 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1264] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1264/stat : 1264 (java) S 1251 1253 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909261137 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 0 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1265] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1265/stat : 1265 (java) S 1251 1253 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909261138 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1266] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1266/stat : 1266 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909261138 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1267] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1267/stat : 1267 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379370417 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1268] ppid=1251 vsize=10565288 CPUtime=0.4 cores=0,2,4,6
/proc/1253/task/1268/stat : 1268 (java) S 1251 1253 29288 0 -1 4202560 3193 0 0 0 40 0 0 0 15 0 22 0 909261140 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1269] ppid=1251 vsize=10565288 CPUtime=0.55 cores=0,2,4,6
/proc/1253/task/1269/stat : 1269 (java) S 1251 1253 29288 0 -1 4202560 7641 0 0 0 54 1 0 0 15 0 22 0 909261140 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1270] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1270/stat : 1270 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1271] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1271/stat : 1271 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909261140 10818854912 73444 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10565288

[startup+3.10163 s]
/proc/loadavg: 3.86 3.90 3.71 5/541 1275
/proc/meminfo: memFree=24311228/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10565288 CPUtime=6.41 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 118118 0 1 0 628 13 0 0 25 0 22 0 909261134 10818854912 114301 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2641322 114302 2225 9 0 2632056 0
[pid=1253/tid=1254] ppid=1251 vsize=10565288 CPUtime=1.03 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) S 1251 1253 29288 0 -1 4202560 61922 0 1 0 96 7 0 0 15 0 22 0 909261134 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1256] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1256/stat : 1256 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1257] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1257/stat : 1257 (java) S 1251 1253 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1258] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1258/stat : 1258 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1259] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1259/stat : 1259 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1260] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1260/stat : 1260 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1261] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1261/stat : 1261 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1262] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1262/stat : 1262 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1263] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1263/stat : 1263 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1264] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1264/stat : 1264 (java) S 1251 1253 29288 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 909261137 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 0 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1265] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1265/stat : 1265 (java) S 1251 1253 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909261138 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1266] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1266/stat : 1266 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909261138 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1267] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1267/stat : 1267 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379370417 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1268] ppid=1251 vsize=10565288 CPUtime=0.63 cores=0,2,4,6
/proc/1253/task/1268/stat : 1268 (java) S 1251 1253 29288 0 -1 4202560 3294 0 0 0 63 0 0 0 15 0 22 0 909261140 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1269] ppid=1251 vsize=10565288 CPUtime=0.73 cores=0,2,4,6
/proc/1253/task/1269/stat : 1269 (java) S 1251 1253 29288 0 -1 4202560 7758 0 0 0 72 1 0 0 15 0 22 0 909261140 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1270] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1270/stat : 1270 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1271] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1271/stat : 1271 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909261140 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1272] ppid=1251 vsize=10565288 CPUtime=2.04 cores=0,2,4,6
/proc/1253/task/1272/stat : 1272 (java) R 1251 1253 29288 0 -1 4202560 1482 0 0 0 204 0 0 0 25 0 22 0 909261239 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912505919857 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1253/tid=1273] ppid=1251 vsize=10565288 CPUtime=1.93 cores=0,2,4,6
/proc/1253/task/1273/stat : 1273 (java) R 1251 1253 29288 0 -1 4202560 42494 0 0 0 190 3 0 0 18 0 22 0 909261239 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912505580048 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1253/tid=1274] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1274/stat : 1274 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909261269 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1275] ppid=1251 vsize=10565288 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1275/stat : 1275 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909261271 10818854912 114302 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 10565288

[startup+6.30104 s]
/proc/loadavg: 3.87 3.90 3.71 5/541 1275
/proc/meminfo: memFree=24128700/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10560588 CPUtime=12.88 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 139557 0 1 0 1272 16 0 0 25 0 22 0 909261134 10814042112 134972 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2640147 134972 2227 9 0 2630881 0
[pid=1253/tid=1254] ppid=1251 vsize=10560588 CPUtime=1.03 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) S 1251 1253 29288 0 -1 4202560 61922 0 1 0 96 7 0 0 15 0 22 0 909261134 10814042112 134972 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1256] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1256/stat : 1256 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134972 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1257] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1257/stat : 1257 (java) S 1251 1253 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134972 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1258] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1258/stat : 1258 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134972 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1259] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1259/stat : 1259 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134972 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1260] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1260/stat : 1260 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1261] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1261/stat : 1261 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1262] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1262/stat : 1262 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1263] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1263/stat : 1263 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261136 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1264] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1264/stat : 1264 (java) S 1251 1253 29288 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909261137 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 0 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1265] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1265/stat : 1265 (java) S 1251 1253 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909261138 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1266] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1266/stat : 1266 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909261138 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1267] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1267/stat : 1267 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10814042112 134973 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379370417 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0

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

[startup+822.301 s]
/proc/loadavg: 3.88 3.88 3.78 4/541 1348
/proc/meminfo: memFree=20581728/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10560588 CPUtime=1643.75 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 922816 0 1 0 164275 100 0 0 25 0 22 0 909261134 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2640147 913200 2256 9 0 2630881 0
[pid=1253/tid=1254] ppid=1251 vsize=10560588 CPUtime=1.03 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) S 1251 1253 29288 0 -1 4202560 61927 0 1 0 96 7 0 0 15 0 22 0 909261134 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1256] ppid=1251 vsize=10560588 CPUtime=0.33 cores=0,2,4,6
/proc/1253/task/1256/stat : 1256 (java) S 1251 1253 29288 0 -1 4202560 16041 0 0 0 31 2 0 0 16 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1257] ppid=1251 vsize=10560588 CPUtime=0.19 cores=0,2,4,6
/proc/1253/task/1257/stat : 1257 (java) S 1251 1253 29288 0 -1 4202560 6316 0 0 0 19 0 0 0 15 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1258] ppid=1251 vsize=10560588 CPUtime=0.24 cores=0,2,4,6
/proc/1253/task/1258/stat : 1258 (java) S 1251 1253 29288 0 -1 4202560 7483 0 0 0 23 1 0 0 16 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1259] ppid=1251 vsize=10560588 CPUtime=0.25 cores=0,2,4,6
/proc/1253/task/1259/stat : 1259 (java) S 1251 1253 29288 0 -1 4202560 12207 0 0 0 24 1 0 0 16 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1260] ppid=1251 vsize=10560588 CPUtime=0.23 cores=0,2,4,6
/proc/1253/task/1260/stat : 1260 (java) S 1251 1253 29288 0 -1 4202560 9715 0 0 0 22 1 0 0 15 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1261] ppid=1251 vsize=10560588 CPUtime=0.27 cores=0,2,4,6
/proc/1253/task/1261/stat : 1261 (java) S 1251 1253 29288 0 -1 4202560 8039 0 0 0 26 1 0 0 15 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1262] ppid=1251 vsize=10560588 CPUtime=0.29 cores=0,2,4,6
/proc/1253/task/1262/stat : 1262 (java) S 1251 1253 29288 0 -1 4202560 13617 0 0 0 27 2 0 0 15 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1263] ppid=1251 vsize=10560588 CPUtime=0.3 cores=0,2,4,6
/proc/1253/task/1263/stat : 1263 (java) S 1251 1253 29288 0 -1 4202560 17648 0 0 0 27 3 0 0 16 0 22 0 909261136 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1264] ppid=1251 vsize=10560588 CPUtime=2.51 cores=0,2,4,6
/proc/1253/task/1264/stat : 1264 (java) S 1251 1253 29288 0 -1 4202560 1049 0 0 0 249 2 0 0 15 0 22 0 909261137 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 0 0 16800975 18446604442228351168 0 0 -1 0 0 0 0
[pid=1253/tid=1265] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1265/stat : 1265 (java) S 1251 1253 29288 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909261138 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1266] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1266/stat : 1266 (java) S 1251 1253 29288 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909261138 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1267] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1267/stat : 1267 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379370417 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1268] ppid=1251 vsize=10560588 CPUtime=0.94 cores=0,2,4,6
/proc/1253/task/1268/stat : 1268 (java) S 1251 1253 29288 0 -1 4202560 3336 0 0 0 94 0 0 0 16 0 22 0 909261140 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1269] ppid=1251 vsize=10560588 CPUtime=1.1 cores=0,2,4,6
/proc/1253/task/1269/stat : 1269 (java) S 1251 1253 29288 0 -1 4202560 9350 0 0 0 108 2 0 0 15 0 22 0 909261140 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1270] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1270/stat : 1270 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1271] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1271/stat : 1271 (java) S 1251 1253 29288 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 909261140 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1272] ppid=1251 vsize=10560588 CPUtime=818.04 cores=0,2,4,6
/proc/1253/task/1272/stat : 1272 (java) R 1251 1253 29288 0 -1 4202560 3884 0 0 0 81803 1 0 0 25 0 22 0 909261239 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912506221619 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1253/tid=1273] ppid=1251 vsize=10560588 CPUtime=817.89 cores=0,2,4,6
/proc/1253/task/1273/stat : 1273 (java) R 1251 1253 29288 0 -1 4202560 750999 0 0 0 81720 69 0 0 25 0 22 0 909261239 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912505572605 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1253/tid=1274] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1274/stat : 1274 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909261269 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1275] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1275/stat : 1275 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909261271 10814042112 913200 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1643.75
Current children cumulated vsize (KiB) 10560588

[startup+882.301 s]
/proc/loadavg: 3.95 3.90 3.80 5/541 1352
/proc/meminfo: memFree=20523580/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10560588 CPUtime=1763.45 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 934216 0 1 0 176242 103 0 0 25 0 22 0 909261134 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2640147 924146 2256 9 0 2630881 0
[pid=1253/tid=1254] ppid=1251 vsize=10560588 CPUtime=1.03 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) S 1251 1253 29288 0 -1 4202560 61929 0 1 0 96 7 0 0 15 0 22 0 909261134 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 0 0 0 0
[pid=1253/tid=1256] ppid=1251 vsize=10560588 CPUtime=0.37 cores=0,2,4,6
/proc/1253/task/1256/stat : 1256 (java) S 1251 1253 29288 0 -1 4202560 16793 0 0 0 35 2 0 0 15 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1257] ppid=1251 vsize=10560588 CPUtime=0.2 cores=0,2,4,6
/proc/1253/task/1257/stat : 1257 (java) S 1251 1253 29288 0 -1 4202560 6740 0 0 0 20 0 0 0 15 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1258] ppid=1251 vsize=10560588 CPUtime=0.29 cores=0,2,4,6
/proc/1253/task/1258/stat : 1258 (java) S 1251 1253 29288 0 -1 4202560 9404 0 0 0 27 2 0 0 16 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1259] ppid=1251 vsize=10560588 CPUtime=0.29 cores=0,2,4,6
/proc/1253/task/1259/stat : 1259 (java) S 1251 1253 29288 0 -1 4202560 13922 0 0 0 27 2 0 0 15 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1260] ppid=1251 vsize=10560588 CPUtime=0.26 cores=0,2,4,6
/proc/1253/task/1260/stat : 1260 (java) S 1251 1253 29288 0 -1 4202560 11063 0 0 0 25 1 0 0 16 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 0 0 0 0
[pid=1253/tid=1261] ppid=1251 vsize=10560588 CPUtime=0.29 cores=0,2,4,6
/proc/1253/task/1261/stat : 1261 (java) S 1251 1253 29288 0 -1 4202560 8447 0 0 0 28 1 0 0 16 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1262] ppid=1251 vsize=10560588 CPUtime=0.34 cores=0,2,4,6
/proc/1253/task/1262/stat : 1262 (java) S 1251 1253 29288 0 -1 4202560 16384 0 0 0 31 3 0 0 16 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1263] ppid=1251 vsize=10560588 CPUtime=0.33 cores=0,2,4,6
/proc/1253/task/1263/stat : 1263 (java) S 1251 1253 29288 0 -1 4202560 19678 0 0 0 30 3 0 0 16 0 22 0 909261136 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1264] ppid=1251 vsize=10560588 CPUtime=2.9 cores=0,2,4,6
/proc/1253/task/1264/stat : 1264 (java) S 1251 1253 29288 0 -1 4202560 1057 0 0 0 288 2 0 0 15 0 22 0 909261137 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 0 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1265] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1265/stat : 1265 (java) S 1251 1253 29288 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909261138 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1266] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1266/stat : 1266 (java) S 1251 1253 29288 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909261138 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1267] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1267/stat : 1267 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379370417 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1268] ppid=1251 vsize=10560588 CPUtime=0.94 cores=0,2,4,6
/proc/1253/task/1268/stat : 1268 (java) S 1251 1253 29288 0 -1 4202560 3336 0 0 0 94 0 0 0 16 0 22 0 909261140 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1269] ppid=1251 vsize=10560588 CPUtime=1.11 cores=0,2,4,6
/proc/1253/task/1269/stat : 1269 (java) S 1251 1253 29288 0 -1 4202560 9351 0 0 0 109 2 0 0 15 0 22 0 909261140 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1270] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1270/stat : 1270 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1271] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1271/stat : 1271 (java) S 1251 1253 29288 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909261140 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1272] ppid=1251 vsize=10560588 CPUtime=877.56 cores=0,2,4,6
/proc/1253/task/1272/stat : 1272 (java) R 1251 1253 29288 0 -1 4202560 3892 0 0 0 87754 2 0 0 25 0 22 0 909261239 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912505863391 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1253/tid=1273] ppid=1251 vsize=10560588 CPUtime=877.4 cores=0,2,4,6
/proc/1253/task/1273/stat : 1273 (java) R 1251 1253 29288 0 -1 4202560 751011 0 0 0 87671 69 0 0 25 0 22 0 909261239 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912505572621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1253/tid=1274] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1274/stat : 1274 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909261269 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1275] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1275/stat : 1275 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909261271 10814042112 924146 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1763.45
Current children cumulated vsize (KiB) 10560588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.601 s]
/proc/loadavg: 3.90 3.89 3.79 4/541 1353
/proc/meminfo: memFree=20506216/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=10560588 CPUtime=1800.08 cores=0,2,4,6
/proc/1253/stat : 1253 (java) S 1251 1253 29288 0 -1 4202496 937868 0 1 0 179904 104 0 0 25 0 22 0 909261134 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 2640147 927688 2256 9 0 2630881 0
[pid=1253/tid=1254] ppid=1251 vsize=10560588 CPUtime=1.03 cores=0,2,4,6
/proc/1253/task/1254/stat : 1254 (java) S 1251 1253 29288 0 -1 4202560 61929 0 1 0 96 7 0 0 15 0 22 0 909261134 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 0 0 0 0
[pid=1253/tid=1256] ppid=1251 vsize=10560588 CPUtime=0.39 cores=0,2,4,6
/proc/1253/task/1256/stat : 1256 (java) S 1251 1253 29288 0 -1 4202560 17355 0 0 0 36 3 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1257] ppid=1251 vsize=10560588 CPUtime=0.21 cores=0,2,4,6
/proc/1253/task/1257/stat : 1257 (java) S 1251 1253 29288 0 -1 4202560 7030 0 0 0 21 0 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1258] ppid=1251 vsize=10560588 CPUtime=0.29 cores=0,2,4,6
/proc/1253/task/1258/stat : 1258 (java) S 1251 1253 29288 0 -1 4202560 9653 0 0 0 27 2 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1259] ppid=1251 vsize=10560588 CPUtime=0.29 cores=0,2,4,6
/proc/1253/task/1259/stat : 1259 (java) S 1251 1253 29288 0 -1 4202560 15173 0 0 0 27 2 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1260] ppid=1251 vsize=10560588 CPUtime=0.27 cores=0,2,4,6
/proc/1253/task/1260/stat : 1260 (java) S 1251 1253 29288 0 -1 4202560 11471 0 0 0 26 1 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1261] ppid=1251 vsize=10560588 CPUtime=0.3 cores=0,2,4,6
/proc/1253/task/1261/stat : 1261 (java) S 1251 1253 29288 0 -1 4202560 8527 0 0 0 29 1 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1262] ppid=1251 vsize=10560588 CPUtime=0.35 cores=0,2,4,6
/proc/1253/task/1262/stat : 1262 (java) S 1251 1253 29288 0 -1 4202560 16717 0 0 0 32 3 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 0 0 0 0
[pid=1253/tid=1263] ppid=1251 vsize=10560588 CPUtime=0.34 cores=0,2,4,6
/proc/1253/task/1263/stat : 1263 (java) S 1251 1253 29288 0 -1 4202560 20149 0 0 0 30 4 0 0 15 0 22 0 909261136 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 0 0 0 0
[pid=1253/tid=1264] ppid=1251 vsize=10560588 CPUtime=2.91 cores=0,2,4,6
/proc/1253/task/1264/stat : 1264 (java) S 1251 1253 29288 0 -1 4202560 1057 0 0 0 289 2 0 0 15 0 22 0 909261137 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 0 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1265] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1265/stat : 1265 (java) S 1251 1253 29288 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909261138 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1266] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1266/stat : 1266 (java) S 1251 1253 29288 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909261138 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1267] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1267/stat : 1267 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379370417 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1268] ppid=1251 vsize=10560588 CPUtime=0.94 cores=0,2,4,6
/proc/1253/task/1268/stat : 1268 (java) S 1251 1253 29288 0 -1 4202560 3336 0 0 0 94 0 0 0 16 0 22 0 909261140 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1269] ppid=1251 vsize=10560588 CPUtime=1.11 cores=0,2,4,6
/proc/1253/task/1269/stat : 1269 (java) S 1251 1253 29288 0 -1 4202560 9351 0 0 0 109 2 0 0 15 0 22 0 909261140 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1270] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1270/stat : 1270 (java) S 1251 1253 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909261140 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379362713 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
[pid=1253/tid=1271] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1271/stat : 1271 (java) S 1251 1253 29288 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909261140 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 4 0 0 0
[pid=1253/tid=1272] ppid=1251 vsize=10560588 CPUtime=895.85 cores=0,2,4,6
/proc/1253/task/1272/stat : 1272 (java) R 1251 1253 29288 0 -1 4202560 3898 0 0 0 89583 2 0 0 25 0 22 0 909261239 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912506221694 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1253/tid=1273] ppid=1251 vsize=10560588 CPUtime=895.7 cores=0,2,4,6
/proc/1253/task/1273/stat : 1273 (java) R 1251 1253 29288 0 -1 4202560 751013 0 0 0 89501 69 0 0 25 0 22 0 909261239 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 46912506206336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1253/tid=1274] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1274/stat : 1274 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909261269 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 2 0 0 0
[pid=1253/tid=1275] ppid=1251 vsize=10560588 CPUtime=0 cores=0,2,4,6
/proc/1253/task/1275/stat : 1275 (java) S 1251 1253 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909261271 10814042112 927688 33554432000 1073741824 1073778376 140735738994464 18446744073709551615 251379363328 0 4 0 16800975 18446604442228351168 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10560588

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

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

[startup+900.725 s]
/proc/loadavg: 3.90 3.89 3.79 4/541 1353
/proc/meminfo: memFree=20506216/32950928 swapFree=34421304/67111528
[pid=1253] ppid=1251 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/1253/stat : 1253 (java) Z 1251 1253 29288 0 -1 4203548 937911 0 1 0 179918 111 0 0 17 0 2 0 909261134 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1253/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 900.797
CPU time (s): 1800.37
CPU user time (s): 1799.18
CPU system time (s): 1.18382
CPU usage (%): 199.864
Max. virtual memory (cumulated for all children) (KiB): 10565288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.18382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 937911
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= 26587
involuntary context switches= 23722

runsolver used 4.82627 second user time and 10.1914 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-04 14:25:05
IDJOB=3454194
IDBENCH=2325
IDSOLVER=1950
FILE ID=node113/3454194-1307190304
RUNJOBID= node113-1307187553-621
PBS_JOBID= 13508847
Free space on /tmp= 73792 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454194-1307190304/watcher-3454194-1307190304 -o /tmp/evaluation-result-3454194-1307190304/solver-3454194-1307190304 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454194-1307190304.opb

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

MD5SUM BENCH= d20c34d69465e41d60c8740ade812dbe
RANDOM SEED=1271448253

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:      24654420 kB
Buffers:        285532 kB
Cached:         869552 kB
SwapCached:      13476 kB
Active:        7191808 kB
Inactive:       780280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24654420 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:            3240 kB
Writeback:          16 kB
AnonPages:     6814920 kB
Mapped:          29312 kB
Slab:           136576 kB
PageTables:     120348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 165148552 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= 73788 MiB
End job on node113 at 2011-06-04 14:40:07