Trace number 3280289

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) 1302.33 1300.08

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-17-u.cnf
MD5SUM9ce7c48a28ddd5790e38607bb893dd38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables293864
Number of clauses1370917
Sum of the clauses size3163902
Maximum clause length10
Minimum clause length1
Number of clauses of size 124516
Number of clauses of size 21065117
Number of clauses of size 3226184
Number of clauses of size 46120
Number of clauses of size 524480
Number of clauses of size over 524500

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3280289-1303746965.cnf
0.00/0.09	c reading problem ... 
1.27/1.18	c ... done. Wall clock time 1.092s.
1.27/1.18	c #vars     293864
1.27/1.18	c #constraints  1358677
1.27/1.18	c constraints type 
1.27/1.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 281284
1.27/1.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1065117
27.00/26.29	c cleaning 1922 clauses out of 3901 with flag 5000/5000
44.11/43.12	c cleaning 3838 clauses out of 7696 with flag 11002/11002
61.73/60.36	c cleaning 5368 clauses out of 10755 with flag 18000/18000
82.17/80.33	c cleaning 6685 clauses out of 13387 with flag 26004/26004
102.79/101.00	c cleaning 7820 clauses out of 15674 with flag 35001/35001
123.80/121.94	c cleaning 8861 clauses out of 17751 with flag 45002/45002
144.71/142.83	c cleaning 9924 clauses out of 19848 with flag 56002/56002
168.52/166.66	c cleaning 10961 clauses out of 21926 with flag 68005/68005
193.43/191.55	c cleaning 11966 clauses out of 23957 with flag 81001/81001
221.74/219.85	c cleaning 12952 clauses out of 25979 with flag 95000/95000
250.56/248.62	c cleaning 13988 clauses out of 28021 with flag 110000/110000
281.17/279.24	c cleaning 15002 clauses out of 30033 with flag 126001/126001
312.88/310.93	c cleaning 15992 clauses out of 32006 with flag 143001/143001
348.19/346.27	c cleaning 17007 clauses out of 34014 with flag 161004/161004
385.51/383.59	c cleaning 17993 clauses out of 36004 with flag 180001/180001
422.23/420.24	c cleaning 18993 clauses out of 38006 with flag 200000/200000
465.33/463.34	c cleaning 19975 clauses out of 39959 with flag 221001/221001
505.34/503.38	c cleaning 20972 clauses out of 41982 with flag 243002/243002
546.36/544.30	c cleaning 21990 clauses out of 43993 with flag 266000/266000
591.87/589.83	c cleaning 22991 clauses out of 46001 with flag 290000/290000
636.88/634.88	c cleaning 23995 clauses out of 48001 with flag 315000/315000
685.79/683.78	c cleaning 24988 clauses out of 50006 with flag 341000/341000
747.31/745.26	c cleaning 25989 clauses out of 52020 with flag 368002/368002
796.72/794.68	c cleaning 27002 clauses out of 54029 with flag 396000/396000
860.23/858.11	c cleaning 27997 clauses out of 56012 with flag 425002/425002
918.65/916.53	c cleaning 28997 clauses out of 58010 with flag 455000/455000
975.26/973.11	c cleaning 29999 clauses out of 60010 with flag 486001/486001
1040.46/1038.36	c cleaning 30999 clauses out of 62010 with flag 518001/518001
1110.77/1108.64	c cleaning 31979 clauses out of 64012 with flag 551002/551002
1189.68/1187.54	c cleaning 32994 clauses out of 65995 with flag 585000/585000
1265.18/1263.09	c cleaning 33974 clauses out of 67964 with flag 620000/620000
1302.20/1300.01	c starts		: 969
1302.20/1300.01	c conflicts		: 636638
1302.20/1300.01	c decisions		: 1011083
1302.20/1300.01	c propagations		: 1327442977
1302.20/1300.01	c inspects		: 6085262433
1302.20/1300.01	c shortcuts		: 0
1302.20/1300.01	c learnt literals	: 239
1302.20/1300.01	c learnt binary clauses	: 614
1302.20/1300.01	c learnt ternary clauses	: 877
1302.20/1300.01	c learnt constraints	: 636399
1302.20/1300.01	c ignored constraints	: 0
1302.20/1300.01	c root simplifications	: 1208
1302.20/1300.01	c removed literals (reason simplification)	: 36590153
1302.20/1300.01	c reason swapping (by a shorter reason)	: 0
1302.20/1300.01	c Calls to reduceDB	: 31
1302.20/1300.01	c speed (assignments/second)	: 1022036.5754506777
1302.20/1300.01	c non guided choices	1741
1302.20/1300.05	c learnt constraints type 
1302.20/1300.05	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 420
1302.20/1300.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50218
1302.20/1300.05	c constraints type 
1302.20/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 281284
1302.20/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1065117
1302.20/1300.05	s UNKNOWN
1302.20/1300.05	c Total wall clock time (in seconds) : 1299.917

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-3280289-1303746965/watcher-3280289-1303746965 -o /tmp/evaluation-result-3280289-1303746965/solver-3280289-1303746965 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3280289-1303746965.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: 3.63 1.51 0.56 4/243 26507
/proc/meminfo: memFree=21830308/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=23028 CPUtime=0 cores=1,3
/proc/26507/stat : 26507 (java) R 26505 26507 26342 0 -1 4202496 1079 0 0 0 0 0 0 0 23 0 1 0 486299342 23580672 822 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 47531962679296 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26507/statm: 5757 838 631 9 0 124 0

[startup+0.0144819 s]
/proc/loadavg: 3.63 1.51 0.56 4/243 26507
/proc/meminfo: memFree=21830308/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7540840 CPUtime=0 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 3482 0 1 0 0 0 0 0 23 0 2 0 486299342 7721820160 3183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1885210 3209 919 9 0 1876366 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7540840

[startup+0.100434 s]
/proc/loadavg: 3.63 1.51 0.56 4/243 26507
/proc/meminfo: memFree=21830308/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7636440 CPUtime=0.1 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 10993 0 1 0 8 2 0 0 23 0 18 0 486299342 7819714560 10689 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1909110 10689 2085 9 0 1899848 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636440

[startup+0.300399 s]
/proc/loadavg: 3.63 1.51 0.56 4/243 26507
/proc/meminfo: memFree=21830308/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7636540 CPUtime=0.42 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 21455 0 1 0 39 3 0 0 23 0 18 0 486299342 7819816960 20797 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1909135 20797 2198 9 0 1899873 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7636540

[startup+0.700325 s]
/proc/loadavg: 3.63 1.51 0.56 4/243 26507
/proc/meminfo: memFree=21830308/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7636540 CPUtime=0.82 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 35061 0 1 0 77 5 0 0 23 0 18 0 486299342 7819816960 34403 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1909135 34403 2198 9 0 1899873 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 7636540

[startup+1.50119 s]
/proc/loadavg: 3.82 1.59 0.59 5/261 26525
/proc/meminfo: memFree=21671204/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7637688 CPUtime=1.85 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 52586 0 1 0 178 7 0 0 23 0 19 0 486299342 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1909422 51407 2213 9 0 1900160 0
[pid=26507/tid=26508] ppid=26505 vsize=7637688 CPUtime=1.47 cores=1,3
/proc/26507/task/26508/stat : 26508 (java) R 26505 26507 26342 0 -1 4202560 49111 0 1 0 141 6 0 0 19 0 19 0 486299342 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 46912505661774 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26507/tid=26510] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26510/stat : 26510 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26511] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26511/stat : 26511 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26512] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26512/stat : 26512 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26513] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26513/stat : 26513 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26514] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26514/stat : 26514 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26515] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26515/stat : 26515 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26516] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26516/stat : 26516 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26517] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26517/stat : 26517 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26518] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26518/stat : 26518 (java) S 26505 26507 26342 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 486299345 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 0 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26519] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26519/stat : 26519 (java) S 26505 26507 26342 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 486299345 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26520] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26520/stat : 26520 (java) S 26505 26507 26342 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 486299345 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26521] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26521/stat : 26521 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382780849 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26522] ppid=26505 vsize=7637688 CPUtime=0.13 cores=1,3
/proc/26507/task/26522/stat : 26522 (java) S 26505 26507 26342 0 -1 4202560 620 0 0 0 13 0 0 0 16 0 19 0 486299347 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26523] ppid=26505 vsize=7637688 CPUtime=0.22 cores=1,3
/proc/26507/task/26523/stat : 26523 (java) S 26505 26507 26342 0 -1 4202560 1694 0 0 0 22 0 0 0 16 0 19 0 486299347 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26524] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26524/stat : 26524 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26525] ppid=26505 vsize=7637688 CPUtime=0 cores=1,3
/proc/26507/task/26525/stat : 26525 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486299347 7820992512 51407 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 7637688

[startup+3.1009 s]
/proc/loadavg: 3.82 1.59 0.59 5/262 26526
/proc/meminfo: memFree=21625312/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7639848 CPUtime=3.83 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 55998 0 1 0 375 8 0 0 23 0 19 0 486299342 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1909962 53207 2223 9 0 1900700 0
[pid=26507/tid=26508] ppid=26505 vsize=7639848 CPUtime=3.04 cores=1,3
/proc/26507/task/26508/stat : 26508 (java) R 26505 26507 26342 0 -1 4202560 49302 0 1 0 297 7 0 0 22 0 19 0 486299342 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 46912505774485 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26507/tid=26510] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26510/stat : 26510 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26511] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26511/stat : 26511 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26512] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26512/stat : 26512 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26513] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26513/stat : 26513 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26514] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26514/stat : 26514 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26515] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26515/stat : 26515 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26516] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26516/stat : 26516 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26517] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26517/stat : 26517 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26518] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26518/stat : 26518 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 486299345 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 0 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26519] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26519/stat : 26519 (java) S 26505 26507 26342 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 486299345 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26520] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26520/stat : 26520 (java) S 26505 26507 26342 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 486299345 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26521] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26521/stat : 26521 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382780849 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26522] ppid=26505 vsize=7639848 CPUtime=0.28 cores=1,3
/proc/26507/task/26522/stat : 26522 (java) S 26505 26507 26342 0 -1 4202560 1520 0 0 0 28 0 0 0 16 0 19 0 486299347 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26523] ppid=26505 vsize=7639848 CPUtime=0.49 cores=1,3
/proc/26507/task/26523/stat : 26523 (java) S 26505 26507 26342 0 -1 4202560 4014 0 0 0 49 0 0 0 15 0 19 0 486299347 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26524] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26524/stat : 26524 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26525] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26525/stat : 26525 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486299347 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26526] ppid=26505 vsize=7639848 CPUtime=0 cores=1,3
/proc/26507/task/26526/stat : 26526 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 486299476 7823204352 53207 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 7639848

[startup+6.30138 s]
/proc/loadavg: 3.83 1.63 0.61 5/262 26526
/proc/meminfo: memFree=21623076/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7639260 CPUtime=7.08 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 56141 0 1 0 700 8 0 0 23 0 19 0 486299342 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1909815 53105 2225 9 0 1900553 0
[pid=26507/tid=26508] ppid=26505 vsize=7639260 CPUtime=6.23 cores=1,3
/proc/26507/task/26508/stat : 26508 (java) R 26505 26507 26342 0 -1 4202560 49373 0 1 0 616 7 0 0 25 0 19 0 486299342 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 46912505781783 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26507/tid=26510] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26510/stat : 26510 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26511] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26511/stat : 26511 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26512] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26512/stat : 26512 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26513] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26513/stat : 26513 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26514] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26514/stat : 26514 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26515] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26515/stat : 26515 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26516] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26516/stat : 26516 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26517] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26517/stat : 26517 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299344 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26518] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26518/stat : 26518 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 486299345 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 0 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26519] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26519/stat : 26519 (java) S 26505 26507 26342 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 486299345 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26520] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26520/stat : 26520 (java) S 26505 26507 26342 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 486299345 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26521] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26521/stat : 26521 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382780849 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26522] ppid=26505 vsize=7639260 CPUtime=0.31 cores=1,3
/proc/26507/task/26522/stat : 26522 (java) S 26505 26507 26342 0 -1 4202560 1587 0 0 0 31 0 0 0 15 0 19 0 486299347 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26523] ppid=26505 vsize=7639260 CPUtime=0.52 cores=1,3
/proc/26507/task/26523/stat : 26523 (java) S 26505 26507 26342 0 -1 4202560 4019 0 0 0 52 0 0 0 15 0 19 0 486299347 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26524] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26524/stat : 26524 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26525] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26525/stat : 26525 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486299347 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26526] ppid=26505 vsize=7639260 CPUtime=0 cores=1,3
/proc/26507/task/26526/stat : 26526 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 486299476 7822602240 53105 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 7639260

[startup+12.7012 s]
/proc/loadavg: 3.85 1.67 0.63 5/262 26526
/proc/meminfo: memFree=21622712/32951124 swapFree=67051468/67111528

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

[pid=26507/tid=26515] ppid=26505 vsize=7660216 CPUtime=0.14 cores=1,3
/proc/26507/task/26515/stat : 26515 (java) S 26505 26507 26342 0 -1 4202560 1575 0 0 0 14 0 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26516] ppid=26505 vsize=7660216 CPUtime=0.19 cores=1,3
/proc/26507/task/26516/stat : 26516 (java) S 26505 26507 26342 0 -1 4202560 13380 0 0 0 18 1 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26517] ppid=26505 vsize=7660216 CPUtime=0.33 cores=1,3
/proc/26507/task/26517/stat : 26517 (java) S 26505 26507 26342 0 -1 4202560 11551 0 0 0 32 1 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26518] ppid=26505 vsize=7660216 CPUtime=7.78 cores=1,3
/proc/26507/task/26518/stat : 26518 (java) S 26505 26507 26342 0 -1 4202560 32952 0 0 0 774 4 0 0 15 0 19 0 486299345 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 0 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26519] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26519/stat : 26519 (java) S 26505 26507 26342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26520] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26520/stat : 26520 (java) S 26505 26507 26342 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26521] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26521/stat : 26521 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382780849 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26522] ppid=26505 vsize=7660216 CPUtime=1.22 cores=1,3
/proc/26507/task/26522/stat : 26522 (java) S 26505 26507 26342 0 -1 4202560 12121 0 0 0 121 1 0 0 15 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26523] ppid=26505 vsize=7660216 CPUtime=0.59 cores=1,3
/proc/26507/task/26523/stat : 26523 (java) S 26505 26507 26342 0 -1 4202560 4028 0 0 0 59 0 0 0 15 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26524] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26524/stat : 26524 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26525] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26525/stat : 26525 (java) S 26505 26507 26342 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26526] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26526/stat : 26526 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 486299476 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1124.48
Current children cumulated vsize (KiB) 7660216

[startup+1182.3 s]
/proc/loadavg: 3.43 3.82 2.98 3/216 26653
/proc/meminfo: memFree=22566408/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7660216 CPUtime=1184.48 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 126925 0 1 0 118431 17 0 0 23 0 19 0 486299342 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1915054 117897 2254 9 0 1905792 0
[pid=26507/tid=26508] ppid=26505 vsize=7660216 CPUtime=1173.77 cores=1,3
/proc/26507/task/26508/stat : 26508 (java) R 26505 26507 26342 0 -1 4202560 49990 0 1 0 117370 7 0 0 25 0 19 0 486299342 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 46912505793036 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26507/tid=26510] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26510/stat : 26510 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26511] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26511/stat : 26511 (java) S 26505 26507 26342 0 -1 4202560 28 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26512] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26512/stat : 26512 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26513] ppid=26505 vsize=7660216 CPUtime=0.09 cores=1,3
/proc/26507/task/26513/stat : 26513 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 9 0 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26514] ppid=26505 vsize=7660216 CPUtime=0.1 cores=1,3
/proc/26507/task/26514/stat : 26514 (java) S 26505 26507 26342 0 -1 4202560 64 0 0 0 10 0 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26515] ppid=26505 vsize=7660216 CPUtime=0.14 cores=1,3
/proc/26507/task/26515/stat : 26515 (java) S 26505 26507 26342 0 -1 4202560 1575 0 0 0 14 0 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26516] ppid=26505 vsize=7660216 CPUtime=0.19 cores=1,3
/proc/26507/task/26516/stat : 26516 (java) S 26505 26507 26342 0 -1 4202560 13380 0 0 0 18 1 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26517] ppid=26505 vsize=7660216 CPUtime=0.33 cores=1,3
/proc/26507/task/26517/stat : 26517 (java) S 26505 26507 26342 0 -1 4202560 11551 0 0 0 32 1 0 0 15 0 19 0 486299344 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26518] ppid=26505 vsize=7660216 CPUtime=7.78 cores=1,3
/proc/26507/task/26518/stat : 26518 (java) S 26505 26507 26342 0 -1 4202560 32952 0 0 0 774 4 0 0 15 0 19 0 486299345 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 0 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26519] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26519/stat : 26519 (java) S 26505 26507 26342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26520] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26520/stat : 26520 (java) S 26505 26507 26342 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26521] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26521/stat : 26521 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382780849 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26522] ppid=26505 vsize=7660216 CPUtime=1.22 cores=1,3
/proc/26507/task/26522/stat : 26522 (java) S 26505 26507 26342 0 -1 4202560 12121 0 0 0 121 1 0 0 15 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26523] ppid=26505 vsize=7660216 CPUtime=0.59 cores=1,3
/proc/26507/task/26523/stat : 26523 (java) S 26505 26507 26342 0 -1 4202560 4028 0 0 0 59 0 0 0 15 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26524] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26524/stat : 26524 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26525] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26525/stat : 26525 (java) S 26505 26507 26342 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 486299347 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26526] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26526/stat : 26526 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 486299476 7844061184 117897 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1184.48
Current children cumulated vsize (KiB) 7660216

[startup+1242.3 s]
/proc/loadavg: 3.50 3.74 3.00 5/262 26715
/proc/meminfo: memFree=21861668/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7660216 CPUtime=1244.48 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 127106 0 1 0 124431 17 0 0 23 0 19 0 486299342 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1915054 118071 2254 9 0 1905792 0
[pid=26507/tid=26508] ppid=26505 vsize=7660216 CPUtime=1233.49 cores=1,3
/proc/26507/task/26508/stat : 26508 (java) R 26505 26507 26342 0 -1 4202560 49991 0 1 0 123342 7 0 0 25 0 19 0 486299342 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 46912505719898 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26507/tid=26510] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26510/stat : 26510 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26511] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26511/stat : 26511 (java) S 26505 26507 26342 0 -1 4202560 28 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26512] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26512/stat : 26512 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26513] ppid=26505 vsize=7660216 CPUtime=0.09 cores=1,3
/proc/26507/task/26513/stat : 26513 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 9 0 0 0 15 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26514] ppid=26505 vsize=7660216 CPUtime=0.1 cores=1,3
/proc/26507/task/26514/stat : 26514 (java) S 26505 26507 26342 0 -1 4202560 64 0 0 0 10 0 0 0 15 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26515] ppid=26505 vsize=7660216 CPUtime=0.17 cores=1,3
/proc/26507/task/26515/stat : 26515 (java) S 26505 26507 26342 0 -1 4202560 1575 0 0 0 17 0 0 0 16 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26516] ppid=26505 vsize=7660216 CPUtime=0.19 cores=1,3
/proc/26507/task/26516/stat : 26516 (java) S 26505 26507 26342 0 -1 4202560 13380 0 0 0 18 1 0 0 15 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26517] ppid=26505 vsize=7660216 CPUtime=0.33 cores=1,3
/proc/26507/task/26517/stat : 26517 (java) S 26505 26507 26342 0 -1 4202560 11551 0 0 0 32 1 0 0 15 0 19 0 486299344 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26518] ppid=26505 vsize=7660216 CPUtime=8.03 cores=1,3
/proc/26507/task/26518/stat : 26518 (java) S 26505 26507 26342 0 -1 4202560 33128 0 0 0 799 4 0 0 15 0 19 0 486299345 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 0 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26519] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26519/stat : 26519 (java) S 26505 26507 26342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26520] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26520/stat : 26520 (java) S 26505 26507 26342 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26521] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26521/stat : 26521 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382780849 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26522] ppid=26505 vsize=7660216 CPUtime=1.22 cores=1,3
/proc/26507/task/26522/stat : 26522 (java) S 26505 26507 26342 0 -1 4202560 12121 0 0 0 121 1 0 0 15 0 19 0 486299347 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26523] ppid=26505 vsize=7660216 CPUtime=0.59 cores=1,3
/proc/26507/task/26523/stat : 26523 (java) S 26505 26507 26342 0 -1 4202560 4028 0 0 0 59 0 0 0 15 0 19 0 486299347 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26524] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26524/stat : 26524 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26525] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26525/stat : 26525 (java) S 26505 26507 26342 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 486299347 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26526] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26526/stat : 26526 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 486299476 7844061184 118071 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1244.48
Current children cumulated vsize (KiB) 7660216



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.81 3.78 3.06 6/262 26716
/proc/meminfo: memFree=21858084/32951124 swapFree=67051468/67111528
[pid=26507] ppid=26505 vsize=7660216 CPUtime=1302.2 cores=1,3
/proc/26507/stat : 26507 (java) S 26505 26507 26342 0 -1 4202496 127225 0 1 0 130203 17 0 0 23 0 19 0 486299342 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26507/statm: 1915054 118183 2254 9 0 1905792 0
[pid=26507/tid=26508] ppid=26505 vsize=7660216 CPUtime=1290.93 cores=1,3
/proc/26507/task/26508/stat : 26508 (java) R 26505 26507 26342 0 -1 4202560 49992 0 1 0 129086 7 0 0 25 0 19 0 486299342 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 46912505736679 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26507/tid=26510] ppid=26505 vsize=7660216 CPUtime=0.07 cores=1,3
/proc/26507/task/26510/stat : 26510 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 7 0 0 0 16 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26511] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26511/stat : 26511 (java) S 26505 26507 26342 0 -1 4202560 28 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26512] ppid=26505 vsize=7660216 CPUtime=0.06 cores=1,3
/proc/26507/task/26512/stat : 26512 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 6 0 0 0 15 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26513] ppid=26505 vsize=7660216 CPUtime=0.09 cores=1,3
/proc/26507/task/26513/stat : 26513 (java) S 26505 26507 26342 0 -1 4202560 6 0 0 0 9 0 0 0 15 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26514] ppid=26505 vsize=7660216 CPUtime=0.1 cores=1,3
/proc/26507/task/26514/stat : 26514 (java) S 26505 26507 26342 0 -1 4202560 64 0 0 0 10 0 0 0 15 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26515] ppid=26505 vsize=7660216 CPUtime=0.17 cores=1,3
/proc/26507/task/26515/stat : 26515 (java) S 26505 26507 26342 0 -1 4202560 1575 0 0 0 17 0 0 0 15 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26516] ppid=26505 vsize=7660216 CPUtime=0.19 cores=1,3
/proc/26507/task/26516/stat : 26516 (java) S 26505 26507 26342 0 -1 4202560 13380 0 0 0 18 1 0 0 15 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26517] ppid=26505 vsize=7660216 CPUtime=0.34 cores=1,3
/proc/26507/task/26517/stat : 26517 (java) S 26505 26507 26342 0 -1 4202560 11551 0 0 0 33 1 0 0 16 0 19 0 486299344 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26518] ppid=26505 vsize=7660216 CPUtime=8.28 cores=1,3
/proc/26507/task/26518/stat : 26518 (java) S 26505 26507 26342 0 -1 4202560 33242 0 0 0 824 4 0 0 15 0 19 0 486299345 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 0 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26519] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26519/stat : 26519 (java) S 26505 26507 26342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26520] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26520/stat : 26520 (java) S 26505 26507 26342 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486299345 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26521] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26521/stat : 26521 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382780849 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26522] ppid=26505 vsize=7660216 CPUtime=1.22 cores=1,3
/proc/26507/task/26522/stat : 26522 (java) S 26505 26507 26342 0 -1 4202560 12121 0 0 0 121 1 0 0 15 0 19 0 486299347 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 1 0 0 0
[pid=26507/tid=26523] ppid=26505 vsize=7660216 CPUtime=0.59 cores=1,3
/proc/26507/task/26523/stat : 26523 (java) S 26505 26507 26342 0 -1 4202560 4028 0 0 0 59 0 0 0 15 0 19 0 486299347 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26524] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26524/stat : 26524 (java) S 26505 26507 26342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486299347 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773145 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26525] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26525/stat : 26525 (java) S 26505 26507 26342 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 486299347 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
[pid=26507/tid=26526] ppid=26505 vsize=7660216 CPUtime=0 cores=1,3
/proc/26507/task/26526/stat : 26526 (java) S 26505 26507 26342 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 486299476 7844061184 118183 33554432000 1073741824 1073778376 140736891584448 18446744073709551615 218382773760 0 4 0 16800975 18446604471136816192 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1302.2
Current children cumulated vsize (KiB) 7660216

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): 1302.33
CPU user time (s): 1302.13
CPU system time (s): 0.201969
CPU usage (%): 100.173
Max. virtual memory (cumulated for all children) (KiB): 7665568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.13
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127260
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= 27508
involuntary context switches= 9985

runsolver used 2.09368 second user time and 5.01924 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-25 17:56:06
IDJOB=3280289
IDBENCH=20365
IDSOLVER=1611
FILE ID=node101/3280289-1303746965
RUNJOBID= node101-1303746818-26363
PBS_JOBID= 13154061
Free space on /tmp= 71692 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.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-3280289-1303746965/watcher-3280289-1303746965 -o /tmp/evaluation-result-3280289-1303746965/solver-3280289-1303746965 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3280289-1303746965.cnf

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

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED=2038301676

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.841
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:      21830588 kB
Buffers:       2073536 kB
Cached:        7172208 kB
SwapCached:      33708 kB
Active:        7598488 kB
Inactive:      3049648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21830588 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           42700 kB
Writeback:           0 kB
AnonPages:     1390040 kB
Mapped:          17568 kB
Slab:           405396 kB
PageTables:       8476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22029544 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= 71716 MiB
End job on node101 at 2011-04-25 18:17:48