Trace number 3289121

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-06? (TO) 1301.64 1300.09

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
MD5SUM9fab5edd49fb904ff76ff7abf98e0d14
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables51138
Number of clauses162526
Sum of the clauses size397144
Maximum clause length2101
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 299113
Number of clauses of size 362300
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5863

Solver Data 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c no version file found!!!
0.05/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.07	c java.vm.version	19.1-b02
0.05/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.07	c sun.arch.data.model	64
0.05/0.07	c java.version		1.6.0_24
0.05/0.07	c os.name		Linux
0.05/0.07	c os.version		2.6.18-164.el5
0.05/0.07	c os.arch		amd64
0.05/0.07	c Free memory 		6997539544
0.05/0.07	c Max memory 		7034241024
0.05/0.07	c Total memory 		7034241024
0.05/0.07	c Number of processors 	8
0.05/0.09	c --- Begin Solver configuration ---
0.05/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.05/0.09	c Learn all clauses as in MiniSAT
0.05/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.09	c Expensive reason simplification
0.05/0.09	c Armin Biere (Picosat) restarts strategy
0.05/0.09	c Glucose learned constraints deletion strategy
0.05/0.09	c timeout=2147483647s
0.05/0.09	c DB Simplification allowed=true
0.05/0.09	c --- End Solver configuration ---
0.05/0.09	c solving HOME/instance-3289121-1303784185.cnf
0.05/0.09	c reading problem ... 
0.39/0.30	c ... done. Wall clock time 0.21s.
0.39/0.30	c #vars     51138
0.39/0.30	c #constraints  154807
0.39/0.30	c constraints type 
0.39/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61772
0.39/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 90868
3.75/3.24	c cleaning 2476 clauses out of 4958 with flag 5000/5000
7.60/6.54	c cleaning 4177 clauses out of 8417 with flag 11000/11000
11.80/10.74	c cleaning 5612 clauses out of 11225 with flag 18000/18000
16.51/15.43	c cleaning 6700 clauses out of 13414 with flag 26000/26000
22.72/21.66	c cleaning 7711 clauses out of 15515 with flag 35000/35000
29.42/28.39	c cleaning 8771 clauses out of 17598 with flag 45001/45001
36.84/35.79	c cleaning 9600 clauses out of 19232 with flag 56000/56000
45.34/44.29	c cleaning 10700 clauses out of 21462 with flag 68005/68005
53.75/52.66	c cleaning 11675 clauses out of 23378 with flag 81000/81000
63.45/62.33	c cleaning 12793 clauses out of 25659 with flag 95001/95001
73.77/72.69	c cleaning 13916 clauses out of 27865 with flag 110001/110001
84.37/83.27	c cleaning 14921 clauses out of 29935 with flag 126001/126001
96.37/95.24	c cleaning 16000 clauses out of 32000 with flag 143000/143000
108.98/107.88	c cleaning 16978 clauses out of 33998 with flag 161002/161002
121.98/120.89	c cleaning 17985 clauses out of 36009 with flag 180000/180000
135.79/134.62	c cleaning 18909 clauses out of 37873 with flag 200001/200001
149.80/148.62	c cleaning 19918 clauses out of 39938 with flag 221000/221000
165.01/163.80	c cleaning 20915 clauses out of 41861 with flag 243000/243000
180.91/179.73	c cleaning 21947 clauses out of 43947 with flag 266001/266001
196.52/195.35	c cleaning 22974 clauses out of 45976 with flag 290000/290000
214.23/213.06	c cleaning 23960 clauses out of 48000 with flag 315001/315001
231.94/230.77	c cleaning 24991 clauses out of 50032 with flag 341000/341000
250.65/249.45	c cleaning 26006 clauses out of 52041 with flag 368000/368000
270.15/268.96	c cleaning 26982 clauses out of 54033 with flag 396000/396000
288.56/287.32	c cleaning 27989 clauses out of 56043 with flag 425002/425002
310.16/308.93	c cleaning 28983 clauses out of 58038 with flag 455000/455000
331.77/330.58	c cleaning 29999 clauses out of 60051 with flag 486002/486002
352.58/351.38	c cleaning 30989 clauses out of 62043 with flag 518000/518000
375.78/374.57	c cleaning 31982 clauses out of 64052 with flag 551001/551001
399.29/398.00	c cleaning 33018 clauses out of 66069 with flag 585000/585000
423.70/422.49	c cleaning 34010 clauses out of 68042 with flag 620000/620000
449.10/447.82	c cleaning 35002 clauses out of 70027 with flag 656001/656001
475.71/474.40	c cleaning 35992 clauses out of 72022 with flag 693002/693002
502.82/501.59	c cleaning 36992 clauses out of 74022 with flag 731001/731001
532.23/530.94	c cleaning 37986 clauses out of 76030 with flag 770001/770001
560.63/559.31	c cleaning 38997 clauses out of 78038 with flag 810000/810000
588.34/587.02	c cleaning 39969 clauses out of 80030 with flag 851001/851001
617.95/616.61	c cleaning 41019 clauses out of 82060 with flag 893000/893000
649.26/647.96	c cleaning 42007 clauses out of 84040 with flag 936002/936002
683.37/682.04	c cleaning 42998 clauses out of 86033 with flag 980002/980002
718.17/716.84	c cleaning 43987 clauses out of 88033 with flag 1025000/1025000
751.48/750.12	c cleaning 45019 clauses out of 90046 with flag 1071001/1071001
789.48/788.13	c cleaning 45982 clauses out of 91991 with flag 1118001/1118001
828.79/827.47	c cleaning 46997 clauses out of 94009 with flag 1166003/1166003
867.30/865.94	c cleaning 47926 clauses out of 95946 with flag 1215000/1215000
905.21/903.82	c cleaning 48996 clauses out of 98021 with flag 1265001/1265001
945.61/944.28	c cleaning 49986 clauses out of 100025 with flag 1316001/1316001
987.82/986.44	c cleaning 50996 clauses out of 102032 with flag 1368000/1368000
1026.93/1025.57	c cleaning 52015 clauses out of 104036 with flag 1421000/1421000
1070.14/1068.75	c cleaning 52937 clauses out of 105890 with flag 1475001/1475001
1116.16/1114.79	c cleaning 53963 clauses out of 107952 with flag 1530000/1530000
1161.77/1160.38	c cleaning 54982 clauses out of 109971 with flag 1586001/1586001
1207.38/1205.98	c cleaning 55975 clauses out of 111987 with flag 1643001/1643001
1254.29/1252.81	c cleaning 56988 clauses out of 114011 with flag 1701000/1701000
1301.50/1300.02	c starts		: 1457
1301.50/1300.02	c conflicts		: 1758385
1301.50/1300.02	c decisions		: 2441569
1301.50/1300.02	c propagations		: 2620771827
1301.50/1300.02	c inspects		: 9817561852
1301.50/1300.02	c shortcuts		: 0
1301.50/1300.02	c learnt literals	: 175
1301.50/1300.02	c learnt binary clauses	: 1576
1301.50/1300.02	c learnt ternary clauses	: 3616
1301.50/1300.02	c learnt constraints	: 1758210
1301.50/1300.02	c ignored constraints	: 0
1301.50/1300.02	c root simplifications	: 1632
1301.50/1300.02	c removed literals (reason simplification)	: 25860820
1301.50/1300.02	c reason swapping (by a shorter reason)	: 0
1301.50/1300.02	c Calls to reduceDB	: 54
1301.50/1300.02	c speed (assignments/second)	: 2016415.7355672538
1301.50/1300.02	c non guided choices	613
1301.50/1300.08	c learnt constraints type 
1301.50/1300.08	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1239
1301.50/1300.08	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113220
1301.50/1300.08	c constraints type 
1301.50/1300.08	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61772
1301.50/1300.08	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 90868
1301.50/1300.08	s UNKNOWN
1301.50/1300.08	c Total wall clock time (in seconds) : 1299.928

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3289121-1303784185/watcher-3289121-1303784185 -o /tmp/evaluation-result-3289121-1303784185/solver-3289121-1303784185 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3289121-1303784185.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: 0.92 1.37 2.21 4/240 23350
/proc/meminfo: memFree=13486548/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=35788 CPUtime=0 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 1316 0 0 0 0 0 0 0 22 0 2 0 490017212 36646912 1017 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 8947 1022 787 9 0 386 0
[pid=23350/tid=23351] ppid=23348 vsize=35788 CPUtime=0 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) S 23348 23350 21557 0 -1 4202560 210 0 0 0 0 0 0 0 25 0 2 0 490017213 36646912 1026 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251814260294 0 0 0 16784584 4158238356456603647 0 0 -1 4 0 0 0

[startup+0.0689759 s]
/proc/loadavg: 0.92 1.37 2.21 4/240 23350
/proc/meminfo: memFree=13486548/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7570692 CPUtime=0.05 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 9380 0 1 0 5 0 0 0 22 0 18 0 490017212 7752388608 9076 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1892673 9076 1754 9 0 1883411 0
[pid=23350/tid=23351] ppid=23348 vsize=7570692 CPUtime=0.05 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 8206 0 1 0 5 0 0 0 25 0 18 0 490017213 7752388608 9077 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 47478804138003 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7570692

[startup+0.100973 s]
/proc/loadavg: 0.92 1.37 2.21 4/240 23350
/proc/meminfo: memFree=13486548/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7570692 CPUtime=0.09 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 10240 0 1 0 8 1 0 0 22 0 18 0 490017212 7752388608 9936 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1892673 9937 1757 9 0 1883411 0
[pid=23350/tid=23351] ppid=23348 vsize=7570692 CPUtime=0.08 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 9067 0 1 0 8 0 0 0 25 0 18 0 490017213 7752388608 9938 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7570692

[startup+0.300941 s]
/proc/loadavg: 0.92 1.37 2.21 4/240 23350
/proc/meminfo: memFree=13486548/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7639300 CPUtime=0.39 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 15865 0 1 0 38 1 0 0 22 0 18 0 490017212 7822643200 15561 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1909825 15562 2197 9 0 1900563 0
[pid=23350/tid=23351] ppid=23348 vsize=7639300 CPUtime=0.27 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 13404 0 1 0 26 1 0 0 25 0 18 0 490017213 7822643200 15563 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505548645 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 7639300

[startup+0.700876 s]
/proc/loadavg: 0.92 1.37 2.21 4/240 23350
/proc/meminfo: memFree=13486548/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7643400 CPUtime=1.1 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 20112 0 1 0 109 1 0 0 22 0 19 0 490017212 7826841600 18695 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1910850 18695 2221 9 0 1901588 0
[pid=23350/tid=23351] ppid=23348 vsize=7643400 CPUtime=0.65 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 14374 0 1 0 64 1 0 0 25 0 19 0 490017213 7826841600 18695 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505645568 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 7643400

[startup+1.50085 s]
/proc/loadavg: 0.92 1.37 2.21 5/262 23372
/proc/meminfo: memFree=13356868/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7643400 CPUtime=2.01 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 20232 0 1 0 200 1 0 0 22 0 19 0 490017212 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1910850 18814 2222 9 0 1901588 0
[pid=23350/tid=23351] ppid=23348 vsize=7643400 CPUtime=1.45 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 14474 0 1 0 144 1 0 0 25 0 19 0 490017213 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505645568 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23350/tid=23353] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23353/stat : 23353 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23354] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23354/stat : 23354 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23355] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23355/stat : 23355 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23356] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23356/stat : 23356 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23357] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23357/stat : 23357 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23358] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23358/stat : 23358 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23359] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23359/stat : 23359 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23360] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23360/stat : 23360 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23361] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23361/stat : 23361 (java) S 23348 23350 21557 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 19 0 490017215 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 0 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23362] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23362/stat : 23362 (java) S 23348 23350 21557 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490017216 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23363] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23363/stat : 23363 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017216 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23365] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23365/stat : 23365 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826063793 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23366] ppid=23348 vsize=7643400 CPUtime=0.16 cores=4,6
/proc/23350/task/23366/stat : 23366 (java) S 23348 23350 21557 0 -1 4202560 767 0 0 0 16 0 0 0 23 0 19 0 490017218 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23367] ppid=23348 vsize=7643400 CPUtime=0.38 cores=4,6
/proc/23350/task/23367/stat : 23367 (java) S 23348 23350 21557 0 -1 4202560 3829 0 0 0 38 0 0 0 19 0 19 0 490017218 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23368] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23368/stat : 23368 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23369] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23369/stat : 23369 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490017218 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23372] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23372/stat : 23372 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017252 7826841600 18814 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 7643400

[startup+3.10147 s]
/proc/loadavg: 0.92 1.37 2.21 5/262 23372
/proc/meminfo: memFree=13354152/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7643400 CPUtime=3.64 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 20438 0 1 0 363 1 0 0 22 0 19 0 490017212 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1910850 19019 2225 9 0 1901588 0
[pid=23350/tid=23351] ppid=23348 vsize=7643400 CPUtime=3.05 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 14670 0 1 0 304 1 0 0 25 0 19 0 490017213 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505616831 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23350/tid=23353] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23353/stat : 23353 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23354] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23354/stat : 23354 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23355] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23355/stat : 23355 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23356] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23356/stat : 23356 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23357] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23357/stat : 23357 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23358] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23358/stat : 23358 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23359] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23359/stat : 23359 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23360] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23360/stat : 23360 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017214 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23361] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23361/stat : 23361 (java) S 23348 23350 21557 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 490017215 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 0 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23362] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23362/stat : 23362 (java) S 23348 23350 21557 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490017216 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23363] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23363/stat : 23363 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017216 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23365] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23365/stat : 23365 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826063793 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23366] ppid=23348 vsize=7643400 CPUtime=0.16 cores=4,6
/proc/23350/task/23366/stat : 23366 (java) S 23348 23350 21557 0 -1 4202560 767 0 0 0 16 0 0 0 23 0 19 0 490017218 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23367] ppid=23348 vsize=7643400 CPUtime=0.42 cores=4,6
/proc/23350/task/23367/stat : 23367 (java) S 23348 23350 21557 0 -1 4202560 3839 0 0 0 42 0 0 0 18 0 19 0 490017218 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23368] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23368/stat : 23368 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23369] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23369/stat : 23369 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490017218 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23372] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23372/stat : 23372 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017252 7826841600 19019 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 7643400

[startup+6.30104 s]
/proc/loadavg: 1.17 1.42 2.22 5/262 23372
/proc/meminfo: memFree=13134864/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7643400 CPUtime=7.39 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 37963 0 1 0 736 3 0 0 22 0 19 0 490017212 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1910850 30981 2253 9 0 1901588 0
[pid=23350/tid=23351] ppid=23348 vsize=7643400 CPUtime=6.14 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 14696 0 1 0 613 1 0 0 25 0 19 0 490017213 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505640239 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23350/tid=23353] ppid=23348 vsize=7643400 CPUtime=0.03 cores=4,6
/proc/23350/task/23353/stat : 23353 (java) S 23348 23350 21557 0 -1 4202560 2927 0 0 0 3 0 0 0 18 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23354] ppid=23348 vsize=7643400 CPUtime=0.01 cores=4,6
/proc/23350/task/23354/stat : 23354 (java) S 23348 23350 21557 0 -1 4202560 1972 0 0 0 1 0 0 0 18 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23355] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23355/stat : 23355 (java) S 23348 23350 21557 0 -1 4202560 426 0 0 0 0 0 0 0 18 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23356] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23356/stat : 23356 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23357] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23357/stat : 23357 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23358] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23358/stat : 23358 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23359] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23359/stat : 23359 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23360] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23360/stat : 23360 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490017214 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23361] ppid=23348 vsize=7643400 CPUtime=0.06 cores=4,6
/proc/23350/task/23361/stat : 23361 (java) S 23348 23350 21557 0 -1 4202560 5324 0 0 0 6 0 0 0 15 0 19 0 490017215 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 0 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23362] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23362/stat : 23362 (java) S 23348 23350 21557 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23363] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23363/stat : 23363 (java) S 23348 23350 21557 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23365] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23365/stat : 23365 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826063793 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23366] ppid=23348 vsize=7643400 CPUtime=0.19 cores=4,6
/proc/23350/task/23366/stat : 23366 (java) S 23348 23350 21557 0 -1 4202560 794 0 0 0 19 0 0 0 15 0 19 0 490017218 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23367] ppid=23348 vsize=7643400 CPUtime=0.91 cores=4,6
/proc/23350/task/23367/stat : 23367 (java) S 23348 23350 21557 0 -1 4202560 10668 0 0 0 91 0 0 0 15 0 19 0 490017218 7826841600 30981 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0

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

[pid=23350/tid=23358] ppid=23348 vsize=7643400 CPUtime=0.1 cores=4,6
/proc/23350/task/23358/stat : 23358 (java) S 23348 23350 21557 0 -1 4202560 16 0 0 0 10 0 0 0 15 0 19 0 490017214 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23359] ppid=23348 vsize=7643400 CPUtime=0.08 cores=4,6
/proc/23350/task/23359/stat : 23359 (java) S 23348 23350 21557 0 -1 4202560 123 0 0 0 8 0 0 0 15 0 19 0 490017214 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23360] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23360/stat : 23360 (java) S 23348 23350 21557 0 -1 4202560 189 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23361] ppid=23348 vsize=7643400 CPUtime=3.81 cores=4,6
/proc/23350/task/23361/stat : 23361 (java) S 23348 23350 21557 0 -1 4202560 8842 0 0 0 380 1 0 0 15 0 19 0 490017215 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 0 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23362] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23362/stat : 23362 (java) S 23348 23350 21557 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23363] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23363/stat : 23363 (java) S 23348 23350 21557 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23365] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23365/stat : 23365 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826063793 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23366] ppid=23348 vsize=7643400 CPUtime=0.2 cores=4,6
/proc/23350/task/23366/stat : 23366 (java) S 23348 23350 21557 0 -1 4202560 794 0 0 0 20 0 0 0 15 0 19 0 490017218 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23367] ppid=23348 vsize=7643400 CPUtime=0.92 cores=4,6
/proc/23350/task/23367/stat : 23367 (java) S 23348 23350 21557 0 -1 4202560 10669 0 0 0 92 0 0 0 15 0 19 0 490017218 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23368] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23368/stat : 23368 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23369] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23369/stat : 23369 (java) S 23348 23350 21557 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 490017218 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23372] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23372/stat : 23372 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017252 7826841600 34937 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.77
Current children cumulated vsize (KiB) 7643400

[startup+1182.3 s]
/proc/loadavg: 4.00 3.96 3.49 5/262 23403
/proc/meminfo: memFree=13074516/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7643400 CPUtime=1183.78 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 42255 0 1 0 118373 5 0 0 22 0 19 0 490017212 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1910850 35089 2253 9 0 1901588 0
[pid=23350/tid=23351] ppid=23348 vsize=7643400 CPUtime=1177.91 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 14750 0 1 0 117790 1 0 0 25 0 19 0 490017213 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505640244 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23350/tid=23353] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23353/stat : 23353 (java) S 23348 23350 21557 0 -1 4202560 2941 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23354] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23354/stat : 23354 (java) S 23348 23350 21557 0 -1 4202560 2047 0 0 0 11 0 0 0 16 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23355] ppid=23348 vsize=7643400 CPUtime=0.06 cores=4,6
/proc/23350/task/23355/stat : 23355 (java) S 23348 23350 21557 0 -1 4202560 434 0 0 0 6 0 0 0 15 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23356] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23356/stat : 23356 (java) S 23348 23350 21557 0 -1 4202560 146 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23357] ppid=23348 vsize=7643400 CPUtime=0.07 cores=4,6
/proc/23350/task/23357/stat : 23357 (java) S 23348 23350 21557 0 -1 4202560 83 0 0 0 7 0 0 0 15 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23358] ppid=23348 vsize=7643400 CPUtime=0.1 cores=4,6
/proc/23350/task/23358/stat : 23358 (java) S 23348 23350 21557 0 -1 4202560 16 0 0 0 10 0 0 0 15 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23359] ppid=23348 vsize=7643400 CPUtime=0.08 cores=4,6
/proc/23350/task/23359/stat : 23359 (java) S 23348 23350 21557 0 -1 4202560 123 0 0 0 8 0 0 0 15 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23360] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23360/stat : 23360 (java) S 23348 23350 21557 0 -1 4202560 189 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23361] ppid=23348 vsize=7643400 CPUtime=3.92 cores=4,6
/proc/23350/task/23361/stat : 23361 (java) S 23348 23350 21557 0 -1 4202560 8844 0 0 0 391 1 0 0 15 0 19 0 490017215 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 0 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23362] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23362/stat : 23362 (java) S 23348 23350 21557 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23363] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23363/stat : 23363 (java) S 23348 23350 21557 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23365] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23365/stat : 23365 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826063793 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23366] ppid=23348 vsize=7643400 CPUtime=0.2 cores=4,6
/proc/23350/task/23366/stat : 23366 (java) S 23348 23350 21557 0 -1 4202560 794 0 0 0 20 0 0 0 15 0 19 0 490017218 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23367] ppid=23348 vsize=7643400 CPUtime=0.92 cores=4,6
/proc/23350/task/23367/stat : 23367 (java) S 23348 23350 21557 0 -1 4202560 10669 0 0 0 92 0 0 0 15 0 19 0 490017218 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23368] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23368/stat : 23368 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23369] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23369/stat : 23369 (java) S 23348 23350 21557 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 490017218 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23372] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23372/stat : 23372 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017252 7826841600 35089 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.78
Current children cumulated vsize (KiB) 7643400

[startup+1242.3 s]
/proc/loadavg: 4.00 3.96 3.51 5/262 23405
/proc/meminfo: memFree=13072508/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7643400 CPUtime=1243.78 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 42294 0 1 0 124373 5 0 0 22 0 19 0 490017212 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1910850 35121 2253 9 0 1901588 0
[pid=23350/tid=23351] ppid=23348 vsize=7643400 CPUtime=1237.82 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 14751 0 1 0 123781 1 0 0 25 0 19 0 490017213 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505640375 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23350/tid=23353] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23353/stat : 23353 (java) S 23348 23350 21557 0 -1 4202560 2941 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23354] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23354/stat : 23354 (java) S 23348 23350 21557 0 -1 4202560 2047 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23355] ppid=23348 vsize=7643400 CPUtime=0.06 cores=4,6
/proc/23350/task/23355/stat : 23355 (java) S 23348 23350 21557 0 -1 4202560 434 0 0 0 6 0 0 0 15 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23356] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23356/stat : 23356 (java) S 23348 23350 21557 0 -1 4202560 146 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23357] ppid=23348 vsize=7643400 CPUtime=0.08 cores=4,6
/proc/23350/task/23357/stat : 23357 (java) S 23348 23350 21557 0 -1 4202560 83 0 0 0 8 0 0 0 16 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23358] ppid=23348 vsize=7643400 CPUtime=0.1 cores=4,6
/proc/23350/task/23358/stat : 23358 (java) S 23348 23350 21557 0 -1 4202560 16 0 0 0 10 0 0 0 15 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23359] ppid=23348 vsize=7643400 CPUtime=0.08 cores=4,6
/proc/23350/task/23359/stat : 23359 (java) S 23348 23350 21557 0 -1 4202560 123 0 0 0 8 0 0 0 15 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23360] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23360/stat : 23360 (java) S 23348 23350 21557 0 -1 4202560 189 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23361] ppid=23348 vsize=7643400 CPUtime=3.99 cores=4,6
/proc/23350/task/23361/stat : 23361 (java) S 23348 23350 21557 0 -1 4202560 8878 0 0 0 398 1 0 0 15 0 19 0 490017215 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 0 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23362] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23362/stat : 23362 (java) S 23348 23350 21557 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23363] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23363/stat : 23363 (java) S 23348 23350 21557 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23365] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23365/stat : 23365 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826063793 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23366] ppid=23348 vsize=7643400 CPUtime=0.2 cores=4,6
/proc/23350/task/23366/stat : 23366 (java) S 23348 23350 21557 0 -1 4202560 794 0 0 0 20 0 0 0 15 0 19 0 490017218 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23367] ppid=23348 vsize=7643400 CPUtime=0.92 cores=4,6
/proc/23350/task/23367/stat : 23367 (java) S 23348 23350 21557 0 -1 4202560 10669 0 0 0 92 0 0 0 15 0 19 0 490017218 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23368] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23368/stat : 23368 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23369] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23369/stat : 23369 (java) S 23348 23350 21557 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 490017218 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23372] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23372/stat : 23372 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017252 7826841600 35121 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.78
Current children cumulated vsize (KiB) 7643400



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.54 2/203 23415
/proc/meminfo: memFree=13478572/32950928 swapFree=67111528/67111528
[pid=23350] ppid=23348 vsize=7643400 CPUtime=1301.5 cores=4,6
/proc/23350/stat : 23350 (java) S 23348 23350 21557 0 -1 4202496 42376 0 1 0 130145 5 0 0 22 0 19 0 490017212 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23350/statm: 1910850 35196 2253 9 0 1901588 0
[pid=23350/tid=23351] ppid=23348 vsize=7643400 CPUtime=1295.44 cores=4,6
/proc/23350/task/23351/stat : 23351 (java) R 23348 23350 21557 0 -1 4202560 14752 0 1 0 129543 1 0 0 25 0 19 0 490017213 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 46912505616643 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23350/tid=23353] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23353/stat : 23353 (java) S 23348 23350 21557 0 -1 4202560 2941 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23354] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23354/stat : 23354 (java) S 23348 23350 21557 0 -1 4202560 2047 0 0 0 11 0 0 0 15 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23355] ppid=23348 vsize=7643400 CPUtime=0.07 cores=4,6
/proc/23350/task/23355/stat : 23355 (java) S 23348 23350 21557 0 -1 4202560 434 0 0 0 7 0 0 0 16 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23356] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23356/stat : 23356 (java) S 23348 23350 21557 0 -1 4202560 146 0 0 0 11 0 0 0 16 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23357] ppid=23348 vsize=7643400 CPUtime=0.08 cores=4,6
/proc/23350/task/23357/stat : 23357 (java) S 23348 23350 21557 0 -1 4202560 83 0 0 0 8 0 0 0 15 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23358] ppid=23348 vsize=7643400 CPUtime=0.1 cores=4,6
/proc/23350/task/23358/stat : 23358 (java) S 23348 23350 21557 0 -1 4202560 16 0 0 0 10 0 0 0 15 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23359] ppid=23348 vsize=7643400 CPUtime=0.08 cores=4,6
/proc/23350/task/23359/stat : 23359 (java) S 23348 23350 21557 0 -1 4202560 123 0 0 0 8 0 0 0 15 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23360] ppid=23348 vsize=7643400 CPUtime=0.11 cores=4,6
/proc/23350/task/23360/stat : 23360 (java) S 23348 23350 21557 0 -1 4202560 189 0 0 0 11 0 0 0 16 0 19 0 490017214 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23361] ppid=23348 vsize=7643400 CPUtime=4.07 cores=4,6
/proc/23350/task/23361/stat : 23361 (java) S 23348 23350 21557 0 -1 4202560 8955 0 0 0 406 1 0 0 15 0 19 0 490017215 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 0 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23362] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23362/stat : 23362 (java) S 23348 23350 21557 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23363] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23363/stat : 23363 (java) S 23348 23350 21557 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490017216 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23365] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23365/stat : 23365 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826063793 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23366] ppid=23348 vsize=7643400 CPUtime=0.2 cores=4,6
/proc/23350/task/23366/stat : 23366 (java) S 23348 23350 21557 0 -1 4202560 794 0 0 0 20 0 0 0 15 0 19 0 490017218 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23367] ppid=23348 vsize=7643400 CPUtime=0.92 cores=4,6
/proc/23350/task/23367/stat : 23367 (java) S 23348 23350 21557 0 -1 4202560 10669 0 0 0 92 0 0 0 15 0 19 0 490017218 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23368] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23368/stat : 23368 (java) S 23348 23350 21557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490017218 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056089 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
[pid=23350/tid=23369] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23369/stat : 23369 (java) S 23348 23350 21557 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 490017218 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 6 0 0 0
[pid=23350/tid=23372] ppid=23348 vsize=7643400 CPUtime=0 cores=4,6
/proc/23350/task/23372/stat : 23372 (java) S 23348 23350 21557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490017252 7826841600 35196 33554432000 1073741824 1073778376 140736741278896 18446744073709551615 251826056704 0 4 0 16800975 18446604453880858560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1301.5
Current children cumulated vsize (KiB) 7643400

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

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

Child status: 143
Real time (s): 1300.09
CPU time (s): 1301.64
CPU user time (s): 1301.58
CPU system time (s): 0.06099
CPU usage (%): 100.119
Max. virtual memory (cumulated for all children) (KiB): 7643400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.58
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42415
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= 28083
involuntary context switches= 4348

runsolver used 2.02369 second user time and 5.08723 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-26 04:16:25
IDJOB=3289121
IDBENCH=83115
IDSOLVER=1611
FILE ID=node126/3289121-1303784185
RUNJOBID= node126-1303784185-23258
PBS_JOBID= 13157198
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.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-3289121-1303784185/watcher-3289121-1303784185 -o /tmp/evaluation-result-3289121-1303784185/solver-3289121-1303784185 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3289121-1303784185.cnf

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

MD5SUM BENCH= 9fab5edd49fb904ff76ff7abf98e0d14
RANDOM SEED=1367244861

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13487572 kB
Buffers:       2001912 kB
Cached:       16687448 kB
SwapCached:          0 kB
Active:        8017656 kB
Inactive:     10870116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13487572 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11800 kB
Writeback:           0 kB
AnonPages:      198124 kB
Mapped:          23004 kB
Slab:           509752 kB
PageTables:       5452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 21991908 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= 71732 MiB
End job on node126 at 2011-04-26 04:38:07