Trace number 3454188

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.47 956.067

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb
MD5SUMd6efb238990ec55ca510b102fead8acf
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1466812
Total number of constraints24336
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints24336
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 748132
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 3531010623397850041104
Number of bits of the sum of numbers in the objective function 72
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308763648
Number of bits of the biggest sum of numbers72
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454188-1307189842.opb
0.11/0.11	c reading problem ... 
19.27/14.50	c ... done. Wall clock time 14.393s.
19.27/14.50	c #vars     1466812
19.27/14.50	c #constraints  473312
19.27/14.50	c constraints type 
19.27/14.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 48420
19.27/14.50	c org.sat4j.pb.constraints.pb.MaxWatchPb => 200
19.27/14.50	c constraints type 
19.27/14.50	c org.sat4j.pb.constraints.pb.MaxWatchPb => 48620
142.04/73.09	c cleaning 2495 clauses out of 5000 with flag 5000/5000
179.05/92.65	c cleaning 4241 clauses out of 8505 with flag 11000/11000
209.58/108.98	c cleaning 5630 clauses out of 11264 with flag 18000/18000
239.87/125.30	c cleaning 6816 clauses out of 13634 with flag 26000/26000
275.52/144.77	c cleaning 7908 clauses out of 15818 with flag 35000/35000
329.70/172.83	c cleaning 8940 clauses out of 17905 with flag 45000/45000
359.78/188.72	c cleaning 9958 clauses out of 19956 with flag 56001/56001
401.62/210.53	c cleaning 10980 clauses out of 21991 with flag 68000/68000
432.20/227.56	c cleaning 11980 clauses out of 24003 with flag 81001/81001
464.54/245.08	c cleaning 13002 clauses out of 26021 with flag 95001/95001
506.69/267.26	c cleaning 13974 clauses out of 28016 with flag 110001/110001
540.65/285.58	c cleaning 14998 clauses out of 30039 with flag 126000/126000
572.29/303.38	c cleaning 16004 clauses out of 32038 with flag 143000/143000
594.23/315.56	c cleaning 17019 clauses out of 34037 with flag 161003/161003
617.93/328.63	c cleaning 18005 clauses out of 36015 with flag 180000/180000
643.82/342.87	c cleaning 18996 clauses out of 38010 with flag 200000/200000
671.76/358.65	c cleaning 20006 clauses out of 40014 with flag 221000/221000
699.22/373.60	c cleaning 20998 clauses out of 42008 with flag 243000/243000
727.91/389.31	c cleaning 22000 clauses out of 44010 with flag 266000/266000
759.01/406.02	c cleaning 23002 clauses out of 46010 with flag 290000/290000
792.29/424.48	c cleaning 24004 clauses out of 48009 with flag 315001/315001
828.75/443.95	c cleaning 24998 clauses out of 50004 with flag 341000/341000
868.26/464.98	c cleaning 26000 clauses out of 52007 with flag 368001/368001
908.28/486.32	c cleaning 27001 clauses out of 54006 with flag 396000/396000
974.34/521.32	c cleaning 27999 clauses out of 55998 with flag 425000/425000
1021.19/546.17	c cleaning 28978 clauses out of 57980 with flag 455000/455000
1057.72/565.83	c cleaning 29993 clauses out of 59995 with flag 486001/486001
1097.49/587.13	c cleaning 30996 clauses out of 61995 with flag 518001/518001
1134.27/607.66	c cleaning 31989 clauses out of 63997 with flag 551000/551000
1189.23/636.51	c cleaning 32994 clauses out of 66006 with flag 585001/585001
1246.63/666.66	c cleaning 33995 clauses out of 68010 with flag 620001/620001
1295.35/692.42	c cleaning 34997 clauses out of 70013 with flag 656000/656000
1316.73/705.24	c cleaning 35996 clauses out of 72016 with flag 693000/693000
1361.24/728.96	c cleaning 36991 clauses out of 74019 with flag 731002/731002
1436.75/768.14	c cleaning 37998 clauses out of 76026 with flag 770000/770000
1517.86/810.11	c cleaning 38996 clauses out of 78020 with flag 810003/810003
1645.16/875.71	c cleaning 39997 clauses out of 80019 with flag 851000/851000
1739.24/924.10	c cleaning 0 clauses out of 5001 with flag 0/5001
1800.13/955.84	c starts		: 168
1800.13/955.84	c conflicts		: 890155
1800.13/955.84	c decisions		: 11000794
1800.13/955.84	c propagations		: 73558256
1800.13/955.84	c inspects		: 929779862
1800.13/955.84	c shortcuts		: 0
1800.13/955.84	c learnt literals	: 104
1800.13/955.84	c learnt binary clauses	: 119
1800.13/955.84	c learnt ternary clauses	: 219
1800.13/955.84	c learnt constraints	: 890050
1800.13/955.84	c ignored constraints	: 0
1800.13/955.84	c root simplifications	: 0
1800.13/955.84	c removed literals (reason simplification)	: 22361248
1800.13/955.84	c reason swapping (by a shorter reason)	: 0
1800.13/955.84	c Calls to reduceDB	: 37
1800.13/955.84	c number of reductions to clauses (during analyze)	: 0
1800.13/955.84	c number of learned constraints concerned by reduction	: 0
1800.13/955.84	c number of learning phase by resolution	: 0
1800.13/955.84	c number of learning phase by cutting planes	: 0
1800.13/955.84	c speed (assignments/second)	: 78143.23199401695
1800.13/955.84	c non guided choices	8315506
1800.13/955.87	c learnt constraints type 
1800.13/955.87	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 119
1800.13/955.87	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79069
1800.13/955.87	c constraints type 
1800.13/955.87	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 48420
1800.13/955.87	c org.sat4j.pb.constraints.pb.MaxWatchPb => 200
1800.13/955.87	c constraints type 
1800.13/955.87	c org.sat4j.pb.constraints.pb.MaxWatchPb => 48620
1800.13/955.87	s UNKNOWN
1800.13/955.87	c Total wall clock time (in seconds): 955.756

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-3454188-1307189842/watcher-3454188-1307189842 -o /tmp/evaluation-result-3454188-1307189842/solver-3454188-1307189842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454188-1307189842.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.61 3.55 3.46 4/464 28808
/proc/meminfo: memFree=27426992/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 2558 0 1 0 0 0 0 0 23 0 2 0 909215269 10681323520 2260 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2607745 2272 906 9 0 2598901 0
[pid=28808/tid=28809] ppid=28806 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 3565 0 1 0 0 0 0 0 25 0 2 0 909215269 10694979584 4381 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.037009 s]
/proc/loadavg: 3.61 3.55 3.46 4/464 28808
/proc/meminfo: memFree=27426992/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10465424 CPUtime=0.03 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 11028 0 1 0 2 1 0 0 23 0 11 0 909215269 10716594176 10727 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2616356 10728 1621 9 0 2607104 0
[pid=28808/tid=28809] ppid=28806 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 9905 0 1 0 1 1 0 0 25 0 11 0 909215269 10716594176 10729 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 47410896355235 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10465424

[startup+0.101019 s]
/proc/loadavg: 3.61 3.55 3.46 4/464 28808
/proc/meminfo: memFree=27426992/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10539852 CPUtime=0.11 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 13052 0 1 0 9 2 0 0 23 0 18 0 909215269 10792808448 12724 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2634963 12727 2093 9 0 2625697 0
[pid=28808/tid=28809] ppid=28806 vsize=10539852 CPUtime=0.08 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 11111 0 1 0 7 1 0 0 18 0 18 0 909215269 10792808448 12727 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539852

[startup+0.300978 s]
/proc/loadavg: 3.61 3.55 3.46 4/464 28808
/proc/meminfo: memFree=27426992/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10540720 CPUtime=0.46 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 34562 0 1 0 42 4 0 0 23 0 18 0 909215269 10793697280 33712 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2635180 33715 2200 9 0 2625914 0
[pid=28808/tid=28809] ppid=28806 vsize=10540720 CPUtime=0.28 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 31269 0 1 0 25 3 0 0 18 0 18 0 909215269 10793697280 33716 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505596295 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540720

[startup+0.700899 s]
/proc/loadavg: 3.61 3.55 3.46 4/464 28808
/proc/meminfo: memFree=27426992/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10540720 CPUtime=0.87 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 61123 0 1 0 79 8 0 0 23 0 18 0 909215269 10793697280 60274 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2635180 60276 2200 9 0 2625914 0
[pid=28808/tid=28809] ppid=28806 vsize=10540720 CPUtime=0.68 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 57830 0 1 0 61 7 0 0 18 0 18 0 909215269 10793697280 60277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505596280 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10540720

[startup+1.50076 s]
/proc/loadavg: 3.61 3.55 3.46 4/482 28826
/proc/meminfo: memFree=27117168/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10540720 CPUtime=1.67 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 112499 0 1 0 152 15 0 0 23 0 18 0 909215269 10793697280 111649 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2635180 111652 2200 9 0 2625914 0
[pid=28808/tid=28809] ppid=28806 vsize=10540720 CPUtime=1.48 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 109206 0 1 0 134 14 0 0 19 0 18 0 909215269 10793697280 111653 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505562985 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111654 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111656 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111658 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111659 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111661 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111662 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111664 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10793697280 111665 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 23545 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909215272 10793697280 111667 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 0 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 23545 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909215273 10793697280 111668 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909215273 10793697280 111668 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215275 10793697280 111670 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907314097 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=10540720 CPUtime=0.09 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 23545 0 -1 4202560 1187 0 0 0 9 0 0 0 17 0 18 0 909215275 10793697280 111671 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=10540720 CPUtime=0.08 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 23545 0 -1 4202560 959 0 0 0 8 0 0 0 15 0 18 0 909215275 10793697280 111673 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215275 10793697280 111674 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28826] ppid=28806 vsize=10540720 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28826/stat : 28826 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909215275 10793697280 111676 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10540720

[startup+3.10146 s]
/proc/loadavg: 3.56 3.54 3.45 6/482 28826
/proc/meminfo: memFree=26836308/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10552456 CPUtime=3.84 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 256385 0 1 0 354 30 0 0 23 0 18 0 909215269 10805714944 252326 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2638114 252338 2212 9 0 2628848 0
[pid=28808/tid=28809] ppid=28806 vsize=10552456 CPUtime=3.09 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 244650 0 1 0 280 29 0 0 19 0 18 0 909215269 10805714944 252343 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505647395 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252343 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252343 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252344 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252352 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252361 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252369 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252369 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 252369 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 23545 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909215272 10805714944 252369 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 0 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 23545 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909215273 10805714944 252369 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909215273 10805714944 252373 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215275 10805714944 252376 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907314097 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=10552456 CPUtime=0.35 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 23545 0 -1 4202560 5810 0 0 0 35 0 0 0 15 0 18 0 909215275 10805714944 252381 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=10552456 CPUtime=0.38 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 23545 0 -1 4202560 4792 0 0 0 38 0 0 0 15 0 18 0 909215275 10805714944 252387 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 0 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215275 10805714944 252388 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28826] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28826/stat : 28826 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909215275 10805714944 252389 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 10552456

[startup+6.30085 s]
/proc/loadavg: 3.56 3.54 3.45 4/482 28826
/proc/meminfo: memFree=25404928/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10552456 CPUtime=7.08 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 603111 0 1 0 642 66 0 0 23 0 18 0 909215269 10805714944 598941 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2638114 598944 2215 9 0 2628848 0
[pid=28808/tid=28809] ppid=28806 vsize=10552456 CPUtime=6.28 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 23545 0 -1 4202560 591358 0 1 0 564 64 0 0 25 0 18 0 909215269 10805714944 598946 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505575158 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598947 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598948 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598951 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598953 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598956 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598958 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598964 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215271 10805714944 598967 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 23545 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 909215272 10805714944 598972 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 0 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 23545 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909215273 10805714944 598972 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909215273 10805714944 598978 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215275 10805714944 598981 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907314097 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=10552456 CPUtime=0.37 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 23545 0 -1 4202560 5813 0 0 0 37 0 0 0 15 0 18 0 909215275 10805714944 598982 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=10552456 CPUtime=0.4 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 23545 0 -1 4202560 4792 0 0 0 40 0 0 0 15 0 18 0 909215275 10805714944 598985 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 0 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909215275 10805714944 598987 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28826] ppid=28806 vsize=10552456 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28826/stat : 28826 (java) S 28806 28808 23545 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 909215275 10805714944 598989 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0

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

/proc/meminfo: memFree=21069260/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10557112 CPUtime=1655.41 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 1367675 0 1 0 165352 189 0 0 23 0 22 0 909215269 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2639278 1269277 2263 9 0 2630012 0
[pid=28808/tid=28809] ppid=28806 vsize=10557112 CPUtime=13.16 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) S 28806 28808 23545 0 -1 4202560 651028 0 1 0 1243 73 0 0 15 0 22 0 909215269 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=10557112 CPUtime=2.78 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 23545 0 -1 4202560 68151 0 0 0 266 12 0 0 15 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 0 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=10557112 CPUtime=2.32 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 23545 0 -1 4202560 50432 0 0 0 225 7 0 0 16 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=10557112 CPUtime=2.63 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 23545 0 -1 4202560 65169 0 0 0 254 9 0 0 16 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=10557112 CPUtime=2.84 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 23545 0 -1 4202560 87365 0 0 0 272 12 0 0 15 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=10557112 CPUtime=3.23 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 23545 0 -1 4202560 83732 0 0 0 309 14 0 0 15 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=10557112 CPUtime=2.71 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 23545 0 -1 4202560 71351 0 0 0 260 11 0 0 16 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=10557112 CPUtime=3.15 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 23545 0 -1 4202560 66428 0 0 0 306 9 0 0 15 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=10557112 CPUtime=3.79 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 23545 0 -1 4202560 112452 0 0 0 360 19 0 0 16 0 22 0 909215271 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=10557112 CPUtime=110.26 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 23545 0 -1 4202560 91156 0 0 0 11014 12 0 0 18 0 22 0 909215272 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 0 0 16800975 18446604447172571328 0 0 -1 0 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909215273 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909215273 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909215275 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907314097 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=10557112 CPUtime=1.7 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 23545 0 -1 4202560 9944 0 0 0 169 1 0 0 15 0 22 0 909215275 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=10557112 CPUtime=1.51 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 23545 0 -1 4202560 9113 0 0 0 151 0 0 0 15 0 22 0 909215275 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 0 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909215275 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28826] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28826/stat : 28826 (java) S 28806 28808 23545 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909215275 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28827] ppid=28806 vsize=10557112 CPUtime=752.59 cores=0,2,4,6
/proc/28808/task/28827/stat : 28827 (java) R 28806 28808 23545 0 -1 4202560 58 0 0 0 75258 1 0 0 25 0 22 0 909216720 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912506068259 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28808/tid=28828] ppid=28806 vsize=10557112 CPUtime=752.58 cores=0,2,4,6
/proc/28808/task/28828/stat : 28828 (java) R 28806 28808 23545 0 -1 4202560 88 0 0 0 75258 0 0 0 25 0 22 0 909216720 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912506111498 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28808/tid=28829] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28829/stat : 28829 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216792 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28830] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28830/stat : 28830 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216817 10810482688 1269277 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1655.41
Current children cumulated vsize (KiB) 10557112

[startup+942.301 s]
/proc/loadavg: 3.87 3.88 3.70 5/486 28929
/proc/meminfo: memFree=20889540/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10557112 CPUtime=1773.06 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 1388160 0 1 0 177114 192 0 0 23 0 22 0 909215269 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2639278 1280259 2263 9 0 2630012 0
[pid=28808/tid=28809] ppid=28806 vsize=10557112 CPUtime=13.16 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) S 28806 28808 23545 0 -1 4202560 651028 0 1 0 1243 73 0 0 15 0 22 0 909215269 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=10557112 CPUtime=2.85 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 23545 0 -1 4202560 69868 0 0 0 273 12 0 0 15 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=10557112 CPUtime=2.36 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 23545 0 -1 4202560 50859 0 0 0 229 7 0 0 16 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=10557112 CPUtime=2.69 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 23545 0 -1 4202560 66986 0 0 0 259 10 0 0 15 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=10557112 CPUtime=2.94 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 23545 0 -1 4202560 89135 0 0 0 281 13 0 0 16 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=10557112 CPUtime=3.28 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 23545 0 -1 4202560 84720 0 0 0 314 14 0 0 15 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=10557112 CPUtime=2.76 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 23545 0 -1 4202560 72388 0 0 0 265 11 0 0 15 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=10557112 CPUtime=3.18 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 23545 0 -1 4202560 67114 0 0 0 308 10 0 0 15 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=10557112 CPUtime=3.86 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 23545 0 -1 4202560 114567 0 0 0 367 19 0 0 16 0 22 0 909215271 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=10557112 CPUtime=112.94 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 23545 0 -1 4202560 100890 0 0 0 11281 13 0 0 15 0 22 0 909215272 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 0 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909215273 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909215273 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909215275 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907314097 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=10557112 CPUtime=1.77 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 23545 0 -1 4202560 9947 0 0 0 176 1 0 0 16 0 22 0 909215275 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=10557112 CPUtime=1.66 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 23545 0 -1 4202560 9293 0 0 0 166 0 0 0 15 0 22 0 909215275 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 0 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909215275 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28826] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28826/stat : 28826 (java) S 28806 28808 23545 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 909215275 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28827] ppid=28806 vsize=10557112 CPUtime=809.76 cores=0,2,4,6
/proc/28808/task/28827/stat : 28827 (java) R 28806 28808 23545 0 -1 4202560 60 0 0 0 80975 1 0 0 25 0 22 0 909216720 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505941503 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28808/tid=28828] ppid=28806 vsize=10557112 CPUtime=809.69 cores=0,2,4,6
/proc/28808/task/28828/stat : 28828 (java) R 28806 28808 23545 0 -1 4202560 93 0 0 0 80969 0 0 0 25 0 22 0 909216720 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505593565 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28808/tid=28829] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28829/stat : 28829 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216792 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28830] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28830/stat : 28830 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216817 10810482688 1280259 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1773.06
Current children cumulated vsize (KiB) 10557112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+955.801 s]
/proc/loadavg: 3.90 3.88 3.71 6/486 28929
/proc/meminfo: memFree=20828504/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=10557112 CPUtime=1800.13 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 23545 0 -1 4202496 1389146 0 1 0 179821 192 0 0 23 0 22 0 909215269 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 2639278 1281228 2263 9 0 2630012 0
[pid=28808/tid=28809] ppid=28806 vsize=10557112 CPUtime=13.16 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) S 28806 28808 23545 0 -1 4202560 651028 0 1 0 1243 73 0 0 15 0 22 0 909215269 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=10557112 CPUtime=2.87 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 23545 0 -1 4202560 70167 0 0 0 275 12 0 0 16 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=10557112 CPUtime=2.36 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 23545 0 -1 4202560 50859 0 0 0 229 7 0 0 15 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=10557112 CPUtime=2.69 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 23545 0 -1 4202560 66986 0 0 0 259 10 0 0 15 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=10557112 CPUtime=2.94 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 23545 0 -1 4202560 89135 0 0 0 281 13 0 0 15 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=10557112 CPUtime=3.28 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 23545 0 -1 4202560 84720 0 0 0 314 14 0 0 15 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=10557112 CPUtime=2.76 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 23545 0 -1 4202560 72388 0 0 0 265 11 0 0 15 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=10557112 CPUtime=3.2 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 23545 0 -1 4202560 67594 0 0 0 310 10 0 0 16 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=10557112 CPUtime=3.88 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 23545 0 -1 4202560 114773 0 0 0 369 19 0 0 16 0 22 0 909215271 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=10557112 CPUtime=112.94 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 23545 0 -1 4202560 100890 0 0 0 11281 13 0 0 15 0 22 0 909215272 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 0 0 16800975 18446604447172571328 0 0 -1 6 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909215273 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909215273 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909215275 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907314097 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=10557112 CPUtime=1.77 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 23545 0 -1 4202560 9947 0 0 0 176 1 0 0 16 0 22 0 909215275 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=10557112 CPUtime=1.66 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 23545 0 -1 4202560 9293 0 0 0 166 0 0 0 15 0 22 0 909215275 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 0 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909215275 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907306393 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28826] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28826/stat : 28826 (java) S 28806 28808 23545 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 909215275 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 2 0 0 0
[pid=28808/tid=28827] ppid=28806 vsize=10557112 CPUtime=823.27 cores=0,2,4,6
/proc/28808/task/28827/stat : 28827 (java) R 28806 28808 23545 0 -1 4202560 60 0 0 0 82326 1 0 0 25 0 22 0 909216720 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505999495 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28808/tid=28828] ppid=28806 vsize=10557112 CPUtime=823.21 cores=0,2,4,6
/proc/28808/task/28828/stat : 28828 (java) R 28806 28808 23545 0 -1 4202560 94 0 0 0 82321 0 0 0 25 0 22 0 909216720 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 46912505593656 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28808/tid=28829] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28829/stat : 28829 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216792 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
[pid=28808/tid=28830] ppid=28806 vsize=10557112 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28830/stat : 28830 (java) S 28806 28808 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216817 10810482688 1281228 33554432000 1073741824 1073778376 140735632634368 18446744073709551615 231907307008 0 4 0 16800975 18446604447172571328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10557112

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

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

[startup+956.001 s]
/proc/loadavg: 3.90 3.88 3.71 6/486 28929
/proc/meminfo: memFree=20828504/32950928 swapFree=52246700/67111528
[pid=28808] ppid=28806 vsize=0 CPUtime=1800.4 cores=0,2,4,6
/proc/28808/stat : 28808 (java) Z 28806 28808 23545 0 -1 4203548 1389178 0 1 0 179835 205 0 0 17 0 2 0 909215269 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28808/statm: 0 0 0 0 0 0 0
[pid=28808/tid=28830] ppid=28806 vsize=0 CPUtime=0.12 cores=0,2,4,6
/proc/28808/task/28830/stat : 28830 (java) R 28806 28808 23545 0 -1 4203588 7 0 0 0 0 12 0 0 18 0 2 0 909216817 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.4
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 956.067
CPU time (s): 1800.47
CPU user time (s): 1798.35
CPU system time (s): 2.12068
CPU usage (%): 188.321
Max. virtual memory (cumulated for all children) (KiB): 10593016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 2.12068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1389178
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= 24437
involuntary context switches= 30077

runsolver used 4.6033 second user time and 9.42257 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-04 14:17:26
IDJOB=3454188
IDBENCH=2279
IDSOLVER=1950
FILE ID=node114/3454188-1307189842
RUNJOBID= node114-1307187591-26663
PBS_JOBID= 13508824
Free space on /tmp= 73860 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/lptestset/fome/normalized-mps-v2-20-10-fome12.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454188-1307189842/watcher-3454188-1307189842 -o /tmp/evaluation-result-3454188-1307189842/solver-3454188-1307189842 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454188-1307189842.opb

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

MD5SUM BENCH= d6efb238990ec55ca510b102fead8acf
RANDOM SEED=118636715

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27427024 kB
Buffers:        324700 kB
Cached:         581180 kB
SwapCached:      10712 kB
Active:        4739696 kB
Inactive:       505100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27427024 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:           80056 kB
Writeback:           0 kB
AnonPages:     4336156 kB
Mapped:          29528 kB
Slab:           144356 kB
PageTables:      67008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 118551964 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= 73848 MiB
End job on node114 at 2011-06-04 14:33:24