Trace number 3251038

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.74 1300.07

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
MD5SUM78d8e2b8c0fd15b93f96e38e33701f17
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.61315
Satisfiable
(Un)Satisfiability was proved
Number of variables3510
Number of clauses974465
Sum of the clauses size1952320
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2974405
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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.09/0.10	c no version file found!!!
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.18-164.el5
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		6997539544
0.09/0.10	c Max memory 		7034241024
0.09/0.10	c Total memory 		7034241024
0.09/0.10	c Number of processors 	8
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3251038-1303584250.cnf
0.09/0.10	c reading problem ... 
0.87/0.73	c ... done. Wall clock time 0.641s.
0.87/0.73	c #vars     3510
0.87/0.73	c #constraints  974465
0.87/0.73	c constraints type 
0.87/0.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
0.87/0.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 974405
3.27/2.72	c cleaning 2482 clauses out of 5001 with flag 5001/5001
6.37/5.67	c cleaning 4234 clauses out of 8518 with flag 11000/11000
9.68/8.99	c cleaning 5628 clauses out of 11284 with flag 18000/18000
13.70/12.98	c cleaning 6820 clauses out of 13657 with flag 26001/26001
18.43/17.69	c cleaning 7911 clauses out of 15836 with flag 35000/35000
23.74/22.95	c cleaning 8928 clauses out of 17925 with flag 45000/45000
29.74/28.96	c cleaning 9981 clauses out of 20000 with flag 56003/56003
36.35/35.53	c cleaning 10988 clauses out of 22016 with flag 68000/68000
44.26/43.47	c cleaning 12000 clauses out of 24029 with flag 81001/81001
52.37/51.55	c cleaning 12993 clauses out of 26033 with flag 95005/95005
61.58/60.79	c cleaning 13994 clauses out of 28035 with flag 110000/110000
71.89/71.03	c cleaning 14995 clauses out of 30041 with flag 126000/126000
82.00/81.12	c cleaning 15996 clauses out of 32047 with flag 143001/143001
93.61/92.79	c cleaning 17006 clauses out of 34052 with flag 161002/161002
105.82/105.00	c cleaning 17994 clauses out of 36045 with flag 180001/180001
118.84/117.95	c cleaning 18993 clauses out of 38052 with flag 200002/200002
133.75/132.89	c cleaning 19982 clauses out of 40058 with flag 221001/221001
148.76/147.81	c cleaning 20952 clauses out of 42076 with flag 243001/243001
165.68/164.72	c cleaning 22041 clauses out of 44123 with flag 266000/266000
182.79/181.85	c cleaning 22994 clauses out of 46082 with flag 290000/290000
200.90/199.94	c cleaning 24004 clauses out of 48089 with flag 315001/315001
219.11/218.15	c cleaning 25021 clauses out of 50084 with flag 341000/341000
240.94/239.95	c cleaning 25981 clauses out of 52065 with flag 368002/368002
261.95/260.99	c cleaning 27015 clauses out of 54082 with flag 396000/396000
284.77/283.75	c cleaning 27996 clauses out of 56068 with flag 425001/425001
309.28/308.23	c cleaning 28983 clauses out of 58071 with flag 455000/455000
335.80/334.75	c cleaning 30001 clauses out of 60090 with flag 486002/486002
363.32/362.25	c cleaning 31021 clauses out of 62087 with flag 518000/518000
392.64/391.53	c cleaning 32021 clauses out of 64067 with flag 551001/551001
419.36/418.29	c cleaning 32998 clauses out of 66045 with flag 585000/585000
450.87/449.70	c cleaning 33998 clauses out of 68049 with flag 620002/620002
483.59/482.41	c cleaning 34933 clauses out of 70050 with flag 656001/656001
517.41/516.21	c cleaning 36039 clauses out of 72116 with flag 693000/693000
553.63/552.50	c cleaning 36934 clauses out of 74078 with flag 731001/731001
587.75/586.57	c cleaning 38019 clauses out of 76143 with flag 770000/770000
624.37/623.16	c cleaning 39011 clauses out of 78124 with flag 810000/810000
666.70/665.48	c cleaning 40035 clauses out of 80116 with flag 851003/851003
706.21/705.00	c cleaning 40973 clauses out of 82078 with flag 893000/893000
767.03/765.78	c cleaning 41687 clauses out of 84107 with flag 936002/936002
811.96/810.65	c cleaning 43122 clauses out of 86419 with flag 980001/980001
870.29/868.97	c cleaning 43843 clauses out of 88299 with flag 1025003/1025003
917.63/916.28	c cleaning 45101 clauses out of 90453 with flag 1071000/1071000
967.15/965.78	c cleaning 46165 clauses out of 92354 with flag 1118002/1118002
1013.38/1011.97	c cleaning 47052 clauses out of 94187 with flag 1166000/1166000
1064.29/1062.89	c cleaning 48003 clauses out of 96139 with flag 1215004/1215004
1123.22/1121.74	c cleaning 49029 clauses out of 98133 with flag 1265001/1265001
1171.74/1170.27	c cleaning 50019 clauses out of 100104 with flag 1316001/1316001
1235.79/1234.24	c cleaning 50998 clauses out of 102084 with flag 1368000/1368000
1296.71/1295.10	c cleaning 51970 clauses out of 104088 with flag 1421002/1421002
1301.64/1300.01	c starts		: 1371
1301.64/1300.01	c conflicts		: 1426412
1301.64/1300.01	c decisions		: 4137003
1301.64/1300.01	c propagations		: 346595921
1301.64/1300.01	c inspects		: 10302526646
1301.64/1300.01	c shortcuts		: 0
1301.64/1300.01	c learnt literals	: 0
1301.64/1300.01	c learnt binary clauses	: 0
1301.64/1300.01	c learnt ternary clauses	: 0
1301.64/1300.01	c learnt constraints	: 1426412
1301.64/1300.01	c ignored constraints	: 0
1301.64/1300.01	c root simplifications	: 1371
1301.64/1300.01	c removed literals (reason simplification)	: 97132665
1301.64/1300.01	c reason swapping (by a shorter reason)	: 0
1301.64/1300.01	c Calls to reduceDB	: 49
1301.64/1300.01	c speed (assignments/second)	: 266759.6203133731
1301.64/1300.01	c non guided choices	285
1301.64/1300.04	c learnt constraints type 
1301.64/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57559
1301.64/1300.04	c constraints type 
1301.64/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
1301.64/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 974405
1301.64/1300.04	s UNKNOWN
1301.64/1300.04	c Total wall clock time (in seconds) : 1299.923

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.68 5.03 5.14 8/241 6281
/proc/meminfo: memFree=20348448/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=30540 CPUtime=0 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 1250 0 0 0 0 0 0 0 21 0 2 0 548655694 31272960 969 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 7635 969 741 9 0 386 0
[pid=6281/tid=6282] ppid=6279 vsize=30536 CPUtime=0 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) S 6279 6281 6169 0 -1 4202560 139 0 0 0 0 0 0 0 22 0 2 0 548655695 31268864 972 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224280002183 0 2147483391 0 16784584 18446744071699199166 0 0 -1 1 0 0 0

[startup+0.031427 s]
/proc/loadavg: 4.68 5.03 5.14 8/241 6281
/proc/meminfo: memFree=20348448/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7562296 CPUtime=0.01 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 8539 0 1 0 1 0 0 0 21 0 11 0 548655694 7743791104 8237 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1890574 8237 1623 9 0 1881322 0
[pid=6281/tid=6282] ppid=6279 vsize=7562296 CPUtime=0.01 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 7414 0 1 0 1 0 0 0 25 0 11 0 548655695 7743791104 8237 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296752587 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7562296

[startup+0.10042 s]
/proc/loadavg: 4.68 5.03 5.14 8/241 6281
/proc/meminfo: memFree=20348448/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7569940 CPUtime=0.09 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 10762 0 1 0 8 1 0 0 21 0 18 0 548655694 7751618560 10458 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1892485 10458 1757 9 0 1883223 0
[pid=6281/tid=6282] ppid=6279 vsize=7569940 CPUtime=0.08 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 9587 0 1 0 7 1 0 0 18 0 18 0 548655695 7751618560 10458 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.300382 s]
/proc/loadavg: 4.68 5.03 5.14 8/241 6281
/proc/meminfo: memFree=20348448/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7576488 CPUtime=0.47 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 15464 0 1 0 45 2 0 0 21 0 18 0 548655694 7758323712 14378 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1894122 14379 2197 9 0 1884860 0
[pid=6281/tid=6282] ppid=6279 vsize=7576488 CPUtime=0.28 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 11463 0 1 0 27 1 0 0 18 0 18 0 548655695 7758323712 14379 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505572793 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 7576488

[startup+0.700328 s]
/proc/loadavg: 4.68 5.03 5.14 8/241 6281
/proc/meminfo: memFree=20348448/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7576488 CPUtime=0.87 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 26145 0 1 0 83 4 0 0 21 0 18 0 548655694 7758323712 25059 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1894122 25059 2197 9 0 1884860 0
[pid=6281/tid=6282] ppid=6279 vsize=7576488 CPUtime=0.68 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 22144 0 1 0 65 3 0 0 18 0 18 0 548655695 7758323712 25060 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505571758 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 7576488

[startup+1.50119 s]
/proc/loadavg: 5.27 5.14 5.18 7/262 6302
/proc/meminfo: memFree=20145796/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7580808 CPUtime=1.99 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 30518 0 1 0 195 4 0 0 21 0 19 0 548655694 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1895202 29242 2224 9 0 1885940 0
[pid=6281/tid=6282] ppid=6279 vsize=7580808 CPUtime=1.49 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 25381 0 1 0 145 4 0 0 20 0 19 0 548655695 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 47533110618963 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6281/tid=6284] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6284/stat : 6284 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6285] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6285/stat : 6285 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6286] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6286/stat : 6286 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6287] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6287/stat : 6287 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6288] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6288/stat : 6288 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6289] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6289/stat : 6289 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6290] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6290/stat : 6290 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6291] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6291/stat : 6291 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655696 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6292] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6292/stat : 6292 (java) S 6279 6281 6169 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 548655697 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 0 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6293] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6293/stat : 6293 (java) S 6279 6281 6169 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 548655697 7762747392 29242 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6294] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6294/stat : 6294 (java) S 6279 6281 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548655697 7762747392 29243 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6295] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6295/stat : 6295 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7762747392 29243 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296749489 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6296] ppid=6279 vsize=7580808 CPUtime=0.17 cores=1,3
/proc/6281/task/6296/stat : 6296 (java) S 6279 6281 6169 0 -1 4202560 284 0 0 0 17 0 0 0 16 0 19 0 548655700 7762747392 29243 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6297] ppid=6279 vsize=7580808 CPUtime=0.32 cores=1,3
/proc/6281/task/6297/stat : 6297 (java) S 6279 6281 6169 0 -1 4202560 3692 0 0 0 32 0 0 0 18 0 19 0 548655700 7762747392 29243 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6298] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6298/stat : 6298 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7762747392 29243 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6299] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6299/stat : 6299 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548655700 7762747392 29243 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6302] ppid=6279 vsize=7580808 CPUtime=0 cores=1,3
/proc/6281/task/6302/stat : 6302 (java) S 6279 6281 6169 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548655768 7762747392 29243 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 7580808

[startup+3.10089 s]
/proc/loadavg: 5.27 5.14 5.18 8/262 6302
/proc/meminfo: memFree=19992384/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7663304 CPUtime=3.8 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 64424 0 1 0 371 9 0 0 21 0 19 0 548655694 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1915826 61198 2251 9 0 1906564 0
[pid=6281/tid=6282] ppid=6279 vsize=7663304 CPUtime=2.77 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 26777 0 1 0 273 4 0 0 20 0 19 0 548655695 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505640320 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6281/tid=6284] ppid=6279 vsize=7663304 CPUtime=0.01 cores=1,3
/proc/6281/task/6284/stat : 6284 (java) S 6279 6281 6169 0 -1 4202560 2845 0 0 0 1 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6285] ppid=6279 vsize=7663304 CPUtime=0.05 cores=1,3
/proc/6281/task/6285/stat : 6285 (java) S 6279 6281 6169 0 -1 4202560 4530 0 0 0 5 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6286] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6286/stat : 6286 (java) S 6279 6281 6169 0 -1 4202560 415 0 0 0 0 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6287] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6287/stat : 6287 (java) S 6279 6281 6169 0 -1 4202560 149 0 0 0 0 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6288] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6288/stat : 6288 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6289] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6289/stat : 6289 (java) S 6279 6281 6169 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6290] ppid=6279 vsize=7663304 CPUtime=0.04 cores=1,3
/proc/6281/task/6290/stat : 6290 (java) S 6279 6281 6169 0 -1 4202560 3369 0 0 0 4 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6291] ppid=6279 vsize=7663304 CPUtime=0.02 cores=1,3
/proc/6281/task/6291/stat : 6291 (java) S 6279 6281 6169 0 -1 4202560 2009 0 0 0 2 0 0 0 18 0 19 0 548655696 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6292] ppid=6279 vsize=7663304 CPUtime=0.21 cores=1,3
/proc/6281/task/6292/stat : 6292 (java) S 6279 6281 6169 0 -1 4202560 13205 0 0 0 20 1 0 0 16 0 19 0 548655697 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 0 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6293] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6293/stat : 6293 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 548655697 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6294] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6294/stat : 6294 (java) S 6279 6281 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548655697 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6295] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6295/stat : 6295 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296749489 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6296] ppid=6279 vsize=7663304 CPUtime=0.29 cores=1,3
/proc/6281/task/6296/stat : 6296 (java) R 6279 6281 6169 0 -1 4202560 5950 0 0 0 29 0 0 0 16 0 19 0 548655700 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 47533109828901 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6281/tid=6297] ppid=6279 vsize=7663304 CPUtime=0.34 cores=1,3
/proc/6281/task/6297/stat : 6297 (java) S 6279 6281 6169 0 -1 4202560 3958 0 0 0 34 0 0 0 16 0 19 0 548655700 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6298] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6298/stat : 6298 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6299] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6299/stat : 6299 (java) S 6279 6281 6169 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 548655700 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6302] ppid=6279 vsize=7663304 CPUtime=0 cores=1,3
/proc/6281/task/6302/stat : 6302 (java) S 6279 6281 6169 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548655768 7847223296 61198 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 7663304

[startup+6.30138 s]
/proc/loadavg: 5.17 5.12 5.17 5/262 6302
/proc/meminfo: memFree=19852024/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7646276 CPUtime=7.08 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 67466 0 1 0 699 9 0 0 21 0 19 0 548655694 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1911569 60151 2253 9 0 1902307 0
[pid=6281/tid=6282] ppid=6279 vsize=7646276 CPUtime=5.75 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 26781 0 1 0 571 4 0 0 16 0 19 0 548655695 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505651572 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6281/tid=6284] ppid=6279 vsize=7646276 CPUtime=0.01 cores=1,3
/proc/6281/task/6284/stat : 6284 (java) S 6279 6281 6169 0 -1 4202560 2958 0 0 0 1 0 0 0 18 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6285] ppid=6279 vsize=7646276 CPUtime=0.05 cores=1,3
/proc/6281/task/6285/stat : 6285 (java) S 6279 6281 6169 0 -1 4202560 4530 0 0 0 5 0 0 0 18 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6286] ppid=6279 vsize=7646276 CPUtime=0.01 cores=1,3
/proc/6281/task/6286/stat : 6286 (java) S 6279 6281 6169 0 -1 4202560 1659 0 0 0 1 0 0 0 18 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6287] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6287/stat : 6287 (java) S 6279 6281 6169 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6288] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6288/stat : 6288 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6289] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6289/stat : 6289 (java) S 6279 6281 6169 0 -1 4202560 934 0 0 0 0 0 0 0 15 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6290] ppid=6279 vsize=7646276 CPUtime=0.04 cores=1,3
/proc/6281/task/6290/stat : 6290 (java) S 6279 6281 6169 0 -1 4202560 3369 0 0 0 4 0 0 0 18 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6291] ppid=6279 vsize=7646276 CPUtime=0.02 cores=1,3
/proc/6281/task/6291/stat : 6291 (java) S 6279 6281 6169 0 -1 4202560 2009 0 0 0 2 0 0 0 18 0 19 0 548655696 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6292] ppid=6279 vsize=7646276 CPUtime=0.39 cores=1,3
/proc/6281/task/6292/stat : 6292 (java) S 6279 6281 6169 0 -1 4202560 13841 0 0 0 38 1 0 0 16 0 19 0 548655697 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 0 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6293] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6293/stat : 6293 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6294] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6294/stat : 6294 (java) S 6279 6281 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6295] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6295/stat : 6295 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296749489 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6296] ppid=6279 vsize=7646276 CPUtime=0.36 cores=1,3
/proc/6281/task/6296/stat : 6296 (java) S 6279 6281 6169 0 -1 4202560 6103 0 0 0 36 0 0 0 15 0 19 0 548655700 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6297] ppid=6279 vsize=7646276 CPUtime=0.36 cores=1,3
/proc/6281/task/6297/stat : 6297 (java) S 6279 6281 6169 0 -1 4202560 3960 0 0 0 36 0 0 0 16 0 19 0 548655700 7829786624 60151 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0

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

[pid=6281/tid=6289] ppid=6279 vsize=7646276 CPUtime=0.15 cores=1,3
/proc/6281/task/6289/stat : 6289 (java) S 6279 6281 6169 0 -1 4202560 3168 0 0 0 15 0 0 0 15 0 19 0 548655696 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6290] ppid=6279 vsize=7646276 CPUtime=0.27 cores=1,3
/proc/6281/task/6290/stat : 6290 (java) S 6279 6281 6169 0 -1 4202560 6697 0 0 0 27 0 0 0 15 0 19 0 548655696 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6291] ppid=6279 vsize=7646276 CPUtime=0.21 cores=1,3
/proc/6281/task/6291/stat : 6291 (java) S 6279 6281 6169 0 -1 4202560 6563 0 0 0 20 1 0 0 15 0 19 0 548655696 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6292] ppid=6279 vsize=7646276 CPUtime=9.98 cores=1,3
/proc/6281/task/6292/stat : 6292 (java) S 6279 6281 6169 0 -1 4202560 29336 0 0 0 995 3 0 0 16 0 19 0 548655697 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 0 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6293] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6293/stat : 6293 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6294] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6294/stat : 6294 (java) S 6279 6281 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6295] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6295/stat : 6295 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296749489 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6296] ppid=6279 vsize=7646276 CPUtime=0.4 cores=1,3
/proc/6281/task/6296/stat : 6296 (java) S 6279 6281 6169 0 -1 4202560 7195 0 0 0 40 0 0 0 15 0 19 0 548655700 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6297] ppid=6279 vsize=7646276 CPUtime=0.36 cores=1,3
/proc/6281/task/6297/stat : 6297 (java) S 6279 6281 6169 0 -1 4202560 3971 0 0 0 36 0 0 0 16 0 19 0 548655700 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6298] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6298/stat : 6298 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6299] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6299/stat : 6299 (java) S 6279 6281 6169 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 548655700 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6302] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6302/stat : 6302 (java) S 6279 6281 6169 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548655768 7829786624 95361 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.84
Current children cumulated vsize (KiB) 7646276

[startup+1182.3 s]
/proc/loadavg: 4.00 4.04 4.32 6/262 6343
/proc/meminfo: memFree=19384452/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7646276 CPUtime=1183.87 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 103870 0 1 0 118372 15 0 0 21 0 19 0 548655694 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1911569 96071 2253 9 0 1902307 0
[pid=6281/tid=6282] ppid=6279 vsize=7646276 CPUtime=1171.13 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 29594 0 1 0 117108 5 0 0 25 0 19 0 548655695 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505605315 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6281/tid=6284] ppid=6279 vsize=7646276 CPUtime=0.17 cores=1,3
/proc/6281/task/6284/stat : 6284 (java) S 6279 6281 6169 0 -1 4202560 4228 0 0 0 17 0 0 0 15 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6285] ppid=6279 vsize=7646276 CPUtime=0.2 cores=1,3
/proc/6281/task/6285/stat : 6285 (java) S 6279 6281 6169 0 -1 4202560 4989 0 0 0 20 0 0 0 15 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6286] ppid=6279 vsize=7646276 CPUtime=0.18 cores=1,3
/proc/6281/task/6286/stat : 6286 (java) S 6279 6281 6169 0 -1 4202560 3113 0 0 0 18 0 0 0 16 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6287] ppid=6279 vsize=7646276 CPUtime=0.23 cores=1,3
/proc/6281/task/6287/stat : 6287 (java) S 6279 6281 6169 0 -1 4202560 1855 0 0 0 23 0 0 0 15 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6288] ppid=6279 vsize=7646276 CPUtime=0.2 cores=1,3
/proc/6281/task/6288/stat : 6288 (java) S 6279 6281 6169 0 -1 4202560 1258 0 0 0 20 0 0 0 15 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6289] ppid=6279 vsize=7646276 CPUtime=0.15 cores=1,3
/proc/6281/task/6289/stat : 6289 (java) S 6279 6281 6169 0 -1 4202560 3168 0 0 0 15 0 0 0 15 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6290] ppid=6279 vsize=7646276 CPUtime=0.28 cores=1,3
/proc/6281/task/6290/stat : 6290 (java) S 6279 6281 6169 0 -1 4202560 6697 0 0 0 28 0 0 0 15 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6291] ppid=6279 vsize=7646276 CPUtime=0.25 cores=1,3
/proc/6281/task/6291/stat : 6291 (java) S 6279 6281 6169 0 -1 4202560 6567 0 0 0 24 1 0 0 16 0 19 0 548655696 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6292] ppid=6279 vsize=7646276 CPUtime=10.2 cores=1,3
/proc/6281/task/6292/stat : 6292 (java) S 6279 6281 6169 0 -1 4202560 30013 0 0 0 1017 3 0 0 15 0 19 0 548655697 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 0 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6293] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6293/stat : 6293 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6294] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6294/stat : 6294 (java) S 6279 6281 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6295] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6295/stat : 6295 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296749489 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6296] ppid=6279 vsize=7646276 CPUtime=0.4 cores=1,3
/proc/6281/task/6296/stat : 6296 (java) S 6279 6281 6169 0 -1 4202560 7195 0 0 0 40 0 0 0 15 0 19 0 548655700 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6297] ppid=6279 vsize=7646276 CPUtime=0.36 cores=1,3
/proc/6281/task/6297/stat : 6297 (java) S 6279 6281 6169 0 -1 4202560 3971 0 0 0 36 0 0 0 16 0 19 0 548655700 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6298] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6298/stat : 6298 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6299] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6299/stat : 6299 (java) S 6279 6281 6169 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 548655700 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6302] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6302/stat : 6302 (java) S 6279 6281 6169 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548655768 7829786624 96071 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.87
Current children cumulated vsize (KiB) 7646276

[startup+1242.3 s]
/proc/loadavg: 4.00 4.03 4.30 6/262 6345
/proc/meminfo: memFree=19333828/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7646276 CPUtime=1243.91 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 114271 0 1 0 124373 18 0 0 21 0 19 0 548655694 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1911569 106453 2253 9 0 1902307 0
[pid=6281/tid=6282] ppid=6279 vsize=7646276 CPUtime=1230.79 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 34160 0 1 0 123071 8 0 0 25 0 19 0 548655695 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505739332 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6281/tid=6284] ppid=6279 vsize=7646276 CPUtime=0.17 cores=1,3
/proc/6281/task/6284/stat : 6284 (java) S 6279 6281 6169 0 -1 4202560 4243 0 0 0 17 0 0 0 15 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6285] ppid=6279 vsize=7646276 CPUtime=0.23 cores=1,3
/proc/6281/task/6285/stat : 6285 (java) S 6279 6281 6169 0 -1 4202560 7941 0 0 0 23 0 0 0 15 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6286] ppid=6279 vsize=7646276 CPUtime=0.18 cores=1,3
/proc/6281/task/6286/stat : 6286 (java) S 6279 6281 6169 0 -1 4202560 3113 0 0 0 18 0 0 0 15 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6287] ppid=6279 vsize=7646276 CPUtime=0.23 cores=1,3
/proc/6281/task/6287/stat : 6287 (java) S 6279 6281 6169 0 -1 4202560 1855 0 0 0 23 0 0 0 15 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6288] ppid=6279 vsize=7646276 CPUtime=0.2 cores=1,3
/proc/6281/task/6288/stat : 6288 (java) S 6279 6281 6169 0 -1 4202560 1258 0 0 0 20 0 0 0 15 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6289] ppid=6279 vsize=7646276 CPUtime=0.15 cores=1,3
/proc/6281/task/6289/stat : 6289 (java) S 6279 6281 6169 0 -1 4202560 3168 0 0 0 15 0 0 0 15 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6290] ppid=6279 vsize=7646276 CPUtime=0.28 cores=1,3
/proc/6281/task/6290/stat : 6290 (java) S 6279 6281 6169 0 -1 4202560 6697 0 0 0 28 0 0 0 15 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6291] ppid=6279 vsize=7646276 CPUtime=0.28 cores=1,3
/proc/6281/task/6291/stat : 6291 (java) S 6279 6281 6169 0 -1 4202560 9429 0 0 0 27 1 0 0 16 0 19 0 548655696 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6292] ppid=6279 vsize=7646276 CPUtime=10.51 cores=1,3
/proc/6281/task/6292/stat : 6292 (java) S 6279 6281 6169 0 -1 4202560 30015 0 0 0 1048 3 0 0 15 0 19 0 548655697 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 0 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6293] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6293/stat : 6293 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6294] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6294/stat : 6294 (java) S 6279 6281 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6295] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6295/stat : 6295 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296749489 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6296] ppid=6279 vsize=7646276 CPUtime=0.4 cores=1,3
/proc/6281/task/6296/stat : 6296 (java) S 6279 6281 6169 0 -1 4202560 7195 0 0 0 40 0 0 0 15 0 19 0 548655700 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6297] ppid=6279 vsize=7646276 CPUtime=0.36 cores=1,3
/proc/6281/task/6297/stat : 6297 (java) S 6279 6281 6169 0 -1 4202560 3971 0 0 0 36 0 0 0 16 0 19 0 548655700 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6298] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6298/stat : 6298 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6299] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6299/stat : 6299 (java) S 6279 6281 6169 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 548655700 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6302] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6302/stat : 6302 (java) S 6279 6281 6169 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548655768 7829786624 106453 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.91
Current children cumulated vsize (KiB) 7646276



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.02 4.28 2/202 6356
/proc/meminfo: memFree=20049640/32951124 swapFree=67110396/67111528
[pid=6281] ppid=6279 vsize=7646276 CPUtime=1301.64 cores=1,3
/proc/6281/stat : 6281 (java) S 6279 6281 6169 0 -1 4202496 114608 0 1 0 130146 18 0 0 21 0 19 0 548655694 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6281/statm: 1911569 106783 2253 9 0 1902307 0
[pid=6281/tid=6282] ppid=6279 vsize=7646276 CPUtime=1288.25 cores=1,3
/proc/6281/task/6282/stat : 6282 (java) R 6279 6281 6169 0 -1 4202560 34161 0 1 0 128817 8 0 0 25 0 19 0 548655695 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 46912505739332 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6281/tid=6284] ppid=6279 vsize=7646276 CPUtime=0.19 cores=1,3
/proc/6281/task/6284/stat : 6284 (java) S 6279 6281 6169 0 -1 4202560 4244 0 0 0 19 0 0 0 16 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6285] ppid=6279 vsize=7646276 CPUtime=0.23 cores=1,3
/proc/6281/task/6285/stat : 6285 (java) S 6279 6281 6169 0 -1 4202560 7941 0 0 0 23 0 0 0 15 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6286] ppid=6279 vsize=7646276 CPUtime=0.18 cores=1,3
/proc/6281/task/6286/stat : 6286 (java) S 6279 6281 6169 0 -1 4202560 3113 0 0 0 18 0 0 0 15 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6287] ppid=6279 vsize=7646276 CPUtime=0.23 cores=1,3
/proc/6281/task/6287/stat : 6287 (java) S 6279 6281 6169 0 -1 4202560 1855 0 0 0 23 0 0 0 15 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6288] ppid=6279 vsize=7646276 CPUtime=0.2 cores=1,3
/proc/6281/task/6288/stat : 6288 (java) S 6279 6281 6169 0 -1 4202560 1258 0 0 0 20 0 0 0 15 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6289] ppid=6279 vsize=7646276 CPUtime=0.15 cores=1,3
/proc/6281/task/6289/stat : 6289 (java) S 6279 6281 6169 0 -1 4202560 3168 0 0 0 15 0 0 0 15 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6290] ppid=6279 vsize=7646276 CPUtime=0.3 cores=1,3
/proc/6281/task/6290/stat : 6290 (java) S 6279 6281 6169 0 -1 4202560 6697 0 0 0 30 0 0 0 15 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6291] ppid=6279 vsize=7646276 CPUtime=0.28 cores=1,3
/proc/6281/task/6291/stat : 6291 (java) S 6279 6281 6169 0 -1 4202560 9429 0 0 0 27 1 0 0 15 0 19 0 548655696 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6292] ppid=6279 vsize=7646276 CPUtime=10.73 cores=1,3
/proc/6281/task/6292/stat : 6292 (java) S 6279 6281 6169 0 -1 4202560 30346 0 0 0 1070 3 0 0 15 0 19 0 548655697 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 0 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6293] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6293/stat : 6293 (java) S 6279 6281 6169 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6294] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6294/stat : 6294 (java) S 6279 6281 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548655697 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6295] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6295/stat : 6295 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296749489 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6296] ppid=6279 vsize=7646276 CPUtime=0.4 cores=1,3
/proc/6281/task/6296/stat : 6296 (java) S 6279 6281 6169 0 -1 4202560 7195 0 0 0 40 0 0 0 15 0 19 0 548655700 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6297] ppid=6279 vsize=7646276 CPUtime=0.36 cores=1,3
/proc/6281/task/6297/stat : 6297 (java) S 6279 6281 6169 0 -1 4202560 3971 0 0 0 36 0 0 0 16 0 19 0 548655700 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6298] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6298/stat : 6298 (java) S 6279 6281 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548655700 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296741785 0 4 0 16800975 18446604471127926784 0 0 -1 1 0 0 0
[pid=6281/tid=6299] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6299/stat : 6299 (java) S 6279 6281 6169 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 548655700 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
[pid=6281/tid=6302] ppid=6279 vsize=7646276 CPUtime=0 cores=1,3
/proc/6281/task/6302/stat : 6302 (java) S 6279 6281 6169 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548655768 7829786624 106783 33554432000 1073741824 1073778376 140736515254960 18446744073709551615 224296742400 0 4 0 16800975 18446604471127926784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 7646276

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

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

Child status: 143
Real time (s): 1300.07
CPU time (s): 1301.74
CPU user time (s): 1301.53
CPU system time (s): 0.207968
CPU usage (%): 100.129
Max. virtual memory (cumulated for all children) (KiB): 7663304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.53
system time used= 0.207968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114722
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= 27990
involuntary context switches= 4429

runsolver used 2.03869 second user time and 5.14122 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-23 20:44:10
IDJOB=3251038
IDBENCH=88208
IDSOLVER=1611
FILE ID=node118/3251038-1303584250
RUNJOBID= node118-1303584250-6189
PBS_JOBID= 13150361
Free space on /tmp= 71720 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p15-s80450670.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-3251038-1303584250/watcher-3251038-1303584250 -o /tmp/evaluation-result-3251038-1303584250/solver-3251038-1303584250 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3251038-1303584250.cnf

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

MD5SUM BENCH= 78d8e2b8c0fd15b93f96e38e33701f17
RANDOM SEED=1056619955

node118.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.842
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.68
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.842
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.842
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.74
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.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20348860 kB
Buffers:       1858140 kB
Cached:       10026488 kB
SwapCached:        600 kB
Active:        8621296 kB
Inactive:      3455544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20348860 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           25392 kB
Writeback:           0 kB
AnonPages:      190560 kB
Mapped:          23204 kB
Slab:           459744 kB
PageTables:       5824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22000092 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= 71724 MiB
End job on node118 at 2011-04-23 21:05:52