Trace number 3688883

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.36 1778.45

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx63.opb
MD5SUM807bc542b75293285fea5916dfeaaa3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3216
Total number of constraints3658
Number of constraints which are clauses3210
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 786
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
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.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.08	c os.arch		amd64
0.07/0.08	c Free memory 		501472288
0.07/0.08	c Max memory 		7480803328
0.07/0.08	c Total memory 		504102912
0.07/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688883-1337888379.opb
0.11/0.10	c reading problem ... 
0.55/0.39	c ... done. Wall clock time 0.288s.
0.55/0.39	c declared #vars     3216
0.55/0.39	c #constraints  3721
0.55/0.39	c constraints type 
0.55/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 63
0.55/0.39	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
0.55/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 63
0.55/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3210
0.55/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 384
0.55/0.39	c 3721 constraints processed.
0.55/0.39	c objective function length is 6 literals
2.03/1.29	c cleaning 2466 clauses out of 5001 with flag 5001/5001
3.00/2.20	c cleaning 4262 clauses out of 8535 with flag 11001/11001
4.40/3.51	c cleaning 5620 clauses out of 11272 with flag 18000/18000
5.83/4.97	c cleaning 6817 clauses out of 13653 with flag 26001/26001
7.53/6.57	c cleaning 7862 clauses out of 15836 with flag 35001/35001
9.23/8.25	c cleaning 8980 clauses out of 17975 with flag 45002/45002
11.14/10.17	c cleaning 9995 clauses out of 19995 with flag 56002/56002
13.37/12.34	c cleaning 10952 clauses out of 21999 with flag 68001/68001
16.60/15.54	c cleaning 12015 clauses out of 24046 with flag 81000/81000
19.43/18.35	c cleaning 12953 clauses out of 26031 with flag 95000/95000
22.47/21.33	c cleaning 13985 clauses out of 28078 with flag 110000/110000
25.23/24.02	c cleaning 15017 clauses out of 30096 with flag 126003/126003
29.05/27.87	c cleaning 16003 clauses out of 32076 with flag 143000/143000
33.37/32.10	c cleaning 17008 clauses out of 34076 with flag 161003/161003
37.30/36.06	c cleaning 18029 clauses out of 36065 with flag 180000/180000
42.44/41.17	c cleaning 19003 clauses out of 38037 with flag 200001/200001
47.98/46.68	c cleaning 19980 clauses out of 40035 with flag 221002/221002
54.94/53.54	c cleaning 21021 clauses out of 42053 with flag 243000/243000
61.80/60.35	c cleaning 21990 clauses out of 44033 with flag 266001/266001
69.25/67.72	c cleaning 23008 clauses out of 46042 with flag 290000/290000
76.01/74.44	c cleaning 23976 clauses out of 48034 with flag 315000/315000
83.35/81.77	c cleaning 25012 clauses out of 50059 with flag 341001/341001
91.16/89.48	c cleaning 25993 clauses out of 52046 with flag 368000/368000
99.49/97.72	c cleaning 26999 clauses out of 54054 with flag 396001/396001
108.35/106.53	c cleaning 28016 clauses out of 56055 with flag 425001/425001
119.80/117.93	c cleaning 28985 clauses out of 58038 with flag 455000/455000
128.49/126.52	c cleaning 30025 clauses out of 60053 with flag 486000/486000
137.21/135.22	c cleaning 30988 clauses out of 62030 with flag 518002/518002
147.98/145.96	c cleaning 32011 clauses out of 64040 with flag 551000/551000
157.54/155.49	c cleaning 33003 clauses out of 66029 with flag 585000/585000
165.70/163.58	c cleaning 34006 clauses out of 68026 with flag 620000/620000
176.75/174.51	c cleaning 34988 clauses out of 70023 with flag 656003/656003
188.53/186.25	c cleaning 36001 clauses out of 72033 with flag 693001/693001
201.51/199.14	c cleaning 37009 clauses out of 74031 with flag 731000/731000
213.61/211.16	c cleaning 38002 clauses out of 76026 with flag 770004/770004
225.13/222.64	c cleaning 38979 clauses out of 78021 with flag 810001/810001
238.51/235.93	c cleaning 39965 clauses out of 80041 with flag 851000/851000
252.12/249.42	c cleaning 41023 clauses out of 82079 with flag 893003/893003
265.52/262.74	c cleaning 41953 clauses out of 84054 with flag 936001/936001
279.10/276.23	c cleaning 43023 clauses out of 86101 with flag 980001/980001
295.04/292.11	c cleaning 43968 clauses out of 88077 with flag 1025000/1025000
312.37/309.33	c cleaning 44991 clauses out of 90109 with flag 1071000/1071000
329.39/326.29	c cleaning 46046 clauses out of 92118 with flag 1118000/1118000
344.67/341.43	c cleaning 47003 clauses out of 94073 with flag 1166001/1166001
360.16/356.84	c cleaning 48010 clauses out of 96069 with flag 1215000/1215000
377.42/374.06	c cleaning 49014 clauses out of 98061 with flag 1265002/1265002
393.50/390.01	c cleaning 49984 clauses out of 100046 with flag 1316001/1316001
411.08/407.43	c cleaning 50958 clauses out of 102062 with flag 1368001/1368001
430.94/427.27	c cleaning 52032 clauses out of 104105 with flag 1421002/1421002
451.05/447.21	c cleaning 53015 clauses out of 106073 with flag 1475002/1475002
471.52/467.64	c cleaning 53999 clauses out of 108059 with flag 1530003/1530003
490.10/486.16	c cleaning 55009 clauses out of 110062 with flag 1586005/1586005
514.12/509.99	c cleaning 55978 clauses out of 112049 with flag 1643001/1643001
539.30/535.00	c cleaning 57012 clauses out of 114071 with flag 1701001/1701001
563.87/559.30	c cleaning 57997 clauses out of 116063 with flag 1760005/1760005
587.43/582.78	c cleaning 58969 clauses out of 118063 with flag 1820002/1820002
613.02/608.15	c cleaning 60001 clauses out of 120093 with flag 1881001/1881001
638.43/633.25	c cleaning 60984 clauses out of 122092 with flag 1943001/1943001
660.46/654.92	c cleaning 61992 clauses out of 124108 with flag 2006001/2006001
688.57/682.85	c cleaning 63000 clauses out of 126116 with flag 2070001/2070001
717.72/711.73	c cleaning 64004 clauses out of 128117 with flag 2135002/2135002
748.07/741.87	c cleaning 65015 clauses out of 130112 with flag 2201001/2201001
784.80/778.34	c cleaning 66011 clauses out of 132097 with flag 2268001/2268001
822.83/816.14	c cleaning 67007 clauses out of 134086 with flag 2336001/2336001
858.27/851.40	c cleaning 68026 clauses out of 136079 with flag 2405001/2405001
896.17/888.92	c cleaning 69016 clauses out of 138054 with flag 2475002/2475002
933.54/926.04	c cleaning 70000 clauses out of 140036 with flag 2546000/2546000
963.90/956.19	c cleaning 70994 clauses out of 142037 with flag 2618001/2618001
995.26/987.31	c cleaning 71998 clauses out of 144042 with flag 2691000/2691000
1036.09/1027.82	c cleaning 73003 clauses out of 146045 with flag 2765001/2765001
1074.58/1065.86	c cleaning 74005 clauses out of 148044 with flag 2840003/2840003
1108.77/1099.54	c cleaning 74993 clauses out of 150037 with flag 2916001/2916001
1151.87/1141.92	c cleaning 75997 clauses out of 152043 with flag 2993000/2993000
1190.58/1179.93	c cleaning 76971 clauses out of 154046 with flag 3071000/3071000
1227.79/1216.47	c cleaning 78019 clauses out of 156076 with flag 3150001/3150001
1260.13/1248.17	c cleaning 79003 clauses out of 158056 with flag 3230000/3230000
1294.60/1282.02	c cleaning 79992 clauses out of 160054 with flag 3311001/3311001
1327.28/1314.16	c cleaning 81012 clauses out of 162064 with flag 3393003/3393003
1363.93/1350.10	c cleaning 81979 clauses out of 164049 with flag 3476000/3476000
1404.52/1390.25	c cleaning 82988 clauses out of 166070 with flag 3560000/3560000
1445.56/1430.85	c cleaning 83995 clauses out of 168082 with flag 3645000/3645000
1489.59/1474.31	c cleaning 84967 clauses out of 170088 with flag 3731001/3731001
1537.52/1521.75	c cleaning 86034 clauses out of 172121 with flag 3818001/3818001
1583.07/1566.50	c cleaning 87017 clauses out of 174087 with flag 3906001/3906001
1629.80/1610.90	c cleaning 87988 clauses out of 176069 with flag 3995000/3995000
1690.67/1670.84	c cleaning 89036 clauses out of 178081 with flag 4085000/4085000
1745.66/1724.93	c cleaning 90008 clauses out of 180046 with flag 4176001/4176001
1799.57/1778.02	c cleaning 90996 clauses out of 182038 with flag 4268001/4268001
1800.02/1778.41	c starts		: 253
1800.02/1778.41	c conflicts		: 4269040
1800.02/1778.41	c decisions		: 7114134
1800.02/1778.41	c propagations		: 420010304
1800.02/1778.41	c inspects		: 13128056318
1800.02/1778.41	c shortcuts		: 0
1800.02/1778.41	c learnt literals	: 0
1800.02/1778.41	c learnt binary clauses	: 0
1800.02/1778.41	c learnt ternary clauses	: 0
1800.02/1778.41	c learnt constraints	: 4269040
1800.02/1778.41	c ignored constraints	: 0
1800.02/1778.41	c root simplifications	: 0
1800.02/1778.41	c removed literals (reason simplification)	: 0
1800.02/1778.41	c reason swapping (by a shorter reason)	: 0
1800.02/1778.41	c Calls to reduceDB	: 88
1800.02/1778.41	c number of reductions to clauses (during analyze)	: 0
1800.02/1778.41	c number of learned constraints concerned by reduction	: 0
1800.02/1778.41	c number of learning phase by resolution	: 0
1800.02/1778.41	c number of learning phase by cutting planes	: 0
1800.02/1778.41	c speed (assignments/second)	: 236224.07491041985
1800.02/1778.41	c non guided choices	6522
1800.02/1778.44	c learnt constraints type 
1800.02/1778.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 92155
1800.02/1778.44	c constraints type 
1800.02/1778.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 63
1800.02/1778.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1800.02/1778.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 63
1800.02/1778.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3210
1800.02/1778.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 384
1800.02/1778.44	c 3721 constraints processed.
1800.02/1778.44	s UNKNOWN
1800.02/1778.44	c Total wall clock time (in seconds): 1778.343

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688883-1337888379/watcher-3688883-1337888379 -o /tmp/evaluation-result-3688883-1337888379/solver-3688883-1337888379 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688883-1337888379.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.07 2.02 3/194 23279
/proc/meminfo: memFree=27013152/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/23279/stat : 23279 (java) R 23277 23279 21352 0 -1 4202496 1132 0 0 0 0 0 0 0 20 0 1 0 254966531 23793664 860 33554432000 1073741824 1073778376 140735576955488 140735576944552 139645304002055 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 5793 857 646 9 0 128 0

[startup+0.081185 s]
/proc/loadavg: 2.06 2.07 2.02 3/194 23279
/proc/meminfo: memFree=27013152/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 4198 0 1 0 7 0 0 0 20 0 18 0 254966531 9787813888 5398 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2389603 5398 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100262 s]
/proc/loadavg: 2.06 2.07 2.02 3/194 23279
/proc/meminfo: memFree=27013152/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 4427 0 1 0 10 1 0 0 20 0 18 0 254966531 9787813888 6098 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2389603 6098 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300197 s]
/proc/loadavg: 2.06 2.07 2.02 3/194 23279
/proc/meminfo: memFree=27013152/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9558412 CPUtime=0.55 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 7038 0 1 0 53 2 0 0 20 0 18 0 254966531 9787813888 10191 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2389603 10191 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412

[startup+0.700259 s]
/proc/loadavg: 2.06 2.07 2.02 3/194 23279
/proc/meminfo: memFree=27013152/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 12463 0 1 0 149 3 0 0 20 0 19 0 254966531 9855975424 16515 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2406244 16515 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9624976

[startup+1.50078 s]
/proc/loadavg: 2.06 2.07 2.02 3/213 23298
/proc/meminfo: memFree=26954040/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9624976 CPUtime=2.37 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 12524 0 1 0 233 4 0 0 20 0 19 0 254966531 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2406244 20658 2275 9 0 2396937 0
[pid=23279/tid=23280] ppid=23277 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23279/task/23280/stat : 23280 (java) R 23277 23279 21352 0 -1 4202560 2475 0 1 0 144 2 0 0 20 0 19 0 254966531 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645301899640 139645174842587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23282] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23282/stat : 23282 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645145790632 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23283] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23283/stat : 23283 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645144738088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23284] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23284/stat : 23284 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645143685544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23285] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23285/stat : 23285 (java) S 23277 23279 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645142633000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (java) S 23277 23279 21352 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645141580456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23287] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23287/stat : 23287 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645140527912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23288] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23288/stat : 23288 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645139475368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23289] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23289/stat : 23289 (java) S 23277 23279 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645138422824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23290] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23290/stat : 23290 (java) S 23277 23279 21352 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 254966533 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645126010984 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23291] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23291/stat : 23291 (java) S 23277 23279 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645124957304 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23292] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23292/stat : 23292 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645123904648 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23293] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23293/stat : 23293 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645122853392 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23294] ppid=23277 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/23279/task/23294/stat : 23294 (java) S 23277 23279 21352 0 -1 4202560 4432 0 0 0 44 0 0 0 20 0 19 0 254966536 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645121800760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23295] ppid=23277 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/23279/task/23295/stat : 23295 (java) S 23277 23279 21352 0 -1 4202560 4373 0 0 0 40 0 0 0 20 0 19 0 254966536 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645120748216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23296] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23296/stat : 23296 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645119695864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23297] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23297/stat : 23297 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645118643528 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23298] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23298/stat : 23298 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966571 9855975424 20658 33554432000 1073741824 1073778376 140735576955488 139645117588264 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 9624976

[startup+3.10068 s]
/proc/loadavg: 2.06 2.07 2.02 3/213 23298
/proc/meminfo: memFree=26938960/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9624976 CPUtime=4 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 12546 0 1 0 395 5 0 0 20 0 19 0 254966531 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2406244 23226 2275 9 0 2396937 0
[pid=23279/tid=23280] ppid=23277 vsize=9624976 CPUtime=3.04 cores=1,3,5,7
/proc/23279/task/23280/stat : 23280 (java) R 23277 23279 21352 0 -1 4202560 2476 0 1 0 302 2 0 0 20 0 19 0 254966531 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645301899552 139645174929514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23282] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23282/stat : 23282 (java) S 23277 23279 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645145790632 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23283] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23283/stat : 23283 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645144738088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23284] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23284/stat : 23284 (java) S 23277 23279 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645143685544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23285] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23285/stat : 23285 (java) S 23277 23279 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645142633000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (java) S 23277 23279 21352 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645141580456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23287] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23287/stat : 23287 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645140527912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23288] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23288/stat : 23288 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645139475368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23289] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23289/stat : 23289 (java) S 23277 23279 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645138422824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23290] ppid=23277 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23279/task/23290/stat : 23290 (java) S 23277 23279 21352 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 254966533 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645126010984 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23291] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23291/stat : 23291 (java) S 23277 23279 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645124957304 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23292] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23292/stat : 23292 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645123904648 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23293] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23293/stat : 23293 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645122853392 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23294] ppid=23277 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23279/task/23294/stat : 23294 (java) S 23277 23279 21352 0 -1 4202560 4432 0 0 0 45 0 0 0 20 0 19 0 254966536 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645121800760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23295] ppid=23277 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/23279/task/23295/stat : 23295 (java) S 23277 23279 21352 0 -1 4202560 4373 0 0 0 42 0 0 0 20 0 19 0 254966536 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645120748216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23296] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23296/stat : 23296 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645119695864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23297] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23297/stat : 23297 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645118643528 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23298] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23298/stat : 23298 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966571 9855975424 23226 33554432000 1073741824 1073778376 140735576955488 139645117588264 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 9624976

[startup+6.30078 s]
/proc/loadavg: 2.06 2.07 2.02 3/213 23298
/proc/meminfo: memFree=26909932/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9624976 CPUtime=7.32 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 12587 0 1 0 725 7 0 0 20 0 19 0 254966531 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2406244 27825 2275 9 0 2396937 0
[pid=23279/tid=23280] ppid=23277 vsize=9624976 CPUtime=6.18 cores=1,3,5,7
/proc/23279/task/23280/stat : 23280 (java) R 23277 23279 21352 0 -1 4202560 2477 0 1 0 616 2 0 0 20 0 19 0 254966531 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645301899768 139645174830152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23282] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23282/stat : 23282 (java) S 23277 23279 21352 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645145790632 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23283] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23283/stat : 23283 (java) S 23277 23279 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645144738088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23284] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23284/stat : 23284 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645143685544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23285] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23285/stat : 23285 (java) S 23277 23279 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645142633000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (java) S 23277 23279 21352 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645141580456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23287] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23287/stat : 23287 (java) S 23277 23279 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645140527912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23288] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23288/stat : 23288 (java) S 23277 23279 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645139475368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23289] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23289/stat : 23289 (java) S 23277 23279 21352 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254966532 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645138422824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23290] ppid=23277 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23279/task/23290/stat : 23290 (java) S 23277 23279 21352 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 254966533 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645126010984 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23291] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23291/stat : 23291 (java) S 23277 23279 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645124957304 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23292] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23292/stat : 23292 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645123904648 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23293] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23293/stat : 23293 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645122853392 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23294] ppid=23277 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23279/task/23294/stat : 23294 (java) S 23277 23279 21352 0 -1 4202560 4433 0 0 0 46 0 0 0 20 0 19 0 254966536 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645121800760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23295] ppid=23277 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/23279/task/23295/stat : 23295 (java) S 23277 23279 21352 0 -1 4202560 4374 0 0 0 47 0 0 0 20 0 19 0 254966536 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645120748216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23296] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23296/stat : 23296 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645119695864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23297] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23297/stat : 23297 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645118643528 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23298] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23298/stat : 23298 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966571 9855975424 27825 33554432000 1073741824 1073778376 140735576955488 139645117588264 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=23279/tid=23287] ppid=23277 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/23279/task/23287/stat : 23287 (java) S 23277 23279 21352 0 -1 4202560 501 0 0 0 233 16 0 0 20 0 19 0 254966532 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645140527912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23288] ppid=23277 vsize=9624976 CPUtime=2.67 cores=1,3,5,7
/proc/23279/task/23288/stat : 23288 (java) S 23277 23279 21352 0 -1 4202560 632 0 0 0 254 13 0 0 20 0 19 0 254966532 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645139475368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23289] ppid=23277 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/23279/task/23289/stat : 23289 (java) S 23277 23279 21352 0 -1 4202560 708 0 0 0 275 17 0 0 20 0 19 0 254966532 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645138422824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23290] ppid=23277 vsize=9624976 CPUtime=4.65 cores=1,3,5,7
/proc/23279/task/23290/stat : 23290 (java) S 23277 23279 21352 0 -1 4202560 884 0 0 0 461 4 0 0 20 0 19 0 254966533 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645126010984 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23291] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23291/stat : 23291 (java) S 23277 23279 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645124957304 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23292] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23292/stat : 23292 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645123904648 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23293] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23293/stat : 23293 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645122853392 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23294] ppid=23277 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23279/task/23294/stat : 23294 (java) S 23277 23279 21352 0 -1 4202560 4433 0 0 0 46 0 0 0 20 0 19 0 254966536 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645121800760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23295] ppid=23277 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23279/task/23295/stat : 23295 (java) S 23277 23279 21352 0 -1 4202560 4381 0 0 0 49 0 0 0 20 0 19 0 254966536 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645120748216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23296] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23296/stat : 23296 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645119695864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23297] ppid=23277 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/23279/task/23297/stat : 23297 (java) S 23277 23279 21352 0 -1 4202560 92 0 0 0 40 35 0 0 20 0 19 0 254966536 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645118643528 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23298] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23298/stat : 23298 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966571 9855975424 201340 33554432000 1073741824 1073778376 140735576955488 139645117588264 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1619.85
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 1.97 2.03 2.01 3/213 23846
/proc/meminfo: memFree=26921668/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9624976 CPUtime=1682.12 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 20822 0 1 0 168029 183 0 0 20 0 19 0 254966531 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2406244 114046 2276 9 0 2396937 0
[pid=23279/tid=23280] ppid=23277 vsize=9624976 CPUtime=1650.58 cores=1,3,5,7
/proc/23279/task/23280/stat : 23280 (java) R 23277 23279 21352 0 -1 4202560 2750 0 1 0 165026 32 0 0 20 0 19 0 254966531 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645301898608 139645174749556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23282] ppid=23277 vsize=9624976 CPUtime=3.29 cores=1,3,5,7
/proc/23279/task/23282/stat : 23282 (java) S 23277 23279 21352 0 -1 4202560 1493 0 0 0 312 17 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645145790632 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23283] ppid=23277 vsize=9624976 CPUtime=3.06 cores=1,3,5,7
/proc/23279/task/23283/stat : 23283 (java) S 23277 23279 21352 0 -1 4202560 983 0 0 0 289 17 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645144738088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23284] ppid=23277 vsize=9624976 CPUtime=3.17 cores=1,3,5,7
/proc/23279/task/23284/stat : 23284 (java) S 23277 23279 21352 0 -1 4202560 1166 0 0 0 301 16 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645143685544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23285] ppid=23277 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/23279/task/23285/stat : 23285 (java) S 23277 23279 21352 0 -1 4202560 536 0 0 0 284 15 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645142633000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=9624976 CPUtime=3.16 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (java) S 23277 23279 21352 0 -1 4202560 680 0 0 0 303 13 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645141580456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23287] ppid=23277 vsize=9624976 CPUtime=2.88 cores=1,3,5,7
/proc/23279/task/23287/stat : 23287 (java) S 23277 23279 21352 0 -1 4202560 717 0 0 0 271 17 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645140527912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23288] ppid=23277 vsize=9624976 CPUtime=3.15 cores=1,3,5,7
/proc/23279/task/23288/stat : 23288 (java) S 23277 23279 21352 0 -1 4202560 725 0 0 0 300 15 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645139475368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23289] ppid=23277 vsize=9624976 CPUtime=3.36 cores=1,3,5,7
/proc/23279/task/23289/stat : 23289 (java) S 23277 23279 21352 0 -1 4202560 757 0 0 0 318 18 0 0 20 0 19 0 254966532 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645138422824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23290] ppid=23277 vsize=9624976 CPUtime=4.76 cores=1,3,5,7
/proc/23279/task/23290/stat : 23290 (java) S 23277 23279 21352 0 -1 4202560 922 0 0 0 471 5 0 0 20 0 19 0 254966533 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645126010984 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23291] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23291/stat : 23291 (java) S 23277 23279 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645124957304 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23292] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23292/stat : 23292 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645123904648 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23293] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23293/stat : 23293 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645122853392 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23294] ppid=23277 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23279/task/23294/stat : 23294 (java) S 23277 23279 21352 0 -1 4202560 4433 0 0 0 46 0 0 0 20 0 19 0 254966536 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645121800760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23295] ppid=23277 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23279/task/23295/stat : 23295 (java) S 23277 23279 21352 0 -1 4202560 4381 0 0 0 49 0 0 0 20 0 19 0 254966536 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645120748216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23296] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23296/stat : 23296 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645119695864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23297] ppid=23277 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/23279/task/23297/stat : 23297 (java) S 23277 23279 21352 0 -1 4202560 94 0 0 0 42 36 0 0 20 0 19 0 254966536 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645118643528 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23298] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23298/stat : 23298 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966571 9855975424 114046 33554432000 1073741824 1073778376 140735576955488 139645117588264 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1682.12
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 2.02 2.01 3/213 23846
/proc/meminfo: memFree=26889652/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9624976 CPUtime=1743 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 22641 0 1 0 174109 191 0 0 20 0 19 0 254966531 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2406244 121422 2276 9 0 2396937 0
[pid=23279/tid=23280] ppid=23277 vsize=9624976 CPUtime=1710.18 cores=1,3,5,7
/proc/23279/task/23280/stat : 23280 (java) R 23277 23279 21352 0 -1 4202560 2765 0 1 0 170986 32 0 0 20 0 19 0 254966531 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645301898608 139645174772115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23282] ppid=23277 vsize=9624976 CPUtime=3.43 cores=1,3,5,7
/proc/23279/task/23282/stat : 23282 (java) S 23277 23279 21352 0 -1 4202560 1547 0 0 0 325 18 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645145790632 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23283] ppid=23277 vsize=9624976 CPUtime=3.19 cores=1,3,5,7
/proc/23279/task/23283/stat : 23283 (java) S 23277 23279 21352 0 -1 4202560 1037 0 0 0 302 17 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645144738088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23284] ppid=23277 vsize=9624976 CPUtime=3.32 cores=1,3,5,7
/proc/23279/task/23284/stat : 23284 (java) S 23277 23279 21352 0 -1 4202560 1211 0 0 0 316 16 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645143685544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23285] ppid=23277 vsize=9624976 CPUtime=3.15 cores=1,3,5,7
/proc/23279/task/23285/stat : 23285 (java) S 23277 23279 21352 0 -1 4202560 1137 0 0 0 299 16 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645142633000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=9624976 CPUtime=3.29 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (java) S 23277 23279 21352 0 -1 4202560 942 0 0 0 315 14 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645141580456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23287] ppid=23277 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/23279/task/23287/stat : 23287 (java) S 23277 23279 21352 0 -1 4202560 750 0 0 0 283 18 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645140527912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23288] ppid=23277 vsize=9624976 CPUtime=3.28 cores=1,3,5,7
/proc/23279/task/23288/stat : 23288 (java) S 23277 23279 21352 0 -1 4202560 1028 0 0 0 312 16 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645139475368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23289] ppid=23277 vsize=9624976 CPUtime=3.54 cores=1,3,5,7
/proc/23279/task/23289/stat : 23289 (java) S 23277 23279 21352 0 -1 4202560 1182 0 0 0 335 19 0 0 20 0 19 0 254966532 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645138422824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23290] ppid=23277 vsize=9624976 CPUtime=4.85 cores=1,3,5,7
/proc/23279/task/23290/stat : 23290 (java) S 23277 23279 21352 0 -1 4202560 945 0 0 0 479 6 0 0 20 0 19 0 254966533 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645126010984 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23291] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23291/stat : 23291 (java) S 23277 23279 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645124957304 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23292] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23292/stat : 23292 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645123904648 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23293] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23293/stat : 23293 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645122853392 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23294] ppid=23277 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23279/task/23294/stat : 23294 (java) S 23277 23279 21352 0 -1 4202560 4433 0 0 0 46 0 0 0 20 0 19 0 254966536 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645121800760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23295] ppid=23277 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23279/task/23295/stat : 23295 (java) S 23277 23279 21352 0 -1 4202560 4381 0 0 0 49 0 0 0 20 0 19 0 254966536 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645120748216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23296] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23296/stat : 23296 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645119695864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23297] ppid=23277 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/23279/task/23297/stat : 23297 (java) S 23277 23279 21352 0 -1 4202560 98 0 0 0 44 37 0 0 20 0 19 0 254966536 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645118643528 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23298] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23298/stat : 23298 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966571 9855975424 121422 33554432000 1073741824 1073778376 140735576955488 139645117588264 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1743
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.4 s]
/proc/loadavg: 1.99 2.02 2.00 3/213 23846
/proc/meminfo: memFree=26879576/32873844 swapFree=6080/6080
[pid=23279] ppid=23277 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/23279/stat : 23279 (java) S 23277 23279 21352 0 -1 4202496 22695 0 1 0 179807 195 0 0 20 0 19 0 254966531 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 140735576946624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23279/statm: 2406244 123494 2276 9 0 2396937 0
[pid=23279/tid=23280] ppid=23277 vsize=9624976 CPUtime=1765.75 cores=1,3,5,7
/proc/23279/task/23280/stat : 23280 (java) R 23277 23279 21352 0 -1 4202560 2781 0 1 0 176542 33 0 0 20 0 19 0 254966531 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645301899552 139645174867003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23279/tid=23282] ppid=23277 vsize=9624976 CPUtime=3.62 cores=1,3,5,7
/proc/23279/task/23282/stat : 23282 (java) S 23277 23279 21352 0 -1 4202560 1547 0 0 0 344 18 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645145790632 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23283] ppid=23277 vsize=9624976 CPUtime=3.34 cores=1,3,5,7
/proc/23279/task/23283/stat : 23283 (java) S 23277 23279 21352 0 -1 4202560 1041 0 0 0 316 18 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645144738088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23284] ppid=23277 vsize=9624976 CPUtime=3.5 cores=1,3,5,7
/proc/23279/task/23284/stat : 23284 (java) S 23277 23279 21352 0 -1 4202560 1211 0 0 0 334 16 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645143685544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23285] ppid=23277 vsize=9624976 CPUtime=3.28 cores=1,3,5,7
/proc/23279/task/23285/stat : 23285 (java) S 23277 23279 21352 0 -1 4202560 1139 0 0 0 311 17 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645142633000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=9624976 CPUtime=3.44 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (java) S 23277 23279 21352 0 -1 4202560 945 0 0 0 330 14 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645141580456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23287] ppid=23277 vsize=9624976 CPUtime=3.16 cores=1,3,5,7
/proc/23279/task/23287/stat : 23287 (java) S 23277 23279 21352 0 -1 4202560 751 0 0 0 298 18 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645140527912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23288] ppid=23277 vsize=9624976 CPUtime=3.38 cores=1,3,5,7
/proc/23279/task/23288/stat : 23288 (java) S 23277 23279 21352 0 -1 4202560 1031 0 0 0 322 16 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645139475368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23289] ppid=23277 vsize=9624976 CPUtime=3.68 cores=1,3,5,7
/proc/23279/task/23289/stat : 23289 (java) S 23277 23279 21352 0 -1 4202560 1183 0 0 0 349 19 0 0 20 0 19 0 254966532 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645138422824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23290] ppid=23277 vsize=9624976 CPUtime=5.07 cores=1,3,5,7
/proc/23279/task/23290/stat : 23290 (java) S 23277 23279 21352 0 -1 4202560 965 0 0 0 501 6 0 0 20 0 19 0 254966533 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645126010984 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23291] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23291/stat : 23291 (java) S 23277 23279 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645124957304 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23292] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23292/stat : 23292 (java) S 23277 23279 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254966534 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645123904648 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23293] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23293/stat : 23293 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645122853392 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23294] ppid=23277 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23279/task/23294/stat : 23294 (java) S 23277 23279 21352 0 -1 4202560 4433 0 0 0 46 0 0 0 20 0 19 0 254966536 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645121800760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23295] ppid=23277 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23279/task/23295/stat : 23295 (java) S 23277 23279 21352 0 -1 4202560 4381 0 0 0 49 0 0 0 20 0 19 0 254966536 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645120748216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23279/tid=23296] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23296/stat : 23296 (java) S 23277 23279 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254966536 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645119695864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23279/tid=23297] ppid=23277 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23279/task/23297/stat : 23297 (java) S 23277 23279 21352 0 -1 4202560 102 0 0 0 46 38 0 0 20 0 19 0 254966536 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645118643528 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23279/tid=23298] ppid=23277 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23298/stat : 23298 (java) S 23277 23279 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254966571 9855975424 123494 33554432000 1073741824 1073778376 140735576955488 139645117588264 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

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): 1778.45
CPU time (s): 1800.36
CPU user time (s): 1798.09
CPU system time (s): 2.26965
CPU usage (%): 101.232
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.09
system time used= 2.26965
maximum resident set size= 858280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22731
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45262
involuntary context switches= 39318

runsolver used 8.01378 second user time and 14.6908 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-24 21:39:40
IDJOB=3688883
IDBENCH=71844
IDSOLVER=2269
FILE ID=node108/3688883-1337888379
RUNJOBID= node108-1337871881-21369
PBS_JOBID= 14620096
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688883-1337888379/watcher-3688883-1337888379 -o /tmp/evaluation-result-3688883-1337888379/solver-3688883-1337888379 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688883-1337888379.opb

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

MD5SUM BENCH= 807bc542b75293285fea5916dfeaaa3e
RANDOM SEED=319892987

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27013152 kB
Buffers:          202176 kB
Cached:          4189564 kB
SwapCached:            0 kB
Active:          1187336 kB
Inactive:        3902600 kB
Active(anon):     700780 kB
Inactive(anon):        0 kB
Active(file):     486556 kB
Inactive(file):  3902600 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               936 kB
Writeback:             0 kB
AnonPages:        763736 kB
Mapped:            22596 kB
Shmem:               200 kB
Slab:             630744 kB
SReclaimable:      72428 kB
SUnreclaim:       558316 kB
KernelStack:        1760 kB
PageTables:         5676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1274024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    692224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node108 at 2012-05-24 22:09:20