Trace number 3284061

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.6 1300.07

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
MD5SUM18ad1dee1e9d863458e75a20545ae68a
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 variables1430
Number of clauses79453
Sum of the clauses size236162
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22358
Number of clauses of size 377072
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.08	c no version file found!!!
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.18-164.el5
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		6997539544
0.04/0.08	c Max memory 		7034241024
0.04/0.08	c Total memory 		7034241024
0.04/0.08	c Number of processors 	8
0.04/0.09	c --- Begin Solver configuration ---
0.04/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.09	c Learn all clauses as in MiniSAT
0.04/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.09	c Expensive reason simplification
0.04/0.09	c Armin Biere (Picosat) restarts strategy
0.04/0.09	c Glucose learned constraints deletion strategy
0.04/0.09	c timeout=2147483647s
0.04/0.09	c DB Simplification allowed=true
0.04/0.09	c --- End Solver configuration ---
0.04/0.09	c solving HOME/instance-3284061-1303760844.cnf
0.04/0.09	c reading problem ... 
0.28/0.23	c ... done. Wall clock time 0.137s.
0.28/0.23	c #vars     1430
0.28/0.23	c #constraints  79453
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 77095
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2358
1.70/1.39	c cleaning 2497 clauses out of 5000 with flag 5000/5000
3.26/2.75	c cleaning 4241 clauses out of 8505 with flag 11002/11002
4.97/4.43	c cleaning 5629 clauses out of 11263 with flag 18001/18001
6.77/6.25	c cleaning 6816 clauses out of 13633 with flag 26000/26000
8.98/8.47	c cleaning 7905 clauses out of 15817 with flag 35000/35000
11.49/10.94	c cleaning 8953 clauses out of 17912 with flag 45000/45000
14.18/13.64	c cleaning 9977 clauses out of 19960 with flag 56001/56001
17.39/16.87	c cleaning 10985 clauses out of 21982 with flag 68000/68000
21.40/20.81	c cleaning 11995 clauses out of 23997 with flag 81000/81000
25.69/25.10	c cleaning 12996 clauses out of 26003 with flag 95001/95001
30.39/29.88	c cleaning 14001 clauses out of 28011 with flag 110005/110005
36.00/35.40	c cleaning 15001 clauses out of 30006 with flag 126001/126001
42.41/41.83	c cleaning 15999 clauses out of 32004 with flag 143000/143000
49.20/48.64	c cleaning 16997 clauses out of 34006 with flag 161001/161001
56.51/55.97	c cleaning 17999 clauses out of 36008 with flag 180000/180000
64.21/63.68	c cleaning 19001 clauses out of 38009 with flag 200000/200000
72.12/71.59	c cleaning 20004 clauses out of 40013 with flag 221005/221005
81.41/80.82	c cleaning 20998 clauses out of 42004 with flag 243000/243000
90.92/90.34	c cleaning 21998 clauses out of 44007 with flag 266001/266001
102.62/102.09	c cleaning 23004 clauses out of 46011 with flag 290003/290003
115.63/115.08	c cleaning 23999 clauses out of 48004 with flag 315000/315000
128.03/127.50	c cleaning 24999 clauses out of 50005 with flag 341000/341000
142.14/141.51	c cleaning 25998 clauses out of 52006 with flag 368000/368000
156.75/156.15	c cleaning 27001 clauses out of 54009 with flag 396001/396001
170.56/169.94	c cleaning 28000 clauses out of 56010 with flag 425003/425003
186.16/185.54	c cleaning 28994 clauses out of 58007 with flag 455000/455000
203.57/202.99	c cleaning 29996 clauses out of 60013 with flag 486000/486000
219.67/219.09	c cleaning 31003 clauses out of 62017 with flag 518000/518000
236.28/235.69	c cleaning 31995 clauses out of 64015 with flag 551001/551001
255.58/254.98	c cleaning 33006 clauses out of 66022 with flag 585003/585003
274.68/274.06	c cleaning 34004 clauses out of 68013 with flag 620000/620000
293.89/293.25	c cleaning 35000 clauses out of 70010 with flag 656001/656001
315.66/314.88	c cleaning 35999 clauses out of 72009 with flag 693000/693000
337.89/336.73	c cleaning 36999 clauses out of 74010 with flag 731000/731000
360.47/359.25	c cleaning 37998 clauses out of 76011 with flag 770000/770000
383.67/382.49	c cleaning 39003 clauses out of 78018 with flag 810005/810005
408.48/407.29	c cleaning 40001 clauses out of 80012 with flag 851002/851002
434.49/433.25	c cleaning 41002 clauses out of 82013 with flag 893004/893004
462.10/460.84	c cleaning 41992 clauses out of 84007 with flag 936000/936000
487.10/485.80	c cleaning 43005 clauses out of 86021 with flag 980006/980006
510.00/508.74	c cleaning 43998 clauses out of 88010 with flag 1025000/1025000
536.30/535.05	c cleaning 45002 clauses out of 90012 with flag 1071000/1071000
559.51/558.20	c cleaning 46004 clauses out of 92012 with flag 1118002/1118002
590.72/589.45	c cleaning 46999 clauses out of 94007 with flag 1166001/1166001
618.52/617.23	c cleaning 47995 clauses out of 96008 with flag 1215001/1215001
649.33/648.03	c cleaning 49006 clauses out of 98014 with flag 1265002/1265002
676.83/675.51	c cleaning 49999 clauses out of 100006 with flag 1316000/1316000
706.54/705.22	c cleaning 50996 clauses out of 102007 with flag 1368000/1368000
738.75/737.49	c cleaning 52001 clauses out of 104012 with flag 1421001/1421001
768.16/766.89	c cleaning 53003 clauses out of 106012 with flag 1475002/1475002
803.37/802.07	c cleaning 54000 clauses out of 108007 with flag 1530000/1530000
837.67/836.30	c cleaning 55002 clauses out of 110009 with flag 1586002/1586002
867.28/865.96	c cleaning 56000 clauses out of 112007 with flag 1643002/1643002
906.39/905.01	c cleaning 57001 clauses out of 114007 with flag 1701002/1701002
942.29/940.90	c cleaning 57999 clauses out of 116004 with flag 1760000/1760000
976.50/975.19	c cleaning 58995 clauses out of 118005 with flag 1820000/1820000
1021.41/1020.01	c cleaning 60003 clauses out of 120011 with flag 1881001/1881001
1059.71/1058.37	c cleaning 60999 clauses out of 122009 with flag 1943002/1943002
1100.02/1098.70	c cleaning 62000 clauses out of 124010 with flag 2006002/2006002
1147.23/1145.83	c cleaning 62999 clauses out of 126009 with flag 2070001/2070001
1189.23/1187.88	c cleaning 63999 clauses out of 128009 with flag 2135000/2135000
1230.64/1229.27	c cleaning 64999 clauses out of 130011 with flag 2201001/2201001
1277.25/1275.82	c cleaning 65994 clauses out of 132011 with flag 2268000/2268000
1301.46/1300.01	c starts		: 1644
1301.46/1300.01	c conflicts		: 2311222
1301.46/1300.01	c decisions		: 2818800
1301.46/1300.01	c propagations		: 320525671
1301.46/1300.01	c inspects		: 17260362315
1301.46/1300.01	c shortcuts		: 0
1301.46/1300.01	c learnt literals	: 0
1301.46/1300.01	c learnt binary clauses	: 1
1301.46/1300.01	c learnt ternary clauses	: 1
1301.46/1300.01	c learnt constraints	: 2311222
1301.46/1300.01	c ignored constraints	: 0
1301.46/1300.01	c root simplifications	: 1644
1301.46/1300.01	c removed literals (reason simplification)	: 25966167
1301.46/1300.01	c reason swapping (by a shorter reason)	: 0
1301.46/1300.01	c Calls to reduceDB	: 63
1301.46/1300.01	c speed (assignments/second)	: 246599.7221072457
1301.46/1300.01	c non guided choices	187
1301.46/1300.06	c learnt constraints type 
1301.46/1300.06	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1301.46/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 109295
1301.46/1300.06	c constraints type 
1301.46/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 77095
1301.46/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2358
1301.46/1300.06	s UNKNOWN
1301.46/1300.06	c Total wall clock time (in seconds) : 1299.919

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

running on 2 cores: 1,3

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: 4.04 4.04 4.58 5/243 10329
/proc/meminfo: memFree=19562036/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=30580 CPUtime=0 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 1199 0 0 0 0 0 0 0 25 0 2 0 487684144 31313920 923 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 7645 929 706 9 0 383 0
[pid=10329/tid=10330] ppid=10327 vsize=30528 CPUtime=0 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 113 0 0 0 0 0 0 0 25 0 2 0 487684144 31260672 947 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 47865977491491 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.0556411 s]
/proc/loadavg: 4.04 4.04 4.58 5/243 10329
/proc/meminfo: memFree=19562036/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7565516 CPUtime=0.04 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 9053 0 1 0 3 1 0 0 25 0 14 0 487684144 7747088384 8748 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1891379 8748 1693 9 0 1882127 0
[pid=10329/tid=10330] ppid=10327 vsize=7565516 CPUtime=0.04 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) S 10327 10329 9900 0 -1 4202560 7904 0 1 0 3 1 0 0 25 0 14 0 487684144 7747088384 8748 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800971 18446604471121519616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7565516

[startup+0.104242 s]
/proc/loadavg: 4.04 4.04 4.58 5/243 10329
/proc/meminfo: memFree=19562036/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7637252 CPUtime=0.1 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 10541 0 1 0 9 1 0 0 25 0 18 0 487684144 7820546048 10236 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1909313 10236 2094 9 0 1900051 0
[pid=10329/tid=10330] ppid=10327 vsize=7637252 CPUtime=0.08 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 8707 0 1 0 7 1 0 0 25 0 18 0 487684144 7820546048 10236 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7637252

[startup+0.300207 s]
/proc/loadavg: 4.04 4.04 4.58 5/243 10329
/proc/meminfo: memFree=19562036/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7641352 CPUtime=0.47 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 13436 0 1 0 45 2 0 0 25 0 19 0 487684144 7824744448 13066 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1910338 13066 2213 9 0 1901076 0
[pid=10329/tid=10330] ppid=10327 vsize=7641352 CPUtime=0.28 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 10662 0 1 0 27 1 0 0 25 0 19 0 487684144 7824744448 13066 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505226113 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 7641352

[startup+0.701137 s]
/proc/loadavg: 4.04 4.04 4.58 5/243 10329
/proc/meminfo: memFree=19562036/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7641352 CPUtime=1.05 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 13866 0 1 0 103 2 0 0 25 0 19 0 487684144 7824744448 13496 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1910338 13496 2224 9 0 1901076 0
[pid=10329/tid=10330] ppid=10327 vsize=7641352 CPUtime=0.68 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 10968 0 1 0 67 1 0 0 25 0 19 0 487684144 7824744448 13496 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505217685 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 7641352

[startup+1.50099 s]
/proc/loadavg: 4.04 4.04 4.58 5/262 10348
/proc/meminfo: memFree=19515580/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7656844 CPUtime=2.02 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 22456 0 1 0 199 3 0 0 25 0 19 0 487684144 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1914211 20620 2252 9 0 1904949 0
[pid=10329/tid=10330] ppid=10327 vsize=7656844 CPUtime=1.43 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 11249 0 1 0 142 1 0 0 25 0 19 0 487684144 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505618524 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10329/tid=10332] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10332/stat : 10332 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10333] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10333/stat : 10333 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10334] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10334/stat : 10334 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10335] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10335/stat : 10335 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10336] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10336/stat : 10336 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10337] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10337/stat : 10337 (java) S 10327 10329 9900 0 -1 4202560 85 0 0 0 0 0 0 0 17 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10338] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10338/stat : 10338 (java) S 10327 10329 9900 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10339] ppid=10327 vsize=7656844 CPUtime=0.01 cores=1,3
/proc/10329/task/10339/stat : 10339 (java) S 10327 10329 9900 0 -1 4202560 1123 0 0 0 1 0 0 0 18 0 19 0 487684146 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10340] ppid=10327 vsize=7656844 CPUtime=0.03 cores=1,3
/proc/10329/task/10340/stat : 10340 (java) S 10327 10329 9900 0 -1 4202560 2014 0 0 0 3 0 0 0 16 0 19 0 487684147 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 0 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10341] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10341/stat : 10341 (java) R 10327 10329 9900 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 487684147 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10329/tid=10342] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10342/stat : 10342 (java) S 10327 10329 9900 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487684147 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10343] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10343/stat : 10343 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290703281 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10344] ppid=10327 vsize=7656844 CPUtime=0.2 cores=1,3
/proc/10329/task/10344/stat : 10344 (java) R 10327 10329 9900 0 -1 4202560 4645 0 0 0 20 0 0 0 16 0 19 0 487684149 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 47865979437555 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10329/tid=10345] ppid=10327 vsize=7656844 CPUtime=0.3 cores=1,3
/proc/10329/task/10345/stat : 10345 (java) S 10327 10329 9900 0 -1 4202560 1378 0 0 0 30 0 0 0 17 0 19 0 487684149 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10346] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10346/stat : 10346 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10347] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10347/stat : 10347 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487684149 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10348] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10348/stat : 10348 (java) S 10327 10329 9900 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487684167 7840608256 20620 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 7656844

[startup+3.10071 s]
/proc/loadavg: 4.04 4.04 4.58 5/262 10348
/proc/meminfo: memFree=19503304/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7656844 CPUtime=3.67 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 23322 0 1 0 364 3 0 0 25 0 19 0 487684144 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1914211 21485 2255 9 0 1904949 0
[pid=10329/tid=10330] ppid=10327 vsize=7656844 CPUtime=2.99 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 11251 0 1 0 298 1 0 0 25 0 19 0 487684144 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505618366 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10329/tid=10332] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10332/stat : 10332 (java) S 10327 10329 9900 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10333] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10333/stat : 10333 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10334] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10334/stat : 10334 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10335] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10335/stat : 10335 (java) S 10327 10329 9900 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10336] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10336/stat : 10336 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10337] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10337/stat : 10337 (java) S 10327 10329 9900 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10338] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10338/stat : 10338 (java) S 10327 10329 9900 0 -1 4202560 808 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10339] ppid=10327 vsize=7656844 CPUtime=0.01 cores=1,3
/proc/10329/task/10339/stat : 10339 (java) S 10327 10329 9900 0 -1 4202560 1123 0 0 0 1 0 0 0 18 0 19 0 487684146 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10340] ppid=10327 vsize=7656844 CPUtime=0.06 cores=1,3
/proc/10329/task/10340/stat : 10340 (java) S 10327 10329 9900 0 -1 4202560 2153 0 0 0 6 0 0 0 15 0 19 0 487684147 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 0 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10341] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10341/stat : 10341 (java) S 10327 10329 9900 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487684147 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10342] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10342/stat : 10342 (java) S 10327 10329 9900 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487684147 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10343] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10343/stat : 10343 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290703281 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10344] ppid=10327 vsize=7656844 CPUtime=0.24 cores=1,3
/proc/10329/task/10344/stat : 10344 (java) S 10327 10329 9900 0 -1 4202560 5008 0 0 0 24 0 0 0 16 0 19 0 487684149 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10345] ppid=10327 vsize=7656844 CPUtime=0.31 cores=1,3
/proc/10329/task/10345/stat : 10345 (java) S 10327 10329 9900 0 -1 4202560 1378 0 0 0 31 0 0 0 15 0 19 0 487684149 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10346] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10346/stat : 10346 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10347] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10347/stat : 10347 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487684149 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10348] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10348/stat : 10348 (java) S 10327 10329 9900 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487684167 7840608256 21485 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 7656844

[startup+6.30114 s]
/proc/loadavg: 4.03 4.04 4.58 5/262 10348
/proc/meminfo: memFree=19500576/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7656844 CPUtime=6.88 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 23797 0 1 0 685 3 0 0 25 0 19 0 487684144 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1914211 21957 2255 9 0 1904949 0
[pid=10329/tid=10330] ppid=10327 vsize=7656844 CPUtime=6.09 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 11252 0 1 0 608 1 0 0 25 0 19 0 487684144 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505581310 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10329/tid=10332] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10332/stat : 10332 (java) S 10327 10329 9900 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10333] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10333/stat : 10333 (java) S 10327 10329 9900 0 -1 4202560 233 0 0 0 0 0 0 0 16 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10334] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10334/stat : 10334 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10335] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10335/stat : 10335 (java) S 10327 10329 9900 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10336] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10336/stat : 10336 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10337] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10337/stat : 10337 (java) S 10327 10329 9900 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10338] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10338/stat : 10338 (java) S 10327 10329 9900 0 -1 4202560 808 0 0 0 0 0 0 0 15 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10339] ppid=10327 vsize=7656844 CPUtime=0.01 cores=1,3
/proc/10329/task/10339/stat : 10339 (java) S 10327 10329 9900 0 -1 4202560 1132 0 0 0 1 0 0 0 15 0 19 0 487684146 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10340] ppid=10327 vsize=7656844 CPUtime=0.13 cores=1,3
/proc/10329/task/10340/stat : 10340 (java) S 10327 10329 9900 0 -1 4202560 2380 0 0 0 13 0 0 0 15 0 19 0 487684147 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 0 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10341] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10341/stat : 10341 (java) S 10327 10329 9900 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487684147 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10342] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10342/stat : 10342 (java) S 10327 10329 9900 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487684147 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10343] ppid=10327 vsize=7656844 CPUtime=0 cores=1,3
/proc/10329/task/10343/stat : 10343 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290703281 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10344] ppid=10327 vsize=7656844 CPUtime=0.24 cores=1,3
/proc/10329/task/10344/stat : 10344 (java) S 10327 10329 9900 0 -1 4202560 5008 0 0 0 24 0 0 0 16 0 19 0 487684149 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10345] ppid=10327 vsize=7656844 CPUtime=0.35 cores=1,3
/proc/10329/task/10345/stat : 10345 (java) S 10327 10329 9900 0 -1 4202560 1383 0 0 0 35 0 0 0 15 0 19 0 487684149 7840608256 21957 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0

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

[pid=10329/tid=10337] ppid=10327 vsize=7664256 CPUtime=0.06 cores=1,3
/proc/10329/task/10337/stat : 10337 (java) S 10327 10329 9900 0 -1 4202560 547 0 0 0 6 0 0 0 15 0 19 0 487684146 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10338] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10338/stat : 10338 (java) S 10327 10329 9900 0 -1 4202560 1099 0 0 0 9 0 0 0 15 0 19 0 487684146 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10339] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10339/stat : 10339 (java) S 10327 10329 9900 0 -1 4202560 1288 0 0 0 8 0 0 0 16 0 19 0 487684146 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10340] ppid=10327 vsize=7664256 CPUtime=2.74 cores=1,3
/proc/10329/task/10340/stat : 10340 (java) S 10327 10329 9900 0 -1 4202560 7811 0 0 0 273 1 0 0 15 0 19 0 487684147 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 0 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10341] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10341/stat : 10341 (java) S 10327 10329 9900 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10342] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10342/stat : 10342 (java) S 10327 10329 9900 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10343] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10343/stat : 10343 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290703281 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10344] ppid=10327 vsize=7664256 CPUtime=0.27 cores=1,3
/proc/10329/task/10344/stat : 10344 (java) S 10327 10329 9900 0 -1 4202560 5008 0 0 0 27 0 0 0 15 0 19 0 487684149 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10345] ppid=10327 vsize=7664256 CPUtime=0.92 cores=1,3
/proc/10329/task/10345/stat : 10345 (java) S 10327 10329 9900 0 -1 4202560 6795 0 0 0 92 0 0 0 15 0 19 0 487684149 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10346] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10346/stat : 10346 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10347] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10347/stat : 10347 (java) S 10327 10329 9900 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 487684149 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10348] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10348/stat : 10348 (java) S 10327 10329 9900 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487684167 7848198144 33752 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.73
Current children cumulated vsize (KiB) 7664256

[startup+1182.3 s]
/proc/loadavg: 2.00 2.43 3.32 3/214 10478
/proc/meminfo: memFree=20419020/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7664256 CPUtime=1183.73 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 39204 0 1 0 118367 6 0 0 25 0 19 0 487684144 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1916064 33800 2255 9 0 1906802 0
[pid=10329/tid=10330] ppid=10327 vsize=7664256 CPUtime=1179.05 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 12493 0 1 0 117903 2 0 0 25 0 19 0 487684144 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505618473 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10329/tid=10332] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10332/stat : 10332 (java) S 10327 10329 9900 0 -1 4202560 1551 0 0 0 8 0 0 0 16 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10333] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10333/stat : 10333 (java) S 10327 10329 9900 0 -1 4202560 725 0 0 0 9 0 0 0 15 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10334] ppid=10327 vsize=7664256 CPUtime=0.07 cores=1,3
/proc/10329/task/10334/stat : 10334 (java) S 10327 10329 9900 0 -1 4202560 143 0 0 0 7 0 0 0 15 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10335] ppid=10327 vsize=7664256 CPUtime=0.04 cores=1,3
/proc/10329/task/10335/stat : 10335 (java) S 10327 10329 9900 0 -1 4202560 407 0 0 0 4 0 0 0 15 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10336] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10336/stat : 10336 (java) S 10327 10329 9900 0 -1 4202560 115 0 0 0 8 0 0 0 15 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10337] ppid=10327 vsize=7664256 CPUtime=0.06 cores=1,3
/proc/10329/task/10337/stat : 10337 (java) S 10327 10329 9900 0 -1 4202560 547 0 0 0 6 0 0 0 15 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10338] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10338/stat : 10338 (java) S 10327 10329 9900 0 -1 4202560 1099 0 0 0 9 0 0 0 15 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10339] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10339/stat : 10339 (java) S 10327 10329 9900 0 -1 4202560 1288 0 0 0 8 0 0 0 15 0 19 0 487684146 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10340] ppid=10327 vsize=7664256 CPUtime=2.81 cores=1,3
/proc/10329/task/10340/stat : 10340 (java) S 10327 10329 9900 0 -1 4202560 7813 0 0 0 280 1 0 0 15 0 19 0 487684147 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 0 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10341] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10341/stat : 10341 (java) S 10327 10329 9900 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10342] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10342/stat : 10342 (java) S 10327 10329 9900 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10343] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10343/stat : 10343 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290703281 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10344] ppid=10327 vsize=7664256 CPUtime=0.27 cores=1,3
/proc/10329/task/10344/stat : 10344 (java) S 10327 10329 9900 0 -1 4202560 5008 0 0 0 27 0 0 0 15 0 19 0 487684149 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10345] ppid=10327 vsize=7664256 CPUtime=0.92 cores=1,3
/proc/10329/task/10345/stat : 10345 (java) S 10327 10329 9900 0 -1 4202560 6795 0 0 0 92 0 0 0 15 0 19 0 487684149 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10346] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10346/stat : 10346 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10347] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10347/stat : 10347 (java) S 10327 10329 9900 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 487684149 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10348] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10348/stat : 10348 (java) S 10327 10329 9900 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487684167 7848198144 33800 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.73
Current children cumulated vsize (KiB) 7664256

[startup+1242.3 s]
/proc/loadavg: 2.00 2.35 3.23 3/214 10479
/proc/meminfo: memFree=20416748/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7664256 CPUtime=1243.75 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 39806 0 1 0 124369 6 0 0 25 0 19 0 487684144 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1916064 34394 2255 9 0 1906802 0
[pid=10329/tid=10330] ppid=10327 vsize=7664256 CPUtime=1238.92 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 12732 0 1 0 123890 2 0 0 25 0 19 0 487684144 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505618366 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10329/tid=10332] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10332/stat : 10332 (java) S 10327 10329 9900 0 -1 4202560 1555 0 0 0 8 0 0 0 16 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10333] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10333/stat : 10333 (java) S 10327 10329 9900 0 -1 4202560 725 0 0 0 9 0 0 0 15 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10334] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10334/stat : 10334 (java) S 10327 10329 9900 0 -1 4202560 144 0 0 0 8 0 0 0 15 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10335] ppid=10327 vsize=7664256 CPUtime=0.04 cores=1,3
/proc/10329/task/10335/stat : 10335 (java) S 10327 10329 9900 0 -1 4202560 407 0 0 0 4 0 0 0 15 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10336] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10336/stat : 10336 (java) S 10327 10329 9900 0 -1 4202560 115 0 0 0 9 0 0 0 15 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10337] ppid=10327 vsize=7664256 CPUtime=0.06 cores=1,3
/proc/10329/task/10337/stat : 10337 (java) S 10327 10329 9900 0 -1 4202560 547 0 0 0 6 0 0 0 15 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10338] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10338/stat : 10338 (java) S 10327 10329 9900 0 -1 4202560 1099 0 0 0 9 0 0 0 16 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10339] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10339/stat : 10339 (java) S 10327 10329 9900 0 -1 4202560 1288 0 0 0 8 0 0 0 15 0 19 0 487684146 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10340] ppid=10327 vsize=7664256 CPUtime=2.92 cores=1,3
/proc/10329/task/10340/stat : 10340 (java) S 10327 10329 9900 0 -1 4202560 8169 0 0 0 291 1 0 0 15 0 19 0 487684147 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 0 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10341] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10341/stat : 10341 (java) S 10327 10329 9900 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10342] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10342/stat : 10342 (java) S 10327 10329 9900 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10343] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10343/stat : 10343 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290703281 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10344] ppid=10327 vsize=7664256 CPUtime=0.27 cores=1,3
/proc/10329/task/10344/stat : 10344 (java) S 10327 10329 9900 0 -1 4202560 5008 0 0 0 27 0 0 0 15 0 19 0 487684149 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10345] ppid=10327 vsize=7664256 CPUtime=0.92 cores=1,3
/proc/10329/task/10345/stat : 10345 (java) S 10327 10329 9900 0 -1 4202560 6795 0 0 0 92 0 0 0 15 0 19 0 487684149 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10346] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10346/stat : 10346 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10347] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10347/stat : 10347 (java) S 10327 10329 9900 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 487684149 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10348] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10348/stat : 10348 (java) S 10327 10329 9900 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487684167 7848198144 34394 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.75
Current children cumulated vsize (KiB) 7664256



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.61 2.19 3.12 2/190 10501
/proc/meminfo: memFree=20950536/32950904 swapFree=67082284/67111528
[pid=10329] ppid=10327 vsize=7664256 CPUtime=1301.46 cores=1,3
/proc/10329/stat : 10329 (java) S 10327 10329 9900 0 -1 4202496 39989 0 1 0 130140 6 0 0 25 0 19 0 487684144 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10329/statm: 1916064 34570 2255 9 0 1906802 0
[pid=10329/tid=10330] ppid=10327 vsize=7664256 CPUtime=1296.57 cores=1,3
/proc/10329/task/10330/stat : 10330 (java) R 10327 10329 9900 0 -1 4202560 12733 0 1 0 129655 2 0 0 25 0 19 0 487684144 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 46912505586171 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10329/tid=10332] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10332/stat : 10332 (java) S 10327 10329 9900 0 -1 4202560 1555 0 0 0 8 0 0 0 15 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10333] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10333/stat : 10333 (java) S 10327 10329 9900 0 -1 4202560 725 0 0 0 9 0 0 0 16 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10334] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10334/stat : 10334 (java) S 10327 10329 9900 0 -1 4202560 144 0 0 0 8 0 0 0 15 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10335] ppid=10327 vsize=7664256 CPUtime=0.05 cores=1,3
/proc/10329/task/10335/stat : 10335 (java) S 10327 10329 9900 0 -1 4202560 407 0 0 0 5 0 0 0 16 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10336] ppid=10327 vsize=7664256 CPUtime=0.1 cores=1,3
/proc/10329/task/10336/stat : 10336 (java) S 10327 10329 9900 0 -1 4202560 118 0 0 0 10 0 0 0 16 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10337] ppid=10327 vsize=7664256 CPUtime=0.07 cores=1,3
/proc/10329/task/10337/stat : 10337 (java) S 10327 10329 9900 0 -1 4202560 547 0 0 0 7 0 0 0 16 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10338] ppid=10327 vsize=7664256 CPUtime=0.09 cores=1,3
/proc/10329/task/10338/stat : 10338 (java) S 10327 10329 9900 0 -1 4202560 1099 0 0 0 9 0 0 0 15 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10339] ppid=10327 vsize=7664256 CPUtime=0.08 cores=1,3
/proc/10329/task/10339/stat : 10339 (java) S 10327 10329 9900 0 -1 4202560 1288 0 0 0 8 0 0 0 15 0 19 0 487684146 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10340] ppid=10327 vsize=7664256 CPUtime=2.97 cores=1,3
/proc/10329/task/10340/stat : 10340 (java) S 10327 10329 9900 0 -1 4202560 8344 0 0 0 296 1 0 0 15 0 19 0 487684147 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 0 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10341] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10341/stat : 10341 (java) S 10327 10329 9900 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10342] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10342/stat : 10342 (java) S 10327 10329 9900 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487684147 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 1 0 0 0
[pid=10329/tid=10343] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10343/stat : 10343 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290703281 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10344] ppid=10327 vsize=7664256 CPUtime=0.27 cores=1,3
/proc/10329/task/10344/stat : 10344 (java) S 10327 10329 9900 0 -1 4202560 5008 0 0 0 27 0 0 0 15 0 19 0 487684149 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10345] ppid=10327 vsize=7664256 CPUtime=0.92 cores=1,3
/proc/10329/task/10345/stat : 10345 (java) S 10327 10329 9900 0 -1 4202560 6795 0 0 0 92 0 0 0 15 0 19 0 487684149 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10346] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10346/stat : 10346 (java) S 10327 10329 9900 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 487684149 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290695577 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10347] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10347/stat : 10347 (java) S 10327 10329 9900 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 487684149 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
[pid=10329/tid=10348] ppid=10327 vsize=7664256 CPUtime=0 cores=1,3
/proc/10329/task/10348/stat : 10348 (java) S 10327 10329 9900 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487684167 7848198144 34570 33554432000 1073741824 1073778376 140735067059904 18446744073709551615 237290696192 0 4 0 16800975 18446604471121519616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.46
Current children cumulated vsize (KiB) 7664256

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.07
CPU time (s): 1301.6
CPU user time (s): 1301.52
CPU system time (s): 0.073988
CPU usage (%): 100.117
Max. virtual memory (cumulated for all children) (KiB): 7664256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.52
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40025
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= 28410
involuntary context switches= 4999

runsolver used 2.10068 second user time and 5.06323 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-25 21:47:24
IDJOB=3284061
IDBENCH=71098
IDSOLVER=1611
FILE ID=node121/3284061-1303760844
RUNJOBID= node121-1303759508-9920
PBS_JOBID= 13157135
Free space on /tmp= 72016 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.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-3284061-1303760844/watcher-3284061-1303760844 -o /tmp/evaluation-result-3284061-1303760844/solver-3284061-1303760844 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3284061-1303760844.cnf

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

MD5SUM BENCH= 18ad1dee1e9d863458e75a20545ae68a
RANDOM SEED=575713081

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19562192 kB
Buffers:       2145268 kB
Cached:        9250432 kB
SwapCached:       2776 kB
Active:        9981556 kB
Inactive:      2893464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19562192 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           28216 kB
Writeback:           0 kB
AnonPages:     1477132 kB
Mapped:          22432 kB
Slab:           445396 kB
PageTables:       8500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 22081736 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= 72088 MiB
End job on node121 at 2011-04-25 22:09:06