Trace number 3286683

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.04 1300.05

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step21.cnf
MD5SUM4f6c74152fcb90409ea0105b51afa3bd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark73.1309
Satisfiable
(Un)Satisfiability was proved
Number of variables53919
Number of clauses308235
Sum of the clauses size690466
Maximum clause length61
Minimum clause length1
Number of clauses of size 1414
Number of clauses of size 2270265
Number of clauses of size 329435
Number of clauses of size 45675
Number of clauses of size 5487
Number of clauses of size over 51959

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.10	c no version file found!!!
0.04/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.10	c java.vm.version	19.1-b02
0.04/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.10	c sun.arch.data.model	64
0.04/0.10	c java.version		1.6.0_24
0.04/0.10	c os.name		Linux
0.04/0.10	c os.version		2.6.18-164.el5
0.04/0.10	c os.arch		amd64
0.04/0.10	c Free memory 		6997539544
0.04/0.10	c Max memory 		7034241024
0.04/0.10	c Total memory 		7034241024
0.04/0.10	c Number of processors 	8
0.07/0.11	c --- Begin Solver configuration ---
0.07/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@2fe4cbc4
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.11	c Expensive reason simplification
0.07/0.11	c Armin Biere (Picosat) restarts strategy
0.07/0.11	c Glucose learned constraints deletion strategy
0.07/0.11	c timeout=2147483647s
0.07/0.11	c DB Simplification allowed=true
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3286683-1307633283.cnf
0.07/0.11	c reading problem ... 
0.52/0.42	c ... done. Wall clock time 0.302s.
0.52/0.42	c #vars     53919
0.52/0.42	c #constraints  308230
0.52/0.42	c constraints type 
0.52/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37556
0.52/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 270260
4.22/3.89	c cleaning 2471 clauses out of 4969 with flag 5000/5000
8.77/8.36	c cleaning 4226 clauses out of 8500 with flag 11002/11002
14.27/13.89	c cleaning 5580 clauses out of 11208 with flag 18001/18001
20.79/20.30	c cleaning 6769 clauses out of 13622 with flag 26000/26000
27.30/26.85	c cleaning 7900 clauses out of 15847 with flag 35003/35003
34.70/34.26	c cleaning 8908 clauses out of 17946 with flag 45002/45002
43.41/42.95	c cleaning 9980 clauses out of 20033 with flag 56001/56001
52.22/51.74	c cleaning 10985 clauses out of 22054 with flag 68002/68002
63.92/63.44	c cleaning 12005 clauses out of 24065 with flag 81001/81001
75.93/75.48	c cleaning 13013 clauses out of 26059 with flag 95000/95000
87.44/87.00	c cleaning 13989 clauses out of 28046 with flag 110000/110000
103.14/102.64	c cleaning 15018 clauses out of 30062 with flag 126005/126005
116.74/116.21	c cleaning 16011 clauses out of 32040 with flag 143001/143001
133.66/133.19	c cleaning 16937 clauses out of 34028 with flag 161000/161000
148.86/148.39	c cleaning 18012 clauses out of 36091 with flag 180000/180000
166.67/166.19	c cleaning 18987 clauses out of 38079 with flag 200000/200000
184.18/183.62	c cleaning 19973 clauses out of 40092 with flag 221000/221000
200.48/199.95	c cleaning 21042 clauses out of 42120 with flag 243001/243001
221.59/221.02	c cleaning 21982 clauses out of 44077 with flag 266000/266000
242.19/241.63	c cleaning 22999 clauses out of 46097 with flag 290002/290002
263.00/262.47	c cleaning 24029 clauses out of 48097 with flag 315001/315001
284.11/283.54	c cleaning 24949 clauses out of 50048 with flag 341000/341000
308.33/307.70	c cleaning 26050 clauses out of 52101 with flag 368002/368002
330.94/330.38	c cleaning 26992 clauses out of 54051 with flag 396002/396002
355.64/355.00	c cleaning 27993 clauses out of 56057 with flag 425000/425000
383.06/382.43	c cleaning 28997 clauses out of 58064 with flag 455000/455000
408.27/407.63	c cleaning 30016 clauses out of 60069 with flag 486004/486004
441.58/440.96	c cleaning 30998 clauses out of 62053 with flag 518004/518004
471.28/470.62	c cleaning 31984 clauses out of 64053 with flag 551002/551002
499.39/498.71	c cleaning 32965 clauses out of 66068 with flag 585001/585001
530.10/529.42	c cleaning 34016 clauses out of 68104 with flag 620002/620002
562.61/562.00	c cleaning 35000 clauses out of 70089 with flag 656003/656003
598.42/597.77	c cleaning 36003 clauses out of 72087 with flag 693001/693001
628.63/627.91	c cleaning 36953 clauses out of 74083 with flag 731000/731000
662.64/661.94	c cleaning 37985 clauses out of 76132 with flag 770002/770002
705.25/704.55	c cleaning 39023 clauses out of 78146 with flag 810001/810001
743.86/743.18	c cleaning 40004 clauses out of 80122 with flag 851000/851000
780.07/779.32	c cleaning 40989 clauses out of 82119 with flag 893001/893001
823.08/822.32	c cleaning 42023 clauses out of 84132 with flag 936003/936003
867.70/866.95	c cleaning 43050 clauses out of 86114 with flag 980008/980008
912.02/911.29	c cleaning 43950 clauses out of 88056 with flag 1025000/1025000
965.54/964.78	c cleaning 45043 clauses out of 90107 with flag 1071001/1071001
1014.96/1014.17	c cleaning 46007 clauses out of 92067 with flag 1118004/1118004
1061.36/1060.53	c cleaning 47017 clauses out of 94052 with flag 1166000/1166000
1098.48/1097.69	c cleaning 47997 clauses out of 96035 with flag 1215000/1215000
1142.19/1141.39	c cleaning 48979 clauses out of 98039 with flag 1265001/1265001
1193.90/1193.02	c cleaning 49954 clauses out of 100060 with flag 1316001/1316001
1244.62/1243.74	c cleaning 51011 clauses out of 102105 with flag 1368000/1368000
1287.64/1286.79	c cleaning 51959 clauses out of 104097 with flag 1421003/1421003
1300.95/1300.01	c starts		: 1372
1300.95/1300.01	c conflicts		: 1437860
1300.95/1300.01	c decisions		: 3006098
1300.95/1300.01	c propagations		: 1986428312
1300.95/1300.01	c inspects		: 8866266401
1300.95/1300.01	c shortcuts		: 0
1300.95/1300.01	c learnt literals	: 23
1300.95/1300.01	c learnt binary clauses	: 637
1300.95/1300.01	c learnt ternary clauses	: 1464
1300.95/1300.01	c learnt constraints	: 1437837
1300.95/1300.01	c ignored constraints	: 0
1300.95/1300.01	c root simplifications	: 1395
1300.95/1300.01	c removed literals (reason simplification)	: 193060035
1300.95/1300.01	c reason swapping (by a shorter reason)	: 0
1300.95/1300.01	c Calls to reduceDB	: 49
1300.95/1300.01	c speed (assignments/second)	: 1528500.3404912152
1300.95/1300.01	c non guided choices	35627
1300.95/1300.04	c learnt constraints type 
1300.95/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 618
1300.95/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68399
1300.95/1300.04	c constraints type 
1300.95/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37556
1300.95/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 270260
1300.95/1300.04	s UNKNOWN
1300.95/1300.04	c Total wall clock time (in seconds) : 1299.896

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: 977)

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-3286683-1307633283/watcher-3286683-1307633283 -o /tmp/evaluation-result-3286683-1307633283/solver-3286683-1307633283 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3286683-1307633283.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: 0.13 0.07 0.02 2/175 20460
/proc/meminfo: memFree=32231776/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=252 CPUtime=0 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4194304 78 0 0 0 0 0 0 0 17 0 1 0 874926505 258048 32 33554432000 1073741824 1073778376 140733848019904 18446744073709551615 232330968711 0 2147483391 4096 0 18446744071699453118 0 0 17 1 0 0 0
/proc/20460/statm: 63 32 24 9 0 22 0

[startup+0.0678211 s]
/proc/loadavg: 0.13 0.07 0.02 2/175 20460
/proc/meminfo: memFree=32231776/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7564488 CPUtime=0.04 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 8941 0 1 0 3 1 0 0 17 0 13 0 874926505 7746035712 8637 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1891122 8637 1686 9 0 1881870 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564488

[startup+0.108579 s]
/proc/loadavg: 0.13 0.07 0.02 2/175 20460
/proc/meminfo: memFree=32231776/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7570804 CPUtime=0.07 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 10056 0 1 0 6 1 0 0 17 0 18 0 874926505 7752503296 9752 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1892701 9753 2077 9 0 1883439 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7570804

[startup+0.300664 s]
/proc/loadavg: 0.13 0.07 0.02 2/175 20460
/proc/meminfo: memFree=32231776/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7637740 CPUtime=0.42 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 14992 0 1 0 40 2 0 0 17 0 18 0 874926505 7821045760 14482 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1909435 14483 2204 9 0 1900173 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7637740

[startup+0.700574 s]
/proc/loadavg: 0.13 0.07 0.02 2/175 20460
/proc/meminfo: memFree=32231776/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7646576 CPUtime=1.02 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 22149 0 1 0 99 3 0 0 17 0 19 0 874926505 7830093824 20634 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1911644 20634 2218 9 0 1902382 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 7646576

[startup+1.50145 s]
/proc/loadavg: 0.13 0.07 0.02 2/194 20479
/proc/meminfo: memFree=32157448/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7646576 CPUtime=1.92 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 22480 0 1 0 189 3 0 0 17 0 19 0 874926505 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1911644 20861 2225 9 0 1902382 0
[pid=20460/tid=20462] ppid=20458 vsize=7646576 CPUtime=1.23 cores=1,3
/proc/20460/task/20462/stat : 20462 (java) R 20458 20460 20425 0 -1 4202560 16894 0 1 0 121 2 0 0 25 0 19 0 874926506 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 46912505646402 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20460/tid=20463] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20463/stat : 20463 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20464] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20464/stat : 20464 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20465] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20465/stat : 20465 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20466] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20466/stat : 20466 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20467] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20467/stat : 20467 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20468] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20468/stat : 20468 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20469] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20469/stat : 20469 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20470] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20470/stat : 20470 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20471] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20471/stat : 20471 (java) S 20458 20460 20425 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 874926509 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20472] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20472/stat : 20472 (java) S 20458 20460 20425 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 874926510 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20473] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20473/stat : 20473 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 874926510 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20474] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20474/stat : 20474 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926513 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347716017 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20475] ppid=20458 vsize=7646576 CPUtime=0.22 cores=1,3
/proc/20460/task/20475/stat : 20475 (java) S 20458 20460 20425 0 -1 4202560 2350 0 0 0 22 0 0 0 15 0 19 0 874926513 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20476] ppid=20458 vsize=7646576 CPUtime=0.45 cores=1,3
/proc/20460/task/20476/stat : 20476 (java) S 20458 20460 20425 0 -1 4202560 2075 0 0 0 45 0 0 0 15 0 19 0 874926513 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20477] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20477/stat : 20477 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 874926513 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20478] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20478/stat : 20478 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926513 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20479] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20479/stat : 20479 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 874926552 7830093824 20861 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 7646576

[startup+3.10116 s]
/proc/loadavg: 0.13 0.07 0.02 2/194 20479
/proc/meminfo: memFree=32156456/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7646576 CPUtime=3.52 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 22779 0 1 0 349 3 0 0 17 0 19 0 874926505 7830093824 21142 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1911644 21142 2225 9 0 1902382 0
[pid=20460/tid=20462] ppid=20458 vsize=7646576 CPUtime=2.81 cores=1,3
/proc/20460/task/20462/stat : 20462 (java) R 20458 20460 20425 0 -1 4202560 17168 0 1 0 279 2 0 0 18 0 19 0 874926506 7830093824 21142 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 46912505786182 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20460/tid=20463] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20463/stat : 20463 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 874926508 7830093824 21142 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20464] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20464/stat : 20464 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 21142 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20465] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20465/stat : 20465 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 21142 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20466] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20466/stat : 20466 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 21142 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20467] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20467/stat : 20467 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20468] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20468/stat : 20468 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20469] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20469/stat : 20469 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20470] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20470/stat : 20470 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926508 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20471] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20471/stat : 20471 (java) S 20458 20460 20425 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 874926509 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20472] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20472/stat : 20472 (java) S 20458 20460 20425 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 874926510 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20473] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20473/stat : 20473 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 874926510 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20474] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20474/stat : 20474 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926513 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347716017 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20475] ppid=20458 vsize=7646576 CPUtime=0.22 cores=1,3
/proc/20460/task/20475/stat : 20475 (java) S 20458 20460 20425 0 -1 4202560 2350 0 0 0 22 0 0 0 15 0 19 0 874926513 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20476] ppid=20458 vsize=7646576 CPUtime=0.46 cores=1,3
/proc/20460/task/20476/stat : 20476 (java) S 20458 20460 20425 0 -1 4202560 2099 0 0 0 46 0 0 0 15 0 19 0 874926513 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20477] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20477/stat : 20477 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 874926513 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20478] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20478/stat : 20478 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926513 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20479] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20479/stat : 20479 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 874926552 7830093824 21143 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 7646576

[startup+6.30159 s]
/proc/loadavg: 0.20 0.09 0.02 2/194 20479
/proc/meminfo: memFree=32099044/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7646576 CPUtime=6.76 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 37295 0 1 0 671 5 0 0 17 0 19 0 874926505 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1911644 35303 2252 9 0 1902382 0
[pid=20460/tid=20462] ppid=20458 vsize=7646576 CPUtime=5.81 cores=1,3
/proc/20460/task/20462/stat : 20462 (java) R 20458 20460 20425 0 -1 4202560 17295 0 1 0 579 2 0 0 19 0 19 0 874926506 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 46912505820769 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20460/tid=20463] ppid=20458 vsize=7646576 CPUtime=0.04 cores=1,3
/proc/20460/task/20463/stat : 20463 (java) S 20458 20460 20425 0 -1 4202560 2994 0 0 0 4 0 0 0 18 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20464] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20464/stat : 20464 (java) S 20458 20460 20425 0 -1 4202560 692 0 0 0 0 0 0 0 18 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20465] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20465/stat : 20465 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20466] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20466/stat : 20466 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20467] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20467/stat : 20467 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20468] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20468/stat : 20468 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20469] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20469/stat : 20469 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20470] ppid=20458 vsize=7646576 CPUtime=0.03 cores=1,3
/proc/20460/task/20470/stat : 20470 (java) S 20458 20460 20425 0 -1 4202560 3294 0 0 0 3 0 0 0 18 0 19 0 874926508 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20471] ppid=20458 vsize=7646576 CPUtime=0.1 cores=1,3
/proc/20460/task/20471/stat : 20471 (java) S 20458 20460 20425 0 -1 4202560 6967 0 0 0 9 1 0 0 15 0 19 0 874926509 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20472] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20472/stat : 20472 (java) S 20458 20460 20425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20473] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20473/stat : 20473 (java) S 20458 20460 20425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20474] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20474/stat : 20474 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926513 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347716017 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20475] ppid=20458 vsize=7646576 CPUtime=0.22 cores=1,3
/proc/20460/task/20475/stat : 20475 (java) S 20458 20460 20425 0 -1 4202560 2350 0 0 0 22 0 0 0 15 0 19 0 874926513 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20476] ppid=20458 vsize=7646576 CPUtime=0.51 cores=1,3
/proc/20460/task/20476/stat : 20476 (java) S 20458 20460 20425 0 -1 4202560 2546 0 0 0 51 0 0 0 15 0 19 0 874926513 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20477] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20477/stat : 20477 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 874926513 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20478] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20478/stat : 20478 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926513 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20479] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20479/stat : 20479 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 874926552 7830093824 35303 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 7646576

[startup+12.7015 s]

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

[pid=20460/tid=20468] ppid=20458 vsize=7646576 CPUtime=0.11 cores=1,3
/proc/20460/task/20468/stat : 20468 (java) S 20458 20460 20425 0 -1 4202560 765 0 0 0 11 0 0 0 15 0 19 0 874926508 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20469] ppid=20458 vsize=7646576 CPUtime=0.06 cores=1,3
/proc/20460/task/20469/stat : 20469 (java) S 20458 20460 20425 0 -1 4202560 1226 0 0 0 6 0 0 0 15 0 19 0 874926508 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20470] ppid=20458 vsize=7646576 CPUtime=0.16 cores=1,3
/proc/20460/task/20470/stat : 20470 (java) S 20458 20460 20425 0 -1 4202560 4799 0 0 0 16 0 0 0 15 0 19 0 874926508 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20471] ppid=20458 vsize=7646576 CPUtime=4.55 cores=1,3
/proc/20460/task/20471/stat : 20471 (java) S 20458 20460 20425 0 -1 4202560 13260 0 0 0 454 1 0 0 15 0 19 0 874926509 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20472] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20472/stat : 20472 (java) S 20458 20460 20425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20473] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20473/stat : 20473 (java) S 20458 20460 20425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20474] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20474/stat : 20474 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926513 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347716017 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20475] ppid=20458 vsize=7646576 CPUtime=0.22 cores=1,3
/proc/20460/task/20475/stat : 20475 (java) S 20458 20460 20425 0 -1 4202560 2350 0 0 0 22 0 0 0 15 0 19 0 874926513 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20476] ppid=20458 vsize=7646576 CPUtime=0.55 cores=1,3
/proc/20460/task/20476/stat : 20476 (java) S 20458 20460 20425 0 -1 4202560 3121 0 0 0 55 0 0 0 15 0 19 0 874926513 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20477] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20477/stat : 20477 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 874926513 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20478] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20478/stat : 20478 (java) S 20458 20460 20425 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 874926513 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20479] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20479/stat : 20479 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 874926552 7830093824 48571 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.19
Current children cumulated vsize (KiB) 7646576

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.45 3/215 20542
/proc/meminfo: memFree=31971564/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7646576 CPUtime=1183.2 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 51209 0 1 0 118312 8 0 0 17 0 19 0 874926505 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1911644 48639 2254 9 0 1902382 0
[pid=20460/tid=20462] ppid=20458 vsize=7646576 CPUtime=1176.78 cores=1,3
/proc/20460/task/20462/stat : 20462 (java) R 20458 20460 20425 0 -1 4202560 18246 0 1 0 117675 3 0 0 25 0 19 0 874926506 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 46912505790285 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20460/tid=20463] ppid=20458 vsize=7646576 CPUtime=0.17 cores=1,3
/proc/20460/task/20463/stat : 20463 (java) S 20458 20460 20425 0 -1 4202560 3768 0 0 0 17 0 0 0 15 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20464] ppid=20458 vsize=7646576 CPUtime=0.06 cores=1,3
/proc/20460/task/20464/stat : 20464 (java) S 20458 20460 20425 0 -1 4202560 701 0 0 0 6 0 0 0 16 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20465] ppid=20458 vsize=7646576 CPUtime=0.12 cores=1,3
/proc/20460/task/20465/stat : 20465 (java) S 20458 20460 20425 0 -1 4202560 831 0 0 0 12 0 0 0 15 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20466] ppid=20458 vsize=7646576 CPUtime=0.09 cores=1,3
/proc/20460/task/20466/stat : 20466 (java) S 20458 20460 20425 0 -1 4202560 322 0 0 0 9 0 0 0 15 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20467] ppid=20458 vsize=7646576 CPUtime=0.09 cores=1,3
/proc/20460/task/20467/stat : 20467 (java) S 20458 20460 20425 0 -1 4202560 534 0 0 0 9 0 0 0 15 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20468] ppid=20458 vsize=7646576 CPUtime=0.11 cores=1,3
/proc/20460/task/20468/stat : 20468 (java) S 20458 20460 20425 0 -1 4202560 765 0 0 0 11 0 0 0 16 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20469] ppid=20458 vsize=7646576 CPUtime=0.07 cores=1,3
/proc/20460/task/20469/stat : 20469 (java) S 20458 20460 20425 0 -1 4202560 1226 0 0 0 7 0 0 0 16 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20470] ppid=20458 vsize=7646576 CPUtime=0.16 cores=1,3
/proc/20460/task/20470/stat : 20470 (java) S 20458 20460 20425 0 -1 4202560 4799 0 0 0 16 0 0 0 15 0 19 0 874926508 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20471] ppid=20458 vsize=7646576 CPUtime=4.66 cores=1,3
/proc/20460/task/20471/stat : 20471 (java) S 20458 20460 20425 0 -1 4202560 13326 0 0 0 465 1 0 0 15 0 19 0 874926509 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20472] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20472/stat : 20472 (java) S 20458 20460 20425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20473] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20473/stat : 20473 (java) S 20458 20460 20425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20474] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20474/stat : 20474 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926513 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347716017 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20475] ppid=20458 vsize=7646576 CPUtime=0.22 cores=1,3
/proc/20460/task/20475/stat : 20475 (java) S 20458 20460 20425 0 -1 4202560 2350 0 0 0 22 0 0 0 15 0 19 0 874926513 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20476] ppid=20458 vsize=7646576 CPUtime=0.55 cores=1,3
/proc/20460/task/20476/stat : 20476 (java) S 20458 20460 20425 0 -1 4202560 3121 0 0 0 55 0 0 0 15 0 19 0 874926513 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20477] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20477/stat : 20477 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 874926513 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20478] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20478/stat : 20478 (java) S 20458 20460 20425 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 874926513 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20479] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20479/stat : 20479 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 874926552 7830093824 48639 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.2
Current children cumulated vsize (KiB) 7646576

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.48 3/215 20544
/proc/meminfo: memFree=31962184/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7646576 CPUtime=1243.22 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 53343 0 1 0 124314 8 0 0 17 0 19 0 874926505 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1911644 50760 2254 9 0 1902382 0
[pid=20460/tid=20462] ppid=20458 vsize=7646576 CPUtime=1236.66 cores=1,3
/proc/20460/task/20462/stat : 20462 (java) R 20458 20460 20425 0 -1 4202560 18247 0 1 0 123663 3 0 0 25 0 19 0 874926506 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 46912505701240 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20460/tid=20463] ppid=20458 vsize=7646576 CPUtime=0.17 cores=1,3
/proc/20460/task/20463/stat : 20463 (java) S 20458 20460 20425 0 -1 4202560 3768 0 0 0 17 0 0 0 15 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20464] ppid=20458 vsize=7646576 CPUtime=0.06 cores=1,3
/proc/20460/task/20464/stat : 20464 (java) S 20458 20460 20425 0 -1 4202560 701 0 0 0 6 0 0 0 15 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20465] ppid=20458 vsize=7646576 CPUtime=0.14 cores=1,3
/proc/20460/task/20465/stat : 20465 (java) S 20458 20460 20425 0 -1 4202560 1600 0 0 0 14 0 0 0 16 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20466] ppid=20458 vsize=7646576 CPUtime=0.09 cores=1,3
/proc/20460/task/20466/stat : 20466 (java) S 20458 20460 20425 0 -1 4202560 322 0 0 0 9 0 0 0 15 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20467] ppid=20458 vsize=7646576 CPUtime=0.09 cores=1,3
/proc/20460/task/20467/stat : 20467 (java) S 20458 20460 20425 0 -1 4202560 534 0 0 0 9 0 0 0 15 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20468] ppid=20458 vsize=7646576 CPUtime=0.13 cores=1,3
/proc/20460/task/20468/stat : 20468 (java) S 20458 20460 20425 0 -1 4202560 1680 0 0 0 13 0 0 0 16 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20469] ppid=20458 vsize=7646576 CPUtime=0.07 cores=1,3
/proc/20460/task/20469/stat : 20469 (java) S 20458 20460 20425 0 -1 4202560 1226 0 0 0 7 0 0 0 15 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20470] ppid=20458 vsize=7646576 CPUtime=0.16 cores=1,3
/proc/20460/task/20470/stat : 20470 (java) S 20458 20460 20425 0 -1 4202560 4799 0 0 0 16 0 0 0 15 0 19 0 874926508 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20471] ppid=20458 vsize=7646576 CPUtime=4.77 cores=1,3
/proc/20460/task/20471/stat : 20471 (java) S 20458 20460 20425 0 -1 4202560 13771 0 0 0 476 1 0 0 15 0 19 0 874926509 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20472] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20472/stat : 20472 (java) S 20458 20460 20425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20473] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20473/stat : 20473 (java) S 20458 20460 20425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20474] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20474/stat : 20474 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926513 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347716017 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20475] ppid=20458 vsize=7646576 CPUtime=0.22 cores=1,3
/proc/20460/task/20475/stat : 20475 (java) S 20458 20460 20425 0 -1 4202560 2350 0 0 0 22 0 0 0 15 0 19 0 874926513 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20476] ppid=20458 vsize=7646576 CPUtime=0.55 cores=1,3
/proc/20460/task/20476/stat : 20476 (java) S 20458 20460 20425 0 -1 4202560 3121 0 0 0 55 0 0 0 15 0 19 0 874926513 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20477] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20477/stat : 20477 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 874926513 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20478] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20478/stat : 20478 (java) S 20458 20460 20425 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 874926513 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20479] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20479/stat : 20479 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 874926552 7830093824 50760 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.22
Current children cumulated vsize (KiB) 7646576



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.06 2.03 1.52 3/215 20545
/proc/meminfo: memFree=31961984/32951124 swapFree=67063272/67111528
[pid=20460] ppid=20458 vsize=7646576 CPUtime=1300.95 cores=1,3
/proc/20460/stat : 20460 (java) S 20458 20460 20425 0 -1 4202496 53352 0 1 0 130087 8 0 0 17 0 19 0 874926505 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20460/statm: 1911644 50761 2254 9 0 1902382 0
[pid=20460/tid=20462] ppid=20458 vsize=7646576 CPUtime=1294.09 cores=1,3
/proc/20460/task/20462/stat : 20462 (java) R 20458 20460 20425 0 -1 4202560 18249 0 1 0 129406 3 0 0 25 0 19 0 874926506 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 46912505366594 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20460/tid=20463] ppid=20458 vsize=7646576 CPUtime=0.17 cores=1,3
/proc/20460/task/20463/stat : 20463 (java) S 20458 20460 20425 0 -1 4202560 3768 0 0 0 17 0 0 0 15 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20464] ppid=20458 vsize=7646576 CPUtime=0.08 cores=1,3
/proc/20460/task/20464/stat : 20464 (java) S 20458 20460 20425 0 -1 4202560 701 0 0 0 8 0 0 0 15 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20465] ppid=20458 vsize=7646576 CPUtime=0.14 cores=1,3
/proc/20460/task/20465/stat : 20465 (java) S 20458 20460 20425 0 -1 4202560 1600 0 0 0 14 0 0 0 15 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20466] ppid=20458 vsize=7646576 CPUtime=0.09 cores=1,3
/proc/20460/task/20466/stat : 20466 (java) S 20458 20460 20425 0 -1 4202560 322 0 0 0 9 0 0 0 15 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20467] ppid=20458 vsize=7646576 CPUtime=0.1 cores=1,3
/proc/20460/task/20467/stat : 20467 (java) S 20458 20460 20425 0 -1 4202560 535 0 0 0 10 0 0 0 16 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20468] ppid=20458 vsize=7646576 CPUtime=0.14 cores=1,3
/proc/20460/task/20468/stat : 20468 (java) S 20458 20460 20425 0 -1 4202560 1680 0 0 0 14 0 0 0 16 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20469] ppid=20458 vsize=7646576 CPUtime=0.08 cores=1,3
/proc/20460/task/20469/stat : 20469 (java) S 20458 20460 20425 0 -1 4202560 1226 0 0 0 8 0 0 0 16 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20470] ppid=20458 vsize=7646576 CPUtime=0.18 cores=1,3
/proc/20460/task/20470/stat : 20470 (java) S 20458 20460 20425 0 -1 4202560 4799 0 0 0 18 0 0 0 16 0 19 0 874926508 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20471] ppid=20458 vsize=7646576 CPUtime=5.01 cores=1,3
/proc/20460/task/20471/stat : 20471 (java) S 20458 20460 20425 0 -1 4202560 13775 0 0 0 500 1 0 0 15 0 19 0 874926509 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 0 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20472] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20472/stat : 20472 (java) S 20458 20460 20425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20473] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20473/stat : 20473 (java) S 20458 20460 20425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926510 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20474] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20474/stat : 20474 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 874926513 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347716017 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20475] ppid=20458 vsize=7646576 CPUtime=0.22 cores=1,3
/proc/20460/task/20475/stat : 20475 (java) S 20458 20460 20425 0 -1 4202560 2350 0 0 0 22 0 0 0 15 0 19 0 874926513 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20476] ppid=20458 vsize=7646576 CPUtime=0.55 cores=1,3
/proc/20460/task/20476/stat : 20476 (java) S 20458 20460 20425 0 -1 4202560 3121 0 0 0 55 0 0 0 15 0 19 0 874926513 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=20460/tid=20477] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20477/stat : 20477 (java) S 20458 20460 20425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 874926513 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708313 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20478] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20478/stat : 20478 (java) S 20458 20460 20425 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 874926513 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=20460/tid=20479] ppid=20458 vsize=7646576 CPUtime=0 cores=1,3
/proc/20460/task/20479/stat : 20479 (java) S 20458 20460 20425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 874926552 7830093824 50761 33554432000 1073741824 1073778376 140735921664352 18446744073709551615 232347708928 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1300.95
Current children cumulated vsize (KiB) 7646576

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.04
CPU user time (s): 1300.94
CPU system time (s): 0.095985
CPU usage (%): 100.076
Max. virtual memory (cumulated for all children) (KiB): 7646576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.94
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53398
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= 28115
involuntary context switches= 4983

runsolver used 2.19067 second user time and 4.92325 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-09 17:28:03
IDJOB=3286683
IDBENCH=82432
IDSOLVER=1611
FILE ID=node132/3286683-1307633283
RUNJOBID= node132-1307633277-20445
PBS_JOBID= 13549360
Free space on /tmp= 74184 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.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-3286683-1307633283/watcher-3286683-1307633283 -o /tmp/evaluation-result-3286683-1307633283/solver-3286683-1307633283 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3286683-1307633283.cnf

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

MD5SUM BENCH= 4f6c74152fcb90409ea0105b51afa3bd
RANDOM SEED=1502505893

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32232328 kB
Buffers:        175360 kB
Cached:         321520 kB
SwapCached:       9968 kB
Active:         281900 kB
Inactive:       232560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32232328 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:            5308 kB
Writeback:           0 kB
AnonPages:       15392 kB
Mapped:           8704 kB
Slab:           139972 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   158688 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74184 MiB
End job on node132 at 2011-06-09 17:49:45