Trace number 3291237

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06UNSAT 129.408 128.417

General information on the benchmark

NameSAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
MD5SUM8bd122b0caab0988cbc54e4731b25623
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.2178
Satisfiable
(Un)Satisfiability was proved
Number of variables17064
Number of clauses545612
Sum of the clauses size1608428
Maximum clause length187
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2476931
Number of clauses of size 356141
Number of clauses of size 4301
Number of clauses of size 5290
Number of clauses of size over 511948

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.09	c no version file found!!!
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		6997539544
0.01/0.09	c Max memory 		7034241024
0.01/0.09	c Total memory 		7034241024
0.01/0.09	c Number of processors 	8
0.01/0.10	c --- Begin Solver configuration ---
0.01/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.01/0.10	c Learn all clauses as in MiniSAT
0.01/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.01/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.01/0.10	c Expensive reason simplification
0.01/0.10	c Armin Biere (Picosat) restarts strategy
0.01/0.10	c Glucose learned constraints deletion strategy
0.01/0.10	c timeout=2147483647s
0.01/0.10	c DB Simplification allowed=true
0.01/0.10	c --- End Solver configuration ---
0.01/0.10	c solving HOME/instance-3291237-1303790686.cnf
0.01/0.10	c reading problem ... 
1.09/0.80	c ... done. Wall clock time 0.714s.
1.09/0.80	c #vars     17064
1.09/0.80	c #constraints  545612
1.09/0.80	c constraints type 
1.09/0.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 68680
1.09/0.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 476931
6.66/5.94	c cleaning 2496 clauses out of 5000 with flag 5000/5000
11.69/10.88	c cleaning 3807 clauses out of 7626 with flag 11001/11001
17.49/16.60	c cleaning 5400 clauses out of 10819 with flag 18001/18001
23.69/22.89	c cleaning 6482 clauses out of 12983 with flag 26000/26000
31.12/30.25	c cleaning 7011 clauses out of 14034 with flag 35000/35000
38.93/38.05	c cleaning 8005 clauses out of 16049 with flag 45000/45000
47.23/46.33	c cleaning 8838 clauses out of 17686 with flag 56000/56000
56.53/55.61	c cleaning 10164 clauses out of 20337 with flag 68000/68000
66.44/65.52	c cleaning 10885 clauses out of 21790 with flag 81001/81001
77.04/76.16	c cleaning 12098 clauses out of 24220 with flag 95002/95002
87.65/86.76	c cleaning 12887 clauses out of 25796 with flag 110001/110001
100.16/99.26	c cleaning 14175 clauses out of 28397 with flag 126000/126000
114.17/113.28	c cleaning 15590 clauses out of 31207 with flag 143000/143000
127.27/126.38	c cleaning 16806 clauses out of 33618 with flag 161001/161001
129.28/128.39	c starts		: 491
129.28/128.39	c conflicts		: 163188
129.28/128.39	c decisions		: 729048
129.28/128.39	c propagations		: 126882938
129.28/128.39	c inspects		: 867890818
129.28/128.39	c shortcuts		: 0
129.28/128.39	c learnt literals	: 37
129.28/128.39	c learnt binary clauses	: 2510
129.28/128.39	c learnt ternary clauses	: 3190
129.28/128.39	c learnt constraints	: 163150
129.28/128.39	c ignored constraints	: 0
129.28/128.39	c root simplifications	: 527
129.28/128.39	c removed literals (reason simplification)	: 9292639
129.28/128.39	c reason swapping (by a shorter reason)	: 0
129.28/128.39	c Calls to reduceDB	: 14
129.28/128.39	c speed (assignments/second)	: 994489.5051181164
129.28/128.39	c non guided choices	1772
129.38/128.40	c learnt constraints type 
129.38/128.40	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1942
129.38/128.40	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 9764
129.38/128.40	c constraints type 
129.38/128.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 68680
129.38/128.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 476931
129.38/128.40	s UNSATISFIABLE
129.38/128.40	c Total wall clock time (in seconds) : 128.3

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3291237-1303790686/watcher-3291237-1303790686 -o /tmp/evaluation-result-3291237-1303790686/solver-3291237-1303790686 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291237-1303790686.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.13 3.80 3.71 6/218 2644
/proc/meminfo: memFree=26160180/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=11800 CPUtime=0 cores=4,6
/proc/2644/stat : 2644 (runsolver) R 2642 2644 2468 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 490666841 12083200 54 33554432000 4194304 5434984 140737113307008 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/2644/statm: 2950 54 34 303 0 2644 0

[startup+0.0316319 s]
/proc/loadavg: 3.13 3.80 3.71 6/218 2644
/proc/meminfo: memFree=26160180/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7551884 CPUtime=0.01 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 8292 0 1 0 1 0 0 0 18 0 10 0 490666841 7733129216 7990 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1887971 7990 1517 9 0 1878719 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551884

[startup+0.104092 s]
/proc/loadavg: 3.13 3.80 3.71 6/218 2644
/proc/meminfo: memFree=26160180/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7636692 CPUtime=0.1 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 11090 0 1 0 9 1 0 0 18 0 18 0 490666841 7819972608 10786 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1909173 10786 2093 9 0 1899911 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636692

[startup+0.300582 s]
/proc/loadavg: 3.13 3.80 3.71 6/218 2644
/proc/meminfo: memFree=26160180/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7648180 CPUtime=0.4 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 15584 0 1 0 38 2 0 0 18 0 18 0 490666841 7831736320 14024 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912045 14024 2192 9 0 1902783 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7648180

[startup+0.700574 s]
/proc/loadavg: 3.13 3.80 3.71 6/218 2644
/proc/meminfo: memFree=26160180/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7649064 CPUtime=1 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 22957 0 1 0 97 3 0 0 18 0 18 0 490666841 7832641536 21344 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912266 21345 2203 9 0 1903004 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 7649064

[startup+1.50137 s]
/proc/loadavg: 3.13 3.80 3.71 8/265 2692
/proc/meminfo: memFree=25951968/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7650092 CPUtime=2.18 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 26233 0 1 0 215 3 0 0 18 0 19 0 490666841 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912523 24005 2221 9 0 1903261 0
[pid=2644/tid=2649] ppid=2642 vsize=7650092 CPUtime=1.44 cores=4,6
/proc/2644/task/2649/stat : 2649 (java) R 2642 2644 2468 0 -1 4202560 19103 0 1 0 142 2 0 0 21 0 19 0 490666842 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 46912505811378 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2644/tid=2660] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2660/stat : 2660 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2661] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2661/stat : 2661 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2662] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2662/stat : 2662 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2663] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2663/stat : 2663 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2664] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2664/stat : 2664 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2665] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2665/stat : 2665 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2666] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2666/stat : 2666 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2667] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2667/stat : 2667 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666844 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2677] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2677/stat : 2677 (java) S 2642 2644 2468 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 490666845 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 0 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2678] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2678/stat : 2678 (java) S 2642 2644 2468 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 490666845 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2679] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2679/stat : 2679 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490666845 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2685] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2685/stat : 2685 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347716017 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2686] ppid=2642 vsize=7650092 CPUtime=0.58 cores=4,6
/proc/2644/task/2686/stat : 2686 (java) S 2642 2644 2468 0 -1 4202560 4771 0 0 0 58 0 0 0 21 0 19 0 490666847 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2687] ppid=2642 vsize=7650092 CPUtime=0.14 cores=4,6
/proc/2644/task/2687/stat : 2687 (java) S 2642 2644 2468 0 -1 4202560 1196 0 0 0 14 0 0 0 19 0 19 0 490666847 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2688] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2688/stat : 2688 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2689] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2689/stat : 2689 (java) S 2642 2644 2468 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490666847 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2692] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2692/stat : 2692 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 490666925 7833694208 24005 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 7650092

[startup+3.10109 s]
/proc/loadavg: 3.13 3.80 3.71 7/266 2693
/proc/meminfo: memFree=25870412/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7650092 CPUtime=3.87 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 26525 0 1 0 384 3 0 0 18 0 19 0 490666841 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912523 24271 2225 9 0 1903261 0
[pid=2644/tid=2649] ppid=2642 vsize=7650092 CPUtime=3.04 cores=4,6
/proc/2644/task/2649/stat : 2649 (java) R 2642 2644 2468 0 -1 4202560 19358 0 1 0 301 3 0 0 25 0 19 0 490666842 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 46912505811824 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2644/tid=2660] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2660/stat : 2660 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2661] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2661/stat : 2661 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2662] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2662/stat : 2662 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2663] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2663/stat : 2663 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2664] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2664/stat : 2664 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2665] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2665/stat : 2665 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2666] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2666/stat : 2666 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2667] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2667/stat : 2667 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666844 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2677] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2677/stat : 2677 (java) S 2642 2644 2468 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 490666845 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 0 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2678] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2678/stat : 2678 (java) S 2642 2644 2468 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 490666845 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2679] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2679/stat : 2679 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490666845 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2685] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2685/stat : 2685 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347716017 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2686] ppid=2642 vsize=7650092 CPUtime=0.66 cores=4,6
/proc/2644/task/2686/stat : 2686 (java) S 2642 2644 2468 0 -1 4202560 4780 0 0 0 66 0 0 0 15 0 19 0 490666847 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2687] ppid=2642 vsize=7650092 CPUtime=0.16 cores=4,6
/proc/2644/task/2687/stat : 2687 (java) S 2642 2644 2468 0 -1 4202560 1224 0 0 0 16 0 0 0 17 0 19 0 490666847 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2688] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2688/stat : 2688 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2689] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2689/stat : 2689 (java) S 2642 2644 2468 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490666847 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2692] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2692/stat : 2692 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 490666925 7833694208 24271 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 7650092

[startup+6.30152 s]
/proc/loadavg: 3.20 3.81 3.71 5/266 2693
/proc/meminfo: memFree=25733804/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7650092 CPUtime=7.17 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 47254 0 1 0 711 6 0 0 18 0 19 0 490666841 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912523 44667 2251 9 0 1903261 0
[pid=2644/tid=2649] ppid=2642 vsize=7650092 CPUtime=5.95 cores=4,6
/proc/2644/task/2649/stat : 2649 (java) R 2642 2644 2468 0 -1 4202560 19701 0 1 0 592 3 0 0 24 0 19 0 490666842 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 46912505768424 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2644/tid=2660] ppid=2642 vsize=7650092 CPUtime=0.06 cores=4,6
/proc/2644/task/2660/stat : 2660 (java) S 2642 2644 2468 0 -1 4202560 3241 0 0 0 6 0 0 0 18 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2661] ppid=2642 vsize=7650092 CPUtime=0.05 cores=4,6
/proc/2644/task/2661/stat : 2661 (java) S 2642 2644 2468 0 -1 4202560 4826 0 0 0 5 0 0 0 18 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2662] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2662/stat : 2662 (java) S 2642 2644 2468 0 -1 4202560 425 0 0 0 0 0 0 0 17 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2663] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2663/stat : 2663 (java) S 2642 2644 2468 0 -1 4202560 182 0 0 0 0 0 0 0 17 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2664] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2664/stat : 2664 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2665] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2665/stat : 2665 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2666] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2666/stat : 2666 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2667] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2667/stat : 2667 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490666844 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2677] ppid=2642 vsize=7650092 CPUtime=0.18 cores=4,6
/proc/2644/task/2677/stat : 2677 (java) S 2642 2644 2468 0 -1 4202560 10973 0 0 0 17 1 0 0 16 0 19 0 490666845 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 0 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2678] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2678/stat : 2678 (java) S 2642 2644 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2679] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2679/stat : 2679 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2685] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2685/stat : 2685 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347716017 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2686] ppid=2642 vsize=7650092 CPUtime=0.67 cores=4,6
/proc/2644/task/2686/stat : 2686 (java) S 2642 2644 2468 0 -1 4202560 4780 0 0 0 67 0 0 0 15 0 19 0 490666847 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2687] ppid=2642 vsize=7650092 CPUtime=0.2 cores=4,6
/proc/2644/task/2687/stat : 2687 (java) S 2642 2644 2468 0 -1 4202560 1970 0 0 0 20 0 0 0 15 0 19 0 490666847 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2688] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2688/stat : 2688 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2689] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2689/stat : 2689 (java) S 2642 2644 2468 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490666847 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2692] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2692/stat : 2692 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 490666925 7833694208 44667 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 7650092

[startup+12.7014 s]

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

/proc/2644/task/2649/stat : 2649 (java) R 2642 2644 2468 0 -1 4202560 19721 0 1 0 12481 3 0 0 25 0 19 0 490666842 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 46912505702414 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2644/tid=2660] ppid=2642 vsize=7650092 CPUtime=0.06 cores=4,6
/proc/2644/task/2660/stat : 2660 (java) S 2642 2644 2468 0 -1 4202560 3243 0 0 0 6 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2661] ppid=2642 vsize=7650092 CPUtime=0.07 cores=4,6
/proc/2644/task/2661/stat : 2661 (java) S 2642 2644 2468 0 -1 4202560 4828 0 0 0 7 0 0 0 16 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2662] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2662/stat : 2662 (java) S 2642 2644 2468 0 -1 4202560 433 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2663] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2663/stat : 2663 (java) S 2642 2644 2468 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2664] ppid=2642 vsize=7650092 CPUtime=0.01 cores=4,6
/proc/2644/task/2664/stat : 2664 (java) S 2642 2644 2468 0 -1 4202560 18 0 0 0 1 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2665] ppid=2642 vsize=7650092 CPUtime=0.02 cores=4,6
/proc/2644/task/2665/stat : 2665 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2666] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2666/stat : 2666 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2667] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2667/stat : 2667 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2677] ppid=2642 vsize=7650092 CPUtime=1.92 cores=4,6
/proc/2644/task/2677/stat : 2677 (java) S 2642 2644 2468 0 -1 4202560 11648 0 0 0 191 1 0 0 16 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 0 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2678] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2678/stat : 2678 (java) S 2642 2644 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2679] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2679/stat : 2679 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2685] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2685/stat : 2685 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347716017 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2686] ppid=2642 vsize=7650092 CPUtime=0.74 cores=4,6
/proc/2644/task/2686/stat : 2686 (java) S 2642 2644 2468 0 -1 4202560 4796 0 0 0 74 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2687] ppid=2642 vsize=7650092 CPUtime=0.25 cores=4,6
/proc/2644/task/2687/stat : 2687 (java) S 2642 2644 2468 0 -1 4202560 2057 0 0 0 25 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2688] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2688/stat : 2688 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2689] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2689/stat : 2689 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2692] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2692/stat : 2692 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 490666925 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 128.08
Current children cumulated vsize (KiB) 7650092

[startup+127.901 s]
/proc/loadavg: 4.08 3.92 3.76 5/266 2696
/proc/meminfo: memFree=25616584/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7650092 CPUtime=128.88 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 48101 0 1 0 12882 6 0 0 18 0 19 0 490666841 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912523 45369 2253 9 0 1903261 0
[pid=2644/tid=2649] ppid=2642 vsize=7650092 CPUtime=125.64 cores=4,6
/proc/2644/task/2649/stat : 2649 (java) R 2642 2644 2468 0 -1 4202560 19721 0 1 0 12561 3 0 0 25 0 19 0 490666842 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 46912505883347 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2644/tid=2660] ppid=2642 vsize=7650092 CPUtime=0.06 cores=4,6
/proc/2644/task/2660/stat : 2660 (java) S 2642 2644 2468 0 -1 4202560 3243 0 0 0 6 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2661] ppid=2642 vsize=7650092 CPUtime=0.07 cores=4,6
/proc/2644/task/2661/stat : 2661 (java) S 2642 2644 2468 0 -1 4202560 4828 0 0 0 7 0 0 0 16 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2662] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2662/stat : 2662 (java) S 2642 2644 2468 0 -1 4202560 433 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2663] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2663/stat : 2663 (java) S 2642 2644 2468 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2664] ppid=2642 vsize=7650092 CPUtime=0.01 cores=4,6
/proc/2644/task/2664/stat : 2664 (java) S 2642 2644 2468 0 -1 4202560 18 0 0 0 1 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2665] ppid=2642 vsize=7650092 CPUtime=0.02 cores=4,6
/proc/2644/task/2665/stat : 2665 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2666] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2666/stat : 2666 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2667] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2667/stat : 2667 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2677] ppid=2642 vsize=7650092 CPUtime=1.92 cores=4,6
/proc/2644/task/2677/stat : 2677 (java) S 2642 2644 2468 0 -1 4202560 11648 0 0 0 191 1 0 0 15 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 0 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2678] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2678/stat : 2678 (java) S 2642 2644 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2679] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2679/stat : 2679 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2685] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2685/stat : 2685 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347716017 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2686] ppid=2642 vsize=7650092 CPUtime=0.74 cores=4,6
/proc/2644/task/2686/stat : 2686 (java) S 2642 2644 2468 0 -1 4202560 4796 0 0 0 74 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2687] ppid=2642 vsize=7650092 CPUtime=0.25 cores=4,6
/proc/2644/task/2687/stat : 2687 (java) S 2642 2644 2468 0 -1 4202560 2057 0 0 0 25 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2688] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2688/stat : 2688 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2689] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2689/stat : 2689 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2692] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2692/stat : 2692 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 490666925 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 128.88
Current children cumulated vsize (KiB) 7650092

[startup+128.301 s]
/proc/loadavg: 4.08 3.92 3.76 5/266 2696
/proc/meminfo: memFree=25616584/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7650092 CPUtime=129.28 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 48101 0 1 0 12922 6 0 0 18 0 19 0 490666841 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912523 45369 2253 9 0 1903261 0
[pid=2644/tid=2649] ppid=2642 vsize=7650092 CPUtime=126.04 cores=4,6
/proc/2644/task/2649/stat : 2649 (java) R 2642 2644 2468 0 -1 4202560 19721 0 1 0 12601 3 0 0 25 0 19 0 490666842 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 46912505872144 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2644/tid=2660] ppid=2642 vsize=7650092 CPUtime=0.06 cores=4,6
/proc/2644/task/2660/stat : 2660 (java) S 2642 2644 2468 0 -1 4202560 3243 0 0 0 6 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2661] ppid=2642 vsize=7650092 CPUtime=0.07 cores=4,6
/proc/2644/task/2661/stat : 2661 (java) S 2642 2644 2468 0 -1 4202560 4828 0 0 0 7 0 0 0 16 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2662] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2662/stat : 2662 (java) S 2642 2644 2468 0 -1 4202560 433 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2663] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2663/stat : 2663 (java) S 2642 2644 2468 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2664] ppid=2642 vsize=7650092 CPUtime=0.01 cores=4,6
/proc/2644/task/2664/stat : 2664 (java) S 2642 2644 2468 0 -1 4202560 18 0 0 0 1 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2665] ppid=2642 vsize=7650092 CPUtime=0.02 cores=4,6
/proc/2644/task/2665/stat : 2665 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2666] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2666/stat : 2666 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2667] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2667/stat : 2667 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2677] ppid=2642 vsize=7650092 CPUtime=1.92 cores=4,6
/proc/2644/task/2677/stat : 2677 (java) S 2642 2644 2468 0 -1 4202560 11648 0 0 0 191 1 0 0 15 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 0 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2678] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2678/stat : 2678 (java) S 2642 2644 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2679] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2679/stat : 2679 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2685] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2685/stat : 2685 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347716017 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2686] ppid=2642 vsize=7650092 CPUtime=0.74 cores=4,6
/proc/2644/task/2686/stat : 2686 (java) S 2642 2644 2468 0 -1 4202560 4796 0 0 0 74 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2687] ppid=2642 vsize=7650092 CPUtime=0.25 cores=4,6
/proc/2644/task/2687/stat : 2687 (java) S 2642 2644 2468 0 -1 4202560 2057 0 0 0 25 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2688] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2688/stat : 2688 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2689] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2689/stat : 2689 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 490666847 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2692] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2692/stat : 2692 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 490666925 7833694208 45369 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 129.28
Current children cumulated vsize (KiB) 7650092

[startup+128.401 s]
/proc/loadavg: 4.08 3.92 3.76 5/266 2696
/proc/meminfo: memFree=25616584/32951124 swapFree=67111524/67111528
[pid=2644] ppid=2642 vsize=7650092 CPUtime=129.38 cores=4,6
/proc/2644/stat : 2644 (java) S 2642 2644 2468 0 -1 4202496 48105 0 1 0 12932 6 0 0 18 0 19 0 490666841 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2644/statm: 1912523 45373 2254 9 0 1903261 0
[pid=2644/tid=2649] ppid=2642 vsize=7650092 CPUtime=126.13 cores=4,6
/proc/2644/task/2649/stat : 2649 (java) S 2642 2644 2468 0 -1 4202560 19723 0 1 0 12610 3 0 0 25 0 19 0 490666842 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2660] ppid=2642 vsize=7650092 CPUtime=0.06 cores=4,6
/proc/2644/task/2660/stat : 2660 (java) S 2642 2644 2468 0 -1 4202560 3243 0 0 0 6 0 0 0 15 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2661] ppid=2642 vsize=7650092 CPUtime=0.07 cores=4,6
/proc/2644/task/2661/stat : 2661 (java) S 2642 2644 2468 0 -1 4202560 4828 0 0 0 7 0 0 0 16 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2662] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2662/stat : 2662 (java) S 2642 2644 2468 0 -1 4202560 433 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2663] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2663/stat : 2663 (java) S 2642 2644 2468 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2664] ppid=2642 vsize=7650092 CPUtime=0.01 cores=4,6
/proc/2644/task/2664/stat : 2664 (java) S 2642 2644 2468 0 -1 4202560 18 0 0 0 1 0 0 0 15 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2665] ppid=2642 vsize=7650092 CPUtime=0.02 cores=4,6
/proc/2644/task/2665/stat : 2665 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2666] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2666/stat : 2666 (java) S 2642 2644 2468 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2667] ppid=2642 vsize=7650092 CPUtime=0.03 cores=4,6
/proc/2644/task/2667/stat : 2667 (java) S 2642 2644 2468 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 490666844 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2677] ppid=2642 vsize=7650092 CPUtime=1.92 cores=4,6
/proc/2644/task/2677/stat : 2677 (java) S 2642 2644 2468 0 -1 4202560 11648 0 0 0 191 1 0 0 15 0 19 0 490666845 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 0 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2678] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2678/stat : 2678 (java) S 2642 2644 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2679] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2679/stat : 2679 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2685] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2685/stat : 2685 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347716017 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2686] ppid=2642 vsize=7650092 CPUtime=0.74 cores=4,6
/proc/2644/task/2686/stat : 2686 (java) S 2642 2644 2468 0 -1 4202560 4796 0 0 0 74 0 0 0 15 0 19 0 490666847 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2687] ppid=2642 vsize=7650092 CPUtime=0.25 cores=4,6
/proc/2644/task/2687/stat : 2687 (java) S 2642 2644 2468 0 -1 4202560 2057 0 0 0 25 0 0 0 15 0 19 0 490666847 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 4 0 0 0
[pid=2644/tid=2688] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2688/stat : 2688 (java) S 2642 2644 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708313 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
[pid=2644/tid=2689] ppid=2642 vsize=7650092 CPUtime=0 cores=4,6
/proc/2644/task/2689/stat : 2689 (java) S 2642 2644 2468 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 490666847 7833694208 45373 33554432000 1073741824 1073778376 140735886202480 18446744073709551615 232347708928 0 4 0 16800975 18446604450397284288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 129.38
Current children cumulated vsize (KiB) 7650092

Child status: 20
Real time (s): 128.417
CPU time (s): 129.408
CPU user time (s): 129.333
CPU system time (s): 0.074988
CPU usage (%): 100.772
Max. virtual memory (cumulated for all children) (KiB): 7650092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.333
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48113
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= 3330
involuntary context switches= 1159

runsolver used 0.251961 second user time and 0.503923 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-26 06:04:47
IDJOB=3291237
IDBENCH=84172
IDSOLVER=1611
FILE ID=node132/3291237-1303790686
RUNJOBID= node132-1303790686-2487
PBS_JOBID= 13157266
Free space on /tmp= 72040 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291237-1303790686/watcher-3291237-1303790686 -o /tmp/evaluation-result-3291237-1303790686/solver-3291237-1303790686 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291237-1303790686.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=2067307264

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26160840 kB
Buffers:        697404 kB
Cached:        5479984 kB
SwapCached:          4 kB
Active:         682476 kB
Inactive:      5614932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26160840 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           34544 kB
Writeback:           0 kB
AnonPages:      119804 kB
Mapped:          21168 kB
Slab:           425596 kB
PageTables:       5720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14725696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72040 MiB
End job on node132 at 2011-04-26 06:06:55