Trace number 3250114

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.71 1300.06

General information on the benchmark

Namecrafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
MD5SUMcbd78921480e79d133eb06cb2172caa1
Bench CategoryCRAFTED (crafted 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 variables18217
Number of clauses284829
Sum of the clauses size622430
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2275099
Number of clauses of size 3620
Number of clauses of size 4984
Number of clauses of size 51120
Number of clauses of size over 57006

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.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
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-3250114-1303541023.cnf
0.00/0.09	c reading problem ... 
0.39/0.34	c ... done. Wall clock time 0.252s.
0.39/0.34	c #vars     18217
0.39/0.34	c #constraints  284829
0.39/0.34	c constraints type 
0.39/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9730
0.39/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 275099
2.22/1.77	c cleaning 2466 clauses out of 4951 with flag 5002/5002
4.08/3.13	c cleaning 4211 clauses out of 8462 with flag 11000/11000
5.68/4.70	c cleaning 5559 clauses out of 11205 with flag 18000/18000
7.39/6.50	c cleaning 6804 clauses out of 13616 with flag 26000/26000
9.40/8.47	c cleaning 7858 clauses out of 15795 with flag 35000/35000
11.81/10.80	c cleaning 8912 clauses out of 17925 with flag 45001/45001
14.22/13.25	c cleaning 9950 clauses out of 20002 with flag 56002/56002
16.91/15.99	c cleaning 10986 clauses out of 22047 with flag 68000/68000
20.12/19.12	c cleaning 11960 clauses out of 24058 with flag 81000/81000
23.63/22.64	c cleaning 12985 clauses out of 26088 with flag 95001/95001
27.23/26.29	c cleaning 14039 clauses out of 28091 with flag 110000/110000
31.24/30.24	c cleaning 14954 clauses out of 30047 with flag 126000/126000
35.84/34.88	c cleaning 16036 clauses out of 32093 with flag 143000/143000
40.66/39.62	c cleaning 16933 clauses out of 34055 with flag 161001/161001
45.96/44.95	c cleaning 17995 clauses out of 36119 with flag 180001/180001
51.57/50.56	c cleaning 19002 clauses out of 38119 with flag 200000/200000
57.87/56.85	c cleaning 19964 clauses out of 40110 with flag 221000/221000
64.88/63.89	c cleaning 21052 clauses out of 42140 with flag 243000/243000
71.78/70.74	c cleaning 22016 clauses out of 44086 with flag 266000/266000
79.19/78.14	c cleaning 22973 clauses out of 46064 with flag 290000/290000
87.19/86.17	c cleaning 24028 clauses out of 48085 with flag 315000/315000
95.50/94.50	c cleaning 25009 clauses out of 50052 with flag 341000/341000
105.71/104.66	c cleaning 25934 clauses out of 52044 with flag 368002/368002
115.53/114.46	c cleaning 26954 clauses out of 54109 with flag 396001/396001
125.52/124.48	c cleaning 27970 clauses out of 56152 with flag 425000/425000
136.93/135.89	c cleaning 29061 clauses out of 58181 with flag 455001/455001
148.74/147.65	c cleaning 29971 clauses out of 60118 with flag 486000/486000
160.85/159.73	c cleaning 30964 clauses out of 62145 with flag 518000/518000
174.05/172.95	c cleaning 32080 clauses out of 64180 with flag 551001/551001
186.97/185.85	c cleaning 32985 clauses out of 66096 with flag 585001/585001
200.47/199.38	c cleaning 34043 clauses out of 68109 with flag 620000/620000
214.58/213.45	c cleaning 34986 clauses out of 70064 with flag 656000/656000
228.59/227.46	c cleaning 35969 clauses out of 72077 with flag 693000/693000
244.09/242.90	c cleaning 36998 clauses out of 74108 with flag 731000/731000
261.00/259.85	c cleaning 37972 clauses out of 76112 with flag 770002/770002
281.71/280.51	c cleaning 39013 clauses out of 78132 with flag 810000/810000
297.91/296.76	c cleaning 39951 clauses out of 80112 with flag 851000/851000
315.52/314.38	c cleaning 40908 clauses out of 82160 with flag 893000/893000
333.94/332.71	c cleaning 42051 clauses out of 84253 with flag 936001/936001
354.85/353.60	c cleaning 42961 clauses out of 86200 with flag 980001/980001
374.66/373.40	c cleaning 44078 clauses out of 88233 with flag 1025000/1025000
398.07/396.86	c cleaning 45028 clauses out of 90155 with flag 1071000/1071000
419.08/417.89	c cleaning 45972 clauses out of 92127 with flag 1118001/1118001
445.98/444.72	c cleaning 47045 clauses out of 94152 with flag 1166000/1166000
468.70/467.43	c cleaning 47976 clauses out of 96106 with flag 1215000/1215000
492.10/490.80	c cleaning 49021 clauses out of 98130 with flag 1265001/1265001
518.32/517.06	c cleaning 50050 clauses out of 100109 with flag 1316001/1316001
541.63/540.34	c cleaning 50903 clauses out of 102058 with flag 1368001/1368001
567.34/566.08	c cleaning 51975 clauses out of 104155 with flag 1421002/1421002
593.25/591.98	c cleaning 52939 clauses out of 106174 with flag 1475003/1475003
620.36/619.05	c cleaning 54047 clauses out of 108232 with flag 1530000/1530000
648.67/647.35	c cleaning 55017 clauses out of 110180 with flag 1586000/1586000
678.38/677.08	c cleaning 56014 clauses out of 112163 with flag 1643000/1643000
709.50/708.15	c cleaning 57016 clauses out of 114148 with flag 1701002/1701002
741.31/739.98	c cleaning 57995 clauses out of 116130 with flag 1760001/1760001
770.23/768.82	c cleaning 58977 clauses out of 118134 with flag 1820001/1820001
803.83/802.47	c cleaning 60013 clauses out of 120154 with flag 1881002/1881002
843.45/842.08	c cleaning 60990 clauses out of 122135 with flag 1943000/1943000
875.37/873.98	c cleaning 62008 clauses out of 124146 with flag 2006001/2006001
912.18/910.79	c cleaning 62895 clauses out of 126138 with flag 2070001/2070001
949.60/948.12	c cleaning 64040 clauses out of 128244 with flag 2135002/2135002
985.20/983.72	c cleaning 65000 clauses out of 130202 with flag 2201000/2201000
1023.21/1021.72	c cleaning 65967 clauses out of 132200 with flag 2268000/2268000
1061.93/1060.47	c cleaning 66945 clauses out of 134234 with flag 2336002/2336002
1105.64/1104.10	c cleaning 68119 clauses out of 136288 with flag 2405001/2405001
1151.85/1150.34	c cleaning 69009 clauses out of 138168 with flag 2475000/2475000
1202.36/1200.88	c cleaning 70001 clauses out of 140159 with flag 2546000/2546000
1250.49/1248.95	c cleaning 70973 clauses out of 142157 with flag 2618000/2618000
1293.40/1291.80	c cleaning 71957 clauses out of 144185 with flag 2691001/2691001
1301.62/1300.01	c starts		: 1703
1301.62/1300.01	c conflicts		: 2704265
1301.62/1300.01	c decisions		: 10400109
1301.62/1300.01	c propagations		: 1689358492
1301.62/1300.01	c inspects		: 9669384100
1301.62/1300.01	c shortcuts		: 0
1301.62/1300.01	c learnt literals	: 258
1301.62/1300.01	c learnt binary clauses	: 1727
1301.62/1300.01	c learnt ternary clauses	: 4882
1301.62/1300.01	c learnt constraints	: 2704008
1301.62/1300.01	c ignored constraints	: 0
1301.62/1300.01	c root simplifications	: 1961
1301.62/1300.01	c removed literals (reason simplification)	: 52369484
1301.62/1300.01	c reason swapping (by a shorter reason)	: 0
1301.62/1300.01	c Calls to reduceDB	: 69
1301.62/1300.01	c speed (assignments/second)	: 1299837.5247851568
1301.62/1300.01	c non guided choices	9122
1301.62/1300.04	c learnt constraints type 
1301.62/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1673
1301.62/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 83834
1301.62/1300.04	c constraints type 
1301.62/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9730
1301.62/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 275099
1301.62/1300.04	s UNKNOWN
1301.62/1300.04	c Total wall clock time (in seconds) : 1299.921

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.94 3.96 3.04 5/243 14753
/proc/meminfo: memFree=14209028/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=23028 CPUtime=0 cores=5,7
/proc/14753/stat : 14753 (java) R 14751 14753 14093 0 -1 4202496 571 0 0 0 0 0 0 0 18 0 1 0 465703046 23580672 313 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222916814613 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14753/statm: 5757 325 249 9 0 124 0

[startup+0.010665 s]
/proc/loadavg: 3.94 3.96 3.04 5/243 14753
/proc/meminfo: memFree=14209028/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=36924 CPUtime=0 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 1376 0 1 0 0 0 0 0 18 0 2 0 465703046 37810176 1077 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 9232 1078 838 9 0 388 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36924

[startup+0.102595 s]
/proc/loadavg: 3.94 3.96 3.04 5/243 14753
/proc/meminfo: memFree=14209028/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7636116 CPUtime=0.1 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 10669 0 1 0 9 1 0 0 18 0 18 0 465703046 7819382784 10364 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1909029 10364 2079 9 0 1899767 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636116

[startup+0.300595 s]
/proc/loadavg: 3.94 3.96 3.04 5/243 14753
/proc/meminfo: memFree=14209028/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7637096 CPUtime=0.39 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 15432 0 1 0 38 1 0 0 18 0 18 0 465703046 7820386304 14909 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1909274 14910 2198 9 0 1900012 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 7637096

[startup+0.700524 s]
/proc/loadavg: 3.94 3.96 3.04 5/243 14753
/proc/meminfo: memFree=14209028/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7638168 CPUtime=1.13 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 19071 0 1 0 111 2 0 0 18 0 19 0 465703046 7821484032 17408 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1909542 17408 2222 9 0 1900280 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 7638168

[startup+1.50137 s]
/proc/loadavg: 3.94 3.96 3.04 5/262 14772
/proc/meminfo: memFree=14143792/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7640056 CPUtime=2.02 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 20078 0 1 0 200 2 0 0 18 0 19 0 465703046 7823417344 18095 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1910014 18095 2226 9 0 1900752 0
[pid=14753/tid=14755] ppid=14751 vsize=7640056 CPUtime=1.48 cores=5,7
/proc/14753/task/14755/stat : 14755 (java) R 14751 14753 14093 0 -1 4202560 15102 0 1 0 147 1 0 0 20 0 19 0 465703047 7823417344 18095 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 46912505605577 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14753/tid=14756] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14756/stat : 14756 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14757] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14757/stat : 14757 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14758] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14758/stat : 14758 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14759] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14759/stat : 14759 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14760] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14760/stat : 14760 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14761] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14761/stat : 14761 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14762] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14762/stat : 14762 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14763] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14763/stat : 14763 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 465703048 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14764] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14764/stat : 14764 (java) S 14751 14753 14093 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 465703049 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 0 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14765] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14765/stat : 14765 (java) S 14751 14753 14093 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 465703049 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14766] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14766/stat : 14766 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 465703049 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14767] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14767/stat : 14767 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933600689 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14768] ppid=14751 vsize=7640056 CPUtime=0.23 cores=5,7
/proc/14753/task/14768/stat : 14768 (java) S 14751 14753 14093 0 -1 4202560 1195 0 0 0 23 0 0 0 23 0 19 0 465703052 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14769] ppid=14751 vsize=7640056 CPUtime=0.29 cores=5,7
/proc/14753/task/14769/stat : 14769 (java) S 14751 14753 14093 0 -1 4202560 2618 0 0 0 29 0 0 0 25 0 19 0 465703052 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14770] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14770/stat : 14770 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14771] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14771/stat : 14771 (java) S 14751 14753 14093 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 465703052 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14772] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14772/stat : 14772 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 465703084 7823417344 18096 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 7640056

[startup+3.10109 s]
/proc/loadavg: 3.94 3.96 3.05 5/242 14775
/proc/meminfo: memFree=14158088/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7640056 CPUtime=4.08 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 36526 0 1 0 404 4 0 0 18 0 19 0 465703046 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1910014 32166 2254 9 0 1900752 0
[pid=14753/tid=14755] ppid=14751 vsize=7640056 CPUtime=2.97 cores=5,7
/proc/14753/task/14755/stat : 14755 (java) R 14751 14753 14093 0 -1 4202560 15185 0 1 0 296 1 0 0 25 0 19 0 465703047 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 46912505664985 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14753/tid=14756] ppid=14751 vsize=7640056 CPUtime=0.02 cores=5,7
/proc/14753/task/14756/stat : 14756 (java) S 14751 14753 14093 0 -1 4202560 2328 0 0 0 2 0 0 0 18 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14757] ppid=14751 vsize=7640056 CPUtime=0.02 cores=5,7
/proc/14753/task/14757/stat : 14757 (java) S 14751 14753 14093 0 -1 4202560 1929 0 0 0 2 0 0 0 18 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14758] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14758/stat : 14758 (java) S 14751 14753 14093 0 -1 4202560 411 0 0 0 0 0 0 0 18 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14759] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14759/stat : 14759 (java) S 14751 14753 14093 0 -1 4202560 190 0 0 0 0 0 0 0 18 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14760] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14760/stat : 14760 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14761] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14761/stat : 14761 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14762] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14762/stat : 14762 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14763] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14763/stat : 14763 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 465703048 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14764] ppid=14751 vsize=7640056 CPUtime=0.06 cores=5,7
/proc/14753/task/14764/stat : 14764 (java) S 14751 14753 14093 0 -1 4202560 4848 0 0 0 6 0 0 0 15 0 19 0 465703049 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 0 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14765] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14765/stat : 14765 (java) S 14751 14753 14093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14766] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14766/stat : 14766 (java) S 14751 14753 14093 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14767] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14767/stat : 14767 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933600689 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14768] ppid=14751 vsize=7640056 CPUtime=0.63 cores=5,7
/proc/14753/task/14768/stat : 14768 (java) S 14751 14753 14093 0 -1 4202560 7825 0 0 0 63 0 0 0 15 0 19 0 465703052 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14769] ppid=14751 vsize=7640056 CPUtime=0.31 cores=5,7
/proc/14753/task/14769/stat : 14769 (java) S 14751 14753 14093 0 -1 4202560 2653 0 0 0 31 0 0 0 15 0 19 0 465703052 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14770] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14770/stat : 14770 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14771] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14771/stat : 14771 (java) S 14751 14753 14093 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 465703052 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14772] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14772/stat : 14772 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 465703084 7823417344 32166 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 7640056

[startup+6.30149 s]
/proc/loadavg: 3.94 3.96 3.05 5/262 14820
/proc/meminfo: memFree=14087728/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7640056 CPUtime=7.29 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 38150 0 1 0 725 4 0 0 18 0 19 0 465703046 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1910014 32135 2254 9 0 1900752 0
[pid=14753/tid=14755] ppid=14751 vsize=7640056 CPUtime=6.04 cores=5,7
/proc/14753/task/14755/stat : 14755 (java) R 14751 14753 14093 0 -1 4202560 15188 0 1 0 603 1 0 0 25 0 19 0 465703047 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 46912505671980 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14753/tid=14756] ppid=14751 vsize=7640056 CPUtime=0.02 cores=5,7
/proc/14753/task/14756/stat : 14756 (java) S 14751 14753 14093 0 -1 4202560 2328 0 0 0 2 0 0 0 15 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14757] ppid=14751 vsize=7640056 CPUtime=0.02 cores=5,7
/proc/14753/task/14757/stat : 14757 (java) S 14751 14753 14093 0 -1 4202560 1930 0 0 0 2 0 0 0 16 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14758] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14758/stat : 14758 (java) S 14751 14753 14093 0 -1 4202560 411 0 0 0 0 0 0 0 15 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14759] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14759/stat : 14759 (java) S 14751 14753 14093 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14760] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14760/stat : 14760 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14761] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14761/stat : 14761 (java) S 14751 14753 14093 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14762] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14762/stat : 14762 (java) S 14751 14753 14093 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14763] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14763/stat : 14763 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465703048 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14764] ppid=14751 vsize=7640056 CPUtime=0.18 cores=5,7
/proc/14753/task/14764/stat : 14764 (java) S 14751 14753 14093 0 -1 4202560 6144 0 0 0 18 0 0 0 15 0 19 0 465703049 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 0 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14765] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14765/stat : 14765 (java) S 14751 14753 14093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14766] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14766/stat : 14766 (java) S 14751 14753 14093 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14767] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14767/stat : 14767 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933600689 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14768] ppid=14751 vsize=7640056 CPUtime=0.63 cores=5,7
/proc/14753/task/14768/stat : 14768 (java) S 14751 14753 14093 0 -1 4202560 7826 0 0 0 63 0 0 0 15 0 19 0 465703052 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14769] ppid=14751 vsize=7640056 CPUtime=0.32 cores=5,7
/proc/14753/task/14769/stat : 14769 (java) S 14751 14753 14093 0 -1 4202560 2654 0 0 0 32 0 0 0 15 0 19 0 465703052 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14770] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14770/stat : 14770 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14771] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14771/stat : 14771 (java) S 14751 14753 14093 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 465703052 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14772] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14772/stat : 14772 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 465703084 7823417344 32135 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 7640056

[startup+12.7013 s]

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

[pid=14753/tid=14761] ppid=14751 vsize=7640056 CPUtime=0.16 cores=5,7
/proc/14753/task/14761/stat : 14761 (java) S 14751 14753 14093 0 -1 4202560 3040 0 0 0 16 0 0 0 16 0 19 0 465703048 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14762] ppid=14751 vsize=7640056 CPUtime=0.14 cores=5,7
/proc/14753/task/14762/stat : 14762 (java) S 14751 14753 14093 0 -1 4202560 715 0 0 0 14 0 0 0 15 0 19 0 465703048 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14763] ppid=14751 vsize=7640056 CPUtime=0.13 cores=5,7
/proc/14753/task/14763/stat : 14763 (java) S 14751 14753 14093 0 -1 4202560 2580 0 0 0 13 0 0 0 15 0 19 0 465703048 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14764] ppid=14751 vsize=7640056 CPUtime=5.27 cores=5,7
/proc/14753/task/14764/stat : 14764 (java) S 14751 14753 14093 0 -1 4202560 10067 0 0 0 526 1 0 0 15 0 19 0 465703049 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 0 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14765] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14765/stat : 14765 (java) S 14751 14753 14093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14766] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14766/stat : 14766 (java) S 14751 14753 14093 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14767] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14767/stat : 14767 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933600689 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14768] ppid=14751 vsize=7640056 CPUtime=0.63 cores=5,7
/proc/14753/task/14768/stat : 14768 (java) S 14751 14753 14093 0 -1 4202560 7826 0 0 0 63 0 0 0 15 0 19 0 465703052 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14769] ppid=14751 vsize=7640056 CPUtime=0.33 cores=5,7
/proc/14753/task/14769/stat : 14769 (java) S 14751 14753 14093 0 -1 4202560 2654 0 0 0 33 0 0 0 15 0 19 0 465703052 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14770] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14770/stat : 14770 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14771] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14771/stat : 14771 (java) S 14751 14753 14093 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 465703052 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14772] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14772/stat : 14772 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 465703084 7823417344 58221 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.85
Current children cumulated vsize (KiB) 7640056

[startup+1182.3 s]
/proc/loadavg: 3.02 3.11 3.19 4/238 14927
/proc/meminfo: memFree=13765192/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7640056 CPUtime=1183.87 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 64776 0 1 0 118377 10 0 0 18 0 19 0 465703046 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1910014 58562 2254 9 0 1900752 0
[pid=14753/tid=14755] ppid=14751 vsize=7640056 CPUtime=1176.28 cores=5,7
/proc/14753/task/14755/stat : 14755 (java) R 14751 14753 14093 0 -1 4202560 24024 0 1 0 117624 4 0 0 25 0 19 0 465703047 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 46912505613487 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14753/tid=14756] ppid=14751 vsize=7640056 CPUtime=0.17 cores=5,7
/proc/14753/task/14756/stat : 14756 (java) S 14751 14753 14093 0 -1 4202560 4712 0 0 0 17 0 0 0 15 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14757] ppid=14751 vsize=7640056 CPUtime=0.1 cores=5,7
/proc/14753/task/14757/stat : 14757 (java) S 14751 14753 14093 0 -1 4202560 1932 0 0 0 10 0 0 0 15 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14758] ppid=14751 vsize=7640056 CPUtime=0.18 cores=5,7
/proc/14753/task/14758/stat : 14758 (java) S 14751 14753 14093 0 -1 4202560 4575 0 0 0 18 0 0 0 15 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14759] ppid=14751 vsize=7640056 CPUtime=0.13 cores=5,7
/proc/14753/task/14759/stat : 14759 (java) S 14751 14753 14093 0 -1 4202560 1284 0 0 0 13 0 0 0 15 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14760] ppid=14751 vsize=7640056 CPUtime=0.13 cores=5,7
/proc/14753/task/14760/stat : 14760 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 13 0 0 0 16 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14761] ppid=14751 vsize=7640056 CPUtime=0.16 cores=5,7
/proc/14753/task/14761/stat : 14761 (java) S 14751 14753 14093 0 -1 4202560 3040 0 0 0 16 0 0 0 15 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14762] ppid=14751 vsize=7640056 CPUtime=0.16 cores=5,7
/proc/14753/task/14762/stat : 14762 (java) S 14751 14753 14093 0 -1 4202560 719 0 0 0 16 0 0 0 16 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14763] ppid=14751 vsize=7640056 CPUtime=0.13 cores=5,7
/proc/14753/task/14763/stat : 14763 (java) S 14751 14753 14093 0 -1 4202560 2580 0 0 0 13 0 0 0 15 0 19 0 465703048 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14764] ppid=14751 vsize=7640056 CPUtime=5.36 cores=5,7
/proc/14753/task/14764/stat : 14764 (java) S 14751 14753 14093 0 -1 4202560 10202 0 0 0 535 1 0 0 15 0 19 0 465703049 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 0 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14765] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14765/stat : 14765 (java) S 14751 14753 14093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14766] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14766/stat : 14766 (java) S 14751 14753 14093 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14767] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14767/stat : 14767 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933600689 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14768] ppid=14751 vsize=7640056 CPUtime=0.63 cores=5,7
/proc/14753/task/14768/stat : 14768 (java) S 14751 14753 14093 0 -1 4202560 7826 0 0 0 63 0 0 0 15 0 19 0 465703052 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14769] ppid=14751 vsize=7640056 CPUtime=0.33 cores=5,7
/proc/14753/task/14769/stat : 14769 (java) S 14751 14753 14093 0 -1 4202560 2654 0 0 0 33 0 0 0 15 0 19 0 465703052 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14770] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14770/stat : 14770 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14771] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14771/stat : 14771 (java) S 14751 14753 14093 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 465703052 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14772] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14772/stat : 14772 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 465703084 7823417344 58562 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.87
Current children cumulated vsize (KiB) 7640056

[startup+1242.3 s]
/proc/loadavg: 3.05 3.10 3.18 4/238 14931
/proc/meminfo: memFree=13749676/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7640056 CPUtime=1243.88 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 68549 0 1 0 124377 11 0 0 18 0 19 0 465703046 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1910014 62330 2254 9 0 1900752 0
[pid=14753/tid=14755] ppid=14751 vsize=7640056 CPUtime=1236.18 cores=5,7
/proc/14753/task/14755/stat : 14755 (java) R 14751 14753 14093 0 -1 4202560 26558 0 1 0 123613 5 0 0 25 0 19 0 465703047 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 46912505605582 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14753/tid=14756] ppid=14751 vsize=7640056 CPUtime=0.17 cores=5,7
/proc/14753/task/14756/stat : 14756 (java) S 14751 14753 14093 0 -1 4202560 4712 0 0 0 17 0 0 0 15 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14757] ppid=14751 vsize=7640056 CPUtime=0.12 cores=5,7
/proc/14753/task/14757/stat : 14757 (java) S 14751 14753 14093 0 -1 4202560 2485 0 0 0 12 0 0 0 16 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14758] ppid=14751 vsize=7640056 CPUtime=0.18 cores=5,7
/proc/14753/task/14758/stat : 14758 (java) S 14751 14753 14093 0 -1 4202560 4575 0 0 0 18 0 0 0 15 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14759] ppid=14751 vsize=7640056 CPUtime=0.15 cores=5,7
/proc/14753/task/14759/stat : 14759 (java) S 14751 14753 14093 0 -1 4202560 1796 0 0 0 15 0 0 0 16 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14760] ppid=14751 vsize=7640056 CPUtime=0.13 cores=5,7
/proc/14753/task/14760/stat : 14760 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 13 0 0 0 15 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14761] ppid=14751 vsize=7640056 CPUtime=0.16 cores=5,7
/proc/14753/task/14761/stat : 14761 (java) S 14751 14753 14093 0 -1 4202560 3040 0 0 0 16 0 0 0 15 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14762] ppid=14751 vsize=7640056 CPUtime=0.16 cores=5,7
/proc/14753/task/14762/stat : 14762 (java) S 14751 14753 14093 0 -1 4202560 719 0 0 0 16 0 0 0 16 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14763] ppid=14751 vsize=7640056 CPUtime=0.13 cores=5,7
/proc/14753/task/14763/stat : 14763 (java) S 14751 14753 14093 0 -1 4202560 2580 0 0 0 13 0 0 0 15 0 19 0 465703048 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14764] ppid=14751 vsize=7640056 CPUtime=5.45 cores=5,7
/proc/14753/task/14764/stat : 14764 (java) S 14751 14753 14093 0 -1 4202560 10374 0 0 0 544 1 0 0 15 0 19 0 465703049 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 0 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14765] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14765/stat : 14765 (java) S 14751 14753 14093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14766] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14766/stat : 14766 (java) S 14751 14753 14093 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14767] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14767/stat : 14767 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933600689 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14768] ppid=14751 vsize=7640056 CPUtime=0.63 cores=5,7
/proc/14753/task/14768/stat : 14768 (java) S 14751 14753 14093 0 -1 4202560 7826 0 0 0 63 0 0 0 15 0 19 0 465703052 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14769] ppid=14751 vsize=7640056 CPUtime=0.33 cores=5,7
/proc/14753/task/14769/stat : 14769 (java) S 14751 14753 14093 0 -1 4202560 2654 0 0 0 33 0 0 0 15 0 19 0 465703052 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14770] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14770/stat : 14770 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14771] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14771/stat : 14771 (java) S 14751 14753 14093 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 465703052 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14772] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14772/stat : 14772 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 465703084 7823417344 62330 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.88
Current children cumulated vsize (KiB) 7640056



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.09 3.10 3.17 4/238 14933
/proc/meminfo: memFree=13748188/32951124 swapFree=67111528/67111528
[pid=14753] ppid=14751 vsize=7640056 CPUtime=1301.62 cores=5,7
/proc/14753/stat : 14753 (java) S 14751 14753 14093 0 -1 4202496 68644 0 1 0 130151 11 0 0 18 0 19 0 465703046 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14753/statm: 1910014 62415 2254 9 0 1900752 0
[pid=14753/tid=14755] ppid=14751 vsize=7640056 CPUtime=1293.65 cores=5,7
/proc/14753/task/14755/stat : 14755 (java) R 14751 14753 14093 0 -1 4202560 26560 0 1 0 129360 5 0 0 25 0 19 0 465703047 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 46912505665476 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14753/tid=14756] ppid=14751 vsize=7640056 CPUtime=0.19 cores=5,7
/proc/14753/task/14756/stat : 14756 (java) S 14751 14753 14093 0 -1 4202560 4717 0 0 0 19 0 0 0 16 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14757] ppid=14751 vsize=7640056 CPUtime=0.12 cores=5,7
/proc/14753/task/14757/stat : 14757 (java) S 14751 14753 14093 0 -1 4202560 2485 0 0 0 12 0 0 0 15 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14758] ppid=14751 vsize=7640056 CPUtime=0.19 cores=5,7
/proc/14753/task/14758/stat : 14758 (java) S 14751 14753 14093 0 -1 4202560 4575 0 0 0 19 0 0 0 16 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14759] ppid=14751 vsize=7640056 CPUtime=0.15 cores=5,7
/proc/14753/task/14759/stat : 14759 (java) S 14751 14753 14093 0 -1 4202560 1796 0 0 0 15 0 0 0 15 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14760] ppid=14751 vsize=7640056 CPUtime=0.14 cores=5,7
/proc/14753/task/14760/stat : 14760 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 14 0 0 0 16 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14761] ppid=14751 vsize=7640056 CPUtime=0.16 cores=5,7
/proc/14753/task/14761/stat : 14761 (java) S 14751 14753 14093 0 -1 4202560 3040 0 0 0 16 0 0 0 15 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14762] ppid=14751 vsize=7640056 CPUtime=0.17 cores=5,7
/proc/14753/task/14762/stat : 14762 (java) S 14751 14753 14093 0 -1 4202560 720 0 0 0 17 0 0 0 15 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14763] ppid=14751 vsize=7640056 CPUtime=0.13 cores=5,7
/proc/14753/task/14763/stat : 14763 (java) S 14751 14753 14093 0 -1 4202560 2580 0 0 0 13 0 0 0 15 0 19 0 465703048 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14764] ppid=14751 vsize=7640056 CPUtime=5.66 cores=5,7
/proc/14753/task/14764/stat : 14764 (java) S 14751 14753 14093 0 -1 4202560 10457 0 0 0 565 1 0 0 15 0 19 0 465703049 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 0 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14765] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14765/stat : 14765 (java) S 14751 14753 14093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14766] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14766/stat : 14766 (java) S 14751 14753 14093 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465703049 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14767] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14767/stat : 14767 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933600689 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14768] ppid=14751 vsize=7640056 CPUtime=0.63 cores=5,7
/proc/14753/task/14768/stat : 14768 (java) S 14751 14753 14093 0 -1 4202560 7826 0 0 0 63 0 0 0 15 0 19 0 465703052 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14769] ppid=14751 vsize=7640056 CPUtime=0.33 cores=5,7
/proc/14753/task/14769/stat : 14769 (java) S 14751 14753 14093 0 -1 4202560 2654 0 0 0 33 0 0 0 15 0 19 0 465703052 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14770] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14770/stat : 14770 (java) S 14751 14753 14093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465703052 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933592985 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
[pid=14753/tid=14771] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14771/stat : 14771 (java) S 14751 14753 14093 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 465703052 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 7 0 0 0
[pid=14753/tid=14772] ppid=14751 vsize=7640056 CPUtime=0 cores=5,7
/proc/14753/task/14772/stat : 14772 (java) S 14751 14753 14093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 465703084 7823417344 62415 33554432000 1073741824 1073778376 140736248919648 18446744073709551615 222933593600 0 4 0 16800975 18446604471124704320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.62
Current children cumulated vsize (KiB) 7640056

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.06
CPU time (s): 1301.71
CPU user time (s): 1301.59
CPU system time (s): 0.124981
CPU usage (%): 100.127
Max. virtual memory (cumulated for all children) (KiB): 7640752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.59
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68709
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= 28577
involuntary context switches= 4443

runsolver used 2.05569 second user time and 5.05623 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-23 08:43:43
IDJOB=3250114
IDBENCH=83244
IDSOLVER=1611
FILE ID=node109/3250114-1303541023
RUNJOBID= node109-1303539684-14114
PBS_JOBID= 13143129
Free space on /tmp= 71628 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/manthey/sudoku-single-hard/sudoku_81x81_unknown.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-3250114-1303541023/watcher-3250114-1303541023 -o /tmp/evaluation-result-3250114-1303541023/solver-3250114-1303541023 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3250114-1303541023.cnf

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

MD5SUM BENCH= cbd78921480e79d133eb06cb2172caa1
RANDOM SEED=684484472

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14209308 kB
Buffers:       2093184 kB
Cached:       15753176 kB
SwapCached:          0 kB
Active:        9949528 kB
Inactive:      8220140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14209308 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4864 kB
Writeback:           0 kB
AnonPages:      322764 kB
Mapped:          23364 kB
Slab:           506792 kB
PageTables:       6240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22074680 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= 71608 MiB
End job on node109 at 2011-04-23 09:05:25