Trace number 3289995

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) 1302.04 1300.05

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
MD5SUMf35f3aee72237c1bf3d673feb4883756
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 variables8080
Number of clauses96704
Sum of the clauses size539496
Maximum clause length8
Minimum clause length1
Number of clauses of size 1336
Number of clauses of size 21152
Number of clauses of size 315040
Number of clauses of size 42944
Number of clauses of size 518432
Number of clauses of size over 558800

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.07/0.09	c --- Begin Solver configuration ---
0.07/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.07/0.09	c Learn all clauses as in MiniSAT
0.07/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.09	c Expensive reason simplification
0.07/0.09	c Armin Biere (Picosat) restarts strategy
0.07/0.09	c Glucose learned constraints deletion strategy
0.07/0.09	c timeout=2147483647s
0.07/0.09	c DB Simplification allowed=true
0.07/0.09	c --- End Solver configuration ---
0.07/0.09	c solving HOME/instance-3289995-1303787801.cnf
0.07/0.09	c reading problem ... 
0.30/0.28	c ... done. Wall clock time 0.198s.
0.30/0.28	c #vars     8080
0.30/0.28	c #constraints  96384
0.30/0.28	c constraints type 
0.30/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 94896
0.30/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1152
1.77/1.07	c cleaning 2479 clauses out of 5000 with flag 5000/5000
2.66/1.55	c cleaning 4227 clauses out of 8521 with flag 11000/11000
3.21/2.03	c cleaning 5623 clauses out of 11294 with flag 18000/18000
3.72/2.58	c cleaning 6811 clauses out of 13673 with flag 26002/26002
4.34/3.20	c cleaning 7879 clauses out of 15861 with flag 35001/35001
5.05/3.88	c cleaning 8942 clauses out of 17981 with flag 45000/45000
5.75/4.58	c cleaning 9945 clauses out of 20039 with flag 56000/56000
6.65/5.41	c cleaning 11016 clauses out of 22095 with flag 68001/68001
7.45/6.23	c cleaning 12009 clauses out of 24079 with flag 81001/81001
8.35/7.13	c cleaning 13003 clauses out of 26069 with flag 95000/95000
9.35/8.18	c cleaning 13984 clauses out of 28067 with flag 110001/110001
10.56/9.30	c cleaning 15001 clauses out of 30082 with flag 126000/126000
11.66/10.46	c cleaning 16014 clauses out of 32081 with flag 143000/143000
12.86/11.68	c cleaning 16949 clauses out of 34067 with flag 161000/161000
14.26/13.02	c cleaning 17989 clauses out of 36118 with flag 180000/180000
15.57/14.36	c cleaning 19006 clauses out of 38130 with flag 200001/200001
17.17/15.94	c cleaning 19981 clauses out of 40123 with flag 221000/221000
18.77/17.58	c cleaning 20993 clauses out of 42142 with flag 243000/243000
20.67/19.42	c cleaning 22026 clauses out of 44151 with flag 266002/266002
22.57/21.33	c cleaning 22996 clauses out of 46123 with flag 290000/290000
24.57/23.38	c cleaning 23996 clauses out of 48127 with flag 315000/315000
26.88/25.64	c cleaning 24984 clauses out of 50131 with flag 341000/341000
28.98/27.79	c cleaning 25987 clauses out of 52149 with flag 368002/368002
31.29/30.03	c cleaning 27011 clauses out of 54161 with flag 396001/396001
33.59/32.32	c cleaning 27977 clauses out of 56149 with flag 425000/425000
35.99/34.80	c cleaning 29004 clauses out of 58172 with flag 455000/455000
38.79/37.51	c cleaning 29996 clauses out of 60168 with flag 486000/486000
41.90/40.64	c cleaning 31025 clauses out of 62173 with flag 518001/518001
45.40/44.10	c cleaning 32008 clauses out of 64147 with flag 551000/551000
48.51/47.24	c cleaning 32969 clauses out of 66139 with flag 585000/585000
51.61/50.31	c cleaning 33970 clauses out of 68172 with flag 620002/620002
54.51/53.23	c cleaning 35002 clauses out of 70200 with flag 656000/656000
58.31/57.06	c cleaning 36036 clauses out of 72198 with flag 693000/693000
62.52/61.24	c cleaning 36991 clauses out of 74162 with flag 731000/731000
66.42/65.14	c cleaning 37986 clauses out of 76171 with flag 770000/770000
69.63/68.37	c cleaning 38956 clauses out of 78185 with flag 810000/810000
72.84/71.53	c cleaning 40004 clauses out of 80229 with flag 851000/851000
76.44/75.12	c cleaning 40995 clauses out of 82225 with flag 893000/893000
80.75/79.43	c cleaning 42029 clauses out of 84230 with flag 936000/936000
86.55/85.22	c cleaning 43037 clauses out of 86202 with flag 980001/980001
89.96/88.63	c cleaning 43982 clauses out of 88164 with flag 1025000/1025000
93.46/92.10	c cleaning 45028 clauses out of 90183 with flag 1071001/1071001
97.37/96.06	c cleaning 46007 clauses out of 92154 with flag 1118000/1118000
101.28/99.94	c cleaning 47040 clauses out of 94147 with flag 1166000/1166000
106.08/104.75	c cleaning 47987 clauses out of 96107 with flag 1215000/1215000
109.99/108.60	c cleaning 49000 clauses out of 98120 with flag 1265000/1265000
113.79/112.47	c cleaning 49901 clauses out of 100121 with flag 1316001/1316001
118.30/116.99	c cleaning 51020 clauses out of 102219 with flag 1368000/1368000
123.11/121.71	c cleaning 51975 clauses out of 104200 with flag 1421001/1421001
127.92/126.52	c cleaning 52968 clauses out of 106225 with flag 1475001/1475001
133.82/132.41	c cleaning 54025 clauses out of 108256 with flag 1530000/1530000
140.32/138.91	c cleaning 55005 clauses out of 110231 with flag 1586000/1586000
147.63/146.20	c cleaning 56052 clauses out of 112227 with flag 1643001/1643001
152.93/151.54	c cleaning 56980 clauses out of 114174 with flag 1701000/1701000
159.04/157.69	c cleaning 58054 clauses out of 116195 with flag 1760001/1760001
164.25/162.80	c cleaning 58945 clauses out of 118142 with flag 1820002/1820002
171.05/169.68	c cleaning 59999 clauses out of 120197 with flag 1881002/1881002
178.16/176.75	c cleaning 60992 clauses out of 122196 with flag 1943000/1943000
188.66/187.28	c cleaning 62006 clauses out of 124204 with flag 2006000/2006000
197.07/195.69	c cleaning 63009 clauses out of 126198 with flag 2070000/2070000
203.98/202.50	c cleaning 64017 clauses out of 128189 with flag 2135000/2135000
213.09/211.68	c cleaning 65022 clauses out of 130173 with flag 2201001/2201001
220.30/218.84	c cleaning 65929 clauses out of 132150 with flag 2268000/2268000
227.31/225.84	c cleaning 66945 clauses out of 134221 with flag 2336000/2336000
239.81/238.35	c cleaning 68009 clauses out of 136276 with flag 2405000/2405000
251.23/249.75	c cleaning 69040 clauses out of 138269 with flag 2475002/2475002
261.73/260.21	c cleaning 70047 clauses out of 140228 with flag 2546001/2546001
271.54/270.07	c cleaning 70983 clauses out of 142182 with flag 2618002/2618002
287.84/286.33	c cleaning 71997 clauses out of 144197 with flag 2691000/2691000
300.95/299.44	c cleaning 73018 clauses out of 146200 with flag 2765000/2765000
314.96/313.42	c cleaning 74000 clauses out of 148182 with flag 2840000/2840000
327.79/326.24	c cleaning 75026 clauses out of 150182 with flag 2916000/2916000
343.00/341.41	c cleaning 76068 clauses out of 152156 with flag 2993000/2993000
361.91/360.35	c cleaning 76956 clauses out of 154088 with flag 3071000/3071000
378.11/376.55	c cleaning 77968 clauses out of 156132 with flag 3150000/3150000
396.63/395.05	c cleaning 79008 clauses out of 158165 with flag 3230001/3230001
414.64/413.00	c cleaning 80003 clauses out of 160158 with flag 3311002/3311002
430.05/428.41	c cleaning 80965 clauses out of 162154 with flag 3393001/3393001
455.36/453.79	c cleaning 82028 clauses out of 164189 with flag 3476001/3476001
480.77/479.13	c cleaning 83005 clauses out of 166160 with flag 3560000/3560000
499.69/498.02	c cleaning 83998 clauses out of 168156 with flag 3645001/3645001
522.79/521.10	c cleaning 85022 clauses out of 170158 with flag 3731001/3731001
563.30/561.60	c cleaning 85909 clauses out of 172136 with flag 3818001/3818001
588.41/586.76	c cleaning 87053 clauses out of 174227 with flag 3906001/3906001
609.02/607.36	c cleaning 87926 clauses out of 176174 with flag 3995001/3995001
622.73/621.09	c cleaning 88918 clauses out of 178247 with flag 4085000/4085000
653.85/652.11	c cleaning 90107 clauses out of 180331 with flag 4176002/4176002
723.37/721.66	c cleaning 91044 clauses out of 182223 with flag 4268001/4268001
762.68/760.99	c cleaning 92014 clauses out of 184178 with flag 4361000/4361000
809.69/807.90	c cleaning 93011 clauses out of 186166 with flag 4455002/4455002
839.30/837.56	c cleaning 93985 clauses out of 188154 with flag 4550001/4550001
863.51/861.74	c cleaning 95052 clauses out of 190168 with flag 4646000/4646000
899.82/898.08	c cleaning 95980 clauses out of 192118 with flag 4743002/4743002
942.63/940.87	c cleaning 96518 clauses out of 193137 with flag 4840001/4840001
977.05/975.20	c cleaning 96773 clauses out of 193619 with flag 4937001/4937001
1016.46/1014.62	c cleaning 96845 clauses out of 193845 with flag 5034000/5034000
1049.77/1047.98	c cleaning 96913 clauses out of 194001 with flag 5131001/5131001
1079.18/1077.32	c cleaning 96973 clauses out of 194089 with flag 5228002/5228002
1148.60/1146.73	c cleaning 96969 clauses out of 194114 with flag 5325000/5325000
1180.42/1178.50	c cleaning 96987 clauses out of 194146 with flag 5422001/5422001
1212.53/1210.61	c cleaning 96976 clauses out of 194159 with flag 5519001/5519001
1246.04/1244.17	c cleaning 96892 clauses out of 194182 with flag 5616000/5616000
1297.95/1296.02	c cleaning 97057 clauses out of 194290 with flag 5713000/5713000
1301.97/1300.01	c starts		: 2208
1301.97/1300.01	c conflicts		: 5722436
1301.97/1300.01	c decisions		: 11110907
1301.97/1300.01	c propagations		: 483778170
1301.97/1300.01	c inspects		: 17748027958
1301.97/1300.01	c shortcuts		: 0
1301.97/1300.01	c learnt literals	: 0
1301.97/1300.01	c learnt binary clauses	: 423
1301.97/1300.01	c learnt ternary clauses	: 4250
1301.97/1300.01	c learnt constraints	: 5722436
1301.97/1300.01	c ignored constraints	: 0
1301.97/1300.01	c root simplifications	: 2208
1301.97/1300.01	c removed literals (reason simplification)	: 9696101
1301.97/1300.01	c reason swapping (by a shorter reason)	: 0
1301.97/1300.01	c Calls to reduceDB	: 103
1301.97/1300.01	c speed (assignments/second)	: 372215.83873511705
1301.97/1300.01	c non guided choices	544850
1301.97/1300.03	c learnt constraints type 
1301.97/1300.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 423
1301.97/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106250
1301.97/1300.03	c constraints type 
1301.97/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 94896
1301.97/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1152
1301.97/1300.03	s UNKNOWN
1301.97/1300.03	c Total wall clock time (in seconds) : 1299.923

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

running on 2 cores: 5,7

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: 1.39 3.10 3.60 9/224 25968
/proc/meminfo: memFree=15101900/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=30528 CPUtime=0 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 1240 0 0 0 0 0 0 0 20 0 2 0 490379862 31260672 959 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 7632 964 737 9 0 383 0
[pid=25968/tid=25969] ppid=25966 vsize=30528 CPUtime=0 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 2 0 490379862 31260672 966 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248089698048 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0841359 s]
/proc/loadavg: 1.39 3.10 3.60 9/224 25968
/proc/meminfo: memFree=15101900/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7569940 CPUtime=0.07 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 9608 0 1 0 6 1 0 0 20 0 18 0 490379862 7751618560 9304 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1892485 9304 1754 9 0 1883223 0
[pid=25968/tid=25969] ppid=25966 vsize=7569940 CPUtime=0.07 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 8433 0 1 0 6 1 0 0 25 0 18 0 490379862 7751618560 9304 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101524939 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7569940

[startup+0.101134 s]
/proc/loadavg: 1.39 3.10 3.60 9/224 25968
/proc/meminfo: memFree=15101900/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7636540 CPUtime=0.11 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 10574 0 1 0 10 1 0 0 20 0 18 0 490379862 7819816960 10270 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1909135 10270 2115 9 0 1899873 0
[pid=25968/tid=25969] ppid=25966 vsize=7636540 CPUtime=0.09 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 8737 0 1 0 8 1 0 0 25 0 18 0 490379862 7819816960 10270 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505228295 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636540

[startup+0.3011 s]
/proc/loadavg: 1.39 3.10 3.60 9/224 25968
/proc/meminfo: memFree=15101900/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7636540 CPUtime=0.43 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 14144 0 1 0 42 1 0 0 20 0 18 0 490379862 7819816960 13619 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1909135 13619 2203 9 0 1899873 0
[pid=25968/tid=25969] ppid=25966 vsize=7636540 CPUtime=0.28 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 11617 0 1 0 27 1 0 0 25 0 18 0 490379862 7819816960 13619 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505217103 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 7636540

[startup+0.701029 s]
/proc/loadavg: 1.39 3.10 3.60 9/224 25968
/proc/meminfo: memFree=15101900/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7642064 CPUtime=1.22 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 17972 0 1 0 121 1 0 0 20 0 19 0 490379862 7825473536 16017 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1910516 16017 2221 9 0 1901254 0
[pid=25968/tid=25969] ppid=25966 vsize=7642064 CPUtime=0.68 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 11829 0 1 0 67 1 0 0 25 0 19 0 490379862 7825473536 16017 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505217685 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 7642064

[startup+1.50089 s]
/proc/loadavg: 1.39 3.10 3.60 9/262 26006
/proc/meminfo: memFree=14939040/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7642064 CPUtime=2.66 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 29109 0 1 0 263 3 0 0 20 0 19 0 490379862 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1910516 25698 2253 9 0 1901254 0
[pid=25968/tid=25969] ppid=25966 vsize=7642064 CPUtime=1.42 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 12089 0 1 0 141 1 0 0 25 0 19 0 490379862 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505671572 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=7642064 CPUtime=0.01 cores=5,7
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 22376 0 -1 4202560 2032 0 0 0 1 0 0 0 17 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 22376 0 -1 4202560 729 0 0 0 0 0 0 0 17 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490379864 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25990] ppid=25966 vsize=7642064 CPUtime=0.04 cores=5,7
/proc/25968/task/25990/stat : 25990 (java) S 25966 25968 22376 0 -1 4202560 2761 0 0 0 4 0 0 0 16 0 19 0 490379865 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 0 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25991] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25991/stat : 25991 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25992] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25992/stat : 25992 (java) S 25966 25968 22376 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25998] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25998/stat : 25998 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101521841 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25999] ppid=25966 vsize=7642064 CPUtime=0.35 cores=5,7
/proc/25968/task/25999/stat : 25999 (java) S 25966 25968 22376 0 -1 4202560 2388 0 0 0 35 0 0 0 21 0 19 0 490379867 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26000] ppid=25966 vsize=7642064 CPUtime=0.79 cores=5,7
/proc/25968/task/26000/stat : 26000 (java) R 25966 25968 22376 0 -1 4202560 7953 0 0 0 78 1 0 0 25 0 19 0 490379867 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46956352683254 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25968/tid=26001] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26001/stat : 26001 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=26002] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26002/stat : 26002 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379867 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26006] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26006/stat : 26006 (java) S 25966 25968 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379892 7825473536 25698 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 7642064

[startup+3.10061 s]
/proc/loadavg: 1.39 3.10 3.60 6/262 26006
/proc/meminfo: memFree=14877160/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7642064 CPUtime=4.34 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 29705 0 1 0 431 3 0 0 20 0 19 0 490379862 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1910516 26048 2253 9 0 1901254 0
[pid=25968/tid=25969] ppid=25966 vsize=7642064 CPUtime=2.9 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 12093 0 1 0 289 1 0 0 25 0 19 0 490379862 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505768661 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=7642064 CPUtime=0.02 cores=5,7
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 22376 0 -1 4202560 2033 0 0 0 2 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=7642064 CPUtime=0.01 cores=5,7
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 22376 0 -1 4202560 860 0 0 0 1 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 22376 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 22376 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 22376 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 22376 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25990] ppid=25966 vsize=7642064 CPUtime=0.14 cores=5,7
/proc/25968/task/25990/stat : 25990 (java) S 25966 25968 22376 0 -1 4202560 3023 0 0 0 14 0 0 0 16 0 19 0 490379865 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 0 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25991] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25991/stat : 25991 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25992] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25992/stat : 25992 (java) S 25966 25968 22376 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25998] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25998/stat : 25998 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101521841 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25999] ppid=25966 vsize=7642064 CPUtime=0.35 cores=5,7
/proc/25968/task/25999/stat : 25999 (java) S 25966 25968 22376 0 -1 4202560 2388 0 0 0 35 0 0 0 16 0 19 0 490379867 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26000] ppid=25966 vsize=7642064 CPUtime=0.87 cores=5,7
/proc/25968/task/26000/stat : 26000 (java) S 25966 25968 22376 0 -1 4202560 7990 0 0 0 86 1 0 0 15 0 19 0 490379867 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26001] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26001/stat : 26001 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=26002] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26002/stat : 26002 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379867 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26006] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26006/stat : 26006 (java) S 25966 25968 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379892 7825473536 26048 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 7642064

[startup+6.3011 s]
/proc/loadavg: 1.60 3.12 3.60 5/262 26006
/proc/meminfo: memFree=14883956/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7642064 CPUtime=7.55 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 30210 0 1 0 752 3 0 0 20 0 19 0 490379862 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1910516 24923 2253 9 0 1901254 0
[pid=25968/tid=25969] ppid=25966 vsize=7642064 CPUtime=5.9 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 12099 0 1 0 589 1 0 0 25 0 19 0 490379862 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505671200 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=7642064 CPUtime=0.02 cores=5,7
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 22376 0 -1 4202560 2033 0 0 0 2 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=7642064 CPUtime=0.01 cores=5,7
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 22376 0 -1 4202560 860 0 0 0 1 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 22376 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 22376 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 22376 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 22376 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 22376 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 490379864 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25990] ppid=25966 vsize=7642064 CPUtime=0.33 cores=5,7
/proc/25968/task/25990/stat : 25990 (java) S 25966 25968 22376 0 -1 4202560 3519 0 0 0 33 0 0 0 16 0 19 0 490379865 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 0 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25991] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25991/stat : 25991 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25992] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25992/stat : 25992 (java) S 25966 25968 22376 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25998] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25998/stat : 25998 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101521841 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25999] ppid=25966 vsize=7642064 CPUtime=0.35 cores=5,7
/proc/25968/task/25999/stat : 25999 (java) S 25966 25968 22376 0 -1 4202560 2388 0 0 0 35 0 0 0 16 0 19 0 490379867 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26000] ppid=25966 vsize=7642064 CPUtime=0.88 cores=5,7
/proc/25968/task/26000/stat : 26000 (java) S 25966 25968 22376 0 -1 4202560 7990 0 0 0 87 1 0 0 15 0 19 0 490379867 7825473536 24923 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0

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

[pid=25968/tid=25985] ppid=25966 vsize=7642064 CPUtime=0.16 cores=5,7
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 22376 0 -1 4202560 611 0 0 0 16 0 0 0 15 0 19 0 490379864 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=7642064 CPUtime=0.19 cores=5,7
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 22376 0 -1 4202560 1140 0 0 0 19 0 0 0 15 0 19 0 490379864 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=7642064 CPUtime=0.16 cores=5,7
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 22376 0 -1 4202560 222 0 0 0 16 0 0 0 15 0 19 0 490379864 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25990] ppid=25966 vsize=7642064 CPUtime=5.83 cores=5,7
/proc/25968/task/25990/stat : 25990 (java) S 25966 25968 22376 0 -1 4202560 12540 0 0 0 582 1 0 0 15 0 19 0 490379865 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 0 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25991] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25991/stat : 25991 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25992] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25992/stat : 25992 (java) S 25966 25968 22376 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25998] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25998/stat : 25998 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101521841 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25999] ppid=25966 vsize=7642064 CPUtime=0.35 cores=5,7
/proc/25968/task/25999/stat : 25999 (java) S 25966 25968 22376 0 -1 4202560 2388 0 0 0 35 0 0 0 16 0 19 0 490379867 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26000] ppid=25966 vsize=7642064 CPUtime=0.89 cores=5,7
/proc/25968/task/26000/stat : 26000 (java) S 25966 25968 22376 0 -1 4202560 7992 0 0 0 88 1 0 0 15 0 19 0 490379867 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26001] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26001/stat : 26001 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=26002] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26002/stat : 26002 (java) S 25966 25968 22376 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 490379867 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26006] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26006/stat : 26006 (java) S 25966 25968 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379892 7825473536 39368 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1124.2
Current children cumulated vsize (KiB) 7642064

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/262 26037
/proc/meminfo: memFree=14783368/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7642064 CPUtime=1184.23 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 45855 0 1 0 118416 7 0 0 20 0 19 0 490379862 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1910516 40343 2254 9 0 1901254 0
[pid=25968/tid=25969] ppid=25966 vsize=7642064 CPUtime=1175.51 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 14595 0 1 0 117549 2 0 0 25 0 19 0 490379862 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505706640 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 22376 0 -1 4202560 2485 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=7642064 CPUtime=0.19 cores=5,7
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 22376 0 -1 4202560 911 0 0 0 19 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 22376 0 -1 4202560 982 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 22376 0 -1 4202560 305 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=7642064 CPUtime=0.15 cores=5,7
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 15 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 22376 0 -1 4202560 818 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=7642064 CPUtime=0.19 cores=5,7
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 22376 0 -1 4202560 1140 0 0 0 19 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=7642064 CPUtime=0.16 cores=5,7
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 22376 0 -1 4202560 222 0 0 0 16 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25990] ppid=25966 vsize=7642064 CPUtime=6.02 cores=5,7
/proc/25968/task/25990/stat : 25990 (java) S 25966 25968 22376 0 -1 4202560 12782 0 0 0 601 1 0 0 15 0 19 0 490379865 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 0 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25991] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25991/stat : 25991 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25992] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25992/stat : 25992 (java) S 25966 25968 22376 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25998] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25998/stat : 25998 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101521841 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25999] ppid=25966 vsize=7642064 CPUtime=0.35 cores=5,7
/proc/25968/task/25999/stat : 25999 (java) S 25966 25968 22376 0 -1 4202560 2388 0 0 0 35 0 0 0 16 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26000] ppid=25966 vsize=7642064 CPUtime=0.89 cores=5,7
/proc/25968/task/26000/stat : 26000 (java) S 25966 25968 22376 0 -1 4202560 7992 0 0 0 88 1 0 0 15 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26001] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26001/stat : 26001 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=26002] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26002/stat : 26002 (java) S 25966 25968 22376 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26006] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26006/stat : 26006 (java) S 25966 25968 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379892 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1184.23
Current children cumulated vsize (KiB) 7642064

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/262 26039
/proc/meminfo: memFree=14782172/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7642064 CPUtime=1244.24 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 45862 0 1 0 124417 7 0 0 20 0 19 0 490379862 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1910516 40343 2254 9 0 1901254 0
[pid=25968/tid=25969] ppid=25966 vsize=7642064 CPUtime=1235.43 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 14596 0 1 0 123541 2 0 0 25 0 19 0 490379862 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505671577 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=7642064 CPUtime=0.18 cores=5,7
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 22376 0 -1 4202560 2485 0 0 0 18 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=7642064 CPUtime=0.19 cores=5,7
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 22376 0 -1 4202560 911 0 0 0 19 0 0 0 16 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 22376 0 -1 4202560 982 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 22376 0 -1 4202560 305 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=7642064 CPUtime=0.15 cores=5,7
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 15 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 22376 0 -1 4202560 818 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=7642064 CPUtime=0.2 cores=5,7
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 22376 0 -1 4202560 1140 0 0 0 20 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=7642064 CPUtime=0.16 cores=5,7
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 22376 0 -1 4202560 222 0 0 0 16 0 0 0 15 0 19 0 490379864 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25990] ppid=25966 vsize=7642064 CPUtime=6.09 cores=5,7
/proc/25968/task/25990/stat : 25990 (java) S 25966 25968 22376 0 -1 4202560 12784 0 0 0 608 1 0 0 15 0 19 0 490379865 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 0 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25991] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25991/stat : 25991 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25992] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25992/stat : 25992 (java) S 25966 25968 22376 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25998] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25998/stat : 25998 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101521841 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25999] ppid=25966 vsize=7642064 CPUtime=0.35 cores=5,7
/proc/25968/task/25999/stat : 25999 (java) S 25966 25968 22376 0 -1 4202560 2388 0 0 0 35 0 0 0 16 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26000] ppid=25966 vsize=7642064 CPUtime=0.89 cores=5,7
/proc/25968/task/26000/stat : 26000 (java) S 25966 25968 22376 0 -1 4202560 7992 0 0 0 88 1 0 0 15 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26001] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26001/stat : 26001 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=26002] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26002/stat : 26002 (java) S 25966 25968 22376 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 490379867 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26006] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26006/stat : 26006 (java) S 25966 25968 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379892 7825473536 40343 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1244.24
Current children cumulated vsize (KiB) 7642064



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.89 5/227 26049
/proc/meminfo: memFree=14940748/32950928 swapFree=67111528/67111528
[pid=25968] ppid=25966 vsize=7642064 CPUtime=1301.97 cores=5,7
/proc/25968/stat : 25968 (java) S 25966 25968 22376 0 -1 4202496 46046 0 1 0 130190 7 0 0 20 0 19 0 490379862 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25968/statm: 1910516 40517 2254 9 0 1901254 0
[pid=25968/tid=25969] ppid=25966 vsize=7642064 CPUtime=1292.95 cores=5,7
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 22376 0 -1 4202560 14598 0 1 0 129293 2 0 0 25 0 19 0 490379862 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 46912505564072 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=7642064 CPUtime=0.18 cores=5,7
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 22376 0 -1 4202560 2485 0 0 0 18 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=7642064 CPUtime=0.19 cores=5,7
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 22376 0 -1 4202560 911 0 0 0 19 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=7642064 CPUtime=0.18 cores=5,7
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 22376 0 -1 4202560 982 0 0 0 18 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=7642064 CPUtime=0.18 cores=5,7
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 22376 0 -1 4202560 305 0 0 0 18 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=7642064 CPUtime=0.16 cores=5,7
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 16 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=7642064 CPUtime=0.17 cores=5,7
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 22376 0 -1 4202560 818 0 0 0 17 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=7642064 CPUtime=0.21 cores=5,7
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 22376 0 -1 4202560 1140 0 0 0 21 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=7642064 CPUtime=0.16 cores=5,7
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 22376 0 -1 4202560 222 0 0 0 16 0 0 0 15 0 19 0 490379864 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=25990] ppid=25966 vsize=7642064 CPUtime=6.24 cores=5,7
/proc/25968/task/25990/stat : 25990 (java) S 25966 25968 22376 0 -1 4202560 12962 0 0 0 623 1 0 0 15 0 19 0 490379865 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 0 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25991] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25991/stat : 25991 (java) S 25966 25968 22376 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25992] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25992/stat : 25992 (java) S 25966 25968 22376 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490379865 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25998] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/25998/stat : 25998 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101521841 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=25999] ppid=25966 vsize=7642064 CPUtime=0.35 cores=5,7
/proc/25968/task/25999/stat : 25999 (java) S 25966 25968 22376 0 -1 4202560 2388 0 0 0 35 0 0 0 16 0 19 0 490379867 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26000] ppid=25966 vsize=7642064 CPUtime=0.89 cores=5,7
/proc/25968/task/26000/stat : 26000 (java) S 25966 25968 22376 0 -1 4202560 7992 0 0 0 88 1 0 0 15 0 19 0 490379867 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26001] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26001/stat : 26001 (java) S 25966 25968 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379867 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514137 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
[pid=25968/tid=26002] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26002/stat : 26002 (java) S 25966 25968 22376 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 490379867 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 7 0 0 0
[pid=25968/tid=26006] ppid=25966 vsize=7642064 CPUtime=0 cores=5,7
/proc/25968/task/26006/stat : 26006 (java) S 25966 25968 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379892 7825473536 40517 33554432000 1073741824 1073778376 140736140192000 18446744073709551615 248101514752 0 4 0 16800975 18446604454224046912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 7642064

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.05
CPU time (s): 1302.04
CPU user time (s): 1301.96
CPU system time (s): 0.079987
CPU usage (%): 100.153
Max. virtual memory (cumulated for all children) (KiB): 7642064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.96
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46082
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= 29557
involuntary context switches= 5112

runsolver used 2.21366 second user time and 4.89825 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-26 05:16:41
IDJOB=3289995
IDBENCH=83413
IDSOLVER=1611
FILE ID=node123/3289995-1303787801
RUNJOBID= node123-1303787800-25894
PBS_JOBID= 13157187
Free space on /tmp= 72924 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.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-3289995-1303787801/watcher-3289995-1303787801 -o /tmp/evaluation-result-3289995-1303787801/solver-3289995-1303787801 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3289995-1303787801.cnf

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

MD5SUM BENCH= f35f3aee72237c1bf3d673feb4883756
RANDOM SEED=382005750

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15107016 kB
Buffers:       2170664 kB
Cached:       14999232 kB
SwapCached:          0 kB
Active:        8345512 kB
Inactive:      8954196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15107016 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4340 kB
Writeback:           0 kB
AnonPages:      128196 kB
Mapped:          22640 kB
Slab:           478808 kB
PageTables:       5484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 17142244 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= 72924 MiB
End job on node123 at 2011-04-26 05:38:23