Trace number 3262700

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.52 1300.08

General information on the benchmark

NameSAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
MD5SUM05a191325d89de504821b55dea51ca7f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.758
Satisfiable
(Un)Satisfiability was proved
Number of variables4979
Number of clauses43754
Sum of the clauses size97507
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 241316
Number of clauses of size 3117
Number of clauses of size 4287
Number of clauses of size 5525
Number of clauses of size over 51509

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c no version file found!!!
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		6997539544
0.03/0.09	c Max memory 		7034241024
0.03/0.09	c Total memory 		7034241024
0.03/0.09	c Number of processors 	8
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.12	c Expensive reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483647s
0.07/0.12	c DB Simplification allowed=true
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3262700-1303556329.cnf
0.07/0.12	c reading problem ... 
0.23/0.23	c ... done. Wall clock time 0.109s.
0.23/0.23	c #vars     4979
0.23/0.23	c #constraints  43754
0.23/0.23	c constraints type 
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2438
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41316
2.11/1.73	c cleaning 2499 clauses out of 5000 with flag 5000/5000
4.22/3.32	c cleaning 4247 clauses out of 8500 with flag 11001/11001
6.12/5.27	c cleaning 5621 clauses out of 11252 with flag 18001/18001
8.44/7.56	c cleaning 6804 clauses out of 13628 with flag 26000/26000
11.15/10.22	c cleaning 7898 clauses out of 15824 with flag 35000/35000
14.16/13.27	c cleaning 8951 clauses out of 17927 with flag 45001/45001
17.65/16.75	c cleaning 9955 clauses out of 19975 with flag 56000/56000
21.45/20.55	c cleaning 11001 clauses out of 22020 with flag 68000/68000
25.76/24.81	c cleaning 11995 clauses out of 24019 with flag 81000/81000
30.46/29.53	c cleaning 13004 clauses out of 26024 with flag 95000/95000
35.67/34.73	c cleaning 13998 clauses out of 28021 with flag 110001/110001
41.28/40.36	c cleaning 14991 clauses out of 30022 with flag 126000/126000
47.58/46.62	c cleaning 16002 clauses out of 32031 with flag 143000/143000
54.28/53.31	c cleaning 17001 clauses out of 34029 with flag 161000/161000
61.58/60.60	c cleaning 18000 clauses out of 36028 with flag 180000/180000
69.39/68.40	c cleaning 19012 clauses out of 38029 with flag 200001/200001
77.91/76.91	c cleaning 20001 clauses out of 40016 with flag 221000/221000
86.91/85.92	c cleaning 20999 clauses out of 42015 with flag 243000/243000
96.72/95.72	c cleaning 21994 clauses out of 44016 with flag 266000/266000
106.62/105.65	c cleaning 22985 clauses out of 46022 with flag 290000/290000
117.42/116.41	c cleaning 24008 clauses out of 48038 with flag 315001/315001
128.82/127.85	c cleaning 24989 clauses out of 50029 with flag 341000/341000
140.84/139.84	c cleaning 25993 clauses out of 52040 with flag 368000/368000
153.54/152.59	c cleaning 27013 clauses out of 54050 with flag 396003/396003
167.05/166.03	c cleaning 28004 clauses out of 56036 with flag 425002/425002
181.55/180.55	c cleaning 28972 clauses out of 58030 with flag 455000/455000
195.96/194.99	c cleaning 30003 clauses out of 60060 with flag 486002/486002
212.06/211.01	c cleaning 31010 clauses out of 62055 with flag 518000/518000
229.27/228.25	c cleaning 32005 clauses out of 64046 with flag 551001/551001
246.18/245.20	c cleaning 32970 clauses out of 66040 with flag 585000/585000
264.78/263.77	c cleaning 34018 clauses out of 68070 with flag 620000/620000
283.80/282.77	c cleaning 34991 clauses out of 70052 with flag 656000/656000
304.40/303.33	c cleaning 36021 clauses out of 72063 with flag 693002/693002
324.31/323.27	c cleaning 37004 clauses out of 74040 with flag 731000/731000
345.82/344.74	c cleaning 37990 clauses out of 76036 with flag 770000/770000
368.43/367.33	c cleaning 38983 clauses out of 78046 with flag 810000/810000
391.93/390.87	c cleaning 39999 clauses out of 80063 with flag 851000/851000
415.74/414.63	c cleaning 41009 clauses out of 82064 with flag 893000/893000
441.64/440.59	c cleaning 42012 clauses out of 84055 with flag 936000/936000
467.05/465.91	c cleaning 42983 clauses out of 86043 with flag 980000/980000
495.16/494.06	c cleaning 43510 clauses out of 87060 with flag 1024000/1024000
521.08/519.95	c cleaning 43731 clauses out of 87551 with flag 1068001/1068001
547.79/546.69	c cleaning 43856 clauses out of 87819 with flag 1112000/1112000
574.39/573.24	c cleaning 43978 clauses out of 87965 with flag 1156002/1156002
601.30/600.11	c cleaning 43968 clauses out of 87987 with flag 1200002/1200002
629.21/628.10	c cleaning 43974 clauses out of 88017 with flag 1244000/1244000
655.31/654.10	c cleaning 43982 clauses out of 88045 with flag 1288002/1288002
682.13/680.94	c cleaning 43979 clauses out of 88061 with flag 1332000/1332000
710.73/709.51	c cleaning 44008 clauses out of 88082 with flag 1376000/1376000
736.93/735.76	c cleaning 44012 clauses out of 88075 with flag 1420001/1420001
763.65/762.49	c cleaning 43975 clauses out of 88063 with flag 1464001/1464001
791.35/790.11	c cleaning 44025 clauses out of 88087 with flag 1508000/1508000
817.16/815.91	c cleaning 43998 clauses out of 88063 with flag 1552001/1552001
844.06/842.88	c cleaning 43979 clauses out of 88064 with flag 1596000/1596000
873.17/871.96	c cleaning 43963 clauses out of 88085 with flag 1640000/1640000
901.09/899.83	c cleaning 44037 clauses out of 88122 with flag 1684000/1684000
927.09/925.81	c cleaning 44015 clauses out of 88085 with flag 1728000/1728000
953.59/952.34	c cleaning 44016 clauses out of 88071 with flag 1772001/1772001
983.10/981.80	c cleaning 43985 clauses out of 88056 with flag 1816002/1816002
1009.91/1008.66	c cleaning 44013 clauses out of 88070 with flag 1860001/1860001
1036.42/1035.16	c cleaning 43958 clauses out of 88056 with flag 1904000/1904000
1064.12/1062.88	c cleaning 44002 clauses out of 88098 with flag 1948000/1948000
1092.03/1090.70	c cleaning 44000 clauses out of 88096 with flag 1992000/1992000
1120.33/1119.02	c cleaning 44036 clauses out of 88098 with flag 2036002/2036002
1146.54/1145.24	c cleaning 44013 clauses out of 88060 with flag 2080000/2080000
1172.95/1171.64	c cleaning 43983 clauses out of 88049 with flag 2124002/2124002
1201.15/1199.83	c cleaning 43985 clauses out of 88065 with flag 2168001/2168001
1228.87/1227.52	c cleaning 44003 clauses out of 88079 with flag 2212000/2212000
1255.17/1253.88	c cleaning 44011 clauses out of 88076 with flag 2256000/2256000
1282.17/1280.81	c cleaning 43994 clauses out of 88065 with flag 2300000/2300000
1301.38/1300.01	c starts		: 1646
1301.38/1300.01	c conflicts		: 2332031
1301.38/1300.01	c decisions		: 4226779
1301.38/1300.03	c propagations		: 961678095
1301.38/1300.03	c inspects		: 9494082547
1301.38/1300.03	c shortcuts		: 0
1301.38/1300.03	c learnt literals	: 3
1301.38/1300.03	c learnt binary clauses	: 20
1301.38/1300.03	c learnt ternary clauses	: 98
1301.38/1300.03	c learnt constraints	: 2332062
1301.38/1300.03	c ignored constraints	: 0
1301.38/1300.03	c root simplifications	: 1649
1301.38/1300.03	c removed literals (reason simplification)	: 67661208
1301.38/1300.03	c reason swapping (by a shorter reason)	: 0
1301.38/1300.03	c Calls to reduceDB	: 70
1301.38/1300.03	c speed (assignments/second)	: 739878.5873815875
1301.38/1300.03	c non guided choices	265
1301.38/1300.06	c learnt constraints type 
1301.38/1300.07	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 18
1301.38/1300.07	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 76179
1301.38/1300.07	c constraints type 
1301.38/1300.07	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2438
1301.38/1300.07	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41316
1301.38/1300.07	s UNKNOWN
1301.38/1300.07	c Total wall clock time (in seconds) : 1299.888

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

running on 2 cores: 0,2

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.69 3.94 3.92 4/178 8866
/proc/meminfo: memFree=14503816/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=9100 CPUtime=0 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 429 0 0 0 0 0 0 0 17 0 1 0 467233852 9318400 173 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270608187015 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/8866/statm: 2275 173 132 9 0 67 0

[startup+0.052757 s]
/proc/loadavg: 3.69 3.94 3.92 4/178 8866
/proc/meminfo: memFree=14503816/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7564352 CPUtime=0.03 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 8779 0 1 0 2 1 0 0 17 0 13 0 467233852 7745896448 8474 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1891088 8475 1675 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.100745 s]
/proc/loadavg: 3.69 3.94 3.92 4/178 8866
/proc/meminfo: memFree=14503816/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7569940 CPUtime=0.07 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 9513 0 1 0 6 1 0 0 17 0 18 0 467233852 7751618560 9208 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1892485 9213 1757 9 0 1883223 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7569940

[startup+0.300648 s]
/proc/loadavg: 3.69 3.94 3.92 4/178 8866
/proc/meminfo: memFree=14503816/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7575020 CPUtime=0.42 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 12566 0 1 0 41 1 0 0 17 0 19 0 467233852 7756820480 11946 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1893755 11946 2215 9 0 1884493 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7575020

[startup+0.700669 s]
/proc/loadavg: 3.69 3.94 3.92 4/178 8866
/proc/meminfo: memFree=14503816/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7578920 CPUtime=1.04 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 14361 0 1 0 102 2 0 0 17 0 19 0 467233852 7760814080 13179 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1894730 13179 2224 9 0 1885468 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 7578920

[startup+1.50153 s]
/proc/loadavg: 3.69 3.94 3.92 6/262 8961
/proc/meminfo: memFree=14282416/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7578920 CPUtime=1.91 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 14797 0 1 0 189 2 0 0 17 0 19 0 467233852 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1894730 13615 2227 9 0 1885468 0
[pid=8866/tid=8868] ppid=8864 vsize=7578920 CPUtime=1.46 cores=0,2
/proc/8866/task/8868/stat : 8868 (java) R 8864 8866 7764 0 -1 4202560 10245 0 1 0 145 1 0 0 25 0 19 0 467233853 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 46912505598698 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8866/tid=8874] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8875] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8875/stat : 8875 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8876] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8876/stat : 8876 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8877] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8877/stat : 8877 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8878] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8878/stat : 8878 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8879] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8879/stat : 8879 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8880] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8880/stat : 8880 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8881] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8881/stat : 8881 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467233855 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8884] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8884/stat : 8884 (java) S 8864 8866 7764 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 467233856 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 0 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8885] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8885/stat : 8885 (java) S 8864 8866 7764 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 467233857 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8888] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8888/stat : 8888 (java) S 8864 8866 7764 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 467233857 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8902] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8902/stat : 8902 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233860 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624934321 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8903] ppid=8864 vsize=7578920 CPUtime=0.31 cores=0,2
/proc/8866/task/8903/stat : 8903 (java) S 8864 8866 7764 0 -1 4202560 2390 0 0 0 31 0 0 0 15 0 19 0 467233860 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8904] ppid=8864 vsize=7578920 CPUtime=0.12 cores=0,2
/proc/8866/task/8904/stat : 8904 (java) S 8864 8866 7764 0 -1 4202560 998 0 0 0 12 0 0 0 15 0 19 0 467233860 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8905] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8905/stat : 8905 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233860 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8906] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8906/stat : 8906 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233860 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8958] ppid=8864 vsize=7578920 CPUtime=0 cores=0,2
/proc/8866/task/8958/stat : 8958 (java) S 8864 8866 7764 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 467233877 7760814080 13615 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 7578920

[startup+3.11407 s]
/proc/loadavg: 3.69 3.94 3.92 7/262 8961
/proc/meminfo: memFree=14205784/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7598244 CPUtime=4.03 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 22711 0 1 0 400 3 0 0 17 0 19 0 467233852 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1899561 19882 2255 9 0 1890299 0
[pid=8866/tid=8868] ppid=8864 vsize=7598244 CPUtime=3.03 cores=0,2
/proc/8866/task/8868/stat : 8868 (java) R 8864 8866 7764 0 -1 4202560 10360 0 1 0 302 1 0 0 25 0 19 0 467233853 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 46912505626539 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8866/tid=8874] ppid=8864 vsize=7598244 CPUtime=0.01 cores=0,2
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 7764 0 -1 4202560 1035 0 0 0 1 0 0 0 17 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8875] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8875/stat : 8875 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8876] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8876/stat : 8876 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8877] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8877/stat : 8877 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8878] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8878/stat : 8878 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8879] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8879/stat : 8879 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8880] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8880/stat : 8880 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8881] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8881/stat : 8881 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 467233855 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8884] ppid=8864 vsize=7598244 CPUtime=0.02 cores=0,2
/proc/8866/task/8884/stat : 8884 (java) S 8864 8866 7764 0 -1 4202560 1043 0 0 0 2 0 0 0 16 0 19 0 467233856 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 0 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8885] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8885/stat : 8885 (java) S 8864 8866 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233857 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8888] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8888/stat : 8888 (java) S 8864 8866 7764 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467233857 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8902] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8902/stat : 8902 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233860 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624934321 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8903] ppid=8864 vsize=7598244 CPUtime=0.37 cores=0,2
/proc/8866/task/8903/stat : 8903 (java) S 8864 8866 7764 0 -1 4202560 2596 0 0 0 37 0 0 0 15 0 19 0 467233860 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8904] ppid=8864 vsize=7598244 CPUtime=0.56 cores=0,2
/proc/8866/task/8904/stat : 8904 (java) S 8864 8866 7764 0 -1 4202560 6516 0 0 0 56 0 0 0 15 0 19 0 467233860 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8905] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8905/stat : 8905 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233860 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8906] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8906/stat : 8906 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233860 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8958] ppid=8864 vsize=7598244 CPUtime=0 cores=0,2
/proc/8866/task/8958/stat : 8958 (java) S 8864 8866 7764 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 467233877 7780601856 19882 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 7598244

[startup+6.30068 s]
/proc/loadavg: 3.71 3.94 3.92 5/262 8961
/proc/meminfo: memFree=14159612/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7591180 CPUtime=7.24 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 23667 0 1 0 721 3 0 0 17 0 19 0 467233852 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1897795 19879 2255 9 0 1888533 0
[pid=8866/tid=8868] ppid=8864 vsize=7591180 CPUtime=6.16 cores=0,2
/proc/8866/task/8868/stat : 8868 (java) R 8864 8866 7764 0 -1 4202560 10363 0 1 0 615 1 0 0 25 0 19 0 467233853 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 46912505598171 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8866/tid=8874] ppid=8864 vsize=7591180 CPUtime=0.01 cores=0,2
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 7764 0 -1 4202560 1035 0 0 0 1 0 0 0 15 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8875] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8875/stat : 8875 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8876] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8876/stat : 8876 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8877] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8877/stat : 8877 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8878] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8878/stat : 8878 (java) S 8864 8866 7764 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8879] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8879/stat : 8879 (java) S 8864 8866 7764 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8880] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8880/stat : 8880 (java) S 8864 8866 7764 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8881] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8881/stat : 8881 (java) S 8864 8866 7764 0 -1 4202560 466 0 0 0 0 0 0 0 15 0 19 0 467233855 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8884] ppid=8864 vsize=7591180 CPUtime=0.07 cores=0,2
/proc/8866/task/8884/stat : 8884 (java) S 8864 8866 7764 0 -1 4202560 1320 0 0 0 7 0 0 0 16 0 19 0 467233856 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 0 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8885] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8885/stat : 8885 (java) S 8864 8866 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8888] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8888/stat : 8888 (java) S 8864 8866 7764 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8902] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8902/stat : 8902 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233860 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624934321 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8903] ppid=8864 vsize=7591180 CPUtime=0.37 cores=0,2
/proc/8866/task/8903/stat : 8903 (java) S 8864 8866 7764 0 -1 4202560 2597 0 0 0 37 0 0 0 15 0 19 0 467233860 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8904] ppid=8864 vsize=7591180 CPUtime=0.58 cores=0,2
/proc/8866/task/8904/stat : 8904 (java) S 8864 8866 7764 0 -1 4202560 6516 0 0 0 58 0 0 0 15 0 19 0 467233860 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8905] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8905/stat : 8905 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233860 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8906] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8906/stat : 8906 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233860 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8958] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8958/stat : 8958 (java) S 8864 8866 7764 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 467233877 7773368320 19879 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 7591180

[startup+12.7015 s]

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

[pid=8866/tid=8879] ppid=8864 vsize=7591180 CPUtime=0.12 cores=0,2
/proc/8866/task/8879/stat : 8879 (java) S 8864 8866 7764 0 -1 4202560 638 0 0 0 12 0 0 0 15 0 19 0 467233855 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8880] ppid=8864 vsize=7591180 CPUtime=0.13 cores=0,2
/proc/8866/task/8880/stat : 8880 (java) S 8864 8866 7764 0 -1 4202560 1684 0 0 0 13 0 0 0 16 0 19 0 467233855 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8881] ppid=8864 vsize=7591180 CPUtime=0.08 cores=0,2
/proc/8866/task/8881/stat : 8881 (java) S 8864 8866 7764 0 -1 4202560 1119 0 0 0 8 0 0 0 15 0 19 0 467233855 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8884] ppid=8864 vsize=7591180 CPUtime=2.44 cores=0,2
/proc/8866/task/8884/stat : 8884 (java) S 8864 8866 7764 0 -1 4202560 4077 0 0 0 244 0 0 0 15 0 19 0 467233856 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 0 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8885] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8885/stat : 8885 (java) S 8864 8866 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8888] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8888/stat : 8888 (java) S 8864 8866 7764 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8902] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8902/stat : 8902 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233860 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624934321 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8903] ppid=8864 vsize=7591180 CPUtime=0.37 cores=0,2
/proc/8866/task/8903/stat : 8903 (java) S 8864 8866 7764 0 -1 4202560 2597 0 0 0 37 0 0 0 15 0 19 0 467233860 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8904] ppid=8864 vsize=7591180 CPUtime=0.59 cores=0,2
/proc/8866/task/8904/stat : 8904 (java) S 8864 8866 7764 0 -1 4202560 6517 0 0 0 59 0 0 0 15 0 19 0 467233860 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8905] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8905/stat : 8905 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233860 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8906] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8906/stat : 8906 (java) S 8864 8866 7764 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 467233860 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8958] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8958/stat : 8958 (java) S 8864 8866 7764 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 467233877 7773368320 42054 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.64
Current children cumulated vsize (KiB) 7591180

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/262 9004
/proc/meminfo: memFree=13818808/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7591180 CPUtime=1183.65 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 46076 0 1 0 118355 10 0 0 17 0 19 0 467233852 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1897795 42088 2255 9 0 1888533 0
[pid=8866/tid=8868] ppid=8864 vsize=7591180 CPUtime=1179.26 cores=0,2
/proc/8866/task/8868/stat : 8868 (java) R 8864 8866 7764 0 -1 4202560 19873 0 1 0 117921 5 0 0 25 0 19 0 467233853 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 46912505589744 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8866/tid=8874] ppid=8864 vsize=7591180 CPUtime=0.14 cores=0,2
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 7764 0 -1 4202560 2875 0 0 0 14 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8875] ppid=8864 vsize=7591180 CPUtime=0.06 cores=0,2
/proc/8866/task/8875/stat : 8875 (java) S 8864 8866 7764 0 -1 4202560 670 0 0 0 6 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8876] ppid=8864 vsize=7591180 CPUtime=0.07 cores=0,2
/proc/8866/task/8876/stat : 8876 (java) S 8864 8866 7764 0 -1 4202560 934 0 0 0 7 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8877] ppid=8864 vsize=7591180 CPUtime=0.1 cores=0,2
/proc/8866/task/8877/stat : 8877 (java) S 8864 8866 7764 0 -1 4202560 2802 0 0 0 10 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8878] ppid=8864 vsize=7591180 CPUtime=0.08 cores=0,2
/proc/8866/task/8878/stat : 8878 (java) S 8864 8866 7764 0 -1 4202560 1031 0 0 0 8 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8879] ppid=8864 vsize=7591180 CPUtime=0.12 cores=0,2
/proc/8866/task/8879/stat : 8879 (java) S 8864 8866 7764 0 -1 4202560 638 0 0 0 12 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8880] ppid=8864 vsize=7591180 CPUtime=0.13 cores=0,2
/proc/8866/task/8880/stat : 8880 (java) S 8864 8866 7764 0 -1 4202560 1684 0 0 0 13 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8881] ppid=8864 vsize=7591180 CPUtime=0.09 cores=0,2
/proc/8866/task/8881/stat : 8881 (java) S 8864 8866 7764 0 -1 4202560 1121 0 0 0 9 0 0 0 15 0 19 0 467233855 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8884] ppid=8864 vsize=7591180 CPUtime=2.53 cores=0,2
/proc/8866/task/8884/stat : 8884 (java) S 8864 8866 7764 0 -1 4202560 4112 0 0 0 253 0 0 0 15 0 19 0 467233856 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 0 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8885] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8885/stat : 8885 (java) S 8864 8866 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8888] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8888/stat : 8888 (java) S 8864 8866 7764 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8902] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8902/stat : 8902 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233860 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624934321 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8903] ppid=8864 vsize=7591180 CPUtime=0.37 cores=0,2
/proc/8866/task/8903/stat : 8903 (java) S 8864 8866 7764 0 -1 4202560 2597 0 0 0 37 0 0 0 15 0 19 0 467233860 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8904] ppid=8864 vsize=7591180 CPUtime=0.59 cores=0,2
/proc/8866/task/8904/stat : 8904 (java) S 8864 8866 7764 0 -1 4202560 6517 0 0 0 59 0 0 0 15 0 19 0 467233860 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8905] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8905/stat : 8905 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233860 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8906] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8906/stat : 8906 (java) S 8864 8866 7764 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 467233860 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8958] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8958/stat : 8958 (java) S 8864 8866 7764 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 467233877 7773368320 42088 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.65
Current children cumulated vsize (KiB) 7591180

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/262 9006
/proc/meminfo: memFree=13816404/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7591180 CPUtime=1243.67 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 46185 0 1 0 124357 10 0 0 17 0 19 0 467233852 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1897795 42189 2255 9 0 1888533 0
[pid=8866/tid=8868] ppid=8864 vsize=7591180 CPUtime=1239.15 cores=0,2
/proc/8866/task/8868/stat : 8868 (java) R 8864 8866 7764 0 -1 4202560 19925 0 1 0 123910 5 0 0 25 0 19 0 467233853 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 46912505598171 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8866/tid=8874] ppid=8864 vsize=7591180 CPUtime=0.15 cores=0,2
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 7764 0 -1 4202560 2875 0 0 0 15 0 0 0 16 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8875] ppid=8864 vsize=7591180 CPUtime=0.06 cores=0,2
/proc/8866/task/8875/stat : 8875 (java) S 8864 8866 7764 0 -1 4202560 671 0 0 0 6 0 0 0 15 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8876] ppid=8864 vsize=7591180 CPUtime=0.07 cores=0,2
/proc/8866/task/8876/stat : 8876 (java) S 8864 8866 7764 0 -1 4202560 934 0 0 0 7 0 0 0 15 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8877] ppid=8864 vsize=7591180 CPUtime=0.1 cores=0,2
/proc/8866/task/8877/stat : 8877 (java) S 8864 8866 7764 0 -1 4202560 2802 0 0 0 10 0 0 0 15 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8878] ppid=8864 vsize=7591180 CPUtime=0.08 cores=0,2
/proc/8866/task/8878/stat : 8878 (java) S 8864 8866 7764 0 -1 4202560 1031 0 0 0 8 0 0 0 15 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8879] ppid=8864 vsize=7591180 CPUtime=0.12 cores=0,2
/proc/8866/task/8879/stat : 8879 (java) S 8864 8866 7764 0 -1 4202560 638 0 0 0 12 0 0 0 15 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8880] ppid=8864 vsize=7591180 CPUtime=0.13 cores=0,2
/proc/8866/task/8880/stat : 8880 (java) S 8864 8866 7764 0 -1 4202560 1684 0 0 0 13 0 0 0 15 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8881] ppid=8864 vsize=7591180 CPUtime=0.09 cores=0,2
/proc/8866/task/8881/stat : 8881 (java) S 8864 8866 7764 0 -1 4202560 1121 0 0 0 9 0 0 0 15 0 19 0 467233855 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8884] ppid=8864 vsize=7591180 CPUtime=2.62 cores=0,2
/proc/8866/task/8884/stat : 8884 (java) S 8864 8866 7764 0 -1 4202560 4164 0 0 0 262 0 0 0 15 0 19 0 467233856 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 0 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8885] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8885/stat : 8885 (java) S 8864 8866 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8888] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8888/stat : 8888 (java) S 8864 8866 7764 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8902] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8902/stat : 8902 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233860 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624934321 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8903] ppid=8864 vsize=7591180 CPUtime=0.37 cores=0,2
/proc/8866/task/8903/stat : 8903 (java) S 8864 8866 7764 0 -1 4202560 2597 0 0 0 37 0 0 0 15 0 19 0 467233860 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8904] ppid=8864 vsize=7591180 CPUtime=0.59 cores=0,2
/proc/8866/task/8904/stat : 8904 (java) S 8864 8866 7764 0 -1 4202560 6517 0 0 0 59 0 0 0 15 0 19 0 467233860 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8905] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8905/stat : 8905 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233860 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8906] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8906/stat : 8906 (java) S 8864 8866 7764 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 467233860 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8958] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8958/stat : 8958 (java) S 8864 8866 7764 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 467233877 7773368320 42189 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.67
Current children cumulated vsize (KiB) 7591180



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.94 5/262 9007
/proc/meminfo: memFree=13815632/32951124 swapFree=67111528/67111528
[pid=8866] ppid=8864 vsize=7591180 CPUtime=1301.38 cores=0,2
/proc/8866/stat : 8866 (java) S 8864 8866 7764 0 -1 4202496 46196 0 1 0 130128 10 0 0 17 0 19 0 467233852 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8866/statm: 1897795 42190 2255 9 0 1888533 0
[pid=8866/tid=8868] ppid=8864 vsize=7591180 CPUtime=1296.77 cores=0,2
/proc/8866/task/8868/stat : 8868 (java) R 8864 8866 7764 0 -1 4202560 19927 0 1 0 129672 5 0 0 25 0 19 0 467233853 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 46912505598157 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8866/tid=8874] ppid=8864 vsize=7591180 CPUtime=0.15 cores=0,2
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 7764 0 -1 4202560 2875 0 0 0 15 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8875] ppid=8864 vsize=7591180 CPUtime=0.07 cores=0,2
/proc/8866/task/8875/stat : 8875 (java) S 8864 8866 7764 0 -1 4202560 671 0 0 0 7 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8876] ppid=8864 vsize=7591180 CPUtime=0.07 cores=0,2
/proc/8866/task/8876/stat : 8876 (java) S 8864 8866 7764 0 -1 4202560 934 0 0 0 7 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8877] ppid=8864 vsize=7591180 CPUtime=0.11 cores=0,2
/proc/8866/task/8877/stat : 8877 (java) S 8864 8866 7764 0 -1 4202560 2802 0 0 0 11 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8878] ppid=8864 vsize=7591180 CPUtime=0.08 cores=0,2
/proc/8866/task/8878/stat : 8878 (java) S 8864 8866 7764 0 -1 4202560 1031 0 0 0 8 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8879] ppid=8864 vsize=7591180 CPUtime=0.12 cores=0,2
/proc/8866/task/8879/stat : 8879 (java) S 8864 8866 7764 0 -1 4202560 638 0 0 0 12 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8880] ppid=8864 vsize=7591180 CPUtime=0.14 cores=0,2
/proc/8866/task/8880/stat : 8880 (java) S 8864 8866 7764 0 -1 4202560 1684 0 0 0 14 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8881] ppid=8864 vsize=7591180 CPUtime=0.09 cores=0,2
/proc/8866/task/8881/stat : 8881 (java) S 8864 8866 7764 0 -1 4202560 1121 0 0 0 9 0 0 0 15 0 19 0 467233855 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8884] ppid=8864 vsize=7591180 CPUtime=2.71 cores=0,2
/proc/8866/task/8884/stat : 8884 (java) S 8864 8866 7764 0 -1 4202560 4169 0 0 0 271 0 0 0 15 0 19 0 467233856 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 0 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8885] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8885/stat : 8885 (java) S 8864 8866 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8888] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8888/stat : 8888 (java) S 8864 8866 7764 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467233857 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8902] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8902/stat : 8902 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467233860 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624934321 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8903] ppid=8864 vsize=7591180 CPUtime=0.37 cores=0,2
/proc/8866/task/8903/stat : 8903 (java) S 8864 8866 7764 0 -1 4202560 2597 0 0 0 37 0 0 0 15 0 19 0 467233860 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8904] ppid=8864 vsize=7591180 CPUtime=0.59 cores=0,2
/proc/8866/task/8904/stat : 8904 (java) S 8864 8866 7764 0 -1 4202560 6517 0 0 0 59 0 0 0 15 0 19 0 467233860 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8905] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8905/stat : 8905 (java) S 8864 8866 7764 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 467233860 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624926617 0 4 0 16800975 18446604453923243968 0 0 -1 0 0 0 0
[pid=8866/tid=8906] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8906/stat : 8906 (java) S 8864 8866 7764 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 467233860 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
[pid=8866/tid=8958] ppid=8864 vsize=7591180 CPUtime=0 cores=0,2
/proc/8866/task/8958/stat : 8958 (java) S 8864 8866 7764 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 467233877 7773368320 42190 33554432000 1073741824 1073778376 140737297793168 18446744073709551615 270624927232 0 4 0 16800975 18446604453923243968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.38
Current children cumulated vsize (KiB) 7591180

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.08
CPU time (s): 1301.52
CPU user time (s): 1301.4
CPU system time (s): 0.113982
CPU usage (%): 100.111
Max. virtual memory (cumulated for all children) (KiB): 7598244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.4
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46233
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= 28565
involuntary context switches= 7202

runsolver used 2.24166 second user time and 4.86926 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-23 12:58:49
IDJOB=3262700
IDBENCH=83796
IDSOLVER=1611
FILE ID=node108/3262700-1303556329
RUNJOBID= node108-1303556329-8846
PBS_JOBID= 13143146
Free space on /tmp= 71400 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/handmade/gomes/bqwh/bqwh.50.825.shuffled-as.sat03-1648.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-3262700-1303556329/watcher-3262700-1303556329 -o /tmp/evaluation-result-3262700-1303556329/solver-3262700-1303556329 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262700-1303556329.cnf

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

MD5SUM BENCH= 05a191325d89de504821b55dea51ca7f
RANDOM SEED=380876675

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14504220 kB
Buffers:       2249580 kB
Cached:       15559916 kB
SwapCached:          0 kB
Active:        9890928 kB
Inactive:      7986276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14504220 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1208 kB
Writeback:           0 kB
AnonPages:       67484 kB
Mapped:          14492 kB
Slab:           505540 kB
PageTables:       5200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194868 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= 71396 MiB
End job on node108 at 2011-04-23 13:20:31