Trace number 3264064

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

General information on the benchmark

NameSAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
MD5SUM00e6f1cbbaaa8f43dc6451d49bfa1cef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.241962
Satisfiable
(Un)Satisfiability was proved
Number of variables975
Number of clauses34275
Sum of the clauses size69375
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 234200
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.07	c no version file found!!!
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.07	c java.vm.version	19.1-b02
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version		1.6.0_24
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.18-164.el5
0.01/0.07	c os.arch		amd64
0.01/0.07	c Free memory 		6997539544
0.01/0.07	c Max memory 		7034241024
0.01/0.07	c Total memory 		7034241024
0.01/0.07	c Number of processors 	8
0.01/0.09	c --- Begin Solver configuration ---
0.01/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.01/0.09	c Learn all clauses as in MiniSAT
0.01/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.01/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.01/0.09	c Expensive reason simplification
0.01/0.09	c Armin Biere (Picosat) restarts strategy
0.01/0.09	c Glucose learned constraints deletion strategy
0.01/0.09	c timeout=2147483647s
0.01/0.09	c DB Simplification allowed=true
0.01/0.09	c --- End Solver configuration ---
0.01/0.09	c solving HOME/instance-3264064-1303574057.cnf
0.01/0.09	c reading problem ... 
0.09/0.19	c ... done. Wall clock time 0.102s.
0.09/0.19	c #vars     975
0.09/0.19	c #constraints  34275
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 34200
1.32/0.96	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.66/1.85	c cleaning 4246 clauses out of 8502 with flag 11001/11001
3.85/3.02	c cleaning 5616 clauses out of 11255 with flag 18000/18000
5.34/4.52	c cleaning 6811 clauses out of 13640 with flag 26001/26001
7.13/6.39	c cleaning 7910 clauses out of 15828 with flag 35000/35000
9.33/8.58	c cleaning 8942 clauses out of 17918 with flag 45000/45000
11.94/11.16	c cleaning 9973 clauses out of 19978 with flag 56002/56002
15.04/14.22	c cleaning 10992 clauses out of 22003 with flag 68000/68000
18.74/17.90	c cleaning 11989 clauses out of 24011 with flag 81000/81000
22.74/21.99	c cleaning 12994 clauses out of 26022 with flag 95000/95000
27.64/26.86	c cleaning 14008 clauses out of 28029 with flag 110001/110001
33.04/32.20	c cleaning 15009 clauses out of 30022 with flag 126002/126002
38.94/38.19	c cleaning 15987 clauses out of 32011 with flag 143000/143000
45.84/45.10	c cleaning 16975 clauses out of 34024 with flag 161000/161000
53.04/52.23	c cleaning 18014 clauses out of 36050 with flag 180001/180001
61.35/60.54	c cleaning 18996 clauses out of 38035 with flag 200000/200000
70.55/69.70	c cleaning 20003 clauses out of 40040 with flag 221001/221001
80.25/79.44	c cleaning 21011 clauses out of 42036 with flag 243000/243000
90.96/90.17	c cleaning 21998 clauses out of 44025 with flag 266000/266000
102.96/102.19	c cleaning 23001 clauses out of 46027 with flag 290000/290000
115.66/114.85	c cleaning 24001 clauses out of 48026 with flag 315000/315000
129.17/128.38	c cleaning 24997 clauses out of 50025 with flag 341000/341000
142.87/142.08	c cleaning 26005 clauses out of 52028 with flag 368000/368000
158.37/157.51	c cleaning 26997 clauses out of 54024 with flag 396001/396001
175.08/174.29	c cleaning 28002 clauses out of 56026 with flag 425000/425000
192.58/191.72	c cleaning 29000 clauses out of 58024 with flag 455000/455000
211.69/210.88	c cleaning 29999 clauses out of 60026 with flag 486002/486002
232.50/231.66	c cleaning 31000 clauses out of 62026 with flag 518001/518001
253.60/252.74	c cleaning 32006 clauses out of 64025 with flag 551000/551000
278.30/277.42	c cleaning 33005 clauses out of 66019 with flag 585000/585000
304.01/303.12	c cleaning 33993 clauses out of 68014 with flag 620000/620000
331.01/330.19	c cleaning 34502 clauses out of 69021 with flag 655000/655000
357.52/356.67	c cleaning 34750 clauses out of 69519 with flag 690000/690000
383.63/382.76	c cleaning 34862 clauses out of 69770 with flag 725001/725001
411.24/410.37	c cleaning 34920 clauses out of 69909 with flag 760002/760002
438.15/437.21	c cleaning 34987 clauses out of 69988 with flag 795001/795001
462.65/461.76	c cleaning 34983 clauses out of 70000 with flag 830000/830000
489.36/488.41	c cleaning 34992 clauses out of 70017 with flag 865000/865000
514.36/513.46	c cleaning 35002 clauses out of 70029 with flag 900004/900004
541.07/540.16	c cleaning 34991 clauses out of 70023 with flag 935000/935000
566.38/565.44	c cleaning 34994 clauses out of 70033 with flag 970001/970001
593.27/592.39	c cleaning 35009 clauses out of 70039 with flag 1005001/1005001
619.09/618.12	c cleaning 34998 clauses out of 70029 with flag 1040000/1040000
644.49/643.55	c cleaning 34999 clauses out of 70032 with flag 1075001/1075001
668.99/668.01	c cleaning 34989 clauses out of 70032 with flag 1110000/1110000
695.49/694.53	c cleaning 35022 clauses out of 70045 with flag 1145002/1145002
720.60/719.61	c cleaning 34988 clauses out of 70022 with flag 1180001/1180001
747.00/746.04	c cleaning 35003 clauses out of 70035 with flag 1215002/1215002
772.81/771.80	c cleaning 34999 clauses out of 70030 with flag 1250000/1250000
798.01/797.09	c cleaning 35004 clauses out of 70034 with flag 1285003/1285003
823.02/822.05	c cleaning 34998 clauses out of 70027 with flag 1320000/1320000
846.12/845.11	c cleaning 34992 clauses out of 70029 with flag 1355000/1355000
871.53/870.57	c cleaning 34998 clauses out of 70037 with flag 1390000/1390000
895.53/894.52	c cleaning 35005 clauses out of 70039 with flag 1425000/1425000
920.73/919.75	c cleaning 35014 clauses out of 70034 with flag 1460000/1460000
945.24/944.28	c cleaning 34996 clauses out of 70021 with flag 1495001/1495001
970.44/969.40	c cleaning 34982 clauses out of 70024 with flag 1530000/1530000
994.15/993.19	c cleaning 35002 clauses out of 70042 with flag 1565000/1565000
1018.75/1017.78	c cleaning 35007 clauses out of 70041 with flag 1600001/1600001
1041.76/1040.74	c cleaning 35003 clauses out of 70035 with flag 1635002/1635002
1065.87/1064.89	c cleaning 34999 clauses out of 70032 with flag 1670002/1670002
1090.76/1089.71	c cleaning 35006 clauses out of 70032 with flag 1705001/1705001
1114.17/1113.13	c cleaning 34994 clauses out of 70026 with flag 1740001/1740001
1137.07/1136.03	c cleaning 34989 clauses out of 70032 with flag 1775001/1775001
1161.78/1160.77	c cleaning 35013 clauses out of 70042 with flag 1810000/1810000
1185.48/1184.48	c cleaning 35001 clauses out of 70029 with flag 1845000/1845000
1208.79/1207.73	c cleaning 34999 clauses out of 70028 with flag 1880000/1880000
1231.29/1230.28	c cleaning 34991 clauses out of 70029 with flag 1915000/1915000
1256.10/1255.07	c cleaning 35002 clauses out of 70038 with flag 1950000/1950000
1278.69/1277.69	c cleaning 35008 clauses out of 70039 with flag 1985003/1985003
1301.10/1300.01	c starts		: 1556
1301.10/1300.01	c conflicts		: 2018356
1301.10/1300.01	c decisions		: 2937467
1301.10/1300.01	c propagations		: 272505842
1301.10/1300.03	c inspects		: 15114824057
1301.10/1300.03	c shortcuts		: 0
1301.10/1300.03	c learnt literals	: 0
1301.10/1300.03	c learnt binary clauses	: 34
1301.10/1300.03	c learnt ternary clauses	: 179
1301.10/1300.03	c learnt constraints	: 2018356
1301.10/1300.03	c ignored constraints	: 0
1301.10/1300.03	c root simplifications	: 1556
1301.10/1300.03	c removed literals (reason simplification)	: 61835876
1301.10/1300.03	c reason swapping (by a shorter reason)	: 0
1301.10/1300.03	c Calls to reduceDB	: 70
1301.10/1300.03	c speed (assignments/second)	: 209648.74548110858
1301.10/1300.03	c non guided choices	109
1301.10/1300.04	c learnt constraints type 
1301.10/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 34
1301.10/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68351
1301.10/1300.04	c constraints type 
1301.10/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75
1301.10/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 34200
1301.10/1300.04	s UNKNOWN
1301.10/1300.04	c Total wall clock time (in seconds) : 1299.924

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

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.46 3.87 3.82 8/237 19847
/proc/meminfo: memFree=17368096/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=33696 CPUtime=0 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 1298 0 0 0 0 0 0 0 24 0 2 0 449821643 34504704 1007 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 8425 1009 777 9 0 387 0
[pid=19847/tid=19848] ppid=19845 vsize=33696 CPUtime=0 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 186 0 0 0 0 0 0 0 25 0 2 0 449821644 34504704 1008 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220811312775 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0180791 s]
/proc/loadavg: 3.46 3.87 3.82 8/237 19847
/proc/meminfo: memFree=17368096/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7549900 CPUtime=0.01 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 7499 0 1 0 0 1 0 0 24 0 10 0 449821643 7731097600 7199 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1887475 7200 984 9 0 1878631 0
[pid=19847/tid=19848] ppid=19845 vsize=7549900 CPUtime=0 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 6377 0 1 0 0 0 0 0 25 0 10 0 449821644 7731097600 7200 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 47343064282520 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7549900

[startup+0.10106 s]
/proc/loadavg: 3.46 3.87 3.82 8/237 19847
/proc/meminfo: memFree=17368096/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 9829 0 1 0 8 1 0 0 24 0 18 0 449821643 7751618560 9524 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1892485 9524 1757 9 0 1883223 0
[pid=19847/tid=19848] ppid=19845 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 8654 0 1 0 8 1 0 0 25 0 18 0 449821644 7751618560 9524 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505175287 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.300991 s]
/proc/loadavg: 3.46 3.87 3.82 8/237 19847
/proc/meminfo: memFree=17368096/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7581052 CPUtime=0.49 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 14185 0 1 0 47 2 0 0 24 0 19 0 449821643 7762997248 12895 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1895263 12895 2208 9 0 1886001 0
[pid=19847/tid=19848] ppid=19845 vsize=7581052 CPUtime=0.28 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 9262 0 1 0 27 1 0 0 25 0 19 0 449821644 7762997248 12895 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505217871 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7581052

[startup+0.700917 s]
/proc/loadavg: 3.46 3.87 3.82 8/237 19847
/proc/meminfo: memFree=17368096/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7581480 CPUtime=1.07 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 14829 0 1 0 105 2 0 0 24 0 19 0 449821643 7763435520 13539 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1895370 13539 2222 9 0 1886108 0
[pid=19847/tid=19848] ppid=19845 vsize=7581480 CPUtime=0.68 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 9627 0 1 0 67 1 0 0 25 0 19 0 449821644 7763435520 13539 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505514045 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 7581480

[startup+1.50077 s]
/proc/loadavg: 3.46 3.87 3.82 6/262 19872
/proc/meminfo: memFree=17225616/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7596536 CPUtime=2.33 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 21877 0 1 0 230 3 0 0 24 0 19 0 449821643 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1899134 18941 2252 9 0 1889872 0
[pid=19847/tid=19848] ppid=19845 vsize=7596536 CPUtime=1.43 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 9817 0 1 0 142 1 0 0 25 0 19 0 449821644 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505737259 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19847/tid=19850] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19850/stat : 19850 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19851] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19851/stat : 19851 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19852] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19852/stat : 19852 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19853] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19853/stat : 19853 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19854] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19854/stat : 19854 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19855] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19855/stat : 19855 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19856] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19856/stat : 19856 (java) S 19845 19847 19057 0 -1 4202560 162 0 0 0 0 0 0 0 17 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19857] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19857/stat : 19857 (java) S 19845 19847 19057 0 -1 4202560 563 0 0 0 0 0 0 0 17 0 19 0 449821645 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19863] ppid=19845 vsize=7596536 CPUtime=0.01 cores=5,7
/proc/19847/task/19863/stat : 19863 (java) S 19845 19847 19057 0 -1 4202560 731 0 0 0 1 0 0 0 16 0 19 0 449821646 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 0 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19864] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19864/stat : 19864 (java) S 19845 19847 19057 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449821646 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19865] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19865/stat : 19865 (java) S 19845 19847 19057 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449821646 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19866] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19866/stat : 19866 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821648 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828060081 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19867] ppid=19845 vsize=7596536 CPUtime=0.56 cores=5,7
/proc/19847/task/19867/stat : 19867 (java) S 19845 19847 19057 0 -1 4202560 6434 0 0 0 55 1 0 0 22 0 19 0 449821648 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19868] ppid=19845 vsize=7596536 CPUtime=0.28 cores=5,7
/proc/19847/task/19868/stat : 19868 (java) S 19845 19847 19057 0 -1 4202560 3013 0 0 0 28 0 0 0 22 0 19 0 449821649 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19869] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19869/stat : 19869 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821649 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19870] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19870/stat : 19870 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821649 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19872] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19872/stat : 19872 (java) S 19845 19847 19057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449821663 7778852864 18941 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 7596536

[startup+3.10148 s]
/proc/loadavg: 3.46 3.87 3.82 6/262 19872
/proc/meminfo: memFree=17202428/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7596536 CPUtime=3.95 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 22812 0 1 0 392 3 0 0 24 0 19 0 449821643 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1899134 19873 2254 9 0 1889872 0
[pid=19847/tid=19848] ppid=19845 vsize=7596536 CPUtime=2.95 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 9821 0 1 0 294 1 0 0 25 0 19 0 449821644 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505614141 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19847/tid=19850] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19850/stat : 19850 (java) S 19845 19847 19057 0 -1 4202560 553 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19851] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19851/stat : 19851 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19852] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19852/stat : 19852 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19853] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19853/stat : 19853 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19854] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19854/stat : 19854 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19855] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19855/stat : 19855 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19856] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19856/stat : 19856 (java) S 19845 19847 19057 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19857] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19857/stat : 19857 (java) S 19845 19847 19057 0 -1 4202560 566 0 0 0 0 0 0 0 15 0 19 0 449821645 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19863] ppid=19845 vsize=7596536 CPUtime=0.04 cores=5,7
/proc/19847/task/19863/stat : 19863 (java) S 19845 19847 19057 0 -1 4202560 1088 0 0 0 4 0 0 0 16 0 19 0 449821646 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 0 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19864] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19864/stat : 19864 (java) S 19845 19847 19057 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449821646 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19865] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19865/stat : 19865 (java) S 19845 19847 19057 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449821646 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19866] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19866/stat : 19866 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821648 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828060081 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19867] ppid=19845 vsize=7596536 CPUtime=0.59 cores=5,7
/proc/19847/task/19867/stat : 19867 (java) S 19845 19847 19057 0 -1 4202560 6441 0 0 0 58 1 0 0 18 0 19 0 449821648 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19868] ppid=19845 vsize=7596536 CPUtime=0.32 cores=5,7
/proc/19847/task/19868/stat : 19868 (java) S 19845 19847 19057 0 -1 4202560 3025 0 0 0 32 0 0 0 15 0 19 0 449821649 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19869] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19869/stat : 19869 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821649 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19870] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19870/stat : 19870 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821649 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19872] ppid=19845 vsize=7596536 CPUtime=0 cores=5,7
/proc/19847/task/19872/stat : 19872 (java) S 19845 19847 19057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449821663 7778852864 19873 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 7596536

[startup+6.30089 s]
/proc/loadavg: 3.50 3.87 3.82 7/262 19918
/proc/meminfo: memFree=17202408/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7590220 CPUtime=7.13 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 22979 0 1 0 710 3 0 0 24 0 19 0 449821643 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1897555 18517 2254 9 0 1888293 0
[pid=19847/tid=19848] ppid=19845 vsize=7590220 CPUtime=6.09 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 9822 0 1 0 608 1 0 0 25 0 19 0 449821644 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505737999 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19847/tid=19850] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19850/stat : 19850 (java) S 19845 19847 19057 0 -1 4202560 553 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19851] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19851/stat : 19851 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19852] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19852/stat : 19852 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19853] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19853/stat : 19853 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19854] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19854/stat : 19854 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19855] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19855/stat : 19855 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19856] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19856/stat : 19856 (java) S 19845 19847 19057 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19857] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19857/stat : 19857 (java) S 19845 19847 19057 0 -1 4202560 566 0 0 0 0 0 0 0 15 0 19 0 449821645 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19863] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19863/stat : 19863 (java) S 19845 19847 19057 0 -1 4202560 1088 0 0 0 7 0 0 0 15 0 19 0 449821646 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 0 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19864] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19864/stat : 19864 (java) S 19845 19847 19057 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19865] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19865/stat : 19865 (java) S 19845 19847 19057 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19866] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19866/stat : 19866 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821648 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828060081 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19867] ppid=19845 vsize=7590220 CPUtime=0.59 cores=5,7
/proc/19847/task/19867/stat : 19867 (java) S 19845 19847 19057 0 -1 4202560 6441 0 0 0 58 1 0 0 18 0 19 0 449821648 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19868] ppid=19845 vsize=7590220 CPUtime=0.34 cores=5,7
/proc/19847/task/19868/stat : 19868 (java) S 19845 19847 19057 0 -1 4202560 3032 0 0 0 34 0 0 0 15 0 19 0 449821649 7772385280 18517 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0

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

[pid=19847/tid=19855] ppid=19845 vsize=7590220 CPUtime=0.06 cores=5,7
/proc/19847/task/19855/stat : 19855 (java) S 19845 19847 19057 0 -1 4202560 569 0 0 0 6 0 0 0 15 0 19 0 449821645 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19856] ppid=19845 vsize=7590220 CPUtime=0.08 cores=5,7
/proc/19847/task/19856/stat : 19856 (java) S 19845 19847 19057 0 -1 4202560 731 0 0 0 8 0 0 0 16 0 19 0 449821645 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19857] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19857/stat : 19857 (java) S 19845 19847 19057 0 -1 4202560 1344 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19863] ppid=19845 vsize=7590220 CPUtime=1.74 cores=5,7
/proc/19847/task/19863/stat : 19863 (java) S 19845 19847 19057 0 -1 4202560 3959 0 0 0 174 0 0 0 15 0 19 0 449821646 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 0 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19864] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19864/stat : 19864 (java) S 19845 19847 19057 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19865] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19865/stat : 19865 (java) S 19845 19847 19057 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19866] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19866/stat : 19866 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821648 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828060081 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19867] ppid=19845 vsize=7590220 CPUtime=0.59 cores=5,7
/proc/19847/task/19867/stat : 19867 (java) S 19845 19847 19057 0 -1 4202560 6441 0 0 0 58 1 0 0 18 0 19 0 449821648 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19868] ppid=19845 vsize=7590220 CPUtime=0.34 cores=5,7
/proc/19847/task/19868/stat : 19868 (java) S 19845 19847 19057 0 -1 4202560 3032 0 0 0 34 0 0 0 15 0 19 0 449821649 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19869] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19869/stat : 19869 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821649 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19870] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19870/stat : 19870 (java) S 19845 19847 19057 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 449821649 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19872] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19872/stat : 19872 (java) S 19845 19847 19057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449821663 7772385280 27068 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.37
Current children cumulated vsize (KiB) 7590220

[startup+1182.3 s]
/proc/loadavg: 4.02 4.02 3.92 5/262 20004
/proc/meminfo: memFree=17018784/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7590220 CPUtime=1183.38 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 31749 0 1 0 118332 6 0 0 24 0 19 0 449821643 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1897555 27094 2254 9 0 1888293 0
[pid=19847/tid=19848] ppid=19845 vsize=7590220 CPUtime=1180.03 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 12065 0 1 0 118001 2 0 0 25 0 19 0 449821644 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505614483 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19847/tid=19850] ppid=19845 vsize=7590220 CPUtime=0.06 cores=5,7
/proc/19847/task/19850/stat : 19850 (java) S 19845 19847 19057 0 -1 4202560 836 0 0 0 6 0 0 0 16 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19851] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19851/stat : 19851 (java) S 19845 19847 19057 0 -1 4202560 124 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19852] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19852/stat : 19852 (java) S 19845 19847 19057 0 -1 4202560 260 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19853] ppid=19845 vsize=7590220 CPUtime=0.03 cores=5,7
/proc/19847/task/19853/stat : 19853 (java) S 19845 19847 19057 0 -1 4202560 23 0 0 0 3 0 0 0 16 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19854] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19854/stat : 19854 (java) S 19845 19847 19057 0 -1 4202560 1119 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19855] ppid=19845 vsize=7590220 CPUtime=0.06 cores=5,7
/proc/19847/task/19855/stat : 19855 (java) S 19845 19847 19057 0 -1 4202560 569 0 0 0 6 0 0 0 15 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19856] ppid=19845 vsize=7590220 CPUtime=0.08 cores=5,7
/proc/19847/task/19856/stat : 19856 (java) S 19845 19847 19057 0 -1 4202560 731 0 0 0 8 0 0 0 15 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19857] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19857/stat : 19857 (java) S 19845 19847 19057 0 -1 4202560 1344 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19863] ppid=19845 vsize=7590220 CPUtime=1.8 cores=5,7
/proc/19847/task/19863/stat : 19863 (java) S 19845 19847 19057 0 -1 4202560 3988 0 0 0 180 0 0 0 15 0 19 0 449821646 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 0 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19864] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19864/stat : 19864 (java) S 19845 19847 19057 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19865] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19865/stat : 19865 (java) S 19845 19847 19057 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19866] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19866/stat : 19866 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821648 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828060081 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19867] ppid=19845 vsize=7590220 CPUtime=0.59 cores=5,7
/proc/19847/task/19867/stat : 19867 (java) S 19845 19847 19057 0 -1 4202560 6441 0 0 0 58 1 0 0 18 0 19 0 449821648 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19868] ppid=19845 vsize=7590220 CPUtime=0.34 cores=5,7
/proc/19847/task/19868/stat : 19868 (java) S 19845 19847 19057 0 -1 4202560 3032 0 0 0 34 0 0 0 15 0 19 0 449821649 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19869] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19869/stat : 19869 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821649 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19870] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19870/stat : 19870 (java) S 19845 19847 19057 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 449821649 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19872] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19872/stat : 19872 (java) S 19845 19847 19057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449821663 7772385280 27094 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.38
Current children cumulated vsize (KiB) 7590220

[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.92 6/262 20006
/proc/meminfo: memFree=17015364/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7590220 CPUtime=1243.39 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 31809 0 1 0 124333 6 0 0 24 0 19 0 449821643 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1897555 27143 2254 9 0 1888293 0
[pid=19847/tid=19848] ppid=19845 vsize=7590220 CPUtime=1239.93 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 12068 0 1 0 123991 2 0 0 25 0 19 0 449821644 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505662944 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19847/tid=19850] ppid=19845 vsize=7590220 CPUtime=0.06 cores=5,7
/proc/19847/task/19850/stat : 19850 (java) S 19845 19847 19057 0 -1 4202560 836 0 0 0 6 0 0 0 15 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19851] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19851/stat : 19851 (java) S 19845 19847 19057 0 -1 4202560 124 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19852] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19852/stat : 19852 (java) S 19845 19847 19057 0 -1 4202560 260 0 0 0 7 0 0 0 16 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19853] ppid=19845 vsize=7590220 CPUtime=0.04 cores=5,7
/proc/19847/task/19853/stat : 19853 (java) S 19845 19847 19057 0 -1 4202560 23 0 0 0 4 0 0 0 16 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19854] ppid=19845 vsize=7590220 CPUtime=0.08 cores=5,7
/proc/19847/task/19854/stat : 19854 (java) S 19845 19847 19057 0 -1 4202560 1119 0 0 0 8 0 0 0 15 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19855] ppid=19845 vsize=7590220 CPUtime=0.06 cores=5,7
/proc/19847/task/19855/stat : 19855 (java) S 19845 19847 19057 0 -1 4202560 569 0 0 0 6 0 0 0 16 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19856] ppid=19845 vsize=7590220 CPUtime=0.08 cores=5,7
/proc/19847/task/19856/stat : 19856 (java) S 19845 19847 19057 0 -1 4202560 731 0 0 0 8 0 0 0 15 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19857] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19857/stat : 19857 (java) S 19845 19847 19057 0 -1 4202560 1344 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19863] ppid=19845 vsize=7590220 CPUtime=1.9 cores=5,7
/proc/19847/task/19863/stat : 19863 (java) S 19845 19847 19057 0 -1 4202560 4041 0 0 0 190 0 0 0 15 0 19 0 449821646 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 0 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19864] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19864/stat : 19864 (java) S 19845 19847 19057 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19865] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19865/stat : 19865 (java) S 19845 19847 19057 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19866] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19866/stat : 19866 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821648 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828060081 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19867] ppid=19845 vsize=7590220 CPUtime=0.59 cores=5,7
/proc/19847/task/19867/stat : 19867 (java) S 19845 19847 19057 0 -1 4202560 6441 0 0 0 58 1 0 0 18 0 19 0 449821648 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19868] ppid=19845 vsize=7590220 CPUtime=0.34 cores=5,7
/proc/19847/task/19868/stat : 19868 (java) S 19845 19847 19057 0 -1 4202560 3032 0 0 0 34 0 0 0 15 0 19 0 449821649 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19869] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19869/stat : 19869 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821649 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19870] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19870/stat : 19870 (java) S 19845 19847 19057 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 449821649 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19872] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19872/stat : 19872 (java) S 19845 19847 19057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449821663 7772385280 27143 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.39
Current children cumulated vsize (KiB) 7590220



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.07 4.02 3.93 4/242 20011
/proc/meminfo: memFree=17080176/32951124 swapFree=67111528/67111528
[pid=19847] ppid=19845 vsize=7590220 CPUtime=1301.1 cores=5,7
/proc/19847/stat : 19847 (java) S 19845 19847 19057 0 -1 4202496 31819 0 1 0 130104 6 0 0 24 0 19 0 449821643 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19847/statm: 1897555 27145 2254 9 0 1888293 0
[pid=19847/tid=19848] ppid=19845 vsize=7590220 CPUtime=1297.57 cores=5,7
/proc/19847/task/19848/stat : 19848 (java) R 19845 19847 19057 0 -1 4202560 12070 0 1 0 129755 2 0 0 25 0 19 0 449821644 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 46912505737259 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19847/tid=19850] ppid=19845 vsize=7590220 CPUtime=0.06 cores=5,7
/proc/19847/task/19850/stat : 19850 (java) S 19845 19847 19057 0 -1 4202560 836 0 0 0 6 0 0 0 15 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19851] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19851/stat : 19851 (java) S 19845 19847 19057 0 -1 4202560 124 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19852] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19852/stat : 19852 (java) S 19845 19847 19057 0 -1 4202560 260 0 0 0 7 0 0 0 16 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19853] ppid=19845 vsize=7590220 CPUtime=0.04 cores=5,7
/proc/19847/task/19853/stat : 19853 (java) S 19845 19847 19057 0 -1 4202560 23 0 0 0 4 0 0 0 15 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19854] ppid=19845 vsize=7590220 CPUtime=0.08 cores=5,7
/proc/19847/task/19854/stat : 19854 (java) S 19845 19847 19057 0 -1 4202560 1119 0 0 0 8 0 0 0 15 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19855] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19855/stat : 19855 (java) S 19845 19847 19057 0 -1 4202560 569 0 0 0 7 0 0 0 16 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19856] ppid=19845 vsize=7590220 CPUtime=0.09 cores=5,7
/proc/19847/task/19856/stat : 19856 (java) S 19845 19847 19057 0 -1 4202560 733 0 0 0 9 0 0 0 15 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19857] ppid=19845 vsize=7590220 CPUtime=0.07 cores=5,7
/proc/19847/task/19857/stat : 19857 (java) S 19845 19847 19057 0 -1 4202560 1344 0 0 0 7 0 0 0 15 0 19 0 449821645 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19863] ppid=19845 vsize=7590220 CPUtime=1.97 cores=5,7
/proc/19847/task/19863/stat : 19863 (java) S 19845 19847 19057 0 -1 4202560 4043 0 0 0 196 1 0 0 15 0 19 0 449821646 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 0 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19864] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19864/stat : 19864 (java) S 19845 19847 19057 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19865] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19865/stat : 19865 (java) S 19845 19847 19057 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449821646 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19866] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19866/stat : 19866 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821648 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828060081 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19867] ppid=19845 vsize=7590220 CPUtime=0.59 cores=5,7
/proc/19847/task/19867/stat : 19867 (java) S 19845 19847 19057 0 -1 4202560 6441 0 0 0 58 1 0 0 18 0 19 0 449821648 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19868] ppid=19845 vsize=7590220 CPUtime=0.34 cores=5,7
/proc/19847/task/19868/stat : 19868 (java) S 19845 19847 19057 0 -1 4202560 3032 0 0 0 34 0 0 0 15 0 19 0 449821649 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19869] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19869/stat : 19869 (java) S 19845 19847 19057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449821649 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052377 0 4 0 16800975 18446604464998524736 0 0 -1 5 0 0 0
[pid=19847/tid=19870] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19870/stat : 19870 (java) S 19845 19847 19057 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 449821649 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
[pid=19847/tid=19872] ppid=19845 vsize=7590220 CPUtime=0 cores=5,7
/proc/19847/task/19872/stat : 19872 (java) S 19845 19847 19057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449821663 7772385280 27145 33554432000 1073741824 1073778376 140737202319552 18446744073709551615 220828052992 0 4 0 16800975 18446604464998524736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.1
Current children cumulated vsize (KiB) 7590220

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.19
CPU user time (s): 1301.11
CPU system time (s): 0.073988
CPU usage (%): 100.087
Max. virtual memory (cumulated for all children) (KiB): 7596536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.11
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= 31864
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= 28384
involuntary context switches= 7654

runsolver used 2.10068 second user time and 5.01124 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-23 17:54:17
IDJOB=3264064
IDBENCH=84551
IDSOLVER=1611
FILE ID=node147/3264064-1303574057
RUNJOBID= node147-1303574057-19760
PBS_JOBID= 13150315
Free space on /tmp= 72288 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb75-13-2.used-as.sat04-878.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-3264064-1303574057/watcher-3264064-1303574057 -o /tmp/evaluation-result-3264064-1303574057/solver-3264064-1303574057 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3264064-1303574057.cnf

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

MD5SUM BENCH= 00e6f1cbbaaa8f43dc6451d49bfa1cef
RANDOM SEED=66702122

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.82
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.836
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.836
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.836
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.76
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.836
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.836
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:      17368500 kB
Buffers:       1728484 kB
Cached:       13144260 kB
SwapCached:          0 kB
Active:        7805040 kB
Inactive:      7233556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17368500 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             944 kB
Writeback:           0 kB
AnonPages:      165364 kB
Mapped:          22248 kB
Slab:           479584 kB
PageTables:       5912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21991752 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= 72284 MiB
End job on node147 at 2011-04-23 18:15:59